PVS Mail Index

• Thread Index

• [PVS] ICECCS 2012 - Call for Papers
  • From: Isabelle Perseil
• [PVS] IPSN'12 last call for papers: Abstracts are due soon
  • From: IPSN Publicity
• [PVS] PhD position on "Semantics and Verification of AcceleratorProgramming"
  • From: Marieke Huisman
• [PVS] ACSD 2012: First Call for Papers
  • From: Jens Brandt
• [PVS] PhD position on "Semantics and Verification of AcceleratorProgramming"
  • From: Marieke Huisman
• [PVS] LPAR-18 Call for Papers and Workshops
  • From: Geoff Sutcliffe
• [PVS] Turing Year in China - TAMC 2012
  • From: S B Cooper
• [PVS] CfP: 2nd Workshop on Model-driven Approaches for SimulationEngineering (Mod4Sim), in Symposium on Theory of Modeling and Simulation, SCSSpring Sim 2012
  • From: Daniele Gianni
• [PVS] 2nd CfP: AICT 2012 || May 27 - June 1, 2012 - Stuttgart,Germany
  • From: Cristina Pascual
• [PVS] IICE-2012: Call for Papers!
  • From: L inda Woods
• [PVS] CAV 2012: Call For Workshops
  • From: CAV 2012 CFP
• [PVS] Call for IJCAR 2012 Satellite Events
  • From: Geoff Sutcliffe
• [PVS] VSTTE 2012 Verification Competition: Change of Dates
  • From: Gudmund Grov
• [PVS] 2nd CFP: Programming Languages meets Program Verification(PLPV 2012)
  • From: PLPV 2012
• [PVS] CAV 2012: Call For Papers
  • From: CAV 2012 CFP
• [PVS] 2nd CfP: ICIMP 2012 || May 27 - June 1, 2012 - Stuttgart,Germany
  • From: Cristina Pascual
• [PVS] CICM 2012: Call for workshops
  • From: Johan Jeuring
• [PVS] CFPs Reminder - few days to the deadline
  • From: e-CASE & E-Tech
• [PVS] CFP of IJCNDS journal: Cloud Computing
  • From: Hamid Mcheick
• [PVS] CLA 2011: Call for participation (updated!)
  • From: Mehdi KAYTOUE
• [PVS] QAPL 2012: First Call for Papers
  • From: Mieke Massink
• [PVS] Sensors - Special Issue "Underwater Sensor Nodes andUnderwater Sensor Networks"
  • From: Jaime Lloret Mauri
• [PVS] RTA 2012: First Call For Papers
  • From: Georg
• [PVS] IEEE NAS 2012 Call For Papers
  • From: Lei Tian
• [PVS] Ph.D. position at ETH Zurich
  • From: Christoph Sprenger
• [PVS] VSTTE 2012 verification competition: call for participation
  • From: Gudmund Grov
• [PVS] Call For Papers --- ICIS2012
  • From: icis2012
• [PVS] Call for Participation: MACIS 2011
  • From: MACIS 2011
• [PVS] Final CFPs: CFV'11 affiliated with ICCAD'11,extended deadline of Oct 3
  • From: Daniel Große
• [PVS] ITP 2012: Call for workshop proposals
  • From: Lennart Beringer
• [PVS] Deadline Extension: ICN 2012 || February 29 - March 5,2012 - Reunion Island
  • From: Cristina Pascual
• [PVS] WRLA 2012: Call for papers
  • From: Francisco Durán
• [PVS] CfP for 9th International Workshop on Formal Engineeringapproachesto Software Components and Architectures at ETAPS2012,Tallinn, Estonia
  • From: Lucia Kapova
• [PVS] OpenCert 2011 - Final Call for Paper
  • From: Antonio Cerone
• [PVS] CfP: 2nd Workshop on Model-driven Approaches for SimulationEngineering (Mod4Sim), in Symposium on Theory of Modeling and Simulation, SCSSpring Sim 2012
  • From: Daniele Gianni
• [PVS] [simu-conf] TMS/DEVS 2012 - Call for Papers
  • From: vsim-conf
• [PVS] [simu-conf] CfP: 2nd Workshop on Model-driven Approaches forSimulation Engineering (Mod4Sim),in Symposium on Theory of Modeling and Simulation, SCS Spring Sim 2012
  • From: vsim-conf
• [PVS] DIFTS11: Call for Participation [Early registration ends Sept27]
  • From: Malay Ganai
• [PVS] PhD Position in Programming Methodology at ETH Zurich
  • From: Mueller Peter
• [PVS] CFP: CFV'11 abstracts due on Sunday, Sept 25
  • From: Daniel Große
• [PVS] CFPs: International Conference in Hong Kong
  • From: e-CASE & E-Tech
• [PVS] Call for participation CLA 2011
  • From: Mehdi.Kaytoueuberall
• [PVS] Workshop on Computational Advances in Molecular Epidemiology-- extended deadline Oct. 1
  • From: CAME Workshop Mailing List
• [PVS] 2nd CfP: PESARO 2012 || April 29 - May 4,2012 - Chamonix / Mont Blanc, France
  • From: Cristina Pascual
• [PVS] 2nd CfP: ICDT 2012 || April 29 - May 4,2012 - Chamonix / Mont Blanc, France
  • From: Jaime Lloret Mauri
• [PVS] 2nd CfP: MMEDIA 2012 || April 29 - May 4,2012 - Chamonix / Mont Blanc, France
  • From: Cristina Pascual
• [PVS] CONCUR 2012: Call for workshops
  • From: Emilio Tuosto
• [PVS] 4th CFPs: Constraints in Formal Verification 2011
  • From: Daniel Große
• [PVS] 2nd CfP: CTRQ 2012 || April 29 - May 4,2012 - Chamonix / Mont Blanc, France
  • From: Cristina Pascual
• [PVS] [CIBCB] Call for Papers: 2012 IEEE Symposium on ComputationalIntelligence in Bioinformatics and Computational Biology(IEEE CIBCB 2012)
  • From: cibcb
• [PVS] Fwd: [CFP] International Conference on Advances in CloudComputing, Bangalore, India
  • From: Rajiv Ranjan
• [PVS] Workshop on Computational Advances in Molecular Epidemiology-- submission deadline Sept. 20
  • From: CAME Workshop Mailing List
• [PVS] NFM 2012 Call For Papers
  • From: MUNOZ, CESAR (LARC-D320)
• [PVS] [fm-announcements] NFM 2012 Call For Papers
  • From: PERSON, SUZETTE (LARC-D320)
• [PVS] Call-for-Papers from an International Journal and Conference
  • From: e-CASE & E-Tech
• [PVS] CMCS 2012: call for papers and revised dates
  • From: A.M.Silva
• [PVS] LPAR-18 Venezuela- Call for Papers
  • From: Geoff Sutcliffe
• [PVS] FGCS Special Issue on Model-driven Provisioning of ApplicationServices in Hybrid Computing Environments
  • From: Rajiv Ranjan
• [PVS] Call for Proposals for Workshops, Formal Methods 2012
  • From: Tayssir Touili
• [PVS] [Researchers] ICC'2012 - Call for Tutorials
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] 1st cfp: Automated Reasoning and Mathematics: Essays inMemory of William McCune
  • From: Maria Paola Bonacina
• [PVS] CFP: International Journal "Network Protocols and Algorithms"
  • From: Jaime Lloret Mauri
• [PVS] First CfP: International Conference on Test and Proofs (TAP2012), Next Deadline: 2011-12-14
  • From: Achim D. Brucker
• [PVS] [qest-announce] ETAPS 2012: Call for Papers
  • From: Joost-Pieter Katoen
• [PVS] FMCO 2011 and FoVeOOS 2011 call for participation
  • From: Ferruccio Damiani
• [PVS] DIFTS11: Call for Participation
  • From: Malay Ganai
• [PVS] CALL FOR PARTICIPATION: IEEE Symposium on Biological DataVisualization (BioVis 2011)
  • From: Kang Li
• [PVS] CALL FOR WORKSHOP PROPOSALS - iFM & ABZ 2012
  • From: Maurice ter Beek
• [PVS] 3rd CFPs: Constraints in Formal Verification 2011
  • From: Daniel Große
• [PVS] [ESSOS] CFP: International Symposium on Engineering SecureSoftware and Systems (ESSoS) -- deadline approaching!
  • From: Pieter Philippaerts
• [PVS] CFP: Programming Languages meets Program Verification (PLPV2012)
  • From: PLPV 2012
• [PVS] CFP DATE'12,Topic E3: Model-Based Design and Verification for Embedded Systems
  • From: Saddek Bensalem
• [PVS] RuleML2011@BRF Challenge - Paper and demo submission deadlineextension
  • From: The RuleML2011@BRF Challenge Chairs
• [PVS] Call for papers: Programming Languages meets ProgramVerification (PLPV)
  • From: PLPV 2012
• [PVS] Call for Participation: ICCD 2011 - IEEE INTERNATIONALCONFERENCE ON COMPUTER DESIGN
  • From: ICCD Conference
• [PVS] Call for Papers: THedu'11 (Post-proceedings)
  • From: Pedro Quaresma
• [PVS] [Researchers] ICC'2012 - Call for Tutorials
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] RP 2011: FINAL CALL FOR PARTICIPATION
  • From: Giorgio Delzanno
• [PVS] 2nd CFPs: Constraints in Formal Verification 2011
  • From: Daniel Große
• [PVS] Deadline Extension: ICDS 2012 || January 30 - February 4,2012 - Valencia, Spain
  • From: Jaime Lloret Mauri
• [PVS] CFP - 24th IEEE International SoC Conference (SOCC2011)
  • From: SOCC2011
• [PVS] VSTTE 2012: Extended deadline for paper submission: September10
  • From: Gudmund Grov
• [PVS] Last Call for Papers - IEEESOSE2011 - Deadline of SecondRound of Paper Submissions on 9/4/2011
  • From: jerry gao
• [PVS] 2nd CFP: Computational Advances in Molecular Epidemiology
  • From: CAME Workshop Mailing List
• [PVS] CFP (Deadline Extended to Sept. 7th) - Coordination Models,Languages and Applications - CM track at ACM SAC 2012
  • From: Jose Luis Fernandez-Marquez
• [PVS] PADL'12 Second CFP
  • From: Neng-Fa Zhou
• [PVS] CFP: Constraints in Formal Verification 2011
  • From: Daniel Große
• [PVS] Call for Posters - GreenNets 2011
  • From: Jaime Lloret Mauri
• [PVS] FINAL CALL FOR PARTICIPATION AND POSTERS - MLQA 2011(Collocated with CONCUR, QEST,and TGC) - Models and Logics for Quantitative AnalysiS
  • From: Ender Yuksel
• [PVS] CFP: Constraints in Formal Verification 2011
  • From: Miroslav Velev
• [PVS] =?utf-8?q?=5BCFP=5D_Special_Issue_on_=E2=80=9CApplications?==?utf-8?q?_of_Machine_Learning_Techniques_on_Intrusion_Detection_and_Digi?==?utf-8?q?tal_Forensics=E2=80=9D?=
  • From: Irfan Ahmed
• [PVS] [Researchers] ICC'2012 - Call for Tutorials
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] SSS 2011 - Call for Participation
  • From: Doina Bein
• [PVS] Reminder-the Deadline August 31,2011 is approaching - ISKE2011 Second Call For Papers
  • From: =?GBK?Q?ISKE2011=D7=E9=CE=AF=BB=E1?=
• [PVS] International Conference in Hong Kong: Call-for-Papers
  • From: e-CASE & E-Tech
• [PVS] [fm-announcements] RV'11 San Francisco - Call forParticipation
  • From: Havelund, Klaus (318M)
• [PVS] CMCS 2012: First call for papers
  • From: A.M.Silva
• [PVS] VSTTE 2012: Final Call for Papers - Submission Deadline:August 31
  • From: Gudmund Grov
• [PVS] Call for Participation: LFMTP/MLPA, August 26, Nijmegen
  • From: Florian Rabe
• [PVS] Open Position at the RCIS/JAIST
  • From: Norbert Preining
• [PVS] VW-FEDA'2011 Call for Papers - deadline extended until Sept 5, 2011
  • From: pvs-bounces+archive=csl.sri.com
• [PVS] CfP: ICDS 2012 || January 30 - February 4, 2012 - Valencia,Spain
  • From: Jaime Lloret Mauri
• [PVS] Call for Papers: The 6th International Conference for InternetTechnology and Secured Transactions (ICITST-2011)!
  • From: d.lin@icitst.org
• [PVS] CFP DATE'12,Topic E3: Model-Based Design and Verification for Embedded Systems
  • From: Saddek Bensalem
• [PVS] [Researchers] 10th IEEE* I2TS'2011 - Florianopolis,Santa Catarina Island, Brazil - December 19-21, 2011 .
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] CFP 10th I2TS'2011
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] Call for Papers: The 6th International Conference for InternetTechnology and Secured Transactions (ICITST-2011)!
  • From: d.lin@icitst.org
• [PVS] 2nd CfP: ICONS 2012 || February 29 - March 5,2012 - Reunion Island
  • From: Cristina Pascual Gonzalez
• [PVS] 2nd CFP for LRL 2011: Addressing the Gaps in LanguageResources and Technologies (deadline September 5, 2011)
  • From: Language and Technology Conference
• [PVS] VW-FEDA'2011 Call for Papers - 4 days to go
  • From: pvs-bounces+archive=csl.sri.com
• [PVS] CfP: Nordic Workshop on Programming Theory (NWPT'11)
  • From: Paul Pettersson
• [PVS] CFP: AVoCS Special Issue in SCP
  • From: AVoCS
• [PVS] CFP: DDDM 2011 Workshop joint with ICDM 2011,Deadline August 15, Vancouver, Canada
  • From: Notice
• [PVS] 2nd CfP: ICN 2012 || February 29 - March 5,2012 - Reunion Island
  • From: Cristina Pascual Gonzalez
• [PVS] [qest-announce] Final Call for Participation CONCUR/QEST/TGC2011
  • From: Joost-Pieter Katoen
• [PVS] [qest-announce] ETAPS 2012: First Call for Papers
  • From: Joost-Pieter Katoen
• [PVS] Call for posters and demos - UCC2011 [Deadline Extended toAugust 26, 2011]
  • From: Rajiv Ranjan
• [PVS] [Researchers] ICC'2012 - Call for Tutorials
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] CFP - 24th IEEE International SoC Conference (SOCC2011)
  • From: SOCC2011
• [PVS] MetiTarski 1.9 released!
  • From: Lawrence Paulson
• [PVS] VSTTE 2012 : Fourth Call for Papers - 4 weeks to go
  • From: Gudmund Grov
• [PVS] VW-FEDA'2011 Call for Papers
  • From: feda
• [PVS] VW-FEDA'2011 Call for Papers
  • From: feda
• [PVS] Fwd: Call for Workshops CGC 2011
  • From: Rajiv Ranjan
• [PVS] Fwd: AusPDC2012 Final Call for Papers (Deadline: 15 August2011)
  • From: Rajiv Ranjan
• [PVS] CFP: DDDM 2011 Workshop joint with ICDM 2011,Deadline August 5, Vancouver, Canada
  • From: Notice
• [PVS] [Researchers] 10th IEEE* I2TS'2011 - Florianopolis, Brazil,13-15/12/2011. ***NEW DEADLINE, NEW PLACE***
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] CFP: DDDM 2011 Workshop joint with ICDM 2011,Deadline August 5, Vancouver, Canada
  • From: Notice
• [PVS] Extended Deadline: MACIS 2011
  • From: MACIS 2011
• [PVS] CFP: Computational Advances in Molecular Epidemiology
  • From: CAME Workshop Mailing List
• [PVS] CfPart: TIME'11
  • From: Martin Leucker
• [PVS] [simu-conf] TMS/DEVS 2012 - Call for Papers
  • From: vsim-conf
• [PVS] IRI 2011 CALL FOR PARTICIPATION
  • From: Chengcui Zhang
• [PVS] [VMCAI2012] VMCAI 2012 CALL FOR PAPERS
  • From: Andrey Rybalchenko
• [PVS] RP 2011: Second Call for Participation: Early Reg Deadline:July 31
  • From: Giorgio Delzanno
• [PVS] Call for Papers for UCC 2011 Workshops
  • From: Mukaddim.Pathan
• [PVS] LTC 2011, Poznan, Poland, 25-27/11/2011 - deadline extension
  • From: Language and Technology Conference
• [PVS] TMC 2011 Call for Papers
  • From: Sandip Ray
• [PVS] CALL FOR PAPERS FOR THE "EMBS" TRACK SAV 2012
  • From: Malay Ganai
• [PVS] Early registration deadline approaching for FCT 2011 -Fundamentals of Computation Theory in Oslo
  • From: Cristian Prisacariu
• [PVS] CFP: International Journal of Software Engineering SpecialIssue (deadline: October 15, 2011)
  • From: Mukaddim.Pathan
• [PVS] CFP: PETRI NETS 2012,33rd International Conference on Applicationand Theory of Petri Nets and Concurrency
  • From: Petri Nets 2012
• [PVS] Final CFP: FoVeOOS 2011 (post-proceeding will be published onSpringer LNCS)
  • From: Ferruccio Damiani
• [PVS] Call for Papers: The 6th International Conference for InternetTechnology and Secured Transactions (ICITST-2011)!
  • From: d.lin@icitst.org
• [PVS] CSL call for participation
  • From: Geoff Sutcliffe
• [PVS] Call for papers - International Workshop on Next GenerationIntelligent Medical Decision Support Systems (MedDecSup 2011)
  • From: laszlo
• [PVS] LTC 2011 - deadline reminder
  • From: Language and Technology Conference
• [PVS] 2nd CfP: eTELEMED 2012 || January 30 - February 4,2012 - Valencia, Spain
  • From: Cristina Pascual
• [PVS] 2nd CfP: ICDS 2012 || January 30 - February 4, 2012 - Valencia,Spain
  • From: Jaime Lloret Mauri
• [PVS] CFP for IEEESOSE2011 -The 6th IEEE International Symposium onService-Oriented System Engineering (EI-Indexed)- deadlinehas been extended to 8/8/2011.
  • From: Zeyu Gao
• [PVS] 2nd CfP: CYBERLAWS 2012 || January 30 - February 4,2012 - Valencia, Spain
  • From: Sandra Sendra
• [PVS] 2nd CfP: GEOProcessing 2012 || January 30 - February 4,2012 - Valencia, Spain
  • From: Sandra Sendra
• [PVS] CP 2011 - Call for Participation
  • From: CP2011_info
• [PVS] COMPUTABILITY - The Journal of the Association CiE
  • From: S Barry Cooper
• [PVS] Fwd: Call for Research Demos - UCC 2011
  • From: Rajiv Ranjan
• [PVS] *** CALCO 2011: Early registration extended until July 27 ***
  • From: Corina Cirstea
• [PVS] Call for Papers: The 6th International Conference for InternetTechnology and Secured Transactions (ICITST-2011)!
  • From: g.akmayeva@icitst.org
• [PVS] Second Call for Papers: MACIS 2011
  • From: MACIS 2011
• [PVS] =?utf-8?q?Call_For_Participation_***_=5BFLACOS_2011=5D=3A_?==?utf-8?q?Workshop_on_Formal_Languages_and_Analysis_of_Contract-Or?==?utf-8?q?iented_Software_=28M=C3=A1laga=2C_Spain=29?=
  • From: info.flacos2011@lcc.uma.es
• [PVS] CFP: DDDM 2011 Workshop joint with ICDM 2011,Deadline August 5, Vancouver, Canada
  • From: Notice
• [PVS] Call for Workshops: CCGrid 2012, Ottawa, Canada
  • From: Mukaddim.Pathan
• [PVS] NASSLLI 2012 - 2nd CALL for COURSE and WORKSHOP PROPOSALS
  • From: Carlos Areces
• [PVS] [ESSOS] CFP: International Symposium on Engineering SecureSoftware and Systems (ESSoS)
  • From: Pieter Philippaerts
• [PVS] Second CFP - Coordination Models,Languages and Applications - CM track at ACM SAC 2012
  • From: Jose Luis Fernandez-Marquez
• [PVS] CFP - IEEESOSE2011 - The 6th IEEE International Symposium onService-Oriented System Engineering
  • From: jerry gao
• [PVS] Deadline July 17 - IEEE Globecom Workshop: SCPA 2011
  • From: Jaime Lloret Mauri
• [PVS] Haifa Verification Conference 2011: call for papers
  • From: Onn Shehory
• [PVS] MEMICS 2011 CfP : Deadlines extended
  • From: Radek Kočí
• [PVS] Final CFP TTSS'11 (deadline extended)
  • From: Sun Meng
• [PVS] VSTTE 2012 : Third Call for Papers
  • From: Gudmund Grov
• [PVS] [qest-announce] Call for Participation CONCUR/QEST/TGC 2011
  • From: Joost-Pieter Katoen
• [PVS] CFP [LAST WEEK]: MarSS 2011 - International Workshop onMarine Sensors and Systems - (In conjunction with IEEE MASS 2011)
  • From: Sandra Sendra
• [PVS] July 15th (firm!): EMERGING 2011 || November 20-25,2011 - Lisbon, Portugal
  • From: Cristina Pascual
• [PVS] July 15th (firm!): UBICOMM 2011 || November 20-25,2011 - Lisbon, Portugal
  • From: Jaime Lloret Mauri
• [PVS] Call for Papers: Workshop on E-Learning Security (ELS-2011)
  • From: g.akmayeva@icitst.org
• [PVS] [DEADLINE EXTENDED] CFP - IEEE GLOBECOM 2011 - SmartCommunication Protocols & Algorithms (SCPA 2011)
  • From: Sandra Sendra
• [PVS] Fwd: IEEE Utility and Cloud Computing (UCC 2011): Call forDemos (deadline, July 25)
  • From: Rajiv Ranjan
• [PVS] SSV 2011: Call for Participation
  • From: Hendrik Tews
