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>
Wed, 23 Jul 2014 05:02:30 +0200
changeset 73 d4db079cb2a9
parent 72 e73146897399
child 74 a4b7afa82af6
permissions -rw-r--r--
updated
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)
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
     3
 
Tobias Nipkow     (asked)
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
     4
 
Michael Norrish   (NICTA)
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
     5
 
John Harrison     (asked)
66
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     6
 
Matt Kaufman
73
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
     7
 
Thierry Coquand   (University of Gothenburg)
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
     8
 
Steffen Berghofer (Secunet Security Networks AG)
66
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     9
 
Georges Gonthier
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    10
 
Cezar Munos
73
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
    11
 
Randy Pollack     (Harvard University)
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
    12
 
Mike Gordon
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
    13
 
(or Magnus Myreen)
66
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    14
 
Xavier Leroy
73
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
    15
 
Sandry Blazy      (asked)
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
    16
 
Herman Geuvers    (asked)
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
    17
 
Xinyu Feng        (Suzhou Institute for Advanced Study)
66
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    18
 
Alwen Tui
73
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
    19
 
Humin Lin         (asked)
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
    20
 
Nick Benton       (asked)
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
    21
 
Yves Bertot       (asked)
68
1f237ce9630a some small additions
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 67
diff changeset 
    22
 
John Matthews (Galois)
73
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
    23
 
Konrad Slind      (Rockwell Collins)
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
    24
 
Hugo Herbelin     (asked)
68
1f237ce9630a some small additions
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 67
diff changeset 
    25
 
Bob Constable
73
d4db079cb2a9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 72
diff changeset 
    26
 
Gilles Barthe     (asked)
72
e73146897399 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 69
diff changeset 
    27
 
(27)
66
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    28
 







72






e73146897399
updated



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


parents: 
69

diff
changeset




    29


Previous ITP was 33













e73146897399
updated



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


parents: 
69

diff
changeset




    30














e73146897399
updated



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


parents: 
69

diff
changeset




    31


Reserve













e73146897399
updated



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


parents: 
69

diff
changeset




    32


=======













e73146897399
updated



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


parents: 
69

diff
changeset




    33


René Thiemann 








66






a61171d51796
added a potential list for pc



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


parents: 

diff
changeset




    34


Christine Paulin-Mohring








67






084fe19c59ed
updated



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


parents: 
66

diff
changeset




    35


Larry Paulson








68






1f237ce9630a
some small additions



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


parents: 
67

diff
changeset




    36


Dan Licata (check whether he had an ITP paper)













1f237ce9630a
some small additions



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


parents: 
67

diff
changeset




    37


Lars Birkedal








69






43da71639190
updated



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


parents: 
68

diff
changeset




    38


Jesper Bengtson








72






e73146897399
updated



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


parents: 
69

diff
changeset




    39


?? Zhaohui Luo (Royal Holloway)








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














43da71639190
updated



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


parents: 
68

diff
changeset




    44


=========








72






e73146897399
updated



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


parents: 
69

diff
changeset




    45


Potential Invited speakers:








69






43da71639190
updated



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


parents: 
68

diff
changeset




    46














43da71639190
updated



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


parents: 
68

diff
changeset




    47


Zhong Shao













43da71639190
updated



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


parents: 
68

diff
changeset




    48


Andrew Appel













43da71639190
updated



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


parents: 
68

diff
changeset




    49


Jeremy Avigad















itp-2015