1. Home
  2. Logics

Logics

BOSK2020

BOSK 2020 – The Bolzano Summer of Knowledge. A Month of Knowledge in September 2020

7 Sep 2020 - 08:45 to 25 Sep 2020 - 19:00

 

Conferences & Workshops
knowledge representation
Cognitive Sciences
Logics

Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)

26 Sep 2018 - 09:00 to 28 Sep 2018 - 17:00

The Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018) will be held in Saarbrücken (Germany) in September 2018.

Conferences & Workshops
Automata Theory
Formal Methods
Games

VIII International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017)

20 Sep 2017 - 09:00 to 22 Sep 2017 - 13:00

The Eighth International Symposium on Games, Automata,

Conferences & Workshops
Formal Verfication
Games
automata