- D-CON - lists.rwth-aachen.de

VMCAI 2009: Submission is open
by Markus Mueller-Olm 29 Jul '08

29 Jul '08

Submission for VMCAI 2009 is now open. Please submit online via the conference website: http://cs.uni-muenster.de/vmcai09 For your convenience, the Call for Papers is included below. We apologize for multiple copies of this message. Best regards, Neil Jones & Markus Müller-Olm VMCAI 2009 PC co-chairs =============================================================================== ------------------- CALL FOR PAPERS ------------------- VMCAI 2009 The Tenth International Conference on Verification, Model Checking, and Abstract Interpretation Savannah, GA, USA, January 18-20, 2009 Conference website: http://cs.uni-muenster.de/vmcai09 =============================================================================== VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods. VMCAI'09 is co-located with the POPL'09 conference. The program of VMCAI'09 will consist of invited lectures, tutorials, refereed research papers, and tool demonstrations. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques. Topics include, but are not limited to: program verification program certification model checking debugging techniques abstract interpretation abstract domains static analysis type systems deductive methods optimization Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. The proceedings will be published by Springer in the Lecture Notes in Computer Science series. The page limit for submissions is 15 pages in Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers. Formatting style files and further guidelines for formatting can be found at: http://www.springer.de/comp/lncs/authors.html Please visit the conference website for more information. Invited Speakers: Allen Emerson, co-recipient of 2008 Turing Award (Univ. of Texas): Model Checking: Progress and Problems Aarti Gupta (NEC Labs, Princeton): Model Checking Concurrent Multi-Threaded Programs Mooly Sagiv (Tel-Aviv University): Thread Modular Shape Analysis Invited Tutorials: Byron Cook (Microsoft Research, Cambridge): Proving Program Termination and Liveness Veronique Cortier (LORIA, CNRS, Nancy): Verification of Security Protocols Important Dates: Submission Deadline: Friday, August 22, 2008 Notification of Acceptance: Friday, October 6, 2008 Final Version Due: Friday, October 31, 2008 Conference: January 18-20, 2009 Program Chairs: Neil Jones, University of Copenhagen, Denmark Markus Müller-Olm, Universität Münster, Germany Program Committee: Christel Baier, Technische Universität Dresden, Germany Ahmed Bouajjani, Université Paris 7, France Michael Codish, Ben-Gurion University of the Negev, Israel Patrick Cousot, École Normale Supérieure, Paris, France Javier Esparza, Technische Universität München, Germany Klaus Havelund, NASA JPL, USA Michael Huth, Imperial College London, Great-Britain Bengt Jonsson, Uppsala Universitet, Sweden Sorin Lerner, University of California, San Diego, USA Francesco Logozzo, Microsoft Research, Redmond, USA Pete Manolios, Northeastern University, Boston, USA Amir Pnueli, New York University, USA C. R. Ramakrishnan, SUNY at Stony Brook, NY, USA Andrey Rybalchenko, MPI, Saarbrücken, Germany Helmut Seidl, Technische Universität München, Germany Henny Sipma, Stanford University, USA Carolyn Talcott, SRI International, Menlo Park, CA, USA Greta Yorsh, Tel Aviv University, Israel Steering Committee: Tino Cortesi, Universita' Ca' Foscari, Venice, Italy Patrick Cousot, École Normale Supérieure, France E. Allen Emerson, University of Texas at Austin, USA Giorgio Levi, University of Pisa, Italy Andreas Podelski, Universität Freiburg, Germany Thomas W. Reps, University of Wisconsin at Madison, USA David Schmidt, Kansas State University, USA Lenore Zuck, University of Illinois at Chicago, USA Sponsors: Association for Computing Machinery (ACM) European Association for Programming Languages and Systems (EAPLS) Microsoft Research

1 0

Call for Papers Young Researchers Workshop CONCUR 2008
by Joost-Pieter Katoen 30 May '08

30 May '08

