PVS Mail Index

• Thread Index

• [PVS] TPHOLs becomes ITP
  • From: Tobias Nipkow
• [PVS] Call for Papers RCIS'09
  • From: Selmin Nurcan
• [PVS] ETAPS 2009 First Call for Papers
  • From: Joost-Pieter Katoen
• [PVS] TSD 2008 Last Call for Participation
  • From: TSD 2008
• [PVS] LATA 2009: 2nd call for papers
  • From: carlos.martin
• [PVS] [Researchers] I2TS'2008 - 7th International Information and Telecommunication Technologies Symposium
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] ESSLLI 2009: 2nd Call for Course and Workshop Proposals
  • From: Sophia Katrenko
• [PVS] LaSh08 DEADLINE EXTENSION
  • From: Marc Denecker
• [PVS] [EuroSSC 2008] Call for Posters & Demos
  • From: EuroSSC 2008
• [PVS] MCS special issue: call for papers
  • From: G. Vegter
• [PVS] CFP: SSS'08 Poster Session
  • From: Ali Ebnenasir
• [PVS] WLPE'08 - Call for Papers
  • From: WLPE-08
• [PVS] 2008 ICLP Doctoral Consortium
  • From: ICLP 08
• [PVS] ICLP'08 *FINAL* CALL FOR POSTER SUBMISSIONS
  • From: ICLP 08
• [PVS] CFP: PAKDD 2009, Bangkok, Thailand, 27-30 April 2009, (submission deadline: 09 September 2008)
  • From: kritsada sriphaew
• [PVS] IDCS 2008 (Final Extended Deadline for Submission: August 15)
  • From: Mukaddim Pathan
• [PVS] DATICS'09 - Call For Papers
  • From: PAFSV Team
• [PVS] 2nd CfP - Special Issue on Forecasting with Computational Intelligence
  • From: International Journal of Forecasting
• [PVS] PhD and Postdoc Positions in Programming Methodology, ETH Zurich
  • From: Mueller Peter
• [PVS] Call for Papers: ICDS 2009 || February 1-6, 2009 - Cancun, Mexico
  • From: IARIA Invitation
• [PVS] Call for Participation QEST2008
  • From: Nihal PEKERGIN
• [PVS] ICLP'08 *FINAL* CALL FOR POSTER SUBMISSIONS
  • From: ICLP 08
• [PVS] PhD studentships available at Glasgow University
  • From: Muffy Calder
• [PVS] CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08
  • From: cimca
• [PVS] 1 year fellowship for a doctoral researcher on program analysis
  • From: Wim Vanhoof
• [PVS] Conference Registration Deadline
  • From: Society for Applied Learning Technology
• [PVS] WI-IAT'08 Workshops: Deadline Extended to August 7, 2008
  • From: WI-IAT'08
• [PVS] VMCAI 2009: Submission is open
  • From: Markus Mueller-Olm
• [PVS] CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08
  • From: cimca
• [PVS] PODC & CONCUR 2008: 2nd Call for Participation
  • From: Thomas Moscibroda
• [PVS] Review of Symbolic Logic (RSL)
  • From: Patrick Blackburn
• [PVS] SOFSEM 2009 - Call for Paper
  • From: SOFSEM09
• [PVS] [CIBCB] Call for Participation - IEEE CIBCB'08
  • From: cibcb
• [PVS] ABE 08: call for participation
  • From: Franck van Breugel
• [PVS] AiML08: Preliminary Program now Available
  • From: Carlos Areces
• [PVS] CFP: CICLOPS 2008
  • From: ciclops-org
• [PVS] Third CFP: ACM SAC Special Track on Coordination Models, Languages and Applications
  • From: SAC 2009 - Coordination Models, Languages and Architectures
• [PVS] Stability Testing Conference 2008
  • From: Visiongain
• [PVS] CFP: Special issues of Mathematics in Computer Science
  • From: mcs-list
• [PVS] ICLP'08 CALL FOR POSTER SUBMISSIONS
  • From: ICLP 08
• [PVS] 1st CFP: ECSQARU 2009 - 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
  • From: Ecsqaru2009
• [PVS] [CIBCB] IEEE CIBCB 2009 - Call for Papers
  • From: cibcb
• [PVS] Symposium on Practical Aspects of Declarative Languages (PADL'09)
  • From: Gopal Gupta
• [PVS] PhD position in formal methods at Radboud University Nijmegen: Deadline 1. October
  • From: julien@RadboudUniversity
• [PVS] First CfP: InfoSys 2009 [ICNS, ICAS, INTENSIVE], Valencia/Spain, April 21-25, 2009
  • From: IARIA Invitation
• [PVS] LPAR'08 workshops
  • From: Geoff Sutcliffe
• [PVS] ESSLLI 2009 - Second Call for Course and Workshop Proposals
  • From: Richard Moot
• [PVS] TSD 2008 Call for Demonstrations and Participation
  • From: TSD 2008
• [PVS] RE: Extension to paper submission deadline, AVOCS 2008
  • From: Alice Miller
• [PVS] SPIN 2008: Call for Participation
  • From: Rupak Majumdar
• [PVS] CfP: MODELS & ARTIST Workshop on Model Based Architecting and Construction of Embedded Systems (ACES^MB 2008)
  • From: Susanne Graf
• [PVS] New article type PROOF PEARLS in Journal of Automated Reasoning
  • From: Tobias Nipkow
• [PVS] Call for Papers and Participation: VSTTE'08 Workshops on Tools, Theories and Experiments
  • From: Richard Paige
• [PVS] Last call for papers: ACM SAC 09 Software Verification and Testing
  • From: Tamara . Rezk
• [PVS] WLPE'08 -- Call for Papers
  • From: Puri Arenas
• [PVS] ACM SAC Coordination track 2009: 2nd Call for Papers
  • From: SAC 2009 - Coordination Models, Languages and Architectures
• [PVS] LaSh08: Last Call for Papers
  • From: Joost Vennekens
• [PVS] IJCAR in Australia, 1 month to go
  • From: Geoff Sutcliffe
• [PVS] [qest-announce] Call for Participation QEST08
  • From: Nihal PEKERGIN
• [PVS] RE: Call for papers AVOCS 2008
  • From: Alice Miller
• [PVS] Call for Participation QEST2008
  • From: Nihal PEKERGIN
• [PVS] CFP: DML 2008--Towards Digital Mathematics Library, Birmingham, UK, Jul 27th
  • From: dml2008
• [PVS] TPHOLs'2008-Second Call For Participation-
  • From: Otmane Ait Mohamed
• [PVS] WI'08 NEW Deadline: 20th July
  • From: WIC Office
• [PVS] AFM program, and short talks invitation
  • From: John Rushby
• [PVS] RDP'09: Call for Workshop Proposals
  • From: Ralf Treinen
• [PVS] Call for Papers: Formal Methods Education and Training
  • From: Jeremy . Gibbons
• [PVS] Call for papers : International Workshop on SCLP’08
  • From: ahmed.nait-sidi-moh@xxxxxxx
• [PVS] Call for Participation: CIA 2008 - Cooperative Information Agents
  • From: Matthias Klusch
• [PVS] [DSD08] [DSD'08] CALL FOR PARTICIPATION
  • From: DSD'08 Program Chair
• [PVS] CFP: IDCS 2008 (Submission Deadline: August 10)
  • From: Mukaddim Pathan
• [PVS] CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08
  • From: Masoud.Mohammadian
• [PVS] International Conference on Innovation in Software Engineering - ISE08
  • From: Masoud.Mohammadian
• [PVS] CFP: JAR Special Issue on TESTS AND PROOFS
  • From: Bernhard Beckert
• [PVS] Deadline extension for SSS 2008
  • From: sandeep
• [PVS] UITP'08: Call for System Demonstrations
  • From: Otmane Ait Mohamed
• [PVS] CFP-UML&FM'08 : Extended deadline
  • From: Sun Meng
• [PVS] =?utf-8?b?VU1MJkZN4oCZMjAwOCA6RXh0ZW5kZWQgZGVhZGxpbmU=?=
  • From: Isabelle Perseil
• [PVS] CFP: Practical Applications of Stochastic Modelling (PASM 2008)
  • From: N A Thomas
• [PVS] CONCUR & PODC 2008: Call for Participation
  • From: Petr Kuznetsov
• [PVS] ICDCIT 2008 Call for Paper - Extended Deadline 10th July
  • From: R. K. Ghosh
• [PVS] Extended deadline SYNASC 2008 symposium
  • From: Synasc 2008
• [PVS] HASE 2008 - Last CfP - 3 days left for paper submission
  • From: tase08
• [PVS] SSS 2008: Approaching Deadline
  • From: sandeep
• [PVS] Associate Professorship at TUM, Germany
  • From: Helmut Seidl
• [PVS] First CfP: GlobeNet 2009 [ICN, ICONS, DB], Gosier/Guadeloupe, March 1-6, 2009
  • From: IARIA Invitation
• [PVS] CFP: International Conference on Innovation in Software Engineering - ISE08
  • From: Masoud.Mohammadian
• [PVS] Final CFP: IEEE/WIC/ACM IAT'08 [DL: July 10]
  • From: WI-IAT08
• [PVS] =?utf-8?b?VU1MJkZN4oCZMjAwOCA6IGxhc3QgQ2FsbCBmb3IgUGFwZXJz?=
  • From: Isabelle Perseil
• [PVS] ESSLLI 2009 Call for Proposals
  • From: Richard Moot
• [PVS] Call for Participation: IEEE IRI 2008
  • From: IEEE-IRI-Publicity
• [PVS] Final CFP: IEEE/WIC/ACM WI-2008 (Deadline: July 10)
  • From: Jia Hu
• [PVS] CfPart: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)
  • From: demis
• [PVS] Deadline Extension: FAST, Formal Aspects of Security and Trust
  • From: Joshua D. Guttman
• [PVS] Call For Participation: WORLDCOMP'08 Congress (CS and CE conferences), July 14-17, 2008, Las Vegas
  • From: Hamid R. Arabnia
• [PVS] CfPart: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)
  • From: demis
