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

CFP FMICS 2019: 24th International Conference on Formal Methods for Industrial Critical Systems
by Tim Willemse 09 Mar '19

09 Mar '19

Apologies for multiple postings. ------------------------------------------------ FMICS 2019: the 24th International Conference on Formal Methods for Industrial Critical Systems Co-located with CONCUR and FORMATS Aug 30-31, 2019, Amsterdam, The Netherlands https://fmics2019.fsa.win.tue.nl ------------------------------------------------ The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Important Dates Abstract submission: 19 April 2019 Paper submission: 26 April 2019 Notifications: 5 June 2019 Camera ready: 19 June 2019 Conference: 30-31 August 2019 Topics Topics of interest include (but are not limited to): - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. - Methods, techniques and tools to support automated analysis, certification, debugging, descriptions, learning, optimisation and transformation of complex, distributed, real-time, embedded, mobile and autonomous systems. - Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). - Impact of the adoption of formal methods on the development process and associated costs. Application of formal methods in standardisation and industrial forums. Submission and Publication Papers must describe authors' original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly motivate relevance to industrial application. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development. Papers should not exceed 15 pages (excluding max. 2 pages of references) formatted according to the LNCS style (Springer). All submissions will be reviewed by the Programme Committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Papers must be written in English and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: https://easychair.org/conferences/?conf=fmics2019 The conference proceedings will be published by Springer in their LNCS series. Committees ---------- Programme Chairs - Kim Larsen, Aalborg University - Tim Willemse, Eindhoven University of Technology Programme Committee (confirmed) - Bernhard Aichernig, TU Graz - Jiri Barnat, Masaryk University - Joerg Brauer, Verified Systems International GmbH - Ana Cavalcanti, University of York - Michael Fisher, University of Liverpool - Wan Fokkink, Vrije Universiteit Amsterdam - Maria-Del-Mar Gallardo, University of Malaga - Hubert Garavel, INRIA - Anne Haxthausen, Technical University of Denmark - Peter Höfner, CSIRO - Jozef Hooman, TNO-ESI/Radboud University Nijmegen - Falk Howar, Dortmund University of Technology/Fraunhofer ISST - Jeroen Keiren, Eindhoven University of Technology - Zhiming Liu, Southwest University - Tiziana Margaria, Lero - Peter Ölveczky, University of Oslo - Charles Pecheur, Université Catholique de Louvain - Matteo Rossi, Politecnico di Milano - Cristina Seceleanu, Mälardalen University - Scott Smolka, Stony Brook University - Maurice ter Beek, ISTI-CNR - Helen Treharne, University of Surrey - Jaco van de Pol, Aarhus University -- T.A.C. Willemse (T.A.C.Willemse(a)TUe.nl) +31 40 2472999 (voice) http://www.win.tue.nl/~timw http://www.linkedin.com/in/tacwillemse http://orcid.org/0000-0003-3049-7962 --

1 0

AlCoB 2019: call for posters
by IRDTA 09 Mar '19

09 Mar '19

AlCoB 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 6th International Conference on Algorithms for Computational Biology (AlCoB 2019) invites researchers to submit poster presentations. AlCoB 2019 will be held in Berkeley on May 28-30, 2019. See http://alcob2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: April 21, 2019 Notification of poster acceptance or rejection: April 28, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2019. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2017 JCR impact factor: 2.428). REGISTRATION At least one author of each accepted poster must register to the conference by May 14, 2019. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.

1 0

DeepLearn 2019: early registration March 2
by IRDTA 26 Feb '19

26 Feb '19

