IMPACT FACTOR JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOGS LaTeX 5G Tutorial Advertise
 
GandALF 2020 : 11th International Symposium on Games, Automata, Logics, and Formal Verification
GandALF 2020 : 11th International Symposium on Games, Automata, Logics, and Formal Verification

GandALF 2020 : 11th International Symposium on Games, Automata, Logics, and Formal Verification

Brussels, Belgium
Event Date: September 21, 2020 - September 23, 2020
Abstract Submission Deadline: June 13, 2020
Submission Deadline: June 15, 2020
Notification of Acceptance: July 20, 2020
Camera Ready Version Due: August 25, 2020



About

The Eleventh International Symposium on Games, Automata, Logics, and Formal Verification will be held in Brussels (Belgium) on September 21-23, 2020. This year, GANDALF will be organised together with a workshop on Stochastic Games organised by the GAMENET network (https://gametheorynetwork.com) which will held on September 23-24, 2020. The GAMENET meeting will focus on stochastic games with applications in computer science, economy and mathematics. It will be organised around 6 invited talks of 1 hour by senior researchers of the community and 6 invited talks of 30 minutes by junior researchers of the community. Both events will be hosted by the Université libre de Bruxelles, and the two events will share some invited speakers. We encourage the participation to the two events. 


Call for Papers

The aim of GandALF 2020 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-fertilisation. 

Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: 

-Automata Theory 
-Automated Deduction 
-Computational aspects of Game Theory 
-Concurrency and Distributed computation 
-Decision Procedures 
-Deductive, Compositional, and Abstraction Techniques for Verification 
-Finite Model Theory 
-First-order and Higher-order Logics 
-Formal Languages 
-Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems 
-Games and Automata for Verification 
-Game Semantics 
-Logical aspects of Computational Complexity 
-Logics of Programs 
-Modal and Temporal Logics 
-Model Checking 
-Models of Reactive and Real-Time Systems 
-Probabilistic Models (Markov Decision processes) 
-Program Analysis and Software Verification 
-Reinforcement Learning 
-Run-time Verification and Testing 
-Specification and Verification of Finite and Infinite-state Systems 
-Synthesis 



Best Deals



Summary

GandALF 2020 : 11th International Symposium on Games, Automata, Logics, and Formal Verification will take place in Brussels, Belgium. It’s a 3 days event starting on Sep 21, 2020 (Monday) and will be winded up on Sep 23, 2020 (Wednesday).

GandALF 2020 falls under the following areas: COMPUTER SCIENCE, FORMAL METHODS, GAMES, THEORETICAL COMPUTER SCIENCE, etc. Submissions for this Symposium can be made by Jun 15, 2020. Authors can expect the result of submission by Jul 20, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Aug 25, 2020 to the official website of the Symposium.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the GandALF 2020

  • Short Name: GandALF 2020
  • Full Name: 11th International Symposium on Games, Automata, Logics, and Formal Verification
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of GandALF 2020
  • Event Type: Symposium
  • Website Link: https://di.ulb.ac.be/verif/gandalf2020/
  • Location/Address: Brussels, Belgium


Credits and Sources

[1] GandALF 2020 : 11th International Symposium on Games, Automata, Logics, and Formal Verification


Check other Conferences, Workshops, Seminars, and Events


OTHER COMPUTER SCIENCE EVENTS

SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
AMICT 2021: 15th Workshop on Advances in Methods of Information and Communication Technology
Oulu, Finland
Oct 28, 2021
SEA 2021: 10th International Conference on Software Engineering and Applications
Copenhagen, Denmark
Jun 19, 2021
RAID 2021: Research in Attacks, Intrusions and Defenses
Donostia / San Sebastian, Spain
Oct 06, 2021
SOENG 2021: 7th International Conference on Software Engineering
Copenhagen, Denmark
Apr 24, 2021
SHOW ALL

OTHER FORMAL METHODS EVENTS

SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
TASE 2021: The 15th International Symposium on Theoretical Aspects of Software Engineering
Shanghai
Aug 25, 2021
VWLD 2021: Vienna World Logic Day Lecture
Online
Jan 14, 2021
FormaliSE 2021: International Conference on Formal Methods in Software Engineering
Madrid, Spain
May 23, 2021
F-IDE 2021: 6th Workshop on Formal Integrated Development Environment
Online
May 24, 2021
SHOW ALL

OTHER GAMES EVENTS

GET 2021: 14th International Conference on Game and Entertainment Technologies
Online
Jul 21, 2021
SBGames 2021: Brazilian Symposium on Computer Games and Digital Entertainment
Gramado - RS | Brazil
Oct 13, 2021
ACHI 2021: The Fourteenth International Conference on Advances in Computer-Human Interactions
Nice, France
Jul 18, 2021
VGR 2020: Video Games and Religion: Apocalypse and Utopia
Online
Nov 19, 2020
SBGames 2020: Brazilian Symposium on Computer Games and Digital Entertainment
Online
Nov 07, 2020
SHOW ALL

OTHER THEORETICAL COMPUTER SCIENCE EVENTS

EXPRESS/SOS 2020: Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
Vienna, Austria
Aug 31, 2020
LATA 2020: 14th International Conference on Language and Automata Theory and Applications
Milan
Mar 02, 2020
MATCOS 2019: Middle-European Conference on Applied Theoretical Computer Science
Koper, Slovenia
Oct 10, 2019
GCM 2019: 10th International Workshop on Graph Computation Models
Eindhoven, The Netherlands
Jul 17, 2019
Blockchain-Consensus 2019: Blockchain Consensus Algorithms (Contributed Book)
N/A
Nov 30, 2019
SHOW ALL