public_html: teaching.html@391f23949114 (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>
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	5	<BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
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"
374 cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	40	ROWSPAN="17">
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>
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	43	<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR>
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	44	<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	45	<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	46	<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
438 7aff28d7d3e3 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	47	<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/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>
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	52	<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR>
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	53	<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR>
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	54	<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/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>
428 c214a2dce02c updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 423 diff changeset	60	<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/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>
160040af338e tuned pics Christian Urban <urbanc@in.tum.de> parents: 24 diff changeset	66	<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/">
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
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	122	System Optimised for the Raspberry Pi</li>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	123	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	124
346 8caac6b5e11e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 310 diff changeset	125	<p>
374 cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	126	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	127	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	128	</p>
8caac6b5e11e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 310 diff changeset	129
179 f00658424c66 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 178 diff changeset	130	<p>Examiner of PhD-theses:
178 4431a7c16627 added examinations Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 168 diff changeset	131	<ul>
4431a7c16627 added examinations Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 168 diff changeset	132	<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	133	<li>Clement Houtmann (2010, INRIA Bordeaux)
294 08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	134	<li>Nikolai Sultana (2014, Cambridge)
364 c1df6a0cc84b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 349 diff changeset	135	<li>Andrew Boyton (2014, UNSW Australia)
444 06fd41a3df79 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 438 diff changeset	136	<li>Amy Furniss (2015, Leicester)
450 192083ac151f updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 444 diff changeset	137	<li>Julian Hedges (2016, QMUL London)
192083ac151f updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 444 diff changeset	138	<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	139	</ul>
4431a7c16627 added examinations Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 168 diff changeset	140
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	141	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	142	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	143
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	144	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	145	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
374 cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	146	<H3>2015-2016</H3>
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	147
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	148	<ul>
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	149	<li>Automata and Formal Languages
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	150	<li>Security Engineering
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	151	</ul>
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	152	</TD>
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	153	</TR>
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	154
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	155
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	156	<TR>
cde52ae55d33 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 364 diff changeset	157	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
294 08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	158	<H3>2014-2015</H3>
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	159
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	160	<ul>
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	161	<li>Automata and Formal Languages course
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	162	<li>Access Control and Privacy Policies
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	163	</ul>
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	164	</TD>
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	165	</TR>
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	166
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	167
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	168	<TR>
08f29141552b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 284 diff changeset	169	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
188 12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	170	<H3>2013-2014</H3>
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	171
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	172	<ul>
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	173	<li>Automata and Formal Languages course
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	174	<li>Access Control and Privacy Policies
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	175	</ul>
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	176	</TD>
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	177	</TR>
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	178
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	179	<TR>
12875eafece3 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	180	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
73 44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	181	<H3>2012-2013</H3>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	182
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	183	<ul>
79 001a643b8b06 tuned Christian Urban <urbanc@in.tum.de> parents: 76 diff changeset	184	<li>Automata and Formal Languages course
142 cbe1b90ddc96 tuned Christian Urban <urbanc@in.tum.de> parents: 129 diff changeset	185	<li>Access Control and Privacy Policies
73 44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	186	</ul>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	187	</TD>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	188	</TR>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	189
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	190	<TR>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	191	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
13 0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	192	<H3>2011-2012</H3>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	193
73 44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	194	<p><B>Autumn</B>
13 0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	195	<ul>
75 62713b84f345 tuned Christian Urban <urbanc@in.tum.de> parents: 74 diff changeset	196	<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	197	</ul>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	198	<p><B>Spring</B>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	199	<ul>
44ba00b5af09 tuned Christian Urban <urbanc@in.tum.de> parents: 39 diff changeset	200	<li>Help Steffen Zschaler with the Programming Application course; I
76 4e6ca743b4e4 tuned Christian Urban <urbanc@in.tum.de> parents: 75 diff changeset	201	am resposible for the exercises and the Scala part
13 0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	202	</ul>
0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	203	</TD>
0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	204	</TR>
0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	205
0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	206
0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	207	<TR>
0b4a5595cbe4 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	208	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	209	<H3>2010-2011</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	210
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	211	<p><B>Spring</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	212	<ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	213	<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	214	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	215
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	216	<p><B>Autumn</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	217	<ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	218	<li>Types course at the University of Cambridge (Mondays,
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	219	Wednesdays and Fridays at 10 o'clock in Lecture Theater 2, starting 8th October)
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	220	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture1.pdf">Lec 1</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	221	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture2.pdf">Lec 2</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	222	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture3_script.pdf">Lec 3</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	223	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture4_script.pdf">Lec 4</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	224	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture5_script.pdf">Lec 5</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	225	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture6_script.pdf">Lec 6</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	226	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture7_script.pdf">Lec 7</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	227	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/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	228	<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	229	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	230	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	231	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	232
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	233	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	234	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	235	<H3>2009-2010</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	236
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	237	<p><B>Summer</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	238	<ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	239	<li>a course on Isabelle Programming at the University of Science and Technology in Nanjing (24 hours)
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	240	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec01.thy">Lec 1</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	241	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec02.thy">Lec 2</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	242	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec03.thy">Lec 3</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	243	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec04.thy">Lec 4</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	244	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec05.thy">Lec 5</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	245	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec06.thy">Lec 6</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	246	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec07.thy">Lec 7</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	247	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec08.thy">Lec 8</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	248	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec09.thy">Lec 9</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	249	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec10.thy">Lec 10</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	250	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec11.thy">Lec 11</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	251	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/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	252	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	253	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	254	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	255
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	256	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	257	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	258	<H3>2008-2009</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	259
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	260	<p><B>Summer</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	261	<ul>
428 c214a2dce02c updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 423 diff changeset	262	<li>a <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/cas09/">course</A>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	263	on Isabelle at the Chinese Academy of Science (7.5 h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	264	<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	265	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	266
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	267	<p><B>Autumn</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	268	<ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	269	<li>a course in <A HREF="http://www.cs.princeton.edu/">Princeton</A> on
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	270	<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Teaching/isabelle08.html">Isabelle, Binders and SOS</A>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	271	for students and members of the PL group (8h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	272	</ul>
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	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	275	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	276
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	277	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	278	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	279	<H3>2007-2008</H3>
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>Sommersemester</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	282	<ul>
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	283	<li><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Teaching/semantics08.html">Semantics of Programming Languages</A>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	284	(28h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	285	<li>a course on Nominal Isabelle at the
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	286	<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	287	on Logic and Theorem Proving in Programming Languages</A> (4h)
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	288	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	289	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	290	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>]
108 ca1bed2b025e updated links Christian Urban <urbanc@in.tum.de> parents: 79 diff changeset	291	[<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	292	[<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	293	[<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	294	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	295
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	296	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	297	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	298
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	299	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	300	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	301	<H3>2006-2007</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	302	<p><B>Wintersemester</B>
433 bb24c6179fa6 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 428 diff changeset	303	<ul><li>Types course at the TU Munich (21h, slides of
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	304	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-01.pdf">Lec 1</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	305	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-02.pdf">Lec 2</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	306	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-03.pdf">Lec 3</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	307	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-04.pdf">Lec 4</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	308	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-05.pdf">Lec 5</A>,
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	309	<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/handout-05.pdf">Ho 5</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	310	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-06.pdf">Lec 6</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	311	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-07.pdf">Lec 7</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	312	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-08.pdf">Lec 8</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	313	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-09.pdf">Lec 9</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	314	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-10.pdf">Lec 10</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	315	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-11.pdf">Lec 11</A>])
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	316	</li></ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	317
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	318
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	319	<p><B>Sommersemester</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	320	<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	321	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	322	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	323
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	324	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	325	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	326	<H3>2005-2006</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	327	<p><B>Wintersemester</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	328	<ul><li>Scheme course at the LMU (4h)</li>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	329	<li>a course on nominal datatypes at the University of Pennsylvania
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	330	(6.5h, slides of
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	331	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn01.ps">Lec 1</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	332	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn02.ps">Lec 2</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	333	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn03.ps">Lec 3</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	334	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn04.ps">Lec 4</A>])</li>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	335	<li>Theory-Minicourse on nominal datatypes in Cambridge
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	336	(4h, slides of
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	337	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam01.ps">Lec 1</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	338	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam02.ps">Lec 2</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	339	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam03.ps">Lec 3</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	340	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam04.ps">Lec 4</A>])</li>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	341	<li>Club2-course on the nominal datatype package at the TU Munich
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	342	(5h, slides of
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	343	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2a.pdf">Lec 1</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	344	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2b.pdf">Lec 2</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	345	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2c.pdf">Lec 3</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	346	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2d.pdf">Lec 4</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	347	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2e.pdf">Lec 5</A>])</li>
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	348	</ul>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	349	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	350	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	351
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	352	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	353	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	354	<H3>2004-2005</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	355	<p><B>Wintersemester</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	356	<dl><dd>Scheme course at the LMU (10h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	357	<dd>Linear Algebra for Computer Scientists at the LMU (14h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	358	<dd>Discrete Structures for Computer Scientists at the LMU (12h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	359	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	360	<p><B>Sommersemester</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	361	<dl><dd>A course on my nominal work at the LMU (10h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	362	(slides of
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	363	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom01.ps">Lec 1</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	364	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom02.ps">Lec 2</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	365	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom03.ps">Lec 3</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	366	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom04.ps">Lec 4</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	367	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom05.ps">Lec 5</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	368	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom06.ps">Lec 6</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	369	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom07.ps">Lec 7</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	370	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom08.ps">Lec 8</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	371	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom09.ps">Lec 9</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	372	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom10.ps">Lec 10</A>])
2 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	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	375	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	376
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	377	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	378	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	379	<H3>2003-2004</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	380	<p><B>Michelmas</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	381	<dl><dd>Logic and Proof (4h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	382	<dd>Discrete Mathematics I (9h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	383	<dd>Part II project on a Nominal Theorem Assistant (5.5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	384	<dd>Interviews of new students (13.5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	385	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	386	<p><B>Lent</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	387	<dl><dd>Computation Theory (3h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	388	<dd>Discrete Mathematics II (8h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	389	<dd>Semantics of Programming Languages (3h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	390	<dd>Part II project on a Nominal Theorem Assistant (9.5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	391	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	392	<p><B>Easter</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	393	<dl><dd>Regular Languages and Finite Automata (6h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	394	<dd>Foundations of Functional Programming (3h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	395	<dd>Complexity Theory
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	396	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	397
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	398	<p><B>Summer</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	399	<dl><dd>Avanced course on nominal logic at the
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	400	<a href="http://esslli2004.loria.fr/">ESSLLI</a> summerschool in Nancy<BR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	401	(slides of
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	402	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/MONDAY.pdf">Day 1</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	403	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/TUESDAY.pdf">Day 2</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	404	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/WEDNESDAY.pdf">Day 3</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	405	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/THURSDAY.pdf">Day 4</A>]
1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 23 diff changeset	406	[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/FRIDAY.pdf">Day 5</A>])
2 f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	407	<dd>student intern from the ENS Cachan
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	408	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	409	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	410	</TR>
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	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	413	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	414	<H3>2002-2003</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	415	<p><B>Michelmas</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	416	<dl><dd>Logic and Proof (5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	417	<dd>Discrete Mathematics I (7h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	418	<dd>Part II project on Nominal Unification (7h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	419	<dd>Interviews of new students
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	420	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	421	<p><B>Lent</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	422	<dl><dd>Computation Theory (5.5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	423	<dd>Discrete Mathematics II (8.5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	424	<dd>Part II project (5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	425	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	426	<p><B>Easter</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	427	<dl><dd>Semantics of Programming Languages (4h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	428	<dd>Regular Languages and Finite Automata (3h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	429	<dd>Part II project (3.5h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	430	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	431	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	432	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	433
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	434	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	435	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	436	<H3>2001-2002</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	437	<p><B>Michelmas</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	438	<dl><dd> Logic, Computability and Set Theory (for Math students)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	439	<dd>Data Structures and Algorithms
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	440	<dd>Logic and Proof (4h)
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	441	<dd>Discrete Mathematics I
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	442	<dd>Interviews of new students
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	443	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	444	<p><B>Lent</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	445	<dl><dd>Discrete Mathematics II
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	446	<dd>Semantics of Programming Languages
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	447	<dd>Computation Theory
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	448	<dd>Probablility
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	449	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	450	<p><B>Easter</B>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	451	<dl><dd>Regular Languages and Finite Automata
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	452	<dd>Complexity Theory
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	453	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	454	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	455	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	456
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	457
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	458	<TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	459	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	460	<H3>previous</H3>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	461	<dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	462	<dd>Types
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	463	<dd>Denotational Semantics
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	464	<dd>Communicating Atomata and Pi-calculus
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	465	<dd>Semantics of Programming Languages
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	466	<dd>Foundations of Functional Programming
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	467	<dd>Probability
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	468	<dd>Computation Theory
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	469	<dd>Complexity Theory
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	470	<dd>Logic, Computation and Set Theory
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	471	</dl>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	472	</TD>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	473	</TR>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	474
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	475	</TABLE>
199 b3b67c7cbb8b changed Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 198 diff changeset	476	<P>
444 06fd41a3df79 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 438 diff changeset	477	<!-- 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	478	<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	479	</BODY>
f329c1f3b365 initial real Christian Urban <urbanc@in.tum.de> parents: diff changeset	480	</HTML>

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Fri, 16 Sep 2016 22:14:44 +0100
changeset 455	391f23949114
parent 450	192083ac151f
child 465	4dac76eb27d9
permissions	-rw-r--r--