EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

milius [2015/03/05 14:11]
et
milius [2018/11/20 09:12] (current)
stefan picture
Line 7: Line 7:
 </td> </td>
 <td rowspan="5" width="5%">&nbsp;</td> <td rowspan="5" width="5%">&nbsp;</td>
-<td rowspan="5" valign="middle" align="right"><br><br><img src="http://www8.cs.fau.de/staff/milius/pictures/Foto_web.jpg" alt="Dr. Stefan Milius" /></td>+<td rowspan="5" valign="middle" align="right"><br><br><img src="http://www8.cs.fau.de/staff/milius/pictures/Foto_web.jpg" width="35%" height="35%" alt="Dr. Stefan Milius" /></td>
 </tr> </tr>
 <tr> <tr>
Line 51: Line 51:
 === Awards === === Awards ===
  
 +  * <html><A href="http://coalg.org/calco15/" target="_blank">CALCO 2015</A></html> Best Paper Award for <html><A href="https://www8.cs.fau.de/staff/milius/publications/files/amu15_syntactic.pdf" target="_blank">"Syntactic Monoids in a Category"</A></html> (with J. Adamek and H. Urbat) 
   * <html><a href="http://www.eacsl.org/previousAck.html" target="_blank">Ackermann Award</a> 2006 for my <a href="http://www8.cs.fau.de/staff/milius/phd/phd.html" target="_blank">PhD thesis</a>.</html>   * <html><a href="http://www.eacsl.org/previousAck.html" target="_blank">Ackermann Award</a> 2006 for my <a href="http://www8.cs.fau.de/staff/milius/phd/phd.html" target="_blank">PhD thesis</a>.</html>
   * Braunschweig Preis für hervorragende Leistungen im Studium, 2000.   * Braunschweig Preis für hervorragende Leistungen im Studium, 2000.
Line 56: Line 57:
 === Professional Activities === === Professional Activities ===
  
 +  * <html><A href="http://coalg.org/calco15/" target="_blank">32th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)</A></html>, PC member
 +  * <html><A href="http://coalg.org/mfps-calco2017/" target="_blank">7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)</A></html>, PC member
 +  * <html><A href="http://2017.discotec.org/calls/forte-2017" target="_blank">37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017)</A></html>, PC member
 +  * Conference on Algebra and Coalgebra in Computer Science (CALCO), Steering Committee cochair (with M. Roggenbach, since 2015)
 +  * International Workshop on Coalgebraic Methods in Computer Science (CMCS), Steering Committee chair (since 2015)
   * Executive Editor of <html><A href="http://www.lmcs-online.org/" target="_blank">Logical Methods in Computer Science</A></html> (and Managing Editor for Special Issues)   * Executive Editor of <html><A href="http://www.lmcs-online.org/" target="_blank">Logical Methods in Computer Science</A></html> (and Managing Editor for Special Issues)
-  * <html><A href="" target="_blank">6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)</A></html>, PC member+  * <html><A href="http://coalg.org/calco15/" target="_blank">6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)</A></html>, PC member
   * <html><A href="http://www.math.unipd.it/~crafa/EXPRESSSOS2014/" target="_blank">21st Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics (EXPRESS/SOS 2014)</A></html>, PC member   * <html><A href="http://www.math.unipd.it/~crafa/EXPRESSSOS2014/" target="_blank">21st Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics (EXPRESS/SOS 2014)</A></html>, PC member
   * <html><A href="http://www.cs.cornell.edu/Conferences/MFPS30/" target="_blank">30th Conference on Mathematical Foundations of Programming Semantics (MFPS XXX)</A></html>, PC member    * <html><A href="http://www.cs.cornell.edu/Conferences/MFPS30/" target="_blank">30th Conference on Mathematical Foundations of Programming Semantics (MFPS XXX)</A></html>, PC member 
Line 70: Line 76:
  
   * Concerning topics for thesis projects ask me directly.   * Concerning topics for thesis projects ask me directly.
 +  * [[ss17:tiet|Theoretische Informatik für Wirtschaftsinformatik und Lehramt]]<html><!--
   * [[ws13:algprog|Algebra des Programmierens]]   * [[ws13:algprog|Algebra des Programmierens]]
-  * [[ws13:fmsoft|Formale Methoden der Softwareentwicklung]]<html><!--+  * [[ws13:fmsoft|Formale Methoden der Softwareentwicklung]]
   * [[ss13:tiet|Theoretische Informatik für Wirtschaftsinformatik und Lehramt]] (also see the course in [[http://studon.uni-erlangen.de|StudOn]]).--></html>   * [[ss13:tiet|Theoretische Informatik für Wirtschaftsinformatik und Lehramt]] (also see the course in [[http://studon.uni-erlangen.de|StudOn]]).--></html>