Mercurial Mercurial > hg > itp-2015 / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
pc
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 06 Nov 2014 18:02:56 +0000
changeset 79 89670732372b
parent 78 5e588da951ce
child 80 571250c1b210
permissions -rw-r--r--
updated pc
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
73
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
     1
 
Gerwin Klein      (NICTA)
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
     2
 
Ruben Gamboa      (University of Wyoming)
74
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 73
diff changeset 
     3
 
Tobias Nipkow     (TU Munich)
73
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
     4
 
Michael Norrish   (NICTA)
75
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 74
diff changeset 
     5
 
John Harrison     (INTEL)
73
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
     6
 
Thierry Coquand   (University of Gothenburg)
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
     7
 
Steffen Berghofer (Secunet Security Networks AG)
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
     8
 
Randy Pollack     (Harvard University)
78
5e588da951ce updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 77
diff changeset 
     9
 
Mike Gordon       (Cambridge University)
74
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 73
diff changeset 
    10
 
Sandry Blazy      (IRISA?)
77
50e739f0a836 updated pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 76
diff changeset 
    11
 
Herman Geuvers    (Nijmegen)
73
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
    12
 
Xinyu Feng        (Suzhou Institute for Advanced Study)
74
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 73
diff changeset 
    13
 
Yves Bertot       (INRIA)
73
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
    14
 
Konrad Slind      (Rockwell Collins)
74
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 73
diff changeset 
    15
 
Hugo Herbelin     (INRIA)
79
89670732372b updated pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 78
diff changeset 
    16
 
Lars Birkedal     (Aarhus)
75
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 74
diff changeset 
    17
 
Jesper Bengtson   (ITU)
79
89670732372b updated pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 78
diff changeset 
    18
 
Carsten Schuermann (ITU)
89670732372b updated pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 78
diff changeset 
    19
 
Dimitrios Vytiniotis (Microsoft)
89670732372b updated pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 78
diff changeset 
    20
 
Elsa Gunter       (Urbana Champain)
89670732372b updated pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 78
diff changeset 
    21
 
(20)
89670732372b updated pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 78
diff changeset 
    22
 












89670732372b
updated pc



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
78

diff
changeset




    23


Cesar Munos       (nasa)













89670732372b
updated pc



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
78

diff
changeset




    24


Matt Kaufman      (texas)













89670732372b
updated pc



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
78

diff
changeset




    25


Scott Owens       (Kent)













89670732372b
updated pc



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
78

diff
changeset




    26


Andrea Asperti     (Uni Bologna)













89670732372b
updated pc



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
78

diff
changeset




    27


Alwen Tui          (Nanyang)













89670732372b
updated pc



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
78

diff
changeset




    28


Bob Constable













89670732372b
updated pc



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
78

diff
changeset




    29


Georges Gonthier













89670732372b
updated pc



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
78

diff
changeset




    30









66






a61171d51796
added a potential list for pc



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 

diff
changeset




    31









72






e73146897399
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
69

diff
changeset




    32


Previous ITP was 33













e73146897399
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
69

diff
changeset




    33














e73146897399
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
69

diff
changeset




    34


Reserve













e73146897399
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
69

diff
changeset




    35


=======








74





Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
73

diff
changeset




    36


Pierre-Yves Strub (Coq)








72






e73146897399
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
69

diff
changeset




    37


René Thiemann 








66






a61171d51796
added a potential list for pc



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 

diff
changeset




    38


Christine Paulin-Mohring








67






084fe19c59ed
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
66

diff
changeset




    39


Larry Paulson








69






43da71639190
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
68

diff
changeset




    40









73






d4db079cb2a9
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
72

diff
changeset




    41


not really ITP person: 













d4db079cb2a9
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
72

diff
changeset




    42


Gilles Dowek








69






43da71639190
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
68

diff
changeset




    43









74





Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
73

diff
changeset




    44


=======================












Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
73

diff
changeset




    45


Gilles Barthe     (out)








75





Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
74

diff
changeset




    46


Nick Benton       (out)








78






5e588da951ce
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
77

diff
changeset




    47


Humin Lin         (out)








79






89670732372b
updated pc



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
78

diff
changeset




    48


Xavier Leroy      (out)













89670732372b
updated pc



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
78

diff
changeset




    49


John Matthews     (out Apple)













89670732372b
updated pc



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
78

diff
changeset




    50









74





Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
73

diff
changeset




    51









69






43da71639190
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
68

diff
changeset




    52


=========








72






e73146897399
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
69

diff
changeset




    53


Potential Invited speakers:








69






43da71639190
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
68

diff
changeset




    54














43da71639190
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
68

diff
changeset




    55


Zhong Shao













43da71639190
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
68

diff
changeset




    56


Andrew Appel













43da71639190
updated



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
68

diff
changeset




    57


Jeremy Avigad















itp-2015