M4M Osuna - day by day program

Thursday 10 November - morning

• 9:00 - 9:45 registration and coffee
  
  
• 9:45 - 10:45 Marcelo Finger. A Modal view of Probabilistic Logic
• 10:45 - 11:15 Carlos Areces and Daniel Gorin. Unsorted functional translations
  
  
• 11:15 - 11:45 coffee break
  
  
• 11:45 - 12:15 Philippe Balbiani, Valentin Goranko and Guido Sciavicco. Two sorted Point-Interval Temporal Logics
• 12:15 - 12:45 Umberto Rivieccio. Paraconsistent modal logics
• 12:45 - 13:15 Piotr Kazmierczak, Truls Pedersen and Thomas Agotnes. NorMC: a Norm Compliance Temporal Logic Model Checker
  
  
• 13:15 - 15:30 (lunch break)

Thursday 10 November - afternoon

• 15:30 - 16:00 James Hales, Tim French and Rowan Davies. Computational Methods for Refinement Quantified Logics of Knowledge
• 16:00 - 16:30 John Mccabe-Dansted. A Rooted Tableau for BCTL*
• 16:30 - 17:00 Kohei Kishida. Neighborhood-Sheaf Semantics for First-Order Modal Logic
  
  
• 17:00 - 17:30 coffee break
  
  
• 17:30 - 18:00 Thomas Meyer, Ivan Varzinczak and Arina Britz. Preferential Reasoning for Modal Logic
• 18:00 - 19:00 David Gabelaia. The d-semantics of Modal Logic
  
  
• (dinner)

Friday 11 November - morning (LAMAS)

• 9:15 - 10:15 Andreas Herzig. Propositional assignments, announcements, and their applications to logics of action and agency
• 10:15 - 10:45 Emiliano Lorini and Frederic Moisan. An Epistemic Logic of Extensive Games
• 10:45 - 11:15 Dario Della Monica, Margherita Napoli and Mimmo Parente. On a Logic for Coalitional Games with Priced-Resource Agents
  
  
• 11:15 - 11:45 coffee break
  
  
• 11:45 - 12:15 Dimitar Guelev and Mads Dam. An Epistemic Predicate CTL* for Finite Control pi-Processes
• 12:15 - 12:45 Jeremy Seligman. Open and closed questions in decision making
• 12:45 - 13:15 Jeremy Seligman. A logical model of the dynamics of peer pressure
  
  
• 13:15 - 15:00 (lunch break)

Friday 11 November - afternoon

• 15:00 - 15:30 Sreejith A V. Expressive completeness for LTL with modulo counting and group operators
• 15:30 - 16:00 François Schwarzentruber. LotrecScheme
• 16:00 - 16:30 Felix Bou and Joost Joosten. The closed fragment of IL is PSPACE hard
• 16:30 - 17:00 Guillaume Aucher, Bastien Maubert and François Schwarzentruber. Tableau Method and NEXPTIME-Completeness of DEL-Sequents
  
  
• 17:00 - 17:30 coffee break
  
  
• 17:30 - 18:00 Fabio Papacchini and Renate A. Schmidt. A Tableau Calculus for Minimal Modal Model Generation
• 18:00 - 19:00 Melvin Fitting. Nested Sequents for Intuitionistic Logics
  
  
• 20:30 - 22:30 Conference dinner

Saturday 12 November - morning

• 9:45 - 10:15 Mark Kaminski and Gert Smolka. Clausal Tableaux for Hybrid PDL
• 10:15 - 10:45 Ahmet Kara and Thomas Schwentick. Expressiveness of Hybrid Temporal Logic on Data Words
• 10:45 - 11:15 Nikolay Shilov, Natalia Garanina and Sang Yong Han. From Formal Concept Analysis to Description Logic and back to Concept Lattices
  
  
• 11:15 - 11:45 coffee break
  
  
• 11:45 - 12:15 Enrico Franconi, Yazmin Angelica Ibanez Garcia and Inanc Seylan. Query Answering with DBoxes is Hard
• 12:15 - 13:15 Yde Venema, Coalgebra Automata
  
  
• closing
  
  
• (lunch)