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>
Mon, 26 May 2014 12:08:57 +0100
changeset 69 43da71639190
parent 68 1f237ce9630a
child 72 e73146897399
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
66
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     1
 
Gerwin Klein
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     2
 
Ruben Gamboa
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     3
 
Tobias Nipkow
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     4
 
Zhong Shao
68
1f237ce9630a some small additions
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 67
diff changeset 
     5
 
Michael Norrish
66
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     6
 
John Harrison
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     7
 
Matt Kaufman
68
1f237ce9630a some small additions
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 67
diff changeset 
     8
 
Therry Coquand
66
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     9
 
Steffen Berghofer
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    10
 
Georges Gonthier
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    11
 
Cezar Munos
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    12
 
Randy Pollack
68
1f237ce9630a some small additions
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 67
diff changeset 
    13
 
Mike Gordon (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
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    15
 
Sandry Blazy
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    16
 
Jeremy Avigard
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    17
 
Herman Geuvers
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    18
 
Xingyu Feng
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    19
 
Alwen Tui
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    20
 
Jouanaud
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    21
 
Humin Lin
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    22
 
Nick Benton
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    23
 
Andrew Appel
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    24
 
Yves Bertot
68
1f237ce9630a some small additions
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 67
diff changeset 
    25
 
John Matthews (Galois)
1f237ce9630a some small additions
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 67
diff changeset 
    26
 
Konrad Slind (Rockwell Collins)
67
084fe19c59ed updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 66
diff changeset 
    27
 
Gilles Dowek
68
1f237ce9630a some small additions
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 67
diff changeset 
    28
 
Hugo Herbelin
1f237ce9630a some small additions
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 67
diff changeset 
    29
 
Bob Constable
1f237ce9630a some small additions
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 67
diff changeset 
    30
 
(29)
66
a61171d51796 added a potential list for pc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    31
 












a61171d51796
added a potential list for pc



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


parents: 

diff
changeset




    32


---------













a61171d51796
added a potential list for pc



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


parents: 

diff
changeset




    33


Christine Paulin-Mohring








67






084fe19c59ed
updated



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


parents: 
66

diff
changeset




    34


Larry Paulson








68






1f237ce9630a
some small additions



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


parents: 
67

diff
changeset




    35


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




    36


Lars Birkedal








69






43da71639190
updated



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


parents: 
68

diff
changeset




    37


Jesper Bengtson













43da71639190
updated



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


parents: 
68

diff
changeset




    38


Zhaohui Luo (Royal Holloway)













43da71639190
updated



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


parents: 
68

diff
changeset




    39














43da71639190
updated



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


parents: 
68

diff
changeset




    40














43da71639190
updated



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


parents: 
68

diff
changeset




    41














43da71639190
updated



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


parents: 
68

diff
changeset




    42


=========













43da71639190
updated



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


parents: 
68

diff
changeset




    43


Invited speakers:













43da71639190
updated



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


parents: 
68

diff
changeset




    44














43da71639190
updated



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


parents: 
68

diff
changeset




    45


Zhong Shao













43da71639190
updated



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


parents: 
68

diff
changeset




    46


Andrew Appel













43da71639190
updated



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


parents: 
68

diff
changeset




    47


Jeremy Avigad















itp-2015