Conference Information

GandALF 2019: International Symposium on Games, Automata, Logics, and Formal Verification

Please Login to view website of conference
Free account: view official websites, track deadlines, and get email reminders.
Register Login
Embed deadline badge
GandALF
Get this via API
Search and ranking lists need no credentials at all; full detail for this page needs a free API key. See the developer guide.
Submission Date:
2019-05-31 Extended
Notification Date:
2019-07-03
Conference Date:
2019-09-02
Location:
Bordeaux, France
Years:
10
Viewed: 12428   Tracked: 0   Attend: 0

Conference Partner Index (CP-I)

45.0 / 100
Ranked #2,813 of 5,682 conferences · Top 50%

#102 of 142 in Theory & Algorithms #167 of 247 in Software Engineering

Academic recognition (35%) No data - scored at the neutral baseline of 50 —
Submission selectivity (20%) No data - scored at the neutral baseline of 50 —
Editions held (20%)
65
Community attention (10%)
8
Public record completeness (15%)
25

Inputs used: Editions on record: 10 · Researchers who opened this page in the past 24 months: 2

Missing from the public record: Historical acceptance rates (+4.5) · Past editions (+3.0) · Best-paper records (+2.3)
Organizers can add these from this page after claiming the conference; scores are recomputed nightly. How to raise this score

Confidence 45% - the share of the score backed by observed data rather than the neutral baseline. How this score is calculated · Browse the ranking · Algorithm version 1.1 · Computed 2026-09-14

Call For Papers

GandALF 2019 (International Symposium on Games, Automata, Logics, and Formal Verification) is an academic conference held in Bordeaux, France on 2019-09-02. The paper submission deadline is 2019-05-31 (extended). Acceptance notifications are sent on 2019-07-03.

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 on

Related Conferences

Related Journals

CCFFull NameImpact FactorPublisherISSN
Games: Research and PracticeACM2832-5516
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536

Comments 0

No comments yet.

Please Login to post a comment