D-CON März 2019

d-con@lists.rwth-aachen.de

5 Teilnehmer
8 Diskussionen

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

DeepLearn 2019: early registration March 30

von IRDTA

DeepLearn 2019: early registration March 30*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 30, 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: Mark Gales (University of Cambridge), Use of Deep Learning in Non-native Spoken English Assessment PROFESSORS AND COURSES: 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 Qiang Ji (Rensselaer Polytechnic Institute), [introductory/intermediate] Probabilistic Deep Learning and Its Applications for Computer Vision 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 Fabio Roli (University of Cagliari), [introductory/intermediate] Adversarial Machine Learning 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 Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects 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

SLSP 2019: 1st call for papers

von IRDTA

SLSP 2019: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 7th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2019 Ljubljana, Slovenia October 14-16, 2019 Co-organized by: Jožef Stefan Institute Institute for Research Development, Training and Advice (IRDTA), Brussels/London http://slsp2019.irdta.eu/ ********************************************************************************** AIMS: SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2019, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. VENUE: SLSP 2019 will take place in Ljubljana, a charming city full of art and one of the smallest capital cities in Europe. The venue will be: Jožef Stefan Institute Jamova cesta 39 1000 Ljubljana Slovenia SCOPE: The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to: anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling STRUCTURE: SLSP 2019 will consist of: invited talks peer-reviewed contributions posters INVITED SPEAKERS: tba PROGRAMME COMMITTEE: (to be completed) Philipp Cimiano (Bielefeld University, DE) Robert Gaizauskas (University of Sheffield, UK) Julia Hirschberg (Columbia University, US) Nancy Ide (Vassar College, US) Tomi Kinnunen (University of Eastern Finland, FI) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Marie-Francine Moens (KU Leuven, BE) Preslav Nakov (Qatar Computing Research Institute, QA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Mats Rooth (Cornell University, US) Tanja Schultz (University of Bremen, DE) Efstathios Stamatatos (University of the Aegean, GR) Hua Xu (University of Texas, Houston, US) ORGANIZING COMMITTEE: Tina Anžič (Ljubljana) Jan Kralj (Ljubljana) Matej Martinc (Ljubljana) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Senja Pollak (Ljubljana, co-chair) Matthew Purver (London) David Silva (London, co-chair) Anita Valmarska (Ljubljana) 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=slsp2019 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNAI 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://slsp2019.irdta.eu/Registration.php DEADLINES (all at 23:59 CET): Paper submission: June 1, 2019 Notification of paper acceptance or rejection: July 8, 2019 Final version of the paper for the LNCS/LNAI proceedings: July 15, 2019 Early registration: July 15, 2019 Late registration: September 30, 2019 Submission to the journal special issue: January 16, 2020 QUESTIONS AND FURTHER INFORMATION: david(a)irdta.eu ACKNOWLEDGMENTS: Institut "Jožef Stefan" Institute for Research Development, Training and Advice (IRDTA), Brussels/London

5 Jahre, 1 Monat

