From grlmc at grlmc.com Thu Nov 2 01:41:19 2017 From: grlmc at grlmc.com (GRLMC) Date: Thu, 02 Nov 2017 01:41:19 +0100 Subject: [fg-arc] LATA 2018: 3rd call for papers Message-ID: <545102060a010b070550560702035a50505007580609015701040d04030605545658030404095606035f0050060751@grlmc_ip-zone_com-6> LATA 2018: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************ 12th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2018   Bar-Ilan near Tel Aviv, Israel   April 8-12, 2018   Organized by:             Department of Computer Science Bar-Ilan University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/LATA2018/ ************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2018 will take place in Ramat Gan, in the district of Tel Aviv and home to one of the world's major diamond exchanges. The venue will be the Faculty of Exact Sciences of Bar-Ilan University.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2018 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Andrei Bulatov (Simon Fraser University), Constraint Satisfaction Problems and Their Complexity (tutorial)   Markus Lohrey (University of Siegen), Streaming Algorithms in Formal Language Theory   Alexander Okhotin (Saint Petersburg State University), tba   Eli Shamir (Hebrew University of Jerusalem), Reshaping the Context-free Model: Linguistic and Algorithmic Aspects   James Worrell (University of Oxford), Invariants for Linear Loops   PROGRAMME COMMITTEE:   Christel Baier (Technical University of Dresden, DE) Pablo Barceló (University of Chile, CL) Francine Blanchet-Sadri (University of North Carolina, Greensboro, US) Alexander Clark (King's College London, UK) Frank Drewes (Umeå University, SE) Manfred Droste (University of Leipzig, DE) Dora Giammarresi (University of Rome Tor Vergata, IT) Erich Grädel (RWTH Aachen University, DE) Peter Habermehl (Paris Diderot University, FR) Jeffrey Heinz (Stony Brook University, US) Pedro Rangel Henriques (University of Minho, PT) Christian Höner zu Siederdissen (University of Leipzig, DE) Hendrik Jan Hoogeboom (Leiden University, NL) David Janin (University of Bordeaux, FR) Marcin Jurdziński (University of Warwick, UK) Makoto Kanazawa (National Institute of Informatics, JP) Jarkko Kari (University of Turku, FI) Shmuel Tomi Klein (Bar-Ilan University, IL) Salvatore La Torre (University of Salerno, IT) Salvador Lucas (Polytechnic University of Valencia, ES) Stuart W. Margolis (Bar-Ilan University, IL) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Fernando Orejas (Polytechnic University of Catalonia, ES) Paritosh K. Pandya (Tata Institute of Fundamental Research, IN) Gennaro Parlato (University of Southampton, UK) Dominique Perrin (University Paris-Est Marne-la-Vallée, FR) Detlef Plump (University of York, UK) Matteo Pradella (Polytechnic University of Milan, IT) Arend Rensink (University of Twente, NL) Kai Salomaa (Queen's University, CA) Sven Schewe (University of Liverpool, UK) Helmut Seidl (Technical University of Munich, DE) William F. Smyth (McMaster University, CA) Jiri Srba (Aalborg University, DK) Benjamin Steinberg (City College of New York, US) Frank Stephan (National University of Singapore, SG) K.G. Subramanian (University Sains Malaysia, MY) Klaus Sutner (Carnegie Mellon University, US) Menno van Zaanen (Tilburg University, NL) Margus Veanes (Microsoft Research, US) Éric Villemonte de la Clergerie (INRIA, FR) Mahesh Viswanathan (University of Illinois, Urbana-Champaign, US) Mikhail Volkov (Ural State University, RU)   ORGANIZING COMMITTEE:   Shmuel Tomi Klein (Ramat Gan, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Manuel Jesús Parra Royón (Granada) Dana Shapira (Ariel) David Silva (London)   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). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2018   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of the journal Information and Computation (Elsevier, 2016 JCR impact factor: 1.05) 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://grammars.grlmc.com/LATA2018/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: November 17, 2017 Notification of paper acceptance or rejection: December 24, 2017 Final version of the paper for the LNCS proceedings: January 4, 2018 Early registration: January 4, 2018 Late registration: March 25, 2018 Submission to the journal special issue: July 12, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   LATA 2018 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   אוניברסיטת בר-אילן Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From flm at informatik.uni-kiel.de Fri Nov 3 09:56:21 2017 From: flm at informatik.uni-kiel.de (Florin Manea) Date: Fri, 03 Nov 2017 09:56:21 +0100 Subject: [fg-arc] CiE 2018: First Call for Papers Message-ID: <4ed7ef24338671ed4ee9df64405d7d22@informatik.uni-kiel.de> Apologies for multiple postings. ========================= FIRST CALL FOR PAPERS: ========================= CiE 2018: Sailing Routes in the World of Computation Kiel, Germany July 30 - August 3, 2018 http://cie2018.uni-kiel.de IMPORTANT DATES: ============================ Deadline for article registration (abstract submission): January 17, 2018 Deadline for article submission: February 1, 2018 Notification of acceptance: April 6, 2018 Final versions due: April 20, 2018 Deadline for informal presentations submission: April 20, 2018 (The notifications of acceptance for informal presentations will be sent a few days after submission.) Early registration before: May 30, 2018 CiE 2018 is the fourteenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), and Turku (2017). TUTORIAL SPEAKERS: ================== Pinar Heggernes (Bergen, Norway) Bakhadyr Khoussainov (Auckland, NZ) INVITED SPEAKERS: ================= Kousha Etessami (Edinburgh, UK) Johanna Franklin (Hempstead, US) Mai Gehrke (Paris, France) Alberto Marcone (Udine, Italy) Alexandra Silva (London, UK) Jeffrey O. Shallit (Waterloo, Canada) ORGANIZED BY: ============= Department of Computer Science, Kiel University For questions please contact the organisers at the e-mail address cie2018 at email.uni-kiel.de SPECIAL SESSIONS: ================= Approximation and Optimisation — Organisers: Leah Epstein (Haifa), Klaus Jansen (Kiel) Bioinformatics and Bio-inspired Computing — Organisers: Andre Franke (Kiel), Victor Mitrana (Bucharest) Computing with Imperfect Information — Organisers: Tim McNicholl (Iowa), Mariya Soskova (Wisconsin-Madison) Continuous Computation — Organisers: Ulrich Berger (Swansea), Dieter Spreen (Siegen) History and Philosophy of Computing — Organisers: Liesbeth de Mol (Lille), Giuseppe Primiero (Middlesex) SAT-Solving — Organisers: Vijay Ganesh (Waterloo), Olaf Beyersdorff (Leeds) The speakers of the special sessions will be announced soon. CONTRIBUTED PAPERS: =================== Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: Eric Allender (Rutgers), Arnold Beckmann (Swansea), Marco Benini (Insubria), Olaf Beyersdorff (Leeds), Patricia Bouyer (Paris), Alessandra Carbone (Paris), Barbara Csima (Waterloo), Anuj Dawar (Cambridge), Henning Fernau (Trier), Ekaterina Fokina (Vienna), Peter Høyer (Calgary), Georgiana Ifrim (Dublin), Lila Kari (Waterloo), Elham Kashefi (Edinburgh), Karen Lange (Wellesley), Benedikt Löwe (Amsterdam), Barnaby Martin (Durham), Florin Manea (Kiel), Klaus Meer (Cottbus), Russell Miller (New York, co-chair), Angelo Montanari (Udine), Andrey Morozov (Novosibirsk), Anca Muscholl (Bordeaux), Dirk Nowotka (Kiel, co-chair), Arno Pauly (Bruxelles), Isabella Peters (Kiel), Giuseppe Primiero (Middlesex), Henning Schnoor (Kiel), Monika Seisenberger (Swansea), Shinnosuke Seki (Tokyo), Mariya Soskova (Wisconsin–Madison), Raymond Turner (Essex), Peter Van Emde Boas (Amsterdam), Heribert Vollmer (Hannover). The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. THE PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings at https://easychair.org/conferences/?conf=cie2018 . Papers must be submitted in PDF format, using the LNCS style (available at ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) and should have a maximum of 10 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. INFORMAL PRESENTATIONS: ======================= Continuing the tradition of past CiE conferences, in addition to the formal presentations based on the LNCS proceedings volume, CiE 2018 will host a track of informal presentations, that are prepared very shortly before the conference and inform the participants about current research and work in progress. The deadline for the submission of abstracts for informal presentations is May 1st, 2018. WOMEN IN COMPUTABILITY: ======================= We are very happy to announce that within the framework of the Women in Computability programme, sponsored by ACM-Women, we are able to offer four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2018. Applications for this grant should be sent to Liesbeth De Mol, liesbeth.demol at univ-lille3.fr, before 15 May 2018 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2018. Association CiE: http://www.computability.org.uk CiE Conference Series: http://www.computability.org.uk/index.php/cie-conference-series/ From grlmc at grlmc.com Tue Nov 7 00:57:53 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 07 Nov 2017 00:57:53 +0100 Subject: [fg-arc] TPNC 2017: call for posters Message-ID: <545102060a010b070654570703075a5353525102010400590a000c05570205515559500f005d030455500706050255@grlmc_ip-zone_com-6> TPNC 2017: 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 the Theory and Practice of Natural Computing (TPNC 2017) invites researchers to submit poster presentations. TPNC 2017 will be held in Prague on December 18-20, 2017. See  http://grammars.grlmc.com/TPNC2017/ 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 computational principles, models and techniques inspired by information processing in nature are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: November 11, 2017 Notification of poster acceptance or rejection: November 18, 2017 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=tpnc2017 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 proceedings volume of TPNC 2017. However, they will be eligible for submission to the post-conference journal special issue in BioSystems (Elsevier, 2015 JCR impact factor: 1.495). REGISTRATION At least one author of each accepted poster must register to the conference by December 4, 2017. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, coffee breaks, lunches). 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 jpg at ruc.dk Fri Nov 10 16:36:08 2017 From: jpg at ruc.dk (John Patrick Gallagher) Date: Fri, 10 Nov 2017 15:36:08 +0000 Subject: [fg-arc] FINAL Call For Papers and DEADLINE EXTENSION: FLOPS 2018: 14th International Symposium on Functional and Logic Programming Message-ID: <9EEABF4A-38A6-4431-8FEE-33555CDCEA05@ruc.dk> FINAL Call For Papers ========================= NOTE: DEADLINE EXTENSION ========================= FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 9-11 May, 2018, Nagoya, Japan http://www.sqlab.jp/FLOPS2018/ Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. Proceedings The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates 29 November 2017 (any time zone): Abstract Submission (extended) 4 December 2017 (any time zone): Submission deadline (extended) 29 January 2018: Author notification 9-11 May 2018: FLOPS Symposium Invited Speakers William E. Byrd, University of Utah, USA Zhenjiang Hu, National Institute of Informatics, SOKENDAI, Japan + 3rd speaker to be announced Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2018 Springer Guidelines https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Søndergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard University of Southern Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (PC co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politécnica de Valéncia, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (PC co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (PC co-chair) John Gallagher Roskilde University and IMDEA Software Institute (PC co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair) From marcello.balduccini at gmail.com Sat Nov 11 00:39:13 2017 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Fri, 10 Nov 2017 18:39:13 -0500 Subject: [fg-arc] KR 2018 Call for Papers Message-ID: <201711102339.vAANdDAj015370@coSAT.msgn> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** KR 2018 *** 16th International Conference on Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA) October 30-November 2, 2018 kr2018.org/ Co-located with DL 2018 [dl.kr.org/] and NMR 2018 [www.kr.org/NMR] KR 2018 IMPORTANT DATES ----------------------- * Submission of title and abstract: 13 May 2018 * Paper submission deadline: 20 May 2018 * Author response period: 25-27 June 2018 * Notification: 11 July 2018 * Camera-ready papers due: 3-10 August 2018 * Conference date: 30 October-2 November 2018 ------------------------ Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Contrary to previous editions, KR 2018 will also feature an open call for workshop and tutorial proposals. The deadline for submissions is 21 February 2018. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018. Please check the KR 2018 website for further information and updates. We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Papers must be submitted in AAAI style and PDF format. We invite two kinds of submissions: * full papers of up to 9 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page; submission of additional material (e.g. proofs) as separate documents is allowed, but this material should not form an integral part of the submission and will only be consulted at the discretion of reviewers, PC members and (area and program) chairs, as appropriate; * short papers describing applications, systems and/or demos, of up to 4 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page. TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief revision and update, belief merging, information fusion * Computational aspects of knowledge representation * Concept formation, similarity-based reasoning * Contextual reasoning * Description logics * Decision making * Explanation finding, diagnosis, causal reasoning, abduction * Inconsistency- and exception tolerant reasoning, paraconsistent logics * KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems * KR and game theory * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Multi- and order-sorted representations and reasoning * Nonmonotonic logics, default logics, conditional logics * Philosophical foundations of KR * Ontology formalisms and models * Preference modeling and representation, reasoning about preferences, * preference-based reasoning * Qualitative reasoning, reasoning about physical systems * Reasoning about actions and change, action languages, situation calculus, dynamic logic * Reasoning about knowledge and belief, epistemic and doxastic logics * Spatial reasoning and temporal reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics CONFERENCE CHAIRS ----------------- General: Frank Wolter (University of Liverpool, UK) Program: Michael Thielscher (The University of New South Wales, Australia) Francesca Toni (Imperial College London, UK) Local Organization: Joohyung Lee (Arizona State University, USA) Tran Cao Son (New Mexico State University, USA) Doctoral Consortium: Sebastian Rudolph (Technische Universit�t Dresden, Germany) Madalina Croitoru (University Montpellier II and INRIA, France) Workshop/tutorial Chairs: Sebastian Sardina (RMIT Melbourne, Australia) Ivan Varzinczak (Univ. Artois & CNRS, France) Sponsorship and Publicity: Marcello Balduccini (Saint Joseph's University, USA) Marco Maratea (University of Genova, Italy) From robert.heinrich at kit.edu Mon Nov 13 10:28:55 2017 From: robert.heinrich at kit.edu (Heinrich, Robert (IPD)) Date: Mon, 13 Nov 2017 09:28:55 +0000 Subject: [fg-arc] EMLS'18 Call for Papers In-Reply-To: <0b3a4dfc045e4fbba5eef9611055b4ea@kit-msx-31.kit.edu> References: <0b3a4dfc045e4fbba5eef9611055b4ea@kit-msx-31.kit.edu> Message-ID: Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf mehrfach erhalten! Call for Papers 5th Collaborative Workshop on Evolution and Maintenance of Long­Living Systems (EMLS18) http://emls.paluno.uni-due.de/2018/ zusammen mit Software Engineering 2018 https://se18.uni-ulm.de/ Ulm, 06.03.2018 Wichtige Daten: Einreichung von Beiträgen: 14.12.2017 23:59 Uhr CET Mitteilung über Annahme/Ablehnung: 14.01.2018 23:59 Uhr CET Einreichung finaler Beiträge: 24.01.2018 23:59 Uhr CET Workshop: 06.03.2018 Langlebige softwareintensive Systeme sind während ihrer Nutzung einer Vielzahl an Änderungen ihrer Anforderungen sowie ihres technologischen Kontextes ausgesetzt. Ziel des Workshops ist es unterschiedliche Sichtweisen und Erfahrungen beim Betrieb und der Evolution langlebiger softwareintensiver Systeme zusammenzubringen. Der Workshop bietet dazu ein Forum zur Diskussion von Problemstellungen, Lösungsansätzen und Evaluationsstrategien. So soll ein Austausch an Wissen unterstützt und eine Grundlage für Kooperationen geschaffen werden, welche die Bildung von zukünftigen gemeinschaftlichen Vorhaben zwischen Forschung und Industrie fördert. Angestrebt wird die Diskussion der vorgestellten Problemstellungen, Lösungsansätze und Evaluationsansätze in Kleingruppen. Die Beiträge und die Zusammenfassung wird voraussichtlich in der Reihe Softwaretechnik-Trends veröffentlicht. == Einreichung von Beiträgen == Es gibt drei Beitragsarten: (a) Konzeptionelle und technische Lösungsansätze zum Themenfeld des Workshops oder Beiträge, die deren Anwendung auf bestehende Fallstudien und Szenarien zeigt. (b) Skizzierung von Herausforderung mit dem Ziel diese besser zu ver- stehen und Kooperation zwischen Arbeitsgruppen und Forschern zu fördern. (c) Erfahrungsberichte aus Industrie und Forschung über Einsatz und Evaluation von Ansätzen unter realen Bedingungen, welche eine Reflexion von Herausforderungen und Lösungsansätzen erlaubt. Beiträge sind thematisch auf die Evolution und Wartung langlebiger Software-Systeme fokussiert. Eine nicht abschließende Liste bevorzugter Themen ist die Folgende: * Modellierungsaspekte langlebiger Software-Systeme * Implementierungsaspekte langlebiger Software-Systeme * Evolution von Software-Artefakten * Co-Evolution von Software-Artefakten * Traces zwischen Software-Artefakten zwecks Evolution und Wartung * Continuous Delivery * Development and Operation (DevOps) * Big-Data für Software-Evolution * Menschliche und technologische Faktoren in Continuous Software Evolution * Continuous Evolution, beispielsweise mit: * Container-basierten Platformen (z.B. Docker) * Microservices * User-Feedback Jeder Beitrag wird von mindestens drei Mitgliedern des Programmkomitees begutachtet. Beiträge umfassen maximal 4 Seiten (inkl. Referenzen) im Format der "Softwaretechnik-Trends" und werden in der Zeitschrift "Software- technik-Trends" der GI-Fachgruppe Softwaretechnik veröffentlicht. Wir stellen dazu eine Vorlage auf den Webseite des Workshops bereit. Die Beiträge werden im PDF-Format elektronisch über das EasyChair-System erwartet. Bitte nennen Sie in ihrer Einleitung explizit die Beitragsart (Problemstellung, Lösungsansatz oder Evaluationsstrategie). https://easychair.org/conferences/?conf=emls18 == Programmkomitee == Industrie: Moritz Balz, ista Int. GmbH; Heiko Koziolek, ABB Corporate Research; Klaus Krogmann, Citrix; Jochen Quante, Robert Bosch GmbH Forschung: André van Hoorn, Dušan Okanović, Uni Stuttgart; Pierluigi Plebani, POLIMI; Volker Riediger, Uni Koblenz-Landau; Stefan Sauer, Uni Paderborn; Bastian Tenbergen, Oswego State University of New York == Organisation == Robert Heinrich (Karlsruher Institut für Technologie) Reiner Jung (Universität Kiel) Marco Konersmann (Universität Duisburg-Essen) Eric Schmieders (Universität Duisburg-Essen) == Ansprechpartner == Robert Heinrich > -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: EMLS18-cfp.pdf Type: application/pdf Size: 80647 bytes Desc: EMLS18-cfp.pdf URL: From einarj at ifi.uio.no Mon Nov 13 18:01:37 2017 From: einarj at ifi.uio.no (Einar Broch Johnsen) Date: Mon, 13 Nov 2017 18:01:37 +0100 Subject: [fg-arc] CfP: SEFM 2018 Message-ID: <20171113170137.1ADC02291D7@vestur.ifi.uio.no> SEFM 2018: The 16th International Conference on Software Engineering and Formal Methods will be part of STAF 2018 in Toulouse, France, 27-29 June 2018. https://www.isf.cs.tu-bs.de/cms/events/sefm2018/ Twitter: @SEFM_conf ************************ CALL FOR PAPERS ************************ 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. *** TRACKS AND TOPICS OF INTEREST *** The topics of interest for submission include, but are not limited to, the following aspects of software engineering and formal methods: - Software development methods: requirement analysis, modeling, specification and design; light-weight and scalable formal methods; software evolution, maintenance, re-engineering and reuse. - Design principles: programming languages; domain specific languages; type theory; abstraction and refinement, correctness-by-construction - Software verification and testing: model checking, theorem proving and decision procedures; verification and validation; probabilistic verification and synthesis; testing. - Functional and non-functional system properties, such as safety-critical, fault-tolerant and secure systems; software certification; performance analysis and management, resource-constrained computing, energy-aware computing. - Design principles and analysis techniques for different system paradigms, such as self-adaptive, service-oriented and cloud computing systems; component-based, object-oriented and multi-agent systems; real-time, hybrid and embedded systems; reconfigurable and variant-rich systems, intelligent systems, e.g., based on machine learning algorithms - Application and technology transfer: case studies, best practices and experience reports; tool integration; education; HCI, interactive systems and human error analysis. Authors are invited to submit full research papers (up to 15 pages) describing original research results, case studies and tools; and short new ideas/work-in-progress papers (up to 6 pages) describing new approaches, techniques and/or tools that are not fully validated yet. We are planning to publish the proceedings in the Formal Methods subline of Springer's LNCS series. Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=nfm2018 Information about all committees can be found at https://www.isf.cs.tu-bs.de/cms/events/sefm2018/committees/. *** IMPORTANT DATES *** Abstract Submission: Friday 23 February 2018 Full Paper Submission: 2 March 2018 Notification: Monday 9 April 2018 Camera ready: Monday 23 April 2018 Conference: 27-29 June 2018 *** CO-CHAIRS *** Einar Broch Johnsen (University of Oslo, Norway) Ina Schaefer (Technische Universität Braunschweig, Germany) Website: https://www.isf.cs.tu-bs.de/cms/events/sefm2018 From M.Pavlidis at brighton.ac.uk Sun Nov 12 17:37:30 2017 From: M.Pavlidis at brighton.ac.uk (Michalis Pavlidis) Date: Sun, 12 Nov 2017 16:37:30 +0000 Subject: [fg-arc] CFP: IEEE 12th International Conference on Research Challenges in Information Science (RCIS 2018) Message-ID: <419F94D7-A9C6-44F4-A232-018FB8E0541B@brighton.ac.uk> CALL FOR PAPERS for the 12th IEEE International Conference on RESEARCH CHALLENGES IN INFORMATION SCIENCE 29-31 May 2018, Nantes, France Paper submission deadline: February 2nd, 2018 http://rcis-conf.com/ co-located with the 36th French conference INFORSID http://www.inforsid.fr/Nantes2018/ RCIS has become a recognized conference on research challenges in information science. The goal of RCIS is to bring together scientists, researchers, engineers and practitioners from a wide range of information science fields and provide opportunities for knowledge sharing and dissemination. Organized for the 12th time in a row, RCIS 2018 will be held from May 29-31, 2018. IMPORTANT DATES * Regular paper submission deadline: February 2nd, 2018 (23:59 Central European Time) * Author notification: March 28th, 2018 * Camera-ready deadline: April 13th, 2018 * Author registration deadline: April 13th, 2018 * RCIS 2018 Conference: May 29-31, 2018 TOPICS OF INTEREST At RCIS 2018, among other regular topics a particular attention will be given to the special topic: Enterprise of the future. This theme is intended to explore how Information Science, in terms of methods and tools, can help enterprises and organisations face a wide range of challenges, thanks to the power of Information. Indeed, enterprises need to be able to continually innovate as fast as (or faster than) their highly fluctuating environments and markets. However, complexity of information representation and exploitation, decision-making processes at multiple levels and their important often unforeseen - effects, drastically impact enterprises agility and innovation. How does Information Science currently influence the future of enterprises and how can it influence it in a more efficient and innovative way? What are the main strategic challenges? How can Information Sciences strengthen and become an unavoidable and fundamental pillar of the Enterprise of the Future? RCIS welcomes submissions from a diverse spectrum: the list of themes and topics includes, but is not limited to, the following themes and topics: Information Systems and their Engineering * Requirements Engineering * Software Engineering and Testing * Model-Driven Engineering * Information Systems Development Methods and Method Engineering User-Oriented Approaches * Human-Computer Interaction * Social Computing and Social Network Analysis * User-Centered Approaches * Collaborative Computing * Information Science and the Wisdom of the Crowd Data and Information Management * Databases and Information * Information Search and Discovery * Conceptual Modeling and Ontologies * Information Security and Risk Management * Big Data, Right Data Enterprise Engineering * Business Process Engineering and Reengineering * Process Mining * Enterprise Modeling * Information Science within Reengineering Scenarios * Context-aware Organizations Applications * E-Health * E-Government * E-Commerce * Web-Based Applications and Services * Smart Cities Business Intelligence * Big Data & Business Analytics * Decision Information Systems * Knowledge Management * Knowledge Discovery from Data * Information and Value Management Information Infrastructures * Cyber-Physical Systems * Web Information Systems * Grid Computing and Cloud Computing * Internet of Things * Pervasive and Mobile Computing Reflective Research and Practice * Research Methodologies in Information Science * Impact of Information on the Enterprise and the Individual * Lifecycle Models * Design Science and Rationale * Action Research and Case Studies in Information Science Tutorials, Doctoral Consortium, Posters and Demos will complement the main conference. An updated version of this call can always be found at http://rcis-conf.com/. SUBMISSION PROCESS Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2018. Papers should be in English and must be associated to one of the following categories: - Technical solution papers present solutions that are novel or significantly improve existing solutions. A technical solution paper must include a preliminary validation of the proposed solution, and results must be stated clearly enough so that it is possible to validate them in later research. Maximum page count is 12. - Evaluation papers evaluate existing problem situations or validate proposed solutions through scientific means, i.e. by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate. Maximum page count is 12. - Industrial practice and experience papers present problems or challenges encountered in practice, describe success or failure stories, or report on industrial practice. The practice must be clearly described and its context must be given. Maximum page count is 12. - Work in progress papers present relevant preliminary results that may not have been fully validated yet. The work presented should be advanced enough as to show its contribution and significance. Maximum page count is 6. The submission site address is https://easychair.org/conferences/?conf=rcis2018 By submitting a paper, authors implicitly agree that at least one of them will register to the conference and present the paper. It is expected that at least one author will register for each accepted paper. Only papers that have been presented by their authors during the conference will be published as part of the IEEE Proceedings. Accepted papers will be submitted to IEEE for publication in IEEE Xplore digital library using the IEEE 2-column format (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). CONFERENCE COMMITTEES General Chair: Marko Bajec, University of Ljubljana, Slovenia Program chairs: Haralambos Mouratidis, University of Brighton, UK Benedicte Le Grand, University Paris1 Panthéon-Sorbonne, France Organization chairs: Dalila Tamzalit, LS2N, University of Nantes France Alain Bernard, LS2N, Centrale Nantes, France ___________________________________________________________ This email has been scanned by MessageLabs' Email Security System on behalf of the University of Brighton. For more information see: https://staff.brighton.ac.uk/is/computing/Pages/Email/spam.aspx -------------- next part -------------- An HTML attachment was scrubbed... URL: From bogom.s at gmail.com Tue Nov 14 09:17:25 2017 From: bogom.s at gmail.com (Sergiy Bogomolov) Date: Tue, 14 Nov 2017 19:17:25 +1100 Subject: [fg-arc] Postdoctoral position in Hybrid Systems at the Australian National University Message-ID: <121f01d35d21$31ed1000$95c73000$@gmail.com> Cyber-Physical Systems Laboratory led by Dr Sergiy Bogomolov is seeking applications for a postdoctoral position on the topic "Verification of Hybrid Systems". The successful candidate will work on algorithms and techniques to support scalable verification of hybrid systems. Candidates working on adjacent topics, which contribute to the broad goal of ensuring safety of hybrid systems such as synthesis of hybrid systems, are encouraged to apply as well. Interest in investigating links between formal methods and areas of artificial intelligence such as AI planning and verification of machine learning algorithms is welcome. The successful candidate will have a PhD degree (or will be working towards its completion) in Computer Science, Applied Mathematics or a related discipline and be able to demonstrate an excellent research track record in the area of hybrid systems. The position is available immediately and will be open until a suitable candidate has been found. The initial duration of the position is two years and might be extended depending on the candidate's performance and funding availability. The candidate will be offered an internationally competitive salary (around 100K AUD/year + 17% superannuation). Please send a complete CV including information about your publications and reference writers as well as your motivation letter to Dr Sergiy Bogomolov (sergiy.bogomolov at anu.edu.au). For more information, please consult http://www.sergiybogomolov.com/. The Australian National University is a top ranked university (#20 world-wide according to QS world university ranking 2017) located in Canberra, the capital city of Australia. Canberra enjoys one of the highest quality of life in the world (most liveable city according to Regional Well-Being Report 2014 by OECD). -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Tue Nov 14 13:48:11 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 14 Nov 2017 13:48:11 +0100 Subject: [fg-arc] LATA 2018: extended submission deadline November 24 Message-ID: <545102060a010b07065e54070f055a52005754510302010207500a030f0f01525656015157095107035e0450025100@grlmc_ip-zone_com-6> LATA 2018: extended submission deadline November 24*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: November 24 ***** ------------------------------------------------------------------------------   ************************************************************************ 12th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2018   Bar-Ilan near Tel Aviv, Israel   April 8-12, 2018   Organized by:             Department of Computer Science Bar-Ilan University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/LATA2018/ ************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2018 will take place in Ramat Gan, in the district of Tel Aviv and home to one of the world's major diamond exchanges. The venue will be the Faculty of Exact Sciences of Bar-Ilan University.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2018 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Andrei Bulatov (Simon Fraser University), Constraint Satisfaction Problems and Their Complexity (tutorial)   Markus Lohrey (University of Siegen), Streaming Algorithms in Formal Language Theory   Alexander Okhotin (Saint Petersburg State University), tba   Eli Shamir (Hebrew University of Jerusalem), Reshaping the Context-free Model: Linguistic and Algorithmic Aspects   James Worrell (University of Oxford), Invariants for Linear Loops   PROGRAMME COMMITTEE:   Christel Baier (Technical University of Dresden, DE) Pablo Barceló (University of Chile, CL) Francine Blanchet-Sadri (University of North Carolina, Greensboro, US) Alexander Clark (King's College London, UK) Frank Drewes (Umeå University, SE) Manfred Droste (University of Leipzig, DE) Dora Giammarresi (University of Rome Tor Vergata, IT) Erich Grädel (RWTH Aachen University, DE) Peter Habermehl (Paris Diderot University, FR) Jeffrey Heinz (Stony Brook University, US) Pedro Rangel Henriques (University of Minho, PT) Christian Höner zu Siederdissen (University of Leipzig, DE) Hendrik Jan Hoogeboom (Leiden University, NL) David Janin (University of Bordeaux, FR) Marcin Jurdziński (University of Warwick, UK) Makoto Kanazawa (National Institute of Informatics, JP) Jarkko Kari (University of Turku, FI) Shmuel Tomi Klein (Bar-Ilan University, IL) Salvatore La Torre (University of Salerno, IT) Salvador Lucas (Polytechnic University of Valencia, ES) Stuart W. Margolis (Bar-Ilan University, IL) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Fernando Orejas (Polytechnic University of Catalonia, ES) Paritosh K. Pandya (Tata Institute of Fundamental Research, IN) Gennaro Parlato (University of Southampton, UK) Dominique Perrin (University Paris-Est Marne-la-Vallée, FR) Detlef Plump (University of York, UK) Matteo Pradella (Polytechnic University of Milan, IT) Arend Rensink (University of Twente, NL) Kai Salomaa (Queen's University, CA) Sven Schewe (University of Liverpool, UK) Helmut Seidl (Technical University of Munich, DE) William F. Smyth (McMaster University, CA) Jiri Srba (Aalborg University, DK) Benjamin Steinberg (City College of New York, US) Frank Stephan (National University of Singapore, SG) K.G. Subramanian (University Sains Malaysia, MY) Klaus Sutner (Carnegie Mellon University, US) Menno van Zaanen (Tilburg University, NL) Margus Veanes (Microsoft Research, US) Éric Villemonte de la Clergerie (INRIA, FR) Mahesh Viswanathan (University of Illinois, Urbana-Champaign, US) Mikhail Volkov (Ural State University, RU)   ORGANIZING COMMITTEE:   Shmuel Tomi Klein (Ramat Gan, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Manuel Jesús Parra Royón (Granada) Dana Shapira (Ariel) David Silva (London)   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). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2018   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of the journal Information and Computation (Elsevier, 2016 JCR impact factor: 1.05) 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://grammars.grlmc.com/LATA2018/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: November 24, 2017 – EXTENDED – Notification of paper acceptance or rejection: December 24, 2017 Final version of the paper for the LNCS proceedings: January 4, 2018 Early registration: January 4, 2018 Late registration: March 25, 2018 Submission to the journal special issue: July 12, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   LATA 2018 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   אוניברסיטת בר-אילן Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sat Nov 18 12:55:18 2017 From: grlmc at grlmc.com (GRLMC) Date: Sat, 18 Nov 2017 12:55:18 +0100 Subject: [fg-arc] HighPer 2018: early registration December 5 Message-ID: <545102060a010b0707525504060b5a01070003070553535057570e025202510706535406560c015606535000005103@grlmc_ip-zone_com-6> HighPer 2018: early registration December 5*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *****************************************************************************   INTERNATIONAL SPRING SCHOOL ON HIGH PERFORMANCE COMPUTING   HighPer 2018   San Sebastián / Donostia, Spain   April 23-27, 2018   Organized by:   Materials Physics Center (CSIC-UPV/EHU), Donostia International Physics Center (DIPC), and Rovira i Virgili University   http://grammars.grlmc.com/HighPer2018/   *****************************************************************************   --- Early registration deadline: December 5, 2017 ---   *****************************************************************************   SCOPE:   HighPer 2018 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 high performance computing, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of high performance computing will be displayed, from foundations, infrastructure and management to applications. Major challenges in the field will be identified through 2 keynote lectures, 24 five-hour and fifteen-minute 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 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, HighPer 2018 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:   HighPer 2018 will take place in San Sebastián, a famous touristic coastal city in the Basque Country which was European Capital of Culture 2016. The venue will be:   Centro Ignacio María Barriola Universidad del País Vasco / Euskal Herriko Unibertsitatea Campus de Gipuzkoa Plaza Elhuyar, 1 20018 San Sebastián / Donostia Spain   KEYNOTE SPEAKERS: (to be completed)   Federico Calzolari (Scuola Normale Superiore), Supercomputing: From CERN to Our Lives   PROFESSORS AND COURSES: (to be completed)   Srinivas Aluru (Georgia Institute of Technology), [intermediate] High Performance Computational Biology   Ümit V. Çatalyürek (Georgia Institute of Technology), [introductory/intermediate] HPC Graph Analytics   Alan Edelman (Massachusetts Institute of Technology), [introductory] High Performance Computing on Parallel Computers and GPUs with Julia   Richard Fujimoto (Georgia Institute of Technology), [intermediate] Parallel Discrete Event Simulation   Alfio Lazzaro (University of Zurich), [introductory/intermediate] Code Performance Optimizations   Frank Mueller (North Carolina State University), [advanced] Embracing the Exascale Challenge: From Accelerators over Scalable Program Tracing to Resilience   Viktor K. Prasanna (University of Southern California), tba   J. (Ram) Ramanujam (Louisiana State University), tba   Adrian Sandu (Virginia Polytechnic Institute and State University), tba   El-Ghazali Talbi (University of Lille 1), [] Parallel Metaheuristics for Optimization and Machine Learning   Todd J. Treangen (University of Maryland, College Park), [intermediate] Metagenomic Assembly and Validation   Elena Vataga (University of Southampton), [introductory] Hands-on Introduction to HPC for Life Scientists   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.silva409 (at) yahoo.com by April 16, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of high performance computing 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 should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in high performance computing will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   ORGANIZING COMMITTEE:   Íñigo Aldazabal Mensa (co-chair) Carlos Martín-Vide (co-chair) Manuel J. Parra-Royón Txomin Romero Asturiano (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/HighPer2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For logistic reasons, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Centro de Física de Materiales (CSIC-UPV/EHU) Donostia International Physics Center (DIPC) Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Sun Nov 19 18:07:01 2017 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Sun, 19 Nov 2017 18:07:01 +0100 Subject: [fg-arc] Bis 24.11. einreichen: 4. Workshop Modellbasierte und modellgetriebene Softwaremodernisierung (MMSM 2018) @ Modellierung 2018 Message-ID: <11efa631-5808-64a2-c1e4-265ede0644b2@uni-paderborn.de> Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Einreichung von Beiträgen mehrfach erhalten! Nur noch wenige Tage --- Einreichungsfrist: 24. November 2017 _______________________________________________________________ *4. Workshop „Modellbasierte und modellgetriebene Softwaremodernisierung“* *(MMSM 2018)* _______________________________________________________________ gemeinsamer Workshop der Arbeitskreise „Langlebige Software-Systeme“ (L2S2), „Modellgetriebene Software-Entwicklung“ (MDA) und „Traceability/Evolution“ http://akl2s2.ipd.kit.edu/veranstaltungen/mmsm2018/ im Rahmen der Konferenz Modellierung 2018 21. – 23. Februar 2018 in Braunschweig https://modellierung2018.wordpress.com/ Aufruf zur Einreichung von Beiträgen Forderungen nach permanenter Änderbarkeit und nach verbesserten Qualitätseigenschaften von Softwaresystemen wie Performanz, Sicherheit und Zuverlässigkeit erfordern umfangreiche und regelmäßige Modernisierungsmaßnahmen. Zur Modernisierung zählen sowohl die Migration auf eine neue technische Plattform oder in eine andere Einsatzumgebung (Portierung) als auch Anpassung der Software zur Erfüllung geänderter funktionaler und nicht-funktionaler Anforderungen (Wartung oder Erweiterung). Diese Forderungen werden umso drängender, je wichtiger diese Systeme für Geschäftsprozesse und Produkte sind. Wegen der Kritikalität und der Größe vieler Systeme beinhaltet die Modernisierung sehr komplexe Aufgaben mit hohen Kosten und großen Risiken. Die Verwendung von Modellen kann helfen, die Komplexität zu beherrschen und durch frühzeitige Bewertung von Qualitätseigenschaften die Risiken zu verringern. Der Workshop dient der Identifikation neuer Forschungstrends auf Basis des aktuellen industriellen Bedarfs, der Suche nach geeigneten Ansätzen zur Problemlösung sowie zum Austausch von Erfahrungen mit modellbasierten und modellgetriebenen Techniken und Methoden für die Softwaremodernisierung. Er richtet sich an Wissenschafter und Praktiker. Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: • Verbindung von Architekturmodellierung mit Anforderungsbeschreibung und Implementierung • Transformationen von Architekturmodellen • Methoden des Architektur-Reengineering • Visualisierung von Architekturen • Modellbasiertes Refactoring • Architekturqualität • Reengineering-Entscheidungen • Modellierung von Traceability im Reengineering • Konsistenzsicherung zwischen Anforderungen, Modellen und Code beim Roundtrip-Engineering • Modellbasierte Komponenteninteroperabilitätsprüfung und -adaption • Modellbasierte Integration und Migration *Einreichungen und Publikation* Zum Workshop können sowohl wissenschaftlich-technische Beiträge als auch Praxis-/Erfahrungsberichte eingereicht werden. Sie sollen eine Länge von 6–12 Seiten im LNI-Format (https://www.gi.de/service/publikationen/lni/autorenrichtlinien.html) haben. Die eingereichten Beiträge werden von einem Programmkomitee begutachtet und für den Workshop ausgewählt. Die elektronische Einreichung der Beiträge im PDF-Format und die Begutachtung erfolgen über den zugehörigen Track der Modellierung 2018 in EasyChair: https://easychair.org/conferences/?conf=modellierung2018. Die akzeptierten Beiträge werden elektronisch im Workshop-Band der Modellierung 2018 publiziert (CEUR-WS). *Workshop-Format* Der eintägige Workshop im Programm der Konferenz „Modellierung 2018“ bietet neben Präsentationen der akzeptierten Beiträge Raum für viele Diskussionen. Insbesondere sollen mit den Teilnehmern/-innen aktuelle Forschungsfragen und Themen der Softwaremodernisierung in Wissenschaft und Praxis diskutiert werden. Eröffnet wird das Programm durch einen eingeladenen Vortrag. *Termine* Einreichung der Beiträge: 24. November 2017 Benachrichtigung der Autoren: 18. Dezember 2017 Einreichung der Endfassung: 10. Januar 2018 Workshop: 21. Februar 2018 *Organisatoren* Stefan Sauer, Universität Paderborn [Kontakt] Steffen Becker, Universität Stuttgart Robert Heinrich, KIT Karlsruhe Marco Konersmann, Universität Duisburg-Essen Matthias Riebisch, Universität Hamburg *Kontakt*: sauer at uni-paderborn.de -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5450 bytes Desc: S/MIME Cryptographic Signature URL: From cesar.a.munoz at nasa.gov Tue Nov 21 16:24:58 2017 From: cesar.a.munoz at nasa.gov (Munoz, Cesar (LARC-D320)) Date: Tue, 21 Nov 2017 15:24:58 +0000 Subject: [fg-arc] [fm-announcements] NFM 2018 - Final Call for Papers Message-ID: <92EC25B3-4617-4C70-980F-D91D64762AF6@nasa.gov> NFM 2018 - Call for Papers *** FINAL CALL FOR PAPERS *** The 10th NASA Formal Methods Symposium 30 Years of Formal Methods at NASA ------------------------------------- https://shemesh.larc.nasa.gov/NFM2018/ April 17-19, 2018 Newport News Marriott at City Center Newport News, VA, USA 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 Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems. The focus of the symposium will be 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. Topics of interest include but are not limited to: ------------------------------------------------- * Formal verification, including theorem proving, model checking, and static analysis * Advances in automated theorem proving including SAT and SMT solving * Use of formal methods in software and system testing * Run-time verification * Techniques and algorithms for scaling formal methods such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques * Code generation from formally verified models * Safety cases and system safety * Formal approaches to fault tolerance * Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems * Formal methods in systems engineering and model-based development * Formalization of mathematics and physics Submission Details ------------------ There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (maximum 15 pages) 2. Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages) All papers must be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by at least three members of the Program Committee. Papers will appear in a volume of Springer's Lecture Notes in Computer Science (LNCS), and must use LNCS style formatting (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=nfm2018 Authors of selected best papers will be invited to submit an extended version to a special issue in Springer's Innovations in Systems and Software Engineering: A NASA Journal (http://www.springer.com/computer/swe/journal/11334). Important Dates --------------- Abstract Submission: December 1, 2017 ** Extended ** Paper Submission: December 11, 2017 ** Extended ** Paper Notification: January 23, 2018 Camera Ready Deadline: February 6, 2018 Symposium: April 17-19, 2018 Program Committee ---------------- Erika Abraham, RWTH Aachen University, Germany Mauricio Ayala-Rincon, Universidade de Brasilia, Brazil Julia Badger, NASA, USA Dirk Beyer, LMU Munich, Germany Nikolaj Bjorner, Microsoft, USA Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, The Netherlands Sylvie Boldo, Inria, France Kalou Cabrera Castillos, LAAS-CNRS, France Misty Davies, NASA, USA Catherine Dubois, ENSIIE, France Stefania Gnesi, ISTI, Italy Alberto Griggio, FBK, Itlaly George Hagen, NASA, USA John Harrison, Intel, USA Klaus Havelund, JPL/NASA, USA Ashlie Hocking, Dependable Computing, USA Susmit Jha, SRI International, USA Rajeev Joshi, JPL/NASA, USA Laura Kovacs, Vienna University of Technology, Austria Panagiotis Manolios, Northeastern University, USA Natasha Neogi, NASA, USA Lee Pike, USA Murali Rangarajan, Boeing, USA Elvinia Riccobene, University of Milan, Italy Camilo Rocha, Universidad Javeriana de Cali, Colombia Kristin Yvonne Rozier, Iowa State University, USA Sriram Sankaranarayanan, University of Colorado Boulder, USA Johann Schumann, SGT, USA Konrad Slind, Rockwell Collins, USA Cesare Tinelli, University of Iowa, USA Laura Titolo, National Institute of Aerospace, USA Christoph Torens, DLR, Germany Michael Whalen, University of Minnesota, USA Virginie Wiels, ONERA, France Organizing Committee ---------------- Anthony Narkawicz (Conference Chair) Aaron Dutle (Program Committee Co-Chair) Cesar Munoz (Program Committee Co-Chair) Location -------- The symposium will take place at Newport News Marriott at City Center, Newport News, VA, USA. Registration is required but is free of charge. Contact -------- Email: nfm2018 [at] easychair [dot] org Web: https://shemesh.larc.nasa.gov/NFM2018/ --- 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 sauer at uni-paderborn.de Sat Nov 25 16:00:17 2017 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Sat, 25 Nov 2017 16:00:17 +0100 Subject: [fg-arc] Bis 24.11. einreichen: 4. Workshop Modellbasierte und modellgetriebene Softwaremodernisierung (MMSM 2018) @ Modellierung 2018 Message-ID: <45d6a4f5-fbf5-2fff-67dd-416bc19bc9a1@uni-paderborn.de> Sehr geehrte Kolleginnen und Kollegen, in Abstimmung mit den Organisatoren der Modellierung 2018 wurde für alle Workshops die Einreichung für Papiere bis zum 1. Dezember 2017 verlängert! Bitte entschuldigen Sie, falls Sie diese E- mehrfach erhalten! Nur noch wenige Tage --- Einreichungsfrist: 1. Dezember 2017 _______________________________________________________________ *4. Workshop „Modellbasierte und modellgetriebene Softwaremodernisierung“* *(MMSM 2018)* _______________________________________________________________ gemeinsamer Workshop der Arbeitskreise „Langlebige Software-Systeme“ (L2S2), „Modellgetriebene Software-Entwicklung“ (MDA) und „Traceability/Evolution“ http://akl2s2.ipd.kit.edu/veranstaltungen/mmsm2018/ im Rahmen der Konferenz Modellierung 2018 21. – 23. Februar 2018 in Braunschweig https://modellierung2018.wordpress.com/ Aufruf zur Einreichung von Beiträgen Forderungen nach permanenter Änderbarkeit und nach verbesserten Qualitätseigenschaften von Softwaresystemen wie Performanz, Sicherheit und Zuverlässigkeit erfordern umfangreiche und regelmäßige Modernisierungsmaßnahmen. Zur Modernisierung zählen sowohl die Migration auf eine neue technische Plattform oder in eine andere Einsatzumgebung (Portierung) als auch Anpassung der Software zur Erfüllung geänderter funktionaler und nicht-funktionaler Anforderungen (Wartung oder Erweiterung). Diese Forderungen werden umso drängender, je wichtiger diese Systeme für Geschäftsprozesse und Produkte sind. Wegen der Kritikalität und der Größe vieler Systeme beinhaltet die Modernisierung sehr komplexe Aufgaben mit hohen Kosten und großen Risiken. Die Verwendung von Modellen kann helfen, die Komplexität zu beherrschen und durch frühzeitige Bewertung von Qualitätseigenschaften die Risiken zu verringern. Der Workshop dient der Identifikation neuer Forschungstrends auf Basis des aktuellen industriellen Bedarfs, der Suche nach geeigneten Ansätzen zur Problemlösung sowie zum Austausch von Erfahrungen mit modellbasierten und modellgetriebenen Techniken und Methoden für die Softwaremodernisierung. Er richtet sich an Wissenschafter und Praktiker. Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: • Verbindung von Architekturmodellierung mit Anforderungsbeschreibung und Implementierung • Transformationen von Architekturmodellen • Methoden des Architektur-Reengineering • Visualisierung von Architekturen • Modellbasiertes Refactoring • Architekturqualität • Reengineering-Entscheidungen • Modellierung von Traceability im Reengineering • Konsistenzsicherung zwischen Anforderungen, Modellen und Code beim Roundtrip-Engineering • Modellbasierte Komponenteninteroperabilitätsprüfung und -adaption • Modellbasierte Integration und Migration *Einreichungen und Publikation* Zum Workshop können sowohl wissenschaftlich-technische Beiträge als auch Praxis-/Erfahrungsberichte eingereicht werden. Sie sollen eine Länge von 6–12 Seiten im LNI-Format (https://www.gi.de/service/publikationen/lni/autorenrichtlinien.html) haben. Die eingereichten Beiträge werden von einem Programmkomitee begutachtet und für den Workshop ausgewählt. Die elektronische Einreichung der Beiträge im PDF-Format und die Begutachtung erfolgen über den zugehörigen Track der Modellierung 2018 in EasyChair: https://easychair.org/conferences/?conf=modellierung2018. Die akzeptierten Beiträge werden elektronisch im Workshop-Band der Modellierung 2018 publiziert (CEUR-WS). *Workshop-Format* Der eintägige Workshop im Programm der Konferenz „Modellierung 2018“ bietet neben Präsentationen der akzeptierten Beiträge Raum für viele Diskussionen. Insbesondere sollen mit den Teilnehmern/-innen aktuelle Forschungsfragen und Themen der Softwaremodernisierung in Wissenschaft und Praxis diskutiert werden. Eröffnet wird das Programm durch einen eingeladenen Vortrag. *Termine* Einreichung der Beiträge: 01. Dezember 2017 (NEU!) Benachrichtigung der Autoren: 18. Dezember 2017 Einreichung der Endfassung: 10. Januar 2018 Workshop: 21. Februar 2018 *Organisatoren* Stefan Sauer, Universität Paderborn [Kontakt] Steffen Becker, Universität Stuttgart Robert Heinrich, KIT Karlsruhe Marco Konersmann, Universität Duisburg-Essen Matthias Riebisch, Universität Hamburg *Kontakt*: sauer at uni-paderborn.de -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5450 bytes Desc: S/MIME Cryptographic Signature URL: From sauer at uni-paderborn.de Sat Nov 25 16:02:46 2017 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Sat, 25 Nov 2017 16:02:46 +0100 Subject: [fg-arc] =?utf-8?q?Einreichungsfrist_verl=C3=A4ngert_bis_01=2E12?= =?utf-8?q?=2E=3A_4=2E_Workshop_Modellbasierte_und_modellgetriebene_Softwa?= =?utf-8?q?remodernisierung_=28MMSM_2018=29_=40_Modellierung_2018?= Message-ID: <87b82b92-eea5-0c15-5c70-6368b879b581@uni-paderborn.de> Sehr geehrte Kolleginnen und Kollegen, in Abstimmung mit den Organisatoren der Modellierung 2018 wurde für alle Workshops die Einreichung für Papiere bis zum 1. Dezember 2017 verlängert! Bitte entschuldigen Sie, falls Sie diese E- mehrfach erhalten! Nur noch wenige Tage --- Einreichungsfrist: 1. Dezember 2017 _______________________________________________________________ *4. Workshop „Modellbasierte und modellgetriebene Softwaremodernisierung“* *(MMSM 2018)* _______________________________________________________________ gemeinsamer Workshop der Arbeitskreise „Langlebige Software-Systeme“ (L2S2), „Modellgetriebene Software-Entwicklung“ (MDA) und „Traceability/Evolution“ http://akl2s2.ipd.kit.edu/veranstaltungen/mmsm2018/ im Rahmen der Konferenz Modellierung 2018 21. – 23. Februar 2018 in Braunschweig https://modellierung2018.wordpress.com/ Aufruf zur Einreichung von Beiträgen Forderungen nach permanenter Änderbarkeit und nach verbesserten Qualitätseigenschaften von Softwaresystemen wie Performanz, Sicherheit und Zuverlässigkeit erfordern umfangreiche und regelmäßige Modernisierungsmaßnahmen. Zur Modernisierung zählen sowohl die Migration auf eine neue technische Plattform oder in eine andere Einsatzumgebung (Portierung) als auch Anpassung der Software zur Erfüllung geänderter funktionaler und nicht-funktionaler Anforderungen (Wartung oder Erweiterung). Diese Forderungen werden umso drängender, je wichtiger diese Systeme für Geschäftsprozesse und Produkte sind. Wegen der Kritikalität und der Größe vieler Systeme beinhaltet die Modernisierung sehr komplexe Aufgaben mit hohen Kosten und großen Risiken. Die Verwendung von Modellen kann helfen, die Komplexität zu beherrschen und durch frühzeitige Bewertung von Qualitätseigenschaften die Risiken zu verringern. Der Workshop dient der Identifikation neuer Forschungstrends auf Basis des aktuellen industriellen Bedarfs, der Suche nach geeigneten Ansätzen zur Problemlösung sowie zum Austausch von Erfahrungen mit modellbasierten und modellgetriebenen Techniken und Methoden für die Softwaremodernisierung. Er richtet sich an Wissenschafter und Praktiker. Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: • Verbindung von Architekturmodellierung mit Anforderungsbeschreibung und Implementierung • Transformationen von Architekturmodellen • Methoden des Architektur-Reengineering • Visualisierung von Architekturen • Modellbasiertes Refactoring • Architekturqualität • Reengineering-Entscheidungen • Modellierung von Traceability im Reengineering • Konsistenzsicherung zwischen Anforderungen, Modellen und Code beim Roundtrip-Engineering • Modellbasierte Komponenteninteroperabilitätsprüfung und -adaption • Modellbasierte Integration und Migration *Einreichungen und Publikation* Zum Workshop können sowohl wissenschaftlich-technische Beiträge als auch Praxis-/Erfahrungsberichte eingereicht werden. Sie sollen eine Länge von 6–12 Seiten im LNI-Format (https://www.gi.de/service/publikationen/lni/autorenrichtlinien.html) haben. Die eingereichten Beiträge werden von einem Programmkomitee begutachtet und für den Workshop ausgewählt. Die elektronische Einreichung der Beiträge im PDF-Format und die Begutachtung erfolgen über den zugehörigen Track der Modellierung 2018 in EasyChair: https://easychair.org/conferences/?conf=modellierung2018. Die akzeptierten Beiträge werden elektronisch im Workshop-Band der Modellierung 2018 publiziert (CEUR-WS). *Workshop-Format* Der eintägige Workshop im Programm der Konferenz „Modellierung 2018“ bietet neben Präsentationen der akzeptierten Beiträge Raum für viele Diskussionen. Insbesondere sollen mit den Teilnehmern/-innen aktuelle Forschungsfragen und Themen der Softwaremodernisierung in Wissenschaft und Praxis diskutiert werden. Eröffnet wird das Programm durch einen eingeladenen Vortrag. *Termine* Einreichung der Beiträge: 01. Dezember 2017 (NEU!) Benachrichtigung der Autoren: 18. Dezember 2017 Einreichung der Endfassung: 10. Januar 2018 Workshop: 21. Februar 2018 *Organisatoren* Stefan Sauer, Universität Paderborn [Kontakt] Steffen Becker, Universität Stuttgart Robert Heinrich, KIT Karlsruhe Marco Konersmann, Universität Duisburg-Essen Matthias Riebisch, Universität Hamburg *Kontakt*: sauer at uni-paderborn.de -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5450 bytes Desc: S/MIME Cryptographic Signature URL: From grlmc at grlmc.com Fri Nov 24 14:26:47 2017 From: grlmc at grlmc.com (GRLMC) Date: Fri, 24 Nov 2017 14:26:47 +0100 Subject: [fg-arc] BigDat 2018: early registration December 4 Message-ID: <545102060a010b070856520400005a56045304515050550757035f010507020301570105040e5502045456050e5150@grlmc_ip-zone_com-6> BigDat 2018: early registration December 4*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *******************************************************   4th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2018   Timișoara, Romania   January 22-26, 2018   Organized by: West University of Timișoara Rovira i Virgili University   http://grammars.grlmc.com/BigDat2018/   *******************************************************   --- Early registration deadline: December 4, 2017 ---   *******************************************************   SCOPE:   BigDat 2018 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 big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 25 five-hour and fifteen-minute 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. Also, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master 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, BigDat 2018 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:   BigDat 2018 will take place in Timișoara, which has been nominated one of the European Capitals of Culture in 2021. The venue will be:   Universitatea de Vest Blvd. Vasile Parvân, nr. 4 300223 Timișoara   KEYNOTE SPEAKERS: (to be completed)   tba   PROFESSORS AND COURSES:   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics   Diego Calvanese (Free University of Bozen-Bolzano), [intermediate] tba   Nick Duffield (Texas A&M University), [introductory/intermediate] Sampling for Big Data   Sašo Džeroski (Jožef Stefan Institute), [introductory/intermediate] Multi-target Prediction: Techniques and Applications   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Integration of HPC, Big Data Analytics and Software Ecosystem   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Data Streaming Analytics   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Semantic Technologies for Open Data Publishing   Bing Liu (University of Illinois, Chicago), [intermediate/advanced] Lifelong Learning and its Applications in NLP   B.S. Manjunath (University of California, Santa Barbara), [introductory] Unstructured (Big) Data   Folker Meyer (Argonne National Laboratory), [introductory/intermediate] Efficient Multi Cloud Execution of Reproducible Data Analytics using Common Workflow Language, AWE and SHOCK   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Fionn Murtagh (University of Huddersfield), [introductory/advanced] The New Science of Big Data Analytics, Based on the Geometry and the Topology of Complex, Hierarchic Systems   Raymond Ng (University of British Columbia), [introductory] Mining and Summarizing Text Conversations   Srinivasan Parthasarathy (Ohio State University), [introductory/intermediate] Network Science Fundamentals   Hanan Samet (University of Maryland, College Park), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services   Kyuseok Shim (Seoul National University), [introductory/intermediate] MapReduce Algorithms for Big Data Analysis   Jaideep Srivastava (Qatar Computing Research Institute), [introductory/intermediate] Social Computing   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Pascal Van Hentenryck (University of Michigan, Ann Arbor), [intermediate] Big Data in Transportation and Mobility   Sebastián Ventura (University of Córdoba), [intermediate/advanced] Pattern Mining on Big Data   Haixun Wang (Facebook), [intermediate/advanced] Understanding Natural Language: End-to-end and Structure Learning Approaches   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Mining Big Networked Data   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Media Data Learning and Knowledge Discovery   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.silva409 (at) yahoo.com by January 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Viorel Negru Manuel J. Parra Royón Dana Petcu Monica Sancira (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/BigDat2018/registration.php   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 approximation 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 if the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universitatea de Vest din Timișoara Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From jpg at ruc.dk Fri Nov 24 21:12:06 2017 From: jpg at ruc.dk (John Patrick Gallagher) Date: Fri, 24 Nov 2017 20:12:06 +0000 Subject: [fg-arc] Second call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation In-Reply-To: <4A3ED2AE-2291-4E95-A78F-A50DC414E87B@ruc.dk> References: <4A3ED2AE-2291-4E95-A78F-A50DC414E87B@ruc.dk> Message-ID: <6FADE674-B2BF-4B0C-AB9B-428DE12176DA@ruc.dk> SECOND CALL FOR PAPERS Sixth International Workshop on Verification and Program Transformation April 21st 2018, Thessaloniki, Greece Co-Located with ETAPS 2018 The Sixth International Workshop on Verification and Program Transformation (VPT 2018) aims to bring together researchers working in the areas of Program Verification and Program Transformation. The previous workshops in this series were: VPT 2013, Saint Petersburg, Russia VPT 2014, Vienna, Austria VPT 2015, London, UK VPT 2016, Eindhoven, The Netherlands VPT 2017, Uppsala, Sweden The workshop solicits research, position, application, and system description papers with a special emphasis on case studies, demonstrating viability of the interactions between the research fields of program transformation and program verification in a broad sense. Also papers in related areas, such as program testing and program synthesis are welcomed. Topics of interest include, but are not limited to: Verification by Program Transformation Verification Techniques in Program Transformation and Synthesis Verification and Certification of Programs Transformations Program Analysis and Transformation Program Testing and Transformation Verifiable Computing and Program Transformation Case studies Important Dates January 16th, 2018: Abstract submission deadline January 22nd, 2018: Paper submission deadline February 19th, 2018: Acceptance notification February 25th, 2018: Camera ready version (for the pre-proceedings) April 21st, 2018: Workshop Submission Guidelines Authors should submit an electronic copy of the paper in PDF, formatted in the Electronic Proceedings in Theoretical Computer Science LaTeX Style (http://style.eptcs.org/), via the Easychair submission website for VPT 2018 : https://easychair.org/conferences/?conf=vpt2018 Papers must describe original work that has not been published, or currently submitted, to a journal, conference, or workshop with refereed proceedings. Also papers that already appeared in unpublished or informally published workshop proceedings may be submitted. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords that will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions should not exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Proceedings The post-proceedings will be published in the Electronic Proceedings in Theoretical Computer (EPTCS) series (http://about.eptcs.org/), as was done for previous editions of VPT. If the workshop attracts sufficiently many high quality papers, a special issue of a journal on the topic of the workshop will be considered. The special issue will be open to high quality papers accepted for presentation in previous editions of the workshop. Program Committee: Emanuele De Angelis, University G.d'Annunzio of Chieti-Pescara, Italy Olivier Danvy, Yale-NUS College, Singapore John Gallagher, Roskilde University and IMDEA Software Institute, Denmark and Spain (Chair) Robert Glueck, University of Copenhagen, Denmark Geoff W. Hamilton, Dublin City University, Republic of Ireland Bishoksan Kafle, The University of Melbourne, Australia Julia Lawall, INRIA Paris, France Alexei Lisitsa, The University of Liverpool, UK Andrei P. Nemytykh, Program Systems Institute of RAS, Russia Maurizio Proietti, IASI-CNR, Rome, Italy C. R. Ramakrishnan, Stony Brook University, USA Kostis Sagonas, Uppsala University, Sweden Hirohisa Seki, Nagoya Institute of Technology, Japan Organisers: Alexei Lisitsa (The University of Liverpool, UK) Andrei P. Nemytykh (Program Systems Institute of RAS, Russia) John Gallagher (Roskilde University and IMDEA Software Institute) Contacts E-mail: Alexei Lisitsa, a.lisitsa at csc.liv.ac.uk Andrei P. Nemytykh, nemytykh at math.botik.ru John Gallagher, jpg at ruc.dk Web: http://refal.botik.ru/vpt/vpt2018/, http://www.etaps.org/index.php/2018/workshops From jpg at ruc.dk Sun Nov 26 21:53:58 2017 From: jpg at ruc.dk (John Patrick Gallagher) Date: Sun, 26 Nov 2017 20:53:58 +0000 Subject: [fg-arc] FINAL Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Reply-To: References: <7CDF2833-152A-4540-9B24-BE2664254947@ruc.dk> Message-ID: FINAL Call For Papers ================================== NOTE: DEADLINE EXTENSION ================================== FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 9-11 May, 2018, Nagoya, Japan http://www.sqlab.jp/FLOPS2018/ Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. Proceedings The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates 29 November 2017 (any time zone): Abstract Submission (extended, optional) 4 December 2017 (any time zone): Submission deadline (extended) 29 January 2018: Author notification 9-11 May 2018: FLOPS Symposium Invited Speakers William E. Byrd, University of Utah, USA Zhenjiang Hu, National Institute of Informatics, SOKENDAI, Japan + 3rd speaker to be announced Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2018 Springer Guidelines https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Søndergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard University of Southern Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (PC co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politécnica de Valéncia, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (PC co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (PC co-chair) John Gallagher Roskilde University and IMDEA Software Institute (PC co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair) From marcello.balduccini at gmail.com Mon Nov 27 15:19:21 2017 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Mon, 27 Nov 2017 09:19:21 -0500 Subject: [fg-arc] KR18 - Call for Tutorial and Workshop Proposals Message-ID: <201711271419.vAREJLvE007277@coSAT.msgn> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] KR18 - Call for Tutorial and Workshop Proposals ** Apologies if you receive multiple copies of this call ** ** Please distribute to interested parties ** ======================================== Call for Tutorial and Workshop Proposals 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) Tempe, Arizona (USA) Workshop/Tutorial dates: 27-29 October 2018 KR main program: 30 October to 2 November 2018 http://kr2018.org/ *** Deadline (for proposal submissions): 21 February 2018 *** For its 2018 edition, KR will solicit proposals for both the Tutorial and Workshop tracks. Tutorials and workshops will be held from 27 to 29 October 2018, prior to the KR main technical program, which will run from 30 October to 1 November 2018. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference. ** SUBMISSION INSTRUCTIONS ** Each proposal (tutorial or workshop) should be in English and must be submitted electronically using the following submission forms: Tutorial proposal: http://tinyurl.com/kr18tute Workshop proposal: http://tinyurl.com/kr18workshop For all accepted proposals, KR will take care of all local arrangements. * SUBMISSION REQUIREMENTS FOR TUTORIAL PROPOSALS * Each tutorial proposal should contain the following information: - A short title of the tutorial. - A two-paragraph description of the tutorial. - Proposed length of the tutorial (half day is the default and recommended length, but an argument can be made for a full day tutorial). - A detailed outline of the tutorial. - The potential target audience for the tutorial and prerequisite knowledge. - A brief resume of the presenter(s) including: . Name,affiliation, and email address. . Evidence of scholarship in the area, including a list of publications. . Evidence of teaching experience. The main duties of the tutorial organizers are: - Setup a web-site for the tutorial, which should include, at least, title and abstract of the tutorial, presenters? details, outline, tutorial notes and related reading material. - Deliver the tutorial at KR 2018. * SUBMISSION REQUIREMENTS FOR WORKSHOP PROPOSALS * Each workshop proposal should contain the following information: - Title of the workshop and acronym. - Names, affiliations, and contact details of the organisers. - Short description and format. - History of the workshop (if applicable) and related events. - Size of the workshop and duration. - Tentative list of PC members with their respective affiliations. - Experience of the organisers. - Tentative call for papers. The main duties of the workshop chairs are: - Set up a website for the workshop. - Advertise the workshop and distribute its call for papers. - Coordinate the peer-reviewing of submitted contributions. - Organise a schedule for the workshop in collaboration with the local organisers and the Workshop Co-Chairs. - Coordinate and moderate the workshop participation and content. Each accepted proposal will be waived two workshop registrations to be used at the discretion of the organisers (e.g., to cover the registration of an invited speaker). KR reserves the right to cancel a workshop if it does not have enough participants to cover its running costs. ** IMPORTANT DATES ** - Proposal submission deadline: 21 February 2018. - Notification: 31 March 2018. - Workshops paper submission deadline: 21 July 2018. - Workshops paper notification: 25 August 2018. - Workshops registration deadline: TBD. - Tutorial and workshop dates: 27-29 October 2018. ** SUBMISSIONS AND INQUIRIES ** Those interested in presenting a tutorial or workshop should register their interest and proposal in the following forms: 1) Tutorial proposals: http://tinyurl.com/kr18tute 2) Workshop proposals: http://tinyurl.com/kr18workshop Inquiries should be sent by email to the tutorials/workshop chairs: Sebastian Sardina School of Computer Science and Information Technology RMIT University sebastian.sardina at rmit.edu.au Ivan Varzinczak CRIL, Univ. Artois & CNRS, France varzinczak at cril.fr From karsten.wendt at tu-dresden.de Tue Nov 28 13:51:33 2017 From: karsten.wendt at tu-dresden.de (Karsten Wendt) Date: Tue, 28 Nov 2017 13:51:33 +0100 Subject: [fg-arc] Call for Paper - 1st Workshop on Life with Wearables in Smart Rooms (LIFEWEAR2018) Message-ID: --------------------------------------------------------------------------------------------------------- CALL FOR PAPER --------------------------------------------------------------------------------------------------------- 1st Workshop on Life with Wearables in Smart Rooms (LIFEWEAR2018) --------------------------------------------------------------------------------------------------------- Website: http://st.inf.tu-dresden.de/LIFEWEAR-2018 --------------------------------------------------------------------------------------------------------- In conjunction with the Smart System Integration Conference 2018 in Dresden, April 11, 2018 --------------------------------------------------------------------------------------------------------- With the advent of standard sensor-actuator platforms for wearable devices, such smart watches (e.g., Apple Watch), smartglasses (e.g., Microsoft Hololens), smart clothing (e.g., data gloves), exoskeletons, and many more, people carry multiple devices simultaneously. This trend imposes completely new challenges to software engineers w.r.t. adaptivity, distribution, interaction, system integration, data handling, resiliency, security and software architectures. Software engineering helps to design and develop complex systems by automating the development process concentrating on different levels of abstraction. Model-driven techniques must be established to improve the quality (e.g., re-usability, reliability, maintainability) of the developed wearable systems. Because hardware and software interact tightly, new skills and processes are required when designing and implementing solutions based on wearable devices. In addition, the integration of wearable devices with other smart devices installed in the environment (e.g., sensors in a room) requires that the system architecture is highly dynamic. Therefore, there is a need for a new paradigm of software and system development for wearables in smart rooms, based on sensor nets, fog, and edge computing. This trend suggests establishing a new joint community of researchers from sensor nets and software engineering. The LIFEWEAR workshop aims to bring together researchers and practioneers from the communities interested in wearables, to present current approaches w.r.t. software engineering of wearable devices, gather requirements for future wearable systems and develop a roadmap for software enginnering for wearables. This includes the following research areas ■ Model-driven software development for wearable systems ■ Innovative interaction approaches of humans with wearables ■ Interactions of wearables with machines (e.g., robots) ■ End-user application development ■ Embedding of wearables into a fog or edge of a smart room ■ Sensor data analytics and data aggregation ■ Technical approaches to ensure data security and privacy ■ Total cost of ownership of wearable systems --------------- IMPORTANT DATES --------------- Submission Deadline - January 7th, 2018 Notification - February 11th, 2018 Camera Ready - March 11th, 2018 Workshop - April 12th, 2018 ---------------------- SUBMISSION INFORMATION ---------------------- Papers should be submitted electronically in PDF format via EasyChair ( https://easychair.org/conferences/?conf=lifewear2018). Submitted papers must conform to the Lecture Notes in Computer Science (LNCS). Submissions to the workshop are possible in two categories: ■ Regular Papers schould describe original work on a problem or solution w.r.t the described topics of interest on up to fifteen pages. ■ Interested workshop participants will have to submit a position paper (two to four pages) containing a description of the area of research, specifc work on the workshop topic, and the innovative character of the research. The accepted papers will be digitally published in the CEUR Workshop Proceedings. ---------- ORGANIZERS ---------- Karsten Wendt, Technische Universität Dresden Uwe Aßmann, Technische Universität Dresden Maria Piechnick, Technische Universität Dresden For more Information please visit http://st.inf.tu-dresden.de/LIFEWEAR-2018/ -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: LifeWear2018.pdf Type: application/pdf Size: 895322 bytes Desc: not available URL: From einarj at ifi.uio.no Wed Nov 29 12:51:37 2017 From: einarj at ifi.uio.no (Einar Broch Johnsen) Date: Wed, 29 Nov 2017 12:51:37 +0100 Subject: [fg-arc] 2nd CfP: FM 2018 Message-ID: <20171129115137.829F3233C0C@nordur.ifi.uio.no> FM 2018: 22nd International Symposium on Formal Methods Oxford, UK, July 15-17, 2018 Conference website http://fm2018.org Submission link https://easychair.org/conferences/?conf=fm2018 Abstract registration deadline January 8, 2018 Submission deadline January 22, 2018 Notification April 9, 2018 Camera Ready May 9, 2018 Call for Papers - Main Conference FM 2018 is the latest in a series of symposia organized by Formal Methods Europe, an independent association that encourages the use of, and research on, formal methods for the engineering of computer-based systems and software. The symposia have been notably successful in bringing together researchers and industrial users around a programme of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral work. FM 2018 will take place in Oxford, UK, 15-17 July 2018 as part of FLoC 2018, the Federated Logic Conferences. FM 2018 will highlight the development and application of formal methods in a wide range of domains including software and integrated computer-based systems. In the latter field, cyber-physical systems, systems-of-systems, human-computer interaction, manufacturing, sustainability, power, transport, cities, healthcare, and biology are of particular interest. We also welcome papers on experiences of formal methods in industry, and on the design and validation of formal methods tools. Submission Guidelines FM 2018 encourages submissions on formal methods for developing and evaluating systems that interact with physical processes, and systems that use artificial intelligence technology. Examples include autonomous systems, robots, and cyber-physical systems in general. Applying formal methods to these systems of growing interest and importance is challenging because they exhibit much greater non-determinism than traditional systems, making them challenging to assure. All papers must be original and not simultaneously submitted to another journal or conference. The broad topics of interest for FM 2018 include, but are not limited to: * Interdisciplinary formal methods: Techniques, tools and experiences demonstrating formal methods in interdisciplinary frameworks. * Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems. Authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights. * Tools for formal methods: Advances in automated verification, model-checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. Authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. * Role of formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. Authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. * Theoretical foundations: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. Authors are encouraged to explain how their results contribute to the solution of practical problems with methods or tools. Submission Information Papers should be original work, not published or submitted elsewhere, in Springer LNCS format, written in English, submitted through Easychair (https://easychair.org/conferences/?conf=fm2018). Each paper will be evaluated by at least three members of the Programme Committee. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case study papers should describe significant case studies, and the complete development should be made available at the time of review. The usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but should focus on the tool's features, how it is used, its evaluation, and examples and screen shots illustrating the tool's use. Authors of tool papers should make their tool available for use by reviewers. We solicit two categories of papers: * Regular Papers should not exceed 15 pages, not counting references and appendices. * Short papers, including tool papers, should not exceed 6 pages, not counting references and appendices. Besides tool papers, short papers are encouraged for any subject that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be accompanied by short presentations. For regular and tool papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not part of the page count and not guaranteed to be read or taken into account by the reviewers. It should not contain information necessary to the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted — there will be no "demotions" from a regular to a short paper. Keynote Speakers Annabelle McIver, Macquarie University, Sydney, Australia Leonardo de Moura, Microsoft Research, Redmond, USA Kim Guldstrand Larsen, Aalborg University & UP4ALL, Denmark Best Paper Award During the conference, the Programme Committee Chairs will present an award to the authors of the submission selected as the FM 2018 Best Paper. Publication Accepted papers will be published in the Symposium Proceedings to appear in Springer's Lecture Notes in Computer Science. Extended versions of selected papers will be invited for publication in a special issue of one or more journals. Location FM2018, the 22nd International Symposium on Formal Methods, will take place in Oxford, UK, 15-17 July 2018 as part of FLoC 2018, the Federated Logic Conferences. General Chair Erik P. de Vink, Eindhoven University of Technology, NL Programme Chairs Bill W. Roscoe, University of Oxford, GB Jan Peleska, University of Bremen, DE Committees Program Committee Bernhard K. Airchernig, TU Graz, AT Joerg Brauer, Verified Systems International GmbH, DE Ana Cavalcanti, University of York, GB Frank De Boer, CWI, NL John S. Fitzgerald, Newcastle University, GB Martin Fraenzle, Universitaet Oldenburg, DE Vijay Ganesh, University of Waterloo, CA Diego Garbervetsky, Universidad de Buenos Aires, AR Dimitria Giannakopoulou, NASA Ames, US Thomas Gibson-Robinson, University of Oxford, GB Stefania Gnesi, ISTI-CNR, IT Anne E. Haxthausen, Technical University of Denmark, DK Ian J. Hayes, University of Queensland, AU Constance Heitmeyer, Naval Research Laboratory, US Jozef Hooman, TNO-ESI and Radboud University Nijmegen, NL Laura Humphrey, Air Force Research Laboratory, US Fuyuki Ishikawa, National Institute of Informatics, JP Einar Broch Johnsen, University of Oslo, NO Cliff Jones, Newcastle University, GB Joost-Pieter Katoen, RWTH Aachen University, DE Gerwin Klein, NICTA and University of New South Wales, AU Laura Kovacs, Chalmers University of Technology, SE Peter Gorm Larsen, Aarhus University, DK Yves Ledru, Université Grenoble Alpes, FR Rustan Leino, Microsoft Research, US Elizabeth Leonard, Naval Research Laboratory, US Martin Leucker, University of Lübeck, DE Michael Leuschel, University of Düsseldorf, DE Zhiming Liu, Southwest University, CN Tiziana Margaria, University of Limerick and Lero, IE Mieke Massink, CNR-ISTI, IT Annabelle McIver, Macquarie University, AU Dominique Mery, LORIA and Université de Lorraine, FR Mohammad Reza Mousavi, Halmstad University, SE Peter Müller, ETH Zürich, CH Colin O'Halloran, D-RisQ Software Systems, GB Jose Oliveira, Universidade do Minho, PT Olaf Owe, Universitity of Oslo, NO Sam Owre, SRI International, US Alexandre Petrenko, CRIM, CA Anna Philippou, University of Cyprus, CY Elvinia Riccobene, University of Milan, IT Grigore Rosu, University of Illinois at Urbana-Champaign, US Augusto Sampaio, Federal University of Pernambuco, BR Gerardo Schneider, Chalmers University of Gothenburg, SE Natasha Sharygina, University of Lugano, CH Ana Sokolova, University of Salzburg, AT Jun Sun, Singapore University of Technology and Design, SG Stefano Tonetta, FBK-irst, IT Farn Wang, National Tainwan University, TW Heike Wehrheim, University of Paderborn, DE Michael Whalen, University of Minnesota, US Jim Woodcock, University of York, GB Hüsnü Yenigün, Sabanci University, TR Fatiha Zaidi, Université Paris-Sud, FR Gianluigi Zavattaro, Universita di Bologna, IT Contact All questions about submissions should be emailed to the programme chairs. From grlmc at grlmc.com Thu Nov 30 02:05:31 2017 From: grlmc at grlmc.com (GRLMC) Date: Thu, 30 Nov 2017 02:05:31 +0100 Subject: [fg-arc] HighPer 2018: early registration December 5 Message-ID: <545102060a010b070850530b05005a50515f565757000454510a0e505202545857580c020b08545551000402010554@grlmc_ip-zone_com-6> HighPer 2018: early registration December 5*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *****************************************************************************   INTERNATIONAL SPRING SCHOOL ON HIGH PERFORMANCE COMPUTING   HighPer 2018   San Sebastián / Donostia, Spain   April 23-27, 2018   Organized by:   Materials Physics Center (CSIC-UPV/EHU), Donostia International Physics Center (DIPC), and Rovira i Virgili University   http://grammars.grlmc.com/HighPer2018/   *****************************************************************************   --- Early registration deadline: December 5, 2017 ---   *****************************************************************************   SCOPE:   HighPer 2018 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 high performance computing, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of high performance computing will be displayed, from foundations, infrastructure and management to applications. Major challenges in the field will be identified through 2 keynote lectures, 24 five-hour and fifteen-minute 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 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, HighPer 2018 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:   HighPer 2018 will take place in San Sebastián, a famous touristic coastal city in the Basque Country which was European Capital of Culture 2016. The venue will be:   Centro Ignacio María Barriola Universidad del País Vasco / Euskal Herriko Unibertsitatea Campus de Gipuzkoa Plaza Elhuyar, 1 20018 San Sebastián / Donostia Spain   KEYNOTE SPEAKERS: (to be completed)   Federico Calzolari (Scuola Normale Superiore), Supercomputing: From CERN to Our Lives   PROFESSORS AND COURSES: (to be completed)   Srinivas Aluru (Georgia Institute of Technology), [intermediate] High Performance Computational Biology   Ümit V. Çatalyürek (Georgia Institute of Technology), [introductory/intermediate] HPC Graph Analytics   Alan Edelman (Massachusetts Institute of Technology), [introductory] High Performance Computing on Parallel Computers and GPUs with Julia   Richard Fujimoto (Georgia Institute of Technology), [intermediate] Parallel Discrete Event Simulation   Timothy C. Germann (Los Alamos National Laboratory), [intermediate] HPC Frontiers in Computational Materials Science and Engineering   Lennart Johnsson (University of Houston), [intermediate] Energy Efficient Computing   Alfio Lazzaro (University of Zurich), [introductory/intermediate] Code Performance Optimizations   Frank Mueller (North Carolina State University), [advanced] Embracing the Exascale Challenge: From Accelerators over Scalable Program Tracing to Resilience   Viktor K. Prasanna (University of Southern California), tba   J. (Ram) Ramanujam (Louisiana State University), tba   Adrian Sandu (Virginia Polytechnic Institute and State University), tba   Marc Snir (University of Illinois at Urbana-Champaign), [introductory] Programming Models and Run-times for High-Performance Computing   El-Ghazali Talbi (University of Lille 1), [introductory] Parallel Metaheuristics for Optimization and Machine Learning   Todd J. Treangen (University of Maryland, College Park), [intermediate] Metagenomic Assembly and Validation   Elena Vataga (University of Southampton), [introductory] Hands-on Introduction to HPC for Life Scientists   Jeffrey S. Vetter (Oak Ridge National Laboratory), tba   Uzi Vishkin (University of Maryland, College Park), [introductory/intermediate] Parallel Algorithmic Thinking and How It Has Been Affecting Architecture   David Walker (Cardiff University), [intermediate] Parallel Programming with OpenMP, MPI, and CUDA   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.silva409 (at) yahoo.com by April 16, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of high performance computing 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 should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in high performance computing will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   ORGANIZING COMMITTEE:   Íñigo Aldazabal Mensa (co-chair) Carlos Martín-Vide (co-chair) Manuel J. Parra-Royón Txomin Romero Asturiano (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/HighPer2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For logistic reasons, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Centro de Física de Materiales (CSIC-UPV/EHU) Donostia International Physics Center (DIPC) Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From Mathy.Vanhoef at cs.kuleuven.be Thu Nov 30 18:16:27 2017 From: Mathy.Vanhoef at cs.kuleuven.be (Mathy Vanhoef) Date: Thu, 30 Nov 2017 18:16:27 +0100 Subject: [fg-arc] [SPIDA CFP] Workshop on Security Protocol Implementations Message-ID: <20171130181627.482fe84a@cs.kuleuven.be> Call for papers Workshop on Security Protocol Implementations: Development and Analysis (SPIDA) 23 April 2018, London, United Kingdom https://spida.cs.ru.nl Co-located to IEEE EuroS&P 2018 https://www.ieee-security.org/TC/EuroSP2018/ CONTEXT Security protocols (such as TLS for internet, WPA2 for WiFi, GSM for mobile telephony, to mention just some of the broadly used ones) play a crucial role in protecting the digital communications and interactions we rely on in our modern society. The security of such protocols can break because of fundamental, inherent flaws, but the bulk of the security flaws are due to implementation flaws. The complexity and unclarity of typical protocol specifications makes it more likely to introduce such flaws and makes it harder to spot them. SPIDA seeks novel contributions and case studies that address the challenges when implementing security protocols. How can implementations be analysed, statically or dynamically, in a systematic way? How can we make sure that the specifications are precise, but still easy to understand and implement correctly? And how to assure implementations faithfully follow such specifications? TOPICS The workshop seeks submissions from academia and industry presenting novel research results to tackle this issue. Relevant topics include, but are not limited to: - Formal verification of code - Software engineering approaches to go from specifications to implementations - Protocol reverse engineering - LangSec approaches to security protocols - Fuzzing techniques, e.g. evolutionary or white-box fuzzing - State machine inference - Symbolic execution - Model-based testing of protocol implementations - Methods and languages to write rigorous protocol specifications SUBMISSIONS Papers should be submitted through the submission web site at https://easychair.org/conferences/?conf=spida18. Each accepted paper must be presented by an author, who will have to be registered by the early-bird registration deadline. The workshop will accept regular submissions (at most 10 pages in the IEEE double-column format, including bibliography), as well as short submissions of up to 4 pages for results that are preliminary and/or work in progress. Authors must submit an extended abstract prior to the paper submission. IMPORTANT DATES Abstract deadline: 8 January 2018 Paper deadline: 12 January 2018 Notification: 5 February 2018 Camera-ready submission: 23 February 2018 Workshop: 23 April 2018 ORGANIZING COMMITTEE Mathy Vanhoef, KU Leuven, Belgium Joeri de Ruiter, Radboud University, The Netherlands