PVS Mail Index (by thread)

• Date Index

• Automated PVS List, Dave Stringer-Calvert
• Summary of generic verified refinement steps, Kellom{ki Pertti
• PVS and library functions, Eyal Amir
• client access to PVS system., Dr Andrew A. Adams
  • Re: client access to PVS system., Kai Engelhardt
• representing reals, Richard Botting
  • Re: representing reals, R . W . Butler
    • Re: representing reals, Bruno Dutertre
• new PVS papers available, John Rushby
• Proof assistant needed for non-linear arithmetic, Ricky W. Butler
  • Re: Proof assistant needed for non-linear arithmetic, Harald Ruess
• Re: SPAM on pvs email list, Dave Stringer-Calvert
• PVS Version 2.2 now available, Sam Owre
  • Re: PVS Version 2.2 now available, Wishnu Prasetya
• PVS 2.2 now available on mirror sites, Dave Stringer-Calvert
• Book: "Theorem Proving with the Real Numbers", John Harrison
• Re: remove, Saddek Bensalem
• Re: Using PVS to help teach logic (fwd), Mark Lawford
  • <Possible follow-ups>
  • Re: Using PVS to help teach logic (fwd), Mark Lawford
• PVS Batch Mode, Min Jing
  • Re: PVS Batch Mode, Dave Stringer-Calvert
• Spam on the PVS lists, John Rushby
• SPAM on PVS mailing list, Dave Stringer-Calvert
• How to get err status in PVS batch mode, Min Jing
• Promoting Formal Methods (fwd), Dilia E. Rodriguez
• PVS mailing list - now moderated, Dave Stringer-Calvert
• Establishing a RAILWAY SOFTWARE INTEREST GROUP E-MAIL ADDRESS LIST, Dines Bjorner
• Safety and formal methods, Robin Bloomfield
  • <Possible follow-ups>
  • Safety and formal methods, Robin Bloomfield
• Proof General --- Version 2.0 release, Thomas Kleymann
• SGM v1.1 Released, Pao-Ann Hsiung
• Report on verification of unknown number of processes, Farn Wang
• PVS 2.2 for Solaris 7, Dave Stringer-Calvert
• Literature on parametric theories, Kellom{ki Pertti
• PVS User Group and Tutorial at FM'99 - Programme, Dave Stringer-Calvert
• New PVS License Agreement, Dave Stringer-Calvert
• No Subject, Laurent Thery
  • <Possible follow-ups>
  • No Subject, Prototype Verification System
  • No Subject, Harald Ruess
• Suppose caml or ML had unification ...., Steve Stevenson
• Announcing PVS Version 2.3, Dave Stringer-Calvert
• Proof General --- Version 3.0 release, David Aspinall
• PVS 2.3 patches available, Sam Owre
• well foundedness properties, Paul Y Gloess
  • Re: well foundedness properties, Lawrence C Paulson
• Strange problems, Kellom{ki Pertti
  • Re: Strange problems, Harald Ruess
    • Re: Strange problems, Kellom{ki Pertti
  • Re: Strange problems, Paul Y Gloess
• New libraries available, Paul Y Gloess
• asynchronous message passing examples?, Felix Gaertner
• K_conversion, Bart Jacobs
  • Re: K_conversion, Sam Owre
    • Re: K_conversion, Paul S. Miner
  • Re: K_conversion, Kellomaki Pertti
  • Re: K_conversion, Hendrik Tews
• PhD STUDENTSHIP available, Jacques Fleuriot
• rewriting lemmas, Marcelo Glusman
• Type-correctness conditions in HOL, Joe Hurd
  • Re: Type-correctness conditions in HOL, Hendrik Tews
• TCC's, Ralph D. Jeffords
  • Re: TCC's, Hendrik Tews
  • <Possible follow-ups>
  • Re: TCC's, Ralph D. Jeffords
• AMN-PROOF Tool, Andrew Adams
• IMPORTING in PVS, Kellomaki Pertti
• Instantiation hints, Kellom{ki Pertti
  • Re: Instantiation hints, Sam Owre
    • Re: Instantiation hints, Kellomaki Pertti
  • <Possible follow-ups>
  • Re: Instantiation hints, Victor A. Carreno
• Instantiations, Kellom{ki Pertti
• Boolean predicate to function, Andre Renaud
  • Re: Boolean predicate to function, Dave Stringer-Calvert
• Three letter name space is getting crowded, Pertti Kellomäki
  • <Possible follow-ups>
  • Re: Three letter name space is getting crowded, William Nico
• New book: Handbook of Process Algebra, Alban Ponse
• Enum types as theory parameters?, Pertti Kellomäki
  • Re: Enum types as theory parameters?, Dave Stringer-Calvert
• Re: Predicate subtypes, Marieke Huisman
  • <Possible follow-ups>
  • Re: Predicate subtypes, Mark Lawford
• Help needed for learning PVS, Indrajit Chakrabarti
• More questions about predicate subtypes, Kellom{ki Pertti
  • Re: More questions about predicate subtypes, Hendrik Tews
• paperback announcement: Categorical Logic and Type Theory, Bart Jacobs
• Re: PVS Course Materials, Sylvan S. Pinsky
  • Re: PVS Course Materials, Mark Lawford
• PVS 2.4 patchlevel 1, Sam Owre
• tool announcement, RED 3.1 for TCTL model-checking, farn
• Manipulation strategies available, Ben L. Di Vito
• Re: PVS on Mac? (no answer, just showing interest), Tom Verhoeff
• Re: PVS on Mac?, david . cok
• What comes after PVS?, John Rushby
  • Re: What comes after PVS?, Pertti Kellomäki
  • <Possible follow-ups>
  • Re: What comes after PVS?, Harald Ruess
• Call for Participation: ISSRE 2002 Student Program, Timothy K. Tsai
• A question (sorry if repeated), Piotr Rudnicki
• PVS 3.0 Beta, Sam Owre
• Re: A question, Piotr Rudnicki
• Executing PVS, Pertti Kellomäki
• Re: Using the PVS ground evaluator, Sam Owre
  • Re: Using the PVS ground evaluator, Pertti Kellomäki
• Re: Grind and automatic rewrites, Sam Owre
• Field and Manip strange log messages, Ha, Vu (MN65)
• PVS 3.0, Sam Owre
• PVS Class April 22-25, 2003 in Hampton, Va., Ricky W. Butler
• Re: Logic as an implementation language, Konrad Slind
• PVS Version 3.1 now available, Sam Owre
• New versions of Manip and Field strategies, Ben Di Vito
• inst? and overloaded operators, Pertti Kellomäki
  • Re: inst? and overloaded operators, Hendrik Tews
    • Re: inst? and overloaded operators, Pertti Kellomäki
      • Re: inst? and overloaded operators, Steven Shapiro
      • Re: inst? and overloaded operators, Pertti Kellomäki
• Re: Structural induction and local names, Pertti Kellomäki
• Book announcement, boerger
• Format of the .prf files, Hendrik Tews
  • Re: Format of the .prf files, Sam Owre
• PVS on Mac ?, Michel Levy
• Release of Maude 2.0, Ambarish Sridharanarayanan
• Practicals: Programming with Tacticals, Cesar A. Munoz
• prfmerge: A script that repairs CVS merging conflicts, Michael Hohmuth
• (Update) prfmerge: A script that repairs CVS merging conflicts, Michael Hohmuth
• about the size of a set, sheng yang
  • Re: about the size of a set, Pertti Kellomäki
• Referring to PVS and PVS on Linux, Pertti Kellomäki
  • Re: Referring to PVS and PVS on Linux, Adriaan de Groot
  • Re: Referring to PVS and PVS on Linux, Christian Maeder
  • Re: Referring to PVS and PVS on Linux, Joseph Kiniry
    • Re: Referring to PVS and PVS on Linux, =?iso-8859-15?q?Pertti_Kellom=E4ki?=
  • Re: Referring to PVS and PVS on Linux, Scott L. Burson
• ProofLite Package for PVS 3.1, Cesar A. Munoz
• [PVS] Re: defining functions on equivalence classes, John R Harrison
• [PVS] Re: [Hol-info] defining functions on equivalence classes, Rob Arthan
• [PVS] defining functions on equivalence classes, Michael Norrish
• [PVS] paper: functions on equivalence classes, Larry Paulson
• [PVS] Macintosh, Marco Giorgetta
• [PVS] Theorem instances involving bound variables, Kellomäki Pertti
• [PVS] Graph algorithms, Piotr Rudnicki
  • [PVS] Re: Graph algorithms, J Strother Moore
  • [PVS] Re: Graph algorithms, Masami Hagiya
  • <Possible follow-ups>
  • [PVS] Graph algorithms, Piotr Rudnicki
• [PVS] Semi-literate specification with PVS, Pertti Kellomäki
  • Re: [PVS] Semi-literate specification with PVS, Adriaan de Groot
    • Re: [PVS] Semi-literate specification with PVS, Sam Owre
• [PVS] Survey on NASA PVS Library use, Ricky W. Butler
  • Re: [PVS] Survey on NASA PVS Library use, Adriaan de Groot
    • Re: [PVS] Survey on NASA PVS Library use, Ben Di Vito
• [PVS] Inductively defined relations in PVS?, Dan Owen
• [PVS] PVS on NOT (Linux OR Solaris), a . degroot
  • Re: [PVS] PVS on NOT (Linux OR Solaris), Sam Owre
• Re: [PVS] Verification of assembly level code, Hendrik Tews
• [PVS] PVSio: Rapid Prototyping in PVS, Cesar A. Munoz
• [PVS] Linear algebra in PVS?, Jasper Stein
• [PVS] IMPORTINGs in theory parameter list, Pertti Kellomäki
  • Re: [PVS] IMPORTINGs in theory parameter list, Cesar A. Munoz
    • Re: [PVS] IMPORTINGs in theory parameter list, Pertti Kellomäki
• [PVS] NASA Langley - NIA training course on PVS, Ben Di Vito
• [PVS] Newbie PVS question (Re: plz. answer this), Adriaan de Groot
• [PVS] Manchester newspaper - paper revealing love in your area, Roland Case
• [PVS] (no subject), Chris D. Gill
  • <Possible follow-ups>
  • [PVS] (no subject), Chris D. Gill
  • [PVS] (no subject), ajp
  • [PVS] (no subject), Guido Governatori
  • [PVS] (no subject), Peter A. Jarvis
  • [PVS] (no subject), Guido Governatori
  • [PVS] (no subject), boukerch
  • [PVS] (no subject), boukerch
  • [PVS] (no subject), A Serebrenik
  • [PVS] (no subject), paige
  • [PVS] (no subject), Samir Genaim
• [PVS] ECOOP 2005 First Workshop on Building a System Using Patterns-- Deadline extended, m . fayad
• [PVS] Call for Participation DAIS05 / Early registration deadlineapproaching, Hartmut König
• [PVS] ICALP'05: Call for Participation, Luis Caires
• [PVS] CFP: RTSS Sensor Networks Track. Deadline: May 31st, Tarek Abdelzaher
• [PVS] [verimag-news ] Call for Papers: workshop on Embedded SystemsEducation @ EMSOFT 2005, Susanne Graf
• [PVS] FCS05 call for participation, Andrei Sabelfeld
• [PVS] TPHOLs 2005 Final Call for Emerging Trends Papers, Joe Hurd
• [PVS] [esecfse05pub] RAMSS'05 Workshop (deadline 31rd May) -REMINDER, Cristóvão Oliveira
  • [PVS] [esecfse05pub] FMICS'05 SUBMISSION DEADLINE EXTENSION to MAY20, Cristóvão Oliveira
• [PVS] CALCO: 1st call for Participation, Markus Roggenbach
• [PVS] PPDP 2005 Call for Participation, Amy Felty
• [PVS] ICLP 2005 Doctoral Consortium: Call for Applications, ICLP 2005
  • <Possible follow-ups>
  • [PVS] ICLP 2005 Doctoral Consortium: Call for Applications, ICLP 2005
• [PVS] CP-AI-OR 2005: Final call for participation, Petr Vilim
• [PVS] LOPSTR'05: Extended Deadline for Full Papers, P M Hill
• [PVS] DAIS2005 final call for participation, Lea Kutvonen
• [PVS] Open PhD Position in Information Security At ETH Zurich, Paul Hankes Drielsma
• [PVS] ICFEM 2005 * Call for Workshops and Tutorials * IC FormalEngineering Methods *, Mike Poppleton
• [PVS] ATVA 2005: Final CFP (New Deadline: May 27), Yih-Kuen Tsay
• [PVS] [esecfse05pub] FMICS05 SUBMISSION DEADLINE EXTENSION to MAY 27, Cristóvão Oliveira
• [PVS] (Reminder) CFP: SAVCBS'05, Dimitra Giannakopoulou
• [PVS] Call for Papers for CICLOPS'2005, Fernando Silva
• [PVS] RTSS 2005 Middleware/SE Track deadline extended, Chris D. Gill
• [PVS] [Ecsqaru2005] ECSQARU 2005 news and Call for Participation, ecsqaru2005
• [PVS] CFV'05 Call for Papers, Miroslav Velev
• [PVS] [esecfse05pub] PASTE 2005 workshop deadline June 1, Cristóvão Oliveira
• [PVS] PhD in aspect-oriented languages, Oege de Moor
• [PVS] CADE'05:Call for participation, Brigitte Pientka
• [PVS] CFP: International Conference AUTOMATED SOFTWARE ENGINEERING, Yunwen Ye
• [PVS] Call for Participation: Workshop on Software and Performance2005 (WOSP 2005), Bondi, Andre
• [PVS] Positions available:Microsoft Research - University of TrentoCentre, Nones, Elisabetta
• [PVS] POPL 06 Call for Papers, David Walker
• [PVS] FMICS'05: Reminder - Deadline for abstracts is today!, Tiziana Margaria
• [PVS] Final Call for Participation: SAT 2005, Ian Miguel
• [PVS] [esecfse05pub] Call for Papers - Software Engineering andMiddleware, Cristóvão Oliveira
• [PVS] CfP FTP'2005 (deadline extended), Reinhold Letz
• [PVS] The 17th Nordic Workshop on Programming Theory (NWPT'05), Jesper Andersen
• [PVS] LOPSTR'05 final call for extended abstracts, P M Hill
• [PVS] Call for papers: MoveLog05, James Lipton
• [PVS] MBT 2006: Model based Testing, Bernd Finkbeiner
• [PVS] AVoCS '05 [2nd Call for Papers], Ranko Lazic
• [PVS] [ESSLLI 2006] Second Call for Course and Workshop Proposals, Carlos Areces
• [PVS] Final Call for Participation IFIP Conference DAIS05, Hartmut König
• [PVS] LOPSTR'05 new deadline for extended abstracts, P M Hill
• [PVS] 2005 IEEE ISoLA Workshop: Call for papers, Tiziana Margaria
• [PVS] recommended platform, Nancy Griffeth
  • Re: [PVS] recommended platform, Adriaan de Groot
    • Re: [PVS] recommended platform, Hendrik Tews
• [PVS] sabbatical positions: 2005-10, Carlos Martin-Vide
• [PVS] CAV 2005: Early Registration Reminder (June 8th), Sriram Rajamani
• [PVS] Overture Workshop at FM'05: Call for Participation, events-admin
• [PVS] CFV'05: Submission deadline extended till June 15, Miroslav Velev
• [PVS] ICLP 2005: Call for Posters, ICLP 2005
  • <Possible follow-ups>
  • [PVS] ICLP 2005: Call for Posters, ICLP 2005
• [PVS] Final Call for Participation: CSCLP 2005, ian miguel
• [PVS] CfP: The 5th OOPSLA Workshop on Domain-Specific Modeling, Juha-Pekka Tolvanen
• [PVS] Job opportunities in Formal Verification at Intel Haifa, Hanna, Ziyad
• [PVS] FINAL CALL FOR ESSLLI05 registration, Fairouz Kamareddine
• [PVS] SAVCBS'05 **** DEADLINE EXTENSION ****, Dimitra Giannakopoulou
• [PVS] [GDV 2005] Call for Participation, Rupak Majumdar
• [PVS] CONCUR 2005: Call for Participation, CONCUR 2005 Announcements
• [PVS] RV'05 Call for Participation, Bernd Finkbeiner
  • <Possible follow-ups>
  • [PVS] RV'05 Call for Participation, Bernd Finkbeiner
• [PVS] CSL'05 Call for Participation, Andrzej Murawski
• [PVS] FM'05: 2nd Call for Participation, events-admin
• [PVS] [esecfse05pub] ESEC/FSE'05 Call for Participation, Cristóvão Oliveira
• [PVS] CALCO: 2nd Call for Participation, Markus Roggenbach
• [PVS] ICFP 2005 - Accepted papers, Benjamin Pierce
• [PVS] FSTTCS05, S. P. Suresh
• [PVS] [ESSLLI2006] Last Call for Courses and Workshop Proposals, Carlos Areces
• [PVS] LPAR last CFP, geoff
• [PVS] SECOND Call For Papers: Workshop on Logic-based methods inProgramming Environments (in conjunction with ICLP'05), A Serebrenik
  • [PVS] FINAL Call For Papers: Workshop on Logic-based methods inProgramming Environments (in conjunction with ICLP'05), A Serebrenik
  • [PVS] NEW DEADLINE Call For Papers: Workshop on Logic-based methodsin Programming Environments (in conjunction with ICLP'05), A Serebrenik
    • [PVS] [ICLP 2006] Call for WORKSHOP proposals, A Serebrenik
• [PVS] REMINDER: ASE05 calls for Tutorial, Workshop,Doctoral Symposium and Demo are due Jun 17, Yunwen Ye
• [PVS] PMCCS-7 (satellite event of QEST'05), Horvath Andras
• [PVS] [KI-2005] Call for Participation, Jan Murray
• [PVS] The AVISPA Tool v.1.0 - Official release, AVISPA
• [PVS] Calculemus 2005 Call for Participation, William Farmer
• [PVS] DCC 2006 Call for Abstracts., Tom Melham
• [PVS] PADL 2006 -- CALL FOR PAPERS, Logic Programming Rsrch Association
• [PVS] PDPAR'05 call for participation, Alessandro Cimatti
• [PVS] SEFM 2005 Call for Participation, Wolfgang Ahrendt
• [PVS] CFP --- LPAR 2005 WS: Empirically Successful AutomatedReasoning in Higher-Order Logic (ESHOL), Christoph Benzmueller
• [PVS] SoftMC'05: Call for Participation, Willem Visser
• [PVS] CALCO-jnr 2005 - Call for Participation, Monika Seisenberger
• [PVS] Call for Papers: FACS'05 - Macao, Bernhard K. Aichernig
• [PVS] CFP: M4M-4 (Methods for Modalities 2005), Holger Schlingloff
• [PVS] CFP: IEEE inco-operated International Conference onComputational Intelligence for Modelling, Control and Automation, cimca
• [PVS] Intelligent Cybernetic Systems Journal Call For Papers, xiaochun cheng
• [PVS] PhD studentship, Probabilistic Model Checking with PRISM, Marta Kwiatkowska
• [PVS] Final CFP: Movelog'05, Alwen Tiu
• [PVS] FLoC 2006: Call For Workshop Proposals, Kreutzer + Schweikardt
• [PVS] deadline extension for PMCCS-7 (satellite event of QEST'05), Horvath Andras
• [PVS] TPHOLs 2005 Call for Participation, Joe Hurd
  • [PVS] TPHOLs 2005 Call for Participation, Joe Hurd
  • [PVS] TPHOLs 2005 Final Call for Participation, Joe Hurd
• [PVS] Postdoc positions in Distributed Model Checking, Jaco van de Pol
• [PVS] MKM 2005 Program and Final Call for Participation (EarlyRegistration Deadline ends Monday), Michael Kohlhase
• [PVS] WS-FM 2005 Call For Tools, Mario Bravetti
• [PVS] [verimag-news ] Call for PAPERS: MARTES with MoDELS/UML 2005, Susanne Graf
  • <Possible follow-ups>
  • [PVS] [verimag-news ] Call for PAPERS: MARTES with MoDELS/UML 2005, Susanne Graf
• [PVS] Assistant Positions in Program Verification, ETH Zurich,Switzerland, Peter Müller
• [PVS] ARSPA'05: Call for Participation, AVISPA
• [PVS] FACS'05: Second Call for Papers, Luis Barbosa
• [PVS] [esecfse05pub] Registration with accomodation, M.A.Wermelinger
• [PVS] [Tableaux2005] TABLEAUX 2005 Call for Participation, Gernot Stenz
• [PVS] MathSAT: PhD positions at ICT-Trento, Alessandro Cimatti
• [PVS] DATE 2006 Topic B9 - Formal and Semi-formal Verification, Rolf Drechsler
• [PVS] CFP for CICLOPS 2005, Fernando Silva
• [PVS] PhD position in Monadic Computational Logics, Lutz Schroeder
  • [PVS] PhD-Position (Mitarbeiterstelle) in Coalgebra, Algebra,Formal Methods, gumm
• [PVS] Final Call for Participation: ForTIA Industry Day at FM'05, events-admin
• [PVS] Research positions in AI, PLANET
• [PVS] [verimag-news ] Call for PAPERS: WORKSHOP ON EMBEDDED SYSTEMSEDUCATION, Susanne Graf
• [PVS] [verimag-news ] COSMICAH 2005: Call for Participation, Susanne Graf
• [PVS] LPNMR'05: Call for Participation, lpnmr05
• [PVS] ICFP 2005 - Call for Participation, Dariusz Biernacki
• [PVS] Second Call For Papers (RPMSN05), RPMSN05
• [PVS] [verimag-news ] SPIN 2005: Call for Participation, Susanne Graf
• [PVS] LPAR-12 Deadline Reminder, geoff
• [PVS] [esecfse05pub] FMICS05: Cal for Participation, Mieke Massink
• [PVS] E.W. Beth Dissertation Prize Winner, Carlos Areces
• [PVS] [esecfse05pub] PASTE 2005 call for participation: ProgramAnalysis for Software Tools & Engineering, Cristóvão Oliveira
• [PVS] ISAAC: Young Researcher Position at ITC-IRST, Trento, Marco Bozzano
• [PVS] CFP: IEEE in cooperated International Conference onComputational Intelligence for Modelling, Control and Automation, Mohammadian, Masoud
  • <Possible follow-ups>
  • [PVS] CFP: IEEE in cooperated International Conference onComputational Intelligence for Modelling, Control and Automation, Mohammadian, Masoud
  • [PVS] CFP: IEEE in cooperated International Conference onComputational Intelligence for Modelling, Control and Automation, cimca
  • [PVS] CFP: IEEE in cooperated International Conference onComputational Intelligence for Modelling, Control and Automation, Mohammadian, Masoud
  • [PVS] CFP: IEEE in cooperated International Conference onComputational Intelligence for Modelling, Control and Automation, Mohammadian, Masoud
  • [PVS] CFP: IEEE in cooperated International Conference onComputational Intelligence for Modelling, Control and Automation, Mohammadian, Masoud
• [PVS] [verimag-news ] FMCO 2005: 2nd Call for Tutorial Papers, Susanne Graf
• [PVS] FACS'05: Deadline Extended 29 July, Luis Barbosa
• [PVS] Call for Papers: JAR Special Issue on User Interfaces forTheorem Proving., Christoph Lueth
• [PVS] CONCUR 2005: Call for Participation, Early Registration Jul 20, CONCUR 2005 Announcements
• [PVS] RISE 2005 - FINAL NOTICE, DEADLINE EXTENSION, Nicolas Guelfi
• [PVS] Call for Attendance: MATES 2005 Conference on Multi-AgentSystem Technologies, Matthias Klusch
• [PVS] Potential Postgraduate Scholarship at Cork ConstraintComputation Centre (4C), Tomas Eric Nordlander
• [PVS] PADL'06 Call for Papers, Logic Programming Rsrch Association
• [PVS] postdoc available, Lawrence Paulson
  • <Possible follow-ups>
  • [PVS] postdoc available, Lawrence Paulson
• [PVS] Positions in Trustworthy Computing project at CWI, Amsterdam, Farhad Arbab
• [PVS] Express'05 - Call for Participation, Iain Phillips
• [PVS] Call for papers: UTP'06, UK, 5-7 February 2006, Bernhard K. Aichernig
• [PVS] [CfP] DisCoVeri - satellite event of CONCUR - August 26, 2005, Uwe Nestmann
• [PVS] post-doctoral position in Nancy, Stephan Merz
• [PVS] [LSS-Announce] Final CSB2005 Program, LSS-Announce
• [PVS] [esecfse05pub] SEM 2005 scholarships, Cristóvão Oliveira
• [PVS] Open PhD position at ETH Zurich, Felix Klaedtke
• [PVS] ICLP 2005: Call for Participation, ICLP 2005
• [PVS] [SEFM 2005] CfParticipation - Early Registration ends 31 July2005, Bernhard Beckert
• [PVS] WS-FM 2005 Call For Participation, Mario Bravetti
• [PVS] CALCO: 3rd Call for Participation, Markus Roggenbach
• [PVS] ASE05 Workshop Software Certificate Management CfP, Yunwen Ye
• [PVS] [esecfse05pub] ESEC/FSE early registration (29th July)!, Leonor Barroca
• [PVS] CFP: Computational Models of Scientific Reasoning andApplications (CMSRA-IV), Luis Moniz Pereira
• [PVS] Call for Participation: MERLIN 2005, Alwen Tiu
• [PVS] FORTE 2005: Preliminary Program and the 1st Call forParticipation, Farn Wang
• [PVS] Preliminary Programme CHARME 2005, Dirk Leinenbach
• [PVS] QEST'05 Call for Participation, QEST'05
  • <Possible follow-ups>
  • [PVS] QEST'05 Call for Participation, QEST'05
• [PVS] 2nd CFP --- LPAR 2005 WS: Empirically Successful AutomatedReasoning in Higher-Order Logic (ESHOL), Christoph Benzmueller
• [PVS] WLPE 2005: Call for Participation, A Serebrenik
• [PVS] post-doc job in functional programming, Colin Runciman
• [PVS] ASE05 Workshop Software Assurance Tools Techniques andMetrics CfP, Yunwen Ye
• [PVS] ASE05 Workshop Traceability in Emerging Forms of SoftwareEngineering CfP, Yunwen Ye
• [PVS] 4-year PhD Positions at UPM -- MOBIUS EU Project, MOBIUS PhD Grants
• [PVS] [Tableaux2005] TABLEAUX 2005 2nd Call for Participation, Gernot Stenz
• [PVS] CFP: Software Verification Track, 2006 ACM SAC, Frank Stomp
• [PVS] FASE'06 CALL FOR PAPERS; Submission Deadline: 7 October 2005, Reiko Heckel
• [PVS] [esecfse05pub] Late registration deadline postponement, Cristóvão Oliveira
• [PVS] ATVA 2005: Preliminary Program and Call for Participation, Yih-Kuen Tsay
• [PVS] FORMATS 2005: Call for Participation, FORMATS'05 (Paul Pettersson)
  • <Possible follow-ups>
  • [PVS] FORMATS 2005: Call for Participation, Paul Pettersson
• [PVS] ASE05 Workshop Specification and Automated Processing ofSecurity Requirements CfP, Yunwen Ye
• [PVS] [IPSN 2006] IPSN'06 CFP, ipsn2006
• [PVS] AVoCS '05 [Call for Participation], Ranko Lazic
• [PVS] CFP: 3rd International Conference in Security of PervasiveComputing, SPC 2006, Phil Brooke
• [PVS] FTP'2005: call for participation, Reinhold Letz
• [PVS] CFP: TCS special issue on Automated Reasoning for SecurityProtocol Analysis, vigano
  • <Possible follow-ups>
  • [PVS] CFP: TCS special issue on Automated Reasoning for SecurityProtocol Analysis, vigano
• [PVS] [verimag-news ] Summer School on "Components & Modelling,Testing & Verification, and Static Analysis of Embedded Systems", Susanne Graf
• [PVS] [esecfse05pub] ESEC/FSE late registration (16th August)!, Cristóvão Oliveira
• [PVS] IJCAR 2006: Call For Papers (CFP), Sergey Berezin
  • <Possible follow-ups>
  • [PVS] IJCAR 2006: Call For Papers (CFP), Sergey Berezin
  • [PVS] IJCAR 2006: Call For Papers (CFP), Sergey Berezin
  • [PVS] IJCAR 2006: Call For Papers (CFP), Sergey Berezin
  • [PVS] IJCAR 2006: Call For Papers (CFP), Sergey Berezin
• [PVS] CFP WRLA06, WRLA Acct (Denker)
• [PVS] NETCA Workshop - Final Call for Participation, Hanne Gottliebsen
• [PVS] Research positions in Mobility and Security at Edinburgh, Ian . Stark
• [PVS] Information and Computation - Open-Access Experiment, Moshe Vardi
• [PVS] [Wpdrts06] WPDRTS'06: Call for papers, Ying Lu
• [PVS] PADL 2006: Final Call For Papers, Logic Programming Rsrch Association
• [PVS] ICTCS'05 Call for Participation, g. michele pinna
• [PVS] IFM 2005: Call for Participation, Graeme Smith
• [PVS] DATE 2006 deadline is close: Topic B9 - Formal andSemi-formal Verification, Rolf Drechsler
• [PVS] CALL FOR PARTICIPATION AT PMCCS-7 (satellite event of QEST'05), Horvath Andras
• [PVS] PLID 2005 call for participation, David Clark
• [PVS] FroCoS'05: Call for Participation (Early Reg. Deadline: Sept.1, 2005), Bernhard Gramlich
• [PVS] 5th International PhD School in Formal Languages andApplications 2005-2007, Carlos Martin-Vide
• [PVS] FMCO 2005: Call for Tutorial Papers, M.M. Bonsangue
• [PVS] FORMATS 2005: Call for Participation + Programme, Paul Pettersson
• [PVS] UPDATE: NWPT05 Annoucenment, Jesper Andersen
• [PVS] [verimag-news ] Last Call for PAPERS: MARTES with MoDELS/UML2005, Susanne Graf
• [PVS] DS-RT 05: Distributed Simulation - Call for Participation, Call For Papers
• [PVS] [verimag-news ] FMCO 2005: Call for Tutorial Papers, Susanne Graf
• [PVS] CFP: Constraint solving track at ACM Symposium on AppliedComputing, ian miguel
• [PVS] 2nd CFP: M4M-4 "Methods for Modalities";Berlin, Dec. 1-2, 2005, Holger Schlingloff
• [PVS] ATVA 2005: Call for Participation, Yih-Kuen Tsay
• [PVS] UTP'06 Final CFP, Bernhard K. Aichernig
• [PVS] FORTE 2005: Call for participation, early registration 9/1, Farn Wang
• [PVS] [CfP] Special Issue on Answer Set Programming (ASP) in Annalsof Mathematics and Artificial Intelligence, Juergen Dix
• [PVS] CFP: Special Issue of AI Communications on ConstraintProgramming for Planning and Scheduling, ian miguel
• [PVS] CiE 2006, Call for Papers, cie06
• [PVS] CFP: 20th Workshop on Logic Programming - WLP 2006, wlp06
• [PVS] Fw: Verification Conference 2005 - the deadline for thesubmissions of the papers was postponed to September 16, 2005., Shmuel Ur
• [PVS] DATE 2006 paper submission deadline very soon, Rolf Drechsler
• [PVS] CFP: Extended Deadline: Constraint solving track at ACMSymposium on Applied Computing, ian miguel
• [PVS] FORTE 2005: Call for Participations, Farn Wang
• [PVS] MSWiM05 - Call For Participation, MSWiM 2005
• [PVS] Call for Papers - IIS:IIPWM - 2006, IIS:IIPWM'06 Conference
• [PVS] Call for Participation: CHARME 2005, Dirk Leinenbach
• [PVS] [verimag-news ] MARTES with MoDELS/UML 2005 --- Call forparticipation, Susanne Graf
• [PVS] Submission Deadline Extension -- ESHOL WS at LPAR 2005, Christoph Benzmueller
  • <Possible follow-ups>
  • [PVS] Submission Deadline Extension -- ESHOL WS at LPAR 2005, Christoph Benzmueller
• [PVS] CFP: MBT 2006 Model based Testing, Bernd Finkbeiner
• [PVS] [verimag-news ] ACSD 2006 -- Call for Papers, Marius Bozga
• [PVS] ICoS-5 (First Call for Papers), Alexander Koller
• [PVS] [verimag-news ] SPIN 2006 - call for papers, Susanne Graf
• [PVS] CFP 4th Workshop on Modelling, Simulation,Validation and Verification of EIS, Juan Carlos Augusto
• [PVS] Call for Participation: International Conference on AutomatedSoftware Engineering 2005, Yunwen Ye
• [PVS] Call For Participation : ICFEM 2005, Kenji Taguchi
• [PVS] JAR issue: Empirically Successful Automated Reasoning, geoff
• [PVS] Doctoral symposium at IFM 2005 (cfp), Graeme Smith
• [PVS] DCC 2006 - second call for abstracts, Tom Melham
• [PVS] Call for Participation (correction): International Conferenceon Automated Software Engineering 2005, Yunwen Ye
• [PVS] [VMCAI '06] Final CFP Sun 25 Sep 05, VMCAI '06
• [PVS] *** ICFP '06 CALL FOR WORKSHOP PROPOSALS ***, Matthias Blume
• [PVS] ICALP 2006 -- Call For Workshop Proposals, ICALP 2006
  • [PVS] ICALP 2006 -- Preliminary Call For Papers, ICALP 2006
• [PVS] [Wpdrts06] CFP: Journal of Systems and Software Special Issueon "Dynamic Resource Management in Distributed Real-Time Systems", Ying Lu
• [PVS] ICTCS 2005: Call for participation, g. michele pinna
• [PVS] CFP: Transgressive Computing 2006 Extended SubmissionDeadline Nov. 15th 2005, Evelyne Tournier
• [PVS] 2nd Call for Participation: IFM 2005, Graeme Smith
• [PVS] FMCO 2005: first call for participation, M.M. Bonsangue
• [PVS] [Researchers] I2TS'2005 - 4th International Information and TelecommunicationTechnologies Symposium, Profa Mirela Sechi Moretti Annoni Notare
• [PVS] CfP: Relations and Kleene Algebra in Computer Science 2006, Renate Schmidt
  • <Possible follow-ups>
  • [PVS] CfP: Relations and Kleene Algebra in Computer Science 2006, Renate Schmidt
• [PVS] [Tableaux2005] Special Issue of the Journal of AutomatedReasoning, Gernot Stenz
• [PVS] EATCS AWARD 2006, Mariangiola Dezani
• [PVS] CSL'06 workshops and Ackermann Award, Computer Science Logic '06 Conference
• [PVS] Natural Language and Knowledge Representation/Reasoning (CFP), Jana Sukkarieh
• [PVS] [IPSN 2006] CFP IPSN 2006 -- ONE MONTH AWAY, ipsn2006
• [PVS] Reminder: ASE05 early registration ends Oct. 7, Yunwen Ye
• [PVS] [Wpdrts06] One-month alert to WPDRTS submission deadline, Ying Lu
• [PVS] ACM MSWIM'05 Call For PARTICIPATION, MSWiM 2005
• [PVS] MBD-MOMPES '06 CfP, Ricardo J. Machado
• [PVS] sabbatical positions 2005-12, D.FILROM - CARLOS MARTIN VIDE
• [PVS] CFP WRLA06 Vienna, WRLA Acct (Denker)
• [PVS] FMCO 2005: second call for participation, M.M. Bonsangue
• [PVS] TPHOLs 2007: Call for bids, Joe Hurd
• [PVS] 2nd CFP: 20th Workshop on Logic Programming - WLP 2006, wlp06
• [PVS] [verimag-news ] FMCO 2005 --- november 1-4,2005 --- Call for Participation, Susanne Graf
• [PVS] [Researchers] 39th Annual Simulation Symposium-EXTENTION ofSubmission Deadline, Profa Mirela Sechi Moretti Annoni Notare
• [PVS] CFP: Nonmonotonic Reasoning Workshop (NMR 2006), Prof. Dr. Juergen Dix
• [PVS] FM'06: CFP, event
• [PVS] ASE05 on-line registration ends Oct. 28, Yunwen Ye
• [PVS] [verimag-news ] Call for Papers: SPIN 2005 (submission siteopened), Susanne Graf
• [PVS] [Wpdrts06] WPDRTS'06: Final Call for Papers (two-week alertto the submission deadline), Ying Lu
• [PVS] Petri Nets 2006 CFP, P S Thiagarajan
• [PVS] VVSS2005 - Call for Participation and Posters, Punter, H.T.
  • [PVS] Call for Papers SAFECOMP 2006, magott
• [PVS] FM'06 Announcement and Call for Submissions, events-admin
• [PVS] TC 2006. Call for Papers, TC 2006
• [PVS] [Researchers] IEEE/ACM IPDPS 2006/PMEO-PDS'06 - 5thInternational Workshop on Performance Modeling,Evaluation and Optimization of Parallel and Distributed Systems, Profa Mirela Sechi Moretti Annoni Notare
• [PVS] 1st CfP ESSLLI 2006 STUDENT SESSION, J. Huitink
• [PVS] Final Call for Participation: IFM 2005 (Eindhoven), Graeme Smith
• [PVS] CFP: A Series of Special Sessions on Value-Chain Optimisationusing Constraint Programming, ian miguel
• [PVS] CAV call for papers, Tom Ball
• [PVS] CfP: Applied Semantics, Special Issue of J of TCS, Hans-Wolfgang Loidl
• [PVS] Ackermann Award, Zoltan Esik
• [PVS] CSL'06 CALL FOR PAPERS, Computer Science Logic '06 Conference
• [PVS] POPL 2006 Call for Participation, David Walker
• [PVS] ProofLite Release 2.a, Cesar A. Munoz
• [PVS] ABModSim - 2nd CFP, event
• [PVS] [morphware] Call for Papers: deadlines very soon, Reiner Hartenstein
• [PVS] EAAI'06 CFP, EAAI2006 Workshop
  • <Possible follow-ups>
  • [PVS] EAAI'06 cfp, Francesco Ranzato
• [PVS] REMINDER: Proposals for workshops (ICFP '06) due this Friday!, Matthias Blume
• [PVS] Final CFP: MBT 2006 Model based Testing, Bernd Finkbeiner
• [PVS] RTA'06: 1st Call for Papers, Ralf Treinen
• [PVS] [verimag-news ] Call for papers: i'Trust'2006, Susanne Graf
• [PVS] Final CFP: 20th Workshop on Logic Programming - WLP 2006, wlp06
• [PVS] CFP: CPAIOR 2006: 3rd International Conference on Integrationof AI and OR Techniques in Constraint Programming for CombinatorialOptimization Problems, ian miguel
• [PVS] [Wpdrts06] WPDRTS'06: Submission Deadline Extended toNovember 18, 2005, Ying Lu
• [PVS] ICALP 2006 -- Call for Affiliated Workshops, Convegno ICALP '06
• [PVS] Invitation: AICCSA '06 -- 5th International Workshop onSoftware Stability: Methodologies, Applications and Tools, m . fayad
  • <Possible follow-ups>
  • [PVS] Invitation: AICCSA '06 -- 5th International Workshop onSoftware Stability: Methodologies, Applications and Tools, m . fayad
• [PVS] [verimag-news ] Call for Papers: CAV 2006, Susanne Graf
• [PVS] CiE06: 2nd CfP, cie06
• [PVS] CFP: European Conference on Logics in AI [JELIA'06], Michael Fisher
• [PVS] SAS 2006: First Call for Paper, Kwangkeun Yi
• [PVS] Call For Papers - ICLP 2006, A Serebrenik
• [PVS] QAPL 2006 - call for papers, Bernhard K. Aichernig
• [PVS] Deadline Extension: 20th Workshop on Logic Programming - WLP2006, wlp06
• [PVS] [verimag-news ] PostDoc Position at VERIMAG, Marius Bozga
• [PVS] 2006 Workshop on Pattern Recognition in Bioinformatics(PRIB'06), PRIB Workshop 2006
• [PVS] Microsoft Research,Cambridge is now recruiting Interns for summer 2006., ian miguel
• [PVS] CFP Workshop on Automated Reasoning, ARW'06, Louise Dennis
• [PVS] RTAS06 Workshops and Tutorials, Lisa Dipippo
• [PVS] MPC 2006 First Call for Papers, Tarmo Uustalu
• [PVS] JAR issue on Empirically Successful Automated Reasoning, geoff
• [PVS] CFP: M4M-4 Program and Call for Participation, Holger Schlingloff
• [PVS] Advances in Modal Logic 2006: Call for papers, AiML 2006
• [PVS] CFP: ProMAS@ AAMAS 2006, event
  • <Possible follow-ups>
  • [PVS] CFP: ProMAS@ AAMAS 2006, event
• [PVS] CFP: CLIMA at AAMAS 06, event
• [PVS] BCTCS 2006 - First Call for Participation, Markus Roggenbach
• [PVS] Positions in compositional QoS project at CWI, Amsterdam, Farhad Arbab
• [PVS] EPEW'06, 1st cfp (apologies for multiple copies), EPEW2006
• [PVS] PADL 2006 Call for Participation, Logic Programming Rsrch Association
• [PVS] Postdoc at Oxford, Luke Ong
• [PVS] Announcement: SAT-Race 2006, Carsten Sinz
• [PVS] ICoS-5: Second call for papers, Alexander Koller
• [PVS] RTAS WIP CFP, Lisa Dipippo
  • <Possible follow-ups>
  • [PVS] RTAS WIP CFP, Lisa Dipippo
• [PVS] [verimag-news ] Call for papers: SAM 2006, Susanne Graf
• [PVS] Call for Papers [Reminder]: JAR Special Issue on UserInterfaces for Theorem Proving., Christoph Lueth
• [PVS] Post-doc in constraint-based scheduling, ian miguel
• [PVS] CfP: DALT @ AAMAS 2006, event
• [PVS] CLIMA VII: First CFP, event
• [PVS] ICNS 2006 || ICAS 2006 || WSTC 2006 || Call for Submissions, Silicon Valley, July 16-23, 2006, invitation
• [PVS] Coordination 2006: Second call for papers, Jean-Marie JACQUET
• [PVS] Call For Papers: ISMM 2006 (International Symposium on MemoryManagement), Erez Petrank
• [PVS] CFP: Workshop on Verification and Debugging, vandd2006
  • <Possible follow-ups>
  • [PVS] CFP: Workshop on Verification and Debugging, vandd2006
• [PVS] PVS on AMD64?, Hendrik Tews
  • Re: [PVS] PVS on AMD64?, Adriaan de Groot
    • Re: [PVS] PVS on AMD64?, Hendrik Tews
      • Re: [PVS] PVS on AMD64?, Scott L. Burson
      • [PVS] Re: PVS on AMD64?, Joseph Kiniry
      • Re: [PVS] PVS on AMD64?, Drew Dean
• [PVS] Call for Proposals: FM’08: The 15th International Symposium on Formal Method s, events-admin
• [PVS] [VMCAI '06] Call for participation, VMCAI '06
• [PVS] [verimag-news ] Final Call for Papers SPIN 2006 - deadline:December 2, Susanne Graf
• [PVS] [verimag-news ] CFP for ISORC-2006 with extended deadline ofDecember 9th, 2005, Susanne Graf
• [PVS] New version of Manip strategies, Ben Di Vito
• [PVS] 2nd CfP: ESSLLI 2006 STUDENT SESSION, J. Huitink
• [PVS] [verimag-news ] postdoc positions on component-based embeddedsystems at Verimag (France), Susanne Graf
• [PVS] [verimag-news ] Call for papers : CSFW - Computer securityfoundations workshop, Susanne Graf
• [PVS] CFP: AAAI 2006 Workshop on Learning for Search, ian miguel
• [PVS] Call for Participation: FOOL/WOOD 2006, Kathleen Fisher
• [PVS] CSR-2006: Springer LNCS, Deadline 18th December, Edward A. Hirsch
• [PVS] TPLP special issue call for papers, Maria Garcia de la Banda
• [PVS] SPACE 2006: Call for Participation, Richard Jones
• [PVS] CMCS 2006, Neil X Ghani
• [PVS] [verimag-news ] Postdoctoral position at Verimag, Susanne Graf
• [PVS] CSE PhD studentship in Theorem Proving for Air Traffic Control, Hanne Gottliebsen
• [PVS] Last CfP: QAPL'06 (ETAPS Satellite, Vienna), Alessandra Di Pierro
• [PVS] 2nd Call: ESSLLI 2006 Student Session, Carlos Areces
• [PVS] CfP: International Conference on Emerging Trends inInformation and Communication Security 2006, Moritz Strasser
• [PVS] Cfp: DIPES 2006 - IFIP Working Conference on Distributed andEmbedded Systems, Ricardo J. Machado
• [PVS] CFP: Multithreading in Hardware and Software: FormalApproaches toDesign and Verification (TV06) - FLoC affiliated - Aug 21-22, Ganesh C Gopalakrishnan
• [PVS] [Early Bird Gift] 2nd CfP: Special Session on Petri Nets andDiscrete Event Systems at IEEE SMC 2006 in Taiwan., jinshyan_lee
• [PVS] [Early Bird Gift] 2nd CfP: Special Session on WSN at IEEE SMC2006 in Taiwan., jinshyan_lee
• [PVS] CFP: International Colloquium on Theoretical Aspects ofComputing (ICTAC06), Chris George
  • <Possible follow-ups>
  • [PVS] CFP: International Colloquium on Theoretical Aspects ofComputing (ICTAC06), Chris George
• [PVS] CFP: International Conference on Formal Engineering Methods(ICFEM06), Chris George
• [PVS] 2nd CFP: CPAIOR 2006: 3rd International Conference onIntegrationof AI and OR Techniques in Constraint Programming for CombinatorialOptimization Problems, ian miguel
• [PVS] Call for papers -- FOAL 2006: Foundations ofAspect-OrientedLanguages, Ralf Lammel
• [PVS] EASSS 2006: Final Call For Tutorials, event
• [PVS] [VMCAI '06] Early registration upto Dec 15, VMCAI '06
• [PVS] Second call for papers - DAIS 2006, DAIS'06
• [PVS] PADL Deadline for Reduced Registration rate extended to 20thDec., Logic Programming Rsrch Association
• [PVS] CFP: STRATEGIES 2006, Strategies06
• [PVS] CFP: Workshop on Logics for Resource Bounded Agents, Carlos Areces
  • <Possible follow-ups>
  • [PVS] CFP: Workshop on Logics for Resource Bounded Agents, Carlos Areces
  • [PVS] CFP: WORKSHOP ON LOGICS FOR RESOURCE BOUNDED AGENTS, Carlos Areces
• [PVS] Second Call For Papers - ICLP 2006, A Serebrenik
• [PVS] Postdoc position at Nijmegen (ROBIN project on OSverification), Erik Poll
• [PVS] MKM 2006 First Call for Papers and Workshop Proposals, William Farmer
• [PVS] ESSLLI 2006: List of Courses, Carlos Areces
• [PVS] CFP: Component-based software engineering CBSE 2006 symposium, Ivica Crnkovic
• [PVS] AMAST06 CFP (Feb closing date), Michael Johnson
• [PVS] PATAT 2006: Call for Demonstrations, Hana Rudova
• [PVS] CFP: International Workshop on Hybrid Logic 2005 (HyLo 2006), Carlos Areces
• [PVS] CfP 32nd Euromicro Conference on Software Engineering andAdvanced Applications (SEAA), Paul Gruenbacher
• [PVS] COMPSAC 2006 CALL FOR PAPERS, Simanta Mitra (Publicity Chair, COMPSAC 2006)
• [PVS] CFP: CIAA 2006, Taipei, Farn Wang
• [PVS] [verimag-news ] Software engineer position at Verimag, Susanne Graf
• [PVS] [Tableaux2005] Special Issue of the Journal of AutomatedReasoning, 2nd Call for papers, Gernot Stenz
• [PVS] [LSS-Announce] CSB 2006 Call For Papers, LSS-Announce
• [PVS] CSFW Call for papers, Joshua D. Guttman
• [PVS] CFP: CIA 2006 - 10th Intl Workshop on Cooperative InformationAgents, Matthias Klusch
• [PVS] Final Call for Papers: Pattern Recognition in Bioinformatics(PRIB'06), PRIB Workshop 2006
  • [PVS] Call for Book Proposals in Bioinformatics, Yi Pan
  • [PVS] BIBM 2007 CFP Deadline extended, Yi Pan
• [PVS] Int. Conference on Emerging Trends in Information andCommunication Security 2006 - Submission deadline: January 22, 2006, Moritz Strasser
  • <Possible follow-ups>
  • [PVS] Int. Conference on Emerging Trends in Information andCommunication Security 2006 - Submission deadline: January 22, 2006, Moritz Strasser
• [PVS] RTA'06: 2nd Call for Papers, Ralf Treinen
• [PVS] research positions 2005-14, D.FILROM - CARLOS MARTIN VIDE
• [PVS] 2006 Programme on Logic and Algorithms - Workshops, MYV
• [PVS] Coordination 2006: Third call for papers, Jean-Marie JACQUET
• [PVS] CFP: ASE 2006, Yoshinao Isobe
  • <Possible follow-ups>
  • [PVS] CFP: ASE 2006, Yoshinao Isobe
• [PVS] CfP: DALT @ AAMAS 2006 (new submission deadline), event
• [PVS] CFP Workshop on logics for resource-bounded agents, event
• [PVS] Call For Papers: June 26-29, 2006, joint conferences incomputer science, computer engineering & applied computing; USA, hra
• [PVS] CFP: CLIMA 06, event
• [PVS] PhD positions, smriis
• [PVS] LOFT06: CFP, Wiebe van der Hoek
• [PVS] CFP LAAIC 06: Logical Aspects and Applications of IntegrityConstraints, LAAIC 06
  • <Possible follow-ups>
  • [PVS] CFP LAAIC 06: Logical Aspects and Applications of IntegrityConstraints, LAAIC 06
• [PVS] CFP: SELMAS 2006 - 5th Workshop on Software Engineering forLarge-Scale Multi-Agent Systems, event
• [PVS] CFP: Programming Languages and Analysis for Security (PLAS)2006, Steve Zdancewic
• [PVS] Reminder: Special Session on Petri Nets and Discrete EventSystems at IEEE SMC 2006 in Taiwan., jinshyan_lee
• [PVS] CMCS 06 Final CFP: deadline 8 January, ajp
• [PVS] Call for Participation: 2nd International Summer School ofthe Association for Constraint Programming, ian miguel
• [PVS] LAST CALL FOR PAPERS - DAIS'06, DAIS'06
• [PVS] MPC 2006 2nd Call for Papers, Tarmo Uustalu
• [PVS] Workshop Announcement - ETRICS 2006, Moritz Strasser
• [PVS] Computability in Europe 2006 - Final Call for Papers, Arnold Beckmann
  • <Possible follow-ups>
  • [PVS] Computability in Europe 2006 - Final Call for Papers, Arnold Beckmann
• [PVS] ICoS-5: Final call for papers, Alexander Koller
• [PVS] CFP: CLIMA Contest, event
• [PVS] EAAI'06 (satellite event of ETAPS'06) -- Extended deadlineJan 15!!!, Roberto Giacobazzi
• [PVS] CFP: Multi-Agent Systems and Simulation 2006 (MAS&S'06), Giancarlo Fortino
• [PVS] CfP - 2006 International Conference on Data Mining - DMIN'06, Crone, Sven
• [PVS] SFM-06:HV call for participation, Marco Bernardo
• [PVS] ASP-06 at NMR-06 (2nd CFP), event
• [PVS] SFM-06:HV - International School on Formal Methods, Rolf Drechsler
• [PVS] CLIMA-VII Second Call for Papers, event
• [PVS] ICCL Summer School 2006: KNOWLEDGE STRUCTURES, Bertram Fronhoefer
• [PVS] CFP: Resource-Scarce Language Engineering, Carlos Areces
  • <Possible follow-ups>
  • [PVS] CFP: Resource-Scarce Language Engineering, Carlos Areces
• [PVS] AMAST 2006 2nd Call for Papers, Varmo Vene
• [PVS] SoSyM: Journal on Modelling of Software, event
• [PVS] RAC at NMR'06, event
• [PVS] CfP: FACS'06 - Formal Aspects of Component Software, Vladimir Mencl
• [PVS] CfP - ISF 2006 - Forecasting with Neural Networks, www.neural-forecasting.com
• [PVS] AIAA Space 2006 Deadline for Abstracts, Silvano Colombano
• [PVS] CFP-ATVA 2006, Farn Wang
• [PVS] DAIS'06 - EXTENDED DEADLINE, DAIS'06
• [PVS] Workshop on Scheduling and Resource Management, Raj Kettimuthu
  • <Possible follow-ups>
  • [PVS] Workshop on Scheduling and Resource Management, Raj Kettimuthu
• [PVS] Final CfP: ESSLLI 2006 STUDENT SESSION, J. Huitink
• [PVS] CFP Calculemus'06, July 7-8,2006 Genova (Italy) co-located with ISSAC 2006, Silvio . Ranise
• [PVS] PATAT 2006: Last Call for Demonstrations, PATAT 2006
• [PVS] Mochart IV CFP, event
• [PVS] Vacancies for Research Fellows, Chris George
• [PVS] CFP: TIME 2006, Peter Revesz
• [PVS] Call for Papers - GPCE'06, Emir Pasalic
• [PVS] ICoS-5: Extended submission deadline: Jan 27, Alexander Koller
• [PVS] Call for Participation: 20th Workshop on Logic Programming -WLP 2006, wlp06
• [PVS] Funding for attending CiE 2006, Arnold Beckmann
• [PVS] Coordination 2006: Last call for papers, Jean-Marie JACQUET
• [PVS] TPHOLs 2007: Call for votes, Joe Hurd
• [PVS] RTAS06 WIP, Lisa Dipippo
• [PVS] RTAS06 Workshop, Lisa Dipippo
• [PVS] Final CFP: Computer Security Foundations Workshop, CSFW, Joshua D. Guttman
• [PVS] [verimag-news ] Call for Papers: ATVA 2006 - AutomatedTechnology for Verification and Analysis, Susanne Graf
• [PVS] CFP: Pattern Recognition in Bioinformatics, IAPR Pattern Recognition in Bioinformatics
• [PVS] Second Call for Submissions || ICNS 2006 || ICAS 2006 || WSTC2006 || Silicon Valley, July 16-23, 2006, invitation
• [PVS] PDPAR'06: 1st Call for Papers, Roberto Sebastiani
• [PVS] CFP: ICSM 2006, icsm-info
• [PVS] CfP UPGRADE-CDN'06, Giancarlo Fortino
• [PVS] CfP: Conference Track on "Software Process and ProductImprovement" at Euromicro SEAA 2006, Paul Gruenbacher
• [PVS] PSI 2006: Deadline Extension, PSI06 Conference
• [PVS] European Master's Program in Computational Logic, Int. Center for Computational Logic
• [PVS] ICALP 2006 -- Call For Papers, ICALP 2006
• [PVS] Call for Submissions ICWMC 2006 || Second InternationalConference onWireless and Mobile Communications || Bucharest, July 29-31, 2006, jinshyan_lee
• [PVS] PhD Training Programme, RelMiCS/AKA 2006, Renate Schmidt
• [PVS] Call for Papers: Second International Workshop on Testing andQuality Assurance for Component-Based Systems, Publicity Chair COMPSAC 2006
• [PVS] 2nd CFP: Programming Languages and Analysis for Security(PLAS) 2006, Steve Zdancewic
• [PVS] Call for Papers: International Workshop on Security, Privacy,and Trust for Pervasive Applications, Publicity Chair COMPSAC 2006
• [PVS] (DSD 2006) Call For Papers - 9th EUROMICRO CONFERENCE ONDIGITAL SYSTEM DESIGN, CONFERENCE MANAGER
  • <Possible follow-ups>
  • [PVS] (DSD 2006) Call For Papers - 9th EUROMICRO CONFERENCE ONDIGITAL SYSTEM DESIGN, CONFERENCE MANAGER
• [PVS] ARW'06 Final CFP, Louise Dennis
• [PVS] FOIKS: Call for Participation, event
• [PVS] CFP: ProMAS@ AAMAS 2006 -- Deadline 1st of February !!!, event
• [PVS] CfP: Workshop PPSWR @ ESWC 06, event
• [PVS] CfP: RuleML 2006 - Rules and Rule Markup Languages for theSemantic Web, event
• [PVS] CFP: ATOP Workshop @ AAMAS 2006, event
• [PVS] LAST CALL FOR PAPERS: ESOA'06 Workshop at AAMAS 2006, event
• [PVS] Artist2 Graduate Course on Embedded Control Systems, Hanzalek Zdenek
• [PVS] An International Symposium Celebrating the 100th Birthday of Kurt Gödel, goedel2006
• [PVS] CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006), event
  • <Possible follow-ups>
  • [PVS] CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006), Carlos Areces
• [PVS] Call for Papers: Constraint Handling Rules 2006, event
  • [PVS] Research position in constraints and CHR, event
• [PVS] CFP, event
• [PVS] [CFP] SemWiki2006: From Wiki To Semantics (Workshop@ESWC), event
• [PVS] PATAT 2006: Deadline Extension, PATAT 2006
• [PVS] CFP: Multidisciplinary ECAI06 WS on Preferences, event
• [PVS] DALT 2006 deadline approaching, event
• [PVS] 3rd International Conference of Security in PervasiveComputing, SPC 2006, Phil Brooke
• [PVS] Call for Participation: Young Scholars' Competition, goedel2006
• [PVS] 2nd CFP: Formal Ontologies for Communicating Agents,ESSLLI 2006, FOCA at ESSLLI
• [PVS] MKM 2006 Second Call for Papers and Workshop Proposals, William Farmer
• [PVS] 3rd Call for Papers RTA'06, Ralf Treinen
• [PVS] Call for Papers: International Workshop on EngineeringSemantic Agent Systems (ESAS 2006), Publicity Chair COMPSAC 2006
• [PVS] RTAS CRTES CFP, Lisa Dipippo
• [PVS] CFP: Formal and Computational Cryptography (FCC 2006), event
• [PVS] LPAR 2006 call for papers, Miki Hermann
• [PVS] WRS06 1st call for paper, wrs06
• [PVS] [verimag-news ] Call for Papers: Workshop on Formal andComputational Cryptography, Susanne Graf
• [PVS] ARW'06 Extended Deadline, Louise Dennis
• [PVS] UITP'06: First call for papers, Serge Autexier
• [PVS] [verimag-news ] 12 Months Postdoctoral Position at Verimag, Marius Bozga
• [PVS] [verimag-news ] 24 Months Research Engineer Position atVerimag, Marius Bozga
• [PVS] Artificial Intelligence and Symbolic Computation 2006: Callfor Papers, aisc2006
• [PVS] TPHOLs 2007: Election Result, Joe Hurd
• [PVS] Extended deadline: ESSLLI Student Session 2006, Sophia Katrenko
• [PVS] NMR Workshop: Deadline Extension to February 17th, event
• [PVS] CFP: 3rd International Verification Workshop, VERIFY'06, Heiko Mantel
• [PVS] Deadline Extension: 17th February, event
• [PVS] ECAI 2006 Configuration Workshop: Call for Papers, Carsten Sinz
• [PVS] CP 2006: Call for Workshop and Tutorial Proposals, Christian Schulte
  • <Possible follow-ups>
  • [PVS] CP 2006: Call for Workshop and Tutorial Proposals, Christian Schulte
• [PVS] FM'06: 2nd CFP, events-admin
• [PVS] 10th IEEE/ACM DS-RT 2006 CFP, DS-RT 2006
• [PVS] ACM/IEEE MSWiM2006 - CFP, MSWiM 2006
• [PVS] [ICLP'06] - Last Call for Papers - Deadline for Abstracts:February 14, A Serebrenik
• [PVS] CFP: Rationality and Knowledge Workshop, Carlos Areces
• [PVS] CONCUR 2006 Call for Papers, Frank Ciesinski
  • <Possible follow-ups>
  • [PVS] CONCUR 2006 Call for Papers, Frank Ciesinski
• [PVS] FLoC'06 WS on DISPROVING Call for Papers, Wolfgang Ahrendt
• [PVS] FMCAD 2006 Call for Papers -- http://fmcad.org/2006, Panagiotis Manolios
• [PVS] ECAI-06 deadline approaching, event
• [PVS] IntraWebs 2006 - Last Call, event
  • [PVS] CFP: Semantic Web Personalization Workshop @ ESWC 2006, event
    • [PVS] Second CFP: Semantic Web Personalization Workshop @ ESWC 2006, event
• [PVS] CHINACOM2006 First Call For Papers, Yabin Ye
• [PVS] [ICLP'06] Reminder: Deadline for Abstracts - February 14, A Serebrenik
• [PVS] [verimag-news ] FMCAD 2006 Call for Papers, Susanne Graf
• [PVS] [verimag-news ] ETAPS 2006: Call for Participation -Registration is Open, Susanne Graf
• [PVS] ICFP 2006 --- Call for Papers, John Reppy
• [PVS] DCC 2006 Call for Participation., Tom Melham
• [PVS] CMCS 06 Short Contributions final CFP, ajp
• [PVS] [IPSN 2006] Call for Participation and Registration Info, ipsn2006
• [PVS] SAS'06 2nd Call For Papers, Kwangkeun Yi
• [PVS] 13th International Conference on Neural InformationProcessing (ICONIP2006), ICONIP2006
• [PVS] Postdoctoral position available at LIAFA (Paris, France), Peter HABERMEHL
• [PVS] visiting research positions 2006-1, D.FILROM - CARLOS MARTIN VIDE
• [PVS] CFP: FOCA - Formal Ontologies for Communicating Agents, Carlos Areces
• [PVS] FMICS'06 Call for Papers, Martin Leucker
• [PVS] Call For Papers: Applied Computing,Computer Science and Eng. Conferences: June 26-29, 2006,USA - WORLDCOMP'06, hra
• [PVS] [ICLP'06] Deadlines EXTENDED, A Serebrenik
• [PVS] cfp of EPEW'06, submission deadline has changed to March 1st, EPEW2006
• [PVS] Goedel Young Scholars' Competition - deadline 24 February,2006, goedel2006
• [PVS] ACL2 2006 Call for Papers, Panagiotis Manolios
• [PVS] LOPSTR'06 in Venice, Italy -- Call for Papers, LOPSTR 2006
• [PVS] [verimag-news ] Call for papers: ACL2 with FLoC 2006, Susanne Graf
• [PVS] Call for Papers: Third International Workshop on QualityAssurance and Testing of Web-Based Applications (QATWBA 2006), Publicity Chair COMPSAC 2006
• [PVS] HOR 2006: call for abstracts, Femke van Raamsdonk
• [PVS] PPDP'06 -- Call for Papers, Michael Maher
• [PVS] CALL FOR PAPERS - Workshop "Security and Privacy in FutureBusiness Services" at ETRICS'06, Moritz Strasser
• [PVS] CIAA 2006: 2nd CFP, Farn Wang
• [PVS] SFM-06:HV call for participation (deadline extension), Marco Bernardo
• [PVS] CFP: FCS-ARSPA'06 (Workshop on Foundations of ComputerSecurity and Automated Reasoning for Security Protocol Analysis), vigano
• [PVS] SAT 2006 Final Call for Papers, Armin Biere
• [PVS] Workshop on Scheduling and Resource Management (SRMPDS'06), Raj Kettimuthu
• [PVS] FW: Call for Papers CMSB06, COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
• [PVS] Call for Reviewers, Dr. Jihad Mohamad Jaam
• [PVS] DSD 2006 - Call For Papers - 9th EUROMICRO CONFERENCE ONDIGITAL SYSTEM DESIGN, DSD 2006
  • <Possible follow-ups>
  • [PVS] DSD 2006 - Call For Papers - 9th EUROMICRO CONFERENCE ONDIGITAL SYSTEM DESIGN, DSD 2006
• [PVS] Call for Papers CMSB06, COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
• [PVS] [security] EARLY REGIS. 20 Feb: WITS'06 @ ETAPS: 6thInternationalIFIP WG 1.7 Workshop on Issues in the Theory of Security, Jan Ju''rjens
• [PVS] Call for papers: Threads Verification 2006 (TV06), Aug 21-22, Ganesh
• [PVS] PhD Studentships in Service-Oriented Computing, José Luiz Fiadeiro
• [PVS] 3rd CFP Workshop on logics for resorce-bounded agents, event
• [PVS] CFP: Workshop Concord Phenomena and the Syntax SemanticsInterface, Carlos Areces
• [PVS] CFP: 2nd International Workshop on Coordination andOrganisation (CoOrg 2006), event
  • <Possible follow-ups>
  • [PVS] CFP: 2nd International Workshop on Coordination andOrganisation (CoOrg 2006), Guido Boella
• [PVS] CFP: First International Workshop on Agent Technology andAutonomic Computing (ATAC'2006), event
  • [PVS] 12th International Conference AIMSA 2006 - AI,people and the web -, event
• [PVS] CfP - 2006 International Conference on Data Mining - DMIN'06- deadline extended!, Sven F. Crone
• [PVS] CFP: CIA 2006 - 10th Intl Wshp on Cooperative InformationAgents, Matthias Klusch
• [PVS] CSR-2006: Call for Participation, Edward A. Hirsch
• [PVS] 2nd CFP: CLIMA Contest, event
• [PVS] Announcement: Summer School "Reasoning Web 2006", event
• [PVS] 2nd CFP - Doctoral Consortium INCOM06, event
• [PVS] [Extended to 3/15] CfP: Special Session on Wireless SensorNetworks at IEEE SMC 2006 in Taiwan., jinshyan_lee
• [PVS] TC 2006: Call for Participation., TC 2006
• [PVS] Calculemus'06 CFP: 13 th Symposium on the Integration ofSymbolic Computation and Mechanized Reasoning 2006(co-located with ISSAC'06), Silvio . Ranise
• [PVS] Final CFP: Programming Languages and Analysis for Security(PLAS) 2006, Steve Zdancewic
• [PVS] RISE 2006 - Intl. Workshop. CFP on Rapid Integration ofSoftware Engineering techniques, Nicolas Guelfi
• [PVS] Workshop on Automated Reasoning: Call for Participation, Louise Dennis
• [PVS] Logic and Reasoning Workshop CFP, geoff
• [PVS] CFP: Mathematically Structured Functional Programming, Conor McBride
• [PVS] CFP: Workshop on Bounded Model Checking (BMC'06), Ofer Strichman
• [PVS] ICAPS-06: Call for System Demonstrations, Peter A. Jarvis
• [PVS] CFP: 10th ACM/IEEE DS-RT'06, CFP IEEE/ACM DS-RT'06
• [PVS] CFP: 9th ACM/IEEE MSWiM Symposium 2006, CFP ACM MSWiM'06
• [PVS] Extended Submission Deadlines || ICAS 2006 | ICNS 2006 |ICWMC 2006 | ICCGI 206, invitation
• [PVS] [IPSN 2006] ACM/IEEE IPSN 2006, Call for Work-In-Progress, ipsn2006
• [PVS] MKM 2006 Final Call for Papers and Workshop Proposals, William Farmer
• [PVS] Second Call for Papers KI 2006 (29th Annual German Conferenceon Artificial Intelligence), Michael Kohlhase
• [PVS] Parallel and Distributed Methods in Verification (PDMC06 1stcfp), Jaco van de Pol
  • <Possible follow-ups>
  • [PVS] Parallel and Distributed Methods in Verification (PDMC06 1stcfp), Jaco van de Pol
• [PVS] WS-FM 2006 Call For Papers, Mario Bravetti
• [PVS] CFP: LFMTP 2006, Alberto Momigliano
  • <Possible follow-ups>
  • [PVS] CFP: LFMTP 2006, event
• [PVS] [RTSS] RTSS 2006 CFP, ylu
• [PVS] CSL'06 FINAL CALL FOR PAPERS, Computer Science Logic '06 Conference
• [PVS] cfp of EPEW'06, submission deadline is extended to March 8, EPEW2006
• [PVS] Last Call For Papers: conferences on computer science,engineering, applied computing: June 26-29, 2006, USA, hra
• [PVS] Strategies 2006 -- 2nd Call for Papers, Strategies06
• [PVS] WRS06 2nd call for paper, wrs06
• [PVS] Automated Reasoning Workshop: Early Registration Deadline, Louise Dennis
• [PVS] Final Call for Papers: Workshop on Resource Management(SRMPDS '06), Raj Kettimuthu
• [PVS] Call for Workshop/Tutorial/GI Group meeting Proposals KI 2006(29th Annual German Conference on Artificial Intelligence), kohlhase
• [PVS] Call for papers for B 2007 conference, Jacques Julliand
  • <Possible follow-ups>
  • [PVS] Call for papers for B 2007 conference, Jacques Julliand
• [PVS] Mathematical Aspects of Computer and Information Sciences2006: Call for Papers, macis2006
• [PVS] ECML-PKDD Discovery Challenge 2006: Call for Participation, Steffen Bickel
• [PVS] CSB2006 - Call for Workshops, lss-announce
• [PVS] LPAR 2006, 2nd Call For Papers, Miki Hermann
• [PVS] Call for Papers: LOPSTR06, Venice, Italy, LOPSTR 2006
• [PVS] CFP AIMSA 2006: AI, people and the web, event
• [PVS] BNAIC'06 : BeNeLux conference on Artificial Intelligence, event
• [PVS] CSB2006 - Call for Posters, lss-announce
• [PVS] Call for Posters - ICLP 2006 - Deadline: March, 14, A Serebrenik
• [PVS] ATVA 2006: CFP,Announcement of Keynote Speakers & Special Issues, Farn Wang
• [PVS] CSB2006 - Call for Tutorials, lss-announce
• [PVS] International Conference on Logic Programming: DOCTORALCONSORTIUM, event
• [PVS] CHINACOM 2006 conference dates have been postponed toOct.25-27, 2006, Yabin Ye
• [PVS] Last Call for Submissions || ICCGI 2006 & ICWMC 2006 ||Bucharest, July 29- August 3 , 2006, invitation
• [PVS] CONCUR 2006 Final Call for Papers, CONCUR06
• [PVS] PAuL 2006 Call for Papers, PAuL06
• [PVS] 2nd CfP: Applications of Logic Programming in the SemanticWeb and Semantic Web Services (ALPSWS2006), event
• [PVS] Call for papers: SCAM 2006, icsm-info
• [PVS] CALL FOR PAPERS: CICLOPS 2006, event
• [PVS] CFP: ProMAS at AAMAS 06, event
• [PVS] Call for Papers: Preferences and their Applications in LogicProgramming Systems, event
• [PVS] WPDRTS CALL FOR PARTICIPATION, ylu
• [PVS] Call for Papers, lss-announce
  • <Possible follow-ups>
  • [PVS] Call for papers, Samuel Pyne
  • [PVS] Call for Papers, saltmail
• [PVS] DSD 2006 - FINAL Call For Papers - 9th EUROMICRO CONFERENCEON DIGITAL SYSTEM DESIGN, DSD 2006
• [PVS] 2nd CfP: Workshop PPSWR 2006 @ ESWC, event
• [PVS] 3rd CFP LPAR 2006, Phnom Penh, SUBMISSION IS OPEN NOW, Miki Hermann
• [PVS] ACM PPDP'06, event
• [PVS] [CfP] Symposium <<50 Years AI>> (& KI 2006 DeadlineExtension: 31. March), kohlhase
• [PVS] FMCO 2006: call for tutorial papers, Susanne Graf
• [PVS] Call for tutorials: ICTAC 06, Chris George
• [PVS] EASSS 2006: Call For Participation, event
• [PVS] CP 2006: Applications to Doctoral Programme, Christian Schulte
• [PVS] CFP: LCC'06 - Workshop on Logic and Computational Complexity, event
• [PVS] Last CFP: 2nd International Workshop on Coordination andOrganisation (CoOrg 2006), andrea . omicini
  • <Possible follow-ups>
  • [PVS] Last CFP: 2nd International Workshop on Coordination andOrganisation (CoOrg 2006), event
• [PVS] Designing Correct Circuits 2006 - Final Call for Participation, Tom Melham
• [PVS] ICDT 2006 || ICISP 2006 CALL FOR SUBMISSION || Cote d'Azur,France, invitation
• [PVS] PhD position on the semantics of multi-threaded flow ofcontrol, Mark van der Zwaag
• [PVS] MTCoord06 - Second Call for Papers, Ivana Cerna
• [PVS] Formal Methods 2006: Call for Demos (Commercial and Research)and Posters, Marsha Chechik
• [PVS] CFP: MICAI-2006, Artificial Intelligence,Springer LNAI + IEEE CS, Alexander Gelbukh
• [PVS] CIAA 2006: Final CFP, Farn Wang
• [PVS] NN2006 - Summer School on Neural Networks in ClassificationRegression and Data Mining, Jorge M. Santos
• [PVS] UITP'06: Second Call for Papers, Christoph Benzmueller
• [PVS] Last CFP: CIA 2006 - 10th Intl Workshop on CooperativeInformation Agents, Matthias Klusch
• [PVS] CFP2: Mathematically Structured Functional Programming, Conor McBride
• [PVS] New PhD Positions, Division of Computing Science, Chalmers, Philippas Tsigas
• [PVS] ACL2 2006 Second Call for Papers, Panagiotis Manolios
• [PVS] Call for papers! PDPAR: Workshop on the pragmatics ofdecision procedures, Byron Cook
• [PVS] research positions 2006-2, carlos.martin
• [PVS] AWPN'06: Call for Papers, event
• [PVS] ICoS-5: Call for participation, Alexander Koller
• [PVS] Express '06: first call for papers, Iain Phillips
• [PVS] Classical Logic and Computation: second call for papers, event
• [PVS] DSN-2006 Call for Participation; Fast Abstracts/Student Forum, DSN-2006 Webmaster
• [PVS] CFP - Search and Logic: ASP and SAT, event
• [PVS] MOCA'06: Call for Papers, event
• [PVS] Fwd: ISMICK06 Conference, event
• [PVS] cfp: COIN @ ECAI 06: Coordination, Organization,Institutions and Norms in Agent Systems, event
• [PVS] CONCUR06 Final Call for Papers, CONCUR06
• [PVS] PAuL06 Final Call for Papers, PAuL06
• [PVS] [IPSN 2006] Call For Participation and Technical Program Info, ipsn2006
• [PVS] Deadline extended to March 31st: Semantic Web PersonalizationWorkshop @ ESWC'06, event
• [PVS] CL&C'06 Second call for papers, event
• [PVS] CFP: AFM 2006 Workshop on Automated Formal Methods @IJCAR/FLoC 2006, Natarajan Shankar
• [PVS] Computability in Europe 2006 - Call for Informal Presentations, Arnold Beckmann
• [PVS] CIAA 2006 submission deadline extended to April 7, Farn Wang
• [PVS] IWBRA'06 Call for Participation, iwbra-l
• [PVS] CFP: Qualitative Constraint Calculi -- Workshop @ KI 2006, event
  • <Possible follow-ups>
  • [PVS] CFP: Qualitative Constraint Calculi -- Workshop @ KI 2006, Till Mossakowski
• [PVS] ROSATEA 2006: CFP and Deadline approaching, Henry Muccini
• [PVS] CFP Reminder: 9th ACM/IEEE MSWiM Symposium 2006, CFP ACM MSWiM'06
• [PVS] CFP Reminder: 10th ACM/IEEE DS-RT'06, CFP IEEE/ACM DS-RT'06
• [PVS] ICFEM 2006: 2nd Call for Contributions, Chris George
• [PVS] Deadlines are near: CFP - ICSM 2006, icsm-info
• [PVS] UNIF'06 first call for papers, Jordi Levy
• [PVS] Deadline extension: 2nd International Workshop onCoordination and Organisation (CoOrg 2006), Leon van der Torre
• [PVS] CFP: AISC 2006 - MACIS 2006 - SSSC 2006 - SCE 2006, sycm2006
• [PVS] CP 2006: Second Call for Papers, Christian Schulte
• [PVS] COMPSAC Workshop Paper Deadlines extended!, Publicity Chair COMPSAC 2006
• [PVS] Call for papers: PASSWORD'06, co-located with ECOOP'06,Sponsored by IBM research, Francesco Logozzo
• [PVS] [IPSN 2006] Attending IPSN'06 on April 19-21, 2006, ipsn2006
• [PVS] Calculemus'06 (last call for papers): co-located withISSAC'06 (Genova, July 7-8, 2006), Silvio . Ranise
• [PVS] Call For Participation: CPAIOR 2006, ian miguel
• [PVS] [CfP] Mathematical User Interfaces 2006 (MathUI06), Paul Libbrecht
• [PVS] ASE2006 Workshop: Supporting Knowledge Collaboration inSoftware Development, Yunwen Ye
• [PVS] deadline extension : MTCoord06, Isabelle Linden
• [PVS] IICAI-07 Call for Papers, Dr. Bhanu Prasad
• [PVS] CIA 2006: Extended Submission Deadline !, Matthias Klusch
• [PVS] FMCAD 2006 Second Call for Papers, Panagiotis Manolios
• [PVS] ATVA 2006: CFP & Proceedings accepted in LNCS, Farn Wang
• [PVS] FORTE 2006: Call-for-Papers, Farn Wang
• [PVS] CFP: AAAI-06 workshop on Learning for Search, ian miguel
• [PVS] CP-TOOLS-06: First International Day on ConstraintProgramming Tools, Christian Schulte
  • <Possible follow-ups>
  • [PVS] CP-TOOLS-06: First International Day on ConstraintProgramming Tools, Christian Schulte
  • [PVS] CP-TOOLS-06: First International Day on ConstraintProgramming Tools, Christian Schulte
• [PVS] CFP: MVLP06,Intl. Workshop on Multi-Valued Logic Programming and Applications, Ajay Mallya
• [PVS] Call For Participation - ETRICS 2006, Moritz Strasser
• [PVS] LOPSTR'06, Venice -- Final Call For Papers, LOPSTR 2006
• [PVS] Final Call for Papers: JELIA'06, Michael Fisher
• [PVS] AOSD 2007, Oege de Moor
  • <Possible follow-ups>
  • [PVS] aosd 2007, Oege . de . Moor
  • [PVS] aosd 2007, Oege . de . Moor
• [PVS] Call for Papers: 2nd IEEE P2M-Net 2006, CFP P2Mnet'06
• [PVS] CP 2006: Applications to Doctoral Program, Christian Schulte
• [PVS] WS-FM 2006 2nd Call For Papers (DEADLINE EXTENDED TO MAY 2), Mario Bravetti
• [PVS] 2nd CFP: FCS-ARSPA'06 (Workshop on Foundations of ComputerSecurity and Automated Reasoning for Security Protocol Analysis), vigano
• [PVS] EPEW'06, Call for Participation, EPEW2006
<