Logic, Quantum Computing, and Artificial Intelligence

June 30th – July 3rd, 2021

 
 

LQCAI 2021, is the first of a series of international events exploring potential applications of logic and quantum physics in future developments of robotics and artificial intelligence. The conference is part of an extensive joint international initiative based on collaborations between the Institute for Interdisciplinary Research in Fundamental Sciences (IRFS) in Iran and various universities, research institutes, and companies all around the world. It is aimed to bridge the existing gap between theoretical research and practical applications in the related fields. Hopefully, such events will provide a fertile ground for collaborations between scientists of different backgrounds in mathematical logic, quantum computing, physics, and artificial intelligence.

Invited Speakers

Alexandru Baltag

ILLC, University of Amsterdam

Jacob Biamonte

Skolkovo Institute of Science and Technology

Boris Blinov

University of Washington

wes

Wesley Boudville

Co-founder at Linket

2

Harry Buhrman

University of Amsterdam

Giulio Chiribella

University of Hong Kong

binary comment

Bob Coecke

Cambridge Quantum Computing
& University of Oxford

Erica, The Robot

Intelligent Robotics Laboratory, Osaka University

James Freericks

Georgetown University

Frank Fu

Dalhousie University

Artur Garcia Saez

Barcelona Supercomputing Center

John Harding

New Mexico State University

Aram Harrow

Massachusetts Institute of Technology

Andrew Helwer

Disjunctive Consulting LLC

Hiroshi Ishiguro

Intelligent Robotics Laboratory, Osaka University

Giorgi Japaridze

Villanova University

Kohei Kishida

University of Illinois at Urbana-Champaign

Daniel Lidar

University of Southern California

Abdenacer Makhlouf

University of Haute Alsace

Sabrina Maniscalco

University of Helsinki

Chiara Marletto

University of Oxford

Saeed Mehraban

California Institute of Technology

Jacey Lynn Minoi

Universiti Malaysia Sarawak

binary comment

Anil Nerode

Cornell University

André Nies

University of Auckland

Ognyan Oreshkov

Université libre de Bruxelles

Peter Selinger

Dalhousie University

J. Joshua Thomas

UOW Malaysia KDU Penang University College

Benoît Valiron

CentraleSupélec at Paris-Saclay University

Araceli Venegas-Gomez

Founder at Qureca

Carlo Viberti

NASA-ESA Zero-G Flight Veteran & SpaceLand CEO

Jingbo Wang

University of Western Australia

Dominic Widdows

LivePerson, Inc

Li Pei Wong

Universiti Sains Malaysia

Vladimir Zamdzhiev

French Institute for Research in Computer Science and Automation (Inria)

Alexander Zlokapa

Massachusetts Institute of Technology

Organizing Committee

Ali Sadegh Daghighi

Institute for Interdisciplinary Research in Fundamental Sciences (IRFS), Arak University

Piergiorgio Odifreddi

University of Turin

Esmaeil Peyghan

Arak University

Mehran Shahmansouri

Arak University

Esa Sharahi

Institute for Interdisciplinary Research in Fundamental Sciences (IRFS), Arak University

Zu Yao Teoh

Xiamen University Malaysia

Conference Schedule

Time (UTC)

7:30-8:30

8:30-9:30

9:30–10:00

10:00-11:00

11:00-12:00

12:00-12:30

12:30-13:30

13:30-14:30

14:30-15:00

15:00-16:00 

16:00-17:00

17:00-17:30

17:30-18:30

18:30-19:30

June 30th

OrganizersIntroduction

Giulio ChiribellaQuantum causal structures from higher order quantum maps

Break

Ognyan OreshkovQuantum Causal Models

Jacob BiamonteResults in training variational quantum circuits

Break

Andrew HelwerAn introduction to Quantum Computing

Carlo VibertiThe SpaceLand program: how advanced AI and hyper-fast computation may upgrade planetary exploration and microgravity STEM research programs enhancing the quality of life on our planet

Break

Boris BlinovTowards quantum simulations with trapped ion qubits and qudits

Saeed MehrabanPseudo-randomness, zeros of polynomials and hardness of sampling from small quantum devices

Break

Aram HarrowHybrid classical-quantum algorithms for optimization and inference


July 1st

Jingbo WangCombinatorial optimization via highly efficient quantum walks

Andre NiesUndecidability and algorithmic randomness for spin chains

Break

Bob Coecke 1The diagrammatic formalism for QM and its origins in quantum logic

Benoît ValironReversible computation and quantum control

Break

Alexandru BaltagThe logic of dynamic correlations (classical and quantum)

Araceli Venegas-GomezThe business potential of quantum technology: risks and opportunities

Break

Dominic WiddowsQuantum Mathematics in Artificial Intelligence

Alexander ZlokapaBoundaries of quantum supremacy via random circuit sampling

Break

Daniel LidarAlgorithmic Breakeven in Quantum Annealing

Abdenacer MakhloufQuantum groups: from Physics to Mathematics

July 2nd

Artur Garcia SaezHPC simulations of hybrid Quantum algorithms

Sabrina ManiscalcoLearning to measure: Adaptive generalised measurement approach for quantum algorithms

Break

Bob Coecke 2Quantum NLP and Quantum A.I.

Wong Li PeiTraffic Flow Prediction via Quantum Aided Graph Neural Network

Break

Peter Selinger & Frank FuProto-Quipper: A quantum programming language

Kohei KishidaCategorical Semantics for Quantum Programming Languages

Break

James FreericksRobust quantum computing on NISQ hardware

John HardingDecompositions in quantum mechanics

Break

July 3rd

Hiroshi Ishiguro & EricaTechnological singularity and the future of human-robot coexistence

Jacey Lynn MinoiStatistical tensor model for 3D facial recognition and analysis

Break

Vladimir ZamdzhievSemantics for Variational Quantum Programming

J. Joshua Thomas​Quantum Computing in drug discovery

Break

Harry BuhrmanQuantum fine-grained complexity: understanding the limits of quantum computers

Chiara MarlettoWitnesses of non-classicality beyond quantum theory

Break

Giorgi JaparidzeCirquent calculus in a nutshell

Wesley BoudvilleKIller apps of the Internet

Break

Anil NerodeQuantum Control. Solar to Magnetic energy storage


Registration​

The event will be held via the Zoom online conference platform. Participation is free but registration is required. To register fill this form. A certification will be issued for all registered participants, so please ensure that the information that you send us is accurate.

Those who are interested in receiving their certificate should write to a.s.daghighi (AT) gmail.com

Sponsors

About Our Sponsors