• [PVS] Herlihy, Milner, Hoare, O'Hearn etc.: LASER summer school
  • From: Martin Nordio
• [PVS] FAST 2008: Formal Aspects of Security and Trust
  • From: Joshua D. Guttman
• [PVS] Call for Papers - Session on Intelligent Sensing, Situation Management, and Impact Assessment at SPIE 2009
  • From: Adam Stotz
• [PVS] FW: Call for papers AVOCS 2008
  • From: Elizabeth Walsh
• [PVS] Call for FM’11 Symposium Proposals
  • From: Announcements of FME events
• [PVS] CAV 08: Final CFP (Reg deadline June 21)
  • From: Aarti Gupta
• [PVS] Formal Methods in Use at Galois, an IJCAR Tutorial: Call for Participation
  • From: Joe Hurd
• [PVS] Call for papers AVOCS 2008
  • From: Alice Miller
• [PVS] IJCAR 2008 in Australia
  • From: Geoff Sutcliffe
• [PVS] UML&FM’2008 : 2nd Call for Papers
  • From: Isabelle Perseil
• [PVS] Automated Reasoning Workshop 2008 (Extended Deadline)
  • From: Louise Dennis
• [PVS] CFP: International Conference on Innovation in Software Engineering - ISE08
  • From: cimca
• [PVS] [Researchers] 7th I2TS'2008 - Iguacu Falls, Brazil - 05-07/11/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Call for Participation: Conferences on Intelligent Computer Mathematics
  • From: Volker Sorge
• [PVS] UTP08: call for work in progress papers
  • From: Andrew Butterfield
• [PVS] Revised CfP: TTSS'08 - Harnessing Theories for Tool Support in Software, Istanbul/Turkey
  • From: Volker Stolz
• [PVS] CFP: International Conference on Innovation in Software Engineering - ISE08
  • From: cimca
• [PVS] AMAST'08 Call for Participation
  • From: Mark Hills
• [PVS] CFP: WI-2008 (Sydney, Australia) Deadline: July 10
  • From: WI-IAT08
• [PVS] AiML 2008: Registration now open
  • From: Carlos Areces
• [PVS] CFP: JAR Special Issue On Operating Systems Verification
  • From: Hendrik Tews
• [PVS] VMCAI 2009: Call for Papers
  • From: Markus Mueller-Olm
• [PVS] [CALL FOR PAPERS] An International Conference
  • From: A9423008
• [PVS] 2008 ICLP Doctoral Consortium
  • From: ICLP 08
• [PVS] CL&C - Call for participation
  • From: Ulrich Berger
• [PVS] HASE 2008 - Extended Deadline June 17
  • From: tase08
• [PVS] WCAT @ ASE2008. Deadline extension. Coordination and AdaptationTechniques
  • From: canal
• [PVS] RECOMB-CG 6th Annual RECOMB Satellite Meeting on Comparative Genomics
  • From: RECOM-CG 08
• [PVS] Automated Reasoning Workshop 2008
  • From: Louise Dennis
• [PVS] [Researchers] CFP: 6th ACM MobiWac 2008, Vancouver, October 2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] International conference in Singapore in January 8-10, 2009 (Call-for-papers)
  • From: a9423020
• [PVS] CFP: Special issue of Journal of Scheduling
  • From: Hana Rudova
• [PVS] MeCBIC 2008 - Call for Papers
  • From: Gabriel Ciobanu
• [PVS] Doctoral Programme at CICM'08 in Birmingham (Some Student Grants Available!)
  • From: Christoph Benzmueller
• [PVS] CFP: International Conference on Innovation in Software Engineering - ISE08
  • From: Masoud.Mohammadian
• [PVS] TPHOLs'2008-First Call For Participation-
  • From: Otmane Ait Mohamed
• [PVS] Conference Brochure Available
  • From: Society for Applied Learning Technology
• [PVS] SSS 2008 deadline one month away
  • From: sandeep
• [PVS] DigitalWorld 2009, February 1-6, 2009 - Cancun, Mexico
  • From: IARIA Invitation
• [PVS] CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08
  • From: Masoud.Mohammadian
• [PVS] CFP: IEEE IDCS 2008 (Submission Deadline: August 10)
  • From: Mukaddim Pathan
• [PVS] LaSh08 Call for Papers
  • From: Marc Denecker
• [PVS] SOFSEM'09 Call for Papers
  • From: Frank Valencia
• [PVS] EPEW Deadline Extension: 9th June
  • From: N A Thomas
• [PVS] MPC 2008: SECOND CALL FOR PARTICIPATION
  • From: Christine Paulin
• [PVS] [Researchers] ACM MobiCom´2008 Call for Panels
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] ICLP'08 CFP: EXTENDED DEADLINES!
  • From: ICLP 08
• [PVS] [Researchers] ACM PE-WASUN 2008: upcoming deadline and special issue announcement
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] PPDP'08: Call for Participation
  • From: Elvira Albert
• [PVS] SecReT 2008 - Reminder
  • From: Santiago Escobar
• [PVS] LPAR submission deadline extended
  • From: Geoff Sutcliffe
• [PVS] Herlihy, Milner, Hoare, O'Hearn etc.: LASER summer school
  • From: Martin Nordio
• [PVS] IEEE ISSPIT 2008 - Call for Papers
  • From: Mehmed Kantardzic
• [PVS] ICLP'08 CALL FOR PAPERS
  • From: ICLP 08
• [PVS] PLID'08 - Last Call for Contributions
  • From: Samir Genaim
• [PVS] ICLP'08 CALL FOR WORKSHOP PROPOSALS
  • From: ICLP 08
• [PVS] [Researchers] 11th ACM MSWiM / 5th ACM PE-WASUN 2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Call for participation in the 2008 ACP Summer School - Modelling with Constraints: Theory and Practice
  • From: Karen Elizabeth Petrie
• [PVS] CAV 08 CFP: Early Registration to CLOSE on May 27
  • From: Aarti Gupta
• [PVS] SEFM 2008: Deadline Extended - Final Call for Papers
  • From: Antonio Cerone
• [PVS] [Researchers] 33rd IEEE LCN 2008 / 4th IEEE P2MNet 2008 - International Workshop on Performance and Management of Wireless and Mobile Networks
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Final Call for Presentations at AISC'08 and Calculemus 2008
  • From: Volker Sorge
• [PVS] Vacancy Announcement: two post-doctoral researcher positions at UNU-IIST
  • From: Wang Xu
• [PVS] AFM08 Reminder
  • From: Sam Owre
• [PVS] CFP: ACM SAC 09 Software Verification and Testing
  • From: Tamara . Rezk
• [PVS] Funded PhD position (Formalising the Interface between Software-Hardware)
  • From: Andrew Butterfield
• [PVS] LPAR Call for Papers
  • From: Geoff Sutcliffe
• [PVS] Formal Methods in Use at Galois, an IJCAR Tutorial: Call for Participation
  • From: Joe Hurd
• [PVS] ECOOP 2008 Call for Participation
  • From: David . Clarke
• [PVS] Postdoc position in NL Generation, Nancy, France
  • From: Claire Gardent
• [PVS] Call for a PhD Grant
  • From: Dominique Mery
• [PVS] CFP2: DML 2008--Towards Digital Mathematics Library
  • From: dml2008
• Re: [PVS] Ask for help on a proof
  • From: Scott L. Burson
• [PVS] Ask for help on a proof
  • From: Xiao Han
• [PVS] FLOSS-FM & OpenCert 2008 Joint Workshop @OOS'08
  • From: Luis Barbosa
• [PVS] Call For Papers: Extended deadline: June 1, 2008 - WORLDCOMP'08 Congress (CS and CE Conferences - July 2008, USA)
  • From: Hamid R. Arabnia
• [PVS] DEADLINE EXTENDED: VERIFY'08 - 5th International Verification Workshop
  • From: Bernhard Beckert
• [PVS] [Researchers] 33rd IEEE LCN 2008 / 4th IEEE P2MNet 2008 - International Workshop on Performance and Management of Wireless and Mobile Networks.
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Deadline extension: ICSEA 2008 | ICSNC 2008 | I-CENTRIC 2008 || Sliema, Malta - October 26-31
  • From: IARIA Invitation
• [PVS] CFP: International Conference on Innovation in Software Engineering - ISE08
  • From: cimca
• [PVS] CfP: 8th Workshop on Domain-Specific Modeling @ OOPSLA
  • From: Juha-Pekka Tolvanen
• [PVS] CfP: IJCAR08 Workshop --- Combining Systems for Efficient and Scalable Reasoning
  • From: Dieter Hutter
• [PVS] Post-Doc Positions available at Service-Oriented Applications Unit - FBK - Trento, Italy
  • From: jobs
• [PVS] ETAPS 2009 First Call for Papers
  • From: Joost-Pieter Katoen
• [PVS] CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08
  • From: cimca
• [PVS] Call for Participation: TOOLS Europe 2008 - 12 days to go until TOOLS Europe early registration deadline
  • From: Philippe . LAHIRE
• [PVS] UML&FM’2008 : Call for Papers
  • From: Isabelle Perseil
• [PVS] CFP: Special issue of Journal of Scheduling
  • From: Hana Rudova
• [PVS] Call for papers - Infinity 2008 (Deadline May 31st)
  • From: Peter Habermehl
• [PVS] [Researchers] 11th ACM/IEEE MSWiM 2008 - Vancouver, Canada - 27-31/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 12th IEEE/ACM DS-RT´2008 - Vancouver, Canada - 27-29/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Third CFP: 7th European Conference on e-Learning (ECEL 2008)
  • From: Announcements
• [PVS] CFP-UML&FM'08
  • From: Sun Meng
• [PVS] Call For Participation: HotEmNets 2008
  • From: Radu Stoleru
