- finite-model-theory - lists.rwth-aachen.de

Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)
by Achim D. Brucker 26 May '19

26 May '19

CALL FOR PAPERS 19th International Workshop on OCL and Textual Modeling Co-located with MODELS 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and System, September 15-20, 2019, Munich, Germany http://oclworkshop.github.io The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages (e.g., OCL, textual MOF, Epsilon, or Alloy) can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. ## Topics of interest Topics of interest include (but are not limited to): - Mappings between textual modeling languages and other languages/formalisms - Mathematical models and/or formal semantics for textual modeling languages - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for: - validation, verification, and testing, - model transformation and code generation, - meta-modeling and DSLs, and - query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Model-driven security using textual modeling languages - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports: - usage of textual modeling languages and tools in complex domains, - usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks We particularly encourage submissions describing applications and case studies of textual modeling as well as test suites and benchmark collections for evaluating textual modeling tools. ## Submissions Four types of submissions will be considered: * Presentation only submission (not included in the workshop proceedings), e.g., for already published work. Authors should submit a short (1 page) abstract of their presentation. * Short papers (between 5 and 7 pages) describing new ideas or position papers. * Tool papers (between 5 and 7 pages) describing tools supporting textual modeling tools * Full papers (between 10 and 14 pages). All submissions should follow the LNCS format guidelines and should be uploaded to [EasyChair](https://easychair.org/conferences/?conf=ocl2019). Accepted papers will be published online in [CEUR](http://www.ceur-ws.org). ## Important Dates - Submission of papers: 14 Jul 2019 - Notification: 25 Aug 2019 - Pre-Workshop CRC: 9 Sep 2019 - Post-Workshop CRC: 5 Oct 2019 -- Dr. Achim D. Brucker | Chair of Cybersecurity | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

SLSP 2019: 3rd call for papers
by IRDTA 22 May '19

22 May '19

SLSP 2019: 3rd 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 https://www.ijs.si/ijsw/JSI 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: Jure Leskovec (Stanford University), Learning and Reasoning with Knowledge Graphs Alexandros Potamianos (National Technical University of Athens), Emotion and Behavioral Tracking in the Lab and in the Wild Odette Scharenborg (Delft University of Technology), The Representation and Processing of Speech in Human Listeners and Deep Neural Network-based Automatic Speech Recognition Systems PROGRAMME COMMITTEE: Jon Barker (University of Sheffield, UK) Roberto Basili (University of Rome Tor Vergata, IT) Pushpak Bhattacharyya (Indian Institute of Technology, Bombay, IN) Fethi Bougares (University of Le Mans, FR) Philipp Cimiano (Bielefeld University, DE) Carol Espy-Wilson (University of Maryland, US) Nikos Fakotakis (University of Patras, GR) Robert Gaizauskas (University of Sheffield, UK) Julio Gonzalo (National Distance Education University, ES) Reinhold Häb-Umbach (Paderborn University, DE) John Hershey (Google, US) Julia Hirschberg (Columbia University, US) Jing Huang (JD AI Research, US) Mei-Yuh Hwang (Mobvoi AI Lab, US) Nancy Ide (Vassar College, US) Martin Karafiát (Brno University of Technology, CZ) Vangelis Karkaletsis (National Center for Scientific Research "Demokritos", GR) Tomi Kinnunen (University of Eastern Finland, FI) Sandra Kübler (Indiana University, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David Milne (University of Technology Sydney, AU) Marie-Francine Moens (KU Leuven, BE) Preslav Nakov (Qatar Computing Research Institute, QA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Senja Pollak (Jožef Stefan Institute, SI) Stephen Pulman (University of Oxford, UK) Matthew Purver (Queen Mary University of London, UK) Mats Rooth (Cornell University, US) Tony Russell-Rose (UX Labs, UK) Horacio Saggion (Pompeu Fabra University, ES) Tanja Schultz (University of Bremen, DE) Efstathios Stamatatos (University of the Aegean, GR) Erik Tjong Kim Sang (Netherlands eScience Center, NL) Isabel Trancoso (Instituto Superior Técnico, PT) Josef van Genabith (German Research Center for Artificial Intelligence, DE) K. Vijay-Shanker (University of Delaware, US) Atro Voutilainen (University of Helsinki, FI) Hsin-Min Wang (Academia Sinica, TW) Hua Xu (University of Texas, Houston, US) Edmund S. Yu (Syracuse University, US) François Yvon (CNRS - Limsi, FR) Wlodek Zadrozny (University of North Carolina, Charlotte, 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

