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

D-CON 2015: Call for Contributions
by D-CON 2015 26 Jan '15

26 Jan '15

Dear colleague, the D-CON 2015 Workshop <http://moves.rwth-aachen.de/d-con2015/> is approaching rapidly. We would therefore like to invite all participants to propose topics for their presentations or for general discussion. Please do so * by the end of this week (30 January) * such that we can soon start to set up the workshop program. So far, the following presentations have been announced: Marieke Huisman (Twente): Invited Talk [please provide title & abstract] Sascha Fendrich (Bamberg): Nondeterministic Modal Interfaces Henning Kerstan (Duisburg-Essen): Behavioral Metrics via Functor Lifting Stefan Rieger (TWT): Formal Modeling and Analysis in Industry - Exemplary Application to the European Train Control System (ETCS) [please provide an abstract] We are looking forward to an interesting D-CON 2015 Workshop! Best regards, Christina & Thomas -- D-CON 2015 Organisers d-con2015(a)cs.rwth-aachen.de

1 0

[GI-Fachgruppe] Mitgliedsstand
by Nestmann, Uwe 22 Jan '15

22 Jan '15

Liebe D-Conners, anbei eine aktuelle Übersicht über die Mitgliedszahlen und Kategorien. Meine Sprecherschaft, ebenso wie die Stellvertretung durch Markus Müller-Olm, geht noch bis März 2016, so dass im Rahmen von D-CON 2015 erst mal keine Neuwahlen anstehen. Wer sich bei dieser Gelegenheit daran erinnert sieht, doch schon vor längerer Zeit der Fachgruppe beigetreten sein zu wollen, darf dem gerne nun nachkommen. ;-) BG, == Uwe ==

1 0

Frontiers of Formal Methods 2015
by Joost-Pieter Katoen 07 Jan '15

07 Jan '15

[Apologies for multiple copies] *** Deadline for 2-5 page abstract submission January 12, 2015 *** Young Researchers' Conference Frontiers of Formal Methods in Computer Science http://ffm2015.rwth-aachen.de Aachen, Germany February 25 – 27, 2015 organized by the DFG Research Training Groups - AlgoSyn (Algorithmic Synthesis of Reactive and Discrete-Continuous Systems), Aachen - PUMA (Program and Model Analysis), Munich - QuantLA (Quantitative Logics and Automata), Dresden & Leipzig - SCARE (System Correctness under Adverse Conditons), Oldenburg - and the Austrian Research Network ARiSE (Rigorous System Engineering) This conference is a forum of young researchers (typically PhD students) for exchanging current research results and broadening their academic network. The scope of the conference ranges over formal and algorithmic methods in computer science, in a broad sense. Typical topics are the research areas of the participating organizations as indicated above. The conference consists of - invited lectures by Moshe Vardi (Houston) Jean-François Raskin (Brussels) Joël Ouaknine (Oxford) Bernd Finkbeiner (Saarbrücken) Azadeh Farzan (Toronto), and Eric Bodden (Darmstadt) - short presentations (talks of 12 minutes duration). Submissions are welcome via the conference webpage ffm2015.rwth-aachen.de for short presentations given by young researchers (up to two years after completion of PhD), with an abstract of 2-5 pages written by a single author. The results may have been accepted or even published elsewhere. Each author is free to submit his/her “best result” (possibly obtained jointly with others). Multiple submissions by one author are not permitted. The language of the conference is English. Proceedings will be available at the conference as a technical report of RWTH Aachen University, containing abstracts of 2-5 pages of accepted short presentations and, in a second part, optional one-page abstracts of participants who are young researchers. The program committee (from the organizing institutions) is announced on the conference website ffm2015.rwth-aachen.de. === Important Dates === Submission: January 12, 2015 Notification: January 15, 2015 Conference: February 25 - 27, 2015

1 0

Second Call D-CON 2015
by D-CON 2015 05 Jan '15

05 Jan '15

Dear colleague, this is a gentle reminder to register for the D-CON meeting 2015 at Rolduc Abbey <http://www.rolduc.com/>, next to Aachen. The workshop will take place on March 5th and 6th. Please register until ** Wednesday, January 7th **. The workshop will feature talks and discussions on topics proposed by the participants as well as an invited talk given by Marieke Huisman (University of Twente, Netherlands). Up-to-date information can be found on the workshop's homepage: <http://moves.rwth-aachen.de/d-con2015/>. Please register and propose topics for D-CON '15 via e-mail to <d-con2015(a)cs.rwth-aachen.de>. Registration information should include your * Name * Institution * Arrival and departure date (arrival possible from Wednesday, March 4th, on) * Preference: single/double room * Dietary restrictions Important Dates --------------- * until 07.01.2015: registration * until 30.01.2015: talk and discussion topic proposals * 11.02.2015: announcement of preliminary program * 05.-06.03.2015: D-CON '15 (possible arrival on 04.03.2015) We are looking forward to see you for D-CON '15 at Rolduc! Best regards, Christina & Thomas

1 0