• [PVS] call for papers - QAC'08
  • From: Sun Meng
• [PVS] FMCAD 2008 CFP Deadline Extension! (May 19th)
  • From: Lee Pike
• [PVS] UITP'08: Deadline Extension (25 May)
  • From: Christoph Benzmueller
• [PVS] Call for Participation -- CAV 2008
  • From: Aarti Gupta
• [PVS] Open PhD position in Information Security at ETH Zurich: Automated Validation of Trust and Security of Service-oriented Architectures
  • From: Cas Cremers
• [PVS] ICLP'08 CALL FOR APPLICATION PAPERS
  • From: ICLP 08
• [PVS] MEMOCODE08: Call for Participation
  • From: Klaus Schneider
• [PVS] [SASO 2008] SASO 2008 CfP Extended Deadline
  • From: saso-list
• [PVS] Final CFP - FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
  • From: Announcements of FME events
• [PVS] PRIB 2008: Call for short papers/ posters
  • From: Shandar Ahmad
• [PVS] CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08
  • From: cimca
• [PVS] CFP: ACM Workshop on Formal Methods in Security Engineering (FMSE)
  • From: Vitaly Shmatikov
• [PVS] Call For Emerging Trends-TPHOLs08--DEADLINE EXTENSION--
  • From: Otmane Ait Mohamed
• [PVS] DCoSS Call for partecipation (fwd)
  • From: M. Cristina Pinotti
• [PVS] CFP: Workshop CEDAR 2008
  • From: Miki Hermann
• [PVS] [SASO 2008] Call for Papers: SASO 2008
  • From: saso-list
• [PVS] ICLP'08 CALL FOR PAPERS
  • From: ICLP 08
• [PVS] DoD Software Assurance
  • From: Ramu Iyer
• [PVS] CFP: LAST OPPORTUNITY, IEEE Future Multimedia Networking Workshop (IEEE FMN´08)
  • From: Eduardo Cerqueira
• [PVS] [Researchers] 12th IEEE/ACM DS-RT´2008 - Vancouver, Canada - 27-29/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] ACM/IEEE MSWiM 2008 - Vancouver, Canada - 27-31/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] CFP: DML 2008--Towards Digital Mathematics Library
  • From: dml2008
• [PVS] Call for Presentations at AISC'08 and Calculemus 2008
  • From: Freek Wiedijk
• [PVS] Call for Papers: CFV'08, an IJCAR'08 workshop, Sydney, Australia, August 10 - 11, 2008
  • From: Miroslav Velev
• [PVS] CFP: Only 3 days left, IEEE FMN´08!!!
  • From: Eduardo Cerqueira
• [PVS] Automated Reasoning in Mathematics
  • From: Geoff Sutcliffe
• [PVS] IJCAR Calls and Awards
  • From: Geoff Sutcliffe
• [PVS] ATVA 2008: submission deadline extension to May 12, 2008
  • From: Farn Wang
• [PVS] Call for Presentations at AISC'08 and Calculemus 2008
  • From: Volker Sorge
• [PVS] Final CFP: UITP'08 - User Interfaces for Theorem Provers
  • From: Christoph Benzmueller
• [PVS] PhD Studentship "Formal Specification and Certification in Automated Deduction"
  • From: Christophe Ringeissen
• [PVS] FMCAD 2008: FINAL Call for Papers
  • From: Lee Pike
• [PVS] [qest-announce] QEST: Final Call for Tool Papers
  • From: Nihal PEKERGIN
• [PVS] Extended Deadline to May 5th, IEEE Future Multimedia Networking Workshop!
  • From: Eduardo Cerqueira
• [PVS] WoLLIC 2008 - Call for Participation
  • From: ruy
• [PVS] Deadline Extension: ADVCOMP 2008 | UBICOMM 2008 | ENICS 2008 | Valencia, Spain
  • From: IARIA Invitation
• [PVS] CfP ISoLA 2008 - 3rd IEEE Internat. Symposium on Leveraging Applications of Formal Methods, Verification and Validation
  • From: Tiziana Margaria -
• [PVS] SNSC'08: Final SFB F013 Conference
  • From: SNSC 2008
• [PVS] ARW'08 (Automated Reasoning Workshop) - Call for Papers
  • From: Louise Dennis
• [PVS] ESSLLI 2008
  • From: ESSLLI 2008
• [PVS] [ISBRA-L] ISBRA 2008 final call for participation
  • From: ISBRA Symposium Announcements
• [PVS] DEADLINE EXTENSION: (WFLP'08) 17th Int'l Workshop on Functional and (Constraint) Logic Programming
  • From: demis
• [PVS] Kurt Gödel Colloquium 2008 Announcement
  • From: Kurt Goedel Society
• [PVS] CFP: AFM08 -- A workshop for PVS, SAL and Yices users
  • From: John Rushby
• [PVS] CfP: MODELS & ARTIST Workshop on Model Based Architecting and Construction of Embedded Systems (ACES^MB 2008)
  • From: Susanne Graf
• [PVS] WRS 2008 final CFP (extended deadline)
  • From: aart . middeldorp
• [PVS] 2nd CFP: Proof-Carrying Code workshop PCC 2008 (Extended deadline)
  • From: David Aspinall
• [PVS] TPHOLs'2009 Host Selection
  • From: Otmane Ait Mohamed
• [PVS] PAuL 2008 CfP Deadline Extension
  • From: PAuL 2008
• [PVS] ATVA 2008: Submission deadline approaching (May 5)
  • From: Farn
• [PVS] 2nd CFP: VERIFY'08 - 5th International Verification Workshop
  • From: Bernhard Beckert
• [PVS] Extended submission deadline: Distributed and Parallel Simulation track at EMSS 2008
  • From: Patrick Peschlow
• [PVS] DEADLINE EXTENSION: (WWV'08) 4th Int'l Workshop on Automated Specification and Verification of Web Systems
  • From: demis
• [PVS] =?windows-1252?q?Call_for_chapter_contributions_to_IOS_Pre?==?windows-1252?q?ss_Book_=93Parallel_Programming_and_App_lications?==?windows-1252?q?_in_Grid=2C_P2P_and_Networked-based_Systems=94?=
  • From: Fatos Xhafa
• [PVS] Final (Revised, including Workshops) CfP for Verified Software: Theories, Tools, and Experiments 2008
  • From: Richard Paige
• [PVS] PLID'08 - 2nd Call for Contributions
  • From: Samir Genaim
• [PVS] First International Workshop on Systems Engineering Design & Applications
  • From: Pierre Borne
• [PVS] [Researchers] 12th IEEE/ACM DS-RT´2008 - Vancouver, Canada - 27-29/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 11th ACM/IEE MSWiM´2008 - Vancouver, Canada - 26-30/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] HASE 2008 CALL FOR PAPERS
  • From: tase08
• [PVS] (no subject)
  • From: Samir Genaim
• [PVS] Call for Papers: SSS 2008
  • From: sandeep
• [PVS] CFP: IWACO 2008
  • From: David . Clarke
• [PVS] PhD Studentship in Nancy (France)
  • From: Claire Gardent
• [PVS] SRMPDS'08
  • From: Raj Kettimuthu
• [PVS] Last submission days: SENSORCOMM 2008, SECURWARE 2008, MESH 2008 || August 25-31, 2008 - Cap Esterel, France ||
  • From: IARIA Invitation
• [PVS] [EuroSSC 2008] Second Call for Papers: 3rd European Conference on Smart Sensing and Context
  • From: EuroSSC 2008
• [PVS] Final CFP: CIA 2008 - Cooperative Information Agents
  • From: Matthias Klusch
• [PVS] Call for Papers: IEEE IDCS 2008 in Khulna, Bangladesh
  • From: Mukaddim Pathan
• [PVS] CALL FOR PAPERS: TPHOLs 2008--EMERGING TRENDS--
  • From: Otmane Ait Mohamed
• [PVS] USI - CMU Summer School on Dependable Computer Systems
  • From: Aliaksei Tsitovich
• [PVS] [qest-announce] CFP: UKPEW 2008 UK Performance Engineering Workshop
  • From: William Knottenbelt
• [PVS] 2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)
  • From: demis
• [PVS] WADT 2008 - Last Call for Papers [deadline extension]
  • From: Andrea Corradini
• [PVS] CfP: IJCAR08 Workshop --- Combining Systems for Efficient and Scalable Reasoning
  • From: Dieter Hutter
• [PVS] [MPC'08] First call for participation
  • From: MPC'08 Organizers
• [PVS] *** Deadline Extension *** CFP: 17th International Conference on Information Systems Development (ISD 2008)
  • From: Announcements
• [PVS] PRIB 2008: Extension of due date for paper submission
  • From: Shandar Ahmad
• [PVS] [Researchers] 12th IEEE/ACM DS-RT´2008 - Vancouver, Canada - 27-29/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 11th ACM/IEE MSWiM´2008 - Vancouver, Canada - 26-30/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Last Call for Bids: TPHOLs'2009
  • From: Otmane Ait Mohamed
• [PVS] 2nd CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)
  • From: demis
• [PVS] Extended deadline: DATICS 2008 - Design, Analysis and Tools for Integrated Circuits and Systems
  • From: SS DATICS
• [PVS] [fomi2008] Call for participation
  • From: radicion
• [PVS] [qest-announce] QEST2008 Tool papers ***Deadline approaching****
  • From: Nihal Pekergin
• [PVS] [Researchers] 3rd ACM PM2HW2N 2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Extended deadline: DTVCS 2008 - Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems
  • From: ss DTVCS
• [PVS] Extended deadline for DCOSS special sessions (fwd)
  • From: M. Cristina Pinotti
• [PVS] WRS 2008 - 2nd CFP
  • From: aart . middeldorp
• [PVS] CFP - 1st IEEE International Workshop on FUTURE MULTIMEDIA NETWORKING (IEEE FMN´08), Deadline 28 April
  • From: Eduardo Cerqueira
