Mathematics, Science and Technology Mathematics, Science and Technology

23 | LOGIC AND APPLICATIONS

Duration
26 Sep 2022 - 29 Sep 2022
Language
English
Status
BLENDED
Conference directors :
Zvonimir Šikić , University of Zagreb, Croatia
Andre Scedrov , University of Pennsylvania, Philadelphia, United States
Silvia Ghilezan , University of Novi Sad, Serbia
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.

 

More details about the programme can be found on the official web page

 

Conference lecturers:
Tin Adlešić , University of Zagreb, Croatia
Kristina Asimi , Charles University Prague, Czech Republic
Tajana Ban Kirigin , University of Rijeka, Croatia
Jean-Yves Béziau , University of Brazil, Rio de Janeiro, Brazil
Marija Boričić Joksimović , University of Belgrade, Serbia
Sanda Bujačić Babić , University of Rijeka, Croatia
Vedran Čačić , University of Zagreb, Croatia
Matea Čelar , University of Zagreb, Croatia
Šejla Dautović , Mathematical Institute SANU, Belgrade, Serbia
Ruy J. Guerra B. de Queiroz , Federal University of Pernambuco (UFPE), Brazil
Lucanu Dorel , Alexandru loan Cuza University of lasi, Romania
Silvia Ghilezan , University of Novi Sad, Serbia
Aleksandar Hatzivelkos , University of Applied Sciences Velika Gorica, Croatia
Sebastijan Horvat , University of Zagreb, Croatia
Marko Horvat , University of Zagreb, Croatia
Nebojša Ikodinović , University of Belgrade, Serbia
Angelina Ilić Stepić , Mathematical Institute SANU, Belgrade, Serbia
Simona Kašterović , University of Novi Sad, Serbia
Jovana Kostić , University of Belgrade, Serbia
Jieting Luo , University of Bern, Switzerland
Luka Mikec , University of Zagreb, Croatia
Sara Negri , University of Genoa, Italy
Vivek Nigam , Federal University of Paraíba, Brazil
Edi Pavlović , Ludwig Maximilian University of Munich, Germany
Benedikt Perak , University of Rijeka, Croatia
Tin Perkov , University of Zagreb, Croatia
Yaroslav Petrukhin , University of Lodz, Poland
Andre Scedrov , University of Pennsylvania, Philadelphia, United States
Zvonimir Šikić , University of Zagreb, Croatia
Tamara Stefanović , University of Novi Sad, Serbia
Carolyn Talcott , SRI International, Menlo Park, United States
Dmitriy Zhuk , Charles University Prague, Czech Republic