International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE)

Venue statistics

records by year

document access 

    frequent authors

      Venue Information

      3rd ARCADE 2021: Virtual Event

      2nd ARCADE 2019: Natal, Brazil

      1st ARCADE 2017: Gothenburg, Sweden

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics