Luca Cardelli

Programming with Chemical Reactions
Thursday, November 22, 2018 at 16:00 c.t.

Dale Miller

Separating Functional Computation from Relations
Wednesday, October 31, 2018 at 16:30 s.t.

Call For Applications: Helmut Veith Stipend for Female Master´s Students in CS

Deadline: November 30, 2018: Motivated female students in the field of computer science (CS) who plan to pursue (or pursue) one of the master‘s programs in Computer Science

Marcello D’Agostino

An informational view of classical logic
Thursday, October 25, 2018 at 16:30 s.t.

Artificial Intelligence: Between the second Renaissance and the Terminator

Prof. Toby Walsh at the LogicLounge discussion in Vienna

Martin Grohe

The Graph Isomorphism Problem
Monday, November 5, 2018 at 16:00 c.t.

ÖCG Public Lecture: Intelligent Mobility (German)

Wednesday, November 28, 2018 at 18:00 s.t.

Tomi Janhunen

Writing Declarative Specifications for Clauses
Friday, October 5, 2018 at 14:00 s.t.

Talks at the Federated Logic Conference – FLoC 2018 and affiliated events

Talks being given as part of FLoC 2018 by the faculty and PhD candidates of the FWF-funded doctoral college Logical Methods in Computer Science – LogiCS are sorted by the title of the paper.

Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) 2018: 547-564


Jens […]

LogicLounge with Toby Walsh: Living with Artificial Intelligence – How to stay Human

On September 20th, 2018, one of the leading researchers and an icon for regulation of Artificial Intelligence (AI),