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

D-CON 2016 - Call for Contributions
by Holger Hermanns 04 Feb '16

04 Feb '16

Liebe D-CONdianer, In about two months from now we are hoping to welcome you to *D-CON 2016* in Saarbrücken: March 7/8 are the dates. We are most happy to announce that the D-CON 2016 invited speaker will be *Rupak Majumdar* from MPI-SWS. All relevant information concerning D-CON 2016 is being assembled at: https://depend.cs.uni-sb.de/index.php?id=598 We are now asking for contributions to the programme, be it topics for presentations or for general discussion. Please *send us your suggestions* within a month from now, at the latest on Monday, Feb 8. Registration is already open, and is performed by sending a brief note to either myself or to Alexander Graf-Brill <grafbrill(a)depend.uni-saarland.de>. Hotel accomodation will be on a *book-your-own* basis. Contact Christa Schäfer <schaefer(a)cs.uni-saarland.de> if you need assistance with room bookings. Be advised to book your hotel as soon as possible. See the website for hotel suggestions and travel information. For your travel scheduling: We plan to start D-CON on Monday, March 7 at 09:00, and finish at 15:30 (at the latest) on Tuesday, March 8, so that presumably all participants are able to get home the same day. We suggest to plan your arrival for Sunday, March 6 (or earlier, sure). We are looking forward to seeing you at D-CON 2016 in Saarbrücken! Beste Grüße, Holger und Alexander -- Prof. Dr.-Ing. Holger Hermanns :::::::::: :::::::::: Dependable Systems & Software : :::: : Department of Computer Science ::::::: ::::::: Saarland University 66123 Saarbruecken, Germany depend.cs.uni-saarland.de Phone:+49 681 302-5630 Fax:-5636

1 1

Save the date: D-CON 2016 on March 7-8 in Saarbrücken
by Holger Hermanns 30 Nov '15

30 Nov '15

Liebe D-CONdianer, this is an advance note that the 2016 meeting of D-CON will take place March 7th and 8th, 2016 in Saarbrücken, on the premises of our campus. The workshop will tentatively follow the established format of previous years. I invite suggestions of any kind now, just send them to me. More info follows soon. Beste Grüße, Holger -- Prof. Dr.-Ing. Holger Hermanns :::::::::: :::::::::: Dependable Systems & Software : :::: : Department of Computer Science ::::::: ::::::: Saarland University 66123 Saarbruecken, Germany depend.cs.uni-saarland.de Phone:+49 681 302-5630 Fax:-5636

1 0

PhD/PostDoc-Position at the University of Duisburg-Essen
by Barbara Koenig 18 Mar '15

18 Mar '15

The Theoretical Computer Science Group (Prof. Barbara Koenig) at the University of Duisburg-Essen (Germany) has one open PhD position paid according to TV-L 13 (full-time). Candidates at post-doc level can also be considered (and will start with a higher salary level within TV-L 13). For more information have a look at our web pages: http://www.ti.inf.uni-due.de/ Our current main research areas are: * Verification of graph transformation systems * Behavioural equivalences and behavioural metrics Requirements ------------ You should have or should be in the process of obtaining a MSc or equivalent degree. We prefer applicants with prior experience in some of the following topics: graph transformation systems, Petri nets, verification, concurrency theory, behavioural equivalences, coalgebra, logic and/or process mining. Good English speaking and writing skills are demanded, as well as the willingness to learn German. Applicants for the post-doc position should have or should be in the process of obtaining a PhD. They should be working on at least one of the topics mentioned above. Your Application ---------------- You can obtain further information by adressing your enquiries to: Barbara Koenig barbara_koenig(a)uni-due.de tel.: ++49-203-3793397 If you are interested in the position, please send your e-mail application to the address given above until 10 April 2015. Your application should include: * A description of your interest in the topics listed above, including your motivation and specific qualifications. * A curriculum vitae, including an abstract of your graduate thesis and the name of your supervisor. * If you are applying for a post-doc position, please include a list of your publications and the names of possible referees.

1 0

