TYPES CONFERENCE - TORINO 2003
April, 30 (Wensday morning) to May, 4 (Sunday morning)

VILLA GUALINO
Viale Settimio Severo 65 - 10133 - Torino - Tel: (+39)0116603555

Menu

1.Introduction To Types 2003
2.Invited Speakers
3.ListOfPartecipants
4.Schedule Of The Congress
5.How To Register
6.How To Reserve
7.Accepted Papers
8.Social Events
9.How To Get To Villa Gualino
10.Map Of The Town Of Turin
11.Picture Of Villa Gualino
12.Organizing Commitee

3. ListOfPartecipants


Progressivo

Progressivo

ISCRITTO

Ente appartenenza

villa Gualino

Hotel Crimea

1

ACZEL Peter

MANCHESTER UNIVERSITY - DEPT. COMPUTER SCIENCE

singola

 

2

ADAMS Robin

MANCHESTER UNIVERSITY - DEPT. COMPUTER SCIENCE

doppia con altenkirch

 

3

ALTENRICH Thorsten

UNIVERSITY OF NOTTINGHAM - DEPT COMPUTER SCIENCE & IT

doppia con adams

 

4

AUDEBAUD Philipe

INRIA Sophia Antipolis

 

Hotel Crimea

5

BARO Sylvain

UNIVERSITE PARIS 7 PPS Computer Science

singola

 

6

BENKE Marcin

CHALMERS TEKNISKA HOGSKOLA Computer Science

 

Hotel Crimea

7

BERARDI Stefano

Università di Torino

 

 

8

BERGHOFER Stefan

TECHNISCHE UNIVERSITAET MUENCHEN

singola

 

9

BERTOT Yves

INRIA

 

Hotel Crimea

10

BONO Viviana

Università di Torino

 

 

11

BOVE Ana

CHALMERS/ GOTEBORG UNIVERSITY Computing Science

singola

 

12

BRADY Edloin

UNIVERSITY OF DURHAM
Dept. Of Computer Science

 

Hotel Crimea

13

BRYANS Jeremy

UNIV. OF NEWCASTLE - SCHOOL OF COMPUTING SCIENCE

doppia con cianfaglione

 

14

BYLINSKI Czeslaw

UNIVERSITY OF BIAKYSTOK
MATH-FIS

 

Hotel Crimea

15

CALLAGHAN Paul

UNIVERSITY OF DURHAM
Dept. Of Computer Science

 

Hotel Crimea

16

CAPRETTA Venanzio

INRIA

 

Hotel Crimea

17

CARLSTROM Jesper

STOCKHOLM Dept. Of Mathematics

doppia con haiyan

 

18

CHRZASZCZ Jacek

WARSAW UNIVERITY Institute of Informatics

doppia con WALUKIEWICZ

 

19

CIAFFAGLIONE Alberto

UNIVERSITA' DI UDINE - DIP. MATEMATICA ED INFORMATICA

doppia con bryan

 

20

COPPO Mario

Università di Torino

 

 

21

COQUAND Catarina

CHALMERS TEKNISKA HOGSKOLA Computer Science

singola

 

22

CORBINEAU Pierre

UNIVERSITE PARIS SUD LRI

doppia con letouzey

 

23

COURANT Judicael

UNIVERSITE PARIS SUD
LRI

 

Hotel Crimea

24

CRUZ-FILIPE Luis

UNIVERSITY OF NIJMEGEN Dept of Computer Science

doppia con Spitter

 

25

CURI Giovanni

UNIVERSITA' DI PADOVA- DIP. MATEMATICA

 

Hotel Crimea

26

DAMIANI Ferruccio

Università di Torino

 

 

27

DE' LIGUORO Ugo

Università di Torino

 

 

28

DELAHAYE David

CNAM (PARIS) CEDRIC

doppia con mayero

 

29

DESPEYROUX Joelle

INRIA

singola

 

30

DEZANI Mariangiola

Università di Torino

 

 

31

DI GIANANTONIO Pietro

UNIVERSITA' DI UDINE - DIP. MATEMATICA ED INFORMATICA

 

Hotel Crimea

32

DOWEK Gilles

LIX, Ecole Polytechnique

