This is the home page for IFMSIG. It it intended to act as a collection
point for links relevent to formal methods, computer modelling, and theoretical
computer science in Ireland as well as a notice board for the activities
of the group. The group holds regular (bi-annual) meeting and also organises
full refereed conferences in the area - see the News
section for details.
The first call for papers for the 5th Irish Workshop on Formal Methods has been sent out.
What does IFMSIG stand for ?
Originally it stood for the "Irish Formal Methods Special Interest Group",
but in recent times we have moved the focus away from being about "formal
methods" and view the group as embracing a much wider interface between
mathematics and computing, bringing in such areas as theory, modelling,
and yes, indeed, associated formalisms and methods.
So what does IFMSIG now mean ?
Well fomally, we would say : -)
[[IFMSIG]] = IFMSIG
At the moment, the primary means of contact is via our mailing
list, which you are encouraged to use. To be added or removed from
the list, contact the administrator
(currently Andrew Butterfield). An archive
of messages sent to the list is available - courtesy of Rotan Hanrahan
in RTC Tallaght (currently down).
methods people in the School of
Richard Lawlor (e-mail).
methods people in the Department
of Computer Science.
The Foundations and Methods group
in the Department of Computer Science.
Anthony K. Seda (e-mail)
in the Mathematics Department and Simon
Foley in Computer Science.
has a group in the Department of Computer
Franz Geiselbrechtinger's formal methods
group in the same.
Sharon Flynn at the Information
Norah Power in the
and Information Systems Department.
Row in the School
of Information and Software Engineering.
Institute of Technology
Michael Brennan (e-mail)
Mairead Meaghar (e-mail).
Some Web Resources:
Methods Europe (maintained by Mícheál Mac an Airchinnigh).
Methods in the Virtual Library.
Comparative Study in Formal Software Development
Automated Reasoning Project
Logic in Computer Science
of real-world programming languages lists
glossary of programming languages, architectures, domain theory, mathematics,
group at DIKU.
Logic of Actions (TLA)
for Theoretical Computer Science
for Program Analysis
and Formal Methods at Imperial College.
and Formal Methods at Universtity of Glasgow.
This page is being maintained by Andrew
me with oany comments)
Modified: "20001005:1215 IST"