Erik de Vink

    Research

  • CMSB 2010: 8th International Conference on Computational Methods in Systems Biology, Trento, September 29-October 1, 2010.
  • ISARCS 2010: 1st International Symposium on Architecting Critical Systems, Prague, June 23-25, 2010.
  • CS2Bio'10: 1st International Workshop on Interactions between Computer Science and Biology, Amsterdam, June 10, 2010, affiliated to DisCoTec'10.
  • ICE 2010: the 3nd Interaction and Concurrency Experience, Amsterdam, the Netherlands, June 10, 2010 affiliated to DisCoTec'10.
  • FBTC 2010: 3rd International Workshop From Biology To Concurrency and Back, March 27, 2010, a satelite event of ETAPS 2010.
  • FMweek: Formal Methods week, Eindhoven, the Netherlands, November 2-November 6, 2009.
  • FM 2009: 16th International Symposium on Formal Methods, Eindhoven, the Netherlands, November 2-November 6, 2009.
  • CompMod 2009: 2nd International Workshop on Computational Modelling of Cell Processes, Eindhoven, the Netherlands, November 2, 2009, a workshop of FM 2009.
  • FOCLASA'09: 8th International Workshop on the Foundations of Coordination Languages and Software Architecture, Rhodes, Greece, July 11th, 2009.
  • Publications and professional activities
  • Homepage of the Formal Methods Group.

    • Teaching

  • 2IF25 Formal Methods: Propositional Logic
  • 2IF25 Formal Methods: Evaluating First-Order Formulae
  • 2IF35 Formal Modelling in Cell Biology
  • 2IF55 Semantiek en berekeningsmodellen
  • 2IF75 Quantitative Formal Methods
  • 2IN65 Component-Based Software Engineering: Coordination of Components
  • 2M150 Complexiteitstheorie
  • Master Thesis Projects

    • Miscellaneous

  • Egmond Half Marathon  (in Dutch)
  • TUE Telephone Directory
    • Google

    Contact Information

    Erik de Vink
    Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Den Dolech 2, Eindhoven
    Room HG 7.32
    Travel directions


    phone: +31-40-2473146
    fax: +31-40-2476685
    postal address: P.O. Box 513, 5600 MB Eindhoven, the Netherlands

    PGP Public Key, fingerprint E047 1940 0FA9 E45C F21D 13B7 671A 58C8 01D5 4069

    I am also affiliated with the CWI, the Centre for Mathematics and Computer Science in Amsterdam. See the homepage of SEN3.

    I was previously affiliated with the LIACS. See www.liacs.nl/~devink.