singola

 

33

DUPRAT Jean

ECOLE NORMALE SUPERIEUR

 

Hotel Crimea

34

FILLIATRE Jean-Christophe

UNIVERSITE PARIS SUD LRI

doppia con monate

 

35

FORSBERG Markus

CHALMERS/ GOTEBORG UNIVERSITY
Computing Science

singola

 

36

GAMBINO Nicola

UNIVERSITY OF CAMBRIDGE - DPMMS

singola

 

37

GHILEZAN Silvia

Univerisity of NoviSad

singola

 

38

GIANNINI Mariangiola

Università di Torino

 

 

39

GIOVANNETTI Elio

Università di Torino

 

 

40

GRABOWSKI Adam

UNIVERSITY OF BIAKYSTOK
MATH-FIS

 

Hotel Crimea

41

GREGOIRE Benjamin

INRIA - Dept. Logical

doppia con Renard

 

42

HAIYAN Qiao

CHALMERS UNIVERSITY OF TECHNOLOGY DEPT. Computing Science

doppia con carlstrom

 

43

HERBELIN Hugo

INRIA - Department Logical

 

Hotel Crimea

44

HERMANT Olivier

INRIA - Dept. Logical

doppia con Narboux

 

45

HONSELL Furio

Università di Udine

singola

 

46

HYVERNAT Pierre

CHALMERS UNIVERSITY OF TECHNOLOGY Computing Science - Programming Logic

singola

 

47

JOHANNISSON Kristofer

CHALMERS/ GOTEBORG UNIVERSITY Computing Science

singola

 

48

JOJGOV Gueorgut

TU EINDHOVEN - DEPT. WISKUNDF EN INFORMATICA

doppia da solo

 

49

KHEGAI Janna

CHALMERS UNIVERSITY OF TECHNOLOGY Computing Science

singola

 

50

LEGRANDGERARD Yves

UNIVERSITE PARIS 7 PPS Computer Science

singola

 

51

LESCANNE Pierre

ENS LYON - LIP

 

Hotel Crimea

52

LETOUZEY Pierre

UNIVERSITE PARIS SUD LRI

doppia con corbineau

 

53

LUO Yong

UNIVERSITY OF DURHAM
Dept. Of Computer Science

singola

 

54

LUO Zhaohui

UNIVERSITY OF DURHAM
Dept. Of Computer Science

singola

 

55

MAGAUD Nicolas

INRIA - DEPT. LAMME

doppia con tiu

 

56

MAHARAJ Savitri

UNIVERSITY OF STIRLING DEPT. OF COMPUTING SCIENCE & MATHS

doppia con Maietti

 

57

MAIETTI Maria Emilia

UNIVERSITA' DI PADOVA - DIP. MATEMATICA PURA ED APPLICATA

doppia con Maharaj

 

58

MANOURY Pascal

UNIVERSITE PARIS 7
PPS Computer Science

singola

 

59

MARTIN-LOF Per

STOCKHOLM
Dept. Of Mathematics

singola

 

60

MATTHES Ralph

UNIVERSITY OF MUNICH Dept. Of Computer Science

doppia da solo

 

61

MAYERO Micaela

UNIVERSITE PARIS 7 PPS Computer Science

doppia con delahaye

 

62

MCBRIDE Conor

UNIVERSITY OF DURHAM
Dept. Of Computer Science

 

Hotel Crimea

63

MCKINLEY Richard

UNIVERSITY OF BATH - DEPT. COMPUTER SCIENCE

 

Hotel Crimea

64

MCKINNA James

UNIVERSITY OF DURHAM
Dept. Of Computer Science

 

Hotel Crimea

65

MICULAN Marino

UNIVERSITA' DI uDINE - DIP. MATEMATICA ED INFORMATICA

 

Hotel Crimea

66

MOMIGLIANO Alberto

UNIVERSITY OF LEICESTER
Mathematics and Computer Science

 

Hotel Crimea

67

MONATE Benjamin

ECOLE POLYTECHNIQUE

doppia con Filliatre

 

68

NAIT ABDALLAH Areski

INRIA - Dep. Logical

 

Hotel Crimea

69

NARBOUX Julien