DeepLearn 2019: early registration March 2*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* *************************************************************** 3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING DeepLearn 2019 Warsaw, Poland July 22-26, 2019 Co-organized by: Institute of Computer Science, Polish Academy of Sciences IRDTA – Brussels/London http://deeplearn2019.irdta.eu/ *************************************************************** --- Early registration deadline: March 2, 2019 --- *************************************************************** SCOPE: DeepLearn 2019 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience. Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 four-hour and a half 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, DeepLearn 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: DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be: Global Expo Modlinska 6D 03-216 Warsaw KEYNOTE SPEAKERS: tba PROFESSORS AND COURSES: (to be completed) Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models Issam El Naqa (University of Michigan), [introductory/intermediate] Deep Learning for Biomedicine Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Armand Joulin) Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks Navraj Pannu (GoDaddy), [introductory/intermediate] Deep Learning and Maximum Likelihood in Structural Biology Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing Alex Smola (Amazon), tba Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines Alexey Svyatkovskiy (Princeton University), [introductory/intermediate] From Natural Language Processing to Machine Learning on Source Code Bertrand Thirion (INRIA), [introductory] Understanding the Brain with Machine Learning Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Multi-resolution Models for Learning Multilevel Abstract Representations of Text Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Complex Data with Deep 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 July 14, 2019. INDUSTRIAL SESSION: A session will be devoted to 10-minute demonstrations of practical applications of deep learning 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 July 14, 2019. EMPLOYER SESSION: Firms searching for personnel well skilled in deep learning 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 July 14, 2019. ORGANIZING COMMITTEE: Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) REGISTRATION: It has to be done at http://deeplearn2019.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 estimation 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: Accommodation can be booked at http://www.deeplearn2019.promoest.com/hp.aspx?s=0 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: Institute of Computer Science, Polish Academy of Sciences Institute for Research Development, Training and Advice (IRDTA) – Brussels/London

1 0

AlCoB 2019: call for posters
by IRDTA 22 Feb '19

22 Feb '19

AlCoB 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 6th International Conference on Algorithms for Computational Biology (AlCoB 2019) invites researchers to submit poster presentations. AlCoB 2019 will be held in Berkeley on May 28-30, 2019. See http://alcob2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: April 21, 2019 Notification of poster acceptance or rejection: April 28, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2019. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2017 JCR impact factor: 2.428). REGISTRATION At least one author of each accepted poster must register to the conference by May 14, 2019. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.

1 0

DeepLearn 2019: early registration March 2
by IRDTA 16 Feb '19

16 Feb '19

DeepLearn 2019: early registration March 2*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* *************************************************************** 3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING DeepLearn 2019 Warsaw, Poland July 22-26, 2019 Co-organized by: Institute of Computer Science, Polish Academy of Sciences IRDTA – Brussels/London http://deeplearn2019.irdta.eu/ *************************************************************** --- Early registration deadline: March 2, 2019 --- *************************************************************** SCOPE: DeepLearn 2019 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience. Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 four-hour and a half 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, DeepLearn 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: DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be: Global Expo Modlinska 6D 03-216 Warsaw KEYNOTE SPEAKERS: tba PROFESSORS AND COURSES: (to be completed) Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models Issam El Naqa (University of Michigan), [introductory/intermediate] Deep Learning for Biomedicine Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Armand Joulin) Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks Navraj Pannu (GoDaddy), [introductory/intermediate] Deep Learning and Maximum Likelihood in Structural Biology Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing Alex Smola (Amazon), tba Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines Alexey Svyatkovskiy (Princeton University), [introductory/intermediate] From Natural Language Processing to Machine Learning on Source Code Bertrand Thirion (INRIA), [introductory] Understanding the Brain with Machine Learning Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Complex Data with Deep 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 July 14, 2019. INDUSTRIAL SESSION: A session will be devoted to 10-minute demonstrations of practical applications of deep learning 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 July 14, 2019. EMPLOYER SESSION: Firms searching for personnel well skilled in deep learning 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 July 14, 2019. ORGANIZING COMMITTEE: Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) REGISTRATION: It has to be done at http://deeplearn2019.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 estimation 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: Accommodation can be booked at http://www.deeplearn2019.promoest.com/hp.aspx?s=0 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: Institute of Computer Science, Polish Academy of Sciences Institute for Research Development, Training and Advice (IRDTA) – Brussels/London

1 0

LATA 2019: call for participation
by IRDTA 15 Feb '19

15 Feb '19

