public_html: Nominal/activities.html@45c5095d3774 (annotated)

402 9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	<?xml version="1.0" encoding="utf-8"?>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	<html>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	<head>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	<title>The Nominal Datatype Package</title>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	<script type="text/javascript" src="striper.js"></script>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	<link rel="stylesheet" href="nominal.css">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	</head>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	<body onload="striper('ul','striped','li','first,second')">
406 e1e18587caf9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 402 diff changeset	10	<h1>Our Old Activities</h1>
402 9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11
407 7995bc5554b7 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 406 diff changeset	12	<h2>Past</h2>
402 9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	<h2>2013</h2>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	<ul class="striped">
419 793f6d12cf2d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 411 diff changeset	16	<li> Christian is at the Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October)
793f6d12cf2d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 411 diff changeset	17	<li> Christian is at POPL (Rome, 23 - 25 January)
793f6d12cf2d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 411 diff changeset	18	<li> Christian is at NASA Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour)
793f6d12cf2d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 411 diff changeset	19	<li> Visit by Michael Norrish from NICTA (19 - 22 July)
402 9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	<li> Larry Paulson visits the SMAL group (16 July, hosts: Prof. Maribel Fernandez and Christian Urban)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21	<li> Christian is at ITP (Rennes, 23 - 26 July)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	<li> Visit by Xingyuan Zhang from the PLA University in Nanjing (27 July - 5 August)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23	</ul>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25	<h3>2012</h3>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	26	<ul class="striped">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	27	<li> Chunhan Wu joins the Nominal Group at King's (25 June)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28	<li> Christian gives a talk at the Nominal Sets Meet Automata Theory Workshop (Warsaw, 9 - 10 February)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	</ul>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31	<h3>2011</h3>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	32	<ul class="striped">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33	<li> Christian gives a talk at Nominal Workshop in Leicester (23 November, host: Dr Roy Crole)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34	<li> Christian will give a talk at ITP 2011 (22 - 25 August)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35	<li> Alwen Tiu from the Australian National University visits the Nominal Group (19 August)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36	<li> Christian gives a talk at ITU (15 August, host: Prof. Lars Birkedal)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37	<li> Christian gives a talk at ESOP 2011 (26 - 30 March)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	<li> Cezary gives a talk at ACM SAC 2011 (21 - 24 March, Taipei)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	<li> Christian gives a talk at Uppsala University (3 March, host: Prof. Joachim Parrow)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	<li> Palle Raabjerg from Uppsala University visits the Nominal Group (2 February - 2 March)
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 419 diff changeset	41	<li> There will be a one-day <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/nominal-popl11/">tutorial</A> about Nominal Isabelle at POPL 2011
402 9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	</ul>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44	<h3>2010</h3>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45	<ul class="striped">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46	<li> Isabelle/Isar tutorial at University Paris Sud (22 - 23 November, host: Dr Markus Wenzel)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	<li> Christian gives a talk at the University of Sussex (3 November, host: Dr Martin Berger)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48	<li> Christian gives an invited talk at WMM'10 (Baltimore, 25 September)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	<li> Christian gives a talk at the Jiao Tong University (20 September, host: Prof. Kenny Zhu)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	<li> Christian gives a course on Isabelle programming at the University of Nanjing
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51	(host: Prof. Xingyuan Zhang, 1st - 31st August)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52	<li> Christian gives an invited talk at UNIF'10 (Edinburgh, 14 July)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	<li> Talk at ITP (Edinburgh, 11 - 14 July)
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 419 diff changeset	54	<li> Larry Paulson and Christian organise the <A href="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/idw10/idw.html">Isabelle Developers Workshop</A> (Cambridge, 17 - 18 June)
402 9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55	<li> Christian gives a talk in the Automated Reasoning Group in Cambridge (8 June)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	56	<li> Cezary will leave us to take up a research fellowship in Japan. Congratulations! (31 May)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57	<li> Christian gives a talk in the Isabelle group (28 May)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	58	<li> Christian is on the thesis committee of Clement Houtmann (Nancy, 12 March)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59	<li> Christian gives a talk in the Automated Reasoning Group in Cambridge (16 February)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	<li> POPL (20th - 22nd January)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61	</ul>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	62
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	<h3>2009</h3>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	<ul class="striped">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65	<li> Schloss Dagstuhl Seminar (4th - 9th October)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66	<li> Christian is PC-chair of the <A HREF="http://www.seas.upenn.edu/~sweirich/wmm/wmm09.html" target="_top">Workshop on Mechanizing Metatheory</A>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67	<li> Jeremy Dawson from the Australian National University visits the Nominal Group (13 - 26 August)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68	<li> Yongjian Li from the Chinese Academy of Sciences in Beijing visits the Nominal Group (13 - 25 August)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69	<li> Randy Pollack from the University of Edinburgh visits the Nominal Group (17 - 21 August)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	<li> Christian is PC co-chair of TPHOLs (17 - 20 August)
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 419 diff changeset	71	<li> Christian organises the <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/tphols09/idw.html">
402 9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72	Isabelle Developers Workshop</A> co-located with TPHOLs (13 - 15 August)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73	<li> Cezary Kaliszyk joins the Nominal Group
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74	<li> Christian visist Prof. T.H. Tse at Hong Kong University (24 - 30 June)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75	<li> Christian gives an Isabelle <A HREF="activities/cas09">course</A> at the Chinese
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	76	Academy of Sciences in Beijing (May/June, hosts: Prof. Huimin Lin and Prof. Yongjian Li)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	77	<li> Christian gives a talk at Tsinghua University (22 May, host: Prof. Jean-Pierre Jouannaud)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	78	<li> Christian gives a talk in Darmstadt (21 April, host: Prof. Helmut Veith)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	79	<li> Stefan visits Jesper Bengtson (20 April - 1 May)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	80	<li> Christian was at the TAASN'09 workshop as member of the PC (22nd March)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	81	<li> Jesper Bengtson visits Stefan (23rd February - 5th March)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	82	<li> Christian is at POPL (18th - 24th January)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	83	</ul>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	84
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	85	<h3>2008</h3>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	86	<ul class="striped">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	87	<li> Version 0.15 of Nominal Isabelle (22nd December)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	88	<li> Christian is a visiting research fellow at Princeton (15th September - 13th December)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	89	<LI> Christian gives a
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	90	<A HREF="http://www.csail.mit.edu/events/eventcalendar/calendar.php?show=event&id=2053">talk</A>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	91	at MIT (21th November, hosts Prof. Martin Rinard and Dr Cameron Freer)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	92	<LI> Christian gives a talk at NYU (10th November, host Prof. Benjamin Goldberg)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	93	<li> Christian gives a talk at the kick-off meeting of the
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	94	<A HREF="http://puma.in.tum.de/wiki/Doctorate_Program:_PUMA" target="_top">PUMA Doctoral Programme</A>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	95	(28 September - 3 October, Spitzingsee)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	96	<li> Christian gives an invited talk at LSFA (26th August, Brazil)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	97	<li> Stefan gives a talk at at TPHOLs (18 - 21 August, Montreal, Canada)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	98	<li> Stefan and Christian give a Nominal Isabelle tutorial at
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	99	<A HREF="activities/nominal-ijcar08" target="_top">IJCAR'08</A>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	100	(11 August, Sydney)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	101	<li> Christian gives a course on nominal reasoning techniques at the
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	102	<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Programming
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	103	Languages summer school</A> (22 - 30 July, Eugene, [<A HREF="activities/oregon.html">slides</A>])
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	104	<li> Christian gives a talk at RTA (15 - 17 July, Hagenberg, Austria)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	105	<li> Christian gives a talk at LICS (24 - 27 June, Pittsburgh)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	106	<li> Andreas Abel and Christian organise the LFMTP'08 workshop
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	107	<li> Christian gives a talk in Swansea (1 April)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	108	<li> Christian presents a poster at TTVSI (25 - 26 March, London)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	109	<li> Stefan gives a talk at TYPES conference (26 - 29 March, Torino, Italy)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	110	<li> Christian gives a talk at the CANS meeting (10 March, King's College London)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	111	<li> Christian gives a talk at Imperial College, London (6. March)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	112	<li> Matthew Lakin (Ph.D. student of Andy Pitts, Cambridge, 18. - 22. February)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	113	visits the nominal group,
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	114	slides [<A HREF="activities/slides-lakin.pdf" target="_top">pdf</A>]
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	115	<li> Peter Chapman (Ph.D. student of Roy Dyckhoff, St Andrews)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	116	visits the nominal group (11. - 15. February,
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	117	slides [<A HREF="activities/slides-chapman.pdf" target="_top">pdf</A>])
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	118	<li> Christian gives a talk at Yale University, New Haven (24. January)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	119	<li> Christian gives a talk at Northeastern University, Boston (22. January)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	120	<li> Christian gives two talks at Indiana University, Bloomington (16. and 18. January)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	121	<li> Christian has a look what the competition is up to at the POPL workshop on Coq (8. January)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	122	<li> Version 0.14 of Nominal Isabelle (7. January)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	123	</ul>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	124
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	125
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	126	<h3>2007</h3>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	127	<ul class="striped">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	128	<li> Christian gives two talks in Saarbrücken (13. and 14. December)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	129	<li> Jesper Bengtson (Ph.D. student of Joachim Parrow, Uppsala) visits the nominal group
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	130	(1. - 9. December, slides [<A HREF="activities/slides-bengtson.pdf" target="_top">pdf</A>])
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	131	<li> James Cheney from LFCS Edinburgh visits the nominal group (29. October - 15. November)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	132	<li> Version 0.13 of Nominal Isabelle (12. Oktober)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	133	<li> Talk by Christian at WMM'07 (4. October)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	134	<li> Randy Pollack from LFCS Edinburgh visits the nominal group (25. - 29. September, slides:
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	135	[<A HREF="activities/slides-pollack.pdf" target="_top">pdf</A>])
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	136	<li> Jeremy Dawson from NICTA Australia visits the nominal group (15. - 25. September)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	137	<li> Version 0.12 of Nominal Isabelle (18. September)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	138	<li> Michael Norrish form NICTA Australia visits the nominal group (5. - 9. September, slides:
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	139	[<A HREF="activities/slides-norrish.pdf" target="_top">pdf</A>])
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	140	<li> Julien received a lectureship at the University of Strasbourg - the members of the
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	141	nominal group say congratulation and thanks for the excellent work he has done in
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	142	the past year (1. September)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	143	<li> Temesghen Kahsai from the University of Swansea visits us
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	144	and tells us about his work on formalising the spi-calculus done
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	145	under the supervision of Marino Miculan (13. - 16. August)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	146	<li> Talk by Christian at LFMTP and CADE; talk by Stefan at the Isabelle
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	147	Workshop (Bremen, 15. - 20. July)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	148	<li> Course by Christian at the
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	149	<A HREF="http://isr2007.loria.fr/index.php"> International School on Rewriting</A>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	150	(Nancy, 2. - 6. July)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	151	<li> Version 0.11 of Nominal Isabelle (25. June)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	152	<li> Talk by Christian at LFCS (Edinburgh, 29. May)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	153	<li> Talks by Stefan and Christian at the Nominal Workshop at ICMS (Edinburgh, 26. - 28. May)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	154	<li> Christian was invited researcher at NICTA Canberra and gave a talk
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	155	(host: Michael Norrish, 5. - 23. May)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	156	<li> Talk by Stefan at the TYPES Meeting in Udine (2. - 5. May)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	157	<li> Mathilde Arnaud from the ENS Cachan visits the nominal methods group
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	158	to do an internship (April - August)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	159	<li> Version 0.10 of Nominal Isabelle (12. April)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	160	<li> Version 0.09 of Nominal Isabelle (22. March)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	161	<li> Talk by Julien at the LogiCal/Proval's seminar, Palaiseau, France (20. March)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	162	<li> Talk by Christian in St Andrews, UK (13. February)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	163	<li> Talk by Julien in the group of
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	164	<A HREF="http://pauillac.inria.fr/~xleroy/" target="_top">Xavier Leroy</A>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	165	(Paris, 9. February)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	166	<li> <A HREF="http://homepages.inf.ed.ac.uk/jcheney/" target="_top">James Cheney</A> visits the
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	167	nominal methods group (5. - 10. February, slides:
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	168	[<A HREF="activities/slides-cheney.pdf" target="_top">pdf</A>])
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	169	<li> Version 0.08 of Nominal Isabelle (18. January)
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	170	</ul>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	171
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	172	</body>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	173	</html>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	174
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	175
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	176

author	Christian Urban <urbanc@in.tum.de>
	Tue, 30 Jul 2019 11:09:46 +0100
changeset 583	45c5095d3774
parent 465	4dac76eb27d9
permissions	-rw-r--r--