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

D-CON Leitungsgremium
by Roland Meyer 11 Mar '24

11 Mar '24

Liebe D-CON Gemeinschaft, wie bei unserem Treffen besprochen, steht die Wahl für das Leitungsgremium unserer GI-Fachgruppe an. Bitte meldet Euch bis zum 29. März per Mail bei Kirstin und mir, wenn Ihr im Leitungsgremium mitwirken möchtet. Im Anschluss geben wir die Kandidaturen an die GI weiter, die dann eine Online-Wahl organisieren wird. Vielen Dank und beste Grüße Roland — Prof. Dr. Roland Meyer TU Braunschweig Institut für Theoretische Informatik Mühlenpfordtstr. 23, 346 38106 Braunschweig Phone: +49 (0)531 391 9524 Fax: +49 (0)531 391 9529

1 0

2nd Call for Contributions: Workshop on Choreographic Programming @
by Saverio Giallorenzo 08 Mar '24

08 Mar '24

Choreographic Programming: Call for Contributions ================================================= First International Workshop on Choreographic Programming co-located with PLDI 2024 One-day event, TBD within 24–28th of June 2024, Copenhagen, Denmark https://pldi24.sigplan.org/home/cp-2024 Important dates --------------- - Submission deadline: March 22nd, 2024 (AoE) - Notification to authors: May 3rd, 2024 (AoE) - Workshop day: TBD in week 26 Theme and Topics ---------------- Choreographies are coordination plans for concurrent and distributed systems, which define the roles of the involved participants and how they are supposed to work together. In the paradigm of choreographic programming (CP), choreographies are programs that can be compiled to executable implementations. CP originated primarily in the context of process calculi, with preliminary work done to establish its foundations and experiment with implementations. Recently, several proposals have shown that one can adapt CP to work in synergy with mainstream programming paradigms, such as object-oriented and functional programming. These works substantiate the interest of a growing community of researchers and practitioners in evolving CP into a mature paradigm, able to improve the productivity and reliability of programming concurrent and distributed systems. The aim of this workshop is to catalyse the community around CP by soliciting contributions in the following topics: - Theory and models of choreographic programming. - Design and implementation of choreographic programming languages, encompassing both standalone and library-based implementations. - Design and implementation of runtime systems for choreographic programming. - Verification and testing of choreographic programs. - Type systems for choreographic languages. - Interactions with software engineering (e.g., software requirements, design, construction, testing, analysis, and maintenance and software development methodologies). - Fault tolerance and reliability in the context of choreographic programming. - Synergies and comparisons with adjacent approaches for concurrent and distributed programming (e.g., multitier programming). Contributions and Evaluation ---------------------------- Contributions can be work in progress, scientific work published or submitted for publication, tutorials, or practical experience reports. Submissions should be no more than 6 pages excluding bibliography, using the ACM Proceedings format. Templates for Microsoft Word and LaTeX can be found at the SIGPLAN author information page. Submissions will be evaluated following a lightweight double-blind review process. For further details, refer to the workshop website and for any further queries, please contact the chairs. Program Chairs -------------- Saverio Giallorenzo, University of Bologna, IT ( saverio.giallorenzo2(a)unibo.it) Lindsey Kuper, University of California, Santa Cruz, US (lkuper(a)ucsc.edu) Marco Peressotti, University of Southern Denmark, DK (peressotti(a)sdu.dk) Program Committee ----------------- Owen Arden, UC Santa Cruz, US Marco Carbone, IT University of Copenhagen, DK Ethan Cecchetti, University of Wisconsin-Madison, US Luís Cruz-Filipe, University of Southern Denmark, DK Eva Graversen, University of Southern Denmark, DK Andrew K. Hirsch, University at Buffalo, SUNNY, US Sung-Shik Jongmans, Open University of the Netherlands; CWI, NL Ivan Lanese, University of Bologna, IT Hugo A. López, Technical University of Denmark, DK Rumyana Neykova, Brunel University London, UK Larisa Safina, INRIA Lillle, FR Guido Salvaneschi, University of St. Gallen, CH Ian Sweet, Galois, Inc., US

1 0

D-CON Game Awards 2024
by Bisping, Benjamin 01 Mar '24

01 Mar '24

Dear D-CON participants, This a quick reminder for you to complete the survey on the computer games based around formalisms https://survey.bbisping.de/613437 . (Hit “Submit” if you haven't yet!) I'll use the feedback as it's present at the start of the coffee break (~10:30) to announce the winners at the end of the break. If you want to find some of the games again in the future, go to https://pr.mtv.tu-berlin.de/ . Thanks for playing and Best regards, Ben

1 0