======================================================================
CALL FOR PAPERS: MFPS XXXV
https://www.coalg.org/calco-mfps-2019/mfps/
Thirty-fifth Conference on the
Mathematical Foundations of
Programming Semantics
University College London, UK
June 4-7, 2019
Co-located with CALCO 2019
======================================================================
April 1, 2019: Abstract Submission
April 4, 2019: Paper Submission
May 10, 2019: Notification
May 24, 2019: Final Papers Deadline
======================================================================
The 35th Conference on the Mathematical Foundations of Programming
Semantics (MFPS 2019) takes place at University College London, UK,
from June 4–7, 2019.
MFPS conferences are dedicated to the areas of mathematics, logic, and
computer science that are related to models of computation in general,
and to semantics of programming languages in particular. This is a
forum where researchers in mathematics and computer science can meet
and exchange ideas. The participation of researchers in neighbouring
areas is strongly encouraged.
Topics include, but are not limited to, the following:
bio-computation; concurrent qualitative and quantitative distributed
systems; process calculi; probabilistic systems; constructive
mathematics; domain theory and categorical models; formal languages;
formal methods; game semantics; lambda calculus; programming-language
theory; quantum computation; security; topological models; logic; type
systems; type theory. We also welcome contributions that address
applications of semantics to novel areas such as complex systems,
markets, and networks, for example.
----------------------------------------------------------------------
INVITED SPEAKERS & SPECIAL SESSIONS:
As in previous years, MFPS will have several invited speakers and
special session highlighting areas within programming languages
semantics. Invited speakers and special sessions will be announced
soon.
----------------------------------------------------------------------
SUBMISSIONS:
Submissions should be prepared using the ENTCS Macros (available from
http://www.entcs.org) and should be up to 12 pages long excluding
bibliography and appendices. Submissions will be via EasyChair:
https://easychair.org/conferences/?conf=mfps35
----------------------------------------------------------------------
PROCEEDINGS:
There will be a preliminary proceedings of the conference papers that
will be distributed at the meeting, with a final proceedings published
in ENTCS after the meeting.
----------------------------------------------------------------------
PROGRAMME COMMITTEE:
Andrej Bauer, University of Ljubljana, Slovenia
Adriana Balan, University Politehnica of Bucharest, Romania
Harsh Beohar, University of Duisburg-Essen, Germany
Steve Brookes, Carnegie Mellon University, USA
Roberto Bruni, Universita’ di Pisa, Italy
Yuxin Deng, East China Normal University, China
Ilias Garnier, Nomadic Labs, France
Chris Heunen, University of Edinburgh, UK
Tom Hirschowitz, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, France
Bart Jacobs, Radboud Universiteit Nijmegen, Netherlands
Shin-Ya Katsumata, National Institute of Informatics, Japan
Barbara König, University of Duisburg-Essen, Germany (chair)
Ekaterina Komendantskaya, Heriot-Watt University, UK
Achim Jung, University of Birmingham, UK
Dexter Kozen, Cornell University, USA
Clemens Kupke, University of Strathclyde, UK
Catherine Meadows, NRL, USA
Michael Mislove, Tulane University, USA
Joel Ouaknine, Max Planck Institute for Software Systems, Germany
Prakash Panangaden, McGill University Montreal, Canada
Ana Sokolova, University of Salzburg, Austria
Sam Staton, University of Oxford, UK
Tarmo Uustalu, Reykjavik University, Iceland
----------------------------------------------------------------------
STEERING COMMITTEE:
The steering committee of the MFPS series consists of Andrej Bauer
(Ljubljana), Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine
Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine (Max Planck)
and Prakash Panangaden (McGill).
----------------------------------------------------------------------
LOCAL ORGANIZERS:
* Philippa Gardner (Imperial College London, UK)
* Alexandra Silva (University College London, UK)
* Fabio Zanasi (University College London, UK)
Web site & publicity: Henning Basold (CNRS, ENS Lyon, France)
----------------------------------------------------------------------
Robotic 2019: early registration December 31st*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*
*****************************************************
INTERNATIONAL SPRING SCHOOL ON ROBOTICS
Robotic 2019
Bucharest, Romania
April 8-12, 2019
Co-organized by:
University Politehnica of Bucharest
Institute for Research Development, Training and Advice (IRDTA)
Brussels / London
http://robotic2019.irdta.eu/
********************************************************
--- Early registration deadline: December 31st, 2018 ---
********************************************************
SCOPE:
Robotic 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of robotics, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on engineering, medicine, science, business models, and daily life. Renowned academics and industry pioneers will lecture and share their views with the audience.
Most robotics subareas will be displayed, namely the conception, design, manufacturing and operation of robots. This involves addressing their sensing capabilities, manipulation, locomotion, interaction with the environment, interaction with humans, control, etc. The field is multidisciplinary at the crossroads of artificial intelligence, engineering, electronics, mechatronics, bioengineering and nanotechnology. Major challenges of robotics will be identified through 2 keynote lectures, 20 five-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.
An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.
ADDRESSED TO:
Graduate students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, Robotic 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.
STRUCTURE:
3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.
VENUE:
Robotic 2019 will take place in Bucharest, the centre of Romanian economy, culture, and art. The venue will be:
University Politehnica of Bucharest
Splaiul Independenţei nr. 313
Sector 6, Bucharest
KEYNOTE SPEAKERS:
Andrew A. Goldenberg (Engineering Services Inc. Toronto), Bridging between AI and Robotics for Business & Product Development
Mohan M. Trivedi (University of California, San Diego), tba
PROFESSORS AND COURSES:
Jorge Angeles (McGill University), [intermediate] Kinematics of Multibody Systems
Sylvain Calinon (Idiap Research Institute), [intermediate] Statistical, Geometrical and Dynamical Representations of Movements in Robots
Yi Chao (University of California, Los Angeles), [introductory] Underwater Robotics
Raja Chatila (Pierre et Marie Curie University), [introductory] Ethics in Robotics and AI
Gamini Dissanayake (University of Technology Sydney), [introductory/intermediate] Robot Localisation, Mapping and SLAM
Baris Fidan (University of Waterloo), [intermediate/advanced] Robotic Network Localization and Formation Control
Michael Jenkin (York University), [introductory/intermediate] Computational Tasks in Autonomous Systems
Norbert Krüger (University of Southern Denmark), [introductory] The Human Visual System as a Model for a Deep Neural Net
Ales Leonardis (University of Birmingham), [introductory/intermediate] Robot Vision
Anthony A. Maciejewski (Colorado State University), [introductory/intermediate] Kinematically Redundant Robots: The Promise of Human-like Dexterity
Shimon Y. Nof (Purdue University), [introductory/intermediate] Cyber-augmented Collaborative Robotics
Stefano Nolfi (Institute of Cognitive Sciences and Technologies – CNR), [introductory/intermediate] Evolutionary Robotics
Wilfrid Perruquetti (École Centrale de Lille), [introductory/intermediate] Path Planning/Tracking of Wheeled Mobile Robots
Jan Peters (Technical University of Darmstadt), [introductory/advanced] Robot Learning
José Santos-Victor (Instituto Superior Técnico), [introductory/advanced] Biological and Computational Vision
Richard Satava (University of Washington), [introductory/intermediate] Robotic Surgery and Beyond: Near and Far Future Technologies and Training
Dan Stoianovici (Johns Hopkins University), [introductory/intermediate] Medical Robotics
Garnette Sutherland (University of Calgary), [intermediate] Image Guided Robotic Surgery
Michael Y. Wang (Hong Kong University of Science and Technology), [intermediate/advanced] Soft Robotics
Simon Yang (University of Guelph), [introductory/advanced] Biologically Inspired Robotics
OPEN SESSION
An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david(a)irdta.eu by March 31, 2019.
INDUSTRIAL SESSION:
A session will be devoted to 10-minute demonstrations of practical developments in robotics. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. Expressions of interest have to be submitted to david(a)irdta.eu by March 31, 2019.
EMPLOYER SESSION:
Firms searching for personnel well skilled in robotics will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for to be circulated among the participants prior to the event. Expressions of interest have to be submitted to david(a)irdta.eu by March 31, 2019.
ORGANIZING COMMITTEE:
Corneliu Burileanu (Bucharest, co-chair)
Nicolae Georgian (Bucharest)
Sara Morales (Brussels)
Anna Neacsu (Bucharest)
Manuel J. Parra-Royón (Granada)
David Silva (London, co-chair)
REGISTRATION:
It has to be done at
http://robotic2019.irdta.eu/registration/
The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.
Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.
FEES:
Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.
ACCOMMODATION:
Suggestions for accommodation will be available on the event website.
CERTIFICATE:
A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.
QUESTIONS AND FURTHER INFORMATION:
david(a)irdta.eu
ACKNOWLEDGMENTS:
University Politehnica of Bucharest
Institute for Research Development, Training and Advice (IRDTA) – Brussels/London
Liebe D-CONler / Dear Concurrency Theorists!
again, this is a friendly reminder that the proposal submission
deadline for D-CON 2019 is this Saturday, *DECEMBER 15th*!
The next edition of D-CON will take place at Technical University of
Munich on March 14th - March 15th, 2019.
The web page of D-CON 2018 can be found under:
https://www7.in.tum.de/dcon2019/
If you like to present your most-recent work, organize a discussion or
breakout session, give a tutorial or whatever else comes to your mind,
please send an email, including a title and a short abstract, to
dcon(a)model.in.tum.de.
DEADLINE: December 15th 2018.
We are looking forward to seeing you at D-CON 2019!
Best regards,
Javier, Philipp, Stefan.
BigDat 2019: regular registration January 4*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*
********************************************************
5th INTERNATIONAL WINTER SCHOOL ON BIG DATA
BigDat 2019
Cambridge, United Kingdom
January 7-11, 2019
Co-organized by:
Cambridge Big Data Initiative, University of Cambridge
Institute for Research Development, Training and Advice (IRDTA)
Brussels / London
http://bigdat2019.irdta.eu/
********************************************************
--- Regular registration deadline: January 4, 2019 ---
********************************************************
SCOPE:
BigDat 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.
Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 24 four-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.
An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.
ADDRESSED TO:
Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.
STRUCTURE:
3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.
VENUE:
BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be:
University of Cambridge
Department of Engineering
Trumpington Street
Cambridge CB2 1PZ
KEYNOTE SPEAKER:
Kenji Takeda (Director, Health and AI Partnerships, Microsoft Research), Big Data and AI - What's It Really Good for?
PROFESSORS AND COURSES:
Thomas Bäck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications
Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function
Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications
Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Cross-domain Multi-source Big Data Fusion and Analytics
Nitesh Chawla (University of Notre Dame), [intermediate/advanced] Network Science: Representation Learning and Higher Order Networks
Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society
Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing
David Gerbing (Portland State University), [introductory] Data Visualization with R
Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs
Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data
Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows
Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences
Soumya Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods for Statistical Regression
Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges
Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning
Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis
Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services
Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise
Jaideep Srivastava (University of Minnesota), [intermediate] Social Computing – Concepts and Applications
Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R
Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning
Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Surrogate Modelling for Fun and Profit
Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action
Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data Learning
OPEN SESSION
An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david(a)irdta.eu by December 30, 2018.
INDUSTRIAL SESSION:
A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david(a)irdta.eu by December 30, 2018.
EMPLOYER SESSION:
Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david(a)irdta.eu by December 30, 2018.
ORGANIZING COMMITTEE:
Chiara Paola Codebò (Genova)
Sara Morales (Brussels)
Manuel J. Parra-Royón (Granada)
Jeffrey Salmond (Cambridge)
David Silva (London, co-chair)
Filippo Spiga (Cambridge, co-chair)
Richard E. Turner (Cambridge)
REGISTRATION:
It has to be done at
http://bigdat2019.irdta.eu/registration/
The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.
Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.
FEES:
Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.
ACCOMMODATION:
Suggestions for accommodation are available on the event website.
CERTIFICATE:
A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.
QUESTIONS AND FURTHER INFORMATION:
david(a)irdta.eu
ACKNOWLEDGMENTS:
Cambridge Big Data Initiative, University of Cambridge
Institute for Research Development, Training and Advice (IRDTA) – Brussels/London
AlCoB 2019: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*
**********************************************************************************
6th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY
AlCoB 2019
Berkeley, California, USA
May 28-30, 2019
Co-organized by:
University of California, Berkeley
Institute for Research Development, Training and Advice, Brussels/London
http://alcob2019.irdta.eu/
**********************************************************************************
AIMS:
AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.
Previous events were held in Tarragona, Mexico City, Trujillo (Spain), Aveiro, and Hong Kong.
The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:
1) assembling sequence reads into a complete genome,
2) identifying gene structures in the genome,
3) recognizing regulatory motifs,
4) aligning nucleotides and comparing genomes,
5) reconstructing regulatory networks of genes, and
6) inferring the evolutionary phylogeny of species.
Special focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.
VENUE:
AlCoB 2019 will take place in Berkeley, home to the oldest campus in the highly prestigious University of California system. The venue will be:
University of California, Berkeley
SCOPE:
Topics of either theoretical or applied interest include, but are not limited to:
Sequence analysis
Sequence alignment
Sequence assembly
Genome rearrangement
Regulatory motif finding
Phylogeny reconstruction
Phylogeny comparison
Structure prediction
Compressive genomics
Proteomics: molecular pathways, interaction networks, mass spectrometry analysis
Transcriptomics: splicing variants, isoform inference and quantification, differential analysis
Next-generation sequencing: population genomics, metagenomics, metatranscriptomics, epigenomics
Genome CD architecture
Microbiome analysis
Cancer computational biology
Systems biology
STRUCTURE:
AlCoB 2019 will consist of:
invited lectures
peer-reviewed contributions
posters
INVITED SPEAKERS:
Igor Jurisica (University of Toronto), Explanable AI for Data-driven Medicine
Lior Pachter (California Institute of Technology), Algorithms for Single-cell Genomics
Pavel A. Pevzner (University of California, San Diego), Bioinformatics: A Servant or the Queen of Molecular Biology?
PROGRAMME COMMITTEE:
Can Alkan (Bilkent University, TR)
Stephen Altschul (National Center for Biotechnology Information, US)
Philipp Bucher (Swiss Institute for Experimental Cancer Research, CH)
Ken Chen (MD Anderson Cancer Center, US)
Keith A. Crandall (George Washington University, US)
Colin Dewey (University of Wisconsin, Madison, US)
Eytan Domany (Weizmann Institute of Science, IL)
Robert Edgar (independent, US)
Dmitrij Frishman (Technical University of Munich, DE)
Susumu Goto (Research Organization of Information and Systems, JP)
Desmond Higgins (University College Dublin, IE)
Karsten Hokamp (Trinity College Dublin, IE)
Ian Holmes (University of California, Berkeley, US)
Fereydoun Hormozdiari (University of California, Davis, US)
Daniel Huson (University of Tübingen, DE)
Martijn Huynen (Radboud University Medical Centre, NL)
Peter Karp (SRI International, US)
Kazutaka Katoh (Osaka University, JP)
Anders Krogh (University of Copenhagen, DK)
Doron Lancet (Weizmann Institute of Science, IL)
Alla Lapidus (Saint Petersburg State University, RU)
Ming Li (University of Waterloo, CA)
Gerard Manning (Genentech, US)
Carlos Martín-Vide (Rovira i Virgili University, ES, chair)
David H. Mathews (University of Rochester Medical Center, US)
Aaron McKenna (University of Washington, US)
Jason Rafe Miller (Shepherd University, US)
Aleksandar Milosavljevic (Baylor College of Medicine, US)
Yasukazu Nakamura (National Institute of Genetics, JP)
Zemin Ning (Wellcome Trust Sanger Institute, UK)
William Stafford Noble (University of Washington, US)
Sandra Orchard (European Bioinformatics Institute, UK)
William Pearson (University of Virginia, US)
Matteo Pellegrini (University of California, Los Angeles, US)
Mihaela Pertea (Johns Hopkins University, US)
Steve Rozen (Duke-NUS Medical School, SG)
David Sankoff (University of Ottawa, CA)
Russell Schwartz (Carnegie Mellon University, US)
Wing-Kin Sung (National University of Singapore, SG)
Alfonso Valencia (Barcelona Supercomputing Centre, ES)
Arndt von Haeseler (Center for Integrative Bioinformatics Vienna, AT)
Kai Wang (Children's Hospital of Philadelphia, US)
ORGANIZING COMMITTEE:
Ian Holmes (Berkeley, co-chair)
Sara Morales (Brussels)
Manuel Parra-Royón (Granada)
David Silva (London, co-chair)
Miguel A. Vega-Rodríguez (Cáceres)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://easychair.org/conferences/?conf=alcob2019
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.
A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.
REGISTRATION:
The registration form can be found at:
http://alcob2019.irdta.eu/Registration.php
DEADLINES (all at 23:59 CET):
Paper submission: January 12, 2019
Notification of paper acceptance or rejection: February 19, 2019
Final version of the paper for the LNCS/LNBI proceedings: February 26, 2019
Early registration: February 26, 2019
Late registration: May 14, 2019
Submission to the journal special issue: August 30, 2019
QUESTIONS AND FURTHER INFORMATION:
david (at) irdta.eu
ACKNOWLEDGEMENTS:
University of California, Berkeley
IRDTA – Institute for Research Development, Training and Advice, Brussels/London
Liebe D-CONler / Dear Concurrency Theorists!
this is a friendly reminder that the submission deadline for D-CON 2019
is *DECEMBER 15th*!
The next edition of D-CON will take place at Technical University of
Munich on March 14th - March 15th, 2019.
The web page of D-CON 2018 can be found under:
https://www7.in.tum.de/dcon2019/
If you like to present your most-recent work, organize a discussion or
breakout session, give a tutorial or whatever else comes to your mind,
please send an email, including a title and a short abstract, to
dcon(a)model.in.tum.de.
DEADLINE: December 15th 2018.
We are looking forward to seeing you at D-CON 2019!
Best regards,
Javier, Philipp, Stefan.
Liebe D-CONler / Dear Concurrency Theorists!
As already announced in the previous email, the next edition of D-CON
will take place at Technical University of Munich on March 14th - March
15th, 2019.
The web page of D-CON 2018 can be found under:
https://www7.in.tum.de/dcon2019/
We are very happy to announce two invited talks by:
- Filip Mazowiecki
- Karoliina Lehtinen
With this email, we would like to ask for your contributions to D-CON 2019:
If you like to present your most-recent work, organize a discussion or
breakout session, give a tutorial or whatever else comes to your mind,
please send an email, including a title and a short abstract, to
dcon(a)model.in.tum.de. The deadline for proposals is December 15th.
We are looking forward to seeing you at D-CON 2019!
Best regards,
Javier, Philipp, Stefan.
==================
CONCUR 2019 - Call for Papers
===================
https://event.cwi.nl/concur2019/
The 30th International Conference on Concurrency Theory
Amsterdam, The Netherlands, 27-30 August 2019
The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.
Invited speakers
Marta Kwiatkowska - University of Oxford (UK)
Kim G. Larsen - Aalborg University (Denmark)
Joel Ouaknine - Max Planck Institute for Software Systems (Germany)
Jaco van de Pol - Aarhus University (Denmark)
Co-located conference
17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)
Co-located workshops
Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)
8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)
4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019)
9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)
IMPORTANT DATES
All dates are AoE.
Abstract submission:
April 15, 2019
Paper submission:
April 22, 2019
Notification:
June 14, 2019
Camera ready copy:
July 3, 2019
Conference:
August 27-30, 2019
TOPICS
Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to):
Basic models of concurrency such as abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems;
Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics;
Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis;
Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols;
Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented.
PAPER SUBMISSION
CONCUR 2019 solicits high quality papers reporting research results and/or experience related to the topics mentioned below. All papers must be original, unpublished, and not submitted for publication elsewhere.
Each paper will undergo a thorough review process. The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.
The CONCUR 2019 proceedings will be published by LIPIcs.
Papers must be submitted electronically as PDF files via EasyChair.
Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style.
ORGANIZATION COMMITTEE
General Chair
Jos Baeten (CWI, Amsterdam, The Netherlands)
Program Co-chairs
Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands)
Rob van Glabbeek (Data61, CSIRO, Sydney, Australia)
Workshop Chair
Bas Luttik (Eindhoven University of Technology, The Netherlands)
SPECIAL ISSUE
A special issue dedicated to selected papers from CONCUR'2019 will appear in Logical Methods in Computer Science.
ICSR'19 Call for Papers
https://www.uc.edu/eventservices/ICSR2019.html
The International Conference on Software and Systems Reuse (ICSR) is the
premier event in the field of software and systems reuse research,
technology, and practice. The main goal of ICSR is to present the most
recent advances and breakthroughs in the area of software and systems reuse
and to promote an intensive and continuous exchange of ideas among
researchers and practitioners.
The 18th International Conference on Software and Systems Reuse (ICSR 2019)
will be held on June 26-28 in Cincinnati, OH, USA.
We invite submissions on new and innovative research results and industrial
experience papers in the area of software and systems reuse. Submissions
could deal with all aspects of software and systems reuse, including, but
not limited to, the following topics of interest:
-- Approaches facilitating reuse in industry
-- Technical debt and reuse
-- Economic models and metrics to quantify reuse costs and benefits,
including risk analysis
-- Human, social, and legal aspects and distribution issues of reusable
software
-- Domain analysis, context analysis, and architecture-centric reuse
-- Component-based reuse techniques
-- Generative, systematic, and opportunistic reuse
-- Reverse engineering of potentially reusable components
-- Reusability models and metrics
-- Evolution and maintenance of reusable assets
-- Dynamic aspects of reuse (e.g., post-deployment time)
-- Software documentation and reuse of development knowledge (e.g., API
knowledge)
-- Traceability of software artifacts and coarse-grained software reuse
-- Retrieval of reusable artifacts and knowledge in large-scale software
repositories (e.g., open-source and industrial code bases)
-- Reuse in software ecosystems, model-driven engineering,
multi-discipline teams, open-source systems, agile projects, and
safety-critical and mission-critical systems
-- Reuse in emerging practices, e.g., cloud computing, big data
applications, IoT, cyber-physical systems, socio-technical systems, smart
contracts, block chains, etc.
Submission and Publication
We solicit novel and well-founded work in the wider area of software and
systems reuse, with a strong theoretical or empirical foundation and
practical relevance. Theoretical work should introduce innovative ideas and
should be based on a solid theoretical basis. Empirical work such as case
studies and experiments is also welcome. Moreover, work linking academic
research to software and systems reuse in industrial practice, including
reports on practical experience and technology transfer to industry, is
highly encouraged.
The proceedings will be published in Springer-Verlag. Submissions must
conform to Springer's Lecture Notes in Computer Science format. Page limit
is 16 pages for research papers and 10 pages for industry innovation
papers. We also welcome industry practitioners to submit extended abstracts
(2 pages or less) to present their experiences at the conference. Please
use Easychair (https://easychair.org/conferences/?conf=icsr2019) for
submission.
Each submitted research paper, industry innovation paper, and extended
abstract will be reviewed by at least three members of the program
committee. We intend to have three awards for this conference: best
research paper, best industry innovation paper, and best industry practice
talk.
Moreover, a prestigious journal in the software engineering domain will
dedicate a special issue on software and systems reuse for which the
authors of selected papers from the conference will be invited to submit an
extended version (containing at least 30% new material). The CFP of the
special issue will be made available on the conference website.
Important Dates
Research Track
-- Paper submission: Jan 31, 2019
-- Notification: March 8, 2019
Industry Innovation Track
-- Paper or extended abstract submission: Feb 15, 2019
-- Notification: March 8, 2019
Organizing Committees
-- General Chair: Nan Niu, University of Cincinnati, USA
-- Local Chair: Florine Postell, University of Cincinnati, USA
-- Program Co-Chair: Xin Peng, Fudan University, China
-- Program Co-Chair: Apostolos Ampatzoglou, University of Macedonia /
University of Groningen
-- Industry Innovation Co-Chair: Clemente Izurieta, Montana State
University, USA
-- Industry Innovation Co-Chair: Alexander Chatzigeorgiou, University of
Macedonia, Greece
-- Publicity Chair: Areti Ampatzoglou, University of Groningen, The
Netherlands
-- Proceedings Chair: Tanmay Bhowmik, Mississippi State University, USA
-- Student Volunteer Chair: Wentao Wang, University of Cincinnati, USA
--
*Areti Ampatzoglou*
PhD Candidate,
Faculty of Science and Engineering,
*University of Groningen,*
The Netherlands
Liebe D-CONler / Dear Concurrency Theorists!
We are happy to announce that the next edition of D-CON will take place
at TU München on March 14th - March 15th, 2019.
The D-CON 2018 web page can be found under:
https://www7.in.tum.de/dcon2019/
With this email, we would also like to ask for your contributions to
D-CON 2019:
If you like to present your most-recent work, organize a discussion or
breakout session, give a tutorial or whatever else comes to your mind,
please send an email, including a title and a short abstract, to
dcon(a)model.in.tum.de. The deadline for proposals is December 15th.
We are looking forward to seeing you at D-CON 2019!
Best regards,
Javier, Philipp, Stefan.
