ETAPS 2008 unifying invited speakers are:
ETAPS 2008 specialist speakers:
- CC: Michael Schwartzbach, University of Aarhus, Denmark - Design Choices in a Compiler Course - or - How to Make Undergraduates Love Formal Notation
- ESOP: Thierry Coquand,, Göteborg University, Sweden - Constructive Mathematics and Functional Programming
- FASE: Connie Heitmeyer, Naval Research Lab, US - On the Utility of Formal Methods in Building Software: A Panacea or Academic Poppycock?
- FOSSACS: Igor Walukiewicz, LaBRI Bordeaux - Finding your way in a forest: on different types of trees and their properties
- TACAS: Sharad Malik , Princeton, USA - Hardware Verification: Techniques, Methodology and Solutions
Verification of higher-order computation: a game-semantic approach
Unifying Invited Talk by Professor Luke Ong
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
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
University of Aarhus, Denmark
Friday, April 4, 09:00 - 10:00
Constructive Mathematics and Functional Programming
Invited ESOP Talk by Thierry Coquand
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
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
LaBRI Bordeaux, France
Thursday, April 3, 14:15 - 15:15
Hardware Verification: Techniques, Methodology and Solutions
Invited TACAS Talk by Sharad Malik
Princeton, USA
Thursday, April 3, 09:00 - 10:00