24 – 28 September 2018        Send to printer

Conference organizers

Silvia Ghilezan , University of Novi Sad, Serbia
Zvonimir Šikić, University of Zagreb, Croatia
Andre Scedrov, University of Pennsylvania, Philadelphia, United States
Thomas Studer, University of Bern, Switzerland
Zoran Ognjanović, Mathematical Institute SANU, Belgrade, Serbia

Conference description:

During the conference, this year also will be held workshop ''Formal Reasoning and Semantics (FORMALS) 2018'' with topic: Mutual Enrichment of Pure and Applied Logic.

The conference brings together researchers from various fields of logic with applications in computer science.

Topics of interest include, but are not restricted to:

  • Formal systems of classical and non-classical logic;
  • Category theory;
  • Proof theory;
  • Model theory;
  • Lambda calculus;
  • Type theory;
  • Process algebras and calculi;
  • Behavioural types;
  • Systems of reasoning in the presence of incomplete, imprecise and/or contradictory information;
  • Computational complexity;
  • Interactive theorem provers;
  • Security.
  • Student sessions will be organized.

    Official web page of the conference.

    More about previous programmes on this page.

    Other details