• [PVS] [Deadline Extension] Final CFP: The 7th InternationalConference on Advanced Data Mining and Applications (ADMA'11)
  • From: ADMA 2011
• [PVS] *** CALCO 2011: Early registration deadline approaching ***
  • From: Corina Cirstea
• [PVS] RP 2011: First Call for Participation
  • From: Giorgio Delzanno
• [PVS] 3rd and final CFPs: SARA'11, deadline April 15
  • From: Miroslav Velev
• [PVS] FMICS 2010 Call For Participation
  • From: Marco Roveri
• [PVS] Call for Participation: FMCAD 2010
  • From: natasha.sharygina@usi.ch
• [PVS] IWIL workshop at LPAR-17 in Indonesia - Extended deadline
  • From: Geoff Sutcliffe
• [PVS] TSD 2010 Call for Demonstrations and Participation
  • From: TSD 2010
• [PVS] [qest-announce] QEST 2010 / NSMC 2010 - Call for participation
  • From: QEST2010
• [PVS] Call for Journal Papers on a special issue on software testautomation (deadline 9/1/2010)
  • From: jerry gao
• [PVS] Call for participation: Workshop on Mechanizing Metatheory
  • From: Benjamin Pierce
• [PVS] [Researchers]=?utf-8?q?I2TS=272010_=E2=80=93_9th_International_I?==?utf-8?q?nformation_and_Telecommunication_Technologies_Symposium?=
  • From: Mirela Sechi Moretti Annoni Notare
• [PVS] CFP: SCPE Special Issue (Network Management in DistributedSystems)
  • From: Mukaddim.Pathan
• [PVS] Last Cfp: Software Verification and Testing at ACM SAC 2011
  • From: Jan Cederquist
• [PVS] AMT-BI 2010 Call for Participations
  • From: wic-office
• [PVS] CFP: Third NASA Formal Methods Symposium (NFM 2011)
  • From: Kristin Yvonne Rozier
• [PVS] Journal Special Call for Survey articles on Semantic Webtopics
  • From: Pascal Hitzler
• [PVS] IJCNN 2011 Call for Competitions
  • From: IEEE Competition Chair IJCNN11
• [PVS] CFPart : iFM 2010
  • From: Stephan Merz
• [PVS] Call for Participation: ATVA 2010, 21st - 24th Singapore
  • From: jun sun
• [PVS] Call for Participation: ATVA 2010, 21st - 24th Singapore
  • From: jun sun
• [PVS] [qest-announce] Conference on Data Engineering and InternetTechnology, Bali [EI Compendex, ISTP, IEEE Xplore]
  • From: Jane Lew
• [PVS] [qest-announce] ACM MobiCom/MobiHoc 2010: Call forParticipation
  • From: Vikas Kawadia
• [PVS] [qest-announce] CFP: European Conference on Web Services(ECOWS 2010) *** Deadline Extended by 1 week ***
  • From: Announcements
• [PVS] [qest-announce] CFP: 19th Euromicro PDP *** Deadlineextension by 2 weeks ***
  • From: Announcements
• [PVS] [qest-announce] [simu-conf] Symposium of Theory of Modeling &Simulation 2011 (TMS/DEVS'11) - Preliminary CFP
  • From: vsim-conf
• [PVS] FMSPLE 2010 - Call for Participation
  • From: Ina Schaefer
• [PVS] [CIBCB] CIBCB 2011
  • From: cibcb
• [PVS] Final CFP: Deadline is approaching (31 July): 13thInternational Conference on Computer and Information Technology (ICCIT 2010)
  • From: Syed Rafiul Hussain
• [PVS] PhoneSense CfP: Submission deadline: 8/13/2010
  • From: Jie Liu
• [PVS] EPEW 2010 -- first call for participation
  • From: Marco Bernardo
• [PVS] ICLA 2011: 4th Indian Conference on logic and itsapplications, New Delhi, Jan 9-11,2011: Submission Deadline approaching - July 31, 2011
  • From: Sujata Ghosh
• [PVS] Special offer: 10% registration discount until Friday - SmartEvent'10 - Sept. 21-24, 2010, Sophia Antipolis, French Riviera
  • From: Smart Event'10
• [PVS] VSTTE 2010: Third Call for Participation -- EarlyRegistration ends this week!
  • From: Gudmund Grov
• [PVS] LPAR-17 call for short papers, workshop submissions
  • From: Geoff Sutcliffe
• [PVS] Call for Workshop Papers in ICDM 2010 (New Deadline on Aug 9,2010)
  • From: yangjia0426
• [PVS] IEEE TASE 2010: Call-for-Participation (early registrationand hotel information available)
  • From: Farn Wang
• [PVS] [PerMobCom] CFP: iiWAS2010 and MoMM2010 - Master and DoctoralColloq
  • From: Bessam Abdulrazak
• [PVS] MetiTarski 1.5 released!
  • From: Lawrence Paulson
• [PVS] Call for Papers for ACM PLPV 2011
  • From: Ranjit Jhala
• [PVS] Submission Deadline Extended!!! 4th Indian Conference onlogic and its Applications, January 9-11, 2011, New Delhi, India
  • From: Sujata Ghosh
• [PVS] [ESSOS] CFP: International Symposium on Engineering SecureSoftware and Systems (ESSoS)
  • From: Pieter Philippaerts
• [PVS] Call for Workshop Proposals PAKDD2011
  • From: yangjia0426
• [PVS] FACS 2010 Call for Papers: 2 weeks left!
  • From: Nuno F. Rodrigues
• [PVS] Call for open reviews: Semantic Web journal
  • From: Pascal Hitzler
• [PVS] Final call for abstracts: Workshop on Mechanizing Metatheory
  • From: Benjamin Pierce
• [PVS] [fm-announcements] CFP: Third NASA Formal Methods Symposium(NFM 2011)
  • From: Havelund, Klaus (316D)
• [PVS] Call for Participation WS-FM 2010 - Formal aspects of serviceoriented and cloud computing
  • From: Mario Bravetti
• [PVS] PSI'11: Preliminary CFP
  • From: PSI2011 Conference
• [PVS] VSTTE Informal Verification Competition
  • From: Natarajan Shankar
• [PVS] VSTTE 2010: Second Call for Participation -- EarlyRegistration ends in 2 weeks
  • From: Gudmund Grov
• [PVS] Summer School on Cooperative Monitoring in Robot and SensorNetworks
  • From: Abdelmajid Khelil
• [PVS] ICGT and SPIN: Call for participation
  • From: Jaco van de Pol
• [PVS] IEEE IVCS 2011
  • From: Carlos T. Calafate
• [PVS] Deadline Extended (31 July): 13th International Conference onComputer and Information Technology (ICCIT 2010)
  • From: Syed Rafiul Hussain
• [PVS] [Fwd: Call for Participation, VSST'2010]
  • From: haddadi
• [PVS] CfP MoDELS ACES-MB 2010 - DEADLINE EXTENSION JULY 22nd
  • From: Stefan Van Baelen
• [PVS] PhD Position in Automated Reasoning Using Machine Learning(vacancy number 62.58.10)
  • From: Josef Urban
• [PVS] Call for participation (Trusted Extensions of ITPs)
  • From: Konrad Slind
• [PVS] PASCO 2010: Programming Challenge
  • From: Daniel de Angelis Cordeiro
• [PVS] PADL'11 - Call for Papers
  • From: Ricardo Rocha
• [PVS] SenSys 2010 - Call for Posters
  • From: Niels Brouwers - EWI
• [PVS] CSET'10 Call for Participation
  • From: Angelos Stavrou
• [PVS] CFP - First International Pervasive Model Checking Workshop(PMCW 2010 ) @ Singapore
  • From: jun sun
• [PVS] CFP: PAKDD2011
  • From: yangjia0426
• [PVS] Call for Papers - DDDM2010
  • From: xinhua zhu
• [PVS] Call For Papers: "Internet-based Content Delivery" (SpecialIssue of Computer Networks-Elsevier)
  • From: Mukaddim.Pathan
• [PVS] constraint track at SAC 2011: call for paper
  • From: Stefano Bistarelli
• [PVS] 2 Post-doc positions in software verification at OxfordUniversity
  • From: Daniel Kroening
• [PVS] [qest-announce] QEST 2010 / NSMC 2010 - Call forparticipation - Early Registration Deadline July 15th
  • From: QEST2010
• [PVS] Sensys 2010 - Call for Demos & Call for Doctoral SymposiumPapers
  • From: Radu Stoleru
• [PVS] IJUSE - Open Call for Papers, Columns and more
  • From: Shivanshu Singh
• [PVS] IJUSE - Call for Participation and Editorial Board Membership
  • From: Shivanshu Singh
• [PVS] MOBICASE 2010 - Call for Workshop Papers, Demos, and Posters
  • From: ICST News
• [PVS] FACS 2010: Final call for papers (Submission deadlineextended)
  • From: Nuno F. Rodrigues
• [PVS] CALL FOR PARTICIPATION: Formal Aspects of Component Software(FACS 2010)
  • From: Nuno F. Rodrigues
• [PVS] [2nd CfP] SAC 2011 Track on Coordination Models,Languages and Applications
  • From: Matteo Casadei
• [PVS] VSTTE 2010: First Call for Participation
  • From: Gudmund Grov
• [PVS] 2nd Cfp: Software Verification and Testing at ACM SAC 2011
  • From: Jan Cederquist
• [PVS] Smart Mobility 2010,Building trusted mobile applications: EARLY BIRD ends July 10
  • From: Smart Mobility conference
• [PVS] POPL 2011: Call for Papers
  • From: Tayssir Touili
• [PVS] Journal CfP: Semantic Web Tools and Systems - deadlineextension
  • From: Pascal Hitzler
• [PVS] IJCAR 2010 - Final Call for Participation
  • From: Viorica Sofronie-Stokkermans
• [PVS] Call for Papers - AVoCS 2010
  • From: AVoCS
• [PVS] Deadline Extended (15 July): 13th International Conference onComputer and Information Technology (ICCIT 2010)
  • From: Syed Rafiul Hussain
• [PVS] Postdoc positions available
  • From: Alessandro Cimatti
• [PVS] CAV 2010 Last Call for Participation and regular registration
  • From: Tayssir Touili
• [PVS] CFP - 6th IEEE Workshop on Broadband Wireless Access (BWA)@Globecom - Extended Deadline to 3rd July
  • From: Thomas Michael Bohnert
• [PVS] CfP: Programming Support Innovations for Emerging DistributedApplications (PSI EtA 2010), International Workshop
  • From: Patrick Eugster
• [PVS] Call For Contest Participation (ICDM 2010)
  • From: yangjia0426
• [PVS] GPCE'10 Call for Tutorial Lectures
  • From: Rob Economopoulos
• [PVS] [qest-announce] QEST 2010 / NSMC 2010 - Call for participation
  • From: QEST2010
• [PVS] Call for Participation: SICSA Summer School on FormalReasoning & Representation of Complex Systems
  • From: Gudmund Grov
• [PVS] Special Issue of Quantitative Aspects of ProgrammingLanguages and Systems
  • From: Gethin Norman
• [PVS] abstract deadline for contributed talks: Trusted Extensionsof ITPs
  • From: Matt Kaufmann
• [PVS] Call for Participation: ESSLLI 2010
  • From: Rasmus K. Rendsvig
• [PVS] [PerMobCom] Deadline extension - MoMM2010, 8-10 November 2010,Paris, France
  • From: Bessam Abdulrazak
• [PVS] [PerMobCom] Deadline extension - iiWAS2010, 8-10 November 2010,Paris, France
  • From: Bessam Abdulrazak
• [PVS] FLoC 2010: Final Call for Participation
  • From: Nicole Schweikardt
• [PVS] Call for Participation: Content Math Training Camp at CICM(July 5 to 9, Paris)
  • From: Christoph LANGE
• [PVS] [Ai-lists] JCAI-11 Integrated and Embedded AI (IEAI) Track
  • From: Carles Sierra
• [PVS] [Ai-lists] IJCAI 2011
  • From: Carles Sierra
• [PVS] MKM 2010: Call for Participation
  • From: Alan P. Sexton
• [PVS] CfP: "Real-World Applications of OWL" SWJ special issue
  • From: Pascal Hitzler
• [PVS] [prib2010] PRIB 2010: Call for short papers and posterabstracts
  • From: Jin-Kao Hao
• [PVS] [NPA] CFP: Network Protocols and Algorithms
  • From: Jaime Lloret Mauri
• [PVS] CFP - International Journal of Ubiquitous Computing (IJUC)
  • From: Abdelmajid Khelil
• [PVS] [Extended Deadline] MELT 2010, co-located with IEEE MASS 2010
  • From: Kavitha Muthukrishnan
• [PVS] CFP - WoLLIC 2011, May 18-21, Philadelphia
  • From: Ruy de Queiroz
• [PVS] MOBICASE 2010 - Call for Workshop Papers
  • From: ICST News
• [PVS] [CFP] Malware 2010 Call for Papers
  • From: Matthieu.Kaczmarek
• [PVS] Fully-funded PhD in programming languages at Oxford
  • From: Jeremy.Gibbons
• [PVS] [PerMobCom] CFP: iiWAS2010 and MoMM2010 - Master and DoctoralColloquium (Paris, 8-10 Nov 2010)
  • From: Bessam Abdulrazak
• [PVS] UTP 2010 Shanghai - Deadline Extension
  • From: jun sun
• [PVS] Final CFP ICDM 2010
  • From: yangjia0426
• [PVS] VSTTE 2010: Final Call for Poster Session Submissions
  • From: Gudmund Grov
• [PVS] 2nd Call for Papers: OpenMath Workshop at CICM: Paris,July 8. Deadline June 18
  • From: Christoph LANGE
• [PVS] AISC'10 - Call for Participation
  • From: Serge Autexier
• [PVS] Special Issue of the IJCNIS Journal - Cross-layeroptimization techniques and security in next generation networks
  • From: Jaime Lloret Mauri
• [PVS] [3rd Call for Papers] MELT 2010- Third International Workshopon Mobile Entity Localization and Tracking,co-located with IEEE MASS 2010
  • From: Kavitha Muthukrishnan
• [PVS] UML&FM 2010 CFP
  • From: Sun Meng
• [PVS] Deadline approaching: 13th International Conference onComputer and Information Technology (ICCIT 2009)
  • From: Syed Rafiul Hussain
• [PVS] FACS'10 2nd cfp
  • From: Sun Meng
• [PVS] FMSPLE 2010 - Deadline Approaching
  • From: Ina Schaefer
• [PVS] Workshop on Mathematically Intelligent Proof Search (MIPS) --Call for Presentations
  • From: Serge Autexier
• [PVS] IEEE TASE 2010: Call for Participation
  • From: Farn Wang
• [PVS] CALL FOR PAPERS : UML&FM’2010
  • From: Isabelle Perseil
• [PVS] PDMC 2010 2nd Call for Papers
  • From: Michael Weber
• [PVS] IDCS 2010 (Extended Submission Deadline: June 17, 2010)
  • From: Mukaddim.Pathan
• [PVS] INFINITY2010 at ATVA
  • From: Ahmed Rezine
• [PVS] CfP: MoDELS 2010 Workshop on Model Based Architecting andConstruction of Embedded Systems (ACES-MB 2010)
  • From: Stefan Van Baelen
• [PVS] Call For Poster -- SEFM 2010 Poster and Demo Tool Session
  • From: Gianluca Trentanni
• [PVS] [qest-announce] Student travel grants for QEST/NSMC
  • From: QEST2010
• [PVS] PASCO 2010: Call for Participation
  • From: pasco2010
• [PVS] VSTTE 2010: 2nd Call for Poster Session Submissions
  • From: Gudmund Grov
• [PVS] SenSys 2010 - Call for demos
  • From: Niels Brouwers - EWI
• [PVS] 2rd cfp for The 2010 International Workshop on Domain DrivenData Mining, Sydney, Due July 23
  • From: xinhua zhu
• [PVS] [PerMobCom] CFP: 12th @WAS International Conference onInformationIntegrationand, Web-based Applications & Services (iiWAS2010)- Paris,8-10 Nov 2010 (Extended deadline - June 21)
  • From: Bessam Abdulrazak
• [PVS] [PerMobCom] CFP: International Conference on Ambient Systems, Networks and Technologies(ANT-2010) - Paris,8-10 Nov 2010 (Extended deadline - June 21)
  • From: Bessam Abdulrazak
• [PVS] [PerMobCom] CFP: 8th @WAS International Conference on MobileComputing and Multimedia(MoMM2010) - Paris, 8-10 Nov 2010 (Extendeddeadline - June 21)
  • From: Bessam Abdulrazak
• [PVS] Deadline extension: SSV'10
  • From: Gerwin Klein
• [PVS] Amir Pnueli Festschrift at FLoC
  • From: Tayssir Touili
• [PVS] "Formal Aspects of Security and Trust: Submissions due 20June"
  • From: Joshua Guttman
• [PVS] Call for contributed talks (Trusted Extensions of ITPs)
  • From: Matt Kaufmann
• [PVS] ICGT'10 Doctoral Symposium: Last Call for Contributions -Deadline: June 11
  • From: Andrea Corradini
• [PVS] LPAR-17 extended submission deadlines
  • From: Geoff Sutcliffe
• [PVS] Cfp: Software Verification and Testing at ACM SAC 2011
  • From: Jan Cederquist
• [PVS] Deadline Extension: CFP: AHSWN - An International Journal,Special Issue on User-oriented,Service-oriented and Spontaneous Wireless Ad Hoc Networks
  • From: Jaime Lloret Mauri
• [PVS] Journal 2nd CfP: Semantic Web Tools and Systems
  • From: Pascal Hitzler
• [PVS] The deadlines for paper submission have been extended (ICFEM2010)
  • From: Huibiao Zhu
• [PVS] FMSPLE 2010 - Deadline Extended
  • From: Ina Schaefer
• [PVS] CFP: IDCS 2010, Melbourne,Australia (Submission Deadline: June 10, 2010)
  • From: Mukaddim.Pathan
• [PVS] Only TWO DAYS remaining for submissions to the 6th IEEE WiMobat Niagara Falls
  • From: Jaime Lloret Mauri
• [PVS] [2nd Call for Papers] MELT 2010- Third International Workshopon Mobile Entity Localization and Tracking,co-located with IEEE MASS 2010
  • From: Kavitha Muthukrishnan
• [PVS] [NPA] CFP: International Journal of Network Protocols andAlgorithms
  • From: Miguel Garcia
• [PVS] MoChArt 2010: Call for Participation
  • From: Jan-Georg Smaus
• [PVS] PhD position available on `The Productive Use of Failure inFormal Methods'
  • From: Gudmund Grov
• [PVS] MetiTarski 1.4 released!
  • From: Lawrence Paulson
• [PVS] Call for Papers: OpenMath Workshop at CICM: Paris,July 8. Deadline June 18
  • From: Christoph LANGE
• [PVS] [Deadline Extension to Jun 25,2010] Special Issue on Cloud Computing
  • From: Rajiv Ranjan
• [PVS] FLoC 2010: US-based Student Travel Support
  • From: Nicole Schweikardt
• [PVS] AVoCS 2010 in Düsseldorf
  • From: Michael Leuschel
• [PVS] 2nd CfP: Formal Aspects of Component Software (FACS 2010)
  • From: Markus Lumpe
• [PVS] Cfp:12th International Workshop on Verification ofInfinite-State Systems
  • From: Yu-Fang Chen
• [PVS] CALL FOR PARTICIPATION ASAP2010
  • From: asap2010-general
• [PVS] CfP: HAS'2011 - Hybrid Autonomous Systems
  • From: Manuela Bujorianu
• [PVS] Final CFP WS-FM 2010 - Formal aspects of service oriented andcloud computing
  • From: Mario Bravetti
• [PVS] CALL FOR PARTICIPATION - ECOOP conference tutorials
  • From: ECOOP 2010
• [PVS] Call for papers (ICFEM 2010)
  • From: Huibiao Zhu
• [PVS] CSET '10 Submission Extended to May 28
  • From: Angelos Stavrou
• [PVS] RR2010 call for position papers and PhD proposals
  • From: Pascal Hitzler
• [PVS] Deadline EXTENSION: MICAI 2010 - Artificial Intelligence,Springer LNAI, Mexico
  • From: MICAI 2010
• [PVS] EXTENDED DEADLINE: VSTTE workshops on Theory and onExperiments & Tools
  • From: Gudmund Grov
• [PVS] Call for Participation: 20th WADT, July 1-4, 2010
  • From: Till Mossakowski
• [PVS] New Deadline: June 8
  • From: RV 2010
• [PVS] WMM Call for Abstracts
  • From: Michael Norrish
• [PVS] Call for Presentations --- ACA 2010 Special Session
  • From: Volker Sorge
• [PVS] LPAR-17 submission deadlines
  • From: Geoff Sutcliffe
• [PVS] IEEE/ACM DCOSS 2010: Call for Participation and list ofaccepted papers
  • From: dcosspublicity
• [PVS] Call for papers (UTP 2010)
  • From: Huibiao Zhu
• [PVS] VSST'2010 (Toulouse,France) - Last Call For Papers - New dead line: 31 May 2010.
  • From: Bernard DOUSSET
• [PVS] [Goedel fellowship] Kurt Goedel Research Prize FellowshipsAnnouncement
  • From: Goedel fellowship
• [PVS] DisCoTec 2010: Call for Participation
  • From: Gianluigi Zavattaro
• [PVS] Call for participation: VTSA 2010 Summer School onVerification Technology, Systems & Applications
  • From: Jun PANG
• [PVS] Deadline approaching: May 25;MICAI 2010, Artificial Intelligence, Springer LNAI, Mexico
  • From: MICAI 2010
• [PVS] DEADLINES EXTENDED: Web Reasoning and Rule Systems 2010: Callfor Papers
  • From: Pascal Hitzler
• [PVS] 2nd CFP: SSV'10 @ USENIX OSDI 2010
  • From: Gerwin Klein
• [PVS] Deadline Extension: WiMob'2010, Niagara Falls, Canada,October 11-13, 2010
  • From: Jaime Lloret Mauri
• [PVS] CFP: 6th IEEE Workshop on Broadband Wireless Access (BWA)@Globecom
  • From: Thomas Michael Bohnert
• [PVS] [se-seafood] Call For Papers: ECSS 2010
  • From: Scott West
• [PVS] Call for Papers: APLAS 2010, Shanghai, China,November 28-December 1, 2010
  • From: Yih-Kuen Tsay
• [PVS] FMSPLE 2010 - Second Call for Papers
  • From: Ina Schaefer
• [PVS] cfp for The 2010 International Workshop on Domain Driven DataMining, Sydney, Due July 23
  • From: xinhua zhu
• [PVS] ACM BCB 2010 - Call for Participation
  • From: ACMBCB
• [PVS] Final Call for Papers: VSTTE workshops on Theory and onExperiments & Tools
  • From: Gudmund Grov
• [PVS] EPEW 2010 -- last call for papers (deadlines May 27-31)
  • From: Marco Bernardo
• [PVS] Call for abstracts: ISoLA 2010,Track on Model-based Testing for Security
  • From: Markus Roggenbach
• [PVS] =?utf-8?q?=E2=80=8BCall_for_Papers=3A_World_Congress_on_In?==?utf-8?q?ternet_Security_=28WorldCIS-2011=29?=
  • From: Paul Kelly
• [PVS] 2 open PhD positions in formal development and testing ofsecure software
  • From: Christoph Sprenger
• [PVS] [se-seafood] LASER Summer School: Update
  • From: Julian Tschannen
• [PVS] Call for papers (ICFEM 2010)
  • From: Huibiao Zhu
• [PVS] =?utf-8?q?=E2=80=8BCall_for_Papers=3A_World_Congress_on_In?==?utf-8?q?ternet_Security_=28WorldCIS-2011=29?=
  • From: Paul Kelly
• [PVS] iFM 2010: final CFP and deadline extension
  • From: Stephan Merz
• [PVS] IJCAR 2010 - 2nd Call for participation
  • From: Viorica Sofronie-Stokkermans
• [PVS] CAV 2010 Call for Participation and early registration
  • From: Tayssir Touili
• [PVS] ITP/FLoC early registration, program
  • From: Matt Kaufmann
• [PVS] CiE 2010 - Call for Participation and Informal Presentations
  • From: S B Cooper
• [PVS] RV'10 Final CFP - DEADLINE: June 1st
  • From: RV 2010
• [PVS] [PerMobCom] CFP: RED 2010, 8-10 November 2010, Paris, France
  • From: Bessam Abdulrazak
• [PVS] CSET '10 Call for Papers
  • From: Angelos Stavrou
• [PVS] [Call for Papers] MELT 2010- Third International Workshop onMobile Entity Localization and Tracking,co-located with IEEE MASS 2010
  • From: Kavitha Muthukrishnan
• [PVS] GPCE'10 Last Call for Papers
  • From: Rob Economopoulos
• [PVS] CFP: 13th International Conference on Computer andInformation Technology
  • From: Syed Rafiul Hussain
• [PVS] =?utf-8?q?=E2=80=8BCall_for_Papers=3A_ICITST-2010!?=
  • From: g.akmayeva@icitst.org
• [PVS] [qest-announce] DEADLINE EXTENDED: OPERATIONS RESEARCH 2010Munich
  • From: Markus Siegle
• [PVS] Call for Participation
  • From: Robert
• [PVS] ACM-BCB 2010 (Early Registration Due on June 1)
  • From: Taehyong Kim
• [PVS] AISC'10: Call for Short Presentations
  • From: Serge Autexier
• [PVS] CfP: 20th WADT - deadline extended to May, 10th
  • From: Till Mossakowski
• [PVS] 2nd CFP WS-FM 2010 - Formal aspects of service oriented andcloud computing
  • From: Mario Bravetti
• [PVS] [Researchers]13th ACM MSWiM´2010 - October 17-21, 2010, Bodrum, TURKEY ***deadline May8***
  • From: Mirela Sechi Moretti Annoni Notare
• [PVS] 2nd Call for Papers: VSTTE workshops on Theory and onExperiments & Tools
  • From: Gudmund Grov
• [PVS] CFP: 13th International Conference on Computer andInformation Technology
  • From: Syed Rafiul Hussain
• [PVS] Exploiting Concurrency Efficiently and Correctly: (EC)^2 ---Call for Participation
  • From: Azadeh Farzan
• [PVS] IWS 2010: Call for Participation
  • From: Munoz, Cesar Augusto (LARC-D320)
• [PVS] Call for Proposals/Participation: Training Camp and DoctoralProgramme at CICM (Paris, July 6-9)
  • From: Christoph LANGE
• [PVS] [ISBRA-L] ISBRA'10 -- Last Call for Late-Breaking PosterAbstracts
  • From: ISBRA Symposium Announcements
• [PVS] LPAR-17 in Indonesia - CFP and Workshops
  • From: Geoff Sutcliffe
• [PVS] [Call for participation] Workshop on Constraint Based Methodsfor Bioinformatics
  • From: Alessandro Dal Palu'
• [PVS] PAR'10: Programme and Call for Participation
  • From: Milad Niqui
• [PVS] FLoC 2010: 2nd Call for Participation
  • From: Nicole Schweikardt
• [PVS] CfP: 20th WADT - deadline extended to May, 10th
  • From: Till Mossakowski
• [PVS] [PerMobCom] CFP: 7th International Conference on UbiquitousIntelligence and Computing (UIC) Deadline EXTENDED
  • From: Bessam Abdulrazak
• [PVS] 2 open PhD positions in formal development and testing ofsecure software
  • From: Christoph Sprenger
• [PVS] Three Postdocs at Oxford University
  • From: Daniel Kroening
• [PVS] Final CFP and deadline extention: FMCAD 2010
  • From: natasha.sharygina@usi.ch
• [PVS] ICE 2010: Call for short contributions and participation
  • From: A.M.Silva
• [PVS] CfPart: Petri net course
  • From: Joao Paulo Barros
• [PVS] [qest-announce] DEADLINE EXTENDED: Quantitative Models forPerformance and Dependability (QMPD)
  • From: Markus Siegle
• [PVS] Call for Participation: FLoC Workshop on Modules andLibraries for Proof Assistants
  • From: Florian Rabe
• [PVS] CFP FAST 2010 - Formal Aspects of Security & Trust
  • From: Etalle, S.
• [PVS] A final reminder that the submission deadline for KSEM2010 ison 3 May.
  • From: Bi Yaxin
• [PVS] CFP FAST 2010 Formal Aspects of Security & Trust
  • From: Etalle, S.
• [PVS] Call For Editorial Board Members
  • From: Info CSC Journals
• [PVS] DCOSS 2010: Extended (IEEE Indexing) Call for Poster andDemonstrations
  • From: dcosspublicity
• [PVS] Last Mile || InfoWare 2010 [ICCGI, ICWMC, INTERNET,ACCESS] September 20-25, 2010 - Valencia, Spain
  • From: Miguel Garcia
• [PVS] E.W. Beth Dissertation Award 2010 - deadline extended
  • From: Richard Moot
• [PVS] [prib2010] PRIB-2010 SUBMISSION DEADLINE EXTENSION: 20 MAY2010
  • From: Jin-Kao Hao
• [PVS] Call for paper - October 18-22 Asuncion, Paraguay
  • From: Christian Von Lucken
• [PVS] FACS 2010 CFP
  • From: Sun Meng
• [PVS] Call for Papers: IDCS 2010 (Deadline: 10 June 2010)
  • From: Mukaddim Pathan
• [PVS] ICGT'10 Doctoral Symposium: First Call for Contributions
  • From: Andrea Corradini
• [PVS] VSTTE 2010: Call for POSTERS
  • From: Gudmund Grov
• [PVS] Postdoctoral position on the Predictable Software Systemsproject at Oxford
  • From: Marta Kwiatkowska
• [PVS] Call for reviewers: Journal of Network Protocols andAlgorithms
  • From: Editor-in-Chief NPA Journal
• [PVS] =?utf-8?q?=E2=80=8BCall_for_Papers=3A_ICITST-2010!?=
  • From: d.lin@icitst.org
• [PVS] STACS 2011 - Call for papers
  • From: Thomas Schwentick
• [PVS] Call for Participation: Mancoosi International SolverCompetition
  • From: Ralf Treinen
• [PVS] Reachability Problems 2010 (Extended Deadline: 11 May)
  • From: Igor Potapov
• [PVS] 2nd CfP: 20th WADT - deadline April, 30th
  • From: Till Mossakowski
• [PVS] [ISBRA-L] ISBRA'10 Call for Participation and Late-BreakingPoster Abstracts
  • From: ISBRA Symposium Announcements
• [PVS] Last CFP: DML 2010--Towards a Digital Mathematics Library,Paris, Jul 7-8th
  • From: dml2010
• [PVS] Deadline Extension: ACCESS 2010 || September 20-25,2010 - Valencia, Spain
  • From: Miguel Garcia
• [PVS] Deadline Extension: ICCGI 2010 || September 20-25,2010 - Valencia, Spain
  • From: Miguel Garcia
• [PVS] CFP: RULE 2010 - Deadline Extension
  • From: Dave Reynolds
• [PVS] Deadline Extension: ICWMC 2010 || September 20-25,2010 - Valencia, Spain
  • From: Jaime Lloret Mauri
• [PVS] Call for Tool Papers - Deadline Reminder: Workshop onInvariant Generation (WING 2010), Edinburgh, July 21, 2010
  • From: Laura Kovacs
• [PVS] [DEBS 2010] Please consider submitting to Posters,Demos and Fast Abstracts (May 1st deadline)
  • From: Leonardo Querzoni
• [PVS] FMSPLE 2010 - First Call for Papers
  • From: Ina Schaefer
• [PVS] Call for Informal Presentations and Participation
  • From: Milad Niqui
• [PVS] PhD Positions in Programming Methodology, ETH Zurich
  • From: Mueller Peter
• [PVS] CFP: VSTTE workshops on Theory and on Experiments & Tools
  • From: Gudmund Grov
• [PVS] [ISBRA-L] ISBRA'10 Call for Participation
  • From: ISBRA Symposium Announcements
• [PVS] 2nd CFP: FMCAD 2010
  • From: natasha.sharygina@usi.ch
• [PVS] IRI 2010 DL Today [Apr. 16]
  • From: Chengcui Zhang
• [PVS] Final CFP - 23rd IEEE SOCC 2010 - Extended Deadline May 3,2010
  • From: SOCC2010
• [PVS] CfP: 4th International Conference on Knowledge Science,Engineering and Management (KSEM`2010)
  • From: Bi Yaxin
• [PVS] DisCoTec 2010: Call for Participation
  • From: Gianluigi Zavattaro
• [PVS] EPEW 2010 -- first call for papers
  • From: Marco Bernardo
• [PVS] ESSLLI 2011 Call for Course and Workshop Proposals
  • From: Makoto Kanazawa
• [PVS] FLoC 2010: Student Travel Grants
  • From: Nicole Schweikardt
• [PVS] FLoC 2010: Student Travel Grants
  • From: Nicole Schweikardt
• [PVS] CfP 2d Workshop on Service oriented EA for EnterpriseEngineering (EDOC'2010)
  • From: Selmin Nurcan
• [PVS] [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)
  • From: Hassan Ait-Kaci
• [PVS] Deadline extension: FORMATS 2010 (The 8th InternationalConference on Formal Modelling and Analysis of Timed Systems)
  • From: Dejan Nickovic
• [PVS] =?utf-8?q?=E2=80=8BCall_for_Workshops_and_Tutorials=3A_ICI?==?utf-8?q?TST-2010!?=
  • From: g.akmayeva@icitst.org
• [PVS] QSIC 2010 Workshop CFP: Quality of Service-Based Systems
  • From: QSIC 2010
• [PVS] IRI 2010 DL Approaching [Apr. 16]
  • From: IEEE-IRI-Publicity
• [PVS] Call for Papers: 2010 AAAI CAS Fall Symposium
  • From: Ted Carmichael
• [PVS] [IEEE IECON-2010] CfP: "Petri Nets and Discrete EventSystems", November 7-10, 2010, Glendale, AZ, US.
  • From: Jin-Shyan Lee
• [PVS] CfPart: Joint ACSD'10 and Petri Nets'10 conference, Braga,Portugal, June 21-25
  • From: victor khomenko
• [PVS] FLoC 2010: Call for Participation
  • From: Nicole Schweikardt
• [PVS] new book series
  • From: carlos.martin
• [PVS] FMICS 2010: Call for Papers (deadline extended)
  • From: Marco Roveri
• [PVS] FMICS 2010: Call for Papers (deadline extended)
  • From: Marco Roveri
• [PVS] IET COM journal,CFP: Special Issue on Sensor Intelligence & Data Fusion
  • From: Jaime Lloret Mauri
• [PVS] Deadline Extended: 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010)
  • From: jun sun
• [PVS] CFP- Special Issue on Dynamic Analysis and Testing of EmbeddedSoftware (DATES)
  • From: jss-issue-fckuo
• [PVS] SPIN 2010 Last Call for Papers
  • From: Michael Weber
• [PVS] Reminder: Call for papers: FORMATS 2010 (The 8thInternational Conference on Formal Modelling and AnalysisofTimed Systems )
  • From: Dejan Nickovic
• [PVS] [PerMobCom] CFP iiWAS2010: 12th @WAS International Conferenceon Information Integration and Web-based Applications & Services
  • From: Bessam Abdulrazak
• [PVS] [PerMobCom] CFP UIC 2010: 7th International Conference onUbiquitous Intelligence and Computing
  • From: Bessam Abdulrazak
• [PVS] [PerMobCom] CFP MoMM2010: 8th @WAS International Conference onMobile Computing and Multimedia
  • From: Bessam Abdulrazak
• [PVS] Final call: AMAST 2010
  • From: amast-10
• [PVS] [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)
  • From: Hassan Ait-Kaci
• [PVS] Deadline of RTCSA 2010 has extended to 16 Apr 2010
  • From: Dr. Karl Ping Hung LEUNG æ¢ç§é
• [PVS] FLoC 2010: Call for Participation
  • From: Nicole Schweikardt
• [PVS] [qest-announce] Four positions on ERC VERIWARE project atOxford
  • From: Marta Kwiatkowska
• [PVS] SMT-COMP 2010
  • From: Clark Barrett
• [PVS] [ISBRA-L] ISBRA'10 short abstract submission deadline Friday, April 9, 2010
  • From: ISBRA Symposium Announcements
• [PVS] RV 2010 - 2nd Call for Papers and Tutorials
  • From: RV 2010
• [PVS] Amir Pnueli Memorial Symposium - May 7-9, 2010
  • From: MYV
• [PVS] Final ICDM 2010 Call For Workshop Proposals
  • From: yangjia0426
• [PVS] Final Call for Papers: ICGT 2010 -- Abstract submission: 9Apr '10
  • From: Eduardo Zambon
• [PVS] KR 2010 registration ends next week!
  • From: Joost Vennekens
• [PVS] Call for papers (UTP 2010)
  • From: Huibiao Zhu
• [PVS] CfP -- ACA 2010 Special Session on Computer Algebra inKnowledge Based Applications
  • From: Volker Sorge
• [PVS] 3rd CfP: ACCESS 2010 || September 20-25, 2010 - Valencia,Spain
  • From: Miguel Garcia
• [PVS] 3rd CfP: ICCGI 2010 || September 20-25, 2010 - Valencia, Spain
  • From: Miguel Garcia
• [PVS] LOPSTR'10: New deadline for extended abstract submission
  • From: Temur Kutsia
• [PVS] UML&FM'09 CFP
  • From: Sun Meng
• [PVS] Four positions on ERC VERIWARE project at Oxford
  • From: Marta Kwiatkowska
• [PVS] 3rd CfP: ICWMC 2010 || September 20-25, 2010 - Valencia, Spain
  • From: Jaime Lloret Mauri
• [PVS] CFP: The 10th IEEE International Conference on Data Mining(ICDM '10)
  • From: yangjia0426
• [PVS] 4th International Conference on Knowledge Science,Engineering and Management (KSEM`2010)
  • From: Bi Yaxin
• [PVS] MoChArt 2010: Call for Papers (Deadline extended!)
  • From: Jan-Georg Smaus
• [PVS] Amir Pnueli Memorial Symposium
  • From: Tayssir Touili
• [PVS] [qest-announce] NSMC 2010 - Extended Deadline: April 18, 2010
  • From: Giuliano Casale
• [PVS] ESSLLI 2010 Poster and Call for Participation
  • From: Rasmus K. Rendsvig
• [PVS] Funding opportunity - Foundational Questions
  • From: S Barry Cooper
• [PVS] Call for Papers: APLAS 2010, Shanghai, China,November 28-December 1, 2010
  • From: Yih-Kuen Tsay
• [PVS] Deadline Extended!!: IFIP 6th International Conference onIntelligent Information Processing (IIP2010)
  • From: =?utf-8?B?aWlwMjAxMA==?=
• [PVS] DCOSS 2010 Call for Poster and Demonstrations
  • From: dcosspublicity
• [PVS] Call For Papers: E-government interoperability,enterprise architecture and strategies
  • From: eCommerce List
• [PVS] CFP: Special Issue in Science of Computer Programming onVerification Techniques
  • From: AVoCS'09
• [PVS] CFP - 23rd IEEE International SoC Conference (SOCC 2010)
  • From: SOCC2010
• [PVS] IEEE/WIC/ACM IAT 2010 - Final Call for Papers (DeadlineExtended)
  • From: wic-office
• [PVS] CFP: 6th IFIP INTERNATIONAL CONFERENCE ON ARTIFICIALINTELLIGENCE APPLICATIONS & INNOVATIONS (AIAI 2010)
  • From: Masoud.Mohammadian
• [PVS] [Researchers] 14th IEEE/ACM* DS-RT 2010 - Fairfax, Virginia, USA - October 17-20, 2010
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] PASCO 2010: Extended submission deadline
  • From: PASCO 2010
• [PVS] AMT 2010: Call for Papers - Deadline Extended
  • From: wic-office
• [PVS] HyLo 2010: Deadline extended till April 7
  • From: Thomas Bolander
• [PVS] [ESSOS] CFP: International Symposium on Engineering SecureSoftware and Systems (ESSoS)
  • From: Pieter Philippaerts
• [PVS] [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)
  • From: Hassan Ait-Kaci
• [PVS] Call for Tool Papers: Workshop on Invariant Generation (WING2010), Edinburgh, July 21, 2010
  • From: Laura Kovacs
• [PVS] IEEE/WIC/ACM WI 2010 - Final Call for Papers
  • From: wic-office
• [PVS] [Researchers] 13th ACM* MSWiM 2010, Turkey, 17-21~/Oct/2010
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] LoCoCO 2010: extended deadline April 9th
  • From: Ines Lynce
• [PVS] AMAST 2010: deadline approaching
  • From: amast-10
• [PVS] CFP: Deadline extension - LfSA'10 - Logics for System Analysis
  • From: Philipp Ruemmer
• [PVS] DL Extended:2010 IEEE Intl. Conf. on Information Reuse andIntegration
  • From: IEEE-IRI-Publicity
• [PVS] [Call for papers] Workshop on Constraint Based Methods forBioinformatics
  • From: Alessandro Dal Palu
• [PVS] IWS 2010: Extended Deadline
  • From: Munoz, Cesar Augusto (LARC-D320)
• [PVS] IEEE TASE 2010: Call for poster papers (to be included in thesymposium proceedings)
  • From: Farn Wang
• [PVS] PAR'10 at FLoC'10: Final CFP
  • From: Milad Niqui
• [PVS] Final CFP: 5th Automated Formal Methods Workshop first callfor papers(In association with Computer-Aided Verification 2010 and FLoC 2010)
  • From: Hassen Saidi
• [PVS] *** FLOPS 2010: 2nd Call for Participation ***
  • From: Matthias Blume
• [PVS] [qest-announce] CfP International Conference on OPERATIONSRESEARCH Munich
  • From: Markus Siegle
• [PVS] [qest-announce] CFP: NSMC 2010 (Submission April 2)
  • From: Giuliano Casale
• [PVS] SoSyM Newsletter
  • From: bernhard.rumpe
• [PVS] Final Call for Papers: The Second Workshop on E-LearningSecurity (ELS-2010)
  • From: David Brown
• [PVS] [ISBRA-L] WABI'10 Call for Papers
  • From: ISBRA Symposium Announcements
• [PVS] Deadline Extension for Verify 2010 - Call for Papers
  • From: verify2010
• [PVS] Call for Posters - ACM BCB 2010
  • From: ACMBCB
• [PVS] IIS 2010 CfP, Last reminder!
  • From: IIS'10 Conference
• [PVS] Call for Papers (TASE 2010)
  • From: Huibiao Zhu
• [PVS] HLDVT 2010 Paper Submission Deadline Extended to March 24!
  • From: Shireesh Verma
• [PVS] FMICS 2010: Call for Papers
  • From: Marco Roveri
• [PVS] Call for Papers: Special Issue on Service OrientedApplications and Integration for e-Commerce
  • From: eCommerce List
• [PVS] JTAER Editorial Board Membership
  • From: eCommerce List
• [PVS] Call for papers (ICFEM 2010)
  • From: Huibiao Zhu
• [PVS] CSR 2010: Last Call for Participation
  • From: Edward A\. Hirsch
• [PVS] [HWVW'10] HW Verification Workshop + Model CheckingCompetition
  • From: Armin Biere
• [PVS] DL Approaching:2010 IEEE Intl. Conf. on Information Reuse andIntegration
  • From: IEEE-IRI-Publicity
• [PVS] CSL 2010 - 2nd Call for Papers
  • From: Geoff Sutcliffe
• [PVS] VSTTE 2010: Verified Software -- Final Call for ConferencePapers
  • From: Gudmund Grov
• [PVS] E. W. Beth Dissertation Prize: 2010 call for nominations
  • From: Richard Moot
• [PVS] MDAI 2010 - France (26/03)
  • From: Marc Daumas
• [PVS] Call for Poster papers
  • From: Taehyong Kim
• [PVS] CSET '10 Call for Papers
  • From: Angelos Stavrou
• [PVS] NASSLLI 2010: Open for Registration
  • From: Joey Frazee
• [PVS] [qest-announce] QEST 2010 - Extended Deadline: April 11,2010 (Firm)
  • From: Giuliano Casale
• [PVS] [prib2010] PRIB-2010 SECOND CALL FOR PAPERS
  • From: Jin-Kao Hao
• [PVS] [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)
  • From: Hassan Ait-Kaci
• [PVS] CFP SEFM2010 Paper Submission Deadline Extended to April 6!
  • From: stefania gnesi
• [PVS] [CFP] Malware 2010 Call for Papers
  • From: Matthieu.Kaczmarek
• [PVS] Exploiting Concurrency Efficiently and Correctly: (EC)^2 ---Last Call for Papers
  • From: Azadeh Farzan
• [PVS] CFP: DML 2010--Towards a Digital Mathematics Library, Paris,FR, Jul 7-8th
  • From: dml2010
• [PVS] =?utf-8?q?=E2=80=8BCall_for_Papers=3A_ICITST-2010!?=
  • From: d.lin@icitst.org
• [PVS] Final CFP: LfSA'10 - Logics for System Analysis
  • From: Philipp Ruemmer
• [PVS] Model Checking and Artificial Intelligence (MoChArt 2010):call for papers
  • From: Jan-Georg Smaus
• [PVS] [dcis2010-l] Selected Papers on DCIS 2010 (Elsevier)
  • From: dcis2010
• [PVS] ICE 2010: Final call for papers (Submission deadline extended)
  • From: A.M.Silva
• [PVS] CiE 2010 - Call for Participation and Informal Presentations
  • From: S B Cooper
• [PVS] ESSLLI workshop "Logics for Security"
  • From: Christoph Sprenger
• [PVS] TSD 2010 Last Call for Paper
  • From: TSD 2010
• [PVS] [ISBRA-L] ISBRA'10 call for short abstracts
  • From: ISBRA Symposium Announcements
• [PVS] DL Approaching:2010 IEEE Intl. Conf. on Information Reuse andIntegration
  • From: IEEE-IRI-Publicity
• [PVS] [IMCSIT] News -- IMCSIT 2010 -- CALL FOR PAPERS
  • From: Maria Ganzha - Chair of IMCSIT 2010
• [PVS] Deadline Reminder: Workshop on Invariant Generation (WING2010), Edinburgh, July 21, 2010
  • From: Laura Kovacs
• [PVS] Deadline Approaching: 2010 IEEE Intl. Conf. on InformationReuse and Integration
  • From: IEEE-IRI-Publicity
• [PVS] [qest-announce] CFP: QEST 2010 (submission 29 March)
  • From: Giuliano Casale
• [PVS] Last CfP: LOPSTR'10
  • From: Temur Kutsia
• [PVS] CFP: WiMob'2010 - 6th IEEE INTERNATIONAL CONFERENCE onWireless & Mobile Computing, Networking & communication
  • From: Jaime Lloret Mauri
• [PVS] CFP: RULE 2010 (Edinburgh, UK, July 14, 2010)
  • From: Hassan Ait-Kaci
• [PVS] CfPart: CPSWEEK workshop on hybrid systems
  • From: Manuela Bujorianu
• [PVS] SFM-10:QAPL school -- last call for participation
  • From: Marco Bernardo
• [PVS] CFP WS-FM 2010 - Formal aspects of service oriented and cloudcomputing
  • From: Mario Bravetti
• [PVS] Final Call for Papers for SEKE2010 - The Twenty-SecondInternational Conference on Software Engineering andKnowledge Engineering
  • From: jerry gao
• [PVS] 4th International Conference on Knowledge Science,Engineering and Management (KSEM`2010)
  • From: Bi Yaxin
• [PVS] Reminder: Call for papers: FORMATS 2010 (The 8th InternationalConference on Formal Modelling and Analysis of Timed Systems )
  • From: Dejan Nickovic
• [PVS] Deadline extended to March 21(firm deadline): CfP EGOVIS 2010
  • From: =?UTF-8?B?V29sZmdhbmcgS8O2cHBs?=
• [PVS] IEEE/WIC/ACM IAT 2010 - Final Call for Papers
  • From: wic-office
• [PVS] Final Call for Papers: LICE-2010!
  • From: m.smith@liceducation.org
• [PVS] CFP: LfSA'10 - Logics for System Analysis
  • From: Andre Platzer
• [PVS] 2nd CfP: ACCESS 2010 || September 20-25, 2010 - Valencia,Spain
  • From: Miguel Garcia Pineda
• [PVS] CFP: MICAI 2010, Artificial Intelligence, Springer LNAI,Mexico
  • From: MICAI 2010
• [PVS] Brain Informatics 2010 - Final Call for Papers
  • From: wic-office
• [PVS] SenSys 2010 - CFP - paper registration due in less than 3weeks!
  • From: Radu Stoleru
• [PVS] 2nd CfP: ICCGI 2010 || September 20-25, 2010 - Valencia, Spain
  • From: Miguel Garcia
• [PVS] CFP: SSV'10 @ USENIX OSDI 2010
  • From: Gerwin Klein
• [PVS] LPAR-17 in Indonesia - Calls for Papers and Workshop Proposals
  • From: Geoff Sutcliffe
• [PVS] CFP - RULE 2010 (Edinburgh, UK, July 14, 2010)
  • From: Hassan Ait-Kaci
• [PVS] IWS 2010 - LAST Call For Papers
  • From: Munoz, Cesar Augusto (LARC-D320)
• [PVS] Final Call for Papers - ACM International Conference OnBioinformatics and Computational Biology (ACM-BCB 2010)
  • From: ACMBCB
• [PVS] student travel grants and best paper awards
  • From: Taehyong Kim
• [PVS] [se-seafood] LASER Summer School on Software Engineering
  • From: Martin Nordio
• [PVS] Verify 2010 - 2nd Call for Papers
  • From: verify2010
• [PVS] Workshop PAR'10 at FLOC'10: 2nd CFP
  • From: Milad Niqui
• [PVS] CFP: 2010 IEEE Intl. Conf. on Information Reuse andIntegration
  • From: IEEE-IRI-Publicity
• [PVS] CFP: IEEE-ICTAI10 (Arras, France, October 27-29 2010)
  • From: ICTAI10
• [PVS] CFP: Extended deadline! IIS 2010 Conference
  • From: IIS'10 Conference
• [PVS] Deadline extension for REFS (RE for Services) 2010 inconjunction with COMPSAC
  • From: Selmin Nurcan
• [PVS] CFP: 5th Automated Formal Methods Workshop first call forpapers(In association with Computer-Aided Verification 2010 and FLoC 2010)
  • From: Hassen Saidi
• [PVS] CFP: Workshop on Intelligent Sensor and Wireless Networks(Ext. Deadline: Mar. 15, 2010)
  • From: xjin
• [PVS] Deadline Extension - Data Mining Conference (DMIN'10),Las Vegas
  • From: DMIN´10 Programme Chair
• [PVS] IEEE/WIC/ACM WI 2010 - Final Call for Papers
  • From: wic-office
• [PVS] VSTTE 2010: Verified Software -- Third Call for Papers
  • From: Gudmund Grov
• [PVS] PASCO 2010: News and 2nd Call for Papers
  • From: PASCO 2010
• [PVS] Call for Papers: WorldCIS 2011!
  • From: Paul Kelly
• [PVS] Active Media Technology 2010 - Final Call for Papers
  • From: wic-office
• [PVS] HLDVT 2010 Paper submission deadline extended to March 14!!!
  • From: Shireesh Verma
• [PVS] TSD 2010 Second Call for Paper
  • From: TSD 2010
• [PVS] 2nd Call for Papers: LoCoCO 2010
  • From: Ralf Treinen
• [PVS] Call for Participation -- SICSA Summer School on FormalReasoning & Representation of Complex Systems
  • From: Gudmund Grov
• [PVS] 2nd CfP: ICWMC 2010 || September 20-25, 2010 - Valencia, Spain
  • From: Jaime Lloret Mauri
• [PVS] Call for Papers
  • From: ijlis journal
• [PVS] SPIN 2010 2nd Call for Papers
  • From: Michael Weber
• [PVS] CFP: iFM 2010
  • From: Stephan Merz
• [PVS] CPSWEEK (HSCC, ICCPS, IPSN, LCTES,RTAS) keynote speakers finalized & registration open
  • From: Adam Dunkels
• [PVS] Deadline extended: Call for Papers EGOVIS 2010
  • From: =?UTF-8?B?V29sZmdhbmcgS8O2cHBs?=
• [PVS] PhD in AI for Formal Methods available at Edinburgh
  • From: Alan Bundy
• [PVS] 3rd CFP - Deadline Extension: Workshop on InvariantGeneration (WING 2010), Edinburgh, July 21, 2010
  • From: Laura Kovacs
• [PVS] IIP2010: 2nd call for papers
  • From: =?utf-8?B?aWlwMjAxMA==?=
• [PVS] [FMN 2010] Call for Papers (extended deadlines)
  • From: Piotr Romaniak
• [PVS] Result of Call for Votes on bids to host ITP-2011
  • From: Matt Kaufmann
• [PVS] Call for Participation NFM 2010
  • From: Munoz, Cesar Augusto (LARC-D320)
• [PVS] Fwd: International Workshop: DATICS-ICIS'10 (EI Indexed)
  • From: SS DATICS
• [PVS] HSCC10,Call for Participation and Work-in-Progress Papers -- Intern. Conf. on Hybrid Systems: Computation and Control, Apr 12-16, 2010,Stockholm
  • From: Wang Yi
• [PVS] I: Deadline Extension: Collaboration tools for Preservationof Environment and Cultural Heritage ( COPECH 2010) IEEEWETICE2010 June 28-30, 2010 Larissa, Greece
  • From: Berta Buttarazzi
• [PVS] LPAR-16 Short Papers - CFP
  • From: Geoff Sutcliffe
• [PVS] Second CFP SEFM2010
  • From: stefania gnesi
• [PVS] Network Protocols and Algorithms, deadline extension,Special Issue on Surveys and Tutorials
  • From: Jaime Lloret Mauri
• [PVS] CFP: Workshop on Intelligent Sensor and Wireless Networks(Ext. Deadline: Mar. 15, 2010)
  • From: X.Jin
• [PVS] Call for Chapter Proposals - Distributed Computing & InternetTechnologies - IGI Global
  • From: Mukaddim Pathan
• [PVS] PhD position in ICT on Formal Verification via SMT availablein Trento
  • From: Roberto Sebastiani
• [PVS] CFP: Extended deadline! IIS 2010 Conference
  • From: IIS 2009 Conference
• [PVS] [qest-announce] CFP: NSMC 2010
  • From: Giuliano Casale
• [PVS] [qest-announce] ETAPS 2010: Final Call For Participation
  • From: Joost-Pieter Katoen
• [PVS] CfPart: Workshop on SE for Resilient Systems - SERENE 2010
  • From: Alexander Romanovsky
• [PVS] =?utf-8?q?=E2=80=8BCall_for_Papers=3A_ICITST-2010!?=
  • From: d.lin@icitst.org
• [PVS] CfP:4th International Conference on Knowledge Science,Engineering and Management (KSEM`2010)
  • From: Bi Yaxin
• [PVS] MetiTarski 1.3 available
  • From: Lawrence Paulson
• [PVS] [FMN 2010] Call for Papers
  • From: Piotr Romaniak
• [PVS] MKM 2010: Deadline Extension and Final Call for Papers
  • From: Alan P. Sexton
• [PVS] CFP: NASSLLI 2010 Student Session
  • From: Joey Frazee
• [PVS] Call for Papers: 20th WADT (Workshop on Algebraic DevelopmentTechniques)
  • From: Till Mossakowski
• [PVS] [qest-announce] CfP Quantitative Models for Performance andDependability (QPMD)
  • From: Markus Siegle
• [PVS] (no subject)
  • From: Till Mossakowski
• [PVS] [dcis2010-l] DCIS 2010 Conference (Lanzarote, Canary Islands, SPAIN. Nov. 17-19, 2010)
  • From: dcis2010
• [PVS] AISC'10: Deadline Extension to March 12,2010 (Abstracts: March 9, 2010)
  • From: Serge Autexier
• [PVS] QSIC 2010 general call for papers for QSIC 2010 workshops andsymposium
  • From: QSIC 2010
• [PVS] CfP - 4th ACM International Conference on DistributedEvent-Based Systems (DEBS) - 1 WEEK DEADLINE EXTENSION
  • From: Leonardo Querzoni
• [PVS] Call for Papers - AMAST 2010
  • From: amast-10
• [PVS] Workshop on Intelligent Sensor and Wireless Networks (Ext.Deadline: Mar. 15, 2010)
  • From: X.Jin
• [PVS] Updates - ACM International Conference On Bioinformatics andComputational Biology (ACM-BCB 2010)
  • From: ACMBCB
• [PVS] HLDVT 2010: Final Call for Papers
  • From: Shireesh Verma
• [PVS] CfPart: Spring School on Resilience and Self-* Systems
  • From: Alexander Romanovsky
• [PVS] STACS : Last call for participation
  • From: Jean-Yves Marion
• [PVS] Call for Papers: WorldCIS 2011!
  • From: Paul Kelly
• [PVS] Call for Participation -- SICSA Summer School on FormalReasoning & Representation of Complex Systems
  • From: Gudmund Grov
• [PVS] Bull and INRIA are seeking a PhD candidate
  • From: Frederic Lang
• [PVS] SFM-10:QAPL school -- 2nd call for participation
  • From: Marco Bernardo
• [PVS] AISC'10 - CfP - Approaching Deadline (26 February) & InvitedSpeakers
  • From: Serge Autexier
• [PVS] Information Society and University studies (IVUS 2010): Callfor Papers
  • From: =?UTF-8?Q?Tomas_Krilavi=C4=8Dius?=
• [PVS] Call for Votes on bids to host ITP-2011
  • From: Matt Kaufmann
• [PVS] =?utf-8?q?=E2=80=8BCall_for_Papers=3A_LICE-2010!?=
  • From: m.smith@liceducation.org
• [PVS] WoLLIC 2010 - CFP - DEADLINE APPROACHING (Feb 28th)
  • From: Ruy de Queiroz
• [PVS] 2nd CFP - Workshop on Invariant Generation (WING 2010),Edinburgh, July 21, 2010
  • From: Laura Kovacs
• [PVS] Call for Papers: The Second Workshop on E-Learning Security(ELS-2010)
  • From: David Brown
• [PVS] SenSys 2010 - Call for Papers
  • From: Radu Stoleru
• [PVS] Data Mining Conference - Call for Papers
  • From: DMIN´10 Programme Chair
• [PVS] CFP - SPECTS 2010 - Deadline Feb 28
  • From: Abdelmajid Khelil
• [PVS] CMCS 2010: Call for Short Submissions & Call for Participation
  • From: A.M.Silva
• [PVS] CFP: International Workshop on Hybrid Logic and Applications(HyLo 2010)
  • From: Torben Brauner
• [PVS] Updates- ACM International Conference On Bioinformatics andComputational Biology (ACM-BCB 2010)
  • From: Taehyong Kim
• [PVS] =?utf-8?q?=E2=80=8BCall_for_Papers=3A_ICITST-2010!?=
  • From: g.akmayeva@icitst.org
• [PVS] [se-seafood] Seafood 2010: keynote speakers
  • From: Nadia Polikarpova
• [PVS] One week deadline extension for ASAP 2010 (now Feb. 22nd)
  • From: asap2010-general
• [PVS] FMICS 2010: Preliminary Call for Paper
  • From: Marco Roveri
• [PVS] [CFP] Hardware Verification Workshop + Model CheckingCompetition (HWVW'10)
  • From: Armin Biere
• [PVS] [CFP] Hardware Verification Workshop + Model CheckingCompetition (HWVW'10)
  • From: Armin Biere
• [PVS] IEEE/WIC/ACM IAT 2010 - Call for Papers
  • From: wic-office
• [PVS] Call for Paper: WEQSA 2010
  • From: Pao-Ann Hsiung
• [PVS] [simu-conf] CfP: Workshop on Collaborative Modeling andSimulation (CoMetS)
  • From: vsim-conf
• [PVS] CFP: Exploiting Concurrency Efficiently and Correctly --(EC)^2
  • From: Azadeh Farzan
• [PVS] DCOSS '10 Workshops - Call for Papers
  • From: dcosspublicity
• [PVS] TSD 2010 First Call for Paper
  • From: TSD 2010
• [PVS] AISC'10: 2nd Call for Papers
  • From: Serge Autexier
• [PVS] *** FLOPS 2010: Call for Participation ***
  • From: Matthias Blume
• [PVS] DisCoTec 2010: Deadlines Extension
  • From: Gianluigi Zavattaro
• [PVS] [qest-announce] 2nd Call for Participation -- QuantitativeModel Checking PhD School
  • From: Joost-Pieter Katoen
• [PVS] CFPart: Etaps tutorial on cyber-physical systems
  • From: Manuela Bujorianu
• [PVS] AISC'10: 2nd Call for Papers
  • From: Serge Autexier
• [PVS] [Call for papers] Workshop on Constraint Based Methods forBioinformatics
  • From: Alessandro Dal Palu'
• [PVS] Call for Papers: EGOVIS 2010
  • From: =?ISO-8859-15?Q?Wolfgang_K=F6ppl?=
• [PVS] ICE 2010: First call for papers
  • From: A.M.Silva
• [PVS] CSR 2010: Call for Participation
  • From: Edward A\. Hirsch
• [PVS] CP 2010: Call for Workshop Proposals
  • From: Andrea Rendl
• [PVS] CAP for International Workshop on International Workshop onSoftware Test Automation, Practice, and Standardization
  • From: jerry gao
• [PVS] CFP: Workshop on Intelligent Sensor and Wireless Networks(Extended Deadline: Mar. 15, 2010)
  • From: xjin
• [PVS] CFP of SEKE2010, workshops, and special sessions (July 1-3,2010, San Francisco)
  • From: jerry gao
• [PVS] DCC2010 -- Workshop on Designing Correct Circuits
  • From: Joe Stoy
• [PVS] CFP: SPECIAL TRACK on the FORMAL ASPECTS OF SOFTWARE TESTING, ICTAC 2010
  • From: Marie-Claude Gaudel
• [PVS] 1st CfP: INTERNET 2010 || September 20-25, 2010 - Valencia,Spain
  • From: Jaime Lloret Mauri
• [PVS] PDMC 2010 Call for Papers
  • From: Michael Weber
• [PVS] PhD Workshop CfP - 4th ACM International Conference onDistributed Event-Based Systems (DEBS)
  • From: Leonardo Querzoni
• [PVS] [STACS] Second Call for Participation
  • From: Jean-Yves Marion
• [PVS] [prib2010] First announcement
  • From: Jin-Kao Hao
• [PVS] EPEW 2010 -- preliminary call for papers
  • From: Marco Bernardo
• [PVS] postdoc and PhD vacancy in security & formal methods
  • From: Erik Poll
• [PVS] ACM-BCB2010 - Call for Papers
  • From: ACMBCB
• [PVS] CfP: Fourth Workshop on Formal Languages and Analysis Contract-Oriented Software
  • From: Gordon Pace
• [PVS] 1st CfP: ICWMC 2010 || September 20-25, 2010 - Valencia, Spain
  • From: Jaime Lloret Mauri
• [PVS] 4th International Conference on Knowledge Science,Engineering and Management (KSEM`2010)
  • From: Bi Yaxin
• [PVS] CP 2010: Call for Application Papers
  • From: Andrea Rendl
• [PVS] [CFP - Workshop RTABIS (Recent Trends in Aspect basedInformationSystems) 2010] - 23 July, 2010 - Athens, Greece - Submission Deadline April06, 2010]
  • From: Jean-Yves Tigli
• [PVS] CP 2010: Call for Papers
  • From: Andrea Rendl
• [PVS] Draft paper submission deadline is extended: MULTICONF-10
  • From: John Edward
• [PVS] NASSLLI 2010: CALL FOR PARTICIPATION
  • From: Joey Frazee
• [PVS] IEEE/WIC/ACM WI 2010 - Call for Papers
  • From: wic-office
• [PVS] ICITST-2010: Call for Papers!
  • From: d.lin@icitst.org
• [PVS] ASAP 2010 Last Call for paper
  • From: asap2010-general
• [PVS] FCS-PrivMod 2010
  • From: Veronique.Cortier
• [PVS] 2nd Call for Papers: ICGT 2010 -- Abstract submission: 9 Apr'10
  • From: Eduardo Zambon
• [PVS] CFP T4CIA 2010 (deadline extended)
  • From: Jun PANG
• [PVS] Call for chapter of Ebook: Multicore Hardware-Software Designand Verification Techniques
  • From: CCU_lcs94
• [PVS] Final Call for Papers: i-Society 2010!
  • From: David Brown
• [PVS] LATA 2010: early registration deadline
  • From: carlos.martin
• [PVS] ICST 2010, April 6_10, Paris, France
  • From: Marie-Claude Gaudel
• [PVS] [ISBRA-L] ISBRA'10 -- Submission deadline extended to Feb. 5
  • From: ISBRA Symposium Announcements
• [PVS] CfP: Workshop on Collaborative Modeling and Simulation(CoMetS)
  • From: Daniele Gianni
• [PVS] 22nd Jacob T. Schwartz International School for ScientificResearch -- CALL FOR PARTICIPATION
  • From: Alfredo Ferro
• [PVS] HPC 2010 -- Call for Papers
  • From: Edward A\. Hirsch
• [PVS] SSIRI 2010: Student Doctoral Program
  • From: jun sun
• [PVS] CfP: Workshop on Collaborative Modeling and Simulation(CoMetS)
  • From: Daniele Gianni
• [PVS] SERA2010: Final Call for Papers: DEADLINE Feb 1, 2010
  • From: Joey Paquet
• [PVS] SECASA2010: Final Call for Papers; DEADLINE Feb 1, 2010
  • From: Joey Paquet
• [PVS] 2nd Call for Papers IWS2010
  • From: Munoz, Cesar Augusto (LARC-D320)
• [PVS] [FMN 2010] Call for Papers
  • From: Piotr Romaniak
• [PVS] Call For Paper - JSS Special Issue on Dynamic Analysis andTesting of Embedded Software
  • From: jss-issue-fckuo
• [PVS] CfP: Workshop on Collaborative Modeling and Simulation(CoMetS)
  • From: Daniele Gianni
• [PVS] Workshop PAR'10 at FLoC'10 in Edinburgh - CFP
  • From: Milad Niqui
• [PVS] ACM International Conference On Bioinformatics andComputational Biology (ACM-BCB 2010) - Call for Papers and Proposals
  • From: Taehyong Kim
• [PVS] [ISBRA-L] ISBRA'10 -- Submission deadline in 3 days
  • From: ISBRA Symposium Announcements
• [PVS] FINAL CFP, ICLP 2010 - Extended Deadline: Jan 31 / Feb 7
  • From: iclp2010-announce
• [PVS] CfP: Workshop on Collaborative Modeling and Simulation(CoMetS)
  • From: Daniele Gianni
• [PVS] Last CFP: IEEE/ACM International Conference on DistributedComputing in Sensors Systems (DCOSS 2010)
  • From: DCOSS publicity
• [PVS] [simu-conf] 2010 Summer Computer Simulation Conference - Callfor Papers
  • From: vsim-conf
• [PVS] CfP: International Workshop on Component and ServiceInteroperability (WCSI-10)
  • From: wcsi10
• [PVS] CfP: Workshop on Collaborative Modeling and Simulation(CoMetS)
  • From: Daniele Gianni
• [PVS] [Fwd: 1st CFP - Workshop on Invariant Generation (WING 2010),Edinburgh, July 21, 2010]
  • From: Bruno Dutertre
• [PVS] Call for Papers: COORDINATION 2010
  • From: Dave Clarke
• [PVS] [qest-announce] CFP: NSMC 2010
  • From: Giuliano Casale
• [PVS] [qest-announce] CFP: QEST 2010
  • From: Giuliano Casale
• [PVS] 2nd Call for papers: 4th International Conference onKnowledge Science, Engineering and Management (KSEM`2010)
  • From: Bi Yaxin
• [PVS] Call for Papers: WCST-2011
  • From: James Clinton
• [PVS] Call for Papers: WorldCIS-2011
  • From: Paul Kelly
• [PVS] FMCAD'10 First Call For Papers
  • From: natasha.sharygina@usi.ch
• [PVS] Call for Papers: ICITST-2010,Technical Co-Sponsored by IEEE UK/RI Communications Chapter
  • From: d.lin@icitst.org
• [PVS] Call for Papers: LoCoCo 2010
  • From: Ralf Treinen
• [PVS] Final CFP for WMCS2010 - The 6th International Workshop onMobile Commerce and Services
  • From: jerry gao
• [PVS] DisCoTec 2010: 2nd Call for Papers
  • From: Gianluigi Zavattaro
• [PVS] CFP - SPECTS 2010 - Deadline Feb 28
  • From: Abdelmajid Khelil
• [PVS] CFP - CIIP at mobilight 2010 - Deadline is approaching
  • From: Abdelmajid Khelil
• [PVS] RV 2010 - 1st Int. Conference: Call for Papers and Tutorials
  • From: RV 2010
• [PVS] SPIN 2010 Call for Papers
  • From: Michael Weber
• [PVS] [ISBRA-L] ISBRA'10 -- Submission deadline Jan. 29, 2010
  • From: ISBRA Symposium Announcements
• [PVS] RTA extended deadline
  • From: Hitoshi Ohsaki
• [PVS] Preliminary announcement - Lipari School on Complex Systems:Social Networks
  • From: Alfredo Ferro
• [PVS] First Call for Papers for VSST'2010, 25-29 October,Toulouse (France)
  • From: Bernard DOUSSET
• [PVS] CP 2010: Call for Tutorials
  • From: Andrea Rendl
• [PVS] HLDVT 2010: Call for Papers
  • From: Shireesh Verma
• [PVS] Call for Papers: i-Society 2010!
  • From: David Brown
• [PVS] Call for Papers: ICITST-2010,Technical Co-Sponsored by IEEE UK/RI Communications Chapter
  • From: d.lin@icitst.org
• [PVS] MULTICONF-10 Call for papers
  • From: John Edward
• [PVS] Verify 2010 - 1st Call for Papers
  • From: verify2010
• [PVS] Spring School in Generic and Indexed Programming
  • From: Jeremy.Gibbons
• [PVS] CFP: AHSWN - An International Journal,Special Issue on User-oriented,Service-oriented and Spontaneous Wireless Ad-hoc Networks
  • From: Jaime Lloret Mauri
• [PVS] ITP-10: Call for Rough Diamonds
  • From: Matt Kaufmann
• [PVS] CFP SEFM2010
  • From: stefania gnesi
• [PVS] 2010 Forecasting Competition - Call for papers
  • From: IJCNN Special Session
• [PVS] WoLLIC 2010 - Call for Papers
  • From: Ruy de Queiroz
• [PVS] MoChArt 2010: Call for papers
  • From: Jan-Georg Smaus
• [PVS] Two PhD positions in theoretical computer science
  • From: Marcello M. Bonsangue
• [PVS] Call for Posters and Demos, IPSN 2010
  • From: ipsnpublicity
• [PVS] SFM-10:QAPL school: 1st call for participation (Bertinoro,21-26 June 2010)
  • From: Marco Bernardo
• [PVS] Call for Papers: ICITST-2010
  • From: d.lin@icitst.org
• [PVS] Two PhD positions in theoretical computer science
  • From: Marcello M. Bonsangue
• [PVS] [qest-announce] ETAPS 2012 and beyond: call for conferenceorganisers
  • From: Joost-Pieter Katoen
• [PVS] IJCAR 2010 - Call for papers
  • From: Viorica Sofronie-Stokkermans
• [PVS] Call for Papers: EGOVIS 2010
  • From: =?ISO-8859-15?Q?Wolfgang_K=F6ppl?=
• [PVS] DCOSS 2010 Second Call For Papers
  • From: DCOSS publicity
• [PVS] MKM 2010: First Call for Papers
  • From: Alan P. Sexton
• [PVS] Final Call for Bids (ITP 2011)
  • From: Matt Kaufmann
• [PVS] CiE 2010, Ponta Delgada (Azores),Portugal - final call for papers!
  • From: CiE
• [PVS] LPAR-16 deadline extended
  • From: Geoff Sutcliffe
• [PVS] Call for Special Issue Papers on Autonomic Cloud Computing
  • From: Rajiv Ranjan
• [PVS] AISC'10: First Call for Papers
  • From: Serge Autexier
• [PVS] Call for Papers: The 10th IEEE International Conference onData Mining (ICDM '10)
  • From: yangjia0426
• [PVS] [CFP: SICE2010] Organized Session on "Petri Nets and DiscreteEventSystems", Taipei, Taiwan, Aug. 18-21, 2010.
  • From: Jin-Shyan Lee
• [PVS] CALL FOR PAPERS - 2nd Workshop on Dependable Multi-CoreComputing (DMCC 2010)
  • From: Bernhard Fechner
• [PVS] i-Society 2010: Call for Workshops!
  • From: David K Brown
• [PVS] CAV 2010 Last Call for Papers
  • From: Tayssir Touili
• [PVS] ASAP 2010 Second Call for paper
  • From: asap2010-general
• [PVS] Deadline extension: ACSD 2010 (Application of Concurrency toSystem Design)
  • From: victor khomenko
• [PVS] (no subject)
  • From: Matt Kaufmann
• [PVS] CSL 2010 - 1st Call for Papers
  • From: Geoff Sutcliffe
• [PVS] CSL 2010: First Call for Papers
  • From: Helmut Veith
• [PVS] TSD 2010 Preliminary announcement
  • From: TSD 2010
• [PVS] RTA 2nd CFP (July 11 - July 13, 2010, Edinburgh)
  • From: Hitoshi Ohsaki (RTA publicity chair)
• [PVS] WMCS2010 and GPC2010 - Paper Submission Deadline Extended to1/15/2010
  • From: jerry gao
• [PVS] Call for Papers: i-Society 2010!
  • From: David Brown
• [PVS] Brain Informatics 2010 - Call for Papers
  • From: wic-office
• [PVS] CMCS 2010: Final call for papers
  • From: A.M.Silva
• [PVS] [ISBRA-L] ISBRA'10 2nd CFP -- Submission deadline Jan. 29,2010
  • From: ISBRA Symposium Announcements
• [PVS] ITP 2010 - Third Call for Papers
  • From: Matt Kaufmann
• [PVS] IEEE/WIC/ACM IAT 2010 - Call for Papers
  • From: wic-office
• [PVS] [STACS] First Call for Participation
  • From: Jean-Yves Marion
• [PVS] FLoC 2010: Call for Papers
  • From: Nicole Schweikardt
• [PVS] Active Media Technology 2010 - Call fo Papers
  • From: wic-office
• [PVS] IEEE/WIC/ACM WI 2010 - Call for Papers
  • From: wic-office
• [PVS] CfP BPMDS'2010 in conjunction with CAISE'2010
  • From: Selmin Nurcan
• [PVS] SERA2010: 3rd Call for Papers, Special Sessions, Workshopsand Sponsorships; DEADLINE Feb 1, 2010
  • From: Joey Paquet
• [PVS] IIS 2010 - 1st CFP
  • From: IIS'10 Conference
• [PVS] Call for Papers: The 5th International Conference for InternetTechnology and Secured Transactions (ICITST-2010)
  • From: d.lin@icitst.org
• [PVS] Call for Papers: i-Society 2010!
  • From: David Brown
• [PVS] CALL FOR PAPERS: TOOLS EUROPE 2010
  • From: Osmar Marchi dos Santos
• [PVS] IEEE/WIC/ACM WI-IAT 2010 - Call for Workshop Proposals
  • From: wic-office
• [PVS] CfP - 4th ACM International Conference on DistributedEvent-Based Systems (DEBS)
  • From: Leonardo Querzoni
• [PVS] DisCoTec 2010: Call for Papers
  • From: Gianluigi Zavattaro
• [PVS] CFP: PLACES,Programming Language Approaches to Concurrency andcommunication-cEntric Software
  • From: Joshua D. Guttman
• [PVS] First CFP: AMAI Special Issue
  • From: Manuela Bujorianu
• [PVS] CFP: Special Issue in SCP - Corrected Deadline
  • From: Markus Roggenbach
• [PVS] Call for Papers [CDN 2010]: Workshop in CCGrid 2010(Submission Deadline: 21 December 2009)
  • From: Mukaddim Pathan
• [PVS] Last week to submit: ICIMP 2010 || May 9-15, 2010 - Barcelona, Spain
  • From: Jaime Lloret Mauri
• [PVS] CFP, LfSA10 -- Logics for System Analysis 2010 at FLoC,Edinburgh
  • From: Philipp Ruemmer
• [PVS] ASPOCP 2010 Call For Papers
  • From: aspocp10
• [PVS] CFP: International Workshop on Hybrid Logic and Applications(HyLo 2010)
  • From: Thomas Bolander
• [PVS] LPAR-16 - Dakar, Senegal - April 2010
  • From: Geoff Sutcliffe
• [PVS] QSIC 2010 CFP
  • From: QSIC 2010
• [PVS] [qest-announce] ETAPS 2011: Call for Satellite Events
  • From: Joost-Pieter Katoen
• [PVS] PADL 2010: Call for Participation and Early Registration
  • From: mcarro
• [PVS] CFP T4CIA 2010
  • From: Jun PANG
• [PVS] GT-VMT 2010: deadlines extended
  • From: Emilio Tuosto
• [PVS] VMCAI 2010 - Call for Participation - Early Reg: Dec 22
  • From: vmcai10-announce
• [PVS] QSIC 2010 CFP
  • From: QSIC 2010
• [PVS] ICITST-2010: Call for Papers!
  • From: d.lin@icitst.org
• [PVS] i-Society 2010: Call for Papers!
  • From: David Brown
• [PVS] International Workshop: DATICS-FutureTech'10 (EI Indexed)
  • From: SS DATICS
• [PVS] ICLP-10 Doctoral Consortium Call For Papers
  • From: iclp10dc
• [PVS] [se-seafood] SEAFOOD 2010: Call for papers
  • From: seafood-publicity
• [PVS] QAPL 2010 - final call for papers
  • From: Gethin Norman
• [PVS] CFP: Special Issue in Science of Computer Programming onVerification Techniques
  • From: Markus Roggenbach
• [PVS] EWSN 2010: Call for Posters (Dec. 20th)
  • From: Pei Zhang
• [PVS] [WOSP/SIPEW 2010] 2nd Call for Participation
  • From: Emmanuel Arzuaga
• [PVS] [qest-announce] First CFP: QEST 2010
  • From: Giuliano Casale
• [PVS] [qest-announce] CFP: NSMC 2010
  • From: Giuliano Casale
• [PVS] Call for Papers: ICLP 2010
  • From: Torsten Schaub
• [PVS] CSR-2010: extended deadline, Last CfP
  • From: Edward A\. Hirsch
• [PVS] Call for Participation: PLPV 2010
  • From: =?UTF-8?B?SmVhbi1DaHJpc3RvcGhlIEZpbGxpw6J0cmU=?=
• [PVS] Deadline extension: MBT 2010,Sixth Workshop on Model-Based Testing at ETAPS 2010
  • From: Bernd Finkbeiner
• [PVS] Deadline extension: MBT 2010,Sixth Workshop on Model-Based Testing at ETAPS 2010
  • From: Bernd Finkbeiner
• [PVS] Journals (hypersciences_publisher)
  • From: contact
• [PVS] ITiB - Conference 2010
  • From: ITiB
• [PVS] CFP - SPECTS 2010
  • From: Abdelmajid Khelil
• [PVS] Second Call for Workshop Proposals: ICGT/SPIN 2010
  • From: Eduardo Zambon
• [PVS] Last Call for Papers: ACSD 2010 (Application of Concurrency toSystem Design)
  • From: victor khomenko
• [PVS] RTA 1st CFP (July 11 - July 13, 2010, Edinburgh)
  • From: Hitoshi Ohsaki (RTA publicity chair)
• [PVS] IIP2010: 1st call for papers
  • From: =?utf-8?B?aWlwMjAxMA==?=
• [PVS] FLoC 2010: Call for Papers
  • From: Nicole Schweikardt
• [PVS] SMT Workshop 2010: 1st call for papers
  • From: Daniel Kroening
• [PVS] (no subject)
  • From: S B Cooper
• [PVS] Call for Papers: ICGT 2010 -- Abstract submission: 9 Apr '10
  • From: Eduardo Zambon
• [PVS] i-Society 2010: Call for Papers
  • From: David Brown
• [PVS] LDTA
  • From: Rob Economopoulos
• [PVS] DCOSS 2010 First CFP
  • From: dcosspublicity
• [PVS] IJCAR 2010 - first call for papers
  • From: Viorica Sofronie-Stokkermans
• [PVS] VSTTE 2010: Verified Software -- Second Call for Papers
  • From: Gudmund Grov
• [PVS] LAST CALL FOR PAPERS : UML&AADL’2010
  • From: Isabelle Perseil
• [PVS] Memocode 2010 First Call for Papers
  • From: Barbara Jobstmann
• [PVS] GPCE'10 First Call for Papers
  • From: Rob Economopoulos
• [PVS] 3rd CfP | WebTel 2010 [AICT, ICIW, ICIMP] May 9-15,2010 - Barcelona, Spain
  • From: Jaime Lloret Mauri
• [PVS] SERA2010: 2nd Call for Papers, Specical Sessions,Workshops and Sponsorships
  • From: Joey Paquet
• [PVS] [qest-announce] CfP: QUOVADIS 2010
  • From: Marta Kwiatkowska
• [PVS] VMCAI 2010 Call for Participation -- early registration Dec 22
  • From: Gilles Barthe
• [PVS] [ISBRA-L] ISBRA'10 Call for Workshop Proposals
  • From: ISBRA Symposium Announcements
• [PVS] WGT 2010 Submission Deadline Extension and Final Call forPapers
  • From: Workshop on Generative Technologies
• [PVS] i-Society 2010: Call for Workshops
  • From: i-Society 2010
• [PVS] VSTTE 2010: Verified Software -- Second Call for Papers
  • From: Gudmund Grov
• [PVS] MULTICONF-10 Call for papers
  • From: Alfred Nabbles
• [PVS] ITP 2010 - Second Call for Papers
  • From: Matt Kaufmann
• [PVS] [qest-announce] Funded D.Phil Computer Science Places atOxford
  • From: Marta Kwiatkowska
• [PVS] CMCS 2010: First call for papers
  • From: A.M.Silva
• [PVS] IEEE SADFE 2010 CFP
  • From: Mukaddim Pathan
• [PVS] i-Society 2010: Call for Papers
  • From: i-Society 2010
• [PVS] QAPL 2010 Call for Papers
  • From: Gethin Norman
• [PVS] [ISBRA-L] ISBRA'10 First Call for Papers
  • From: ISBRA Symposium Announcements
• [PVS] Computer Networks Journal - Special Issue on ManagingEmerging Computing Environments
  • From: Carlos T. Calafate
• [PVS] CfP: IEEE TCSC Doctoral Symposium 2010
  • From: Mukaddim Pathan
• [PVS] DiScoTec 2010: Call for Workshop Proposals
  • From: Gianluigi Zavattaro
• [PVS] ARSPA-WITS'10: call for papers
  • From: Alessandro Armando
• [PVS] cfp of jaist-fssv2010
  • From: Kazuhiro Ogata
• [PVS] CICE-2010: Call for Papers
  • From: Galyna Akmayeva
• [PVS] Deadline Extension: International Journal of NetworkProtocols and Algorithms, Vol 1 Issue 2
  • From: Jaime Lloret Mauri
• [PVS] [SPEC] Call for Benchmarks
  • From: Emmanuel Arzuaga
• [PVS] Tests and Proofs 2009 - CFP
  • From: Angelo Gargantini
• [PVS] Fwd: ACM-BCB2010 - Call for Papers
  • From: ACM BCB
• [PVS] [qest-announce] ASMTA 2010: Call for Papers
  • From: William Knottenbelt
• [PVS] ASAP 2010 Call for paper
  • From: asap2010-general
• [PVS] FESCA @ ETAPS 2010 - 2nd CfP
  • From: Jens Happe
• [PVS] CFP: LOPSTR 2010
  • From: Temur Kutsia
• [PVS] IEEE Vehi-Mobi 2010: last chance to submit
  • From: Carlos Tavares Calafate
• [PVS] CFP: ECOOP 2010
  • From: ECOOP 2010
• [PVS] CFP for WMCS2010 - The 6th International Workshop on MobileCommerce and Services
  • From: jerry gao
• [PVS] PhD Program at IMT, Lucca
  • From: Ugo Montanari
• [PVS] 2nd CFP: IJES - Special Issue on: Reconfigurable andMulticore Embedded Systems
  • From: =?Big5?B?p2arVL3l?=
• [PVS] LATA 2010: last call for papers
  • From: carlos.martin
• [PVS] FLAIRS 2009: AI Planning and Scheduling Special Track
  • From: Hana Rudova
• [PVS] Deadline approaching for IEEE Vehi-Mobi 2010
  • From: Carlos T. Calafate
• [PVS] Call for Workshop Proposals: ICGT/SPIN 2010
  • From: Eduardo Zambon
• [PVS] [WOSP/SIPEW 2010] Call for Participation
  • From: Emmanuel Arzuaga
• [PVS] Reminder: last week to submit to CAL'2010
  • From: Khalil Drira
• [PVS] Call for Papers: i-Society 2010
  • From: i-Society 2010
• [PVS] IEEE Vehi-Mobi 2010: submission open & deadline extension
  • From: Carlos T. Calafate
• [PVS] Call for Papers: CDN 2010 with CCGrid 2010
  • From: Mukaddim Pathan
• [PVS] [ISBRA-L] International Conference - Genome Biology andBioinformatics
  • From: ISBRA Symposium Announcements
• [PVS] Last mile || InfoSys 2010 [ICAS, ICNS, INTENSIVE,LMPCNA] March 7-13, 2010 - Cancun, Mexico
  • From: Jaime Lloret Mauri
• [PVS] WoLLIC 2010 - 2nd Call for Papers
  • From: Ruy de Queiroz
• [PVS] CFP CAL'2010 Pau, France, 9-11 march 2010
  • From: Khalil Drira
• [PVS] *** extended deadline: FLOPS 2010: Last Call for Papers ***
  • From: Matthias Blume
• [PVS] Call for Papers
  • From: AJMCSR African Journal of Mathematics and Computer Science Research
• [PVS] GT-VMT 2010 call for papers
  • From: Emilio Tuosto
• [PVS] i-Society 2010: Call for Papers
  • From: i-Society 2010
• [PVS] CALL FOR PAPERS: TOOLS EUROPE 2010
  • From: Osmar Marchi dos Santos
• [PVS] FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE
  • From: MYV
• [PVS] [Researchers] Elsevier's Information Fusion Journal,Special Issue on "Localized Algorithms for Information Fusion inResource-Constrained Networks"
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 11th IEEE WoWMoM 2010 - Montreal, June 14-17,2010
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Open research position at ETH Zurich
  • From: Christoph Sprenger
• [PVS] IEEE Vehi-Mobi 2010 (co-located with ICC 2010)
  • From: Carlos T. Calafate
• [PVS] CFP - AICCSA'2010 - Deadline extended to Oct 27
  • From: Abdelmajid Khelil
• [PVS] CFP - QSIC 2010: 10TH INT. CONF. ON QUALITY SOFTWARE
  • From: QSIC2009
• [PVS] SEKE 2010 CFP
  • From: SEKE2010
• [PVS] SOSE 2010 CFP
  • From: SOSE2010
• [PVS] ACM SenSys 2009: Early Registration Extended to October 15th
  • From: Pei Zhang
• [PVS] Call for Participation: VSTTE 2009
  • From: Jean-Christophe Filliâtre
• [PVS] CAV 2010 Call for Papers
  • From: Tayssir Touili
• [PVS] First CfP: PETRI NETS 2010,31st International Conference on Applicationand Theory of Petri Nets and other Models of Concurrency
  • From: Joao Paulo Barros
• [PVS] CFP: International Symposium on Memory Management 2010
  • From: Kevin Hoffman
• [PVS] CFP: MBT 2010,Sixth Workshop on Model-Based Testing at ETAPS 2010
  • From: Bernd Finkbeiner
• [PVS] [Researchers] 12th ACM MSWiM 09, Canary Islands,Call-For-Participation
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Call for Papers: i-Society 2010
  • From: i-Society 2010
• [PVS] CALL FOR PAPERS International Journal of Computer ScienceIssues (IJCSI) - Volume 6 - November 2009 Issue
  • From: Editor IJCSI
• [PVS] [NPA] Call for Papers: International Journal of NetworkProtocols and Algorithms
  • From: Jaime Lloret_Mauri
• [PVS] LATA 2010: 2nd call for papers
  • From: carlos.martin
• [PVS] CFP - First International Symposium on Architecting CriticalSystems (ISARCS 2010)
  • From: Holger Giese
• [PVS] AiML-2010: 8-th International Conference on Advances in ModalLogic: First Call for papers
  • From: AiML 2010
• [PVS] Call for participation: Methods for Modalities 6
  • From: Thomas Bolander
• [PVS] CFP: Advances in Modal Logic 2010
  • From: Carlos Areces
• [PVS] =?windows-1252?q?Introducing_=91=91Journal_of_Computationa?==?windows-1252?q?l_Biology_and_Bioinformatics_Research=91=91?=
  • From: JCBBR Journals
• [PVS] CfPart: FMICS 2009, 2-3 November 2009, Final Call
  • From: Christophe Joubert
• [PVS] HSCC 2010 submission deadlines extended
  • From: Wang Yi
• [PVS] i-Society 2010: Call for Papers
  • From: i-Society 2010
• [PVS] FMCAD'09 Call For Participation
  • From: Armin Biere
• [PVS] *** FLOPS 2010: Last Call for Papers ***
  • From: Matthias Blume
• [PVS] i-Society 2010: Call for Papers
  • From: i-Society 2010
• [PVS] FIRST PhD Autumn School on Modal Logic
  • From: Thomas Bolander
• [PVS] CFP - AICCSA 2010
  • From: Essia Hamouda
• [PVS] RR 2009 Call for Participation
  • From: Terrance Swift
• [PVS] CFP - AICCSA 2010
  • From: Essia Hamouda
• [PVS] EXTENDED DEADLINE: UML&FM’2009
  • From: Isabelle Perseil
• [PVS] [fm-announcements] CFP: NASA Formal Methods Symposium 2010
  • From: Munoz, Cesar Augusto (LARC-D320)
• [PVS] CFP - SPECTS 2010
  • From: Abdelmajid Khelil
• [PVS] CFP - AICCSA 2010
  • From: Abdelmajid Khelil
• [PVS] CDN 2010 Call for Papers
  • From: Mukaddim Pathan
• [PVS] QAPL 2010 Call for Papers
  • From: Gethin Norman
• [PVS] FLAIRS 2010: AI Planning and Scheduling Special Track
  • From: Hana Rudova
• [PVS] WGT 2010 Call for Papers
  • From: Workshop on Generative Technologies
• [PVS] ACM SenSys 2009: Call for Participation
  • From: Pei Zhang
• [PVS] INAP 2009: CALL FOR PARTICIPATION
  • From: INAP 2009
• [PVS] CFP: Final call for papers: 7th European Conference onWireless Sensor Networks (EWSN 2010)
  • From: Pei Zhang
• [PVS] CFP: 4th GI/ITG KuVS WS on The Future Internet and 2nd WS onEconomic Traffic Management (ETM)
  • From: Thomas Michael Bohnert
• [PVS] ARSPA-WITS'10: call for papers
  • From: Alessandro Armando
• [PVS] CMCS 2010 Pre-announcement/call for papers
  • From: Alexandra Silva
• [PVS] Cfp FBTC 2010, From Concurrency To Biology and back
  • From: FBTC 2010
• [PVS] [Researchers] Elsevier's Information Fusion Journal,Special Issue on "Localized Algorithms for Information Fusion inResource-Constrained Networks"
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] FESCA @ ETAPS 2010
  • From: Jens Happe
• [PVS] SSS 2009 --- CALL FOR PARTICIPATION
  • From: Borzoo Bonakdarpour
• [PVS] AMT-BI'09 Call for Posters/Participation
  • From: wic-office
• [PVS] Subject: NPSec'09: Call for Participation
  • From: vijay
• [PVS] [Researchers] I2TS'2009 - deadline 20/sept/2009 -FlorianopolisIsland, 9-11/dec/2009 - MaximumNationalConferencesCapesQualis
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Call for Papers: PLPV 2010
  • From: Jean-Christophe Filliâtre
• [PVS] [combest-teamleaders ] Embedded Systems Week;October 11-16 2009, Grenoble
  • From: Susanne Graf
• [PVS] CFP, HSCC10 -- International Conference on Hybrid Systems:Computation and Control, Apr 12-16, 2010, Stockholm
  • From: Wang Yi
• [PVS] Third Announcement of ASCM-MACIS 2009
  • From: YANAMI Hitoshi
• [PVS] Call for Bids, ESSLLI 2011
  • From: Carlos Areces
• [PVS] Call for chapter of Ebook: Multicore Hardware-Software Designand Verification Techniques
  • From: Yean-Ru Chen (NTU)
• [PVS] Call for Abstracts -- Designing Correct Circuits 2010
  • From: Joe Stoy
• [PVS] SITIS'09: Last Call For Papers (4 days left)
  • From: CHBEIR Richard
• [PVS] [ISBRA-L] CFP: 7th Georgia Tech - ORNL Conference onBioinformatics
  • From: ISBRA Symposium Announcements
• [PVS] ASCM 2009 and MACIS 2009 - Extended Submission Deadline
  • From: Enric Rodriguez Carbonell
• [PVS] [qest-announce] MMB & DFT 2010, Second Call for Papers
  • From: Jenny Applequist
• [PVS] STACS 2010 - Last call for papers
  • From: Jean-Yves Marion
• [PVS] [2012 ATY] 2012 - The Alan Turing Year
  • From: CiE
• [PVS] RR 2009 Call for Participation
  • From: Terrance Swift
• [PVS] CAISE'2010: Call for Papers & Call Workshops and Tutorials
  • From: Selmin Nurcan
• [PVS] LDTA 2010 First Call for Papers
  • From: Rob Economopoulos
• [PVS] CSR-2010: First Call for Papers
  • From: Edward A\. Hirsch
• [PVS] Diplomados On-Line - Educacion a Distancia
  • From: Instituto Sudamericano de Investigacion y Desarrollo
• [PVS] ASCM-MACIS 2009: Submission Deadline Extended to September 25, 2009
  • From: YANAMI Hitoshi
• [PVS] Deadline extended: Software Verification and Testing at ACMSAC 2010
  • From: Jan Cederquist
• [PVS] Cortez Team Scores Coup in Acquiring Select Portfolio of 22Gold Projects
  • From: Cortez Gold CUT.P TSXV
• [PVS] 1st CALL FOR PAPERS : UML&AADL’2010
  • From: Isabelle Perseil
• [PVS] 1st CALL FOR PAPERS : UML&AADL’2010
  • From: Isabelle Perseil
• [PVS] CfP: IEEE TII,special section "Model-based Approaches for Embedded Systems"
  • From: João Miguel Fernandes
• [PVS] SAC - Security Track: extended deadline 1 week (Sept 15th)
  • From: COMPAGNA, Luca
• [PVS] CfPart: FMICS 2009, 2-3 November 2009
  • From: Christophe Joubert
• [PVS] Last Call for Papers: VSTTE 2009
  • From: Jean-Christophe Filliâtre
• [PVS] ETAPS 2010: Call for papers (correction)
  • From: Joost-Pieter Katoen
• [PVS] CFP: ESSLLI 2010 - Deadline 7 September
  • From: Carlos Areces
• [PVS] AMT-BI'09 Call for Posters/Participation
  • From: wic-office
• [PVS] ETAPS 2010: Call for papers
  • From: Joost-Pieter Katoen
• [PVS] SAC - Security Track: extended deadline 1 week (Sept 14th)
  • From: COMPAGNA, Luca
• [PVS] [Researchers] 11th IEEE WoWMoM - Montreal, 14-17/june/2010
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] *** FLOPS 2010: 2nd Call for Papers ***
  • From: Matthias Blume
• [PVS] Reminder for Language and Technology Conference 2009 - papersubmission deadline soon
  • From: ltc
• [PVS] [Researchers]8th I2TS´2009 - Florianopolis SC Island Brazil - December 09-11, 2009
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [CiE] COMPUTABILITY IN EUROPE 2010: Programs, Proofs,Processes -Ponta Delgada (Azores), Portugal, June 30 to July 5 2010
  • From: CiE
• [PVS] [Deadline Extension] SAC 2010,Special Track on Coordination Models, Languages and Application (CM)
  • From: Matteo Casadei
• [PVS] CALL FOR PARTICIPATION
  • From: Borzoo Bonakdarpour
• [PVS] Last Call for Participation: GAMES 2009
  • From: fsvweb
• [PVS] 2 R&D computer science engineer positions open inGrenoble/France
  • From: Frederic Lang
• [PVS] PADL'10: deadline extension (1 more week)
  • From: Manuel Carro
• [PVS] 3rd CFP - Deadline Extension: Special Issue of the JSC onInvariant Generation
  • From: Laura Kovacs
• [PVS] Second Announcement of ASCM-MACIS 2009
  • From: YANAMI Hitoshi
• [PVS] [NPA] Extended deadline: International Journal of NetworkProtocols and Algorithms
  • From: Jaime Lloret Mauri
• [PVS] RR 2009 Call for Participation
  • From: Terrance Swift
• [PVS] [qest-announce] CFP: 15th IEEE Intl. Conf. on Engineering ofComplex Computer Systems (ICECCS 2010)
  • From: Marta Kwiatkowska
• [PVS] Last Cfp: Software Verification and Testing at ACM SAC 2010
  • From: Jan Cederquist
• [PVS] [Researchers] CALL FOR PARTICIPATION - DS-RT 2009
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Last CfP] Coordination Models, Languages,and Applications (CM) Special Track at SAC 2010 (Sierre,Switzerland)
  • From: Matteo Casadei
• [PVS] PADL 10: Third Call for Papers
  • From: Manuel Carro
• [PVS] M4M-6: Deadline extended till September 1
  • From: Thomas Bolander
• [PVS] Deadline extension: FMA Formal Methods for Aerospace
  • From: Manuela Bujorianu
• [PVS] [Researchers] I2TS'2009 - 09-11/12/2009 - Florianopolis SCIsland Brazil (IEEE LA Transactions at IEEE Xplorer)
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] UML&FM'09 CFP
  • From: Sun Meng
• [PVS] CFP VMCAI 2010, Madrid - EXTENDED DEADLINE: Aug 21/28
  • From: Manuel Hermenegildo
• [PVS] Last CFP: Methods for Modalities 6 (M4M-6)
  • From: Thomas Bolander
• [PVS] 2nd CFP: FMA - Formal Methods for Aerospace
  • From: Manuela Bujorianu
• [PVS] Call for Papers
  • From: African Journal of Mathematics and Computer Science Research JMCSR
• [PVS] MetiTarski theorem prover (Version 1.2)
  • From: Lawrence Paulson
• [PVS] 2nd CFP - Special Issue of the JSC on Invariant Generation
  • From: Laura Kovacs
• [PVS] CFP, HSCC10 -- International Conference on Hybrid Systems:Computation and Control, Apr 12-16, 2010, Stockholm
  • From: Wang Yi
• [PVS] e-Technology 2010 Submission Deadline is Approaching
  • From: pp chen
• [PVS] [Third CfP] Coordination Models, Languages,and Applications (CM) Special Track at SAC 2010 (Sierre,Switzerland)
  • From: Matteo Casadei
• [PVS] LTC2009+LRL2009 - Extended submission deadline - September 6
  • From: ltc
• [PVS] LATA 2010: call for papers
  • From: carlos.martin
• [PVS] [NPA] 1st Call for Papers: International Journal of NetworkProtocols and Algorithms
  • From: Jaime Lloret Mauri
• [PVS] [Researchers]8th I2TS´2009 - 09-11/12/2009 - Florianopolis BRASIL
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] WI-IAT 2009 Call for Participation
  • From: wic-office
• [PVS] PLMMS 2009: Call for Participation
  • From: Gabriel Dos Reis
• [PVS] [EWSN 2010] Call for Papers, Posters, and Demos
  • From: Pei Zhang
• [PVS] Call for Papers, IPSN 2010
  • From: ipsnpublicity
• [PVS] GPCE'09 Call for Participation
  • From: gre
• [PVS] NASSLLI 2010 CFP
  • From: Joey Frazee
• [PVS] ICLP'10,FLoC'10: Call for Workshops Deadline Extension to Sept. 1rst
  • From: Veronica Dahl
• [PVS] Call for Papers RCIS'2010
  • From: Selmin Nurcan
• [PVS] Call for Papers: 33rd Annual IEEE - Software EngineeringWorkshop
  • From: Cristina Seceleanu
• [PVS] FroCoS'09: Call for Participation
  • From: Roberto Sebastiani
• [PVS] [CIBCB] Call for Papers: IEEE CIBCB 2010 - Montreal May 2-5,2010
  • From: cibcb
• [PVS] AVoCS'09 - Call for Short Contributions & Participation
  • From: AVoCS09
• [PVS] LTC2009 FlaReNet-LRL2009 Workshop - 1 week reminder for LTC
  • From: ltc
• [PVS] Call for Participation - Safecomp 2009,15.-18.9.2009 -- request for publication
  • From: Prof. Dr. Bettina Buth
• [PVS] Call for Papers: VSTTE 2009
  • From: Jean-Christophe Filliâtre
• [PVS] Second Call for Papers: PADL'10, Madrid, January 2010
  • From: Manuel Carro
• [PVS] Preliminary Call for Papers: ACSD 2010 (Application ofConcurrency to System Design)
  • From: victor khomenko
• [PVS] PhD and postdoc positions on multi-core model checking,Eindhoven, Netherlands
  • From: Dragan Bosnacki
• [PVS] CfPart: ICTAC'09
  • From: Martin Leucker
• [PVS] CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification,Model Checking, and Abstract Interpretation)
  • From: vmcai10-announce
• [PVS] Call for Papers: IDCS'09 (Deadline 10 August- 20 Days leftfor submission)
  • From: Mukaddim Pathan
• [PVS] [CFP] ESSLLI 2010 Call for Course and Workshop Proposals
  • From: Carlos Areces
• [PVS] Call for Papers: PLPV 2010
  • From: Jean-Christophe Filliâtre
• [PVS] CFP - AICCSA'10
  • From: Abdelmajid Khelil
• [PVS] Reminder: CALCO 2009 Call for Participation
  • From: CALCO 2009
• [PVS] Stacs 2010
  • From: Jean-Yves Marion
• [PVS] WoLLIC 2010 - Call for Papers
  • From: Ruy de Queiroz
• [PVS] ITP 2010 - Call for Papers
  • From: Matt Kaufmann
• [PVS] Post-Doctoral Research Associate - Reasoning with RelaxedMemory Models
  • From: Peter Sewell
• [PVS] CONCUR 2009: Second Call for Participation
  • From: Mario Bravetti
• [PVS] 1st Call for Posters and Industrial Presentations |ComputationWorld 2009 / Athens-Greece, November 15-20, 2009
  • From: Jaime Lloret Mauri
• [PVS] FLoC 2010: Final Call for Workshop Proposals
  • From: Nicole Schweikardt
• [PVS] 2nd Conference ITiB'2010 - CALL FOR PAPERS
  • From: ITiB
• [PVS] ATVA 2009: Call for participants
  • From: Jun PANG
• [PVS] AMT-BI'09 Call for Posters/Participation
  • From: wic-office
• [PVS] Call for papers: Mathematics of Program Construction
  • From: Jules Desharnais
• [PVS] [Ppdp09] PPDP'09 - Call for Participation
  • From: António Porto
• [PVS] FAST extension: 20 July (abstracts), 24 July (papers)
  • From: Joshua D. Guttman
• [PVS] Call For Workshop Proposals - PICom-09
  • From: X.Jin
• [PVS] Call for ICLP'10 Workshop Proposals
  • From: Veronica Dahl
• [PVS] HLDVT 09 -- Call for Abstracts for Presentations -- deadlineJuly 24
  • From: Shireesh Verma
• [PVS] [qest-announce] Several PhD and Postdoc Vacancies
  • From: Holger Hermanns
• [PVS] ESSLLI 2010: Call for Course and Workshop Proposals
  • From: Carlos.Areces
• [PVS] GAMES 2009: Final Call for Contributions
  • From: fsvweb
• [PVS] DL 2009: Final Call for Participation
  • From: Boris Motik
• [PVS] [WOSP/SIPEW UPDATED CFP] EXTENDED SUBMISSION DEADLINE07/21/2009First Joint International Conference on Performance Engineering
  • From: Emmanuel Arzuaga
• [PVS] DEADLINE Extended - IEEE WORKSHOP ON BROADBAND WIRELESSACCESS, co-located with IEEE GLOBECOM 2009
  • From: Thomas Michael Bohnert
• [PVS] IDCS 2009: Call for Papers (Deadline: 10 August 2009)
  • From: Mukaddim Pathan
• [PVS] Call For Workshop Proposals - PICom-09
  • From: xjin
• [PVS] LCC Call for Participation
  • From: Logic and Computational Complexity
• [PVS] First Call for Participation
  • From: Laurent Théry
• [PVS] CFP
  • From: David Beaver
• [PVS] CFP - AICCSA'10
  • From: Abdelmajid Khelil
• [PVS] Second Call for Papers: DAMP 2010
  • From: jlpspi
• [PVS] Deadline Extended: International Symposium onRevisionCalculus and Applications (RCA' 09)
  • From: =?utf-8?B?UkNB?=
• [PVS] GAMES 2009: CALL FOR CONTRIBUTIONS
  • From: Pietro Sala
• [PVS] CFPart: DML 2009--Towards a Digital Mathematics Library,Ontario, CA, Jul 8-9th
  • From: dml2009
• [PVS] INAP 2009: DEADLINE EXTENSION and Final Call for Papers
  • From: INAP 2009
• [PVS] TPHOLs 2009 in Munich: Second Call for Participation
  • From: Stefan Berghofer
• [PVS] LOPSTR2009 Call for Participation
  • From: International Symposium on Logic-based Program Synthesis andTransformation
• [PVS] one more week || CfP | ComputationWorld 2009 / Athens-Greece,November 15-20, 2009
  • From: Jaime Lloret Mauri
• [PVS] ICFCA - CFP
  • From: Nisheeth Joshi
• [PVS] RR 2009 Deadline Extended
  • From: Terrance Swift
• [PVS] VSTTE 2010: Verified Software -- Call for Papers
  • From: Gudmund Grov
• [PVS] Call for Participation: Modules and Libraries for ProofAssistants (CADE workshop)
  • From: Florian Rabe
• [PVS] AFM09 Program and Abstracts
  • From: Sam Owre
• [PVS] [WOSP/SIPEW 2010] Call for Tutorials & Posters
  • From: Emmanuel Arzuaga
• [PVS] [vvps09-pub ] VVPS09: Deadline extended -> June 28
  • From: info.vvps09
• [PVS] ESSLLI 2009 - Final Call for Participation
  • From: Richard Moot
• [PVS] ICLP'09 Call for Participation
  • From: Ricardo Rocha
• [PVS] CADE-22 - Second Call for Participation
  • From: Carsten Schuermann
• [PVS] Call for papers - WCB09 - Extended Deadline
  • From: Alessandro Dal Palu'
• [PVS] RR 2009 Call for Papers
  • From: Terrance Swift
• [PVS] FACS'09: deadline extended to June 26
  • From: Sun Meng
• [PVS] [CFP: WOSP-SIPEW 2010] First Joint WOSP-SIPEW Conference onPerformance Engineering
  • From: Emmanuel Arzuaga
• [PVS] ICLP'09 Call for Participation
  • From: Ricardo Rocha
• [PVS] Second Call for Papers: International Symposium on RevisionCalculus and Applications (RCA '09)
  • From: =?utf-8?B?UkNB?=
• [PVS] GAMES 2009: Call for Contributions
  • From: fsvweb
• [PVS] CFP: IDCS'09 with CSA-09 (Deadline 10 August)
  • From: Mukaddim Pathan
• [PVS] [ESSOS] CFP: International Symposium on Engineering SecureSoftware and Systems (ESSoS)
  • From: Yves Younan
• [PVS] Ph.D and Postdoc Positions available at the University of Oslo
  • From: Martin Steffen
• [PVS] First Call For Papers: PEPM'10
  • From: John Gallagher
• [PVS] European Computer Science Summit 2009, Call for submissions
  • From: Antoine Petit
• [PVS] ICLP'09 Call for Participation
  • From: Ricardo Rocha
• [PVS] Call for Participation with PADTAD 2009
  • From: Eric Mercer
• [PVS] Final CFP REFINE 2009: papers due 1 Aug,workshop 2 Nov at FM'09, Eindhoven
  • From: Eerke Boiten
• [PVS] PhD position on Security by Logic for Multithreaded,applications (U. Twente, Netherlands)
  • From: Marieke Huisman
• [PVS] CFP: Deadline Extended - Intl. ACM Conference on Management ofEmergent Digital EcoSystems (MEDES 2009)
  • From: Youakim Badr
• [PVS] CONCUR 2009: Call for Participation
  • From: Mario Bravetti
• [PVS] [CfP] Coordination Models, Languages,and Applications (CM) Special Track at SAC 2010
  • From: Matteo Casadei
• [PVS] ** Extended deadline** - Call for Papers : Malware 2009
  • From: Jean-Yves Marion
• [PVS] (2nd) Call for FLoC 2010 Workshops
  • From: Michael Norrish
• [PVS] CFP: ComputationWorld 2009, November 15-20, 2009 - Athens,Greece
  • From: Jaime Lloret Mauri
• [PVS] new postdoc position
  • From: Jean-Jacques Levy
• [PVS] Workshop on Neural Networks for Time Series Prediction,Stellenbosch, South Africa
  • From: Forecasting Training
• [PVS] CADE-22 - Call for Participation
  • From: Carsten Schuermann
• [PVS] [Researchers] 5th ACM Symposium on QoS and Security forWireless Mobile Networks
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] Call For Papers: VMCAI 2010, Madrid, January 17-19, 2010
  • From: Gilles Barthe
• [PVS] CFP: International Workshop Embedded Systems andCommunications Security
  • From: iwoungan
• [PVS] CFP: 2nd International Workshop on Dependable NetworkComputing and Mobile Systems (DNCMS 2009)
  • From: iwoungan
• [PVS] CFP: 3rd International workshop on Broadband WirelessInternet Access
  • From: iwoungan
• [PVS] Call for participation: TAP 2009
  • From: Tests and Proofs 2009
• [PVS] Initial Call for Papers: PADL 2010
  • From: Manuel Carro
• [PVS] [LC-09] LOGIC COLLOQUIUM 2009 - third announcement
  • From: Logic Colloquium 2009
• [PVS] ICITST-2009: Call for Special Tracks!
  • From: d.lin
• [PVS] WMM 2009: Last Call for Papers
  • From: Christian Urban
• [PVS] RR 2009 Call for Papers
  • From: Terrance Swift
• [PVS] CFV'09: Call for Participation
  • From: Miroslav Velev
• [PVS] CALL FOR PARTICIPATION 4th Summer School on AOSD (program,dates, student grants)
  • From: Thomas Ledoux
• [PVS] VECoS 2009 - Call for Participation
  • From: Bruno Monsuez
• [PVS] [Researchers] 6th ACM PE-WASUN 2009
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 5th ACM (Q2SWinet 2009)
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] AVoCS'09 - Final call for papers
  • From: AVoCS09
• [PVS] IEEE ESCS 2009 Workshop Call-for-papers
  • From: Gopal, Vinodh
• [PVS] CFW: 3rd Indian Logic School, Hyderabad, 18-29 Jan 2010 (fwd)
  • From: Kamal Lodaya
• [PVS] [vvps09-pub ] Second Call for Paper VVPS'09
  • From: info.vvps09
• [PVS] Final CFP NPSec 2009, Abstract Submission Deadline June 8th,2009
  • From: Balasubramaniyan, Vijay A
• [PVS] [Researchers] 6th ACM PE-WASUN 2009
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] [qest-announce] Call for Papers YR-CONCUR'09
  • From: Joost-Pieter Katoen
• [PVS] [Call for Papers] Coordination Models, Languages,and Applications (CM) Special Track at SAC 2010 (Sierre,Switzerland)
  • From: Matteo Casadei
• [PVS] TFM09: Deadline extension to 8 June
  • From: J.N. Oliveira
• [PVS] ESSLLI 2009 Bordeaux: Program and Call for Participation
  • From: Richard Moot
• [PVS] SPIN forum
  • From: David Faragó
• [PVS] TFM09: Deadline extension to 8 June
  • From: Announcements of FME events
• [PVS] ICST 2010 in Paris: 1st call for contributions
  • From: Marie-Claude Gaudel
• [PVS] [Researchers] 6th ACM PE-WASUN 2009
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] CFP: 13th IEEE/ACM DS-RT 2009 - ExtendedDeadline, May 25, 2009
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] Announcement of SCSS 2009
  • From: Temur Kutsia
• [PVS] [FMICS 2009] Call for Posters
  • From: FMICS 2009 workshop chair
• [PVS] TTSS'09: final call for papers
  • From: Einar Broch Johnsen
• [PVS] ICLP'09 Call for Participation
  • From: Ricardo Rocha
• [PVS] Call for Submissions for Constraint Programming 2009 DoctoralProgram
  • From: Karen Petrie
• [PVS] LCC Extension/CfP
  • From: Logic and Computational Complexity
• [PVS] [Researchers] CFP: 13th IEEE/ACM DS-RT 2009 - ExtendedDeadline, May 25, 2009
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] Brain Informatics 2009 Deadline Extension
  • From: wic-office
• [PVS] AMT 2009 Deadline Extension
  • From: wic-office
• [PVS] Final call for Chapter proposals: e-book on Advanced KBS
  • From: e-Book KBS
• [PVS] [qest-announce] Practical Applications of Stochastic ModellingPASM'09, London, UK
  • From: Jeremy Bradley
• [PVS] FINAL CFP: Structural Operational Semantics 2009
  • From: Bartek Klin
• [PVS] [FMN 2009] Call for Participation
  • From: Mikołaj Leszczuk
• [PVS] Call for Papers : Malware 2010
  • From: Jean-Yves Marion
• [PVS] ICLP'09 Call for Participation
  • From: Ricardo Rocha
• [PVS] ICITST-2009: Deadline for Paper Submission is Approaching!
  • From: d.lin
• [PVS] [Researchers] CFP: 7th ACM MobiWac 2009 Symposium,Canary Islands, Spain.
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] LASER summer school on software testing -- Elba,6-12 September 2009
  • From: Martin Nordio
• [PVS] SSS 2009 -- Deadline Extended
  • From: Borzoo Bonakdarpour
• [PVS] PhD position at LIRMM, Montpellier
  • From: Madalina Croitoru
• [PVS] PRIB2009 Call for SHORT Papers
  • From: prib2009
• [PVS] 1st CFP - Special Issue of the JSC on Invariant Generation
  • From: Laura Kovacs
• [PVS] TFM09: Last Call for Papers (FMWeek, Eindhoven,November 6th 2009)
  • From: J.N. Oliveira
• [PVS] CFP: IDCS'09 with CSA-09, December 10-12, 2009, Jeju Island,Korea
  • From: Mukaddim Pathan
• [PVS] Call for papers: SVT at ACM SAC 2010
  • From: Jan Cederquist
• [PVS] TOOLS 2009 - call for participation
  • From: Philippe.LAHIRE
• [PVS] events post from jno@di.uminho.pt requires approval
  • From: Announcements of FME events
• [PVS] Deadline extension: SAVCBS 2009
  • From: Marieke Huisman
• [PVS] Brain Informatics 2009 Final Call for Papers
  • From: wic-office
• [PVS] AMT 2009 Final Call for Papers
  • From: wic-office
• [PVS] First Call for Papers: DAMP 2010
  • From: jlpspi
• [PVS] 5th IEEE WORKSHOP ON BROADBAND WIRELESS ACCESS co-locatedwith IEEE GLOBECOM 2009
  • From: Thomas Michael Bohnert
• [PVS] FLoC 2010: Call for Workshop Proposals
  • From: Nicole Schweikardt
• [PVS] [CAV09] 2nd Call for Participation CAV 2009: Eealyregistration deadline approaching
  • From: CAV-2009
• [PVS] [Researchers] 13th IEEE/ACM DS-RT 2009
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 6th ACM PE-WASUN 2009
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 5th ACM Q2SWinet 2009
  • From: Profa Dra Mirela Sechi Moretti Annoni Notare
• [PVS] Call for Participation for DCOSS 2009
  • From: npatwari
• [PVS] ICE09: second Call for Papers
  • From: Emilio Tuosto
• [PVS] MeCBIC 2009: 2nd Call for Papers
  • From: Gabriel Ciobanu
• [PVS] FMCAD'09 Last Call for Papers
  • From: Armin Biere
• [PVS] FLoC 2010: First Announcement
  • From: Nicole Schweikardt
• [PVS] ICLP'09 Call for Participation
  • From: Ricardo Rocha
• [PVS] 22nd IEEE Computer Security Foundations Symposium (CSF 2009):Call for Participation
  • From: Scott Stoller
• [PVS] Call for papers - WCB09
  • From: Alessandro Dal Palu'
• [PVS] 2nd CFP: 6th workshop on "Methods for Modalities" (M4M-6)
  • From: Thomas Bolander
• [PVS] FLOPS 2010: Preliminary Call for Papers
  • From: Matthias Blume
• [PVS] TPHOLs 2009 in Munich: Call for Participation and AcceptedPapers
  • From: Stefan Berghofer
• [PVS] STACS 2010
  • From: Jean-Yves Marion
• [PVS] PLMMS 2009: Extended deadline
  • From: Laurent Théry
• [PVS] CSET'09 Workshop Deadline Extended to *June 1st*
  • From: Angelos Stavrou
• [PVS] ECOOP 2009 Call for Participation
  • From: Dave Clarke
• [PVS] LATA 2010: bids for venue
  • From: carlos.martin
• [PVS] CFP NPSec 2009 Extended Deadline
  • From: Balasubramaniyan, Vijay A
• [PVS] FOPARA'09 -- First Call for Papers
  • From: CFP
• [PVS] SAVCBS 2009 Final Call For Papers -- 8th Workshop onSpecificationand Verification of Component-based Systems (co-located with ESEC/FSE 2009)
  • From: Marieke Huisman
• [PVS] SSS 2009 -- Last Call For Papers
  • From: Borzoo Bonakdarpour
• [PVS] SAVCBS 2009 Final Call For Papers -- 8th Workshop onSpecificationand Verification of Component-based Systems (co-located with ESEC/FSE 2009)
  • From: Marieke Huisman
• [PVS] Student grants available: Global Computing Tutorial Series
  • From: Martin Steffen
• [PVS] HLDVT 2009 Call for Papers
  • From: Shireesh Verma
• [PVS] Deadline extension LOPSTR09
  • From: International Symposium on Logic-based Program Synthesis andTransformation
• [PVS] [FMICS 2009] Call for Posters
  • From: FMICS 2009 workshop chair
• [PVS] [Researchers] 6th ACM PE-WASUN 2009
  • From: Mirela Sechi Moretti Annoni Notare
• [PVS] 2nd CFP: Structural Operational Semantics 2009
  • From: Bartek Klin
• [PVS] [CFP] Special Issue of the LJ-IGPL on Hybrid Logics
  • From: Carlos Areces
• [PVS] ICITST-2009: Deadline for Paper Submission is Approaching!
  • From: d.lin
• [PVS] Deadline Approaching: 2009 IEEE International Conference onSemantic Computing
  • From: Chengcui Zhang
• [PVS] LFMTP 2009: Deadline extension
  • From: Amy Felty
• [PVS] [ISBRA-L] ISBRA'09/CIGE'09 Last Call for Participation
  • From: ISBRA Symposium Announcements
• [PVS] [qest-announce] CfP: PMCCS 2009 (after QEST'09) - submissiondeadline a month away
  • From: Armin Heindl
• [PVS] [Ppdp09] PPDP'09 - EXTENDED DEADLINES
  • From: António Porto
• [PVS] Final call for papers: LOPSTR09
  • From: International Symposium on Logic-based Program Synthesis andTransformation
• [PVS] [Researchers] 12th ACM/IEEE MSWiM 2009
  • From: Prof Mirela Sechi Moretti Annoni Notare
• [PVS] Call for contributions: PADVES associated with CAV 2009
  • From: Susanne Graf
• [PVS] Call for Participation for DCOSS '09: Early RegistrationDeadline
  • From: Neal Patwari
• [PVS] Extended draft paper submission: MULTICONF-09 call for papers
  • From: John Edward
• [PVS] DCM 2009, Rhodes, Greece - EXTENDED DEADLINE: 7 MAY, 2009
  • From: S Barry Cooper
• [PVS] [Researchers] 13th IEEE/ACM DS-RT 2009
  • From: Prof Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] IEEE Latin-American Conference onCommunications 2009 (LATINCOM 2009)
  • From: Prof Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] [Researchers) (Q2SWinet 2009) 5th ACM Symposiumon QoS and Security for Wireless Mobile Networks
  • From: Prof Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 13th IEEE/ACM International Symposium onDistributed Simulation and Real Time Applications
  • From: Prof Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] ACM/IEEE MSWiM 2009
  • From: Prof Mirela Sechi Moretti Annoni Notare
• [PVS] RR 2009 Second Call for Papers
  • From: Terrance Swift
• [PVS] Call for FLoC 2010 Workshops
  • From: Michael Norrish
• [PVS] Call for Participation: Distributed Computing Techniques:DisCoTec 2009 (DAIS + FMOODS/FORTE + COORDINATION), Lisbon,9-12 June 2009, student grants available
  • From: Martin Steffen
• [PVS] EPTCS launch
  • From: Wan Fokkink
• [PVS] The 4th European Conference on Smart Sensing and Context(EuroSSC 2009)
  • From: P.Barnaghi
• [PVS] Faculty Vacancies -- CS Dept -- Univ of Cyprus
  • From: Announcements
• [PVS] Call For Workshop Proposals (FLoC 2010, Edinburgh)
  • From: Hitoshi Ohsaki (RTA publicity chair)
• [PVS] INAP 2009: 1st CFP
  • From: INAP 2009
• [PVS] [Ppdp09] PPDP'09 - last CfP
  • From: António Porto
• [PVS] ICITST-2009: Final Call for Extended Abstracts and WorkshopProposals.
  • From: d.lin
• [PVS] Call for Book Chapters - Security of Self-Organizing Networks, CRCPress, Taylor & Francis, USA
  • From: Mukaddim Pathan
• [PVS] AFM'09 deadline extension to May 8, 2009
  • From: Natarajan Shankar
• [PVS] Announcing SMT-COMP 2009
  • From: Clark Barrett
• [PVS] PLMMS 2009: Last CFP
  • From: Makarius
• [PVS] PLMMS 2009: Last CFP
  • From: Gabriel Dos Reis
• [PVS] CFP: TPHOLs 2009 --EMERGING TRENDS--
  • From: Christian Urban
• [PVS] TFM09: Call for Papers (Formal Methods Week, Eindhoven,November 6th 2009)
  • From: J.N. Oliveira
• [PVS] Final CFP: The 2009 International Workshop on Reconfigurableand Multi-core Embedded Systems (WoRMES'2009)
  • From: =?Big5?B?p2arVL3l?=
• [PVS] Last CFP: DML 2009--Towards a Digital Mathematics Library,Ontario, CA, Jul 8-9th
  • From: dml2009
• [PVS] Brain Informatics 2009 Final Call for Papers
  • From: wic-office
• [PVS] Extended draft paper submission: MULTICONF-09 call for papers
  • From: Edward Mellon
• [PVS] Call for Papers: Formal Aspects of Component Software (FACS2009)
  • From: Bernhard Schätz
• [PVS] [Researchers] The 12th ACM* Annual Conference on Modeling,Analysis and Simulation of Wireless Mobile Systems
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] CFP: TAMOCO'09 SUBMISSION DEADLINE EXTENSION
  • From: Gregorio Diaz Descalzo
• [PVS] PhD positions in ICT on Formal Verification via SMT availablein Trento
  • From: Roberto Sebastiani
• [PVS] [vvps09-pub ] Call for Papers: VVPS'09 Workshop
  • From: info.vvps09
• [PVS] 2nd Cfc: CALCO-jnr 2009: CALCO Young Researchers Workshop,Udine, Italy
  • From: Monika Seisenberger
• [PVS] AMT09 Final Call for Papers
  • From: wic-office
• [PVS] 2nd CFP: Special Issue on Hybrid Logics of the LJ-IGPL
  • From: Carlos Areces
• [PVS] CFP - WISe 2009 - Deadline May 10, 2009
  • From: Farid Naït-Abdesselam
• [PVS] FroCoS'09 Final Call for Papers
  • From: Roberto Sebastiani
• [PVS] DATICS-ICMS'09 - Call For Papers
  • From: SS DATICS
• [PVS] SMT 2009; 2nd Call for Papers
  • From: Bruno Dutertre
• [PVS] ESSLLI 2009 - Early registration deadline approaching
  • From: Richard Moot
• [PVS] CSR-2009: Call for Participation
  • From: CSR-2009
• [PVS] [Researchers]12th ACM/MSWiM´2009 - Annual Conference on Modeling, Analysis and Simulation of Wireless Mobile Systems, Canary Island, 26-30/10/2009
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] AFM '09 Call for Papers
  • From: Natarajan Shankar
• [PVS] [FM 2009] *****submission deadline May 4th*****
  • From: dennis
• [PVS] LFMTP 2009: 2nd Call for Papers
  • From: Amy Felty
• [PVS] [Call for Papers] International Symposium on RevisionCalculus and Applications (RCA '09)
  • From: =?utf-8?B?UkNB?=
• [PVS] Positions for PhD students and PostDocs
  • From: mantel
• [PVS] Extended draft paper submission: MULTICONF-09 call for papers
  • From: dawnwatson13
• [PVS] Call for Posters and Demos for DCOSS'09
  • From: Neal Patwari
• [PVS] [CAV09] Call for Participation - CAV 2009, Grenoble
  • From: CAV-2009
• [PVS] CFP: Europecomm 2009 - Extended Deadline: 19 April 2009
  • From: Eduardo Cerqueira
• [PVS] ICITST-2009: Second Call for Papers and Workshop Proposals.
  • From: d.lin
• [PVS] Last Submission Day: April 30: SoftNet 2009 [ICSEA, CENTRIC,VALID, SIMUL, ICSNC] September 20-25, 2009 - Porto, Portugal
  • From: SoftNet 2009
• [PVS] 2nd CFP: DML 2009--Towards a Digital Mathematics Library,Ontario, CA, Jul 8-9th
  • From: dml2009
• [PVS] Last call for papers: Modules and Libraries for ProofAssistants (CADE workshop)
  • From: Florian Rabe
• [PVS] [FMICS 2009] Deadline Extension to 20 April
  • From: fmics2009
• [PVS] WoRMES'09 CFP: Deadline extension to April 29, 2009
  • From: =?Big5?B?p2arVL3l?=
• [PVS] ICE09: Call for Papers
  • From: Emilio Tuosto
• [PVS] PPDP'09 - 2nd CfP
  • From: António Porto
• [PVS] PRIB2009 Call for Papers - Last deadline extension
  • From: prib2009
• [PVS] PPDP'09 - 2nd CfP
  • From: António Porto
• [PVS] CFP--SPECTS 2009 Tomorrow is the definitive deadline
  • From: Abdelmajid Khelil
• [PVS] FCS 2009: EXTENDED DEADLINE
  • From: Veronique Cortier
• [PVS] CfP Workshop on Service oriented Enterprise Architecture forEnterprise Engineering (EDOC'09)
  • From: Selmin Nurcan
• [PVS] IAT 2009 - Call for Papers - Extended Deadline
  • From: wiiat
• [PVS] new book series
  • From: carlos.martin
• [PVS] LOPSTR2009 Call for papers
  • From: International Symposium on Logic-based Program Synthesis andTransformation
• [PVS] ACM-SIGPLAN PPDP 2009 - 1st CFP
  • From: Ana Paula Tomas
• [PVS] SBF - Computational Methods in Synthetic Biology SummerSchool - 22-26th June 2006ac2001@science.uva.nl
  • From: Sandra Borthwick
• [PVS] CFP--SPECTS 2009 Deadline Extended to April 15, 2009
  • From: Abdelmajid Khelil
• [PVS] FORMATS 2009: EXTENDED DEADLINE
  • From: Joel Ouaknine
• [PVS] Final CFP: Special Issue of the Journal of AutomatedReasoning on Computer Security: Foundations and Automated Reasoning
  • From: avantssar
• [PVS] IAT 2009 - Call for Papers - Extended Deadline
  • From: wiiat
• [PVS] IWACO 2009 Deadline extended
  • From: Matthew Parkinson
• [PVS] ICFEM 2009: First Call for Papers
  • From: Announcements of FME events
• [PVS] PRIB2009 Call for Papers (one week to deadline)
  • From: prib2009
• [PVS] DATE 2009 Monday Tutorials - Call for Participation
  • From: Goerschwin Fey
• [PVS] LICS Workshop on Foundations of Computer Security (Call forPapers)
  • From: Vitaly Shmatikov
• [PVS] WI 2009 - Call for Papers - Extended Deadline
  • From: wiiat
• [PVS] Seconf CfP: 22nd International Workshop on Description Logics(DL 2009)
  • From: Bernardo Cuenca Grau
• [PVS] [Researchers] 12th ACM Annual Conference on Modeling,Analysis and Simulation of Wireless Mobile Systems - Canary Islands- 26-30/10/2009
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Automated Formal Methods '09: Second Call For Papers
  • From: Natarajan Shankar
• [PVS] CFP: Europecomm 2009 - Deadline Approaching!
  • From: Eduardo Cerqueira
• [PVS] Final CfP: ICTAC'09 - Last Chance
  • From: Martin Leucker
• [PVS] CFP--SPECTS 2009 Deadline Extended to April 15, 2009
  • From: Abdelmajid Khelil
• [PVS] ICITST-2009: Call for Papers and Workshop Proposals.
  • From: info
• [PVS] FM 2009: one month to go before the deadline - Final Call forPapers
  • From: Announcements of FME events
• [PVS] Extended Deadline for QSIC 2009
  • From: Gihwon Kwon
• [PVS] CLAGTEE 2009 - 3rd Call for Papers and New Deadlines
  • From: Clagtee 2009
• [PVS] ATVA 2009 Final Call for Papers
  • From: Jun PANG
• [PVS] PLMMS 2009: Call for Paper
  • From: Gabriel Dos Reis
• [PVS] *** Deadline Extension *** CFP: IDC 2009
  • From: Announcements
• [PVS] FW: lectureship in formal modelling and analysis at Glasgow
  • From: Alice Miller
• [PVS] Second CFP: QA 2009 (pre-CAV workshop)
  • From: Sumit Gulwani
• [PVS] ICLP'09 Doctoral Consortium
  • From: iclp09.dc
• [PVS] ACL2 2009 Call for Participation
  • From: Sandip Ray
• [PVS] CiE 2009 - Call for Participation and Informal Presentations
  • From: S B Cooper
• [PVS] IWACO 2009 Final call for papers
  • From: Matthew Parkinson
• [PVS] First CFP: PCC 2009
  • From: David Pichardie
• [PVS] DCOSS'09 NSF Government Funding Session
  • From: Neal Patwari
• [PVS] FroCoS'09 Call for Papers
  • From: Roberto Sebastiani
• [PVS] [qest-announce] CfP: PMCCS 2009 in Hungary (after QEST'09)
  • From: Armin Heindl
• [PVS] [FMICS 2009] Deadline Extension to 10 April
  • From: FMICS 2009 workshop chair
• [PVS] First CFP: FMA - Formal Methods for Aerospace
  • From: Manuela Bujorianu
• [PVS] IEEE/WIC/ACM WI 2009 (Milano, Italy) -- Final Call for Papers
  • From: wiiat
• [PVS] IEEE IRI 2009: Deadline Extended to March 29
  • From: IEEE-IRI-Publicity
• [PVS] CFP NPSec 2009
  • From: Balasubramaniyan, Vijay A
• [PVS] PRIB2009 Call for Papers
  • From: prib2009
• [PVS] CFP: QA 2009 (pre-CAV workshop)
  • From: Sumit Gulwani
• [PVS] SPIN 2009: Extended Deadline March 24, 2009
  • From: Corina Pasareanu
• [PVS] 1 Postdoc and 1 PhD vacancy in the MathWiki project
  • From: Freek Wiedijk
• [PVS] DMIN'09 - Deadline Extension
  • From: Data Mining CfP
• [PVS] LASER Summer School on Software Engineering
  • From: Martin Nordio
• [PVS] [ISBRA-L] ISBRA'09 Call for posters -- submission deadline March 16, 2009
  • From: ISBRA Symposium Announcements
• [PVS] [FMICS 2009] Third Call for Papers
  • From: FMICS 2009 workshop chair
• [PVS] Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning
  • From: avantssar
• [PVS] Draft paper submission is extended (will not be extended further): MULTICONF-09
  • From: John Edward
• [PVS] [Coq-Club] Tests and Proofs 2009 - Call for Papers - submission deadline march 20th 2009
  • From: Catherine Dubois
• [PVS] Fully-funded doctoral studentships in dependently type programming at Oxford and Strathclyde
  • From: Jeremy.Gibbons
• [PVS] 2nd CFP --- VeCoS 09 --- 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems
  • From: Bruno Monsuez
• [PVS] CORCS'09 CFP - EXTENDED DEADLINE: 15th of March
  • From: Cristina Seceleanu
• [PVS] CONCUR 2009: 2nd Call for Papers
  • From: Mario Bravetti
• [PVS] 2nd Chaotic Modeling and Simulation International Conference (CHAOS2009) , Conference Poster and Information
  • From: Secretariat CHAOS2009 Conference
• [PVS] [Researchers] IEEE Globecom 2009: Ad Hoc, Sensor and Mesh Networking Symposium
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] SFM-09:WS -- school on formal methods for web services (last call)
  • From: Marco Bernardo
• [PVS] CfP: IEEE TSE - Special Issue on Exception Handling
  • From: Alexander Romanovsky
• [PVS] CFP: ICNP 2009 (submission deadline approaching: due April 17, 2009 -- HARD!)
  • From: Xiaoming Fu
• [PVS] ASP-competition Call for Participation
  • From: Stephen Bond
• [PVS] Final Call for Workshop Proposals: ATVA 2009
  • From: Wang Xu
• [PVS] RV'09 deadline extension
  • From: khavelun
• [PVS] [rv2009-pub ] Extended deadline for RV'09 in Grenoble, France
  • From: info.rv2009
• [PVS] DCM 2009 - 11 July, Rhodes, Greece
  • From: S B Cooper
• [PVS] Deadline Extension for TPHOLs 2009
  • From: Christian Urban
• [PVS] CFP: International Symposium on Intelligent Distributed Computing (IDC 2009)
  • From: Announcements
• [PVS] ICLP'09 Doctoral Consortium
  • From: iclp09.dc
• [PVS] [ISBRA-L] CIGE'09 Call for abstracts -- submission deadline March 16, 2009
  • From: ISBRA Symposium Announcements
• [PVS] [ISBRA-L] ISBRA'09 Call for posters -- submission deadline March 16, 2009
  • From: ISBRA Symposium Announcements
• [PVS] CFP: 2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2009)
  • From: Cristina Seceleanu
• [PVS] CFP - SPECTS 2009 Deadline Extension to March 31, 2009 (Firm Deadline)
  • From: Abdelmajid Khelil
• [PVS] RE'09 Call for Workshop and Tutorial Proposals
  • From: Selmin Nurcan
• [PVS] [FMN 2009] Last Call for Papers - Poster/Demo Session, Deadline: 2009 / March / 01, Published in LNCS series
  • From: Mikołaj Leszczuk
• [PVS] HyLo09: Deadline Extended till 15th March, 2009
  • From: Carlos Areces
• [PVS] Paper submission deadline just less than a week: MULTICONF-09
  • From: John Edward
• [PVS] [Sumission due on Mar. 1] CFP: IEEE International Conference on Information Reuse and Integration (IEEE IRI-2009)
  • From: Chengcui Zhang
• [PVS] (Deadline Extended: 6 March 2009) UPGRADE-CN workshop at HPDC 2009
  • From: Mukaddim Pathan
• [PVS] 2nd CfP: ICTAC'09
  • From: Martin Leucker
• [PVS] CfP: 2009 International Conference on Brain Informatics (BI 2009)
  • From: WIC Office
• [PVS] Last Call for Papers HyLo09
  • From: Carlos Areces
• [PVS] E. W. Beth Dissertation Prize: 2009 call for submissions
  • From: Carlos Areces
• [PVS] [ISBRA-L] CIGE'09 Call for abstracts
  • From: ISBRA Symposium Announcements
• [PVS] [ISBRA-L] ISBRA'09 Call for posters
  • From: ISBRA Symposium Announcements
• [PVS] IWACO 2009 Call for papers
  • From: Matthew Parkinson
• [PVS] Last call for papers: MULTICONF-09 (deadline will not be extended further)
  • From: Justin Williams
• [PVS] CFP-UML&AADL'2009 : EXTENDED DEADLINE
  • From: Sun Meng
• [PVS] [FMN 2009] Poster/Demo Session, Deadline: 2009 / March / 01, Published in LNCS series
  • From: Mikołaj Leszczuk
• [PVS] 3rd ACM Intl Conference on Distributed Event-based Systems (DEBS 2009)
  • From: Patrick Eugster
• [PVS] [rv2009-pub ] Last Call for Papers: RV2009 in Grenoble
  • From: info.rv2009
• [PVS] FM 2009: News and Third Call for Papers
  • From: Announcements of FME events
• [PVS] INVITED SESSION ON SOCIAL NETWORKS - KES 2009
  • From: KES 2009
• [PVS] CALL FOR PAPERS: PDMC 2009
  • From: Lubos Brim
• [PVS] CFP Logical Aspects of Fault Tolerance Workshop (LAFT)
  • From: Leo G Marcus
• [PVS] LFMTP 2009: Call for Papers
  • From: Amy Felty
• [PVS] ESSLLI 2009 Call for Participation
  • From: Richard Moot
• [PVS] PSI 2009: Submission Deadline Extended
  • From: PSI09 Conference
• [PVS] IJCBS'09 paper submission deadline extended to March 15
  • From: IJCBS
• [PVS] CFP--SPECTS 2009 Deadline approaching Fast
  • From: Abdelmajid Khelil
• [PVS] [Researchers] 12th ACM/IEEE MSWiM 2009 - Terenife, The Canary Islands, Spain - October 26-30, 2009
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 14th IEEE ISCC2009 / 1st IEEE Workshop on PerformanceEvaluation of Communications in Distributed Systems and Webbased Service Architectures
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] ETAPS 2009 Final Call for Participation
  • From: Joost-Pieter Katoen
• [PVS] [Researchers] IEEE Globecom 2009: Ad Hoc, Sensor and Mesh Networking Symposium
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] WoLLIC 2009 - DEADLINE APPROACHING: Feb 28
  • From: Ruy de Queiroz
• [PVS] IIS 2008 Conference - deadline extended - 23.II.09
  • From: IIS'09 Conference
• [PVS] ATVA 2009: 2nd Call for Papers
  • From: Jun Pang
• [PVS] [FMN 2009] Deadline TODAY (Feb 15th) - Second International Workshop on Future Multimedia Networking
  • From: =?UTF-8?Q?Miko=C5=82aj_Leszczuk?=
• [PVS] [Researchers] ACM/IEEE MSWiM 2009 - Terenife, The Canary Islands, Spain - October 26-30, 2009
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] CFP: CADE-22 Workshop 'Beyond SAT: What About First-Order Logic?'
  • From: Peter Baumgartner
• [PVS] First CFP for FACS'09
  • From: Sun Meng
• [PVS] LAST CFP For UML&AADL'2009
  • From: Sun Meng
• [PVS] LAST CFP For UML&AADL'2009
  • From: Isabelle Perseil
• [PVS] Open PhD positions
  • From: Carsten Schuermann
• [PVS] [Researchers] 14th IEEE ISCC2009 / 1st IEEE Workshop on Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Call for Workshop Papers associated with DCOSS 2009
  • From: Neal Patwari
• [PVS] PRIB2009 Call for Papers
  • From: prib2009
• [PVS] SFM-09:WS -- school on formal methods for web services
  • From: Marco Bernardo
• [PVS] CFP--SPECTS 2009 - 14 days to deadline
  • From: Abdelmajid Khelil
• [PVS] CFP WORLDCOMP'09
  • From: Abdelmajid Khelil
• [PVS] CFP: IEEE/WIC/ACM WI 2009 (Milano, Italy)
  • From: wiiat
• [PVS] Cfp: WFLP09-18th Int'l Workshop on Functional and (Constraint) Logic Programming
  • From: Santiago Escobar
• [PVS] ICLP 2009: Call for Workshop Proposals
  • From: cfp
• [PVS] First call for papers: Module and Libraries for Proof Assistants
  • From: Florian Rabe
• [PVS] Second IJCBS'09 Call for Papers
  • From: IJCBS
• [PVS] CFP: 2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2009)
  • From: Cristina Seceleanu
• [PVS] [qest-announce] CFP Performance workshop - EPEW'09: New deadline 20 Feb 09
  • From: Jeremy Bradley
• [PVS] SSS 2009 - First Call for Papers
  • From: Borzoo Bonakdarpour
• [PVS] IIS 2009 - Last reminder Call for Papers
  • From: IIS'09 Conference
• [PVS] ICLP'09 Call for Papers
  • From: Ricardo Rocha
• [PVS] Postdoc Positions at the CLIP group, Spain
  • From: CFP
• [PVS] [Calco'09]: deadline extension
  • From: CALCO 2009
• [PVS] CFP--SPECTS 2009 Deadline approaching Fast
  • From: Abdelmajid Khelil
• [PVS] KES 2009 Promotion
  • From: KES 2009
• [PVS] [isabelle] TPHOLs'09 Last Call for Papers
  • From: Richard Waldinger
• [PVS] ASP-competition Call for Participation
  • From: Marc Denecker
• [PVS] [qest-announce] 1st CfP: PMCCS 2009 (immediately after QEST 2009)
  • From: Armin Heindl
• [PVS] Paper submission deadline extended: MULTICONF-09
  • From: Walter Jackson
• [PVS] [qest-announce] CfP: QEST 2009 in Budapest (submission 16 March)
  • From: Armin Heindl
• [PVS] [Researchers] CFP Globecom 2009: Ad Hoc, Sensor and Mesh Networking Symposium
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] ICLP'09 Doctoral Consortium
  • From: iclp09.dc
• [PVS] CFP ADHOCNETS 2009
  • From: Abdelmajid Khelil
• [PVS] TPHOLs'09 Last Call for Papers
  • From: Christian Urban
• [PVS] FOMI 2009 - FIRST ANNOUNCEMENT & CfP
  • From: Alessandro Oltramari
• [PVS] Tests and Proofs 2009 - Call for Papers
  • From: Tests and Proofs 2009
• [PVS] [dsd2009-l] Second Call for papers Digital System Design 2009
  • From: antonio.nunez
• [PVS] Job-Openings in e-learning
  • From: Joerg Siekmann
• [PVS] [Tccc] CFP: IEEE ICNP 2009
  • From: Xiaoming Fu
• [PVS] Deadline extension: 10./ 13. February (abstract / paper deadline). Distributed Computing Techniques 2009, Lisbon (DAIS + FMOODS/FORTE + COORDINATION)
  • From: Martin Steffen
• [PVS] CFP - SPECTS 2009
  • From: Abdelmajid Khelil
• [PVS] Call for papers: CFV'09, deadline April 22
  • From: Miroslav Velev
• [PVS] [FMN 2009] Deadline extended to Feb 15th - Second International Workshop on Future Multimedia Networking
  • From: =?UTF-8?Q?Miko=C5=82aj_Leszczuk?=
• [PVS] GPCE'09 Call for Papers
  • From: Rob Economopoulos
• [PVS] ASL Student Travel Grants for CiE 2009
  • From: S B Cooper
• [PVS] Call for Papers - FOCLASA'09
  • From: salaun
• [PVS] CFP: IEEE International Conference on Information Reuse and Integration (IEEE IRI-2009)
  • From: Chengcui Zhang
• [PVS] cfp of Workshop on Timing and Stochasticity in Petri nets and other models of concurrency (TiSto 2009)
  • From: Andras Horvath
• [PVS] [CFP] NASSUE-2009, Seoul, Korea, 25-27 Jun 2009; Deadline: 31 Jan 2009
  • From: NASSUE2009
• [PVS] [Calco'09] cfp: deadline is approaching
  • From: CALCO 2009
• [PVS] [LC-09] LOGIC COLLOQUIUM 2009 - First Call for Papers
  • From: Logic Colloquium 2009
• [PVS] [qest-announce] ETAPS 2009: Call for Participation
  • From: Joost-Pieter Katoen
• [PVS] CADE-22 last call for papers
  • From: Carsten Schuermann
• [PVS] Extended Deadline: 4th International Workshop on Systems Software Verification (SSV 09)
  • From: Gerwin Klein
• [PVS] PSI 2009: Submissions Deadline Extended
  • From: Perspectives of System Informatics
• [PVS] Re: SERP09: Call for Paper
  • From: hassan reza
• [PVS] RE: UMSS'09: Call for Papers
  • From: hassan reza
• [PVS] Last Call for Papers - 2nd International Workshop on FUTURE MULTIMEDIA NETWORKING - IEEE Technical Sponsorship and in Collaboration with ACM
  • From: =?UTF-8?Q?Miko=C5=82aj_Leszczuk?=
• [PVS] (EC)^2: Call for Position Papers
  • From: Stephen Siegel
• [PVS] The Second Call for Papers: IJCBS09
  • From: IJCBS 2009
• [PVS] ICLP'09 Call for Papers
  • From: Ricardo Rocha
• [PVS] [Researchers] 14th IEEE Symposium on Computers and Communications (ISCC'09) July 5 - 8, 2009, Sousse, Tunisia
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] =?windows-1252?q?_ISCC=B42009_-_Workshop_on_Perform?= =?windows-1252?q?ance_Evaluation?=
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [qest-announce] CFP Performance workshop - EPEW'09, London, UK: submission 13 Feb 09
  • From: Jeremy Bradley
• [PVS] Call for papers
  • From: Irene GUESSARIAN
• [PVS] QAPL 2009 Call for Presentations
  • From: QAPL 2009
• [PVS] FORMATS 2009: Call for Papers
  • From: Joel Ouaknine
• [PVS] Deadline Extended: DCOSS 2009
  • From: Neal Patwari
• [PVS] [CSE-conferences] Call for Papers - Track on Business Ecosystems as a part of IEEE DEST 2009
  • From: Farookh Hussain
• [PVS] Call for Papers: Distributed Computing Techniques 2009, Lisbon (DAIS + FMOODS/FORTE + COORDINATION)
  • From: Martin Steffen
• [PVS] [CSE-conferences] CFP: ACM NOSSDAV 2009 --- Submission site is up
  • From: Dongyan Xu
• [PVS] [CSE-conferences] 2nd CFP - 4th International Symposium on Embedded Multicore Systems-on-Chip (MCSoC-09), September 22-25, 2009, Vienna, Austria
  • From: Ben A. Abderazek
• [PVS] FMICS 2009: Second Call for Papers
  • From: FMICS 2009 workshop chair
• [PVS] RTA'09: deadline for abstracts extended to January, 30
  • From: Ralf Treinen
• [PVS] [CSE-conferences] Call For Book Chapters: Web Services& P2P & Autonmous AgentsFriday, January 16, 2009 4:37 AM
  • From: Khaled Ragab
• [PVS] TAMC 2009 - final Call for Papers
  • From: S B Cooper
• [PVS] SMT 2009: CFP
  • From: Bruno Dutertre
• [PVS] [CSE-conferences] Call for papers and workshop proposals
  • From: 2009 bife
• [PVS] ICLP 2009: Call for workshop proposals
  • From: cfp
• [PVS] [CSE-conferences] CFP: casemans 2009 and Journal Special Issue
  • From: Waltenegus Dargie
• [PVS] [CSE-conferences] IEEE HPCC-09 extended to Jan 26, 2009
  • From: Laurence T. Yang
• [PVS] [Researchers] 14th IEEE Symposium on Computers and Communications (ISCC'09) - July 5 - 8, 2009, Sousse, Tunisia
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] CiE 2009: COMPUTABILITY IN EUROPE 2009 - Final Call for Papers
  • From: S B Cooper
• [PVS] Last mile: NetWare 2009 [SENSORCOMM, SECURWARE, DEPEND, AFIN, MESH] / Athens-Vouliagmeni
  • From: NetWare 2009
• [PVS] Call for Special Sessions - DMIN09 - International Conference on Data Mining
  • From: Data Mining CfP
• [PVS] [ISBRA-L] ISBRA'09 CFP -- Extended Submission Deadline Jan. 19, 2009
  • From: ISBRA Symposium Announcements
• [PVS] [ISBRA-L] ODGEA'09 CFP -- Submission Deadline extended to Jan. 19, 2009
  • From: ISBRA Symposium Announcements
• [PVS] [ISBRA-L] CIGE'09 CFP -- Submission Deadline Jan. 19, 2009
  • From: ISBRA Symposium Announcements
• [PVS] CONCUR 2009: Call for Papers
  • From: Mario Bravetti
• [PVS] MetiTarski theorem prover (Version 1.1)
  • From: Lawrence Paulson
• [PVS] MEMOCODE Final CFP
  • From: Memocode 2009
• [PVS] Call for papers: DCOSS 2009
  • From: Neal Patwari
• [PVS] Call for papers RR 2009
  • From: Terrance Swift
• [PVS] WoLLIC 2009 - Second Call for Papers (DEADLINE: Feb 28)
  • From: Ruy de Queiroz
• [PVS] IIS 2009 - 2nd Call for Papers
  • From: IIS'09 Conference
• [PVS] [Calco'09] cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy
  • From: CALCO 2009
• [PVS] [Researchers] =?windows-1252?q?ISCC=B42009_-_Workshop_on_Performa?= =?windows-1252?q?nce_Evaluation?=
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] International Conference on Data Mining (DMIN'09), Las Vegas
  • From: Data Mining CfP
• [PVS] ETAPS 2010: Call for Satellite Events
  • From: Announcements
• [PVS] CfP: European Workshop on Dependable Computing (EWDC 2009)
  • From: Holger Pfeifer
• [PVS] ECOOP 2009 Last Call for Workshops and Tutorials
  • From: Dave Clarke
• [PVS] 2nd CFP: WWV 2009
  • From: Temur Kutsia
• [PVS] 2nd Call for Papers - 2nd International Workshop on FUTURE MULTIMEDIA NETWORKING - IEEE Technical Sponsorship and in Collaboration with ACM
  • From: =?UTF-8?Q?Miko=C5=82aj_Leszczuk?=
• [PVS] [rv2009-pub ] RV2009: Second Call For Papers
  • From: ylies.falcone
• [PVS] Postdoc Position in Program Verification
  • From: Mueller Peter
• [PVS] CFP: HyLo 2009
  • From: Carlos Areces
• [PVS] [Researchers] =?windows-1252?q?14th_IEEE_ISCC=B42009_Symposium_on?= =?windows-1252?q?_Computers_and_Communications=2C_Tunisia_05-08/07?= =?windows-1252?q?/2009?=
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] MULTICONF-09 call for papers
  • From: Justin Williams
• [PVS] [ISBRA-L] ISBRA'09 CFP -- Extended Submission Deadline Jan. 19, 2009
  • From: ISBRA Symposium Announcements
• [PVS] CFP: International Symposium on Intelligent Distributed Computing (IDC 2009)
  • From: Announcements
• [PVS] ICLP'09 Doctoral Consortium
  • From: iclp09.dc
• [PVS] ARSPA-WITS'09: deadline extension
  • From: avantssar
• [PVS] 1st CfP: ICWMC 2009 | August 23-29, 2009 - Cannes-Cote d'Azur, France
  • From: ICWMC 2009
• [PVS] 2nd CfP: JSC Special Issue on Symbolic Computation in Software Science
  • From: Temur Kutsia
• [PVS] Call for Papers: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'09)
  • From: Alain Girault
• [PVS] 10 PhD, PostDoc, and Engineering Positions offered!!
  • From: CFP
• [PVS] SFM-09:WS -- school on formal methods for web services
  • From: Marco Bernardo
• [PVS] 3rd CFP - Deadline Extension: Workshop on Invariant Generation (WING 2009), York, UK, 22-23 March, 2009
  • From: Laura Kovacs
• [PVS] ACL2 2009: Final Call for Papers
  • From: Sandip Ray
• [PVS] [ISBRA-L] CIGE'09 CFP -- Submission Deadline Jan. 19, 2009
  • From: ISBRA Symposium Announcements
• [PVS] [ISBRA-L] ODGEA'09 CFP -- Submission Deadline extended to Jan. 19, 2009
  • From: ISBRA Symposium Announcements
• [PVS] [ISBRA-L] ISBRA'09 CFP -- Submission Deadline Jan. 9, 2009
  • From: ISBRA Symposium Announcements
• [PVS] PVS] ICECCS09 : CALL FOR PAPERS
  • From: Isabelle Perseil
• [PVS] CFP: 2009 IEEE Intl. Conf. on Information Reuse and Integration
  • From: IEEE-IRI-Publicity
• [PVS] [Researchers] 14th IEEE ISCC´2009 Symposium on C omputers and Communications, Tunisia 05-08/07/200 9
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] ISCC´2009 - Workshop on Performanc e Evaluation
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] CFP IEEE/ACM* IWCMC 2009 - Cross-Layer Optimized Wireless Networks Symposium
  • From: Thomas Michael Bohnert
• [PVS] CiE 2009, Heidelberg, Germany, 19-24 July 2009 - Second Call for Papers
  • From: S B Cooper
• [PVS] MULTICONF-09 call for papers
  • From: Peter james
• [PVS] CFP: PADTAD 2009, July 19-20, Chicago, IL
  • From: Eric Mercer
• [PVS] RTA last CFP (abstract deadline, January 19 Monday)
  • From: Hitoshi Ohsaki
• [PVS] HAIS´09.- 3rd CFP
  • From: emilio corchado
• [PVS] UPGRADE-CN workshop at HPDC 2009
  • From: Mukaddim Pathan
• [PVS] postdoc position in security modeling and analysis
  • From: David Naumann
• [PVS] Happy 2008 --> 2009 transition
  • From: IARIA
• [PVS] [Researchers] 14th IEEE ISCC´2009 Symposium on Computers and Communications, Tunisia 05-08/07/20 09
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Call for papers: DCOSS 2009
  • From: Neal Patwari
• [PVS] [ISBRA-L] ODGEA'09 CFP -- Submission Deadline Jan. 12, 2009
  • From: ISBRA Symposium Announcements
• [PVS] [ISBRA-L] CIGE'09 CFP -- Submission Deadline Jan. 19, 2009
  • From: ISBRA Symposium Announcements
• [PVS] [ISBRA-L] ISBRA'09 CFP -- Submission Deadline Jan. 9, 2009
  • From: ISBRA Symposium Announcements
• [PVS] PSI 2009 Call For Papers
  • From: Perspectives of System Informatics
• [PVS] 4th CFP for TAMC 2009
  • From: S B Cooper
• [PVS] GALOP IV @ ETAPS 2009 CfP
  • From: Andrzej Murawski
• [PVS] DAMP'09 -- Call for Participation
  • From: list
• [PVS] 3rd CfP: SENSORCOMM 2009 || June 18-23, 2009 - Athens, Greece
  • From: SENSORCOMM 2009
• [PVS] Logic Programming: 25th International Conference CFP
  • From: Gopal Gupta
• [PVS] WI/IAT'09: Call for Workshop Proposals (Milano, Italy)
  • From: WI-IAT'09
• [PVS] CFP: 6th workshop on "Methods for Modalities" (M4M-6)
  • From: Thomas Bolander
• [PVS] CfP/Deadline Extension: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge
  • From: admmk09
• [PVS] 3rd CfP: MESH 2009 || June 18-23, 2009 - Athens, Greece
  • From: MESH 2009
• [PVS] SAT 2009: Second call for papers
  • From: Oliver Kullmann
• [PVS] [Researchers] 14th IEEE ISCC´2009 Symposium on Computers and Communications, Tunisia 05-08/07/20 09
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] HPCNCS-09 call for papers
  • From: Peter james
• [PVS] CFP-UML&AADL'2009
  • From: Isabelle Perseil
• [PVS] CFP Workshop Logical Methods for Social Concepts @ ESSLLI 2009
  • From: lorini
• [PVS] [CiE] CiE 2009: COMPUTABILITY IN EUROPE 2009 - Second Call for Papers
  • From: S B Cooper
• [PVS] [CAV09] CAV 2009 - second call for papers
  • From: CAV-2009
• [PVS] PhD positions in ICT on Formal Verification via SMT available in Trento
  • From: Roberto Sebastiani
• [PVS] CADE-22 second call for papers
  • From: Carsten Schuermann
• [PVS] Call Minema Winter School 2009
  • From: Eva Axelsson
• [PVS] Joint Call for Papers: Distributed Computing Techniques 2009, Lisbon (DAIS + FMOODS/FORTE + COORDINATION)
  • From: Martin Steffen
• [PVS] SEKE 2009 Call For Paper
  • From: conference
• [PVS] FM 2009: Second Call for Papers
  • From: Announcements of FME events
• [PVS] CFP: IEEE/WIC/ACM IAT 2009 (Milano, Italy)
  • From: WI-IAT'08
• [PVS] PLACES'09 2nd CFP
  • From: Simon Gay
• [PVS] AVoCS'09 - First call for papers
  • From: avocs09
• [PVS] ATVA 2009: Call for Workshop Proposals
  • From: Wang Xu
• [PVS] [TERMGRAPH 2009] Final CfP & Deadline extension, December 22
  • From: Andrea Corradini
• [PVS] CfP: ICTAC'09
  • From: Martin Leucker
• [PVS] CFP - 4th International Workshop on Systems Software Verification (SSV 09)
  • From: Gerwin Klein
• [PVS] Deadline Extension: MBT 2009, Fifth Workshop on Model-Based Testing at ETAPS 2009
  • From: Bernd Finkbeiner
• [PVS] ARSPA-WITS'09: second call for papers
  • From: avantssar
• [PVS] QAPL 2009 Call for Papers
  • From: QAPL 2009
• [PVS] Call for Papers: MOMPES @ ICSE 2009
  • From: João Miguel Fernandes
• [PVS] BYTECODE09: Last Call for Papers
  • From: Samir Genaim
• [PVS] last Call for Papers: ACSD 09 -- new submission deadline
  • From: Walter Vogler
• [PVS] RTA 2nd CFP (June 29 - July 1, 2009, Brasilia)
  • From: Hitoshi Ohsaki
• [PVS] ACL2 2009: Second Call For Papers
  • From: Sandip Ray
• [PVS] PADL'09: Call for Participation
  • From: Gopal Gupta
• [PVS] [ISBRA-L] CIGE'09 CFP
  • From: ISBRA Symposium Announcements
• [PVS] [ISBRA-L] ODGEA'09 CFP
  • From: ISBRA Symposium Announcements
• [PVS] [ISBRA-L] ISBRA'09 CFP
  • From: ISBRA Symposium Announcements
• [PVS] 2nd CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge
  • From: admmk09
• [PVS] FroCoS'09 Call for Papers
  • From: Roberto Sebastiani
• [PVS] D.Phil (PhD) Studentship on ConDOR project at Oxford University Computing Laboratory
  • From: Ian.Horrocks
• [PVS] Research Position on HermiT project at Oxford University Computing Laboratory
  • From: Ian.Horrocks
• [PVS] 2nd CFP - Workshop on Invariant Generation (WING 2009), York, UK, 22-23 March, 2009
  • From: Laura Kovacs
• [PVS] Finall Call For Papers (DSL WC)
  • From: Emir Pasalic
• [PVS] TERMGRAPH 2009 - Second Call for Papers [Deadline: December 15]
  • From: Andrea Corradini
• [PVS] MetiTarski theorem prover
  • From: Lawrence Paulson
• [PVS] [qest-announce] Two research positions on the CONNECT-IP project at Oxford
  • From: Marta Kwiatkowska
• [PVS] Call for =?windows-1252?q?FM=9211_Symposium_Proposals?=
  • From: Announcements of FME events
• [PVS] CFP: IEEE/WIC/ACM WI 2009 (Milano, Italy)
  • From: WI-IAT'08
• [PVS] Call for participation
  • From: IDT'08
• [PVS] IEEE Computer Security Foundations (CSF 22) : Call for Papers
  • From: John C Mitchell
• [PVS] PEPM'09 -- Call for Participation
  • From: G. Puebla and G. Vidal
• [PVS] [qest-announce] Hot-P2P 2009: deadline extended to Dec 7
  • From: Marina Ribaudo
• [PVS] [qest-announce] First CfP: QEST 2009 in Budapest
  • From: Armin Heindl
• [PVS] ACKERMANN AWARD 2009: CALL FOR NOMINATIONS
  • From: Carlos Areces
• [PVS] PhD in Forecasting & Data Mining
  • From: Lancaster University
• [PVS] CFP: ISSAC 2009
  • From: Temur Kutsia
• [PVS] Job announcement: Post-doc position at ILLC Amsterdam
  • From: Clemens Kupke
• [PVS] PhD Positions at the Embedded System Unit of Fondazione Bruno Kessler
  • From: Marco Roveri
• [PVS] CADE-22 final call for workshop and tutorial proposals
  • From: Carsten Schuermann
• [PVS] CFP - The Second Canadian Semantic Web Symposium 2009
  • From: Ebrahim Bagheri
• [PVS] Call for Papers: TOOLS Europe 2009
  • From: Philippe.LAHIRE
• [PVS] CFP: ISSAC 2009
  • From: Temur Kutsia
• [PVS] QAPL 2009 Call for Papers
  • From: QAPL 2009
• [PVS] [HyLo09] First Call for Papers
  • From: Carlos Areces
• [PVS] Call For Papers: Computer Science & Computer Engineering Conferences - July 13-16 2009, USA, WORLDCOMP'09
  • From: WORLDCOMP'09 Congress Conferences
• [PVS] IJCBS09 Call for Papers
  • From: IJCBS09
• [PVS] [qest-announce] CFP Performance workshop - EPEW'09, London, UK: 9-10th July 2009
  • From: Jeremy Bradley
• [PVS] CFP IWCMC 2009 Cross-Layer Optimized Wireless Networks Symposium
  • From: Thomas Michael Bohnert
• [PVS] CFP reminder: CIC 2008 - Computer Science and Engineering - Mexico - journal publication
  • From: cic2008
• [PVS] CfP: NetWare 2009 | June 18-23, 2009 - Athens, Greece
  • From: IARIA Invitation
• [PVS] Ph.D. in Symbolic Computation at RISC-Linz
  • From: Guenter Landsmann
• [PVS] VMCAI 2009: Call for Participation
  • From: Markus Mueller-Olm
• [PVS] CFP: NASA FORMAL METHODS 2009
  • From: Dimitra Giannakopoulou
• [PVS] [dsd2009-l] Call for papers Digital System Design 2009
  • From: Antonio Nunez DSD2009
• [PVS] CfP: IEEE TSE - Special Issue on Exception Handling
  • From: Alexander Romanovsky
• [PVS] PSI 2009 Call For Papers
  • From: Perspectives of System Informatics
• [PVS] DEBS 09 Call for Papers
  • From: Patrick Eugster
• [PVS] First CFP: WWV 2009
  • From: Temur Kutsia
• [PVS] Second Call for Papers RCIS'09
  • From: Selmin Nurcan
• [PVS] ECOOP 2009 Call for Tutorials
  • From: Dave Clarke
• [PVS] ECOOP 2009 Call for Workshops
  • From: Dave Clarke
• [PVS] Preliminary CFP: International Symposium on Intelligent Distributed Computing (IDC 2009)
  • From: Announcements
• [PVS] 2nd CFP: ECSQARU 2009 - 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
  • From: Ecsqaru2009
• [PVS] PhD Studentships in TCS
  • From: Paulo Oliva
• [PVS] CSR-2009: Second Call for Papers
  • From: Edward A. Hirsch
• [PVS] System Announcement: ProofWeb
  • From: Freek Wiedijk
• [PVS] [rv2009-pub ] RV2009: Call For Papers
  • From: info.rv2009
• [PVS] ARSPA-WITS'09: call for papers
  • From: avantssar
• [PVS] CFP: Special issue: Intuitionistic Modal Logics and Applications (IMLA)
  • From: Brigitte Pientka
• [PVS] [Researchers] 14th IEEE ISCC´2009 Symposium on C omputers and Communications, Tunisia 05-08/07/200 9
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge
  • From: admmk09
• [PVS] CFP - IIS 2009
  • From: IIS'09 Conference
• [PVS] CALL FOR WORKSHOP PROPOSALS: TPHOLs 2009
  • From: Makarius
• [PVS] TERMGRAPH 2009 - Second Call for Papers [Deadline: December 15]
  • From: Andrea Corradini
• [PVS] CALL FOR PAPERS: TPHOLs 2009
  • From: Christian Urban
• [PVS] ARSPA-WITS'09: call for papers
  • From: avantssar
• [PVS] ECOOP 2009 Call for Papers
  • From: Dave Clarke
• [PVS] FLAIRS 2009: AI Planning and Scheduling Special Track
  • From: Hana Rudova
• [PVS] FMICS 2009: First Call for Papers
  • From: FMICS 2009 workshop chair
• [PVS] MULTICONF-09 call for papers
  • From: Henry Dawson
• [PVS] FM 2009: Call for Workshops
  • From: Announcements of FME events
• [PVS] FMOODS/FORTE'09: 1st Call for Papers
  • From: Martin Steffen
• [PVS] Coordination'09: 1st Call for Papers
  • From: Martin Steffen
• [PVS] Call for workshops (Distributed Computing Techniques 2009, Lisbon)
  • From: Martin Steffen
• [PVS] ACL2 2009 Call for Papers
  • From: Sandip Ray
• [PVS] [Deadline extension] MACIS 2008
  • From: Lee Wen-Shin
• [PVS] Research Day at The Open Group Real-Time Embedded Systems Forum
  • From: Rance DeLong
• [PVS] Symposium on Automatic Program Verification - last call for papers
  • From: Martin Nordio
• [PVS] LATA 2009: last submission deadline extension to October 31 !!!
  • From: carlos.martin
• [PVS] [CIBCB] Updated submission deadline for CIBCB'09
  • From: cibcb
• [PVS] postdoc or research engineer on "model technology for embedded systems", Verimag, Grenoble
  • From: Susanne Graf
• [PVS] Final Call for Bids to Host the 22-th ESSLLI, 2010
  • From: Carlos Areces
• [PVS] Second CFP - JAR special issue for PLMMS
  • From: Freek Wiedijk
• [PVS] TLCA 09 - Call for Paper
  • From: Luca Paolini
• [PVS] RDP'09: 2nd Call for Workshop Proposals
  • From: Ralf Treinen
• [PVS] HPCNCS-09 call for papers
  • From: John Edward
• [PVS] Second Call for Papers: Special issue of AMAI on CFVAI
  • From: Miroslav Velev
• [PVS] LATA 2009: submission deadline extended to October 29!
  • From: carlos.martin
• [PVS] WoLLIC 2009 - Call for Papers
  • From: Ruy de Queiroz
• [PVS] FSEN'09 CfP: Deadline Extension
  • From: Marjan Sirjani
• [PVS] 2nd CfP: InfoSys 2009 [ICNS, ICAS, INTENSIVE], Valencia/Spain, April 21-25, 2009
  • From: IARIA Invitation
• [PVS] ALICS workshop at LPAR
  • From: Geoff Sutcliffe
• [PVS] ICTAC'09: Call for Workshop Proposals
  • From: Martin Leucker
• [PVS] [CAV09] CAV 2009 - Call for Workshop Proposals
  • From: CAV-2009
• [PVS] Call for Participation: WI-IAT'08, Sydney, Australia
  • From: WI-IAT'08
• [PVS] ICLP'08 CALL FOR PARTICIPATION
  • From: ICLP 08
• [PVS] RTA'09 1st CFP
  • From: Hitoshi Ohsaki
• [PVS] Approaching deadline for Early Registration for SSS 2008
  • From: sandeep
• [PVS] FSEN'09 Third Call for Paper
  • From: fsen09
• [PVS] [CAV09] CAV 2009 2nd Call for Papers (some minor corrections)
  • From: CAV-2009
• [PVS] FMCAD'08: Early registration ends Oct. 16th (Call for Participation)
  • From: Lee Pike
• [PVS] TLCA'09 - Preliminary Call for Papers
  • From: Luca Paolini
• [PVS] CFP: MBT 2009, Fifth Workshop on Model-Based Testing at ETAPS 2009
  • From: Bernd Finkbeiner
• [PVS] CADE-22 call for workshop and tutorial proposals
  • From: Carsten Schürmann
• [PVS] CADE-22 first call for papers
  • From: Carsten Schürmann
• [PVS] [CIBCB] IEEE CIBCB 2009 - Call for Papers - Third Announcement
  • From: cibcb
• [PVS] 1st CFP - Workshop on Invariant Generation (WING 2009), York, UK, 22-23 March, 2009
  • From: Laura Kovacs
• [PVS] [Calco'09] 1st cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy
  • From: CALCO 2009
• [PVS] [CiE] CiE 2009 in Heidelberg - First Call for Papers
  • From: S B Cooper
• [PVS] 2nd call for participation: Formal Aspects of Safety Critical Systems Workshop, 9 December 2008, London
  • From: Announcements of FME events
• [PVS] ACSD 2009 First Call for Papers
  • From: Stephen A. Edwards
• [PVS] FM2009: First CFP
  • From: Ana.Cavalcanti
• [PVS] [CAV09] Call for Papers
  • From: CAV-2009
• [PVS] [Researchers] 7th I2TS'2008 December Brazil ***Firm Deadline***
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] QAPL 2009 Call for Papers
  • From: QAPL 2009
• [PVS] [CAV09] CAV 2009 - call for workshop proposals
  • From: oded.maler
• [PVS] IJCAI-09 Call for Papers, Workshops and Tutorials - Revised
  • From: IJCAI Secretary
• [PVS] [Researchers] 7th I2TS'2008 December Brazil ***Deadline 30/09/2008***
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Professor / Associate Professor in Complex Software Systems and Services, Swinburne University, Melbourne, Australia
  • From: Ryszard Kowalczyk
• [PVS] 2nd Chaotic Modeling and Simulation International Conference (CHAOS2009) , Abstract/Paper submission
  • From: Christos Skiadas
• [PVS] DATICS'09 - Call For Papers
  • From: SS DATICS
• [PVS] CONCUR 2009: Call for Affiliated Workshops
  • From: Mario Bravetti
• [PVS] FM 2009: First Call for Papers
  • From: Announcements of FME events
• [PVS] Final CFP: SSS'08 Poster Session
  • From: Ali Ebnenasir
• [PVS] Paper Submission Deadline - ISQED09
  • From: Lech Jozwiak
• [PVS] [ISBRA-L] ISBRA'09 First Call for Papers
  • From: ISBRA Symposium Announcements
• [PVS] SSS 2008 Call for Participation
  • From: sandeep
• [PVS] DAMP 2009 CFP
  • From: Manuel Carro
• [PVS] LATA 2009: final call for papers
  • From: carlos.martin
• [PVS] [Researchers] 6th IEEE ITNG2009
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] ICLP'08 CALL FOR PARTICIPATION
  • From: ICLP 08
• [PVS] PhD position in multi-core model checking (U Twente, Netherlands)
  • From: Jaco van de Pol
• [PVS] NeFoRS08: Extended Submission Deadline and Last Call for Papers
  • From: WI-IAT'08
• [PVS] [Researchers] 7th I2TS'2008 - 7th International Information and Telecommunication Technologies Symposium
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] Re: [Researchers] CFP : 14th IEEE ISCC 2009, Sousse
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [qest-announce] Hot-P2P 2009: First Call for Papers
  • From: Marina Ribaudo
• [PVS] CFP: PSI2009 Perspectives of System Informatics
  • From: Perspectives of System Informatics
• [PVS] [ESSLLI 2010] Call for Bids
  • From: Carlos Areces
• [PVS] TERMGRAPH 2009 - First Call for Papers
  • From: Andrea Corradini
• [PVS] FESCA 2009 | Call for Papers
  • From: FESCA 2009 Organisers
• [PVS] 2nd CfP: GlobeNet 2009 [ICN, ICONS, DB], Gosier/Guadeloupe, March 1-6, 2009
  • From: IARIA Invitation
• [PVS] FMCAD'08: Call for Participation (Nov. 17-20, Portland, Oregon, USA)
  • From: Lee Pike
• [PVS] IICAI-09 Call for papers
  • From: Bhanu Prasad
• [PVS] Call for Articles: IEEE Software Special Issue on Domain-Specific Languages & Modeling
  • From: Juha-Pekka Tolvanen
• [PVS] FLAIRS 2009: AI Planning and Scheduling Special Track
  • From: Hana Rudova
• [PVS] SECOND CALL IEEE IDT 2008
  • From: IDT'08
• [PVS] Call for Papers and Workshop Proposals: HSCC 2009
  • From: Rupak Majumdar
• [PVS] Symposium on Automatic Program Verification - cfp
  • From: Martin Nordio
• [PVS] CFP MEMOCODE 2009
  • From: Roderick Bloem
• [PVS] SECOND CALL IEEE IDT 2008
  • From: IDT'08
• [PVS] special issue of AMAI on application of Constraints to Formal Verification and AI
  • From: Miroslav Velev
• [PVS] CFP MEMOCODE 2009
  • From: memocode 2009
• [PVS] [ISBRA-L] BICoB Call For Papers
  • From: ISBRA Symposium Announcements
• [PVS] CFP: Special issues of Mathematics in Computer Science
  • From: mcs-list
• [PVS] Registration for AVoCs 2008
  • From: Alice Miller
• [PVS] ATVA 2008: Call for Participation
  • From: Farn Wang
• [PVS] Research Associate Position at MichiganTech
  • From: Ali Ebnenasir
• [PVS] Final Call for Participation: VSTTE'08
  • From: paige
• [PVS] [ISBRA-L] Sumit Announcement: An Invitation to Participate
  • From: ISBRA Symposium Announcements
• [PVS] [CIBCB] IEEE CIBCB 2009 - Call for Papers - Second Announcement
  • From: cibcb
• [PVS] Special issue on Programming Languages and Mechanized Mathematics Systems (JAR)
  • From: Freek Wiedijk
• [PVS] ETAPS 2009 Final Call for Papers
  • From: Joost-Pieter Katoen
• [PVS] CSR-2009: First Call for Papers
  • From: Edward A. Hirsch
• [PVS] WLPE'08 - Call for Papers, deadline extended to Sep 21st
  • From: WLPE-08
• [PVS] [Researchers] 7th I2TS 2008 - IguacuFalls, Brazil - 03-05/12/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] PADL 09 Deadline Extension
  • From: Terrance Swift
• [PVS] BYTECODE09: 1st Call for Papers
  • From: Samir Genaim
• [PVS] [qest-announce] Last Call for participation QEST2008
  • From: Nihal PEKERGIN
• [PVS] Final Call for Participation QEST2008
  • From: Nihal PEKERGIN
• [PVS] 2nd CFP: SSS'08 Poster Session
  • From: Ali Ebnenasir
• [PVS] WLPE'08 - Call for Papers
  • From: WLPE-08
• [PVS] Two post-doc positions at Saarland University
  • From: Dirk Leinenbach
• [PVS] CIDM'09 - Call for Special Activities
  • From: IEEE Data Mining Symposium
• [PVS] Deadline Extension / September 10 / Digital World 2009 / February 1-6, 2009 - Cancun
  • From: IARIA Invitation
• [PVS] ESSLLI 2009 Deadline Extension and Final Call for Course/Workshop Proposals
  • From: Richard Moot
• [PVS] 2nd CFP: JAR Special Issue on OS Verification
  • From: Hendrik Tews
• [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@utbm.fr
• [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] 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 - Vancouv er, 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 Mult imedia Networking Workshop (IEEE FMN´08)
  • From: Eduardo Cerqueira
• [PVS] [Researchers] 12th IEEE/ACM DS-RT´2008 - Vancouv er, 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 - Vancouv er, Canada - 27-29/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 11th ACM/IEE MSWiM´2008 - Vancouve r, 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 - Vancouv er, Canada - 27-29/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 11th ACM/IEE MSWiM´2008 - Vancouve r, 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 FU TURE MULTIMEDIA NETWORKING (IEEE FMN´08), D eadline 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 - Vancouve r, Canada - 26-30/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 12th IEEE/ACM DS-RT´2008 - Vancouv er, 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 FU TURE MULTIMEDIA NETWORKING (FMN´08): 1 Mont h 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 - Vancouv er, Canada - 27-29/10/2008
  • From: Profa Mirela Sechi Moretti Annoni Notare
• [PVS] [Researchers] 11th ACM/IEE MSWiM´2008 - Vancouve r, 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 FU TURE 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] Announcement of LEO-II
  • From: Christoph Benzmueller
• [PVS] Graph Examples
  • From: McElroy Kelly K 1stLt AFIT/ENG
• [PVS] Z in PVS
  • From: leo
• [PVS] The AVISPA Tool - v1.1
  • From: Laurent.Vigneron
• Re: [PVS] recommended platform
  • From: Hendrik Tews
• Re: [PVS] recommended platform
  • From: Adriaan de Groot
• [PVS] recommended platform
  • From: Nancy Griffeth
• [PVS] Newbie PVS question (Re: plz. answer this)
  • From: Adriaan de Groot
• [PVS] NASA Langley - NIA training course on PVS
  • From: Ben Di Vito
• Re: [PVS] IMPORTINGs in theory parameter list
  • From: Pertti Kellomäki
• Re: [PVS] IMPORTINGs in theory parameter list
  • From: Cesar A. Munoz
• [PVS] IMPORTINGs in theory parameter list
  • From: Pertti Kellomäki
• [PVS] Linear algebra in PVS?
  • From: Jasper Stein
• [PVS] PVSio: Rapid Prototyping in PVS
  • From: Cesar A. Munoz
• Re: [PVS] Verification of assembly level code
  • From: Hendrik Tews
• Re: [PVS] PVS on NOT (Linux OR Solaris)
  • From: Sam Owre
• [PVS] PVS on NOT (Linux OR Solaris)
  • From: a.degroot
• [PVS] Inductively defined relations in PVS?
  • From: Dan Owen
• Re: [PVS] Survey on NASA PVS Library use
  • From: Ben Di Vito
• Re: [PVS] Survey on NASA PVS Library use
  • From: Adriaan de Groot
• [PVS] Survey on NASA PVS Library use
  • From: Ricky W. Butler
• Re: [PVS] Semi-literate specification with PVS
  • From: Sam Owre
• Re: [PVS] Semi-literate specification with PVS
  • From: Adriaan de Groot
• [PVS] Semi-literate specification with PVS
  • From: Pertti Kellomäki
• [PVS] Re: Graph algorithms
  • From: Masami Hagiya
• [PVS] Re: Graph algorithms
  • From: J Strother Moore
• [PVS] Graph algorithms
  • From: Piotr Rudnicki
• [PVS] Theorem instances involving bound variables
  • From: Kellomäki Pertti
• [PVS] Macintosh
  • From: Marco Giorgetta
• [PVS] paper: functions on equivalence classes
  • From: Larry Paulson
• [PVS] defining functions on equivalence classes
  • From: Michael Norrish
• [PVS] Re: [Hol-info] defining functions on equivalence classes
  • From: Rob Arthan
• [PVS] Re: defining functions on equivalence classes
  • From: John R Harrison
• ProofLite Package for PVS 3.1
  • From: Cesar A. Munoz
• Re: Referring to PVS and PVS on Linux
  • From: Scott L. Burson
• Re: Referring to PVS and PVS on Linux
  • From: =?ISO-8859-15?Q?Pertti_Kellom=E4ki?=
• Re: Referring to PVS and PVS on Linux
  • From: Joseph Kiniry
• Re: Referring to PVS and PVS on Linux
  • From: Christian Maeder
• Re: Referring to PVS and PVS on Linux
  • From: Adriaan de Groot
• Referring to PVS and PVS on Linux
  • From: Pertti Kellomäki
• Re: about the size of a set
  • From: Pertti Kellomäki
• about the size of a set
  • From: sheng yang
• (Update) prfmerge: A script that repairs CVS merging conflicts
  • From: Michael Hohmuth
• prfmerge: A script that repairs CVS merging conflicts
  • From: Michael Hohmuth
• Practicals: Programming with Tacticals
  • From: Cesar A. Munoz
• Release of Maude 2.0
  • From: Ambarish Sridharanarayanan
• PVS on Mac ?
  • From: Michel Levy
• Re: Format of the .prf files
  • From: Sam Owre
• Format of the .prf files
  • From: Hendrik Tews
• Book announcement
  • From: boerger
• Re: Structural induction and local names
  • From: Pertti Kellomäki
• Re: inst? and overloaded operators
  • From: Pertti Kellomäki
• Re: inst? and overloaded operators
  • From: Steven Shapiro
• Re: inst? and overloaded operators
  • From: Pertti Kellomäki
• Re: inst? and overloaded operators
  • From: Hendrik Tews
• inst? and overloaded operators
  • From: Pertti Kellomäki
• No Subject
  • From: Harald Ruess
• New versions of Manip and Field strategies
  • From: Ben Di Vito
• PVS Version 3.1 now available
  • From: Sam Owre
• Re: Logic as an implementation language
  • From: Konrad Slind
• PVS Class April 22-25, 2003 in Hampton, Va.
  • From: Ricky W. Butler
• PVS 3.0
  • From: Sam Owre
• Field and Manip strange log messages
  • From: Ha, Vu (MN65)
• Re: Grind and automatic rewrites
  • From: Sam Owre
• Re: Using the PVS ground evaluator
  • From: Pertti Kellomäki
• Re: Using the PVS ground evaluator
  • From: Sam Owre
• Executing PVS
  • From: Pertti Kellomäki
• Re: A question
  • From: Piotr Rudnicki
• PVS 3.0 Beta
  • From: Sam Owre
• A question (sorry if repeated)
  • From: Piotr Rudnicki
• Call for Participation: ISSRE 2002 Student Program
  • From: Timothy K. Tsai
• Re: What comes after PVS?
  • From: Harald Ruess
• Re: What comes after PVS?
  • From: Pertti Kellomäki
• What comes after PVS?
  • From: John Rushby
• Re: PVS on Mac?
  • From: david.cok
• Re: PVS on Mac? (no answer, just showing interest)
  • From: Tom Verhoeff
• Manipulation strategies available
  • From: Ben L. Di Vito
• tool announcement, RED 3.1 for TCTL model-checking
  • From: farn
• PVS 2.4 patchlevel 1
  • From: Sam Owre
• Re: PVS Course Materials
  • From: Mark Lawford
• Re: PVS Course Materials
  • From: Sylvan S. Pinsky
• paperback announcement: Categorical Logic and Type Theory
  • From: Bart Jacobs
• No Subject
  • From: Prototype Verification System
• Re: More questions about predicate subtypes
  • From: Hendrik Tews
• More questions about predicate subtypes
  • From: Kellom{ki Pertti
• Help needed for learning PVS
  • From: Indrajit Chakrabarti
• Re: Predicate subtypes
  • From: Mark Lawford
• Re: Predicate subtypes
  • From: Marieke Huisman
• Re: Enum types as theory parameters?
  • From: Dave Stringer-Calvert
• Enum types as theory parameters?
  • From: Pertti Kellomäki
• New book: Handbook of Process Algebra
  • From: Alban Ponse
• Re: Three letter name space is getting crowded
  • From: William Nico
• Three letter name space is getting crowded
  • From: Pertti Kellomäki
• Re: Boolean predicate to function
  • From: Dave Stringer-Calvert
• Boolean predicate to function
  • From: Andre Renaud
• Re: Instantiation hints
  • From: Kellomaki Pertti
• Re: Instantiation hints
  • From: Sam Owre
• Instantiations
  • From: Kellom{ki Pertti
• Re: Instantiation hints
  • From: Victor A. Carreno
• Instantiation hints
  • From: Kellom{ki Pertti
• IMPORTING in PVS
  • From: Kellomaki Pertti
• AMN-PROOF Tool
  • From: Andrew Adams
• Re: TCC's
  • From: Ralph D. Jeffords
• Re: Type-correctness conditions in HOL
  • From: Hendrik Tews
• Re: TCC's
  • From: Hendrik Tews
• TCC's
  • From: Ralph D. Jeffords
• Type-correctness conditions in HOL
  • From: Joe Hurd
• rewriting lemmas
  • From: Marcelo Glusman
• PhD STUDENTSHIP available
  • From: Jacques Fleuriot
• Re: K_conversion
  • From: Paul S. Miner
• Re: K_conversion
  • From: Hendrik Tews
• Re: K_conversion
  • From: Kellomaki Pertti
• Re: K_conversion
  • From: Sam Owre
• K_conversion
  • From: Bart Jacobs
• asynchronous message passing examples?
  • From: Felix Gaertner
• New libraries available
  • From: Paul Y Gloess
• Re: Strange problems
  • From: Paul Y Gloess
• Re: Strange problems
  • From: Kellom{ki Pertti
• Re: Strange problems
  • From: Harald Ruess
• Strange problems
  • From: Kellom{ki Pertti
• Re: well foundedness properties
  • From: Lawrence C Paulson
• well foundedness properties
  • From: Paul Y Gloess
• PVS 2.3 patches available
  • From: Sam Owre
• Proof General --- Version 3.0 release
  • From: David Aspinall
• Announcing PVS Version 2.3
  • From: Dave Stringer-Calvert
• Suppose caml or ML had unification ....
  • From: Steve Stevenson
• New PVS License Agreement
  • From: Dave Stringer-Calvert
• PVS User Group and Tutorial at FM'99 - Programme
  • From: Dave Stringer-Calvert
• Literature on parametric theories
  • From: Kellom{ki Pertti
• PVS 2.2 for Solaris 7
  • From: Dave Stringer-Calvert
• Report on verification of unknown number of processes
  • From: Farn Wang
• SGM v1.1 Released
  • From: Pao-Ann Hsiung
• Proof General --- Version 2.0 release
  • From: Thomas Kleymann
• Safety and formal methods
  • From: Robin Bloomfield
• Safety and formal methods
  • From: Robin Bloomfield
• Establishing a RAILWAY SOFTWARE INTEREST GROUP E-MAIL ADDRESS LIST
  • From: Dines Bjorner
• PVS mailing list - now moderated
  • From: Dave Stringer-Calvert
• Promoting Formal Methods (fwd)
  • From: Dilia E. Rodriguez
• How to get err status in PVS batch mode
  • From: Min Jing
• SPAM on PVS mailing list
  • From: Dave Stringer-Calvert
• Spam on the PVS lists
  • From: John Rushby
• Re: PVS Batch Mode
  • From: Dave Stringer-Calvert
• PVS Batch Mode
  • From: Min Jing
• Re: Using PVS to help teach logic (fwd)
  • From: Mark Lawford
• Re: Using PVS to help teach logic (fwd)
  • From: Mark Lawford
• Re: PVS Version 2.2 now available
  • From: Wishnu Prasetya
• Re: remove
  • From: Saddek Bensalem
• Book: "Theorem Proving with the Real Numbers"
  • From: John Harrison
• PVS 2.2 now available on mirror sites
  • From: Dave Stringer-Calvert
• PVS Version 2.2 now available
  • From: Sam Owre
• Re: SPAM on pvs email list
  • From: Dave Stringer-Calvert
• Re: Proof assistant needed for non-linear arithmetic
  • From: Harald Ruess
• Proof assistant needed for non-linear arithmetic
  • From: Ricky W. Butler
• new PVS papers available
  • From: John Rushby
• Re: representing reals
  • From: Bruno Dutertre
• Re: representing reals
  • From: R.W.Butler
• representing reals
  • From: Richard Botting
• Re: client access to PVS system.
  • From: Kai Engelhardt
• client access to PVS system.
  • From: Dr Andrew A. Adams
• PVS and library functions
  • From: Eyal Amir
• Summary of generic verified refinement steps
  • From: Kellom{ki Pertti
• Automated PVS List
  • From: Dave Stringer-Calvert