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