From fioretto.ferdinando at isye.gatech.edu Mon Apr 1 13:40:07 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Mon, 1 Apr 2019 11:40:07 +0000 Subject: [fg-arc] ICLP 2019 - Call For Workshop Proposals Message-ID: [apologies for cross-posting] *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2019 35th International Conference on Logic Programming September 21 - September 25, 2019 Las Cruces, New Mexico, USA https://www.cs.nmsu.edu/ALP/iclp2019/ ICLP 2019, the 35th International Conference on Logic Programming, will be held in Las Cruces, New Mexico, USA, from September 21 to September 25, 2019. The ICLP conference series has a long standing tradition of hosting a rich set of co-located workshops. ICLP workshops provide a unique opportunity for the presentation and discussion of work that can be preliminary in nature, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2019 can cover any areas related to logic programming (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2019 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years. * The estimated length of the workshop and an estimate of the number of expected attendees. * The names, affiliation and contact details (email, web page, phone) of the workshop organizers together with a designated contact person. * Previous experience of the workshop organizers in workshop/conference organization. Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chair by email by April 15, 2019. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 30, 2019. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting room. The workshops and the conference organizers will collaborate in establishing a uniform approach to produce proficient and accessible proceedings for the workshops. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means. A web page URL should be provided by May 31, 2019, and will be published on the ICLP 2019 home page. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the Workshop Chair. * Providing a workshop program in a format specified by the conference organizers for posting by August 31, 2019. * Coordinating the preparation of the workshop proceedings according to the specifications provided by the Workshop Chair. Location: ========= Workshops will be collocated with ICLP 2019, in Las Cruces, New Mexico, USA. See the ICLP 2019 web site (https://www.cs.nmsu.edu/ALP/iclp2019/) for location details. Important Dates: ================ April 15, 2019: Proposal submission deadline April 30, 2019: Notification May 31, 2019: Deadline for receipt of CfP and workshop web page URL August 31, 2019: Deadline for workshop program TBA: ICLP workshops Submissions: ============ Please submit your workshop proposals by email to the Workshop Chair. Workshop Chair: =============== Martin Gebser martin.gebser at aau.at From fioretto.ferdinando at isye.gatech.edu Mon Apr 1 23:11:36 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Mon, 1 Apr 2019 21:11:36 +0000 Subject: [fg-arc] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers Message-ID: Apologies for cross-posting ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers The program committee of the 35th International Conference on Logic Programming (ICLP) invites submissions of published journal papers and papers presented at related conferences for the Sister Conferences and Journal Presentation Track. The track is designed to provide a forum to discuss important results related to logic programming that appeared since 2017 in selective journals or were presented recently at related conferences but, but that have not been previously presented at ICLP. The goal of this track is twofold: * To provide authors an opportunity to present at the conference important results published in journals that might otherwise not be submitted to the conference due to their length and complexity. Papers that differ from traditional ICLP format and topics are welcome. * To broaden the program with lines of work at the intersection between logic programming and related fields such as for example constraint programming, operations research, control, knowledge representation and reasoning, machine learning, multi-agent systems, robotics, computer games, and cognitive science. Papers that use logic programming in some innovative way are welcome. Paper Presentation All accepted submissions will be presented orally during the conference - at least one author is expected to register to ICLP 2019 and to present the paper in person. Complete citations and URLs of the original papers (if available from the publisher) will be published on the ICLP 2019 web site as a permanent reference. A 2-page extended abstract summarizing the line of research leading to the presented results can optionally be submitted for presentation in the technical communications of ICLP. Submission Requirements Submissions must meet the following criteria: * Candidate papers must be published in a journal such as (but not limited to) AIJ, ACM TOCL, JAIR, or other leading journals or in the proceedings of related conferences such as KR, LPNMR, AAMAS, AAAI, IJCAI, ECAI, ICAPS, SAT, ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL, JELIA. * Candidate papers must have appeared since 2017. * Papers that are in press may be submitted as long as the final camera-ready version is available. * Extensions of papers that have been previously presented at ICLP are not eligible for this track. Submission Process All submissions will be done via EasyChair (https://easychair.org/conferences/overview.cgi?a=20693669). The submission will be in the following format: * Title of the original journal paper (to be published on the Web); * Complete reference of the original paper (to be published on the Web); * URL where the paper can be downloaded from the publisher (if available) (to be published on the Web); * An accompanying letter containing an explanation of why this paper is interesting to the logic programming community (in PDF); * A copy of the paper with its final camera-ready contents (in PDF). * A 2-page extended abstract of the paper (in PDF, LNCS format) (optional: only if the authors wish to publish such an extended abstract in the technical communications of ICLP). Submissions will go through a selection process. Selection criteria include significance of the results and relevance to the logic programming community. Important Dates * Submission deadline: June 27th, 2019 * Notification of acceptance: July 15, 2019 * Conference: September 20-25, 2019 Journal Presentation Track Chairs * Bart Bogaerts, Vrije Universiteit Brussel, bart.bogaerts at vub.be * Giovambattista Ianni, University of Calabria, ianni at unical.it -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Wed Apr 3 02:09:19 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Wed, 3 Apr 2019 00:09:19 +0000 Subject: [fg-arc] CFP: The 35th International Conference on Logic Programming (ICLP 2019) Message-ID: <6C65FB6A-E01F-4A9D-A6C3-06603B6BC3D7@gatech.edu> Apologies for cross-posting The 35th International Conference on Logic Programming (ICLP 2019) Call for Papers ===================== September 21-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ Scope ------ Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: * Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. * Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. * Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. * Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. * Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. * Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Tracks and Special Sessions --------------------------- Besides the main track, ICLP 2019 will host additional tracks and special sessions: * Applications Track: This track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. * Sister Conferences and Journal Presentation Track: This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2017 onwards) in selective journals and conferences, but have not been previously presented at ICLP. * Research Challenges in Logic Programming Track: This track invites submissions of papers describing research challenges that an individual researcher or a research group is currently attacking. The goal of the track is to promote discussions, exchange of ideas, and possibly stimulate new collaborations. * Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming. Every track and special session will have its own dedicated chairs, PC, evaluation criteria, and CFP with the submission details. Submission Details ------------------- All submissions of the main track must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019 . Regular papers must be in the condensed TPLP format and not exceed 14 pages including bibliography. Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will be available as appendices to the published paper. Three kinds of regular papers will be accepted: * Technical papers for technically sound, innovative ideas that can advance the state of logic programming; * Application papers that impact interesting application domains; * System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some regular papers to be published as Technical communications, which will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). Technical communications must be in the OASIcs format (template here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). The authors of the technical communications can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. All regular papers and technical communications will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Important Dates ---------------- * Abstract registration: April 27, 2019 * Paper submission: May 4, 2019 * Notification: June 19, 2019 * TPLP revision submission: July 3, 2019 * TPLP final notifications: July 17, 2019 * Camera-ready copy: July 31, 2017 * Conference: September 23, 2019 Organization ------------- General Chairs: Enrico Pontelli - New Mexico State University Son Tran Cao - New Mexico State University Program Chairs: Esra Erdem - Sabanci University German Vidal - Universitat Politecnica de Valencia Publicity Chair: Ferdinando Fioretto - Georgia Institute of Technology Workshops Chair: Martin Gebser - University of Klagenfurt and Graz University of Technology Tutorials Chair: Pedro Cabalar - University of Corunna DC Chairs: Paul Fodor - Stony Brook New York Daniela Inclezan - Miami University Programming Competition Chairs: Manuel Carro - Technical University of Madrid (UPM) and IMDEA Software Institute Orkunt Sabuncu - TED University Applications Track Chairs: Andrea Formisano - Universita' di Perugia Fangkai Yang - NVIDIA Corporation Sister Conferences and Journal Presentation Track Chairs: Bart Bogaerts - KU Leuven Giovambattista Ianni - Universita' della Calabria Research Challenges in Logic Programming Track Chairs: Alessandro dal Palu - Universita' di Parma Amelia Harrison - University of Texas at Austin and Google Inc. Joohyung Lee - Arizona State University Women in Logic Programming Special Session Chairs: Alicia Villanueva - Universitat Politecnica de Valencia Marina De Vos - University of Bath Program Committee: Hassan Ait-Kaci - University of Lyon 1 Mario Alviano - University of Calabria Roman Bartak - Charles University Rachel Ben-Eliyahu-Zohary - Azrieli College of Engineering Bart Bogaerts - KU Leuven Gerhard Brewka - Leipzig University Pedro Cabalar - University of Corunna Michael Codish - Ben-Gurion University of the Negev Stefania Costantini - University of L'Aquila Marina De Vos - University of Bath Agostino Dovier - University of Udine Thomas Eiter - Vienna University of Technology Wolfgang Faber - Alpen-Adria-Universitat Klagenfurt Fabio Fioravanti - University of Chieti-Pescara Andrea Formisano - Universita' di Perugia John Gallagher - Roskilde University and IMDEA Software Institute Martin Gebser - University of Klagenfurt and Graz University of Technology Michael Gelfond - Texas Tech University Michael Hanus - CAU Kiel Amelia Harrison - University of Texas at Austin and Google Inc. Manuel Hermenegildo - Technical University of Madrid (UPM) and IMDEA Software Institute Giovambattista Ianni - Universita' della Calabria Daniela Inclezan - Miami University Katsumi Inoue - National Institute of Informatics Tomi Janhunen - Aalto University Angelika Kimmig - Cardiff University Ekaterina Komendantskaya - Heriot-Watt University Vladimir Lifschitz - University of Texas at Austin Evelina Lamma - University of Ferrara Joohyung Lee - Arizona State University Nicola Leone - University of Calabria Yanhong Annie Liu - Stony Brook New York Fred Mesnard - Universite de la Reunion Jose F. Morales - IMDEA Software Institute Emilia Oikarinen - Aalto University Carlos Olarte - Universidade Federal do Rio Grande do Norte Magdalena Ortiz - Vienna University of Technology Mauricio Osorio - Universidad de las Americas Puebla Barry O'Sullivan - University College Cork Simona Perri - University of Calabria Enrico Pontelli - New Mexico State University Ricardo Rocha - University of Porto Alessandra Russo - Imperial College Orkunt Sabuncu - TED University Chiaki Sakama - Wakayama University Torsten Schaub - University of Potsdam Guillermo R. Simari - Universidad Nacional del Sur Theresa Swift - Universidade Nova de Lisboa Francesca Toni - Imperial College Paolo Torroni - University of Bologna Son Tran Cao - New Mexico State University Alicia Villanueva - Universitat Politecnica de Valencia Kewen Wang - Griffith University Jan Wielemaker - VU University of Amsterdam Stefan Woltran - Vienna University of Technology Fangkai Yang - NVIDIA Corporation Roland Yap - National University of Singapore Jia-Huai You - University of Alberta Zhizheng Zhang - Southeast University -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Fri Apr 5 04:59:42 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Fri, 5 Apr 2019 02:59:42 +0000 Subject: [fg-arc] CFP: The 35th International Conference on Logic Programming (ICLP 2019) Message-ID: <85F21D53-556B-4EA7-8211-27DDAD367431@gatech.edu> * Apologies for multiple copies. Please forward to anybody who might be interested * The 35th International Conference on Logic Programming (ICLP 2019) Call for Papers ===================== September 20-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ Scope ------ Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: * Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. * Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. * Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. * Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. * Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. * Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Tracks and Special Sessions --------------------------- Besides the main track, ICLP 2019 will host additional tracks and special sessions: * Applications Track: This track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. * Sister Conferences and Journal Presentation Track: This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2017 onwards) in selective journals and conferences, but have not been previously presented at ICLP. * Research Challenges in Logic Programming Track: This track invites submissions of papers describing research challenges that an individual researcher or a research group is currently attacking. The goal of the track is to promote discussions, exchange of ideas, and possibly stimulate new collaborations. * Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming. Every track and special session will have its own dedicated chairs, PC, evaluation criteria, and CFP with the submission details. Submission Details ------------------- All submissions of the main track must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019 . Regular papers must be in the condensed TPLP format and not exceed 14 pages including bibliography. Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will be available as appendices to the published paper. Three kinds of regular papers will be accepted: * Technical papers for technically sound, innovative ideas that can advance the state of logic programming; * Application papers that impact interesting application domains; * System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some regular papers to be published as Technical communications, which will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). Technical communications must be in the OASIcs format (template here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). The authors of the technical communications can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. All regular papers and technical communications will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Important Dates ---------------- * Abstract registration: April 27, 2019 * Paper submission: May 4, 2019 * Notification: June 19, 2019 * TPLP revision submission: July 3, 2019 * TPLP final notifications: July 17, 2019 * Camera-ready copy: July 31, 2017 * Conference: September 22, 2019 Organization ------------- General Chairs: Enrico Pontelli - New Mexico State University Son Tran Cao - New Mexico State University Program Chairs: Esra Erdem - Sabanci University German Vidal - Universitat Politecnica de Valencia Publicity Chair: Ferdinando Fioretto - Georgia Institute of Technology Workshops Chair: Martin Gebser - University of Klagenfurt and Graz University of Technology Tutorials Chair: Pedro Cabalar - University of Corunna DC Chairs: Paul Fodor - Stony Brook New York Daniela Inclezan - Miami University Programming Competition Chairs: Manuel Carro - Technical University of Madrid (UPM) and IMDEA Software Institute Orkunt Sabuncu - TED University Applications Track Chairs: Andrea Formisano - Universita' di Perugia Fangkai Yang - NVIDIA Corporation Sister Conferences and Journal Presentation Track Chairs: Bart Bogaerts - KU Leuven Giovambattista Ianni - Universita' della Calabria Research Challenges in Logic Programming Track Chairs: Alessandro dal Palu - Universita' di Parma Amelia Harrison - University of Texas at Austin and Google Inc. Joohyung Lee - Arizona State University Women in Logic Programming Special Session Chairs: Alicia Villanueva - Universitat Politecnica de Valencia Marina De Vos - University of Bath Program Committee: Hassan Ait-Kaci - University of Lyon 1 Mario Alviano - University of Calabria Roman Bartak - Charles University Rachel Ben-Eliyahu-Zohary - Azrieli College of Engineering Bart Bogaerts - KU Leuven Gerhard Brewka - Leipzig University Pedro Cabalar - University of Corunna Michael Codish - Ben-Gurion University of the Negev Stefania Costantini - University of L'Aquila Marina De Vos - University of Bath Agostino Dovier - University of Udine Thomas Eiter - Vienna University of Technology Wolfgang Faber - Alpen-Adria-Universitat Klagenfurt Fabio Fioravanti - University of Chieti-Pescara Andrea Formisano - Universita' di Perugia John Gallagher - Roskilde University and IMDEA Software Institute Martin Gebser - University of Klagenfurt and Graz University of Technology Michael Gelfond - Texas Tech University Michael Hanus - CAU Kiel Amelia Harrison - University of Texas at Austin and Google Inc. Manuel Hermenegildo - Technical University of Madrid (UPM) and IMDEA Software Institute Giovambattista Ianni - Universita' della Calabria Daniela Inclezan - Miami University Katsumi Inoue - National Institute of Informatics Tomi Janhunen - Aalto University Angelika Kimmig - Cardiff University Ekaterina Komendantskaya - Heriot-Watt University Vladimir Lifschitz - University of Texas at Austin Evelina Lamma - University of Ferrara Joohyung Lee - Arizona State University Nicola Leone - University of Calabria Yanhong Annie Liu - Stony Brook New York Fred Mesnard - Universite de la Reunion Jose F. Morales - IMDEA Software Institute Emilia Oikarinen - Aalto University Carlos Olarte - Universidade Federal do Rio Grande do Norte Magdalena Ortiz - Vienna University of Technology Mauricio Osorio - Universidad de las Americas Puebla Barry O'Sullivan - University College Cork Simona Perri - University of Calabria Enrico Pontelli - New Mexico State University Ricardo Rocha - University of Porto Alessandra Russo - Imperial College Orkunt Sabuncu - TED University Chiaki Sakama - Wakayama University Torsten Schaub - University of Potsdam Guillermo R. Simari - Universidad Nacional del Sur Theresa Swift - Universidade Nova de Lisboa Francesca Toni - Imperial College Paolo Torroni - University of Bologna Son Tran Cao - New Mexico State University Alicia Villanueva - Universitat Politecnica de Valencia Kewen Wang - Griffith University Jan Wielemaker - VU University of Amsterdam Stefan Woltran - Vienna University of Technology Fangkai Yang - NVIDIA Corporation Roland Yap - National University of Singapore Jia-Huai You - University of Alberta Zhizheng Zhang - Southeast University -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpulina at uniss.it Fri Apr 5 15:39:34 2019 From: lpulina at uniss.it (Luca Pulina) Date: Fri, 5 Apr 2019 15:39:34 +0200 Subject: [fg-arc] QBFEVAL'19 Competitive Evaluation of QBF Solvers - DEADLINE EXTENSION Message-ID: apologies for any cross-posting] ******************************************************************************** QBFEVAL'19 - Competitive Evaluation of QBF Solvers A joint event with the 22nd Int. Conference on Theory and Applications of Satisfiability Testing (SAT) Lisbon, Portugal, July 7 - 12 2019 ******************************************************************************** QBFEVAL'19 is the 2019 competitive evaluation of QBF solvers, and the fourteenth evaluation of QBF solvers and instances ever. QBFEVAL'19 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge representation & reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools. For questions, comments and any other issue regarding QBFEVAL'19, please get in touch with the organizers via qbfeval at qbflib.org. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval19.php *Important Dates* Registration open: March 31, 2019 Registration close: April 21, 2019 Solvers and Benchmarks due: April 30, 2019 First stage results: May 15, 2019 Second stage solvers due: May 30, 2019 Competition Benchmarks available for download: July 1, 2019 Final results: presented at SAT'19 *Organization* Luca Pulina, University of Sassari Martina Seidl, Johannes Kepler Universitat Linz Ankit Shukla, Johannes Kepler Universitat Linz -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From t.a.c.willemse at tue.nl Sun Apr 7 11:36:10 2019 From: t.a.c.willemse at tue.nl (Tim Willemse) Date: Sun, 7 Apr 2019 11:36:10 +0200 Subject: [fg-arc] FMICS 2019: Formal Methods for Industrial Critical Systems; deadlines: 19 April (abstract); 26 April (paper) Message-ID: 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. Keynote Speakers (confirmed) - Jaco van de Pol (Aarhus University and University of Twente) - Holger Hermanns (Saarland University) 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 - Bernhard Aichernig, TU Graz - Giovanni Bacci, Aalborg University - 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 at 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 -- -------------- next part -------------- An HTML attachment was scrubbed... URL: From cmahulea at unizar.es Sun Apr 7 15:34:58 2019 From: cmahulea at unizar.es (Cristian Mahulea) Date: Sun, 7 Apr 2019 15:34:58 +0200 Subject: [fg-arc] ETFA'2019: Call for Papers deadlines April 22 (regular) and May 27 (short) Message-ID: [** Apologies for cross-posting **] [** Please forward to anyone who might be interested **] ------------------------------------------------------------------------------------------------------------------------- This Call for Papers can be download in pdf format from here: https://bit.ly/2UvF34i ------------------------------------------------------------------------------------------------------------------------- CALL FOR PAPERS ------------------------------------------------------------------------------------------------------------------------- ETFA 2019 24th IEEE Conference on Emerging Technologies and Factory Automation Zaragoza, Spain, September 10 - 13, 2019 ------------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------------- Web site: http://www.etfa2019.org/ ------------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------------- ETFA 2019 is the 24th Annual Conference of the IEEE Industrial Electronics Society (IES) focusing on the latest developments and new technologies in the field of industrial and factory automation. It is the premier conference of the IEEE IES Technical Committee on Factory Automation (TCFA). The conference aims to disseminate novel ideas and emerging trends, research results and practical achievements. List of regular tracks: https://bit.ly/2ROeIZS List of accepted Special Sessions: https://bit.ly/2WRAvUd September 10, 2019 is the Forum and Workshop Day at ETFA'2019. Three different forums will be organized: (1) Industry Day Forum, will offer an opportunity to exchange views with researchers and practitioners from academia and industry; (2) Student and Young Professionals Forum accepting communications showing advances and results of the youngest researchers who carry out their PhD theses, as well as end-of-degree or master’s projects and (3) Women in Engineering Forum will tackle the keys that are seen as a barrier against the significance of Women in Engineering, meaning both their numerosity and the relevance of the positions that women can reach during their career. Furthermore, three Workshops have been accepted: (1) Workshop on Secure and Trustable Wirelessly Connected Industrial IoT; (2) Workshop on Formal Techniques for Real-Time Systems (FORTRESS) and (3) Workshop on Advanced Technologies in Industrial Vehicular Systems (DIVERSE). ------------------------------------------------------------------------------------------------------------------------- KEYNOTE SPEAKERS (listed in alphabetical order) Marc Gatti, Thales Avionics SAS, France Robert Harrison, Warwick Manufacturing Group (WMG), University of Warwick, UK Luis Montano, University of Zaragoza. Spain Shiva Sander-Tavallaey, ABB Corporate Research, Sweden Carla Seatzu, University of Cagliari, Italy ------------------------------------------------------------------------------------------------------------------------- IMPORTANT DATES (2019) Deadline for regular and special sessions papers: April 22 (hard deadline) Deadline for work-in-progress, forum and workshop papers: May 27 ------------------------------------------------------------------------------------------------------------------------- CONFERENCE VENUE: The ETFA 2019 conference will take place in Zaragoza, a warm, lively and historical city, capital of the Aragon Region, in NE Spain. The city was founded under Roman emperor Caesar Augustus around 14 BC and offers a host of historical sights covering its Roman, Islamic and Christian epochs. Nowadays it is the fifth city in Spain with 650,000 habitants, a great nightlife and some of the best tapas bars in the world. Video about Zaragoza (source: Zaragoza Turist office): https://bit.ly/2DsYCQ3 Some of the best attractions in Zaragoza: https://bit.ly/2Snxg8g ------------------------------------------------------------------------------------------------------------------------- ORGANIZERS Honorary Chair - Manuel Silva, University of Zaragoza, Spain General Co-Chairs - Cristian Mahulea, University of Zaragoza, Spain - Antoni Grau, Technical University of Catalonia, Spain - Lucia Lo Bello, University of Catania, Italy Program Committee co-Chairs - Marina Indri, Politecnico di Torino, Italy - Ramon Vilanova, Universitat Autònoma Barcelona, Spain Work-In-Progress co-Chairs - Marius Kloetzer, Technical University of Iasi, Romania - Lukasz Wisniewski, inIT/OWL University, Germany Special Sessions co-Chairs - Zoubir Mammeri, University of Toulouse, France - Roberto Oboe, University of Padova, Italy Workshops co-Chairs - Moris Behnam, Mälardalen University, Sweden - Paulo Pedreiras, University of Aveiro, Portugal Industry co-Chairs - Carlos Sagues, University of Zaragoza, Spain - Armando Walter Colombo, University of Applied Sciences Emden, Germany Publication co-Chairs - Joao Martins, Universidade Nova de Lisboa, Portugal - Andres Nogueiras , University of Vigo, Spain Publicity co-Chairs - Inigo Alonso, University of Zaragoza, Spain - Ana C. Murillo, University of Zaragoza, Spain Treasurer - Eduardo Montijano, University of Zaragoza, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Sun Apr 7 16:11:52 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Sun, 7 Apr 2019 14:11:52 +0000 Subject: [fg-arc] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track Message-ID: Apologies for cross-posting - Please forward to anybody who might be interested ** CALL FOR PAPERS ** The 35th International Conference on Logic Programming (ICLP 2019) Applications Track September 20-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ ------------------------------------------------------------------------- Objectives Logic programming (LP) has been widely adopted as a powerful declarative programming paradigm to build a variety of applications from research projects to industrial products, including bioinformatics, natural language understanding, robotics, etc. Motivated by such a wide range of applications, this year ICLP will have a special track dedicated to Applications of LP, to bring together LP researchers and practitioners from both academia and industry communities to share the recent advancement, challenge and insight for LP applications. The goal of the Application Track is two-folded. On the one side, it aims at providing a fresh impulse for the LP community to recast its interests towards solving practical problems and applications. On the other side, its goal is to attract representatives from the wider academia and industrial communities to discuss their challenges related to using LP in practical problems, applications and industrial products and their expectations of the development of theory and tools from LP community. Expected contributions The Applications Track at ICLP 2019 invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of LP systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. We welcome LP applications in a wide range of areas, including but not limited to: * industrial applications * commonsense reasoning, knowledge representation * declarative problem solving * education * bioinformatics, computational biology * life sciences, genetics, medicine, pharmacology * cognitive robotics, social robotics, human-robot interactions * intelligent transportation, logistics * computer vision, sensing, internet of things * data analysis, machine learning * creative computing * digital forensics, cybersecurity, blockchain * economics, game theory, social choice * software engineering, intelligent user interfaces * multi-agent systems, argumentation, epistemic reasoning * constraint programming, SAT, SMT * natural language understanding, story telling, question answering * explanation generation, diagnosis * spatial/temporal/probabilistic reasoning * planning and scheduling * databases, ontologies, knowledge bases, Semantic Web Evaluation Criteria In this track, selection process of the highest quality papers will apply the following criteria: * Significance of the real-world problem being addressed * Importance and novelty of using logic programming technologies to solve this problem * Evaluation and applicability of the system in real-world * Reusability of datasets, case studies and benchmarks Important Dates * Abstract registration: April 27, 2019 * Paper submission: May 4, 2019 * Notification: June 19, 2019 * TPLP revision submission: July 3, 2019 * TPLP final notifications: July 17, 2019 * Camera-ready copy: July 31, 2017 * Conference: September 20-25, 2019 Submission Details All submissions must be written in English. * Regular papers (14 pages in TPLP format, including references) must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. The accepted regular papers will be published in TPLP, along with the selected ICLP-TPLP papers. The program committee may recommend some regular papers to be published as technical communications (TCs), along with the selected ICLP-TC papers. The authors of the TCs can also elect to convert their submissions into extended abstracts (2 or 3 pages) for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. * Short papers (7 pages in OASIcs format, including references) can describe published research. The accepted short papers that describe original and previously unpublished work will be published as TCs, along with the selected ICLP-TC papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. All accepted regular papers and technical communications will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Any additional questions can be directed towards the Application Track Chairs: Andrea Formisano, Università di Perugia andrea.formisano at unipg.it Fangkai Yang, NVIDIA Corporation wolfgang.yang at gmail.com Applications Track Program Committee * Chitta Baral (Arizona State University, USA) * Alex Brik (Google Inc, USA) * Francesco Calimeri (University of Calabria, Italy) * Xiaoping Chen (University of Science and Technology of China) * Federico Chesani (University of Bologna, Italy) * Martín Diéguez (ENIB, France) * Gerhard Friedrich (Alpen-Adria Universitaet Klagenfurt, Austria) * Gopal Gupta (University of Texas at Dallas, USA) * Jianmin Ji (University of Science and Technology of China, China) * Gabriele Kern-Isberner (Technische Universitaet Dortmund, Germany) * Zeynep Kiziltan (University of Bologna, Italy) * Viviana Mascardi (University of Genova, Italy) * Yunsong Meng (Houzz Inc., USA) * Francesco Ricca (University of Calabria, Italy) * Mohan Sridharan (University of Birmingham, UK) * David Warren (SUNY Stony Brook, USA) * Shiqi Zhang (SUNY Binghamton, USA) * Neng-Fa Zhou (CUNY Brooklyn College and Graduate Center, USA) -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpulina at uniss.it Sun Apr 7 17:30:28 2019 From: lpulina at uniss.it (Luca Pulina) Date: Sun, 7 Apr 2019 17:30:28 +0200 Subject: [fg-arc] [CALL FOR TUTORIAL PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Message-ID: <38a5237a-62c3-9c52-dd61-ee1ef5c633b1@uniss.it> [apologies for any cross-posting] **************************************************************************************************************************************************************CALL FOR TUTORIAL PROPOSALS AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 ************************************************************************************************************************************************************** AIIA is the premier venue for presenting innovative systems and research results related to Artificial Intelligence, attracting a large number of high quality submissions every year and participants from both industry and academia. AI*IA brings together researchers from different areas, such as artificial intelligence, databases, natural language processing, information systems, human computer interaction, information retrieval, web science, etc., who investigate, develop and use novel methods and technologies concerning the Artificial Intelligence research field. In addition to the regular research and workshop program, AIIA 2019 will include a tutorial program addressing the diverse interests of its audience: Artificial Intelligence practitioners that wish to learn about new technologies, novices to Artificial Intelligence interested in introductory tutorials to key topics, government and industry representatives focusing on the applicability of Artificial Intelligence technologies in practical settings. This program will follow the successful experiment started during AIIA 2018. We invite you to submit a tutorial proposal on a research topic relevant to the AIIA 2019 audience. Each tutorial will be a half-day event of about 3.5 hours. ---------------------------------------------------------------------- Review Criteria ---------------------------------------------------------------------- The decision on acceptance or rejection of tutorial proposals will be made on the basis of the overall quality of the proposal and its appeal to a reasonable fraction of the Artificial Intelligence community. In particular, tutorials should satisfy each of the following criteria: - the research topic falls in the general scope of the conference. - there is a clear focus on a specific technology, problem or application. - there is a sufficiently large community interested in the topic. We expect proposals for the following types of tutorials: - Tutorials providing an introduction to well established Artificial Intelligence aspects. - Tutorials describing the cross link between Artificial Intelligence technologies and other disciplines and application domains. - Tutorials presenting specific Artificial Intelligence technologies and trends. Additionally, we expect tutorials to have practical parts in terms of examples or, preferably, exercises and hands-on sessions to be carried out by the participants. ---------------------------------------------------------------------- Submission Guidelines ---------------------------------------------------------------------- Proposals should be submitted via Easychair at https://easychair.org/conferences/?conf=aixia2019wt selecting Tutorial as the submission topic. A proposal consists of a single PDF file no longer than 4 (four) pages, written in English and containing the following sections: - Title and Acronym - Motivation: Why is the topic timely and of particular interest to AIIA participants? What is the relation of this tutorial to other similar tutorials presented at other events? (One to three paragraphs) - Detailed Description: Length (expected number of hours), overview of content and schedule, description of learning outcomes, presentation style, tutorial format, justification of length if longer than 3.5 hours (why a shorter time would not suffice), prior knowledge required by the attendees (No longer than two pages) - Tutorial Material: Overview of the material used for the tutorial. In case of slides, handouts or other teaching material please specify when the material will be made available and how (e.g, under a CC license to anyone, only to the attendees, not at all, and so on) (One to three paragraphs). - Audience: Who and how many people are likely to attend? (One paragraph). - Presenters: Name, affiliation, email address, homepage and short (One paragraph) biography of each presenter, their expertise in the tutorial topic, and their experience in teaching and in tutorial presentation. Please indicate which presenter is the primary contact. (One to two paragraphs per presenter) - Related events (if the tutorial was presented before in a similar form): Link to previous event(s) and materials. The number of attendees of the previous event(s). Why is it relevant to continue the tutorial in 2019? - Requirements: Audio-visual or technical requirements and any special room requirements (One to two paragraphs). ---------------------------------------------------------------------- Important dates ---------------------------------------------------------------------- Deadline for tutorial proposals submission: June 5th, 2019 Notification: June 21st, 2019 Tutorials date: November 19th-22nd, 2019 Tutorials Chair Rafael Peñaloza, University of Milano-Bicocca, Italy -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From lpulina at uniss.it Sun Apr 7 17:42:11 2019 From: lpulina at uniss.it (Luca Pulina) Date: Sun, 7 Apr 2019 17:42:11 +0200 Subject: [fg-arc] [CALL FOR WORKSHOP PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Message-ID: <8759abb1-0ec4-6693-31d4-c01ca4dcd4c8@uniss.it> [apologies for any cross-posting] **************************************************************************************************************************************************************CALL FOR WORKSHOP PROPOSALS AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 ************************************************************************************************************************************************************** The AIIA 2019 Conference will host a series of workshops dedicated to specific and hot topics that will complement the main conference program. AI*IA Working Groups, scientific and industrial research groups, and individual researchers interested in a subarea of Artificial Intelligence or in a related topic of growing importance are invited to submit proposals of workshops associated with the AIIA 2019 conference. We particularly welcome proposals aimed at bringing together researchers from a wide range of disciplines, to exchange ideas and to allow cross-fertilization. Workshop proposals should be submitted in English as a single PDF file not longer than 4 (four) pages containing the following sections: - Workshop title and acronym - Workshop organizers (affiliation, contact details, homepage, prior experiences with workshop organization) - Motivation and scientific relevance to the conference audience - Keywords (describing the main themes of the workshop) (from 3 to 5) - Abstract (up to 200 words) - Description of the workshop (topics and goals of the workshop) (up to 800 words) - Organizational details such as: thematic panels, demo sessions, invited talks - Initial list of (potential) members of the program committee - Previous editions of the workshop series (if applicable) (URLs, conference it was co-located with, number of registrants, number of submissions, number of accepted papers, and any other relevant information) - Length of the workshop (in hours) Proposals should be submitted via Easychair: https://easychair.org/conferences/?conf=aixia2019wt The expected number of submissions is at least 5 for half-day workshops and at least 8 for full-day ones. Workshops that do not reach the suggested target might not be activated or may be merged with other events. Workshop schedule: each workshop will be assigned a number of slots (from 1 to 3 slots) during the conference days. A slot can vary from 1 to 2.5 hours. The distribution of slots will take into account the accepted papers and workshop organization. **Management of the submission, review, and publishing process.** The workshops organizers will manage on their own the submission, review, and publishing process. The key dates and publication policy must be shared with the conference organization. Workshop proceedings should preferably be published in CEUR Workshop Proceedings AIIA Series http://ceur-ws.org/aixia.html selecting Workshop as the submission topic. The workshop Call for Papers, all other calls, and the website should clearly state that the workshop is held within the AIIA 2019 Conference, including the URL of the conference website (https://aiia2019.mat.unical.it) All workshop participants (including the organizers) will have to register through the AIIA 2019 registration service. The workshops must notify acceptance of papers by September 20th, 2019, to allow authors to enjoy the early registration fee. ***Important dates*** Deadline for workshop proposals submission: June 5th, 2019 Notification: June 21st, 2019 Workshops date: November 19th-22nd, 2019 Workshops Chair Rafael Peñaloza, University of Milano-Bicocca, Italy -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From Words2019 at lboro.ac.uk Mon Apr 8 02:09:28 2019 From: Words2019 at lboro.ac.uk (Words 2019) Date: Mon, 8 Apr 2019 00:09:28 +0000 Subject: [fg-arc] WORDS 2019, last call for papers (Extended Deadline) Message-ID: *We apologize if you received this email several times. To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line.* WORDS 2019 12th International Conference Loughborough, September 9–13, 2019 http://words2019.lboro.ac.uk *Announcement* WORDS is a biannual international conference covering the mathematical theory of words (sequences of symbols) from all points of view: combinatorial, algebraic, algorithmic, as well as its applications to biology, linguistics, physics, and others. The previous WORDS conferences have taken place in Rouen (1997, 1999), Palermo (2001), Turku (2003, 2013), Montreal (2005, 2017), Marseille (2007), Salerno (2009), Prague (2011), and Kiel (2015). The 12th International Conference on Words, WORDS 2019 will take place on September 9-13 2019 at Loughborough University, UK (http://www.lboro.ac.uk/departments/compsci/). Co-chairs of this edition are Robert Mercaș and Daniel Reidenbach. *Invited Speakers* Florin Manea (Kiel) Svetlana Puzynina (St. Petersburg) Antonio Restivo (Palermo) Gwenaël Richomme (Montpellier) Aleksi Saarela (Turku) Kristina Vuskovic (Leeds) *Program Committee* Marie-Pierre Béal (Paris) Srecko Brlek (Montreal) Émilie Charlier (Liège) Volker Diekert (Stuttgart) Gabriele Fici (Palermo) Anna Frid (Marseille) Amy Glen (Murdoch) Štěpán Holub (Prague) Shunsuke Inenaga (Kyushu) Robert Mercas (Loughborough) co-chair Dirk Nowotka (Kiel) Jarkko Peltomäki (Turku) Edita Pelantová (Prague) Narad Rampersad (Winnipeg) Daniel Reidenbach (Loughborough) co-chair Jeffrey Shallit (Waterloo) Arseny Shur (Yekaterinburg) *Important dates* Submission deadline: April 23 (AOE), 2019 (EXTENDED DEADLINE) Notification to authors: May 20, 2019 Deadline for final versions: June 3, 2019 Conference: September 9–13, 2019 *Submission guidelines* Submitted papers should not exceed 12 pages and be prepared according to the following guidelines and LNCS-style LaTeX2e. All proofs omitted due to space constraints should be given in an appendix or made accessible through a reliable link to a freely available electronic preprint (updated before submission). These will be read at the discretion of the program committee. Only original submission which have not been submitted for publication elsewhere will be considered. Papers should be submitted electronically in PDF through the EasyChair system: https://easychair.org/conferences/?conf=words2019 *More information* are available on the conference website http://words2019.lboro.ac.uk/, where different PDF versions of the conference poster can also be downloaded. *Contact* Words2019 at lboro.ac.uk The conference is organized by the Department of Computer Science, School of Science, Loughborough University, UK. From alexander.perucci at univaq.it Mon Apr 8 13:01:16 2019 From: alexander.perucci at univaq.it (alexander.perucci at univaq.it) Date: Mon, 8 Apr 2019 13:01:16 +0200 (CEST) Subject: [fg-arc] [2nd Call for Papers] ASYDE 2019 @ SEFM 2019 Message-ID: <420569117.41.1554721276292.JavaMail.Alexander@DESKTOP-7TKA96C> [Apologies for multiple postings] -- Second Call for Papers -- ASYDE 2019: 1st International Workshop on on Automated and verifiable Software sYstem DEvelopment, co-located with the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Oslo, Norway - September 16, 2019 During the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible. Automation helps, in fact, to reduce development time and cost, as well as to concentrate knowledge by bringing quality into every step of the development process. Realizing high-quality software systems requires producing software that is efficient, errorfree, cost-effective, and that satisfies customer requirements. Thus, one of the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well. ASYDE 2019 provides a forum for researchers and practitioners to propose and discuss on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms. ASYDE 2019 welcomes research papers, (industrial) experience papers and case-studies, tool demonstrations and visionary papers; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Details on workshop goals and themes can be found at: http://asyde2019.disim.univaq.it/ == IMPORTANT DATES == Abstract submission: June 3rd, 2019 Paper submission: June 10th, 2019 Notification: July 15th, 2019 Camera ready: July 22nd, 2019 == TOPICS OF INTEREST (although not limited to) == - Specification, architecture, and design of software and verification models - Formal methods for automated software development - Model-driven software development - Correct-by-construction software development - Automated synthesis of software integration code - Automated software development and integration - Automated and verifiable software development - Automated planning methods - Non-functional properties of software - Software quality assurance for automated software development - Compositional theories for software development and its (dynamic) verification - Dynamic verification and testing - Service-oriented and Component-based software development - Machine learning techniques == PAPER SUBMISSION == Workshop papers must follow the SEFM 2019 Format and Submission Guidelines: https://sefm2019.inria.fr/cfp/ The submission Web page for ASYDE 2019 is https://easychair.org/conferences/?conf=asyde2019 Each submitted paper will undergo a process of formal peer review by at least 3 PC members. Contributions can be: - Regular papers (from 10 to 15 pages): In this category fall those contributions that propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions (e.g., industrial experiences and case-studies) in the application of FM and SE approaches for automated and verifiable software development. Regular papers must clearly describe the situation or problem tackled, the relevant state of the art, the proposed position or solution, and the potential benefits of the contribution. Authors of papers reporting industrial experiences are encouraged to make their experimental results available for use by reviewers. - Short papers (from 6 to 8 pages): This category includes tool demonstrations, position papers, and visionary papers. Authors of tool demonstration papers should make their tool available for use by reviewers == WORKSHOP CHAIRS == - Farhad Arbab, CWI, The Netherlands Farhad.Arbab at cwi.nl - Marco Autili, University of L'Aquila, Italy marco.autili at univaq.it - Federico Ciccozzi, Malardalen University, Sweden federico.ciccozzi at mdh.se - Pascal Poizat, Sorbonne Université, France pascal.poizat at lip6.fr - Massimo Tivoli, University of L'Aquila, Italy, massimo.tivoli at univaq.it == PROGRAM COMMITTEE == - Luciano Baresi, Politecnico di Milano - Steffen Becker, University of Stuttgart - Domenico Bianculli, SnT Centre - University of Luxembourg - Antonio Brogi, University of Pisa - Radu Calinescu, University of York - Antinisca Di Marco, University of L'Aquila - Amleto Di Salle, University of L'Aqula - Schahram Dustdar, Vienna University of Technology - Nikolaos Georgantas, INRIA - Cristina Seceleanu, Mälardalen University - Meng Sun, Peking University - Apostolos Zarras, University of Ioannina == WEB CHAIR == - Amleto Di Salle, University of L'Aquila, Italy == PUBLICITY CHAIR == - Alexander Perucci, University of L'Aquila, Italy From S.S.T.Q.Jongmans at cwi.nl Mon Apr 8 19:47:40 2019 From: S.S.T.Q.Jongmans at cwi.nl (Sung-Shik Jongmans) Date: Mon, 8 Apr 2019 19:47:40 +0200 (CEST) Subject: [fg-arc] CfP - FACS 2019 (Formal Aspects of Component Software) Message-ID: <204344663.5038493.1554745660831.JavaMail.zimbra@cwi.nl> ** ** ** Call for Papers: FACS 2019 ** ** ** ** 16th International Conference on ** ** Formal Aspects of Component Software ** ** ** ** 23-25 October 2019, Amsterdam ** ** ** ** http://facs2019.org ** ** ** ## OVERVIEW Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. ## INVITED SPEAKERS * Wan Fokkink (Vrije Universiteit Amsterdam) * Carlo Ghezzi (Polytechnic University of Milan) * Kim Larsen (Aalborg University) ## DATES * Abstract: 21 June 2019 * Paper: 28 June 2019 * Notification: 30 August 2019 * Conference: 23-25 October 2019 All deadlines are AoE. ## SCOPE The conference seeks to address the application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service-oriented architectures, business processes, cloud computing, cyber-physical systems, Internet of Things, and similar artifacts; * design and verification methods for software components and services; * composition and deployment: models, calculi, languages; * formal methods and modeling languages for components and services; * models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; * components for real-time, safety-critical, secure, and/or embedded systems; * components for the Internet of things and cyber-physical systems; * probabilistic techniques for modeling and verification of component-based systems; * model-based testing of components and services; * case studies and experience reports; * tools supporting formal methods for components and services. ## PAPER CATEGORIES We solicit submissions related to the topics mentioned above in the following categories: * A – full papers: original research, applications and experiences, surveys (18 pages max, excluding references); * B – short papers: tools and demonstrations, new ideas and emerging results, position papers (6 pages max, excluding references); * C – journal-first papers (2 pages). All submissions in categories A and B must be original, unpublished, and not submitted concurrently for publication elsewhere. Submissions in category C must be 2-page abstracts of journal papers published after January 1st, 2018. The objective of journal-first papers is to offer FACS attendees a richer program and further opportunities for interaction. Authors of published papers in high-quality journals can submit a proposal to present their journal paper at FACS. The journal paper must adhere to the following criteria: * It should be clearly in the scope of FACS. * It should be recent: only journal papers available after January 1st, 2018 (online or paper) can be presented. * It reports new research results that significantly extend prior work. As such, the journal paper does not simply extend prior work with material presented for completeness only (such as omitted proofs, algorithms, minor enhancements, or empirical results). * It has not been presented at, and is not under consideration for, journal-first programs of other similar conferences or workshops. * Journal-first submissions must be marked as such in EasyChair, and they must explicitly include pointers to the journal publication (such as a DOI). ## SUBMISSION & PUBLICATION Paper submission is done via EasyChair at: https://easychair.org/conferences/?conf=facs2019. Each paper will be reviewed by at least three PC members and evaluated in terms of novelty, importance, evidence, and clarity. The post-proceedings of FACS 2019 will be published as a volume of LNCS; it consists of accepted papers in categories A and B. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. As in previous years, we plan to invite authors of selected papers to submit an extended version of their paper for inclusion in a special issue of a journal dedicated to FACS 2019 (historically, Science of Computer Programming). ## CHAIRS Farhad Arbab, CWI and Leiden University Sung-Shik Jongmans, Open University and CWI ## PROGRAM COMMITTEE Kyungmin Bae, Pohang University of Science and Technology Christel Baier, TU Dresden Luís Soares Barbosa, INESC TEC and University of Minho Simon Bliudze, INRIA Lille Roberto Brunik, University of Pisa Luís Cruz-Filipe, University of Southern Denmark José Luiz Fiadeiro, Royal Holloway, University of London Mohamad Jaber, American University of Beirut Olga Kouchnarenko, University of Franche-Comté Ivan Lanese, University of Bologna Kung-Kiu Lau, University of Manchester Zhiming Liu, Southwest University Markus Lumpe, Swinburne University of Technology Eric Madelaine, INRIA Sophia Antipolis Mieke Massink, CNR ISTI Hernán Melgratti, University of Buenos Aires Fabrizio Montesi, University of Southern Denmark Peter Csaba Ölveczky, University of Oslo Catuscia Palamidessi, INRIA Saclay and LIX José Proença, CISTER Jorge Pérez, University of Groningen Gwen Salaün, Université Grenoble Alpes and INRIA Grenoble Francesco Santini, University of Perugia Jacopo Soldani, University of Pisa Anton Wijs, Eindhoven University of Technology Shoji Yuen, Nagoya University Min Zhang, East China Normal University From claudio.menghi at uni.lu Thu Apr 11 00:54:00 2019 From: claudio.menghi at uni.lu (Claudio MENGHI) Date: Wed, 10 Apr 2019 22:54:00 +0000 Subject: [fg-arc] Call for Papers: Formal Methods Teaching Workshop and Tutorial Message-ID: <32C33A5B-2473-4BB9-940E-266A2244C913@uni.lu> FMTea19 Formal Methods Teaching Workshop and Tutorial Event affiliated with FM2019, 3rd World Congress on Formal Methods 7 October 2019, Porto, Portugal OBJECTIVES AND SCOPE Formal Methods provide software engineering with tools and techniques for rigorously reasoning about the correctness of systems. While in recent years formal methods are increasingly being used in industry, university curricula are not adapting at the same pace. Some existing formal methods classes interest and challenge students, whereas others fail to ignite student motivation. We need to find ways to teach formal methods to the next generation, and doing so will require us to adapt our teaching to the 21st century students. FMTea19 is a combined workshop and tutorial at the 3rd World Congress on Formal Methods, FM2019. Its aim is to share experiences of teaching formal methods that have gone well, or that failed in surprising ways, as well as to develop ways to reboot the presence of formal methods in curricula. Tutorial part of FMTea19 We are very pleased to have Carroll Morgan giving an invited talk on his approach to and experiences with teaching formal methods to undergraduate students. Sir Tony Hoare will also join us to give a talk on the foundations of teaching computer science for future formal methods scientists. We will run two more tutorial presentations, held by Holger Hermanns and Bas Luttik, on experiences with concurrency and online teaching. Our goal is to discuss various models of existing FM teaching, together with innovative proposals for remaining relevant as educators of Formal Methods in the 21st century. Workshop Part of FMTea19 In the workshop part of the event, we aim to attract papers detailing authors’ experiences with FM Teaching. We would like to get papers discussing successes and failures of various methods, case studies, tools, etc. As self-learning seems to be an important aspect of FM teaching, we appreciate experiences with online teaching, including experiences with teaching formal methods via MOOCs. A non-exhaustive list of topics of interest for the FMTea19 workshop is below: • traditional FM teaching: lectures, exercises, exams • online FM teaching/learning: experiences/proposals • teaching FM for industry • integrating/embedding FM teaching/thinking within other computer science courses • student projects on FM, including group projects Computer science is transforming into a rigorous engineering discipline. Improved teaching techniques will ensure that FM is at the heart of this transformation process. ORGANIZATION FMTea19 is organized by FME’s Teaching Committee. Our broad aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning. To that end, we have already gathered a list of FM courses taught worldwide, that can be seen, for the time being, here: https://github.com/luigiapetre/Formal-Methods-Courses/issues (we are in the process of migrating the courses to a webpage, so they will not live much longer as issues) and plan to collect other resources as well, such as FM case studies, FM inspirational papers, etc. PROGRAM COMMITTEE • Luigia Petre, Åbo Akademi University, Finland (co-chair) • Brijesh Dongol, University of Surrey, UK (co-chair) • Graeme Smith, University of Queensland, Australia (co-chair) • Catherine Dubois, ENSIIE, France • Joao F. Ferreira, University of Lisbon, Portugal • K. Rustan M. Leino, Amazon Web Services, US • Alexandra Mendes, University of Beira Interior, Portugal • Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil • Pierluigi San Pietro, Politecnico di Milano, Italy • Kenji Taguchi, CAV, Japan PREVIOUS EDITIONS Several events focused on teaching aspects for Formal Methods were held in the beginning of the 2000s: two BCS-FACS TFM workshops (Oxford in 2003 and London in 2006), the TFM 2004 conference in Ghent (with proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06), FORMED (Budapest, at ETAPS 2008), and FMET 2008 (Kitakyushu 2008, co-located with ICFEM). The latest event was TFM2009, the 2nd International FME Conference on Teaching Formal Methods, in November 2009 in Eindhoven, the Netherlands. SUBMISSION DETAILS FMTea19 invites high quality papers reporting on opinions, approaches, and experiences related to the topic of teaching Formal Methods. Each submitted paper will be reviewed by at least three PC members. The conference proceedings is planned to be published in Springer's Lecture Notes in Computer Science series. All submissions must be original, unpublished, and not submitted for publication elsewhere. Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). Papers should not exceed 15 pages in length. Submissions should be made using the FMTea19 Easychair web site: https://easychair.org/conferences/?conf=FMTea19 All accepted papers must be presented at the workshop. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by an early date, to be indicated by the FM2019 organizers, and present the paper. IMPORTANT DATES • June 1, 2019: Submission of papers • July 1, 2019: Notifications to authors • August 1, 2019: Proceedings version ready • October 7, 2019: FMTea19 in Porto -------------- next part -------------- An HTML attachment was scrubbed... URL: From ggelfond at unomaha.edu Thu Apr 11 16:13:33 2019 From: ggelfond at unomaha.edu (Gregory Gelfond) Date: Thu, 11 Apr 2019 14:13:33 +0000 Subject: [fg-arc] LPNMR 2019 -- CALL FOR PARTICIPATION Message-ID: Call for Participation --------------------------------------------------------------------------- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 https://sites.sju.edu/plw/lpnmr-2019/ Philadelphia, USA June 3-7, 2019 Part of the Philadelphia Logic Week 2019 https://sites.sju.edu/plw/ Co-located with Datalog 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance !!! Early registration deadline is April 28, 2019!!! --------------------------------------------------------------------------- REGISTRATION Early registration deadline is May 4th, 2019. For more information, visit: https://sites.sju.edu/plw/plw-2019-registration/ ACCEPTED PAPERS, PROGRAM, INVITED SPEAKERS Accepted papers and invited speakers information can be found at https://sites.sju.edu/plw/lpnmr-2019-accepted-papers/ https://sites.sju.edu/plw/lpnmr-2019-invited-speakers/ AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appear essential in enabling these emerging applications to provide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. INVITED SPEAKERS Esra Erdem, Sabanci University, Turkey Michael Gelfond, Texas Tech University, USA V.S. Subrahmanian, Dartmouth College, USA COLOCATED EVENTS DATALOG 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance ASSOCIATED EVENTS LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. WORKSHOPS - LPNMR 2019 will include specialized workshops to be held on June 3 and 4: * The 12th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Jorge Fandinno and Johannes K. Fichte * Causal Reasoning and Explanation in Logic Programming Organizers: Emily Leblanc, Joost Vennekens, Son Tran, Pedro Cabalar and, Jorge Fandiño * The 5th International Workshop on Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak * The 5th International Workshop on Grounding and Transformations for Theories with Variables (GTTV) Organizers: Antonius Weinzierl and Peter Schüller * The 3rd International Workshop on User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Christos Rodosthenous * Workshop on the ASP Challenge 2019 (WAC 2019) Organizers: Carmine Dodaro, Christoph Redl, and Peter Schüller FURTHER INFORMATION WWW: https://sites.sju.edu/plw/lpnmr-2019/ Email: lpnmr2019 at easychair.org VENUE Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more. Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, LPNMR 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City. GENERAL CHAIR Marcello Balduccini, Saint Joseph's University, USA PROGRAM CHAIRS Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA WORKSHOPS CHAIR Mario Alviano, University of Calabria, Italy DOCTORAL CONSORTIUM CHAIRS Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria MARKETING CHAIRS Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA PROGRAM COMMITTEE Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universität Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universität Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Politecnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Schüller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universität Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of Sao Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney From ecl.drexel at gmail.com Thu Apr 11 16:30:59 2019 From: ecl.drexel at gmail.com (Emily LeBlanc) Date: Thu, 11 Apr 2019 10:30:59 -0400 Subject: [fg-arc] CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) ** updated submission link Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** CAUSAL 2019 *** (June 3 or 4, 2019) Workshop on Causal Reasoning and Explanation in Logic Programming CAUSAL 2019 is a workshop co-located with LPNMR 2019 in Philadelphia, PA (USA). https://sites.google.com/view/causal-2019/ CAUSAL 2019 IMPORTANT DATES ----------------------- * Paper submission: April 15th 2019 * Notification: May 2nd 2019 * Final Versions: May 26th 2019 * Workshop Date: June 3rd or 4th 2019 ------------------------ Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about and understanding causality enables us to identify how an outcome of interest came to be and gives us insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding). An important expected outcome of this workshop is to collect first-hand feedback from the LPNMR community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. TOPICS ------ Topics of interests include (but are not limited to): * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages. https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Please submit your paper via EasyChair: https://easychair.org/conferences/?conf=causal2019 At least one co-author of each accepted paper must register for and attend the workshop. Please check the LPNMR 2019 website for registration procedure and fees. https://sites.sju.edu/plw/lpnmr-2019/ ORGANIZERS ---------- Emily LeBlanc, Drexel University, USA, ecl.drexel at gmail.com Joost Vennekens, KU Leuven, Belgium Tran Cao Son, New Mexico State University, USA Pedro Cabalar, Corunna University, Spain Jorge Fandiño, Institut de Recherche en Informatique de Toulouse, France Marcello Balduccini, Saint Joseph's University, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From alberto.bugarin.diz at usc.es Fri Apr 12 12:38:42 2019 From: alberto.bugarin.diz at usc.es (BUGARIN DIZ ALBERTO JOSE) Date: Fri, 12 Apr 2019 10:38:42 +0000 Subject: [fg-arc] [ECAI2020] Preliminary CFP 24th European Conference on Artificial Intelligence. 8-12 June 2020. Santiago de Compostela, Spain. In-Reply-To: References: Message-ID: ** Apologies for cross-postings ** 24th European Conference on Artificial Intelligence (ECAI 2020) Santiago de Compostela, June 8-12 2020 www.ecai2020.eu PRELIMINARY CALL FOR PAPERS The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier venue for presenting scientific results in AI. Under the general theme “Paving the way towards Human-Centric AI”, the 24th edition of ECAI will be held in Santiago de Compostela, a UNESCO's World Heritage City which is the destination of unique Routes that cross all Europe since the Middle Ages. The conference dates are 10-12 June 2020, with the workshops taking place on 8‑9 June. Save these dates! The Program Committee of the 24th European Conference on Artificial Intelligence (ECAI 2020) invites the submission of papers for the technical programme of the Conference. High-quality original submissions are welcome from research results and applications of all areas of AI. The following list of topics is indicative; other topics are welcome. Agent-based and Multi-agent Systems - Computational Intelligence - Computer Vision - Constraints and Satisfiability - Ethical, Legal, Social Issues - Human Aspects in AI - Knowledge Representation and Reasoning - Machine Learning - Natural Language Processing - Neural Information Processing Systems - Planning and Scheduling - Uncertainty in AI - Robotics and Autonomous Systems - Safe, Explainable, and Trustworthy AI - Semantic Technologies - Search & Game Playing - Multidisciplinary Topics IMPORTANT DATES Paper submission: November 15, 2019 Notification of acceptance/rejection: January 15, 2020 WORKSHOPS, TUTORIALS AND OTHER EVENTS Separate calls will be issued for workshop and tutorial proposals, as well as for contributions to: * PAIS 2020, the Prestigious Applications of Intelligent Systems conference * STAIRS 2020, the Starting AI Researcher Symposium. In addition, other AI-related events will be announced, specially addressing the role of AI in Europe (and vice-versa) with special focus on the Conference general theme. ORGANIZATION The Conference is hosted by the European Association for Artificial Intelligence (EurAI) and the Spanish AI Society (AEPIA). ECAI 2020 is organized by the Intelligent Systems Group (GSI) and the Research Centre in Intelligent Technologies (CiTIUS), University of Santiago de Compostela. SYNERGIES WITH OTHER CONFERENCES ECAI 2020 is coordinating with AAMAS 2020 and ICAPS 2020 to exploit synergies. Details will be announced later. CONTACT AND UPDATES Updates will be regularly published at the Conference Website: www.ecai2020.eu Follow us in Twitter @ECAI2020 **It would be highly appreciated if you could disseminate this CFP among your colleagues** -- Senén Barro ECAI2020 Organization Committee Chair www.ecai2020.eu Research Centre in Intelligent Technologies (CiTIUS) University of Santiago de Compostela https://citius.usc.es/ -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: preliminaryCFP_ECAI2020.txt URL: From fioretto.ferdinando at isye.gatech.edu Sat Apr 13 19:44:08 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Sat, 13 Apr 2019 17:44:08 +0000 Subject: [fg-arc] CFP: ICLP 2019 - Research Challenges in Logic Programming Track Message-ID: Apologies for cross-posting - Please forward to anybody who might be interested The 35th International Conference on Logic Programming (ICLP 2019) Research Challenges in Logic Programming Track September 20–25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ ------------------------------------------------------------------------- Objectives Are you a researcher in logic programming working on a problem that appears to be particularly challenging? Perhaps you feel a little stuck? Or, are you facing a problem that needs some LP technology you are not familiar with? Would you like to open a discussion for collaboration? The goal of the Research Challenges Track is to help researchers overcome their challenges by providing a venue to invite input from the broader community. Contributors to this less formal track will be given an opportunity to exchange ideas with other researchers who may have come up against, or are currently working on, similar problems. We hope the track will foster discussion and possibly even new collaborations. Expected contributions The Research Challenges Track at ICLP 2019 invites submissions describing LP research challenges in a wide range of areas, including but not limited to: * Industry-level application of logic programming * applications of logic programming to other sciences and AI (bioinformatics, natural language processing, digital forensics, etc.) * logic programming and big data * machine learning and logic programming * logic programming and other computational paradigms * theoretical foundations of logic programming Evaluation and Feedback In this track, the selection process will be less formal. While authors will receive some feedback, the review process will not be typical. We do not expect contributions only from seasoned researchers. Ph.D. students and junior researchers are more than welcome to contribute. Also, contributors outside the LP community will be given special attention. Any contribution that clearly describes a research problem relevant to logic programming will be evaluated positively. The chance to interact with other researchers during the conference will provide additional feedback and hopefully lead to a longer-term discussion/collaboration. Important Dates (Tentative) * Abstract registration and paper submission: July 15, 2019 * Notification: July 31, 2019 * Camera-ready copy: September 1, 2017 * Conference: September 20-25, 2019 Submission Details All submissions must be written in English. Submissions should be no more than 4 pages in OASIcs format, including references, and should describe a research problem or challenge. Accepted papers will be presented during the conference. Authors of accepted papers are expected to register to ICLP and present their work. Any additional questions can be directed towards the Research Challenges Track Chairs: Alessandro Dal Palu', Universita' di Parma alessandro.dalpalu at unipr.it Amelia Harrison, Google amelia.j.harrison at gmail.com Joohyung Lee, Arizona State University joolee at asu.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Sat Apr 13 19:48:19 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Sat, 13 Apr 2019 17:48:19 +0000 Subject: [fg-arc] CFP: ICLP 2019 - Special Session: Women in Logic Programming Message-ID: <1A003574-4FE6-426B-8698-4069EECCE497@gatech.edu> Apologies for cross-posting - Please forward to anybody who might be interested The 35th International Conference on Logic Programming (ICLP 2019) Special Session: Women in Logic Programming =========================================== This special session aims to increase the visibility and impact of women in LP, fostering awareness of one another’s work. To have good role models is very important for female students and this session is an opportunity to celebrate women’s work in the community. We hope this will be particularly attractive to early-career women. The session will include one or two invited talks and presentations by women in logic programming. Submission Details ================== The submissions to this special session must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019 All submissions must be written in English and at least one coauthor must be a woman. Contributions can be sent in the form of short papers (7 pages in OASIcs format, including references) and can describe published research. The accepted short papers that describe original and previously unpublished work will be published as TCs, along with the selected ICLP-TC papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. All technical communications will be presented during the conference, preferably by women. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Keynotes ======== TBA Important Dates =============== Abstract registration: April 27, 2019 Paper submission: May 4, 2019 Notification: June 19, 2019 Camera-ready copy due: July 31, 2019 Main conference: September 22, 2019 Organization ============ Session Chairs: Marina De Vos - University of Bath Alicia Villanueva - Universitat Politècnica de València Program Committee ================= Elvira Albert - Universidad Complutense de Madrid Stefania Costantini - University of L’Aquila Ines Dutra - University of Porto Daniela Inclezan - Miami University Ekaterina Komendantskaya - Heriot-Watt University Simona Perri - University of Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Sun Apr 14 02:02:25 2019 From: irdta at irdta.eu (IRDTA) Date: Sun, 14 Apr 2019 02:02:25 +0200 Subject: [fg-arc] SLSP 2019: 2nd call for papers Message-ID: <545102060a010b0a0255540b0e075a5053520c52060302070b0208080f005600040756000b5d010403575256060151@grlmc_ip-zone_com-6> SLSP 2019: 2nd 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)   Pushpak Bhattacharyya (Indian Institute of Technology, Bombay, IN) Fethi Bougares (University of Le Mans, FR) Philipp Cimiano (Bielefeld University, DE) 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) Julia Hirschberg (Columbia University, US) Jing Huang (JD AI Research, CN) 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) 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) 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 at irdta.eu   ACKNOWLEDGMENTS:   Institut "Jožef Stefan"   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From kyrozier at iastate.edu Sun Apr 14 06:43:55 2019 From: kyrozier at iastate.edu (Kristin Yvonne Rozier) Date: Sat, 13 Apr 2019 23:43:55 -0500 Subject: [fg-arc] [fm-announcements] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium Message-ID: ****************************************************      The Eleventh NASA Formal Methods Symposium https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html                    7 - 9 May 2019         Rice University, Houston, Texas, USA **************************************************** * No registration fee! * Theme of the Symposium: ----------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. New developments and emerging applications like autonomous software for uncrewed deep space human habitats, caretaker robotics, Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The focus of these symposiums are on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Steering Committee, comprised of researchers spanning several NASA centers. NFM 2019 (https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html) is being co-organized by Rice University and NASA- Johnson Space Center in Houston, TX. Location & Cost: ---------------- There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. The symposium will take place in the McMurtry Auditorium, Rice University, Houston, Texas, USA, May 7--9, 2019. Travel information can be found at: https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html. Keynote Speakers: ----------------- * Virginie Wiels, ONERA, France * Richard Murray, CalTech, USA * NASA Panel: Challenges for Future Exploration -- Kimberly Hambuchen, Space Technology Principle Technologist for Robotics -- Emily Nelson, Deputy Chief, Flight Director Branch -- Joe Caram, Gateway Systems Engineering and Integration Lead -- Bill Othon, Gateway Verification and Validation Lead Organizers: ----------- Moshe Y. Vardi (General Chair) Julia Badger (PC Chair) Kristin Yvonne Rozier (PC Chair) Programme Committee: -------------------- Erika Ábrahám, RWTH Aachen University, Germany Dirk Beyer, LMU Munich, Germany Armin Biere, Johannes Kepler University Linz, Austria Nikolaj Bjorner, Microsoft, USA Sylvie Boldo, INRIA, France Jonathan Bowen, London South Bank University, UK Gianfranco Ciardo, Iowa State University, US Darren Cofer, Rockwell Collins, USA Frederic Dadeau, FEMTO-ST, France Ewen Denney, NASA, US Gilles Dowek, INRIA and ENS Paris-Saclay, France Steven Drager, AFRL, US Catherine Dubois, ENSIIE-Samovar, France Alexandre Duret-Lutz, LRDE/EPITA, France Aaron Dutle, NASA, US Marco Gario, Siemens Corporate Technology, USA Alwyn Goodloe, NASA, US Arie Gurfinkel, University of Waterloo, Canada John Harrison, Amazon Web Services, USA Klaus Havelund, JPL/NASA, USA Constance Heitmeyer, Naval Research Laboratory, USA Marieke Huisman, University of Twente, The Netherlands Shafagh Jafer, Embry-Riddle University, USA Xiaoqing Jin, Toyota Technical Center, USA Rajeev Joshi, JPL/NASA, USA Laura Kovacs, Vienna University of Technology, Austria Joe Leslie-Hurd, Intel, US Panagiotis Manolios, Northeastern University, USA Cristian Mattarei, Stanford University, US Stefan Mitsch, Carnegie Mellon University, US Cesar Munoz, NASA, US Anthony Narkawicz, NASA, US Necmiye Ozay, University of Michigan, USA Corina Pasareanu, CMU/NASA, USA Lee Pike, USA Johann Schumann, SGT, USA Cristina Seceleanu, Malardalen University, Sweden Bernhard Steffen, University of Dortmund, Germany Stefano Tonetta, FBK-IRST, Italy Ufuk Topcu, University of Texas at Austin, USA Christoph Torens, German Aerospace Center, Germany Michael Watson, NASA, USA Huan Xu, University of Maryland, US -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Asst Professor, Iowa State University / USA | ~||~ |NASA \ Departments of Aerospace Engineering, |______| ~~ |______| Computer Science, Mathematics, and (__||__) Electrical and Computer Engineering /_\ /_\ Virtual Reality Applications Center !!! !!!http://temporallogic.org/kyr --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From simon.hacks at swc.rwth-aachen.de Mon Apr 15 08:14:17 2019 From: simon.hacks at swc.rwth-aachen.de (Hacks, Simon) Date: Mon, 15 Apr 2019 06:14:17 +0000 Subject: [fg-arc] Second CfP 1st Workshop on the Value and Quality of Enterprise Modelling, (VEnMo 2019) Message-ID: <76d606d99cf24078ae7ad9bd8e2098b9@swc.rwth-aachen.de> A non-text attachment was scrubbed... Name: smime.p7m Type: application/pkcs7-mime Size: 29736 bytes Desc: not available URL: From simon.hacks at swc.rwth-aachen.de Mon Apr 15 08:17:11 2019 From: simon.hacks at swc.rwth-aachen.de (Hacks, Simon) Date: Mon, 15 Apr 2019 06:17:11 +0000 Subject: [fg-arc] Second CfP 1st Workshop on the Value and Quality of Enterprise Modelling, (VEnMo 2019) Message-ID: *********************************************************************** 1st Workshop on the Value and Quality of Enterprise Modelling (VEnMo 2019) in conjunction with the 17th International Conference on Business Process Management (BPM 2019) 2 September 2019 in Vienna *********************************************************************** In computer science and information systems development, enterprise modelling (EM) is used for different purposes, like representing requirements, visualizing established work processes, specifying system design, expressing information structures, formalizing the relationships between organizational structures and IT landscapes and many more. Despite this large spectrum of modelling purposes and use cases, the value of modelling in general and of enterprise models in particular is still subject of research. The 1st VEnMo Workshop invites researchers and practitioners with strong interest in the value of EM to discuss approaches and experiences in measuring, assessing, evaluating, and improving the value of enterprise related models like enterprise models, enterprise architecture models, or business process models. While it is common sense that EM adds value to organizations, existing research is still vague regarding how this value manifests. Therefore, the workshop aims to shed light on existing as well as new theories, concepts and frameworks for describing, understanding and measuring the benefit of EM. One important aspect in this context may be the quality of EM, as only models of an adequate quality with respect to their intended purpose allow organizations to exploit the full value of EM. Therefore, the workshop further encourages researchers and practitioners to report on insights or approaches how to assess the quality of enterprise models. Contributions may span from generic methods and appropriate quantifiable quality metrics to studies that investigate what makes an enterprise model of high quality from the perspective of relevant stakeholders. However, we support a broad interpretation of the topics „value“ and „quality“ and encourage submissions also in related areas. **Topics** • interpretations or conceptualizations of the terms “value” and “quality” in the context of Enterprise related Models (EM, EA models, BPM, ) • new approaches to measure, assess, evaluate, or improve the value of enterprise related models • interrelations between model, method, and tool value • perceived value of models, methods, and tools • stakeholder perspectives on value and quality of EM • metrics, quantitative, and qualitative approaches to assess the quality of enterprise related models. • theories or best practices for maximizing modelling value • relationship between quality, quantity and value • management of value aspects in modelling • case studies and industrial experience reports on successful or failed application of approaches to assess the value or quality of enterprise related models. • tools, infrastructure and environments supporting the assessment of value or quality of enterprise related models. • empirical studies, evaluation and comparison of measurement techniques and models. • we support a broad interpretation of the topics „value“ and „quality“ and encourage submissions also in related areas. **Submissions** Two kinds of papers will be accepted: • Full papers with a page limit of 12 pages, • Short papers with a page limit of 6 pages. Additionally, we accept “alternative formats”, like conducting experiments or discussions with the participants on a certain topic. If you are interested in doing so, please hand in a short abstract of 3 pages describing your concept, i.e. what you plan to do and what the result should be. Papers should be written in English, following the LNBIP format and should be submitted through the BPM 2019 easychair installation, accessible via https://easychair.org/my/conference.cgi?conf=bpm2019. All workshop papers will be published by Springer as a post-workshop proceedings volume in the series Lecture Notes in Business Information Processing (LNBIP). These proceedings will be made available to all registered participants approximately four months after the workshops, while preliminary proceedings will be distributed during the workshop. **Key Dates** • Workshop papers submission deadline: May 24, 2019 • Workshop papers notification deadline: June 28, 2019 • Workshop camera-ready papers deadline: July 12, 2019 • Workshop VEnMo: September 2, 2019 **Web Site** More information and link to the submission site: http://www.venmo2019.informatik.uni-rostock.de/ **Program Committee** • Mathias Ekstedt, KTH (Sweden) • Peter Fettke, DFKI and Saarland University (Germany) • Janis Grabis, Riga Technical University (Latvia) • Marite Kirikova, Riga Technical University (Latvia) • Agnes Koschmider, Karlsruhe Institute of Technology (Germany) • Robert Lagerström, KTH (Sweden) • Birger Lantow, Rostock University (Germany) • Michael Leyer, Rostock University (Germany) • Monika Malinova, Vienna University of Economics and Business (Austria) • Judith Michael, RWTH Aachen University (Germany) • Alexander Nolte, University of Tartu (Estonia) • Erik Proper, Luxembourg Institute for Science and Technology (Luxembourg) • Alixandre Santana, UFRPE (Brazil) • Rainer Schmidt, Munich University (Germany) • Ulf Seigerroth, Jönköping University (Sweden) • Nuno Silva, UTL (Portugal) • Janis Stirna, Stockholm University (Sweden) • Margus Välja, Scania AB (Sweden) **Organization Committee** • Felix Timm*, University of Rostock (Germany) • Simon Hacks*, RWTH Aachen University (Germany) • Kurt Sandkuhl, University of Rostock (Germany) • Michael Fellmann, University of Rostock (Germany) *Co-Chairs -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 7670 bytes Desc: not available URL: From announce at cs.ucy.ac.cy Sun Apr 14 14:48:00 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 14 Apr 2019 15:48:00 +0300 Subject: [fg-arc] 23rd Pan-Hellenic Conference on Informatics (PCI 2019): First Call for Papers Message-ID: <8WUAQE5U-G08M-O1SQ-NW8L-EH0PY2ER56KB@cs.ucy.ac.cy> *** FIRST CALL FOR PAPERS *** 23rd Pan-Hellenic Conference on Informatics (PCI 2019) University of Nicosia, Nicosia, Cyprus, November 28-30, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyM3JkIFBhbi1IZWxsZW5pYyBDb25mZXJlbmNlIG9uIEluZm9ybWF0aWNzIChQQ0kgMjAxOSk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkzNzIJTGlzdHMJMTQ5CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Funic.ac.cy%2Fpci2019 *** Submission Deadline: September 10, 2019 *** *** Proceedings to be published by ACM ICPS (pending approval) *** The University of Nicosia, the University of Cyprus, the Open University Cyprus and the Greek Computer Society organize the 23rd Pan-Hellenic Conference on Informatics (PCI 2019) in Nicosia, Cyprus on November 28-30, 2019. PCI 2019 aims to provide an effective channel of communication among researchers, practitioners, decision-makers and entities concerned with the latest research, scientific development and practice on ICT to discuss current, state-of-the-art topics that are of relevance and significance for national competitiveness as well as for sustainable, robust and equitable regional development. Submissions to PCI 2019 might cover, but are not limited, to the following topics: · Algorithms & Data Structures · Artificial Intelligence · Bioinformatics · Bio & Nature Inspired Computing · Blockchain Technologies · Cloud Computing · Communication & Information Systems Security and Privacy · Computational Science · Computer & Communication Networks · CRM & ERP Systems · Databases · Data Mining · Digital Libraries · Digital Systems · Distributed Computing · eCommerce, eBusiness, eHealth · Telecommunication Systems · Wireless & Mobile Computing · Learning Technologies · Graphics, Visualization, Multimedia & Virtual Reality · Grid, Cluster & P2P Computing · Hardware & Architecture · Embedded Systems · Human-Computer Interaction · Image and Video Processing · Information Retrieval · Information Society: Legal and Regulatory Issues · Information Systems · Information Theory · Knowledge Based Systems · Numerical & Scientific Computation · Open Source Software · Operating Systems · Parallel & Distributed Systems · Programming Languages · Signal Processing · Software Engineering PCI 2019 encourages the submission of high quality papers with original content in the following tracks: · Research Paper: full paper (8 pages) describing original and unpublished results of conceptual, empirical, experimental, or theoretical work in all areas of Computer Science. · Research Project Results: extended abstract (2 pages) presenting the results of funded completed or ongoing research projects at national or European level. · Industry: extended abstract (2 pages) presenting novel industrial solutions, success stories, and challenges that are encountered in an industry setting when adopting IT technologies. Templates for submissions can be found at the ACM SIG proceedings website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyM3JkIFBhbi1IZWxsZW5pYyBDb25mZXJlbmNlIG9uIEluZm9ybWF0aWNzIChQQ0kgMjAxOSk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkzNzIJTGlzdHMJMTQ5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template Papers should be submitted via EasyChair (link to be available on the conference web site). The submitted research papers and extended abstracts will be peer-reviewed on the basis of technical quality, relevance to scope of PCI, originality, significance, and clarity. Note that submitted papers should have neither been published nor submitted for publication elsewhere. The working language of the conference is English and the papers should be written in that language. As in previous years, the final version of the research papers accepted for presentation at PCI 2019 will be published by ACM in the ICPS Series (pending approval) and will be included in the ACM Digital library. The accepted extended abstracts will be allocated either a demo or poster slot during the conference. At least one author of each accepted paper or abstract is expected to register, attend the conference and present their contribution. Important Dates · Paper submission deadline: September 10, 2019 · Notification of paper acceptance/rejection: October 17, 2019 · Submission of camera ready papers: October 24, 2019 · Author registration: October 24, 2019 General Chairs · Yannis Manolopoulos, Open University Cyprus, Cyprus · George Angelos Papadopoulos, University of Cyprus, Cyprus · Athena Stassopoulou, University of Nicosia, Cyprus Program Chairs · Ioanna Dionysiou, University of Nicosia, Cyprus · Ioannis Kyriakides, University of Nicosia, Cyprus · Nicolas Tsapatsoulis, Cyprus University of Technology, Cyprus Local Advisory Committee · Demetris Trihinas (chair, University of Nicosia) · Achilleas Achilleos (Frederick University Cyprus) · Panayiotis Andreou (University of Central Lancashire-Cyprus) · Christodoulos Efstathiades (European University Cyprus) · Angelika Kokkinaki (University of Nicosia) · Ioannis Krikidis (University of Cyprus) · Jahna Otterbacher (Open University Cyprus) · Vicky Papadopoulou (European University Cyprus) · Nearchos Paspallis (University of Central Lancashire-Cyprus) · Michalis Sirivianos (Cyprus University of Technology) · Stavros Stavrou (Open University Cyprus) · Demetris Zeinalipour (University of Cyprus) -------------- next part -------------- An HTML attachment was scrubbed... URL: From robert.heinrich at kit.edu Mon Apr 15 11:36:34 2019 From: robert.heinrich at kit.edu (Heinrich, Robert (IPD)) Date: Mon, 15 Apr 2019 09:36:34 +0000 Subject: [fg-arc] Architekturen 2019 Jahrestagung der GI-Fachgruppe Architekturen In-Reply-To: References: Message-ID: <238aa8eda1464ea39dc4e3a9f0663f4a@kit-msx-31.kit.edu> Liebe Mitglieder der GI-Fachgruppe Architekturen, diskutieren Sie bei der Jahrestagung 2019 der GI-Fachgruppe Architekturen mit einem interessierten Publikum aus Wirtschaft und Wissenschaft, welche Entwicklungen sich im Bereich der Softwarearchitektur abzeichnen und was diese für den praktizierenden und forschenden Softwarearchitekten bedeuten. Die Jahrestagung der GI-Fachgruppe Architekturen findet am 13. - 14. Juni 2019 im FZI Forschungszentrum Informatik, Haid-und-Neu-Straße 10-14, 76131 Karlsruhe unter dem Motto Architectures in the Age of Data-Driven Systems statt. Die Tagungsreihe Architekturen wurde von der GI-Fachgruppe Architekturen initiiert. Die Veranstaltung hat sich zu einer der wichtigsten Plattformen für IT-Architekten im deutschsprachigen Raum entwickelt und bringt mit über 80 Teilnehmern viele Fachleute aus Praxis, Forschung und Forschungstransfer im Bereich der Softwarearchitekturen zusammen. Nutzen auch Sie diese Chance, knüpfen Sie Kontakte und tauschen Sie sich zu den neuesten Trends, Herausforderungen, und Erfolgen zum Thema Softwarearchitekturen aus. Neben den Fachvorträgen sind auch Treffen der GI-Arbeitskreise der Fachgruppe geplant. Registrierung & Programm unter: https://architekturen2019.ipd.kit.edu Die Architekturen 2019 ist dank unserer Sponsoren für Teilnehmer kostenlos. Bitte registrieren Sie sich bis zum 3. Juni 2019 über unsere Registrierungsseite. Wir freuen uns auf eine spannende Veranstaltung mit Ihnen! Die Organisatoren der GI-Architekturen 2019 -------------------------------------------------------------------- Dr. rer. nat. Robert Heinrich Head of Quality-driven System Evolution Research Group Software Design and Quality Institute for Program Structures and Data Organization Karlsruhe Institute of Technology http://sdq.ipd.kit.edu/people/robert_heinrich/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From kyrozier at iastate.edu Sun Apr 14 06:46:40 2019 From: kyrozier at iastate.edu (Kristin Yvonne Rozier) Date: Sat, 13 Apr 2019 23:46:40 -0500 Subject: [fg-arc] [fm-announcements] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium Message-ID: <093957e6-0019-872f-22a0-57b31db55ffa@iastate.edu> ****************************************************      The Eleventh NASA Formal Methods Symposium https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html                    7 - 9 May 2019         Rice University, Houston, Texas, USA **************************************************** * No registration fee! * Theme of the Symposium: ----------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. New developments and emerging applications like autonomous software for uncrewed deep space human habitats, caretaker robotics, Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The focus of these symposiums are on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Steering Committee, comprised of researchers spanning several NASA centers. NFM 2019 (https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html) is being co-organized by Rice University and NASA- Johnson Space Center in Houston, TX. Location & Cost: ---------------- There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. The symposium will take place in the McMurtry Auditorium, Rice University, Houston, Texas, USA, May 7--9, 2019. Travel information can be found at: https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html. Keynote Speakers: ----------------- * Virginie Wiels, ONERA, France * Richard Murray, CalTech, USA * NASA Panel: Challenges for Future Exploration -- Kimberly Hambuchen, Space Technology Principle Technologist for Robotics -- Emily Nelson, Deputy Chief, Flight Director Branch -- Joe Caram, Gateway Systems Engineering and Integration Lead -- Bill Othon, Gateway Verification and Validation Lead Organizers: ----------- Moshe Y. Vardi (General Chair) Julia Badger (PC Chair) Kristin Yvonne Rozier (PC Chair) Programme Committee: -------------------- Erika Ábrahám, RWTH Aachen University, Germany Dirk Beyer, LMU Munich, Germany Armin Biere, Johannes Kepler University Linz, Austria Nikolaj Bjorner, Microsoft, USA Sylvie Boldo, INRIA, France Jonathan Bowen, London South Bank University, UK Gianfranco Ciardo, Iowa State University, US Darren Cofer, Rockwell Collins, USA Frederic Dadeau, FEMTO-ST, France Ewen Denney, NASA, US Gilles Dowek, INRIA and ENS Paris-Saclay, France Steven Drager, AFRL, US Catherine Dubois, ENSIIE-Samovar, France Alexandre Duret-Lutz, LRDE/EPITA, France Aaron Dutle, NASA, US Marco Gario, Siemens Corporate Technology, USA Alwyn Goodloe, NASA, US Arie Gurfinkel, University of Waterloo, Canada John Harrison, Amazon Web Services, USA Klaus Havelund, JPL/NASA, USA Constance Heitmeyer, Naval Research Laboratory, USA Marieke Huisman, University of Twente, The Netherlands Shafagh Jafer, Embry-Riddle University, USA Xiaoqing Jin, Toyota Technical Center, USA Rajeev Joshi, JPL/NASA, USA Laura Kovacs, Vienna University of Technology, Austria Joe Leslie-Hurd, Intel, US Panagiotis Manolios, Northeastern University, USA Cristian Mattarei, Stanford University, US Stefan Mitsch, Carnegie Mellon University, US Cesar Munoz, NASA, US Anthony Narkawicz, NASA, US Necmiye Ozay, University of Michigan, USA Corina Pasareanu, CMU/NASA, USA Lee Pike, USA Johann Schumann, SGT, USA Cristina Seceleanu, Malardalen University, Sweden Bernhard Steffen, University of Dortmund, Germany Stefano Tonetta, FBK-IRST, Italy Ufuk Topcu, University of Texas at Austin, USA Christoph Torens, German Aerospace Center, Germany Michael Watson, NASA, USA Huan Xu, University of Maryland, US -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Asst Professor, Iowa State University / USA | ~||~ |NASA \ Departments of Aerospace Engineering, |______| ~~ |______| Computer Science, Mathematics, and (__||__) Electrical and Computer Engineering /_\ /_\ Virtual Reality Applications Center !!! !!!http://temporallogic.org/kyr --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From ecl.drexel at gmail.com Mon Apr 15 18:18:36 2019 From: ecl.drexel at gmail.com (Emily LeBlanc) Date: Mon, 15 Apr 2019 12:18:36 -0400 Subject: [fg-arc] EXTENDED DEADLINE: CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] Workshop on Causal Reasoning and Explanation in Logic Programming NEW DEADLINE: April 28th 2019 CALL FOR PAPERS - EXTENDED DEADLINE *** CAUSAL 2019 *** (June 3 or 4, 2019) Workshop on Causal Reasoning and Explanation in Logic Programming CAUSAL 2019 is a workshop co-located with LPNMR 2019 in Philadelphia, PA (USA). https://sites.google.com/view/causal-2019/ CAUSAL 2019 IMPORTANT DATES ----------------------- * Paper submission: April 28th 2019 * Notification: May 12th 2019 * Final Versions: May 26th 2019 * Workshop Date: June 3rd or 4th 2019 ------------------------ Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about and understanding causality enables us to identify how an outcome of interest came to be and gives us insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding). An important expected outcome of this workshop is to collect first-hand feedback from the LPNMR community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. TOPICS ------ Topics of interests include (but are not limited to): * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages. https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Please submit your paper via EasyChair: https://easychair.org/conferences/?conf=causal2019 At least one co-author of each accepted paper must register for and attend the workshop. Please check the LPNMR 2019 website for registration procedure and fees. https://sites.sju.edu/plw/lpnmr-2019/ ORGANIZERS ---------- Emily LeBlanc, Drexel University, USA, ecl.drexel at gmail.com Joost Vennekens, KU Leuven, Belgium Tran Cao Son, New Mexico State University, USA Pedro Cabalar, Corunna University, Spain Jorge Fandiño, Institut de Recherche en Informatique de Toulouse, France Marcello Balduccini, Saint Joseph's University, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From m.i.a.stoelinga at utwente.nl Tue Apr 16 09:46:13 2019 From: m.i.a.stoelinga at utwente.nl (Marielle Stoelinga) Date: Tue, 16 Apr 2019 09:46:13 +0200 Subject: [fg-arc] Fewer train delays via formal methods? Exciting PhD position at University of Twente, the Netherlands In-Reply-To: References: Message-ID: *Are you fed up with train delays and rail disruptions? *Come join us to improve the quality of the design and implementation of railroad elements (e.g. interlockings and signalling systems), via model checking and model-based testing. The University of Twente has a PhD opening on the FormaSig project, a collaboration between Eindhoven University of Technology (TU/e), and railroad asset managers ProRail and Deutsche Bahn. *We seek *an excellent PhD candidate to work on the FormaSig project. We aim to improve the reliability of the (Dutch) railroads by deploying model checking and model-based testing. The scientific core is a novel combination of model transformation, model checking and model-based testing. For more information about the position, see here . *We offer *a fully paid PhD positions, with excellent salary and benefits, at a very strong and inspiring research department. To apply, see here . *We are *the Formal Methods & Tools at the University of Twente, the Netherlands. Ranked 1st in the last Dutch National Research Assessment. The project is led by Dr. Bas Luttik (TU/e), Prof.dr. Marielle Stoelinga and Prof.dr.ir Arend Rensink. Contact: m.i.a.stoelinga at utwente.nl or arend.rensink at utwente.nl -- Prof.dr. Marielle Stoelinga Professor of risk management for high-tech systems University of Twente & Radboud University, the Netherlands +31 53 489 3773 | Address & contact | www.ewi.utwente.nl/~marielle/ -- Prof.dr. Marielle Stoelinga Professor of risk management for high-tech systems University of Twente & Radboud University, the Netherlands +31 53 489 3773 | Address & contact | www.ewi.utwente.nl/~marielle/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at upb.de Wed Apr 17 00:00:03 2019 From: sauer at upb.de (Stefan Sauer) Date: Wed, 17 Apr 2019 00:00:03 +0200 Subject: [fg-arc] WSRE 2(0)1(9) + DFF 2019 - Call for Participation / Aufruf zur Teilnahme - Programm & Anmeldung - 6.-8. Mai 2019 in Bad Honnef Message-ID: <754baf1c-e918-1813-8d6e-7b2992f641ad@upb.de> Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Teilnahme mehrfach erhalten! Wir laden Sie herzlich zur Teilnahme am WSRE 2(0)1(9) + DFF 2019 ein! Anmeldefrist: 21. April 2019 ------------------------------------------------------------------------ 21. Workshop *Software-Reengineering & Evolution* (WSRE 2(0)1(9)) inklusive 10. Workshop *Design for Future – Langlebige Softwaresysteme* (DFF 2019) ------------------------------------------------------------------------ der Fachgruppe „Software-Reengineering“ (SRE) und des GI-Arbeitskreises „Langlebige Softwaresysteme“ (AK L2S2) https://fg-sre.gi.de/wsre2019.html http://akl2s2.ipd.kit.edu/veranstaltungen/dff2019/ 06.–08. Mai 2019 - wie immer in Bad Honnef, Physikzentrum Highlights: - 23 akzeptierte Beiträge aus Wissenschaft und Praxis - Keynote-Vortrag von Prof. Dr. Ralf Reussner (KIT) - Podiumsdiskussion - Fachgruppensitzung SRE mit Wahl des Leitungsgremiums - Exkursion ins ARITHMEUM in Bonn - Diskussionen und Gespräche - Abendprogramm im Georg-Christoph-Lichtenberg-Keller des Physikzentrums - Spaziergang zum Eiscafé Das vorläufige Programm des WSRE 2(0)1(9) inkl. DFF 2019 ist nun online abzurufen. Sie finden detaillierte Informationen zum Programm auf der Webseite des Workshops WSRE https://fg-sre.gi.de/wsre2019.html oder direkt unter https://fg-sre.gi.de/fileadmin/gliederungen/fg-sre/wsre2019/WSRE2019_Tagungsprogramm.pdf. *Programm & Zeitplanung* Wir beginnen am Montag, den 6. Mai 2019 um 11:15 Uhr und enden am Mittwoch, den 8. Mai 2019 um ca. 14:30 Uhr (abschließende Kaffeepause). Für alle akzeptierten Beiträge sind 20 Minuten Vortragszeit brutto vorgesehen, inkl. mindestens 5 Minuten Zeit für Fragen und Diskussion. Außerdem beinhaltet das Programm eine Keynote von Prof. Dr. Ralf Reussner (KIT) und eine Podiumsdiskussion. Ergänzt wird das wissenschaftlich-technische Programm wie gewohnt um einen Ausflug, der uns in diesem Jahr ins Bonner *ARITHMEUM* führt (https://www.arithmeum.uni-bonn.de/). *Anmeldung* Die Anmeldefrist endet am 21. April 2019. Die Anmeldung erfolgt online über die Webseite des Workshops WSRE oder direkt unter https://userpages.uni-koblenz.de/~riediger/wsr/registration.php Wir freuen uns auf einen spannenden Workshop und viele interessante Vorträge und Diskussionen! Viele Grüße Jens Knodel Jens Borchers Torsten Görg Matthias Gutheil Stefan Sauer From irdta at irdta.eu Wed Apr 17 02:15:59 2019 From: irdta at irdta.eu (IRDTA) Date: Wed, 17 Apr 2019 02:15:59 +0200 Subject: [fg-arc] DeepLearn 2019: early registration April 27 Message-ID: <545102060a010b0a025f580701075a50540403570008535001575c0853525a0003020d03015f510753005701550005@grlmc_ip-zone_com-6> DeepLearn 2019: early registration April 27*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: April 27, 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: (to be completed)   Mark Gales (University of Cambridge), Use of Deep Learning in Non-native Spoken English Assessment   Mihaela van der Schaar (University of Cambridge), tba   PROFESSORS AND COURSES: (to be completed)   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   Vasant Honavar (Pennsylvania State University), [introductory/intermediate] Causal Models for Making Sense of Data   Qiang Ji (Rensselaer Polytechnic Institute), [introductory/intermediate] Probabilistic Deep Learning for Computer Vision   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Piotr Bojanowski and 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   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), [introductory] Dive into Deep Learning   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   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 at 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 at 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 at 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 at irdta.eu   ACKNOWLEDGMENTS:   Institute of Computer Science, Polish Academy of Sciences   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Thu Apr 18 00:58:53 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 18 Apr 2019 00:58:53 +0200 Subject: [fg-arc] AlCoB 2019: call for posters Message-ID: <545102060a010b0a0353580a050a5a5257530c0050570f5201550a0257505b515100000f025f050a05515003545105@grlmc_ip-zone_com-6> 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.   -------------- next part -------------- An HTML attachment was scrubbed... URL: From t.a.c.willemse at tue.nl Fri Apr 19 14:29:51 2019 From: t.a.c.willemse at tue.nl (Tim Willemse) Date: Fri, 19 Apr 2019 14:29:51 +0200 Subject: [fg-arc] Extended Deadlines FMICS 2019: Formal Methods for Industrial Critical Systems; 1 May (abstract); 3 May (paper) Message-ID: 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 (AoE) Abstract submission: 1 May 2019 (extended; was 19 April) Paper submission: 3 May 2019 (extended; was 26 April) 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. Keynote Speakers (confirmed) - Jaco van de Pol (Aarhus University and University of Twente) - Holger Hermanns (Saarland University) 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 - Bernhard Aichernig, TU Graz - Giovanni Bacci, Aalborg University - 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 at 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 -- -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Apr 20 16:03:39 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 20 Apr 2019 17:03:39 +0300 Subject: [fg-arc] 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): First Call for Papers Message-ID: *** First Call for Papers *** 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020) Atlantica Miramare 4* Beach Hotel, Limassol, Cyprus January 20-24, 2020 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk0NnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDdXJyZW50IFRyZW5kcyBpbiBUaGVvcnkgYW5kIFByYWN0aWNlIG9mIENvbXB1dGVyIFNjaWVuY2UgKFNPRlNFTSAyMDIwKTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzCTM3NglMaXN0cwkxNDkJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fsofsem2020%2F *** Submission Deadline: July 29, 2019 *** (Proceedings to be published by Springer) INVITED SPEAKERS (list incomplete) · Mikolaj Boyanczyk, Poland · Erol Gelenbe, UK · Gunnar Klau, Germany · Elias Koutsoupias, UK SOFSEM (SOFtware SEMinar) is an annual international winter conference devoted to the theory and practice of computer science. The first SOFSEM was organized in 1974. SOFSEM consists of invited talks by prominent researchers, of contributed talks selected from the submitted papers, and of the Student Research Forum. The program is organized in plenary talks and parallel tracks devoted to original research in the selected research areas. SOFSEM has a long-standing tradition of facilitating discussions and collegial interactions. It is well-known for its familiar and inspiring atmosphere and as a meeting place for active and leading computer scientists. SOFSEM is a track-based conference. It features the traditional track on foundations of computer science and a number of other tracks that cover contemporary important areas, such as artificial intelligence, cryptography, security, verification, data science, knowledge engineering, social computing and human factors, software and web engineering, etc. The Track Chairs are soliciting technical papers for presentation at the conference and inclusion in the proceedings published by Springer in the ARCoSS/LNCS series. The topics of the conference are organised in four tracks and the (non exhaustive) list of topics for each track is as follows: Foundations of Computer Science · Algorithms and data structures · Automata and formal languages · Complexity theory · Computability theory · Cryptography and security · Graphs and networks · Machine learning · Non-classical models of computing · Theory of databases, semi-structured data, and finite model theory · Theory of programming languages Foundations of Software Engineering · Methods and tools for improved software processes · Software architecture of complex software-intensive systems · Requirements Engineering · Model-based software engineering methods and tools · Data-driven improvement of methods, models, and tools · Methods and tools for software engineering applications · Empirical Software Engineering Foundations of Data Science · Data Models and Query Languages · Data Integration and Interoperability · Query Processing and Optimization · Distributed, Parallel, and P2P Data Processing and Management · Data Semantics and Linked Data · Spatial, Temporal, Multimedia Data · Web- and Graph-based Data · Probabilistic and Uncertain Data · Information Extraction and Retrieval · Data Privacy, Security, and Trust Foundations of Algorithmic Computational Biology · Alignment and assembly of sequences · Biological networks · Cancer genomics · Comparative genomics · Gene expression · Phylogenetics · Sequence analysis · System biology PAPER SUBMISSION Detailed guidelines for submission will appear shortly on the conference web site (https://cyprusconferences.org/sofsem2020/). Papers must be submitted electronically via Easychair in standard Springer format (max 12 pages). Submitted papers will undergo a peer review process. PROCEEDINGS The proceedings will be published by Springer in the ARCoSS/LNCS series. IMPORTANT DATES · July 29th, 2019: Submission of abstracts · August 5th, 2019: Submission of full papers · September 30th, 2019: Notification of Acceptance/Rejection · November 25th, 2019: Camera Ready Papers, registration deadline · January 20-24, 2020: Conference Dates ORGANISATION General Chairs · Yannis Manolopoulos, Open University of Cyprus, Cyprus · George A. Papadopoulos, University of Cyprus, Cyprus Steering Committee · Barbara Catania, University of Genova, Italy · Miroslaw Kutylowski, Wroclaw Uni. of Technology, Poland · Jan van Leeuwen, Utrecht University, Utrecht, Netherlands · Tiziana Margaria-Steffen, University of Limerick, Ireland · Branislav Rovan, Comenius University, Bratislava, Slovakia · Petr Saloun, Technical University of Ostrava, Czech Republic · Julius Stuller, Academy of Sciences, Prague, Czech Republic, chair Tracks and Track Chairs · Foundations of Computer Science: Christos Kapoutsis, Qatar · Foundations of Data Science: Herodotos Herodotou, Cyprus · Foundations of Software Engineering, Alexander Chatzigeorgiou, Greece · Foundations of Algorithmic Computational Biology, Riccardo Dondi, Italy and Florian Sikora, France Student Research Forum Chair · Theodoros Tzouramanis, Greece Webadmin · Kyriakos Georgiades, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From ecl.drexel at gmail.com Mon Apr 22 16:45:02 2019 From: ecl.drexel at gmail.com (Emily LeBlanc) Date: Mon, 22 Apr 2019 10:45:02 -0400 Subject: [fg-arc] EXTENDED DEADLINE APRIL 28: CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] Workshop on Causal Reasoning and Explanation in Logic Programming NEW DEADLINE: April 28th 2019 CALL FOR PAPERS - EXTENDED DEADLINE *** CAUSAL 2019 *** (June 3 or 4, 2019) Workshop on Causal Reasoning and Explanation in Logic Programming CAUSAL 2019 is a workshop co-located with LPNMR 2019 in Philadelphia, PA (USA). https://sites.google.com/view/causal-2019/ CAUSAL 2019 IMPORTANT DATES ----------------------- * Paper submission: April 28th 2019 * Notification: May 12th 2019 * Final Versions: May 26th 2019 * Workshop Date: June 3rd or 4th 2019 ------------------------ Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about and understanding causality enables us to identify how an outcome of interest came to be and gives us insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding). An important expected outcome of this workshop is to collect first-hand feedback from the LPNMR community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. TOPICS ------ Topics of interests include (but are not limited to): * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages. https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Please submit your paper via EasyChair: https://easychair.org/conferences/?conf=causal2019 At least one co-author of each accepted paper must register for and attend the workshop. Please check the LPNMR 2019 website for registration procedure and fees. https://sites.sju.edu/plw/lpnmr-2019/ ORGANIZERS ---------- Emily LeBlanc, Drexel University, USA, ecl.drexel at gmail.com Joost Vennekens, KU Leuven, Belgium Tran Cao Son, New Mexico State University, USA Pedro Cabalar, Corunna University, Spain Jorge Fandiño, Institut de Recherche en Informatique de Toulouse, France Marcello Balduccini, Saint Joseph's University, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Wed Apr 24 00:39:54 2019 From: irdta at irdta.eu (IRDTA) Date: Wed, 24 Apr 2019 00:39:54 +0200 Subject: [fg-arc] DeepLearn 2019: early registration April 27 Message-ID: <545102060a010b0a045457040e015a01530350510a050e0202525c0305020604565654540b0f000407505157030104@grlmc_ip-zone_com-6> DeepLearn 2019: early registration April 27*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: April 27, 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 3 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: Maria-Florina Balcan (Carnegie Mellon University), Data Driven Clustering Mark Gales (University of Cambridge), Use of Deep Learning in Non-native Spoken English Assessment Mihaela van der Schaar (University of Cambridge), tba PROFESSORS AND COURSES: (to be completed) 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 Vasant Honavar (Pennsylvania State University), [introductory/intermediate] Causal Models for Making Sense of Data Qiang Ji (Rensselaer Polytechnic Institute), [introductory/intermediate] Probabilistic Deep Learning for Computer Vision James Kwok (Hong Kong University of Science and Technology), tba Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Piotr Bojanowski and 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 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), [introductory] Dive into Deep Learning 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 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 at 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 at 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 at irdta.eu by July 14, 2019. ORGANIZING COMMITTEE: Lukasz Kobylinski (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 at irdta.eu ACKNOWLEDGMENTS: Institute of Computer Science, Polish Academy of Sciences Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From ralf.reussner at kit.edu Wed Apr 24 12:31:47 2019 From: ralf.reussner at kit.edu (Ralf Reussner) Date: Wed, 24 Apr 2019 12:31:47 +0200 Subject: [fg-arc] =?utf-8?q?Ank=C3=BCndigung_=22Architekturen_2019=22_=28?= =?utf-8?q?Fachgruppentreffen=29?= Message-ID: <1dd9e925-ea99-14b9-3ff3-e6a02d542ca4@kit.edu> *Ankündigung: "Architekturen 2019" Jahrestagung der GI-Fachgruppe Architekturen* Diskutieren Sie bei der Jahrestagung 2019 der GI-Fachgruppe „Architekturen“ mit einem interessierten Publikum aus Wirtschaft und Wissenschaft, welche Entwicklungen sich im Bereich der Softwarearchitektur abzeichnen und was diese für den praktizierenden und forschenden Softwarearchitekten bedeuten. Die Jahrestagung der GI-Fachgruppe Architekturen findet   am *13. - 14. Juni 2019*   im *FZI Forschungszentrum Informatik, Haid-und-Neu-Straße 10-14, 76131 Karlsruhe* unter dem Motto *Architectures in the Age of Data-Driven Systems* statt. Die Tagungsreihe Architekturen wurde von der GI-Fachgruppe Architekturen initiiert. Die Veranstaltung hat sich zu einer der wichtigsten Plattformen für IT-Architekten im deutschsprachigen Raum entwickelt und bringt mit über 80 Teilnehmern viele Fachleute aus Praxis, Forschung und Forschungstransfer im Bereich der Softwarearchitekturen zusammen. Nutzen auch Sie diese Chance, knüpfen Sie Kontakte und tauschen Sie sich zu den neuesten Trends, Herausforderungen, und Erfolgen zum Thema Softwarearchitekturen aus. Neben den Fachvorträgen sind auch Treffen der GI-Arbeitskreise der Fachgruppe geplant. Wir freuen uns auf eine spannende Veranstaltung mit Ihnen! Registrierung & Programm unter: https://architekturen2019.ipd.kit.edu Die Architekturen 2019 ist dank unserer Sponsoren für Teilnehmer kostenlos. Bitte registrieren Sie sich *bis zum 3. Juni 2019* über unsere Registrierungsseite. -- -------------------------------------------------------------- Karlsruhe Institute of Technology (KIT) and Forschungszentrum Informatik (FZI) Prof. Dr. Ralf H. Reussner KIT: Chair Software Design and Quality: KIT: Vice Dean of KIT-Faculty of Informatics: reussner at kit.edu FZI: Director: reussner at fzi.de Am Fasanengarten 5, Building 50.34, Room 328 D-76131 Karlsruhe GERMANY Phone: +49 721 608-45993 Fax: +49 721 608-45990 http://sdq.ipd.kit.edu / http://www.fzi.de KIT -- The Research University in the Helmholtz Association -------------------------------------------------------------- The Palladio book: https://books.google.de/books?hl=en&lr=&id=QztMDQAAQBAJ&oi=fnd&pg=PR5&ots=I8a3npdAUR&sig=IusweJcNVbKTSoa1in84GfEZ4ms&redir_esc=y#v=onepage&q&f=false -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5228 bytes Desc: S/MIME Cryptographic Signature URL: From sefm2019 at gmail.com Tue Apr 30 18:07:14 2019 From: sefm2019 at gmail.com (Lina Marsso) Date: Tue, 30 Apr 2019 18:07:14 +0200 Subject: [fg-arc] SEFM 2019 - abstract sub. deadline: May 3, 2019 Message-ID: -------------------------------------------------------------------- Call for Papers SEFM 2019 17th International Conference on Software Engineering and Formal Methods Oslo, Norway, September 16-20, 2019 http://sefm2019.inria.fr Twitter: @SEFM_conf --------------------------------------------------------------------- IMPORTANT DATES Abstract submission deadline: May 3, 2019 (AoE) Paper submission deadline: May 10, 2019 (AoE) Notification: June 25, 2019 Conference: September 16-20, 2019 OVERVIEW AND SCOPE SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. Topics of interest include, but are not limited to, the following aspects of software engineering and formal methods: # Software Development Methods - Formal modeling, specification, and design - Software evolution, maintenance, re-engineering, and reuse # Design Principles - Programming languages - Domain-specific languages - Type theory - Abstraction and refinement # Software Testing, Validation, and Verification - Model checking, theorem proving, and decision procedures - Testing and runtime verification - Statistical and probabilistic analysis - Synthesis - Performance estimation and analysis of other non-functional properties - Other light-weight and scalable formal methods # Security and Safety - Security, privacy, and trust - Safety-critical, fault-tolerant, and secure systems - Software certification # Applications and Technology Transfer - Service-oriented and cloud computing systems, Internet of Things - Component, object, multi-agent and self-adaptive systems - Real-time, hybrid, and cyber-physical systems - Intelligent systems and machine learning - HCI, interactive systems, and human error analysis - Education # Case studies, best practices, and experience reports PAPER SUBMISSION We solicit two categories of papers: - Regular papers describing original research results, case studies, or surveys. Regular papers should not exceed 15 pages, excluding bibliography. - Tool papers that describe an operational tool and its contributions. Tool papers should not exceed 6 pages (including bibliography) and should include the URL of the tool. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=sefm2019 Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs). PUBLICATION All accepted papers will appear in the proceedings of the conference that will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to special issues of the journals "Software and Systems Modeling" and "Formal Methods in System Design." INVITED SPEAKERS Wil van der Aalst (RWTH Aachen University, Germany) David Basin (ETH Zurich, Switzerland) Koushik Sen (University of California, Berkeley, USA) PROGRAM CHAIRS Peter Csaba Ölveczky (University of Oslo, Norway) Gwen Salaün (Université Grenoble Alpes, France) PROGRAM COMMITTEE Erika Abraham (RWTH Aachen University, Germany) Cyrille Artho (KTH Royal Institute of Technology, Sweden) Kyungmin Bae (Pohang University of Science and Technology, South Korea) Olivier Barais (University of Rennes, France) Luis Barbosa (University of Minho, Portugal) Dirk Beyer (LMU Munich, Germany) Roberto Bruni (University of Pisa, Italy) Ana Cavalcanti (University of York, UK) Alessandro Cimatti (FBK-irst, Italy) Robert Clariso (Open University of Catalonia, Spain) Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy) John Derrick (Unversity of Sheffield, UK) José Luiz Fiadeiro (Royal Holloway, University of London, UK) Osman Hasan (National University of Sciences & Technology, Pakistan) Klaus Havelund (Jet Propulsion Laboratory, US) Reiko Heckel (University of Leicester, UK) Marieke Huisman (University of Twente, The Netherlands) Alexander Knapp (Augsburg University, Germany) Nikolai Kosmatov (CEA LIST, France) Frederic Mallet (Université Nice Sophia Antipolis, France) Tiziana Margaria (Lero, Ireland) Hernan Melgratti (University of Buenos Aires, Argentina) Madhavan Mukund (Chennai Mathematical Institute, India) Marc Pantel (IRIT/INPT, Université de Toulouse, France) Anna Philippou (University of Cyprus) Grigore Rosu (University of Illinois, US) Augusto Sampaio (Federal university of Pernambuco, Brazil) Cesar Sanchez (IMDEA Software Institute, Spain) Ina Schaefer (Technische Universität Braunschweig, Germany) Graeme Smith (The University of Queensland, Australia) Jun Sun (Singapore University of Technology and Design) Maurice H. Ter Beek (ISTI-CNR, Pisa, Italy) Antonio Vallecillo (University of Malaga, Spain) Daniel Varro (Budapest University of Technology and Economics, Hungary & McGill University, Canada) Heike Wehrheim (University of Paderborn, Germany) Franz Wotawa (University of Graz, Austria) -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Sat Apr 27 02:55:15 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Sat, 27 Apr 2019 00:55:15 +0000 Subject: [fg-arc] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track Message-ID: <90D9F8BA-E9FA-4CD8-A4A9-ED6811F5E2BB@gatech.edu> Apologies for cross-posting - Please forward to anybody who might be interested ** CALL FOR PAPERS ** The 35th International Conference on Logic Programming (ICLP 2019) Applications Track September 20-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ ------------------------------------------------------------------------- Objectives Logic programming (LP) has been widely adopted as a powerful declarative programming paradigm to build a variety of applications from research projects to industrial products, including bioinformatics, natural language understanding, robotics, etc. Motivated by such a wide range of applications, this year ICLP will have a special track dedicated to Applications of LP, to bring together LP researchers and practitioners from both academia and industry communities to share the recent advancement, challenge and insight for LP applications. The goal of the Application Track is two-folded. On the one side, it aims at providing a fresh impulse for the LP community to recast its interests towards solving practical problems and applications. On the other side, its goal is to attract representatives from the wider academia and industrial communities to discuss their challenges related to using LP in practical problems, applications and industrial products and their expectations of the development of theory and tools from LP community. Expected contributions The Applications Track at ICLP 2019 invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of LP systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. We welcome LP applications in a wide range of areas, including but not limited to: * industrial applications * commonsense reasoning, knowledge representation * declarative problem solving * education * bioinformatics, computational biology * life sciences, genetics, medicine, pharmacology * cognitive robotics, social robotics, human-robot interactions * intelligent transportation, logistics * computer vision, sensing, internet of things * data analysis, machine learning * creative computing * digital forensics, cybersecurity, blockchain * economics, game theory, social choice * software engineering, intelligent user interfaces * multi-agent systems, argumentation, epistemic reasoning * constraint programming, SAT, SMT * natural language understanding, story telling, question answering * explanation generation, diagnosis * spatial/temporal/probabilistic reasoning * planning and scheduling * databases, ontologies, knowledge bases, Semantic Web Evaluation Criteria In this track, selection process of the highest quality papers will apply the following criteria: * Significance of the real-world problem being addressed * Importance and novelty of using logic programming technologies to solve this problem * Evaluation and applicability of the system in real-world * Reusability of datasets, case studies and benchmarks Important Dates * Abstract registration: April 27, 2019 * Paper submission: May 4, 2019 * Notification: June 19, 2019 * TPLP revision submission: July 3, 2019 * TPLP final notifications: July 17, 2019 * Camera-ready copy: July 31, 2017 * Conference: September 20-25, 2019 Submission Details All submissions must be written in English. * Regular papers (14 pages in TPLP format, including references) must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. The accepted regular papers will be published in TPLP, along with the selected ICLP-TPLP papers. The program committee may recommend some regular papers to be published as technical communications (TCs), along with the selected ICLP-TC papers. The authors of the TCs can also elect to convert their submissions into extended abstracts (2 or 3 pages) for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. * Short papers (7 pages in OASIcs format, including references) can describe published research. The accepted short papers that describe original and previously unpublished work will be published as TCs, along with the selected ICLP-TC papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. All accepted regular papers and technical communications will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Any additional questions can be directed towards the Application Track Chairs: Andrea Formisano, Università di Perugia andrea.formisano at unipg.it Fangkai Yang, NVIDIA Corporation wolfgang.yang at gmail.com Applications Track Program Committee * Chitta Baral (Arizona State University, USA) * Alex Brik (Google Inc, USA) * Francesco Calimeri (University of Calabria, Italy) * Xiaoping Chen (University of Science and Technology of China) * Federico Chesani (University of Bologna, Italy) * Martín Diéguez (ENIB, France) * Gerhard Friedrich (Alpen-Adria Universitaet Klagenfurt, Austria) * Gopal Gupta (University of Texas at Dallas, USA) * Jianmin Ji (University of Science and Technology of China, China) * Gabriele Kern-Isberner (Technische Universitaet Dortmund, Germany) * Zeynep Kiziltan (University of Bologna, Italy) * Viviana Mascardi (University of Genova, Italy) * Yunsong Meng (Houzz Inc., USA) * Francesco Ricca (University of Calabria, Italy) * Mohan Sridharan (University of Birmingham, UK) * David Warren (SUNY Stony Brook, USA) * Shiqi Zhang (SUNY Binghamton, USA) * Neng-Fa Zhou (CUNY Brooklyn College and Graduate Center, USA) -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Mon Apr 29 17:03:51 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Mon, 29 Apr 2019 15:03:51 +0000 Subject: [fg-arc] ICLP - Doctoral Consortium (DC) on Logic Programming Message-ID: <2F774169-5128-4D8F-B56C-7BEE07BD6E1F@gatech.edu> The 15th Doctoral Consortium (DC) on Logic Programming https://sites.google.com/cs.stonybrook.edu/iclp2019dc/iclp-2019-doctoral-consortium The 15th Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. It will take place during the 35th International Conference on Logic Programming (ICLP) https://www.cs.nmsu.edu/ALP/iclp2019/ (September 20-26, 2019, in Las Cruces, New Mexico, USA). Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. Important Dates • Abstract registration: April 27, 2019 • Paper submission: May 4, 2019 • Notification: June 19, 2019 • Camera-ready copy: July 31, 2017 • Conference: Sunday, September 22, 2019 Audience The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): • Theoretical Foundations of Logic and Constraint Logic Programming • Sequential and Parallel Implementation Technology • Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification • Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) • Innovative Applications of Logic Programming Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. Discussants Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. Goals • To provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. • To provide students with relevant information about important issues for doctoral candidates and future academics. • To develop a supportive community of scholars and a spirit of collaborative research. • To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. Submission Details The DC is designed for students currently enrolled in a Ph.D. program, however Master's students who are actively involved in research (please see the list of topics below) can also participate in the DC program. Applicants are expected to conduct research in areas related to logic and constraint programming. Topics included, but not limited to: • Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. • Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. • Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. • Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. • Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. • Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Submissions of the research summary must be made in OpenAccess Series in Informatics (OASIcs) format (template available here) and submitted via EasyChair. Accepted DC papers will be published as technical communications (TCs) by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation of 20 minutes followed by discussions. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The submission package should consist of the research summary in the OASIcs format mentioned above and the additional documents mentioned below in the financial support section - all students must submit these documents even if they don't apply for financial aid (a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant). All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclp2019 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: • Introduction and problem description • Background and overview of the existing literature • Goal of the research • Current status of the research • Preliminary results accomplished (if any) • Open issues and expected achievements • Bibliographical references Financial Support Students are invited to submit to the Doctoral Consortium (within the submission deadline) to receive financial assistance. A number of scholarships for students that cover local expenses for the duration of the DC and school are available. To apply for these scholarships, students should submit the following information as part of their DC application: • A short vita or cover letter of the applicant, containing: • Full name of school and department to which you are affiliated • Name(s) of your supervising professor(s) • Title of your research work and keywords pertinent to your research • Current stage in your program of study (e.g. Ph.D./MS student, start date) • Contact information: full name, address, telephone number, and email address • URL of your web page (if any) • One paragraph statement outlining how the school will benefit the applicant. • A letter of recommendation from applicant's graduate or thesis advisor. Please invite your adviser(s) to give an indication of the current status of your research and of the expected date of thesis submission. In addition, your adviser(s) should briefly describe what she/he hopes you to gain from participation in the DC. The letter from the advisor should also certify that the applicant is a full-time student. Review Criteria • The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. Registration • Registration is part of the ICLP 2019 registration: https://www.cs.nmsu.edu/ALP/iclp2019/ Program Committee Carmine Dodaro, University of Genova & DIBRIS, Italy Cristina Feier, University of Bremen, Germany Ekaterina Komendantskaya, Heriot-Watt University, UK Fabio Fioravanti, University of Chieti-Pescara, Italy Francesco Ricca, Department of Mathematics University of Calabria, Italy Frank Valencia, LIX, Ecole Polytechnique, France Jorge Fandino, University of Corunna, Spain Jose F. Morales, IMDEA Software Research Institute, Spain Marco Maratea, University of Genova & DIBRIS, Italy Martin Gebser, Aalto University, Finland Michael Gelfond, Texas Tech University, USA Program co-chairs: • Daniela Inclezan, Miami University • Paul Fodor, Stony Brook University From irdta at irdta.eu Mon Apr 29 22:56:11 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 29 Apr 2019 22:56:11 +0200 Subject: [fg-arc] SLSP 2019: 3rd call for papers Message-ID: <545102060a010b0a045f51000e075a52530500585100500551500c53520054545d05540f03000651005255070e0253@grlmc_ip-zone_com-6> 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   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: (to be completed)   Alexandros Potamianos (National Technical University of Athens), Emotion and Behavioral Tracking in the Lab and in the Wild   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) 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 at irdta.eu   ACKNOWLEDGMENTS:   Institut "Jožef Stefan"   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From ggelfond at unomaha.edu Fri Apr 26 19:15:07 2019 From: ggelfond at unomaha.edu (Gregory Gelfond) Date: Fri, 26 Apr 2019 17:15:07 +0000 Subject: [fg-arc] LPNMR 2019 Final Call for Papers ** DEADLINE EXTENSION ** Message-ID: Call for Participation --------------------------------------------------------------------------- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 https://sites.sju.edu/plw/lpnmr-2019/ Philadelphia, USA June 3-7, 2019 Part of the Philadelphia Logic Week 2019 https://sites.sju.edu/plw/ Co-located with Datalog 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance !!! Early registration deadline is April 28, 2019!!! --------------------------------------------------------------------------- REGISTRATION Early registration deadline is May 4th, 2019. For more information, visit: https://sites.sju.edu/plw/plw-2019-registration/ ACCEPTED PAPERS, PROGRAM, INVITED SPEAKERS Accepted papers and invited speakers information can be found at https://sites.sju.edu/plw/lpnmr-2019-accepted-papers/ https://sites.sju.edu/plw/lpnmr-2019-invited-speakers/ AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appear essential in enabling these emerging applications to provide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. INVITED SPEAKERS Esra Erdem, Sabanci University, Turkey Michael Gelfond, Texas Tech University, USA V.S. Subrahmanian, Dartmouth College, USA COLOCATED EVENTS DATALOG 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance ASSOCIATED EVENTS LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. WORKSHOPS - LPNMR 2019 will include specialized workshops to be held on June 3 and 4: * The 12th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Jorge Fandinno and Johannes K. Fichte * Causal Reasoning and Explanation in Logic Programming Organizers: Emily Leblanc, Joost Vennekens, Son Tran, Pedro Cabalar and, Jorge Fandiño * The 5th International Workshop on Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak * The 5th International Workshop on Grounding and Transformations for Theories with Variables (GTTV) Organizers: Antonius Weinzierl and Peter Schüller * The 3rd International Workshop on User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Christos Rodosthenous * Workshop on the ASP Challenge 2019 (WAC 2019) Organizers: Carmine Dodaro, Christoph Redl, and Peter Schüller FURTHER INFORMATION WWW: https://sites.sju.edu/plw/lpnmr-2019/ Email: lpnmr2019 at easychair.org VENUE Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more. Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, LPNMR 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City. GENERAL CHAIR Marcello Balduccini, Saint Joseph's University, USA PROGRAM CHAIRS Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA WORKSHOPS CHAIR Mario Alviano, University of Calabria, Italy DOCTORAL CONSORTIUM CHAIRS Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria MARKETING CHAIRS Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA PROGRAM COMMITTEE Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universität Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universität Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Politecnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Schüller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universität Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of Sao Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney From ggelfond at unomaha.edu Fri Apr 26 19:18:23 2019 From: ggelfond at unomaha.edu (Gregory Gelfond) Date: Fri, 26 Apr 2019 17:18:23 +0000 Subject: [fg-arc] LPNMR 2019 CALL FOR PARTICIPATION Message-ID: Call for Participation --------------------------------------------------------------------------- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 https://sites.sju.edu/plw/lpnmr-2019/ Philadelphia, USA June 3-7, 2019 Part of the Philadelphia Logic Week 2019 https://sites.sju.edu/plw/ Co-located with Datalog 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance !!! Early registration deadline is April 28, 2019!!! --------------------------------------------------------------------------- REGISTRATION Early registration deadline is May 4th, 2019. For more information, visit: https://sites.sju.edu/plw/plw-2019-registration/ ACCEPTED PAPERS, PROGRAM, INVITED SPEAKERS Accepted papers and invited speakers information can be found at https://sites.sju.edu/plw/lpnmr-2019-accepted-papers/ https://sites.sju.edu/plw/lpnmr-2019-invited-speakers/ AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appear essential in enabling these emerging applications to provide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. INVITED SPEAKERS Esra Erdem, Sabanci University, Turkey Michael Gelfond, Texas Tech University, USA V.S. Subrahmanian, Dartmouth College, USA COLOCATED EVENTS DATALOG 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance ASSOCIATED EVENTS LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. WORKSHOPS - LPNMR 2019 will include specialized workshops to be held on June 3 and 4: * The 12th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Jorge Fandinno and Johannes K. Fichte * Causal Reasoning and Explanation in Logic Programming Organizers: Emily Leblanc, Joost Vennekens, Son Tran, Pedro Cabalar and, Jorge Fandiño * The 5th International Workshop on Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak * The 5th International Workshop on Grounding and Transformations for Theories with Variables (GTTV) Organizers: Antonius Weinzierl and Peter Schüller * The 3rd International Workshop on User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Christos Rodosthenous * Workshop on the ASP Challenge 2019 (WAC 2019) Organizers: Carmine Dodaro, Christoph Redl, and Peter Schüller FURTHER INFORMATION WWW: https://sites.sju.edu/plw/lpnmr-2019/ Email: lpnmr2019 at easychair.org VENUE Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more. Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, LPNMR 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City. GENERAL CHAIR Marcello Balduccini, Saint Joseph's University, USA PROGRAM CHAIRS Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA WORKSHOPS CHAIR Mario Alviano, University of Calabria, Italy DOCTORAL CONSORTIUM CHAIRS Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria MARKETING CHAIRS Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA PROGRAM COMMITTEE Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universität Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universität Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Politecnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Schüller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universität Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of Sao Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney From fioretto.ferdinando at isye.gatech.edu Sat Apr 27 02:57:53 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Sat, 27 Apr 2019 00:57:53 +0000 Subject: [fg-arc] CFP: The 35th International Conference on Logic Programming (ICLP 2019) Message-ID: <39DB49E6-5ADB-47B7-9777-F7925182DC22@gatech.edu> Apologies for cross-posting The 35th International Conference on Logic Programming (ICLP 2019) Call for Papers ===================== September 20-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ Scope ------ Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: * Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. * Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. * Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. * Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. * Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. * Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Tracks and Special Sessions --------------------------- Besides the main track, ICLP 2019 will host additional tracks and special sessions: * Applications Track: This track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. * Sister Conferences and Journal Presentation Track: This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2017 onwards) in selective journals and conferences, but have not been previously presented at ICLP. * Research Challenges in Logic Programming Track: This track invites submissions of papers describing research challenges that an individual researcher or a research group is currently attacking. The goal of the track is to promote discussions, exchange of ideas, and possibly stimulate new collaborations. * Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming. Every track and special session will have its own dedicated chairs, PC, evaluation criteria, and CFP with the submission details. Submission Details ------------------- All submissions of the main track must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019 . Regular papers must be in the condensed TPLP format and not exceed 14 pages including bibliography. Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will be available as appendices to the published paper. Three kinds of regular papers will be accepted: * Technical papers for technically sound, innovative ideas that can advance the state of logic programming; * Application papers that impact interesting application domains; * System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some regular papers to be published as Technical communications, which will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). Technical communications must be in the OASIcs format (template here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). The authors of the technical communications can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. All regular papers and technical communications will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Important Dates ---------------- * Abstract registration: April 27, 2019 * Paper submission: May 4, 2019 * Notification: June 19, 2019 * TPLP revision submission: July 3, 2019 * TPLP final notifications: July 17, 2019 * Camera-ready copy: July 31, 2017 * Conference: September 22, 2019 Organization ------------- General Chairs: Enrico Pontelli - New Mexico State University Son Tran Cao - New Mexico State University Program Chairs: Esra Erdem - Sabanci University German Vidal - Universitat Politecnica de Valencia Publicity Chair: Ferdinando Fioretto - Georgia Institute of Technology Workshops Chair: Martin Gebser - University of Klagenfurt and Graz University of Technology Tutorials Chair: Pedro Cabalar - University of Corunna DC Chairs: Paul Fodor - Stony Brook New York Daniela Inclezan - Miami University Programming Competition Chairs: Manuel Carro - Technical University of Madrid (UPM) and IMDEA Software Institute Orkunt Sabuncu - TED University Applications Track Chairs: Andrea Formisano - Universita' di Perugia Fangkai Yang - NVIDIA Corporation Sister Conferences and Journal Presentation Track Chairs: Bart Bogaerts - KU Leuven Giovambattista Ianni - Universita' della Calabria Research Challenges in Logic Programming Track Chairs: Alessandro dal Palu - Universita' di Parma Amelia Harrison - University of Texas at Austin and Google Inc. Joohyung Lee - Arizona State University Women in Logic Programming Special Session Chairs: Alicia Villanueva - Universitat Politecnica de Valencia Marina De Vos - University of Bath Program Committee: Hassan Ait-Kaci - University of Lyon 1 Mario Alviano - University of Calabria Roman Bartak - Charles University Rachel Ben-Eliyahu-Zohary - Azrieli College of Engineering Bart Bogaerts - KU Leuven Gerhard Brewka - Leipzig University Pedro Cabalar - University of Corunna Michael Codish - Ben-Gurion University of the Negev Stefania Costantini - University of L'Aquila Marina De Vos - University of Bath Agostino Dovier - University of Udine Thomas Eiter - Vienna University of Technology Wolfgang Faber - Alpen-Adria-Universitat Klagenfurt Fabio Fioravanti - University of Chieti-Pescara Andrea Formisano - Universita' di Perugia John Gallagher - Roskilde University and IMDEA Software Institute Martin Gebser - University of Klagenfurt and Graz University of Technology Michael Gelfond - Texas Tech University Michael Hanus - CAU Kiel Amelia Harrison - University of Texas at Austin and Google Inc. Manuel Hermenegildo - Technical University of Madrid (UPM) and IMDEA Software Institute Giovambattista Ianni - Universita' della Calabria Daniela Inclezan - Miami University Katsumi Inoue - National Institute of Informatics Tomi Janhunen - Aalto University Angelika Kimmig - Cardiff University Ekaterina Komendantskaya - Heriot-Watt University Vladimir Lifschitz - University of Texas at Austin Evelina Lamma - University of Ferrara Joohyung Lee - Arizona State University Nicola Leone - University of Calabria Yanhong Annie Liu - Stony Brook New York Fred Mesnard - Universite de la Reunion Jose F. Morales - IMDEA Software Institute Emilia Oikarinen - Aalto University Carlos Olarte - Universidade Federal do Rio Grande do Norte Magdalena Ortiz - Vienna University of Technology Mauricio Osorio - Universidad de las Americas Puebla Barry O'Sullivan - University College Cork Simona Perri - University of Calabria Enrico Pontelli - New Mexico State University Ricardo Rocha - University of Porto Alessandra Russo - Imperial College Orkunt Sabuncu - TED University Chiaki Sakama - Wakayama University Torsten Schaub - University of Potsdam Guillermo R. Simari - Universidad Nacional del Sur Theresa Swift - Universidade Nova de Lisboa Francesca Toni - Imperial College Paolo Torroni - University of Bologna Son Tran Cao - New Mexico State University Alicia Villanueva - Universitat Politecnica de Valencia Kewen Wang - Griffith University Jan Wielemaker - VU University of Amsterdam Stefan Woltran - Vienna University of Technology Fangkai Yang - NVIDIA Corporation Roland Yap - National University of Singapore Jia-Huai You - University of Alberta Zhizheng Zhang - Southeast University -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Sat Apr 27 03:00:24 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Sat, 27 Apr 2019 01:00:24 +0000 Subject: [fg-arc] CFP: ICLP 2019 Special Session: Women in Logic Programming Message-ID: <49E9A486-F432-4C2F-AC1A-4C746F9D7618@gatech.edu> The 35th International Conference on Logic Programming (ICLP 2019) Special Session: Women in Logic Programming =========================================== This special session aims to increase the visibility and impact of women in LP, fostering awareness of one another’s work. To have good role models is very important for female students and this session is an opportunity to celebrate women’s work in the community. We hope this will be particularly attractive to early-career women. The session will include one or two invited talks and presentations by women in logic programming. Submission Details ================== The submissions to this special session must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019 All submissions must be written in English and at least one coauthor must be a woman. Contributions can be sent in the form of short papers (7 pages in OASIcs format, including references) and can describe published research. The accepted short papers that describe original and previously unpublished work will be published as TCs, along with the selected ICLP-TC papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. All technical communications will be presented during the conference, preferably by women. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Keynotes ======== TBA Important Dates =============== Abstract registration: April 27, 2019 Paper submission: May 4, 2019 Notification: June 19, 2019 Camera-ready copy due: July 31, 2019 Main conference: September 22, 2019 Organization ============ Session Chairs: Marina De Vos - University of Bath Alicia Villanueva - Universitat Politècnica de València Program Committee ================= Elvira Albert - Universidad Complutense de Madrid Stefania Costantini - University of L’Aquila Ines Dutra - University of Porto Daniela Inclezan - Miami University Ekaterina Komendantskaya - Heriot-Watt University Simona Perri - University of Calabria