Talks & Presentations

• A Brief Tour on Dynamic Complexity

Corelab Seminar, Athens, Greece, December 30 2019

• The Dynamic Complexity of Acyclic Conjunctive Queries

Corelab Seminar, Athens, Greece, June 21 2019

• The Dynamic Complexity of Acyclic Conjunctive Queries

Logic and Theoretical Computer Science, Bern, Switzerland, April 11, 2019

• Reachability and Expectation in Sequential Gossiping

Corelab Seminar, Athens, Greece, December 28, 2017

• The Expected Duration of Sequential Gossiping

32nd Mini-Workshop (Theoretical Computer Science Dortmund), Dortmund, 29th of January 2018

• The Expected Duration of Sequential Gossiping

EUMAS 2017, Évry, France, December 14, 2017

• Reachability and Expectation in Gossiping

PRIMA 2017, Nice, France, November 2, 2017

• The Complexity of Probabilistic Justification Logic

11th Panhellenic Logic Symposium, Delphi, Greece, 15th of July 2017

• The Expected Duration of 3 Epistemic Gossip Protocols

Epistemic Planing, Dagstuhl, Germany, 6th of June 2017

• On the Complexity of the Satisfiability Problem in Probabilistic Logics

CELLO workshop, Nancy, France, 9th of May 2017

• On the Expected Execution Length of Some Randomized Gossip Protocols

SSLPS annual meeting Logic and Probability, Bern, Switzerland, October 28, 2016

• Probabilistic Justification Logic

Seminar of the Department of Software Engineering, ORT Braude Academic College of Engineering, Karmiel, Israel, 12th of April 2016 (The talk was given over the internet)

• The Complexity of Non-Iterated Probabilistic Justification Logic

Foundations of Information and Knowledge Systems, Linz, Austria, 10th of March 2016

• The Satisfiability Problem in Probabilistic Justification Logic

Arbeitstagung Bern München, Bern, Switzerland, 26th of May 2016

• Probablistic Justification Logic

Logic and Applications, Dubrovnik, Croatia, 23rd of September 2015

• First Steps towards Probabilistic Justification Logic

Logic Colloquium, Helsinki, Finland, 5th of August 2015

• First Steps towards Probabilistic Justification Logic

Arbeitstagung Bern München, Munich, Germany, 18th of December 2014

• A cut-free Sequent System for Linear Temporal Logic

Arbeitstagung Bern München, Bern, Switzerland, 23rd of May 2013