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: 6875   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 Symposium2024-11-012025-01-312025-04-28
SITAIBAInternational Conference on Security and Information Technologies with AI, Internet Computing and Big-data Applications2023-09-182023-10-302023-12-07
ICDIPInternational Conference on Digital Image Processing2024-11-202024-12-202025-04-25
b3ICCTAInternational Conference on Computer Theory and Applications2023-09-152023-11-102023-12-16
cBigDataInternational Conference on Big Data2022-08-202022-10-252019-12-09
Related Journals
CCFFull NameImpact FactorPublisherISSN
IAENG International Journal of Computer ScienceInternational Association of Engineers1819-656X
cDiscrete Applied Mathematics1.000Elsevier0166-218X
cInternational Journal of Geographical Information Science4.300Taylor & Francis1365-8816
Journal of Information Science and Engineering1.100Institute of Information Science0000-0000
Journal of Information and Organizational SciencesUniversity of Zagreb1846-3312
cIEEE Geoscience and Remote Sensing Letters4.000IEEE1545-598X
Computational and Structural Biotechnology Journal4.400Elsevier2001-0370
cInformation Processing Letters0.700Elsevier0020-0190
IET Electric Power ApplicationsIET1751-8660
ACM Transactions on Accessible Computing2.500ACM1936-7228
Recommendation