isabelle: Admin/page/main-content/munich.content@adf901eb9c40 (annotated)

8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	1	%title%
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	2	Isabelle at Munich
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	3
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	4
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	5	%body%
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	6
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	7	<h1>Isabelle at Munich</h1>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	8
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	9	<p>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	10
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	11	<a href="http://isabelle.in.tum.de/">Isabelle</a> is a generic theorem
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	12	proving environment developed at Cambridge University (<a
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	13	href="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</a>) and TU
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	14	Munich (<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>).
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	15	This is the local page of the Munich group.
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	16
10019 7564e6723fb8 tuned; wenzelm parents: 8455 diff changeset	17
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	18	<h2>People</h2>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	19
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	20	The following people are involved in Isabelle applications or
10462 adf901eb9c40 added students kleing parents: 10345 diff changeset	21	development in our group (alphabetical order):
adf901eb9c40 added students kleing parents: 10345 diff changeset	22	<p>
adf901eb9c40 added students kleing parents: 10345 diff changeset	23	<b>Researches:</b>
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	24
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	25	<ul>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	26
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	27	<li> <a href="http://www.in.tum.de/~bauerg/">Gertrud Bauer</a>
8455 2b828d22b538 made links to homepages absolute, avoids trouble with relative links on the kleing parents: 8061 diff changeset	28	<li> <a href="http://www4.in.tum.de/~berghofe/">Stefan Berghofer</a>
2b828d22b538 made links to homepages absolute, avoids trouble with relative links on the kleing parents: 8061 diff changeset	29	<li> <a href="http://www4.in.tum.de/~kleing/">Gerwin Klein</a>
2b828d22b538 made links to homepages absolute, avoids trouble with relative links on the kleing parents: 8061 diff changeset	30	<li> <a href="http://www4.in.tum.de/~narasche/">Wolfgang Naraschewski</a>
2b828d22b538 made links to homepages absolute, avoids trouble with relative links on the kleing parents: 8061 diff changeset	31	<li> <a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a>
2b828d22b538 made links to homepages absolute, avoids trouble with relative links on the kleing parents: 8061 diff changeset	32	<li> <a href="http://www4.in.tum.de/~oheimb/">David von Oheimb</a>
2b828d22b538 made links to homepages absolute, avoids trouble with relative links on the kleing parents: 8061 diff changeset	33	<li> <a href="http://www4.in.tum.de/~prensani/">Leonor Prensa Nieto</a>
2b828d22b538 made links to homepages absolute, avoids trouble with relative links on the kleing parents: 8061 diff changeset	34	<li> <a href="http://www4.in.tum.de/~pusch/">Cornelia Pusch</a>
2b828d22b538 made links to homepages absolute, avoids trouble with relative links on the kleing parents: 8061 diff changeset	35	<li> <a href="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</a>
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	36
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	37	</ul>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	38
10462 adf901eb9c40 added students kleing parents: 10345 diff changeset	39	<p>
adf901eb9c40 added students kleing parents: 10345 diff changeset	40	<b>Students:</b>
adf901eb9c40 added students kleing parents: 10345 diff changeset	41
adf901eb9c40 added students kleing parents: 10345 diff changeset	42	<ul>
adf901eb9c40 added students kleing parents: 10345 diff changeset	43
adf901eb9c40 added students kleing parents: 10345 diff changeset	44	<li> <a href="http://www.informatik.tu-muenchen.de/~nanz/">Sebastian Nanz</a> </li>
adf901eb9c40 added students kleing parents: 10345 diff changeset	45	<li> <a href="http://www.informatik.tu-muenchen.de/~pfeifrot/">Johannes Pfeifroth</a> </li>
adf901eb9c40 added students kleing parents: 10345 diff changeset	46
adf901eb9c40 added students kleing parents: 10345 diff changeset	47	</ul>
adf901eb9c40 added students kleing parents: 10345 diff changeset	48
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	49
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	50	<h2>Projects</h2>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	51
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	52	The main Isabelle related projects at TU Munich are currently:
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	53
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	54	<ul>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	55
10180 149878bae19c fixed hrefs: index.html; wenzelm parents: 10019 diff changeset	56	<li> <b><a href="Bali/index.html">Isabelle/Bali</a></b> Java and JVM
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	57	formalization --- type system, semantics, compilers
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	58
10180 149878bae19c fixed hrefs: index.html; wenzelm parents: 10019 diff changeset	59	<li> <b><a href="Isar/index.html">Isabelle/Isar</a></b> Intelligible
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	60	semi-automated reasoning --- readable formal proof documents
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	61
10180 149878bae19c fixed hrefs: index.html; wenzelm parents: 10019 diff changeset	62	<li><b><a href="IOA/index.html">Isabelle/IOA</a></b> Verification of
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	63	distributed, reactive systems using I/O Automata
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	64
8061 18cfe8facb79 prettyfied kleing parents: 8056 diff changeset	65	<li> <b>Isabelle/HOOL</b> Object-oriented verification of
18cfe8facb79 prettyfied kleing parents: 8056 diff changeset	66	object-oriented programs
18cfe8facb79 prettyfied kleing parents: 8056 diff changeset	67
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	68	</ul>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	69
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	70	<p>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	71
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	72	<b>Important local information:</b> Students are welcome to
10180 149878bae19c fixed hrefs: index.html; wenzelm parents: 10019 diff changeset	73	participate, see <a href="stud/index.html">Isabelle Projekte f�r
149878bae19c fixed hrefs: index.html; wenzelm parents: 10019 diff changeset	74	Studenten</a> (in German) for more information.
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	75
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	76

author	kleing
	Mon, 13 Nov 2000 10:34:32 +0100
changeset 10462	adf901eb9c40
parent 10345	487acfd5f2d2
child 10977	4b47d8aaf5af
permissions	-rw-r--r--