Atlas home || Conferences | Abstracts | about Atlas

IWFM'99 3rd Irish Workshop in Formal Methods

July 1-2, 1999

Galway, Ireland

Mathematics

Host: National University of Ireland, Galway
Sponsor: Irish Formal Methods Special Interest Group (IFMSIG)
Homepage: http://www.cs.tcd.ie/research_groups/fmg/IFMSIG/IWFM99/

Organizers: Programme Chair: Andrew Butterfield (TCD), Organisation Chair: Sharon Flynn (UCG), Programme Committee: Andrew Butterfield (TCD), Andy S. Evans (York), Sharon Flynn (UCG), Paul Gibson (Maynooth), Rotan Hanrahan (Tallaght RTC), Klemens Haegele (TCD), Michael Hinchey (NJIT,UL), Richard Lawlor (DIT), Henry McLoughlin (UCD), Peter Kilpatrick (QUB), Gerard O'Regan (UCC), Claus Pahl (UCC), Norah Power (UL), Anthony Seda (UCC)

Deadline for abstracts: March 26, 1999

Description:

The third Irish Workshop on Formal Methods will be held in University College Galway, on the 1st and 2nd of July, 1999. We seek submissions of papers in the general area of formal methods, theoretical computer science, and mathematics, covering, but not restricted to, the following topics: formal systems, proof systems, mathematical models of computing, semantics, tools, industrial and teaching experiences.

Date received: March 22, 1999

© 2008 Atlas Conferences Inc.