LATA 2019: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* 13th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2019 Saint Petersburg, Russia March 26-29, 2019 Organized by: Saint Petersburg State University and Institute for Research Development, Training and Advice, Brussels/London http://lata2019.irdta.eu/ ************************************************************************* PROGRAM Tuesday, March 26 09:00 - 09:30 Registration 09:30 - 09:40 Opening 09:40 - 10:30 Edward A. Lee. Observation and Interaction - Invited lecture 10:30 - 11:00 Break 11:00 - 12:15 Malek Anabtawi, Sabit Hassan, Christos Kapoutsis and Mohammad Zakzok. An Oracle Hierarchy for Small One-way Finite Automata Tim Becker and Klaus Sutner. Orbits of Abelian Automaton Groups Alex Bishop and Murray Elder. Bounded Automata Groups Are co-ET0L 12:15 - 13:45 Lunch 13:45 - 15:00 Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara and Antonio E. Porreca. Decidability of Sensitivity and Equicontinuity for Linear Higher-order Cellular Automata Ondrej Klíma and Libor Polak. On Varieties of Ordered Automata Klaus Meer and Ameen Naif. Automata over Infinite Sequences of Reals 15:00 - 15:30 Break 15:30 - 17:10 Tomoyuki Yamakami. Non-uniform State Complexity of Quantum Finite Automata and Quantum Polynomial-time Logarithmic-space Computation with Quantum Advice Vladimir Zakharov. Equivalence Checking of Prefix-free Transducers and Deterministic Two-tape Automata Ilya Zakirzyanov, Antonio Morgado, Alexey Ignatiev, Vladimir Ulyantsev and Joao Marques-Silva. Efficient Symmetry Breaking for SAT-based Minimum DFA Inference Jackson Abascal, Lane A. Hemaspaandra, Shir Maimon and Daniel Rubery. Closure and Nonclosure Properties of the Compressible and Rankable Sets --- Wednesday, March 27 09:00 - 09:50 Henning Fernau. Modern Aspects of Complexity within Formal Languages - Invited lecture 09:50 - 10:20 Break 10:20 - 11:35 Markus Holzer and Michal Hospodár. The Range of State Complexities of Languages Resulting from the Cut Operation Lila Kari and Timothy Ng. State Complexity of Pseudocatenation Daniel Padé and Stephen Fenner. Complexity of (R,C)-crosswords 11:35 - 12:05 Break and Group photo 12:05 - 13:20 Berthold Hoffmann and Mark Minas. Generalized Predictive Shift-reduce Parsing for Hyperedge Replacement Graph Grammars Hans-Joerg Kreowski, Sabine Kuske and Aaron Lye. Transformation of Petri Nets into Context-dependent Fusion Grammars Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki. Generalized Register Context-free Grammars 13:20 - 14:50 Lunch 15:00 Touristic visit --- Thursday, March 28 09:00 - 09:50 Pawel Gawrychowski. Searching and Indexing Compressed Text - Invited lecture 09:50 - 10:20 Break 10:20 - 11:35 Amazigh Amrane and Nicolas Bedon. Logic and Rational Languages of Scattered and Countable Series-parallel Posets Marcella Anselmo, Maria Madonia and Carla Selmi. Toroidal Codes and Conjugate Pictures Jean-Philippe Dubernard, Giovanna Guaiana and Ludovic Mignot. Geometrical Closure of Binary V3/2 Languages 11:35 - 12:05 Break 12:05 - 13:20 Galina Jirásková and Ondrej Klíma. Deterministic Biautomata and Subclasses of Deterministic Linear Languages Alexis Linard, Colin de la Higuera and Frits Vaandrager. Learning Unions of k-Testable Languages Iovka Boneva, Joachim Niehren and Momar Sakho. Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables 13:20 - 14:50 Lunch 14:50 - 15:40 Vadim Lozin. From Words to Graphs, and back - Invited lecture 15:40 - 16:10 Break 16:10 - 17:25 Ajay K. Eeralla, Serdar Erbatur, Andrew M. Marshall and Christophe Ringeissen. Rule-based Unification in Combined Theories and the Finite Variant Property Pawel Parys. Extensions of the Caucal Hierarchy? Ahad N. Zehmakan. Tight Bounds on the Minimum Size of a Dynamic Monopoly --- Friday, March 29 09:00 - 09:50 Esko Ukkonen. Pattern Discovery in Biological Sequences - Invited lecture 09:50 - 10:20 Break 10:20 - 11:35 Emilie Charlier, Svetlana Puzynina and Elise Vandomme. Recurrence in Multidimensional Words Christophe Cordero. A Note with Computer Exploration of the Triangle Conjecture Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Juliusz Straszynski, Tomasz Walen and Wiktor Zuba. Efficient Representation and Counting of Antipower Factors in Words 11:35 - 12:05 Break 12:05 - 13:20 Kalpana Mahalingam and Palak Pandoh. On the Maximum Number of Distinct Palindromic Sub-arrays Wojciech Rytter and Wiktor Zuba. Syntactic View of Sigma-Tau Generation of Permutations Andrew Ryzhikov and Clemens Mullner. Palindromic Subsequences in Finite Words 13:20 - 13:30 Closing 13:30 - 15:00 Lunch

