CINXE.COM

<!DOCTYPE html> <html lang="en-us"> <head> <link href="http://gmpg.org/xfn/11" rel="profile"> <link rel="icon" href="/assets/images/favicon.png" type="image/png"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta http-equiv="content-type" content="text/html; charset=utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1"> <title> Holger Hermanns · Depend </title>         <link rel="stylesheet" href="/assets/main.css"> </head> <body> <div class="sidebar"> <div class="reference"> <div class="sidebar-content"> <div class="container"> <div class="sidebar-about"> <div class="logo"> <a href="/"><img src="/assets/images/depend.svg" alt="Depend Logo"></a> </div> <p class="lead"><span class="no-break">Dependable Systems</span> <span class="no-break">and Software</span></p> </div> <nav class="sidebar-nav"> <a class="sidebar-nav-item" href="/">Home</a> <a class="sidebar-nav-item" href="/members/">Members</a> <a class="sidebar-nav-item" href="/research/">Research</a> <a class="sidebar-nav-item" href="https://dcms.cs.uni-saarland.de/system/courses">Teaching</a> <a class="sidebar-nav-item" href="/theses/">Theses</a> <a class="sidebar-nav-item" href="/tools/">Tools</a> <a class="sidebar-nav-item" href="/~nermerich/">Contact</a> <br> <a class="sidebar-nav-item" href="https://www.uni-saarland.de/impressum.html">Imprint</a> <a class="sidebar-nav-item" href="https://www.uni-saarland.de/datenschutzerklaerung.html">Privacy Policy</a> </nav> </div> </div> <div class="sidebar-background"> </div> </div> </div> <div class="background-glasses"> <div class="background-glasses-container"> <img src="/assets/images/glasses.svg" /> </div> </div> <div class="content container"> <div class="page"> <h1 class="page-title">Holger Hermanns</h1> <div class="post-content"> <div aria-label="picture of " class="member-page-picture" style="background-image: url("/member-photos/hermanns.jpg")"></div> <p><a href="http://www.liafa.jussieu.fr/~haberm/haindex.html">ha-index</a>: 92</p> <p>Holger Hermanns is Professor of <a href="http://www.cs.uni-saarland.de/">Computer Science</a> at <a href="http://www.uni-saarland.de/en">Saarland University</a> in Germany, heading the <a href="https://depend.cs.uni-saarland.de/">Dependable Systems and Software group</a>, member of <a href="http://www.ae-info.org/">Academia Europaea</a>, and spokesperson of the <a href="https://www.perspicuous-computing.science/">Center for Perspicuous Computing</a>, SFB TRR 248. The <a href="https://erc.europa.eu/">European Research Council</a> has awarded him the <a href="http://www.powver.org/">ERC Advanced Grant</a> POWVER and the <a href="https://leopowver.space/">ERC Proof-of-Concept Grant</a> LEOpowver.</p> <p>From April 2004 to March 2006, Holger Hermanns has served as Dean of Studies of the Faculty of Mathematics and Computer Science, and has served as its Dean from April 2010 to March 2012. Afterwards he did his best to serve as Dean of Hearts. A too brief CV is <a href="http://www.ae-info.org/ae/User/Hermanns_Holger/CV">here</a>.</p> <h1 id="some-suggestions">Some Suggestions</h1> <p>Buy <a href="http://www.springer.com/computer/programming/book/978-3-540-44261-5">this</a> book. A great gift for every occasion (unless you read it yourself). Other great gifts include <a href="http://www.springer.com/computer/foundations/book/978-3-540-43913-4">this</a>, <a href="http://www.springer.com/computer/foundations/book/978-3-540-42479-6">this</a>, <a href="http://www.springer.com/computer/foundations/book/978-3-540-22265-1">this</a>, <a href="http://www.springer.com/computer/foundations/book/978-3-540-33056-1">this</a>, <a href="http://www.springer.com/computer/foundations/book/978-3-540-37376-6">this</a>, and <a href="http://www.springer.com/computer/foundations/book/978-3-540-73367-6">this</a>. And yet <a href="https://link.springer.com/book/10.1007/978-3-030-43024-5">another</a> one.</p> <h1 id="recent-and-upcoming-programme-committees">Recent and Upcoming Programme Committees</h1> <ul> <li>2024: <a href="https://depend.cs.uni-saarland.de/bridge-xt/">Bridge-XT</a> <a href="https://etaps.org/2024/conferences/tacas/">TACAS</a> <a href="https://www.colorado.edu/conference/adhs2024/">ADHS</a> <a href="https://exen.se.uni-hannover.de/index.php/call-for-papers-2024/">ExEn</a> <a href="https://fmics.inria.fr/2024/">FMICS</a></li> <li>2023: <a href="https://fm2023.isp.uni-luebeck.de/">FM</a> <a href="https://www.qest.org/qest2023/">QEST</a> <a href="https://re4es.se.uni-hannover.de/call-for-papers-2023/">RE4ES</a></li> <li>2022: <a href="https://memocode2022.github.io/index.html">MEMOCODE</a> <a href="https://etaps.org/2022/tacas">TACAS</a> <a href="https://re4es.se.uni-hannover.de/call-for-papers-2022/">RE4ES</a></li> <li>2021: <a href="https://sites.uclouvain.be/adhs21/">ADHS</a> <a href="https://lcs.ios.ac.cn/memocode21/">MEMOCODE</a> <a href="https://www.stintworkshops.org/stint2021/">STINT</a> <a href="http://www.etaps.org/index.php/2021/tacas">TACAS</a></li> <li>2020: <a href="http://www.etaps.org/index.php/2020/tacas">TACAS</a> <a href="https://www.mmb2020.de/">MMB</a> <a href="https://www.stintworkshops.org/stint2020/">STINT</a> <a href="https://2020.csdm.fr/">CSD&M</a> <a href="https://www.gramsec.uni.lu/">GraMSec</a></li> <li>2019: <a href="http://www.etaps.org/index.php/2019/tacas">TACAS</a> <a href="https://gandalf2019.sciencesconf.org/">GANDALF</a> <a href="https://www.cyphy.org/">CyPhy</a></li> <li>2018: <a href="http://www.etaps.org/index.php/2018/tacas">TACAS</a> <a href="http://www.cs.ox.ac.uk/conferences/ADHS18/">ADHS</a> <a href="https://www.react.uni-saarland.de/crest2018/">CREST</a> <a href="http://mars-workshop.org/mars2018/">MARS</a> <a href="http://lcs.ios.ac.cn/formats2018/">FORMATS</a></li> <li>2017: <a href="http://www.etaps.org/index.php/2017/tacas">TACAS</a> <a href="http://fsen.ir/2017/">FSEN</a> <a href="http://mars-workshop.org/mars2017/index.html">MARS</a></li> <li>2016: <a href="http://acsd2016.mat.umk.pl/">ACSD</a> <a href="http://www.modellierung2016.org/">Modellierung</a> <a href="http://lcs.ios.ac.cn/setta/">SETTA</a> <a href="http://lipn.univ-paris13.fr/SynCoP2016/">SynCoP</a> <a href="http://ifm2016.ru.is/">iFM</a> <a href="http://mmb2016.de/">MMB</a> <a href="http://www.etaps.org/index.php/2016/tacas">TACAS</a> <a href="http://www.aaai.org/Conferences/AAAI/2016/aaai16computational.php">AAAI</a></li> <li>2015: <a href="http://www.hoefner-online.de/home/conferences/mars15/">MARS</a> <a href="http://highlights-conference.org/">Highlights</a> <a href="http://atva2015.ios.ac.cn/">ATVA</a> <a href="http://fsen.ir/2015/">FSEN</a> <a href="http://cs.nju.edu.cn/setta/">SETTA</a> <a href="http://www.ulb.ac.be/di/verif/acsd2015/">ACSD</a> <a href="http://www.etaps.org/index.php/2015/tacas">TACAS</a></li> <li>2014: <a href="http://www.qest.org/qest2014/">QEST</a> <a href="http://lii.rwth-aachen.de/lics/lics14/">LICS</a> <a href="http://www.etaps.org/2014/fossacs-2014">FOSSACS</a> <a href="http://qapl14.inria.fr/">QAPL</a> <a href="http://www.modellierung2014.org/">Modellierung</a> <a href="http://www.mmb2014.de/">MMB-DFT</a></li> <li>2013: <a href="http://page.mi.fu-berlin.de/preineck/ampecs/">AMPECS</a> <a href="http://www.dcm-workshop.org.uk/2013/">DCM</a> <a href="http://dcds13.net.dcs.hull.ac.uk/">DCDS</a> <a href="http://www.hscc-conference.org/">HSCC</a> <a href="http://www.concur-conferences.org/concur2013/">CONCUR</a> <a href="http://qapl2013.units.it/">QAPL</a> <a href="http://acsd.lsi.upc.edu/">ACSD</a> <a href="http://www.ccs.neu.edu/esop2013/">ESOP</a></li> <li>2012: <a href="http://go.warwick.ac.uk/FORMATS2012">FORMATS</a> <a href="http://www.memics.cz/2012/">MEMICS</a> <a href="http://www.swt-bamberg.de/AVoCS2012/">AVoCS</a> <a href="http://fesca.ipd.kit.edu/fesca2012/">FESCA</a> <a href="http://hscc12.hscc-conference.org/">HSCC</a> <a href="http://disco.informatik.uni-kl.de/mmb2012/">MMB/DFT</a> <a href="http://www.modellierung2012.org/">Modellierung</a> <a href="http://fit2012.pst.ifi.lmu.de/">FIT</a></li> <li>2011: <a href="http://www.fsttcs.org/">FSTTCS</a> <a href="http://www2.ee.ntu.edu.tw/~atva2011/">ATVA</a> <a href="http://formats2011.cs.aau.dk/">FORMATS</a> <a href="http://fesca.ipd.kit.edu/fesca2011/">FESCA</a> <a href="http://www.dcds11.uni-saarland.de/"> DCDS</a> <a href="http://hscc2011.cs.sunysb.edu/">HSCC</a></li> <li>2010: <a href="http://www.dsn.org">DSN</a> <a href="http://www.cs.bgu.ac.il/~dolev/SSS10/tracks/safety&verification.html">SSS</a> <a href="http://www.floc-conference.org/CAV.html">CAV</a> <a href="http://es.fbk.eu/events/fmics2010/index.php">FMICS</a> <a href="http://www.cs.bilkent.edu.tr/~nsmc10/cfp.php">NSMC</a> <a href="http://www.qest.org/qest2010/">QEST</a> <a href="http://deepse.dei.polimi.it/quovadis/">QUOVADIS</a> <a href="http://sdq.ipd.uka.de/conferences_and_events/fesca10/call_for_papers_fesca_2010/">FESCA</a> <a href="http://www.sofsem.cz/sofsem10/">SOFSEM</a> <a href="http://www.mmb2010.org">MMB/DFT</a></li> <li>2009: <a href="http://www.itu.dk/events/FMWS09/">FMWS</a> <a href="http://concur09.cs.unibo.it/">CONCUR</a> <a href="http://users.dsic.upv.es/workshops/fmics2009/">FMICS</a> <a href="http://www.qest.org/qest2009/">QEST</a> <a href="http://moncs.cs.mcgill.ca/people/mosterman/calls/date09/cfp.pdf">DATE</a></li> <li>2008: <a href="http://www.princeton.edu/cav2008/">CAV</a> <a href="http://fit2008.cs.aau.dk/">FIT</a> <a href="http://www.mmb2008.org/">MMB</a></li> <li>2007: <a href="http://www.uninova.pt/teaconc2007/">TeaConc</a> <a href="http://www.doc.ic.ac.uk/tacas07/">TACAS</a></li> <li>2006: <a href="http://www.it.uu.se/conf/EMSOFT06/">EMSOFT</a> <a href="http://www.lsv.ens-cachan.fr/formats06/">FORMATS</a> <a href="http://www.qest.org/qest2006/">QEST</a> <a href="http://www.mmb2006.org/">MMB</a> <a href="http://depcos.pwr.wroc.pl/">DEPCOS</a> <a href="http://www.cs.helsinki.fi/events/isas2006/">ISAS</a></li> <li>2005: <a href="http://cc.ee.ntu.edu.tw/~forte05/">FORTE</a> <a href="http://hase.informatik.tu-darmstadt.de/">HASE</a> <a href="http://www-verimag.imag.fr/TACAS2005.html">TACAS</a> <a href="http://www.qest.org/qest2005/">QEST</a> <a href="http://www.prism.uvsq.fr/communication/conferences/2005/epew2005/cfp.html">EPEW</a></li> <li>2004: <a href="http://antares.sip.ucm.es/~forte2004/">FORTE</a> <a href="http://www4.in.tum.de/~csduml04/">CSDUML</a> <a href="http://www.info-ab.uclm.es/epew2004/">EPEW</a></li> </ul> <h1 id="other-professional-activities">Other Professional Activities</h1> <ul> <li><a href="http://friends-of-dagstuhl.de">Dagstuhl Foundation</a> (board of trustees)</li> <li><a href="http://www.ae-info.org/ae/User/Hermanns_Holger/">Academia Europaea</a> (member, elected 2013)</li> <li><a href="http://lics.siglog.org/">LICS</a> (steering committee, 2020-2023)</li> <li><a href="http://friends-of-dagstuhl.de">Friends of Dagstuhl</a> (president, 2013-2023)</li> <li><a href="http://www.etaps.org/">ETAPS association</a> (vice president, 2011-2023)</li> <li><a href="http://www.etaps.org/">ETAPS</a> (steering committee, 2010-2023)</li> <li><a href="http://eatcs.org/index.php/icalp-sc">ICALP</a> (steering committee, 2020-2022)</li> <li><a href="http://www.etaps.org/">TACAS</a> (steering committee since 2015)</li> <li>2024: <a href="https://spin-web.github.io/SPIN2024/speakers">SPIN</a> (invited speaker) <a href="https://depend.cs.uni-saarland.de/bridge-xt/">Bridge-XT</a> (program committee co-chair)</li> <li>2023: <a href="https://lcs.ios.ac.cn/setta2023">SETTA</a> (program committee co-chair)</li> <li>2021: <a href="https://www.cs.bgu.ac.il/~rv21/">RV</a>(keynote speaker)</li> <li>2020: <a href="https://lics2020.saarland-informatics-campus.de/">LICS</a> (conference chair) <a href="https://icalp2020.saarland-informatics-campus.de/">ICALP</a> (conference chair) <a href="https://www.mmb2020.de/">MMB</a> (program committee chair) <a href="https://www.discotec.org/2020/">DISCOTEC</a> (keynote speaker) <a href="http://lcs.ios.ac.cn/setta2020/">SETTA</a> (keynote speaker)</li> <li>2019: <a href="https://fmics2019.fsa.win.tue.nl/?page_id=124">FMICS</a> (keynote speaker) <a href="https://rulemlrr19.inf.unibz.it/">Reasoning Web</a> (invited lecturer) <a href="https://www2.in.tum.de/mod19/">Marktoberdorf</a> (invited lecturer) <a href="http://www.unravel.rwth-aachen.de/cms/UnRAVeL/Das-Graduiertenkolleg/Vergangene-Veranstaltungen/Veranstaltungen-2018/~rsph/Vernetzungstreffen-Dagstuhl/">Vernetzungstreffen Dagstuhl</a> (keynote speaker) <a href="https://conf.researchr.org/track/etaps-2019/crest-2019-papers#Invited-Talks">CREST</a> (invited speaker)</li> <li>2018: <a href="https://easychair.org/smart-program/LPAR-22/">LPAR</a> (invited speaker) <a href="http://www.3tu-bsr.nl/summerschool2018/lecture9">BSR</a> (invited lecturer) <a href="http://lcs.ios.ac.cn/ssfm/ssfm2018/index.html">SSFM</a> (invited lecturer) <a href="https://www.utwente.nl/en/brinksma-symposium/">Model-Ed, Test-Ed, Trust-Ed</a> (invited speaker) <a href="http://kimfest.cs.aau.dk/">KIMfest</a> (invited speaker) <a href="https://www.react.uni-saarland.de/gandalf2018/invited.html">GANDALF</a> (invited speaker)</li> <li>2017: <a href="http://mars-workshop.org/mars2017/index.html">MARS</a> (program committee co-chair)</li> <li>2016: <a href="http://www.fsttcs.org/">FSTTCS</a> (invited speaker) <a href="https://www.cse.iitb.ac.in/~akshayss/mysorepark16/mysorepark16.html">TQCV</a> (invited speaker)</li> <li>2015: <a href="http://www.isp.uni-luebeck.de/energieinformatik2015">Energieinformatik</a> (invited speaker) <a href="http://www.liu.se/elliit/workshop?l=en">ELLIIT</a> (keynote speaker) <a href="http://qapl15.inria.fr/">QAPL</a> (invited speaker)</li> <li>2014: <a href="http://www.embeddedconference.se/">Embedded Conference Scandinavia</a> (keynote speaker) <a href="http://ceres.hh.se/mediawiki/index.php/NWPT_2014">NWPT</a> (invited speaker) <a href="http://movep14.irccyn.ec-nantes.fr/">MOVEP</a> (invited tutorial) <a href="http://eatcs-school.fi.muni.cz/">1st EATCS Young Researchers School</a> (invited tutorial)</li> <li>2013: <a href="http://www.ecc13.ch/">ECC</a> (invited speaker) <a href="http://fsen.ir/2013/">FSEN</a> (keynote speaker) <a href="http://www.lccc.lth.se/index.php?page=april-2013">LCCC Workshop</a> (invited speaker)</li> <li>2012: <a href="http://www.qest.org/qest2012/">QEST</a> (program committee co-chair) <a href="http://www.ichmt.org/sebua-12/">SEBUA</a> (keynote speaker) <a href="http://www.mcs.uni-oldenburg.de">MCS</a> (invited tutorial) <a href="http://www.computational-sustainability.org/compsust12/">CompSust</a> (keynote speaker) <a href="http://www.energieinformatik2012.de/">Energieinformatik</a> (invited speaker) <a href="http://www.etaps.org/2012/tacas">ETAPS</a> (TACAS invited speaker) <a href="http://www.artist-embedded.org/artist/Program,2426.html">Winter School QMC</a> (invited tutorial) <a href="http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/HAS2012.htm">HAS</a> (keynote speaker)</li> <li>2011: <a href="http://www.fing.edu.uy/inco/eventos/SEFM2011/">SEFM</a> (keynote speaker) <a href="https://www.fp7-smartcode.eu/events/ecw2011">SmartCoDe-ECW</a> (invited speaker) <a href="http://www.etaps.org/">ETAPS</a> (organisation committee chair) <a href="http:///www.dagstuhl.de/no_cache/en/program/calendar/semhp/?semnr=11011">Multi-Core Memory Models and Concurrency Theory</a> (co-organiser) <a href="http://concur2010.inria.fr/">CONCUR</a> (invited speaker) <a href="http://www.avacs.org/spring2010/">AVACS Spring School</a> (invited tutorial) <a href="https://asimod.in.tum.de/2010/index.shtml">Marktoberdorf</a> (invited lecturer)</li> <li>2010: <a href="http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=10271">Verification over Discrete-Continuous Boundaries</a> (co-organiser)</li> <li>2009: <a href="http://www.win.tue.nl/QFM/">QFM</a> (keynote speaker)</li> <li>2007: <a href="http://www.cav2007.org/">CAV</a> (program committee co-chair)</li> <li>2006: <a href="http://d.cs.uni-sb.de/concur06">CONCUR </a> (program committee co-chair) <a href="http://depend.cs.uni-sb.de/tacas06">TACAS</a> (program committee co-chair)</li> <li>2005: <a href="http://fmt.cs.utwente.nl/fit2005/">FIT</a> (program committee co-chair) <a href="http://cc.ee.ntu.edu.tw/~forte05/">FORTE </a> (program committee)</li> <li><a href="http://www.qest.org/">QEST</a> (steering committee 2006-2009 and 2012-2015)</li> </ul> <p>Most of his publications are listed on <a href="http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hermanns:Holger.html">DBLP</a> or <a href="http://scholar.google.com/citations?hl=en&user=lWMIeCAAAAAJ">Google scholar</a>.</p> <h1 id="contact">Contact</h1> <table> <tbody> <tr> <td>Address:</td> <td>Saarland University <br /> Department of Computer Science <br /> Saarland Informatics Campus <br /> Bldg. E1 3, Room 501 <br /> 66123 Saarbr眉cken</td> </tr> <tr> <td>Phone:</td> <td>+49 681 302 5631</td> </tr> <tr> <td>Fax:</td> <td>+49 681 302 5636</td> </tr> <tr> <td>eMail:</td> <td><a href="mailto:hermanns@cs.uni-saarland.de">hermanns@cs.uni-saarland.de</a></td> </tr> </tbody> </table> </div> </div> </div> </body> </html>