ETAPS 2008 unifying invited speakers are:

ETAPS 2008 specialist speakers:

Verification of higher-order computation: a game-semantic approach

Unifying Invited Talk by Professor Luke Ong

room: Europa

University of Oxford, UK

Wednesday, April 2, 09:00 - 10:10

WYSINWYX: What You See Is Not What You eXecute

Unifying Invited Talk by Professor Tom Reps

room: Europa

University of Wisconsin-Madison, US

Wednesday, April 2, 14:15 - 15:15

Design Choices in a Compiler Course - or - How to Make Undergraduates Love Formal Notation

Invited CC Talk by Michael Schwartzbach

room: Star

University of Aarhus, Denmark

Friday, April 4, 09:00 - 10:00

Constructive Mathematics and Functional Programming

Invited ESOP Talk by Thierry Coquand

room: Europa

Göteborg University, Sweden

Tuesday, April 1, 09:00 - 10:00

On the Utility of Formal Methods in Building Software: A Panacea or Academic Poppycock?

Invited FASE Talk by Connie Heitmeyer

room: Europa

Naval Research Lab, US

Monday, March 31, 09:00 - 10:00

Finding your way in a forest: on different types of trees and their properties

Invited FOSSACS Talk by Igor Walukiewicz

room: Europa

LaBRI Bordeaux, France

Thursday, April 3, 14:15 - 15:15

Hardware Verification: Techniques, Methodology and Solutions

Invited TACAS Talk by Sharad Malik

room: Europa

Princeton, USA

Thursday, April 3, 09:00 - 10:00

Valid HTML 4.01!