From mayerhofer at big.tuwien.ac.at Fri Feb 3 17:27:42 2017 From: mayerhofer at big.tuwien.ac.at (Mayerhofer Tanja) Date: Fri, 3 Feb 2017 16:27:42 +0000 Subject: [fg-arc] Call for Tutorial Proposals - MODELS 2017 Message-ID: <6106bcb65ac54cbd87fcb5531a9ca53f@mbx13b.intern.tuwien.ac.at> [Our apologies for multiple posts] ************************************************************** MODELS 2017 - Call for Tutorial Proposals ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems Austin, Texas, Sept 17-22, 2017 http://www.modelsconference.org/ *************************************************************** Following the tradition of previous conferences, MODELS 2017 will host tutorials as part of its satellite events on September 17-19, 2017. Tutorials provide intensive courses on topics in the area of model-based software and systems engineering ranging from modeling methodologies and research methods through new modeling tools and technologies to thoughts on the past, current, and future development of the modeling discipline. ------------------------ Important Dates ------------------------ - Submission: March 10, 2017 - Notification: April 10, 2017 - Tutorials: September 17-19, 2017 ------------------------ Audience ------------------------ Tutorials target an audience of practitioners, researchers (academic and industrial), students, and developers familiar with and already working with modeling techniques. The target audience typically has a strong interest in Model-Driven Engineering (MDE), including work on improving and evolving modeling languages (such as UML or DSLs), developing sophisticated MDE tool support, and using MDE to develop/test/reverse/maintain complex systems. Potential attendees may also be interested in how modeling has been applied effectively in specialized domains (e.g., in the automotive industry), and in learning about successful uses of MDE methods in real-world applications. ------------------------ Topics ------------------------ The following themes are examples of what is considered relevant for tutorials: - Modeling techniques for specific domains - Modeling methodologies and model-oriented processes - Presentation of new tools or new versions of old tools (e.g., modeling tools, language workbenches, model transformation languages, model verification tools, model execution tools) - Dissemination of project results from industry-related projects - Teaching of model-driven software development - Research methods in MD* (Model-Driven Development (MDD), Model Driven Engineering (MDE), Model Driven Software Development (MDSD), etc.) - Modeling for re-engineering and legacy evolution - Empirical studies in the context of modeling - User experience in model-based software engineering - Practical experiences of general interest - General topics of interest to young researchers, like presentation skills or research methodologies For more details please visit: http://www.modelexecution.org/models2017tutorials/ ------------------------ Proposal Contents ------------------------ All submissions must be in English and adhere to the IEEE formatting instructions (https://goo.gl/UAQ5Ci). The submission must include the following information in the indicated order: - Title - Presenters: Name, affiliation, contact information, and short bio. Authors of the proposal or tutorial material, who are not going to be presenting, may be listed, but must be listed last with a footnote "Author only; will not be presenting". - Abstract (maximum of 200 words) If accepted, the abstract will be used to advertise the tutorial. Thus, the abstract should clearly highlight the goals of the tutorial and the skills that participants will acquire. - Keywords (at least 3 keywords) - Proposed length: half-day (3 hours) or full-day (6 hours) Regular tutorials should be setup as half-day tutorials (3 hours). A proposal for a full-day tutorial (6 hours) must be accompanied by a clear justification of why 6 hours are necessary. - Level of the tutorial: beginner/introduction or advanced - Target audience and any prerequisite background required by attendees to be able to follow the tutorial (beyond average modeling skills) - Description of the tutorial and intended outline (maximum of 4 pages) - Novelty of the tutorial List offerings of similar tutorials at previous editions of the MODELS conference or other conferences, and discuss the differences with respect to the current proposal. - Required infrastructure Declare any infrastructure that you would need for your tutorial besides a data projector (e.g., flip charts, white boards). We will do our best together with the local organizers to provide you with the needed infrastructure. - Sample slides (minimum of 6 slides, maximum of 40 slides) - Supplementary material (optional) ------------------------ Submission Instructions ------------------------ Proposals must be submitted electronically in PDF format through the MODELS 2017 Tutorials EasyChair submission page (https://easychair.org/conferences/?conf=tmodels2017) by March 10, 2017 anywhere on earth (local times). This is a hard deadline. No extensions will be allowed. ------------------------ Review Process ------------------------ The Tutorials Selection Committee will review each submitted proposal to ensure high quality, and select tutorials based on their anticipated benefit for prospective participants and their fit within the tutorial program as a whole. Factors to be considered also include: relevance, timeliness, importance, and audience appeal; effectiveness of teaching methods; and past experience and qualifications of the instructors. The goal will be to provide a diverse set of tutorials that attracts a high level of interest among broad segments of the MODELS participants. ------------------------ Compensation ------------------------ As in previous years, participants will pay a single satellite fee, which will cover both tutorials and workshops. This permits unifying the treatment of workshops and tutorials, and it makes tutorials more attractive to attendees. Under this schema, tutorial presenters will not receive monetary compensation, and will have to pay their own registration to the satellite events. By submitting a tutorial proposal, the presenter accepts that there will be no compensation for giving the tutorial if accepted and that the registration fees for the instructors have to be funded by the instructors themselves. The benefit to the presenter is the opportunity to extend their sphere of influence to the MODELS community. ------------------------ Tutorial Chairs ------------------------ Silvia Abrahão, Universitat Politècnica de València, Spain Tanja Mayerhofer, TU Wien, Austria ------------------------ Selection Committee ------------------------ - Colin Atkinson, University of Mannheim, Germany - Loli Burgueño, University of Málaga, Spain - Juergen Dingel, Queen's University, Canada - Geri Georg, Colorado State University, USA - Esther Guerra, Universidad Autónoma de Madrid, Spain - Emilio Insfran, Universitat Politecnica de Valencia, Spain - Richard Paige, University of York, UK - Ernesto Posse, Zeligsoft, Canada - Bran Selic, Malina Software Corp., Canada - Arnor Solberg, SINTEF, Norway - Tao Yue, Simula Research Laboratory, Norway For further information, please contact the tutorial chairs at models-tutorials at cs.utexas.edu. From bogom.s at gmail.com Sat Feb 4 10:40:52 2017 From: bogom.s at gmail.com (Sergiy Bogomolov) Date: Sat, 4 Feb 2017 20:40:52 +1100 Subject: [fg-arc] CfP: DEADLINE EXTENSION for 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (ETAPS 2017) Message-ID: <016601d27eca$efae0b20$cf0a2160$@gmail.com> CALL FOR PAPERS SNR 2017 -- DEADLINE EXTENSION UNTIL FEBRUARY 17 ======== 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis April 22, 2017, Uppsala, Sweden Affiliated with ETAPS 2017 http://snr2017.pages.ist.ac.at/ Important Dates =============== Paper submission: February 17, 2017 Notification: March 10, 2017 Final version: March 24, 2017 Workshop date: April 22, 2017 Scope ===== Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and synthesis problems for hybrid systems. There are several successful methods for hybrid systems reachability analysis. Some methods explicitly construct flow-pipes that over-approximate the set of reachable states over time, where efficient computation of such over-approximations requires symbolic representations such as support functions. Other methods based on satisfiability checking technologies, symbolically encode reachability properties as logical formulas, while solving such formulas requires numerically-driven decision procedures. Last but not least, also automated deduction and the usage of theorem provers led to efficient analysis approaches. The goal of this workshop is to bring together researchers working with different reachability analysis techniques and to seek for synergies between the different approaches. The SNR workshop solicits papers broadly in the area of analysis and synthesis of continuous and hybrid systems. The scope of the workshop includes, but is not restricted to, the following topics with application to continuous and hybrid systems: - Reachability analysis - Flow-pipe construction; symbolic state set representations - Logical frameworks for reasoning - Bounded model checking - Automated deduction - Invariant generation - Symbolic execution - Trajectory generation; counterexample computation - Abstraction techniques - Reliable integration - Simulation - Reachability analysis for planning and synthesis - Domain-specific approaches in biology, robotics, etc. - Stochastic/probabilistic hybrid systems Submission Information ====================== The workshop solicits - long research papers (not exceeding 15 pages excluding references), - short research papers (not exceeding 6 pages excluding references) and - work-in-progress papers (not exceeding 6 pages excluding references). Research papers must present original unpublished work which is not submitted elsewhere. In order to foster the exchange of ideas, we also encourage work-in-progress papers, which present recent or on-going work. The papers should be written in English and formatted according to the EPTCS guidelines (http://style.eptcs.org/). Papers can be submitted using the EasyChair system: https://easychair.org/conferences/?conf=snr2017 All submissions will undergo a peer-reviewing process. Accepted research papers will be presented at the workshop and published in the Electronic Proceedings in Theoretical Computer Science (EPTCS, http://www.eptcs.org/). Accepted work-in-progress papers will be presented at the workshop but will not be included in the proceedings. Invited Speakers ================ TBA Workshop Co-Chairs ================== Erika Abraham (RWTH Aachen University, Germany) Sergiy Bogomolov (Australian National University, Australia) Publicity Chair =============== Przemyslaw Daca (Institute of Science and Technology Austria, Austria) Program Committee ================= Matthias Althoff (Technische Universitaet Muenchen, Germany) Stanley Bak (United States Air Force Research Lab, USA) Franck Cassez (Macquarie University, Australia) Xin Chen (University of Colorado at Boulder, USA) Thao Dang (CNRS/VERIMAG, France) Martin Fraenzle (University of Oldenburg, Germany) Goran Frehse (Verimag, France) Antoine Girard (L2S, CNRS, France) Thomas Heinz (Robert Bosch GmbH, Germany) Hui Kong (Institute of Science and Technology Austria, Austria) Oleksandr Letychevskyi (Glushkov Institute of Cybernetics, Ukraine) Nikolaj Nikitchenko (Kyiv National Taras Shevchenko University, Ukraine) Maria Prandini (Politecnico di Milano, Italy) Stefan Ratschan (Academy of Sciences, Czech Republic) Rajarshi Ray (National Institute of Technology Meghalaya, India) Stavros Tripakis (Aalto University, Finland, and UC Berkeley, USA) Vladimir Ulyantsev (ITMO University, Russia) Edmund Widl (Austrian Institute of Technology, Austria) Paolo Zuliani (University of Newcastle, UK)" -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Feb 5 13:25:34 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 5 Feb 2017 14:25:34 +0200 Subject: [fg-arc] 9th International Conference on Computational Collective Intelligence (ICCCI 2017): Fourth Call for Papers Message-ID: *** Fourth Call for Papers *** 9th International Conference on Computational Collective Intelligence ICCCI 2017 Hilton Cyprus, Nicosia, Cyprus 27 - 29 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBGb3VydGggQ2FsbCBmb3IgUGFwZXJzCTI0CUxpc3RzCTE4NQljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F Computational Collective Intelligence is most often understood as an AI subfield dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. ICCCI 2017 is the 9th edition of the conference organized by the University of Cyprus and Wroclaw University of Science and Technology in Poland, in cooperation with the IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of the conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. Instructions to Authors Prospective authors of papers are invited to submit contributions for presentations at ICCCI 2017. The submissions should present the results of original research or innovative practical applications relevant to the conference topics. Practical experiences with state-of-the-art in CCI methodologies are also acceptable to reflect lessons of unique value for the conference attendees. Contributions should be original and not published elsewhere or intended to be published during the review process. The conference language is English. The conference proceedings of ICCCI 2017 will be published in the prestigious Lecture Notes in Artificial Intelligence series by Springer and indexed by ISI(CPCI-S), Web of Science, EI, Scopus, DBLP, ACM Digital Library. All submissions should follow the LNCS/LNAI style and not exceed 10 pages. At least one full registration is required for each accepted paper in order to be included in the ICCCI 2017 proceedings. Each paper is to be submitted electronically as a single PDF file through EasyChair at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBGb3VydGggQ2FsbCBmb3IgUGFwZXJzCTI0CUxpc3RzCTE4NQljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Diccci2017 . To ensure high quality, all papers will be thoroughly reviewed by the ICCCI 2017 International Program Committee. Referees will be asked to nominate papers for a Best Paper award to be announced at the conference. All accepted papers must be presented by one of the authors who must register for the conference and pay the author registration fee. A selected number of accepted and personally presented papers, will be expanded and revised for possible inclusion in special issues of high quality scientific journals. Topics of Interest We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: · Agent Theory and Application · Automated Reasoning · Cognitive Modeling of Agent Systems · Collective Intelligence · Collective Processing · Computational Biology · Computer Vision · Computational Intelligence · Computational Security · Consensus Computing · Cooperative Systems and Control · Cybernetics for Informatics · Data Integration · Data Mining for Social Networks · Distributed Intelligence · Evolutionary computing · Fuzzy Systems · Geographic Information Systems · Grey Theory · Group Decision Making · Hybrid Systems · Information Retrieval and Integration · Information Hiding · Intelligent Architectures · Intelligent Applications · Intelligent Buildings · Intelligent Control · Intelligent E-learning/Tutoring · Intelligent Image Processing · Intelligent Networks · Intelligent Transportation Systems · Knowledge Integration · Knowledge Representation · Knowledge-Based Systems · Logic in Intelligence · Machine Learning · Mobile Intelligence · Multicriteria Decision Making · Natural Language Processing · Optimization and Swarm Intelligence · Pattern Recognition · Probabilistic and Uncertain Reasoning · Rough Sets · Semantic Web · Smart Living Technology · Smart Sensor Networks · Soft Computing · Social Networks · Ubiquitous Computing · Web Intelligence and Interaction Important Dates · Submission of Papers: April 1, 2017 · Notification of Acceptance: May 1, 2017 · Camera-ready Submission: May 15, 2017 · Registration and Payment for Authors: June 15, 2017 · Conference Dates: September 27-29, 2017 Organization Honorary Chairs · Costas Christophides, Rector of University of Cyprus, Cyprus · Pierre Lévy, University of Ottawa, Canada · Cezary Madryas, Rector of Wroclaw University of Technology, Poland General Chairs · Ngoc Thanh Nguyen, Wroclaw University of Science and Technology, Poland · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Costin Badica, University of Craiova, Romania · Piotr Jedrzejowicz, Gdynia Maritime University, Poland · Kazumi Nakamatsu, University of Hyogo, Japan Organising Chair · Georgia Kapitsaki, University of Cyprus, Cyprus Special Sessions and Workshops Chairs · Achilleas Achilleos, University of Cyprus, Cyprus · Bogdan Trawinski, Wroclaw University of Science and Technology, Poland Doctoral Track Chair · George Pallis, University of Cyprus, Cyprus Publicity Chair · Christos Mettouris , University of Cyprus, Cyprus Local Organising Committee · Marios Komodromos, University of Cyprus, Cyprus · Christos Mettouris, University of Cyprus, Cyprus · Rafa Kern, Wroclaw University of Science and Technology, Poland · Marcin Pietranik, Wroclaw University of Science and Technology, Poland · Zbigniew Telec, Wroclaw University of Science and Technology, Poland Steering Committee · Ngoc Thanh Nguyen (chair), Wroclaw University of Science and Technology, Poland · Piotr Jedrzejowicz, Gdynia Maritime University, Poland · Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan · Kiem Hoang, University of Information Technology, VNU-HCM, Vietnam · Lakhmi C. Jain, University of South Australia, Australia · Geun-Sik Jo, Inha University, Korea · Janusz Kacprzyk, Polish Academy of Sciences, Poland · Ryszard Kowalczyk, Swinburne University of Technology, Australia · Toyoaki Nishida, Kyoto University, Japan · Manuel Núñez, Universidad Complutense de Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sun Feb 5 14:57:23 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 05 Feb 2017 14:57:23 +0100 Subject: [fg-arc] LATA 2017: call for participation Message-ID: <545102060a010b010553550300075a015b050d5100010e5157070c5707575a505d5156005708050503005205540207@grlmc_ip-zone_com-6> LATA 2017: call for participation****************************************************************************** 11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2017 Umeå, Sweden March 6-9, 2017 Organized by:      Department of Computing Science Umeå University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/LATA2017/ ****************************************************************************** PROGRAM Monday, March 6 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30 Thomas Wilke: Finite Backward Deterministic Automata on Infinite Words - Invited Lecture 10:30 - 11:00    Coffee Break 11:00 - 12:15 Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann: A Stable Non-interleaving Early Operational Semantics for the Pi-calculus Adam Jardine, Kevin McMullin: Efficient Learning of Tier-based Strictly k-Local Languages Makoto Kanazawa, Ryo Yoshinaka: The Strong, Weak, and Very Weak Finite Context and Kernel Properties 12:15 - 13:45    Lunch 13:45 - 15:00 Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas: N-Memory Automata Over the Alphabet N Lisa Hutschenreiter, Rafael Peñaloza: An Automata View to Goal-directed Methods Ruggero Lanotte, Massimo Merro: A Calculus of Cyber-Physical Systems 15:00 - 15:15    Break 15:15 - 16:30 Costas S. Iliopoulos, Ritu Kundu, Solon P. Pissis: Efficient Pattern Matching in Elastic-Degenerate Texts Shmuel Tomi Klein, Dana Shapira: Integrated Encryption in Dynamic Arithmetic Compression Manasi S. Kulkarni, Kalpana Mahalingam: Two-Dimensional Palindromes and Their Properties --- Tuesday, March 7 09:00 - 09:50 Georg Gottlob, Christoph Koch, Andreas Pieris: Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data - Invited Lecture 09:50 - 10:20    Coffee Break 10:20 - 11:35 Janusz A. Brzozowski, Corwin Sinnamon: Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer: On the Complexity of Hard Enumeration Problems Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa: Consensus String Problem for Multiple Regular Languages 11:35 - 13:05    Lunch 13:05 - 14:20 Johannes Schmidt: The Weight in Enumeration Johanna Björklund, Loek Cleophas: Minimization of Finite State Automata Through Partition Aggregation Haiming Chen, Ping Lu: Derivatives and Finite Automata of Expressions in Star Normal Form 14:20 - 14:35    Break and Group Photo 14:35 - 15:50 Henk Don, Hans Zantema: Finding DFAs with Maximal Shortest Synchronizing Word Length Hellis Tamm, Brink Van Der Merwe: Lower Bound Methods for the Size of Nondeterministic Finite Automata Revisited Dusan Knop: Partitioning Graphs into Induced Subgraphs 16:00 - 18:00    Touristic Visit --- Wednesday, March 8 09:00 - 09:50 Franz Baader, Oliver Fernández Gil, Pavlos Marantidis: Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL0 - Invited Lecture 09:50 - 10:20    Coffee Break 10:20 - 11:35 Nariyoshi Chida, Kimio Kuramitsu: Linear Parsing Expression Grammars Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan: On Finite-Index Indexed Grammars and Their Restrictions Mark-Jan Nederhof, Anssi Yli-Jyrä: A Derivational Model of Discontinuous Parsing 11:35 - 13:05    Lunch 13:05 - 14:20 Jirí Síma, Petr Savický: Cut Languages in Rational Bases Giovanni Casu, G. Michele Pinna: Merging Relations: a Way to Compact Petri Nets' Behaviors Uniformly Vidhya Ramaswamy, Jayalal Sarma, K. S. Sunil: Space Complexity of Reachability Testing in Labelled Graphs 14:20 - 14:35    Break 14:35 - 15:50 Dick Grune, Wan Fokkink, Evangelos Chatzikalymnios, Brinio Hond, Peter Rutgers: Detecting Useless Transitions in Pushdown Automata Chunmiao Li, Xiaojuan Cai: Hardness Results for Coverability Problem of Well-Structured Pushdown Systems Adrien Pommellet, Marcio Diaz, Tayssir Touili: Reachability Analysis of Pushdown Systems with an Upper Stack --- Thursday, March 9 09:00 - 09:50 Harald Beck, Minh Dao-Tran, Thomas Eiter: LARS Stream Reasoning and Temporal Logic - Invited Lecture 09:50 - 10:20    Coffee Break 10:20 - 11:10 Davide Bresolin, Ivan Lanese: Most General Property-Preserving Updates Bernd Gärtner, Ahad Noori Zehmakan: Color War: Cellular Automata with Majority Rule 11:10 - 11:25    Break 11:25 - 12:15 Stefan Gerdjikov, Stoyan Mihov: Over which Monoids is the Transducer Determinization Procedure Applicable? Mika Hirvensalo, Etienne Moutot and Abuzer Yakarylmaz: On the Computational Power of Affine Automata 12:15 - 12:25    Closing 12:25 - 13:55    Lunch -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Tue Feb 7 17:36:45 2017 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Tue, 7 Feb 2017 16:36:45 +0000 Subject: [fg-arc] [fm-announcements] SPIN 2017 - Paper Submission: Extended to February 17 Message-ID: SPIN 2017 24th International Symposium on Model Checking of Software Santa Barbara, CA, USA, July 13-14, 2017 http://conf.researchr.org/home/spin-2017 Collocated with ISSTA Paper Submission: Extended to February 17, 2017 (23:59:59 Anywhere on Earth) ________________________________ The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, empirical evaluation, and education. History: The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the Spin model checker. However, over the years it has evolved to a broadly scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution. An overview of the previous SPIN symposia (and early workshops) can be found at: http://spinroot.com/spin/symposia. SPIN 2017 will be organized as an ACM SIGSOFT event, collocated with the International Symposium on Software Testing and Analysis (ISSTA 2017): http://conf.researchr.org/home/issta-2017. The RERS Verification Challenge In addition there will be a one-day Rigorous Examination of Reactive Systems verification challenge Workshop (RERS 2017): http://www.rers-challenge.org/2017. ________________________________ SPIN 2017 Topics of interest include, but are not limited to: * Formal verification techniques for automated analysis of software * Formal analysis for modeling languages, such as UML/state charts * Formal specification languages, temporal logic, design-by-contract * Model checking * Automated theorem proving, including SAT and SMT * Verifying compilers * Abstraction and symbolic execution techniques * Static analysis and abstract interpretation * Combination of verification techniques * Modular and compositional verification techniques * Verification of timed and probabilistic systems * Automated testing using advanced analysis techniques * Combination of static and dynamic analyses * Derivation of specifications, test cases, or other useful material via formal analysis * Case studies of interesting systems or with interesting results * Engineering and implementation of software verification and analysis tools * Benchmark and comparative studies for formal verification and analysis tools * Formal methods education and training * Insightful surveys or historical accounts on topics of relevance to the symposium ________________________________ Keynote Speakers ________________________________ * Domagoj Babic, Google, Inc. * Byron Cook, Amazon Web Services * Gerard Holzmann, Nimble Research ________________________________ Submission Guidelines ________________________________ The contributions to SPIN 2017 will be published as ACM Proceedings, and should be submitted in the ACM Conference Format: https://www.acm.org/publications/proceedings-template (please use the sigconf template). Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions. We are soliciting two categories of papers: * Full Research Papers describing fully developed work and complete results (10 pages); * Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods education (4 pages). Papers should be submitted via the EasyChair SPIN 2017 submission website: https://easychair.org/conferences/?conf=spin2017. Best Paper awards will be given and announced at the conference. A selection of papers will be invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). ________________________________ Important Dates ________________________________ * Paper Submission: Extended to February 17, 2017 (23:59:59 Anywhere on Earth) * Author Notification: Updated to April 20, 2017 * Camera-Ready Paper: May 20, 2017 * Symposium: July 13-14, 2017 ________________________________ Organization ________________________________ * Hakan Erdogmus, Program Co-Chair, Carnegie Mellon University, USA * Klaus Havelund, Program Co-Chair, NASA/Caltech Jet Propulsion Laboratory, USA * Corina Pasareanu, Awards Chair, NASA Ames Research Center, USA * Yliès Falcone, Publicity Chair, Univ. Grenoble Alpes, Inria, France ________________________________ Program Committee ________________________________ * Erika Abraham, RWTH Aachen University, Germany * Christel Baier, Technical University of Dresden, Germany * Tom Ball, Microsoft Research, USA * Ezio Bartocci, Vienna University of Technology, Austria * Dirk Beyer, Ludwig-Maximilians-Universität München (LMU Munich), Germany * Armin Biere, Johannes Kepler University, Austria * Dragan Bosnacki, Eindhoven University of Technology, Netherlands * Zmago Brezocnik, University of Maribor, Slovenia * Sagar Chaki, Software Engineering Institute CMU, USA * Alessandro Cimatti, Fondazione Bruno Kessler, Italy * Lucas Cordeiro, University of Oxford, UK * Patrice Godefroid, Microsoft Research, USA * Susanne Graf, VERIMAG Laboratory, France * Radu Grosu, Vienna University of Technology, Austria * Arie Gurfinkel, University of Waterloo, USA * Gerard Holzmann, NASA/Caltech Jet Propulsion Laboratory, USA * Rajeev Joshi, NASA/Caltech Jet Propulsion Laboratory, USA * Sarfraz Khurshid, The University of Texas at Austin, USA * Kim Larsen, Aalborg University, Denmark * Stefan Leue, University of Konstanz, Germany * Alice Miller, University of Glasgow, Scotland * Corina Pasareanu, NASA Ames Research Center, USA * Doron Peled, Bar Ilan University, Israel * Neha Rungta, Amazon Web Services, USA * Theo Ruys, RUwise, Netherlands * Scott Smolka, Stony Brook University, USA * Scott Stoller, Stony Brook University, United States * Jun Sun, Singapore University of Technology and Design, Singapore * Oksana Tkachuk, NASA Ames Research Center, USA * Stavros Tripakis, University of California, Berkeley, USA * Willem Visser, Stellenbosch University, South Africa * Farn Wang, National Taiwan University, Taiwan * Michael Whalen, University of Minnesota, USA * Anton Wijs, Eindhoven University of Technology, Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From raoul.strackx at CS.KULEUVEN.BE Thu Feb 9 11:02:16 2017 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Thu, 9 Feb 2017 11:02:16 +0100 Subject: [fg-arc] [ESSoS'17] International Symposium on Engineering Secure Software and Systems (*Deadline approaching: Feb 24th*) Message-ID: <259f69da-f82b-89f9-653d-490da3946db7@cs.kuleuven.be> +----------------------------------------------------------------------+ | | | Call for papers | | | | | | International Symposium on Engineering Secure Software and Systems | | | | ESSoS 2017 | | | | July 3-5, 2017 | | Bonn, Germany | | | | https://distrinet.cs.kuleuven.be/events/essos/2017/calls-papers.html | +----------------------------------------------------------------------+ +----------------------------------------------------------------------+ | *Paper submission*: Friday, February 24, 2017 (firm) | +----------------------------------------------------------------------+ In cooperation with: ACM SIGSAC and SIGSOFT (pending) New this year: co-Located with DIMVA. * Context and motivation * IT security is becoming an increasingly interdisciplinary subject. For example, it is insufficient to simply deploy new security measures but one must pay careful attention to correctly integrate the security measures into existing software. Such an approach involves redesigning and engineering of software to ensure that the built-in security policy is effective in practice. Many security venues put little focus on topics related to software engineering, while many software-engineering venues lack appreciation for more complex topics in software security. ESSoS thus strives to be a venue that welcomes exactly such contributions that are at the border of IT security and software engineering. The program committee is particularly chosen to encompass a broad range of expertise, ranging from software security over software engineering to human subjects such as usable security. * Goal and setup * The goal of this symposium, which will be the ninth in the series, 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 security engineering communities, and promote cross-fertilization. The symposium will feature 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): - Cloud security, virtualization for security - Mobile devices security - Automated techniques for vulnerability discovery and analysis - Model checking for security - Binary code analysis, reverse-engineering - Programming paradigms, models, and domain-specific languages for security - Operating system security - Verification techniques for security properties - Malware: detection, analysis, mitigation - Security in critical infrastructures - Security by design - Static and dynamic code analysis for security - Web applications security - Program rewriting techniques for security - Security measurements - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Computer forensics - Processes for the development of secure software and systems - Security testing - Embedded software security - Usable security * Important dates * Paper submission: Friday, February 24, 2017 (firm) Paper acceptance notification: Tuesday, April 18, 2017 Artifact evaluation submission: Friday, April 21, 2017 Poster submission: Friday, April 21, 2017 Poster acceptance notification: Friday, April 28, 2017 Camera-ready: Friday, May 12, 2017 Symposium: Monday to Wednesday, July 3-5, 2017 (DIMVA is held July 6-7, 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 without 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 with 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. * Steering committee * Jorge Cuellar (Siemens AG) Wouter Joosen (Katholieke Universiteit Leuven) - chair Fabio Massacci (Università di Trento) Gary McGraw (Cigital) Bashar Nuseibeh (The Open University) Daniel Wallach (Rice University University) * Organizing committee * General chair: Michael Meier (University of Bonn, DE) Program co-chairs: Mathias Payer (Purdue university, USA),Eric Bodden (Paderborn University, DE) Doctoral Symposium: TBA Publication chair: Elias Athanasopoulos (University of Cyprus, CY) Publicity chair: Raoul Strackx (Katholieke Universiteit Leuven, BE) Web chair: Ghita Saevels (Katholieke Universiteit Leuven, BE) * Program committee * David Aspinall, University of Edinburgh Domagoj Babic, Google Inc. Alexandre Bartel, University of Luxembourg Amel Bennaceur, The Open University Stefan Brunthaler, Paderborn University Will Enck, NC State University Michael Franz, University of California, Irvine Christian Hammer, University of Potsdam Michael Hicks, University of Maryland Trent Jaeger, The Pennsylvania State University Vassilis P. Kemerlis, Brown University Johannes Kinder, University of London Byoungyoung Lee, Purdue University Yang Liu, University of Oxford Ben Livshits, Microsoft Research Clémentine Maurice, Technical University Graz Andy Meneely, Rochester Institute of Technology Mira Mezini, Technical University Darmstadt Alessandro Orso, Georgia Tech Christina Pöpper, New York University Abu Dhabi Awais Rashid, Lancaster University Kaveh Razavi, Vrije Universiteit Amsterdam Tamara Rezk, INRIA Angela Sasse, University College London Zhendong Su, University of California, Davis Melanie Volkamer, Karlstad University Xiangyu Zhang, Purdue University From raoul.strackx at CS.KULEUVEN.BE Thu Feb 9 11:00:10 2017 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Thu, 9 Feb 2017 11:00:10 +0100 Subject: [fg-arc] [ESSOS] [ESSoS'17] International Symposium on Engineering Secure Software and Systems (*Deadline approaching: Feb 24th*) Message-ID: <47c40c72-5416-cb76-5a17-a17a31bc0056@cs.kuleuven.be> +----------------------------------------------------------------------+ | | | Call for papers | | | | | | International Symposium on Engineering Secure Software and Systems | | | | ESSoS 2017 | | | | July 3-5, 2017 | | Bonn, Germany | | | | https://distrinet.cs.kuleuven.be/events/essos/2017/calls-papers.html | +----------------------------------------------------------------------+ +----------------------------------------------------------------------+ | *Paper submission*: Friday, February 24, 2017 (firm) | +----------------------------------------------------------------------+ In cooperation with: ACM SIGSAC and SIGSOFT (pending) New this year: co-Located with DIMVA. * Context and motivation * IT security is becoming an increasingly interdisciplinary subject. For example, it is insufficient to simply deploy new security measures but one must pay careful attention to correctly integrate the security measures into existing software. Such an approach involves redesigning and engineering of software to ensure that the built-in security policy is effective in practice. Many security venues put little focus on topics related to software engineering, while many software-engineering venues lack appreciation for more complex topics in software security. ESSoS thus strives to be a venue that welcomes exactly such contributions that are at the border of IT security and software engineering. The program committee is particularly chosen to encompass a broad range of expertise, ranging from software security over software engineering to human subjects such as usable security. * Goal and setup * The goal of this symposium, which will be the ninth in the series, 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 security engineering communities, and promote cross-fertilization. The symposium will feature 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): - Cloud security, virtualization for security - Mobile devices security - Automated techniques for vulnerability discovery and analysis - Model checking for security - Binary code analysis, reverse-engineering - Programming paradigms, models, and domain-specific languages for security - Operating system security - Verification techniques for security properties - Malware: detection, analysis, mitigation - Security in critical infrastructures - Security by design - Static and dynamic code analysis for security - Web applications security - Program rewriting techniques for security - Security measurements - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Computer forensics - Processes for the development of secure software and systems - Security testing - Embedded software security - Usable security * Important dates * Paper submission: Friday, February 24, 2017 (firm) Paper acceptance notification: Tuesday, April 18, 2017 Artifact evaluation submission: Friday, April 21, 2017 Poster submission: Friday, April 21, 2017 Poster acceptance notification: Friday, April 28, 2017 Camera-ready: Friday, May 12, 2017 Symposium: Monday to Wednesday, July 3-5, 2017 (DIMVA is held July 6-7, 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 without 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 with 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. * Steering committee * Jorge Cuellar (Siemens AG) Wouter Joosen (Katholieke Universiteit Leuven) - chair Fabio Massacci (Università di Trento) Gary McGraw (Cigital) Bashar Nuseibeh (The Open University) Daniel Wallach (Rice University University) * Organizing committee * General chair: Michael Meier (University of Bonn, DE) Program co-chairs: Mathias Payer (Purdue university, USA),Eric Bodden (Paderborn University, DE) Doctoral Symposium: TBA Publication chair: Elias Athanasopoulos (University of Cyprus, CY) Publicity chair: Raoul Strackx (Katholieke Universiteit Leuven, BE) Web chair: Ghita Saevels (Katholieke Universiteit Leuven, BE) * Program committee * David Aspinall, University of Edinburgh Domagoj Babic, Google Inc. Alexandre Bartel, University of Luxembourg Amel Bennaceur, The Open University Stefan Brunthaler, Paderborn University Will Enck, NC State University Michael Franz, University of California, Irvine Christian Hammer, University of Potsdam Michael Hicks, University of Maryland Trent Jaeger, The Pennsylvania State University Vassilis P. Kemerlis, Brown University Johannes Kinder, University of London Byoungyoung Lee, Purdue University Yang Liu, University of Oxford Ben Livshits, Microsoft Research Clémentine Maurice, Technical University Graz Andy Meneely, Rochester Institute of Technology Mira Mezini, Technical University Darmstadt Alessandro Orso, Georgia Tech Christina Pöpper, New York University Abu Dhabi Awais Rashid, Lancaster University Kaveh Razavi, Vrije Universiteit Amsterdam Tamara Rezk, INRIA Angela Sasse, University College London Zhendong Su, University of California, Davis Melanie Volkamer, Karlstad University Xiangyu Zhang, Purdue University From announce at cs.ucy.ac.cy Thu Feb 9 17:13:06 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 9 Feb 2017 18:13:06 +0200 Subject: [fg-arc] 9th International Conference on Computational Collective Intelligence (ICCCI 2017): Fourth Call for Special Sessions & Workshops Proposals Message-ID: *** Fourth Call for Special Sessions & Workshops Proposals *** 9th International Conference on Computational Collective Intelligence ICCCI 2017 Hilton Cyprus, Nicosia, Cyprus 27 - 29 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBGb3VydGggQ2FsbCBmb3IgU3BlY2lhbCBTZXNzaW9ucyAmIFdvcmtzaG9wcyBQcm9wb3NhbHMJMjYJTGlzdHMJMTg4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F Computational Collective Intelligence is most often understood as an AI subfield dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. ICCCI 2017 is the 9th edition of the conference organized by the University of Cyprus and Wroclaw University of Science and Technology in Poland, in cooperation with the IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of the conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. Topics of Interest We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: · Agent Theory and Application · Automated Reasoning · Cognitive Modeling of Agent Systems · Collective Intelligence · Collective Processing · Computational Biology · Computer Vision · Computational Intelligence · Computational Security · Consensus Computing · Cooperative Systems and Control · Cybernetics for Informatics · Data Integration · Data Mining for Social Networks · Distributed Intelligence · Evolutionary computing · Fuzzy Systems · Geographic Information Systems · Grey Theory · Group Decision Making · Hybrid Systems · Information Retrieval and Integration · Information Hiding · Intelligent Architectures · Intelligent Applications · Intelligent Buildings · Intelligent Control · Intelligent E-learning/Tutoring · Intelligent Image Processing · Intelligent Networks · Intelligent Transportation Systems · Knowledge Integration · Knowledge Representation · Knowledge-Based Systems · Logic in Intelligence · Machine Learning · Mobile Intelligence · Multicriteria Decision Making · Natural Language Processing · Optimization and Swarm Intelligence · Pattern Recognition · Probabilistic and Uncertain Reasoning · Rough Sets · Semantic Web · Smart Living Technology · Smart Sensor Networks · Soft Computing · Social Networks · Ubiquitous Computing · Web Intelligence and Interaction Call for Special Sessions and Workshops Proposals ICCCI 2017 invites proposals for Special Sessions and Workshops to be held during the conference. They intend to provide researchers in focused areas the opportunity to present and discuss their work, as well as to offer a forum for interaction among a broader community of researchers. A Special Session or Workshop will consist of a group of papers in a sub-discipline of Computational Collective Intelligence related to the main topics of ICCCI 2017. The papers will be required to meet the same standards as ICCCI 2017 papers and will be published in the conference proceedings, in a bound volume by Springer in their Lecture Notes in Artificial Intelligence series. All the Special Sessions and Workshops will be centralized as tracks in the same conference submission and reviewing system (EasyChair) as the regular papers. Please send the Special Session and Workshop proposals with the following information: · Title & acronym of the special session · Brief profiles of special session organizers · General description of the special session scope · List of topics · Proposed Session Program Committee (to be invited) The format for the Special Session or Workshop proposal should follow the pattern of the template available on the conference web site. The organizers will be responsible for the advertisement and promotion of the Special Sessions or Workshops and the conference including the Special Sessions and Workshops webpage preparation. The management of papers review will be achieved by Special Session and Workshops Committees, using the Conference System (a separate EasyChair track will be provided for each Special Session and Workshop). The organizers are responsible for managing the review process. All the reviews should be submitted through EasyChair. Each paper should obtain at least two reviews. For Special Sessions and Workshops Issues please contact: Bogdan Trawinski Wroclaw University of Science and Technology, Poland bogdan.trawinski at pwr.edu.pl Important Dates · Special Session & Workshop Proposals: March 1, 2017 (*** extended ***) · Special Session & Workshop Acceptance: March 15, 2017 · Conference Dates: September 27-29, 2017 Organization Honorary Chairs · Costas Christophides, Rector of University of Cyprus, Cyprus · Pierre Lévy, University of Ottawa, Canada · Cezary Madryas, Rector of Wroclaw University of Technology, Poland General Chairs · Ngoc Thanh Nguyen, Wroclaw University of Science and Technology, Poland · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Costin Badica, University of Craiova, Romania · Piotr J?drzejowicz, Gdynia Maritime University, Poland · Kazumi Nakamatsu, University of Hyogo, Japan Organising Chair · Georgia Kapitsaki, University of Cyprus, Cyprus Special Sessions and Workshops Chairs · Achilleas Achilleos, University of Cyprus, Cyprus · Bogdan Trawinski, Wroclaw University of Science and Technology, Poland Doctoral Track Chair · George Pallis, University of Cyprus, Cyprus Publicity Chair · Christos Mettouris , University of Cyprus, Cyprus Local Organising Committee · Marios Komodromos, University of Cyprus, Cyprus · Christos Mettouris, University of Cyprus, Cyprus · Rafa? Kern, Wroclaw University of Science and Technology, Poland · Marcin Pietranik, Wroclaw University of Science and Technology, Poland · Zbigniew Telec, Wroclaw University of Science and Technology, Poland Steering Committee · Ngoc Thanh Nguyen (chair), Wroclaw University of Science and Technology, Poland · Piotr J?drzejowicz, Gdynia Maritime University, Poland · Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan · Kiem Hoang, University of Information Technology, VNU-HCM, Vietnam · Lakhmi C. Jain, University of South Australia, Australia · Geun-Sik Jo, Inha University, Korea · Janusz Kacprzyk, Polish Academy of Sciences, Poland · Ryszard Kowalczyk, Swinburne University of Technology, Australia · Toyoaki Nishida, Kyoto University, Japan · Manuel Núñez, Universidad Complutense de Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Feb 10 15:14:28 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 10 Feb 2017 16:14:28 +0200 Subject: [fg-arc] 16th World Conference on Mobile and Contextual Learning (mLearn 2017): First Call for Papers and Workshop Proposals Message-ID: *** First Call for Papers and Workshop Proposals *** 16th World Conference on Mobile and Contextual Learning mLearn 2017 Golden Bay Beach Hotel, Larnaca, Cyprus 30 October - 1 November, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IEZpcnN0IENhbGwgZm9yIFBhcGVycyBhbmQgV29ya3Nob3AgUHJvcG9zYWxzCTI4CUxpc3RzCTE4OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2F In Cooperation with ACM SIGAPP The International Association for Mobile Learning (IAmLearn) (www.iamlearn.org) is the custodian of the mLearn conference series. mLearn is the leading annual international conference for researchers, policy makers, educators, developers and solutions providers in the fields of mobile, ubiquitous and contextual learning, as well as learning with emerging ambient and wearable technologies. mLearn attracts a large number of participants from more than 60 countries representing all continents, and is, therefore, the world's largest international conference on mLearning and emerging ambient technologies. Conference Themes The overarching conference theme is 'mLearning and Design for Social Change and Innovation'. Higher education institutions are called upon to provide for the competencies and skills that foster design for social change and innovation. In addition, knowledge and skills alliances are encouraged by funding bodies to cultivate, share and disseminate competencies that foster social entrepreneurship and innovation. However, little is known on how mlearning can facilitate this process, how it can contribute towards social change, innovation and entrepreneurship. The topics of interest can go beyond the conference theme, and can include any of the following: · The development, deployment and implementation of mlearning in the context of social entrepreneurship, innovation and social change · mLearning as a tool that fosters social change and social entrepreneurship · Innovations in mlearning theory and pedagogy · From pilot projects to mainstream implementation: strategies for the deployment of mLearning · Mobile technology to support open and distance learning · Mobile technology for teaching and learning support · Assessment techniques and practices in mLearning · Design and development of learning material for mLearning · Learning objects and metadata for mLearning · Informal and lifelong learning with the aid of mobile technologies · Challenges for mLearning in developing countries · Building and implementing mLearning strategies in educational institutions, companies and public sector organisations · mLearning management systems (mLMSs) · Computer tablets · Creating interactive and collaborative mLearning environments · Future trends in mLearning technology, including the impact of emerging technologies · Emerging hardware and software for mLearning including wearable technologies · Location-aware technologies · Contextual and situated learning · Augmented reality · Serious gaming and simulations · Ambient intelligence and ubiquitous learning Submission Information The conference solicits regular papers (no more than 8 pages), short papers (no more than 4 pages), as well as posters (no more than 2 pages). The Program Committee may require an accepted paper to be adapted into a short paper or poster. All papers must be prepared according to the ACM SIG Proceedings Template format (see the conference web site for further information). The papers must be original contributions not submitted or accepted for publication elsewhere. A submitted contribution should clearly indicate the conference topics it targets. For an accepted contribution to be included in the proceedings, at least one author must register and present the paper at the conference. For further information, see the submission guidelines on the conference web site. The conference proceedings will be published by ACM ICPS and archived in the ACM Digital Library. Important Dates · Submission of Workshop Proposals: 31 March 2017 · Notification for Workshop Proposals: 7 April 2017 · Submission Deadline for Conference Papers: 1 June 2017 · Submission Deadline for Workshop Papers: 21 July 2017 · Accept/Reject Notification for Conference Papers: 15 July 2017 · Accept/Reject Notification for Workshop Papers: 25 August 2017 · Camera-Ready Submission of all Papers: 1 September 2017 Information on registration categories and registration fees for the mLearn 2017 is available online at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IEZpcnN0IENhbGwgZm9yIFBhcGVycyBhbmQgV29ya3Nob3AgUHJvcG9zYWxzCTI4CUxpc3RzCTE4OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2F. Organization General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Fernando Loizides, University of Wolverhampton, United Kingdom · Nicos Souleles, Cyprus University of Technology, Cyprus Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IEZpcnN0IENhbGwgZm9yIFBhcGVycyBhbmQgV29ya3Nob3AgUHJvcG9zYWxzCTI4CUxpc3RzCTE4OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2Fcommittees.php -------------- next part -------------- An HTML attachment was scrubbed... URL: From peter.schuller at marmara.edu.tr Fri Feb 10 19:48:40 2017 From: peter.schuller at marmara.edu.tr (Peter Schüller) Date: Fri, 10 Feb 2017 20:48:40 +0200 (EET) Subject: [fg-arc] CFP International Workshop on Practical Aspects of Answer Set Programming at LPNMR, Espoo, Finland, 3 July 2017 Message-ID: <20170210184840.9BF083140081@inspire> ======================================================================== 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017) Espoo, Finland, July 3, 2017 https://sites.google.com/site/paoasp2017/ ======================================================================== Answer Set Programming (ASP) is a declarative programming paradigm with close relationships to neighboring fields such as ATP, CP, FO(.), SAT, SMT, and others. Since its inception in 2007, the ASP Competition series strives to evaluate and advance the state of the art in ASP solving technology. The International Workshop on Practical Aspects of Answer Set Programming (PAoASP) addresses current developments of systems, tools, and applications in ASP and neighboring fields. To this end, it aims to bring together researchers and practitioners of declarative programming with dedicated focus on, but not limited to, recent methods and trends emerging from the ASP Competition. The 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017) is organized in conjunction with the 7th Answer Set Programming Competition (ASPCOMP 2017) and affiliated with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017). We solicit the submission of papers on systems, tools, and applications of declarative programming methods, developed in the area of ASP and neighboring fields. In particular, we encourage submissions presenting recent developments, including work in progress. Topics of interest include, but are not limited to: * Algorithm Selection and Configuration * Applications and Benchmarks * Empirical Evaluation * Grounding and Solving * Implementation Techniques * Parallel Systems * Portfolio Systems * Reasoning Tasks * Theory Solving * Translation Methods Accepted papers will be published within (informal) online proceedings. Selected submissions will be invited for rapid publication in Theory and Practice of Logic Programming (TPLP). == Important Dates (tentative) == * Paper submission: April 3, 2017 * Notification of acceptance: May 1, 2017 * Final version due: May 22, 2017 * Workshop: July 3, 2017 == Committee == Workshop Chairs: * Martin Gebser, University of Potsdam, Germany * Marco Maratea, University of Genoa, Italy * Francesco Ricca, University of Calabria, Italy Program Committee: * Carmine Dodaro, University of Genova, Italy * Daniela Inclezan, Miami University, USA * Benjamin Kaufmann, University of Potsdam, Germany * Claire Lefèvre, University of Angers, France * Simona Perri, University of Calabria, Italy * Luca Pulina, University of Sassari, Italy * Jörg Pührer, University of Leipzig, Germany * Christoph Redl, TU Vienna, Austria * Claudia Schulz, Imperial College London, UK * Peter Schüller, Marmara University, Turkey * Shahab Tasharrofi, Aalto University, Finland == Contact == Workshop Chairs: aspcomp2017 at dibris.unige.it Website: https://sites.google.com/site/paoasp2017/ (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From announce at cs.ucy.ac.cy Sat Feb 11 11:26:15 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 11 Feb 2017 12:26:15 +0200 Subject: [fg-arc] 8th IEEE International Conference on Information, Intelligence, Systems and Applications (IISA 2017): Third CFP, Invited Sessions, Tutorials & Workshops Proposals Message-ID: *** Third Call for Papers and Invited Sessions, Tutorials & Workshops Proposals *** 8th International Conference on Information, Intelligence, Systems and Applications IISA 2017 Golden Bay Beach Hotel, Larnaca, Cyprus 28 - 30 August, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBUaGlyZCBDRlAsIEludml0ZWQgU2Vzc2lvbnMsIFR1dG9yaWFscyAmIFdvcmtzaG9wcyBQcm9wb3NhbHMJMzEJTGlzdHMJMTg2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiisa2017.unipi.gr The International Conference on Information, Intelligence, Systems and Applications (IISA) series offers a forum for the constructive interaction and prolific exchange of ideas among scientists and practitioners from different research fields such as computers, mathematics, physics, biology, medicine, chemistry, experimental psychology, social sciences, linguistics, and engineering having the goal of developing methodologies and tools for the solution of complex problems in artificial intelligence, biology, neuroscience, security, monitoring, surveillance, healthcare, sustainability in energy sources, governance, education, commerce, automation, robotics, optimization, image, speech and natural languages, and their integration. IISA 2017 is the eighth conference in the IISA series, technically co-sponsored by IEEE, BAIF, the University of Piraeus and the University of Cyprus. The IISA 2017 proceedings will be published by IEEE and be included in the IEEE DL. The conference is intended as an international forum for researchers and professionals in all areas of Information, Intelligence, Systems, and Applications. We invite submissions of papers presenting high-quality original research and developments for the conference tracks listed below. The conference venue is the Golden Bay Beach Hotel (http://www.goldenbay.com.cy) perfectly situated at the edge of the tourist part of Larnaca, right on a long and wide stretch of fine and clear sandy beach, 10 km from the town center, just 15 km from Larnaca International Airport and 30 minutes from the capital city of Nicosia. This prestigious 5* hotel is renowned for its excellent facilities, combined with impeccable service and finest cuisine in luxurious surroundings The conference will last for three days and will feature tutorials, technical paper presentations, workshops, and distinguished keynote speeches. Instructions to Authors Papers must be submitted in IEEE Conference Style format, which can be downloaded from http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBUaGlyZCBDRlAsIEludml0ZWQgU2Vzc2lvbnMsIFR1dG9yaWFscyAmIFdvcmtzaG9wcyBQcm9wb3NhbHMJMzEJTGlzdHMJMTg2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Papers must be limited to 6 pages in length. To submit a proposal for a Special Session, Tutorial or Workshop, please refer to the instructions in the web site. Topics of Interest We welcome all submissions in the subjects of IISA related (but not limited) to the following tracks and topics: Track I: Information Processing and Intelligence · Advances in databases · Information systems · Information and data management · Data mining, warehousing and knowledge extraction · Recommender systems · Digital rights management · Processing of Social and Emotional Interactions · Biological and artificial neural networks · Biological and artificial immune systems · Cognitive science · Neuroscience · Computational biology · DNA computing · Evolutionary computing and genetic algorithms · Bayesian networks · Expert systems & intelligent agents · Swarm intelligence · Fuzzy logic systems · Kernel methods - support vector machines · Ensemble classifiers · Emerging machine learning paradigms · Decision making techniques · Knowledge-based systems · Ambient-ubiquitous intelligence · Robotics and automation · Affective computing Track II: Multimedia Systems and Networks · Advances in audio/video and multimedia processing · Signal mining · Signal visualization · Human-machine interaction · Multimodal systems · Multimedia systems · Autonomous Computing · Distributed computing · Quantum computing · Mobile computing · Green computing · Trusted computing · Proactive computing · Cloud computing · Ubiquitous computing · Networking · Sensing, sensory systems and sensor networks · Design and implementation · Real time systems Track III: Educational Informatics · Adaptive and personalized learning · Student modeling · Intelligent tutoring systems · E-learning and mobile learning · Social media and learning · Educational games · Computer-supported collaborative learning · Big data in education and learning analytics · Affective computing in learning systems · Smart learning environments · Virtual and augmented reality in education · Risk management in education · Learning management systems · Content management systems · Learning technologies for students with special needs Track IV: Cyber Security · Watermarking, cryptography, cryptanalysis, steganography, and stegananalysis · Privacy and authentication · Malicious software analysis · Information, computer and network security · Infrastructure security · Forensics · Biometrics Track V: Smart Energy and Smart Cities · Methodologies and tools for assessing the energy status in smart cities · Intelligent sensors and data analytics for energy optimization · Monitoring and control of energy resources · Smart grid · Fault detection · Decision support systems in energy planning and scheduling · Middleware for urban computing · Intelligent transportation systems · Public displays for modern cities · Impact of urban computing in modern cities · Case studies and best practices · Big city data · Culture for smart cities Track VI: Healthcare · E-health, mobile health and smart health · Infrastucture for smart health · Advanced devices and robotics for smart health · Ambient intelligence in assisted living · Health information systems · Healthcare management · Case studies Track VII: Applications · E-government and m-government · E-commerce and m-commerce · E-entertainment and m-entertainment · E-legal and m-legal services · Personalized systems and services · Enabling technologies, frameworks and standards · Empirical evaluations · Simulation and evaluation via simulation · Case studies · Applications in culture and heritage · Applications in tourism · Applications in natural resource management · Applications in disabilities and to people at need Important Dates · Invited Session, Tutorial & Workshop Proposals: March 13, 2017 · Invited Session, Tutorial & Workshop Acceptance: March 20, 2017 · Submission of Papers: April 24, 2017 · Notification of Acceptance: May 29, 2017 · Camera-ready Submission: June 12, 2017 · Registration and Payment for Authors: June 12, 2017 · Conference Dates: August 28-30, 2017 Organization Program Chairs · N. Bourbakis, Wright State University, USA · G. A. Papadopoulos, University of Cyprus, Cyprus · G. A. Tsihrintzis, University of Piraeus, Greece · N. Virvou, University of Piraeus, Greece Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggSUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW5mb3JtYXRpb24sIEludGVsbGlnZW5jZSwgU3lzdGVtcyBhbmQgQXBwbGljYXRpb25zIChJSVNBIDIwMTcpOiBUaGlyZCBDRlAsIEludml0ZWQgU2Vzc2lvbnMsIFR1dG9yaWFscyAmIFdvcmtzaG9wcyBQcm9wb3NhbHMJMzEJTGlzdHMJMTg2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiisa2017.unipi.gr/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sun Feb 12 02:18:13 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 12 Feb 2017 02:18:13 +0100 Subject: [fg-arc] DeepLearn 2017: early registration February 24 Message-ID: <545102060a010b010656500a03045a555b5303040306555352055f020e54510407535455010b010353075007070354@grlmc_ip-zone_com-6> DeepLearn 2017: early registration February 24*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************   INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2017   Bilbao, Spain   July 17-21, 2017   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/DeepLearn2017/   ************************************************************   --- Early registration deadline: February 24, 2017 ---   ********************************************************   SCOPE:   DeepLearn 2017 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 neuroscience, computer vision, speech recognition, language processing, drug discovery, biomedical informatics, 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 4 keynote lectures, 31 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.   ADDRESSED TO:   In principle, graduate students, doctoral students and postdocs from around the world 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. DeepLearn 2017 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   REGIME:   In addition to keynotes, 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 2017 will take place in Bilbao, the largest city in the Basque Country, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao, Spain   KEYNOTE SPEAKERS: (to be completed)   Richard Socher (Salesforce), Tackling the Limits of Deep Learning   PROFESSORS AND COURSES: (to be completed)   Narendra Ahuja (University of Illinois, Urbana-Champaign), [introductory/intermediate] Basics of Deep Learning with Applications to Image Processing, Pattern Recognition and Computer Vision   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory and Applications to the Natural Sciences   Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks    Mohammed Bennamoun (University of Western Australia), [introductory/intermediate] Deep Learning for Computer Vision   Hervé Bourlard (Idiap Research Institute), [intermediate/advanced] Deep Sequence Modeling: Historical Perspective and Current Trends   Thomas Breuel (NVIDIA Corporation), [intermediate] Segmentation, Processing, and Tracking, with Applications to Video, Gaming, VR, and Self-driving Cars   George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors   Rina Dechter (University of California, Irvine), [introductory] Algorithms for Reasoning with Probabilistic Graphical Models   Li Deng (Microsoft Research), tba   Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing   Michael Gschwind (IBM T.J. Watson Research Center), [introductory/intermediate] Deploying Deep Learning Applications at the Enterprise Scale   Yufei Huang (University of Texas, San Antonio), [intermediate/advanced] Deep Learning for Bioinformatics   Soo-Young Lee (Korea Advanced Institute of Science and Technology), [intermediate/advanced] Multi-modal Deep Learning for the Recognition of Human Emotions in the Real   Li Erran Li (Columbia University), [intermediate/advanced] Deep Learning Security: Adversarial Examples and Adversarial Training   Michael C. Mozer (University of Colorado, Boulder), [introductory/intermediate] Incorporating Domain Bias into Neural Networks   Roderick Murray-Smith (University of Glasgow), [intermediate] Applications of Deep Learning Models in Human-Computer Interaction Research   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Marc’Aurelio Ranzato (Facebook AI Research), [introductory/intermediate] Learning Representations for Vision, Speech and Text Processing Applications   Maximilian Riesenhuber (Georgetown University), [introductory/intermediate] Deep Learning in the Brain   Ruslan Salakhutdinov (Carnegie Mellon University), [intermediate/advanced] Foundations of Deep Learning and its Recent Advances   Alessandro Sperduti (University of Padua), [intermediate/advanced] Deep Learning for Sequences   Jimeng Sun (Georgia Institute of Technology), [introductory] Interpretable Deep Learning Models for Healthcare Applications   Julian Togelius (New York University), [intermediate] (Deep) Learning for (Video) Games   Raquel Urtasun (University of Toronto), tba   Joos Vandewalle (KU Leuven), [introductory/intermediate] Data Processing Methods, and Applications of Least Squares Support Vector Machines   Ying Nian Wu (University of California, Los Angeles), [introductory/intermediate] Deep Generative Models and Unsupervised Learning   Eric P. Xing (Carnegie Mellon University), tba   Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them   Scott Wen-tau Yih (Microsoft Research), [introductory/intermediate] Continuous Representations for Natural Language Understanding   Richard Zemel (University of Toronto), [introductory/intermediate] Learning to Understand Images and Text   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 9, 2017.   ORGANIZING COMMITTEE:   José Gaviria Carlos Martín (co-chair) Manuel Jesús Parra Iker Pastor Borja Sanz (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2017/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   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 will be complete. It is much 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:   A suggestion for accommodation is available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance including the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universidad de Deusto Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From peter.schuller at marmara.edu.tr Thu Feb 16 06:44:43 2017 From: peter.schuller at marmara.edu.tr (Peter Schüller) Date: Thu, 16 Feb 2017 08:44:43 +0300 (+03) Subject: [fg-arc] CFP LPNMR Doctoral Student Consortium, Espoo, Finland, 3-6 July, 2017 Message-ID: <20170216054443.75F0F2C0123@omsievews> (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) -------------------------------------------------------------------------------- LPNMR DC 2017 LPNMR Doctoral Student Consortium to be held at Hanasaari Conference Center, Espoo, Finland, Extact date to be confirmed July 3-6, 2017 http://lpnmr-dc.cs.bath.ac.uk/ https://easychair.org/conferences/?conf=lpnmrdc2017 -------------------------------------------------------------------------------- The LPNMR Doctoral Consortium (DC) is to be held as part of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017) in the Hanasaari Conference Center, Espoo, Finland,July 3-6, 2017. The DC will take place during LPNMR 2017 on a date to be determined. The DC provides a forum for doctoral students working in all areas related to logic programming and non monotonic reasoning. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts a supportive environment. The 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning. LPNMR and its programmatic expression, Answer Set Programming, have roots in the famous special issue of AIJ in 1980, devoted to Nonmonotonic Reasoning. During the DC, there will be significant time for students to present their work, and meet mentors from their own and closely related fields. ** Target Audience ** The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC, but preference will be given to students who have settled on a research topic or direction but still have some way to go in their studies. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of LPNMR systems, including semantics of new or existing languages, new language extensions, and computational complexity - Implementation of LPNMR systems, including new systems and algorithms - Applications of LPNMR The DC allows participants to interact with established researchers and fellow students, through presentations, a poster session, question-answer sessions and social interactions. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation, present a poster at the main event and attend a lunch in small groups with their mentor/senior researcher. ** Application Process ** An application for participation in the LPNMR DC 2017 consists of a cover sheet, an extended abstract of your (intended) research, a vita, a personal statement and a letter of recommendation (e.g., from your supervisor). All applications must be in English and submitted electronically via EasyChair (https://easychair.org/conferences/?conf=lpnmrdc2017) by 4 April 2017. Detailed submission instructions are provided at the LPNMR DC 2017 website: http://lpnmr-dc.cs.bath.ac.uk/ Applications will be reviewed based on several factors including the quality of the work submitted, stage of research, evidence of research progress, the committee's assessment of the student's contribution to and benefit from participating in the DC, and input from the student's advisor. Details regarding publication of extended abstracts and financial support will follow at a later date. ** Important Dates ** Application Submission: 4 April 2017 Notification: 1 May 2017 Camera-ready Version: 22 May 2017 Doctoral Consortium: During LPNMR, exact date to be confirmed. LPNMR: 3-6 July 2017 ** Organization ** - Program Committee: - Pedro Cabalar University of Corunna - Esra Erdem Sabanci University - Yuliya Lierler University of Nebraska at Omaha - Alessandra Mileo Dublin City University - Alessandra Russo Imperial College London - Hans Tompits Vienna University of Technology - Stefan Woltran Vienna University of Technology - Program Chair: Marina De Vos, University of Bath (M.D.Vos at bath.ac.uk) Website: http://lpnmr-dc.cs.bath.ac.uk/ (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From bogom.s at gmail.com Thu Feb 16 00:38:49 2017 From: bogom.s at gmail.com (Sergiy Bogomolov) Date: Thu, 16 Feb 2017 10:38:49 +1100 Subject: [fg-arc] DEADLINE EXTENSION for 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (CPSWeek 2017) Message-ID: <016201d287e4$cb1a08e0$614e1aa0$@gmail.com> Call for Submissions -- DEADLINE EXTENSION UNTIL FEBRUARY 22 ----------------------------------------------------------------------- 4th International Workshop on Applied Verification for Continuous and Hybrid Systems CMU campus alongside CPSWeek, Pittsburgh, USA, April 17, 2017 http://cps-vo.org/group/ARCH The workshop on applied verification for continuous and hybrid systems (ARCH) brings together researchers and practitioners, and establishes a curated set of benchmarks submitted by academia and industry. Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special focus on the transfer from theory to practice. Topics include, but are not limited to - Proposals for new benchmark problems (not necessarily yet solvable) - Tool presentations - Tool executions and evaluations based on ARCH benchmarks - Experience reports including open issues for industrial success - Reports on results of our friendly competition Submission Guidelines ----------------------------------------------------------------------- Submissions consist of papers of ideally 3-8 pages (pdf ) and optional files (e.g. models or traces) submitted through the ARCH’17 EasyChair web site (http://www.easychair.org/conferences/?conf=arch17). Authors have to use the EasyChair template (http://www.easychair.org/publications/for_authors).The extended abstract should be classified in its title as benchmark proposal, tool presentation, benchmark results, or experience report. Submissions receive at least 3 anonymous reviews, including one from industry and one from academia. Details on the evaluation criteria can be found at http://cps-vo.org/group/ARCH/CallForSubmissions. Submission deadline: February 22, 2017 Notification: March 7, 2017 Final Version: March 31, 2017 Workshop: April 17, 2017 (different from other CPS Week workshops; this year free of charge!) Website: http://cps-vo.org/group/ARCH (includes forums, archive, wiki, etc.) Prize ----------------------------------------------------------------------- The paper with the most promising benchmark results receives a prize of 500 Euros sponsored by Robert Bosch GmbH, Germany. The winner is preselected by the program committee and determined by an audience voting. Organizers ----------------------------------------------------------------------- Program chairs: Matthias Althoff, Technische Universität München, Germany Goran Frehse, UJF-Verimag, France Local chair: Sebastian Scherer, Carnegie Mellon University, USA Publicity chair: Sergiy Bogomolov, Australian National University, Australia Evaluation chair: Taylor T. Johnson, Vanderbilt University, USA Program Committee (tentative) ----------------------------------------------------------------------- Academia: Pieter Collins (Maastricht Univ.) Alexandre Donze (UC Berkeley) Ian Mitchell (Univ. British Colombia) Sayan Mitra (UI Urbana Champaign) Andre Platzer (CarnegieMellon Univ.) Nacim Ramdani (Université d’Orléans) Aditya Zutshi (Duke University) Xin Chen (RWTH Aachen University) Sicun Gao (Massachusetts Institute of Technology) Stanley Bak (Air Force Research Lab) Industry: Ajinkya Bhave (Siemens PLM) Jyotirmoy Deshmukh (Toyota) Luca Parolini (BMW) Alessandro Pinto (United Technologies) Matthias Woehrle (Bosch) William Hung (Synopsys Inc) Olivier Bouissou (MathWorks) Daniel Bryce (SIFT) Aaron Fifarek (Linquest) -------------- next part -------------- An HTML attachment was scrubbed... URL: From raoul.strackx at cs.kuleuven.be Sun Feb 19 15:17:21 2017 From: raoul.strackx at cs.kuleuven.be (Raoul Strackx) Date: Sun, 19 Feb 2017 15:17:21 +0100 Subject: [fg-arc] [ESSoS'17] International Symposium on Engineering Secure Software and Systems (*Deadline in 5 days*) Message-ID: +----------------------------------------------------------------------+ | | | Call for papers | | | | | | International Symposium on Engineering Secure Software and Systems | | | | * 5 days to deadline * | | | | | | ESSoS 2017 | | | | July 3-5, 2017 | | Bonn, Germany | | | | https://distrinet.cs.kuleuven.be/events/essos/2017/calls-papers.html | +----------------------------------------------------------------------+ +----------------------------------------------------------------------+ | *Paper submission*: Friday, February 24, 2017 (firm) | +----------------------------------------------------------------------+ In cooperation with: ACM SIGSAC and SIGSOFT (pending) New this year: co-Located with DIMVA. * Context and motivation * IT security is becoming an increasingly interdisciplinary subject. For example, it is insufficient to simply deploy new security measures but one must pay careful attention to correctly integrate the security measures into existing software. Such an approach involves redesigning and engineering of software to ensure that the built-in security policy is effective in practice. Many security venues put little focus on topics related to software engineering, while many software-engineering venues lack appreciation for more complex topics in software security. ESSoS thus strives to be a venue that welcomes exactly such contributions that are at the border of IT security and software engineering. The program committee is particularly chosen to encompass a broad range of expertise, ranging from software security over software engineering to human subjects such as usable security. * Goal and setup * The goal of this symposium, which will be the ninth in the series, 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 security engineering communities, and promote cross-fertilization. The symposium will feature 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): - Cloud security, virtualization for security - Mobile devices security - Automated techniques for vulnerability discovery and analysis - Model checking for security - Binary code analysis, reverse-engineering - Programming paradigms, models, and domain-specific languages for security - Operating system security - Verification techniques for security properties - Malware: detection, analysis, mitigation - Security in critical infrastructures - Security by design - Static and dynamic code analysis for security - Web applications security - Program rewriting techniques for security - Security measurements - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Computer forensics - Processes for the development of secure software and systems - Security testing - Embedded software security - Usable security * Important dates * Paper submission: Friday, February 24, 2017 (firm) Paper acceptance notification: Tuesday, April 18, 2017 Artifact evaluation submission: Friday, April 21, 2017 Poster submission: Friday, April 21, 2017 Poster acceptance notification: Friday, April 28, 2017 Camera-ready: Friday, May 12, 2017 Symposium: Monday to Wednesday, July 3-5, 2017 (DIMVA is held July 6-7, 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 without 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 with 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. * Steering committee * Jorge Cuellar (Siemens AG) Wouter Joosen (KU Leuven) - chair Fabio Massacci (Univ. of Trento) Bashar Nuseibeh (Open Univ. and LERO) Juan Caballero (IMDEA Software Institute) Eric Bodden (Univ. Paderborn) Lorenzo Cavallaro (Royal Holloway Univ.) * Organizing committee * General chair: Michael Meier (University of Bonn, DE) Program co-chairs: Mathias Payer (Purdue university, USA),Eric Bodden (Paderborn University, DE) Doctoral Symposium: TBA Publication chair: Elias Athanasopoulos (University of Cyprus, CY) Publicity chair: Raoul Strackx (Katholieke Universiteit Leuven, BE) Web chair: Ghita Saevels (Katholieke Universiteit Leuven, BE) * Program committee * David Aspinall, University of Edinburgh Domagoj Babic, Google Inc. Alexandre Bartel, University of Luxembourg Amel Bennaceur, The Open University Stefan Brunthaler, Paderborn University Will Enck, NC State University Michael Franz, University of California, Irvine Christian Hammer, University of Potsdam Michael Hicks, University of Maryland Trent Jaeger, The Pennsylvania State University Vassilis P. Kemerlis, Brown University Johannes Kinder, University of London Byoungyoung Lee, Purdue University Yang Liu, University of Oxford Ben Livshits, Microsoft Research Clémentine Maurice, Technical University Graz Andy Meneely, Rochester Institute of Technology Mira Mezini, Technical University Darmstadt Alessandro Orso, Georgia Tech Christina Pöpper, New York University Abu Dhabi Awais Rashid, Lancaster University Kaveh Razavi, Vrije Universiteit Amsterdam Tamara Rezk, INRIA Angela Sasse, University College London Zhendong Su, University of California, Davis Melanie Volkamer, Karlstad University Xiangyu Zhang, Purdue University From raoul.strackx at CS.KULEUVEN.BE Sun Feb 19 15:16:47 2017 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Sun, 19 Feb 2017 15:16:47 +0100 Subject: [fg-arc] [ESSOS] [ESSoS'17] International Symposium on Engineering Secure Software and Systems (*Deadline in 5 days*) Message-ID: <9059d667-a2d9-e060-dd12-2a38324cd7f1@cs.kuleuven.be> +----------------------------------------------------------------------+ | | | Call for papers | | | | | | International Symposium on Engineering Secure Software and Systems | | | | * 5 days to deadline * | | | | | | ESSoS 2017 | | | | July 3-5, 2017 | | Bonn, Germany | | | | https://distrinet.cs.kuleuven.be/events/essos/2017/calls-papers.html | +----------------------------------------------------------------------+ +----------------------------------------------------------------------+ | *Paper submission*: Friday, February 24, 2017 (firm) | +----------------------------------------------------------------------+ In cooperation with: ACM SIGSAC and SIGSOFT (pending) New this year: co-Located with DIMVA. * Context and motivation * IT security is becoming an increasingly interdisciplinary subject. For example, it is insufficient to simply deploy new security measures but one must pay careful attention to correctly integrate the security measures into existing software. Such an approach involves redesigning and engineering of software to ensure that the built-in security policy is effective in practice. Many security venues put little focus on topics related to software engineering, while many software-engineering venues lack appreciation for more complex topics in software security. ESSoS thus strives to be a venue that welcomes exactly such contributions that are at the border of IT security and software engineering. The program committee is particularly chosen to encompass a broad range of expertise, ranging from software security over software engineering to human subjects such as usable security. * Goal and setup * The goal of this symposium, which will be the ninth in the series, 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 security engineering communities, and promote cross-fertilization. The symposium will feature 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): - Cloud security, virtualization for security - Mobile devices security - Automated techniques for vulnerability discovery and analysis - Model checking for security - Binary code analysis, reverse-engineering - Programming paradigms, models, and domain-specific languages for security - Operating system security - Verification techniques for security properties - Malware: detection, analysis, mitigation - Security in critical infrastructures - Security by design - Static and dynamic code analysis for security - Web applications security - Program rewriting techniques for security - Security measurements - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Computer forensics - Processes for the development of secure software and systems - Security testing - Embedded software security - Usable security * Important dates * Paper submission: Friday, February 24, 2017 (firm) Paper acceptance notification: Tuesday, April 18, 2017 Artifact evaluation submission: Friday, April 21, 2017 Poster submission: Friday, April 21, 2017 Poster acceptance notification: Friday, April 28, 2017 Camera-ready: Friday, May 12, 2017 Symposium: Monday to Wednesday, July 3-5, 2017 (DIMVA is held July 6-7, 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 without 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 with 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. * Steering committee * Jorge Cuellar (Siemens AG) Wouter Joosen (KU Leuven) - chair Fabio Massacci (Univ. of Trento) Bashar Nuseibeh (Open Univ. and LERO) Juan Caballero (IMDEA Software Institute) Eric Bodden (Univ. Paderborn) Lorenzo Cavallaro (Royal Holloway Univ.) * Organizing committee * General chair: Michael Meier (University of Bonn, DE) Program co-chairs: Mathias Payer (Purdue university, USA),Eric Bodden (Paderborn University, DE) Doctoral Symposium: TBA Publication chair: Elias Athanasopoulos (University of Cyprus, CY) Publicity chair: Raoul Strackx (Katholieke Universiteit Leuven, BE) Web chair: Ghita Saevels (Katholieke Universiteit Leuven, BE) * Program committee * David Aspinall, University of Edinburgh Domagoj Babic, Google Inc. Alexandre Bartel, University of Luxembourg Amel Bennaceur, The Open University Stefan Brunthaler, Paderborn University Will Enck, NC State University Michael Franz, University of California, Irvine Christian Hammer, University of Potsdam Michael Hicks, University of Maryland Trent Jaeger, The Pennsylvania State University Vassilis P. Kemerlis, Brown University Johannes Kinder, University of London Byoungyoung Lee, Purdue University Yang Liu, University of Oxford Ben Livshits, Microsoft Research Clémentine Maurice, Technical University Graz Andy Meneely, Rochester Institute of Technology Mira Mezini, Technical University Darmstadt Alessandro Orso, Georgia Tech Christina Pöpper, New York University Abu Dhabi Awais Rashid, Lancaster University Kaveh Razavi, Vrije Universiteit Amsterdam Tamara Rezk, INRIA Angela Sasse, University College London Zhendong Su, University of California, Davis Melanie Volkamer, Karlstad University Xiangyu Zhang, Purdue University From grlmc at grlmc.com Sun Feb 19 17:43:31 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 19 Feb 2017 17:43:31 +0100 Subject: [fg-arc] AlCoB 2017: call for posters Message-ID: <545102060a010b010653520a05075a5053520c070350075707525f085501070255070d550000520251075104000453@grlmc_ip-zone_com-6> AlCoB 2017: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 4th International Conference on Algorithms for Computational Biology (AlCoB 2017) invites researchers to submit poster presentations. AlCoB 2017 will be held in Aveiro (Portugal) on June 5-7, 2017. See  http://grammars.grlmc.com/AlCoB2017/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: April 28, 2017 Notification of poster acceptance or rejection: May 5, 2017 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2017 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 2017. However, they will be eligible for submission to the post-conference journal special issue in the Journal of Computational Biology (2015 JCR impact factor: 1.537). REGISTRATION At least one author of each accepted poster must register to the conference by May 22, 2017. The registration fare is reduced: 260 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Feb 20 10:56:38 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 20 Feb 2017 11:56:38 +0200 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Fifth Call for Papers Message-ID: *** Fifth Call for Papers *** 21st European Conference on Advances in Databases and Information Systems ADBIS 2017 Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmlmdGggQ2FsbCBmb3IgUGFwZXJzCTM0CUxpc3RzCTE4NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F The main objective of the ADBIS series of conferences is to provide a forum for the dissemination of research accomplishments and to promote interaction and collaboration between the database and information system research communities from European countries and the rest of the world. The ADBIS conferences provide an international platform for the presentation of research on database theory, development of advanced DBMS technologies, and their advanced applications. The conference will consist of regular sessions with technical contributions (regular papers, short papers) reviewed and selected by an international program committee, as well as of invited talks and tutorials presented by leading scientists. The official language of the conference will be English. A Doctoral Consortium and different Workshops will be held in line with the main conference. TOPICS We invite original papers describing results that broadly belong to both theory and practice of databases and information systems. The list of specific topics of interest follows, with a note that it is not exhaustive and we welcome novel results addressing topics not included in the list. · Data intensive sciences and databases · Theoretical foundations of databases · Management of large scale data systems · Data models and query languages · Database monitoring and (self-)tuning · Data curation, annotation, and provenance · Data warehousing, OLAP, and ETL tools · Indexing, query processing and optimization · Data mining and knowledge discovery · Big data storage, replication, and consistency · Modeling, mining and querying user generated content · Data quality and data cleansing · Web, XML and semi-structured databases · Sensor databases and mobile data management · Text databases and information retrieval · Probabilistic databases, uncertainty and approximate querying · Temporal and spatial databases · Graph databases · Databases on emerging hardware architectures · Distributed data platforms, including Cloud data systems, key-value stores, and Big Data systems · Information extraction and integration · Streaming data analysis · Scalable data analysis and analytics · Data and information visualization; and user interfaces · Information quality and usability · Information system architectures and networking · Business process modeling and optimization · Data and information flow engineering and management · Context-aware and adaptive information systems · Data and information intensive services · Requirements engineering for databases and information systems · Artificial intelligence in databases and information systems · Data, information, and information systems security · Innovative platforms for data and information handling · Innovative approaches for database and information systems engineering · Novel database and information systems applications PAPER PUBLISHING ADBIS accepted research papers will be published in a Springer Lecture Notes in Computer Science volume. Papers must not exceed 14 pages in the LNCS format. For camera-ready papers use Latex or Word style (find here http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmlmdGggQ2FsbCBmb3IgUGFwZXJzCTM0CUxpc3RzCTE4NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID%3D0-164-2-793332-0%26changeHeader%29. The program committee may decide to accept a submission as a short paper if it reports interesting results but does not justify publication of a full paper. ADBIS short research papers must not exceed 8 pages. The best paper authored solely by students will receive an award. Best papers of the main conference will be invited for submission in special issues of the ISI-indexed journals Information Systems (http://www.journals.elsevier.com/information-systems/) and Informatica (http://www.informatica.si/). SUBMISSION GUIDELINES · Papers must be written in English. · Papers must contain previously unpublished work and not be submitted concurrently to another conference. · Papers are submitted using an electronic submissions system, as detailed below. · An Author of an accepted paper must register to ADBIS 2017 in order to have the paper published. · Accepted papers must be presented at the conference by one of the authors. · ADBIS papers must be submitted via the EasyChair system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogRmlmdGggQ2FsbCBmb3IgUGFwZXJzCTM0CUxpc3RzCTE4NgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dadbis2017 . · Papers must be submitted as a single PDF document · Authors of accepted papers must submit along with the camera-ready version of their paper a copyright form filled (http://www.cyprusconferences.org/adbis2017/files/springerform.pdf) and signed. Please note that only authors employed by the EU (as an institution) tick the relevant box. Authors who simply reside or work in an EU country should not tick this box. IMPORTANT DATES · Full and Short Papers: March 30, 2017 · Notification of Acceptance: May 25, 2017 · Camera-ready Submission: June 15, 2017 COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From a.garcia-dominguez at aston.ac.uk Mon Feb 20 18:35:33 2017 From: a.garcia-dominguez at aston.ac.uk (Garcia-Dominguez, Antonio) Date: Mon, 20 Feb 2017 17:35:33 +0000 Subject: [fg-arc] (Deadline extended) Joint Call for Papers: STAF 2017 - Software Technologies: Applications and Foundations Message-ID: <239CD6FCD9FF564AA3DBE2D0CB18566B76E292EE@exch-mb-g50-01.campus.aston.ac.uk> -- Apologies for multiple postings -- The deadlines for the main events of STAF 2017 have been extended, due to popular demand. We welcome you to use this time to polish your contribution or start on one, if you have not done so yet! -- (Extended) Call for Papers: STAF 2017 - Software Technologies: Applications and Foundations http://www.informatik.uni-marburg.de/staf2017/ July 17-21, 2017. Marburg, Germany STAF is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012. The participating conferences focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools. In 2017, the following events are participating in STAF: --------------------- Main Events --------------------- * ECMFA - 13th European Conference on Modelling Foundations and Applications PC Chairs: Anthony Anjorin (University of Paderborn, Germany) and Huáscar Espinoza (Technalia, Spain) Call: http://ecmfaconference.wixsite.com/ecmfa2017 * ICGT - 10th International Conference on Graph Transformation PC Chairs: Detlef Plump (University of York, UK) and Juan de Lara (Universidad Autónoma de Madrid, Spain) Call: https://sites.google.com/site/gratra2017/home/ICGT17-CFP.pdf * ICMT - 10th International Conference on Model Transformation PC Chairs: Mark van de Brand (Eindhoven University of Technology, The Netherlands) and Esther Guerra (Universidad Autónoma de Madrid, Spain) Keynote speaker (confirmed): Ramon Schiffelers (ASML) Call: https://sites.google.com/site/icmt2017/cfp * TAP - 11th International Conference on Tests and Proofs PC Chairs: Einar Broch Johnsen (University of Oslo, Norway) and Sebastian Gabmeyer (Technische Universität Darmstadt, Germany) Call: http://www.seceng.informatik.tu-darmstadt.de/tap2017/call.html * TTC - 10th Transformation Tool Contest Organizers: Antonio Garcia-Dominguez (Aston University, UK), Filip Křikava (Northeastern University, USA), and Georg Hinkel (FZI Research Center of Information Technologies, DE) Call for Cases: http://www.transformation-tool-contest.eu/cfc.html --------------------- Satellite Events --------------------- * Doctoral Symposium Chairs: Davide Di Ruscio (University of L’Aquila, Italy) and Barbara König (Universität Duisburg-Essen, Germany) Call: http://www.informatik.uni-marburg.de/staf2017/index.php/call-doctoral-symposium/ * Workshops Chairs: Martina Seidl (JKU Linz, Austria) and Steffen Zschaler (King’s College London, UK) Call: http://www.informatik.uni-marburg.de/staf2017/index.php/call-for-workshops/ --------------------- Important Dates --------------------- * ECMFA, ICGT, ICMT, and TAP Abstract submission: 27.02.2017 (updated) Paper submission: 05.03.2017 (updated) * TTC: Case submission: 24.03.2017 (case solutions deadline follows) * Doctoral Symposium: 22.05.2017 * Workshop Proposals: 15.12.2016 Looking forward to high quality submissions, also on behalf of the various committees, Antonio Garcia-Dominguez Lecturer in Computer Science School of Engineering & Applied Science, Aston University Aston Triangle, Birmingham, B4 7ET https://www.cs.aston.ac.uk/~garcia-a/ From announce at cs.ucy.ac.cy Tue Feb 21 15:01:38 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 21 Feb 2017 16:01:38 +0200 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Call for Participation Message-ID: ** Call for Participation *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMzYJTGlzdHMJMTg2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiui.acm.org%2F2017 ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. The conference brings together people from academia, industry and non-profit organizations and gives its participants the opportunity to present and see cutting-edge IUI work in a focused and interactive setting. It is large enough to be diverse and lively, but small enough to allow for extensive interaction among attendees and easy attendance to the events that the conference offers, ranging from oral paper presentations, poster sessions, workshops, panels and doctoral consortium for graduate students. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. The conference venue is the well known 5* beach hotel St. Raphael Resort, situated on one of the largest Blue Flag accredited beaches, only a short coastal drive from the lively centre of town, approximately 10 minutes away (http://www.raphael.com.cy). The Larnaca International Airport is 35 minutes away, and Paphos International Airport is 55 minutes away. There are shops, restaurants and bars within walking distance and a bus stop exactly outside the hotel. The conference organizers have secured very competitive rates for accommodation, both at the venue hotel as well as a number of other hotels at close distance (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMzYJTGlzdHMJMTg2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiui.acm.org%2F2017/accommodation.html). In addition, the conference organization offers airport transfers to and from the hotels at very reasonable prices. This year IUI attracted an overwhelming number of submissions for all types of contributions (papers, posters, demos, etc.). The list of accepted contributions can be found here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMzYJTGlzdHMJMTg2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiui.acm.org%2F2017/accepted.html . The program will consist of paper presentations, posters and demos sessions, a Student Consortium and several workshops and tutorials. This exciting program will be further enhanced with 3 keynotes by the Distinguisheed ACM Speaker Panos Markopoulos (Eindhoven University of Technology), George Samaras (University of Cyprus) and Shumin Zhai (Google). The technical program will be complemented with a rich social program, including a welcome reception and a conference dinner at a local traditional Greek taverna with live entertainment. We cordially invite you to attend IUI 2017 and the co-located workshops and tutorials. Registration is open (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMzYJTGlzdHMJMTg2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiui.acm.org%2F2017/registration.html). Committees General Chairs · Tsvika Kuflik, University of Haifa, Israel · George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Chairs · Fang Chen, NICTA, Australia · Carlos Duarte, University of Lisbon, Portugal · Wai-Tat Fu, University of Illinois at Urbana-Champaign, USA Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IENhbGwgZm9yIFBhcnRpY2lwYXRpb24JMzYJTGlzdHMJMTg2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiui.acm.org%2F2017/pco.html Posters/Demos Chairs · Andrina Granic, University of Split, Croatia · Denis Parra. PUC, Chile · Jingtaw Wang, University of Pittsburgh, USA Workshops/Tutorials Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA Student Consortium Chairs · Peter Brusilovsky, University of Pittsburgh, USA · Katrien Verbert, KULeuven, Belgium Student Volunteers Chairs · Christos Mettouris, University of Cyprus, Cyprus · Tobias Grosse-Puppendahl, Microsoft Research, UK · Julia Sheidin, University of Haifa, Israel Sponsorship Chairs · Daniel Sonntag, DFKI, Germany (for Europe) · Feng Tian, Institute of Software Chinese Academy of Sciences, China (for Asia) Treasurer · George A. Papadopoulos, University of Cyprus, Cyprus Proceedings Chair · Daniel Afergan, Google, USA Web Master · Marios Christou, Easy Conferences, Cyprus · Kyriakos Georgiades, Easy Conferences, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From riebisch at informatik.uni-hamburg.de Thu Feb 23 14:18:36 2017 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Thu, 23 Feb 2017 13:18:36 +0000 Subject: [fg-arc] Teilnahme Modellbasierte Entwicklung eingebetteter Systeme MBEES2017 Message-ID: <8C30CAEA-B09C-44C1-A8F0-AACE3C850A32@exchange.informatik.uni-hamburg.de> Bitte entschuldigen Sie, falls Sie diese *Einladung zur Teilnahme* mehrfach erhalten. Mit freundlichen Grüßen im Namen der Organisatoren Matthias Riebisch ---------------------------------- 13. Workshop Modellbasierte Entwicklung Eingebetteter Systeme MBEES2017 15.-17.03.2017 Schloss Dagstuhl Inhalt: Ziel des Workshops ist der Austausch über offene Probleme, gewonnene Erfahrungen, und neue Ansätze zwischen den verschiedenen Disziplinen (Elektronik, Mechatronik, Informatik) sowie zwischen Industrie und Universität im Umfeld der modellbasierten Entwicklung eingebetteter und Software-intensiver Systeme. Derzeit gewinnen neben den klassischen Anforderungen wie Zuverlässigkeit und Korrektheit Forderungen nach Security zunehmend an Gewicht und erfordern eine Abwägung der Ziele. Der Workshop setzt die Tradition der bisherigen Workshops fort, indem er zur Diskussion zwischen den Teilnehmern anregt. Das Programm enthält 3 eingeladene Vorträge, 6 Vorträge mit Begutachtung durch Peer Reviews sowie fokussierte Gruppendiskussionen. Details können Sie der Workshop-Webseite entnehmen https://www.inf.uni-hamburg.de/en/inst/ab/swk/research/events/mbees2017.html Es gibt Möglichkeiten zur Teilnahme an diesem Workshop im Rahmen vakanter Plätze. Bitte senden Sie bei Interesse ein kurzes Position Statement (150 .. 250 Worte) zusammen mit Ihren Kontaktdaten an mbees2017 at easychair.org. Die Organisatoren entscheiden aufgrund der von Interessenten erwartbaren Beiträge zu Workshop-Diskussionen über deren Einladung. Spätester Termin für die Einsendung ist Freitag, 03.03.2017. Entscheidungen werden am Montag 06.03.2017 versandt. Links: Workshop-Webseite mit aktuellen Informationen: https://www.inf.uni-hamburg.de/en/inst/ab/swk/research/events/mbees2017.html Email-Adresse der Organisatoren: mbees2017 at easychair.org From announce at cs.ucy.ac.cy Thu Feb 23 16:01:39 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 23 Feb 2017 17:01:39 +0200 Subject: [fg-arc] 9th International Conference on Computational Collective Intelligence (ICCCI 2017): Fifth Call for Special Sessions & Workshops Proposals Message-ID: *** Fifth Call for Special Sessions & Workshops Proposals *** 9th International Conference on Computational Collective Intelligence ICCCI 2017 Hilton Cyprus, Nicosia, Cyprus 27 - 29 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBGaWZ0aCBDYWxsIGZvciBTcGVjaWFsIFNlc3Npb25zICYgV29ya3Nob3BzIFByb3Bvc2FscwkzOAlMaXN0cwkxODYJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F *** Firm Deadline: 15th March 2017 *** Computational Collective Intelligence is most often understood as an AI subfield dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. ICCCI 2017 is the 9th edition of the conference organized by the University of Cyprus and Wroclaw University of Science and Technology in Poland, in cooperation with the IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of the conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. Topics of Interest We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: · Agent Theory and Application · Automated Reasoning · Cognitive Modeling of Agent Systems · Collective Intelligence · Collective Processing · Computational Biology · Computer Vision · Computational Intelligence · Computational Security · Consensus Computing · Cooperative Systems and Control · Cybernetics for Informatics · Data Integration · Data Mining for Social Networks · Distributed Intelligence · Evolutionary computing · Fuzzy Systems · Geographic Information Systems · Grey Theory · Group Decision Making · Hybrid Systems · Information Retrieval and Integration · Information Hiding · Intelligent Architectures · Intelligent Applications · Intelligent Buildings · Intelligent Control · Intelligent E-learning/Tutoring · Intelligent Image Processing · Intelligent Networks · Intelligent Transportation Systems · Knowledge Integration · Knowledge Representation · Knowledge-Based Systems · Logic in Intelligence · Machine Learning · Mobile Intelligence · Multicriteria Decision Making · Natural Language Processing · Optimization and Swarm Intelligence · Pattern Recognition · Probabilistic and Uncertain Reasoning · Rough Sets · Semantic Web · Smart Living Technology · Smart Sensor Networks · Soft Computing · Social Networks · Ubiquitous Computing · Web Intelligence and Interaction Call for Special Sessions and Workshops Proposals ICCCI 2017 invites proposals for Special Sessions and Workshops to be held during the conference. They intend to provide researchers in focused areas the opportunity to present and discuss their work, as well as to offer a forum for interaction among a broader community of researchers. A Special Session or Workshop will consist of a group of papers in a sub-discipline of Computational Collective Intelligence related to the main topics of ICCCI 2017. The papers will be required to meet the same standards as ICCCI 2017 papers and will be published in the conference proceedings, in a bound volume by Springer in their Lecture Notes in Artificial Intelligence series. All the Special Sessions and Workshops will be centralized as tracks in the same conference submission and reviewing system (EasyChair) as the regular papers. Please send the Special Session and Workshop proposals with the following information: · Title & acronym of the special session · Brief profiles of special session organizers · General description of the special session scope · List of topics · Proposed Session Program Committee (to be invited) The format for the Special Session or Workshop proposal should follow the pattern of the template available on the conference web site. The organizers will be responsible for the advertisement and promotion of the Special Sessions or Workshops and the conference including the Special Sessions and Workshops webpage preparation. The management of papers review will be achieved by Special Session and Workshops Committees, using the Conference System (a separate EasyChair track will be provided for each Special Session and Workshop). The organizers are responsible for managing the review process. All the reviews should be submitted through EasyChair. Each paper should obtain at least two reviews. For Special Sessions and Workshops Issues please contact: Bogdan Trawinski Wroclaw University of Science and Technology, Poland bogdan.trawinski at pwr.edu.pl Important Dates · Special Session & Workshop Proposals: March 15, 2017 (*** firm ***) · Special Session & Workshop Acceptance: March 21, 2017 · Conference Dates: September 27-29, 2017 Organization Honorary Chairs · Costas Christophides, Rector of University of Cyprus, Cyprus · Pierre Lévy, University of Ottawa, Canada · Cezary Madryas, Rector of Wroclaw University of Technology, Poland General Chairs · Ngoc Thanh Nguyen, Wroclaw University of Science and Technology, Poland · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Costin Badica, University of Craiova, Romania · Piotr J?drzejowicz, Gdynia Maritime University, Poland · Kazumi Nakamatsu, University of Hyogo, Japan Organising Chair · Georgia Kapitsaki, University of Cyprus, Cyprus Special Sessions and Workshops Chairs · Achilleas Achilleos, University of Cyprus, Cyprus · Bogdan Trawinski, Wroclaw University of Science and Technology, Poland Doctoral Track Chair · George Pallis, University of Cyprus, Cyprus Publicity Chair · Christos Mettouris , University of Cyprus, Cyprus Local Organising Committee · Marios Komodromos, University of Cyprus, Cyprus · Christos Mettouris, University of Cyprus, Cyprus · Rafa Kern, Wroclaw University of Science and Technology, Poland · Marcin Pietranik, Wroclaw University of Science and Technology, Poland · Zbigniew Telec, Wroclaw University of Science and Technology, Poland Steering Committee · Ngoc Thanh Nguyen (chair), Wroclaw University of Science and Technology, Poland · Piotr Jdrzejowicz, Gdynia Maritime University, Poland · Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan · Kiem Hoang, University of Information Technology, VNU-HCM, Vietnam · Lakhmi C. Jain, University of South Australia, Australia · Geun-Sik Jo, Inha University, Korea · Janusz Kacprzyk, Polish Academy of Sciences, Poland · Ryszard Kowalczyk, Swinburne University of Technology, Australia · Toyoaki Nishida, Kyoto University, Japan · Manuel Núñez, Universidad Complutense de Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From jose.proenca at gmail.com Wed Feb 22 18:28:40 2017 From: jose.proenca at gmail.com (Jose Proenca) Date: Wed, 22 Feb 2017 09:28:40 -0800 (PST) Subject: [fg-arc] CfP: FACS 2017 - 14th International Conference on Formal Aspects of Component Software Message-ID: <58adca48.f0a6df0a.9e2b8.e46c@mx.google.com> --------------------------------------------------------------------- First Call for Papers FACS'17 14th International Conference on Formal Aspects of Component Software Braga, Portugal, October 10-13, 2017 http://facs2017.di.uminho.pt --------------------------------------------------------------------- IMPORTANT DATES Abstract submission deadline: May 19, 2017 Paper submission deadline: May 26, 2017 Notification: July 17, 2017 Final version due: July 31, 2017 Doctoral Track submission deadline: July 25, 2017 Doctoral Track notification: August 2, 2017 SCOPE The component-based software development approach has emerged as a promising paradigm to cope with an ever increasing complexity of present-day software solutions by bringing sound production and engineering principles into software engineering. However, many conceptual and technological issues remain in component-based software development theory and practice that pose challenging research questions. Moreover, the advent of cloud computing, cyber-physical systems, and of the Internet of Things has brought to the fore new dimensions. This include quality of service, reconfiguration and robustness to withstand inevitable faults, which require established concepts to be revisited and new ones to be developed in order to meet the opportunities offered by those architectures. FACS 2017 is concerned with how formal methods can or should be used to make component-based software development succeed. Formal methods consist of mathematics-based techniques for the specification, development, and verification of software and hardware systems. They have been shown to provide a strong foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The objective of FACS 2017 is to bring together researchers and practitioners in the areas of component software and formal methods in order to promote a deeper understanding of the component-based software development paradigm and its applications. TOPICS The conference seeks to address the applications of formal methods in all aspects of software components and services. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions. Specific topics include, but are not limited to: - formal models for software components and their interaction - formal methods and modeling languages for components and services - formal aspects of services, service oriented architectures, SaaS, cloud computing, and business processes - model-based and GUI-based design, implementation, and test of components and services - composition and deployment: models, calculi, languages - component/service re-engineering and reuse - models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services - formal models for component-based systems with variability - update and reconfiguration of component and service architectures - component systems evolution and maintenance - autonomic components & self-managed applications - formal and rigorous approaches to software adaptation and self-adaptive systems - industrial or experience reports, and case studies in component software - automated and tool-based approaches to facilitate the use of formal methods for components and services - modelling and verification of real-time, probabilistic, and/or hybrid component-based systems - components for real-time, safety-critical, secure, and/or embedded systems - components as enabling technology for the Internet of things and cyber-physical systems SUBMISSIONS We solicit high-quality submissions reporting on: A - original research contributions (18 pages max); B - applications and experiences (18 pages max); C - surveys, comparisons, and state-of-the-art reports (18 pages max); D - tool papers (6 pages max); Papers should be prepared in LaTeX, adhering to the Springer LNCS format and Guidelines. For further information please visit http://www.springer.com/lncs. Please use the easychair link below to submit your paper: https://easychair.org/conferences/?conf=facs2017 Doctoral Track: In addition, we solicit submissions to the Doctoral Track of FACS 2017, in the form of abstracts (3 pages max) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Publication: All accepted papers will appear in the categories A-D above will appear in the proceedings of the conference that will be published as a volume in the Springer's Lecture Notes in Computer Science series. A special issue of the Science of Computer Programming journal is planned for extended versions of selected papers from FACS 2017. PROGRAM CHAIRS Markus Lumpe, Swinburne University of Technology, Australia Jose Proenca, INESC TEC & University of Minho, Portugal STEERING COMMITTEE Farhad Arbab, CWI & Leiden University, The Netherlands Luis Barbosa, INESC TEC & University of Minho, Portugal Christiano Braga, Universidade Federal Fluminense, Brazil Carlos Canal, University of Malaga, Spain Jose Luiz Fiadeiro, Royal Holloway, University of London, UK Ramtin Khosravi, University of Tehran, Iran Olga Kouchnarenko, University of Burgundy-Franche-Comte, France Zhiming Liu, Birmingham City University, UK Markus Lumpe, Swinburne University of Technology, Australia Eric Madelaine, Inria, France Peter Olveczky University of Oslo, Norway Bernhard Schatz, TU Munchen, Germany PROGRAM COMMITTEE Paolo Arcaini, Charles University, Czech Republic Kyungmin Bae, Carnegie Mellon University, USA Luiis Barbosa, INESC TEC & University of Minho, Portugal Christiano Braga, Universidade Federal Fluminense, Brazil Roberto Bruni, University of Pisa, Italy Carlos Canal, University of Malaga, Spain Dave Clarke, Uppsala University, Sweden Javier Camara Moreno, Carnegie Mellon University, USA Frank de Boer, CWI & Leiden University, the Netherlands Arbab Farhad, CWI & Leiden University, the Netherlands Jose-Luiz Fiadeiro, University of London, UK Rolf Hennicker, Ludwig-Maximilians-Universitat of Munich, Germany Einar Broch Johnsen, University of Oslo, Norway Sung-Shik T.Q. Jongmans, Open University of the Netherlands & Radboud University Nijmegen, the Netherlands Jose Proenca, INESC TEC & University of Minho, Portugal Natallia Kokash, LIACS, the Netherlands Olga Kouchnarenko, Inria/Cassis & University of Franche-Comte, France Ivan Lanese, University of Bologna & INRIA, Italy & France Zhiming Liu, Southwest University, China Alberto Lluch Lafuente, Technical University of Denmark, Denmark Eric Madelaine, INRIA, France Lumpe Markus, Swinburne University of Technology, Australia Mieke Massink, CNR-ISTI, Italy Hernan Melgratti, Universidad de Buenos Aires, Argentina Corina Pasareanu, CMU/NASA Ames Research Center, USA Eric Rutten, INRIA, France Gwen Salaun, Grenoble INP - INRIA - LIG, France Francesco Santini, Universita di Perugia, Italy Marjan Sirjani, Reykjavik University, Iceland Meng Sun, Peking University, China Heike Wehrheim, University of Paderborn, Germany Peter Olveczky, University of Oslo, Norway More information: http://facs2017.di.uminho.pt From grlmc at grlmc.com Sun Feb 26 18:04:33 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 26 Feb 2017 18:04:33 +0100 Subject: [fg-arc] DeepLearn 2017: early registration March 24 Message-ID: <545102060a010b01075752070e0a5a0357515153535357000b06090306045a0357560c0f025b560107040451075150@grlmc_ip-zone_com-6> DeepLearn 2017: early registration March 24*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************   INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2017   Bilbao, Spain   July 17-21, 2017   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/DeepLearn2017/   ************************************************************   --- Early registration deadline: March 24, 2017 ---   ********************************************************   SCOPE:   DeepLearn 2017 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 neuroscience, computer vision, speech recognition, language processing, drug discovery, biomedical informatics, 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 4 keynote lectures, 30 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.   ADDRESSED TO:   In principle, graduate students, doctoral students and postdocs 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. DeepLearn 2017 is also appropriate for more senior academics and practitioners who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   REGIME:   In addition to keynotes, 3-4 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 2017 will take place in Bilbao, the largest city in the Basque Country, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao, Spain   KEYNOTE SPEAKERS: (to be completed)   Richard Socher (Salesforce), Tackling the Limits of Deep Learning   PROFESSORS AND COURSES:   Narendra Ahuja (University of Illinois, Urbana-Champaign), [introductory/intermediate] Basics of Deep Learning with Applications to Image Processing, Pattern Recognition and Computer Vision   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory and Applications to the Natural Sciences   Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks    Mohammed Bennamoun (University of Western Australia), [introductory/intermediate] Deep Learning for Computer Vision   Hervé Bourlard (Idiap Research Institute), [intermediate/advanced] Deep Sequence Modeling: Historical Perspective and Current Trends   Thomas Breuel (NVIDIA Corporation), [intermediate] Segmentation, Processing, and Tracking, with Applications to Video, Gaming, VR, and Self-driving Cars   George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors   Rina Dechter (University of California, Irvine), [introductory] Algorithms for Reasoning with Probabilistic Graphical Models   Li Deng (Microsoft Research), tba   Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing   Michael Gschwind (IBM T.J. Watson Research Center), [introductory/intermediate] Deploying Deep Learning Applications at the Enterprise Scale   Yufei Huang (University of Texas, San Antonio), [intermediate/advanced] Deep Learning for Bioinformatics   Soo-Young Lee (Korea Advanced Institute of Science and Technology), [intermediate/advanced] Multi-modal Deep Learning for the Recognition of Human Emotions in the Real   Li Erran Li (Columbia University), [intermediate/advanced] Deep Learning Security: Adversarial Examples and Adversarial Training   Michael C. Mozer (University of Colorado, Boulder), [introductory/intermediate] Incorporating Domain Bias into Neural Networks   Roderick Murray-Smith (University of Glasgow), [intermediate] Applications of Deep Learning Models in Human-Computer Interaction Research   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Marc’Aurelio Ranzato (Facebook AI Research), [introductory/intermediate] Learning Representations for Vision, Speech and Text Processing Applications   Maximilian Riesenhuber (Georgetown University), [introductory/intermediate] Deep Learning in the Brain   Ruslan Salakhutdinov (Carnegie Mellon University), [intermediate/advanced] Foundations of Deep Learning and its Recent Advances   Alessandro Sperduti (University of Padua), [intermediate/advanced] Deep Learning for Sequences   Jimeng Sun (Georgia Institute of Technology), [introductory] Interpretable Deep Learning Models for Healthcare Applications   Julian Togelius (New York University), [intermediate] (Deep) Learning for (Video) Games   Joos Vandewalle (KU Leuven), [introductory/intermediate] Data Processing Methods, and Applications of Least Squares Support Vector Machines   Ying Nian Wu (University of California, Los Angeles), [introductory/intermediate] Deep Generative Models and Unsupervised Learning   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] Statistical Machine Learning Perspectives of Extending Deep Neural Networks: Kernels, Logics, Regularizers, Priors, and Distributed Algorithms   Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them   Scott Wen-tau Yih (Microsoft Research), [introductory/intermediate] Continuous Representations for Natural Language Understanding   Richard Zemel (University of Toronto), [introductory/intermediate] Learning to Understand Images and Text   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 9, 2017.   ORGANIZING COMMITTEE:   José Gaviria Carlos Martín (co-chair) Manuel Jesús Parra Iker Pastor Borja Sanz (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2017/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   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 will be complete. It is much 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:   A suggestion for accommodation is available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance including the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universidad de Deusto Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Mon Feb 27 00:39:05 2017 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Sun, 26 Feb 2017 23:39:05 +0000 Subject: [fg-arc] [fm-announcements] RV 2017 - 2nd Call for papers and tutorials Message-ID: RV 2017 Call for Papers and Tutorials The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk rv2017 at easychair.org Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: * specification languages * monitor construction techniques * program instrumentation * logging, recording, and replay * combination of static and dynamic analysis * specification mining and machine learning over runtime traces * monitoring techniques for concurrent and distributed systems * runtime checking of privacy and security policies * statistical model checking * metrics and statistical information gathering * program/system execution visualization * fault localization, containment, recovery and repair * integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis. Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day (September 13), and three conference days (September 14-16). Important Dates Papers as well as tutorial proposals will follow the following timeline: * Abstract deadline: April 24, 2017 (Anywhere on Earth) * Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth) * Tutorial notification: May 21, 2017 * Paper notification: June 26, 2017 * Camera-ready deadline: July 24, 2017 * Conference: September 13-16, 2017 Invited Speakers We are very pleased to confirm the following invited speakers for RV 2017: * Rodrigo Fonseca, Brown University, USA Vlad Levin and Jakob Lichtenberg, Microsoft Research, USA * Andreas Zeller, Saarland University, Germany General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv17 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2017 to present. Paper Submissions There are three categories of papers which can be submitted: regular, short or tool papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. * Regular Papers (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. * Short Papers (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. * Tool Demonstration Papers (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. The Program Committee of RV 2017 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. Tutorial Submissions Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings, not including references. A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a brief biography of the presenter. The proposal should not exceed 2 pages. Organization General Chair Klaus Havelund, NASA Jet Propulsion Laboratory, USA Program Chairs Shuvendu Lahiri, Microsoft Research, USA Giles Reger, University of Manchester, UK Finance Chair Oleg Sokolsky, University of Pennsylvania, USA Publicity Chair Ayoub Nouri, University of Grenoble Alpes, France Local Organisation Chairs Grigory Fedyukovich, University of Washington, USA Rahul Kumar, Microsoft Research, USA Program Committee Wolfgang Ahrendt, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho, KTH Royal Institute of Technology, Sweden Howard Barringer, The University of Manchester, UK Ezio Bartocci, Vienna University of Technology, Austria Andreas Bauer, KUKA Systems, Germany Saddek Bensalem, VERIMAG (University of Grenoble Alpes), France Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany Borzoo Bonakdarpour, McMaster University, Canada Christian Colombo, University of Malta, Malta Ylies Falcone, University of Grenoble Alpes, France Grigory Fedyukovich, University of Washington, USA Lu Feng, University of Virginia, USA Patrice Godefroid, Microsoft Research, USA Jean Goubault-Larrecq, CNRS & ENS de Cachan, France Alex Groce, Northern Arizona University, USA Radu Grosu, Vienna University of Technology, Austria Sylvain Hallé, University of Québec at Chicoutimi, Canada Marieke Huisman, University of Twente, Netherlands Franjo Ivancic, Google Bengt Jonsson, Uppsala University, Sweden Felix Klaedtke, NEC Europe Ltd. Rahul Kumar, Microsoft Research, USA Kim Larsen, Aalborg University, Denmark Insup Lee, University of Pennsylvania, USA Axel Legay, Inria Rennes, France Martin Leucker, University of Lübeck, Germany Ben Livshits, Microsoft Research, USA David Lo, Singapore Management University, Singapore Francesco Logozzo, Facebook Parthasarathy Madhusudan, University of Illinois at Urbana-Champaign, USA Leonardo Mariani, University of Milan Bicocca, Italy Madanlal Musuvathi, Microsoft Research Ayoub Nouri, University of Grenoble Alpes, France Gordon Pace, University of Malta, Malta Doron Peled, Bar Ilan University, Israel Grigore Rosu, University of Illinois at Urbana-Champaign, USA Veselin Raychev, ETH Zurich, Switzerland Cesar Sanchez, IMDEA Software Institute, Spain Gerardo Schneider, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma, Microsoft Research, USA Julien Signoles, CEA LIST, France Scott Smolka, Stony Brook University, USA Oleg Sokolsky, University of Pennsylvania, USA Bernhard Steffen, University of Dortmund, Germany Scott Stoller, Stony Brook University, USA Volker Stolz, University of Olso, Norway Frits Vaandrager, Radboud University, Netherlands Neil Walkinshaw, University of Leicester, UK Chao Wang, University of Southern California, USA Eugen Zalinescu, Technische Universitat München, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From Tommaso.Urli at data61.csiro.au Tue Feb 28 06:19:11 2017 From: Tommaso.Urli at data61.csiro.au (Tommaso.Urli at data61.csiro.au) Date: Tue, 28 Feb 2017 05:19:11 +0000 Subject: [fg-arc] [ICLP 2017] Second Call for Papers Message-ID: <1488259149012.35866@data61.csiro.au> ICLP 2017 Call for Papers ------------------------- The 33rd International Conference on Logic Programming (ICLP 2017) will take place in Melbourne, Australia alongside SAT 2017 and CP 2017, from August 28th to September 1st, 2017 which is the week immediately following IJCAI 2017. Full information at http://iclp17.a4lp.org Call for Papers at http://iclp17.a4lp.org/call_for_papers.html Conference Scope ---------------- Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Virtual Machines, Parallelism, Constraint Handling Rules, Tabling. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking. - Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates (RP: Regular Paper / TC: Technical Communication) ----------------------------------------------------------------- - RP registration (abstract): 10 March, 2017 - RP submission: 17 March, 2017 - First notification (RPs): 24 April, 2017 - TC submission (extra round): 1 May, 2017 - Revision submission (RPs): 15 May, 2017 - Final notifications (RPs + TCs): 29 May, 2017 - Camera-ready copy (RPs + TCs): 19 June, 2017 - Conference: 28 Aug / 1 Sep, 2017 Submission Details ------------------ All submissions must be made via the EasyChair conference system (http://www.easychair.org/conferences/?conf=iclp2017). Submissions of regular papers (RPs) must follow the condensed TPLP format (template available from ICLP’s web page) and not exceed 14 pages including bibliography. RPs may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will be available as appendices to the published paper. Three kinds of RPs will be accepted: * Technical papers for technically sound, innovative ideas that can advance the state of logic programming; * Application papers that impact interesting application domains; * System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some RPs to be published as Technical Communications (TCs). TCs will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must follow the OASIcs format (template available from ICLP’s web page) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). TC’s authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. There is also a second submission round only for TCs. Submissions to this extra round must also follow the OASIcs format indicated above. RPs accepted as TCs do not need to be resubmitted to the TC extra round. Rejected RPs cannot be resubmitted as TCs. All RPs and TCs will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Conference Organization ----------------------- General Chairs: - Maria Garcia de la Banda Monash University, Australia - Guido Tack Monash University, Australia Program Chairs: - Ricardo Rocha University of Porto, Portugal - Tran Cao Son New Mexico State University, USA Workshop Chair: - Enrico Pontelli New Mexico State University, USA Publicity Chair: - Tommaso Urli Australian National University, Australia Sponsorship Chair: - Maria Garcia de la Banda Monash University, Australia Doctoral Consortium Chair (joint event with CP and SAT): - Neda Saeedloei University of Minnesota Duluth, USA - Christopher Mears Monash University, Australia Programming Contest Chairs:​ - Paul Fodor Stony Brook University, USA - Graeme Gange University of Melbourne, Australia Web Presence: - Tommaso Urli Australian National University, Australia Program Committee ----------------- See full program committee at http://iclp17.a4lp.org/program_committee.html Workshops --------- The ICLP 2017 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. See call for workshop proposals at http://iclp17.a4lp.org/call_for_workshop_proposals Doctoral Consortium ------------------- The Thirteen Doctoral Consortium (DC) on Logic Programming [this year being co-organized and taking place together with CP 2017 and SAT 2017] provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Conference Venue ---------------- The venue will be the Melbourne Convention and Exhibition Centre. Melbourne is the second most populous city in Australia and the coastal capital of the south-eastern Australian state of Victoria. Set on the shores of beautiful Port Phillip Bay, Melbourne has been named the World’s Most Liveable City for six years running and it is widely recognised as the cultural and culinary capital of Australia. It is a safe, creative and multi-cultural city full of exciting places to see, delicious foods to eat, and excellent events to experience; from the Arts precinct to the river bank parks and gardens to the buzzing city centre and the hidden thrills of Melbourne’s laneways. It is also an air-hop away from breathtaking destinations like The Great Barrier Reef, Sydney and Uluru. The Melbourne Convention and Exhibition Centre (MCEC) is located on the banks of the iconic Yarra River in Melbourne's South Wharf. Given its central location, it has a huge variety of accommodation close-by, with more than 6000 rooms within walking distance. MCEC is easily accessible by public transport, particularly as the Melbourne's city centre has a free tram zone that makes it easier for tourists to move around the city. Related Events -------------- Several other AI events will be held in Melbourne and other parts of Australia close to these dates, offering attendees a variety of choices for an extended itinerary. These events will include the International Conference on Principles and Practice of Constraint Programming (CP 2017) and the International Conference on Theory and Applications of Satisfiability Testing (SAT 2017), both co-located with ICLP 2017. The International Joint Conference on Artificial Intelligence (IJCAI 2017), the Australasian Joint Conference on Artificial Intelligence (AusAI 2017), the Australasian Conference on Data Mining (AusDM 2017), and the International Conference on Knowledge Science, Engineering, and Management (KSEM 2017) will all to be held in Melbourne one week before ICLP. The International Conference on Machine Learning (ICML 2017) will also be held in Sydney Australia shortly before ICLP 2017. Sponsors -------- The conference is sponsored by the Association for Logic Programming (ALP), the Association for Constraint Programming (ACP), Monash University, and CSIRO Data61. See the sponsor information at http://iclp17.a4lp.org/sponsors.html Financial Assistance -------------------- The Association for Logic Programming has funds to assist financially disadvantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. --- Unsubscribe *|EMAIL|* from this list: *|UNSUB|* Dr Tommaso Urli Researcher | Optimisation Platforms DATA61 | CSIRO E tommaso.urli at data61.csiro.au T +61 2 6218 3862 M +61 403 464 731 Tower A Level 3, 7 London Circuit, Canberra ACT 2601 www.data61.csiro.au CSIRO’s Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61 [Data61 | CSIRO logo] -------------- next part -------------- An HTML attachment was scrubbed... URL: