The conference is grateful for the contributions made by the co-organizing institutions and associations and its main sponsors. 

 

Our main Sponsors are:

• GreenLight Solutions, Amsterdam.
• The Evert Willem Beth Foundation
• IRIT, Institut de Recherche en Informatique de Toulouse  
• Center for Formal Epistemology, Department of Philosophy, Carnegie Mellon University
• Gather Town: www.gather.town

 

The co-organizing institutions and associations are:

• ILLC, Institute for Logic, Language and Computation. 
• AILA, Associazione Italiana di Logica e Applicazioni, 
• VVL, Dutch Association for Logic and Philosophy of the Exact Sciences. 
• SLS, Scandinavian Logic Society.
• PTLiFN, Polish Association for Logic and Philosophy of Science
• GLG, Georgian Logic Group
• CNRL-NCNL, The Belgian National Centre for Research in Logic 
• SSLPS, the Swiss Society of Logic and Philosophy of Science  
• FoLLI, The Association for Logic, Language and Information
• LogICS,  The Logic Group at the Institute of Computer Science of the
  Czech Academy of Sciences.
• IRIT, Institut de Recherche en Informatique de Toulouse  
• MCMP, Munich Center for Mathematical Philosophy
• Theory, Modelling and Computation theme of the Scottish Informatics & CS Alliance
• DVMLG, Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der exakten Wissenschaften
• GAP, German Society for Analytic Philosophy
• Institut d'histoire et de philosophie des sciences et des techniques (IHPST), Université Paris 1 Panthéon-Sorbonne, CNRS.
• BLC, British Logic Colloquium 
• Center for Formal Epistemology, Department of Philosophy, Carnegie Mellon University
• Co-Organizing Team in Ukraine: Prof. Iryna Khomenko, Logic Department at Taras Shevchenko National University of Kyiv, and Prof. Yaroslav Shramko, Kryvyi Rih State Pedagogical University.