Home

Outline

Call for Participation

Program Committee

Participants

Proceedings

Schedule

Links

Challenges and Novel Applications for Automated Reasoning

CADE-19 Workshop
July 28, 2003
Miami
USA


Outline:
Brief description of the Workshop.
Call for Participation:
Details about how to participate.
Program Committee:
List of members of the organizing committee.
Participants
List of people attending.
Proceedings:
Papers being presented.
Schedule:
Important dates and (nearer the time) the programme.
Links:
Links to previous meetings.



© Toby Walsh
tw@4c.ucc.ie

Home | Outline | Call for Participation | Program Committee | Participants | Proceedings | Schedule | Links