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
Short | Full Name | Submission | Conference |
---|---|---|---|
MobiHealth | International Conference on Wireless Mobile Communication and Healthcare | 2022-06-06 | 2022-11-30 |
ICIEIS | International Conference on Informatics Engineering & Information Science | 2024-04-30 | 2024-05-17 |
MOBILITY | International Conference on Mobile Services, Resources, and Users | 2022-03-22 | 2022-06-26 |
GCC | International Conference on Grid and Cloud Computing | 2010-11-01 | |
CIAA | International Conference on Implementation and Application of Automata | 2018-03-25 | 2018-07-30 |
VTS | VLSI Test Symposium | 2024-11-01 | 2025-04-28 |
SITAIBA | International Conference on Security and Information Technologies with AI, Internet Computing and Big-data Applications | 2023-09-18 | 2023-12-07 |
ICDIP | International Conference on Digital Image Processing | 2024-11-20 | 2025-04-25 |
ICCTA | International Conference on Computer Theory and Applications | 2023-09-15 | 2023-12-16 |
BigData | International Conference on Big Data | 2022-08-20 | 2019-12-09 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
IAENG International Journal of Computer Science | International Association of Engineers | 1819-656X | ||
c | Discrete Applied Mathematics | 1.000 | Elsevier | 0166-218X |
c | International Journal of Geographical Information Science | 4.300 | Taylor & Francis | 1365-8816 |
Journal of Information Science and Engineering | 1.100 | Institute of Information Science | 0000-0000 | |
Journal of Information and Organizational Sciences | University of Zagreb | 1846-3312 | ||
c | IEEE Geoscience and Remote Sensing Letters | 4.000 | IEEE | 1545-598X |
Computational and Structural Biotechnology Journal | 4.400 | Elsevier | 2001-0370 | |
c | Information Processing Letters | 0.700 | Elsevier | 0020-0190 |
IET Electric Power Applications | IET | 1751-8660 | ||
ACM Transactions on Accessible Computing | 2.500 | ACM | 1936-7228 |
Full Name | Impact Factor | Publisher |
---|---|---|
IAENG International Journal of Computer Science | International Association of Engineers | |
Discrete Applied Mathematics | 1.000 | Elsevier |
International Journal of Geographical Information Science | 4.300 | Taylor & Francis |
Journal of Information Science and Engineering | 1.100 | Institute of Information Science |
Journal of Information and Organizational Sciences | University of Zagreb | |
IEEE Geoscience and Remote Sensing Letters | 4.000 | IEEE |
Computational and Structural Biotechnology Journal | 4.400 | Elsevier |
Information Processing Letters | 0.700 | Elsevier |
IET Electric Power Applications | IET | |
ACM Transactions on Accessible Computing | 2.500 | ACM |
Recommendation