ABOUT
 

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, that in 2020 will be held from 13th to 18th of July at the Adam Mickiewicz University in Poznań, Poland. It is organized jointly by the AMU Faculties: of Psychology and Cognitive Science and of Mathematics and Computer Science.

Sessions

  • Set Theory

  • Model Theory

  • Modal and Epistemic Logic

  • Proofs and Programs

  • Computability

  • Logic in Cognitive Science and Linguistics

LOGIC COLLOQUIUM 2020

The Logic Colloquium
is the European Summer Meeting
of the Association for Symbolic Logic

 
Important Dates

JAN
31
MAR
31
APR
13
APR
30
MAY
25
JUN
13
JUL
7
JUL
13
JUL
18


 
Honorary Patronage



 
 

Organizers



 
 

Partners