Helle Hvid Hansen

I started as a PhD student at the Section Theoretical Computer Science at the Free University, Amsterdam, in September 2004, and I am also part of the SEN3 group at the CWI where I am working on the NWO funded project C-Quattro. My supervisors are Jan Rutten, Yde Venema and Farhad Arbab.

Contents:

• Contact
• Papers
• Talks
• Teaching
• Regular Events
• Events (future and past)
• Other links

Contact

Papers

• Synthesis of Mealy Machines Using Derivatives [pdf]
  (co-authors: David Costa and Jan Rutten).
  Proceedings of the 8th Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), Vienna, Austria.
  ENTCS 164 (1), pages 27-45, Elsevier, 2006.
  CWI technical report version: SEN-R0605.
  Tool webpage (source code, executable, documentation).
• Constructing Sequential Machines from Coinductive Specifications (Abstract)
  (co-author David Costa).
  Presented at CALCO-jnr 2005, Swansea, Wales.
  Extended versions could be submitted for the proceedings:
  Computer Science Report CSR 18-2005, University of Wales, Swansea.
• Tableau Games for Coalition Logic and Alternating-time Temporal Logic
  Master's Thesis Computer Science, Universiteit van Amsterdam, 2004. [ps.gz] [pdf]
• A Coalgebraic Perspective on Monotone Modal Logic
  (co-author Clemens Kupke ).
  Proceedings of the 7th Workshop on Coalgebraic Methods in Computer Science (CMCS 2004), Barcelona, Spain.
  ENTCS 106, pages 121-143, Elsevier, 2004.
• Monotonic Modal Logics
  Master's Thesis Mathematics, Universiteit van Amsterdam, 2003. [ps.gz] [pdf]
  Also available as technical report: ILLC report PP-2003-24.
• Axiomatising Nash-Consistent Coalition Logic
  (co-author Marc Pauly).
  Proceedings of the 8th Joint European Conference on Logics in Artificial Intelligence (JELIA 2002), Cosenza, Italy.
  LNAI 2424, pp. 394-406. Springer, 2002.
  Also available as technical report: ILLC report PP-2002-3.

Talks

• Synthesis of Mealy Machines Using Derivatives
  CMCS 2006 (Vienna), March 25, 2006. [pdf].
• A Coalgebraic Perspective on Monotone Modal Logic
  TCS Seminar (VUA), Oct 1, 2004. [ps].

Teaching

• Voortgezette Logica (2005/2006)
  Weeks 6 - 12, 2006. Vrije Universiteit Amsterdam.
• Algebraische Specificatie (2004/2005)
  Weeks 14 - 21, 2005. Vrije Universiteit Amsterdam.
• Distributed Algorithms (2004/2005)
  Weeks 6 - 12, 2005. Vrije Universiteit Amsterdam.

Regular Events

• ACG Colloquium
• Comeeting
• Coreading
• TCS Seminar
• See also: ILLC News and Events.

Events (future and past)

• CALCO 2007,
  August 20 - 24, 2007. Bergen, Norway.
• Midlands Graduate School 2007,
  April 16 - 20, 2007. University of Nottingham, England.
• New Perspectives on Games and Interaction,
  KNAW Academie-Colloquium,
  February 5 - 7, 2007. Amsterdam.
• ---------------------------------------------------------------------------------------------------------------------------
  
• IPA Herfstdagen on Stochastic Systems,
  November 27 - December 1, 2006. Bergen (NH), Netherlands.
• FMCO 2006, 5th International Symposium on Formal Methods for Components and Objects.
  November 7 - 10, 2006. CWI, Amsterdam Netherlands.
• Coalgebra Day,
  October 30, 2006. Radboud University, Nijmegen, Netherlands.
• IPA Basic Course on Software Technology,
  September 18 - 22, 2006. Eindhoven, Netherlands.
• Forth and back for 40 years: three talks on p-morphisms,
  June 27, 2006, UvA, Amsterdam.
• Workshop on Modal Logic, Stone Duality and Coalgebra,
  June 12 - 13, 2006. Leicester, England.
• IPA Lentedagen on Testing,
  April 19 - 21, 2006. Vught, Netherlands.
• CMCS 2006,
  8th Workshop on Coalgebraic Methods in Computer Science,
  March 25 - 27, Vienna, Austria.
• INFINITY Symposium,
  March 21 - 22, VU Amsterdam, Netherlands.
• IPA Basic Course on Formal Methods,
  January 16 - 20, 2006. Eindhoven, Netherlands.
• IPA Herfstdagen on Security
  Nov. 21-25, 2005. Zwartsluis, Netherlands.
• CALCO 2005
  1st Conference on Algebra and Coalgebra in Computer Science.
  Sep. 1-7, 2005. Swansea, Wales.
  (Will Harwood's photos)
• Marktoberdorf Summer School 2005
  Aug. 2-14, 2005. Marktoberdorf, Germany.
  (Selected photos)
  
• GAMES Spring School
  Mar. 15-19, 2005. Bonn, Germany.
• IPA Basic Course on Algorithms and Complexity
  Jan. 31 - Feb. 4, 2005. Eindhoven, Netherlands.

Other links

• I was paranimf for my friend Marie Safarova who defended her PhD thesis on semantics and pragmatics of intonation on October 12th, 2006.
• Some photos from my cycling holiday in Denmark, August 2006.
• Alexandra's recipe blog.
• My Argentinian tango teachers, and my gym.