LICS 2003 - Invited Speakers


Erich Grädel (RWTH Aachen) Will deflation lead to depletion? On non-monotone fixed point inductions ( pdf slides )

 

John Harrison (Intel corp.) Formal verification at Intel ( pdf slides )

 

Marta Kwiatkowska (U. Birmingham) Model checking for probability and time: from theory to practice ( pdf slides )

 

John McCarthy (Stanford U.) Advice about nonmonotonic reasoning in AI


Invited Tutorials


Martín Abadi (UC Santa Cruz) Logic in Access Control ( pdf slides )

 

Benjamin Pierce (U. Pennsylvania) Types and Programming Languages: The Next Generation ( pdf slides )


Back to the LICS 2003 web page.

Alex Simpson
Last modified: 21st February 2003