• [PVS] 2nd CFP - The 1st International Workshop on Bit-Precise Reasoning (BPR 2008)
  • From: Workshop BPR
• [PVS] LPAR 2008 (Qatar) CFP
  • From: Geoff Sutcliffe
• [PVS] Structural Operational Semantics 2008: Deadline extended
  • From: Bartek Klin
• [PVS] FCS-ARSPA-WITS'08: deadline extension
  • From: ailab
• [PVS] ICLP'08 CALL FOR PAPERS
  • From: ICLP 08
• [PVS] [qest-announce] ICE'08: Last Call for Papers
  • From: Angelo Troina
• [PVS] 2nd WI-IAT 2008: Call for Workshop Proposals (DL: April 10)
  • From: WI-IAT08
• [PVS] [qest-announce] Cyber Security for Process Control Systems Summer School
  • From: William H. Sanders
• [PVS] CFP: ACM/IET/ICST International Workshop on Performance and Analysis of Wireless Networks
  • From: Eduardo Cerqueira
• [PVS] WADT 2008 - Final Call for Papers
  • From: Andrea Corradini
• [PVS] CHINA 2008 PC CfPresentations
  • From: Jetty Kleijn
• [PVS] (EC)^2: Final Call for Papers
  • From: EC2
• [PVS] [qest-announce] FINAL CFP: Special Issue on Content Distribution Infrastructures for Community Networks (Elsevier Computer Networks Journal)
  • From: Roberto Canonico
• [PVS] 2nd CFP: UITP'08 - User Interfaces for Theorem Provers
  • From: Christoph Benzmueller
• [PVS] [ISBRA-L] ISBRA 2008 Extended early registration deadline
  • From: ISBRA Symposium Announcements
• [PVS] [Researchers] Extended CFP Globecom Ad Hoc, Sensor and Mesh Networking Symposium
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 11th ACM/IEE MSWiM´2008 - Vancouver, Canada - 26-30/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 12th IEEE/ACM DS-RT´2008 - Vancouver, Canada - 27-29/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [CIBCB] CIBCB08 - submission deadline extension
  • From: cibcb
• [PVS] ISPASS-08 Tutorial: Call for Participation
  • From: Osman Hasan
• [PVS] 3rd International Compulog/ALP Summer School on Logic Programming and Computational Logic
  • From: announce
• [PVS] ICLP'08 CALL FOR WORKSHOP PROPOSALS *** CALL FOR WORKSHOP PROPOSALS ***
  • From: ICLP 08
• [PVS] Call for Presentations CHINA 2008
  • From: Jetty Kleijn
• [PVS] PAuL 2008 2nd Call for Papers
  • From: PAuL 2008
• [PVS] PPDP'08: Last Call for Papers
  • From: Elvira Albert
• [PVS] Call for papers RIGiM'08 in conjunction with ER'08
  • From: Selmin Nurcan
• [PVS] [Researchers] Extended CFP Globecom Ad Hoc, Sensor and Mesh Networking Symposium
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Last CFP: 17th International Conference on Information Systems Development (ISD 2008)
  • From: Announcements
• [PVS] Last CFP: 2nd European Conference on Software Architectures (ECSA 2008)
  • From: Announcements
• [PVS] Bioinformatics Conference - PRIB 2008: Special issues, Special sessions and Due dates
  • From: Shandar Ahmad
• [PVS] CFP - 1st IEEE International Workshop on FUTURE MULTIMEDIA NETWORKING (FMN´08): 1 Month Deadline
  • From: Eduardo Cerqueira
• [PVS] PhD Positions at the Embedded System Unit of Fondazione Bruno Kessler
  • From: Marco Bozzano
• [PVS] FCS-ARSPA-WITS'08: deadline extension
  • From: ailab
• [PVS] Second CFP: Distributed and Parallel Simulation track at EMSS 2008
  • From: Patrick Peschlow
• [PVS] PhD Positions in Program and Model Analysis (TUM, LMU)
  • From: Helmut Seidl
• [PVS] EASSS'08 - European Agent Systems Summer School - Early Registration Deadline Approaching!
  • From: EASSS'08
• [PVS] PhD Positions in the Embedded System Unit of Fondazione Bruno Kessler
  • From: Marco Roveri
• [PVS] NN5 Special Session at WCCI 2008
  • From: NN5 Forecasting Competition
• [PVS] Last Call for Papers: Advances in Modal Logic
  • From: Carlos Areces
• [PVS] Two more weeks || SENSORCOMM 2008, SECURWARE 2008, MESH 2008 || August 25-31, 2008 - Cap Esterel, France
  • From: IARIA Invitation
• [PVS] DMS 2008 Conference (Call For Paper)
  • From: dms
• [PVS] CFP: Special issue of Journal of Scheduling
  • From: Hana Rudova
• [PVS] Extended Submission Deadline: CIA 2008 - Intelligent Information Agents
  • From: Matthias Klusch
• [PVS] 1st CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)
  • From: demis
• [PVS] 1st CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)
  • From: demis
• [PVS] [Researchers] Extended CFP Globecom Ad Hoc, Sensor and Mesh Networking Symposium
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Bioinformatics Conference - PRIB 2008: Special issues, Special sessions and Due dates
  • From: Ngom Alioune
• [PVS] CONCUR 08: second call for papers
  • From: CONCUR 08
• [PVS] Two PostDoc Positions in Lisbon (Comp Sci and Comp Bio)
  • From: Luís Caires
• [PVS] BIBM 2008 Call for Papers
  • From: Davis Zhou
• [PVS] IEEE GrC 08 Call for paper
  • From: Tony Hu
• [PVS] ATVA 2008: (News) Call-for-Paper with a New Tool Track
  • From: Farn Wang
• [PVS] E. W. Beth Dissertation Prize: 2008 call for submissions
  • From: Carlos Areces
• [PVS] FMCAD 2008 Call For Papers
  • From: Lee Pike
• [PVS] LFM 2008 Call for Participation
  • From: Kristin Yvonne Rozier
• [PVS] FTP'07 Special Issue CFP
  • From: Ullrich Hustadt
• [PVS] Final CFP: Structural Operational Semantics 2008
  • From: Bartek Klin
• [PVS] Fundamenta Informaticae / Special issue / Machines, Computations and Universality
  • From: Jérôme DURAND-LOSE
• [PVS] FM'08 -- SECOND CALL FOR PARTICIPATION
  • From: events-admin
• [PVS] TSD 2008 Last Call for Papers
  • From: TSD 2008
• [PVS] SPIN 2008: Final Call for Papers
  • From: Klaus Havelund
• [PVS] IJCAR's ESHOL Workshop - CFP
  • From: Christoph Benzmueller
• [PVS] Call for WI-IAT 2008 Workshop Proposals
  • From: WI-IAT08
• [PVS] WACC 2008 - Call for Papers and Participation
  • From: WACC 2008
• [PVS] EASSS'08 - European Agent Systems Summer School - Registration is Open
  • From: EASSS'08
• [PVS] Announcing SMT-COMP 2008
  • From: Clark Barrett
• [PVS] FCS-ARSPA-WITS'08: Second Call for Papers
  • From: ailab
• [PVS] Deadline Approaching - IEEE IRI-2008
  • From: Chengcui Zhang
• [PVS] [Researchers] 12th IEEE/ACM DS-RT´2008 - Vancouver, Canada - 27-29/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 11th ACM/IEE MSWiM´2008 - Vancouver, Canada - 26-30/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] Extended CFP Globecom Ad Hoc, Sensor and Mesh Networking Symposium
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques (SecReT 2008)
  • From: Santiago Escobar
• [PVS] HVC 2008 - call for papers
  • From: Hana Chockler
• [PVS] [ISBRA-L] ISBRA 2008 Extended deadline for Poster Submission
  • From: ISBRA Symposium Announcements
• [PVS] CHINA 2008 Workshop 3rd CfP
  • From: Jetty Kleijn
• [PVS] CSR 2008 in Moscow: Call for Participation
  • From: CSR-2008
• [PVS] Call For Papers: Extended deadline: March 23 - WORLDCOMP'08 Congress (CS and CE Conferences - July 2008, USA)
  • From: Hamid R. Arabnia
• [PVS] BIBM-2008 Call for Papers
  • From: Davis Zhou
• [PVS] GrC-2008 Call for Papers
  • From: Davis Zhou
