comp.specification.z

Date Index

Final CFP: UITP'08 - User Interfaces for Theorem Provers, Christoph Benzmueller
Workshop on Social Software and BPM - CfPapers, Selmin Nurcan
WoLLIC 2008 - Call for Participation, ruy
2nd Call for Participation: DisCoTec'08 - Early registration deadline, Hartmut König
ATVA 2008: Submission deadline approaching (May 5), "Farn"
comp.specification.z charter, moderator
2nd CFP: VERIFY'08 - 5th International Verification Workshop, Bernhard Beckert
UTP'08 (revised call for papers), Andrew Butterfield
Final (Revised, including Workshops) CfP for Verified Software: Theories,, Richard Paige
CFP: IWACO 2008, David . Clarke
Last CFP: SCSS 2008, Temur Kutsia
[EuroSSC 2008] Second Call for Papers: 3rd European Conference on, EuroSSC 2008
Final CFP: CIA 2008 - Cooperative Information Agents, Matthias Klusch
- <Possible follow-ups>
- Final CFP: CIA 2008 - Cooperative Information Agents, Matthias Klusch
2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08), demis
- <Possible follow-ups>
- 2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08), demis
CfP: IJCAR08 Workshop --- Combining Systems for Efficient and Scalable Reasoning, Dieter Hutter
WADT 2008 - Last Call for Papers [deadline extension], Andrea Corradini
[MPC'08] First call for participation, MPC'08 Organizers
*** Deadline Extension *** CFP: 17th International Conference on Information Systems Development (ISD 2008), Announcements
Dear Colleagues,, "Nathan Kalka"
[RTSS] Cyber-Physical Systems Track Call for Papers, Steve Goddard
2nd CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08), demis
- <Possible follow-ups>
- 2nd CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08), demis
UTP'08, 2nd CFP, revised Deadline, Andrew Butterfield
[EUROSIS-AD] ESM'2008, October 27-29, 2008, Universite du Havre, Le Havre, France, 1ST CFP, info
Phi Name Convention, Christopher Alm
[RTSS] Call for Papers, Steve Goddard
Final CfP: Cyber-Physical Systems Challanges and Applications (CPS-CA'08), "Eduardo Tovar"
FCS-ARSPA-WITS'08: deadline extension, ailab
ICLP'08 CALL FOR PAPERS, ICLP 08
CFP: CRiSIS 2008, Ahmed Hadj Kacem
- <Possible follow-ups>
- CFP: CRiSIS 2008, Ahmed Hadj Kacem
WADT 2008 - Final Call for Papers, Andrea Corradini
CHINA 2008 PC CfPresentations, Jetty Kleijn
(EC)^2: Final Call for Papers, EC2
[ISSAC-ANNOUNCE] Call for Participation - ISSAC 2008, ACM SIGSAM Information Director
2nd CFP: UITP'08 - User Interfaces for Theorem Provers, Christoph Benzmueller