International Symposium on Intelligent Manufacturing and Service Systems (IMSS'19)

von IMSS 2019

9-11 September 2019 Sakarya / Turkey Dear Colleague, On behalf of the organizing committee, we are pleased to announce that the10th International Symposium on Intelligent Manufacturing and Service Systems (IMSS'19) will be held in Sakarya, Turkey during September 9-11, 2019. IMSS is a global knowledge-enriched collaborative effort that has its roots from both academia and industry. The symposium covers a wide spectrum of topics that relate to information society, which includes technical and non-technical research areas including manufacturing, production systems, healthcare, defense, energy and water management, transportation, smart cities, digital government and digital nations, digital transformation. The mission of IMSS symposium is to provide opportunities for collaboration of professionals and researchers to share existing and generate new knowledge in the field of information society. The symposium encapsulates the concept of interdisciplinary science that studies the societal and technological dimensions of knowledge evolution in digital society. IMSS bridges the gap between academia and industry with regards to research collaboration and awareness of current development in secure information management in the digital society. IMSS 2019 themes are Industry 4.0/5.0: Future Mind, Future Society, Postindustrial Society and Our Posthuman Future. There will be held panel discussions in current topics including critics of artificial intelligence and robotics, homo sapiens, and homo deus. You are kindly invited to participate and take advantage of the opportunity to present your unpublished abstracts or/and full-length scientific papers. The official language of the conference is English. Conference details and updates will also be posted in due course on the conference website www.imss.sakarya.edu.tr. We look forward to hearing from you. Best regards, On behalf of the Symposium Committee Prof. Dr. Zekai ŞEN Symposium Chair KEYNOTE SPEAKERS Andrew Kusiak Maged Dassouky Chen Chun-Hsien Ajith Abraham PUBLICATION OF PAPERS All final papers will be published in the conference proceedings. Authors of selected papers will be invited to submit an extended version of their works for review and potential publication in the Special Issues: Computers & Industrial Engineering (SCI) Journal of Intelligent Manufacturing (SCI-Expanded) Advanced Engineering Informatics (SCI-Expanded) Journal of Information Assurance and Security (ESCI) Periodicals of Engineering and Natural Sciences (Scopus) International Journal of Computer Information Systems and Industrial Management Applications (Scopus) International Journal of Hybrid Intelligent Systems (Scopus) Sakarya University Journal of Science (TR-Dizin) Academic Platform-Journal of Engineering and Science (TR-Dizin) Journal of Network and Innovative Computing Journal of Intelligent Systems: Theory and Applications IMPORTANT DATES Abstract Submission: April 15, 2019 Full Paper Submission: June 15, 2019 Notifification of acceptance: June 30, 2019 End of early registration July 5, 2019 End of late registration August 2, 2019 Symposium September 9-11, 2019 imss.sakarya.edu.tr / imss(a)sakarya.edu.tr You have received this email because you have subscribed to as d-con(a)lists.rwth-aachen.de If you have no more interest in receiving this, please click to unsubscribe.

5 Jahre, 1 Monat

Call for Papers ICSOC 2019 - The 17th International Conference on Service-Oriented Computing

von Ilhem Khlif

*Call for Research/Industry Papers* =============== ICSOC 2019 The 17th International Conference on Service-Oriented Computing 28-31 October, 2019 Toulouse, France *http://www.icsoc.org <http://www.icsoc.org/>* *Important Dates* =============== - Abstract submission: *May 10, 2019* - Full paper submission: *May 17, 2019* - Notification to authors: *July 10, 2019* - Camera-ready papers due:* July 26, 2019* - Author registration due: *July 31, 2019* - Early registration due: *September 13, 2019* *Scope* =============== ICSOC, the International Conference on Service-Oriented Computing, is the premier international forum for academics, industry researchers, developers, and practitioners to report and share groundbreaking work in service-oriented computing. ICSOC fosters cross-community scientific excellence by gathering experts from various disciplines, such as business-process management, distributed systems, computer networks, wireless and mobile computing, cloud computing, cyber-physical systems, networking, scientific workflows, services science, data science, management science, and software engineering. ICSOC provides a high-quality forum for presenting results and discussing ideas that further our knowledge and understanding of the various aspects (e.g. application and system aspects) related to Service Computing applied to new application areas and gain insights into a variety of computing, networked, and cyber-physical systems ranging from mobile devices and Internet-of-Things (IoT) applications to large-scale cloud computing systems and the smart grid. ICSOC 2019 , the 17th event in this series, will take place in Toulouse, France from October 28 to October 31, 2019. Following on the ICSOC tradition, it will feature visionary keynote presentations, research and industry presentations, workshops, tool demonstrations, tutorials, and a Ph.D. track. *Topics of Interest* =============== ICSOC 2019 seeks outstanding, original contributions, including theoretical and empirical evaluations, as well as practical and industrial experiences, with emphasis on results that solve open research problems and have significant impact on the field of service-oriented computing. Specific topics of interest include but are not limited to: 1. *Service Engineering* o Legacy systems migration and modernization o Service design, specification, discovery, customization, composition, and deployment o Service change management o Service innovation o Theoretical foundations of Service Engineering 2. * Run-time Service Operations and Management* o Service execution middleware o Service monitoring and adaptive management o Quality of service o Workload compliance management o Service governance o Architectures for multi-host container deployments o Microservices deployment and management 3. *Services and Data* o Services for Big Data o Service for compute-intensive applications o Mining and analytics o Data-provisioning services o Services related linked open data o Automated Knowledge Graph creation 4. *Services on the Cloud* o Migration to virtual infrastructures o XaaS (everything as a service including IaaS, PaaS, and SaaS) o Service deployment and orchestration in the Cloud o Cloud service management o Cloud workflow management o Cloud brokers and coordination across multiple resource managers o Edge computing vs Cloud computing o Workload transformation 5. *Services in the Internet of Things* o Embedded and real-time services o RFID, sensor data, and services related to the Internet of Things o Services for IoT platforms and applications o Service oriented protocols for IoT applications o REST APIs and services for IoT platforms and applications 6. *Services in Organizations, Business, and Society* o Services science o Social networks and services o Cost and pricing of services o Service marketplaces and ecosystems o Service business models o Enterprise architecture and services o Service Chatbots 7. *Services at the Edge* o Cloud and fog computing o Analytics and knowledge generation services o Edge service orchestration o Lightweight service deployment and management o Services and edge gateway architectures o Quality of Service (QoS) in edge services o Security, privacy, and trust of edge services 8. *Services for Softwarized Network Functions and Software Defined Networks* o Service Network Function Management and Orchestration o Services for novel and emerging networking protocols o Named data networking o Network and transport mechanisms o Virtualized Network Functions and Services o Virtualized Service Function Chaining Paper Submission =============== The conference solicits outstanding original research and practice papers on all aspects of service-oriented computing. Papers should clearly demonstrate the research or practical contribution, the relevance to the field, and the relationship to prior work. Submitted papers will be evaluated according to their rigor, significance, originality, technical quality, and exposition. All papers will be reviewed by at least three members of the Program Committee. Papers should be formatted according to *Springer’s LNCS Formatting Guidelines <http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0>*. Submissions must be in English and not exceed 15 pages including all references and figures. All papers must be submitted electronically in PDF to the *Conference Submission System <https://www.conftool.com/icsoc2018>*. For each accepted paper, at least one author must attend the conference and present the paper. The deadline for identifying and registering this individual author will be at the time when the camera-ready version is submitted. General Co-Chairs =============== - Albert Zomaya, University of Sydney, Australia. - - Djamel Ben Slimane, University of Lyon, France. Program Co-Chairs ============== - Khalil Drira, LAAS-CNRS, France. - Zahir Tari, RMIT University, Australia. - Jamal Bentahar, Concordia University, Montreal, Canada. Best Regards Ilhem KHLIF. Doctor in Computer Science University of Sfax, ReDCAD laboratory, Tunisia http://www.redcad.org/members/ilhem.khlif/

5 Jahre, 1 Monat

CONCUR 2019 final call for papers

von Fokkink, W.J.

============================= CONCUR 2019 - Call for Papers ============================= https://event.cwi.nl/concur2019/ The 30th International Conference on Concurrency Theory Amsterdam, The Netherlands, 27-30 August 2019 The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. INVITED SPEAKERS Marta Kwiatkowska - University of Oxford (UK) Kim G. Larsen - Aalborg University (Denmark) Joel Ouaknine - Max Planck Institute for Software Systems (Germany) Jaco van de Pol - Aarhus University (Denmark) CO-LOCATED CONFERENCES 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019) 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019) CO-LOCATED WORKSHOPS 3rd International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2019) Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019) 2nd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2019) 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019) 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019) 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019) IMPORTANT DATES All dates are AoE. Abstract submission: April 15, 2019 Paper submission: April 22, 2019 Notification: June 14, 2019 Camera ready copy: July 3, 2019 Conference: August 27-30, 2019 TOPICS Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): Basic models of concurrency such as abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems; Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis; Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols; Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented. PAPER SUBMISSION CONCUR 2019 solicits high quality papers reporting research results and/or experience related to the topics mentioned below. All papers must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. The CONCUR 2019 proceedings will be published by LIPIcs. Papers must be submitted electronically as PDF files via EasyChair via https://www.easychair.org/conferences/?conf=concur2019 Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style. SPECIAL ISSUE A special issue dedicated to selected papers from CONCUR'2019 will appear in Logical Methods in Computer Science. ORGANIZATION COMMITTEE General Chair: Jos Baeten (CWI, Amsterdam, The Netherlands) Program Co-chairs: Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands) Rob van Glabbeek (Data61, CSIRO, Sydney, Australia) Workshop Chair: Bas Luttik (Eindhoven University of Technology, The Netherlands) PROGRAM COMMITTEE Christel Baier, TU Dresden (Germany) Jiri Barnat, Masaryk University, Brno (Czech Republic) Benedikt Bollig, CNRS, Paris (France) Borzoo Bonakdarpour, Iowa State University (USA) Ilaria Castellani, INRIA Sophia Antipolis (France) Taolue Chen, Birkbeck, University of London (UK) Rance Cleaveland, University of Maryland (USA) Yuxin Deng, East China Normal University, Shanghai (China) Josée Desharnais, Université Laval (Canada) Adrian Francalanza, University of Malta (Malta) Wan Fokkink (co-chair), Vrije Universiteit Amsterdam (The Netherlands) Ansgar Fehnker, University of Twente (The Netherlands) David de Frutos-Escrig, Universidad Complutense de Madrid (Spain) Yuxi Fu, Shanghai Jiao Tong University (China) Rob van Glabbeek (co-chair), CSIRO, Sydney (Australia) Alexey Gotsman, IMDEA Software Institute, Madrid (Spain) Radu Grosu, TU Wien (Austria) Ichiro Hasuo, National Institute of Informatics, Tokyo (Japan) Marieke Huisman, University of Twente (The Netherlands) Barbara König, University of Duisburg-Essen (Germany) Gerald Lüttgen, University of Bamberg (Germany) Bas Luttik, Eindhoven University of Technology (The Netherlands) Anca Muscholl, Université Bordeaux (France) Uwe Nestmann, TU Berlin (Germany) Jun Pang, University of Luxembourg (Luxembourg) Jean-François Raskin, Université Libre de Bruxelles (Belgium) Grigore Rosu, University of Illinois at Urbana-Champaign (USA) Jiri Srba, Aalborg University (Denmark) Simone Tini, University of Insubria (Italy) Frank Valencia, École Polytechnique de Paris (France) James Worrell, University of Oxford (UK) Gianluigi Zavattaro, University of Bologna (Italy)

5 Jahre, 1 Monat

CFP FMICS 2019: 24th International Conference on Formal Methods for Industrial Critical Systems

von Tim Willemse

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

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, 1 Monat

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

D-CON März 2019