Martin Lange's homepage</a> <script type="text/javascript"> function highlight(n) { n.style.backgroundColor="#5179F1"; } function lowlight(n) { n.style.backgroundColor="#DCDCDC"; } </script> <style type="text/css"> body { background-color:#FFFFCC; } a { text-decoration:none } #bereich { line-height:1.3em } </style> </head> <body style="margin-left:40px"> <table border="0" style="float:left"> <tr align="left"> <table width="800" border="1" frame="void" cellspacing="0" cellpadding="0"> <tr> <td style="height:15px; width:100px; background-color:#DCDCDC" align="center" onmouseover="highlight(this)" onmouseout="lowlight(this)"> <a href="index.html" style="text-decoration:none; color:black">Home</a> </td> <td style="height:15px; width:100px; background-color:#DCDCDC" align="center" onmouseover="highlight(this)" onmouseout="lowlight(this)"> <a href="projects.html" style="text-decoration:none; color:black">Projects</a> </td> <td style="height:15px; width:100px; background-color:#DCDCDC" align="center" onmouseover="highlight(this)" onmouseout="lowlight(this)"> <a href="publications.html" style="text-decoration:none; color:black">Publications</a> </td> <td style="height:15px; width:100px; background-color:#DCDCDC" align="center" onmouseover="highlight(this)" onmouseout="lowlight(this)"> <a href="activities.html" style="text-decoration:none; color:black">Activities</a> </td> <td style="height:15px; width:100px; background-color:#002288" align="center"> <font style="color:white">Teaching</font> </td> <td style="height:15px; width:100px; background-color:#DCDCDC" align="center" onmouseover="highlight(this)" onmouseout="lowlight(this)"> <a href="students.html" style="text-decoration:none; color:black">Students</a> </td> </tr> </table> <table width="90%" border="1" cellspacing="0" cellpadding="10" style="margin-top:-2px"> <tr> <td colspan="7" border="1"> <div id="bereich"> <h4 style="margin-bottom:-10px">Wintersemester 2009/10</h4> <ul> <li> Seminar <a href="https://www.tcs.ifi.lmu.de/lehre/ws-2009-10/pioniere-der-informatik">"Pioniere der Informatik"</a> (mit Prof. Hofmann, D. Rodriguez, R. Axelsson, J. Hoffmann, ...)</li> <li> Vorlesung <a href="https://www.tcs.ifi.lmu.de/lehre/ws-2009-10/temporallogik">"Temporallogik"</a></li> </ul> <h4 style="margin-bottom:-10px">Sommersemester 2009</h4> <ul> <li> Vorlesung <a href="http://www.tcs.ifi.lmu.de/lehre/SS09/Logik/">"Logik für Informatiker"</a></li> <li> Seminar <a href="http://www.tcs.informatik.uni-muenchen.de/lehre/SS09/ProSem/">"Programmanalyse"</a> (mit Prof. Hofmann, Dr. Loidl, Dr. Abel, Dr. Beringer, R. Axelsson)</li> </ul> <h4 style="margin-bottom:-10px">Wintersemester 2008/09</h4> <ul> <li> <a href="http://www.tcs.informatik.uni-muenchen.de/lehre/WS08-09/SEP/index.html">"Softwareentwicklungspraktikum"</a> (mit Dr. U. Schöpp)</li> </ul> <h4 style="margin-bottom:-10px">Sommersemester 2008</h4> <ul> <li> Vorlesung <a href="http://www.tcs.ifi.lmu.de/lehre/SS08/Automat/">"Automatentheorie"</a> (mit Prof. Hofmann)</li> <li> Hauptseminar <a href="http://www.tcs.ifi.lmu.de/lehre/SS08/Modallogik/">"Modallogik"</a> (mit Dr. Harrenstein)</li> </ul> <h4 style="margin-bottom:-10px">Wintersemester 2007/08</h4> <ul> <li> Vorlesung <a href="http://www.tcs.ifi.lmu.de/lehre/WS07-08/TES/">"Termersetzungssysteme"</a></li> <li> Übungen zu <a href="http://www.tcs.ifi.lmu.de/lehre/WS07-08/Info1/">"Einführung in die Programmierung"</a> </li> </ul> <h4 style="margin-bottom:-10px">Winter/spring 2007</h4> <ul> <li>course <a href="http://www.brics.dk/~lange/FSV/">"Foundations of Program Verification"</a> (with Prof. M. Nielsen)</li> </ul> <h4 style="margin-bottom:-10px">Sommersemester 2006</h4> <ul> <li> Vorlesung <a href="http://www.tcs.ifi.lmu.de/lehre/SS06/Automat/">"Automatentheorie"</a> (mit Prof.Dr. Hofmann) </li> <li> Übungen zu <a href="http://www.tcs.ifi.lmu.de/lehre/SS06/Automat/">"Automatentheorie"</a> </li> </ul> <h4 style="margin-bottom:-10px">Wintersemester 2005/06</h4> <ul> <li> Vorlesung <a href="http://www.tcs.ifi.lmu.de/lehre/WS05-06/Temporal/">"Temporallogik"</a> </li> </ul> <h4 style="margin-bottom:-10px">Sommersemester 2005</h4> <ul> <li> Übungen zu <a href="http://www.tcs.ifi.lmu.de/lehre/SS05/InfoIV/">"Informatik IV"</a> </li> </ul> <h4 style="margin-bottom:-10px">Wintersemester 2004</h4> <ul> <li> <a href="http://www.tcs.ifi.lmu.de/lehre/WS04-05/ProgPrakt/">Programmierpraktikum</a> (mit Dr. R. Matthes) </li> <li> Hauptseminar <a href="http://www.tcs.ifi.lmu.de/lehre/WS04-05/Fixpunkte/">"Fixpunkte"</a> (mit Dr. R. Matthes) </li> </ul> <h4 style="margin-bottom:-10px">Sommersemester 2004</h4> <ul> <li> Vorlesung <a href="http://www.tcs.ifi.lmu.de/lehre/SS04/Automat">"Automatentheorie"</a> (mit Prof. Hofmann) </li> <li> Übungen zu <a href="http://www.tcs.ifi.lmu.de/lehre/SS04/Automat">"Automatentheorie"</a> </li> </ul> <h4 style="margin-bottom:-10px">Wintersemester 2003/04</h4> <ul> <li> Übungen zu <a href="http://www.tcs.informatik.uni-muenchen.de/lehre/WS03-04/InfoI"> "Informatik I"</a> </li> <li> Hauptseminar <a href="http://www.tcs.informatik.uni-muenchen.de/lehre/WS03-04/APA"> "Approximative und probabilistische Algorithmen"</a> (mit Dr. Jan Johannsen) </li> </ul> <h4 style="margin-bottom:-10px">Sommersemester 2003</h4> <ul> <li> Übungen zu <a href="http://www.tcs.informatik.uni-muenchen.de/lehre/SS03/infoeinf"> "Einführung in die Informatik: Systeme und Anwendungen"</a> </li> <li> Hauptseminar <a href="http://www.tcs.informatik.uni-muenchen.de/lehre/SS03/Quanten"> "Quantencomputer"</a> </li> </ul> <h4 style="margin-bottom:-10px">Wintersemester 2002/03</h4> <ul> <li> Übungen zu <a href="http://www.tcs.informatik.uni-muenchen.de/lehre/WS02-03/PSE/"> "Einführung in die Informatik: Programmierung und Software-Entwicklung"</a> </li> <li> Vorlesung <a href="http://www.tcs.informatik.uni-muenchen.de/lehre/WS02-03/VLII/"> "Fixpunkte"</a> (mit Dr. Ralph Matthes) </li> </ul> <h4 style="margin-bottom:-10px">Sommersemester 2002</h4> <ul> <li> Übungen zu <a href="http://www.tcs.informatik.uni-muenchen.de/lehre/SS02/ForSpra/"> "Formale Sprachen und Automaten"</a> </li> </ul> </div> </td> </tr> </table> </tr> </table> </body>