20 Conference found

LFCS'22 — Symposium on Logical Foundations of Computer Science
10th January 2022 - 13th January 2022

Deerfield Beach, Florida, (Hybrid), United States

LFCS-22 — Symposium on Logical Foundations of Computer Science

https://lfcs.ws.gc.cuny.edu/

CPP 2022 — Conference on Certified Programs & Proofs
17th January 2022 - 18th January 2022

Philadelphia PA with Virtual options, United States

CPP 2022 — Conference on Certified Programs & Proofs

https://popl22.sigplan.org/home/CPP-2022

Symposium — Foundations of Computer Science Supporting the Information Society
1st February 2022 - 3rd February 2022

RIMS Kyoto, Japan

Symposium — Foundations of Computer Science Supporting the Information Society

https://www.kurims.kyoto-u.ac.jp/kyoten/en/workshop.html

CSL 2022 — Computer Science Logic
14th February 2022 - 19th February 2022

Gttingen (Germany) & Virtual, Germany

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and applicatio...

https://csl2022.uni-goettingen.de/

Symposium — Logic, Algebraic system, Language and Related Areas in Computer Science
16th February 2022 - 18th February 2022

RIMS Kyoto, Japan

Symposium — Logic, Algebraic system, Language and Related Areas in Computer Science

https://www.kurims.kyoto-u.ac.jp/kyoten/en/workshop.html

Data Assimilation – Mathematical Foundation and Applications
20th February 2022 - 26th February 2022

Oberwolfach, Germany

Data Assimilation – Mathematical Foundation and Applications

https://www.mfo.de/www/schedule/2022/all

New Directions in Computability Theory
7th March 2022 - 11th March 2022

CIRM (Marseille Luminy), France

New Directions in Computability Theory

https://conferences.cirm-math.fr/2022-calendar.html

BIRS Workshop — Probability and Quantum Information Science
13th March 2022 - 18th March 2022

Banff, Alberta, Canada

BIRS Workshop — Probability and Quantum Information Science

https://www.birs.ca/events/2022/

New Mathematical Techniques in Information Theory
13th March 2022 - 19th March 2022

Oberwolfach, Germany

New Mathematical Techniques in Information Theory

https://www.mfo.de/www/schedule/2022/all

ETAPS 2022 — 25th European Joint Conferences on Theory and Practice of Software
2nd April 2022 - 7th April 2022

Munich hybrid, Germany

ETAPS 2022 — 25th European Joint Conferences on Theory and Practice of Software

https://etaps.org/2022

Your Conference Book

You may be interested in