From hasselbring at email.uni-kiel.de Mon Mar 2 17:09:56 2020 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Mon, 2 Mar 2020 17:09:56 +0100 Subject: [fg-arc] =?utf-8?q?Programm_f=C3=BCr_das_siebte_Treffen_des_GI-A?= =?utf-8?q?rbeitskreises_Microservices_und_DevOps?= Message-ID: <54c7c1cd-18e7-332b-1f03-19125fec00a9@email.uni-kiel.de> Liebe Mitglieder der Fachgruppe Architekturen, der Arbeitskreis „Microservices und DevOps“ der GI-Fachgruppe Architekturen trifft sich am Mo/Di 09./10.03.20 bei der IVU in Berlin ! Die Teilnahme ist kostenfrei, eine Registrierung unter https://de.xing-events.com/MHDXKOK ist jedoch erforderlich um teilnehmen zu können. Das folgende Programm konnten wir zusammenstellen: - Tag 1, 09.03.2020 (Mo) 13:00: Eintreffen 13:30: Willkommen, Organisatorisches 13:45: "IVU.plan - ein Gigant wird Modulith" (Andreas Noack, IVU) 14:30: Kaffeepause 15:00: "From Domain-Driven Design to Microservice APIs of Quality and Style" (Olaf Zimmermann, HSR Hochschule für Technik Rapperswil) 15:45: "Microservices - From the Frontend-Perspective" (Arnd Issler, SinnerSchrader - Accenture Interactive) 16:30: "Microservices und Enterprise-Software -- Wie passt das zusammen?" (Holger Knoche, Universität Kiel) ca. 17:30: Ende des offiziellen Teils des ersten Tages 19:00: Gemeinsames Abendessen (self-paid) Im Doldenmädel (https://doldenmaedel-berlin.de/) - Tag 2, 10.03.2020 (Di) 09:00: Willkommen zu Tag 2 09:15: "Blockchain and Services – Exploring the Links" (Ingo Weber, Technische Universitaet Berlin) 10:00: "Impact der Transition vom Monolithen zu Microservices" (Rodrigue Schäfer, Zalando) 10:45: Kaffeepause 11:15: "Experience in establishing a DevOps culture" (Kai Sachs, Careem/Uber) 11:45: "Architectural Inter-Microservice Integration - An Overview" (Georg Schwarz, Friedrich-Alexander University Erlangen-Nürnberg) 12:15: "Chaos Experimentation based on Established Risk Analysis Methods: Experiences from an Industrial Case Study" (Dominik Kesim, Universität Stuttgart) 12:45: Abschluss 13:00: Ende des offiziellen Teils des zweiten Tages Zusammengefasst: Termin: 09. März 2020, 13:00 Uhr bis 10. März 2020, 13:00 Uhr Registrierung: https://de.xing-events.com/MHDXKOK Gastgeber: IVU Traffic Technologies AG Veranstaltungsort: Bundesallee 88, 12161 Berlin https://goo.gl/maps/5XuqHa8G7ESacsho9 Arbeitskreis: https://ak-msdo.gi.de/ Wir freuen uns auf Eure Teilnahme! Holger Knoche, Andreas Steffens, Thomas Düllmann und Wilhelm Hasselbring From abela at chalmers.se Mon Mar 2 23:57:22 2020 From: abela at chalmers.se (Andreas Abel) Date: Mon, 2 Mar 2020 23:57:22 +0100 Subject: [fg-arc] PPDP 2020 Call For Papers Message-ID: <25e23c19-aac2-3640-7a86-82473d7e1300@chalmers.se> PPDP 2020 Call For Papers ========================= The 22nd International Symposium on Principles and Practice of Declarative Programming, [PPDP 2020](http://www.cse.chalmers.se/~abel/ppdp20/), held 8-10 September 2020 at the University of Bologna, Italy. TL;DR Abstract deadline: 11 May; paper deadline: 15 May. Scope ----- The PPDP 2020 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to: - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will take place 8-10 September 2020 at the University of Bologna, Italy, co-located with the 29th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2020) and the International conference on [Microservices 2020](https://www.conf-micro.services/2020/). Submission Categories --------------------- Submissions can be made in three categories: - regular Research Papers, - System Descriptions, and - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: - insights gained from real-world projects using declarative programming - comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum - curricular issues encountered when using declarative programming in education - real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general - novel use of declarative programming in the classroom - programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Material beyond the page limit will not be included in the final published version. Format of a submission ---------------------- For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.70. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM's TeX support team at Aptara](mailto:acmtexsupport at aptaracorp.com). Authors should note [ACM's statement on author's rights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ---------------------------- At least one author of each accepted submission will be expected to attend and present the work at the conference. The PC chair may retract a paper that is not presented. The PC chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates --------------- -------------------------------- ----- ---- ---------- Title and abstract registration: 11 May 2020 (AoE) Paper submission: 15 May 2020 (AoE) Rebuttal period (48 hours): 22-23 June 2020 (AoE) Author notification: 3 July 2020 Final paper version: 24 July 2020 Conference: 8-10 Sept 2020 -------------------------------- ----- ---- ---------- Organization ------------ ------------------------- -------------------- --------------------- Program committee chair: Andreas Abel, Gothenburg University General chair: Maurizio Gabbrielli, University of Bologna Steering committee chair: James Cheney, Edinburgh University ------------------------- -------------------- --------------------- -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel at gu.se http://www.cse.chalmers.se/~abela/ From irdta at irdta.eu Mon Mar 2 11:54:21 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 02 Mar 2020 11:54:21 +0100 Subject: [fg-arc] AlCoB 2020: call for posters Message-ID: <545102060a010b02025054060503515e03025750570800000a020f525001015852005306010955515455075653050750@grlmc_ip-zone_com-6> AlCoB 2020: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 7th International Conference on Algorithms for Computational Biology (AlCoB 2020) invites researchers to submit poster presentations. AlCoB 2020 will be held in Missoula, Montana on April 13-15, 2020. See:  https://alcob2020.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: March 6, 2020 Notification of poster acceptance or rejection: March 13, 2020 SUBMISSION Please upload a .pdf submission to: https://easychair.org/conferences/?conf=alcob2020 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2020. However, they will be eligible for submission to the post-conference journal special issue. REGISTRATION At least one author of each accepted poster must register to the conference by March 20, 2020. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants will have (attendance, copy of the proceedings volume, coffee breaks, lunches). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Mar 3 12:42:26 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 3 Mar 2020 13:42:26 +0200 Subject: [fg-arc] 14th International Conference on Research Challenges in Information Science (RCIS 2020): Call for Research Projects @RCIS Track Message-ID: *** Call for Research Projects @RCIS Track *** 14th International Conference on Research Challenges in Information Science (RCIS 2020) Royal Apollonia Beach Hotel 5*, Limassol, Cyprus May 20-22, 2020, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IENhbGwgZm9yIFJlc2VhcmNoIFByb2plY3RzIEBSQ0lTIFRyYWNrCTQ3MwlMaXN0cwkxMzcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FresearchProjects.php Submission deadline: March 21, 2020 (AoE) RCIS 2020 features a new track entirely devoted to presenting results and perspectives of research projects (e.g. H2020 or ERC projects, national grants) in the context of Information Science. This track features a good opportunity for both presenters to disseminate the results of their projects, and for participants to get an updated view of ongoing research while getting in touch with potential research partners. The Research Projects @RCIS Track follows a two-step publication process. Firstly, the authors should submit a 2 pages paper summarizing the objectives of the project and relevant results. Each submission will be peer reviewed on the relevance of the submitted paper in the context of RCIS. If the paper is accepted, the authors will have to register to the conference in order to present their work at the Posters and Demos session at RCIS. After the conference, presenters will have the opportunity to submit the presented poster, which will be published in the RCIS 2020 website. No shows will be excluded from the final proceedings. SUBMISSION PROCESS Each submission will be reviewed by at least 2 members of the RCIS scientific committees, and should include: · Project full name, acronym, duration (from-to) and URL · Names of presenter(s) and main contributors · Summary of project objectives and expected tangible outputs. · Summary of current project results Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template. To ensure uniformity, we have prepared ready-to-use templates for Word and LaTeX which are available on the conference web site. References and appendices must be included within the 2 pages. Papers can be submitted via Easychair (https://easychair.org/my/conference?conf=rcis2020#) by selecting the "Research Projects @RCIS 2020" track. IMPORTANT DATES · Submission deadline: March 21, 2020 (AoE) · Notification (based on relevance only): March 25, 2020 · Author registration and camera-ready copy deadline: March 31, 2020 · Conference: May 20-22, 2020 CONTACT POINTS For further questions please contact: Marcela Ruiz marcela.ruiz at zhaw.ch Elena Kornyshova elena.kornyshova at cnam.fr CONFERENCE COMMITTEES Steering Committee · Saïd Assar, Institut Mines-Telecom Business School, France · Marko Bajec,University of Ljubljana, Slovenia · Pericles Loucopoulos, Manchester University, University Kingdom · Haralambos Moratidis, University of Brighton, United Kingdom · Selmin Nurcan, Université Paris 1 Panthéon-Sorbonne, France · Oscar Pastor, Universitat Politècnica de València, Spain · Jolita Ralyté, CUI, University of Geneva, Suisse · Colette Rolland, Université Paris 1 Panthéon-Sorbonne, France General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Pericles Loucopoulos, Harokopio University of Athens, Greece Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Jelena Zdravkovic, Stockholm University, Sweden · Fabiano Dalpiaz, Utrecht University, Netherlands Doctoral Consortium Chairs · Raian Ali, Bournemouth University, United Kingdom · Sergio España, Utrecht University, Netherlands Tutorial Chairs · Estefania Serral Asensio, KU Leuven, Belgium · Ignacio Panach, University of Valencia, Spain Posters & Demos Chairs · Elena Kornyshova, Conservatoire National des Arts et Métiers, France · Marcela Ruiz, Zurich University of Applied Sciences, Switzerland -------------- next part -------------- An HTML attachment was scrubbed... URL: From genaim at gmail.com Thu Mar 5 08:35:23 2020 From: genaim at gmail.com (Samir Genaim) Date: Thu, 5 Mar 2020 08:35:23 +0100 Subject: [fg-arc] WST 2020 - 2nd Call for Papers Message-ID: ========================================================================== WST 2020 - Call for Papers 17th International Workshop on Termination http://costa.fdi.ucm.es/wst2020 June 29-30, 2020, Paris, France co-located with IJCAR and FSCD 2020. ========================================================================== The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The workshop is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events. https://lipn.univ-paris13.fr/summer-of-love-2020/ IMPORTANT DATES: * submission deadline: April 12, 2020 * notification: May 10, 2020 * final version due: May 31, 2020 * workshop: June 29-30, 2020 TOPICS: The 17th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome. Topics of interest include (but are not limited to): * abstraction methods in termination analysis * certification of termination and complexity proofs * challenging termination problems * comparison and classification of termination methods * complexity analysis in any domain * implementation of termination methods * non-termination analysis and loop detection * normalization and infinitary normalization * operational termination of logic-based systems * ordinal notation and subrecursive hierarchies * SAT, SMT, and constraint solving for (non-)termination analysis * scalability and modularity of termination methods * termination analysis in any domain (lambda calculus, declarative programming, rewriting, transition systems, etc.) * well-founded relations and well-quasi-orders COMPETITION: Since 2003, the catalytic effect of WST to stimulate new research on termination has been enhanced by the celebration of the Termination Competition and its continuously developing problem databases containing thousands of programs as challenges for termination analysis in different categories, see http://termination-portal.org/wiki/Termination_Competition In 2020, the Termination Competition will run shortly before WST and the main venues (IJCAR-FSCD), and the results will be presented at IJCAR or FSCD. PROGRAM COMMITTEE: Martin Avanzini - INRIA Sophia, Antipolis Florian Frohn - Max-Planck-Institut für Informatik, Saarbrücken Carsten Fuhs - Birkbeck, U. of London Samir Genaim (chair) - U. Complutense de Madrid Jürgen Giesl - RWTH Aachen Matthias Heizmann - U. of Freiburg Cynthia Kop - Radboud U. Nijmegen Salvador Lucas - U. Politècnica de València Étienne Payet - U. de La Réunion Albert Rubio - U. Complutense de Madrid René Thiemann - U. of Innsbruck Johannes Waldmann - HTWK Leipzig INVITED SPEAKERS: tba SUBMISSION: Submissions are short papers/extended abstracts which should not exceed 5 pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers should be submitted electronically via the submission page: https://easychair.org/conferences/?conf=wst2020 Please, use LaTeX and the LIPIcs style file http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz to prepare your submission. -------------- next part -------------- An HTML attachment was scrubbed... URL: From taravanis at upatras.gr Wed Mar 4 09:40:34 2020 From: taravanis at upatras.gr (Theofanis I. Aravanis) Date: Wed, 04 Mar 2020 10:40:34 +0200 Subject: [fg-arc] CFP: 17th Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Message-ID: <5b7beb70964d4e63a3d15202c8753aad@upatras.gr> CALL FOR PAPERS 17th Conference on Principles of Knowledge Representation and Reasoning (KR2020) 12-18 September 2020, Rhodes, Greece https://kr2020.inf.unibz.it/ Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. SCOPE We solicit papers presenting novel results on the principles of KR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Topics of interest include, but are not limited to: - Applications of KR - Argumentation - Belief revision and update, belief merging, information fusion - Commonsense reasoning - Computational aspects of knowledge representation - Concept formation, similarity-based reasoning - Contextual reasoning - Decision making - Description logics - Explanation finding, diagnosis, causal reasoning, abduction - Geometric, spatial, and temporal reasoning - Inconsistency- and exception tolerant reasoning, paraconsistent logics - KR and autonomous agents and multi-agent systems - KR and cognitive robotics - KR and cyber security - KR and education - KR and game theory - KR and machine learning, inductive logic programming, knowledge acquisition - KR and natural language processing and understanding - KR and the Web, Semantic Web - Knowledge graphs, virtual knowledge graphs, and open linked data - Knowledge representation languages - Logic programming, answer set programming, constraint logic programming - Modeling and reasoning about preferences - Multi- and order-sorted representations and reasoning - Nonmonotonic logics, default logics, conditional logics - Ontology formalisms and models - Ontology-based data access, integration, and exchange - Philosophical foundations of KR - Qualitative reasoning, reasoning about physical systems - Reasoning about actions and change, action languages - Reasoning about knowledge, beliefs, and other mental attitudes - Uncertainty, vagueness, many-valued and fuzzy logics KR2020 will also feature Workshops and Tutorials, solicited by means of an open call, and a Doctoral Consortium. TRACKS In addition to the main conference track, KR2020 will host the following tracks and sessions: * Applications and Systems Track * Recent Published Research Track * Special Session: KR and Machine Learning * Special Session: KR and Robotics * Special Session: Women in KR IMPORTANT DATES Submission of title and abstract: 4 March 2020 Paper submission deadline: 11 March 2020 Author response period: 4-6 May 2020 Notification: 27 May 2020 Camera-ready papers: 24 June 2020 Conference dates: 12-18 September 2020 Recent Published Research Track, Workshops and Tutorials, and Doctoral Consortium will have different submission and notification dates, which will be announced separately. AUTHORS GUIDELINES All submissions must be written in English and in AAAI style. Papers must be submitted in PDF format, through the EasyChair conference system: https://easychair.org/conferences/?conf=kr2020 . For the main conference track and additional tracks/sessions (except for the Recent Published Research track), we invite - Full papers of up to 9 pages, including abstract, figures, and appendices (if any), but excluding references and acknowledgements. - Short papers of up to 4 pages, excluding references and acknowledgements. Both full and short papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings, and to papers uploaded at public repositories (e.g., arXiv). The accepted full papers and short papers will be published in the KR2020 proceedings. Recent Published Research Track, Workshops and Tutorials, and Doctoral Consortium will have different submission guidelines, which will be announced separately. CONFERENCE CHAIRS: General: Michael Thielscher (University of New South Wales, Australia) Program: Diego Calvanese (Free University of Bozen-Bolzano, Italy), Esra Erdem (Sabanci University, Turkey) Applications Track: Chitta Baral (Arizona State University, USA), Francesco Ricca (University of Calabria, Italy) Recent Published Research Track: James Delgrande (Simon Fraser University, Canada) Miros?aw Truszczynski (University of Kentucky, USA) Special Session: KR & ML: Alessandra Russo (Imperial College London, UK), Guy Van den Broeck (UCLA, USA) Special Session: KR & Robotics: Michael Beetz (University of Bremen, Germany), Fredrik Heintz (Linkoping University, Sweden) Special Session: Women in KR: Meghyn Bienvenu (University of Bordeaux, France), Magdalena Ortiz (Vienna University of Technology, Austria) Workshop and Tutorials: Anni-Yasmin Turhan (Dresden University of Technology, Germany), Renata Wassermann (University of Sao Paulo, Brasil) Doctoral Consortium: Vaishak Belle (University of Edinburgh, UK), Rafael Penaloza Nyssen (University of Milano-Bicocca, Italy) Local Organization: Pavlos Peppas (University of Patras, Greece) Publicity: Theofanis Aravanis (University of Patras, Greece) Paolo Felli (Free University of Bozen-Bolzano, Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From cfp at mat.unical.it Thu Mar 5 13:16:40 2020 From: cfp at mat.unical.it (Simona Perri) Date: Thu, 5 Mar 2020 13:16:40 +0100 Subject: [fg-arc] CILC 2020 - Preliminary Call For Papers Message-ID: <857665f9eab2dcb5ed1214afe90e1289.squirrel@www.mat.unical.it> [apologies for multiple copies] ================================================================================== 35th Italian Conference on Computational Logic (CILC 2020) 24-25 September 2020, Rende, Italy http://cilc2020.demacs.unical.it/ CO-LOCATED with the 36th International Conference on Logic Programming (ICLP 2020) ================================================================================== = PRELIMINARY CALL FOR PAPERS = == Important Dates - Tentative schedule == Paper submission: June 26, 2020 Notification to authors: July 13, 2020 Camera-ready copy due: July 25, 2020 Main Conference starts: September 24, 2020 = The Conference = CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, http://www.programmazionelogica.it/). Its 35th edition will be held in Cosenza (Italy) on September 24-25, 2020. Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases. = Contributions = The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: * full papers, possibly already submitted to other conferences or journals * short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. The topics of interest include, but are not limited to, the following: - Logic Programming, Constraint Programming and other paradigms of declarative programming - Extensions and integrations of declarative programming paradigms - Analysis, transformation, validation, and verification of programs - Instruments and environments for program development - Implementations and benchmarking - Model Checking - Temporal logics - Automated Theorem Proving - Non-Monotonic Reasoning - Answer Set Programming - Knowledge representation and extraction - Treatment of uncertain and incomplete knowledge - Approximate Reasoning - Abductive Logic Programming - Model-based Reasoning - Deductive Databases - Data Mining and Data Integration - Multi-agent systems - Logics for strategic reasoning - Semantic Web - Natural Language Processing - Computational logic for concurrency, coordination, mobility and objects - Planning and scheduling - Probabilistic Logic Programming - Computational Logic and formal methods in Artificial Intelligence - Applications of Computational Logic - Pedagogy of Computational Logic - Applications of Computational Logic - Inductive Logic Programming - Computational Logic and Machine Learning In particular, we also invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. = Submission Details = Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=cilc20200 Articles must not exceed 15 pages for full papers and 8 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by GULP. Therefore, Italian attendants are required to be members of GULP (it is possible to join GULP at the conference). = Proceedings and Journal Special Issue = All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the conference web site including a link to the original publication, if already published. In the trail of the CILC tradition, we plan to publish a selection of the papers in a SPECIAL ISSUE of an international journal (to be determined). Extensions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. = Committees = == General Chairs == * Francesco Calimeri – University of Calabria, Italy * Simona Perri - University of Calabria, Italy * Ester Zumpano - University of Calabria, Italy == Program Committee == * Mario Alviano, Università della Calabria * Roberto Amadini, University of Melbourne * Matteo Baldoni, Università di Torino * Stefano  Bistarelli, Università di Perugia * Loris Bozzato, Fondazione Bruno Kessler * Roberta Calegari, Università di Bologna * Domenico Cantone, Università di Catania * Alberto Casagrande, Università degli Studi di Trieste * Giovanni De Gasperis, Università dell’Aquila * Dario Della Monica, University of Udine * Giorgio Delzanno, Università di Genova * Wolfgang Faber, Alpen-Adria-Universität Klagenfurt * Fabio Fioravanti, Università di Chieti - Pescara * Andrea Formisano, Università di Perugia * Silvio Ghilardi, Università degli Studi di Milano * Laura Giordano, Università del Piemonte Orientale * Evelina Lamma, Università di Ferrara * Francesca A. Lisi, Università di Bari * Marco Manna, Università della Calabria * Marco Maratea, Università degli Studi di Genova * Paola Mello, Università di Bologna * Marco Montali, Free University of Bozen-Bolzano * Angelo Montanari, Università di Udine * Andrea Pazienza, Exprivia | Italtel Innovation Lab * Rafael Peñaloza, Università degli Studi di Milano-Bicocca * Adriano Peron, Università di Napoli * Maurizio Proietti, IASI-CNR Roma * Luca Pulina, Università di Sassari * Francesco Ricca, Università della Calabria * Andrey Rivkin, Libera Università di Bolzano * Gianfranco Rossi, Università di Parma * Sabina Rossi, Università di Venezia * Pietro Sala, Università di Verona * Umberto Straccia, ISTI-CNR From stefano.forti at di.unipi.it Fri Mar 6 15:49:13 2020 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Fri, 6 Mar 2020 15:49:13 +0100 Subject: [fg-arc] IEEE WETICE 2020 - *Extended Deadline* Message-ID: <000001d5f3c6$684f0160$38ed0420$@di.unipi.it> ========================================================================= IEEE WETICE 2020 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises 10-12 June 2020, Basque Coast - Bayonne, France Website: http://wetice2020.org ========================================================================= Important Dates EXTENDED Paper Submission Deadline: March 10th, 2020 Notification of Acceptance: March 21st, 2020 Camera-ready: April 4th, 2020 Early registration: April 30th, 2020 Conference: June 10-12, 2020 Context and Scope The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE is an international conference on the state-of-the-art research in enabling technologies for collaboration, consisting of several conference tracks. The 29th WETICE edition will be held on June 10-12, 2020 in Bayonne (French Basque country), France. WETICE topics of interest include but are not limited to: * Cloud-Based Collaborative Technologies in IoT * Adaptive and Reconfigurable Systems and Architectures * Complex Networks Monitoring, Security and Fraud Detection for Enterprises * Convergence of Distributed Clouds, Grids and their Management * Data Exploration in the Web 3.0 Age * Collaborative Software Processes * Formal Verification of Service Based Systems * Future Internet Services and Applications * Semantic Technologies in Smart Information Sharing and Web Collaboration * Security, Safety and Trust Management List of Tracks * Wetice General Track * Adaptive Computing (and Agents) for Enhanced Collaboration * Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures * Convergence of Distributed Clouds, Grids and their Management * Complex Networks Monitoring and Security and Fraud Detection for Enterprises * Future Internet Services and Applications * Security, Safety and Trust Management * Validating Software for Critical Systems * Semantic Technologies for Smart Information Sharing and Web Collaboration * Smart Living Space Manuscript Guidelines and Submission Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template. Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. The page limit for Full papers is 6 pages. No extra pages are allowed. The page limit for Short papers is 4 pages. No extra pages are allowed. At least one author for each accepted paper should register and attend WETICE 2020 to have the paper published in the proceedings. Papers should be submitted through the EasyChair platform using the following link: https://easychair.org/conferences/?conf=wetice2020 General Chairs Ernesto Exposito, Université de Pau et des Pays de l’Adour, France Khalil Drira, LAAS-CNRS, France Program Chairs Stefania Monica, Università degli Studi di Parma, Italy Sami Yangui, LAAS-CNRS, France -- Questa e-mail è stata controllata per individuare virus con Avast antivirus. https://www.avast.com/antivirus -------------- next part -------------- An HTML attachment was scrubbed... URL: From shacks at kth.se Sun Mar 8 10:55:59 2020 From: shacks at kth.se (Simon Hacks) Date: Sun, 8 Mar 2020 09:55:59 +0000 Subject: [fg-arc] CfP 2nd Workshop on the Value and Quality of Enterprise Modelling, (VEnMo 2020) Message-ID: *********************************************************************** 2nd Workshop on the Value and Quality of Enterprise Modelling (VEnMo 2020) in conjunction with the 22nd IEEE International Conference on Business Informatics (CBI 2020) June 22-24, 2020 in Antwerp *********************************************************************** In computer science and information systems development, Enterprise Modelling (EM) is used for different purposes, like representing requirements, visualizing established work processes, specifying system design, expressing information structures, formalizing the relationships between organizational structures and IT landscapes and many more. Despite this large spectrum of modeling purposes and use cases, the value of modelling in general and of Enterprise Models in particular is still subject of research. The 2nd VEnMo Workshop invites researchers and practitioners with strong interest in the value of Enterprise Modelling to discuss approaches and experiences in measuring, assessing, evaluating, and improving the value of enterprise related models like Enterprise Models, Enterprise Architecture Models, or Business Process Models. While it is common sense that EM adds value to organizations, existing research is still vague regarding how this value manifests. Therefore, the workshop aims to shed light on existing as well as new theories, concepts and frameworks for describing, understanding and measuring the added value of EM. One important aspect in this context may be the quality of EM, as only models of an adequate quality with respect to their intended purpose allow organizations to exploit the full value of EM. Therefore, the workshop further encourages researchers or practitioners to report on insights or approaches how to assess the quality of enterprise models. However, we support a broad interpretation of the topics „value“ and „quality“ and encourage submissions also in related areas. **Topics** • interpretations or conceptualizations of the terms “value” and “quality” in the context of Enterprise related Models (EM, EA models, BPM, ) • new approaches to measure, assess, evaluate, or improve the value of enterprise related models • interrelations between model, method, and tool value • perceived value of models, methods, and tools • stakeholder perspectives on value and quality of EM • metrics, quantitative, and qualitative approaches to assess the quality of enterprise related models. • theories or best practices for maximizing modelling value • relationship between quality, quantity and value • management of value aspects in modelling • case studies and industrial experience reports on successful or failed application of approaches to assess the value or quality of enterprise related models. • tools, infrastructure and environments supporting the assessment of value or quality of enterprise related models. • empirical studies, evaluation and comparison of measurement techniques and models. • we support a broad interpretation of the topics „value“ and „quality“ and encourage submissions also in related areas. **Submissions** Two kinds of papers will be accepted: • Full papers with a page limit of 8 pages, • Short papers with a page limit of 5 pages. Papers should be written in English, following the IEEE double column format and should be submitted through the VEnMo easychair installation, accessible via https://easychair.org/conferences/?conf=venmo2020. The workshop proceedings will be published at CEUR-WS. **(Tentative) Key Dates** • Workshop papers submission deadline: April 27, 2020 • Workshop papers notification deadline: May 18, 2020 • Workshop camera-ready papers deadline: June 01, 2020 • Workshop VEnMo: June 22, 2020 **Web Site** More information and link to the submission site: http://www.venmo2020.informatik.uni-rostock.de/ **Program Committee** • Peter Fettke, DFKI and Saarland University • Janis Grabis, Riga Technical University • Agnes Koschmider, Karlsruhe Institute of Technology • Robert Lagerström, KTH • Birger Lantow, Rostock University • Michael Leyer, Rostock University • Monika Malinova, Vienna University of Economics and Business • Erik Proper, Luxembourg Institute for Science and Technology • Alixandre Santana, UFRPE • Rainer Schmidt, Munich University • Ulf Seigerroth, Jönköping University • Janis Stirna, Stockholm University • Margus Välja, Scania AB **Organization Committee** • Felix Timm*, University of Rostock • Simon Hacks*, KTH Royal Institute of Technology • Kurt Sandkuhl, University of Rostock • Michael Fellmann, University of Rostock *Co-Chairs -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5559 bytes Desc: not available URL: From jens.knodel at caruso-dataplace.com Mon Mar 9 11:35:00 2020 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Mon, 9 Mar 2020 10:35:00 +0000 Subject: [fg-arc] REMINDER: Call for Paper Deadline am 13.03.2020 Message-ID: REMINDER zur Einreichung von Beiträgen zum WSRE 2020, 4.-6. Mai 2020 und zum Track FORSCHUNG TRIFFT PRAXIS (neues Format @ WSRE 2020) ========================= https://fg-sre.gi.de/veranstaltung/22-workshop-software-reengineering-evolution/ https://fg-sre.gi.de/aktivitaeten/forschung-trifft-praxis ========================= - Einreichung der Kurzfassungen: 13. März 2020 - Benachrichtigung über die Annahme: 31. März 2020 - Einreichung der druckfertigen Endfassung: 09. April 2020 - Anmeldeschluss zur Teilnahme: 09. April 2020 - WSRE 2020, Physikzentrum, Bad Honnef: 04.-06. Mai 2020 Kontakt? mailto:wsre2020 at easychair.org -- Dr. Jens Knodel Head of Platform Engineering   m: +49 179 53 43 284 e:    jens.knodel at caruso-dataplace.com   w:   www.caruso-dataplace.com   Caruso GmbH | Steinheilstraße 10 | 85737 Ismaning Managing Directors: Alexander Haid, Jürgen Buchert | Registered Local Court Munich | HRB 233 669 From woortwijn at inf.ethz.ch Thu Mar 12 14:35:00 2020 From: woortwijn at inf.ethz.ch (Oortwijn Wytse) Date: Thu, 12 Mar 2020 13:35:00 +0000 Subject: [fg-arc] FTfJP 2020 - Call for Papers Message-ID: <10a25ee2ea77414893bcc4ce0622e7bc@inf.ethz.ch> # CALL FOR PAPERS 22st Workshop on Formal Techniques for Java-like Programs (FTfJP 2020) https://2020.ecoop.org/track/FTfJP-2020-papers Co-located with ECOOP 2020, July 13-17, Berlin, Germany ## About FTfJP 2020 Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new programming languages (PL) research challenges. Work on formal techniques and tools and on the formal underpinnings of programming languages themselves naturally complement each other. FTfJP is an established workshop which has run annually since 1999 alongside ECOOP, with the goal of bringing together people working in both fields. The workshop has a broad PL theme; the most important criterion is that submissions will generate interesting discussions within this community. The term “Java-like” is somewhat historic and should be interpreted broadly: FTfJP solicits and welcomes submission relating to programming languages in general, beyond Java, C#, Scala, etc. Example topics of interest include: * Language design and semantics * Type systems * Concurrency and new application domains * Specification and verification of program properties * Program analysis (static or dynamic) * Program synthesis * Security * Pearls (programs or proofs) FTfJP welcomes submissions on technical contributions, case studies, experience reports, challenge proposals, and position papers. ## Submissions Contributions are sought in two categories: * Full Papers (6 pages, excluding references) present a technical contribution, case study, or detailed experience report. We welcome both complete and incomplete technical results; ongoing work is particularly welcome, provided it is substantial enough to stimulate interesting discussions. * Short Papers (2 pages, excluding references) should advocate a promising research direction, or otherwise present a position likely to stimulate discussion at the workshop. We encourage e.g. established researchers to set out a personal vision, and beginning researchers to present a planned path to a PhD. Both types of contributions will benefit from feedback received at the workshop. Submissions will be peer reviewed, and will be evaluated based on their clarity and their potential to generate interesting discussions. The format of the workshop encourages interaction. FTfJP is a forum in which a wide range of people share their expertise, from experienced researchers to beginning PhD students. ## Formatting and Publication Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page (https://www.sigplan.org/Resources/Author). Accepted papers will be published in the ACM Digital Library by default, though authors will be able to opt out of this publication, if desired. At least one author of an accepted paper must attend the workshop to present the work and participate in the discussions. ## Important Dates * Submission: May 1st (AoE) * Notification: May 29th ## Program Committee * Wolfgang Ahrendt (Chalmers University, Sweden) * Petra van den Bos (University of Twente, the Netherlands) * Marie Farrell (University of Liverpool, UK) * Paula Herber (University of Munster, Germany) * Nikolai Kosmatov (CEA LIST, France) * James Noble (Victoria University of Wellington, New Zealand) * Violet Ka I Pun (University of Oslo, Norway) * John Singleton (University of Central Florida, USA) * Mattias Ulbrich (KIT, Germany) * Anton Wijs (Eindhoven University, the Netherlands) * Elena Zucca (University of Genova, Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefano.forti at di.unipi.it Thu Mar 12 09:47:02 2020 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Thu, 12 Mar 2020 09:47:02 +0100 Subject: [fg-arc] *New Extended FIRM Deadline* - IEEE WETICE 2020 Message-ID: <002501d5f84a$ceacff10$6c06fd30$@di.unipi.it> ========================================================================= IEEE WETICE 2020 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises 10-12 June 2020, Basque Coast - Bayonne, France Website: http://wetice2020.org ========================================================================= Important Dates Submission deadline (EXTENDED - FIRM) : March 19th, 2020 (12:00 GMT) Notification to authors : March 30th, 2020 Camera ready submission : April 6th, 2020 Early registration : April 5th, 2020 Context and Scope The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE is an international conference on the state-of-the-art research in enabling technologies for collaboration, consisting of several conference tracks. The 29th WETICE edition will be held on June 10-12, 2020 in Bayonne (French Basque country), France. WETICE topics of interest include but are not limited to: * Cloud-Based Collaborative Technologies in IoT * Adaptive and Reconfigurable Systems and Architectures * Complex Networks Monitoring, Security and Fraud Detection for Enterprises * Convergence of Distributed Clouds, Grids and their Management * Data Exploration in the Web 3.0 Age * Collaborative Software Processes * Formal Verification of Service Based Systems * Future Internet Services and Applications * Semantic Technologies in Smart Information Sharing and Web Collaboration * Security, Safety and Trust Management List of Tracks * Wetice General Track * Adaptive Computing (and Agents) for Enhanced Collaboration * Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures * Convergence of Distributed Clouds, Grids and their Management * Complex Networks Monitoring and Security and Fraud Detection for Enterprises * Future Internet Services and Applications * Security, Safety and Trust Management * Validating Software for Critical Systems * Semantic Technologies for Smart Information Sharing and Web Collaboration * Smart Living Space Manuscript Guidelines and Submission Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template. Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. The page limit for Full papers is 6 pages. No extra pages are allowed. The page limit for Short papers is 4 pages. No extra pages are allowed. At least one author for each accepted paper should register and attend WETICE 2020 to have the paper published in the proceedings. Papers should be submitted through the EasyChair platform using the following link: https://easychair.org/conferences/?conf=wetice2020 General Chairs Ernesto Exposito, Université de Pau et des Pays de l’Adour, France Khalil Drira, LAAS-CNRS, France Program Chairs Stefania Monica, Università degli Studi di Parma, Italy Sami Yangui, LAAS-CNRS, France -- Questa e-mail è stata controllata per individuare virus con Avast antivirus. https://www.avast.com/antivirus -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Thu Mar 12 16:15:09 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Thu, 12 Mar 2020 16:15:09 +0100 Subject: [fg-arc] [2nd CfP] ICLP 2020 -The 36th International Conference on Logic Programming Message-ID: [Apologies for cross-posting] *IMPORTANT NOTE: We are continuously monitoring the COVID-19 situation from local authorities and the World Health Organization. ICLP 2020 is half a year away, and we are confident that COVID-19 emergency will pass over and the conference will be held in September, as planned. And, if necessary, alternative solutions, such as postponement, remote presentations, etc will be looked into and identified.*                           *** Call for Papers ***                                 ICLP 2020            The 36th International Conference on Logic Programming                      September 18 - September 24, 2020                    University of Calabria, Rende, Italy                         https://iclp2020.unical.it The 36th International Conference on Logic Programming (ICLP 2020) will take place from the 18th to the 24nd of September 2020 in Rende (CS), Italy, with the main program starting immediately after the sister conference KR 2020. Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Scope ===== Contributions are solicited in all areas of logic programming and related areas, including but not restricted to: • Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic   Reasoning, Knowledge Representation. • Declarative Programming: Inference engines, Analysis, Type and mode   inference, Partial evaluation, Abstract interpretation, Transformation,   Validation, Verification, Debugging, Profiling, Testing, Logic-based   domain-specific languages, constraint handling rules. • Related Paradigms and Synergies: Inductive and Co-inductive Logic   Programming, Constraint Logic Programming, Interaction with SAT, SMT and   CSP solvers, Logic programming techniques for type inference and theorem   proving, Argumentation, Probabilistic Logic Programming, Relations to   object-oriented and Functional programming, Description logics,   Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic   Reasoning. • Implementation: Concurrency and distribution, Objects, Coordination,   Mobility, Virtual machines, Compilation, Higher Order, Type systems,   Modules, Constraint handling rules, Meta-programming, Foreign interfaces,   User interfaces. • Applications: Databases, Big Data, Data Integration and Federation,   Software Engineering, Natural Language Processing, Web and Semantic Web,   Agents, Artificial Intelligence, Bioinformatics, Education, Computational   life sciences, Education, Cybersecurity, and Robotics. Tracks and Special Sessions =========================== Besides the main track, ICLP 2020 will host additional tracks and special sessions: • Applications Track: This track invites submissions of papers on emerging   and deployed applications of LP, describing all aspects of the development,   deployment, and evaluation of logic programming systems to solve real-world   problems, including interesting case studies and benchmarks, and discussing   lessons learned. • Sister Conferences and Journal Presentation Track: This track provides a   forum to discuss important results related to logic programming that appeared   recently (from January 2017 onwards) in selective journals and conferences   but have not been previously presented at ICLP. • Special Session: Women in Logic Programming: This special session will include   invited talks and presentations by women in logic programming. • Research Challenges in Logic Programming Track: This track invites submissions   of papers describing research challenges that an individual researcher or a   research group is currently attacking. The goal of the track is to promote   discussions, exchange of ideas, and possibly stimulate new collaborations.   Papers submitted to this track do not go through the usual review and will not   be published in the proceedings – they will be distributed at the conference as   a technical report. Every of the above four tracks will have its own dedicated chairs, PC, evaluation criteria, and CFP with related submission details (see the specific call for papers). In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Submission Details ================== All submissions must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp20200. Regular papers must be in the condensed TPLP format (template here) and not exceed 14 pages including bibliography. Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will not be made available as appendices to the published paper. Three kinds of regular papers will be accepted: • Technical papers for technically sound, innovative ideas that can advance the   state of logic programming; • Application papers that impact interesting application domains; • System and tool papers which emphasize novelty, practicality, usability, and   availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some regular papers to be published as Technical communications in EPTCS format (http://info.eptcs.org). Technical communications must not exceed 14 pages, including the bibliography. The authors of the technical communications can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the EPTCS proceedings. This should allow authors to submit a long version elsewhere. All regular papers and technical communications will be presented during the conference. So, at least one author per accepted paper is expected to register and attend the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Important Dates =============== Abstract registration (regular papers): May 8, 2020 Paper submission (regular paper): May 15, 2020 Notification to authors (regular paper): June 19, 2020 Paper Submission (short papers): June 30, 2020 Revision submission (TPLP papers): July 6, 2020 Final notifications (TPLP papers): July 17, 2020 Camera-ready copy due: July 27, 2020 Main Conference starts: September 19, 2020 Autumn School on Logic Programming ================================== A school on logic programming will be held before the conference. More up to date information is available at the school web page. Doctoral Consortium =================== The 16th Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. The DC will have its own CFP, including the submission details. For information, please visit the DC Web Page. Workshops ========= The ICLP 2020 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to an interested audience with opportunities for intensive discussions and project collaborations. Tutorials ========= The ICLP 2020 program will include several tutorials. They offer the participants, reviews of specific subfields as well as hands-on sessions by leading experts. Conference Organization ======================= General Chairs: • Sergio Greco, University of Calabria, Italy • Nicola Leone, University of Calabria, Italy Program Chairs: • Francesco Ricca, University of Calabria, Italy • Alessandra Russo, Imperial College London Organizing Chairs: • Marco Calautti, University of Calabria, Italy • Carmine Dodaro, University of Calabria, Italy Publicity Chair: • Laura Pandolfo, University of Sassari, Italy -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Thu Mar 12 16:23:52 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Thu, 12 Mar 2020 16:23:52 +0100 Subject: [fg-arc] [CfP] ICLP 2020 - The 36th International Conference on Logic Programming: Applications Track Message-ID: [Apologies for cross-posting] *IMPORTANT NOTE: We are continuously monitoring the COVID-19 situation from local authorities and the World Health Organization. ICLP 2020 is half a year away, and we are confident that COVID-19 emergency will pass  over and the conference will be held in September, as planned. And, if necessary, alternative solutions, such as postponement, remote presentations, etc will be looked into and identified.*                *** CALL FOR PAPERS - APPLICATIONS TRACK ***                                ICLP 2020             The 36th International Conference on Logic Programming                      September 18 - September 24, 2020                     University of Calabria, Rende, Italy                         https://iclp2020.unical.it Logic programming (LP) has been widely adopted as a powerful declarative programming paradigm to build a variety of applications from research projects to industrial products, including bioinformatics, natural language understanding, robotics, maritime situational awareness, etc. Motivated by such a wide range of applications, ICLP will have a special track dedicated to Applications of LP, to bring together LP researchers and practitioners from both academia and industry, to share the recent advancements, challenges and insight for LP applications. The goal of the Application Track is two-fold. On the one side, it aims at providing a fresh impulse for the LP community to recast its interests towards solving practical problems and applications. On the other side, its goal is to attract representatives from the wider academia and industrial communities to discuss their challenges related to using LP in practical problems, applications and industrial products, and their expectations from the development of theory and tools from the LP community. Expected contributions: ======================= The Applications Track at ICLP 2020 invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of LP systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. We welcome LP applications in a wide range of areas, including but not limited to:  ⁃ stream reasoning  ⁃ composite event recognition  ⁃ industrial applications  ⁃ commonsense reasoning, knowledge representation  ⁃ declarative problem solving  ⁃ education  ⁃ bioinformatics, computational biology  ⁃ life sciences, genetics, medicine, pharmacology  ⁃ cognitive robotics, social robotics, human-robot interactions  ⁃ intelligent transportation, logistics, maritime situational awareness  ⁃ computer vision, sensing, internet of things  ⁃ data analysis, machine learning  ⁃ creative computing  ⁃ digital forensics, cybersecurity, blockchain  ⁃ economics, game theory, social choice  ⁃ software engineering, intelligent user interfaces  ⁃ multi-agent systems, argumentation, epistemic reasoning  ⁃ constraint programming, SAT, SMT  ⁃ natural language understanding, story telling, question answering  ⁃ explanation generation, diagnosis  ⁃ spatial/temporal/probabilistic reasoning  ⁃ planning and scheduling  ⁃ databases, ontologies, knowledge bases, Semantic Web Evaluation Criteria: ==================== In addition to the usual evaluation criteria concerning the quality of the presentation, for the Applications track the criteria will include:  ⁃ Significance of the real-world problem being addressed.  ⁃ Importance and novelty of using LP technologies to solve this problem.  ⁃ Evaluation and applicability of the system in the real world.  ⁃ Clear evidence of the potential benefits of applying and improving LP    tools and techniques.  ⁃ Reproducibility of empirical analysis; reusability of datasets, case    studies, knowledge repositories and benchmarks. Important Dates: ================ Abstract registration (regular papers): May 8, 2020 Paper submission (regular paper): May 15, 2020 Notification to authors (regular paper): June 19, 2020 Paper Submission (short papers): June 30, 2020 Revision submission (TPLP papers): July 6, 2020 Final notifications (TPLP papers): July 17, 2020 Camera-ready copy due: July 27, 2020 Main Conference starts: September 19, 2020 Submission Details: =================== All submissions must be written in English.  • Regular papers (14 pages in TPLP format, including references) must    describe original, previously unpublished research, and must not    simultaneously be submitted for publication elsewhere. These    restrictions do not apply to previously accepted workshop papers with    a limited audience and/or without archival proceedings. The accepted    regular papers will be published in TPLP, along with the selected    ICLP-TPLP papers. The program committee may recommend some regular    papers to be published as technical communications (TCs), along with    the selected ICLP-TC papers. The authors of the TCs can also elect to    convert their submissions into extended abstracts (2 or 3 pages) for    inclusion in the proceedings. This should allow authors to submit a    long version elsewhere.  • Short papers (7 pages in EPTCS format (http://info.eptcs.org/),    including references) can describe published research. The accepted    short papers that describe original and previously unpublished work    will be published as TCs, along with the selected ICLP-TC papers    The accepted short papers that describe published research will be    made available at the conference webpage, with the permission of the    authors. All accepted regular papers and technical communications will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Any additional questions can be directed towards the Applications Track Co-Chairs:  • Alexander Artikis, University of Piraeus & NCSR Demokritos  • Angelika Kimmig, Cardiff University, UK Applications Track Program Committee (tentative) ================================================  • Nicos Angelopoulos (University of Essex, UK)  • Chitta Baral (Arizona State University, USA)  • Alex Brik (Google Inc, USA)  • François Bry (LMU München, Germany)  • Francesco Calimeri (University of Calabria, Italy)  • Angelos Charalambides (NCSR Demokritos, Greece)  • Martín Diéguez (ENIB, France)  • Martin Gebser (University of Potsdam, Germany)  • Gopal Gupta (University of Texas at Dallas, USA)  • Jianmin Ji (University of Science and Technology of China, China)  • Nikos Katzouris (NCSR Demokritos, Greece)  • Zeynep Kiziltan (University of Bologna, Italy)  • Yunsong Meng (Houzz Inc., USA)  • Fariba Sadri (Imperial College London, UK)  • Mohan Sridharan (University of Birmingham, UK)  • Konstantin Schekotihin (Alpen-Adria Universitaet Klagenfurt, Austria)  • Tom Schrijvers (Catholic University of Leuven, Belgium)  • Paul Tarau (University of North Texas, Denton, USA)  • David Warren (SUNY Stony Brook, USA)  • Jan Wielemaker (VU University of Amsterdam, The Netherlands)  • Shiqi Zhang (SUNY Binghamton, USA)  • Neng-Fa Zhou (CUNY Brooklyn College and Graduate Center, USA) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Thu Mar 12 16:31:21 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Thu, 12 Mar 2020 16:31:21 +0100 Subject: [fg-arc] [CfP] ICLP 2020 - The 36th International Conference on Logic Programming: The Research Challenges Track Message-ID: <07849541-1737-1413-b125-6c7b79a17ea3@uniss.it> [Apologies for cross-posting] *IMPORTANT NOTE: We are continuously monitoring the COVID-19 situation from local authorities and the World Health Organization. ICLP 2020 is half a year away, and we are confident that COVID-19 emergency will pass  over and the conference will be held in September, as planned. And, if necessary, alternative solutions, such as postponement, remote presentations, etc will be looked into and identified.*         *** CALL FOR PAPERS - THE RESEARCH CHALLENGES TRACK ***                               ICLP 2020          The 36th International Conference on Logic Programming                   September 18 - September 24, 2020                  University of Calabria, Rende, Italy                       https://iclp2020.unical.it Are you a researcher in logic programming working on a problem that appears to be particularly challenging? Perhaps you feel a little stuck? Or, are you facing a problem that needs some LP technology you are not familiar with? Would you like to open a discussion for collaboration? The goal of the Research Challenges Track is to help researchers overcome their challenges by providing a venue to invite input from the broader community. Contributors to this less formal track will be given an opportunity to exchange ideas with other researchers who may have come up against, or are currently working on, similar problems. We hope the track will foster discussion and possibly even new collaborations. Expected contributions: ======================= The Research Challenges Track at ICLP 2020 invites submissions describing LP research challenges in a wide range of areas, including but not limited to: ⁃ Industry-level application of logic programming ⁃ Applications of logic programming to other sciences and AI (bioinformatics,   natural language processing, digital forensics, etc.) ⁃ Logic programming and big data ⁃ Machine learning and logic programming ⁃ Logic programming and other computational paradigms ⁃ Theoretical foundations of logic programming Evaluation and Feedback: ======================== In this track, the selection process will be less formal. While authors will receive some feedback, the review process will not be typical. We do not expect contributions only from seasoned researchers. Ph.D. students and junior researchers are more than welcome to contribute. Also, contributors outside the LP community will be given special attention. Any contribution that clearly describes a research problem relevant to logic programming will be evaluated positively. The chance to interact with other researchers during the conference will provide additional feedback and hopefully lead to a longer-term discussion/collaboration. Important Dates: ================ Abstract registration (regular papers): May 8, 2020 Paper submission (regular paper): May 15, 2020 Notification to authors (regular paper): June 19, 2020 Paper Submission (short papers): June 30, 2020 Revision submission (TPLP papers): July 6, 2020 Final notifications (TPLP papers): July 17, 2020 Camera-ready copy due: July 27, 2020 Main Conference starts: September 19, 2020 Submission Details: =================== All submissions must be written in English. Submissions should be no more than 4 pages in EPTCS format (http://info.eptcs.org/), including references, and should describe a research problem or challenge. Accepted papers will be presented during the conference. Authors of accepted papers are expected to register to ICLP and present their work. Any additional questions can be directed towards the Research Challenges Track Chairs Research Challenges Track Chairs: ================================= Gerhard Friedrich, Universität Klagenfurt, Austria Fabrizio Riguzzi, Università di Ferrara, Italy -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Thu Mar 12 16:38:52 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Thu, 12 Mar 2020 16:38:52 +0100 Subject: [fg-arc] [CfP] ICLP 2020 - Sister Conferences and Journal Presentation Track Message-ID: <660bc167-b125-39b2-4fb2-0da9fc5e7d46@uniss.it> [Apologies for cross-posting] *IMPORTANT NOTE: We are continuously monitoring the COVID-19 situation from local authorities and the World Health Organization. ICLP 2020 is half a year away, and we are confident that COVID-19 emergency will pass  over and the conference will be held in September, as planned. And, if necessary, alternative solutions, such as postponement, remote presentations, etc will be looked into and identified.* ***Call for Papers - Sister Conferences and Journal Presentation Track***                              ICLP 2020           The 36th International Conference on Logic Programming                   September 18 - September 24, 2020                  University of Calabria, Rende, Italy                      https://iclp2020.unical.it The program committee of the 36th International Conference on Logic Programming (ICLP) invites submissions of published journal papers and papers presented at related conferences for the Sister Conferences and Journal Presentation Track. The track is designed to provide a forum to discuss important results related to logic programming that appeared since 2018 in selective journals or were presented at related conferences, but that have not been previously presented at ICLP. The goal of this track is two-fold: 1. To provide authors an opportunity to present at the conference important results published in journals that might otherwise not be submitted to the conference due to their length and complexity. Papers that differ from traditional ICLP format and topics are welcome. 2. To broaden the program with lines of work at the intersection between logic programming and related fields such as for example constraint programming, operations research, control, knowledge representation and reasoning, machine learning, multi-agent systems, robotics, computer games, and cognitive science. Papers that use logic programming in some innovative way are welcome. Paper Presentations: ==================== All accepted submissions will be presented orally during the conference - at least one author is expected to register to ICLP 2020 and to present the paper in person. Complete citations and URLs of the original papers (if available from the publisher) will be published on the ICLP 2020 web site as a permanent reference. A 2-page extended abstract summarizing the line of research leading to the presented results can optionally be submitted for presentation in the technical communications of ICLP. Submission Requirements: ======================== Submissions must meet the following criteria: • Candidate papers must be published in a journal such as  (but not limited to) AIJ, ACM TOCL, JAIR, or other leading journals or  in the proceedings of related conferences such as KR, LPNMR, AAMAS, AAAI,  IJCAI, ECAI, ICAPS, SAT, ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL,  JELIA, SAT, POPL, PADL, LICS, etc. • Candidate papers must have appeared since 2018. • Papers that are in press may be submitted as long as the final   camera-ready version is available at some URL (such as, ArXiv). • Extensions of papers that have been previously presented at ICLP (or   co-located Workshops) are not eligible for this track. Submission Process: =================== All submissions will be done via EasyChair (https://easychair.org/my/conference?conf=iclp20200). The submission will be in the following format: • Title and authors of the work for the ICLP Sister Conferences and   Journal Presentation Track (to be published on the Web - see note   below about title and authors), • An accompanying letter containing:      • Complete bibtex reference of the original paper (only 1 reference!)        (to be published on the Web) + a URL where the paper can be        downloaded from the publisher (if available) (to be published on        the Web);      • An explanation of why this paper is interesting to the logic        programming community (at most 1 page in PDF). • The original paper (in PDF) (for reviewers only, it will not be posted   on the Web because of copyright issues) because some reviewers could be   at universities that don’t have contracts with publishers, such as,   Elsevier, Cambridge Publishing, ACM, etc. • Optional: only if the authors wish to publish an extended abstract in   the technical communications of ICLP2020 please submit a 2-page extended   abstract of the paper (PDF in EPTCS format http://style.eptcs.org/) for   the ICLP Sister Conferences and Journal Presentation Track (note: we will   ask for the LaTex sources after the notification). Note: the 2 pages abstract should not contain new material since this is just a report of a publication in a related conference. The title should be a bit different than the original publication (since it would look odd to have a paper with the same title, but much shorter after the original publication), such as, add Report or Summary in the title. It is not necessary to radically change it. The authors should be the same and in the same order with respect to the original publication. The papers in this track will be grouped under a subsection Sister Conferences and Journal Presentation Track, so other researchers can see that this is a report on the original publication. We advise authors to start the paper with a sentence stating that this abstract is a report or summary of the original publication (with immediately citing that work). Evaluation criteria: ==================== Submissions will go through a peer review selection process. Selection criteria include significance of the results and relevance to the logic programming community. Important Dates: ================ Abstract registration (regular papers): May 8, 2020 Paper submission (regular paper): May 15, 2020 Notification to authors (regular paper): June 19, 2020 Paper Submission (short papers): June 30, 2020 Revision submission (TPLP papers): July 6, 2020 Final notifications (TPLP papers): July 17, 2020 Camera-ready copy due: July 27, 2020 Main Conference starts: September 19, 2020 Sister Conferences and Journal Presentation Track Chairs: ======================================================== Paul Fodor, Stony Brook University Marco Maratea, University of Genova -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Mon Mar 16 08:42:26 2020 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Mon, 16 Mar 2020 08:42:26 +0100 Subject: [fg-arc] Update: Call for Papers - HCSE 2020 - 8th Intl. Conference on Human-Centered Software Engineering Message-ID: <37ecfbce-7a7f-9983-0007-410dc8d88406@uni-paderborn.de> Despite COVID-19, we keep on collecting submissions and hope that we can hold HCSE 2020 as planned. Submission deadline: March 30, 2020. We express our sympathies to all of those impacted by COVID-19. Best wishes to everybody, Regina Bernhaupt - Carmelo Ardito - Stefan Sauer General Conference Chairs *HCSE 2020* *Call for Papers* *8th International Working Conference on Human-Centered Software Engineering* *August 26th - 28th, 2020 - Technical University Eindhoven, Eindhoven, The Netherlands* http://www.hcse-conference.org *HCSE*is a bi-annual, single-track, working conference organized by the IFIP Working Group 13.2 on Methodology for User-Centred System Design in cooperation with IFIP Working Group 13.5 on Human Error, Resilience, Reliability, Safety and System Development . We aim at *bringing together researchers and practitioners* interested in strengthening the scientific foundations of user interface design, examining the relationship between software engineering and human-computer interaction and on how to strengthen human-centered design as an essential part of software engineering processes. Other topics of interest include: ●        contributions to the theory and best practices of user-centered design ●        design and architectural patterns for interactive systems ●        involvement of end-users, clients and stakeholders in the development process of interactive systems ●        innovative methods for identifying end-user requirements for interactive systems ●        integration of user experience (and any other user interface property) in development processes ●        methods for designing, building and assessing interactive systems beyond the desktop (e.g. the living room, ubiquitous and multi-display, cockpits, etc.) ●        models and model-based approaches for building interactive systems ●        integration of multiple properties (e.g. usability, security, reliability, user experience, privacy, accessibility, etc.) in software development ●        socio-technical aspects of interactive software development ●        software architectures for interactive systems ●        rational design and traceability of design choices. HCSE 2020 welcomes contribution as *technical full papers, late breaking results, demonstrations and posters*. All papers are peer-reviewed and selected contributions will appear in the proceedings published by Springer in the *LNCS* series. In the present edition of *HCSE 2020* we are particularly interested in studies focused on *multi-stakeholder* concepts and how to cope with multi-stakeholders taking into account not only micro perspective but on the systemic change level. As in past editions, the focus of the working group is on *user interface properties *(such as usability, ux, privacy, trust, security, reliability, adaptability, among other) and how to design, develop and evaluate based on a *user-centered development process*. We are interested in understanding how different stakeholders and developers value diverse user interface properties and how they manage conflicts between them (when one property might degrade the value of another) on a systemic change level. Our aim is to cover a large set of user interface properties and try to reveal their inner dependencies. We are particularly interested in the development of theories, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. *HCSE*welcomes the following types of contributions: * * ●        *Technical full papers*(*up to 20 pages*) should describe substantial research contributions of novel work that has produced advanced results including validation of results. ●        *Late-breaking results*(*up to 12 pages*) are short papers that present work in progress, new practice and experience reports containing good (and bad) practices and/or recent practical evaluations of methods, techniques and tools. ●        *Demonstrations and posters*(*5–8 pages, plus poster design draft*) should present ongoing work and/or late-breaking results related to the use of innovative tools and cutting-edge systems not described in other paper submissions. Demonstration papers should provide description of tools including user tasks and evidence of use to end-users. Demo submissions should summarize the system’s significance and its performance and should either include screenshots or link to an online-accessible resource. The poster design draft should show the planned design and content of the poster that will be presented at the conference. Industry contributions to demos and posters are particularly welcome and highly encouraged. *Submissions and Reviewing Process* Contributions should be sent via *EasyChair* (https://easychair.org/conferences/?conf=hcse2020). All submissions will be peer-reviewed for their topical relevance, originality, technical contribution, and presentation quality by the members of the international program committee. Technical full papers and late-breaking results short papers will be reviewed *double-blind*, demonstrations and posters *single-blind*. Authors must prepare their submission files accordingly! For poster submissions, both paper and poster design draft will be assessed for review. It will be possible for the program committee to suggest accepting submissions in other than their original submission categories. *Presentations* All accepted submissions will be presented at the conference in technical sessions. It will be possible for authors of accepted technical full papers and late-breaking results short papers to give tool demos as well without submitting additional demo papers. *Proceedings* Accepted contributions must be formatted according to the guidelines of the Lecture Notes in Computer Science (LNCS) series of Springer. Authors are requested to prepare submissions as close as possible to final camera-ready versions. *Important Dates* *Technical full papers, late breaking results* Submission: *March 30^th *, 2020 Notification to authors: *May 11^th *, 2020 Camera-ready due: *June 5^th *, 2020 *Demos, posters* Submission: *May 26^th *, 2020 Notification to authors: *June 12^th *, 2020 Camera-ready due: *June 26^th *, 2020 Conference dates: *August 26^th – 28^th *, 2020 *Organizers * *General Conference Chairs:* Regina Bernhaupt, Eindhoven University of Technology, The Netherlands Carmelo Ardito, Politecnico di Bari, Italy Stefan Sauer, Paderborn University, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5315 bytes Desc: S/MIME Cryptographic Signature URL: From angalletta at unime.it Mon Mar 16 11:00:00 2020 From: angalletta at unime.it (Antonino Galletta) Date: Mon, 16 Mar 2020 11:00:00 +0100 (CET) Subject: [fg-arc] Fwd: ICTS4eHealth 2020 - 5th edition of the IEEE International Workshop on ICT Solutions for e-Health In-Reply-To: <1610113549.1554850.1584198283235.JavaMail.zimbra@unime.it> References: <1706053619.1549020.1584198137440.JavaMail.zimbra@unime.it> <1610113549.1554850.1584198283235.JavaMail.zimbra@unime.it> Message-ID: <1633660812.1557485.1584198364219.JavaMail.zimbra@unime.it> Dear colleague, [Apologies if you receive multiple copies of this CFP] =========================================================================== ICTS4eHealth 2020 - 5th edition of the IEEE International Workshop on ICT Solutions for e-Health The conference will be held in Rennes, France July 7th, 2020 - [ http://icts4ehealth.icar.cnr.it/ | http://icts4ehealth.icar.cnr.it ] in conjunction with the Twenty-Fifth IEEE Symposium on Computers and Communications (ISCC) =========================================================================== MISSION: ------------------------------------------------------------------------------ e-Health is one of the major research topics that have been attracting cross-disciplinary research groups. The deployment of new emerging ICT technologies for Health, especially based on Cloud computing, Internet of Things (IoT), and Computational Intelligence, is attracting the interest of many researchers. The use of Cloud computing, IoT technologies, and methods typical of Soft Computing and Computational Intelligence have been very prominent recently and can be of great help in finding good solutions to many practical healthcare applications. For instance, health monitoring, health data storage, health data collection, mobile health, pervasive health, healthcare monitoring, telemedicine, context-aware computing, ubiquitous computing, processing health data in the cloud, securing health data in the cloud and Assistive Technology (AT) are areas of interest that are being addressed using cloud computing and IoT techniques. On the other hand, several challenging issues have raised due to the adoption of such emerging technologies. These include the quality of health data, the ability to retrieve information and use it in health context, as for example in tasks related to machine learning, knowledge discovery, decision support, regression, forecasting, optimization, feature selection, and additionally privacy and security issues of health data while being processed in the cloud, availability of health data, models of context and tele-monitoring of contextual applications. ICTS4eHealth 2020 is the fifth edition of the International IEEE Workshop dedicated to ICT solutions for e-Health, especially based on Cloud computing, Internet of Things (IoT), and Computational Intelligence. The workshop will bring together researchers from academia, industry, government, and medical centers in order to present the state of the art in the emerging area of the use of cloud systems in connected health infrastructure and applications, and the use of IoT and Computational Intelligence technique in the area of eHealth. TOPICS: ------------------------------------------------------------------------------ - Cloud computing applications for eHealth - Internet of Things (IoT) applications for eHealth - Assistive Technology (AT). - Informatization, Management and Organization of BME Environments - Bioinformatics and Computational Biology and Medicine - Communication, Networking and Monitoring in Bio-systems - Monitoring of Vital Functions with Sensor and ICT Systems - Biosensors and Sensor Networks - Advanced Bio-signal Processing - Distributed BME Applications - Telehealth, Telecare, Telemonitoring, Telediagnostics - e-Healthcare, m-Healthcare, x-Health - Assisted Living - Smartphones in BME Applications - Social Networking, Computing and Education for Health - Computer Aided Diagnostics - Improved Therapeutic and Rehabilitation Methods - Intelligent Bio-signal Interpretation - Data and Visual Mining for Diagnostics - Advanced Medical Visualization Techniques - Personalized Medical Devices and Approaches - Modelling and Computer Simulations in BME - Human Responses in Extreme Environments - Other Emerging Topics in BME - E-Accessibility - Web accessibility - Hardware & Software personalized assistive technologies - Assistive systems for users who are blind or visually impaired - Cloud computing and AT - Integration between home-based assistive technologies and patient health data - User-centered design of electronic assistive technologies - Usability of assistive technologies - Computer vision in AT - User interfaces for home-based assistive technologies - Use of prescription systems and assistive technologies - Experience from real world assistive environment deployment - Assistive Technologies for Urban Environments - Healthcare modeling and simulation - Knowledge discovery and decision support - Biomedical data processing - Wearable devices - Sensor-based mHealth applications The use of Soft Computing/Computational Intelligence methods in facing problems in the above topics is highly welcome, although not compulsory. PAPER SUBMISSION: ------------------------------------------------------------------------------ Manuscripts should describe original work and should be no more than 7 pages for full papers and 4 pages for short papers in the IEEE double column proceedings format including tables, figures and references. Download manuscript templates for IEEE conference proceedings here. Note that accepted papers up to 6 pages will be published with no additional charge. Exceeding pages will be charged an additional fee. Papers exceeding 7 pages will not be accepted. At least one author of each accepted paper is required to register for the conference and present the paper. Only registered and presented papers will be published in the conference proceedings. All papers should be submitted via EasyChair using the following link [ https://easychair.org/conferences/?conf=ieeeiscc2020 | https://easychair.org/conferences/?conf=ieeeiscc2020 ] and then secelting "ICTS4eHealth Workshop" track. Please, contact us for any questions regarding the submission of manuscripts. Accepted papers will be included in the ISCC 2020 Proceedings and will be submitted for inclusion to IEEE Xplore. The ISCC Proceedings have been indexed in the past by ISI, dblp and Scopus. This makes the ISCC conference one of the publication venues with very high visibility and impact in both Computer and Communications areas. Authors must use the IEEE conference proceedings format obtainable at: [ https://www.ieee.org/conferences_events/conferences/publishing/templates.html | https://www.ieee.org/conferences_events/conferences/publishing/templates.html ] BEST PAPER AWARD: ------------------------------------------------------------------------------ A "Best Paper Award" Certificate will be conferred on the author(s) of a paper presented at the workshop, selected by the Chairs based on scientific significance, originality and outstanding technical quality of the paper, as assessed also by the evaluations of the members of the Program Committee. IMPORTANT DATES: ------------------------------------------------------------------------------ Submission deadline: April 25th, 2020 Notification of paper acceptance: May 15th, 2020 Submission of camera-ready papers: May 25th, 2020 Registration: May 25th, 2020 VENUE: ------------------------------------------------------------------------------ The conference will be held in Rennes, France More info will be available soon on the IEEE ISCC 2020 website Conference ( [ https://conferences.imt-atlantique.fr/iscc2020/ | https://conferences.imt-atlantique.fr/iscc2020/ ] ) FOR ANY OTHER INFORMATION [ http://icts4ehealth.icar.cnr.it/ | http://icts4ehealth.icar.cnr.it/ ] or email us at [ mailto:icts4ehealth at googlegroups.com | icts4ehealth at googlegroups.com ] -------------- next part -------------- An HTML attachment was scrubbed... URL: From jens.knodel at caruso-dataplace.com Wed Mar 18 13:24:58 2020 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Wed, 18 Mar 2020 12:24:58 +0000 Subject: [fg-arc] =?iso-8859-1?q?WSRE_2020=3A_Aktuelle_Hinweise_aufgrund_?= =?iso-8859-1?q?der_aktuellen_Entwicklungen_rund_um_Covid-19_und_Fristverl?= =?iso-8859-1?q?=E4ngerung_f=FCr_Einreichungen?= Message-ID: ============================================================= Aktuelle Hinweise aufgrund der aktuellen Entwicklungen rund um Covid-19 ============================================================= Die Einreichung von Beiträgen ist weiterhin erwünscht! Die Einreichungsfrist für alle Tracks wurde auf den 31. März 2020 verlängert. Entsprechend verschieben sich auch die abhängigen Termine (Benachrichtigung, Finalisierung, Registrierung), siehe unten. Unabhängig von der Frage, ob wir den WSRE 2020 wie geplant durchführen können, setzen wir aktuell die Vorbereitungen und Planungen fort und geben die Hoffnung (noch) nicht auf. Insbesondere führen wir den Einreichungs- und Reviewprozess sowie die geplante Publikation der Beiträge weiter fort. Natürlich beobachten wir die aktuellen Entwicklungen im Hinblick auf COVID-19 und prüfen alternative Durchführungsvarianten. Falls eine Durchführung des WSRE 2020 im Physikzentrum in Bad Honnef vom 04. bis 06. Mai 2020 nicht möglich sein sollte, werden wir entsprechend reagieren, ggf. auch recht kurzfristig, je nach Situation. Mögliche Alternativen bestehen sowohl in der zeitlichen und dann ggf. auch örtlichen Verlegung (falls notwendig) des WSRE Workshops. Falls der Workshop wie geplant in Bad Honnef stattfinden kann, bieten wir den Vortragenden, die nicht anreisen können, die Alternative, ihren Vortrag remote zu halten. Eine Remote-Teilnahme an der Veranstaltung oder ein vollständig virtuellen Workshop erachten wir aufgrund des interaktiven Charakters des WSRE als nicht zielführend. Stattdessen bevorzugen wir in einem solchen Fall eine zeitliche Verschiebung. Falls das Physikzentrum keinen passenden Ersatztermin anbieten kann, werden wir auch eine örtliche Verlegung in Betracht ziehen. Unabhängig davon wird der Einreichungs-, Begutachtungs- und Veröffentlichungsprozess fortgesetzt. Die Publikation der Beiträge in der Zeitschrift Softwaretechnik-Trends soll wie geplant Mitte Mai erfolgen. Sollte es hingegen nicht möglich sein, den Workshop 2020 durchzuführen oder einzelne Präsentationen abzuhalten, so werden wir die Möglichkeit schaffen, die entsprechenden Präsentationen beim WSRE 2021 nachzuholen. Die Einreichung von Beiträgen ist also weiterhin erwünscht! Die Einreichungsfrist für alle Tracks wurde auf den 31. März 2020 verlängert. Entsprechend verschieben sich auch die abhängigen Termine (Benachrichtigung, Finalisierung, Registrierung): Neuer Zeitplan: ========================= - Einreichung der Kurzfassungen: 31. März 2020 - Benachrichtigung über die Annahme: 09. März 2020 - Einreichung der druckfertigen Endfassung: 09. April 2020 - Anmeldeschluss zur Teilnahme: 16. April 2020 - WSRE 2020, Physikzentrum, Bad Honnef: 04.-06. Mai 2020 Alles Weitere ========================= https://fg-sre.gi.de/veranstaltung/22-workshop-software-reengineering-evolution/ Wir freuen uns auf ihre Beiträge! Für Rückfragen stehen die Organisatoren gern zur Verfügung! Wir wünschen Ihnen und allen vom Corona-Virus Betroffenen alles Gute und: Bleiben Sie gesund! Organisatoren: ===== Dr. Jens Knodel, Caruso GmbH, Ismaning Dr. Marco Konersmann, Universität Koblenz-Landau Torsten Görg, itemis AG, Stuttgart Matthias Gutheil, itemis AG, Bonn Dr. Stefan Sauer, Universität Paderborn Kontakt? wsr at uni-koblenz.de https://fg-sre.gi.de/ -- Dr. Jens Knodel Head of Platform Engineering   m: +49 179 53 43 284 e:    jens.knodel at caruso-dataplace.com   w:   www.caruso-dataplace.com   Caruso GmbH | Steinheilstraße 10 | 85737 Ismaning Managing Directors: Alexander Haid, Jürgen Buchert | Registered Local Court Munich | HRB 233 669 From jens.knodel at caruso-dataplace.com Wed Mar 18 13:54:14 2020 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Wed, 18 Mar 2020 12:54:14 +0000 Subject: [fg-arc] =?utf-8?q?=5BWSRE_2020=5D_FORSCHUNG_TRIFFT_PRAXIS=3A_Ak?= =?utf-8?q?tuelle_Hinweise_und_Fristverl=C3=A4ngerung?= Message-ID: ============================================================= Aktuelle Hinweise aufgrund der aktuellen Entwicklungen rund um Covid-19 ============================================================= Die Einreichung von Beiträgen ist weiterhin erwünscht! Die Einreichungsfrist für alle Tracks des WSRE 2020 einschließlich dem neuen Format "Forschung trifft Praxis" wurde auf den 31. März 2020 verlängert. Entsprechend verschieben sich auch die abhängigen Termine (Benachrichtigung, Finalisierung, Registrierung), siehe unten. Unabhängig von der Frage, ob wir den WSRE 2020 wie geplant durchführen können, setzen wir aktuell die Vorbereitungen und Planungen fort und geben die Hoffnung (noch) nicht auf. Insbesondere führen wir den Einreichungs- und Reviewprozess sowie die geplante Publikation der Beiträge weiter fort. Natürlich beobachten wir die aktuellen Entwicklungen im Hinblick auf COVID-19 und prüfen alternative Durchführungsvarianten. Wir beabsichtigen, das Matching-Event im Track "FORSCHUNG TRIFFT PRAXIS" eigenständig als separate Veranstaltung oder in virtueller Form durchzuführen, sollte eine Verschiebung des WSRE nur längerfristig möglich sein oder der WSRE abgesagt werden müssen. Weitere Details folgen dann zu einem späteren Zeitpunkt, wenn eine verlässliche Planung möglich ist. Die Einreichung von Beiträgen ist also weiterhin erwünscht! Der Einreichungs-, Auswahl- und Veröffentlichungsprozess wird deshalb wie angekündigt fortgesetzt, mit Fristverlängerung, siehe neuer Zeitplan: ========================= - Einreichung der Kurzfassungen: 31. März 2020 - Benachrichtigung über die Annahme: 09. März 2020 - Einreichung der druckfertigen Endfassung: 09. April 2020 - Anmeldeschluss zur Teilnahme: 16. April 2020 - WSRE 2020, Physikzentrum, Bad Honnef: 04.-06. Mai 2020 Alles Weitere ========================= https://fg-sre.gi.de/aktivitaeten/forschung-trifft-praxis Wir freuen uns auf ihre Beiträge! Für Rückfragen stehen die Organisatoren gern zur Verfügung! Wir wünschen Ihnen und allen vom Corona-Virus Betroffenen alles Gute und: Bleiben Sie gesund! Organisatoren: ===== Dr. Jens Knodel, Caruso GmbH, Ismaning Dr. Marco Konersmann, Universität Koblenz-Landau Torsten Görg, itemis AG, Stuttgart Matthias Gutheil, itemis AG, Bonn Dr. Stefan Sauer, Universität Paderborn Kontakt? wsr at uni-koblenz.de https://fg-sre.gi.de/ -- Dr. Jens Knodel Head of Platform Engineering m: +49 179 53 43 284 e: jens.knodel at caruso-dataplace.com w: www.caruso-dataplace.com Caruso GmbH | Steinheilstraße 10 | 85737 Ismaning Managing Directors: Alexander Haid, Jürgen Buchert | Registered Local Court Munich | HRB 233 669 From sauer at upb.de Wed Mar 18 14:25:18 2020 From: sauer at upb.de (Stefan Sauer) Date: Wed, 18 Mar 2020 14:25:18 +0100 Subject: [fg-arc] =?utf-8?q?Aktuelle_Hinweeise_=26_Verl=C3=A4ngerte_Einre?= =?utf-8?q?ichung=3A_11=2E_Workshop_=E2=80=9EDesign_for_Future_=E2=80=93_L?= =?utf-8?q?anglebige_Softwaresysteme=E2=80=9C_=28DFF_2020=29?= Message-ID: <9585d6b1-6455-1b40-2951-6764d76c71e1@upb.de> Sehr geehrte Kolleginnen und Kollegen, ============================================================= Aktuelle Hinweise aufgrund der aktuellen Entwicklungen rund um Covid-19 ============================================================= Die Einreichung von Beiträgen ist weiterhin erwünscht! Die Einreichungsfrist für den DFF-Workshop und alle Tracks des WSRE 2020 wurde auf den *31. März 2020* verlängert. Entsprechend verschieben sich auch die abhängigen Termine (Benachrichtigung, Finalisierung, Registrierung), siehe unten. Unabhängig von der Frage, ob wir den WSRE / DFF 2020 wie geplant durchführen können, setzen wir aktuell die Vorbereitungen und Planungen fort und geben die Hoffnung (noch) nicht auf. Insbesondere führen wir den Einreichungs- und Reviewprozess sowie die geplante Publikation der Beiträge weiter fort. Natürlich beobachten wir die aktuellen Entwicklungen im Hinblick auf COVID-19 und prüfen alternative Durchführungsvarianten. Falls eine Durchführung des WSRE / DFF 2020 im Physikzentrum in Bad Honnef vom 04. bis 06. Mai 2020 nicht möglich sein sollte,  werden wir entsprechend reagieren, ggf. auch recht kurzfristig, je nach Situation. Mögliche Alternativen bestehen sowohl in der zeitlichen und dann ggf. auch örtlichen Verlegung (falls notwendig) des Workshops. Falls der Workshop wie geplant in Bad Honnef stattfinden kann, bieten wir den Vortragenden, die nicht anreisen können, die Alternative, ihren Vortrag remote zu halten. Eine Remote-Teilnahme an der Veranstaltung oder ein vollständig virtuellen Workshop erachten wir aufgrund des interaktiven Charakters des WSRE / DFF als nicht zielführend. Stattdessen bevorzugen wir in einem solchen Fall eine zeitliche Verschiebung. Falls das Physikzentrum keinen passenden Ersatztermin anbieten kann, werden wir auch eine örtliche Verlegung in Betracht ziehen. Unabhängig davon wird der Einreichungs-, Begutachtungs- und Veröffentlichungsprozess fortgesetzt. Die Publikation der Beiträge in der Zeitschrift Softwaretechnik-Trends soll wie geplant Mitte Mai erfolgen. Sollte es hingegen nicht möglich sein, den Workshop 2020 durchzuführen oder einzelne Präsentationen abzuhalten, so werden wir die Möglichkeit schaffen, die entsprechenden Präsentationen beim WSRE / DFF 2021 nachzuholen. Neuer Zeitplan: ========================= Einreichung von Beiträgen:                                31. März 2020 Benachrichtigung über die Annahme:              09. April 2020 Einreichung der finalen Endfassung:                 16. April 2020 Anmeldeschluss zur Teilnahme:                         16. April 2020 Workshop im Physikzentrum, Bad Honnef:     04.-06. Mai 2020 ==================================================== CALL FOR PAPERS / AUFRUF ZUR EINREICHUNG VON BEITRÄGEN ==================================================== ------------------------------------------------------------------------ 11. Workshop *Design for Future – Langlebige Softwaresysteme* (*DFF 2020*) ------------------------------------------------------------------------ Software Engineering für langlebige Systeme des GI-Arbeitskreises „Langlebige Software-Systeme“ (AK L2S2) der Fachgruppen „Architekturen“ und „Software-Reengineering“ http://akl2s2.ipd.kit.edu/veranstaltungen/dff2020/ 04.–06. Mai 2020 in Bad Honnef gemeinsam mit dem 22. Workshop Software-Reengineering & Evolution (WSRE *2*0*2*0) https://fg-sre.gi.de/veranstaltung/22-workshop-software-reengineering-evolution *Wichtige Termine* Einreichung von Beiträgen:    13. März 2020 Benachrichtigung über die Annahme:    31. März 2020 Einreichung der finalen Fassung:    09. April 2020 Anmeldeschluss zur Teilnahme:    09. April 2020 Workshop:    04.-06. Mai 2020 *Inhalt und Ziele* Das Altern von Software ist ein Problem, das vor allem bei großen betrieblichen Informationssystemen unter dem Begriff Legacy bekannt ist und auch in Zukunft in vielfältigen Anwendungsbereichen auftreten wird. Beispielsweise können Big-Data-Initiativen den Zugriff auf ursprünglich rein intern genutzte Datentöpfe oder gar Änderungen an diesen die Erhöhung der Datenqualität erfordern. Die Notwendigkeit der Softwaremodernisierung tritt aber auch zunehmend in vielen anderen Bereichen auf, in denen Software eine Rolle spielt. Zum einen gewinnen eingebettete Systeme (insbesondere im Kontext von Cyber-Physical Systems, Internet of Things, Industrie 4.0) immer mehr an Bedeutung, in denen aufwändige Software in langlebigen technischen Geräten eingesetzt wird. Zum anderen macht die steigende Vernetzung von Systemen in großen Anwendungs- und Systemlandschaften die Situation zunehmend komplexer.  Neue Paradigmen treten zutage wie z.B. Edge Computing,  Blockchains oder Smart Contracts.  Diese Probleme haben enorme ökonomische Bedeutung. Wissenschaft und Industrie sind gefordert, neue Methoden der Softwaretechnik zu entwickeln, um die erheblichen Investitionen in große Softwaresysteme zu schützen und massive Probleme durch steigende Software-Erosion zu verhindern. Aktuelle Ansätze in der Softwaretechnik, insbesondere in den Bereichen modellbasierte Entwicklungsmethoden, Lifecycle-Management, Softwarearchitektur, Requirements Engineering und Re-Engineering, können dazu beitragen, die Situation zu verbessern, wenn sie geeignet weiterentwickelt und angewandt werden. Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI Fachgruppen Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, Wissenschaftler(innen) und Praktiker(innen) zusammenzubringen, die an diesen Themenstellungen Interesse haben. Im 11. DFF-Workshop des Arbeitskreises sollen die oben geschilderte Entwicklung, Erfahrungen hierzu sowie Lösungsansätze sowohl aus praktischer als auch aus wissenschaftlicher Sicht beleuchtet werden, um die verschiedenen Facetten und Herausforderungen der Software-Alterung zu beherrschen. Im Workshop sollen sowohl Lösungen als auch praktische Erfahrungen betrachtet und diskutiert werden, um die Entstehung neuer Legacy-Probleme und die Erosion von Software zu verhindern. *Themen* Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: •    Methoden zur Software-Modernisierung und Software-Migration •    Re-Engineering zum Erkennen und Beheben von Legacy-Problemen •    Anpassungsfähige und zukunftssichere Software-Architekturen •    Evolution und Co-Evolution von Modellen und Code •    Verhinderung von Software-Erosion •    Entwicklungsmethoden und Lifecycle-Management für langlebige Softwaresysteme •    Langlebige Software in eingebetteten und technischen Systemen (z.B. CPS, IoT, Industrie 4.0) •    Integration oder Migration in Bezug auf Blockchain-Technologien oder Smart Contracts •    Migrationsszenarien im Kontext von Cloud- und Edge-Computing •    Evolutionsherausforderungen im Kontext von Big Data •    Qualitätsmanagement für langlebige Softwaresysteme •    Fallstudien zu den vorgenannten Themen •    Praxis- und Erfahrungsberichte zu den vorgenannten Themen *Einreichung & Veröffentlichung von Beiträgen* Praktiker(innen) und Wissenschaftler(innen), die auf dem Gebiet der Entwicklung von Konzepten, Methoden, Techniken oder Werkzeugen zur Erstellung, Wartung bzw. Weiterentwicklung langlebiger Softwaresysteme tätig sind, werden gebeten, Kurzbeiträge im Umfang von 2 Seiten im Format der Softwaretechnik-Trends (http://pi.informatik.uni-siegen.de/stt/) einzureichen. Eingereichte Beiträge sollten den Bezug zum Thema des Workshops klar herausstellen. Die eingereichten Beiträge werden vom Programmkomitee des Workshops begutachtet. Die akzeptierten Beiträge werden in den Softwaretechnik-Trends veröffentlicht. Für die Einreichung und den Begutachtungsprozess wird das System EasyChair verwendet. Der Zugang ist unter https://easychair.org/conferences/?conf=wsre2020 freigeschaltet. Der Workshop DFF wird in EasyChair als Teil des WSRE behandelt. Bitte wählen Sie bei der Einreichung unter Topics das Akronym "DFF" aus. *Organisation* Der Workshop wird organisiert vom GI-Arbeitskreis "Langlebige Software-Systeme" (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird gemeinsam mit dem 22. Workshop Software-Reengineering & Evolution (WSRE 2020) der Fachgruppe "Software-Reengineering" als Track mit eigenständigem Begutachtungsprozess durchgeführt. *AK- und Workshop-Leitung:* •    Stefan Sauer, sauer at sicp.upb.de, •    Robert Heinrich, robert.heinrich at kit.edu, •    Marco Konersmann, konersmann at uni-koblenz.de From jens.knodel at caruso-dataplace.com Wed Mar 18 14:31:19 2020 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Wed, 18 Mar 2020 13:31:19 +0000 Subject: [fg-arc] =?iso-8859-1?q?WSRE_2020=3A_Aktuelle_Hinweise_aufgrund_?= =?iso-8859-1?q?der_aktuellen_Entwicklungen_rund_um_Covid-19_und_Fristverl?= =?iso-8859-1?q?=E4ngerung_f=FCr_Einreichungen?= In-Reply-To: References: Message-ID: Bitte korrigierte Daten für den Zeitplan des WSRE beachten! Korrigierter Zeitplan: ========================= - Einreichung der Kurzfassungen: 31. März 2020 - Benachrichtigung über die Annahme: 09. April 2020 - Einreichung der druckfertigen Endfassung: 16. April 2020 - Anmeldeschluss zur Teilnahme: 16. April 2020 - WSRE 2020, Physikzentrum, Bad Honnef: 04.-06. Mai 2020 Ich bitte um Entschuldigung für den Nachtrag. Für Rückfragen stehen die Organisatoren gern zur Verfügung! Kontakt? wsr at uni-koblenz.de https://fg-sre.gi.de/ -----Original Message----- From: Jens Knodel Sent: Mittwoch, 18. März 2020 13:25 To: swt-de at informatik.uni-siegen.de; Reengineering at list.uni-koblenz.de; ak-l2s2 at ira.uni-karlsruhe.de; fg-arc at lists.uni-paderborn.de; ak-traceability at lists.gi.de Cc: wsr at uni-koblenz.de Subject: WSRE 2020: Aktuelle Hinweise aufgrund der aktuellen Entwicklungen rund um Covid-19 und Fristverlängerung für Einreichungen ============================================================= Aktuelle Hinweise aufgrund der aktuellen Entwicklungen rund um Covid-19 ============================================================= Die Einreichung von Beiträgen ist weiterhin erwünscht! Die Einreichungsfrist für alle Tracks wurde auf den 31. März 2020 verlängert. Entsprechend verschieben sich auch die abhängigen Termine (Benachrichtigung, Finalisierung, Registrierung), siehe unten. Unabhängig von der Frage, ob wir den WSRE 2020 wie geplant durchführen können, setzen wir aktuell die Vorbereitungen und Planungen fort und geben die Hoffnung (noch) nicht auf. Insbesondere führen wir den Einreichungs- und Reviewprozess sowie die geplante Publikation der Beiträge weiter fort. Natürlich beobachten wir die aktuellen Entwicklungen im Hinblick auf COVID-19 und prüfen alternative Durchführungsvarianten. Falls eine Durchführung des WSRE 2020 im Physikzentrum in Bad Honnef vom 04. bis 06. Mai 2020 nicht möglich sein sollte, werden wir entsprechend reagieren, ggf. auch recht kurzfristig, je nach Situation. Mögliche Alternativen bestehen sowohl in der zeitlichen und dann ggf. auch örtlichen Verlegung (falls notwendig) des WSRE Workshops. Falls der Workshop wie geplant in Bad Honnef stattfinden kann, bieten wir den Vortragenden, die nicht anreisen können, die Alternative, ihren Vortrag remote zu halten. Eine Remote-Teilnahme an der Veranstaltung oder ein vollständig virtuellen Workshop erachten wir aufgrund des interaktiven Charakters des WSRE als nicht zielführend. Stattdessen bevorzugen wir in einem solchen Fall eine zeitliche Verschiebung. Falls das Physikzentrum keinen passenden Ersatztermin anbieten kann, werden wir auch eine örtliche Verlegung in Betracht ziehen. Unabhängig davon wird der Einreichungs-, Begutachtungs- und Veröffentlichungsprozess fortgesetzt. Die Publikation der Beiträge in der Zeitschrift Softwaretechnik-Trends soll wie geplant Mitte Mai erfolgen. Sollte es hingegen nicht möglich sein, den Workshop 2020 durchzuführen oder einzelne Präsentationen abzuhalten, so werden wir die Möglichkeit schaffen, die entsprechenden Präsentationen beim WSRE 2021 nachzuholen. Die Einreichung von Beiträgen ist also weiterhin erwünscht! Die Einreichungsfrist für alle Tracks wurde auf den 31. März 2020 verlängert. Entsprechend verschieben sich auch die abhängigen Termine (Benachrichtigung, Finalisierung, Registrierung): Neuer Zeitplan: ========================= - Einreichung der Kurzfassungen: 31. März 2020 - Benachrichtigung über die Annahme: 09. März 2020 - Einreichung der druckfertigen Endfassung: 09. April 2020 - Anmeldeschluss zur Teilnahme: 16. April 2020 - WSRE 2020, Physikzentrum, Bad Honnef: 04.-06. Mai 2020 Alles Weitere ========================= https://fg-sre.gi.de/veranstaltung/22-workshop-software-reengineering-evolution/ Wir freuen uns auf ihre Beiträge! Für Rückfragen stehen die Organisatoren gern zur Verfügung! Wir wünschen Ihnen und allen vom Corona-Virus Betroffenen alles Gute und: Bleiben Sie gesund! Organisatoren: ===== Dr. Jens Knodel, Caruso GmbH, Ismaning Dr. Marco Konersmann, Universität Koblenz-Landau Torsten Görg, itemis AG, Stuttgart Matthias Gutheil, itemis AG, Bonn Dr. Stefan Sauer, Universität Paderborn Kontakt? wsr at uni-koblenz.de https://fg-sre.gi.de/ -- Dr. Jens Knodel Head of Platform Engineering   m: +49 179 53 43 284 e:    jens.knodel at caruso-dataplace.com   w:   www.caruso-dataplace.com   Caruso GmbH | Steinheilstraße 10 | 85737 Ismaning Managing Directors: Alexander Haid, Jürgen Buchert | Registered Local Court Munich | HRB 233 669 From jens.knodel at caruso-dataplace.com Wed Mar 18 14:31:21 2020 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Wed, 18 Mar 2020 13:31:21 +0000 Subject: [fg-arc] =?utf-8?q?=5BWSRE_2020=5D_FORSCHUNG_TRIFFT_PRAXIS=3A_Ak?= =?utf-8?q?tuelle_Hinweise_und_Fristverl=C3=A4ngerung?= In-Reply-To: References: Message-ID: Bitte korrigierte Daten für den Zeitplan des neuen Formats "Forschung trifft Praxis" beim WSRE beachten! Korrigierter Zeitplan: ========================= - Einreichung der Kurzfassungen: 31. März 2020 - Benachrichtigung über die Annahme: 09. April 2020 - Einreichung der druckfertigen Endfassung: 16. April 2020 - Anmeldeschluss zur Teilnahme: 16. April 2020 - WSRE 2020, Physikzentrum, Bad Honnef: 04.-06. Mai 2020 Ich bitte um Entschuldigung für den Nachtrag. Für Rückfragen stehen die Organisatoren gern zur Verfügung! Kontakt? wsr at uni-koblenz.de https://fg-sre.gi.de/ -----Original Message----- From: Jens Knodel Sent: Mittwoch, 18. März 2020 13:54 To: Reengineering at list.uni-koblenz.de; ak-l2s2 at ira.uni-karlsruhe.de; fg-arc at lists.uni-paderborn.de; ak-traceability at lists.gi.de Cc: wsr at uni-koblenz.de Subject: [WSRE 2020] FORSCHUNG TRIFFT PRAXIS: Aktuelle Hinweise und Fristverlängerung ============================================================= Aktuelle Hinweise aufgrund der aktuellen Entwicklungen rund um Covid-19 ============================================================= Die Einreichung von Beiträgen ist weiterhin erwünscht! Die Einreichungsfrist für alle Tracks des WSRE 2020 einschließlich dem neuen Format "Forschung trifft Praxis" wurde auf den 31. März 2020 verlängert. Entsprechend verschieben sich auch die abhängigen Termine (Benachrichtigung, Finalisierung, Registrierung), siehe unten. Unabhängig von der Frage, ob wir den WSRE 2020 wie geplant durchführen können, setzen wir aktuell die Vorbereitungen und Planungen fort und geben die Hoffnung (noch) nicht auf. Insbesondere führen wir den Einreichungs- und Reviewprozess sowie die geplante Publikation der Beiträge weiter fort. Natürlich beobachten wir die aktuellen Entwicklungen im Hinblick auf COVID-19 und prüfen alternative Durchführungsvarianten. Wir beabsichtigen, das Matching-Event im Track "FORSCHUNG TRIFFT PRAXIS" eigenständig als separate Veranstaltung oder in virtueller Form durchzuführen, sollte eine Verschiebung des WSRE nur längerfristig möglich sein oder der WSRE abgesagt werden müssen. Weitere Details folgen dann zu einem späteren Zeitpunkt, wenn eine verlässliche Planung möglich ist. Die Einreichung von Beiträgen ist also weiterhin erwünscht! Der Einreichungs-, Auswahl- und Veröffentlichungsprozess wird deshalb wie angekündigt fortgesetzt, mit Fristverlängerung, siehe neuer Zeitplan: ========================= - Einreichung der Kurzfassungen: 31. März 2020 - Benachrichtigung über die Annahme: 09. März 2020 - Einreichung der druckfertigen Endfassung: 09. April 2020 - Anmeldeschluss zur Teilnahme: 16. April 2020 - WSRE 2020, Physikzentrum, Bad Honnef: 04.-06. Mai 2020 Alles Weitere ========================= https://fg-sre.gi.de/aktivitaeten/forschung-trifft-praxis Wir freuen uns auf ihre Beiträge! Für Rückfragen stehen die Organisatoren gern zur Verfügung! Wir wünschen Ihnen und allen vom Corona-Virus Betroffenen alles Gute und: Bleiben Sie gesund! Organisatoren: ===== Dr. Jens Knodel, Caruso GmbH, Ismaning Dr. Marco Konersmann, Universität Koblenz-Landau Torsten Görg, itemis AG, Stuttgart Matthias Gutheil, itemis AG, Bonn Dr. Stefan Sauer, Universität Paderborn Kontakt? wsr at uni-koblenz.de https://fg-sre.gi.de/ -- Dr. Jens Knodel Head of Platform Engineering m: +49 179 53 43 284 e: jens.knodel at caruso-dataplace.com w: www.caruso-dataplace.com Caruso GmbH | Steinheilstraße 10 | 85737 Ismaning Managing Directors: Alexander Haid, Jürgen Buchert | Registered Local Court Munich | HRB 233 669 From announce at cs.ucy.ac.cy Mon Mar 23 15:14:39 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 23 Mar 2020 16:14:39 +0200 Subject: [fg-arc] 14th International Conference on Research Challenges in Information Science (RCIS 2020): Second Call for Research Projects @RCIS Track Message-ID: *** Second Call for Research Projects @RCIS Track *** 14th International Conference on Research Challenges in Information Science (RCIS 2020) Royal Apollonia Beach Hotel 5*, Limassol, Cyprus September 23-25, 2020, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFNlY29uZCBDYWxsIGZvciBSZXNlYXJjaCBQcm9qZWN0cyBAUkNJUyBUcmFjawk0NzYJTGlzdHMJMTM3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FresearchProjects.php Submission deadline: April 10, 2020 (AoE) (extended!) RCIS 2020 features a new track entirely devoted to presenting results and perspectives of research projects (e.g. H2020 or ERC projects, national grants) in the context of Information Science. This track features a good opportunity for both presenters to disseminate the results of their projects, and for participants to get an updated view of ongoing research while getting in touch with potential research partners. The Research Projects @RCIS Track follows a two-step publication process. Firstly, the authors should submit a 2 pages paper summarizing the objectives of the project and relevant results. Each submission will be peer reviewed on the relevance of the submitted paper in the context of RCIS. If the paper is accepted, the authors will have to register to the conference in order to present their work at the Posters and Demos session at RCIS. After the conference, presenters will have the opportunity to submit the presented poster, which will be published in the RCIS 2020 website. No shows will be excluded from the final proceedings. SUBMISSION PROCESS Each submission will be reviewed by at least 2 members of the RCIS scientific committees, and should include: · Project full name, acronym, duration (from-to) and URL · Names of presenter(s) and main contributors · Summary of project objectives and expected tangible outputs. · Summary of current project results Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template. To ensure uniformity, we have prepared ready-to-use templates for Word and LaTeX which are available on the conference web site. References and appendices must be included within the 2 pages. Papers can be submitted via Easychair (https://easychair.org/my/conference?conf=rcis2020#) by selecting the "Research Projects @RCIS 2020" track. IMPORTANT DATES · Submission deadline: April 10, 2020 (AoE) (extended) · Notification (based on relevance only): April 15, 2020 · Author registration and camera-ready copy deadline: April 30, 2020 · Conference: September 23-25, 2020 CONTACT POINTS For further questions please contact: Marcela Ruiz marcela.ruiz at zhaw.ch Elena Kornyshova elena.kornyshova at cnam.fr CONFERENCE COMMITTEES Steering Committee · Saïd Assar, Institut Mines-Telecom Business School, France · Marko Bajec,University of Ljubljana, Slovenia · Pericles Loucopoulos, Manchester University, University Kingdom · Haralambos Moratidis, University of Brighton, United Kingdom · Selmin Nurcan, Université Paris 1 Panthéon-Sorbonne, France · Oscar Pastor, Universitat Politècnica de València, Spain · Jolita Ralyté, CUI, University of Geneva, Suisse · Colette Rolland, Université Paris 1 Panthéon-Sorbonne, France General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Pericles Loucopoulos, Harokopio University of Athens, Greece Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Jelena Zdravkovic, Stockholm University, Sweden · Fabiano Dalpiaz, Utrecht University, Netherlands Doctoral Consortium Chairs · Raian Ali, Bournemouth University, United Kingdom · Sergio España, Utrecht University, Netherlands Tutorial Chairs · Estefania Serral Asensio, KU Leuven, Belgium · Ignacio Panach, University of Valencia, Spain Posters & Demos Chairs · Elena Kornyshova, Conservatoire National des Arts et Métiers, France · Marcela Ruiz, Zurich University of Applied Sciences, Switzerland -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefano.forti at di.unipi.it Tue Mar 24 18:37:14 2020 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Tue, 24 Mar 2020 18:37:14 +0100 Subject: [fg-arc] WETICE 2020 - COVID-19 Update Message-ID: <000201d60202$dd5fc6c0$981f5440$@di.unipi.it> ================================================================== WETICE 2020 The 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises 9-11 June 2021, Basque Coast - Bayonne, France Website: http://wetice2020.org ================================================================== The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE (http://wetice2020.org) is an international conference on the state-of-theart research in enabling technologies for collaboration, consisting of several conference tracks. Due the COVID-19 pandemic, the 29th WETICE edition will be co-located with the 30th edition held on June 9-11, 2021 in Bayonne (French Basque country), France. First-round process • Submission deadline: March 22, 2020 (Closed) • Notification to authors: April 25, 2020 • Camera-ready deadline: May 5, 2020 • Authors registration deadline: September 10, 2020 Second-round process • Submission deadline: July 15, 2020 • Notification to authors: August 15, 2020 • Camera-ready deadline: September 10, 2020 • Authors registration deadline: September 10, 2020 Context and Scope The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE is an international conference on the state-of-the-art research in enabling technologies for collaboration, consisting of several conference tracks. The 29th WETICE edition will be held on June 2021 in Bayonne (French Basque country), France. With the presence of internationally distinguished keynote speakers: • Barbara Pernici, Politecnico di Milano, Italy • Sabri Skhiri, Eura Nova, Belgium • Luigi Atzori, University of Cagliari, Italy WETICE topics of interest include but are not limited to: * Cloud-Based Collaborative Technologies in IoT * Adaptive and Reconfigurable Systems and Architectures * Complex Networks Monitoring, Security and Fraud Detection for Enterprises * Convergence of Distributed Clouds, Grids and their Management * Data Exploration in the Web 3.0 Age * Collaborative Software Processes * Formal Verification of Service Based Systems * Future Internet Services and Applications * Semantic Technologies in Smart Information Sharing and Web Collaboration * Security, Safety and Trust Management List of Tracks • Adaptive Computing (and Agents) for Enhanced Collaboration • Adaptive and Reconfigurable Systems and Architectures • Convergence of Distributed Clouds, Grids and their Management • Collaborative Modeling & Simulation • Complex Networks Monitoring and Security and Fraud Detection for Enterprises • Future Internet Services and Applications • Security, Safety and Trust Management • Validating Software for Critical Systems • Semantic Technologies for Smart Information Sharing and Web Collaboration • Smart Living Space Manuscript Guidelines and Submission Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template. Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. The page limit for Full papers is 6 pages. No extra pages are allowed. The page limit for Short papers is 4 pages. No extra pages are allowed. At least one author for each accepted paper should register and attend WETICE 2020 to have the paper published in the proceedings. Papers should be submitted through the EasyChair platform using the following link: https://easychair.org/conferences/?conf=wetice2020 ================================================================== General Chairs Ernesto Exposito, Université de Pau et des Pays de l’Adour, France Khalil Drira, LAAS-CNRS, France Program Chairs Stefania Monica, Università degli Studi di Parma, Italy Sami Yangui, LAAS-CNRS, France ================================================================== -- Questa e-mail è stata controllata per individuare virus con Avast antivirus. https://www.avast.com/antivirus -------------- next part -------------- An HTML attachment was scrubbed... URL: From Radu.Muschevici at nottingham.edu.my Thu Mar 26 07:10:27 2020 From: Radu.Muschevici at nottingham.edu.my (RADU MUSCHEVICI) Date: Thu, 26 Mar 2020 06:10:27 +0000 Subject: [fg-arc] CfP: ICTAC 2020 Message-ID: Call for papers 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020). https://ictac2020.github.io/ ---------------------------------------------------------------------- Concerning COVID-19 The Program Chairs and the Steering Committee of ICTAC 2020 are closely following the situation regarding COVID-19 and will take appropriate measures if and when needed, following the recommendations of relevant national and international bodies, such as the World Health Organization. These measure will be adapted to the actual situation and may e.g., include the possibility of remote paper presentations or a full electronic implementation of the conference. ---------------------------------------------------------------------- = ABOUT ICTAC 2020 = We are pleased to invite you to submit papers for the 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020), which will take place in Macao S.A.R., China on 30 November- 4 December, 2020. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. ICTAC also aims to promote research cooperation between developing and industrial countries. The proceedings will be published as a volume of Springer's LNCS series. = IMPORTANT DATES = Abstract submission: Monday, 22 June 2020 (AoE) Paper submission: Friday, 26 June 2020 (AoE) Notification: Monday, 14 September 2020 (AoE) Camera-ready: Wednesday, 30 September 2020 (AoE) Main Conference: 30 November - 4 December 2020 = OBJECTIVES and SCOPE = Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. The topics of the conference include, but are not limited to: - Languages and automata - Semantics of programming languages - Logic in computer science - Lambda calculus, type theory and category theory - Domain-specific languages - Theories of concurrency and mobility - Theories of distributed, grid and cloud computing - Models of objects and components - Coordination models Models of software architectures - Timed, hybrid, embedded and cyber-physical systems - Static analysis - Software verification - Software testing - Program generation and transformation - Model checking and automated theorem proving - Interactive theorem proving - Verified software, formalized programming theory = SUBMISSION OF CONTRIBUTIONS = We solicit the following types of papers: - Regular papers, with original research contributions; - Short papers, with original work in progress or with proposals of new ideas and emerging challenges; - Tool papers, on tools that support formal techniques for software modelling, system design, and verification. Submissions must adhere to the LNCS format and must not exceed 18 pages (excluding bibliography of maximum 2 pages). Short- and tool papers should not exceed 10 pages. Submissions must not have been published or be under consideration for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. All contributions to ICTAC 2020 have to be submitted electronically in PDF format via Easy Chair (https://easychair.org/conferences/?conf=ictac2020). All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early registration date, and present the paper. The ICTAC committee will evaluate and select the best paper award winner. Authors should consult Springer's authors' guidelines (ftp://ftp.springernature.com/cs-proceeding/svproc/guidelines/Springer_Guidelines_for_Authors_of_Proceedings.pdf) and use their proceedings templates, either for LaTeX (ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip) or for Word (ftp://ftp.springernature.com/cs-proceeding/llncs/word/splnproc1703.zip), for the preparation of their papers. Springer encourages authors to include their ORCIDs (https://goo.gl/hbsa4D) in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. -- Radu Muschevici Assistant Professor University of Nottingham Malaysia << This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK & Malaysia legislation. >> From lpandolfo at uniss.it Fri Mar 27 08:25:41 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Fri, 27 Mar 2020 08:25:41 +0100 Subject: [fg-arc] 2nd Call for Workshop Proposals - The 36th International Conference on Logic Programming (ICLP2020) Message-ID: <391f1b09-74c2-46eb-5d45-867f921af01e@uniss.it>            *** CALL FOR WORKSHOP PROPOSALS ***                       ICLP 2020    36th International Conference on Logic Programming             September 18 - September 24, 2020           University of Calabria, Rende, Italy                https://iclp2020.unical.it /*NOTE ABOUT COVID-19: We will follow advice from the ICLP2020 // //organizers on the situation, and we will revise our workshop // //timeline and other procedures accordingly if needed.*/ ICLP 2020, the 36th International Conference on Logic Programming, will be held at the University of Calabria, Rende, Italy, from September 18 to September 24, 2020. The ICLP conference series has a long standing tradition of hosting a rich set of co-located workshops. ICLP workshops provide a unique opportunity for the presentation and discussion of work that can be preliminary in nature, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2020 can cover any areas related to logic programming (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2020 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain:  * The title of the workshop.  * A brief technical description of the topics covered by the workshop.  * A discussion of the timeliness and relevance of the workshop.  * A list of some related workshops held in the last years.  * The estimated length of the workshop and an estimate of the number    of expected attendees.  * The names, affiliation and contact details (email, web page,    phone) of the workshop organizers together with a designated    contact person.  * Previous experience of the workshop organizers in    workshop/conference organization. Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chair by email by April 13, 2020. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 27, 2020. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting room. The workshops and the conference organizers will collaborate in establishing a uniform approach to produce proficient and accessible proceedings for the workshops. Workshop Organizers' Tasks: ===========================  * Producing a "Call for Papers" for the workshop and posting it    on the Internet and other means. A web page URL should be provided    by May 25, 2020, and will be published on the ICLP 2020 home page.  * Providing a brief description of the workshop for the conference    program.  * Reviewing/accepting submitted papers.  * Scheduling workshop activities in collaboration with the local    organizers and the Workshop Chair.  * Providing a workshop program in a format specified by the    conference organizers for posting by August 31, 2020.  * Coordinating the preparation of the workshop proceedings according    to the specifications provided by the Workshop Chair. Location: ========= Workshops will be collocated with ICLP 2020 at the University of Calabria, Rende, Italy. See the ICLP 2020 web site (https://iclp2020.unical.it/) for location details. Important Dates (Tentative): ============================ April 13, 2020:  Proposal submission deadline April 27, 2020:  Notification May 25, 2020:    Deadline for receipt of CfP and workshop web page URL August 18, 2020: Deadline for acceptance notification of paper authors August 31, 2020: Deadline for workshop program Submissions: ============ Please submit your workshop proposals by email to the Workshop Chair. Workshop Chair: =============== Martin Gebser    martin.gebser at aau.at -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Mon Mar 30 10:07:27 2020 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Mon, 30 Mar 2020 10:07:27 +0200 Subject: [fg-arc] Deadline Extension (April 9): HCSE 2020 - 8th Intl. Conference on Human-Centered Software Engineering Message-ID: Despite COVID-19, we keep on collecting submissions and hope that we can hold HCSE 2020 as planned. Submission deadline is being extended to **April 9, 2020**. Given the circumstances regarding the diffusion of COVID-19, and the consequent measures to restrict movement imposed by national and international authorities, we are considering the possibility of running the HCSE 2020 conference in alternative modalities. Stay tuned for further updates. We express our sympathies to all of those impacted by COVID-19. Best wishes to everybody, Regina Bernhaupt - Carmelo Ardito - Stefan Sauer General Conference Chairs *HCSE 2020* *Call for Papers* *8th International Working Conference on Human-Centered Software Engineering* *August 26th - 28th, 2020 -Eindhoven University of Technology, Eindhoven, The Netherlands* http://www.hcse-conference.org *HCSE*is a bi-annual, single-track, working conference organized by the IFIP Working Group 13.2 on Methodology for User-Centred System Design in cooperation with IFIP Working Group 13.5 on Human Error, Resilience, Reliability, Safety and System Development . We aim at *bringing together researchers and practitioners* interested in strengthening the scientific foundations of user interface design, examining the relationship between software engineering and human-computer interaction and on how to strengthen human-centered design as an essential part of software engineering processes. Other topics of interest include: ●        contributions to the theory and best practices of user-centered design ●        design and architectural patterns for interactive systems ●        involvement of end-users, clients and stakeholders in the development process of interactive systems ●        innovative methods for identifying end-user requirements for interactive systems ●        integration of user experience (and any other user interface property) in development processes ●        methods for designing, building and assessing interactive systems beyond the desktop (e.g. the living room, ubiquitous and multi-display, cockpits, etc.) ●        models and model-based approaches for building interactive systems ●        integration of multiple properties (e.g. usability, security, reliability, user experience, privacy, accessibility, etc.) in software development ●        socio-technical aspects of interactive software development ●        software architectures for interactive systems ●        rational design and traceability of design choices. HCSE 2020 welcomes contribution as *technical full papers, late breaking results, demonstrations and posters*. All papers are peer-reviewed and selected contributions will appear in the proceedings published by Springer in the *LNCS* series. In the present edition of *HCSE 2020* we are particularly interested in studies focused on *multi-stakeholder* concepts and how to cope with multi-stakeholders taking into account not only micro perspective but on the systemic change level. As in past editions, the focus of the working group is on *user interface properties *(such as usability, ux, privacy, trust, security, reliability, adaptability, among other) and how to design, develop and evaluate based on a *user-centered development process*. We are interested in understanding how different stakeholders and developers value diverse user interface properties and how they manage conflicts between them (when one property might degrade the value of another) on a systemic change level. Our aim is to cover a large set of user interface properties and try to reveal their inner dependencies. We are particularly interested in the development of theories, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. *HCSE*welcomes the following types of contributions: * * ●        *Technical full papers*(*up to 20 pages*) should describe substantial research contributions of novel work that has produced advanced results including validation of results. ●        *Late-breaking results*(*up to 12 pages*) are short papers that present work in progress, new practice and experience reports containing good (and bad) practices and/or recent practical evaluations of methods, techniques and tools. ●        *Demonstrations and posters*(*5–8 pages, plus poster design draft*) should present ongoing work and/or late-breaking results related to the use of innovative tools and cutting-edge systems not described in other paper submissions. Demonstration papers should provide description of tools including user tasks and evidence of use to end-users. Demo submissions should summarize the system’s significance and its performance and should either include screenshots or link to an online-accessible resource. The poster design draft should show the planned design and content of the poster that will be presented at the conference. Industry contributions to demos and posters are particularly welcome and highly encouraged. *Submissions and Reviewing Process* Contributions should be sent via *EasyChair* (https://easychair.org/conferences/?conf=hcse2020). All submissions will be peer-reviewed for their topical relevance, originality, technical contribution, and presentation quality by the members of the international program committee. Technical full papers and late-breaking results short papers will be reviewed *double-blind*, demonstrations and posters *single-blind*. Authors must prepare their submission files accordingly! For poster submissions, both paper and poster design draft will be assessed for review. It will be possible for the program committee to suggest accepting submissions in other than their original submission categories. *Presentations* All accepted submissions will be presented at the conference in technical sessions. It will be possible for authors of accepted technical full papers and late-breaking results short papers to give tool demos as well without submitting additional demo papers. *Proceedings* Accepted contributions must be formatted according to the guidelines of the Lecture Notes in Computer Science (LNCS) series of Springer. Authors are requested to prepare submissions as close as possible to final camera-ready versions. *Important Dates* *Technical full papers, late breaking results* _Submission: __*April 9^th *__, 2020 (extended!)_ Notification to authors: *May 11^th *, 2020 Camera-ready due: *June 5^th *, 2020 *Demos, posters* Submission: *May 26^th *, 2020 Notification to authors: *June 12^th *, 2020 Camera-ready due: *June 26^th *, 2020 Conference dates: *August 26^th – 28^th *, 2020 *Organizers * *General Conference Chairs:* Regina Bernhaupt, Eindhoven University of Technology, The Netherlands Carmelo Ardito, Politecnico di Bari, Italy Stefan Sauer, Paderborn University, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5315 bytes Desc: S/MIME Cryptographic Signature URL: From taravanis at upatras.gr Sat Mar 28 08:11:48 2020 From: taravanis at upatras.gr (Theofanis I. Aravanis) Date: Sat, 28 Mar 2020 09:11:48 +0200 Subject: [fg-arc] CFP - Recent Published Research Track (KR 2020) Message-ID: CALL FOR PAPERS KR 2020 -- RECENT PUBLISHED RESEARCH TRACK A special track of the 17th Conference on Principles of Knowledge Representation and Reasoning (KR2020) September 12-18th, 2020 Rhodes, Greece ------------------ Important Dates ------------------ Submission deadline: 15 June 2020 Notification: 13 July 2020 Conference dates: 12--18 September 2020 ------------------ Web site: https://kr2020.inf.unibz.it/page/recent_published_research_track (For the KR 2020 web site see https://kr2020.inf.unibz.it/ and for the KR 2020 CFP see https://kr2020.inf.unibz.it/page/call_for_papers.) We invite submissions of abstracts of papers previously published in journals and conference proceedings for the Recent Published Research Track. The track is designed to provide a forum to discuss recent research on topics related to KR that may not be immediately familiar or easily accessible to the KR community. The track seeks papers that fall into one or both of the following two categories: 1) Papers that -- connect KR to other areas of AI and to other areas of computer science such as database theory, game theory, social choice, logic and philosophy; -- connect KR to areas that make use of KR, such as multi-agent systems, planning, natural language understanding; or -- go beyond the commonly-understood boundaries of KR. 2) Papers that are strongly related to KR and -- have been published in journals but have not been presented at workshops or conferences; -- have been presented at workshops or conferences that are not typically attended by the KR community; or -- have been accepted at general high-profile AI conferences such as IJCAI, ECAI, or AAAI, where the time allotted has not allowed for full discussion of all key aspects of the paper. SUBMISSION GUIDELINES: Authors should supply the following materials: -- A cover page (single page) listing the title, the authors, a full reference to the original paper, and a public or privately accessible url from which the paper can be downloaded. -- A one-page (preferred) and no more than two-page extended abstract of the paper following the format for regular paper KR 2020 submissions. The abstract should present the main contributions of the paper, discuss the relevance of the paper to KR, and explain the significance of the results. A single pdf file with the materials should be submitted to the KR submission site at EasyChair: https://easychair.org/conferences/?conf=kr2020. The authors should mark the submission as Recent Published Research. Submissions must meet the following criteria: a. Candidate papers must have been published in a journal or a conference proceedings in 2018 or later. b. Papers that are in press may be submitted as long as the final camera-ready version is available. c. Extensions of papers that have been previously presented at a KR conference are not eligible for this track. Extended abstracts of the accepted papers will be linked from the conference web site. Authors of accepted papers will present their work, focussing on its significance and relevance to KR. Significant time will be allocated for discussion of the interdisciplinary aspects of the work and its potential impact on the future research opportunities for KR. For any questions regarding suitability of a submission or of any other aspect of the track, please email the special track program co-chairs: Jim Delgrande, jim at cs.sfu.ca Mirek Truszczynski, mirektruszczynski at gmail.com