Conference Information
GandALF 2019: International Symposium on Games, Automata, Logics, and Formal Verification
https://gandalf2019.sciencesconf.org/
Submission Date:
2019-05-31 Extended
Notification Date:
2019-07-03
Conference Date:
2019-09-02
Location:
Bordeaux, France
Years:
10
Viewed: 8693   Tracked: 0   Attend: 0

Call For Papers
The aim of the GandALF 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 2019 edition of the symposium is the tenth edition. It is organized in the city of Bordeaux by the LABRI laboratory.

The symposium covers a large number of research subjects, ranging from theory to applications, and stimulate cross-fertilization. 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
Last updated by Dou Sun in 2019-05-25
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
MobiHealthInternational Conference on Wireless Mobile Communication and Healthcare2022-06-062022-08-202022-11-30
ICIEISInternational Conference on Informatics Engineering & Information Science2024-04-30 2024-05-17
cb3MOBILITYInternational Conference on Mobile Services, Resources, and Users2022-03-222022-04-192022-06-26
cb2GCCInternational Conference on Grid and Cloud Computing 2010-08-102010-11-01
bb3CIAAInternational Conference on Implementation and Application of Automata2018-03-252018-04-252018-07-30
ca2VTSVLSI Test Symposium2025-11-032026-01-312026-04-27
ACODSIFAC International Conference on Advances in Control and Optimization of Dynamical Systems2023-08-312023-11-302024-03-12
ICDIPInternational Conference on Digital Image Processing2025-03-152025-04-052025-04-25
b3ICCTAInternational Conference on Computer Theory and Applications2023-09-152023-11-102023-12-16
AIMLAInternational Conference on AI, Machine Learning and Applications2023-02-112023-02-182023-02-25
Related Journals
CCFFull NameImpact FactorPublisherISSN
Nonlinear EngineeringWalter de Gruyter2192-8010
bAlgorithmica0.900Springer0178-4617
Kinetics and Catalysis1.300Pleiades Publishing0023-1584
cInternational Journal of Intelligent Systems John Wiley & Sons, Ltd1098-111X
IEEE Transactions on Learning Technologies2.900IEEE1939-1382
cIEEE Geoscience and Remote Sensing Letters4.000IEEE1545-598X
Information Technology and Management2.300Springer1385-951X
Nonlinear Analysis: Hybrid Systems3.700Elsevier1751-570X
Journal of Optical Communications and Networking4.000OSA Publishing1943-0620
Journal of Experimental AlgorithmicsACM1084-6654
Recommendation