D-CON 15: Pre-Workshop Dinner & Guided Abbey Tour
by D-CON 2015 16 Feb '15

16 Feb '15

Dear colleague, D-CON '15 is approaching fast and finally we fixed the workshop schedule. It can now be found on the D-CON webpage: http://moves.rwth-aachen.de/d-con2015/program/ Following the tradition of previous D-CON workshops we would like to organise an (informal) dinner on Wednesday evening starting around 7 p.m. It will take place at Restaurant China, located in the city of Kerkrade, Markt 20. Moreover, the Rolduc team offers a guided tour (about half an hour) through the abbey if we can gather a small group of people. Please let us know by *23rd of February* whether you would like to join the dinner and/or the guided tour. Regards, Christina & Thomas — D-CON 2015 Organisers d-con2015(a)cs.rwth-aachen.de

1 0

ICALP'15: Second CFP
by Markus Müller-Olm 06 Feb '15

06 Feb '15

ICALP 2015 http://www.kurims.kyoto-u.ac.jp/icalp2015/ Second Call for Papers ====================== The 42nd International Colloquium on Automata, Languages, and Programming (ICALP) will take place in the period 6-10 July 2015 in Kyoto, Japan. The conference will co-locate with LICS 2015, the 30th ACM/IEEE Symposium on Logic in Computer Science. The ICALP 2015 conference chair is Kazuo Iwama (Kyoto University). ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, the main conference will be preceded and/or followed by a series of workshops. Important dates --------------- Submission deadline: Tuesday, 17 February 2015, 23:59 PST (Pacific Standard Time, UTC-8) Author notification: 15 April 2015 Final manuscript due: 30 April 2015 Deadlines are firm; late submissions will not be considered. Proceedings ----------- ICALP proceedings are published in the Springer-Verlag ARCoSS (Advanced Research in Computing and Software Science) subseries of LNCS (Lecture Notes in Computer Science). Invited Speakers ================= Ken Kawarabayashi, NII, Japan Valerie King, University of Victoria, Canada Thomas Moscibroda, MSR Asia, China Anca Muscholl, Universite Bordeaux, France (Joint with LICS) Peter O'Hearn, Facebook, UK (Joint with LICS) Invited Tutorial Speakers (Joint with LICS) ------------------------------------------- Piotr Indyk, MIT, USA Andrew Pitts, University of Cambridge, UK Geoffrey Smith, Florida International University, USA Masterclass speaker ------------------- Ryuhei Uehara, JAIST, Japan Topics ====== Papers presenting original research on all aspects of theoretical computer science are sought. Typical but not exclusive topics of interest are: Track A: Algorithms, Complexity and Games ----------------------------------------- * Algorithmic Game Theory * Approximation Algorithms * Combinatorial Optimization * Combinatorics in Computer Science * Computational Biology * Computational Complexity * Computational Geometry * Cryptography * Data Structures * Design and Analysis of Algorithms * Machine Learning * Parallel, Distributed and External Memory Computing * Randomness in Computation * Quantum Computing Track B: Logic, Semantics, Automata and Theory of Programming ------------------------------------------------------------- * Algebraic and Categorical Models * Automata, Games, and Formal Languages * Emerging and Non-standard Models of Computation * Databases, Semi-Structured Data and Finite Model Theory * Principles and Semantics of Programming Languages * Logic in Computer Science, Theorem Proving and Model Checking * Models of Concurrent, Distributed, and Mobile Systems * Models of Reactive, Hybrid and Stochastic Systems * Program Analysis and Transformation * Specification, Refinement, Verification and Synthesis * Type Systems and Theory, Typed Calculi Track C: Foundations of Networked Computation: Models, Algorithms and Information Management ------------------------------------------------------ * Algorithmic Aspects of Networks and Networking * Formal Methods for Network Information Management * Foundations of Privacy, Trust and Reputation in Networks * Mobile and Wireless Networks and Communication * Network Economics and Incentive-Based Computing Related to Networks * Networks of Low Capability Devices * Network Mining and Analysis * Overlay Networks and P2P Systems * Specification, Semantics, Synchronization of Networked Systems * Theory of Security in Networks Submission Guidelines -------------------- Authors are invited to submit an extended abstract of no more than 12 pages, including references, in LNCS style presenting original research on the theory of Computer Science. All submissions will be electronic via the EasyChair page for the conference, with three tracks (A, B and C): https://easychair.org/conferences/?conf=icalp2015 Submissions should be made to the appropriate track of the conference. No prior publication or simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Submissions must adhere to the specified format and length. Submissions that are too long or formatted incorrectly may be rejected immediately. All the technical details that are necessary for a proper scientific evaluation of a submission must be included in a clearly-labelled appendix, to be consulted at the discretion of program committee members. This includes, in particular, the proofs of all the key theorems in a paper. Should I submit my paper to Track A or Track C? ------------------------------------------------ While the scope of Tracks A and B are generally well understood given their long history, the situation for Track C may be less obvious. In particular, some clarifications may be helpful regarding areas of potential overlap, especially between Tracks A and C. The aim for Track C is to be the leading venue for theory papers truly motivated by networking applications, and/or proposing theoretical results relevant to real networking, certified analytically, but not necessarily tested practically. The motivation for the track was the lack of good venues for theory papers motivated by applications in networking. On the one hand, the good networking conferences typically ask for extended experiments and/or simulations, while the TCS community is hardly able to do such experiments or simulations. On the other hand, the good conferences on algorithms tend to judge a paper based only on its technical difficulty and on its significance from an algorithmic perspective, which may not be the same as when judging the paper from the perspective of impact on networks. Several areas of algorithmic study of interest to track C have a broad overlap with track A. Graph algorithmics can belong in either, though if the work is not linked to networking, it is more appropriate in track A. Algorithmic game theory is another area of major overlap. Aspects involving complexity, the computation of equilibria and approximations, belong more in Track A, while results with applications in auctions, networks and some aspects of mechanism design belong in Track C. Finally, it should be noted that algorithms and complexity of message-passing based distributed computing belong squarely in track C, while certain other aspects of distributed computing do not fall under its scope. Best Paper Awards ----------------- As in previous editions of ICALP, there will be best paper and best student paper awards for each track of the conference. In order to be eligible for a best student paper award, a paper should be authored only by students and should be marked as such upon submission. Committees ========== Track A: Algorithms, complexity, and games ------------------------------------------ Peyman Afshani, Aarhus University, Denmark Hee-Kap Ahn, POSTECH, South Korea Hans Bodlaender Utrecht University, The Netherlands Karl Bringmann, Max-Planck Institut für Informatik, Germany Sergio Cabello, University of Ljubljana, Slovenia Ken Clarkson, IBM Almaden Research Center, USA Eric Colin de Verdiere, École Normale Supérieure Paris, France Stefan Dziembowski, University of Warsaw, Poland David Eppstein, University of California at Irvine, USA Dimitris Fotakis, National Technical University of Athens, Greece Paul Goldberg, University of Oxford, UK MohammadTaghi Hajiaghayi, University of Maryland at College Park, USA Jesper Jansson, Kyoto University, Japan Andrei Krokhin, Durham University, UK Asaf Levin, Technion, Israel Inge Li Gortz, Technical University of Denmark, Denmark Pinyan Lu, Microsoft Research Asia, China Frederic Magniez, Universite Paris Diderot, France Kazuhisa Makino, Kyoto University, Japan Elvira Mayordomo, Universidad de Zaragoza, Spain Ulrich Meyer, Goethe University Frankfurt am Main, Germany Wolfgang Mulzer, Free University Berlin, Germany Viswanath Nagarajan, University of Michigan, USA Vicky Papadopoulou, European University Cyprus, Cyprus Michal Pilipczuk, University of Bergen, Norway Liam Roditty, Bar-Ilan University, Israel Ignaz Rutter, Karlsruhe Institute of Technology, Germany Rocco Servedio, Columbia University, USA Jens Schmidt, TU Ilmenau, Germany Bettina Speckmann (chair), TU Eindhoven, The Netherlands Csaba D. Toth, California State University Northridge, USA Takeaki Uno, National Institute of Informatics, Japan Erik Jan van Leeuwen, Max-Planck Institut für Informatik, Germany Rob van Stee, University of Leicester, UK Ivan Visconti, University of Salerno, Italy Track B: Logic, semantics, automata and theory of Programming ------------------------------------------------------------- Andreas Abel, Chalmers and Gothenburg University, Sweden Albert Atserias, Universitat Politècnica de Catalunya, Spain Christel Baier, TU Dresden, Germany Lars Birkedal, Aarhus University, Denmark, Luis Caires, Universidade Nova de Lisboa, Portugal James Cheney, University of Edinburgh, UK Wei Ngan Chin, National University of Singapore, Singapore Ugo Dal Lago, University of Bologna, Italy Thomas Ehrhard, CNRS, Université Paris Diderot, France Zoltan Esik, University of Szeged, Hungary Xinyu Feng, University of Science and Technology of China, China Wan Fokkink, VU University Amsterdam, The Netherlands Shin-ya Katsumata, Kyoto University, Japan Naoki Kobayashi (chair), The University of Tokyo, Japan Eric Koskinen, New York University, USA Antonín Kucera, Masaryk University, Czech Republic Orna Kupferman, Hebrew University, Israel Annabelle Mclver, Macquarie University, Australia Dale Miller, INRIA Saclay, France Markus Mueller-Olm, University of Münster, Germany Andrzej Murawski, Univeristy of Warwick, UK Joel Ouaknine, Univeristy of Oxford, UK Prakash Panangaden, McGill University, Canada Pawel Parys, University. of Warsaw, Poland Reinhard Pichler, TU Vienna, Austria Simona Ronchi Della Rocca, University of Torino, Italy Jeremy Siek, Indiana University, USA Track C: Foundations of networked computation: Models, algorithms and information management ------------------------------------------------------ Ioannis Caragiannis, Univ. Patras, Greece Katarina Cechlarova, Pavol Jozef Safarik Univ., Slovakia Shiri Chechik, Tel Aviv Univ., Israel Yuval Emek, Technion, Israel Sandor Fekete, TU Braunschweig, Germany Pierre Fraigniaud, CNRS and Paris Diderot, France Leszek Gasieniec, Univ. Liverpool, UK Aristides Gionis, Aalto Univ., Finland Magnus M. Halldorsson (chair), Reykjavik Univ, Iceland Monika Henzinger, Univ. Wien, Austria Bhaskar Krishnamachari, USC, USAL Fabian Kuhn, Freiburg, Germany Michael Mitzenmacher, Harvard Univ, USA Massimo Merro, Univ. Verona, Italy Gopal Pandurangan, Univ. Houston, USA Pino Persiano, Salerno, Italy R. Ravi, CMU, USA Ymir Vigfusson, Emory Univ., USA Roger Wattenhofer, ETH Zurich, Switzerland Masafumi Yamashita, Kyushu Univ., Japan

1 0

Program Planning Foodle
by D-CON 2015 02 Feb '15

02 Feb '15

Dear colleague, we have received two discussion and 19 talk proposals for D-CON. Thanks for that! To make sure that all speakers/discussion leaders have a decent amount of time (45-minute slot) to present their topics, we are planning to organise two parallel presentation tracks. We have set up a foodle where you can indicate the discussions/talks you would like to attend: https://terminplaner2.dfn.de/foodle/D-Con-2015-54cf5 The abstracts of the topics can be found on the D-CON `15 website at http://moves.rwth-aachen.de/d-con2015/program/ Please fill in the foodle by * 09.02.2015 *. The program planning is then determined based on the attendees preferences and will be announced on 16.02.2015. See you in Rolduc! Regards, Christina & Thomas — D-CON 2015 Organisers d-con2015(a)cs.rwth-aachen.de <mailto:d-con2015@cs.rwth-aachen.de>

1 0

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