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.1em } </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:#002288" align="center"> <font style="color:white">Activities</font> </td> <td style="height:15px; width:100px; background-color:#DCDCDC" align="center" onmouseover="highlight(this)" onmouseout="lowlight(this)"> <a href="teaching.html" style="text-decoration:none; color:black">Teaching</a> </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">Program committee memberships</h4> <ul> <li><a href="http://time.dico.unimi.it/TIME_Home.html">TIME 2010</a>, 17th Int. Symp. on <i>Temporal Representation and Reasoning</i>, Paris, France, 2010</li> <li><a href="http://www2.imm.dtu.dk/~vfgo/CLODEM2010/CLODEM2010.html">CLoDeM 2010</a> (PC co-chair), Workshop on <i>Comparing Logical Decision Procedures</i>, Edinburgh, UK, 2010, affiliated to <a href="http://www2.informatik.hu-berlin.de/lics/lics10/">LICS</a> and <a href="http://www.floc-conference.org/IJCAR.html">IJCAR</a> at <a href="http://www.floc-conference.org/index.html">FLoC 2010</a></li> <li><a href="http://aiml10.mi.ras.ru/">AiML 2010</a>, <i>Advances in Modal Logic</i>, Moscow, Russia, 2010</li> <li><a href="http://www.maths.wits.ac.za/~goranko/TableauxAutomataWorkshop/TableauxAutomataWorkshop.html"> AutoTab'09</a>, Workshop on <i>Tableaux vs. Automata as Logical Decision Procedures</i>, Oslo, Norway, 2009</li> <li><a href="http://m4m.loria.fr/M4M6/">M4M-6</a>, 6th Workshop on <i>Methods for Modalities</i>, Copenhagen, Denmark, 2009</li> <li><a href="http://icalp07.ii.uni.wroc.pl/">ICALP'07</a>, 34th Int. Colloquium on <i>Automata, Languages and Programming </i> (Track B), Wroclaw, Poland, 2007 </li> <li><a href="http://www.fi.muni.cz/~brim/PDMC04/">PDMC'04</a>, 3rd Int. Workshop on <i>Parallel and Distributed Methods in Verification</i>, London, UK, 2004 </li> </ul> <h4 style="margin-bottom:-10px">Invited presentations</h4> <ul> <li><i>T.B.A.</i>, at <a href="http://wollic.org/wollic2010/">WoLLIC 2010</a>, 17th Workshop on <i>Logic, Language, Information and Computation</i> </li> <li><i>Tableaux with Automata</i>, at <a href="http://www.maths.wits.ac.za/~goranko/TableauxAutomataWorkshop/TableauxAutomataWorkshop.html"> AutoTab'09</a>, Workshop on <i>Tableaux vs. Automata as Logical Decision Procedures</i></li> <li><i>Temporal Logics for Non-Regular Properties</i>, at <a href="http://m4m.loria.fr/M4M4/workshop.html">M4M'4</a>, 4th Workshop on <i>Methods for Modalities</i></li> </ul> <h4 style="margin-bottom:-10px">Others</h4> <ul> <li>Reviewer for <a href="">Mathematical Reviews</a></li> <li>Dagstuhl seminar <a href="http://www.dagstuhl.de/de/program/calendar/semhp/?semnr=05241">Synthesis and Planning</a> (invited participation)</li> <li><a href="http://lat.inf.tu-dresden.de/loginf/LogInf05/">12. Jahrestagung der GI-Fachgruppe "Logik in der Informatik"</a>, (workshop co-organised with Jan Johannsen)</li> </ul> </div> </td> </tr> </table> </tr> </table> </body>