10times
20 - 22 Sep 2021

International Symposium on Games, Automata, Logics, and Formal Verification

AboutSpeakersExhibitorsReviewsPhotos

Timings

09:00 AM - 06:00 PM
Not Verified

Official Links

Estimated Turnout

upto 100
Delegates
Based on previous editions

Editions

Sep 2021

Frequency

Newly Listed
Claim event to edit details

The Twelfth International Symposium on Games, Automata, Logics, and Formal Verification will be held in Padua (Italy) on September 20-22, 2021. The .. Read more aim of GandALF 2021 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

  • Share your Experience
  • Organizer
Logo Follow Company

University of Padova

Italy63 Total Events / 9 Upcoming Events

More Events From The Organizer