D-CON Februar 2019

d-con@lists.rwth-aachen.de

3 Teilnehmer
6 Diskussionen

DeepLearn 2019: early registration March 2

von IRDTA

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

5 Jahre, 1 Monat

AlCoB 2019: call for posters

von IRDTA

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.

5 Jahre, 2 Monate

DeepLearn 2019: early registration March 2

von IRDTA

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

5 Jahre, 2 Monate

LATA 2019: call for participation

von IRDTA

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

5 Jahre, 2 Monate

DCON 2019 - Last call for registration

von Stefan Jaax

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

5 Jahre, 2 Monate

CFP: 19th International Conference on Runtime Verification

von Bernd Finkbeiner

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

5 Jahre, 2 Monate

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

D-CON Februar 2019