Sehr geehrte Workshop-TeilnehmerInnen,
wir möchten alle teilnehmenden Doktoranden daran erinnern, eine kurze (max. 5 min.) Selbstdarstellung vorzubereiten. Dies betrifft auch die Doktoranden, die keine Session leiten. Außerdem möchten wir hiermit um die Einsendung der noch fehlenden Abstrakts bitten.
Das angefügte Dokument enthält die Agenda des Workshops.
Freundliche Grüße,
Kirstin Peters
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
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
---------------------------------------------------------------------
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 ==
[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
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
[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 |
+---------------------------------------------------------------+
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
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