• [PVS] Call For Bids (TPHOLs'09) --Deadline extension (March 25, 2008)--
  • From: Otmane Ait Mohamed
• [PVS] Re: TTVSI early registration deadline
  • From: Konrad Slind
• [PVS] DEADLINE EXTENDED: FBTC2008
  • From: Nicola Cannata
• [PVS] [qest-announce] ***Extended Deadlines QEST2008****
  • From: Nihal PEKERGIN
• [PVS] FTP'07 Special Issue CFP
  • From: ranise
• [PVS] Deadline Approaching: [CFP] IEEE IRI-2008
  • From: IEEE-IRI-Publicity
• [PVS] WADT 2008 - Second Call for Papers
  • From: Andrea Corradini
• [PVS] [CFP] Advances in Modal Logic 2008
  • From: Carlos Areces
• [PVS] CFP FORMATS'08 -- First Call -- Formal Modelling and Analysis of Timed Systems
  • From: Franck Cassez
• [PVS] CFP - 1st IEEE International Workshop on FUTURE MULTIMEDIA NETWORKING (FMN´08)
  • From: Eduardo Cerqueira
• [PVS] TSD 2008 Second Call for Papers
  • From: TSD 2008
• [PVS] 2nd CFP: DTVCS 2008 - Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems
  • From: ss DTVCS
• [PVS] MTCoord 2008 - cfp
  • From: Isabelle Linden
• [PVS] PPDP 2008 - 2nd Call for Papers
  • From: Elvira Albert
• [PVS] PLID'08: 1st Call for Contributions
  • From: Samir Genaim
• [PVS] [DSD08] DSD08 - Paper Submission Deadline extended to March17th, 2008
  • From: Luca Fanucci
• [PVS] [ISBRA-L] ISBRA 2008 Final Call for Posters
  • From: ISBRA Symposium Announcements
• [PVS] Call for CAV 08 Workshop Submissions
  • From: Aarti Gupta
• [PVS] Int'l Conf. on Tools with AI (ICTAI 2008): 1st CFP
  • From: ICTAI 2008
• [PVS] LaSh08 Call for Papers
  • From: Marc Denecker
• [PVS] AMAST'08 - New Deadline - March 12
  • From: AMAST 2008
• [PVS] 2nd CFP: DATICS 2008 - Design,Analysis and Tools for Integrated Circuits and Systems
  • From: SS DATICS
• [PVS] [CIBCB] Call for Papers: IEEE CIBCB 2008
  • From: cibcb
• [PVS] FOSAD 2008 summer school: CFP
  • From: Alessandro Aldini
• [PVS] NN5 Forecasting Competition for Computational Intelligence
  • From: Deadline Extension
• [PVS] CFP-Petri Nets In Biological and Medical Sciences
  • From: Isaac Barjis
• [PVS] SFM-08:Bio -- last call for participation
  • From: Marco Bernardo
• [PVS] ACM SenSys 2008 - Call for Papers
  • From: Liqian Luo
• [PVS] [EUROSIS-AD] MESM 2008, August 26-28, 2008,Philadelphia University, Amman, Jordan 1st CFP
  • From: info
• [PVS] [ICSEng'08] ICSEng 2008,Submission deadline extended to March 16, 2008
  • From: ICSEng 2008
• [PVS] ICLP'08 CALL FOR PAPERS
  • From: ICLP 08
• [PVS] Calculemus 2008: extended deadline March 14
  • From: Freek Wiedijk
• [PVS] MKM'08: Final Call for Papers
  • From: Serge Autexier
• [PVS] SIMA 2008 CFP
  • From: Adam Stotz
• [PVS] [DSD08] Paper Submission Deadline extended to March 17th,2008
  • From: Luca Fanucci
• [PVS] [Researchers]12th IEEE/ACM DS-RT´2008 - Vancouver, Canada - 27-29/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers]11th ACM/IEE MSWiM´2008 - Vancouver, Canada - 26-30/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] IEEE Globecom 2008: Ad Hoc,Sensor and Mesh Networking Symposium
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] ATVA 2008: Call for Papers
  • From: Farn Wang
• [PVS] PRIB 2008 Melbourne Australia
  • From: Ngom Alioune
• [PVS] CFP: European Performance Engineering Workshop
  • From: N A Thomas
• [PVS] CFP: Distributed and Parallel Simulation track at EMSS 2008
  • From: Patrick Peschlow
• [PVS] Structural Operational Semantics 2008 - 2nd CFP
  • From: Bartek Klin
• [PVS] International Conference on Data Mining (DMIN'08), Las Vegas
  • From: Deadline Extension
• [PVS] [NGMAST'08] IEEE NGMAST'08 CFP
  • From: Eduardo Cerqueira
• [PVS] Call for Participation: TAP 2008 - The Second InternationalConference on Tests and Proof
  • From: Bernhard Beckert
• [PVS] Call For Papers: Extended deadline: March 10 - WORLDCOMP'08Congress (CS and CE Conferences - July 2008, USA)
  • From: Hamid R. Arabnia
• [PVS] Preliminary CFP: 17th Int'l Workshop on Functional and(Constraint) Logic Programming (WFLP'08)
  • From: demis
• [PVS] Preliminary CFP: 4th Int'l Workshop on AutomatedSpecification and Verification of Web Systems (WWV'08)
  • From: demis
• [PVS] CMCS 08: final call for short contributions
  • From: Clemens Kupke
• [PVS] TTVSI early registration deadline
  • From: Konrad Slind
• [PVS] CHINA 2008 Workshop 2nd CfP
  • From: Jetty Kleijn
• [PVS] Forecasting with Neural Networks
  • From: Special Conference Session
• [PVS] [qest-announce] QEST2008***Deadline approaching****
  • From: Nihal Pekergin
• [PVS] CFP - 1st International Workshop on FUTURE MULTIMEDIA NETWORKING (FMN´08), IEEE Co-Sponsorship
  • From: Eduardo Cerqueira
• [PVS] [DSD08] Paper Submission Deadline Approaching, March 3rd, 2008
  • From: Luca Fanucci
• [PVS] Call for Papers: The 2008 IEEE International Conference onInformation Reuse and Integration
  • From: IEEE-IRI-Publicity
• [PVS] CfP: TTSS'08 - Harnessing Theories for Tool Support inSoftware
  • From: Volker Stolz
• [PVS] AISC-08: Extended Submission Deadline
  • From: Volker Sorge
• [PVS] REACHABILITY PROBLEMS (RP'08) Liverpool, 15-17 September 2008
  • From: Potapov, Igor
• [PVS] Chaotic Modeling and Simulation International Conference(CHAOS2008) , Abstract submission
  • From: Christos H. Skiadas
• [PVS] ECOOP 2008 Call for Student Volunteers
  • From: Tobias Wrigstad
• [PVS] CfPart: MBT 2008,Fourth Workshop on Model-Based Testing at ETAPS 2008
  • From: mbt2008
• [PVS] [Researchers]IEEE Globecom´2008 - New Orleans, USA - 30/11-04/12/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers]11th ACM/IEE MSWiM´2008 - Vancouver, Canada - 26-30/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] FM'08 -- CALL FOR PARTICIPATION
  • From: events-admin
• [PVS] CFP: FCS-ARSPA-WITS'08 (Joint Workshop on Computer Security)
  • From: ailab
• [PVS] PAuL 2008 Call for Papers
  • From: PAuL 2008
• [PVS] QEST2008***Deadline approaching***
  • From: Nihal Pekergin
• [PVS] Second Call for Papers: PLAS 2008
  • From: PLAS2008
• [PVS] Deadline extended!
  • From: =?gb2312?b?1cW088X0?=
• [PVS] [qest-announce] CFP: Elsevier Computer Networks Journal -SpecialIssue on Content Distribution Infrastructures for Community Networks
  • From: Roberto Canonico
• [PVS] Cfp: 3rd Int'l Workshop on Security and Rewriting TechniquesSecurity (SecReT 2008)
  • From: Santiago Escobar
• [PVS] CFP: CIA 2008 Cooperative Information Agents
  • From: Matthias Klusch
• [PVS] CORCS 2008: 2nd Call for Papers
  • From: Cristina Seceleanu
• [PVS] PhD Studentships at Kent
  • From: A.M.King
• [PVS] UML&AADL'2008: CALL for Participations
  • From: Isabelle Perseil
• [PVS] PRIB 2008
  • From: Shandar Ahmad
• [PVS] [Researchers] IEEE Globecom 2008: Ad Hoc,Sensor and Mesh Networking Symposium
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] CFP: DTVCS 2008 - Design,Testing and Formal Verification Techniques for IntegratedCircuits and Systems
  • From: SS DATICS
• [PVS] CFP: 2nd European Conference on Software Architectures (ECSA2008)
  • From: Announcements
• [PVS] Last CFP HotEmNets'08 - 2 weeks left
  • From: Radu Stoleru
• [PVS] Call For Papers: CS and CE Conferences - July 2008, USA,WORLDCOMP'08 (deadline: Feb. 25, 2008)
  • From: Hamid R. Arabnia
• [PVS] CFP - 1st International Workshop on FUTURE MULTIMEDIANETWORKING =?utf-8?b?KEZNTsK0MDgpLA==?= IEEE Co-Sponsorship
  • From: Sam Owre
• [PVS] SIMA 2008 CFP
  • From: Adam Stotz
• [PVS] Biomarkers Conference 2008
  • From: Justyna Drozdzal - VisiongainLtd
