Formal Methods Forum

Spring 1997

This is a seminar on formal methods in computer science and engineering organized by the Laboratory for Theoretical Computer Science at HUT. We meet usually on Fridays at 2 p.m. in room B353 in the Computer Science building.

For further information, please contact Ilkka Niemelä.

Program

• 24.01.97 Eero Lassila: Makrolavennuksen käyttö optimoivassa koodingeneroinnissa
• 31.01.97 Kari Nurmela: Vakiopainokoodien hakuheuristiikkoja
• 07.02.97 Ilkka Niemelä: Towards Default Rule Based Constraint Programming
• 14.02.97 Patric Östergård: Local Search for Satisfiability: A New Neighborhood
  
• 28.02.97 Johan Lilius: O²(PN)²: An Object-Oriented Petri Net Programming Notation
• 07.03.97 Nisse Husberg: Formal Models for Real Systems
• 21.03.97 Tomi Janhunen: Separating Disbeliefs from Beliefs in Autoepistemic Reasoning
• 28.03.97 Easter
• 04.04.97 Tuomas Aura: Toistohyökkäysten torjunta
• 11.04.97 Cancelled (the speaker has been taken ill).
• 18.04.97 Antti Huima: Kryptografisten protokollien automaattinen verifiointi
• 25.04.97 No talk
• 02.05.97 No talk
• 09.05.97 No talk
• 16.05.97 Keijo Heljanko: Model Checking the Temporal Logic CTL
• 23.05.97 Patrik Simons: An Overview of Smodels
• 30.05.97 Markus Malmqvist: Methodology of Dynamical Analysis of SDL Programs Using Predicate/Transition Nets