INRIA - Dept. Project Logical

doppia con Hermant

 

70

NAUMOWICS Adam

UNIVERSITY OF BIAKYSTOK
MATH-FIS

 

Hotel Crimea

71

NEGRI Sara

UNIV. OF HELSINKI - DEPT. PHILOSOPHY

doppia con Von Plato

 

72

NORDSTROM Bengt

CHALMERS/ GOTEBORG UNIVERSITY
Computing Science

singola

 

73

PARIGOT Michel

CNRS - UNIVERSITE PARIS 7

singola

 

74

PAULIN Christine

UNIVERSITE PARIS SUD LRI

singola

 

75

PFENNING Frank

CARNEGIE MELLON UNIVERSITY - PENNSYLVANIA - USA

singola

 

76

POLLACK Robert

EDINBURGH UNIVERSITY Dept of Computer Science

singola

 

77

POTTIER Loic

INRIA

 

Hotel Crimea

78

RAFFALLI Christophe

UNIVERSITE DE SAVOIE
Laboratoire de Mathematiques

 

Hotel Crimea

79

RANTA Aarne

CHALMERS/ GOTEBORG UNIVERSITY Computing Science

singola

 

80

RENARD Clément

INRIA - Dept. Project Logical

doppia con Gregorie

 

81

RITTER Eike

UNIVERSITY OF BRIMINGHAM
School of Computer Science

 

Hotel Crimea

82

RUYER Frederic

UNIVERSITE DE SAVOIE
Laboratoire de Mathematiques

 

Hotel Crimea

83

SAMBIN Giovanni

UNIVERSITA' DI PADOVA - DIP. MATEMATICA PURA ED APPLICATA

singola

 

84

SCAGNETTO Ivan

UNIVERSITA' DI UDINE - DIP. MATEMATICA ED INFORMATICA

singola

 

85

Schwitchenberg Helmut

Universitaet Muenchen Mathematisches Institut

Hotel Crimea

86

SMITH JAN

CHALMERS UNIVERSITY OF TECHNOLOGY Computing Science

singola

 

87

SOLOVIEV Serguei

IRIT/UPS-CNRS

singola

 

88

SPITTERS Bas

UNIVERSITY OF NIJMEGEN Dept of Computer Science

doppia con Cruz

 

89

TAYLOR Paul

 

 

Hotel Crimea

90

TIU Alwen Fernanto

Ecole Polytechnique - LIX

doppia con magaud

 

91

TRYBULEC Andrzej

UNIVERSITY OF BIAKYSTOK
MATH-FIS

 

Hotel Crimea

92

URZYCZYN Pawel

WARSAW UNIVERSITY Institute of Informatics

 

Hotel Crimea

93

UUSTALU Tarmo

INSTITUTE OF CYBERNETICS

 

Hotel Crimea

94

VAILLANT Stephane

INRIA - Dept. Logical

 

Hotel Crimea

95

VALENTINI Silvio

UNIVERSITA' DI PADOVA - DIP. MATEMATICA PURA ED APPLICATA

 

Hotel Crimea

96

VON PLATO Jan

UNIV. OF HELSINKI - DEPT. PHILOSOPHY

doppia con Negri

 

97

WAHLSTEDT David

CHALMERS UNIVERSITY OF TECHNOLOGY
Computing Science and Engineering

 

Hotel Crimea

98

WALUKIEWICZ-CHRZASZCZ Daria

WARSAW UNIVERITY Institute of Informatics

doppia con Chrwaszcz

 

99

WERNER Benjamin

INRIA - Dept. Logical

singola

 

100

WIEDIJK Freek

UNIVERSITY OF NJMEGEN, COMPUTER SCIENCE, NYMEGEN

 

Hotel Crimea

 

Prev.: 2. Invited Speakers . Up: 3. ListOfPartecipants. Next: 4. Schedule Of The Congress .
Web Adress: http://types2003.di.unito.it. E-mail: types2003@di.unito.it . Acknoledgements: Types 2003 is hosted by the Semantic Group of Computer Science Dept. of Turin University .This site has been generated using a Small Site Generator written in the Mathematica language by Stefano Berardi . Download the whole site.