From duellmann at iste.uni-stuttgart.de Mon Dec 3 15:09:41 2018 From: duellmann at iste.uni-stuttgart.de (=?UTF-8?Q?Thomas_F=2e_D=c3=bcllmann?=) Date: Mon, 3 Dec 2018 15:09:41 +0100 Subject: [fg-arc] =?utf-8?q?GI_Arbeitskreis_DevOps_=26_Microservices=3A_E?= =?utf-8?q?inladung_zum_5=2E_Arbeitskreistreffen_am_11=2E/12=2E_M=C3=A4rz_?= =?utf-8?q?2019_in_Stuttgart?= Message-ID: <383c8f25-72aa-db23-8df0-daac893fab70@iste.uni-stuttgart.de> Liebe Microservice- und DevOps-Interessierte, hiermit möchten wir Sie herzlich zum fünften Treffen unseres GI Arbeitskreises Microservices & DevOps einladen. Das Treffen wird am 11. und 12. März 2019 in Stuttgart bei Bosch stattfinden. Zwecks besserer Planung bitten wir um eine Registrierung bis zum 08.02.2019 unter https://de.xing-events.com/gi-ak-msdo. Eine GI-Mitgliedschaft ist für die Teilnahme am Treffen nicht erforderlich. Wie bei den vorherigen Treffen soll das Programm wieder aus einer Kombination aus Fachvorträgen und Diskussionselementen bestehen. Daher möchten wir hiermit gleichzeitig zu Beiträgen aufrufen. Falls Sie mit einem Fachvortrag (30 Minuten Vortrag + 15 Minuten Diskussion) aus den Themenbereichen DevOps oder Microservices zum Programm beitragen möchten, schicken Sie bitte den geplanten Titel und eine Kurzbeschreibung (2-3 Sätze) bis zum 21.12.2018 per Mail an duellmann at iste.uni-stuttgart.de. Termin: 11. März 2019, 13:00 Uhr bis 12. März 2019, 13:00 Uhr Gastgeber: Robert Bosch GmbH https://www.bosch.com Veranstaltungsort Bosch CI Borsigstr. 4 Gebäude 701 70469 Stuttgart https://goo.gl/maps/6wvBdRR8YSC2 Organisation: Thomas F. Düllmann duellmann at iste.uni-stuttgart.de Registrierung: https://de.xing-events.com/gi-ak-msdo Bitte registrieren Sie sich bis zum 08.02.2019. Eine GI-Mitgliedschaft ist für die Teilnahme nicht erforderlich. Aktuelle Informationen zum Treffen finden Sie unter: https://ak-msdo.gi.de/veranstaltungen/naechste-veranstaltungen/5-treffen-1112032019-stuttgart.html Wir freuen uns auf Ihre Teilnahme! Holger Knoche, Andreas Steffens, Thomas Düllmann und Wilhelm Hasselbring -------------- next part -------------- A non-text attachment was scrubbed... Name: 0x2F4F35E013A6ACF5.asc Type: application/pgp-keys Size: 6510 bytes Desc: not available URL: From irdta at irdta.eu Tue Dec 4 00:45:06 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 04 Dec 2018 00:45:06 +0100 Subject: [fg-arc] AlCoB 2019: 2nd call for papers Message-ID: <545102060a010b0b0150520702045a03015102070601525803550d5405055a0507550652030c03075207560a0f0456@grlmc_ip-zone_com-6> AlCoB 2019: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************************************** 6th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2019   Berkeley, California, USA   May 28-30, 2019   Co-organized by:   University of California, Berkeley   Institute for Research Development, Training and Advice, Brussels/London   http://alcob2019.irdta.eu/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), Aveiro, and Hong Kong.   The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Special focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE:   AlCoB 2019 will take place in Berkeley, home to the oldest campus in the highly prestigious University of California system. The venue will be:   University of California, Berkeley   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Sequence analysis Sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics, epigenomics Genome CD architecture Microbiome analysis Cancer computational biology Systems biology   STRUCTURE:   AlCoB 2019 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS:   Igor Jurisica (University of Toronto), Explanable AI for Data-driven Medicine   Lior Pachter (California Institute of Technology), Algorithms for Single-cell Genomics   Pavel A. Pevzner (University of California, San Diego), Bioinformatics: A Servant or the Queen of Molecular Biology?   PROGRAMME COMMITTEE:   Can Alkan (Bilkent University, TR) Stephen Altschul (National Center for Biotechnology Information, US) Philipp Bucher (Swiss Institute for Experimental Cancer Research, CH) Ken Chen (MD Anderson Cancer Center, US) Keith A. Crandall (George Washington University, US) Colin Dewey (University of Wisconsin, Madison, US) Eytan Domany (Weizmann Institute of Science, IL) Robert Edgar (independent, US) Dmitrij Frishman (Technical University of Munich, DE) Susumu Goto (Research Organization of Information and Systems, JP) Desmond Higgins (University College Dublin, IE) Karsten Hokamp (Trinity College Dublin, IE) Ian Holmes (University of California, Berkeley, US) Fereydoun Hormozdiari (University of California, Davis, US) Daniel Huson (University of Tübingen, DE) Martijn Huynen (Radboud University Medical Centre, NL) Peter Karp (SRI International, US) Kazutaka Katoh (Osaka University, JP) Anders Krogh (University of Copenhagen, DK) Doron Lancet (Weizmann Institute of Science, IL) Alla Lapidus (Saint Petersburg State University, RU) Ming Li (University of Waterloo, CA) Gerard Manning (Genentech, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David H. Mathews (University of Rochester Medical Center, US) Aaron McKenna (University of Washington, US) Jason Rafe Miller (Shepherd University, US) Aleksandar Milosavljevic (Baylor College of Medicine, US) Yasukazu Nakamura (National Institute of Genetics, JP) Zemin Ning (Wellcome Trust Sanger Institute, UK) William Stafford Noble (University of Washington, US) Sandra Orchard (European Bioinformatics Institute, UK) William Pearson (University of Virginia, US) Matteo Pellegrini (University of California, Los Angeles, US) Mihaela Pertea (Johns Hopkins University, US) Steve Rozen (Duke-NUS Medical School, SG) David Sankoff (University of Ottawa, CA) Russell Schwartz (Carnegie Mellon University, US) Wing-Kin Sung (National University of Singapore, SG) Alfonso Valencia (Barcelona Supercomputing Centre, ES) Arndt von Haeseler (Center for Integrative Bioinformatics Vienna, AT) Kai Wang (Children's Hospital of Philadelphia, US)   ORGANIZING COMMITTEE:   Ian Holmes (Berkeley, co-chair) Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=alcob2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://alcob2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: January 12, 2019 Notification of paper acceptance or rejection: February 19, 2019 Final version of the paper for the LNCS/LNBI proceedings: February 26, 2019 Early registration: February 26, 2019 Late registration: May 14, 2019 Submission to the journal special issue: August 30, 2019   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGEMENTS:   University of California, Berkeley   IRDTA – Institute for Research Development, Training and Advice, Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Dec 1 12:31:15 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 1 Dec 2018 13:31:15 +0200 Subject: [fg-arc] 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Call for Track Proposals Message-ID: *** Call for Track Proposals *** 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020) Atlantica Miramare 4* Beach Hotel, Limassol, Cyprus January 20-24, 2020 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk0NnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDdXJyZW50IFRyZW5kcyBpbiBUaGVvcnkgYW5kIFByYWN0aWNlIG9mIENvbXB1dGVyIFNjaWVuY2UgKFNPRlNFTSAyMDIwKTogQ2FsbCBmb3IgVHJhY2sgUHJvcG9zYWxzCTMwNQlMaXN0cwkxNDIJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fsofsem2020%2F *** Submission Deadline: February 11, 2019 *** (Proceedings to be published by Springer) SOFSEM (SOFtware SEMinar) is an annual international winter conference devoted to the theory and practice of computer science. SOFSEM presents the latest results and developments in academic and industrial research in leading areas of Computer Science. The first SOFSEM was organized in 1974, and it was traditionally located in the Czech and Slovak Republics, before it starting moving to other European locations. In 2017 it was organised in Ireland, in 2018 in Austria and in 2019 in Slovakia. The 46th edition will be organised in the sunny Mediterranean island of Cyprus. SOFSEM consists of Invited Talks by prominent researchers, Contributed Talks selected from the submitted papers, and the Student Research Forum. The program is organized in plenary talks and parallel tracks devoted to original research in contemporary areas of Computer Science. SOFSEM has a long-standing tradition of facilitating discussions and collegial interactions and is well-known for its familiar and inspiring atmosphere and as a meeting place for active and leading computer scientists. SOFSEM is a track based conference. It features the traditional track on Foundations of Computer Science and a number of other tracks that over the years have evolved to cover and address contemporary important areas of Computer Science, such as Artificial Intelligence, Cryptography, Security, and Verification, Data Science, Knowledge Engineering, Social Computing and Human Factors, Software and Web Engineering, etc. The proceedings of SOFSEM are published in the prestigious ARCoSS (Advanced Research in Computing and Software Science) subseries of Springer's Lecture Notes in Computer Science (LNCS) series. For SOFSEM 2020, the Steering Committee is inviting proposals for organising tracks. The tracks can be of theoretical or practical nature or a combination of both. Tracks from industry are particularly welcome. The proposal should not exceed 3 pages and should include the following items: a) Title, aim and scope of the proposed track, as well as the list of topics that the proposed track will address. b) Rationale for having this track in SOFSEM, including any other similar events that the proposed track complements or differs from. c) Names, affiliations and short CVs for the chairs of the proposed track, demonstrating past relevant experience in organising such tracks or events. d) Tentative list of names of the Program Committee for the proposed track. e) A short dissemination plan for the CFP mentioning the forums where the latter will be posted. The proposals will be reviewed by the Steering Committee and the General Chairs, based on the above mentioned criteria. A proposal may be accepted as is, requested to modify its title and/or topics covered, merged with another proposed track or rejected. Upon acceptance, the track chairs will be notified of their exact duties in managing the affairs of their track. The Steering Committee reserves the right to cancel a track at any moment in time, if these responsibilities are not dealt with satisfactorily by the track chairs. Proposals should be submitted by February 11th, 2019 to the SOFSEM 2020 General Chairs, Yannis Manolopoulos (yannis.manolopoulos AT ouc.ac.cy) and George A. Papadopoulos (george AT cs.ucy.ac.cy). IMPORTANT DATES * Submission of track proposals: February 11, 2019 * Notification of proposals acceptance or rejection: February 25, 2019 * Submission of abstracts: July 29, 2019 * Submission of full papers: August 5, 2019 * Notification of acceptance for submitted papers: September 30, 2019 * Camera-Ready submission of accepted papers: October 28, 2019 * Early and author registration deadline: November 25, 2019 * Conference dates: January 20-24, 2020 ORGANISATION General Chairs Yannis Manolopoulos, Open University of Cyprus, CY George A, Papadopoulos, University of Cyprus, CY Steering Committee Barbara Catania, University of Genova, IT Miroslaw Kutylowski, Wroclaw Uni. of Technology, PL Tiziana Margaria-Steffen, University of Limerick, IE Branislav Rovan, Comenius University, Bratislava, SK Petr Saloun, Technical University of Ostrava, CZ Julius Stuller, Academy of Sciences, Prague, CZ, chair Jan van Leeuwen, Utrecht University, Utrecht, NL -------------- next part -------------- An HTML attachment was scrubbed... URL: From filippo.ricca at unige.it Thu Dec 6 21:32:40 2018 From: filippo.ricca at unige.it (Filippo Ricca) Date: Thu, 6 Dec 2018 21:32:40 +0100 Subject: [fg-arc] ProWeb 2019 (Workshop on Programming Technology for the Future Web).= Message-ID: <024501d48da2$d77b56f0$867204d0$@unige.it> ProWeb 2019: 3rd International Workshop on Programming Technology for the Future Web https://2019.programming-conference.org/track/proweb-2019-papers Co-located with the conference April 1, Genova, Italy ================ Full-fledged web applications have become ubiquitous on desktop and mobile devices alike. Whereas "responsive" web applications already offered a more desktop-like experience, there is an increasing demand for "rich" web applications (RIAs) that offer collaborative and even off-line functionality -Google docs being the prototypical example. Long gone are the days that web servers merely had to answer incoming HTTP request with a block of static HTML. Today's servers react to a continuous stream of events coming from JavaScript applications that have been pushed to clients. As a result, application logic and data is increasingly distributed. Traditional dichotomies such as "client vs. server" and "offline vs. online" are fading. ** Call for Papers ** The 3rd International Workshop on Programming Technology for the Future Web, or ProWeb19, is a forum for researchers and practitioners to share and discuss new technology for programming these and future evolutions of the web. We welcome submissions introducing programming technology (i.e., frameworks, libraries, programming languages, program analyses and development tools) for implementing web applications and for maintaining their quality over time, as well as experience reports about the use of state-of-the-art programming technology. Relevant topics include, but are not limited to: Relevant topics include, but are not limited to: - Quality on the new web: static and dynamic program analyses; code, design test and process metrics; development and migration tools; automated testing and test generation; contract systems, type systems, and web service API conformance checking; ... - Hosting languages on the web: new runtimes; transpilation or compilation to JavaScript, WebAssembly, asm.js, ... - Designing languages for the web: multi-tier (or tierless) programming; reactive programming; frameworks for multi-tier or reactive programming on the web; ... - Distributed data sharing, replication and consistency: cloud types, CRDTs, eventual consistency, offline storage, peer-to-peer communication, ... - Security on the web: client-side and server-side security policies; policy enforcement; proxies and membranes; vulnerability detection; dynamic patching, ... - Surveys and case studies using state-of-the-art web technology - Ideas on and experience reports about: how to reconcile the need for quality with the need for agility on the web; how to master and combine the myriad of tier-specific technologies required to develop a web application, . - Position statements on what the future of the web should look like We solicit three kinds of submissions via EasyChair: https://easychair.org/conferences/?conf=proweb2019 - 6-page **technical papers** and **experience reports** that, when accepted, will be published in the workshop proceedings as part of of the ACM's Digital Library. - 3-page **position statements** that, when accepted, will be published in the workshop post-proceedings as part of of the ACM's Digital Library. - 1-page **presentation abstracts** that, when accepted, will be made available on the website. Each submission will be reviewed by at least three members of the program committee. We welcome submissions that identify new problems, or report on promising ideas in early stages of research. Submissions of the third kind are ideal to further disseminate existing ideas within the community, to demonstrate existing tools, or simply to instigate a discussion. More information: https://2019.programming-conference.org/track/proweb-2019-papers ** Important dates (AoE) ** - Submission deadline: Jan 15, 2019 - Author notification: Feb 15, 2019 - Camera-ready version: Mar 1, 2019 ** Organizers ** - Coen De Roover, Vrije Universiteit Brussel, Belgium - Filippo Ricca, University of Genova, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Dec 8 14:45:37 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 8 Dec 2018 15:45:37 +0200 Subject: [fg-arc] The 27th ACM Conference on User Modeling, Adaptation and Personalization (UMAP 2019): Last Call for Workshop Proposals Message-ID: *** LAST CALL FOR WORKSHOP PROPOSALS *** 27th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP 2019) Golden Bay Beach Hotel 5*, Larnaca, Cyprus, June 9-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IExhc3QgQ2FsbCBmb3IgV29ya3Nob3AgUHJvcG9zYWxzCTMwNwlMaXN0cwkxNDIJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.um.org%2Fumap2019%2F Proposals due: December 14, 2018 ACM UMAP 2019, the premier international conference for researchers and practitioners working on systems that adapt to individual users or to groups of users, and which collect, represent, and model user information, is pleased to invite proposals for workshops to be held in conjunction with the conference. The workshops provide a venue to discuss and explore emerging areas of User Modelling and Adaptive Hypermedia research with a group of like-minded researchers and practitioners from industry and academia. In this edition, our goal is to have a balanced workshop program comprising different workshop formats and combining emerging and established research topics. Different full-day and half-day workshop schemas are possible, such as: · Working group meetings around a specific problem or topic; participants may be asked to submit a white paper or position statement. · Mini-conferences on specialized topics, having their own paper submission and review processes. · Mini-competitions or challenges around selected topics with individual or team participation. · Interactive discussion meetings focusing on subtopics of the UMAP general research topics. PROPOSAL FORMAT Workshop proposals should be submitted in PDF format to both workshop chairs, not exceeding 5 pages and organized as follows: · Workshop title and acronym. · Workshop chair(s), including affiliation, email address, homepage, and experiences in organizing such events. · Abstract (up to 300 words) and topics of interest. · Motivation on why the workshop is of particular interest at this time. · Workshop format, discussing the mix of events such as paper presentations, invited talks, panels, and general discussions. · Intended audience and expected number of participants. · List of (potential) members of the program committee (at least 50% have to be confirmed at the time of the proposal). · Requested duration (half day or full day). · When available, past editions of the workshop, including URLs, a brief statement on the development of the workshop series, e.g., in terms of topics, number of paper submissions and participants, post-workshop publications over the years and acceptance statistics. INSTRUCTIONS We encourage both researchers and industry practitioners to submit workshop proposals. Researchers interested in submitting a workshop proposal are invited to contact us in advance, so we can help to design successful proposals. In particular, for workshop proposals with novel interactive formats, we are happy to assist in further developing and implementing the ideas. We strongly suggest to have organizers from different institutions, bringing different perspectives to the workshop topic. We welcome workshops with a creative structure that may attract various types of contributions and may ensure rich interactions. The organizers of accepted workshops will prepare a workshop web site containing the call for papers and detailed information about the workshop organization and timeline. They will be responsible for their own publicity and reviewing processes. There will be a conference adjunct proceedings published by ACM where all the workshop papers will be published. Hence, the workshop organizers will need to adhere to the adjunct proceedings publication timeline. IMPORTANT DATES · Proposal submission: December 14, 2018 · Notification of proposal acceptance: January 9, 2019 · Send the workshop description & website URL : January 23, 2019 · (Suggested) 1st call for papers: January 28, 2019 · (Suggested) 2nd call for papers: February 20, 2019 · (Suggested) paper submission: March 13, 2019 · (Suggested) notification to authors: March 26, 2019 · Workshop summary camera-ready: April 3, 2019 · Workshop papers camera-ready: April 3, 2019 · Adjunct proceedings camera ready: April 15, 2019 WORKSHOP CHAIRS · Milos Kravcík, German Research Center for Artificial Intelligence (DFKI), Germany (milos.kravcik AT dfki.de) · Iván Cantador, Universidad Autónoma de Madrid, Spain (ivan.cantador AT uam.es) -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Sat Dec 8 16:07:11 2018 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Sat, 8 Dec 2018 15:07:11 +0000 Subject: [fg-arc] [fm-announcements] SPIN 2019 in Beijing - Call for Papers and Participation Message-ID: <305FE07F-7690-4059-83C5-86C80BA05692@jpl.nasa.gov> SPIN 2019 24th International Symposium on Model Checking of Software Beijing, China, July 15-19, 2019 https://conf.researchr.org/home/spin-2019 Co-located with ISSTA 2019 ________________________________ The 26th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation. Topics of interest include, but are not limited to: * Formal verification techniques for automated analysis of software * Formal analysis for modeling languages, such as UML/state charts * Formal specification languages, temporal logic, design-by-contract * Model checking * Automated theorem proving, including SAT and SMT * Verifying compilers * Abstraction and symbolic execution techniques * Static analysis and abstract interpretation * Combination of verification techniques * Modular and compositional verification techniques * Verification of timed and probabilistic systems * Automated testing using advanced analysis techniques * Combination of static and dynamic analyses * Derivation of specifications, test cases, or other useful material via formal analysis * Case studies of interesting systems or with interesting results * Engineering and implementation of software verification and analysis tools * Benchmark and comparative studies for formal verification and analysis tools * Formal methods education and training * Insightful surveys or historical accounts on topics of relevance to the symposium ________________________________ Invited Speakers ________________________________ Kim G. Larsen, Aalborg University Kuldeep S. Meel, National University of Singapore Call for Papers The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, empirical evaluation, and education. History: The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the Spin model checker. However, over the years it has evolved to a broadly scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution. An overview of the previous SPIN symposia (and early workshops) can be found at: http://spinroot.com/spin/symposia. SPIN 2019 will be organized as an ACM SIGSOFT event, colocated with the International Symposium on Software Testing and Analysis (ISSTA 2019): https://conf.researchr.org/home/issta-2019. ________________________________ Submission Guidelines ________________________________ The contributions to SPIN 2019 will be published as ACM Proceedings, and should be submitted in the ACM Conference Format: https://www.acm.org/publications/proceedings-template (please use the sigconf template). Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions. * We are soliciting three categories of papers: * Full Research Papers describing fully developed work and complete results (16 pages – references are not included in this limit); * Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods (6 pages – references are not included in this limit). * Tool Demo Papers presenting the foundations, capabilities, application domains and relevant examples using the tools, with a clear description of what is expected to be shown in a live demonstration (4 pages to describe the tool foundations, features and use examples, plus an appendix explaining the content of the demo). Papers should be submitted via the EasyChair SPIN 2019 submission website: https://easychair.org/conferences/?conf=spin19. A selection of papers will be invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). ________________________________ Important Dates ________________________________ * Please keep in mind the following dates for submission: * Paper Submission: April 5th, 2019 (23:59:59 Anywhere on Earth) * Author Notification: April 27th, 2019 * Camera-Ready Paper: May 2019 * Symposium: July 15-19, 2019 -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- 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 announce at cs.ucy.ac.cy Sun Dec 9 12:51:12 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 9 Dec 2018 13:51:12 +0200 Subject: [fg-arc] The 27th ACM Conference on User Modeling, Adaptation and Personalization (UMAP 2019): First Call for Demos and Late Breaking Results Message-ID: *** FIRST CALL FOR DEMOS AND LATE BREAKING RESULTS *** 27th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP 2019) Golden Bay Beach Hotel 5*, Larnaca, Cyprus, June 9-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IEZpcnN0IENhbGwgZm9yIERlbW9zIGFuZCBMYXRlIEJyZWFraW5nIFJlc3VsdHMJMzA5CUxpc3RzCTE0MgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.um.org%2Fumap2019%2F Submissions due: March 16, 2019 ACM UMAP - User Modelling, Adaptation and Personalization is the premier international conference for researchers and practitioners working on systems that adapt to individual users, to groups of users, and that collect, represent, and model user information. ACM UMAP 2019 invites Demonstrations and Late-Breaking Results (LBR) papers of innovative UMAP-based systems (including research prototypes). You are encouraged to submit your Demo or LBR by March 16th 2019. DEMONSTRATIONS Demonstrations will showcase research prototypes and commercially available products in a dedicated session. Demo submissions must be based on an implemented and tested system that pursues one or more innovative ideas in the interest areas of the conference. Demonstrations are an excellent and exciting way to showcase implementations and to get valuable feedback from the community. Each demo submission must make clear which aspects of the system will be demonstrated, and how. To better identify the value of demos, we also encourage authors to submit a pointer to a screencast (max. 5 minutes on Vimeo or YouTube) or to any external material related to the demo (e.g., shared code on GitHub). Descriptions of demonstrations should have a length of max. 2 pages in the ACM SIG proceedings template. On an extra page (not to be published), submissions should include a specification of the technical requirements for demonstrating the system at UMAP 2019. LATE-BREAKING RESULTS Late-Breaking Results (LBR) are research-in-progress that must contain original and unpublished accounts of innovative research ideas, preliminary results, industry showcases, and system prototypes, addressing both the theory and practice of User Modeling, Adaptation and Personalization. In addition, papers introducing recently started research projects or summarizing project results are welcome as well. We encourage researchers and practitioners to submit a late-breaking work as it provides a unique opportunity for sharing valuable ideas, eliciting useful feedback on early-stage work, and fostering discussions and collaborations among colleagues. Late-Breaking Results papers have a length of 4 to 6 pages in the ACM SIG proceedings template and will be presented to the conference as posters. SUBMISSION AND REVIEW PROCESS Submissions (demos and late-breaking results) must adhere to the ACM SIG Standard (SIGCONF) proceedings template. A template can be found at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IEZpcnN0IENhbGwgZm9yIERlbW9zIGFuZCBMYXRlIEJyZWFraW5nIFJlc3VsdHMJMzA5CUxpc3RzCTE0MgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template . Submit your papers in PDF format via EasyChair for ACM UMAP 2019 Demos and Late-Breaking Results at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IEZpcnN0IENhbGwgZm9yIERlbW9zIGFuZCBMYXRlIEJyZWFraW5nIFJlc3VsdHMJMzA5CUxpc3RzCTE0MgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dumap2019_demo-lbr . The review process will be single blinded, i.e. authors' names should be included in the papers. Submissions will be reviewed by at least two independent reviewers. They will be assessed based on their originality and novelty, potential contribution to the research field, potential impact in particular use cases, and the usefulness of presented experiences, as well as their overall readability. Papers that exceed the page limits (2 pages for demos and 6 pages for LBR) or do not adhere to the formatting guidelines will be returned without review. IMPORTANT DATES · Submission of demos and LBR papers: March 16th, 2019 · Notification of acceptance: April 5th, 2019 · Camera-ready versions of accepted papers: April 15th, 2019 The submissions times are 11:59 pm Anywhere on Earth PUBLICATION AND PRESENTATION Accepted Demo and Late Breaking Results papers will be published in the ACM UMAP 2019 Adjunct Proceedings in the ACM Digital Library. All categories will be presented at the poster reception of the conference, in the form of a poster and/or a software demonstration following poster format. This form of presentation will provide presenters with an opportunity to obtain direct feedback about their work from a wide audience during the conference. At least one author of each accepted paper must register for the conference and present the paper there. LATE-BREAKING RESULTS AND DEMO CHAIRS · Styliani Kleanthous, University of Cyprus, Cyprus & RISE LIMITED, Cyprus (Contact: stellak at ucy.ac.cy) · Maria Bielikova, Slovak University of Technology Bratislava, Slovakia · Ben Steichen, California State Polytechnic University, Pomona, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Dec 11 00:29:56 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 11 Dec 2018 00:29:56 +0100 Subject: [fg-arc] BigDat 2019: regular registration January 4 Message-ID: <545102060a010b0b0254530a02045a0352050c070b00505701070f0655055454560553530b5a080402535007050105@grlmc_ip-zone_com-6> BigDat 2019: regular registration January 4*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   5th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2019   Cambridge, United Kingdom   January 7-11, 2019   Co-organized by:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   http://bigdat2019.irdta.eu/   ********************************************************   --- Regular registration deadline: January 4, 2019 ---   ********************************************************   SCOPE:   BigDat 2019 will be a research training event with a global scope aiming at updating participants on 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, 24 four-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be:   University of Cambridge Department of Engineering Trumpington Street Cambridge CB2 1PZ   KEYNOTE SPEAKER:   Kenji Takeda (Director, Health and AI Partnerships, Microsoft Research), Big Data and AI - What's It Really Good for?   PROFESSORS AND COURSES:   Thomas Bäck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications   Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function   Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications   Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Cross-domain Multi-source Big Data Fusion and Analytics   Nitesh Chawla (University of Notre Dame), [intermediate/advanced] Network Science: Representation Learning and Higher Order Networks   Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing   David Gerbing (Portland State University), [introductory] Data Visualization with R   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data   Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Soumya Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods for Statistical Regression   Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges   Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise   Jaideep Srivastava (University of Minnesota), [intermediate] Social Computing – Concepts and Applications   Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Surrogate Modelling for Fun and Profit   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data Learning   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by December 30, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute 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 and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   ORGANIZING COMMITTEE:   Chiara Paola Codebò (Genova) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Jeffrey Salmond (Cambridge) David Silva (London, co-chair) Filippo Spiga (Cambridge, co-chair) Richard E. Turner (Cambridge)   REGISTRATION:   It has to be done at   http://bigdat2019.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an 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 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 are available on the event website.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: From wortmann at se-rwth.de Tue Dec 11 13:11:03 2018 From: wortmann at se-rwth.de (Andreas Wortmann) Date: Tue, 11 Dec 2018 13:11:03 +0100 Subject: [fg-arc] CfP RoSE 2019 Message-ID: Call for Papers Second International Workshop on Robotics Software Engineering Co-located with ICSE 2019 May 27, 2019, Montréal, QC, Canada https://rose-workshops.github.io/rose2019/ Robotics is one of the most challenging domains for software engineering (SE). Deploying even simple applications requires integrating solutions from experts of various domains, including navigation, path planning, manipulation, human-robot interaction, etc. Integration of modules contributed by respective domain experts is one of the key challenges in engineering software-centric systems, yet only one of the cross-cutting software concerns crucial to robotics. As robots often operate in dynamic, partially observable environments additional challenges include adaptability, robustness, safety, and security. The goal of RoSE 2019 is to bring together researchers from participating domains with practitioners to identify new frontiers in robotics software engineering, discuss challenges raised by real-world applications, and transfer latest insights from research to industry. RoSE 2019 will solicit contributions from both academic and industrial participants, thus fostering active synergy between the two communities. RoSE 2019 welcomes the following types of contributions: * research papers presenting novel contributions on advancing software engineering in robotics (max. 8 pages); * challenge showcase papers describing robotics challenges considered insufficiently addressed from an industry perspective (max. 6 pages); * lessons learned papers describing lessons learned in the collaboration between the two communities of SE and robotics (max. 6 pages); * vision papers on the future of software engineering in robotics (max. 4 pages); * tool and project papers on SE in robotics (max. 4 pages). Workshop papers must follow the ICSE 2019 Format and Submission Guidelines but will use a single-blind submission process. All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity by the program committee. All workshop papers should be submitted electronically in PDF format through the EasyChair website at https://easychair.org/conferences/?conf=rose2019. Accepted papers will become part of the workshop proceedings. Important Dates * Submission deadline: February 01 2019 * Notification of acceptance: March 01 2019 * Camera-ready version: March 15 2019 Best wishes, Federico Ciccozzi (Mälardalen University, Sweden) Nico Hochgeschwender (Université du Luxembourg, Luxembourg) Ivano Malavolta (Vrije Universiteit Amsterdam, The Netherlands) Andreas Wortmann (RWTH Aachen University, Germany) -- ----------------------------------------------------------------------------------------------------------------- Dr. Andreas Wortmann | Software Engineering Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University Phone +49 241 80-21343 / Fax -22218 | http://www.se-rwth.de From wortmann at se-rwth.de Tue Dec 11 13:22:15 2018 From: wortmann at se-rwth.de (Andreas Wortmann) Date: Tue, 11 Dec 2018 13:22:15 +0100 Subject: [fg-arc] CfP RoSE 2019 Message-ID: Call for Papers Second International Workshop on Robotics Software Engineering Co-located with ICSE 2019 May 27, 2019, Montréal, QC, Canada https://rose-workshops.github.io/rose2019/ Robotics is one of the most challenging domains for software engineering (SE). Deploying even simple applications requires integrating solutions from experts of various domains, including navigation, path planning, manipulation, human-robot interaction, etc. Integration of modules contributed by respective domain experts is one of the key challenges in engineering software-centric systems, yet only one of the cross-cutting software concerns crucial to robotics. As robots often operate in dynamic, partially observable environments additional challenges include adaptability, robustness, safety, and security. The goal of RoSE 2019 is to bring together researchers from participating domains with practitioners to identify new frontiers in robotics software engineering, discuss challenges raised by real-world applications, and transfer latest insights from research to industry. RoSE 2019 will solicit contributions from both academic and industrial participants, thus fostering active synergy between the two communities. RoSE 2019 welcomes the following types of contributions: * research papers presenting novel contributions on advancing software engineering in robotics (max. 8 pages); * challenge showcase papers describing robotics challenges considered insufficiently addressed from an industry perspective (max. 6 pages); * lessons learned papers describing lessons learned in the collaboration between the two communities of SE and robotics (max. 6 pages); * vision papers on the future of software engineering in robotics (max. 4 pages); * tool and project papers on SE in robotics (max. 4 pages). Workshop papers must follow the ICSE 2019 Format and Submission Guidelines but will use a single-blind submission process. All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity by the program committee. All workshop papers should be submitted electronically in PDF format through the EasyChair website at https://easychair.org/conferences/?conf=rose2019. Accepted papers will become part of the workshop proceedings. Important Dates * Submission deadline: February 01 2019 * Notification of acceptance: March 01 2019 * Camera-ready version: March 15 2019 Best wishes, Federico Ciccozzi (Mälardalen University, Sweden) Nico Hochgeschwender (Université du Luxembourg, Luxembourg) Ivano Malavolta (Vrije Universiteit Amsterdam, The Netherlands) Andreas Wortmann (RWTH Aachen University, Germany) -- ----------------------------------------------------------------------------------------------------------------- Dr. Andreas Wortmann | Software Engineering Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University Phone +49 241 80-21343 / Fax -22218 | http://www.se-rwth.de From roveri at fbk.eu Tue Dec 11 14:52:04 2018 From: roveri at fbk.eu (Marco Roveri) Date: Tue, 11 Dec 2018 14:52:04 +0100 Subject: [fg-arc] Work opportunities for Students/Graduates at Fondazione Bruno Kessler Message-ID: <20181211135204.C493EE1769@mitchell> (Apologies if you have received multiple copies of this announcement) WORK OPPORTUNITY FOR STUDENTS/GRADUATES AT FBK! Ideal candidates for this position are young people with strong computer programming skills and a desire to engage in a path of professional growth in the area of research. We are looking for people willing to work in international teams, attracted by research and innovation, with a spirit of initiative and critical thinking skills. If you are interested in joining our top class Research Units, check out the details below! -------------------------------------------------- Workplace -------------------------------------------------- The Embedded Systems (ES) Unit of the Information and Communication Technology Center of the Bruno Kessler Foundation, Trento, Italy consists of about 25 persons, including researchers, Postdoc, PhD students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems. Current research directions include: * Formal Verification of complex embedded systems leveraging on model checking techniques; * Formal Safety Analysis, based on the integration of traditional (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. * Contract-based engineering and contract-based formal verification of aerospace systems using model checking techniques; * Contract-based techniques for fault detection, identification relying on model checking techniques; * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis); * Model based planning and scheduling for aerospace and robotic (drone) systems, for the management of autonomous vehicles, drones for exploration in critical environment, factory automation, and for process optimizations (with applications in Industry 4.0), leveraging model checking and satisfiability modulo theory techniques; * Model based on-board autonomy for different vehicles (AUV, ROV) using planning and scheduling techniques; * Model based recovery relying on planning and scheduling techniques; * Model-based development of controllers for embedded systems; * Satisfiability Modulo Theory, and its application to planning and scheduling, verification of hardware, embedded critical software, and hybrid systems; * Combination of machine learning and symbolic reasoning for predictive maintenance. More information about the ES Unit is available at https://es.fbk.eu/ -------------------------------------------------- Job Description -------------------------------------------------- The Embedded Systems (ES) Unit is looking for junior programmers for software development activities related to the different research, technology transfer, and industrial projects in its current portfolio. In particular, the successful candidate will support the ES-Unit’s researchers in the design and development of the different applications and tools to develop and deploy at different premises within the several projects. The successful candidates are expected to work in collaboration with other researchers, programmers, and students involved in the different projects. -------------------------------------------------- Job requirements -------------------------------------------------- The ideal candidate should have: * High school diploma/bachelor degree * Software design and development skills; * Knowledge of at least one of the following programming languages: C++, C, Python, Java; * Hands-on experience with standard software development environments under Unix/Linux and/or MS Windows (TM); * Ability to work in a collaborative environment; * Result orientation and flexibility; * Good communication and relational skills in English. FBK will consider Background knowledge and/or previous hands-on experience in the following areas: model-based development of controllers for embedded systems; Eclipse development platform; Xtext framework; UML and/or SysML; XML; symbolic logic; formal methods (e.g., model checking), planning and scheduling, machine learning and machine learning development environments (e.g. scikit-learn, PyTorch, tensorflow). -------------------------------------------------- Employment -------------------------------------------------- Type of contract: fixed term contract (technical profile - L4 CCPL) Working hours: part or full time (depending on internal project needs and candidate’s availability) Start date: January 2019 Duration: December 2019 (with possibility to extend the contract depending on funding) Workplace: Trento - Povo Benefits: flexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation, social security, etc., reductions on bank account opening fees, public transportation, sport, language course fees. More info at https://www.welfarefbk.info/ -------------------------------------------------- Application -------------------------------------------------- Candidates are required to submit their applications by clicking "Apply online" at the bottom of this page. Please make sure that your application includes the following attachments (pdf. format): * Detailed CV * Cover Letter (explaining your motivation for this specific position) Application deadline: 20th December, 2018 Please read our Regulations on the recruitment and selection of fixed-term personnel (effective from October 15, 2018) before completing your application. For further administrative information, please contact the Human Resources Services at jobs at fbk.eu For technical inquiries about the position, send an e-mail at es-info at fbk.eu. From ggelfond at unomaha.edu Wed Dec 12 01:25:15 2018 From: ggelfond at unomaha.edu (Gregory Gelfond) Date: Wed, 12 Dec 2018 00:25:15 +0000 Subject: [fg-arc] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ** Message-ID: Call for Papers --------------------------------------------------------------------------- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 https://sites.sju.edu/plw/lpnmr-2019/ Philadelphia, USA June 4-7, 2019 Part of the philadelphia Loogic Week 2019 https://sites.sju.edu/plw/ Co-located with Datalog 2.0 Workshop International Workshop on Bidirectional Transformations --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appear essential in enabling these emerging applications to�provide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. INVITED SPEAKERS To be announced TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2019 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the LPNMR 2019 Easychair site: https://easychair.org/conferences/?conf=lpnmr2019 Two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal. Also, the journal Theory and Practice of Logic Programming will devote a special issue for a joint event of LPNMR/Datalog 2.0. Four to six papers will be selected for a rapid publication. In case of invited papers for a rapid publication in journals, there should be at least 30% new content compared to the published conference paper. The extra material should consist of extensions of the existing material such as proofs, further experimental results, and implementation details (some of which would appear as supplementary material). New results could be included too, if appropriate. Authors invited to submit to the special issue should confirm that such extra material is available. MULTIPLE SUBMISSION POLICY LPNMR 2019 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. COLOCATED EVENTS DATALOG 2.0 Workshop ASSOCIATED EVENTS WORKSHOPS - LPNMR 2019 will include specialized workshops to be held on June 3 and 4: * The 12th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Jorge Fandinno and Johannes K. Fichte * Causal Reasoning and Explanation in Logic Programming Organizers: Emily Leblanc, Joost Vennekens, Son Tran, Pedro Cabalar and, Jorge Fandi�o * The 5th International Workshop on Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak * The 5th International Workshop on Grounding and Transformations for Theories with Variables (GTTV) Organizers: Antonius Weinzierl and Peter Sch�ller * The 3rd International Workshop on User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Christos Rodosthenous * Workshop on the ASP Challenge 2019 (WAC 2019) Organizers: Carmine Dodaro, Christoph Redl, and Peter Sch�ller DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION WWW: https://sites.sju.edu/plw/lpnmr-2019/ Email: lpnmr2019 at easychair.org Tentative IMPORTANT DATES * Paper registration: January 29 * Paper submission: February 5 * Notification: March 12 * Final versions due: April 2 VENUE Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more. Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, LPNMR 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City. GENERAL CHAIR Marcello Balduccini, Saint Joseph's University, USA PROGRAM CHAIRS Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA WORKSHOPS CHAIR Mario Alviano, University of Calabria, Italy DOCTORAL CONSORTIUM CHAIRS Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria MARKETING CHAIRS Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA PROGRAM COMMITTEE Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universität Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universität Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Politécnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Schüller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universität Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of São Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney From roveri at fbk.eu Tue Dec 11 14:20:35 2018 From: roveri at fbk.eu (Marco Roveri) Date: Tue, 11 Dec 2018 14:20:35 +0100 Subject: [fg-arc] Post-doc position in the field of Planning and Scheduling at Fondazione Bruno Kessler Message-ID: <20181211132035.13DE8E456E@mitchell> (Apologies if you have received multiple copies of this announcement) A RESEARCHER IN THE FIELD OF PLANNING AND SCHEDULING FOR THE EMBEDDED SYSTEMS RESEARCH UNIT (ES) -------------------------------------------------- Job Description -------------------------------------------------- The Embedded System (ES) Unit has an opening for a PostDoc position in the field of planning and scheduling for industrial applications in the framework of several research and technology transfer projects. The successful candidate will be employed for a period of at least two years (with a trial period of 6 months). She/he will carry out research activities in various aspects of planning and scheduling, and architectures for autonomy applied to the design and implementation of adaptive autonomous systems with critical timing, safety and security requirements. The candidate is expected to perform activities related to the following research topics: * Declarative languages to specify planning and scheduling domains, keeping into account controllability, partial observability, timing, and resources issues; * Declarative languages to specify conditional time triggered plans suitable to solve complex planning and scheduling problems; * Design and implementation of scalable planning and scheduling solution techniques for applications in industrial settings to control autonomous vehicles as well as for factory automation; * Design and implementation of formal plan validation techniques to be applied in the planning and scheduling domains, suitable for the verification of conditional time triggered plans; * Design and implementation of autonomy architectures encompassing, deliberation, execution and monitoring and interface with low level controls, both for off-line and on-board deployment; * Design and implementation of scalable techniques to handle and deal with planning and scheduling domains in continuous spaces (e.g. motion and path planning). The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the project. Moreover, the candidate is expected to interact with industrial partners and to spend some time at industrial partner premises. -------------------------------------------------- Job requirements -------------------------------------------------- The ideal candidate should have: * PhD in computer science, mathematics or electronic engineering (to be completed by mid 2019); * Software development skills (preferably in C, C++, Python or Java); * Ability to carry out an independent research program; * Ability to work in a collaborative environment and deliver in research and/or industrial projects; * Oral and written proficiency in English. Additional requirements: In depth previous experience in at least one of the following areas: * Planning and Scheduling * Autonomy Architecture * Robotic infrastructures (e.g. ROS) * Solid background in logic, temporal logics and property specification languages * Symbolic Model Checking * Satisfiability Modulo Theory * Formal Specification and Analysis of Architectures * Software Model Checking -------------------------------------------------- Employment -------------------------------------------------- Type of contract: Fixed Term Contract (research profile CCPL) Gross annual salary: about Euro 39.300 Working hours: full time Start date: January 2019 End Date: December 2020 Workplace: Trento - Povo Benefits: flexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation, social security, etc., reductions on bank account opening fees, public transportation, sport, language course fees. More info at https://www.welfarefbk.info/ -------------------------------------------------- Application -------------------------------------------------- Candidates must submit their application by clicking "Apply online" at the bottom of this page. Please make sure to enclose the following documents with your application (pdf format): * Detailed CV * Cover Letter (explaining your motivation for this specific position) * 3 professional references (e-mails and/or phone numbers) Application deadline: 20th December 2018 Please read our Regulations on the recruitment and selection of fixed-term personnel (effective from October 15, 2018) before completing your application. For further administrative information, please contact the Human Resources Services at jobs at fbk.eu For technical inquiries about the position, send an e-mail at es-info at fbk.eu. -------------------------------------------------- The Embedded System Unit (ES Unit) -------------------------------------------------- The Embedded Systems Research Unit (ES Unit) of the Information and Communication Technology Center of the Bruno Kessler Foundation (FBK-irst), Trento, Italy consists of about 25 people, including researchers, post-docs, PhD students, Master Students, and programmers. The Unit carries out basic and applied research, tool development and technology transfer in the field of automated planning and in the field of design and verification of embedded systems for different applicative contexts, Current research directions include: * Model-based planning and scheduling for robotic systems (e.g., autonomous vehicles, UAVs), factory automation, and process optimizations (with applications in the field of Industry 4.0), leveraging model checking, satisfiability modulo theory, and combining explicit and symbolic search techniques; * Model-based on-board autonomy for different vehicles (e.g., AUV, ROV) using planning and scheduling techniques; * Model-based execution and monitoring of mission plans and assumptions under which the mission plan have been generated; * Model-based recovery relying on planning and scheduling techniques; * Formal Verification of complex embedded systems leveraging on model checking techniques; * Formal Safety Analysis, based on the integration of traditional and symbolic techniques; ( Contract-based engineering and contract-based formal verification of aerospace systems using model checking techniques; * Formal contract-based verification relying on model checking techniques; * Formal Requirements Analysis based on temporal logic checks; * Predictive maintenance by combining model based reasoning with machine learning approaches; * Satisfiability Modulo Theory, and its application to planning and scheduling, verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink, SCADE); * Combination of machine learning and symbolic reasoning for predictive maintenance. More information about the ES Unit is available at http://es.fbk.eu/. From announce at cs.ucy.ac.cy Tue Dec 11 14:37:51 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 11 Dec 2018 15:37:51 +0200 Subject: [fg-arc] The 27th ACM Conference on User Modeling, Adaptation and Personalization (UMAP 2019): First Call for Theory, Opinion and Reflection Papers Message-ID: *** FIRST CALL FOR THEORY, OPINION AND REFLECTION PAPERS *** 27th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP 2019) Golden Bay Beach Hotel 5*, Larnaca, Cyprus, June 9-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IEZpcnN0IENhbGwgZm9yIFRoZW9yeSwgT3BpbmlvbiBhbmQgUmVmbGVjdGlvbiBQYXBlcnMJMzExCUxpc3RzCTE0MgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.um.org%2Fumap2019%2F Submissions due: March 16, 2019 ACM UMAP - User Modelling, Adaptation and Personalization is the premier international conference for researchers and practitioners working on systems that adapt to individual users, to groups of users, and that collect, represent, and model user information. Theory, Opinion and Reflection (TOR) are position papers that critically look at ongoing and emerging research topics, reflections on persistent or fleeting trends in the field and blue sky future ideas for UMAP research. They offer an opportunity for discussing thought-provoking work relevant to the UMAP community, albeit they are not yet ready to be published as a full length research papers at a refereed conference. They should be of sufficient quality and relevance to the UMAP community and demonstrate the ability to spur discussion and debate on the future course of the UMAP research. The presentations will be in the form of a 10 minute pitch in a plenary conference session, just before a break. The presenters will present the topic and raise relevant questions to stimulate discussion during the breaks. Submissions should have a maximum length of 4 pages in the ACM SIG proceedings template. SUBMISSION AND REVIEW PROCESS Submissions must adhere to the ACM SIG Standard (SIGCONF) proceedings template. A template can be found at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IEZpcnN0IENhbGwgZm9yIFRoZW9yeSwgT3BpbmlvbiBhbmQgUmVmbGVjdGlvbiBQYXBlcnMJMzExCUxpc3RzCTE0MgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template. Submit your papers in PDF format via EasyChair for UMAP 2019 TOR at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IEZpcnN0IENhbGwgZm9yIFRoZW9yeSwgT3BpbmlvbiBhbmQgUmVmbGVjdGlvbiBQYXBlcnMJMzExCUxpc3RzCTE0MgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dumap2019tor. The review process will be single blinded, i.e. authors' names should be included in the papers. Submissions will be reviewed by at least two independent reviewers. They will be assessed based on their originality and novelty, potential to stimulate discussion on important research questions, potential contribution to UMAP research and practice, potential impact in particular use cases, as well as their overall readability. Papers that exceed the page limits (4 pages for TOR) or do not adhere to the formatting guidelines will be returned without review. IMPORTANT DATES · Submission of TOR papers: March 16th, 2019 · Notification of acceptance: April 5th, 2019 · Camera-ready versions of accepted papers: April 15th, 2019 Note: The submissions times are 11:59 pm Anywhere on Earth. PUBLICATION AND PRESENTATION Accepted Theory, Opinion and Reflection papers will be published in the ACM UMAP 2019 Adjunct Proceedings in the ACM Digital Library. All categories will be presented at the poster reception of the conference, in the form of a poster and/or a software demonstration following poster format. This form of presentation will provide presenters with an opportunity to obtain direct feedback about their work from a wide audience during the conference. At least one author of each accepted paper must register for the conference and present the paper there. THEORY, OPINION AND REFLECTION PAPERS CHAIRS · Jan-Geert Houben, Delft University, The Netherlands (g.j.p.m.houben AT tudelft.nl) · Bamshad Mobasher, DePaul University, USA (mobasher AT cs.depaul.edu) -------------- next part -------------- An HTML attachment was scrubbed... URL: From roveri at fbk.eu Tue Dec 11 14:04:50 2018 From: roveri at fbk.eu (Marco Roveri) Date: Tue, 11 Dec 2018 14:04:50 +0100 Subject: [fg-arc] Post-doc position in the field of Formal Methods at Fondazione Bruno Kessler Message-ID: <20181211130450.2584DE456E@mitchell> (Apologies if you have received multiple copies of this announcement) A RESEARCHER IN THE FIELD OF FORMAL METHODS FOR THE EMBEDDED SYSTEMS RESEARCH UNIT (ES) -------------------------------------------------- Job Description -------------------------------------------------- The Embedded Systems (ES) Unit has an opening for a PostDoc position in the field of formal verification for industrial applications with the focus on several research and technology transfer projects. The successful candidate will be employed for a period of at least two years (with a trial period of 6 months). He/She will carry out research activities in the field of formal verification and safety assessment applied to the design and implementation of complex industrial size safety critical systems. The candidate is expected to perform activities related to the following research topics: * Declarative languages for to contract-based design and safety assessment; * Design and implementation of scalable formal verification techniques for the verification of temporal properties, to be applied in industrial settings for the design and verification of complex industrial safety-critical systems (e.g. railway domain, avionic domain); * Design and implementation of formal verification techniques for hybrid systems with non-linear dynamics, to be integrated in standard industrial design and verification environments (e.g. CHESS, SCADE, Matlab-Stateflow-Simulink); * Design and implementation of a contract-based framework for compositional verification of systems based on the properties of components, and of a framework for the automatic synthesis of monitors to ensure that local/global properties are satisfied; * Design and implementation of a contract-based safety assessment framework that will allow for the generation of fault-trees, FMEA tables, and reliability measures in a compositional fashion, leveraging on local component results. The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the project. Moreover, the candidate is expected also to interact with industrial partners and to spend some time at industrial partner premises. -------------------------------------------------- Job requirements -------------------------------------------------- The ideal candidate should have: * PhD in computer science, mathematics or electronic engineering (to be completed within mid 2019); * Software development skills (preferably in C, C++, Python or Java); * Ability to carry out an independent research program; * Ability to work in a collaborative environment and deliver in research projects and possibly in industrial projects; * Oral and written proficiency in English Additional requirements: In depth previous experience in at least one of the following areas: * Solid background in logic * Temporal Logics and Property Specification Languages * Contracts and Interface Theories * Formal Specification and Analysis of Architectures and Model Based Reasoning * Formal Model-Based Safety Analysis (e.g., automatic generation of fault trees, reliability metrics) * Symbolic (Software) Model Checking * Satisfiability Modulo Theory -------------------------------------------------- Employment -------------------------------------------------- Type of contract: Fixed Term Contract (research profile CCPL) Gross annual salary: about € 39.300 Working hours: full time Start date: January 2019 End Date: December 2020 Workplace: Trento - Povo Benefits: flexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation, social security, etc., reductions on bank account opening fees, public transportation, sport, language course fees. More info at https://www.welfarefbk.info/ -------------------------------------------------- Application -------------------------------------------------- Candidates must submit their application by clicking "Apply online" at the bottom of this page. Please make sure to enclose the following documents with your application (pdf format): * Detailed CV * Cover Letter (explaining your motivation for this specific position) * 3 professional references (e-mails and/or phone numbers) Application deadline: 20th December 2018 Please read our Regulations on the recruitment and selection of fixed-term personnel (effective from October 15, 2018) before completing your application. For further administrative information, please contact the Human Resources Services at jobs at fbk.eu For technical inquiries about the position, send an e-mail at es-info at fbk.eu. -------------------------------------------------- The Embedded System Unit (ES Unit) -------------------------------------------------- The Embedded Systems Research Unit (ES Unit) of the Information and Communication Technology Center of the Bruno Kessler Foundation (FBK-irst), Trento, Italy consists of about 25 people, including researchers, post-docs, PhD students, Master Students, and programmers. The Unit carries out basic and applied research, tool development and technology transfer in the field of automated planning for different application contexts, and design and verification of embedded systems. Current research directions include: * Formal Verification of complex embedded systems using model checking techniques; * Formal Safety Analysis, based on the integration of traditional (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques; * Contract-based engineering and contract-based formal verification of aerospace systems using model checking techniques; * Contract-based techniques for fault detection, identification and recovery relying on model checking techniques; * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis); * Satisfiability Modulo Theory, and its application to planning and scheduling, verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, SCADE, StateFlow/Simulink); * Model based planning and scheduling for aerospace and robotic (drone) systems, for the management of autonomous vehicles, drones for exploration in critical environments, factory automation, and for process optimizations (with applications in Industry 4.0), leveraging model checking and satisfiability modulo theory techniques; * Model based on-board autonomy for different vehicles (AUV, ROV) using planning and scheduling techniques; * Model based recovery relying on planning and scheduling techniques; * Combination of machine learning and symbolic reasoning for predictive maintenance. More information about the ES Unit is available at http://es.fbk.eu/. From roveri at fbk.eu Tue Dec 11 14:36:19 2018 From: roveri at fbk.eu (Marco Roveri) Date: Tue, 11 Dec 2018 14:36:19 +0100 Subject: [fg-arc] Post-doc position in the field of Predictive Maintenance at Fondazione Bruno Kessler Message-ID: <20181211133619.DDA56E456E@mitchell> (Apologies if you have received multiple copies of this announcement) A RESEARCHER IN THE FIELD OF PREDICTIVE MAINTENANCE FOR THE EMBEDDED SYSTEMS RESEARCH UNIT (ES) -------------------------------------------------- Job Description -------------------------------------------------- The Embedded Systems (ES) Unit has an opening for a PostDoc position in the field of predictive maintenance for industrial applications in the framework of several research and technology transfer projects. The successful candidate will be employed for a period of at least two years (with a trial period of 6 months). He/She will carry out research activities in the field of predictive maintenance applied to the analysis of complex critical designs. The candidate is expected to perform activities related to the following research topics: * Development of techniques and tools for combining data driven and model based reasoning to learn models and/or to improve the quality of the models at the basis of the model based approach to run-time monitoring and predictive maintenance; * Development of novel techniques for combining model based reasoning with machine learning to reduce the learning phase, and to improve the quality of the answer generated by the machine learning algorithms, with applications in predictive maintenance, reliability, availability, maintainability, safety and security of data; * Development of a scalable and generic infrastructure for model based predictive maintenance that will allow for different form of analysis to combine sensor data to infer proper abstract states to drive then machine learning algorithms and/or statistical model checking algorithms in predicting the evolution of a system (e.g. future faults, remaining useful lifetime, …). * Development of techniques and tools for the automated synthesis of run-time monitor for diagnosis and prognosis, and techniques and tools for model-based synthesis of drivers connecting application to sensors and enriching sensors with meta-data. The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the project. Moreover, the candidate is expected also to interact with industrial partners and to spend some time at industrial partner premises. -------------------------------------------------- Job requirements -------------------------------------------------- The ideal candidate should have: * PhD in computer science, mathematics or electronic engineering (to be completed by mid 2019); * Software development skills (preferably in C, C++, Python or Java); * Ability to carry out an independent research program; * Ability to work in a collaborative environment and deliver in research projects and possibly in industrial projects; * Oral and written proficiency in English Additional requirements: In depth previous experience in at least one of the following areas: * Predictive Maintenance * Machine Learning * Symbolic Model Checking * Solid background in logic * Temporal Logics and Property Specification Languages * Satisfiability Modulo Theory * Formal Specification and Analysis of Architectures -------------------------------------------------- Employment -------------------------------------------------- Type of contract: Fixed Term Contract (research profile CCPL) Gross annual salary: about € 39.300 Working hours: full time Start date: January 2019 End Date: December 2020 Workplace: Trento - Povo Benefits: flexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation, social security, etc., reductions on bank account opening fees, public transportation, sport, language course fees. More info at https://www.welfarefbk.info/ -------------------------------------------------- Application -------------------------------------------------- Candidates must submit their application by clicking "Apply online" at the bottom of this page. Please make sure to enclose the following documents with your application (pdf format): * Detailed CV * Cover Letter (explaining your motivation for this specific position) * 3 professional references (e-mails and/or phone numbers) Application deadline: 20th December 2018 Please read our Regulations on the recruitment and selection of fixed-term personnel (effective from October 15, 2018) before completing your application. For further administrative information, please contact the Human Resources Services at jobs at fbk.eu For technical inquiries about the position, send an e-mail at es-info at fbk.eu -------------------------------------------------- The Embedded System Unit (ES Unit) -------------------------------------------------- The Embedded Systems Research Unit (ES Unit) of the Information and Communication Technology Center of the Bruno Kessler Foundation (FBK-irst), Trento, Italy consists of about 25 people, including researchers, post-docs, PhD students, Master Students, and programmers. The Unit carries out basic and applied research, tool development and technology transfer in the field of automated planning for different applicative contexts, and in the field of design and verification of embedded systems. Current research directions include: * Predictive maintenance by combining model based reasoning with machine learning approaches; * Formal Verification of complex embedded systems leveraging on model checking techniques; * Formal Safety Analysis, based on the integration of traditional and symbolic techniques. * Contract-based engineering and contract-based formal verification of aerospace systems using model checking techniques; * Formal contract-based verification relying on model checking techniques; * Formal Requirements Analysis based on temporal logic checks; * Satisfiability Modulo Theory, and its application to planning and scheduling, verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink, SCADE); * Model based planning and scheduling for robotic systems, for the management of autonomous vehicles, for drones to explore critical environment, factory automation, and for process optimizations (with applications in the field of Industry 4.0), leveraging model checking, satisfiability modulo theory, and combining explicit and symbolic search techniques; * Model based on-board autonomy for different vehicles (AUV, ROV) using planning and scheduling techniques; * Model based execution and monitoring of mission plans and assumptions under which the mission plan have been generated; * Model based recovery relying on planning and scheduling techniques. More information about the ES Unit is available at http://es.fbk.eu/. From announce at cs.ucy.ac.cy Sat Dec 15 12:47:23 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 15 Dec 2018 13:47:23 +0200 Subject: [fg-arc] The 27th ACM Conference on User Modeling, Adaptation and Personalization (UMAP 2019): Second Call for Tutorial Proposals Message-ID: <1JSA6TB-2HI-DRYX-I4LA-RP5SCHSR8NYQ@cs.ucy.ac.cy> *** SECOND CALL FOR TUTORIAL PROPOSALS *** 27th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP 2019) Golden Bay Beach Hotel 5*, Larnaca, Cyprus, June 9-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IFNlY29uZCBDYWxsIGZvciBUdXRvcmlhbCBQcm9wb3NhbHMJMzE2CUxpc3RzCTE0MgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.um.org%2Fumap2019%2F Proposals due: February 11, 2019 ACM UMAP 2019, the premier international conference for researchers and practitioners working on systems that adapt to individual users or to groups of users, and which collect, represent, and model user information, is pleased to invite proposals for tutorials to be given in conjunction with the conference. Tutorials are intensive instructional sessions aimed to provide a comprehensive introduction to established or emerging research topics of interest for the UMAP community. Topics of interest include, but are not limited to: · new user modeling technologies, methods, techniques, and trends (e.g. exploiting data mining and big data analytics for user modeling, evaluation methodologies, data visualization, etc.); · user modeling and personalization techniques for specific domains (e.g., health sciences, e-government, e-commerce, cultural heritage, education, internet of things, mobile, music, information retrieval, etc.); · application of user modeling and personalization techniques for information retrieval and recommender systems; · eliciting and learning user preferences by taking into account users' emotional state, physical state, personality, trust, cognitive factors. An ideal tutorial should be broad enough to provide a basic introduction to the chosen area, but it should also cover the most important topics in depth. Tutorial presenters can have one page in the adjunct proceedings. PROPOSAL FORMAT AND SUBMISSION Tutorial proposals should be submitted in PDF format to both tutorial chairs, not exceeding 5 pages and containing the following information: 1. Title and abstract of the tutorial for inclusion on the ACM UMAP 2019 website (200 words maximum). 2. Tutorial description: · learning objectives of the tutorial and relevance to ACM UMAP 2019; · targeted audience (introductory, intermediate, advanced) and prerequisite knowledge or skills; · a brief outline of the tutorial structure; · practical sessions. 3. Tutorial length: full (6 hours) or half day (3 hours). 4. Other venues to which the tutorial or part thereof has been or will be presented, in addition to explaining how the current tutorial differs from the other editions. 5. Name, email address, affiliation and brief professional biography of the tutorial instructor(s), indicating previous training and speaking experience. IMPORTANT DATES · Tutorial proposals: February 11, 2019 · Notification of acceptance: February 26, 2019 · Tutorial summary camera-ready: April 3, 2019 · Adjunct proceedings camera ready: April 15, 2019 · Tutorial day: June 9, 2019 EVALUATION CRITERIA All proposals will be reviewed by the tutorial chairs. The features that will be evaluated are: 1. ability of the tutorial to contribute to strengthening the foundations of UMAP research; 2. clarity of the tutorial, which should emerge from its description; 3. good organization, as appearing from the outline; 4. background/experience of tutorial instructor(s) in teaching the target topics. TUTORIAL CHAIRS · Milos Kravcík, German Research Center for Artificial Intelligence (DFKI), Germany (milos.kravcik AT dfki.de) · Iván Cantador, Universidad Autónoma de Madrid, Spain (ivan.cantador AT uam.es) -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Dec 13 13:37:52 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 13 Dec 2018 14:37:52 +0200 Subject: [fg-arc] 12th International Conference on Informatics in Schools (ISSEP 2019): First Call for Papers Message-ID: <253SJ04S-7RIE-H0O2-L8X6-E47WXJVEA2CT@cs.ucy.ac.cy> *** FIRST CALL FOR PAPERS *** 12th International Conference on Informatics in Schools (ISSEP 2019) Lordos Beach Hotel, Larnaca, Cyprus, November 18-20, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxMnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBJbmZvcm1hdGljcyBpbiBTY2hvb2xzIChJU1NFUCAyMDE5KTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzCTMxMwlMaXN0cwkxNDIJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fissep2019%2F *** Submission Deadline: May 3rd, 2019 *** The International Conference on Informatics in Schools: Situation, Evolution and Perspectives (ISSEP) is a forum for researchers and practitioners in the area of Informatics education, in both primary and secondary schools. The conference provides an opportunity for educators and researchers to reflect upon the goals and objectives of this subject matter, its curricula, various teaching and learning paradigms and topics, as well as the connections to everyday life -- including the various ways of developing Informatics Education in schools. The conference focuses on educational goals and objectives of Informatics or Computer Science as a subject matter in primary, secondary and vocational education and their different realisation in compulsory and voluntary courses. Scope The main topics of the conference are: · Sustainable education in Informatics for pupils of all ages · Connecting Informatics lessons to the students' everyday lives · Teacher education in Informatics · Research on Informatics in schools (empirical / qualitative / quantitative / theory building / research methods / comparative studies / transferability of methods and results from other disciplines) · Computer tools in teaching and studying Informatics In particular, contributions solicited cover a variety of topics including but not limited to: · Accessibility · Assessment · Application of intelligent technologies to personalise learning · Application of Learning Analytics to analyse learners behaviour · Classroom management · Communication skills · Contests and Competitions in Informatics · Computers and society · Courseware · Curriculum issues · Diagnostic teaching · Empirical methods · Ethical/societal issues · Gender and diversity issues · High school/college transition issues · Information systems · Interdisciplinary courses and projects · Laboratory/active learning · Learner profiles · Learning personalisation · Misconceptions · Multimedia · Pedagogy · Programming contests · Students cognitive traits · Students learning styles · Student retention and persistence · Research in Informatics education · Role of programming and algorithmics · Teacher education · Using emerging instructional technologies · Web-based techniques Work submitted to ISSEP should be novel and material that has been previously published should not be republished unless the work has been significantly revised. Note however, that while novel work is highly valued, constructive replication of previous studies can also be a significant contribution, and a new interpretation or evaluation of previously-published work can make a good contribution. The submission site for ISSEP 2019 will be available soon on the conference web site. Call for Manuscripts Authors are invited to submit high-quality manuscripts reporting original unpublished research and recent developments in the topics related to the conference. All papers will be peer reviewed and comments will be provided to the authors. There are three different submission categories: · Research and theory papers · Best practice papers / country reports · Work in progress / discussion papers Submissions must be formatted according to the Springer LNCS style guidelines using LaTeX. The maximum length of the paper (including references, but excluding the optional appendix) is 12 pages. For online Latex editors, see e.g. Overleaf and ShareLatex. Abstract length -- 200-300 words. Submissions are reviewed using a double-blind process. Authors should leave their names and affiliations blank in the articles submitted for review, and take care to avoid details in the article that could be used to identify the authors. These include institution information, specific funding information and clear self-citations. When using the LNCS style, do not change the margin size or the font, do not make a separate title page, etc.: use the LNCS style file as given. However, please do add page numbers, which can be done, for example, by adding \pagestyle{plain} just before \begin{document}. Accepted papers will be included in the ISSEP 2019 local proceedings. Selected top quality papers will be published in the Springer Lecture Notes in Computer Science (LNCS) series. Authors will also have the possibility to extend their work and publish it in the journal "Computer Tools in Education Journal". Important Dates · Abstract submission: May 3rd, 2019 · Paper submission: May 31st, 2019 · Notification of acceptance: August 30th, 2019 · Camera-ready submission: September 13th, 2019 · Author registration: September 13th, 2019 · Early (non-author) registration: October 18th, 2019 Committees General and Organising Chair George A. Papadopoulos, University of Cyprus, Cyprus Steering Committee Andreas Bollin, University of Klagenfurt, Austria Valentina Dagiere, Vilnius University, Lithuania Yasemin Gulbahar, Ankara University, Turkey Juraj Hromkovi?, Swiss Federal Institute of Technology Zurich, Switzerland Ivan Kalas, Comenius University, Slovakia George A. Papadopoulos, University of Cyprus, Cyprus Sergei Pozdniakov, Saint Petersburg Electrotechnical University, Russia Program Committee Chair Sergei Pozdniakov, Saint Petersburg Electrotechnical University, Russia Program Committee Erik Barendsen, Radboud University Nijmegen and Open Universiteit, Netherlands Andrej Brodnik, University of Ljubljana, Slovenia Christian Datzko, SVIA-SSIE-SSII, Basel, Switzerland Ira Diethelm, Oldenburg University, Germany Michalis Giannakos, Norwegian University of Science and Technology, Norway Bruria Haberman, Holon Institute of Technology, Tel Aviv, Israel Peter Hubwieser , Technical University Munich, Germany Petri Ihantola, Tampere University of Technology, Finland Dennis Komm, Pedagogical University Chur, Switzerland Mark Laanpere, Tallinn University, Estonia Peter Micheuz, University Klagenfurt and Gymnasium Völkermarkt, Austria Mattia Monga, Università degli Studi di Milano, Italy Ralf Romeike, University Erlangen (FAU), Germany Giovanni Serafini, Swiss Federal Institute of Technology Zurich, Switzerland Maciej M. Syslo, Nicolaus Copernicus University, Torun, Poland -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Dec 16 14:35:35 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 16 Dec 2018 15:35:35 +0200 Subject: [fg-arc] The 27th ACM Conference on User Modeling, Adaptation and Personalization (UMAP 2019): Second Call for Doctoral Consortium Submissions Message-ID: <20QSV0RV-8FYQ-HA30-THDT-JBRZ7ORPTSM8@cs.ucy.ac.cy> *** SECOND CALL FOR DOCTORAL CONSORTIUM SUBMISSIONS *** 27th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP 2019) Golden Bay Beach Hotel 5*, Larnaca, Cyprus, June 9-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IFNlY29uZCBDYWxsIGZvciBEb2N0b3JhbCBDb25zb3J0aXVtIFN1Ym1pc3Npb25zCTMxOAlMaXN0cwkxNDIJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.um.org%2Fumap2019%2F Submissions due: March 1, 2019 ACM UMAP 2019, the premier international conference for researchers and practitioners working on systems that adapt to individual users or to groups of users, and which collect, represent, and model user information, will, as in previous issues of the conference series, include a Doctoral Consortium (DC) Session, which provides an opportunity for doctoral students to explore and develop their research interests under the guidance of distinguished researchers from the field. Doctoral students are invited to apply to present their research to experienced scholars who will provide constructive feedback and advice. The Doctoral Consortium is implemented as a student mentoring program that introduces students to senior researchers from the relevant fields. Students are expected to document in a brief submission their doctoral research (see below described submission information for further details), which will be evaluated by the consortium committee. Good quality applications will be selected for presentation at a Doctoral Consortium Session as part of the conference. Promising, but less well- developed applications will be selected for presentation at a poster session. Each student with an accepted submission will be assigned a mentor who will provide feedback on the student's work and will discuss the doctoral research with the student and the audience at the consortium. How to Submit to the Doctoral Consortium To apply for the ACM UMAP 2019 Doctoral Consortium, students are asked to submit a paper presenting their doctoral research that describes: · The problem being addressed. · Motivation outlining the relevance of the problem and referring to related work. · The main contributions that the PhD project aims to achieve. · The progress made to date (including a clear description of the proposed approach, methodology and preliminary results) as well as the plan for further research. · Topics include (but are not limited to) the ACM UMAP 2019 key areas. Each DC submission is encouraged to consider the following: identification of related (state of the art) work, indication of the potential innovation, application or advancement of the state-of-the-art that the work intends to achieve. In addition, as appropriate for the PhD project, the submissions can consider: indication of data to be used for experimentation, indication of implementation approach, indication of evaluation criteria and experimental design. Each submission should contain a cover page including the paper title, name of the PhD candidate, the name of his/her supervisor(s) and University, a paragraph describing the stage they are in the PhD programme, together with a brief description of their background. This will enable the committee to adapt its assistance to each student. Papers should be submitted via the EasyChair Doctoral Consortium submission system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IFNlY29uZCBDYWxsIGZvciBEb2N0b3JhbCBDb25zb3J0aXVtIFN1Ym1pc3Npb25zCTMxOAlMaXN0cwkxNDIJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dacmumap2019dc Submissions should be pdf documents consisting of 1 cover page and the paper (up to 4 pages long), formatted using the ACM SIG proceedings template. ACM UMAP Proceedings The accepted ACM UMAP 2019 Doctoral Consortium papers will be included in the Conference Proceedings, which will be published by ACM and that will be available via the ACM Digital Library. The main author (doctoral student) must register for the conference for the paper to be included in the proceedings. Financial Support ACM UMAP has a history of supporting students to attend. Further details will be announced on the website soon. Important Dates · Paper submission: March 1st, 2019 · Notification to authors: March 22nd, 2019 · Camera ready submission: April 3rd, 2019 · ACM UMAP 2019 DC Session: June 11th and 12th, 2019 Note: The submissions times are 11:59pm AoE time (Anywhere on Earth). Doctoral Consortium Chairs · Laurens Rook, TU Delft, The Netherlands (l.rook AT tudelft.nl) · Markus Zanker, Free University of Bozen-Bolzano, Italy (mzanker AT unibz.it) -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Dec 18 14:50:56 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 18 Dec 2018 13:50:56 -0000 Subject: [fg-arc] 8th Computer Science Education Research Conference (CSERC' 19): First Call for Papers Message-ID: *** FIRST CALL FOR PAPERS *** 8th Computer Science Education Research Conference (CSERC '19) Lordos Beach Hotel, Larnaca, Cyprus, November 18-20, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggQ29tcHV0ZXIgU2NpZW5jZSBFZHVjYXRpb24gUmVzZWFyY2ggQ29uZmVyZW5jZSAoQ1NFUkMnIDE5KTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzCTMyMAlMaXN0cwkxNDIJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.ou.nl%2Fweb%2Fcserc *** Submission Deadline: May 3rd, 2019 *** *** Proceedings to be published by ACM ICPS *** The Computer Science Education Research Conference (CSERC) is an international forum for researchers with interests in educational aspects of all computing disciplines including computer science, computer engineering, software engineering, and information systems. It embraces a broad view of the current and future trends in computing education and aspires to be a lively environment for presenting the latest research and empirical results. Submissions to CSERC 2019 might cover, but are not limited to, the following topics: · Specific educational subject matter, such as programming, database systems, computer security, and modelling. · Particular educational innovations, such as MOOCs, flipped-classroom, game-based education, and E-Learning. · Specific groups of students, such as first years, women, masters students, minorities, impaired students. · Broader topics, such as curriculum, group-work, assessment, class infrastructure. Submissions Original and unpublished submissions in all areas related to computing education are invited in the following categories: · Research Paper: Reporting theoretical or theoretically-informed empirical studies undertaken to investigate a specific aspect or address a particular problem in computing education. · Experience Report: Describing a classroom innovation and an evaluation of its impact. · Software Report: Describing developed tools for supporting teaching, learning or assessment in computing education. Types of accepted submissions include: · Full Paper (approximately 12 pages). · Practical Report (about 6 pages). · Poster (2 pages). Submission Format Templates for submissions can be found at the ACM SIG roceedings website, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggQ29tcHV0ZXIgU2NpZW5jZSBFZHVjYXRpb24gUmVzZWFyY2ggQ29uZmVyZW5jZSAoQ1NFUkMnIDE5KTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzCTMyMAlMaXN0cwkxNDIJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template . Papers can be submitted using EasyChair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggQ29tcHV0ZXIgU2NpZW5jZSBFZHVjYXRpb24gUmVzZWFyY2ggQ29uZmVyZW5jZSAoQ1NFUkMnIDE5KTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzCTMyMAlMaXN0cwkxNDIJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dcserc2019 . Documents proposed for conference presentation should be high quality, unpublished, original work and submitted on-line. The official language of the conference is English. Review Process and Publication Papers submitted for presentation at the conference are reviewed by the international Program Committee. The authors of the reviewed submissions will receive constructive feedback provided by CSERC Program Committee. Authors of papers presented at the conference will produce a final version of the paper, which takes into account the discussions that were held during the conference. The final versions of the papers accepted for presentation at CSERC'19 will be published in the ACM Digital library. At least one co-author of every accepted paper must register for the event and present the paper. Important Dates · Abstract submission: Friday 3 May 2019 · Paper submission deadline: Tuesday 21 May 2019 · Notification of paper acceptance: Friday 30 August 2019 · Author registration: Friday 13 September 2019 · Early (non-author) registration: Friday 18 October 2019 · Submission of camera ready papers taking reviewer comments in consideration: Thursday 19 December 2019 · Submission of paper final versions: Friday 10 January 2020 Colocation with ISSEP 2019 CSERC'19 co-locates with the 12th International Conference on Informatics in Schools: Situation, Evolution and Perspectives (ISSEP 2019). ISSEP is a forum for researchers and practitioners in the area of Informatics education, in both primary and secondary schools. It provides an opportunity for educators to reflect upon the goals and objectives of this subject matter, its curricula and various teaching/learning paradigms and topics, possible connections to everyday life and various ways of developing Informatics Education in schools. Combining CSERC and ISSEP provides a unique opportunity for educational researchers and practitioners to get a broad and comprehensive overview of educational research initiatives taking place at primary and secondary schools as well as higher education. Committees Program Committee Chair Ebrahim Rahimi, Open Universiteit, The Netherlands Program Committee Co-Chair Dave Stikkolorum, University of Leiden, The Netherlands Organising Chair George A. Papadopoulos, University of Cyprus, Cyprus Web Master Evert van de Vrie, Open Universiteit, The Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: