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

German Chapter CONCUR - v2
by Kirstin Peters 25 Feb '09

25 Feb '09

Sehr geehrte Workshop-TeilnehmerInnen, in dem begefügten Dokument finden sie eine vorläufige Agenda zum geplanten Workshop sowie die aktuelle Teilnehmerliste. Wir bitten alle Leiter einer Session uns die noch fehlenden Titel und Abstracts zuzusenden. Fragen, Anregungen oder Änderungswünsche zur Agenda nehmen wir gerne entgegen. Freundliche Grüße, Kirstin Peters

1 0

German Chapter CONCUR - v2
by Margit Russ 18 Feb '09

18 Feb '09

Sehr geehrte Workshop-TeilnehmerInnen, nachfolgend einige Details zum geplanten Workshop: Termin 9.3.09, 9:00 Uhr - 10.3.09 nachmittags Veranstalter/Veranstaltungsort: Technische Universität Berlin Fak. IV, Elektrotechnik u. Informatik FG Theor. Informatik/Theorie Verteilter Systeme Franklinstr. 28/29, 6. Etage 10587 Berlin Die Arbeitsgruppen treffen sich jeweils in den Räumen FR 5516, FR 5514 und FR 5045 in der 5. Etage Wünschen Sie eine Unterstützung bei der Hotelreservierung von Berlin aus? Die TU erhält Sonderpreise, die allerdings nur von hier aus buchbar sind. Bitte geben Sie mir Bescheid, ob ich für Sie ein Zimmer (inkl. Frühstück?) in der Nähe zur Fakultät in welcher Preislage buchen soll. Bei der Durchführung des Workshops möchten wir Erfrischungsgetränke und einen kleinen Imbiss reichen. Dafür erbitten wir einen Teilnehmerbeitrag für beide Tage in Höhe von 20 €, die Sie bitte auf nachfolgendes Konto vorab überweisen: Technische Universität Berlin Berliner Volksbank Kontonummer 8841015003 BLZ 100 900 00 IBAN DE69 1009 0000 8841 0150 03 Verwendungszweck: D-Con German Chapter, KST. 34351900, Titel 11979 Der Programmablauf wird noch bekannt gegeben. Freundliche Grüße Margit Russ --------------------------------------------------------------------- Margit Russ Technische Universitaet Berlin Fakultaet IV, Sekr. FR 6-2 Theoretische Informatik/Theorie Verteilter Systeme Franklinstrasse 28/29 D-10587 Berlin Tel.: ++49-(30)-314 73500 Fax: ++49-(30)-314 73750 ---------------------------------------------------------------------

1 0

German Chapter CONCUR - v2
by Uwe Nestmann 17 Feb '09

17 Feb '09

Neues Jahr, neues Glück! da ich in Duisburg letztes Jahr zugesagt hatte, mich um eine Wiederholung/Weiterführung in 2009 zu bemühen, geh ich nun zunächst auf Terminsuche. Dazu antwortet bitte unter auf folgender Doodle- Umfrage. http://www.doodle.com/y2hefibc3mwcvmp7 Ich hoffe, dass wir das in dieser Periode unterbekommen können. Diese Email geht offensichtlich an die D-CON Liste, die Henrik Bohnenkamp letztes Jahr eingerichtet hat. Seht Euch bitte mal auf https://mailman.rwth-aachen.de/mailman/listinfo/d-con um, wer bereits auf der D-CON Liste steht und macht Vorschläge, wer da noch mit drauf stehen sollte. Mit nebenläufigen Grüßen, == Uwe ==

2 4

VMCAI 2009: Call for Participation
by Markus Mueller-Olm 21 Nov '08

21 Nov '08

[Apologies for multiple copies] =============================================================================== -------------- CALL FOR PARTICIPATION -------------- VMCAI 2009 Tenth International Conference on Verification, Model Checking, and Abstract Interpretation Savannah, GA, USA, January 18-20, 2009 http://cs.uni-muenster.de/vmcai09 Early registration deadline: December 19 =============================================================================== VMCAI 2009 is the 10th International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI 2009 is co-located with POPL 2009 and will be held at the Hyatt Regency Hotel in Savannah, Georgia, USA, January 18-20, 2009. Information on how to register for VMCAI is available from the conference web site: http://cs.uni-muenster.de/vmcai09 The early registration deadline is December 19, 2008. VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: Verification, Model Checking, and Abstract Interpretation. A goal is to facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine two or all three areas. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. Invited Talks: ============== 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 Contributed Papers: =================== The VMCAI 2009 program encompasses 24 regular papers. The list of accepted papers is available on the conference web site. Acknowledgements: ================= VMCAI 2009 is held in cooperation with ACM (Association for Computing Machinery). It is sponsored by EAPLS (European Association for Programming Languages and Systems) and Microsoft Research. 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 for Software Systems, Germany Helmut Seidl, Technische Universität München, Germany Henny Sipma, Stanford University, USA Carolyn Talcott, SRI International, Menlo Park, CA, USA Greta Yorsh, IBM TJ Watson Research Center, NY, USA 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

1 0

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