1 0

LOPSTR 2019: Call for Papers
by Tong Liu 21 May '19

21 May '19

================================================================= LOPSTR 2019: Call for Papers ================================================================= 29th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2019 Porto, Portugal, October 8-10, 2019 (co-located with the Symposium on Formal Methods, FM'19 and a part of the FM Week) The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019) will be held at the Porto, Portugal. Previous symposia were held in Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester and Frankfurt. LOPSTR 2019 will be co-located with the Symposium on Formal Methods, FM'19 and a part of the FM Week. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. Both full papers and extended abstracts describing applications in all these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * machine learning for program development * integration of sub-symbolic and symbolic models * differential semantics * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: June 17, 2019 Paper/Extended abstract submission: June 24, 2019 Notification: July 24, 2018 Camera-ready (for electronic pre-proceedings): August 7, 2019 Symposium: October 8-10, 2019 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2019. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. After the symposium, a selection of the best papers might be invited for submission to a special issue of a journal. Program Committee Sabine Broda - University of Porto, Portugal Manuel Carro - Technical University of Madrid and IMDEA, Spain Ugo Dal Lago - University of Bologna, Italy Daniel De Schreye - KU Leuven, Belgium Santiago Escobar - Polytechnic University of Valencia, Spain Moreno Falaschi - University of Siena, Italy Laurent Fribourg - CNRS, France Arnaud Gotlieb - SIMULA Research Laboratory, Norway Gopal Gupta - The University of Texas at Dallas, U.S.A Andy King - University of Kent, U.K. Herbert Kuchen - University of Muenster, Germany Jacopo Mauro - University of Southern Denmark, Denmark Hernan Melgratti - University of Buenos Aires, Argentina Maria Chiara Meo - University G. D'Annunzio, Chieti Pescara, Italy Carlos Olarte - Federal University of Rio Grande do Norte, Brazil Hirohisa Seki - Nagoya Institute of Technology, Japan Caterina Urban - INRIA, France Herbert Wiklicky - Imperial College London, U.K. Program Chair Maurizio Gabbrielli - University of Bologna, Italy General Chair of FM 19 Jose' Nuno Oliveira, INESC TEC & University of Minho Publicity Chair Tong Liu - University of Bologna, Italy

1 0

Formal Methods 2019 - Doctoral Symposium (2nd Call for Papers)
by nevrenato＠gmail.com 21 May '19

21 May '19

2nd Call for Papers Formal Methods 2019 - Doctoral Symposium Porto, Portugal, October 7th, 2019 http://formalmethods2019.inesctec.pt/?page_id=361 In conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt GOALS AND SCOPE A Doctoral Symposium will be held on the 7th October in conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods which will take place in Porto, Portugal, from 7 to 11 October 2019. This symposium aims to provide a helpful environment in which selected PhD students can present and discuss their ongoing work, meet other students working on similar topics, and receive helpful advice and feedback from a panel of researchers and academics. If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a Research Abstract for consideration to be selected as a participant. There will be a best presentation award. Scholarships for attendance will also be available. RESEARCH ABSTRACTS Research Abstracts should be no more than 4 pages in LNCS format. Your Research Abstract should: - Outline the problem being addressed, its relevance, the solution you are working on, your research approach (such as your research method) and your expected contribution. - Contain a very brief literature survey indicating the most important references related to: (a) the problem being addressed and/or (b) existing solutions as appropriate. - Indicate your progress to date and the current stage of research. The Research Abstract should be written by yourself as sole author, but should include references to any papers you have already published, including joint publications with your supervisor. IMPORTANT DATES Submission deadline: June 10, 2019 (AoE)* Notification: July 5, 2019 Doctoral Symposium: October 7, 2019 HOW TO SUBMIT Please upload a PDF version of your Research Abstract, including your name, affiliation, and email address to: https://easychair.org/conferences/?conf=dsfm19 DOCTORAL SYMPOSIUM WEBSITE http://formalmethods2019.inesctec.pt/?page_id=361 ORGANISATION CHAIRS: Alexandra Silva, University College London Antonia Lopes, University of Lisbon PROGRAM COMMITTEE Alessandro Fantechi, University of Florence Ana Cavalcanti, University of York André Platzer, CMU Carlo A. Furia, USI - Università della Svizzera Italiana Dalal Alrajeh, Imperial College Einar Broch Johnsen, University of Oslo Elvira Albert, Universidad Complutense de Madrid Jaco van de Pol, University of Twente Matteo Rossi, Politecnico di Milano Stefania Gnesi, ISTI-CNR Stephan Merz, INRIA Nancy

1 0

QBF Workshop 2019: Final Call for Papers
by HUBERT MING CHEN 20 May '19

20 May '19

[We apologize if you receive multiple copies of this call] ---------------------------------------------------------------------- CALL FOR PAPERS QBF 2019 -------- International Workshop on Quantified Boolean Formulas and Beyond Lisbon, Portugal, July 7, 2019 http://fmv.jku.at/qbf19/ Affiliated to and co-located with: Int. Conf. on Theory and Applications of Satisfiability Testing (SAT'19) Lisbon, Portugal, July 7-12, 2019 ---------------------------------------------------------------------- Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete, compared to the NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete and hence could be encoded as a QBF in a natural way. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. For example, the extraction and validation of models of (un)satisfiability of QBFs has turned out to be challenging, given that state-of-the-art solvers implement different solving paradigms. The goal of the International Workshop on Quantified Boolean Formulas and Beyond (QBF 2019) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers. =============== INVITED SPEAKER =============== Alexander Feldman, PARC =============== IMPORTANT DATES =============== May 25: Submission (extended) June 5: Notification (extended) June 15: Camera-ready versions Please see the workshop webpage for any updates: http://fmv.jku.at/qbf19/ ====================== CALL FOR CONTRIBUTIONS ====================== The workshop is concerned with all aspects of current research on all formalisms enriched by quantifiers, and in particular QBF. The topics of interest include (but are not limited to): - Applications, encodings and benchmarks with quantifiers - QBF proof theory and complexity results - Certificates and proofs for QBF, QCSP, SMT with quantifiers, etc. - Experimental evaluations of solvers or related tools - Case studies illustrating the power of quantifiers - Formats of proofs and certificates - Implementations of proof checkers and verifiers - Decision procedures - Calculi and their relationships - Data structures, implementation details and heuristics - Pre- and inprocessing techniques - Structural reasoning ========== SUBMISSION ========== Submissions of extended abstracts are invited and will be managed via Easychair: https://easychair.org/conferences/?conf=qbf19 In particular, we invite the submission of extended abstracts on work that has been published already, novel unpublished work, or work in progress. The following forms of submissions are solicited: - Proposals for short tutorial presentations on topics related to the workshop. The number of accepted tutorials depends on the overall number of accepted papers and talks, with the aim to set up a balanced workshop program. - Talk abstracts reporting on already published work. Such an abstract should include an outline of the planned talk, and pointers to relevant bibliography. - Talk proposals presenting work that is unpublished or in progress. - Submissions which describe novel applications of QBF or related formalisms in various domains are particularly welcome. Additionally, this call comprises known applications that have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified. Each submission should have an overall length of 1-4 pages in LNCS format. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers' discretion. The accepted extended abstracts will be published on the workshop webpage. The workshop does not have formal proceedings. Authors of accepted contributions are expected to give a talk at the workshop. ======= CONTACT ======= qbf19(a)easychair.org =============================== PROGRAM CHAIRS AND ORGANIZATION =============================== Hubie Chen, Birkbeck, University of London Florian Lonsing, Stanford University Martina Seidl, University of Linz, Austria Friedrich Slivovsky, TU Wien, Austria

1 0

Second Dali Workshop: Second Call for Papers
by nevrenato＠gmail.com 20 May '19

20 May '19

Dynamic Logic: New Trends and Applications workshop.dali.di.uminho.pt Second Call for Papers Porto, 9 October, 2019 (part of the 3rd World Congress on Formal Methods 2019) OVERVIEW Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. Support: PT-FLAD Chair & DaLi - POCI-01-0145-FEDER-016692 TOPICS Submissions are invited on the general field of dynamic logic, its variants and applications, including, but not restricted to Dynamic logic, foundations and applications Logics with regular modalities Modal/temporal/epistemic logics Kleene and action algebras and their variants Quantum dynamic logic Coalgebraic modal/dynamic logics Graded and fuzzy dynamic logics Dynamic logics for cyber-physical systems Dynamic epistemic logic Complexity and decidability of variants of dynamic logics and temporal logics Model checking, model generation and theorem proving for dynamic logics SUBMISSION AND PUBLICATION Original papers (unpublished and not submitted for publication elsewhere), up to 15 pages in LNCS style. As in the previous edition, post-proceedings will be published by Springer in a Lecture Notes of Computer Science volume. We will also have a special issue with extended, revised contributions in the Journal of Logic and Algebraic Methods in Programming, Elsevier. Submit via the EasyChair link https://easychair.org/conferences/?conf=dali2019 INVITED SPEAKER Dexter Kozen, Cornell University IMPORTANT DATES Paper Submission: June 14, 2019 Notification: July 19, 2019 Camera Ready: September 2, 2019 Workshop: October 9, 2019 PROGRAMME COMMITTEE Guillaume Aucher (IRISA, FR) Carlos Areces (U Cordoba, AR) Alexandru Baltag, (UvA, NL) - PC co-chair Luis S. Barbosa, (U Minho, PT) - PC co-chair Mario Benevides (UFRJ, BR) Johan van Benthem (U Stanford, USA) Patrick Blackburn, (U Roskilde, DK) Thomas Bolander (DTU, Denmark) Zoe Christoff (U Bayreuth, Germany) Fredrik Dahlqvist (UCL, UK) Hans van Ditmarsch (LORIA, Nancy, FR) Nina Gierasimczuk (DTU, Denmark) Valentin Goranko (U Stockholm, SE) Davide Grossi (U Groningen, NL) Reiner Hahle (TU Darmstadt, DE) Rolf Hennicker (LMU, Munchen, DE) Andreas Herzig (U Toulouse, FR) Dexter Kozen (Cornell, USA) Clemens Kupke (U Strathclyde, UK) Alexandre Madeira (U Aveiro, PT) Manuel A. Martins (U Aveiro, PT) Paulo Mateus (IST, PT) Stefan Mitsch (CMU, USA) Renato Neves (U Minho, PT) Valeria de Paiva (Nuance Comms, USA) Aybuke Ozgun (ILLC, NL) Fernando Velazquez-Quesada (ILLC, NL) Olivier Roy (U Bayreuth, DE) Lutz Schroeder (FAU, Erlangen-Nurenberg, DE) Alexandra Silva (UCL, UK) Sonja Smets (UvA, NL) Rui Soares Barbosa (U Oxford, UK) Tinko Tinchev (Sofia U, BG) Renata Wassermann (USP, BR)

1 0

[Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
by Luca Pulina 17 May '19

17 May '19

[apologies for any cross-posting] **************************************************************************************************************************************************************** Call for Papers AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 **************************************************************************************************************************************************************** ----------------------------------------------------------------- Topics of Interest ----------------------------------------------------------------- The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics enhances the program. AIIA 2019 welcomes submissions covering all areas of AI, including (but not limited to) machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. We encourage all types of high-quality contributions including theoretical, engineering and applied papers. We also encourage contributions on AI techniques in the context of novel application domains, such as security, sustainability, health care, transportation, and commerce. Besides regular original papers, in this edition we also welcome discussion papers containing descriptions of results recently published or accepted for the presentation in international conferences. Discussion papers are expected to be more broadly accessible than regular papers, they are an opportunity for the authors to present their recent results to the AI community, and a valuable addition for the attendees of AIIA 2019. At least one author of each accepted paper is required to register and attend the conference to present the work. ----------------------------------------------------------------- Important Dates ----------------------------------------------------------------- Abstract submission by 28 May 2019 Paper submission by 4 June 2019 Notification to authors by 23 July 2019 Camera-ready copies due by 3 September 2019 ----------------------------------------------------------------- Proceedings of Regular Papers ----------------------------------------------------------------- The regular papers will be included in the proceedings of the conference, and will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. Authors of selected regular papers accepted to the main track will be invited to submit an extended version for publication on "Intelligenza Artificiale", the International Journal of the Italian Association for Artificial Intelligence, edited by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation Index" and Scopus by Elsevier. ----------------------------------------------------------------- Proceedings of Discussion Papers ----------------------------------------------------------------- The discussion papers will not be included in the LNCS proceedings of the conference, and will be made available through the conference WEB-Site and possibly published on CEUR WS Proceedings upon request. ----------------------------------------------------------------- Best Papers ----------------------------------------------------------------- The Program Committee will select the Best Student Paper Award and the Best Paper Award from the accepted regular papers. In order to be eligible for the Best Student Paper award, at least one author must be a student. ----------------------------------------------------------------- Submission Instructions ----------------------------------------------------------------- The submitted papers should be written in English and formatted according to the Springer LNCS style. Regular papers must be original papers which are not being submitted simultaneously for publication elsewhere. These papers should not exceed 12 pages plus bibliography. The discussion papers report results already published or accepted for the publication in international conferences, and should not exceed 8 pages plus bibliography. Paper submission is electronic via easychair at the address: https://easychair.org/conferences/?conf=aiia2019 ----------------------------------------------------------------- Conference Web Site ----------------------------------------------------------------- For the most up to date information, please visit: https://aiia2019.mat.unical.it ----------------------------------------------------------------- Organizing Committee ----------------------------------------------------------------- Conference Chair: Nicola Leone (UNICAL, Italy) Program Chairs: Mario Alviano (UNICAL, Italy) Gianluigi Greco (UNICAL, Italy) Francesco Scarcello (UNICAL, Italy) Organization Chairs: Francesco Ricca (UNICAL, Italy) Chiara Ghidini (FBK, Trento) Workshop and Tutorial Chair: Rafael Penaloza (UNIMIB, Italy) Doctoral Consortium Chair: Marco Maratea (UNIGE, Italy) Publicity and Web Chair: Luca Pulina (UNISS, Italy) -- -- *Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904

1 0

TPNC 2019: 1st call for papers
by IRDTA 17 May '19

17 May '19

TPNC 2019: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** 8th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2019 Kingston, Canada December 9-11, 2019 Co-organized by: Royal Military College of Canada Institute for Research Development, Training and Advice Brussels / London http://tpnc2019.irdta.eu/ **************************************************************************** AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2019 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2019 will take place in Kingston, a city midway between Toronto and Montréal with an important military history. The venue will be: Royal Military College of Canada Kingston, Ontario Canada K7K 7B4 https://www.rmc-cmr.ca/en SCOPE: Topics include, but are not limited to: - Theoretical contributions to: ant colony optimization artificial immune systems artificial life cellular automata cognitive computing collective behaviour collective intelligence computational intelligence computing with words developmental systems DNA computing DNA nanotechnology evolutionary algorithms evolutionary computing fuzzy logic fuzzy sets fuzzy systems genetic algorithms genetic programming granular computing heuristics intelligent agents intelligent systems machine intelligence metaheuristics molecular programming multiobjective optimization neural networks quantum communication quantum computing quantum information rough sets self-organization soft computing swarm intelligence unconventional computing - Applications of natural computing to: algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2019 will consist of: - invited talks - peer-reviewed contributions - posters INVITED SPEAKERS: tba PROGRAMME COMMITTEE: (to be completed) Thomas Bäck (Leiden University, NL) Mauro Birattari (Université Libre de Bruxelles, BE) Shyi-Ming Chen (National Taiwan University of Science and Technology, TW) Carlos A. Coello Coello (CINVESTAV – National Polytechnic Institute, MX) Marco Dorigo (Université Libre de Bruxelles, BE) Matthias Ehrgott (Lancaster University, UK) Andries Engelbrecht (Stellenbosch University, ZA) Deborah M. Gordon (Stanford University, US) Etienne E. Kerre (Ghent University, BE) Chung-Sheng Li (Accenture, IE) Gui Lu Long (Tsinghua University, CN) Vittorio Maniezzo (University of Bologna, IT) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Luis Martínez López (University of Jaén, ES) Serge Massar (Université Libre de Bruxelles, BE) Geoffrey Pond (Royal Military College of Canada, CA) Shahab Shamshirband (Norwegian University of Science and Technology, NO) José Luis Verdegay (University of Granada, ES) Xin-She Yang (Middlesex University, UK) Yi Zhang (Sichuan University, CN) ORGANIZING COMMITTEE: Sara Morales (Brussels) Manuel Parra-Royón (Granada) Geoffrey Pond (Kingston, co-chair) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://easychair.org/conferences/?conf=tpnc2019 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS 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://tpnc2019.irdta.eu/Registration.php DEADLINES (all at 23:59 CET): Paper submission: July 27, 2019 Notification of paper acceptance or rejection: August 31, 2019 Final version of the paper for the LNCS proceedings: September 7, 2019 Early registration: September 7, 2019 Late registration: November 25, 2019 Submission to the journal special issue: March 11, 2020 QUESTIONS AND FURTHER INFORMATION: david(a)irdta.eu ACKNOWLEDGMENTS: Royal Military College of Canada / Collège militaire royal du Canada IRDTA – Institute for Research Development, Training and Advice, Brussels/London

1 0

Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien, Austria - Deadline: 31.5.2019
by Mihaela Rozman 16 May '19

16 May '19

Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien funded by ERC Consolidator Grant WHAT: The Security & Privacy group at TU Wien ( <https://secpriv.tuwien.ac.at> https://secpriv.tuwien.ac.at) is currently looking for several outstanding Ph.D. and postdoc candidates to conduct research within the ERC Consolidator Project "Foundations and Tools for Client-Side Web Security". The project will develop a holistic approach to client-side web security, laying its theoretical foundations and developing innovative security enforcement technologies. The project is a multidisciplinary research effort, promising practical impact and delivering breakthrough advancements in various disciplines, such as web security, JavaScript semantics, software engineering, and program verification. APPLICATION: Successful applicants should have a background and interest in at least one of the following areas: - security - web technologies - formal methods - semantics of programming languages - verification - Doctoral applicants should have recently completed (or be close to complete) a master or bachelor with honours degree. Postdoctoral applicants should have an excellent publication record with at least one top-tier conference in one of the aforementioned areas. + The employment is full-time (40 hrs/week) and the salary is internationally competitive (the yearly entry-level gross salary is approx. 40K EUR for PhD students and 53K for postdocs). + The working language at the university is English, knowledge of German is not required. APPLICATION: Interested candidates should send - a motivation letter - transcripts of records (Bachelor and Master, for PhD applicants) - a publication list (for postdoc applicants) - a research statement (for postdoc applicants) - a curriculum vitae - contact information for two referees to Univ. Prof. Matteo Maffei <mailto:matteo.maffei@tuwien.ac.at> matteo.maffei(a)tuwien.ac.at DEADLINE: The application deadline is May 31, 2019. ABOUT TU WIEN (Vienna University of Technology), AUSTRIA: TU Wien offers an outstanding research environment and numerous professional development opportunities. The Faculty of Informatics is the largest one in Austria and is consistently ranked among the best in Europe. Ph.D. students have the possibility to join the LogiCS doctoral school ( <http://logic-cs.at> http://logic-cs.at). Vienna features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields, including security and privacy. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide.

1 0

RAMiCS2020 - CFP
by Michael Winter 15 May '19

15 May '19

CALL FOR PAPERS 18th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2020 08. April to 11. April 2020, Palaiseau, France URL: http://ramics18.gforge.inria.fr/ IMPORTANT DATES: Abstract Submission: 06. October 2019 Paper Submission: 13. October 2019 Author Notification: 15. December 2019 Final Version: 16. January 2020 RAMiCS 2020: 08. April to 11. April 2020 GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. TOPICS: We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications WATA 2020 WATA 2020, the 10th International Workshop on Weighted Automata: Theory and Applications, will take place just after RAMICS, from 14 to 17 April, in Marseille. We encourage participants to combine the two events. SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics2020 All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style. Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. COMMITTEES: Organising Committee -------------------- Conf. & PC Co-Chair: Peter Jipsen, Chapman University, USA Conf. & PC Co-Chair: Uli Fahrenberg, École polytechnique, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada Programme Committee ------------------- Roland Backhouse University of Nottingham, UK Rudolf Berghammer Kiel University, Germany Manuel Bodirsky TU Dresden, Germany Jules Desharnais Laval University, Canada Amina Doumane PPS, France Uli Fahrenberg École polytechnique, France Hitoshi Furusawa Kagoshima University, Japan Mai Gehrke LIAFA, France Walter Guttmann University of Canterbury, New Zealand Robin Hirsch University College London, UK Peter Höfner CSIRO, Australia Marcel Jackson La Trobe University, Australia Jean-Baptiste Jeannin University of Michigan, USA Peter Jipsen Chapman University, USA Wolfram Kahl McMaster University, Canada Dexter Kozen Cornell University, USA Tadeusz Litak FAU Erlangen-Nürnberg, Germany Wendy MacCaull St. Francis Xavier University, Canada Roger Maddux Iowa State University, USA Annabelle McIver Macquarie University, Australia Szabolcs Mikulas University of London, UK Ali Mili NJIT, USA Jose Oliveira University of Minho, Portugal Alessandra Palmigiano Technical University of Delft, Netherlands Damien Pous CNRS - ENS Lyon, France Mehrnoosh Sadrzadeh Queen Mary University of London, UK Luigi Santocanale LIS, Aix-Marseille Université, France John Stell University of Leeds, UK Georg Struth University of Sheffield, UK Michael Winter Brock University, Canada

1 0