1 0

DCON 2019 - Last call for registration
by Stefan Jaax 12 Feb '19

12 Feb '19

Hello, if you haven't registered yet for D-CON 2019 (14th - 15th of March 2019), but would like to participate, you have time until the upcoming FRIDAY (15th Febr) to do so. In order to register, please send us the required information to dcon(a)model.in.tum.de, using the following template: ---- - Name (for name tags): - Affiliation (for name tags): - Date of Arrival: - Date of Departure: - I will join (self-paid) dinner on Wednesday (yes/no) (Pizzeria "Bei Mario", Adalbertstraße 15 in Munich ): - I will join (self-paid) dinner on Thursday (yes/no) (Augustiner Garching, http://www.garchinger-augustiner.com/): - Dietary restrictions (if any): ----- The participation fee is 60 Euro and covers lunch and coffee breaks on both days. We will send you the payment information together with an invoice after we receive your registration information. The schedule for D-CON 2019 you can find on our website: https://www7.in.tum.de/dcon2019/ Best regards, the D-CON 2019 Organizers (Javier Esparza, Stefan Jaax, Philipp Meyer).

1 0

CFP: 19th International Conference on Runtime Verification
by Bernd Finkbeiner 07 Feb '19

07 Feb '19

Call for Papers RV 2019 19th International Conference on Runtime Verification Porto, Portugal 8-11 October 2019 https://www.react.uni-saarland.de/rv2019/ # Scope Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: * specification languages for monitoring * monitor construction techniques * program instrumentation * logging, recording, and replay * combination of static and dynamic analysis * specification mining and machine learning over runtime traces * monitoring techniques for concurrent and distributed systems * runtime checking of privacy and security policies * metrics and statistical information gathering * program/system execution visualization * fault localization, containment, recovery and repair * dynamic type checking Application areas of runtime verification include cyber-physical systems, safety/mission critical systems, enterprise and systems software, cloud systems, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. # Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv19 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2018 to present. # Papers There are three categories of papers which can be submitted: regular, short and tool demo papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. * Regular Papers (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. * Short Papers (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. * Tool Demonstration Papers (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. The Program Committee of RV 2019 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special journal issue. # Tutorial Track Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings. A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a biography of the presenter. The proposal must not exceed 2 pages. Tutorial proposals will be reviewed by the Program Committee. Important Dates # Website https://www.react.uni-saarland.de/rv2019/ # Important Dates Abstract deadline: April 25, 2019 Paper and tutorial deadline: April, 30, 2019 Paper and tutorial notification: June, 14, 2019 Camera-ready deadline: July, 14, 2019 Conference: October, 8 - 11, 2019

1 0

DeepLearn 2019: early registration February 2
by IRDTA 29 Jan '19

29 Jan '19

DeepLearn 2019: early registration February 2*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* *************************************************************** 3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING DeepLearn 2019 Warsaw, Poland July 22-26, 2019 Co-organized by: Institute of Computer Science, Polish Academy of Sciences IRDTA – Brussels/London http://deeplearn2019.irdta.eu/ *************************************************************** SCOPE: DeepLearn 2019 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience. Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 four-hour and a half 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, DeepLearn 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: DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be: tba KEYNOTE SPEAKERS: tba PROFESSORS AND COURSES: (to be completed) Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Armand Joulin) Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks Navraj Pannu (GoDaddy), [introductory/intermediate] Deep Learning and Maximum Likelihood in Structural Biology Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing Alex Smola (Amazon), tba Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines Alexey Svyatkovskiy (Princeton University), [introductory/intermediate] From Natural Language Processing to Machine Learning on Source Code Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning Zhongfei Zhang (Binghamton University), tba 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 July 14, 2019. INDUSTRIAL SESSION: A session will be devoted to 10-minute demonstrations of practical applications of deep learning 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 July 14, 2019. EMPLOYER SESSION: Firms searching for personnel well skilled in deep learning 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 July 14, 2019. ORGANIZING COMMITTEE: Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) REGISTRATION: It has to be done at http://deeplearn2019.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 estimation 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 in due time. 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: Institute of Computer Science, Polish Academy of Sciences Institute for Research Development, Training and Advice (IRDTA) – Brussels/London

