itp-2015: pc@571250c1b210 (annotated)

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 a4b7afa82af6 added 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 5868d8f8649f added 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 a4b7afa82af6 added 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 a4b7afa82af6 added 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 a4b7afa82af6 added 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 5868d8f8649f added 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	Cesar Munos (nasa)
80 571250c1b210 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	22	Andrea Asperti (Uni Bologna)
571250c1b210 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	23	Scott Owens (Kent)
79 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	Alwen Tui (Nanyang)
80 571250c1b210 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	26	(25)
571250c1b210 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	27
571250c1b210 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	28
571250c1b210 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	29
79 89670732372b updated pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 78 diff changeset	30	Bob Constable
89670732372b updated pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 78 diff changeset	31	Georges Gonthier
89670732372b updated pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 78 diff changeset	32
66 a61171d51796 added a potential list for pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33
72 e73146897399 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	34	Previous ITP was 33
e73146897399 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	35
e73146897399 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	36	Reserve
e73146897399 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	37	=======
74 a4b7afa82af6 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 73 diff changeset	38	Pierre-Yves Strub (Coq)
72 e73146897399 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	39	René Thiemann
66 a61171d51796 added a potential list for pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	Christine Paulin-Mohring
67 084fe19c59ed updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 66 diff changeset	41	Larry Paulson
69 43da71639190 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 68 diff changeset	42
73 d4db079cb2a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 72 diff changeset	43	not really ITP person:
d4db079cb2a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 72 diff changeset	44	Gilles Dowek
69 43da71639190 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 68 diff changeset	45
74 a4b7afa82af6 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 73 diff changeset	46	=======================
a4b7afa82af6 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 73 diff changeset	47	Gilles Barthe (out)
75 5868d8f8649f added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 74 diff changeset	48	Nick Benton (out)
78 5e588da951ce updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 77 diff changeset	49	Humin Lin (out)
79 89670732372b updated pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 78 diff changeset	50	Xavier Leroy (out)
89670732372b updated pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 78 diff changeset	51	John Matthews (out Apple)
89670732372b updated pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 78 diff changeset	52
74 a4b7afa82af6 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 73 diff changeset	53
69 43da71639190 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 68 diff changeset	54	=========
72 e73146897399 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	55	Potential Invited speakers:
69 43da71639190 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 68 diff changeset	56
43da71639190 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 68 diff changeset	57	Zhong Shao
43da71639190 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 68 diff changeset	58	Andrew Appel
43da71639190 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 68 diff changeset	59	Jeremy Avigad

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Sat, 15 Nov 2014 08:18:11 +0000
changeset 80	571250c1b210
parent 79	89670732372b
child 81	b20c856b2389
permissions	-rw-r--r--