Organization

Organizing Institutions and Associations:

Logic4Peace is co-organized by the following associations : 

• 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.

Organizing Team, responsible for conference practicalities and the coordination with the main co-organizing institutions and associations:

• Sonja Smets (ILLC, University of Amsterdam)
• Iryna Khomenko (Logic Department, Kyiv University)
• Yaroslav Shramko (Kryvyi Rih University)
• Nina Gierasimczuk (DTU Compute, Danish Technical University)
• Soroush Rafee Rad (ILLC, University of Amsterdam)
• Malvin Gattinger (ILLC, University of Amsterdam)