• [PVS] [ICSEng'08] ICSEng 2008, Las Vegas, USA, August 19-21,2008: Call For Papers
  • From: ICSEng 2008
• [PVS] WoLLIC 2008 - DEADLINE APPROACHING: Feb 24th
  • From: ruy
• [PVS] LFMTP'08 call for papers
  • From: Andreas Abel
• [PVS] [SASO 2008] Call for Papers SASO 2008
  • From: saso-list
• [PVS] CFP: IWACO 2008
  • From: David . Clarke
• [PVS] Symbolic Computation and Cryptography 2008 - Second Call forPapers
  • From: scc08
• [PVS] Biomarkers Conference
  • From: Natalia
• [PVS] Four days left: ICIMP 08 | ICDT 08 | CTRQ 08 | BIOTECHNO 08 |June 29 - July 5, Bucharest - Romania
  • From: IARIA Invitation
• [PVS] [DSD08] 11th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN -CALL FOR PAPERS
  • From: Luca Fanucci
• [PVS] An Important Reminder - SEKE 2008 Int'l Conference Call ForPaper
  • From: sekeconf
• [PVS] TPHOLs 2008 (LAST CALL FOR PAPERS)
  • From: Otmane Ait Mohamed
• [PVS] CFP: VERIFY'08 - 5th International Verification Workshop
  • From: Bernhard Beckert
• [PVS] Call for Participation RELMICS10/AKA5
  • From: =?iso-8859-15?q?Bernhard_M=F6ller?=
• [PVS] SFM-08:Bio -- second call for participation
  • From: Marco Bernardo
• [PVS] MKM'08: Second Call for Papers
  • From: Serge Autexier
• [PVS] 1st CFP: IEEE/WIC/ACM IAT'08 (Sydney, Australia, Dec.9-12)
  • From: WI-IAT08
• [PVS] Draft paper submission deadline is just few days from now:MULTICONF-08
  • From: John E. Edward
• [PVS] [qest-announce] CFP: Workshop UKPEW 2008
  • From: Jeremy Bradley
• [PVS] IMLA'08: Call for Papers
  • From: Aleks Nanevski
• [PVS] Call for Papers: Formal Aspects of Virtual Organisations
  • From: Jeremy Bryans
• [PVS] CFP: MICAI 2008: Artifiical Intelligence, Mexico,Springer LNAI.
  • From: Alexander Gelbukh \(MICAI-2008\)
• [PVS] [EUROSIS-AD] ISC'2008, June 9-11, 2008, Universite de Lyon,France, SUBMISSION DEADLINE COMING UP
  • From: info
• [PVS] [CIBCB] Special Session on Ecoinformatics at CIBCB 2008
  • From: cibcb
• [PVS] [qest-announce] SpeciaI Issue of Computer Networks on TrafficClassification
  • From: Antonio Pescape'
• [PVS] TTVSI call for participation, registration, and posters
  • From: Konrad Slind
• [PVS] AMAST'08 : Final CFP
  • From: Grigore Rosu
• [PVS] PPDP'08: Call for Papers
  • From: Elvira Albert
• [PVS] [ISBRA-L] ISBRA 2008 Call for Posters in Bioinformatics
  • From: ISBRA Symposium Announcements
• [PVS] CALL FOR BIDS (TPHOLs'2009)
  • From: Otmane Ait Mohamed
• [PVS] Draft paper submission deadline is extended: HPCNCS-08
  • From: John Edward
• [PVS] PLACES'08 - Call for papers
  • From: Vasco T. Vasconcelos
• [PVS] CFP: 5th Workshop on Model Checking and AI
  • From: Doron Peled
• [PVS] CP 2008 - Call for Workshops
  • From: Sebastian Brand
• [PVS] 1st CFP: IEEE/WIC/ACM WI'08 (Dec. 9-12, Sydney, Australia)
  • From: WI-IAT07
• [PVS] Biomarkers Conference 2008
  • From: Justyna Drozdzal - VisiongainLtd
• [PVS] [WODA08] CFP - International Workshop on Dynamic Analysis(WODA 2008)
  • From: Atanas Rountev
• [PVS] Calculemus 2008: Second Call for Papers.
  • From: Freek Wiedijk
• [PVS] Post-doc position: National Institute of Aerospace (NIA)
  • From: Radu I. Siminiceanu
• [PVS] CFP HotEmNets'08 - please note - 4 weeks left
  • From: Radu Stoleru
• [PVS] Call for papers ICTAC 2008
  • From: tase08
• [PVS] CFP: IEEE ICCI'08 Deadline Extended (Cognitive Informatics atStanford Univ.)
  • From: Dr. Yingxu Wang
• [PVS] Structural Operational Semantics 2008 - CFP
  • From: Bartek Klin
• [PVS] Call For Papers: Computer Science & Computer EngineeringConferences - July 2008, USA, WORLDCOMP'08
  • From: Hamid R. Arabnia
• [PVS] Extended deadline for SSIRI 2008 paper submission
  • From: =?gb2312?b?U1NJUkkgMjAwOA==?=
• [PVS] [Researchers]12th IEEE/ACM DS-RT´2008 - Vancouver, Canada - 27-29/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] MTCoord 2008 - CFP
  • From: Isabelle Linden
• [PVS] IJCAR, last Call for Papers
  • From: geoff
• [PVS] Erice School on "Graph Theory, Algorithms and Applications"
  • From: Giuseppe F. Italiano
• [PVS] Deadline extended!
  • From: IIS'08 Conference
• [PVS] IEEE WETICE "Knowledge Coordination": Invitation for Papers
  • From: Manfred Bortenschlager
• [PVS] AISC-08: Second Call for Papers
  • From: Volker Sorge
• [PVS] LFM 2008 Call for Abstracts and Invitation to Register
  • From: Di Vito, Ben
• [PVS] International Conference on Data Mining (DMIN'08), Las Vegas
  • From: Sven F. Crone
• [PVS] Two days left: ICIW 2008 || AICT 2008 || June 8-13,2008 - Athens, Greece
  • From: IARIA Invitation
• [PVS] PhD position available at the CLIP group, UPM, Spain
  • From: scube-phd-grants
• [PVS] SMT 2008: CFP
  • From: Clark Barrett
• [PVS] HPCNCS-08 Final call for papers
  • From: John Edward
• [PVS] AIPR-08 Final Call for papers
  • From: John E. Edward
• [PVS] [Researchers] 11th ACM/IEEE MSWiM - Vancouver,Canada - 26-30/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [qest-announce] 2nd CFP QEST2008
  • From: Nihal PEKERGIN
• [PVS] ICTAC call for papers
  • From: Jeremy Bryans
• [PVS] CFP: DATICS 2008 - Design,Analysis and Tools for Integrated Circuits and Systems
  • From: SS DATICS
• [PVS] IIS 2008 CfP, Last reminder!
  • From: IIS'08 Conference
• [PVS] CALL FOR PAPERS: FBTC 2008
  • From: Nicola Cannata
• [PVS] Deadline extension, January 30 || ICIW 2008 || AICT 2008
  • From: IARIA Invitation
• [PVS] ITIB'08 (2nd CALL) Conference on Information Technologies inBiomedicine
  • From: ITIB Conference
• [PVS] WoLLIC 2008 - Call for Papers
  • From: ruy
• [PVS] CFP HotEmNets'08 - please note - 6 weeks left
  • From: Radu Stoleru
• [PVS] TPHOLs 2008 (Second Call for Papers)
  • From: Otmane Ait Mohamed
• [PVS] [Submission deadline extended: January 30] CFP Med-Hoc-Net2008: 7th IFIP Mediterranean Ad Hoc Networking Workshop
  • From: MedHocNet 2008
• [PVS] CFP: 1st IEEE Workshop CORCS 2008 in conjunction with COMPSAC2008
  • From: Cristina Seceleanu
• [PVS] Final Call for Papers----IIP2008(International Conference onIntelligent Information Processing 2008)
  • From: =?gb2312?b?1cW088X0?=
• [PVS] 2d IEEE Workshop REFS in conjunction with COMPSAC
  • From: Selmin Nurcan
• [PVS] Call for Papers: The 2008 International Conference on DataMining (DMIN'08), USA, July 2008
  • From: Data Mining
• [PVS] Tools and Techniques for Verification of SystemInfrastructure (Call for posters)
  • From: Konrad Slind
• [PVS] AiML-2008: Second Call for Papers
  • From: Carlos Areces
• [PVS] QAPL 2008 Call for Presentations
  • From: QAPL 2008
• [PVS] 3rd SIPTA School on Imprecise Probabilities: 1st announcement
  • From: Alessandro Antonucci
• [PVS] DEADLINE EXTENSION - SAS 2008
  • From: German Vidal
• [PVS] MULTICONF-08 Final call for papers
  • From: Peter Williams
• [PVS] Final Call for papers TASE2008
  • From: tase08
• [PVS] CFP: UITP'08 - User Interfaces for Theorem Provers
  • From: Christoph Benzmueller
• [PVS] CP'08: Call for Papers
  • From: Sebastian BRAND
• [PVS] [models08] MODELS 2008 First call for contributions
  • From: benoit . baudry
• [PVS] Call for papers: SSIRI 2008 - An IEEE Conference on SecureSoftware & Reliability
  • From: =?gb2312?b?U1NJUkkgMjAwOA==?=
• [PVS] SFM-08:Bio -- Computational Systems Biology school
  • From: Marco Bernardo
• [PVS] 32 days to go until TOOLS Europe submission deadline
  • From: Philippe . LAHIRE
• [PVS] CMCS 2008: Final call for papers
  • From: Clemens
• [PVS] Call for papers TASE2008
  • From: tase08
• [PVS] [fomi2008] FOMI 2008: extended deadline
  • From: daniele radicioni
• [PVS] WADT 2008 - Call for Papers
  • From: Andrea Corradini
• [PVS] CFP - The 1st International Workshop on Bit-Precise Reasoning(BPR 2008)
  • From: Workshop BPR
• [PVS] CiE08 - Extended Deadline
  • From: Arnold Beckmann
• [PVS] [ISBRA-L] ODGEA08 -- submission deadline extended to Jan. 14,2008
  • From: ISBRA Symposium Announcements
• [PVS] ICLP'08 CALL FOR PAPERS
  • From: ICLP 08
• [PVS] ICE'08: First Call for Papers
  • From: Ichiro Hasuo
• [PVS] 2nd Call for Papers - IIS 2008
  • From: IIS'08 Conference
• [PVS] (EC)^2: Call for Position Papers
  • From: EC2
• [PVS] PEPM 2008 Call For Participation -- ACM SIGPLAN Workshop onPartialEvaluation and Semantics-Based Program Manipulation (with POPL 2008)
  • From: John Hatcliff
• [PVS] Call for papers TASE2008
  • From: tase08
• [PVS] Postdoc Opening in Nancy (France)
  • From: Claire Gardent
• [PVS] [ISBRA-L] ODGEA08 CFP -- Submission deadline Jan. 2, 2008
  • From: ISBRA Symposium Announcements
• [PVS] ITIB'08 Conference on Information Technologies in Biomedicine
  • From: ITIB Conference
• [PVS] CFP TASE2008
  • From: tase08
• [PVS] MPC 2008: SECOND CALL FOR PAPERS
  • From: Christine Paulin
• [PVS] CiE08 - Final Call for Papers
  • From: Arnold Beckmann
• [PVS] Symbolic Computation and Cryptography 2008
  • From: scc08
• [PVS] TSD 2008 Preliminary announcement
  • From: TSD 2008
• [PVS] CFP: CIA 2008 - 12th International Workshop on CooperativeInformation Agents
  • From: Matthias Klusch
• [PVS] Call for Contributions RE'08
  • From: Selmin Nurcan
• [PVS] Call For Papers: WORLDCOMP'08 - Computer Science andEngineering Conferences, USA, July 2008.
  • From: Hamid R. Arabnia
• [PVS] Announcement of LEO-II
  • From: Christoph Benzmueller
• [PVS] [ISBRA-L] Final Call for Papers in Bioinformatics
  • From: ISBRA Symposium Announcements
• [PVS] FW: Call for Papers: PLAS 2008
  • From: PLAS2008
• [PVS] CAV Award: Call for Nominations
  • From: Aarti Gupta
• [PVS] CAV 08: 2nd Call for Papers
  • From: Aarti Gupta
• [PVS] ACA 2008: Call for Sessions
  • From: ACA 2008
• [PVS] ICIMP 2008 || BIOTECHNO 2008 || June 29 - July 5,2008 - Bucharest, Romania
  • From: IARIA Invitation
• [PVS] CONCUR 08: call for papers
  • From: CONCUR 08
• [PVS] CSR 2008: Last Call for Papers - deadline extended!
  • From: Yuri Pritykin
• [PVS] WRS 2008 - 1st Call for Papers
  • From: aart . middeldorp
• [PVS] CFP: RV'08 EXTENDED DEADLINE
  • From: Martin Leucker
• [PVS] [ISBRA-L] ODGEA08 Call For Papers
  • From: ISBRA Symposium Announcements
• [PVS] [fomi2008] FOMI 2008 - Formal Ontologies Meet Industry -Second Call for Papers
  • From: daniele radicioni
• [PVS] Call for Papers: Verified Software: Theories, Tools,and Experiments 2008
  • From: Richard Paige
• [PVS] WGT 2008 Final Call for Papers
  • From: Workshop on Generative Technologies
• [PVS] (no subject)
  • From: paige
• [PVS] PADL'08: Call for Participation (Early Reg. Deadline: Dec 13)
  • From: Gopal Gupta
• [PVS] PADL'08: Call for Participation (Early Reg. Deadline: Dec 13)
  • From: Gopal Gupta
• [PVS] Final CFP: MBT 2008, Fourth Workshop on Model-Based Testing,deadline extended to December 20, 2007
  • From: mbt2008
• [PVS] [ICSEng'08] ICSEng 2008, Las Vegas, USA, August 19-21,2008: Call For Papers
  • From: ICSEng 2008
• [PVS] Final CFP - spec. issue of MCS on Management of MathematicalKnowledge (deadline 15 December 2007)
  • From: Manfred Kerber
• [PVS] [ISBRA-L] ISBRA 2008 Call for Papers in Bioinformatics
  • From: ISBRA Symposium Announcements
• [PVS] [ICSEng'08] ICSEng 2008, Las Vegas, USA, August 19-21,2008: Call For Papers
  • From: ICSEng 2008
• [PVS] CfPart: 3rd Int'l Workshop on Automated Specification andVerification of Web Systems (WWV'07)
  • From: demis
• [PVS] [qest-announce] Special issue of IEEE of TSE on QuantitativeEvaluation of Computer Systems
  • From: Marta Kwiatkowska
• [PVS] Global postdoc network..
  • From: PostDoc Scientist
• [PVS] DAIS 2008: 2nd Call for Papers
  • From: =?iso-8859-15?q?Hartmut_K=F6nig?=
• [PVS] Developer Positions in the Embedded System Unit of FondazioneBruno Kessler
  • From: Marco Roveri
• [PVS] QAPL 2008 Second Call for Papers
  • From: QAPL 2008
• [PVS] SPIN 2008: First Call for Papers
  • From: Susanne Graf
• [PVS] IJCAR Call for Papers, and Workshop and Tutorial Proposals
  • From: geoff
• [PVS] EXTENDED DEADLINE for UML&AADL'2008 CfP : December, 7
  • From: Isabelle Perseil
• [PVS] Post-Doc Positions available at Service-Oriented ApplicationsUnit - FBK - Trento, Italy
  • From: jobs
• [PVS] MKM'08: First Call for Papers and Workshops
  • From: Serge Autexier
• [PVS] CFP: AAAI-08 Nectar Program
  • From: Haakan Younes
• [PVS] FinalCFP: RV'08 - Runtime Verification
  • From: Martin Leucker
• [PVS] WRLA'08 - Final CFP
  • From: Rosu, Grigore
• [PVS] lCall for Papers: TFIT 2008
  • From: Susanne Graf
• [PVS] Call for Papers: SafeCert with ETAPS 2008
  • From: Susanne Graf
• [PVS] TAMC 2008: extension of submission deadline
  • From: S B Cooper
• [PVS] WGT 2008 Second Call for Papers
  • From: Workshop on Generative Technologies
• [PVS] ICIW 2008 || AICT 2008 || June 8-13, 2008 - Athens, Greece
  • From: IARIA Invitation
• [PVS] CMS Winter 2007 Meeting: Computer Algebra Session
  • From: cms2007
• [PVS] SCORE: Student COntest in SoftwaRe Engineering (ICSE 2009)
  • From: events-admin
• [PVS] CSR 2008: Second Call for Papers
  • From: Yuri Pritykin
• [PVS] FMOODS 2008: 2nd call for papers
  • From: M.M. Bonsangue
• [PVS] Tools and Techniques for Verification of SystemInfrastructure (Announce)
  • From: Konrad Slind
• [PVS] FOAL2008 call for papers
  • From: katz
• [PVS] CFP - 6th W. on Modelling, Simulation,Verification and Validation of EIS
  • From: J Augusto
• [PVS] ISBRA 2008 Call for papers in Bioinformatics
  • From: bioinformatics
• [PVS] Calculemus 2008: First Call for Papers
  • From: Freek Wiedijk
• [PVS] [qest-announce] CFP QEST08
  • From: Nihal PEKERGIN
• [PVS] [DSD08] 11th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN -CALL FOR PAPERS
  • From: Luca Fanucci
• [PVS] Call for Papers - IIS 2008
  • From: IIS'08 Conference
• [PVS] Last Call for papers RCIS'08
  • From: Selmin Nurcan
• [PVS] FM'08: Final call for tutorials and workshops
  • From: events-admin
• [PVS] Call for Papers: ACSD 2008 - Xian, China
  • From: maciej koutny
• [PVS] Call for Workshop Proposals - DisCoTec 2008
  • From: =?iso-8859-15?q?Hartmut_K=F6nig?=
• [PVS] IIP2008 (call for paper)
  • From: iip2008
• [PVS] WoLLIC 2008 - Call for Papers
  • From: ruy
• [PVS] Call For Papers: WORLDCOMP'08; 25 Int'l Joint Conferences inComputer Science, July 2008, USA
  • From: Hamid R. Arabnia
• [PVS] TPHOLs 2010: Vote Result
  • From: Laurent Théry
• [PVS] CFP FICS 2008
  • From: Huibiao Zhu
• [PVS] Final Call for Participation (KSEM-07)
  • From: Dongmo Zhang
• [PVS] Last days to submit: ICN 2008 || ICONS 2008 || Cancun, Mexico,April 13-18, 2008
  • From: IARIA Invitation
• [PVS] TPHOLs 2008 (call for papers)
  • From: TPHOLs 2008 Organizers
• [PVS] CFP TASE 2008
  • From: Huibiao Zhu
• [PVS] EISWT-08 Call for papers
  • From: John E. Edward
• [PVS] A Position in Theoretical Computer Science in Braunschweig
  • From: Jiri Adamek
• [PVS] RISE 2007 PROGRAM & CALL FOR PARTICIPATION
  • From: Nicolas Guelfi
• [PVS] ISBRA'08 Call for papers in Bioinformatics
  • From: Bioinformatics . Symposium
• [PVS] Ph.D. in Symbolic Computation at RISC-Linz
  • From: Guenter Landsmann
• [PVS] AISC-08: First Call for Papers
  • From: Volker Sorge
• [PVS] FLAIRS 2008: AI Planning and Scheduling Special Track
  • From: Hana Rudova
• [PVS] REMAINDER: TPHOLs 2010: Call for Votes
  • From: Laurent Théry
• [PVS] CMCS 2008: First call for papers
  • From: Clemens
• [PVS] ECOOP 2008 Call for Workshops
  • From: Patrick Eugster
• [PVS] call for paper
  • From: =?gb2312?q?=C2=ED=D1=DE=B7=BC?=
• [PVS] CONCUR 2008 Call for Workshop Proposals
  • From: Richard Trefler
• [PVS] QAPL 2008 Call for Papers
  • From: QAPL 2008
• [PVS] Postdoc position available at Taiwan
  • From: Farn
• [PVS] 1st CFP: IEEE CIBCB 2008
  • From: ieeecibcb2008
• [PVS] [qest-announce] D.Phil studentship at Oxford: PSS project
  • From: Marta Kwiatkowska
• [PVS] FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS: FinalCfP
  • From: events-admin
• [PVS] Call for Papers: TAP 2008 (NEW SUBMISSION DEADLINES)
  • From: Christoph Gladisch
• [PVS] Call for Papers: SSIRI 2008
  • From: =?gb2312?b?U1NJUkkgMjAwOA==?=
• [PVS] CEC'08 Special Session in Bioinformatics and ComputationalBiology
  • From: Ngom Alioune
• [PVS] Call for Papers: TOOLS Europe 2008
  • From: Philippe . LAHIRE
• [PVS] New deadine, November 16, ICONS 2008 || ICN 2008 || Cancun,Mexico, April 13-18, 2008
  • From: IARIA Invitation
• [PVS] CMCS 2008: First call for papers
  • From: Clemens Kupke
• [PVS] AFM07 Schedule
  • From: Sam Owre
• [PVS] FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS: FinalCfP
  • From: events-admin
• [PVS] Positions in EU FP7 project at CWI, Amsterdam
  • From: Farhad Arbab
• [PVS] Call for CAV Award Nominations (CAV 2008)
  • From: Aarti Gupta
• [PVS] CHINA 2008 Workshop 1st CfP
  • From: Jetty Kleijn
• [PVS] 2nd CFP - spec. issue of MCS on Management of MathematicalKnowledge (deadline 15 December 2007)
  • From: Manfred Kerber
• [PVS] CONCUR 2008 Call for Workshop Proposals
  • From: Richard Trefler
• [PVS] Postdoc Position at Queen's University in Foundations of MDD
  • From: Juergen Dingel
• [PVS] First CFP: Advances in Modal Logic, 9-12 September 2008, LORIA,Nancy, France
  • From: Carlos Areces
• [PVS] CFP: IEEE COMPSAC 2008
  • From: Cristina Seceleanu
• [PVS] CFP: IEEE COMPSAC 2008
  • From: Cristina Seceleanu
• [PVS] Call for papers: Coalgebra & Logic
  • From: ILLC
• [PVS] [qest-announce] Hot-P2P 2008: deadline extended to Nov 10
  • From: Marina Ribaudo
• [PVS] TPHOLs 2010: Call for Votes
  • From: Laurent Théry
• [PVS] TAMC 2008, Xi'an, China - Final call for papers
  • From: S B Cooper
• [PVS] CSR 2008: First Call for Papers
  • From: Yuri Pritykin
• [PVS] DAMP2008 Decl. Aspects of Multicore Prog,- *extended* deadline Oct31
  • From: Manuel Hermenegildo
• [PVS] ICONS 2008 || ICN 2008 || Cancun, Mexico, April 13-18, 2008
  • From: IARIA Invitation
• [PVS] BCBGC-08 Call for papers
  • From: John E. Edward
• [PVS] CFP: 5th Worskhop on "Methods for Modalities" (M4M-5)
  • From: Carlos Areces
• [PVS] QAPL 2008 Call for Papers
  • From: QAPL 2008
• [PVS] DAMP2008 Declarative Aspects of Multicore Programming -Deadline Oct26
  • From: Manuel Hermenegildo
• [PVS] UML&AADL'2008 : CALL FOR PAPERS
  • From: Isabelle Perseil
• [PVS] Research Engineer position at Verimag
  • From: Susanne Graf
• [PVS] FLAIRS 2008: AI Planning and Scheduling Special Track
  • From: Hana Rudova
• [PVS] Call for Papers: ICA3PP-2008
  • From: George A. Papadopoulos
• [PVS] IEEE BIBM 07 Call for Participation
  • From: Tony Hu
• [PVS] ICFP 2008 Call for Workshop Proposals
  • From: Michael Sperber
• [PVS] CFP: MBT 2008 Fourth Workshop on Model-Based Testing at ETAPS2008
  • From: mbt2008
• [PVS] IEEE ISQED 2008 Call for Papers
  • From: Lech Jozwiak
• [PVS] Call for papers: Coalgebra & Logic
  • From: Peter van Ormondt
• [PVS] WGT 2008 Call for Papers
  • From: Workshop on Generative Technologies
• [PVS] ARCS-08 Call for papers
  • From: John E. Edward
• [PVS] Last Day for Submissions: ICAS 2008 & ICNS 2008 || March16-21, 2008 - Gosier, Guadeloupe
  • From: IARIA Invitation
• [PVS] Developer position in Terminator/SLAyer project atMSR-Cambridge
  • From: Byron Cook
• [PVS] [fomi2008] FOMI 2008 - First Announcement and Call for Papers
  • From: daniele radicioni
• [PVS] CFP: TAP 2008 - The Second International Conference on Testsand Proof
  • From: Bernhard Beckert
• [PVS] CFP: WOSP 2008,7th ACM Int. Workshop on Software and Performance
  • From: Murray Woodside
• [PVS] CFP - DAMP 2008 - Declarative Aspects of Multicore Programming
  • From: Manuel Hermenegildo
• [PVS] IJCAR Call for Papers, and Workshop and Tutorial Proposals
  • From: geoff
• [PVS] Fundamenta Informaticae / Special issue / Machines,Computations and Universality
  • From: Jérôme DURAND-LOSE
• [PVS] MACIS 2007 - CALL FOR PAPERS
  • From: MACIS 2007
• [PVS] FLOPS 2008 - Final CFP - Deadline: Oct 10 / Oct 17 (extended!)
  • From: Manuel Hermenegildo
• [PVS] Extended submission deadlnie: FOOL2008
  • From: Atsushi Igarashi
• [PVS] AFM07 Call for Participation
  • From: Sam Owre
• [PVS] 2nd CFP: 3rd Int'l Workshop on Automated Specification andVerification of Web Systems (WWV'07)
  • From: demis
• [PVS] PEPM 2008: abstracts due Oct 12
  • From: Oege . de . Moor
• [PVS] 2 PhD positions in Formal Methods at University of Oslo,Deadline: 1. November
  • From: Martin Steffen
• [PVS] ICSSEA 2007 - Software & Systems Engineering and theirApplications
  • From: Jean-Claude RAULT
• [PVS] MPC 2008: FIRST CALL FOR PAPERS
  • From: Christine Paulin
• [PVS] [qest-announce] Hot-P2P 2008: Call for Papers
  • From: Marina Ribaudo
• [PVS] [Final CFP] FOOL2008
  • From: Atsushi Igarashi
• [PVS] CFP: JOURNAL OF LOGIC, LANGUAGE AND INFORMATION
  • From: Carlos Areces
• [PVS] final CFP ESOP 2008 - abstract due 5th October
  • From: Sophia Drossopoulou
• [PVS] [Researchers] I2TS'2007 - 6th International Information andTelecommunication Technologies Symposium
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Deadline Extension: ICAS 2008 || ICNS 2008 , March 16-21,2008 - Gosier, Guadeloupe
  • From: IARIA Invitation
• [PVS] AFM07 Call for Participation
  • From: Sam Owre
• [PVS] [Researchers]I2TS'2007 -Brasília, DF, Brazil, December 12-14, 2007
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Call for papers CAISE'08
  • From: Selmin Nurcan
• [PVS] AIPR-08: Call for papers
  • From: Bhanu Prasad
• [PVS] [qest-announce] CFP: RV'08
  • From: Martin Leucker
• [PVS] DCoSS Conference CFP
  • From: M. Cristina Pinotti
• [PVS] =?windows-1252?q?CISP_2008_=96_Sanya=2C_China=3A_Deadline_?==?windows-1252?q?10_November?=
  • From: chun xue
• [PVS] ECOOP 2008 Call for Papers
  • From: David . Clarke
• [PVS] ARTIST2 meeting on IMA (Integrated Modular Avionics) --November 12-13, Rome
  • From: Susanne Graf
• [PVS] [qest-announce] Special issue of IEEE of TSE on QuantitativeEvaluation of Computer Systems
  • From: Marta Kwiatkowska
• [PVS] Call For Submissions : ICAS 2008 || ICNS 2008 , March 16-21,2008 - Gosier, Guadeloupe
  • From: IARIA Invitation
• [PVS] Data Mining - CfP Special Issue Annals of Information Systems
  • From: Data Mining CfP
• [PVS] Postdoctoral position in quantitative verification at Oxford
  • From: Marta Kwiatkowska
• [PVS] ECOOP 2008 Call for Papers
  • From: George A. Papadopoulos
• [PVS] FLOPS 2008 - Second Call for Papers - Deadline: October 10
  • From: flops2008
• [PVS] [Researchers]I2TS'2007 - Brasília, DF, Brazil, December 12-14, 2007
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] DAIS 2008: 1st call for papers
  • From: Joachim Paschke
• [PVS] FMCAD 2007 Early Registration
  • From: jasonb
• [PVS] FLOPS 2008 - Second Call for Papers - Deadline: October 10
  • From: flops2008
• [PVS] FLOPS 2008 - Second Call for Papers - Deadline: October 10
  • From: flops2008
• [PVS] CfP SAT08
  • From: Theodor Lettmann
• [PVS] ICFEM 2007: Call for Participation
  • From: Michael Butler
• [PVS] CfP: MOMPES 2008 (published by IEEE CS Press)
  • From: Ricardo Jorge Silvério Magalhães Machado
• [PVS] Welcome to Language and Technology Conference (LTC'07)
  • From: Language and Technology Conference
• [PVS] FMOODS 2008: 1st call for papers
  • From: M.M. Bonsangue
• [PVS] IEEE ICTAI-2007: Programme is available
  • From: Spiros Sirmakessis
• [PVS] 1st CFP: 3rd Int'l Workshop on Automated Specification andVerification of Web Systems (WWV'07)
  • From: Demis
• [PVS] FLAIRS 2008: AI Planning and Scheduling Special Track
  • From: Hana Rudova
• [PVS] CFP: RV'08
  • From: Martin Leucker
• [PVS] Deadline Extension : ACHI 2008 || ICDS 2008 || ICQNM 2008 ||February 10-15, 2008 - St. Luce, Martinique
  • From: IARIA Invitation
• [PVS] WI-IAT'07: Call for Participation
  • From: WI-IAT07
• [PVS] RISE 2007 - FINAL NOTICE, DEADLINE EXTENSION
  • From: Nicolas Guelfi
• [PVS] 1st CFP - spec. issue of MCS on Management of MathematicalKnowledge (deadline 15 December 2007)
  • From: Manfred Kerber
• [PVS] FOOL2008: 2nd Call for papers
  • From: Atsushi Igarashi
• [PVS] CAV 2008: Call for Papers
  • From: Aarti Gupta
• [PVS] Call For Submissions || ICAS 2008 || ICNS 2008 || March 16-21, 2008- Gosier, Guadeloupe
  • From: IARIA Invitation
• [PVS] PEPM 2008: abstracts due Oct 12
  • From: Oege . de . Moor
• [PVS] CAV 2008: Call for Workshops
  • From: Aarti Gupta
• [PVS] CiE 2008 - 1st Call for Papers
  • From: Arnold Beckmann
• [PVS] Associate Professor Position in Formal Methods at theUniversity of Oslo, Norway
  • From: Einar Broch Johnsen
• [PVS] PVS Training Class -- NASA/NIA -- November 27-3, 2007
  • From: Butler, Ricky W. (LARC-D320)
• [PVS] CFP: BIBE 2007