public_html: teaching.html@90b45f94927b (annotated)

2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	1	<?xml version="1.0" encoding="utf-8"?>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	3	<HEAD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	<TITLE> Christian Urban </TITLE>
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	5	<BASE HREF="http://nms.kcl.ac.uk/christian.urban/">
23 3c1a98a18f92 added google track Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	6	<script type="text/javascript">
3c1a98a18f92 added google track Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	7
3c1a98a18f92 added google track Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	8	var _gaq = _gaq \|\| [];
3c1a98a18f92 added google track Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	9	_gaq.push(['_setAccount', 'UA-4143458-4']);
3c1a98a18f92 added google track Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	10	_gaq.push(['_trackPageview']);
3c1a98a18f92 added google track Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	11
3c1a98a18f92 added google track Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	12	(function() {
3c1a98a18f92 added google track Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	13	var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
3c1a98a18f92 added google track Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	14	ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
3c1a98a18f92 added google track Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	15	var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
3c1a98a18f92 added google track Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	16	})();
3c1a98a18f92 added google track Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	17
3c1a98a18f92 added google track Christian Urban <urbanc@in.tum.de> parents: 13 diff changeset	18	</script>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	19	</HEAD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	20
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	21	<BODY TEXT="#000000"
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	22	BGCOLOR="#4169E1"
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	23	LINK="#0000EF"
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	24	VLINK="#51188E"
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	25	ALINK="#FF0000">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	26
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	27	<TABLE WIDTH="100%"
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	28	BGCOLOR="#4169E1"
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	29	BORDER="0"
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	30	FRAME="border"
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	31	CELLPADDING="10"
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	32	CELLSPACING="2"
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	33	RULES="all">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	34
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	35	<!-- left column -->
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	36	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	37	<TD BGCOLOR="#FFFFFF"
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	38	WIDTH="24%"
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	39	VALIGN="TOP"
468 c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	40	ROWSPAN="18">
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	41
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	42	<B>Links</B><BR>
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	43	<A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR>
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	44	<A HREF="http://nms.kcl.ac.uk/christian.urban/publications.html">Publications</A><BR>
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	45	<A HREF="http://nms.kcl.ac.uk/christian.urban/teaching.html">Teaching</A><BR>
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	46	<A HREF="http://nms.kcl.ac.uk/christian.urban/travelling.html">Recent Talks</A><BR>
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	47	<A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/">Nominal Isabelle</A>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	48	<BR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	49	<BR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	50
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	51	<B>Handy Information</B><BR>
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	52	<A HREF="http://nms.kcl.ac.uk/christian.urban/logic.html">People in Logic</A><BR>
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	53	<A HREF="http://nms.kcl.ac.uk/christian.urban/programming.html">Programming Languages</A><BR>
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	54	<A HREF="http://nms.kcl.ac.uk/christian.urban/misc.html">Miscellaneous</A>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	55	<BR><BR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	56
39 160040af338e tuned pics Christian Urban <urbanc@in.tum.de> parents: 24 diff changeset	57	<table border="0">
160040af338e tuned pics Christian Urban <urbanc@in.tum.de> parents: 24 diff changeset	58	<tr>
160040af338e tuned pics Christian Urban <urbanc@in.tum.de> parents: 24 diff changeset	59	<td>
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	60	<A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/">
39 160040af338e tuned pics Christian Urban <urbanc@in.tum.de> parents: 24 diff changeset	61	<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
160040af338e tuned pics Christian Urban <urbanc@in.tum.de> parents: 24 diff changeset	62	</td>
160040af338e tuned pics Christian Urban <urbanc@in.tum.de> parents: 24 diff changeset	63	</tr>
160040af338e tuned pics Christian Urban <urbanc@in.tum.de> parents: 24 diff changeset	64	<tr>
160040af338e tuned pics Christian Urban <urbanc@in.tum.de> parents: 24 diff changeset	65	<td>
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	66	<A HREF="http://nms.kcl.ac.uk/christian.urban/Cookbook/">
39 160040af338e tuned pics Christian Urban <urbanc@in.tum.de> parents: 24 diff changeset	67	<IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A>
160040af338e tuned pics Christian Urban <urbanc@in.tum.de> parents: 24 diff changeset	68	</td>
160040af338e tuned pics Christian Urban <urbanc@in.tum.de> parents: 24 diff changeset	69	</tr>
160040af338e tuned pics Christian Urban <urbanc@in.tum.de> parents: 24 diff changeset	70	</table>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	71	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	72
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	73
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	74	<!-- right column -->
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	75	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	76	<H2>Teaching</H2>
346 8caac6b5e11e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 310 diff changeset	77
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	78	<p>Undergraduate students who have written dissertations under my supervision:
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	79	<ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	80	<li>Dominik Wee (2002-2003, King's College, Cambride; now at McKinsey in Munich)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	81	Part-II dissertation: An Implementation of Alpha-Prolog,
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	82	A Logic Programming Language with Support for Binding Syntax (out of 84 dissertations, Dominik's
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	83	thesis received the Data Connection prize for the highest number of marks awarded in 2003)</li>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	84	<li>Lisa White (2003-2004, Corpus, Cambridge) Part-II dissertation: Hal 2004, A Nominal Theorem
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	85	Prover</li>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	86	<li><A HREF="http://www.pps.jussieu.fr/~tasson">Christine Tasson</A>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	87	(2004, ENS Cachan, France; now in the PPS group in Paris)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	88	Induction Principles for Alpha-Equated Lambda-Terms
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	89	(the paper coming out of this work was presented at CADE)</li>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	90	<li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A>
310 4846ce596db9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 298 diff changeset	91	(2007, ENS Cachan, France, works now at the CEA in Saclay, France) Formalization of Generative Unbinding</li>
277 96f9be2b8188 updated marks Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 276 diff changeset	92	<li>Akhil Junghare (MSc 2011-2012, King's, mark: 68%) Lexing and Parsing using Derivatives</li>
96f9be2b8188 updated marks Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 276 diff changeset	93	<li>Darius Hodaei (MSc 2011-2012, King's, mark: 88%, works now at Microsoft Skype in London)
209 cc06aaf3a3a5 added to teaching Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 202 diff changeset	94	A Compiler for System F</li>
197 2a65056de0cb updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 188 diff changeset	95	<li>Jian Jiang (MSc 2011-2012, King's) Suffix Array Sorting,
168 a23dafe76598 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 153 diff changeset	96	received the prize of the best MSc thesis in 2012</li>
278 7e056bb8c9ab updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 277 diff changeset	97	<li>Mateusz Bieniek (BSc 2012-2013, King's, mark: 80%, works as developer at RedBite in Cambridge and
7e056bb8c9ab updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 277 diff changeset	98	starts a MSc in Bioinformatics at Imperial) X86-Code Generator for a small Compiler</li>
275 61ae2b80d361 added some results Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 273 diff changeset	99	<li>Daniel Zurawski (BSc 2012-2013, King's, mark: 75%, works now at MailOne) Lisp to JavaScript Translator in Clojure</li>
261 9a8c5cc64bef added students Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 236 diff changeset	100	<li>Biljana Naumova (BSc 2012-2013, King's) Regular Expression Equivalence Checking using Asperti's Algorithm</li>
298 7ad27eb1d1b8 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 294 diff changeset	101	<li>Spencer Jevon (BSc 2012-2013, King's, mark: 73%) Automata Minimisation using Brzozowski's Algorithm</li>
261 9a8c5cc64bef added students Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 236 diff changeset	102	<li>Maciej Surmacz (MSc 2012-2013, King's) A Student Polling System</li>
310 4846ce596db9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 298 diff changeset	103	<li>Fahad Ausaf (MSc 2012-2013, King's, mark: 78%, is now doing a PhD at King's under my supervison)
4846ce596db9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 298 diff changeset	104	MS IL Code Generator for a Simple Compiler</li>
277 96f9be2b8188 updated marks Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 276 diff changeset	105	<li>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting in Web-Browsers</li>
294 08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	106	<li>Mark Sangster (MSci 2013-2014, King's, mark: 80%) Regular Expression Matching and Partial Derivatives</li>
261 9a8c5cc64bef added students Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 236 diff changeset	107	<li>Lisethe Sanmartin (BSc 2013-2014, King's), Raspberry Pi Weather Station</li>
294 08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	108	<li>Gerwin Glorieux (BSc 2013-2014, King's, mark 80%) A Student Polling System</li>
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	109	<li>Anna Bladzich (MSci 2013-2014, King's, mark: 65%)
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	110	Implementation of a Distributed Clock-Synchronisation Algorithm
261 9a8c5cc64bef added students Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 236 diff changeset	111	developed at NASA</li>
9a8c5cc64bef added students Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 236 diff changeset	112	<li>Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System</li>
310 4846ce596db9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 298 diff changeset	113	<li>Pawel Huszcza (MSci 2013-2014, King's, mark: 65%) A Simple Compiler Targeting the LLVM</li>
294 08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	114	<li>Jan Soendermann (BSc 2013-2014, King's, mark: 85%, studies for his MSc at Cambridge University)
277 96f9be2b8188 updated marks Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 276 diff changeset	115	A Lisp Compiler Targeting JavaScript/Asm.js</li>
346 8caac6b5e11e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 310 diff changeset	116	<li>Ritu Kundu (MSc 2013-2014, King's, mark 79%) Modern Slide-Making in Elm and JavaScript</li>
349 4088b75174cf updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 347 diff changeset	117	<li>Vladislav Kononov (MSc 2013-2014, King's, mark 75%, works for RBS)
4088b75174cf updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 347 diff changeset	118	Regular Expression Matching with Derivatives</li>
374 cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	119	<li>Daniel Martinez (MSc 2013-2014, King's, mark 73%) Raspberry Pi Network</li>
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	120	<li>Kintesh Patel (BSc 2014-2015, King's, mark 75%) Slide-Making in the Web-Age</li>
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	121	<li>Vishvadeep Kadian (BSc 2014-2015, King's, mark 70%) Home Control, Automation & Management
468 c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	122	System Optimised for the Raspberry Pi</li>
c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	123	<li> ...
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	124	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	125
346 8caac6b5e11e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 310 diff changeset	126	<p>
374 cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	127	I was awarded in 2014 the prizes for both, best supervisor for BSc and best supervisor
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	128	for MSc projects, in the Faculty of Natural and Mathematical Sciences.
346 8caac6b5e11e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 310 diff changeset	129	</p>
8caac6b5e11e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 310 diff changeset	130
179 f00658424c66 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 178 diff changeset	131	<p>Examiner of PhD-theses:
178 4431a7c16627 added examinations Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 168 diff changeset	132	<ul>
4431a7c16627 added examinations Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 168 diff changeset	133	<li>Dragisa Zunic (2007, ENS in Lyon)
180 7e92b5d4ae6d typo Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 179 diff changeset	134	<li>Clement Houtmann (2010, INRIA Bordeaux)
294 08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	135	<li>Nikolai Sultana (2014, Cambridge)
364 c1df6a0cc84b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 349 diff changeset	136	<li>Andrew Boyton (2014, UNSW Australia)
444 06fd41a3df79 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 438 diff changeset	137	<li>Amy Furniss (2015, Leicester)
450 192083ac151f updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 444 diff changeset	138	<li>Julian Hedges (2016, QMUL London)
192083ac151f updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 444 diff changeset	139	<li>Ana Cristina Rocha-Oliveira (2016, University of Brasilia)
178 4431a7c16627 added examinations Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 168 diff changeset	140	</ul>
4431a7c16627 added examinations Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 168 diff changeset	141
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	142	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	143	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	144
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	145	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	146	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
468 c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	147	<H3>2016-2017</H3>
c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	148
c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	149	<ul>
c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	150	<li>Compilers and Formal Languages
c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	151	<li>Security Engineering
c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	152	<li>Practical Experiences of Programming (Scala Part, 3 weeks)
c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	153	</ul>
c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	154	</TD>
c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	155	</TR>
c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	156
c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	157
c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	158	<TR>
c6308b24fa20 updated Christian Urban <urbanc@in.tum.de> parents: 465 diff changeset	159	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
374 cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	160	<H3>2015-2016</H3>
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	161
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	162	<ul>
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	163	<li>Automata and Formal Languages
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	164	<li>Security Engineering
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	165	</ul>
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	166	</TD>
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	167	</TR>
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	168
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	169
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	170	<TR>
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	171	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
294 08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	172	<H3>2014-2015</H3>
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	173
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	174	<ul>
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	175	<li>Automata and Formal Languages course
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	176	<li>Access Control and Privacy Policies
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	177	</ul>
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	178	</TD>
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	179	</TR>
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	180
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	181
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	182	<TR>
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	183	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
188 12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	184	<H3>2013-2014</H3>
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	185
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	186	<ul>
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	187	<li>Automata and Formal Languages course
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	188	<li>Access Control and Privacy Policies
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	189	</ul>
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	190	</TD>
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	191	</TR>
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	192
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	193	<TR>
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	194	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
73 44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	195	<H3>2012-2013</H3>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	196
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	197	<ul>
79 001a643b8b06 tuned Christian Urban <urbanc@in.tum.de> parents: 76 diff changeset	198	<li>Automata and Formal Languages course
142 cbe1b90ddc96 tuned Christian Urban <urbanc@in.tum.de> parents: 129 diff changeset	199	<li>Access Control and Privacy Policies
73 44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	200	</ul>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	201	</TD>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	202	</TR>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	203
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	204	<TR>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	205	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
13 0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	206	<H3>2011-2012</H3>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	207
73 44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	208	<p><B>Autumn</B>
13 0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	209	<ul>
75 62713b84f345 tuned Christian Urban <urbanc@in.tum.de> parents: 74 diff changeset	210	<li>Course on Access Control and Privacy Policies (at King's; original course by Steve Barker)
73 44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	211	</ul>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	212	<p><B>Spring</B>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	213	<ul>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	214	<li>Help Steffen Zschaler with the Programming Application course; I
76 4e6ca743b4e4 tuned Christian Urban <urbanc@in.tum.de> parents: 75 diff changeset	215	am resposible for the exercises and the Scala part
13 0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	216	</ul>
0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	217	</TD>
0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	218	</TR>
0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	219
0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	220
0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	221	<TR>
0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	222	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	223	<H3>2010-2011</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	224
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	225	<p><B>Spring</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	226	<ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	227	<li>one-day tutorial on Nominal Isabelle at POPL'11 with Cezary Kaliszyk
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	228	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	229
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	230	<p><B>Autumn</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	231	<ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	232	<li>Types course at the University of Cambridge (Mondays,
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	233	Wednesdays and Fridays at 10 o'clock in Lecture Theater 2, starting 8th October)
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	234	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture1.pdf">Lec 1</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	235	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture2.pdf">Lec 2</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	236	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture3_script.pdf">Lec 3</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	237	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture4_script.pdf">Lec 4</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	238	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture5_script.pdf">Lec 5</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	239	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture6_script.pdf">Lec 6</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	240	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture7_script.pdf">Lec 7</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	241	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture8.pdf">Lec 8</A>]
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	242	<li>two-day Isabelle/Isar tutorial at the University Paris Sud with Markus Wenzel
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	243	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	244	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	245	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	246
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	247	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	248	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	249	<H3>2009-2010</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	250
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	251	<p><B>Summer</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	252	<ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	253	<li>a course on Isabelle Programming at the University of Science and Technology in Nanjing (24 hours)
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	254	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec01.thy">Lec 1</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	255	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec02.thy">Lec 2</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	256	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec03.thy">Lec 3</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	257	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec04.thy">Lec 4</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	258	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec05.thy">Lec 5</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	259	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec06.thy">Lec 6</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	260	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec07.thy">Lec 7</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	261	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec08.thy">Lec 8</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	262	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec09.thy">Lec 9</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	263	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec10.thy">Lec 10</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	264	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec11.thy">Lec 11</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	265	[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec12.thy">Lec 12</A>]
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	266	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	267	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	268	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	269
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	270	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	271	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	272	<H3>2008-2009</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	273
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	274	<p><B>Summer</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	275	<ul>
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	276	<li>a <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/cas09/">course</A>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	277	on Isabelle at the Chinese Academy of Science (7.5 h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	278	<li>Pearls in Computer Science, a course for gifted undergraduate students in Munich (5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	279	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	280
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	281	<p><B>Autumn</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	282	<ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	283	<li>a course in <A HREF="http://www.cs.princeton.edu/">Princeton</A> on
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	284	<A HREF="http://nms.kcl.ac.uk/christian.urban/Teaching/isabelle08.html">Isabelle, Binders and SOS</A>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	285	for students and members of the PL group (8h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	286	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	287
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	288	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	289	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	290
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	291	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	292	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	293	<H3>2007-2008</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	294
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	295	<p><B>Sommersemester</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	296	<ul>
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	297	<li><A HREF="http://nms.kcl.ac.uk/christian.urban/Teaching/semantics08.html">Semantics of Programming Languages</A>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	298	(28h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	299	<li>a course on Nominal Isabelle at the
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	300	<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Summer School
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	301	on Logic and Theorem Proving in Programming Languages</A> (4h)
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	302	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/oregon1.pdf">Slides 1</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	303	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/oregon2.pdf">Slides 2</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	304	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/oregon3.pdf">Slides 3</A>]
108 ca1bed2b025e updated links Christian Urban <urbanc@in.tum.de> parents: 79 diff changeset	305	[<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>]
ca1bed2b025e updated links Christian Urban <urbanc@in.tum.de> parents: 79 diff changeset	306	[<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>]
ca1bed2b025e updated links Christian Urban <urbanc@in.tum.de> parents: 79 diff changeset	307	[<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>]
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	308	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	309
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	310	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	311	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	312
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	313	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	314	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	315	<H3>2006-2007</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	316	<p><B>Wintersemester</B>
433 bb24c6179fa6 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 428 diff changeset	317	<ul><li>Types course at the TU Munich (21h, slides of
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	318	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-01.pdf">Lec 1</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	319	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-02.pdf">Lec 2</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	320	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-03.pdf">Lec 3</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	321	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-04.pdf">Lec 4</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	322	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-05.pdf">Lec 5</A>,
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	323	<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/handout-05.pdf">Ho 5</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	324	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-06.pdf">Lec 6</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	325	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-07.pdf">Lec 7</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	326	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-08.pdf">Lec 8</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	327	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-09.pdf">Lec 9</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	328	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-10.pdf">Lec 10</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	329	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-11.pdf">Lec 11</A>])
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	330	</li></ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	331
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	332
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	333	<p><B>Sommersemester</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	334	<ul><li>A course at the International School on Rewriting (1.5h)</li></ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	335	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	336	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	337
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	338	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	339	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	340	<H3>2005-2006</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	341	<p><B>Wintersemester</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	342	<ul><li>Scheme course at the LMU (4h)</li>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	343	<li>a course on nominal datatypes at the University of Pennsylvania
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	344	(6.5h, slides of
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	345	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/upenn01.ps">Lec 1</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	346	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/upenn02.ps">Lec 2</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	347	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/upenn03.ps">Lec 3</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	348	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/upenn04.ps">Lec 4</A>])</li>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	349	<li>Theory-Minicourse on nominal datatypes in Cambridge
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	350	(4h, slides of
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	351	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/cam01.ps">Lec 1</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	352	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/cam02.ps">Lec 2</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	353	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/cam03.ps">Lec 3</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	354	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/cam04.ps">Lec 4</A>])</li>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	355	<li>Club2-course on the nominal datatype package at the TU Munich
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	356	(5h, slides of
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	357	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2a.pdf">Lec 1</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	358	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2b.pdf">Lec 2</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	359	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2c.pdf">Lec 3</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	360	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2d.pdf">Lec 4</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	361	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2e.pdf">Lec 5</A>])</li>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	362	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	363	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	364	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	365
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	366	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	367	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	368	<H3>2004-2005</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	369	<p><B>Wintersemester</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	370	<dl><dd>Scheme course at the LMU (10h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	371	<dd>Linear Algebra for Computer Scientists at the LMU (14h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	372	<dd>Discrete Structures for Computer Scientists at the LMU (12h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	373	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	374	<p><B>Sommersemester</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	375	<dl><dd>A course on my nominal work at the LMU (10h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	376	(slides of
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	377	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom01.ps">Lec 1</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	378	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom02.ps">Lec 2</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	379	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom03.ps">Lec 3</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	380	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom04.ps">Lec 4</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	381	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom05.ps">Lec 5</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	382	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom06.ps">Lec 6</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	383	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom07.ps">Lec 7</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	384	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom08.ps">Lec 8</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	385	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom09.ps">Lec 9</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	386	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom10.ps">Lec 10</A>])
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	387	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	388	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	389	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	390
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	391	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	392	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	393	<H3>2003-2004</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	394	<p><B>Michelmas</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	395	<dl><dd>Logic and Proof (4h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	396	<dd>Discrete Mathematics I (9h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	397	<dd>Part II project on a Nominal Theorem Assistant (5.5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	398	<dd>Interviews of new students (13.5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	399	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	400	<p><B>Lent</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	401	<dl><dd>Computation Theory (3h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	402	<dd>Discrete Mathematics II (8h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	403	<dd>Semantics of Programming Languages (3h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	404	<dd>Part II project on a Nominal Theorem Assistant (9.5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	405	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	406	<p><B>Easter</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	407	<dl><dd>Regular Languages and Finite Automata (6h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	408	<dd>Foundations of Functional Programming (3h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	409	<dd>Complexity Theory
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	410	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	411
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	412	<p><B>Summer</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	413	<dl><dd>Avanced course on nominal logic at the
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	414	<a href="http://esslli2004.loria.fr/">ESSLLI</a> summerschool in Nancy<BR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	415	(slides of
465 4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	416	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/MONDAY.pdf">Day 1</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	417	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/TUESDAY.pdf">Day 2</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	418	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/WEDNESDAY.pdf">Day 3</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	419	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/THURSDAY.pdf">Day 4</A>]
4dac76eb27d9 updated Christian Urban <urbanc@in.tum.de> parents: 450 diff changeset	420	[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/FRIDAY.pdf">Day 5</A>])
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	421	<dd>student intern from the ENS Cachan
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	422	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	423	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	424	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	425
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	426	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	427	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	428	<H3>2002-2003</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	429	<p><B>Michelmas</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	430	<dl><dd>Logic and Proof (5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	431	<dd>Discrete Mathematics I (7h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	432	<dd>Part II project on Nominal Unification (7h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	433	<dd>Interviews of new students
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	434	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	435	<p><B>Lent</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	436	<dl><dd>Computation Theory (5.5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	437	<dd>Discrete Mathematics II (8.5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	438	<dd>Part II project (5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	439	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	440	<p><B>Easter</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	441	<dl><dd>Semantics of Programming Languages (4h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	442	<dd>Regular Languages and Finite Automata (3h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	443	<dd>Part II project (3.5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	444	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	445	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	446	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	447
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	448	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	449	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	450	<H3>2001-2002</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	451	<p><B>Michelmas</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	452	<dl><dd> Logic, Computability and Set Theory (for Math students)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	453	<dd>Data Structures and Algorithms
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	454	<dd>Logic and Proof (4h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	455	<dd>Discrete Mathematics I
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	456	<dd>Interviews of new students
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	457	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	458	<p><B>Lent</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	459	<dl><dd>Discrete Mathematics II
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	460	<dd>Semantics of Programming Languages
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	461	<dd>Computation Theory
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	462	<dd>Probablility
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	463	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	464	<p><B>Easter</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	465	<dl><dd>Regular Languages and Finite Automata
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	466	<dd>Complexity Theory
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	467	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	468	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	469	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	470
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	471
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	472	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	473	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	474	<H3>previous</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	475	<dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	476	<dd>Types
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	477	<dd>Denotational Semantics
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	478	<dd>Communicating Atomata and Pi-calculus
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	479	<dd>Semantics of Programming Languages
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	480	<dd>Foundations of Functional Programming
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	481	<dd>Probability
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	482	<dd>Computation Theory
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	483	<dd>Complexity Theory
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	484	<dd>Logic, Computation and Set Theory
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	485	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	486	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	487	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	488
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	489	</TABLE>
199 b3b67c7cbb8b changed Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 198 diff changeset	490	<P>
444 06fd41a3df79 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 438 diff changeset	491	<!-- hhmts start --> Last modified: Thu May 26 23:10:20 BST 2016 <!-- hhmts end -->
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	492	<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	493	</BODY>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	494	</HTML>

author	cu
	Mon, 02 Oct 2017 23:14:29 +0100
changeset 515	90b45f94927b
parent 468	c6308b24fa20
child 524	d12a8c665951
permissions	-rw-r--r--