Differences

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

Link to this comparison view

Both sides previous revision Previous revision
sidebar [2019-04-11 10:18]
sidebar [2021-10-05 11:33] (current)
Line 10: Line 10:
   * [[:​contact|Contact]]   * [[:​contact|Contact]]
  
-====== Teaching ​======+<​html><​h1 id="​teaching-sidebar">​Teaching</​h1></​html>​
   * [[:​de:​teaching:​lectures|Lectures]]   * [[:​de:​teaching:​lectures|Lectures]]
-  * [[http://​kolloquium.cs.uni-dortmund.de/cgi-bin/​list_presentation.cgi?​inviterAffiliation=LS+11&​presentationType=DiDo|DDH Seminar]]+  * [[:de:​teaching:​ddh-info|DDH Seminar]]
   * [[:​de:​teaching:​infofs|Info for students]]   * [[:​de:​teaching:​infofs|Info for students]]
  
 ====== Research Groups ====== ====== Research Groups ======
  
-  * [[mutzel:​start|Algorithm Engineering]] <​html><​br/>​ +  * [[buchin:​start|Algorithm Engineering]] <​html><​br/>​ 
-    <​small>​Prof. ​Mutzel</​small></​html>​+    <​small>​Prof. ​Buchin</​small></​html>​
   * [[rudolph:​start|Computational Intelligence]] <​html><​br/>​   * [[rudolph:​start|Computational Intelligence]] <​html><​br/>​
     <​small>​Prof. Rudolph</​small></​html>​     <​small>​Prof. Rudolph</​small></​html>​
   * [[fischer:​start|Algorithmic Foundations and Education in Computer Science]] <​html><​br/>​   * [[fischer:​start|Algorithmic Foundations and Education in Computer Science]] <​html><​br/>​
     <​small>​Prof. Fischer</​small></​html>​     <​small>​Prof. Fischer</​small></​html>​
-  * [[http://​www.rahmannlab.de/​|Bioinformatics for High-Throughput Technologies]]<​html><​br/> ​ 
-    <​small>​Prof. Rahmann</​small></​html>​ 
  
 <php> <php>
-/* Das hier scheint Probleme zu machen und gehört, wenn überhaupt, wahrscheinlich sowieso ins template?: 
 if($_SERVER['​REMOTE_USER'​]){ if($_SERVER['​REMOTE_USER'​]){
   tpl_internalsidebar_content();​   tpl_internalsidebar_content();​
   tpl_internalsidebar_editbtn();​   tpl_internalsidebar_editbtn();​
-}*/+}
 </​php>​ </​php>​
  
 
Last modified: 2019-04-11 10:18 (external edit)
DokuWikiRSS-Feed