All the dates are clickable, with the links to the full conference schedule.

 June 30
  All day: 

Workshop on Implicit Computational Complexity 

A Tutorial Workshop on Realizability Semantics and Applications 

Workshop on Gröbner Bases and Rewriting Techniques

 Afternoon: 

Plenary Invited Speakers Session 

Speakers: 

Neil Immerman (U. Mass) 
Christos Papadimitriou (UC Berkeley) 
Thomas Schwentick (U. Mainz) 
Victor Vianu (UC San Diego) 
 

July 1
  All day: 

Workshop on Implicit Computational Complexity 

A Tutorial Workshop on Realizability Semantics and Applications 

Workshop on Finite Model Theory and Applications 
 

July 2
 

LICS

RTA
9:00-10:30 INVITED TALK  byH. Friedman 

Session 1 starts at 10:05

 Session 1 
10:30-11:00 COFFEE COFFEE
11:00-12:15 Session 1 Session 2 
(talks end at 12:30)
12:15 - 2:00 LUNCH LUNCH
2:00-3:15 Session 2  Session  3 
INVITED TALK  by B. Courcelle
3:15-3:45 COFFEE  COFFEE
3:45-5:45 Session 3 
 
 		 Session 4 
(last talk ends 5:15) 

RTA BUSINESS MEETING (starts 5:30) 
 

 July 3
 

  LICS

RTA
9:00-10:30 INVITED TALK  by J. Halpern 
 
Session 4 starts 10:05 		 Session 5 
10:30-11:00 COFFEE COFFEE
11:00-12:15 Session 4  Session 6 
(talks end at 12:30)
12:15-2:00 LUNCH LUNCH
2:00-3:15 Session 7 
 		 Session 7 (Starts at 2:15 

INVITED TUTORIAL  by F. van Raamsdonk 
3:15-3:45 COFFEE COFFEE
3:45-5:45 Session 6 

6:00 LICS BUSINESS MEETING

 Session 8 

July 4
 

LICS

RTA
9:00-10:30 INVITED TALK  by U. Montanari 

Session 7 starts 10:05 

 Session 9 
10:30-11:00 COFFEE COFFEE
11:00-12:15 Session 7  Session 10 
Session ends at 12:00
12:15-2:00 LUNCH LUNCH
2:00-3:15 Session 8  Session 11  (starts 2:15)

INVITED TALK  by F. Otto 
3:15-3:45 COFFEE COFFEE
3:45 - 5:45 Session 9  
 		 Session 12 Session ends 5:15 
END OF RTA
                    CONFERENCE DINNER                 CONFERENCE DINNER

JULY 5
 

LICS

OTHER EVENTS
9:00-10:30 INVITED TALK  by L. Paulson 

Session 10 starts at 10:05

 All day: 
Workshop on Explicit Substitutions 
10:30-11:00 COFFEE All day: 
Workshop on Strategies in Automated Deduction 
11:00-12:15 Session 10  All day: 
 5th International SPIN Workshop on 
Theoretical Aspects of Model Checking  
12:15-2:00 LUNCH
2:00-3:15 Session 11 
 		 All day: 
Workshop on Formal Methods and Security Protocols 
3:15-3:45 COFFEE
3:45-4:35 Session 12  Evening: 

Using formal verification methods in an 
industrial environment for a  decade. 
Conclusions and perspectives. 
Gerard Roucairol 
Groupe Bull R&D President  
4:35-5:00 BREAK
5:00-6:00 INVITED TALK by J.Y. Girard 

END OF LICS

July 6
 

CAV TUTORIAL DAY

OTHER EVENTS
9:00-10:00 Tutorial on Symbolic model checking 
 		 All day: 
Workshop on Intuitionistic Modal Logics and  
Applications
10:00-10:30 COFFEE
10:30-11:30 Tutorial on Hardware Verification 
 		 All day: 
Workshop on Complexity-Theoretic and  
Recursion-Theoretic Methods in  
Databases andArtificial Intelligence
11:30-14:00 LUNCH
14:00-15:00 Tutorial on Specification and verification of timed systems 
 		 All day: 
Workshop on Automation of Proof by Mathematical Induction
15:00-15:30 COFFEE
15:30-16:30 Tutorial on Model checking of timed and hybrid systems 
 		 All day: 
Workshop on Symbolic Model Checking 
    All  day: 
Workshop on Run-Time Result Verification
6:00-8:00   Panel on: 
"Current trends in research funding in the use of  
logic  and formal methods in computer science" 
Moderators: Alan Bundy and Ruzena Bajcsy

July 7

 

CAV

CADE
9:00-10:00 INVITED  TALK by Gunnar Stalmarck  Session 1 
10:00-10:30 COFFEE COFFEE
10:30-12:30 Regular session: Processor verification 
 		 Session 2 

INVITED TALK  by Erich Graedel 
One regular talk 
Session ends at 12:00
12:30-14:00 LUNCH LUNCH
14:00-15:30 Regular session: Protocols verification and testing  Session 3 
15:30-16:00 COFFEE COFFEE
16:00-17:30 Regular session: Infinite state space  Session 4 
17:30-19:00   System Demonstrations

July 8 

 

CAV

CADE
9:00-10:00 Joint CADE/CAV session 

INVITED TALK  by Zohar Manna 

 Joint session with CAV
10:00-10:30 COFFEE COFFEE
10:30-12:30 Regular session: Theory of verification Session 5   Session ends at 12:00
12:30-14:00 LUNCH LUNCH
14:00-15:30 Regular session: Linear Temporal Logic 
 		 Session 6  System Descriptions 
Session starts 13:45 
15:30-16:00 COFFEE COFFEE
16:00-17:30 Tool presentations 

Session ends 17:15

 Session 7 

18:30-20:30 CADE BUSINESS MEETING 
17:30-19:00 Tool demonstrations

July 9
 

CAV

CADE
9:00-10:00 INVITED TALK  by Ed Brinksma  Session 8   System Descriptions  
10:00-10:30 COFFEE COFFEE
10:30-12:00 Regular session: Modeling of systems 

 

 Session 9 

INVITED TALK  by Robert Nieuwenhuis 
One regular talk
12:00-14:00 LUNCH LUNCH
14:00-15:30 Regular session: Symbolic model checking  Session 10 
15:30-16:00 COFFEE COFFEE
16:00-17:30 Regular session: Theorem proving. 
 		 Session 11 Reports from the Competition 
Chair: Geoff Sutcliffe
17:30-19:00   Tool demonstrations
10:00-18:00   PARALLEL EVENT 

CASC-16 Competition of Automated Theorem  
Proving Systems 

July 10
 

CAV

CADE
9:00-10:00 INVITED TALK by Alain Deutsch  Session 12 System Descriptions 
10:00-10:30 COFFEE COFFEE
10:30-12:00 Regular session: Automata theoretic methods. 

 

 Session 13   

INVITED TALK by Tobias Nipkow
2 regular talks

END OF CADE
12:00-14:00 LUNCH  
14:00-15:30 Regular session: Abstraction   
15:30-16:00 COFFEE  
16:00-17:30 Tool demonstrations 

END OF CAV

 

July 11
  All Day: 
 
Workshop CALCULEMUS: Systems for Integrated  
Computation and Deduction 

Workshop on Formal Methods for Industrial  
Critical Systems 
 

July 12
  All Day: 
 
Workshop CALCULEMUS: Systems for Integrated  
Computation and Deduction 

Workshop on Formal Methods for Industrial  
Critical Systems