[We apologize for multiple copies] ================================================================ CALL FOR PAPERS: YR-CONCUR 2008 Young Researchers Workshop on Concurrency Theory August 18, 2008 Toronto, Canada moves.rwth-aachen.de/Events/YR-CONCUR08/ ================================================================= AIMS AND OBJECTIVES This one-day workshop aims to bring together PhD students, and young researchers in concurrency theory who recently completed their doctoral studies in the last few years. The workshop is aimed at providing a platform where young researchers exchange new results related to concurrency theory and receive feedback on their research. Focus is on informal discussions. FORMAT YR-CONCUR is a satellite workshop of CONCUR 2008 (for more in- formation, see http://www.cse.yorku.ca/concur08/). It is anti- cipated that many CONCUR participants attend the YR-workshop (and vice versa). YR-CONCUR presentations will be based on a four page abstract (incl. references). The accepted abstracts will be made available at the workshop. No formal proceedings are planned. It is thus also allowed (and encouraged) to send results that have been published at other conferences. IMPORTANT DATES Deadline for 4-page abstracts: July 4, 2008 Notification of acceptance: July 11, 2008 Workshop: August 18, 2008. SUBMISSIONS To submit an abstract to YR-CONCUR 2008, please send it in PDF format via e-mail to yr-concur08(a)informatik.rwth-aachen.de ORGANISERS AND PC-CHAIRS Joost-Pieter Katoen (RWTH Aachen University, D) P. Madhusudan (University of Illinois Urbana-Champaign, USA) PROGRAM COMMITEE (to be confirmed) Dino Distefano (QMU London, UK) Azadeh Farzan (CMU, USA) Bas Luttik (TU Eindhoven and CWI, NL) Nir Piterman (Imperial College, UK) Shaz Qadeer (Microsoft Research, USA) Koushik Sen (Berkeley, USA) +---------------------------------------------------------------+ | Joost-Pieter Katoen email: my_last_name[at]cs.rwth-aachen.de | | RWTH Aachen University URL: moves.rwth-aachen.de/~katoen | | LS2: Software Modeling and Verification tel: +49 241 8021200 | | D-52056 Aachen, Germany fax: +49-241 8022217 | +---------------------------------------------------------------+

1 0

subcribe
by Ursula Goltz 03 Apr '08

03 Apr '08

Hello, I would like to subcribe the list! Somehow I cannot access the web-pages for the list, so I hope it works this way, best regards, Ulla Goltz -- Prof. Dr. Ursula Goltz Technische Universität Braunschweig Institut für Programmierung und Reaktive Systeme Mühlenpfordtstr.23 * D-38106 Braunschweig Tel.: +49 531 391 3277 * Fax: +49 531 391 8111 E-mail: goltz(a)ips.cs.tu-bs.de http://www.ips.cs.tu-bs.de

1 0

"D-CON" mailing list
by Barbara Koenig 14 Mar '08

14 Mar '08

Bei unserem Concurrency-Treffen in Duisburg hatten wir ja beschlossen eine Mailingliste einzurichten. Henrik Bohnenkamp aus Aachen hat nun freundlicherweise die D-CON-Mailingliste eingerichtet. Dazu gibt es nähere Informationen auf: https://mailman.rwth-aachen.de/mailman/listinfo/d-con Bitte tragt Euch ein, falls dies nicht bereits geschehen ist. In Zukunft sollten wir wohl alles Organisatorische über diese Liste erledigen, weil wir dann den Adressatenkreis bei Bedarf leichter erweitern können. Apropos weitere Treffen: all diejenigen, die in Duisburg nicht dabei waren, interessiert sicher, dass Uwe Nestmann das nächste Treffen in Berlin organisieren will. Bitte erinnert auch nochmal alle Vortragenden daran, mir ihre Titel und Abstracts zu schicken, die ich dann weiter verteile. Bisher habe ich nur einige wenige bekommen. Viele Grüße, Barbara

1 0

test3
by Henrik Bohnenkamp (RWTH Aachen) 10 Mar '08

10 Mar '08

Muss durchkommen. -- Dr. rer. nat. Henrik Bohnenkamp | Software Modeling www-i2.informatik.rwth-aachen.de/hb | & Verification Group (I2) henrik(a)cs.rwth-aachen.de | Dep. of Comp. Science Tel +49 241 80 21203 Fax: ... 80 22217 | RWTH Aachen University, Germany

1 0

Test
by Henrik Bohnenkamp (RWTH Aachen) 10 Mar '08

10 Mar '08

sadf sadf asd f -- Dr. rer. nat. Henrik Bohnenkamp | Software Modeling www-i2.informatik.rwth-aachen.de/hb | & Verification Group (I2) henrik(a)cs.rwth-aachen.de | Dep. of Comp. Science Tel +49 241 80 21203 Fax: ... 80 22217 | RWTH Aachen University, Germany

1 0