1 0

EXPRESS/SOS 2019 (Amsterdam, co-located with CONCUR 2019) - First CfP
by Emanuele D'Osualdo 25 Jan '19

25 Jan '19

[ Please distribute widely - apologies for multiple postings. ] =========================================== FIRST CALL FOR PAPERS Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019) https://express-sos2019.cs.ru.nl Amsterdam (The Netherlands) August 26, 2019, Affiliated with CONCUR 2019 Submission deadline (full and short papers): Friday, June 21, 2019 =========================================== == SCOPE AND TOPICS The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models. Topics of interest for EXPRESS/SOS 2019 include, but are not limited to: - expressiveness and rigorous comparisons between models of computation (process algebras, event structures, Petri nets, rewrite systems) - expressiveness and rigorous comparisons between programming languages and models (distributed, component-based, object-oriented, service-oriented); - logics for concurrency (modal logics, probabilistic and stochastic logics, temporal logics and resource logics); - analysis techniques for concurrent systems; - theory of structural operational semantics (meta-theory, category-theoretic approaches, congruence results); - comparisons between structural operational semantics and other formal semantic approaches; - applications and case studies of structural operational semantics; - software tools that automate, or are based on, structural operational semantics. We especially welcome contributions bridging the gap between the above topics and neighbouring areas, such as, for instance: - computer security - multi-agent systems - programming languages and formal verification - reversible computation - knowledge representation == SUBMISSION GUIDELINES: We invite two types of submissions: * Full papers (up to 15 pages, excluding references). * Short papers (up to 5 pages, excluding references, not included in the workshop proceedings) All submissions should adhere to the EPTCS format (http://www.eptcs.org). Simultaneous submission to journals, conferences or other workshops is only allowed for short papers; full papers must be unpublished. Submission is performed through EasyChair: https://easychair.org/conferences/?conf=expresssos2019 The final versions of accepted full papers will be published in EPTCS. It is understood that for each accepted submission one of the co-authors will register to the workshop and give the talk. == SPECIAL ISSUE There is a long tradition of special issues of reputed international journals devoted to the very best papers presented in prior editions of the workshop. For instance, a special issue of Information and Computation with selected papers from EXPRESS/SOS 2018 is currently in progress. We will consider organizing a special issue for EXPRESS/SOS 2019. == INVITED SPEAKERS - Yuxin Deng (East China Normal University, China) - Tom Hirschowitz (CNRS / Savoie Mont Blanc University, France) - Kirstin Peters (TU Berlin, Germany) == IMPORTANT DATES - Paper submission: June 21, 2019 - Notification date: July 26, 2019 - Camera ready version: August 11, 2019 - Workshop: August 26, 2019 == WORKSHOP CO-CHAIRS: Jorge A. Pérez (University of Groningen, The Netherlands) Jurriaan Rot (Radboud University, The Netherlands) == PROGRAM COMMITTEE: Roberto Bruni (Università di Pisa, Italy) Ilaria Castellani (INRIA, France) Valentina Castiglioni (INRIA Saclay, France) Matteo Cimini (University of Massachusetts Lowell, US) -- *Emanuele D'Osualdo* *Research Fellow in Computer Science*Imperial College London *office* Huxley building, room 433 *web *emanueledosualdo.com *email* e.dosualdo(a)imperial.ac.uk *mobile* +44 (0)7465231021 D'Osualdo (Imperial College London, UK) Adrian Francalanza (University of Malta, Malta) Jean-Marie Madiot (INRIA, France) Marino Miculan (University of Udine, Italy) Mohammadreza Mousavi (University of Leicester, UK) Jovanka Pantovic (University of Novi Sad, Serbia) Jorge A. Pérez (University of Groningen, The Netherlands) - co-chair Jurriaan Rot (Radboud University, The Netherlands) - co-chair Erik de Vink (Eindhoven University of Technology, The Netherlands) == CONTACT Prospective authors are encouraged to contact the co-chairs in case of questions: express-sos19(a)easychair.org -- *Emanuele D'Osualdo* *Marie Curie Research Fellow*Imperial College London *office* Huxley building, room 433 *web *emanueledosualdo.com *email* e.dosualdo(a)imperial.ac.uk

1 0