22 Conference found

Set Theory
9th January 2022 - 15th January 2022

Oberwolfach, Germany

Set Theory

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

Workshop "Formalize!(?) 2" — A philosophical & educational perspective on formalization in mathematics
15th January 2022 - 15th January 2022

Virtual, Online

What are the chances and problems of the act of formalization in the context of mathematics? It is often said, that all of mathematics can be reduced to first-order logic and set theory. The derivatio...

https://sites.google.com/view/wldzurich2022/

Logic and Interactions
24th January 2022 - 25th January 2022

CIRM (Marseille Luminy), France

Logic and Interactions

https://conferences.cirm-math.fr/2022-calendar.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/

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 — Interactions between Descriptive Set Theory and Smooth Dynamics
27th March 2022 - 1st April 2022

Banff, Alberta, Canada

The Banff International Research Station will host the "Interactions between Descriptive Set Theory and Smooth Dynamics " workshop in Banff from March 27 to April 1, 2022. The Banff Research Institut...

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

UNILOG Workshop "Logic(s) in Defective Science"
6th April 2022 - 11th April 2022

Crete, Greece

This workshop is devoted to exploring connections between non-classical logics and the rational use of defective information in the sciences, as well as the inferential practices in the sciences—par...

https://sites.google.com/view/unilog-2022/workshops/logics-in-defective-science

HyLo 2022 — Workshop on Hybrid Logic and Applications
6th April 2022 - 11th April 2022

Crete, Greece

It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one often wants to build up a series o...

https://sites.google.com/view/unilog-2022/workshops/hybrid-logic

PAKDD 2022 — The 26th Pacific-Asia Conference on Knowledge Discovery and Data Mining
16th May 2022 - 19th May 2022

Chengdu, China

PAKDD 2022 — The 26th Pacific-Asia Conference on Knowledge Discovery and Data Mining

http://www.pakdd.net/

IEEE ICASSP 2022 — IEEE International Conference on Acoustics, Speech and Signal Processing
23rd May 2022 - 27th May 2022

Singapore, Singapore

IEEE International Conference on Acoustics, Speech and Signal Processing

http://2022.ieeeicassp.org/

Your Conference Book

You may be interested in