itp-2015: pc@0a20b2b3235c (annotated)

82 7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	1	Andrea Asperti (Uni Bologna)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	2	http://www.cs.unibo.it/~asperti/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	3	Jesper Bengtson (IT University of Copenhagen)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	4	http://www.itu.dk/people/jebe/
83 0059a009056b update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 82 diff changeset	5	Stefan Berghofer (Secunet Security Networks AG)
82 7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	6	http://wwwbroy.in.tum.de/~berghofe/
74 a4b7afa82af6 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 73 diff changeset	7	Yves Bertot (INRIA)
82 7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	8	http://www-sop.inria.fr/members/Yves.Bertot/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	9	Lars Birkedal (Aarhus University)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	10	http://cs.au.dk/~birke/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	11	Sandrine Blazy (IRISA)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	12	https://www.irisa.fr/celtique/blazy/index.html#contact
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	13	Thierry Coquand (University of Gothenburg)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	14	http://www.cse.chalmers.se/~coquand/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	15	Xinyu Feng (University of Science and Technology of China)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	16	http://staff.ustc.edu.cn/~xyfeng/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	17	Ruben Gamboa (University of Wyoming)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	18	http://www.cs.uwyo.edu/~ruben/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	19	Herman Geuvers (Nijmegen)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	20	http://www.cs.ru.nl/~herman/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	21	Mike Gordon (Cambridge University)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	22	https://www.cl.cam.ac.uk/~mjcg/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	23	Elsa Gunter (University of Illinois, Urbana - Champaign)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	24	http://web.engr.illinois.edu/~egunter/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	25	John Harrison (Intel Corporation)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	26	http://www.cl.cam.ac.uk/~jrh13/
74 a4b7afa82af6 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 73 diff changeset	27	Hugo Herbelin (INRIA)
82 7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	28	http://pauillac.inria.fr/~herbelin/index-eng.html
86 99f336f35f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 83 diff changeset	29	Matt Kaufmann (University of Texas at Austin)
82 7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	30	http://www.cs.utexas.edu/~kaufmann/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	31	Gerwin Klein (NICTA)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	32	http://www.cse.unsw.edu.au/~kleing/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	33	Cesar Munoz (NASA Langley Research Center)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	34	http://shemesh.larc.nasa.gov/people/cam/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	35	Tobias Nipkow (TU Munich)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	36	http://www21.in.tum.de/~nipkow/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	37	Michael Norrish (NICTA)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	38	http://nicta.com.au/people/norrishm
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	39	Scott Owens (University of Kent)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	40	http://www.cs.kent.ac.uk/people/staff/sao/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	41	Randy Pollack (Harvard University)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	42	http://homepages.inf.ed.ac.uk/rpollack/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	43	Carsten Schümann (IT University of Copenhagen)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	44	http://www.itu.dk/people/carsten/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	45	Konrad Slind (Rockwell Collins)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	46	Alwen Tiu (Nanyang Technological University)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	47	http://www.ntu.edu.sg/home/atiu/
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	48	Christian Urban (King's College London)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	49	Dimitrios Vytiniotis (Microsoft Research Cambridge)
7b71e2c2b422 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 81 diff changeset	50	http://research.microsoft.com/en-us/people/dimitris/
86 99f336f35f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 83 diff changeset	51	Xingyuan Zhang (PLA University of Science and Technology)
80 571250c1b210 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	52	(25)
571250c1b210 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	53
571250c1b210 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	54
571250c1b210 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	55
79 89670732372b updated pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 78 diff changeset	56	Bob Constable
89670732372b updated pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 78 diff changeset	57	Georges Gonthier
89670732372b updated pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 78 diff changeset	58
66 a61171d51796 added a potential list for pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59
72 e73146897399 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	60	Previous ITP was 33
e73146897399 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	61
e73146897399 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	62	Reserve
e73146897399 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	63	=======
74 a4b7afa82af6 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 73 diff changeset	64	Pierre-Yves Strub (Coq)
72 e73146897399 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	65	René Thiemann
66 a61171d51796 added a potential list for pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66	Christine Paulin-Mohring
67 084fe19c59ed updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 66 diff changeset	67	Larry Paulson
69 43da71639190 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 68 diff changeset	68
73 d4db079cb2a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 72 diff changeset	69	not really ITP person:
d4db079cb2a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 72 diff changeset	70	Gilles Dowek
69 43da71639190 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 68 diff changeset	71
74 a4b7afa82af6 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 73 diff changeset	72	=======================
a4b7afa82af6 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 73 diff changeset	73	Gilles Barthe (out)
75 5868d8f8649f added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 74 diff changeset	74	Nick Benton (out)
78 5e588da951ce updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 77 diff changeset	75	Humin Lin (out)
79 89670732372b updated pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 78 diff changeset	76	Xavier Leroy (out)
89670732372b updated pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 78 diff changeset	77	John Matthews (out Apple)
89670732372b updated pc Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 78 diff changeset	78
74 a4b7afa82af6 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 73 diff changeset	79
69 43da71639190 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 68 diff changeset	80	=========
72 e73146897399 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	81	Potential Invited speakers:
69 43da71639190 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 68 diff changeset	82
43da71639190 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 68 diff changeset	83	Zhong Shao
43da71639190 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 68 diff changeset	84	Andrew Appel
43da71639190 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 68 diff changeset	85	Jeremy Avigad

author	chunhan
	Sun, 26 Jul 2015 09:35:56 +0800
changeset 226	0a20b2b3235c
parent 86	99f336f35f87
permissions	-rw-r--r--