From marcello.balduccini at gmail.com Thu Mar 1 04:29:16 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Wed, 28 Feb 2018 22:29:16 -0500 Subject: [fg-arc] KR 2018 Call for Papers ** INVITED SPEAKERS ANNOUNCED ** Message-ID: <201803010329.w213TGJO040791@coSAT.marcy-sara.tk> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** KR 2018 *** *** INVITED SPEAKERS ANNOUNCED *** 16th International Conference on Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA) October 30-November 2, 2018 kr2018.org/ Co-located with DL 2018 [dl.kr.org/] and NMR 2018 [www.kr.org/NMR] KR 2018 IMPORTANT DATES ----------------------- * Submission of title and abstract: 13 May 2018 * Paper submission deadline: 20 May 2018 * Author response period: 25-27 June 2018 * Notification: 11 July 2018 * Camera-ready papers due: 3-10 August 2018 * Conference date: 30 October-2 November 2018 ------------------------ Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Contrary to previous editions, KR 2018 will also feature an open call for workshop and tutorial proposals. The deadline for submissions is 21 February 2018. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018. Please check the KR 2018 website for further information and updates. We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Papers must be submitted in AAAI style and PDF format. We invite two kinds of submissions: * full papers of up to 9 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page; submission of additional material (e.g. proofs) as separate documents is allowed, but this material should not form an integral part of the submission and will only be consulted at the discretion of reviewers, PC members and (area and program) chairs, as appropriate; * short papers describing applications, systems and/or demos, of up to 4 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page. TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief revision and update, belief merging, information fusion * Computational aspects of knowledge representation * Concept formation, similarity-based reasoning * Contextual reasoning * Description logics * Decision making * Explanation finding, diagnosis, causal reasoning, abduction * Inconsistency- and exception tolerant reasoning, paraconsistent logics * KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems * KR and game theory * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Multi- and order-sorted representations and reasoning * Nonmonotonic logics, default logics, conditional logics * Philosophical foundations of KR * Ontology formalisms and models * Preference modeling and representation, reasoning about preferences, * preference-based reasoning * Qualitative reasoning, reasoning about physical systems * Reasoning about actions and change, action languages, situation calculus, dynamic logic * Reasoning about knowledge and belief, epistemic and doxastic logics * Spatial reasoning and temporal reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics INVITED SPEAKERS ---------------- Michael Beetz (Universit�t Bremen) William W. Cohen (Carnegie Mellon University) Oren Etzioni (Allen Institute for AI) Francesca Rossi (IBM Research and University of Padua) Mirek Truszczynski -- Great Moments in KR Talk (University of Kentucky) CONFERENCE CHAIRS ----------------- General: Frank Wolter (University of Liverpool, UK) Program: Michael Thielscher (The University of New South Wales, Australia) Francesca Toni (Imperial College London, UK) Local Organization: Joohyung Lee (Arizona State University, USA) Tran Cao Son (New Mexico State University, USA) Doctoral Consortium: Sebastian Rudolph (Technische Universit�t Dresden, Germany) Madalina Croitoru (University Montpellier II and INRIA, France) Workshop/tutorial Chairs: Sebastian Sardina (RMIT Melbourne, Australia) Ivan Varzinczak (Univ. Artois & CNRS, France) Sponsorship and Publicity: Marcello Balduccini (Saint Joseph's University, USA) Marco Maratea (University of Genova, Italy) From raoul.strackx at cs.kuleuven.be Thu Mar 1 17:22:03 2018 From: raoul.strackx at cs.kuleuven.be (Raoul Strackx) Date: Thu, 1 Mar 2018 17:22:03 +0100 Subject: [fg-arc] [ESSoS'18] International Symposium on Engineering Secure Software and Systems (Deadline in 8 days!) Message-ID: <1a599656-944a-9c22-855c-596e1fc17ffc@cs.kuleuven.be> +----------------------------------------------------------------------+ | | | International Symposium on | | Engineering Secure Software and Systems | | (ESSoS) | | | | June 26-27, 2018 | | Campus Paris-Saclay, France | | (Co-Located with DIMVA) | | | | | | https://distrinet.cs.kuleuven.be/events/essos/2018/index.html | | | | In cooperation with: ACM SIGSAC and SIGSOFT (pending) | +----------------------------------------------------------------------+ +----------------------------------------------------------------------+ | Next important date: | | *Paper submission*: Friday, March 9, 2018 (firm) | +----------------------------------------------------------------------+ +------------------------+ | Context and motivation | +------------------------+ Software-based systems permeate the very fabric of our society -- from enterprise IT systems and mobile devices to smart home and city environments. Consequently, computer security is becoming an increasingly inter-disciplinary subject requiring attention to the various aspects of securing our software-based infrastructure. One must pay careful attention to ensure compatibility with existing software and the wider socio-technical context (e.g., users and organisations) which it inhabits. This, in turn, requires an approach that integrates insights from computer security research with rigorous software engineering methods to ensure the security and resilience of our digital infrastructure. ESSoS therefore welcomes contributions that are at the border of system security and software engineering. +----------------+ | Goal and setup | +----------------+ The goal of this symposium is to bring together researchers and practitioners to advance the state of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and software security communities. The symposium features two days of technical program including two keynote presentations. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in secure software engineering and the lessons learned. Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight. +--------+ | Topics | +--------+ The Symposium seeks submissions on subjects related to its goals. This includes a diversity of topics including (but not limited to): - Secure software engineering - Security by design - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Processes for the development of secure software and systems - Security testing - Security requirements analysis and modelling - Model checking for security Secure programming - Programming paradigms, models, and domain-specific languages for security - Verification techniques for security properties - Static and dynamic code analysis for security - Program rewriting techniques for security - Security measurements Systems Security - Cloud security, virtualization for security - Mobile devices security - Operating system security - Web applications security Malware and vulnerability analysis - Automated techniques for vulnerability discovery and analysis - Binary code analysis, reverse-engineering - Malware: detection, analysis, mitigation - Computer forensics Human factors - Usable security - Studies of developers’ behaviours - Organisational practices pertaining to secure development Infrastructure security - Security in critical infrastructures - Embedded software security - Security of cyber-physical systems and IoT +-----------------+ | Important dates | +-----------------+ Paper submission: Friday, March 9, 2018 (firm) Paper acceptance notification: Friday, April 27, 2018 Artifact evaluation submission: Wednesday, May 2, 2018 Poster submission: Friday, May 4, 2018 Poster acceptance notification: Friday, May 18, 2018 Camera-ready: Friday, May 11, 2018 Conference: Tuesday to Wednesday, June 26-27, 2018 (DIMVA is held June 28-29, following ESSoS) +-----------------------+ | Submission and format | +-----------------------+ The proceedings of the symposium are published by Springer-Verlag in the Lecture Notes in Computer Science Series (http://www.springer.com/computer/lncs, pending approval). Submissions should follow the formatting instructions of Springer LNCS. Submitted papers must present original, unpublished work of high quality. Two types of papers will be accepted: - Full papers (max 14 pages excluding bibliography/appendices) Such papers may describe original technical research with a solid foundation, such as formal analysis or experimental results, with acceptance determined mostly based on novelty and validation. Or they may describe case studies applying existing techniques or analysis methods in industrial settings, with acceptance determined mostly by the general applicability of techniques and the completeness of the technical presentation details. - Idea papers (max 8 pages including bibliography) Such papers may crisply describe a novel idea that is both feasible and interesting, where the idea may range from a variant of an existing technique all the way to a vision for the future of security technology. Idea papers allow authors to introduce ideas to the field and get feedback, while allowing for later publication of complete, fully-developed results. Submissions will be judged primarily on novelty, excitement, and exposition, but feasibility is required, and acceptance will be unlikely without some basic, principled validation (e.g., extrapolation from limited experiments or simple formal analysis). In the proceedings, idea papers will clearly identified by means of the "Idea" tag in the title. - Posters ESSoS will have a poster session to present ideas, discuss prototypes, and feature ongoing work. Authors of accepted papers and authors with evaluated artifacts are invited to submit a poster as well. Poster abstracts are limited to 1 page. - Approved Artifacts Due to the secure software engineering focus, we expect the majority of papers to be based on an accompanying software artifact, data set, or similar. We strongly encourage the authors of accepted papers to submit such artifacts for evaluation. Artifact Evaluation will take place after accepted papers have been announced. Further information will be given closer to the paper-submission deadline. Submissions where the artifact evaluation committee can reproduce the software artifacts and evaluation will receive the “approved artifact” badge. Authors of approved artifacts are further given the opportunity to demo their artifact at the conference. In addition, the committee will select a best artifact to receive the Distinguished Artifact Award. From shankar at csl.sri.com Thu Mar 1 18:05:44 2018 From: shankar at csl.sri.com (Natarajan Shankar) Date: Thu, 01 Mar 2018 09:05:44 -0800 Subject: [fg-arc] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018 Message-ID: <5A9832E8.3020003@csl.sri.com> Eighth Summer School on Formal Techniques, May 19 - May 25, 2018 Menlo College Atherton, California http://fm.csl.sri.com/SSFT18 Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the sixth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions. The lecturers at the school include: * Emina Torlak (University of Washington) Solver-Aided Programming * Mooly Sagiv (Tel Aviv University) Modularity for Decidability: Implementing and Semi-Automatically Verifying Distributed Systems * Nikhil Swamy and Jonathan Protzenko (Microsoft Research) Programming and Proving in F* and Low* * Andreas Abel (Chalmers/Gothenburg University) Introduction to Dependent Types and Agda * Dirk Beyer (Ludwig Maximilian University, Munich, Germany) Software Model Checking The main lectures in the summer school will be preceded by a two-day background course on logic: * Natarajan Shankar (SRI CSL) and Stephane Graham-Lengrand (Ecole Polytechnique) Speaking Logic We will also have invited talks by * Nina Narodytska (VMWare Research) Verifying Properties of Binarized Deep Neural Networks * Gordon Plotkin (U. Edinburgh, UK) Some Principles of Differentiable Programming Languages Research Papers * Edward A. Lee (UC Berkeley) Plato and the Nerd - The Creative Partnership of Humans and Technology Information about previous Summer Schools on Formal Techniques can be found at http://fm.csl.sri.com/SSFT11 http://fm.csl.sri.com/SSFT12 http://fm.csl.sri.com/SSFT13 http://fm.csl.sri.com/SSFT14 http://fm.csl.sri.com/SSFT15 http://fm.csl.sri.com/SSFT16 http://fm.csl.sri.com/SSFT17 We expect to provide support for the travel and accommodation for a limited number of students registered at US universities, but welcome applications from non-US students as well as non-students (if space permits). Non-US students will have to cover their own travel and will be charged around US$800 for meals and lodging. Applications should be submitted at the website http://fm.csl.sri.com/SSFT18 Applicants are urged to submit their applications before April 30, 2018, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. We strongly encourage the participation of women and under-represented minorities in the summer school. From soldani at di.unipi.it Fri Mar 2 12:09:48 2018 From: soldani at di.unipi.it (Jacopo Soldani) Date: Fri, 2 Mar 2018 12:09:48 +0100 Subject: [fg-arc] FOCLASA 2018 - First call for papers Message-ID: <20180302110956.138D041EEA@smtp.unipi.it> ====================================================================== FOCLASA 2018 16th International Workshop on Foundations of Coordination Languages and Self-adaptive systems Toulouse, France, June 26, 2018 http://foclasa.lcc.uma.es/ ====================================================================== Publications * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following the collective volumes published by STAF * Publication of extended versions of selected work is planned in a special issue of an international journal as in previous issues of FOCLASA ====================================================================== IMPORTANT DATES * Submission of abstract: April 13, 2018 * Submission of papers: April 20, 2018 * Notification of acceptance: May 20, 2018 * Final version: June 10, 2018 * Workshop: June 26, 2018 ====================================================================== WORKSHOP GOALS Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone services. Service coordination and self-adaptation constitute the core character istics of distributed and service-oriented systems. Coordination languages and formal approaches to modelling and reasoning about self-adaptive behaviour help to simplify the development of complex distributed service-based systems, enable functional correctness proofs and improve reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general solutions in the context of coordination languages and self-adaptive systems. Topics of interest include (but are not limited to): * Theoretical models and frameworks for component and service coordination, service composition, service adaptation and concurrent system modeling. * Applications and usability studies for the aforementioned theoretical models, interaction and coordination challenges in various application domains. * Languages and specification protocols for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * "Software as a service" models (e.g., cloud computing) and dynamic software architectures, such as self-adaptive and self-organizing systems. * Tools and environments for the development of concurrent and customizable self-monitoring, self-adaptive and self-organizing applications. * Algorithms, mathematical models and realization frameworks for quality-of-service observation, storage, history-based analysis in self-adaptive systems (queuing models, load balancing, analysis of fault-tolerance, machine learning systems). Practice, experience and methodologies from the following areas are solicited as well: * Business process modelling * Blockchains * Cloud/fog/edge computing * Component-based systems * Large-scale distributed systems * (Micro)service-based systems * Multi-agent systems * Peer-to-peer systems * Self-adaptive systems PROCEEDINGS The conference proceedings will be published by Springer, in the Lecture Notes in Computer Science (LNCS) series. Extended versions of a selection of the best papers is planned to be published in a special issue of an international journal as in previous issues of FOCLASA. SUBMISSION INSTRUCTIONS Papers must be submitted electronically in PostScript or PDF by using a two-phase online submission process. Registration of information and and abstract (max. 250 words) of papers must be completed before April 13, 2018. Final submission of papers is due no later than April 20, 2018. All submissions will be handled through the EasyChair conference management system, accessible from the conference web site: http://pages.di.unipi.it/foclasa Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere. Full papers should be 15 pages long, including figures and references, and prepared by using Springer's LNCS style. Short papers (6 pages long) describing preliminary results or work-in-progress are encouraged as well. Submissions not adhering to the above specified constraints may be rejected without any review. Papers should be submitted as PDF or PS via EasyChair. PROGRAM COMMITTEE Co-Chairs Jean-Marie Jacquet University of Namur, Belgium Jean-Marie.Jacquet at unamur.be http://staff.info.unamur.be/jmj Jacopo Soldani University of Pisa soldani at di.unipi.it http://pages.di.unipi.it/soldani/ Members Gul Agha, University of Illinois at Urbana-Champaign, USA Pedro Alvarez, Universidad de Zaragoza, Spain Farhad Arbab, CWI, The Netherlands Simon Bliudze, INRIA Lille - Nord Europe, France Radu Calinescu, University of York, UK Javier Camara, Carnegie Mellon University, USA Flavio De Paoli, University of Milano, Italy Francisco J. Duran, Universidad de Malaga, Spain Erik de Vink, Eindhoven University of Technology, The Netherlands Schahram Dustdar, TU Wien, Austria Letterio Galletta, IMT Lucca, Italy Eva Kuhn, Vienna University of Technology, Austria Alberto Lluch Lafuente, Technical University of Denmark Sun Meng, Peking University, China Hernan C. Melgratti, University of Buenos Aires, Argentina Mohammad Mousavi, Halmstad University, Sweden Pascal Poizat, Universite Paris Ouest, France Jose Proenca, INESC TEC & Universidade do Minho, Portugal Gwen Salaun, University of Grenoble, France Michael Sheng, University of Adelaide, Australia Marjan Sirjani, Reykjavik University, Iceland Carolyn Talcott, SRI International, USA Massimo Tivoli, University of L'Aquila, Italy Emilio Tuosto, University of Leicester, UK Lina Ye, CentraleSupelec, France Gianluigi Zavattaro, University of Bologna, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From soldani at di.unipi.it Fri Mar 2 13:06:31 2018 From: soldani at di.unipi.it (Jacopo Soldani) Date: Fri, 2 Mar 2018 13:06:31 +0100 Subject: [fg-arc] FOCLASA 2018 - First call for papers References: <20180302110956.138D041EEA@smtp.unipi.it> Message-ID: <20180302120633.CE53BC015A@smtp.unipi.it> ======================================================================                           FOCLASA 2018           16th International Workshop on Foundations of         Coordination Languages and Self-adaptive systems                            Toulouse, France,                              June 26, 2018                        http://foclasa.lcc.uma.es/ ======================================================================                             Publications        * Publication  of  the  proceedings  in the  Lecture  Notes  of          Computer Science of Springer-Verlag, following the collective         volumes published by STAF        * Publication  of   extended  versions  of  selected   work  is          planned  in  a  special  issue of  an  international  journal          as in previous issues of FOCLASA ======================================================================                            IMPORTANT DATES          * Submission of abstract:           April 13, 2018          * Submission of papers:             April 20, 2018          * Notification of acceptance:       May 20, 2018          * Final version:                    June 10, 2018          * Workshop:                         June 26, 2018 ======================================================================                            WORKSHOP GOALS Nowadays  software systems  are distributed,  concurrent, mobile,  and often  involve   the  composition  of  heterogeneous   components  and stand-alone   services.  Service   coordination  and   self-adaptation constitute   the   core   character    istics   of   distributed   and service-oriented   systems.    Coordination   languages   and   formal approaches to  modelling and  reasoning about  self-adaptive behaviour help to simplify the  development of complex distributed service-based systems, enable functional correctness  proofs and improve reusability and maintainability of such systems.  The goal of the FOCLASA workshop is  to  gather researchers  and  practitioners  of the  aforementioned fields, to share  and identify common problems, and  to devise general solutions in  the context of coordination  languages and self-adaptive systems. Topics of interest include (but are not limited to): * Theoretical  models   and  frameworks  for   component  and  service   coordination, service composition, service adaptation and concurrent   system modeling. * Applications and usability studies for the aforementioned theoretical   models,   interaction  and   coordination   challenges  in   various   application domains. * Languages  and  specification protocols  for  component and  service   interaction,   their  semantics,   expressiveness,   validation  and   verification,   type   checking,   static  and   dynamic   analysis. * "Software as  a service" models (e.g., cloud  computing) and dynamic   software  architectures, such  as self-adaptive  and self-organizing   systems. * Tools  and  environments  for  the  development  of  concurrent  and   customizable  self-monitoring,   self-adaptive  and  self-organizing   applications. * Algorithms,  mathematical  models  and  realization  frameworks  for   quality-of-service  observation, storage, history-based  analysis in   self-adaptive systems (queuing  models, load  balancing, analysis of   fault-tolerance, machine learning systems). Practice, experience  and methodologies  from the following  areas are solicited as well: * Business process modelling * Blockchains * Cloud/fog/edge computing * Component-based systems * Large-scale distributed systems * (Micro)service-based systems * Multi-agent systems * Peer-to-peer systems * Self-adaptive systems                             PROCEEDINGS The  conference proceedings  will  be published  by  Springer, in  the Lecture Notes in Computer Science (LNCS) series. Extended versions of  a selection of the best papers  is planned to be published  in  a special  issue  of  an  international journal  as  in previous issues of FOCLASA. SUBMISSION INSTRUCTIONS Papers must be submitted electronically in  PostScript or PDF by using a two-phase online submission process. Registration of information and and abstract (max. 250 words) of papers must be completed before April 13, 2018.  Final submission of papers is  due no later  than April 20, 2018. All submissions will be handled through the EasyChair conference  management system, accessible from the conference web site: http://pages.di.unipi.it/foclasa Contributions must  be  written in  English  and  report on  original, unpublished work not submitted for publication elsewhere. Full papers should  be  15  pages  long, including  figures  and  references, and prepared by using Springer's LNCS style.  Short papers (6 pages long) describing  preliminary results or work-in-progress are encouraged as well. Submissions not adhering to the above specified constraints may be rejected without any review.  Papers should be submitted as PDF or PS via EasyChair.                           PROGRAM COMMITTEE                               Co-Chairs Jean-Marie Jacquet       University of Namur, Belgium                          Jean-Marie.Jacquet at unamur.be                          http://staff.info.unamur.be/jmj Jacopo Soldani           University of Pisa                          soldani at di.unipi.it                          http://pages.di.unipi.it/soldani/                               Members Gul Agha, University of Illinois at Urbana-Champaign, USA Pedro Alvarez, Universidad de Zaragoza, Spain Farhad Arbab, CWI, The Netherlands Simon Bliudze, INRIA Lille - Nord Europe, France Radu Calinescu, University of York, UK Javier Camara, Carnegie Mellon University, USA Flavio De Paoli, University of Milano, Italy Francisco J. Duran, Universidad de Malaga, Spain Erik de Vink, Eindhoven University of Technology, The Netherlands Schahram Dustdar, TU Wien, Austria Letterio Galletta, IMT Lucca, Italy Eva Kuhn, Vienna University of Technology, Austria Alberto Lluch Lafuente, Technical University of Denmark Sun Meng, Peking University, China Hernan C. Melgratti, University of Buenos Aires, Argentina Mohammad Mousavi, Halmstad University, Sweden Pascal Poizat, Universite Paris Ouest, France Jose Proenca, INESC TEC & Universidade do Minho, Portugal Gwen Salaun, University of Grenoble, France Michael Sheng, University of Adelaide, Australia Marjan Sirjani, Reykjavik University, Iceland Carolyn Talcott, SRI International, USA Massimo Tivoli, University of L'Aquila, Italy Emilio Tuosto, University of Leicester, UK Lina Ye, CentraleSupelec, France Gianluigi Zavattaro, University of Bologna, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From kopp.dev at gmail.com Fri Mar 2 14:18:36 2018 From: kopp.dev at gmail.com (Oliver Kopp) Date: Fri, 2 Mar 2018 14:18:36 +0100 Subject: [fg-arc] CfP: SummerSoC - symposium and summer school for service-oriented computing and more Message-ID: SummerSOC 2018 grants the "Christos Nikolaou PhD Award" for best PhD thesis in the area of SOC, BPM, and Cloud. Maybe, you know good candidates? Besides that, we look forward for papers submitted to SummerSOC. The best ones will be published at the Springer Journal ‘Computer Science – Research and Development’. --cut: CfP-- SummerSoC - symposium and summer school for service-oriented computing and more. | http://www.summersoc.eu/ Deadline: 2018-03-16, Format: Springer CSRD journal format, best papers published in "Springer Journal ‘Computer Science – Research and Development’" SummerSoC is a well-established summer school and symposium focusing on service-oriented computing. The area of service-oriented computing is interpreted quite broadly, i.e. areas of interest for SummerSoC include cloud computing, business process management (i.e. service orchestrations), theoretical foundations of services, and applications in/of these areas, especially applications dealing with big /smart data and data sciences. At SummerSoC, renowned researchers and leading industry practitioners give tutorials and invited talks on current topics from the areas above. PhD students present posters of their ongoing work and give plenary presentations of their theses. The agenda ensures that enough time is allocated for a lot of discussions. Participants come from both, academia as well as industry, and from all over the world. SummerSoC is also a forum for presenting and discussing research from the areas above. Interested researchers submit papers that are peer-reviewed. In addition to novel research work, we also ask for application and experience papers as well as overview papers (these submissions have to be marked accordingly). Authors of accepted papers are expected to attend SummerSoC 2018, present their paper in the plenum as well as in the poster session. Accepted papers will be published in a special issue of the IBM Technical Report series. Best papers will be published in a Special Issue of the Springer Journal ‘Computer Science – Research and Development’, 2018. Additionally, the extended abstracts of the accepted posters will be published in the IBM Technical Report. We invite submissions on the following topics: Developing services for the cloud Moving existing services to the cloud Methods and tools for developing “cloud native” services DevOps paradigm for services Microservices and Function as a Service (Lamda, Openwhisk,…) Cloud federations and interoperability among clouds Cloud & IoT Elasticity analytics and control Automatic provisioning and management Transaction models, consistency models, and coordination models IoT middleware Fog middleware Advanced types of applications Decentralized applications (blockchains,…) Use of Quantum Computers Big/smart Data and Data Science Computational Models for Big Data Software Systems to Support Big Data Computing Cloud/Grid/Stream Computing for Big Data Big Data in Motion and Big Data at Rest Big Data management for IoT Cloud/Grid/StreamData Mining Cloud-based Analytic Computing and Analytic Services Security & Privacy Business processes in the cloud Business Processes as a Service Social media in business processes Orchestration of Services Advanced architectures of process engines Applications of services eHealth, e.g. Connected Health Smart energy/smart grids IoT services eScience Digital Humanities Decentralized applications ## Christos Nikolaou PhD Award SummerSoC will grant the “Christos Nikolaou PhD Award” for the best PhD thesis in the areas above. The award is not only an honor and distinction but is associated with 2000€ for the awardee, sponsored by StartTech Ventures. Details about which thesis may qualify and how to submit, you can found here. SummerSoC will also grant the “SummerSoC Young Researcher Award” to the best paper in one of the areas above. A potential awardee must be (i) first author of a paper accepted for SummerSoC 2018, and (ii) PhD student. The award is associated with 500€ for the awardee, sponsored by the renowned ICSOC conference series. ## Key Dates Christos Nikolaou PhD award submission deadline: March 16th, 2018 Paper submission deadline: March 16th, 2018 Notification for accepted paper: April 10th, 2018 Final version submission: May 11th, 2018 Poster abstract submission deadline: May 11th, 2018 Notification for accepted poster presentations: May 17th, 2018 SummerSoC: June 24 – June 29, 2018 in Crete, Greece. ## Program Committee The 11th Symposium and Advanced School in Service-Oriented Computing is directed by leading experts, faculty at well-known universities, and industrial R&D leaders in the field of Service-Oriented Computing (SOC). All of them have been involved in previous efforts to establish Services Science as a fundamental paradigm for computing and software architecture. ### Program Chairs Frank Leymann (U of Stuttgart) Wolfgang Reisig (Humboldt University Berlin) ### Organization Committee George Koutras (Chair, OpenIT) Johanna Barzen (U of Stuttgart) Themis Koutsouras (OpenIT) ### Program Committee Marco Aiello (U of Stuttgart) Marina Bitsaki (U of Crete) Wolfgang Blochinger (U of Applied Science, Reutlingen) Uwe Breitenbuecher (U of Stuttgart) Gerd Breiter (IBM) Antonio Brogi (U of Pisa) Antonio Ruiz Cortés (U of Sivilia) Florian Daniel (Polytechnic University of Milan) Stefan Dessloch (U of Kaiserslautern) Christian Decker (U of Applied Science, Reutlingen) Schahram Dustdar (TU Vienna) Christoph Freytag (Humboldt University Berlin) Aditya Ghose (U of Wollongong) Theo Härder (U of Kaiserslautern) Melanie Herschel (U of Stuttgart) Willem-Jan van Heuveln (Tilburg University) Dimka Karastoyanova (U of Groningen) Eva Kuehn (SBCRG, TU Vienna) Ralf Kuesters (SEC, U of Stuttgart) Winfried Lamersdorf (U of Hamburg) Frank Leymann (U of Stuttgart) Kostas Magoutis (U of Ioannina, ICS-FORTH) Natividad Martinez (U of Applied Science, Reutlingen) Bernhard Mitschang (U of Stuttgart) Daniela Nicklas (U of Baberg) Florian Niedermann (McKinsey) Maria Papadopouli (U of Crete) Adrian Paschke (Institute for Computer Science FU Berlin) Cesare Pautasso (U of Lugano) Ilia Petrov (U of Applied Science, Reutlingen) Rene Reiners (Fraunhofer, St. Augustin) Wolfgang Reisig (Humboldt University Berlin) Norbert Ritter (U of Hamburg) Jakka Sairamesh (CapsicoHealth Inc) Holger Schwarz (U of Stuttgart) Ulf Schreier (U of Applied Science, Furtwangen) Craig Sheridan (Flexiant) Albrecht Staebler (dipaho) Sanjiva Weerawarana (WSO2) Guido Wirtz (U of Bamberg, Germany) Alfred Zimmermann (U of Applied Science, Reutlingen) Olaf Zimmermann (U of Applied Science, Rapperswil) ### The Steering Committee Prof. Shahram Dustdar, Technical University of Vienna Austria Prof. Willem-Jan van Heuveln, Tilburg University, Netherlands Dr. Rania Khalaf, IBM T.J. Watson Research Center, NY, USA Prof. Frank Leymann, University of Stuttgart, Germany Prof. Kostas Magoutis, University of Ioannina & ICS-FORTH, Greece Prof. Beniamino Di Martino, U of Naples Prof. Bernhard Mitschang, U. of Stuttgart, Germany Prof. Mike Papazoglou, Tilburg University, the Netherlands Prof. Dimitris Plexousakis, University of Crete Prof. Wolfgang Reisig, Humboldt University, Germany Dr. Jakka Sairamesh, CapsicoHealth Inc Dr. Sanjiva Weerawarana, Founder, Chairman & CEO, WSO2, Inc., Sri Lanka Dr. Johannes Wettinger, Bosch, Germany Prof. Guido Wirtz, U of Bamberg, Germany Prof. Alfred Zimmermann, U of Applied Science, Reutlingen, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Fri Mar 2 19:25:13 2018 From: grlmc at grlmc.com (GRLMC) Date: Fri, 02 Mar 2018 19:25:13 +0100 Subject: [fg-arc] HighPer 2018: early registration March 7 Message-ID: <545102060a010b0607565502010b5a5556055657030553510b070106025056570307050e00000603045e0053575154@grlmc_ip-zone_com-6> HighPer 2018: early registration March 7*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *****************************************************************************   INTERNATIONAL SPRING SCHOOL ON HIGH PERFORMANCE COMPUTING   HighPer 2018   San Sebastián / Donostia, Spain   April 23-27, 2018   Organized by:   Materials Physics Center (CSIC-UPV/EHU), Donostia International Physics Center (DIPC), and Rovira i Virgili University   http://grammars.grlmc.com/HighPer2018/   *****************************************************************************   --- Early registration deadline: March 7, 2018 ---   *****************************************************************************   SCOPE:   HighPer 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of high performance computing, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of high performance computing will be displayed, from foundations, infrastructure and management to applications. Major challenges in the field will be identified through 2 keynote lectures, 21 five-hour and fifteen-minute courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, HighPer 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   HighPer 2018 will take place in San Sebastián, a famous touristic coastal city in the Basque Country which was European Capital of Culture 2016. The venue will be:   Centro Ignacio María Barriola Universidad del País Vasco / Euskal Herriko Unibertsitatea Campus de Gipuzkoa Plaza Elhuyar, 1 20018 San Sebastián / Donostia Spain   KEYNOTE SPEAKERS:   Federico Calzolari (Scuola Normale Superiore), Supercomputing: From CERN to Our Lives   Tony Hey (Rutherford Appleton Laboratory, UK Science and Technology Facilities Council), Big Scientific Data and Data Science   PROFESSORS AND COURSES:   Srinivas Aluru (Georgia Institute of Technology), [intermediate] High Performance Computational Biology   David A. Bader (Georgia Institute of Technology), [introductory/intermediate] Massive-scale Graph Analytics   Ümit V. Çatalyürek (Georgia Institute of Technology), [introductory/intermediate] HPC Graph Analytics   Alan Edelman (Massachusetts Institute of Technology), [introductory] Julia, with an Introduction to Performance and Machine Learning   Richard Fujimoto (Georgia Institute of Technology), [intermediate] Parallel Discrete Event Simulation   Timothy C. Germann (Los Alamos National Laboratory), [intermediate] HPC Frontiers in Computational Materials Science and Engineering   Lennart Johnsson (University of Houston), [introductory/intermediate] Energy Efficient Computing   Alfio Lazzaro (University of Zurich), [introductory/intermediate] Code Performance Optimizations   Andrew Lumsdaine (Pacific Northwest National Laboratory), [intermediate/advanced] Modern C++ for High-performance Computing   Madhav Marathe (Virginia Polytechnic Institute and State University), [introductory/advanced] Massively Interacting Bio-social Systems: Pervasive, Personalized and Precision Analytics   Frank Mueller (North Carolina State University), [introductory/intermediate] How to Parallelize Your Code: Taking Stencils from OpenMP to MPI, CUDA and TensorFlow   J. (Ram) Ramanujam (Louisiana State University), [introductory] Introduction to Program Analysis and Compiler Optimizations for Multicores and Accelerators   Adrian Sandu (Virginia Polytechnic Institute and State University), [introductory/intermediate] Revealing Parallelism: How to Decompose your Problem into Concurrent Tasks   Vivek Sarkar (Georgia Institute of Technology), [introductory] Fundamentals of Parallel, Concurrent, and Distributed Programming   Marc Snir (University of Illinois at Urbana-Champaign), [introductory] Programming Models and Run-times for High-Performance Computing   Josep Torrellas (University of Illinois at Urbana-Champaign), [intermediate/advanced] Parallel Computer Architecture Concepts   Todd J. Treangen (University of Maryland, College Park), [intermediate] Metagenomic Assembly and Validation   Elena Vataga (University of Southampton), [introductory] Hands-on Introduction to HPC for Life Scientists   Uzi Vishkin (University of Maryland, College Park), [introductory/intermediate] Parallel Algorithmic Thinking and How It Has Been Affecting Architecture   Richard Vuduc (Georgia Institute of Technology), [introductory] How Much Time, Energy, and Power Does an Algorithm Need?   David Walker (Cardiff University), [intermediate] Parallel Programming with OpenMP, MPI, and CUDA   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by April 16, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of high performance computing in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in high performance computing will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   ORGANIZING COMMITTEE:   Íñigo Aldazabal Mensa (co-chair) Carlos Martín-Vide (co-chair) Manuel J. Parra-Royón Txomin Romero Asturiano (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/HighPer2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For logistic reasons, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the webpage.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Centro de Física de Materiales (CSIC-UPV/EHU) Donostia International Physics Center (DIPC) Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Tue Mar 6 00:01:31 2018 From: grlmc at grlmc.com (GRLMC) Date: Tue, 06 Mar 2018 00:01:31 +0100 Subject: [fg-arc] DeepLearn 2018: early registration March 12 Message-ID: <545102060a010b060750550601035a5750040d560101040252515a09550555005c555404030a535603555900065655@grlmc_ip-zone_com-6> DeepLearn 2018: early registration March 12*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   2nd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2018   Genova, Italy   July 23-27, 2018   Organized by: University of Genova IRDTA – Brussels/London   http://grammars.grlmc.com/DeepLearn2018/   ***************************************************************   --- Early registration deadline: March 12, 2018 ---   ***************************************************************   SCOPE:   DeepLearn 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2018 will take place in Genova, the capital city of Liguria, inscribed on the UNESCO World Heritage List and with one of the most important ports of the Mediterranean. The venue will be:   Porto Antico di Genova – Centro Congressi Magazzini del Cotone – Module 10 16128 Genova, Italy   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Thomas Breuel (NVIDIA Corporation), [intermediate] Design and Implementation of Deep Learning Applications   Joachim M. Buhmann (Swiss Federal Institute of Technology Zurich), [introductory/advanced] Model Selection by Algorithm Validation   Li Deng (Citadel), tba   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Michael Gschwind (IBM Global Chief Data Office), [introductory/intermediate] Deploying Deep Learning at Enterprise Scale   Xiaodong He (Microsoft Research), [intermediate/advanced] Deep Learning for Natural Language Processing and Language-Vision Multimodal Intelligence   Namkug Kim (Asan Medical Center), [intermediate] Deep Learning for Computer Aided Detection/Diagnosis in Radiology and Pathology   Li Erran Li (Uber ATG), [intermediate/advanced] Deep Reinforcement Learning: Foundations, Recent Advances and Frontiers   Dimitris N. Metaxas (Rutgers University), [advanced] Adversarial, Discriminative, Recurrent, and Scalable Deep Learning Methods for Human Motion Analytics, Medical Image Analysis, Scene Understanding and Image Generation   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [introductory/advanced] Cognitive Architectures for Object Recognition in Video   Björn Schuller (Imperial College London), [intermediate/advanced] Deep Learning for Signal Analysis   Michèle Sebag (French National Center for Scientific Research, Gif-sur-Yvette), [intermediate] Representation Learning, Domain Adaptation and Generative Models with Deep Learning   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning and Kernel Machines   Kenji Suzuki (Tokyo Institute of Technology), [introductory/advanced] Deep Learning in Medical Image Processing, Analysis and Diagnosis   Gökhan Tür (Google Research), [intermediate/advanced] Deep Learning in Conversational AI   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] A Statistical Machine Learning Perspective of Deep Learning: Algorithm, Theory, Scalable Computing   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Yudong Zhang (Nanjing Normal University), [introductory/intermediate] Convolutional Neural Network and Its Variants   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 15, 2018.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 15, 2018.   ORGANIZING COMMITTEE:   Francesco Masulli (Genova, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Università degli studi di Genova Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpulina at uniss.it Tue Mar 6 09:22:09 2018 From: lpulina at uniss.it (Luca Pulina) Date: Tue, 6 Mar 2018 09:22:09 +0100 Subject: [fg-arc] QBFEVAL'18 - Call for Contributions Message-ID: <25803a81-03bc-13b4-bae6-19add6949a07@uniss.it> [apologies for any cross-posting] ****************************************************************************************** QBFEVAL'18 - Competitive Evaluation of QBF Solvers A joint event with the 21st Int. Conference on Theory and Applications of Satisfiability Testing (SAT) (affiliated with FLoC 2018) Oxford, UK, July 9 - July 12 2018 ****************************************************************************************** QBFEVAL'18 is the 2018 competitive evaluation of QBF solvers, and the thirteenth evaluation of QBF solvers and instances ever. QBFEVAL'18 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge representation & reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval18.php For questions, comments and any other issue regarding QBFEVAL'18, please get in touch with the organizers via qbf18 at qbflib.org. ** Important Dates ** -    Registration open: March 14 (for all tracks) -    Registration close: April 7 -    Solvers and Benchmarks due: April 14 (for all tracks except Hard-Instances Track) -    First stage results: April 30 -    Second stage solvers due: May 10 (for all tracks except Hard-Instances Track) -    Hard instances solver due: June 1 -    Competition Benchmarks available for download: June 14 -    Final results: presented at SAT'18 ** Organizing committee ** * Organization * Luca Pulina, University of Sassari Martina Seidl, Johannes Kepler Universitat Linz * Judges * Olaf Beyersdorff, University of Leeds Christoph Wintersteiger, Microsoft Research Limited -- Luca Pulina, Ph.D. Associate Professor of Computer Science University of Sassari Tel. +39 079 228987 -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrei.paskevich at lri.fr Tue Mar 6 14:28:01 2018 From: andrei.paskevich at lri.fr (Andrei Paskevich) Date: Tue, 6 Mar 2018 14:28:01 +0100 Subject: [fg-arc] VerifyThis 2018: Call for Participation and Travel Grants Message-ID: <20180306132801.GA24068@tikki.lri.fr> ******************************************************************************** VerifyThis Verification Competition 2018 CALL FOR PARTICIPATION -- TRAVEL GRANTS Competition to be held at ETAPS 2018 http://verifythis.ethz.ch ******************************************************************************** IMPORTANT DATES Grant application deadline: March 12, 2018 Competition: April 14 and 15, 2018 ABOUT VerifyThis 2018 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2018) on April 14-15, 2018 in Thessaloniki, Greece. It is the 7th event in the VerifyThis competition series. The competition will offer a number of challenges presented in natural language and pseudo code. Participants have to formalize the requirements, implement a solution, and formally verify the implementation for adherence to the specification. There are no restrictions on the programming language and verification technology used. The correctness properties posed in problems will have the input-output behaviour of programs in focus. Solutions will be judged for correctness, completeness, and elegance. PARTICIPATION: Participation is open for anybody interested. Teams of up to two people are allowed. Registration for ETAPS workshops and physical presence on site is required. We particularly encourage participation of: - student teams (this includes PhD students) - non-developer teams using a tool someone else developed - several teams using the same tool TRAVEL GRANTS: The competition has funds for a limited number of travel grants. A grant covers the incurred travel and accommodation costs up to a certain limit. The expected limit is EUR 350 for those coming from Europe and EUR 600 for those coming from outside Europe. To apply for a travel grant, send an email to verifythis at cs.nuim.ie by March 12, 2018. The application should include: - your name - your affiliation - the verification system(s) you plan to use at the competition - the planned composition of your team - a short letter of motivation explaining your involvement with formal verification so far - if you are a student, please state the academic degree you are seeking and have your supervisor send a brief letter of support to verifythis at cs.nuim.ie ORGANIZERS * Marieke Huisman, University of Twente, the Netherlands * Rosemary Monahan, Maynooth University, Ireland * Peter Müller, ETH Zürich, Switzerland * Andrei Paskevich, Paris-Sud University, France * Gidon Ernst, National Institute of Informatics Tokyo, Japan CONTACT Email: verifythis at cs.nuim.ie Web: http://verifythis.ethz.ch From raoul.strackx at cs.kuleuven.be Wed Mar 7 14:11:42 2018 From: raoul.strackx at cs.kuleuven.be (Raoul Strackx) Date: Wed, 7 Mar 2018 14:11:42 +0100 Subject: [fg-arc] [ESSoS'18] International Symposium on Engineering Secure Software and Systems (Deadline in 2 days!) Message-ID: <5da9f018-46dd-5494-d7f6-26ebd3d5a6bd@cs.kuleuven.be> +----------------------------------------------------------------------+ | | | International Symposium on | | Engineering Secure Software and Systems | | (ESSoS) | | | | June 26-27, 2018 | | Campus Paris-Saclay, France | | (Co-Located with DIMVA) | | | | | | https://distrinet.cs.kuleuven.be/events/essos/2018/index.html | | | | In cooperation with: ACM SIGSAC and SIGSOFT (pending) | +----------------------------------------------------------------------+ +----------------------------------------------------------------------+ | Next important date: | | *Paper submission*: Friday, March 9, 2018 (firm) | +----------------------------------------------------------------------+ +------------------------+ | Context and motivation | +------------------------+ Software-based systems permeate the very fabric of our society -- from enterprise IT systems and mobile devices to smart home and city environments. Consequently, computer security is becoming an increasingly inter-disciplinary subject requiring attention to the various aspects of securing our software-based infrastructure. One must pay careful attention to ensure compatibility with existing software and the wider socio-technical context (e.g., users and organisations) which it inhabits. This, in turn, requires an approach that integrates insights from computer security research with rigorous software engineering methods to ensure the security and resilience of our digital infrastructure. ESSoS therefore welcomes contributions that are at the border of system security and software engineering. +----------------+ | Goal and setup | +----------------+ The goal of this symposium is to bring together researchers and practitioners to advance the state of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and software security communities. The symposium features two days of technical program including two keynote presentations. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in secure software engineering and the lessons learned. Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight. +--------+ | Topics | +--------+ The Symposium seeks submissions on subjects related to its goals. This includes a diversity of topics including (but not limited to): - Secure software engineering - Security by design - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Processes for the development of secure software and systems - Security testing - Security requirements analysis and modelling - Model checking for security Secure programming - Programming paradigms, models, and domain-specific languages for security - Verification techniques for security properties - Static and dynamic code analysis for security - Program rewriting techniques for security - Security measurements Systems Security - Cloud security, virtualization for security - Mobile devices security - Operating system security - Web applications security Malware and vulnerability analysis - Automated techniques for vulnerability discovery and analysis - Binary code analysis, reverse-engineering - Malware: detection, analysis, mitigation - Computer forensics Human factors - Usable security - Studies of developers’ behaviours - Organisational practices pertaining to secure development Infrastructure security - Security in critical infrastructures - Embedded software security - Security of cyber-physical systems and IoT +-----------------+ | Important dates | +-----------------+ Paper submission: Friday, March 9, 2018 (firm) Paper acceptance notification: Friday, April 27, 2018 Artifact evaluation submission: Wednesday, May 2, 2018 Poster submission: Friday, May 4, 2018 Poster acceptance notification: Friday, May 18, 2018 Camera-ready: Friday, May 11, 2018 Conference: Tuesday to Wednesday, June 26-27, 2018 (DIMVA is held June 28-29, following ESSoS) +-----------------------+ | Submission and format | +-----------------------+ The proceedings of the symposium are published by Springer-Verlag in the Lecture Notes in Computer Science Series (http://www.springer.com/computer/lncs, pending approval). Submissions should follow the formatting instructions of Springer LNCS. Submitted papers must present original, unpublished work of high quality. Two types of papers will be accepted: - Full papers (max 14 pages excluding bibliography/appendices) Such papers may describe original technical research with a solid foundation, such as formal analysis or experimental results, with acceptance determined mostly based on novelty and validation. Or they may describe case studies applying existing techniques or analysis methods in industrial settings, with acceptance determined mostly by the general applicability of techniques and the completeness of the technical presentation details. - Idea papers (max 8 pages including bibliography) Such papers may crisply describe a novel idea that is both feasible and interesting, where the idea may range from a variant of an existing technique all the way to a vision for the future of security technology. Idea papers allow authors to introduce ideas to the field and get feedback, while allowing for later publication of complete, fully-developed results. Submissions will be judged primarily on novelty, excitement, and exposition, but feasibility is required, and acceptance will be unlikely without some basic, principled validation (e.g., extrapolation from limited experiments or simple formal analysis). In the proceedings, idea papers will clearly identified by means of the "Idea" tag in the title. - Posters ESSoS will have a poster session to present ideas, discuss prototypes, and feature ongoing work. Authors of accepted papers and authors with evaluated artifacts are invited to submit a poster as well. Poster abstracts are limited to 1 page. - Approved Artifacts Due to the secure software engineering focus, we expect the majority of papers to be based on an accompanying software artifact, data set, or similar. We strongly encourage the authors of accepted papers to submit such artifacts for evaluation. Artifact Evaluation will take place after accepted papers have been announced. Further information will be given closer to the paper-submission deadline. Submissions where the artifact evaluation committee can reproduce the software artifacts and evaluation will receive the “approved artifact” badge. Authors of approved artifacts are further given the opportunity to demo their artifact at the conference. In addition, the committee will select a best artifact to receive the Distinguished Artifact Award. From announce at cs.ucy.ac.cy Fri Mar 9 16:10:43 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 9 Mar 2018 17:10:43 +0200 Subject: [fg-arc] 2018 European Conference on Ambient Intelligence (AmI 2018): Second Call for Papers Message-ID: *** SECOND CALL FOR PAPERS *** 2018 European Conference on Ambient Intelligence (AmI 2018) Golden Bay Beach Hotel, Larnaca, Cyprus, 12-14 November, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogU2Vjb25kIENhbGwgZm9yIFBhcGVycwkxNTUJTGlzdHMJMTY3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fami2018 Ambient intelligence refers to normal working and living environments being surrounded by embedded devices that can merge unobtrusively and in natural ways using information and intelligence hidden in the network connecting these devices (e.g. The Internet of Things). Such devices, each specialised in one or more capabilities, are intended to work together based on an infrastructure of intelligent systems, to provide a variety of services improving safety, security and the quality of life in ordinary living, travelling and working environments. ABOUT AMI 2018 The 2018 European Conference on Ambient Intelligence (AmI 2018) has a focus on the role of Ambient Intelligence "Towards a Smart and Human Centered Internet of Things". We invite submissions of full and short papers as well as posters, presenting original research. AmI 2018 is an interdisciplinary venue for leading international researchers, designers, and practitioners that present and discuss new results in Ambient Intelligence. AmI builds on the success of thirteen predecessor conferences, which started in 2003 with the EUSAI-event in Veldhoven, The Netherlands. More information about the AmI series can be found here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogU2Vjb25kIENhbGwgZm9yIFBhcGVycwkxNTUJTGlzdHMJMTY3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fami-conferences.org . The Proceedings of AmI 2018 will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. Furthermore, Springer will sponsor the Best Paper Award with 1,000 EUR. TOPICS AmI 2018 will revolve around the focus topic "Towards a Smart and Human- Centred Internet of Things" that follows the vision of Calm Technology, where technology is useful but does not demand our full attention or interfere with our usual behavior and activities. Relevant research topics include, but are not limited to: · Sensors and Actuators Networks · Ambient Networking and Communication · Mobile, Ubiquitous and Pervasive Computing · Internet of Things and Interconnected devices · Internet of Humans and Human Sensors · Artificial Intelligence Models, Methods and Techniques · Machine Learning, Data mining and Big Data · Modelling Context Awareness and Location-based Services · Agent Technologies and Multi-agent Platforms · Cloud Computing for Intelligent Ambients · Multimodal Human-Computer Interaction · Virtual, Mixed and Augmented Reality · Symmetric Interaction in Real and Virtual worlds · Reliability, Assurance and Safety · Security, Privacy and Trust · Systems Architecture and Middleware · Software Development Methodologies and Tools · Robotic Companions · Industrial Internet and Industry 4.0 · Sustainability and Fair Trade · Smart Homes and Intelligent buildings · Energy Efficiency · Ambient Assisted Living · Healthcare and Well-being · Smart Cities · Connected Cars and Autonomous Driving · Pervasive Games in Hybrid Worlds · Ambient Intelligence Education · Evaluation methods and techniques for Trials · Citizen science, Living labs, Maker communities PAPER AND POSTER SUBMISSION Papers must be anonymized to facilitate blind review. Authors are encouraged to minimize any references that may reveal the identity of the authors and their institutions. Relevant references to an author's previous research should not be suppressed but instead referenced in a neutral way. All papers will be reviewed by at least three Program Committee members. The length of each paper including figures and references may not exceed 16 pages for regular papers and 6 pages for short papers. The posters session aims to collect papers showing work in progress and thus raise opportunities to present and discuss current work in an informal setting. These papers will be presented as posters in the conference. Poster contributions may not exceed 2 pages, including figures and references. For more information about what should be considered a regular, short or poster contribution, please refer to the conference web site. All paper and poster submissions must be written in English and submitted in PDF format. Submission of a paper or poster should be regarded as an undertaking that, should the paper or poster be accepted, at least one of the authors will attend the conference to present the work. For preparation of papers and posters please follow the instructions for authors available at the Springer LNCS Web page (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Authors of full and short papers as well as posters are welcome to submit using the conference review system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogU2Vjb25kIENhbGwgZm9yIFBhcGVycwkxNTUJTGlzdHMJMTY3CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dami2018 . This year's best paper awards are graciously sponsored by Springer with 1,000 EUR. SPECIAL ISSUE The authors of the best papers to be accepted at AmI 2018 will be invited to submit substantially extended and revised versions of their papers with at least 70% new material to a special journal issue for AmI 2018 to be published in the Journal of Ambient Intelligence and Humanised Computing, by Springer. IMPORTANT DATES · Paper and Poster Submissions due: 17th June 2018 · Notification of Acceptance/Rejection: 22nd July 2018 · Camera-Ready Versions due: 29th July 2018 · Author Registration: 5th August 2018 ORGANIZING COMMITTEE General Chair · George Roussos, Birkbeck, University of London, UK Program Chairs · Achilleas D. Kameas, Hellenic Open University, Greece · Kostas Stathis, Royal Holloway, University of London, UK Workshops Chairs · Ioannis Chatzigiannakis, University of Rome, Italy · Fariba Sadri, Imperial College, UK Local Organization Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Fri Mar 9 23:39:06 2018 From: irdta at irdta.eu (IRDTA) Date: Fri, 09 Mar 2018 23:39:06 +0100 Subject: [fg-arc] LATA 2018: call for participation Message-ID: <545102060a010b060854550b040b5a5d5a5e54595357035456030d075307540207025456560f0700075e0306055405@grlmc_ip-zone_com-6> LATA 2018: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************ 12th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2018 Bar-Ilan near Tel Aviv, Israel April 9-11, 2018 Organized by:      Department of Computer Science Bar-Ilan University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/LATA2018/ ************************************************************************ PROGRAM Monday, April 9 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Andrei Bulatov. Constraint Satisfaction Problems and Their Complexity - Invited lecture 10:30 - 11:00    Coffee break 11:00 - 12:15 Ekaterina Bakinova, Artem Basharin, Igor Batmanov, Konstantin Lyubort, Alexander Okhotin and Elizaveta Sazhneva. Formal Languages over GF(2) Laura Bozzelli, Adriano Peron and Aniello Murano. Event-clock Nested Automata J. Andres Montoya and Christian Nolasco. On the Synchronization of Planar Automata 12:15 - 13:45    Lunch 13:45 - 14:35    Markus Lohrey. Streaming Algorithms in Formal Language Theory - Invited lecture 14:35 - 14:50    Break 14:50 - 16:05 Maris Valdats. Descriptional and Computational Complexity of the Circuit Representation of Finite Automata Alexey Zhirabok and Alexey Shumsky. Disturbance Decoupling in Finite Automata Johannes K. Fichte, Markus Hecher and Irina Schindler. Default Logic and Bounded Treewidth 16:05 - 16:20    Break 16:20 - 17:10 Stefan Gerdjikov. A General Class of Monoids Supporting Canonisation and Minimisation of (Sub)sequential Transducers Demen Güler, Andreas Krebs, Klaus-Joern Lange and Petra Wolf. Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy --- Tuesday, April 10 09:00 - 09:50    Alexander Okhotin. Underlying Principles and Recurring Ideas of Formal Grammars - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:35 Sanjay Jain, Eric Martin and Frank Stephan. Transduced Learners Rick Smetsers, Paul Fiterau-Brostean and Frits Vaandrager. Model Learning as a Satisfiability Modulo Theories Problem Andrei Asinowski, Axel Bacher, Cyril Banderier and Bernhard Gittenberger. Analytic Combinatorics of Lattice Paths with Forbidden Patterns: Enumerative Aspects 11:35 - 11:50    Break and Group photo 11:50 - 13:05 Ferdinando Cicalese, Zsuzsanna Liptak and Massimiliano Rossi. Bubble-Flip - A New Generation Algorithm for Prefix Normal Words Murray Elder and Yoong Kuan Goh. Permutations Sorted by a Finite and an Infinite Stack in Series Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter and Tomasz Walen. On Periodicity Lemma for Partial Words 13:05 -    14:35    Lunch 14:35 - 15:25    Eli Shamir. Reshaping the Context-free Model: Linguistic and Algorithmic Aspects - Invited lecture 15:30 -     Visit to Jerusalem --- Wednesday, April 11 09:00 - 09:50    James Worrell. Invariants for Linear Loops - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:35 Dmitry Berdinsky and Phongpitak Trakuldit. Measuring Closeness between Cayley Automatic Groups and Automatic Groups Thomas Chatain, Maurice Comlan, David Delfieu, Loig Jezequel and Olivier H. Roux. Pomsets and Unfolding of Reset Petri Nets Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen and Radu Mardare. Timed Comparisons of Semi-Markov Processes 11:35 - 11:50    Break 11:50 - 13:05 Markus Saers and Dekai Wu. Handling Ties Correctly and Efficiently in Viterbi Training Using the Viterbi Semiring Uli Schlachter. Over-approximative Petri Net Synthesis for Restricted Subclasses of Nets Christoph Teichmann, Antoine Venant and Alexander Koller. Efficient Translation with Linear Bimorphisms 13:05 - 13:15    Closing 13:15 -        Lunch -------------- next part -------------- An HTML attachment was scrubbed... URL: From gvidal at dsic.upv.es Mon Mar 12 09:38:10 2018 From: gvidal at dsic.upv.es (German Vidal) Date: Mon, 12 Mar 2018 09:38:10 +0100 Subject: [fg-arc] Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis Message-ID: <3517B91D-F47F-4AE5-B52D-92DC5C3E1023@dsic.upv.es> ---------------------------------------------------------------------- (apologies for multiple copies) Call for Papers 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with ICLP at FLoC 2018 July 13, 2018 - Oxford, UK https://www.sci.unich.it/hcvs18/ Invited speakers: Pierre Ganty (IMDEA Software Institute) Hiroshi Unno (University of Tsukuba) Submission deadlines: - Paper submission: 15 April 2018 - Paper notification: 15 May 2018 - Camera-ready: 31 May 2018 - Workshop: 13 July 2018 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows four previous meetings: HCVS 2017 in Gothenburg, Sweden (w/CADE), HCVS 2016 in Eindhoven, The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA (w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Program Committee: - Elvira Albert (Complutense University of Madrid) - Maria Alpuente (Universitat Politecnica de Valencia) - Nikolaj Bjorner (Microsoft Research) - Giorgio Delzanno (Universita degli Studi di Genova) - Fabio Fioravanti (University of Chieti-Pescara) - John Gallagher (Roskilde University and IMDEA Software Institute) - Pierre-Loic Garoche (ONERA) - Arie Gurfinkel (University of Waterloo) - Temesghen Kahsai (Amazon) -chair - Ekaterina Komendantskaya (Heriot-Watt University) - David Monniaux (CNRS/Verimag) - Jorge A. Navas (SRI International) - Carlos Olarte (Universidade Federal do Rio Grande do Norte) - Maurizio Proietti (IASI-CNR) - Philipp Rummer (Uppsala University) - Caterina Urban (ETH Zurich) - German Vidal (Universitat Politecnica de Valencia) -chair Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://www.easychair.org/conferences/?conf=hcvs2018 ---------------------------------------------------------------------- From rosemary.monahan at mu.ie Tue Mar 13 17:07:45 2018 From: rosemary.monahan at mu.ie (Rosemary Monahan) Date: Tue, 13 Mar 2018 16:07:45 +0000 Subject: [fg-arc] Call for Papers F-IDE 2018 Message-ID: ============================================================================== Call for Papers F-IDE 2018 4th Workshop on Formal Integrated Development Environment A satellite workshop of FLoC/FM2018 July 14, 2018 - Oxford, UK https://sites.google.com/view/fideworkshop2018 ============================================================================== Aims ==== High levels of safety, security and also privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application to ease the justification of design choices and the review of code and proofs. Ideally, an F-IDE dedicated to such developments should comply with several requirements. The first one is to associate a logical theory with a programming language, in a way that facilitates the tightly coupled handling of specification properties and program constructs. The second is to offer a language/environment simple enough to be usable by most developers, even if they are not fully acquainted with higher-order logics or set theory, in particular by making development of proofs as easy as possible. The third is to offer automated management of application documentation. It may also be expected that developments done with such an F-IDE are reusable and modular. Tools for testing and static analysis may be embedded within F-IDEs to support the assessment process. Topics ====== The workshop is open to contributions on all aspects of a system development process, including specification, design, implementation, analysis and documentation. It welcomes the presentation of tools, methods, techniques and experiments. Topics of interest include, but are not limited to, the following: - F-IDE building: design and integration of languages, development of user-friendly front-ends - How to make high-level logical and programming concepts palatable to industrial developers - Integration of Object-Oriented and modularity features - Integration of static analyzers - Integration of automatic proof tools, theorem provers and testing tools - Documentation tools - Impact of tools on certification - Experience reports on developing F-IDEs - Experience reports on using F-IDEs - Experience reports on formal methods-based assessments in industrial applications Important dates =============== Abstract submission: April 23, 2018 Paper submission: April 30, 2018 Notification: May 15, 2018 Camera-ready version: May 25, 2018 Workshop date: July 14, 2018 PC Co-Chairs ============ Paolo Masci, HASLab/INESC-TEC and Universidade do Minho, paolo (dot) masci (at) inesctec (dot) pt Rosemary Monahan, Maynooth University, rosemary (dot) monahan (at) nuim (dot) ie Virgile Prevosto, Institut List, CEA, Université Paris-Saclay, virgile (dot) prevosto (at) cea (dot) fr Steering Committee ================== Catherine Dubois, Samovar / ENSIIE, catherine (dot) dubois (at) ensiie (dot) fr Dominique Méry, LORIA / Université de Lorraine, dominique (dot) mery (at) loria (dot) fr Submission Guidelines & Proceedings =================================== Papers can be submitted through EasyChair using the following link: https://easychair.org/conferences/?conf=fide18 Authors are invited to submit the following types of contributions: Research papers providing new concepts and results Position papers and research perspectives Experience reports Tool presentations Papers must describe original contributions whose main results and conclusions have not been published or submitted elsewhere. All papers will be peer-reviewed by at least two members of the program committee. Submitted papers will follow the FM 2018 Format and Submission Guidelines. All the papers selected for the workshop will be available electronically at the workshop. Post proceedings will be proposed for publication with Electronic Proceedings in Theoretical Computer Science (EPTCS). Program Committee ================= Bernhard Beckert (Karlsruhe Institute of Technology) Cinzia Bernardeschi (University of Pisa) José Creissac Campos (University of Minho) Claudio Sacerdoti Coen (University of Bologna) Paul Curzon (Queen Mary University of London) Damien Doligez (INRIA) Andrea Domenici (University of Pisa) Michalis Famelis (University of Montreal) Carlo A. Furia (Chalmers University of Technology) Andrew Gacek (Rockwell Collins, Inc.) Kenneth Lausdahl (Aarhus University) Stephan Merz (Inria Nancy) Stefan Mitsch (Carnegie Mellon University) César Muñoz (NASA Langley) Andrei Paskevich (Université Paris-Sud, LRI) François Pessaux (ENSTA ParisTech) Marie-Laure Potet (Laboratoire Vérimag) James Power (Maynooth University) Steve Reeves (University of Waikato) Bernhard Rumpe (RWTH Aachen University) Enrico Tassi (INRIA) Laurent Voisin (Systerel) Makarius Wenzel (sketis.net) Yi Zhang (U.S. Food and Drug Administration) -- Dr Rosemary Monahan Principles of Programming Research Group Department of Computer Science and Hamilton Institute Maynooth University, Maynooth, Co. Kildare, Ireland. T: +353 1 7083847 F:+353-1-7083848 W: https://www.maynoothuniversity.ie/computer-science/our-people/rosemary-monahan From announce at cs.ucy.ac.cy Thu Mar 15 17:41:22 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 15 Mar 2018 18:41:22 +0200 Subject: [fg-arc] Research Centre on Interactive Media, Smart System and Emerging Technologies (RISE): Research Vacancies Message-ID: Research Centre on Interactive Media, Smart System and Emerging Technologies (RISE): Research Vacancies (H2020 TEAMING Project) http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlSZXNlYXJjaCBDZW50cmUgb24gSW50ZXJhY3RpdmUgTWVkaWEsIFNtYXJ0IFN5c3RlbSBhbmQgRW1lcmdpbmcgVGVjaG5vbG9naWVzIChSSVNFKTogUmVzZWFyY2ggVmFjYW5jaWVzCTE1OAlMaXN0cwkxNjcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.rise.org.cy%2Fen-gb%2Fvacancies%2F Research Positions: Research Associates No. of Positions: Twenty (20) Positions Category: Employment contract Location: RISE, Nicosia, Cyprus The Research Centre on Interactive Media, Smart System and Emerging Technologies (RISE), announces twenty (20) positions for junior researchers under various Multidisciplinary Research Groups. RISE is a newly founded research centre in Cyprus aiming to become a centre of excellence empowering knowledge and technology transfer in the region. It is a joint venture between the Municipality of Nicosia, the Max Planck Institute for Informatics (Germany), the University College London (UK) and the three public universities of Cyprus - University of Cyprus, Cyprus University of Technology, and Open University of Cyprus. The centre has received funding from the European Union's Horizon 2020 research and innovation programme H2020-WIDESPREAD-01-2016-2017 (Teaming Phase 2) under grant agreement No. 739578, as well as from the Cypriot Government, local and international partners and other sponsors. The research focus of RISE is on interactive media and it integrates the Visual Sciences, Human Factors & Design, and Communications & Artificial Intelligence, in a tight synergy that provides a unique interdisciplinary research perspective that emphasizes an "Inspired by Humans, Designed for Humans" philosophy. RISE is designed to act as an integrator of academic research and industrial innovation, towards the sustainable fuelling of the scientific, technological, and economic growth of Cyprus and Europe. For more details please visit: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlSZXNlYXJjaCBDZW50cmUgb24gSW50ZXJhY3RpdmUgTWVkaWEsIFNtYXJ0IFN5c3RlbSBhbmQgRW1lcmdpbmcgVGVjaG5vbG9naWVzIChSSVNFKTogUmVzZWFyY2ggVmFjYW5jaWVzCTE1OAlMaXN0cwkxNjcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.rise.org.cy%2Fen-gb%2Fvacancies%2F -------------- next part -------------- An HTML attachment was scrubbed... URL: From frederic.mesnard at gmail.com Mon Mar 19 08:51:05 2018 From: frederic.mesnard at gmail.com (Fred Mesnard) Date: Mon, 19 Mar 2018 11:51:05 +0400 Subject: [fg-arc] LOPSTR 2018 Final CFP Message-ID: <3815CF7F-BF18-462C-8019-CD99517E6057@gmail.com> ====================================================================== LOPSTR 2018: Final Call for Papers ====================================================================== 28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html Frankfurt, Germany, September 4-6, 2018 (co-located with PPDP 2018 and WFLP 2018) ######### New: invited talks ######### Submission deadline extended to April 8, 2018 The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester, Edinburgh, and Namur. LOPSTR 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and WFLP 2018 (International Workshop on Functional and Logic Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chairs in case of questions). Important Dates Abstract submission: April 1, 2018 Paper/Extended abstract submission: April 8, 2018 Notification: June 1, 2018 Camera-ready (for electronic pre-proceedings): June 17, 2018 Symposium: September 4-6, 2018 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2018. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Invited Talks LOPSTR/PPDP: Philippa Gardner, Imperial College - formal methods for JavaScript LOPSTR/PPDP: Jorge Navas, SRI International - SeaHorn and constrained horn clauses for verification LOPSTR: Laure Gonnord, University of Lyon - expressivity and scalability of program analysis PPDP: Chung-Chieh Shan, Indiana University - probabilistic programming Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany From announce at cs.ucy.ac.cy Sun Mar 18 11:10:11 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 18 Mar 2018 12:10:11 +0200 Subject: [fg-arc] 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018): Second Call for Contributions Message-ID: **** Second CALL FOR CONTRIBUTIONS **** (Papers, Tutorial/Workshop Proposals, Posters, Demos, PhD cons) The 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018) Hilton Cyprus, Nicosia, Cyprus, 10-13 December, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxMHRoIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENsb3VkIENvbXB1dGluZyBUZWNobm9sb2d5IGFuZCBTY2llbmNlIChDbG91ZENvbSAyMDE4KTogU2Vjb25kIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMJMTU5CUxpc3RzCTE2NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fcloudcom2018%2F CloudCom is the premier conference on Cloud Computing worldwide, attracting researchers, developers, users, students and practitioners from the fields of big data, systems architecture, services research, virtualization, security and privacy, high performance computing, always with an emphasis on how to build cloud computing platforms with real impact. The conference is co-sponsored by the Institute of Electrical and Electronics Engineers (IEEE), is steered by the Cloud Computing Association, and draws on the excellence of its world-class Program Committee and its participants. CloudCom 2018 will be held in Nicosia, Cyprus between 10-13 December, 2018. TOPICS OF INTEREST Topics of interest of CloudCom 2018 are grouped into four tracks: · Architecture, Storage and Virtualization · Cloud Services and Applications · Security, Privacy and Trust · Edge Computing and Distributed Cloud The (non-exhaustive) list of topics for each track is as follows: Track 1: Architecture, Storage and Virtualization Chairs: Luiz F. Bittencourt, University of Campinas (UNICAMP), Brazil, Ivona Brandic, TU-Wien, Austria · Intercloud architecture models · Virtual Machines (VMs), containers, unikernels and microservices · Cloud services delivery models, campus integration & ìlast mileî issues · Virtualization technology and enablers (network virtualization, software-defined networking) · Networking technologies · Cloud system design with FPGAs, GPUs, APUs · Storage & file systems · Scalability & performance · Resource provisioning, monitoring, management & maintenance · Operational, economic & business models · Green data centers · Computational resources, storage & network virtualization · Resource monitoring · Virtual desktops · Resilience, fault tolerance, disaster recovery · Modeling & performance evaluation · Disaster recovery · Energy efficiency Track 2: Cloud Services and Applications Chairs: Laura Ricci, University of Pisa, Italy, Beniamino Di Martino, Seconda Universitaí di Napoli, Italy · XaaS (everything as a service including IaaS, PaaS, and SaaS) · Cloud services models & frameworks · Service deployment and orchestration in the Cloud · Cloud service management · Cloud workflow management · Cloud services reference models & standardization · Cloud-powered services design · Cloud elasticity · Machine learning and systems interactions · Data management applications & services · Service for computing-intensive applications · Mining and analytics · Data-provisioning services · Cloud programming models, benchmarks, and tools · Cloud-based services & protocols · Fault-tolerance & availability of cloud services and applications · Application development and debugging tools · Business models & economics of cloud services Track 3: Security, Privacy and Trust Chairs: Martin Gilje Jaatun, University of Stavanger, Norway, Barbara Carminati, Insubria, Italy · Accountability & audit · Authentication & authorization · Cloud integrity · Blockchain Cloud services · Cryptography in the Cloud · Hypervisor security · Identity management & security as a service · Prevention of data loss or leakage · Secure, interoperable identity management · Trust & credential management · Trust models for cloud services · Usable security Risk management in cloud computing environments · Privacy policy framework for clouds · Privacy-preserving data mining for clouds · Information sharing and data protection in the cloud · Cryptographic protocols against internal attacks in clouds · Privacy protection in cloud platforms · Energy/cost/efficiency of security in clouds Track 4: Edge Computing and Distributed Cloud Chairs: Antonio Fernandez Anta, IMDEA, Spain, Sarunas Girdzijauskas, KTH, Sweden · Cloudlet-enabled applications · Distributed Cloud Infrastructure · Foundations and principles of distributed cloud computing · Architectural models, prototype implementations and applications · Cloud brokers and coordination across multiple resource managers · Interoperability and mobility · Software infrastructure for cloudlets · Dynamic resource, service and context management on edge computing · Fog Computing · IoT cloud architectures & models · Cloud-based context-aware IoT · Economics and pricing · Experience with and performance evaluation of existing deployments and measurements (public, private, hybrid, federated environments) PAPER SUBMISSION GUIDELINES Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Authors must submit their papers by the deadline indicated below, using the EasyChair submission system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxMHRoIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENsb3VkIENvbXB1dGluZyBUZWNobm9sb2d5IGFuZCBTY2llbmNlIChDbG91ZENvbSAyMDE4KTogU2Vjb25kIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMJMTU5CUxpc3RzCTE2NwljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dcloudcom2018 . Only PDF files will be accepted. Manuscripts need to be prepared according to the IEEE CS format (https://www.ieee.org/conferences_events/conferences/publishing/templates.html). All regular paper submissions should be written in English with a maximum paper length of 8 pages. All submitted papers will be reviewed by at least three experts. Accepted papers must be presented at the conference. At least one author of each accepted paper must register to the conference, by the early date indicated by the organizers, and present the paper. The conference proceedings of CloudCom 2018 will be published by IEEE Conference Publishing Service with ISBN and ISSN, and submitted to IEEE Xplore and indexing services such as Ei Compendex. Distinguished papers will be recommended for fast-track publication in the IEEE Transactions on Cloud Computing or invited to be included within a number of special issues in prestigious international journals. CALL FOR TUTORIAL AND WORKSHOP PROPOSALS IEEE CloudCom 2018 is soliciting proposals for full-day / half-day workshops and Tutorials to be held in conjunction with IEEE CloudCom 2018. For more information on the tutorials and workshops and for the complete Call for Tutorial and Workshop Proposals, please see the conference website. CALL FOR POSTERS, DEMOS & SHORT PAPERS (Late-breaking Results) Authors are invited to submit their research work as a poster, demo or short paper (late-breaking results) to the CloudCom 2018 conference. For the complete Call for Call for Posters, Demos & Short Papers (Late-breaking Results) please see the conference website. CALL FOR PH.D. CONSORTIUM A Ph.D. consortium will be held in conjunction with IEEE CloudCom 2018 in Nicosia, Cyprus. For the complete Call for Ph.D. consortium, please see the conference website. IMPORTANT DATES · Workshop Proposals Due: 30 April 2018 · Tutorial Proposals Due: 30 June 2018 · Regular Papers Due: 15 June 2018 · Ph.D. Consortium Papers Due: 31 August 2018 · Short Papers, Posters and Demos Due: 31 August 2018 · Notification of Paper Acceptance: 14 September 2018 · Camera Ready: 08 October 2018 · Author Registration: 15 October 2018 ORGANIZING COMMITTEE GENERAL CHAIR · George Angelos Papadopoulos, University of Cyprus, Cyprus PROGRAM CHAIRS · George Pallis, University of Cyprus, Cyprus · Sebastien Varrette, University of Luxembourg, Luxembourg PROGRAM TRACK CHAIRS · Antonio Fernandez Anta, IMDEA, Spain · Luiz F. Bittencourt, University of Campinas (UNICAMP), Brazil · Ivona Brandic, TU-Wien, Austria · Barbara Carminati, Insubria, Italy · Martin Gilje Jaatun, University of Stavanger, Norway · Sarunas Girdzijauskas, KTH, Sweden · Beniamino Di Martino, Seconda Universitaí di Napoli, Italy · Laura Ricci, University of Pisa, Italy WORKSHOPS & TUTORIALS CO-CHAIRS · Domenico Talia, University of Calabria, Italy · Dimitrios Tsoumakos, Ionian University, Greece PH.D. COMSORTIUM CHAIR · Achilleas Achilleos, University of Cyprus, Cyprus SHORT PAPERS, POSTERS & DEMO CHAIR · Ioannis Konstantinou, NTUA, Greece PUBLICITY CHAIR · Achilleas Achilleos, University of Cyprus, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Mar 19 00:43:04 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 19 Mar 2018 00:43:04 +0100 Subject: [fg-arc] AlCoB 2018: call for posters Message-ID: <545102060a010b06085e520400065a54545f06525706050355000e01060555045503050e070c560000550004015058@grlmc_ip-zone_com-6> AlCoB 2018: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 5th International Conference on Algorithms for Computational Biology (AlCoB 2018) invites researchers to submit poster presentations. AlCoB 2018 will be held in Hong Kong on June 25-26, 2018. See  http://grammars.grlmc.com/AlCoB2018/ 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: May 18, 2018 Notification of poster acceptance or rejection: May 25, 2018 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2018 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 2018. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2016 JCR impact factor: 1.955). REGISTRATION At least one author of each accepted poster must register to the conference by June 11, 2018. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- next part -------------- An HTML attachment was scrubbed... URL: From frederic.mesnard at gmail.com Tue Mar 20 07:10:01 2018 From: frederic.mesnard at gmail.com (Fred Mesnard) Date: Tue, 20 Mar 2018 10:10:01 +0400 Subject: [fg-arc] LOPSTR 2018: Final Call for Papers Message-ID: [Apologies for multiple copies] ====================================================================== LOPSTR 2018: Final Call for Papers ====================================================================== 28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html Frankfurt, Germany, September 4-6, 2018 (co-located with PPDP 2018 and WFLP 2018) ######### New: invited talks ######### Submission deadline extended to April 8, 2018 The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester, Edinburgh, and Namur. LOPSTR 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and WFLP 2018 (International Workshop on Functional and Logic Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chairs in case of questions). Important Dates Abstract submission: April 1, 2018 Paper/Extended abstract submission: April 8, 2018 Notification: June 1, 2018 Camera-ready (for electronic pre-proceedings): June 17, 2018 Symposium: September 4-6, 2018 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2018. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Invited Talks LOPSTR/PPDP: Philippa Gardner, Imperial College - formal methods for JavaScript LOPSTR/PPDP: Jorge Navas, SRI International - SeaHorn and constrained horn clauses for verification LOPSTR: Laure Gonnord, University of Lyon - expressivity and scalability of program analysis PPDP: Chung-Chieh Shan, Indiana University - probabilistic programming Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany From announce at cs.ucy.ac.cy Sat Mar 24 15:04:27 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 24 Mar 2018 16:04:27 +0200 Subject: [fg-arc] 15th European Mediterranean & Middle Eastern Conference on Information Systems (EMCIS 2018): Second Call for Papers Message-ID: *** SECOND CALL FOR PAPERS *** 15th European Mediterranean & Middle Eastern Conference on Information Systems (EMCIS 2018) St. Raphael Resort, Limassol, Cyprus, 4-5 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEV1cm9wZWFuIE1lZGl0ZXJyYW5lYW4gJiBNaWRkbGUgRWFzdGVybiBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uIFN5c3RlbXMgKEVNQ0lTIDIwMTgpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzCTE2MQlMaXN0cwkxNjcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Femcis.eu The European, Mediterranean and Middle Eastern Conference on Information Systems (EMCIS) is an annual research event addressing the IS discipline with regional as well as global perspective. EMCIS has successfully helped bringing together researchers from around the world in a friendly atmosphere conducted to free exchange of innovative ideas. EMCIS was founded in 2004 by Brunel University research Group ISEing and it is an annual event. A number of respected collaborations were made with different local universities across the destinations chosen each year and EMCIS still proves to attract many further partnerships. EMCIS is one of the premier conferences in Europe and Middle Eastern region for Information Systems academics and professionals, covering technical, organisational, business and social issues in the application of Information Technology. EMCIS is dedicated to the definition and establishment of Information Systems as a discipline of high impact for the methodical community and IS professionals - focusing on approaches that facilitate the identification of innovative research of significant relevance to the IS discipline following sound research methodologies that lead to results of measurable impact. The EMCIS proceedings are published by Springer in the Lecture Notes in Business Information Processing book series. TOPICS The topics of interest are grouped into the following tracks: · Big Data and Analytics · Blockchain Technology and Applications · Cloud Computing · Digital Services and Social Media · e-Government · Enterprise Systems · Science Communication in the Digital Public Sphere · Information Systems Security and Information Privacy Protection · Healthcare Information Systems · Management and Organisational Issues in Information Systems · IT Governance · Innovative Research Projects · Immersive Technologies in IT/IS A full list of subtopics for each track can be found on the conference web site. PAPER SUBMISSION Submissions should be original, not published or being considered elsewhere for publication. Authors should not add their details (names, affiliation, email etc.) in the document they submit for review. All papers should be submitted via the Easy Chair conference management system (the URL is available on the conference web site) and adhere to the format for Springer Lecture Notes publications. The papers must be submitted as a single PDF document and should not exceed 5,000 words (recommended length is 14 pages). Please note that the working language is English. Papers go through a 'double-blind review' process that evaluates their significance, originality, contribution and clarity. Upon acceptance please make sure that at least one author registers to secure a slot for their presentation in the conference program. When preparing the camera-ready version of a paper, authors should add their details (names, affiliation, email, etc.) on the first page of the paper and indicate which is the corresponding author. Along with the camera-ready version of their paper, authors should fill, sign and submit the copyright form. The form shall be sent by email to info[at]emcis.eu. IMPORTANT DATES · Electronic Submission Deadline: 08 May, 2018 · Notification of Acceptance to Authors: 20 June, 2018 · Camera Ready Copy: 04 July, 2018 · Early-bird Registration: 04 July, 2018 · Author Registration Deadline: 04 July, 2018 EMCIS ORGANIZATION Conference Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus Conference co-Chair · Angelika Kokkinaki, University of Nicosia, Cyprus Conference Executive Committee · Vincenzo Morabito, Bocconi University, Italy, (Program Chair) · Marinos Themistocleous, University of Piraeus, Greece (Program Chair) · Gianluigi Viscusi, École Polytechnique fédérale de Lausanne (EPFL), Switzerland (Publications Chair) · Muhammad Kamal, Brunel University, UK (Public Relations Chair) International Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEV1cm9wZWFuIE1lZGl0ZXJyYW5lYW4gJiBNaWRkbGUgRWFzdGVybiBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uIFN5c3RlbXMgKEVNQ0lTIDIwMTgpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzCTE2MQlMaXN0cwkxNjcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Femcis.eu -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Sat Mar 24 20:24:55 2018 From: irdta at irdta.eu (IRDTA) Date: Sat, 24 Mar 2018 20:24:55 +0100 Subject: [fg-arc] SLSP 2018: 2nd call for papers Message-ID: <545102060a010b060952540a04055a5c045e50530457015107025c505357575356545752075f08550000030a070704@grlmc_ip-zone_com-6> SLSP 2018: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 6th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2018 Mons, Belgium October 15-17, 2018 Co-organized by: NUMEDIART Institute University of Mons LANGUAGE Institute University of Mons Institute for Research Development, Training and Advice (IRDTA), Brussels/London http://slsp2018.irdta.eu/ ********************************************************************************** AIMS: SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2018, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. VENUE: SLSP 2018 will take place in Mons, which was European Capital of Culture in 2015. The venue will be: University of Mons 31 Bvd Dolez, 7000 Mons Belgium SCOPE: The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to: anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling STRUCTURE: SLSP 2018 will consist of: invited talks peer-reviewed contributions posters INVITED SPEAKERS: (to be completed) Simon King (University of Edinburgh), tba Isabel Trancoso (Instituto Superior Técnico, Lisbon), tba PROGRAMME COMMITTEE: Steven Abney (University of Michigan, US) Srinivas Bangalore (Interactions LLC, US) Jean-François Bonastre (University of Avignon et Pays du Vaucluse, FR) Pierrette Bouillon (University of Geneva, CH) Nicoletta Calzolari (Italian National Research Council, IT) Erik Cambria (Nanyang Technological University, SG) Kenneth W. Church (Baidu Research, US) Walter Daelemans (University of Antwerp, BE) Thierry Dutoit (University of Mons, BE) Marcello Federico (Bruno Kessler Foundation, IT) Robert Gaizauskas (University of Sheffield, UK) Ralph Grishman (New York University, US) Udo Hahn (University of Jena, DE) Siegfried Handschuh (University of Passau, DE) Mark Hasegawa-Johnson (University of Illinois, Urbana–Champaign, US) Keikichi Hirose (University of Tokyo, JP) Julia Hirschberg (Columbia University, US) Nancy Ide (Vassar College, US) Gareth Jones (Dublin City University, IE) Philipp Koehn (University of Edinburgh, UK) Haizhou Li (National University of Singapore, SG) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Alessandro Moschitti (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Jian-Yun Nie (University of Montréal, CA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Cecile Paris (CSIRO Data61, AU) Jong C. Park (Korea Advanced Institute of Science and Technology, KR) Alexandros Potamianos (National Technical University of Athens, GR) Paul Rayson (Lancaster University, UK) Mats Rooth (Cornell University, US) Paolo Rosso (Technical University of Valencia, ES) Alexander Rudnicky (Carnegie Mellon University, US) Tanja Schultz (University of Bremen, DE) Holger Schwenk (Facebook AI Research, FR) Vijay K. Shanker (University of Delaware, US) Richard Sproat (Google Research, US) Tomoki Toda (Nagoya University, JP) Gökhan Tür (Google Research, US) Yorick Wilks (Institute for Human & Machine Cognition, US) Phil Woodland (University of Cambridge, UK) Dekai Wu (Hong Kong University of Science and Technology, HK) Junichi Yamagishi (University of Edinburgh, UK) ORGANIZING COMMITTEE: Stéphane Dupont (Mons) Thierry Dutoit (Mons, co-chair) Kévin El Haddad (Mons) Kathy Huet (Mons) Sara Morales (Brussels) Manuel J. Parra Royón (Granada) Gueorgui Pironkov (Mons) David Silva (London, co-chair) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://easychair.org/conferences/?conf=slsp2018 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference. A special issue of Computer Speech and Language (Elsevier, JCR 2016 impact factor: 1.900) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://slsp2018.irdta.eu/Registration.php DEADLINES (all at 23:59 CET): Paper submission: May 27, 2018 Notification of paper acceptance or rejection: July 3, 2018 Final version of the paper for the LNCS/LNAI proceedings: July 13, 2018 Early registration: July 13, 2018 Late registration: October 1, 2018 Submission to the journal special issue: January 17, 2019 QUESTIONS AND FURTHER INFORMATION: david at irdta.eu ACKNOWLEDGMENTS: Université de Mons Institute for Research Development, Training and Advice (IRDTA), Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Mar 25 15:26:14 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 25 Mar 2018 16:26:14 +0300 Subject: [fg-arc] 24th International Symposium on Methodologies for Intelligent Systems (ISMIS 2018): Third Call for Papers Message-ID: <24IYEIOC-7QT2-75N6-CHAE-5I5IP2RKV71T@cs.ucy.ac.cy> *** THIRD CALL FOR PAPERS *** 24th International Symposium on Methodologies for Intelligent Systems (ISMIS 2018) St. Raphael Resort, Limassol, Cyprus, 29-31 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyNHRoIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIE1ldGhvZG9sb2dpZXMgZm9yIEludGVsbGlnZW50IFN5c3RlbXMgKElTTUlTIDIwMTgpOiBUaGlyZCBDYWxsIGZvciBQYXBlcnMJMTYzCUxpc3RzCTE2NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fismis2018 WELCOME ISMIS is an established and prestigious conference for exchanging the latest research results in building intelligent systems. Held twice every three years, the conference provides a medium for exchanging scientific research and technological achievements accomplished by the international community. SCOPE The scope of ISMIS is intended to represent a wide range of topics on applying Artificial Intelligence techniques to areas as diverse as decision support, automated deduction, reasoning, knowledge based systems, machine learning, computer vision, robotics, planning, databases, information retrieval, etc. The focus is on research in intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance. ISMIS provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications. TOPICS ISMIS 2018 is intended to attract individuals who are actively engaged both in theoretical and practical aspects of intelligent systems. The goal is to provide a platform for a useful exchange between theoreticians and practitioners, and to foster the cross-fertilization of ideas in the following areas: · Active Media Human-Computer Interaction · Autonomic and Evolutionary Computation · Digital Libraries · Health Informatics · Intelligent Agent Technology · Intelligent Data Processing and Analytics · Intelligent Information Retrieval · Intelligent Information Systems · Intelligent Language Processing · Knowledge Integration and Aggregation · Knowledge Discovery and Data Mining · Knowledge Visualization · Logic for Artificial Intelligence · Multimedia Information Retrieval · Soft Computing · Text Mining · Web Intelligence · Web Mining In addition, we solicit papers dealing with Applications of Intelligent Systems in complex/novel domains, e.g. art, human genome, global change, manufacturing, social good, etc. PAPER SUBMISSION Authors are invited to submit their manuscripts in LNCS/LNAI style (maximum 10 pages). All paper submissions will be handled electronically. All submissions will be subject to review by the ISMIS 2018 Program Committee. Papers should be prepared using the Springer LNCS/LNAI style (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), maximum 10 pages. Papers should be submitted in PDF form via ISMIS 2018 Online Submission System: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyNHRoIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIE1ldGhvZG9sb2dpZXMgZm9yIEludGVsbGlnZW50IFN5c3RlbXMgKElTTUlTIDIwMTgpOiBUaGlyZCBDYWxsIGZvciBQYXBlcnMJMTYzCUxpc3RzCTE2NwljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dismis2018 . PUBLICATION AND JOURNAL SPECIAL ISSUES The ISMIS 2018 proceedings will be published by Springer in LNAI (Lecture Notes in Artificial Intelligence) and will be available at the conference. Authors of best papers will be invited to submit their extended versions to the Journal of Intelligent Information Systems (JIIS) (http://www.springer.com/computer/database+management+%26+information+retrieval/journal/10844) published by Springer. Fast Track Processing will be used to have them reviewed and published. IMPORTANT DATES · Paper Submissions due: 10th May 2018 · Notification of Acceptance/Rejection: 10th July 2018 · Camera-Ready Versions of Accepted Papers: 31st July 2018 · Author Registration: 31st Juy 2018 · Early Non-Author Registration: 10th September 2018 · Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE Steering Committee Chair · Zbigniew Ras (UNC-Charlotte, USA & Polish-Japanese Academy of IT, Poland) Symposium Chair · George Angelos Papadopoulos (University of Cyprus, Cyprus) Program Committee Co-Chairs · Michelangelo Ceci (Universita degli Studi di Bari, Italy) · Nathalie Japkowicz (American University, USA) · Jiming Liu (Hong Kong Baptist University, Hong Kong) Special Sessions Chair · Stefano Ferilli (University of Bari, Italy) Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyNHRoIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIE1ldGhvZG9sb2dpZXMgZm9yIEludGVsbGlnZW50IFN5c3RlbXMgKElTTUlTIDIwMTgpOiBUaGlyZCBDYWxsIGZvciBQYXBlcnMJMTYzCUxpc3RzCTE2NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fismis2018%2Fcommittees%2F -------------- next part -------------- An HTML attachment was scrubbed... URL: From buhnova at fi.muni.cz Mon Mar 26 03:43:06 2018 From: buhnova at fi.muni.cz (Bara Buhnova) Date: Mon, 26 Mar 2018 03:43:06 +0200 Subject: [fg-arc] ETAPS 2019 - 2nd Call for Satellite Events In-Reply-To: <69e39d9d-646f-fc29-8f55-42e810f66077@fi.muni.cz> References: <69e39d9d-646f-fc29-8f55-42e810f66077@fi.muni.cz> Message-ID: 22st European Joint Conferences on Theory and Practice of Software                            ETAPS 2019             Prague, Czech Republic, April 6-12, 2019            https://conf.researchr.org/home/etaps-2019                     Call for Satellite Events ******************************************************************* *                Application deadline extension                   * ******************************************************************* Satellite event proposals deadline: May 4, 2018 Notification of acceptance: May 11, 2018 -- ABOUT ETAPS -- The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. It is an annual event held in Europe each spring since 1998. Its twenty-second edition, ETAPS 2019, will take place April 6-12, 2019 in Prague, Czech Republic. ETAPS 2019 main conferences, scheduled for April 8-12, are: * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- SATELLITE EVENTS -- The ETAPS 2019 organizing committee invites proposals for satellite events (workshops) that will complement the main conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. The committee especially encourages workshops on program synthesis and on the development of approximate systems. Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software. ETAPS 2019 satellite events will be held immediately before the main conferences, on April 6-7. -- ARRANGEMENTS FOR SATELLITE EVENTS -- The organizers of an ETAPS 2019 satellite are expected to: * create and maintain a website for the event, as a part of the main   ETAPS web page https://conf.researchr.org/home/etaps-2019 * form a PC, produce a call for papers for the event (if appropriate), * advertise the event through specialist mailing lists etc. to   complement the publicity of ETAPS, * review the submissions received and make acceptance decisions, * prepare an informal (pre)proceedings for the event (if appropriate), * prepare the event's program complying with any scheduling   constraints defined by the ETAPS 2019 organizing committee, * prepare and organize the publication of a formal (post)proceedings  (if desired). The ETAPS 2019 organizing committee will: * promote the event on the website and in the publicity material of   ETAPS 2019, * integrate the event's program into the overall program of the   conference, * arrange registration for the event as a component of registration   for ETAPS, * collect a participation fee from the registrants, * produce a compilation USB memory stick of the informal   (pre)proceedings of the satellite events of ETAPS 2019 and   distribute this to the registrants, * provide the event with a meeting room of an appropriate size, A/V   equipment, coffee breaks and possibly lunch(es). As a rule, ETAPS will not contribute toward the travel or accommodation costs of invited speakers or organizers of satellite events. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organize satellite events are invited to submit proposals via the following online form (the preferred option): http://eptcs.web.cse.unsw.edu.au/ETAPS/ or via an email to the workshop co-chairs: Milan Ceska (Brno University of Technology, Czech Republic) ceskam at fit.vutbr.cz Ryan Culpepper (Czech Technical University in Prague) ryanc at ccs.neu.edu The following information is requested: * the name and acronym of the satellite event * the names and contact information of the organizers * the duration of the event: one or two days * the preferred period: April 6, April 7, April 6 - 7 * the expected number of participants * a brief description (120 words approximately) of the event topic for   the website and publicity material of ETAPS 2019 * a brief explanation of the event topic and its relevance to ETAPS * an explanation of the selection procedure of contributions to the   event, the PC chair and members, if known already, information about   past editions of the event, if applicable * any other relevant information, like a special event format, invited   speakers, demo sessions, special space requirements, etc. * a tentative schedule for paper submission, notification of   acceptance and final versions for the (informal pre-)proceedings   (the ETAPS 2019 organizing committee will need the final files by   the end of Feb. 2019) * the plans for formal publication (no formal publication, formal   proceedings ready by the event, formal post-proceedings, publication   venue - EPTCS or elsewhere) The proposals will be evaluated by the ETAPS 2019 organizing committee on the basis of their assessed benefit for prospective participants of ETAPS 2019. Prospective organizers may wish to consult the web pages of previous satellite events as examples: ETAPS 2018: http://www.etaps.org/2018/workshops ETAPS 2017: http://www.etaps.org/2017/workshops ETAPS 2016: http://www.etaps.org/2016/workshops ETAPS 2015: http://www.etaps.org/2015/workshops ETAPS 2014: http://www.etaps.org/2014/workshops ETAPS 2013: http://www.etaps.org/2013/workshops ETAPS 2012: http://www.etaps.org/2012/workshops -- IMPORTANT DATES -- Satellite event proposals deadline: May 4, 2018 Notification of acceptance: May 11, 2018 -- HOST CITY -- Prague is the capital and largest city in the Czech Republic, the historical capital of Bohemia. Situated in the north-west of the country on the Vltava river, the city is home to about 1.3 million people. Prague has been a political, cultural and economic centre of central Europe complete with a rich history. Founded during the Romanesque and flourishing by the Gothic, Renaissance and Baroque eras, Prague was the capital of the kingdom of Bohemia and the main residence of several Holy Roman Emperors, most notably of Charles IV. It was an important city to the Habsburg Monarchy and its Austro-Hungarian Empire. Prague is home to a number of famous cultural attractions, many of which survived the violence and destruction of 20th-century Europe. Main attractions include the Prague Castle, the Charles Bridge, Old Town Square with the Prague astronomical clock, the Jewish Quarter, Petrin hill and Vysehrad. Since 1992, the extensive historic centre of Prague has been included in the UNESCO list of World Heritage Sites. ETAPS 2019 is organized by the Charles University, the largest university in the Czech Republic and the oldest university of central Europe founded in 1348 by Charles IV. -- FURTHER INFORMATION AND ENQUIRIES -- Please contact the workshop co-chairs: * Milan Ceska (Brno University of Technology, Czech Republic) ceskam at fit.vutbr.cz * Ryan Culpepper (Czech Technical University in Prague) ryanc at ccs.neu.edu From sauer at upb.de Tue Mar 27 11:55:12 2018 From: sauer at upb.de (Stefan Sauer) Date: Tue, 27 Mar 2018 11:55:12 +0200 Subject: [fg-arc] =?utf-8?q?Noch_4_Tage=3A_CfP_9=2E_Workshop_=E2=80=9EDes?= =?utf-8?q?ign_for_Future_=E2=80=93_Langlebige_Softwaresysteme=E2=80=9C_?= =?utf-8?q?=28DFF_2018=29_-_Teil_des_WSRE_20=2E0?= Message-ID: <6ed64152-5455-aca8-08b8-29a007da6a0f@upb.de> Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Einreichung von Beiträgen mehrfach erhalten! Nur noch vier Tage bis zum Ende der Einreichungsfrist: 31. März 2018 ------------------------------------------------------------------------ 9. Workshop *Design for Future – Langlebige Softwaresysteme* (*DFF 2018*) ------------------------------------------------------------------------ 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/dff2018/ 02.–04. Mai 2018 in Bad Honnef als Teil des 20. Workshop Software-Reengineering & Evolution (WSRE 20.0 / WSRE 2018) https://fg-sre.gi.de/wsre2018.html *Wichtige Termine* Einreichung von Beiträgen 31. März 2018 Benachrichtigung über die Annahme 09. April 2018 Einreichung der finalen Fassung 13. April 2018 Anmeldeschluss zur Teilnahme 13. April 2018 Workshop 02.-04. Mai 2018 *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. 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. Gleichzeitig müssen diese Systeme im Rahmen der anstehenden Digitalisierungsansätze neue Rollen übernehmen und darauf ausgerichtet werden. 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 weiter¬entwickelt und angewandt werden. Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI Fachgruppen Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, Wissenschaftler und Praktiker zusammen¬zu-bringen, die an diesen Themenstellungen Interesse haben. Im 9. 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) • 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 und Wissenschaftler, 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=wsre2018 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 Softwaresysteme“ (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird als Track des 20. WSRE stattfinden. Obwohl der DFF in das Programm des WSRE integriert ist, gibt es wegen der speziellen thematischen Ausrichtung diesen spezifischen Call for Papers und einen eigenen Review-Prozess. AK- und Workshop-Leitung: • Stefan Sauer, sauer at sicp.upb.de, • Marco Konersmann, marco.konersmann at paluno.uni-due.de, • Robert Heinrich, robert.heinrich at kit.edu *Programmkomitee* wird noch bekannt gegeben *Kontakt*: sauer at sicp.upb.de From roveri at fbk.eu Tue Mar 27 01:01:00 2018 From: roveri at fbk.eu (Marco Roveri) Date: Tue, 27 Mar 2018 01:01:00 +0200 Subject: [fg-arc] CFP: Formal Methods for Intelligent Systems @ ISMIS 2018 Message-ID: <20180326230100.9AB8120222@mitchell> [ Apologize for Multiple Copies ] Call for Papers 24th International Symposium on Methodologies for Intelligent Systems ISMIS 2018 Special Session - Formal Methods for Intelligent Systems - October 29 - 31, 2018, St. Raphael Resort, Limassol, Cyprus ISMIS is an established and prestigious conference for exchanging the latest research results in building intelligent systems. Held twice every three years, the conference provides a medium for exchanging scientific research and technological achievements accomplished by the international community. The scope of ISMIS is intended to represent a wide range of topics on applying Artificial Intelligence techniques to areas as diverse as decision support, automated deduction, reasoning, knowledge based systems, machine learning, computer vision, robotics, planning, databases, information retrieval, etc. The focus is on research in intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance. ISMIS provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications. Formal Methods for Intelligent Systems -------------------------------------- Traditionally, Formal Methods have been used as rigorous means to prove correctness and safety of software and hardware systems. They are rooted in logic and reasoning, and aim to provide guarantees that the system is behaving correctly, which is necessary in safety-critical contexts. Such guarantees can be provided automatically for conventional software/hardware systems using verification technologies such as model checking or theorem proving. However, in several (critical) application domains (e.g. planning and scheduling, machine learning, autonomous controllers synthesis, business processes) the underpinning reasoning techniques do not offer the needed guarantees, and reasoning capabilities necessary to justify safety of the application. The scope of this special session is intended to represent research results and discussions about the application and/or combination of Formal Methods (model checking, theorem proving, mathematical reasoning ...) to solve problems in different areas such as Planning and Scheduling, Machine Learning, Decision Support Systems, Robotics, Autonomy, Business Processes. The session addresses issues involving solutions to problems that will benefit from the adoption of Formal Methods. Examples are for instance guarantee robustness of a plan, or robustness of a (deep) neural, robustness/safety of a decision support system or of a robotic controller or of a business process. Topics. -------------------------------------- This special session aims at bringing together academic and industrial leaders who will present and discuss the results that combine Formal Methods to solve problems in different areas related to Intelligent Systems. The topics include, but not limited to: * Intelligent Information Systems * Autonomic and Evolutionary Computation * Logic for Artificial Intelligence * Knowledge Integration and Aggregation * Intelligent Agent Technology * Intelligent Data Processing and Analytics Paper Submission. -------------------------------------- Authors are invited to submit their manuscripts (maximum 10 pages) electronically in Springer's LNCS/LNAI style. For detailed instructions see the conference homepage (http://cyprusconferences.org/ismis2018/); any necessary information concerning typesetting can be obtained directly from Springer's webpage. All submissions will be subject to review by the ISMIS 2018 program committee in consultation with the special session organizers. Publication. -------------------------------------- The accepted papers will be published in ISMIS 2018 proceedings in Springer's LNAI series. Important Dates. -------------------------------------- * Paper submission: May 10, 2018 * Notification of accept/reject: July 10, 2018 * Camera-Ready: July 31, 2018 * Author Registration Deadline: July 31, 2018 Special Session Chairs. -------------------------------------- Marco Roveri Alberto Griggio Fondazione Bruno Kessler Fondazione Bruno Kessler Trento, Italy, Trento, Italy, roveri at fbk.eu griggio at fbk.eu -------------------------------------- ISMIS 2018: http://cyprusconferences.org/ismis2018/ From rapereira23 at gmail.com Tue Mar 27 12:51:15 2018 From: rapereira23 at gmail.com (Rui Pereira) Date: Tue, 27 Mar 2018 11:51:15 +0100 Subject: [fg-arc] LAST CFP: VL/HCC 2018 - IEEE Symposium on Visual Languages and Human-Centric Computing Message-ID: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2018) 1-4 October, 2018 - Lisbon, Portugal http://vlhcc.org IMPORTANT DATES --------------- - Abstract Submission: 6 April 2018 - Paper Submission: 13 April 2018 - Review Notifications: 15 June 2018 - Rebuttal Deadline: 22 June 2018 - Paper Notification: 6 July 2018 - Camera Ready copy: 27 July 2018 - Conference: 1–4 October 2018 SCOPE AND TOPICS ---------------- We solicit original, unpublished research papers on computing technologies and visual languages for modelling, programming, communicating, and reasoning, which are easier to learn, use or understand by humans than the current state-of-the-art. Papers should focus on efforts to design, formalize, implement, or evaluate those technologies and languages. This includes tools and visual languages intended for general audiences (e.g. professional or novice programmers, or the public) or domain-specific audiences (e.g. people working in business administration, production environments, healthcare, urban design or scientific domains). This year's special topic is "Building Human-Adaptive Socio-Technical Systems". Systems in which humans are both developers of and intrinsic parts of the system are becoming more common. These Human-Adaptive Socio-Technical Systems adapt to changes in context and the behavior of human users. Example systems include situation-aware human-assistance systems and learning-based cooperative control systems in a variety of application areas including Internet-of-Things applications and Cyber-physical social systems. These kinds of systems require human-centered concepts, languages and methods in two separate contexts: to specify system behavior and to assist in modeling human behavior. Areas of interest include, but are not limited to: - Novel visual languages - Design, evaluation, and theory of visual languages - End-user development, adaptation, and programming - Domain-specific languages - Visual modeling of socio-technical systems - Visual modeling of human behavior - Visual modeling of digital twins of humans - Interdisciplinary approaches (e.g. psychology, sociology) to human aspects - Human aspects and psychology of software development and language design - New representations and user interfaces for explaining system’s behavior - Computational thinking and computer science education - Problem solving through programming and play - Debugging and program understanding - Crowd Sourcing design and development work - Software visualization - Technologies and infrastructures for end user development - Technology acceptance and adoption studies - Evaluation of end user development technologies PAPER SUBMISSIONS ----------------- We invite two kinds of papers: - full-length research papers, up to 8 pages - plus unlimited additional pages containing only references - short research papers, up to 4 pages - plus unlimited additional pages containing only references Supplemental Materials: In addition to papers, authors may optionally submit supplemental materials that support their papers. Examples of supplemental materials include short digital videos, copies of study instruments, or experimental methodologies. Supplementary material should be briefly described in the paper body. However, since not everyone who reviews your paper may review submitted supplemental materials, your submission must stand on its own without the supplemental materials. The supplemental materials will be distributed at the conference and will appear in the IEEE Xplore Digital Library. Videos must be at most 3 minutes in length, at most 100 MB in size, and prepared as MP4 files using the H.264 codec. All supplemental materials must adhere to the IEEE preparation instructions: https://www.ieee.org/documents/MMdocumentation.pdf. Papers and supplemental materials must be submitted using the EasyChair system: https://easychair.org/conferences/?conf=vlhcc2018 * Please note that we will follow a double-blind reviewing mechanism for 2018. * To facilitate assigning papers to reviewers, we require paper abstracts to be submitted via EasyChair at least one week before the paper submission deadline. The abstract must be no longer than 150 words and must be kept up-to-date such that it exactly matches the abstract in the submitted paper. All accepted papers, whether full or short, should be complete, self-contained, archival contributions. Contributions from full papers are more extensive than those from short papers. Work-in-progress, which has not yet yielded a contribution, should be submitted to the Showpieces category. All submissions will be reviewed by members of the Program Committee. Submission and reviews for the technical program are managed with EasyChair. At least one author of each accepted paper is required to register for VL/HCC 2018 and present the paper at the conference. IEEE reserves the right to exclude a paper from distribution after the conference, including IEEEXplore® Digital Library, if the paper is not presented by the author at the conference. Accepted papers will be distributed at the conference and will be included in the IEEE Xplore Digital Library (http://ieeexplore.ieee.org/). The proceedings are an official electronic publication of the IEEE in Computer Science, with an ISBN number. Be sure to use the current IEEE conference paper format: http://www.ieee.org/conferences_events/conferences/publishing/templates.html. DOUBLE BLIND REVIEWING ---------------------- We follow a light-weight double-blind reviewing process. Thus, submitted papers must not reveal the identities of authors. However, the author names will be known to the program committee in the rebuttal phase. Both authors and reviewers are expected to make every effort to honor the double-blind reviewing process. In case of questions, please contact the Program Chairs. Authors should ensure that the submission can be evaluated without it being obvious who wrote the paper. This means leaving author names off the paper and using terms like “previous research” rather than “our previous research” when describing background. However, do not hide previous work – papers must still reference all relevant research, including that by the current authors, so reviewers can evaluate novelty. It is important that authors specify all conflicts of interest with potential reviewers during the submission phase. Reviewers should not undertake any investigation that might lead to the revealing of authors identity. If identities are inadvertently revealed, please contact the Program Chairs. The Program Chairs will check all submissions for obvious signs of lack of anonymity and may ask authors to make changes and resubmit the paper within four days of the submission deadline. EVALUATION AND JUSTIFICATION ---------------------------- Papers are expected to support their claims with appropriate evidence. For example, a paper that claims to improve programmer productivity is expected to demonstrate improved productivity; a paper that claims to be easier to use should demonstrate increased ease of use. However, not all claims necessarily need to be supported with empirical evidence or studies with people. For example, a paper that claims to make something feasible that was clearly infeasible might substantiate its claim through the existence of a functioning prototype. Moreover, there are many alternatives to empirical evidence that may be appropriate for justifying claims, including analytical methods, formal arguments or case studies. Given this criterion,we encourage potential authors to think carefully about what claims their submission makes and what evidence would adequately support these claims. In addition, we expect short papers to have less comprehensive evaluation than long papers. REVIEWING PROCESS ----------------- Papers will be reviewed as follows: - Initial review period: at least three members of the Program Committee or external reviewers will review each paper. At the end of this period, these initial reviews will be released to the authors. - Author response period: authors will have an opportunity to submit a response based on their initial reviews. Responses should focus on answering reviewers' questions, addressing reviewers' concerns, and clarifying any factual misunderstandings. At this point, the identity of authors will be revealed to the program committee. - Final review period: taking the author response into account, the original reviewers will revise their reviews as they deem appropriate, and the Program Committee will reach a final decision to accept or reject the submitted work. -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Mar 27 14:29:06 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 27 Mar 2018 15:29:06 +0300 Subject: [fg-arc] 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2018): Second Call for Papers and Workshop Proposals Message-ID: <8FWEM0S5-XLAW-U3OV-CS33-67NMMALD5II@cs.ucy.ac.cy> *** SECOND CALL FOR PAPERS AND WORKSHOP PROPOSALS *** 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2018) St. Raphael Resort, Limassol, Cyprus, 15-17 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBXaXJlbGVzcyBhbmQgTW9iaWxlIENvbXB1dGluZywgTmV0d29ya2luZyBhbmQgQ29tbXVuaWNhdGlvbnMgKFdpTW9iIDIwMTgpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzIGFuZCBXb3Jrc2hvcCBQcm9wb3NhbHMJMTY1CUxpc3RzCTE2NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.wimob.org%2Fwimob2018%2F (*** Sponsorship Requested to IEEE Communication Society ***) WiMob is an international forum for the exchange of knowledge and experience among researchers, developers and practitioners of wireless and mobile technology. For fourteen years, the International WiMob conference has provided unique opportunities for researchers and developers to interact, share new results, show live demonstrations, and discuss emerging directions in a number of contemporary topics in wireless and mobile computing. WiMob 2018 is soliciting high quality technical papers addressing research challenges in the areas of wireless communications, wireless networking, mobility, nomadicity, ubiquitous computing, services and applications. Papers should present original work validated via analysis, simulation or experimentation. Practical experiences and Testbed trials also are welcome. TOPICS WiMob 2018 will host 5 parallel symposia on: · Wireless Communications · Wireless Networking, Mobility and Nomadicity · Ubiquitous Computing, Services and Applications · Green and Sustainable Communications and Network Computing · Security on Wireless and Mobile Networks A full list of topics for each symposium can be found on the conference web site. CALL FOR WORKSHOP PROPOSALS As part of the program of WiMob 2018, a limited number of workshops are planned to be held in conjunction with the main conference. The main aim will be to provide an international forum for researchers to present their early research results and share experiences focused on specific research areas. Workshop proposals are solicited in all areas and topics related to wireless networking, mobile computing, mobile and wireless communications, pervasive computing and networking, and services and applications. All papers accepted by the workshops will be published in the WiMob 2018 proceedings. All workshops will be held on October 15, 2018. Workshop Proposal Form A proposal to organize a workshop can be submitted in PDF or plain text and should contain the following information: · A draft of the CFP of the workshop (includes title, description, topics and dates) · Why is the topic area important? · Likely contributors and target audience · Organizing committee (chairs, list of potential TPC members) · Plan for workshop advertising and publicity (including workshop URL) · Biography of the main organizer(s) (100-200 words) Workshop proposals must be sent by e-mail to the three Workshop co-chairs: - Anna Maria Vegni, annamaria.vegni[at]uniroma3.it - Hossam Hassanein, hossam[at]cs.queensu.ca - Nirwan Ansari, nirwan.ansari[at]njit.edu PAPER SUBMISSION Authors are required to submit fully formatted, original papers (PDF), with graphs, images, and other special areas arranged as intended for the final publication. Papers should be written in English conforming to the IEEE standard conference format (8.5" x 11" - US letter, Two-Column). The initial submission for review will be limited to 8 pages. The final manuscript for publication will be limited to 8 IEEE pages included in the registration. However, additional charges may apply for additional pages. The conference content will be submitted for inclusion into IEEE Xplore (after approval) as well as other Abstracting and Indexing (A&I) databases. Each accepted paper must be presented at the conference by one of the co-authors or a third party, otherwise it will not be indexed and archived through IEEE Xplore. Only timely submissions through EDAS at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBXaXJlbGVzcyBhbmQgTW9iaWxlIENvbXB1dGluZywgTmV0d29ya2luZyBhbmQgQ29tbXVuaWNhdGlvbnMgKFdpTW9iIDIwMTgpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzIGFuZCBXb3Jrc2hvcCBQcm9wb3NhbHMJMTY1CUxpc3RzCTE2NgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fedas.info will be accepted. For more details, please visit the Facebook page for WiMob 2018: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBXaXJlbGVzcyBhbmQgTW9iaWxlIENvbXB1dGluZywgTmV0d29ya2luZyBhbmQgQ29tbXVuaWNhdGlvbnMgKFdpTW9iIDIwMTgpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzIGFuZCBXb3Jrc2hvcCBQcm9wb3NhbHMJMTY1CUxpc3RzCTE2NgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.facebook.com%2Fwimob2018%2F as well as the conference web site. IMPORTANT DATES · Paper submission: May 15, 2018 · Notification: July 15, 2018 · Final manuscript: September 1, 2018 · Workshop proposal submission: April 20, 2018 · Notification of acceptance of workshop proposals: April 25, 2018 · Preliminary CFP to be published for workshops: April 30, 2018 · Paper submission deadline for the workshops: June 30, 2018 · Workshop paper acceptance: July 31, 2018 ORGANISATION Honorific Chair · Lajos Hanzo, University of Southampton, UK General Chair · Abderrahim Benslimane, University of Avignon, France Steering Committee · Abderrahim Benslimane - University of Avignon, France · Hsiao-Hwa Chen - National Cheng Kung University, Taiwan · Khaled Ben Letaief - Hong Kong University of Science and Technology, HK · Victor C. M. Leung - University of British Columbia, Canada · Samuel Pierre - Ecole Polytechnique de Montreal, Canada · Dovan Thanh - Telenor & Norwegian Univ. of Science & Technology, Norway Executive Co-Chairs · Wessam Ajib, Universite du Quebec - Montreal, Canada · George Angelos Papadopoulos, University of Cyprus, Cyprus Workshop Co-Chairs · Nirwan Ansari, New Jersey Institute of Technology, USA · Hossam Hassanein, Queen's University, Canada · Anna Maria Vegni - Roma Tre University, Italy TPC Co-Chairs · Abbas Bradai, XLIM Institute, University of Poitiers, France · Brigitte Jaumard, Concordia University, Canada · Ming Li, University of Arizona, USA · Qi Liao, Nokia Bell Labs, Germany Publication Co-Chairs · Abderrahim Benslimane, University of Avignon, France · Corinna Schmitt, University of Zurich, Switzerland Publicity Co-Chairs · Abdellatif Ezzouhairi, ENSA Fez, Morocco · Chunxiao Jiang, Tsinghua University, China · Neeraj Kumar, Thapar University, India · Cristina López-Bravo, Universidade de Vigo, Spain · Roca Vincent, INRIA Rhone-Alpes, France -------------- next part -------------- An HTML attachment was scrubbed... URL: From gwen.salaun at inria.fr Wed Mar 28 13:25:26 2018 From: gwen.salaun at inria.fr (Gwen =?iso-8859-1?Q?Sala=FCn?=) Date: Wed, 28 Mar 2018 13:25:26 +0200 (CEST) Subject: [fg-arc] PhD position Message-ID: <99332480.253867.1522236326415.JavaMail.zimbra@inria.fr> Please find below details about a PhD position on "Fault Localization and Explanation for Concurrent Programs" available at Inria Grenoble (France). Deadline for applying: May 1, 2018. [ https://jobs.inria.fr/public/classic/fr/offres/2018-00510 | https://jobs.inria.fr/public/classic/fr/offres/2018-00510 ] Best wishes, Gwen -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpulina at uniss.it Fri Mar 30 09:14:30 2018 From: lpulina at uniss.it (Luca Pulina) Date: Fri, 30 Mar 2018 09:14:30 +0200 Subject: [fg-arc] QBFEVAL'18 -- Registration closes in 1 week Message-ID: <6ffb7522-937f-4554-dcbd-7be40c429d54@uniss.it> ****************************************************************************************** QBFEVAL'18 - Competitive Evaluation of QBF Solvers A joint event with the 21st Int. Conference on Theory and Applications of Satisfiability Testing (SAT) (affiliated with FLoC 2018) Oxford, UK, July 9 - July 12 2018 ****************************************************************************************** QBFEVAL'18 is the 2018 competitive evaluation of QBF solvers, and the thirteenth evaluation of QBF solvers and instances ever. QBFEVAL'18 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge representation & reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval18.php For questions, comments and any other issue regarding QBFEVAL'18, please get in touch with the organizers via qbf18 at qbflib.org. ** Important Dates ** -    Registration open: March 14 (for all tracks) -    Registration close: April 7 -    Solvers and Benchmarks due: April 14 (for all tracks except Hard-Instances Track) -    First stage results: April 30 -    Second stage solvers due: May 10 (for all tracks except Hard-Instances Track) -    Hard instances solver due: June 1 -    Competition Benchmarks available for download: June 14 -    Final results: presented at SAT'18 ** Organizing committee ** * Organization * Luca Pulina, University of Sassari Martina Seidl, Johannes Kepler Universitat Linz * Judges * Olaf Beyersdorff, University of Leeds Christoph Wintersteiger, Microsoft Research Limited -- Luca Pulina, Ph.D. Associate Professor of Computer Science University of Sassari Tel. +39 079 228987 -------------- next part -------------- An HTML attachment was scrubbed... URL: From wadt18 at outlook.com Fri Mar 30 17:45:11 2018 From: wadt18 at outlook.com (WADT 2018) Date: Fri, 30 Mar 2018 15:45:11 +0000 Subject: [fg-arc] WADT 2018 - 2nd Call for Papers Message-ID: ====================================================================== SECOND CALL FOR PAPERS – Submission is now open! WADT 2018 24th International Workshop on Algebraic Development Techniques http://wadt18.cs.rhul.ac.uk July 2–5, 2018, Royal Holloway University of London, Egham, UK ====================================================================== AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: – Foundations of algebraic specification – Other approaches to formal specification, including process calculi and models of concurrent, distributed, and cyber-physical systems – Specification languages, methods, and environments – Semantics of conceptual modelling methods and techniques – Model-driven development – Graph transformations, term rewriting, and proof systems – Integration of formal specification techniques – Formal testing and quality assurance, validation, and verification – Algebraic approaches to cognitive sciences, including computational creativity WORKSHOP FORMAT AND LOCATION The workshop will take place over four days, Monday to Thursday, at Royal Holloway University of London in Egham, UK (https://www.royalholloway.ac.uk). Presentations will be selected on the basis of submitted abstracts. INVITED SPEAKERS Artur d'Avila Garcez (City, University of London, UK) Rolf Hennicker (LMU Munich, Germany) Kai-Uwe Kühnberger (Osnabrück University, Germany) Fernando Orejas (Technical University of Catalonia, Spain) IMPORTANT DATES Submission deadline for abstracts: April 27th, 2018 Notification of acceptance: May 18th, 2018 Early registration: June 1st, 2018 Final abstract due: June 1st, 2018 Workshop: July 2–5, 2018 SUBMISSIONS The scientific programme of the workshop will include presentations of recent results or ongoing research as well as invited talks. The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance and general interest. Abstracts must not exceed two pages including references; if a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. Abstracts have to be submitted electronically via the EasyChair system at https://easychair.org/conferences/?conf=wadt18. PROCEEDINGS After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed by the Programme Committee. Selection will be based on originality, soundness, and significance of the presented ideas and results. The proceedings will be published as a volume of Lecture Notes in Computer Science (Springer). The deadline for submissions will be September 3, 2018, with notifications by October 29. Camera-ready versions will be required by November 11. SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3. WADT STEERING COMMITTEE Andrea Corradini (Italy) José Fiadeiro (UK) [co-chair] Rolf Hennicker (Germany) Hans-Jörg Kreowski (Germany) Till Mossakowski (Germany) Fernando Orejas (Spain) Markus Roggenbach (UK) Grigore Roșu (United States) PROGRAMME COMMITEE Paolo Baldan (Italy) Andrea Corradini (Italy) Artur d'Avila Garcez (UK) Răzvan Diaconescu (Romania) José Fiadeiro (UK) [co-chair] Fabio Gadducci (Italy) Reiko Heckel (UK) Rolf Hennicker (Germany) Alexander Knapp (Germany) Barbara König (Germany) Antónia Lopes (Portugal) Narciso Marti-Oliet (Spain) Till Mossakowski (Germany) Fernando Orejas (Spain) Leila Ribeiro (Brazil) Markus Roggenbach (UK) Pierre-Yves Schobbens (Belgium) Lutz Schröder (Germany) Pawel Sobocinski (UK) Ionuț Țuțu (UK) [co-chair] Martin Wirsing (Germany) ORGANIZING COMMITTEE Claudia Chiriță (UK) José Fiadeiro (UK) Ionuț Țuțu (UK) CONTACT INFORMATION Email: wadt18 at cs.rhul.ac.uk Homepage: http://wadt18.cs.rhul.ac.uk -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Thu Mar 29 13:09:30 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 29 Mar 2018 13:09:30 +0200 Subject: [fg-arc] HighPer 2018: early registration March 30 Message-ID: <545102060a010b0500565701060b5a5c00560d530708055506010c570555000351030105035b545555070550545657@grlmc_ip-zone_com-6> HighPer 2018: early registration March 30*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************************************** INTERNATIONAL SPRING SCHOOL ON HIGH PERFORMANCE COMPUTING HighPer 2018 San Sebastián / Donostia, Spain April 23-27, 2018 Organized by: Materials Physics Center (CSIC-UPV/EHU), Donostia International Physics Center (DIPC), and Rovira i Virgili University http://grammars.grlmc.com/HighPer2018/ ***************************************************************************** --- Early registration deadline: March 30, 2018 --- ***************************************************************************** SCOPE: HighPer 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of high performance computing, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most subareas of high performance computing will be displayed, from foundations, infrastructure and management to applications. Major challenges in the field will be identified through 1 keynote lecture, 19 five-hour and fifteen-minute courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles. ADDRESSED TO: Master students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, HighPer 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. STRUCTURE: 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. VENUE: HighPer 2018 will take place in San Sebastián, a famous touristic coastal city in the Basque Country which was European Capital of Culture 2016. The venue will be: Centro Ignacio María Barriola Universidad del País Vasco / Euskal Herriko Unibertsitatea Campus de Gipuzkoa Plaza Elhuyar, 1 20018 San Sebastián / Donostia Spain KEYNOTE SPEAKER: Tony Hey (Rutherford Appleton Laboratory, UK Science and Technology Facilities Council), Big Scientific Data and Data Science PROFESSORS AND COURSES: Srinivas Aluru (Georgia Institute of Technology), [intermediate] High Performance Computational Biology David A. Bader (Georgia Institute of Technology), [introductory/intermediate] Massive-scale Graph Analytics Ümit V. Çatalyürek (Georgia Institute of Technology), [introductory/intermediate] HPC Graph Analytics Alan Edelman (Massachusetts Institute of Technology), [introductory] Julia, with an Introduction to Performance and Machine Learning Richard Fujimoto (Georgia Institute of Technology), [intermediate] Parallel Discrete Event Simulation Timothy C. Germann (Los Alamos National Laboratory), [intermediate] HPC Frontiers in Computational Materials Science and Engineering Lennart Johnsson (University of Houston), [introductory/intermediate] Energy Efficient Computing Alfio Lazzaro (University of Zurich), [introductory/intermediate] Code Performance Optimizations Andrew Lumsdaine (Pacific Northwest National Laboratory), [intermediate/advanced] Modern C++ for High-performance Computing Madhav Marathe (Virginia Polytechnic Institute and State University), [introductory/advanced] Massively Interacting Bio-social Systems: Pervasive, Personalized and Precision Analytics Frank Mueller (North Carolina State University), [introductory/intermediate] How to Parallelize Your Code: Taking Stencils from OpenMP to MPI, CUDA and TensorFlow Adrian Sandu (Virginia Polytechnic Institute and State University), [introductory/intermediate] Revealing Parallelism: How to Decompose your Problem into Concurrent Tasks Vivek Sarkar (Georgia Institute of Technology), [introductory] Fundamentals of Parallel, Concurrent, and Distributed Programming Marc Snir (University of Illinois at Urbana-Champaign), [introductory] Programming Models and Run-times for High-Performance Computing Josep Torrellas (University of Illinois at Urbana-Champaign), [intermediate/advanced] Parallel Computer Architecture Concepts Todd J. Treangen (University of Maryland, College Park), [intermediate] Metagenomic Assembly and Validation Elena Vataga (University of Southampton), [introductory] Hands-on Introduction to HPC for Life Scientists Uzi Vishkin (University of Maryland, College Park), [introductory/intermediate] Parallel Algorithmic Thinking and How It Has Been Affecting Architecture David Walker (Cardiff University), [intermediate] Parallel Programming with OpenMP, MPI, and CUDA OPEN SESSION An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by April 16, 2018. INDUSTRIAL SESSION: A session will be devoted to 10-minute demonstrations of practical applications of high performance computing in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018. EMPLOYER SESSION: Firms searching for personnel well skilled in high performance computing will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018. ORGANIZING COMMITTEE: Íñigo Aldazabal Mensa (co-chair) Carlos Martín-Vide (co-chair) Manuel J. Parra-Royón Txomin Romero Asturiano (co-chair) David Silva REGISTRATION: It has to be done at http://grammars.grlmc.com/HighPer2018/registration.php  The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For logistic reasons, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event. FEES: Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions for accommodation are available on the webpage. CERTIFICATE: Participants will be delivered a certificate of attendance indicating the number of hours of lectures. QUESTIONS AND FURTHER INFORMATION: david.silva409 (at) yahoo.com ACKNOWLEDGMENTS: Centro de Física de Materiales (CSIC-UPV/EHU) Donostia International Physics Center (DIPC) Universitat Rovira i Virgili   -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Mar 29 15:45:27 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 29 Mar 2018 16:45:27 +0300 Subject: [fg-arc] 2018 European Conference on Ambient Intelligence (AmI 2018): Call for Workshop Proposals Message-ID: *** CALL FOR WORKSHOP PROPOSALS *** 2018 European Conference on Ambient Intelligence (AmI 2018) Golden Bay Beach Hotel, Larnaca, Cyprus, 12-14 November, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogQ2FsbCBmb3IgV29ya3Nob3AgUHJvcG9zYWxzCTE2NwlMaXN0cwkxNjYJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fami2018 *** Deadline for proposals: 1 May 2018 *** Ambient intelligence refers to normal working and living environments being surrounded by embedded devices that can merge unobtrusively and in natural ways using information and intelligence hidden in the network connecting these devices (e.g. The Internet of Things). Such devices, each specialised in one or more capabilities, are intended to work together based on an infrastructure of intelligent systems, to provide a variety of services improving safety, security and the quality of life in ordinary living, travelling and working environments. The 2018 European Conference on Ambient Intelligence (AmI 2018) has a focus on the role of Ambient Intelligence "Towards a Smart and Human Centered Internet of Things". The workshops at AmI2018 will enhance and complement the conference program by providing an opportunity to present new or emerging and cutting-edge topics of particular interest in the field and related areas. We invite workshop proposals in any topic(s) of interest to Ambient Intelligence and related to the conference. Each workshop proposal should be emailed to the two workshop chairs, and should contain the following information: · workshop title, · duration (half day or full day), · a description of the specific scientific/technical scope of the workshop, · a list of topics of interest, · the reasons why the workshop should be held within AmI2018, · details of all the members of the Organizing Committee (OC), · relevant experience of the organizers, · identification of the member of the OC who is the contact person, · the list of members of Workshop Program Committee, · a preliminary version of the Call for Papers, · the proposed structure of the workshop, · planned forms of publicity and publication plans (if any, or if they want to publish in the collective volume, see below). Workshop Acceptance Rules The decision on which proposed workshops get accepted will be carried-out through a two-stage process. Initially some of the workshops proposed will be short-listed, based on the quality of the proposal and the relevance of the topics covered. These workshops will later be confirmed at the Final Selection Stage if they have successfully attracted a sufficient number of reasonable quality submissions and the corresponding number of registrations for these submissions. Indicative numbers: half-day workshops should have at least 5 registrations and full day workshops should have at least 10. If necessary, workshops will be merged to provide a viable programme. Financial Support Some degree of financial support may be given to the workshop organizers, dependent on the success of the workshop. Important Dates · Receipt of workshop proposals: 1 May 2018 · Shortlist of stage 1 accepted workshops: 20 May 2018 · Workshop CfPs and Websites: 31 May 2018 · Workshop Chairs to receive papers from authors: 1 September 2018 · Workshop author registration 30 September 2018 · Accepted workshops stage 2: 15 October 2018 · Workshop day: 12 November 2018 Proceedings Accepted workshops can follow their own publication path, provided that they acknowledge AmI2018 in the publication and inform the workshop and conference organizers. For workshops that are interested, collective proceedings can be published in CEUR. Workshops Chairs Ioannis Chatzigiannakis (Sapienza University of Rome, Italy) ichatz at diag.uniroma1.it Fariba Sadri (Imperial College London, UK) f.sadri at imperial.ac.uk -------------- next part -------------- An HTML attachment was scrubbed... URL: From schwindn at gmail.com Sat Mar 31 21:39:43 2018 From: schwindn at gmail.com (Nicolas Schwind) Date: Sat, 31 Mar 2018 21:39:43 +0200 Subject: [fg-arc] Call for Papers - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018 Message-ID: Conference name: MIWAI 2018, the 12th Multi-disciplinary International Conference on Artificial Intelligence Venue: Hanoi, Vietnam Dates: November 18-20th, 2018 Website: https://khamreang.msu.ac.th/miwai18/index.html The 12th Multi-disciplinary International Conference on Artificial Intelligence (MIWAI 2018) will be held in Hanoi, Vietnam, 18-20th November 2018. The theme for this year's event is "Intelligent World". The main objective of the conference is to present the latest research and results of scientists related to AI topics. MIWAI 2018 provides opportunities for the delegates to exchange new ideas and establish future collaborations. This year the conference is organized by Mahasarakham University, with association of Vietnam Academy of Science and Technology and University of Science and Technology of Hanoi, Vietnam. MIWAI aims to promote AI research in both theoretical and applied research addressing real-world applications. We encourage researchers to submit their unpublished papers in the following areas, but not limited to: - Theoretical Foundation: Cognitive Science; Computational Philosophy; Game Theory; Graphical Models; Knowledge Representation and Reasoning; Logic; Fuzzy Logic; Multi-agent Systems; Neurosciences; Probabilistic Reasoning; Qualitative Reasoning; Uncertainty. - Cognitive Computing: Affective Computing; Computer Vision; Natural Language Processing; Self-aware Systems; Speech Recognition; Social Cognition - Computational Intelligence: Artificial Intelligence; Deep Learning; Evolutionary Computing; Machine Learning; Pattern Recognition; Planning and Scheduling; Social Computing; Swarm Intelligence - AI Applications: Ambient Intelligence; Big Data Analysis; Biometrics; Bioinformatics; Brain Machine Interface; Chatbots; Creative Computing; Decision Support Systems; E-commerce; Energy Management; Health Assessment; Industrial Applications of AI; Intelligent Information Systems; Knowledge Management; Telecommunications and Web Services; Security and Privacy Management; Surveillance; Spam Filtering; Software Engineering; Social Networking Security; Semantic Web; Robotics; Recommender Systems; Sport and Rehabilitation; Virtual Reality & Augmented Reality. ------------------------------ Submission Guidelines: ------------------------------ MIWAI 2018 accepts both research and application papers (8-14 pages, oral presentation). All submissions will go through a double-blinded peer-review process. Paper selection will be on the basis of technical quality, relevance, significance, and clarity. Each paper should be written using the Springer-Verlag LNCS style. The authors' names and institutions should not appear in the paper. Springer-Verlag author instructions are available at: http://www.springer.com/lncs ------------------------------ Important Dates: ------------------------------ Conference dates: November 18-20, 2018 Submission deadline: July 1, 2018 (11:59PM UTC-10) Notification release: August 5, 2018 Camera-ready and early bird registration due: August 20, 2018. ------------------------------ Publication: ------------------------------ Our previous proceedings were published by Springer in LNAI, a topical subseries of LNCS focusing on artificial intelligence (Indexed in the ISI Conference Proceedings Citation Index, Scopus, EI Engineering Index, Google Scholar, Springerlink, DBLP, etc.). ------------------------------ CFP for Special Session: ------------------------------ The organizing committee can accept proposals for Special Session from authors that want to contribute to MIWAI2018. Please submit your special session proposals if you wish to solicit participants by email to the Program co-chairs at . Proposals should include: - Special Session title - A short description (2-3 lines) & covered topics - Session organizer(s) and chair(s) - List of speakers (when available) The deadline for special session proposals is on April 30, 2018 (11:59PM UTC-10). ------------------------------ Committee: ------------------------------ - Honorary Advisor: Sujin Butdisuwan, Mahasarakham University, Thailand - Steering Committee: Arun Agarwal, University of Hyderabad, India Rajkumar Buyya, University of Melbourne, Australia Patrick Doherty, University of Linkoping, Sweden Rina Dechter, University of California, Irive, USA Leon Van Der Torre, University of Luxembourg, Luxembourg Peter Haddawy, Mahidol University, Thailand James F. Peters, University of Manitoba, Canada Jérôme Lang, University Paris-Dauphine, France Somnuk Phon-Amnuaisuk, UTB, Brunei C Raghavendra Rao, University of Hyderabad, India Srinivasan Ramani, IIIT Bangalore, India - Conveners: Richard Booth, Cardiff University, UK Chattrakul Sombattheera, Mahasarakham University, Thailand - General Co-Chair: Duc Dung Nguyen, Institute of Information Technology, Vietnam Academy of Science and Technology, Vietnam Rainer Malaka, University of Bremen, Germany - Program Co-Chair: Manasawee Kaenampornpan, Mahasarakham University, Thailand Nicolas Schwind, National Institute of Advanced Industrial Science and Technology, Japan - Organizing Co-Chair: Phatthanaphong Chomphuwiset, Mahasarakham University, Thailand Khachakrit Liemthaisong, Mahasarakham University, Thailand - Local Co-Chair: Quang Doan Nhat Luong Chi Mai - Publicity Co-Chair: Olarik Surinta, Mahasarakham University, Thailand Supakit Nootyaskool, King Mongkut's Institute of Technology, Thailand - Finance Co-Chair: Rapeeporn Chamchong, Mahasarakham University, Thailand - Webmaster: Chaya Hiruncharoenvate, Mahasarakham University, Thailand Panich Sudkhot, Mahasarakham University, Thailand ------------------------------ Contact: ------------------------------ All questions about submissions should be emailed to . -------------- next part -------------- An HTML attachment was scrubbed... URL: