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

CONCUR 2019 Call for Workshop Proposals
by Luttik, S.P. 10 Jan '19

10 Jan '19

* *CONCUR 2019* * THE 30TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY August 26-31, 2019, Amsterdam, The Netherlands (https://event.cwi.nl/concur2019/) CALL FOR AFFILIATED WORKSHOPS The 30th Conference on Concurrency Theory (CONCUR 2019) will be held from August 26 until August 31, 2019 in Amsterdam, The Netherlands. It will be co-located with the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019). Researchers and practitioners are invited to submit proposals for workshops to be affiliated to CONCUR 2019, on topics related to concurrency theory and its applications. Example topics include: semantics, logics, verification techniques for concurrent systems, cross-fertilization between industry and academia and opportunities for young and prospective researchers. Past CONCUR conferences have been accompanied by successful workshops on a variety of topics, such as formal and foundational methods, models of systems (biological, timed), security issues, semantical issues, and verification methods. You can have an idea of the past workshops by browsing the pages of the past editions of CONCUR. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on Monday August 26, 2019 and Saturday August 31, 2019. Proposals should include: * The name and the preferred date of the proposed workshop (August 26 or 31, 2019) * A short description of the workshop (500 words max) * If applicable, a description of past versions of the workshop, including dates, organisers, submission and acceptance counts, and attendance * The expected number of participants * The name and short CV of the organiser(s) * The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). The CONCUR organisation offers: * a link from the CONCUR web site; * setup of meeting space, and related equipment, * coffee-breaks and lunch for the participants on the day of the workshop, * on-line and on-site registration to the workshop, * free workshop registrations for an invited speaker and one or two organisers. The main responsibility for organising the workshop goes to the workshop organiser(s), including: * workshop publicity (possibly including call for papers, submission and review process) * scheduling workshop activities in collaboration with the CONCUR workshop chair. IMPORTANT DATES Submission of workshop proposals: February 1, 2019 (but we greatly appreciate if you announce your proposal to us as soon as possible). Notification: February 15, 2019 SUBMISSION TO: Bas Luttik (s.p.luttik at tue.nl) For more information, please contact me via email (s.p.luttik at tue.nl) The CONCUR 2019 workshop chair, Bas Luttik https://www.win.tue.nl/~luttik Eindhoven University of Technology

2 2

AlCoB 2019: submission deadline extended to January 19
by IRDTA 08 Jan '19

08 Jan '19

AlCoB 2019: submission deadline extended to January 19*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: January 19 ***** ------------------------------------------------------------------------------ ********************************************************************************** 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? Teresa Przytycka (National Center for Biotechnology Information), Exploring Phenotypic Heterogeneity across Tissues and Conditions with Network-based Approaches Tandy Warnow (University of Illinois, Urbana-Champaign), Advances in Mathematical Approaches to Constructing the Tree of Life 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 IEEE/ACM Transactions on Computational Biology and Bioinformatics (2017 JCR impact factor: 2.428) 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 19, 2018 – EXTENDED – 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

1 0

BigDat 2019: regular registration January 4
by IRDTA 02 Jan '19

02 Jan '19

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] Challenge-driven Data Science: Cracking Domain Problems by Crowd Intelligence 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

1 0

AlCoB 2019: 3rd call for papers
by IRDTA 24 Dec '18

24 Dec '18

AlCoB 2019: 3rd 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? Teresa Przytycka (National Center for Biotechnology Information), tba Tandy Warnow (University of Illinois, Urbana-Champaign), Advances in Mathematical Approaches to Constructing the Tree of Life 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

1 0

MFPS XXXV - Call for Papers
by Barbara Koenig 18 Dec '18

18 Dec '18

====================================================================== 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) ----------------------------------------------------------------------

1 0

Robotic 2019: early registration December 31st
by IRDTA 18 Dec '18

18 Dec '18

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

1 0

DCON: Proposal submission deadline in 3 days!
by Stefan Jaax 12 Dec '18

12 Dec '18

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.

1 0

BigDat 2019: regular registration January 4
by IRDTA 11 Dec '18

11 Dec '18

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

1 0

AlCoB 2019: 2nd call for papers
by IRDTA 04 Dec '18

04 Dec '18

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

1 0

REMINDER: Submission deadline for D-CON 2019 approaching!
by Stefan Jaax 03 Dec '18

03 Dec '18

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.

1 0