Department of Information Technology

Automated Reasoning Arena

to promote multidisciplinary collaboration between divisions and between the Department of Information Technology and external parts.

Automated Resoning Journal Club

The arena hosts a journal club focused on topics in automated reasoning that are of interest to researchers across divisions. The goal was to disseminate knowledge as well as to promote collaborations.

Each seminar will be chaired by one person who will introduce the research topic and highlight one or more relevant papers. We encourage all participants to read the paper(s).

Autumn 2018

Seminar #1: TBA

  • Paper: TBA
  • Session Chair: TBA
  • Date: TBA
  • Location: TBA

Contact Us

The Automated Reasoning Arena is part of the Department of Information Technology and is situated at the Information Technology Center (ITC) in Uppsala, Sweden.

Arena coordinator
Mohamed Faouzi Atig
More Contacts
Philipp Rümmer (Division of Computer Systems)
Tjark Weber (Computing Science Division)

Automated Reasoning Arena e-mail list
To subscribe to the list, send a message to with the following text in the body of the message:

subscribe it-AutomatedReasoning <My Name>

The list will be used for announcements. You can reach the moderators of the list by sending a message to

Updates
  • Kick-off meeting: 28 March 2018
Updated  2018-08-15 11:02:41 by Mohamed Faouzi Atig.