3 / LOGIC AND APPLICATION 2018

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.


    Conference lecturers

    Predrag Janičić, University of Belgrade, N/A
    Silvia Ghilezan , University of Novi Sad, Serbia
    Simona Kašterović, University of Novi Sad, Serbia
    Tajana Ban Kirigin, University of Rijeka, Croatia
    Benedikt Perak, University of Rijeka, Croatia
    Branimir Stojanović, University of Zagreb, Croatia
    Zvonimir Šikić, University of Zagreb, Croatia
    Marcel Maretić, University of Zagreb, Croatia
    Zvonko Iljazović, University of Zagreb, Croatia
    Vedran Čačić, University of Zagreb, Croatia
    Tin Perkov, University of Zagreb, Croatia
    Luka Mikec , University of Zagreb, Croatia
    Bojan Pažek, University of Zagreb, N/A
    Mladen Vuković, University of Zagreb, Croatia
    Melanija Mitrović, University of Niš, Serbia
    Marija Mihova, Ss. Cyril and Methodius University, Skopje , Macedonia
    Andrej Bauer, University of Ljubljana, Slovenia
    Amar Hadzihasanovic, Kyoto University, Japan
    Jovana Obradović, Charles University Prague, Czech Republic
    Thomas Studer, University of Bern, Switzerland
    Alen Arslanagić, University of Groningen, Netherlands
    Aleksandar Hatzivelkos, University of Applied Sciences Velika Gorica, Croatia
    Nenad Savić, University of Bern, Serbia
    Milan Todorović, Mathematical Institute SANU, Belgrade, Serbia
    Aleksandra Arsić, Matematical Institute SASU, Serbia
    Bojan Marinković, Mathematical Institute SANU, Belgrade, Serbia
    Vivek Nigam, Federal University of Paraíba, Germany
    Andre Scedrov, University of Pennsylvania, Philadelphia, United States


    Other details