7 / LOGIC AND APPLICATION 2019

23 – 27 September 2019        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
Zoran Ognjanović, Mathematical Institute SANU, Belgrade, Serbia
Thomas Studer, University of Bern, Switzerland


Conference description:

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;
  • Set theory;
  • Type theory;
  • Lambda calculus;
  • 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

    Dragan Doder, University of Belgrade, Serbia
    Silvia Ghilezan , University of Novi Sad, Serbia
    Simona Kašterović, University of Novi Sad, Serbia
    Zvonko Iljazović, University of Zagreb, Croatia
    Branimir Stojanović, University of Zagreb, Croatia
    Marko Horvat, University of Zagreb, Croatia
    Vedran Čačić, University of Zagreb, Croatia
    Mladen Vuković, University of Zagreb, Croatia
    Zvonimir Šikić, University of Zagreb, Croatia
    Melanija Mitrović, University of Niš, Serbia
    Stepan Kuznetsov, Steklov Mathematical Institute, Moscow, Russia
    Beniamino Accattou, INRIA - French National Institute for computer science and applied mathematics, Paris, France
    Nenad Savić, University of Bern, Serbia
    Thomas Studer, University of Bern, Switzerland
    Andre Scedrov, University of Pennsylvania, Philadelphia, United States
    Zoran Ognjanović, Mathematical Institute SANU, Belgrade, Serbia
    Jovana Obradović, University Paris 7 - Paris Diderot, France
    Vladimir Tasic, University of New Brunswick, Canada
    Luka Matijevic, Mathematical Institute SANU, Belgrade, Serbia


    Other details