LICS’23 Program:

Mon 26, Tue 27, Wed 28, Thu 29

Monday 26/06

8:15- 9:00 Breakfast

9:00-10:30 Tutorial: Logic for Explainable AI, Adnan Darwiche

10:30- 11:00 Coffee break

11:00-12:30 Finite model theory

12:30- 14:00 Lunch

14:00-15:30 Logics and verification

15:30- 16:00 Coffee break

16:00- 17:00 Semantic games and bicategories

17:15- 18:00 Semantics

18:30 Reception and distinguished papers announcements

Tuesday 27/06

8:15- 9:00 Breakfast

9:00- 10:30 MSO, transducers, automata

10:30- 11:00 Coffee break

11:00- 12:30 Proof systems, modal logic

12:30- 14:00 Lunch

14:00- 15:30 Tutorial: Commutativity in Automated Program Verification, Azadeh Farzan

15:30- 16:00 Coffee break

16:00- 17:00 Stochastic systems

17:15- 18:15 Randomness

Wednesday 28/06

8:15- 9:00 Breakfast

9:00-10:00 Invited talk: A Survey of Algebraic Proof Complexity: Theory and Applications,Toniann Pitassi

10:00- 10:30 Coffee break

10:30- 12:00 Decidability and complexity

12:00- 14:00 Lunch

14:00- 15:00 Invited talk: Applications of Information Inequalities to Database Theory Problems, Dan Suciu

15:00- 15:30 Coffee break

15:30- 16:30 Weighted automata, CSP

16:45- 18:15 Poster session

19:00 Banquet

Thursday 29/06

8:15- 9:00 Breakfast

9:00- 10:00 Invited talk: A system of inference based on proof search: an extended abstract, Dale Miller

10:00- 10:30 Test-of-Time awards

10:30- 11:00 Coffee break

11:00- 12:30 Semantics and rewriting

12:30- 14:00 Lunch

14:00- 15:00 Linear logic, homotopy theory

15:00- 15:30 Coffee break

15:30- 16:30 Pi-calculus and quantum circuits