Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

TYPES Summer School Proofs of Programs and

Summary: TYPES Summer School
Proofs of Programs and
Formalisation of Mathematics
15 ­ 26 August 2005
Gšoteborg, Sweden
List Of Participants
First Name Last Name Affiliation
Andreas Abel Chalmers
Robin Adams Royal Holloway, University of London
Lennart Augustsson Chalmers University of Technology
Jeremy Avigad Carnegie Mellon University
Joao Filipe Belo University of Manchester
Jesper Bengtson University of Uppsala
Yves Bertot INRIA
Hovhannes Bolibekyan Yerevan State University
Ana Bove Chalmers University of Technology
Bjšorn Bringert Chalmers University of Technology
James Brotherston LFCS, University of Edinburgh
Daniel Brown Portland State University
Chin Lung Chang Institute of Information Science Academia Sinica, Tai-


Source: Almgren, Magnus - Department of Computer Science and Engineering, Chalmers University of Technology


Collections: Computer Technologies and Information Sciences