From marcello.balduccini at gmail.com Thu Mar 1 04:21:05 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Wed, 28 Feb 2018 22:21:05 -0500 Subject: KR 2018 Call for Papers ** INVITED SPEAKERS ANNOUNCED ** Message-ID: <201803010321.w213L5kY040396@coSAT.marcy-sara.tk> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** KR 2018 *** *** INVITED SPEAKERS ANNOUNCED *** 16th International Conference on Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA) October 30-November 2, 2018 kr2018.org/ Co-located with DL 2018 [dl.kr.org/] and NMR 2018 [www.kr.org/NMR] KR 2018 IMPORTANT DATES ----------------------- * Submission of title and abstract: 13 May 2018 * Paper submission deadline: 20 May 2018 * Author response period: 25-27 June 2018 * Notification: 11 July 2018 * Camera-ready papers due: 3-10 August 2018 * Conference date: 30 October-2 November 2018 ------------------------ Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Contrary to previous editions, KR 2018 will also feature an open call for workshop and tutorial proposals. The deadline for submissions is 21 February 2018. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018. Please check the KR 2018 website for further information and updates. We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Papers must be submitted in AAAI style and PDF format. We invite two kinds of submissions: * full papers of up to 9 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page; submission of additional material (e.g. proofs) as separate documents is allowed, but this material should not form an integral part of the submission and will only be consulted at the discretion of reviewers, PC members and (area and program) chairs, as appropriate; * short papers describing applications, systems and/or demos, of up to 4 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page. TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief revision and update, belief merging, information fusion * Computational aspects of knowledge representation * Concept formation, similarity-based reasoning * Contextual reasoning * Description logics * Decision making * Explanation finding, diagnosis, causal reasoning, abduction * Inconsistency- and exception tolerant reasoning, paraconsistent logics * KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems * KR and game theory * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Multi- and order-sorted representations and reasoning * Nonmonotonic logics, default logics, conditional logics * Philosophical foundations of KR * Ontology formalisms and models * Preference modeling and representation, reasoning about preferences, * preference-based reasoning * Qualitative reasoning, reasoning about physical systems * Reasoning about actions and change, action languages, situation calculus, dynamic logic * Reasoning about knowledge and belief, epistemic and doxastic logics * Spatial reasoning and temporal reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics INVITED SPEAKERS ---------------- Michael Beetz (Universit�t Bremen) William W. Cohen (Carnegie Mellon University) Oren Etzioni (Allen Institute for AI) Francesca Rossi (IBM Research and University of Padua) Mirek Truszczynski -- Great Moments in KR Talk (University of Kentucky) CONFERENCE CHAIRS ----------------- General: Frank Wolter (University of Liverpool, UK) Program: Michael Thielscher (The University of New South Wales, Australia) Francesca Toni (Imperial College London, UK) Local Organization: Joohyung Lee (Arizona State University, USA) Tran Cao Son (New Mexico State University, USA) Doctoral Consortium: Sebastian Rudolph (Technische Universit�t Dresden, Germany) Madalina Croitoru (University Montpellier II and INRIA, France) Workshop/tutorial Chairs: Sebastian Sardina (RMIT Melbourne, Australia) Ivan Varzinczak (Univ. Artois & CNRS, France) Sponsorship and Publicity: Marcello Balduccini (Saint Joseph's University, USA) Marco Maratea (University of Genova, Italy) From rodrigo.roman.uma at gmail.com Thu Mar 1 11:56:12 2018 From: rodrigo.roman.uma at gmail.com (Rodrigo Roman) Date: Thu, 1 Mar 2018 11:56:12 +0100 Subject: CFP: Springer IJIS, Special Issue on "IoT Security and Privacy" Message-ID: Dear All, Please consider submitting to the special issue of International Journal of Information Security on "IoT Security and Privacy". Please find attached for the details, which are also described below. Submission deadline is October 1, 2018. We look forward to your submissions! Best regards, Takeshi Takahashi, National Institute of Information and Communications Technology, Japan Rodrigo Roman Castro, Universidad de Málaga, Spain Ryan Ko, University of Waikato, New Zealand Bilhanan Silverajan, Tampere University of Technology, Finland Said Tabet, Dell EMC, USA (Guest Editors of the special issue of International Journal of Information Security on "IoT Security and Privacy") ======================================================================== Call for Papers International Journal of Information Security Special Issue on "IoT Security and Privacy" https://link.springer.com/journal/10207 ======================================================================== The Internet is gradually transforming from a communication platform for conventional IT appliances into the Internet of Things (IoT), increasingly interconnecting many assorted devices and sensors. These devices are generally referred as IoT devices, and many of them are inexpensive and can be constrained in terms of energy, bandwidth and memory. The establishment of IoT ecosystems in various domains is bringing multiple benefits to human users and companies alike. Example of such domains include Smart Homes, Smart Cities, the Industrial Internet and even Intelligent Transportation Systems. However, the IoT as a whole – including related paradigms such as Machine-to-Machine (M2M) and Cyber-Physical Systems (CPS) – is susceptible to a multitude of threats. In fact, many IoT devices currently are insecure and have many security vulnerabilities. For example, many vulnerable IoT devices which have been infected with malware have subsequently become comprised into large botnets, resulting in devastating DDOS attacks. Consequently, ensuring the security of such IoT ecosystems – before, during, and after an attack takes place – is a crucial issue for our society at this moment. This special issue aims to collect contributions by leading-edge researchers from academia and industry, show the latest research results in the field of IoT security and privacy, and provide valuable information to researchers as well as practitioners, standards developers and policymakers. Its aim is to focus on the research challenges and issues in IoT security. Manuscripts regarding novel algorithms, architectures, implementations, and experiences are welcome. Topics include but are not limited to: - Secure protocols for IoT devices - Privacy solutions and privacy helpers for IoT environments - Trust frameworks and secure/private collaboration mechanisms for IoT environments - Secure management and self-healing for IoT environments - Operative systems security for IoT devices - Security diagnosis tools for IoT devices - Threat and vulnerability detection in IoT environments - Anomaly detection and prevention mechanisms in IoT networks - Case studies of malware analysis in IoT environments - IoT forensics and digital evidence - Testbeds and experimental facilities for IoT security analysis and research - Standardization activities for IoT security - Security and privacy solutions tailored to specific IoT domains and ecosystems Submission Guidelines --------------------- Authors should prepare their manuscripts according to the "Instructions for Authors" guidelines outlined at the journal website http://www.springer.com/computer/security+and+cryptology/journal/10207. All papers will be peer-reviewed, by following a regular reviewing procedure. Authors are requested to submit their original manuscript via the online submission system. Note that article type 'S.I. : IOT Security and Privacy' must be selected on the system in order to be considered for this special issue. Important Dates --------------- Manuscript Due: October 1, 2018 First Round of Reviews: December 3, 2018 Guest Editors ------------- Takeshi Takahashi, National Institute of Information and Communications Technology, Japan Rodrigo Roman Castro, Universidad de Málaga, Spain Ryan Ko, University of Waikato, New Zealand Bilhanan Silverajan, Tampere University of Technology, Finland Said Tabet, Dell EMC, USA For more information, contact: editors-ijis-si-iotsec (at) googlegroups dot com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From unilog2018 at vichy-universite.com Thu Mar 1 12:21:51 2018 From: unilog2018 at vichy-universite.com (UNILOG2018) Date: Thu, 1 Mar 2018 11:21:51 +0000 Subject: Universal Logic School 2018 - Poster Session Message-ID: During the 6th Universal Logic School, Vichy, June 16-20, 2018 http://www.uni-log.org/ULS6 we are organizing a poster session for students and young researchers (post-docs) . A good opportunity to interact. It is a way to: - present what you are doing and/or what you want to do - to receive feedback and counselling from advanced researchers - to know what other people are doing If your poster is selected for presentation at the Universal Logic School you should register at the school but we will waive for you the fee for the congress. Moreover the three best posters will be selected for presentation during the congress, June 21-26. If you are interested send your poster before March 15 to vichy at uni-log.org The size of the poster should be 100 cm X 140 cm / 40 inches X 55 inches Jean-Yves Beziau and Christophe Rey Chairs of the Organizing Committee - UNILOG'2018 -------------------------------------------------------------------------------------------------------- U N I L O G - World Congress and School on Universal Logic - U N I L O G Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013, Istanbul 2015, Vichy 2018 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From shankar at csl.sri.com Thu Mar 1 18:05:44 2018 From: shankar at csl.sri.com (Natarajan Shankar) Date: Thu, 01 Mar 2018 09:05:44 -0800 Subject: Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018 Message-ID: <5A9832E8.3020003@csl.sri.com> Eighth Summer School on Formal Techniques, May 19 - May 25, 2018 Menlo College Atherton, California http://fm.csl.sri.com/SSFT18 Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the sixth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions. The lecturers at the school include: * Emina Torlak (University of Washington) Solver-Aided Programming * Mooly Sagiv (Tel Aviv University) Modularity for Decidability: Implementing and Semi-Automatically Verifying Distributed Systems * Nikhil Swamy and Jonathan Protzenko (Microsoft Research) Programming and Proving in F* and Low* * Andreas Abel (Chalmers/Gothenburg University) Introduction to Dependent Types and Agda * Dirk Beyer (Ludwig Maximilian University, Munich, Germany) Software Model Checking The main lectures in the summer school will be preceded by a two-day background course on logic: * Natarajan Shankar (SRI CSL) and Stephane Graham-Lengrand (Ecole Polytechnique) Speaking Logic We will also have invited talks by * Nina Narodytska (VMWare Research) Verifying Properties of Binarized Deep Neural Networks * Gordon Plotkin (U. Edinburgh, UK) Some Principles of Differentiable Programming Languages Research Papers * Edward A. Lee (UC Berkeley) Plato and the Nerd - The Creative Partnership of Humans and Technology Information about previous Summer Schools on Formal Techniques can be found at http://fm.csl.sri.com/SSFT11 http://fm.csl.sri.com/SSFT12 http://fm.csl.sri.com/SSFT13 http://fm.csl.sri.com/SSFT14 http://fm.csl.sri.com/SSFT15 http://fm.csl.sri.com/SSFT16 http://fm.csl.sri.com/SSFT17 We expect to provide support for the travel and accommodation for a limited number of students registered at US universities, but welcome applications from non-US students as well as non-students (if space permits). Non-US students will have to cover their own travel and will be charged around US$800 for meals and lodging. Applications should be submitted at the website http://fm.csl.sri.com/SSFT18 Applicants are urged to submit their applications before April 30, 2018, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. We strongly encourage the participation of women and under-represented minorities in the summer school. From francesco.nocera at poliba.it Thu Mar 1 23:17:03 2018 From: francesco.nocera at poliba.it (Francesco Nocera) Date: Thu, 1 Mar 2018 22:17:03 +0000 Subject: I: [CFP] Second International Workshop on Engineering the Web of Things (EnWoT 2018) In-Reply-To: References: Message-ID: *** We apologize if you receive multiple copies *** CALL FOR PAPERS --** EnWoT 2018 **--**Second International Workshop on Engineering the Web of Things** http://sisinflab.poliba.it/EnWoT/2018/ 05 June, 2018, Càceres, Spain Held in conjunction with 18th International Conference on Web Engineering (ICWE 2018) http://icwe2018.webengineering.org/ ----------------------------------------------------------------------------- IMPORTANT DATES: Submission: 01 April 2018 Notification: 28 April 2018 Camera-ready: 15 May 2018 Workshop date: 05 June 2018 Camera-ready (post proceedings): 05 July 2018 ------------------------------------------------------------------------------- The goal of this workshop is to bring the attention of researchers to the opportunities and challenges involved in engineering Web of Things. In the new era of computing, the development is evolving from traditional client-server architectures to decentralized multi-device architectures in which people use various types of Web-enabled client devices, and data is stored simultaneously in numerous devices and cloud-based services. This new era will dramatically raise the expectations for device interoperability, implying significant changes for software architecture as well. EnWoT 2018 aims at attracting contributions related to the subject at different levels, from modelling and design to engineering. Foundational contributions, as well as concrete application experiments are sought. The workshop welcomes submissions describing unpublished research, as well as deployment experiences on various topics related to engineering web of things as outlined below. TOPICS: Topics of interested include but are not limited to: * Software architectural styles and patterns for connecting objects to the World Wide Web * Engineering smart objects on the web * Real-time communication with physical objects * Web-based discovery, search, composition, and physical mashups * Self-adaptive and self-management approaches * Semantic web and Linked open data * Web of Thing and Internet of Everything * Challenges for Big Data and IoT applications * Architectures and Framework for smart devices connection * Liquid User Experience * Internet of People * Liquid Software * Liquid Web of Things * Security, access control, and sharing of physical things on the Web * Cloud platforms and services for the Web of Things * Application of Web tools and techniques in the physical world (REST, HTML5, social networks) SUBMISSION: Workshop papers are 12 pages long and peer-reviewed; post-workshop proceedings to appear in Springer's LNCS series. Submission of papers should be submitted as a single PDF file in the EasyChair system [https://easychair.org/conferences/?conf=enwot2018] Submissions will be judged on novelty, relevance, clarity of presentation, and correctness. Authors of accepted submissions are required to present their work. ----------------------------------------------------------------------- ORGANIZING COMMITTEE __ Workshop chair: Marina Mongiello, Polytechnic University of Bari, Italy Niko Mäkitalo, University of Helsinki, Finland Francesco Nocera, Polytechnic University of Bari, Italy Diego Perez-Palacin, Linnaeus University, Sweden __ Publicity Chair: Vito Bellini, Polytechnic University of Bari, Italy Luca Riccardi, Polytechnic University of Bari, Italy __ Program Committee (To be completed): Marco Autili, University of L'Aquila, Italy Stefano Bistarelli, University of Perugia, Italy Antonio Bucchiarone, Fondazione Bruno Kessler, Italy Radu Calinescu, University of York, UK Rafael Capilla, Universidad Rey Juan Carlos, Spain Giuseppe Desolda, University of Bari, Italy Sungwon Kang, Korea Advanced Institute of Science and Technology, Republic of Korea Eva Kühn, Vienna University of Technology, Austria Ivano Malavolta, Vrije Universiteit Amsterdam, The Netherlands Raffaela Mirandola, Politecnico di Milano, Italy Henry Muccini, University of L'Aquila, Italy Elisa Nakagawa, University of São Paulo, Brasile Liliana Pasquale, Lero - The Irish Software Engineering Research Centre, Ireland Luigi Patrono, Università del Salento, Italy Patrizia Scandurra, University of Bergamo, Italy Romina Spalazzese, Malmö University, Sweden Ronny Siebes, Vrije Universiteit Amsterdam, The Netherlands Maria Spichkova, RMIT University, Australia Uwe Zdun, University of Vienna, Austria -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From riccardo.demasellis at philosophy.su.se Fri Mar 2 17:29:38 2018 From: riccardo.demasellis at philosophy.su.se (Riccardo De Masellis) Date: Fri, 2 Mar 2018 17:29:38 +0100 Subject: FMLAMAS 2018 call for abstracts Message-ID: <3739DE8B-81DC-48C1-85F7-8623AF321196@philosophy.su.se> > Pre-AAMAS2018 Workshop on Formal Methods and Logical Aspects of Multi-Agent Systems (FMLAMAS 2018) > > 9-10 July 2018, Stockholm University > > Webpage: https://sites.google.com/view/fmlamas18/ > The FMLAMAS 2018 workshop will provide a working meeting and discussion forum for researchers working on various formal methods and logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It will address a wide range of issues that arise in these contexts, from theoretical foundations to algorithmic methods, implemented tools, and applications. > > The topics of the workshop include, but are not limited to: > > Modelling of MAS > Dynamical aspects of MAS > Formal/logic-based methods for specification, analysis, reasoning, verification and synthesis of MAS > Development, complexity analysis, implementation and tools for formal/logic-based methods for MAS > Applications and use cases of formal/logic-based methods and tools for MAS > Submission for workshop presentations > > Submissions are invited of short abstracts (preferably up to 2 pages) reporting either original, ongoing, or recently published good quality work in the area of the workshop. Published work can be submitted for presentation in full, though an extended abstract would be preferable. Submissions for relevant talks presented elsewhere are welcome, too. > > The submissions are not anonymous and will be subjected to light reviewing and selection. > > Due to the time constraints, submissions are restricted to one abstract per proposer. > > The abstracts must be submitted via Easychair: https://easychair.org/conferences/?conf=fmlamas18 > Important dates: > > Submission: April 15, 2018 > Notification: April 30, 2018 > Registration: June 9, 2018 > Workshop: July 9-10, 2018 > No registration fee will be charged for this workshop, but the participation may be limited in case of too many prospective participants. Participants with accepted talks will have a priority for registration. > > No workshop proceedings will be published, but the accepted abstracts of presentations will be made available on the workshop website. Depending on the number and quality of the original submissions, we may consider organising a workshop post-proceedings as a journal special issue. > > Committees > > Program Committee > > Alessio Lomuscio, Imperial College, London > Natasha Alechina, University of Nottingham > Pavel Naumov, Vassar College, NY > Riccardo De Masellis, Stockholm University > Vaishak Belle, University of Edinburgh > Valentin Goranko, Stockholm University (chair) > Wojciech Penczek, PAS, Warsaw > [More members may join later] > Organizing committee > > Karl Nygren, Stockholm University > Riccardo De Masellis, Stockholm University (co-chair) > Valentin Goranko, Stockholm University (co-chair) > Contacts > > For enquiries, send email to: fmlamas18 [at] easychair [dot] org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Fri Mar 2 23:11:00 2018 From: grlmc at grlmc.com (GRLMC) Date: Fri, 02 Mar 2018 23:11:00 +0100 Subject: HighPer 2018: early registration March 7 Message-ID: <545102060a010b060757580102005a535b530c500200545456050a5400525b0404595056060f5450035002060f0607@grlmc_ip-zone_com-6> HighPer 2018: early registration March 7*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *****************************************************************************   INTERNATIONAL SPRING SCHOOL ON HIGH PERFORMANCE COMPUTING   HighPer 2018   San Sebastián / Donostia, Spain   April 23-27, 2018   Organized by:   Materials Physics Center (CSIC-UPV/EHU), Donostia International Physics Center (DIPC), and Rovira i Virgili University   http://grammars.grlmc.com/HighPer2018/   *****************************************************************************   --- Early registration deadline: March 7, 2018 ---   *****************************************************************************   SCOPE:   HighPer 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of high performance computing, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of high performance computing will be displayed, from foundations, infrastructure and management to applications. Major challenges in the field will be identified through 2 keynote lectures, 21 five-hour and fifteen-minute courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, HighPer 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   HighPer 2018 will take place in San Sebastián, a famous touristic coastal city in the Basque Country which was European Capital of Culture 2016. The venue will be:   Centro Ignacio María Barriola Universidad del País Vasco / Euskal Herriko Unibertsitatea Campus de Gipuzkoa Plaza Elhuyar, 1 20018 San Sebastián / Donostia Spain   KEYNOTE SPEAKERS:   Federico Calzolari (Scuola Normale Superiore), Supercomputing: From CERN to Our Lives   Tony Hey (Rutherford Appleton Laboratory, UK Science and Technology Facilities Council), Big Scientific Data and Data Science   PROFESSORS AND COURSES:   Srinivas Aluru (Georgia Institute of Technology), [intermediate] High Performance Computational Biology   David A. Bader (Georgia Institute of Technology), [introductory/intermediate] Massive-scale Graph Analytics   Ümit V. Çatalyürek (Georgia Institute of Technology), [introductory/intermediate] HPC Graph Analytics   Alan Edelman (Massachusetts Institute of Technology), [introductory] Julia, with an Introduction to Performance and Machine Learning   Richard Fujimoto (Georgia Institute of Technology), [intermediate] Parallel Discrete Event Simulation   Timothy C. Germann (Los Alamos National Laboratory), [intermediate] HPC Frontiers in Computational Materials Science and Engineering   Lennart Johnsson (University of Houston), [introductory/intermediate] Energy Efficient Computing   Alfio Lazzaro (University of Zurich), [introductory/intermediate] Code Performance Optimizations   Andrew Lumsdaine (Pacific Northwest National Laboratory), [intermediate/advanced] Modern C++ for High-performance Computing   Madhav Marathe (Virginia Polytechnic Institute and State University), [introductory/advanced] Massively Interacting Bio-social Systems: Pervasive, Personalized and Precision Analytics   Frank Mueller (North Carolina State University), [introductory/intermediate] How to Parallelize Your Code: Taking Stencils from OpenMP to MPI, CUDA and TensorFlow   J. (Ram) Ramanujam (Louisiana State University), [introductory] Introduction to Program Analysis and Compiler Optimizations for Multicores and Accelerators   Adrian Sandu (Virginia Polytechnic Institute and State University), [introductory/intermediate] Revealing Parallelism: How to Decompose your Problem into Concurrent Tasks   Vivek Sarkar (Georgia Institute of Technology), [introductory] Fundamentals of Parallel, Concurrent, and Distributed Programming   Marc Snir (University of Illinois at Urbana-Champaign), [introductory] Programming Models and Run-times for High-Performance Computing   Josep Torrellas (University of Illinois at Urbana-Champaign), [intermediate/advanced] Parallel Computer Architecture Concepts   Todd J. Treangen (University of Maryland, College Park), [intermediate] Metagenomic Assembly and Validation   Elena Vataga (University of Southampton), [introductory] Hands-on Introduction to HPC for Life Scientists   Uzi Vishkin (University of Maryland, College Park), [introductory/intermediate] Parallel Algorithmic Thinking and How It Has Been Affecting Architecture   Richard Vuduc (Georgia Institute of Technology), [introductory] How Much Time, Energy, and Power Does an Algorithm Need?   David Walker (Cardiff University), [intermediate] Parallel Programming with OpenMP, MPI, and CUDA   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by April 16, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of high performance computing in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in high performance computing will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   ORGANIZING COMMITTEE:   Íñigo Aldazabal Mensa (co-chair) Carlos Martín-Vide (co-chair) Manuel J. Parra-Royón Txomin Romero Asturiano (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/HighPer2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For logistic reasons, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the webpage.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Centro de Física de Materiales (CSIC-UPV/EHU) Donostia International Physics Center (DIPC) Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ruy at cin.ufpe.br Sun Mar 4 20:18:53 2018 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Sun, 4 Mar 2018 16:18:53 -0300 Subject: =?UTF-8?Q?25th_WoLLIC_2018_=28Bogot=C3=A1=2C_Colombia=29_=2D_DEADLINE_APPR?= =?UTF-8?Q?OACHING?= Message-ID: [Please circulate. Apologies for multiple copies.] DEADLINE APPROACHING WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018 Bogotá, Colombia SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Departamento de Matemáticas, Universidad de los Andes, Colombia Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Departamento de Matemáticas, Universidad de los Andes, Colombia CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-fifth WoLLIC will be held at the Departamento de Matemáticas of the Universidad de los Andes, Bogotá, Colombia, from July 24th to 27th, 2018. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2018 EasyChair website. (Please go to http://wollic.org/wollic2018/i nstructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 11, 2018, and the full paper by Mar 18, 2018 (firm date). Notifications are expected by Apr 15, 2018, and final papers for the proceedings will be due by Apr 22, 2018 (firm date). PROCEEDINGS The proceedings of WoLLIC 2018, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2018 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Katalin Bimbo (Univ of Alberta, Canada) Xavier Caicedo (Univ de Los Andes, Colombia) José Meseguer (Univ of Illinois, Urbana-Champaign, USA) Elaine Pimentel (Univ Federal do Rio Grande do Norte, Brazil) Guillermo Simari (Univ Nacional del Sur, Argentina) Renata Wassermann (Univ de São Paulo, Brazil) SPECIAL SCREENING - A TRIBUTE TO THE MEMORY AND LEGACY OF RAYMOND SMULLYAN As a tribute to the memory and legacy of the late Raymond Smullyan, who passed away in February 2017, there will be a special session with a screening of the documentary film "This Film Needs No Title: A Portrait of Raymond Smullyan" (Dir. Tao Ruspoli, 2006, 30min), as well as short testimonies by experts. STUDENT GRANTS ASL sponsorship of WoLLIC 2018 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2018). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 11, 2018: Paper title and abstract deadline Mar 18, 2018: Full paper deadline Apr 15, 2018: Author notification Apr 22, 2018: Final version deadline (firm) PROGRAMME COMMITTEE Siddharth Bhaskar (Haverford College, USA) Torben Braüner (Roskilde University, Denmark) Hazel Brickhill (University of Bristol, UK) Michael Detlefsen (University of Notre Dame, USA) Juliette Kennedy (University of Helsinki, Finland) Sophia Knight (Uppsala University, Sweden) Alex Kruckman (Indiana University, USA) Maricarmen Martinez Baldares (Universidad de los Andes, Colombia) Frederike Moltmann (CNRS, France) Lawrence Moss (Indiana University, USA) (CHAIR) Cláudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK) Sophie Pinchinat (IRISA Rennes, France) David Pym (University College London, UK) Ruy de Queiroz (Univ Federal de Pernambuco, Brazil) Revantha Ramanayake (Vienna University of Technology, Austria) Giselle Reis (Carnegie Mellon University, Qatar) Jeremy Seligman (The University of Auckland, New Zealand) Yanjing Wang (Peking University, China) Fan Yang (Delft University of Technology, The Netherlands) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).) ORGANISING COMMITTEE Jaime A. Bohórquez (Escuela Colombiana de Ingeniería, Bogotá, Colombia) Xavier Caicedo (Universidad de los Andes, Colombia) (Local co-chair) Nicolás Cardozo (Universidad de los Andes, Bogotá, Colombia) Maricarmen Martínez (Universidad de los Andes, Colombia) (Local co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) Camilo Rocha (Universidad Javeriana, Cali, Colombia) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2018/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rodrigo.roman.uma at gmail.com Mon Mar 5 10:51:40 2018 From: rodrigo.roman.uma at gmail.com (Rodrigo Roman) Date: Mon, 5 Mar 2018 10:51:40 +0100 Subject: CFP: ESORICS 2018, 23rd European Symposium on Research in Computer Security Message-ID: ======================================================================== *** Apologies for multiple copies *** C a l l F o r P a p e r s ESORICS 2018 : Twenty-third European Symposium on Research in Computer Security Barcelona, Spain -- September 3-7, 2018 WWW: https://esorics2018.upc.edu ======================================================================== Overview ------------ ESORICS is the annual European research event in Computer Security. The Symposium started in 1990 and has been held in several European countries, attracting a wide international audience from both the academic and industrial communities. Papers offering novel research contributions in computer security are solicited for submission to the Symposium. The primary focus is on original, high quality, unpublished research and implementation experiences. We encourage submissions of papers discussing industrial research and development. Important Dates --------------------- * Paper submission deadline: April 18, 2018 * Notification to authors: June 15, 2018 * Camera ready due: June 25, 2018 Topics of Interest ----------------------- Topics of interest include, but are not limited to: * access control * accountability * ad hoc networks * anonymity * applied cryptography * authentication * biometrics * blockchain and finance security * data and computation integrity * database security * data protection * deep learning for attack and defense * digital content protection * digital forensics * distributed systems security * embedded systems security * inference control * information hiding * identity management * information flow control * information security governance and management * intrusion detection * formal security methods * language-based security * network security * phishing and spam prevention * privacy * privacy preserving data mining * risk analysis and management * secure electronic voting * security architectures * security economics * security metrics * security models * security and privacy for big data * security and privacy in cloud scenarios * security and privacy in complex systems * security and privacy in content centric networking * security and privacy in crowdsourcing * security and privacy in the IoT * security and privacy in location services * security and privacy for mobile code * security and privacy in pervasive / ubiquitous computing * security and privacy policies * security and privacy in social networks * security and privacy in web services * security and privacy in cyber-physical systems * security, privacy and resilience in critical infrastructures * security verification * software security * systems security * trust models and management * trustworthy user devices * usable security and privacy * web security * wireless security Paper Submission Guidelines --------------------------------------- Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=esorics2018 Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with proceedings. The symposium proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions should follow the LNCS template from the time they are submitted. Submitted papers should be at most 16 pages (using 10-point font), excluding the bibliography and well-marked appendices, and at most 20 pages total. Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. Submissions are to be made to the submission web site. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Authors of accepted papers must guarantee that their papers will be presented at the conference. Papers must be received by the aforementioned dates, 11:59 p.m. American Samoa time (UTC-11). Organisation Committee -------------------------------- General Chair: * Miguel Soriano, UPC, Spain Organization Chair: * Josep Pegueroles, UPC, Spain Workshop Chair: * Joaquin Garcia-Alfaro, Telecom-Sud Paris, France Program Committee Chairs: * Javier Lopez, University of Malaga, Spain * Jianying Zhou, SUTD, Singapore Program Committee: Gail-Joon Ahn, Arizona State University, USA Cristina Alcaraz, University of Malaga, Spain Elli Androulaki, IBM, Switzerland Vijay Atluri, Rutgers University, USA Michael Backes, Saarland University, Germany Carlo Blundo, Universita' degli Studi di Salerno, Italy Levente Buttyan, BME, Hungary Jan Camenish, IBM, Switzerland Alvaro Cardenas, University of Texas at Dallas, USA Aldar Chan, University of Hong Kong, HK Liqun Chen, University of Surrey, UK Sherman S. M. Chow, Chinese University of Hong Kong, HK Mauro Conti, University of Padua, Italy Jorge Cuellar, Siemens A.G., Germany Frederic Cuppens, TELECOM Bretagne, France Nora Cuppens-Boulahia, TELECOM Bretagne, France Marc Dacier, EURECOM, France Sabrina De Capitani di Vimercati, Universita' degli studi di Milano, Italy Herve Debar, Telecom SudParis, France Roberto Di Pietro, Hamad Bin Khalifa University (HBKU), Qatar Josep Domingo-Ferrer, University Rovira-Virgili, Spain Haixin Duan, Tsinghua University, China Jose Fernandez, Polytechnique Montreal, Canada Josep Lluis Ferrer, UIB, Spain Simone Fischer-Hübner, Karlstad University, Sweden Simon Foley, IMT Atlantique, France Sara Foresti, Universita' degli studi di Milano, Italy David Galindo, University of Birmingham, UK Debin Gao, SMU, Singapore Dieter Gollmann, Hamburg University of Technology, Germany Dimitris Gritzalis, Athens University of Economics and Business, Greece Stefanos Gritzalis, University of the Aegean, Greece Guofei Gu, Texas A&M University, USA Juan Hernandez, UPC, Spain Amir Herzberg, Bar-Ilan University & University of Connecticut, Israel Alejandro Hevia, University of Chile, Chile Xinyi Huang, Fujian Normal University, China Sushil Jajodia, George Mason University, USA Vasilios Katos, Bournemouth University, UK Sokratis Katsikas, NTNU, Norway Kwangjo Kim, KAIST, Korea Steve Kremer, INRIA Nancy-Grand Est, France Marina Krotofil, FireEye, USA Costas Lambrinoudakis, University of Piraeus, Greece Loukas Lazos, University of Arizona, USA Ninghui Li, Purdue University, USA Yingjiu Li, SMU, Singapore Hoon Wei Lim, SingTel, Singapore Joseph Liu, Monash University, Australia Peng Liu, Pennsylvania State University, USA Xiapu Luo, Hong Kong Polytechnic University, HK Mark Manulis, University of Surrey, UK Kostas Markantonakis, RHUL, UK Olivier Markowitch, Université Libre de Bruxelles, Belgium Fabio Martinelli, IIT-CNR, Italy Gregorio Martinez, University of Murcia, Spain Ivan Martinovic, University of Oxford, UK Sjouke Mauw, University of Luxembourg, Luxembourg Catherine Meadows, Naval Research Laboratory, USA Weizhi Meng, DTU, Denmark Chris Mitchell, RHUL, UK Haris Mouratidis, University of Brighton, UK David Naccache, Ecole Normale Suprieure, France Martin Ochoa, SUTD, Singapore Eiji Okamoto, University of Tsukuba, Japan Rolf Oppliger, eSECURITY Technologies, Switzerland Gunther Pernul, Universität Regensburg, Germany Christina Popper, NYU Abu Dhabi, UAE Joachim Posegga, University of Passau, Germany Jean-Jacques Quisquater, UCL, Belgium Indrajiti Ray, Colorado State University, USA Giovanni Russello, University of Auckland, New Zealand Mark Ryan, University of Birmingham, UK Peter Y.A. Ryan, University of Luxembourg, Luxembourg Rei Safavi-Naini, University of Calgary, Canada Pierangela Samarati, Universita' degli studi di Milano, Italy Damien Sauveron, XLIM, France Steve Schneider, University of Surrey, UK Ozgur Sinanoglu, NYU Abu Dhabi, UAE Einar Snekkenes, Gjovik University College, Norway Willy Susilo, University of Wollongong, Australia Pawel Szalachowski, SUTD, Singapore Qiang Tang, LIST, Luxembourg Juan Tapiador, Universidad Carlos III de Madrid, Spain Nils Ole Tippenhauer, SUTD, Singapore Aggeliki Tsohou, Ionian University, Greece Jaideep Vaidya, Rutgers University, USA Serge Vaudenay, EPFL, Switzerland Luca Vigano', King's College London, UK Michael Waidner, Fraunhofer SIT, Germany Cong Wang, City University of Hong Kong, HK Lingyu Wang, Concordia University, Canada Edgar Weippl, SBA Research, Austria Christos Xenakis, University of Piraeus, Greece Kehuan Zhang, Chinese University of Hong Kong, HK Sencun Zhu, Pennsylvania State University, USA Publicity Chairs: * Giovanni Livraga - Universita' degli studi di Milano, Italy * Rodrigo Roman - University of Malaga, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From oezcep at ifis.uni-luebeck.de Mon Mar 5 11:54:27 2018 From: oezcep at ifis.uni-luebeck.de (Oezguer Oezcep) Date: Mon, 5 Mar 2018 11:54:27 +0100 Subject: Second call for workshop and tutorial proposals at KI 2018 Message-ID: <2107CE6B-A7C9-4D74-A442-767CF7F5AF1A@ifis.uni-luebeck.de> Second call for workshop and tutorial proposals at KI 2018 ========================================== KI 2018 is the 41st edition of the German Conference on Artificial Intelligence which will take place in Berlin. It is organized in cooperation with the AI chapter of the German Computer Science Society. KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium. Further information on KI 2018 can be found at http://ki2018.dai-labor.de/ We invite proposals for workshops and tutorials to be held at the beginning (September 24-25) of the conference week (September 24-28). Topics include all subareas of artificial intelligence as well as their foundations and applications. Important dates ============ Workshop/tutorial proposal deadline: March 25, 2018 Notification of acceptance: April 1, 2018 Workshop 1st call for papers ready by: April 10, 2018 Workshop/tutorial web page ready by: April 10, 2018 Workshop/tutorial: September 24-25, 2018 Conference: September 24-28, 2018 How to propose a workshop ===================== Proposals should be PDF documents of up to three pages and should be sent by mail to oezcep at ifis.uni-luebeck.de . They should be formulated in English language and must have been sent not later than March 25, 2018. Workshop proposals should provide the following information: - Title (and possibly acronym) of the workshop - Description of workshop topic and goal. This description should discuss the relevance of the suggested topic and its interest to the general AI community and the KI 2018 audience. - Names and affiliations (including email and web address) of the workshop organizer(s). Please indicate the primary contact person for KI 2018. - Description of the organizers' background regarding the workshop topic - How many participants do you expect? How do you plan to attract enough participants for the workshop? - A brief description of the workshop format regarding the mix of events such as paper presentation, invited talks, panels, demonstrations, and general discussion - A preliminary agenda - A notice on the expected length of the workshop, half-day or full-day - A tentative list of PC members Workshop organizers will be responsible for: - producing a call for papers. The first call is due April 10, 2018. This call will be posted on (/ linked from) the KI 2018 website. Organizers are responsible for additional publicity such as distributing the call to relevant newsgroups and mailing lists, and especially to potential audiences from outside the KI conference community. - maintaining a workshop web page (going online no later than April 10, 2018) with updated information about the workshop. - producing the workshop proceedings - in case the workshop organizers plan to have proceedings. The workshop organizers coordinate the collection, production and distribution of the proceedings for the workshops. How to propose a tutorial =================== Tutorial proposals should be PDF documents of up to three pages and should be sent by mail to oezcep at ifis.uni-luebeck.de . They should be formulated in English language and must have been sent not later than March 25, 2018. Tutorial proposals should provide the following information: - Title of the tutorial - Description of tutorial topic and goal. This description should discuss the relevance of the suggested topic and its interest to the general AI community and the KI 2018 audience. - Names and affiliations (including email and web address) of the person(s) giving the tutorial. Please indicate the primary contact person for KI 2018. - A description of the background of tutorial organizers w.r.t. previous teaching/tutorial experience and/or own papers published in the field covered by the tutorial - A description of the targeted audience and the expected prerequisite knowledge - An indication of the length of the tutorial: quarter day (slot of 90 minutes), or half day tutorial (two slots), three quarter day (three slots) or full day tutorial (4 slots) - An outline of the tutorial agenda Tutorial organizers will be responsible for - setting up a tutorial web page containing - in particular - a short description of the tutorial, possibly a link to tutorial slides, hints on reading material, and a short biography of the presenters. The web page should be online by April 10, 2018. The KI 2018 conference organizers will provide rooms for the workshops and the tutorials as well as determine the dates and times of the tutorials and workshops. Should you have further questions regarding the KI 2018 workshops and tutorials, please do not hesitate to contact me. Workshop and tutorial chair Özgür L. Özcep oezcep at ifis.uni-luebeck.de —————————————————————————— Dr. Özgür L. Özcep Universität zu Lübeck Institut für Informationssysteme (Ifis) Ratzeburger Allee 160 (Gebäude 64, 2. OG) D-23562 Lübeck, Deutschland Telefon: +49 451 3101 5710 E-Mail: oezcep at ifis.uni-luebeck.de Web: https://www.ifis.uni-luebeck.de/index.php?id=oezcep —————————————————————————— -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Tue Mar 6 03:51:23 2018 From: grlmc at grlmc.com (GRLMC) Date: Tue, 06 Mar 2018 03:51:23 +0100 Subject: DeepLearn 2018: early registration March 12 Message-ID: <545102060a010b0607515805010a5a00520006580b05550351060f04570756055351020301005652065f0300015453@grlmc_ip-zone_com-6> DeepLearn 2018: early registration March 12*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   2nd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2018   Genova, Italy   July 23-27, 2018   Organized by: University of Genova IRDTA – Brussels/London   http://grammars.grlmc.com/DeepLearn2018/   ***************************************************************   --- Early registration deadline: March 12, 2018 ---   ***************************************************************   SCOPE:   DeepLearn 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2018 will take place in Genova, the capital city of Liguria, inscribed on the UNESCO World Heritage List and with one of the most important ports of the Mediterranean. The venue will be:   Porto Antico di Genova – Centro Congressi Magazzini del Cotone – Module 10 16128 Genova, Italy   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Thomas Breuel (NVIDIA Corporation), [intermediate] Design and Implementation of Deep Learning Applications   Joachim M. Buhmann (Swiss Federal Institute of Technology Zurich), [introductory/advanced] Model Selection by Algorithm Validation   Li Deng (Citadel), tba   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Michael Gschwind (IBM Global Chief Data Office), [introductory/intermediate] Deploying Deep Learning at Enterprise Scale   Xiaodong He (Microsoft Research), [intermediate/advanced] Deep Learning for Natural Language Processing and Language-Vision Multimodal Intelligence   Namkug Kim (Asan Medical Center), [intermediate] Deep Learning for Computer Aided Detection/Diagnosis in Radiology and Pathology   Li Erran Li (Uber ATG), [intermediate/advanced] Deep Reinforcement Learning: Foundations, Recent Advances and Frontiers   Dimitris N. Metaxas (Rutgers University), [advanced] Adversarial, Discriminative, Recurrent, and Scalable Deep Learning Methods for Human Motion Analytics, Medical Image Analysis, Scene Understanding and Image Generation   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [introductory/advanced] Cognitive Architectures for Object Recognition in Video   Björn Schuller (Imperial College London), [intermediate/advanced] Deep Learning for Signal Analysis   Michèle Sebag (French National Center for Scientific Research, Gif-sur-Yvette), [intermediate] Representation Learning, Domain Adaptation and Generative Models with Deep Learning   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning and Kernel Machines   Kenji Suzuki (Tokyo Institute of Technology), [introductory/advanced] Deep Learning in Medical Image Processing, Analysis and Diagnosis   Gökhan Tür (Google Research), [intermediate/advanced] Deep Learning in Conversational AI   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] A Statistical Machine Learning Perspective of Deep Learning: Algorithm, Theory, Scalable Computing   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Yudong Zhang (Nanjing Normal University), [introductory/intermediate] Convolutional Neural Network and Its Variants   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 15, 2018.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 15, 2018.   ORGANIZING COMMITTEE:   Francesco Masulli (Genova, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Università degli studi di Genova Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tstuder at inf.unibe.ch Tue Mar 6 10:40:35 2018 From: tstuder at inf.unibe.ch (Thomas Studer) Date: Tue, 6 Mar 2018 10:40:35 +0100 Subject: DEADLINE APPROACHING - AiML 2018: FINAL CALL FOR PAPERS Message-ID: DEADLINE APPROACHING AiML 2018: FINAL CALL FOR PAPERS 12TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC BERN, 27 AUGUST -- 31 AUGUST 2018 http://www.aiml2018.unibe.ch Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net AiML 2018 is the 12th conference in the series. AiML 2018 will be co-located with the sixth edition of the conference "Logic, Algebra and Truth Degrees" (LATD 2018) http://www.latd2018.unibe.ch TOPICS We invite submissions on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (topological/algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. PAPER SUBMISSIONS There will be two types of submissions for AiML 2018: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at https://easychair.org/conferences/?conf=aiml2018 At least one author of each accepted paper or short presentation must register for and attend the conference. (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML 2018 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that will be provided on the AiML 2018 website http://www.aiml2018.unibe.ch in due time. Authors must submit an abstract in plain text via EasyChair by the abstract deadline prior to full submission of their paper. The presentations of accepted full papers will be 30 minutes long. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. INVITED SPEAKERS Agata Ciabattoni (TU Wien, Austria) Rob Goldblatt (Victoria University, New Zealand) Rosalie Iemhoff (Utrecht University, The Netherlands) -- joint AiML-LATD invited speaker Stanislav Kikot (Birkbeck College London and Institute for Information Transmission Problems, Moscow) Dana Scott (University of California, Berkeley) LOCAL ORGANIZING COMMITTEE Bettina Choffat Almudena Colacito José Gil-Ferez Eveline Lehmann George Metcalfe (chair) Nenad Savić Silvia Steila Thomas Studer (chair) Olim Tuyt PROGRAMME COMMITTEE Natasha Alechina (University of Nottingham) Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow) Guram Bezhanishvili (New Mexico State University) Marta Bílková (Charles University) Patrick Blackburn (University of Roskilde) Giovanna D'Agostino (University of Udine) Stéphane Demri (CNRS, LSV, ENS Paris-Saclay) David Fernández-Duque (Institute de Recherche en Informatique de Toulouse) David Gabelaia (TSU Razmadze Mathematical Institute) Mai Gehrke (CNRS Paris Diderot) Silvio Ghilardi (Università degli Studi di Milano) Nina Gierasimczuk (Danish Technical University) Valentin Goranko (Stockholm University) Rajeev Goré (The Australian National University) Helle Hvid Hansen (Delft University of Technology) Ian Hodkinson (Imperial College) Wesley Holliday (UC Berkeley) Emil Jeřábek (Czech Academy of Sciences) Marcus Kracht (Bielefeld University) Clemens Kupke (University of Strathclyde) Agi Kurucz (King's College London) Roman Kuznets (TU Wien) Tamar Lando (Columbia University) Carsten Lutz (Universität Bremen) Larry Moss (Indiana University) Sara Negri (University of Helsinki) Eric Pacuit (University of Maryland) Valeria de Paiva (Nuance Communications, USA) Mark Reynolds (The University of Western Australia) Ilya Shapirovsky (Institute for the Information Transmission Problems) Valentin Shehtman (Institute for the Information Transmission Problems) Sonja Smets (Institute of Logic, Language and Computation) Viorica Sofronie-Stokkermans (Universität Koblenz-Landau) Thomas Studer (Universität Bern) Heinrich Wansing (Ruhr University Bochum) Frank Wolter (University of Liverpool) Michael Zakharyaschev (Birkbeck College London) PROGRAMME COMMITTEE CHAIRS Guram Bezhanishvili (New Mexico State University) Giovanna D'Agostino (University of Udine) IMPORTANT DATES Abstracts of full papers submission deadline: 11 March 2018 Full papers submission deadline: 18 March 2018 Full papers acceptance notification: 18 May 2018 Short presentations submission deadline: 20 May 2018 Short presentations acceptance notification: 8 June 2018 Final version of full papers and short presentations due: 17 June 2018 Conference: 27 August -- 31 August 2018 FURTHER INFORMATION Please see http://www.aiml2018.unibe.ch ENQUIRIES E-mail enquiries should be directed to the PC chairs, sent to aiml2018 at easychair.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From andrei.paskevich at lri.fr Tue Mar 6 14:25:58 2018 From: andrei.paskevich at lri.fr (Andrei Paskevich) Date: Tue, 6 Mar 2018 14:25:58 +0100 Subject: VerifyThis 2018: Call for Participation and Travel Grants Message-ID: <20180306132558.GA22874@tikki.lri.fr> ******************************************************************************** VerifyThis Verification Competition 2018 CALL FOR PARTICIPATION -- TRAVEL GRANTS Competition to be held at ETAPS 2018 http://verifythis.ethz.ch ******************************************************************************** IMPORTANT DATES Grant application deadline: March 12, 2018 Competition: April 14 and 15, 2018 ABOUT VerifyThis 2018 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2018) on April 14-15, 2018 in Thessaloniki, Greece. It is the 7th event in the VerifyThis competition series. The competition will offer a number of challenges presented in natural language and pseudo code. Participants have to formalize the requirements, implement a solution, and formally verify the implementation for adherence to the specification. There are no restrictions on the programming language and verification technology used. The correctness properties posed in problems will have the input-output behaviour of programs in focus. Solutions will be judged for correctness, completeness, and elegance. PARTICIPATION: Participation is open for anybody interested. Teams of up to two people are allowed. Registration for ETAPS workshops and physical presence on site is required. We particularly encourage participation of: - student teams (this includes PhD students) - non-developer teams using a tool someone else developed - several teams using the same tool TRAVEL GRANTS: The competition has funds for a limited number of travel grants. A grant covers the incurred travel and accommodation costs up to a certain limit. The expected limit is EUR 350 for those coming from Europe and EUR 600 for those coming from outside Europe. To apply for a travel grant, send an email to verifythis at cs.nuim.ie by March 12, 2018. The application should include: - your name - your affiliation - the verification system(s) you plan to use at the competition - the planned composition of your team - a short letter of motivation explaining your involvement with formal verification so far - if you are a student, please state the academic degree you are seeking and have your supervisor send a brief letter of support to verifythis at cs.nuim.ie ORGANIZERS * Marieke Huisman, University of Twente, the Netherlands * Rosemary Monahan, Maynooth University, Ireland * Peter Müller, ETH Zürich, Switzerland * Andrei Paskevich, Paris-Sud University, France * Gidon Ernst, National Institute of Informatics Tokyo, Japan CONTACT Email: verifythis at cs.nuim.ie Web: http://verifythis.ethz.ch From xrambous at aurora.fi.muni.cz Tue Mar 6 14:43:26 2018 From: xrambous at aurora.fi.muni.cz (TSD 2018) Date: Tue, 06 Mar 2018 14:43:26 +0100 Subject: TSD 2018 - Second Call for Papers Message-ID: ********************************************************* TSD 2018 - SECOND CALL FOR PAPERS ********************************************************* Twenty-first International Conference on TEXT, SPEECH and DIALOGUE (TSD 2018) Brno, Czech Republic, 11-14 September 2018 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic THE MAIN SUBMISSION DEADLINE: March 22 2018 ............ Submission of full papers Submission of abstract serves for better organization of the review process only - for the actual review a full paper submission is necessary. KEYNOTE SPEAKERS Kenneth Church, Baidu, USA Piek Vossen, Vrije Universiteit Amsterdam, The Netherlands TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. TSD Proceedings are regularly indexed in Web of Science by Thomson Reuters and in Scopus. Moreover, LNAI series are listed in all major citation databases such as DBLP, EI, INSPEC or COMPENDEX. CALL for SATELLITE WORKSHOP PROPOSALS The TSD 2018 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee. The organizing committee can arrange for a meeting room at the conference venue and prepare a workshop proceedings as a book with ISBN by a local publisher. The workshop papers that will pass also the standard TSD review process will appear in the Springer proceedings. Each workshop is a subject to proposal that should be sent to the contact e-mail tsd2018 at tsdconference.org ahead of the respective deadline. TOPICS Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (morphological and syntactic analysis, synthesis and disambiguation, multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection) Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies) Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues) Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) Papers on processing of languages other than English are strongly encouraged. PROGRAM COMMITTEE Elmar Noeth, Germany (general chair) Rodrigo Agerri, Spain Eneko Agirre, Spain Vladimir Benko, Slovakia Paul Cook, Australia Jan Cernocky, Czech Republic Simon Dobrisek, Slovenia Kamil Ekstein, Czech Republic Karina Evgrafova, Russia Yevhen Fedorov, Ukraine Volker Fischer, Germany Darja Fiser, Slovenia Eleni Galiotou, Greece Björn Gambäck, Norway Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, USA Tino Haderlein, Germany Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Yannis Haralambous, France Hynek Hermansky, USA Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Maria Khokhlova, Russia Aidar Khusainov, Russia Daniil Kocharov, Russia Miloslav Konopik, Czech Republic Ivan Kopecek, Czech Republic Valia Kordoni, Germany Evgeny Kotelnikov, Russia Pavel Kral, Czech Republic Siegfried Kunzmann, Germany Nikola Ljubešić, Croatia Natalija Loukachevitch, Russia Bernardo Magnini, Italy Oleksandr Marchenko, Ukraine Vaclav Matousek, Czech Republic France Mihelic, Slovenia Roman Moucek, Czech Republic Agnieszka Mykowiecka, Poland Hermann Ney, Germany Karel Oliva, Czech Republic Juan Rafael Orozco-Arroyave, Columbia Karel Pala, Czech Republic Nikola Pavesic, Slovenia Maciej Piasecki, Poland Josef Psutka, Czech Republic James Pustejovsky, USA German Rigau, Spain Marko Robnik Šikonja, Slovenia Leon Rothkrantz, The Netherlands Anna Rumshisky, USA Milan Rusko, Slovakia Pavel Rychly, Czech Republic Mykola Sazhok, Ukraine Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Stefan Steidl, Germany Georg Stemmer, Germany Vitomir Štruc, Slovenia Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Aleksander Wawer, Poland Pascal Wiggers, The Netherlands Yorick Wilks, United Kingdom Marcin Wolinski, Poland Alina Wróblewska, Poland Victor Zakharov, Russia Jerneja Žganec Gros, Slovenia FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. The Best Paper and Best Student Paper Awards will be selected by the Programme Committee and supported with a total prize of EUR 1000 from Springer. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. The registration fee is the same as in 2016: Student: Early payment (by May 31) - 10,000 CZK (approx. EUR 395) Full participant: Early payment (by May 31) - 12,000 CZK (approx. EUR 475) The fee has a "all in one" form, to keep equality between participants. SUBMISSION OF PAPERS Authors are invited to submit a full paper not exceeding 8 pages formatted in the LNCS style (see below). Those accepted will be presented either orally or as posters. The decision about the presentation format will be based on the recommendation of the reviewers. The authors are asked to submit their papers using the on-line form accessible from the conference website. Papers submitted to TSD 2018 must not be under review by any other conference or publication during the TSD review cycle, and must not be previously published or accepted for publication elsewhere. As reviewing will be blind, the paper should not include the authors' names and affiliations. Furthermore, self-references that reveal the author's identity, e.g., "We previously showed (Smith, 1991) ...", should be avoided. Instead, use citations such as "Smith previously showed (Smith, 1991) ...". Papers that do not conform to the requirements above are subject to be rejected without review. The authors are strongly encouraged to write their papers in TeX or LaTeX formats. These formats are necessary for the final versions of the papers that will be published in the Springer Lecture Notes. Authors using a WORD compatible software for the final version must use the LNCS template for WORD and within the submit process ask the Proceedings Editors to convert the paper to LaTeX format. For this service a service-and-license fee of CZK 2000 will be levied automatically. The paper format for review has to be in the PDF format with all required fonts included. Upon notification of acceptance, presenters will receive further information on submitting their camera-ready and electronic sources (for detailed instructions on the final paper format see http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines, Sample File typeinst.zip). Authors are also invited to present actual projects, developed software or interesting material relevant to the topics of the conference. The presenters of demonstrations should provide an abstract not exceeding one page. The demonstration abstracts will not appear in the conference proceedings. IMPORTANT DATES March 15 2018 ............ Submission of abstracts March 22 2018 ............ Submission of full papers May 16 2018 .............. Notification of acceptance May 31 2018 .............. Final papers (camera ready) and registration August 8 2018 ............ Submission of demonstration abstracts August 15 2018 ........... Notification of acceptance for demonstrations sent to the authors September 11-14 2018 ..... Conference date Submission of abstracts serves for better organization of the review process only - for the actual review a full paper submission is necessary. The accepted conference contributions will be published in Springer proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. ACCOMMODATION The organizing committee will arrange discounts on accommodation in the 4-star hotel at the conference venue. The current prices of the accommodation are available at the conference website. ADDRESS All correspondence regarding the conference should be addressed to Ales Horak, TSD 2018 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 18 63 fax: +420-5-49 49 18 20 email: tsd2018 at tsdconference.org The official TSD 2018 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000 and is the country's judiciary and trade-fair center. Brno is the capital of South Moravia, which is located in the south-east part of the Czech Republic and is known for a wide range of cultural, natural, and technical sights. South Moravia is a traditional wine region. Brno had been a Royal City since 1347 and with its six universities it forms a cultural center of the region. Brno can be reached easily by direct flights from London and Munich, and by trains or buses from Prague (200 km) or Vienna (130 km). For the participants with some extra time, nearby places may also be of interest. Local ones include: Brno Castle now called Spilberk, Veveri Castle, the Old and New City Halls, the Augustine Monastery with St. Thomas Church and crypt of Moravian Margraves, Church of St. James, Cathedral of St. Peter & Paul, Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat designed by Mies van der Rohe along with other important buildings of between-war Czech architecture. For those willing to venture out of Brno, Moravian Karst with Macocha Chasm and Punkva caves, battlefield of the Battle of three emperors (Napoleon, Russian Alexander and Austrian Franz - Battle by Austerlitz), Chateau of Slavkov (Austerlitz), Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice Chateau, Letovice Chateau, Mikulov with one of the largest Jewish cemeteries in Central Europe, Telc - a town on the UNESCO heritage list, and many others are all within easy reach. From dario.dellamonica at unina.it Wed Mar 7 12:08:00 2018 From: dario.dellamonica at unina.it (Dario Della Monica) Date: Wed, 7 Mar 2018 12:08:00 +0100 Subject: =?UTF-8?Q?Logic_Col=c2=adlo=c2=adquium_2018_=28LC18=29:_2nd_call_fo?= =?UTF-8?Q?r_contributions?= Message-ID: <1b5747b3-2227-0422-dde9-22e5a48c9263@unina.it> We are happy to announce the following event and we would be glad if you could forward this message to whom it might interest. LC 2018 Udine, Italy July 23-28, 2018 https://lc18.uniud.it ________________________________________________________________________ LOGIC COLLOQUIUM 2018 https://lc18.uniud.it The Logic Colloquium 2018 is the annual European summer meeting of the Association of Symbolic Logic (ASL) (http://www.aslonline.org/index.htm). It will be held during July 23-28, 2018, at the University of Udine, Italy, and is organized by the Department of Mathematics, Computer Science, and Physics of the University of Udine. The latest meetings took place in Paris (2010), Barcelona (2011), Manchester (2012), Evora (2013), Vienna (2014), Helsinki (2015), Leeds (2016), and Stockholm (2017). The Association for Symbolic Logic (ASL) is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. The Association holds two major annual meetings to present current research in all aspects of logic in a way that is accessible to all logicians. IMPORTANT DATES: ============================ Deadline for abstract submission: April 27, 2018 Deadline for grant applications: May 4, 2018 Deadline for early registration: May 23, 2018 Main event: July 23 (9am)- July 28 (1pm) TUTORIAL SPEAKERS: ================== U. Sattler (University of Manchester) K. Tent (WWU Münster) INVITED SPEAKERS: ================= M. Antonutti Marfori (Ludwig-Maximilians-Universität München) A. Atserias (Universitat Politècnica de Catalunya) V. Brattka (Universität der Bundeswehr München) A. Ciabattoni (TU Wien) P. D’Aquino (Università degli Studi della Campania) P. Oliva (Queen Mary University of London) L. Patey (Institut Camille Jordan, Lyon) A. Tserunyan (University of Illinois at Urbana-Champaign) S. Unger(Tel Aviv University) M. Viale (Università degli studi di Torino) D. Westerstahl (Stockholm University) GOEDEL SPEAKER: ================ R. Downey (Victoria University of Wellington) SPECIAL SESSIONS: ================= 6 special sessions with topics: * Descriptive set theory and dynamical systems:     - Chairs:     B. Miller (Universität Wien)                  A. Törnquist (København Universitet)     - Speakers: C. Conley (Carnegie Mellon University)                 J. Melleray (Université Lyon I)                 T. Tsankov (Université Paris Diderot)                 R. Tucker-Drob (Texas A&M University) * Model theory:     - Chairs:     E. Casanovas (Universitat de Barcelona)                 F. Wagner (Université Lyon I)     - Speakers: A. Deloro (Université Pierre et Marie Curie)                 I. Goldbring (UC Irvin)                 N. Hempel (UCLA)                 N. Ramsey (UC Berkeley) * Proof theory and constructivism:     - Chairs:     S. Ghilardi (Università degli Studi di Milano)                 G. Sambin (Università degli Studi di Padova)     - Speakers: R. Akiyoshi (Waseda University)                 M. Escardó (University of Birmingham)                 A. Palmigiano (TU Delft)                 C. Xu (Ludwig-Maximilians-Universität München) * Temporal and multivalued logics:     - Chairs:     B. Gerla (Università dell'Insubria)                 M. Lange (Universität Kassel)     - Speakers:    A. Kurucz (King's College London)                 D. Mundici (Università degli Studi di Firenze)                 P. K. Pandya (Tata Institute of Fundamental Research; IIT Mumbai)                 A. Vidal (Czech Academy of Sciences) * Computability theory:     - Chairs:     P. Shafer (University of Leeds)                 A. Sorbi (Università di Siena 1240)     - Speakers: J. Franklin (Hofstra University)                 T. Kihara (Nagoya University)                 S. Ng (Nanyang Technological University)                 L. B. Westrick (University of Connecticut) * Philosophy of Logic and Mathematics:     - Chairs:     J. Kennedy (University of Helsinki)                 G. Sagi (University of Haifa)     - Speakers:    B. Halimi (Université Paris Nanterre)                 S. Hewitt (University of Leeds)                 L. Picollo (Ludwig-Maximilians-Universität München)                 N. Wyatt (University of Calgary) PROGRAM COMMITTEE: ============= D. Macpherson (Chair) (University of Leeds) S. Demri (CNRS) A. Kechris (California Institute of Technology) C. Laskowski (University of Maryland) A. Marcone (Università degli Studi di Udine) A. Montalban (UC Berkeley) P. Pudlàk (Czech Academy of Sciences) G. Sher (UC San Diego) D. Sinapova (University of Illinois at Chicago) LOCAL ORGANIZATION COMMITTEE: ============= Department of Mathematics, Computer Science and Physics University of Udine, Italy G. D'Agostino (Co-Chair) A. Montanari (Co-Chair) V. Dimonte G. Gherardi A. Marcone F. Parlamento C. Piazza D. Della Monica M. Fiori Carones N. Gigante A. Molinari M. Valenti For questions, please contact lc18 at uniud.it SUBMISSIONS: =================== Abstracts of contributed papers must be submitted as LaTeX source code, via EasyChair, at the URL: https://easychair.org/conferences/?conf=lc18. If you do not have an EasyChair account yet, you can create one at https://easychair.org/ Abstract should be prepared according to the ASL instructions http://www.aslonline.org/rules_abstracts.html using the ASL abstract style (available at http://aslonline.org/abstractresources.html). The deadline for submissions is April 27, 2018. If electronic submission is not possible, abstracts should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. Abstracts are published as part of the meeting report in The Bulletin of Symbolic Logic  only if at least one author is a member of the ASL at the time the report is sent for publication. Abstracts of contributed papers submitted by ASL members will be published in The Bulletin of Symbolic Logic, provided that they satisfy the Rules for Abstracts (see above). APPLICATIONS FOR STUDENT GRANTS: ======================= The ASL, the NSF, and the local organizing committee will make available modest awards to graduate students in logic and to recent PhDs to attend the meeting. For more details on the grants, see: http://www.aslonline.org/studenttravelawards.html . Applications for student grants and recommendations should be received by May 4, 2018. They should be submitted electronically, by email to LC18grant at uniud.it If electronic submission is not possible, applications and recommendations should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. The application should follow the instructions on https://lc18.uniud.it/applications Students waiting for the acceptance of a grant application should not register, since the grant may include discounts to the registration fee. After the acceptance, an ad hoc registration form will be available for them. Students whose application is declined will still have time to register before the early registration deadline. ______________________________________________ The event is made possible thanks to the financial support of: * ASL (Association for Symbolic Logic) https://www.aslonline.org * NSF (National Science Foundation) https://www.nsf.gov * SILFS (Società Italiana di Logica e Filosofia delle Scienze) http://www.silfs.it * AILA (Associazione Italiana di Logica e sue Applicazioni) http://www.ailalogica.it * Università degli Studi di Udine https://www.uniud.it/ * GNSAGA - INdAM http://www.altamatematica.it/gnsaga * Italian Chapter of EATCS (European Association for Theoretical Computer Science) https://www.eatcs.org/index.php/italian-chapter ______________________________________________ Association of Symbolic Logic (ASL): http://www.aslonline.org ASL newsletters: https://www.aslonline.org/info-newsletter.html -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From riccardo.zese at unife.it Wed Mar 7 12:38:13 2018 From: riccardo.zese at unife.it (Riccardo Zese) Date: Wed, 7 Mar 2018 12:38:13 +0100 Subject: [CfP] Deadline extended! PLP 2017- IJAR Special issue Message-ID: Apologize for multiple posting. ---------------------------------------------------------------------- CALL FOR PAPERS International Journal of Approximate Reasoning http://www.journals.elsevier.com/international-journal-of- approximate-reasoning Special issue on the 4th Probabilistic Logic Programming workshop (PLP, http://stoics.org.uk/plp/plp2017). Deadline: April 7, 2018 (deadline extended) ---------------------------------------------------------------------- The 4th PLP workshop was held on the 7th of September 2017, in Orlèans, France, as part of the 27th International Conference on Inductive Logic Programming. We welcome submissions of (improved/extended versions of) papers that were presented at the workshop in Orlèans, as well as new submissions on all topics of the workshop. Topics include but are not limited to: -------------------------------------- * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * answer set programming * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software Important Dates: -------------- Submission of manuscripts: before April 7, 2018 (Papers will be sent to reviewers as soon as we receive them). Publication of the special issue: January 2019 (tentative). Guest Editors: -------------- Christian Theil Have (Copenhagen University, Denmark, c.have at sund.ku.dk) Riccardo Zese (University of Ferrara, Italy, riccardo.zese at unife.it) Submissions: ------------ All submitted papers under this call will undergo the standard review process of the journal and they must be prepared according to the "Guide for Authors" available from the online submission page of the IJAR at https://www.evise.com/profile/api/navigate/IJA Please select the Special Issue Prob. Log. Prog. 2017 at the "Article Type" step in the submission process. -- Riccardo Zese, PhD DE - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From christoph.lueth at dfki.de Wed Mar 7 17:28:50 2018 From: christoph.lueth at dfki.de (=?UTF-8?Q?Christoph_L=c3=bcth?=) Date: Wed, 7 Mar 2018 17:28:50 +0100 Subject: Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018) Message-ID: <2869e06c-2652-f99c-e2f3-054bae66a735@dfki.de> [Apologies for multiple copies.] CALL FOR PAPERS: 13th INTERNATIONAL WORKSHOP ON USER INTERFACES FOR THEOREM PROVERS (UITP 2018) http://www.informatik.uni-bremen.de/uitp/uitp2018/ July 13th, 2018. Oxford, UK A FLoC 2018 workshop. The User Interfaces for Theorem Provers workshop series (UITP) brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are not limited to: * Application-specific interaction mechanisms or designs for prover interfaces * Experiments and evaluation of prover interfaces * Languages and tools for authoring, exchanging and presenting proof * Implementation techniques (e.g. web services, custom middleware, DSLs) * Integration of interfaces and tools to explore and construct proof * Representation and manipulation of mathematical knowledge or objects * Visualization of mathematical objects and proof * System descriptions SUBMISSION ========== Submitted papers should describe previously unpublished work (completed or in progress), and be at least 4 pages and at most 12 pages. We encourage concise and relevant papers. Submissions should be in PDF format, and typeset with the EPTCS LaTeX document class (which can be downloaded from http://style.eptcs.org/). Submission is via EasyChair (https://www.easychair.org/conferences/?conf=uitp2018). All papers will be peer reviewed by members of the programme committee and selected by the organizers in accordance with the referee reports. At least one author/presenter of accepted papers must attend the workshop and present the work. IMPORTANT DATES =============== Submission deadline: 15.04.2018 Acceptance notification: 15.05.2018 Workshop: 13.07.2018 PROCEEDINGS =========== Authors will have the opportunity to incorporate feedback and insights gathered during the workshop to improve their accepted papers before publication in the post-proceedings in the Electronic Proceedings in Theoretical Computer Science (EPTCS). PROGRAMME COMMITTEE =================== Mateja Jamnik, University of Cambridge, UK (co-Chair) Christoph Lüth, University of Bremen, Germany (co-Chair) Serge Autexier, DFKI Bremen, Germany David Aspinall, University of Edinburgh, UK Chris Benzmüller, Free University Berlin, Germany Yves Bertot, INRIA Sophia-Antipolis, France Maria Paola Bonacina, University of Verona, Italy Joachim Breitner, University of Pennsylvania, USA Ross Duncan, University of Strathclyde, UK Moa Johansson, Chalmers University, Sweden Zoltán Kovács, RISC, Austria Mohamed Yousri Mahmoud, University of Ottawa, Canada Michael Norrish, NICTA, Australia Andrei Paskevich, LRI, France Larry Paulson, University of Cambridge, UK Alison Pease, University of Dundee, UK Pedro Quaresma, University of Coimbra, Portugal Gem Stapleton (University of Brighton, UK) Christian Sternagel, University of Innsbruck, Austria Enrico Tassi, INRIA Sophia-Antipolis, France Laurent Théry, INRIA Sophia-Antipolis, France Makarius Wenzel, Sketis, Germany Wolfgang Windsteiger, RISC Linz, Austria Bruno Woltzenlogel Paleo, Technical University Vienna, Austria CONTACT ======= uitp2018 at easychair.org From unilog2018 at uca.fr Tue Mar 6 12:01:39 2018 From: unilog2018 at uca.fr (UNILOG 2018) Date: Tue, 6 Mar 2018 12:01:39 +0100 Subject: Universal Logic School 2018 - Poster Session Message-ID: <6b634864-bc9e-8465-6cf5-c0dccc503d28@uca.fr> During the 6th Universal Logic School, Vichy, June 16-20, 2018 http://www.uni-log.org/ULS6 we are organizing a poster session for students and young researchers (post-docs). This is a good opportunity  to interact. It is a way to: - present what you are doing and/or what you want to do, - to receive feedback and counselling from advanced researchers - and to know what other people are doing. If your poster is selected for presentation at the Universal Logic School you should register at the school but we will waive for you the fee for the UNILOG Congress which takes place just after the UNILOG School (from the 21st to the 26th June). Moreover the three best posters will be selected for another presentation during the congress. If you are interested, please send your poster before March 20 to vichy at uni-log.org The size of the poster should be  100 cm X 140 cm / 40 inches X 55 inches. Jean-Yves Beziau and Christophe Rey Chairs of the Organizing Committee - UNILOG'2018 -------------------------------------------------------------------------------------------------------- U N I L O G  -  World Congress and School on Universal Logic -  U N I L O G Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013, Istanbul 2015, Vichy 2018 http://www.uni-log.org/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu Mar 8 15:25:15 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 8 Mar 2018 09:25:15 -0500 (EST) Subject: PAAR 2018 - Call for Papers Message-ID: <20180308142515.652B41701103@cs.miami.edu> ****************************************************************************** PAAR-2018: 6TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING Oxford, UK, July 19, 2018 Submission link: https://easychair.org/conferences/?conf=paar2018 Abstract registration deadline: April 8, 2018 Submission deadline: April 15, 2018 Topics: automated reasoning, implementation, tools ****************************************************************************** PAAR provides a forum for developers of automated reasoning tools to discuss and compare different implementation techniques, and for users to discuss and communicate their applications and requirements. The workshop will bring together different groups to concentrate on practical aspects of the implementation and application of automated reasoning tools. It will allow researchers to present their work in progress, and to discuss new implementation techniques and applications. Submission Guidelines --------------------- Researchers interested in participating are invited to submit either an extended abstract (up to 8 pages) or a regular paper (up to 15 pages) via EasyChair at https://easychair.org/conferences/?conf=paar2018. Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Short submissions that could stimulate fruitful discussion at the workshop are particularly welcome. Submissions should be prepared in LaTeX using the EasyChair proceedings style. The package containing the class file and its user guide and some helper tools can be downloaded from http://www.easychair.org/publications/easychair.zip. Topics include, but are not limited to: -------------------------------------- * automated reasoning in propositional, first-order, higher-order, and non-classical logics; * implementation of provers (SAT, SMT, resolution, tableau, instantiation- based, rewriting, logical frameworks, etc.); * automated reasoning tools for all kinds of practical problems and applications; * pragmatics of automated reasoning within proof assistants; * practical experiences, usability aspects, feasibility studies; * evaluation of implementation techniques and automated reasoning tools; * performance aspects, benchmarking approaches; non-standard approaches to automated reasoning, non*standard forms of automated reasoning, new applications; * implementation techniques, optimisation techniques, strategies and heuristics, fairness; * tools or methods that support prover development; * system descriptions and demos. Programme Committee ------------------- * Haniel Barbosa, The University of Iowa , USA * Simon Cruanes, Aesthetic Integration, USA * Pascal Fontaine, Loria, INRIA, University of Lorraine, France * Martin Giese, University of Oslo, Norway * Alberto Griggio, Fondazione Bruno Kessler, Italy * Marijn Heule, The University of Texas at Austin, USA * Dejan Jovanovic, SRI International, USA * Chantal Keller, LRI, Université Paris-Sud, France * Boris Konev (co-chair), University of Liverpool, UK * Konstantin Korovin, The University of Manchester, UK * Laura Kovacs, Vienna University of Technology, Austria * Cláudia Nalon, University of Brasília, Brasil * Jens Otten, University of Oslo, Norway * Giles Reger, The University of Manchester, UK * Andrew Reynolds, University of Iowa, USA * Philipp Ruemmer (co-chair), Uppsala University, Sweden * Martin Suda, Vienna University of Technology, Austria * Mattias Ulbrich, Karlsruhe Institute of Technology, Germany * Josef Urban (co-chair), Czech Technical University, CZ Publication ----------- PAAR proceedings will be published electronically in the EasyChair Proceedings in Computing (EPiC) series or in the CEUR workshop proceedings. Venue ----- Oxford, UK Important dates --------------- Abstract registration deadline: April 8, 2018 Submission deadline: April 15, 2018 Workshop: July 19, 2018 From fabrizio.riguzzi at unife.it Fri Mar 9 10:38:32 2018 From: fabrizio.riguzzi at unife.it (Fabrizo Riguzzi) Date: Fri, 09 Mar 2018 01:38:32 -0800 (PST) Subject: ACAI 2018 Summer School on Statistical Relational Artificial Intelligence Message-ID: <5aa25618.6b97df0a.cde17.5adb@mx.google.com> The Advanced Course on AI (ACAI) is a specialized course in Artificial Intelligence sponsored by EurAI. The 2018 edition will be in Ferrara, Italy on August 27th - 31st 2018, save the date! The theme of the 2018 ACAI School is Statistical Relational Artificial Intelligence (StarAI). StarAI is an emerging area that combines logical (or relational) AI and probabilistic (or statistical) AI. Relational AI deals very effectively with complex domains involving many and even a varying number of entities connected by complex relationships, while statistical AI manages well the uncertainty that derives from incomplete and noisy descriptions of the domains. Both fields achieved significant successes over the last thirty years but evolved largely independently until about fifteen years ago, when the potential originating from their combination started to emerge. Statistical Relational Learning (SRL) was proposed for exploiting relational descriptions in statistical machine learning methods from the field of graphical models. Meanwhile, the scope of SRL was significantly advanced in StarAI to cover all forms of reasoning and models of AI. StarAI is nowadays an ample area encompassing many and diverse approaches. The school includes courses on foundations of relational and statistical AI together with advanced courses on the new StarAI approaches and applications. The talks will provide theoretical background, practical examples and real applications where StarAI can play a role. Hands-on classes will be also organized where the main StarAI techniques will be applied to 'small' examples. The list of confirmed lectures is: Luc De Raedt: Probabilistic Programming Paolo Frasconi: Kernels and deep networks for structured data Sebastian Riedel: Differentiable Program Interpreters Artur d'Avila Garcez: Neural-symbolic learning Marco Lippi: Applications of Statistical Relational Artificial Intelligence Sriraam Natarajan: Human-in-the-loop Statistical Relational Learning Mathias Niepert and Alberto Garc�a Dur�n: Multi-Modal Neural Link Prediction Kristian Kersting: Lifted Statistical Machine Learning Fabrizio Riguzzi: Probabilistic Inductive Logic Programming Up to date information can be found at the event website http://acai2018.unife.it/. The registration fees will be published shortly. ACAI 2018 is part of the Relational Artificial Intelligence Days 2018 (RAID 2018, http://raid2018.unife.it/ ), which will be held in Ferrara, Italy, on August 27th 2018 - September 4th 2018. RAID includes, besides ACAI 2018, also: - PLP 2018: 5th Workshop on Probabilistic Logic Programming, September 1st 2018, http://stoics.org.uk/plp/plp2018/ ; - ILP 2018: 28th International Conference on Inductive Logic Programming, September 2nd - 4th 2018, http://ilp2018.unife.it/ . Probabilistic Logic Programming (PLP) addresses the need to reason about relational domains under uncertainty arising in a variety of application domains. PLP is part of a wider current interest in probabilistic programming. PLP 2018 aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications. The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. Originally focusing on the induction of logic programs, over the years it has significantly expanded and it welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. RAID 2018 offers a very good opportunity to get up to date with the latest trends in logical and relational AI. We really hope to meet you in Ferrara! Organizers Kristian Kersting, TU Darmstadt, Germany Marco Lippi, University of Modena and Reggio Emilia, Italy Sriraam Natarajan, University of Texas at Dallas, USA Fabrizio Riguzzi, University of Ferrara, Italy Elena Bellodi, University of Ferrara, Italy Tom Schrijvers, KU Leuven, Belgium Riccardo Zese, University of Ferrara, Italy From cldixon at liverpool.ac.uk Fri Mar 9 15:15:46 2018 From: cldixon at liverpool.ac.uk (Clare Dixon) Date: Fri, 9 Mar 2018 14:15:46 +0000 Subject: Workshop on Verification and Validation of Autonomous Systems, 18-19 July 2018 CFP Message-ID: <3940289f-127d-c9fc-f4c2-e25508d08833@liverpool.ac.uk> SECOND CALL FOR PAPERS Workshop on Verification and Validation of Autonomous Systems Satellite Workshop of FLoC 2018 18-19 July 2018, University of Oxford, Oxford, UK https://sites.google.com/site/wsvavas2018/ General Information The Workshop on Verification and Validation of Autonomous Systems is a workshop held as part of the Federated Logic Conference (FLOC) in July 2018 at the University of Oxford, UK. Introduction Autonomous systems are being increasingly developed and used in many areas of society, from driverless cars and unmanned air vehicles, to web-bots and companion robots. A defining characteristic of such systems is that they make decisions for themselves about what to do given their current state, the state of the environment, and the purpose of the system. A key aspect of ensuring that systems with such complex (and often safety-critical) behaviour can be safely deployed is verification and validation. The workshop aims to bring together researchers working on a range of techniques for verification and validation of autonomous systems, ranging from formal methods to simulation and testing, to present recent work in the area, discuss key difficulties, and stimulate collaboration. The workshop will include invited speakers, contributed papers, demonstrations and panel sessions. Topics of interest The topics covered by the workshop include, but are not limited to, the following: * Formal verification techniques for autonomous systems; * Testing approaches to autonomous systems; * Simulation approaches to autonomous systems; * Statistical approaches to autonomous systems; * Combinations of several approaches; * Routes to certification for autonomous systems; * Ethics, trust and privacy; * Verification of specific autonomous systems. Previous Events The workshop is funded by EPSRC through the Network on the Verification and Validation of Autonomous Systems. This is the final workshop organised by the Network which has run a series of events over the last three years about specific topics. Information about the network and previous events are accessible from https://vavas.org/ Submissions Submitted contributions should not exceed eight pages using the latex article format. Submitted papers should be in PDF and uploaded to https://easychair.org/conferences/?conf=vavas2018 Submission of extended abstracts relating to noteworthy, previously published papers is welcome. Three types of submission will be considered: * Extended abstracts (paper) of up to two pages reporting on work in progress or previously published work; * Extended abstracts (demo) of up to two pages describing demonstrations to be presented at the workshop; * Papers of up to eight pages covering novel research. Each submission should be clearly identified as belonging to one of these categories. Submissions should make clear the relevance to verification and validation of autonomous systems, identify the main contribution of the work, explain its significance, its novelty, and include comparisons with the relevant literature. Extended abstracts (demo) should describe a demonstration to be presented at the workshop and, if possible, include links to a video relating to the proposed demonstration. Accepted papers will be collected together as an informal pre-proceedings and made available via the workshop website. Submissions from PC members are encouraged. Important Dates 16th April 2018: Submission deadline. 8th May 2018: Acceptance notification. 16th May 2018: Camera-ready version deadline. 18th-19th July 2018: Workshop Proceedings The submitted papers will be collected together as an informal pre-proceedings that will be available via the workshop website. Depending on the success of the event, a journal issue may be organised following the workshop. All papers submitted to the special issue will be re-refereed and will have to adhere to the usual standards of high quality journal articles, including novelty. Invited Speakers Jérémie Guiochet, University of Toulouse III Calin Belta, Boston University General Chair Michael Fisher, University of Liverpool Program Chairs Clare Dixon, University of Liverpool Brian Logan, University of Nottingham Alessio Lomuscio, Imperial College London Program Committee Rob Alexander, University of York, UK Francesco Belardinelli, University of Evry, France Rob Hierons, Brunel University, UK Cristian Mattarei, Stanford University, USA Alice Miller, University of Glasgow, UK Eric Mercer, Brigham Young University, USA Dave Parker, University of Birmingham, UK Franco Raimondi, Middlesex University, UK Kristin Rozier, University of Iowa, USA Maria Slavkovic, University of Bergen, Norway Antonios Tsourdos, Cranfield University, UK From irdta at irdta.eu Sat Mar 10 03:24:01 2018 From: irdta at irdta.eu (IRDTA) Date: Sat, 10 Mar 2018 03:24:01 +0100 Subject: LATA 2018: call for participation Message-ID: <545102060a010b0608525100070b5a0156045757540953570b03005257555a590057540e0b0e080454535157070154@grlmc_ip-zone_com-6> LATA 2018: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************ 12th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2018 Bar-Ilan near Tel Aviv, Israel April 9-11, 2018 Organized by:      Department of Computer Science Bar-Ilan University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/LATA2018/ ************************************************************************ PROGRAM Monday, April 9 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Andrei Bulatov. Constraint Satisfaction Problems and Their Complexity - Invited lecture 10:30 - 11:00    Coffee break 11:00 - 12:15 Ekaterina Bakinova, Artem Basharin, Igor Batmanov, Konstantin Lyubort, Alexander Okhotin and Elizaveta Sazhneva. Formal Languages over GF(2) Laura Bozzelli, Adriano Peron and Aniello Murano. Event-clock Nested Automata J. Andres Montoya and Christian Nolasco. On the Synchronization of Planar Automata 12:15 - 13:45    Lunch 13:45 - 14:35    Markus Lohrey. Streaming Algorithms in Formal Language Theory - Invited lecture 14:35 - 14:50    Break 14:50 - 16:05 Maris Valdats. Descriptional and Computational Complexity of the Circuit Representation of Finite Automata Alexey Zhirabok and Alexey Shumsky. Disturbance Decoupling in Finite Automata Johannes K. Fichte, Markus Hecher and Irina Schindler. Default Logic and Bounded Treewidth 16:05 - 16:20    Break 16:20 - 17:10 Stefan Gerdjikov. A General Class of Monoids Supporting Canonisation and Minimisation of (Sub)sequential Transducers Demen Güler, Andreas Krebs, Klaus-Joern Lange and Petra Wolf. Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy --- Tuesday, April 10 09:00 - 09:50    Alexander Okhotin. Underlying Principles and Recurring Ideas of Formal Grammars - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:35 Sanjay Jain, Eric Martin and Frank Stephan. Transduced Learners Rick Smetsers, Paul Fiterau-Brostean and Frits Vaandrager. Model Learning as a Satisfiability Modulo Theories Problem Andrei Asinowski, Axel Bacher, Cyril Banderier and Bernhard Gittenberger. Analytic Combinatorics of Lattice Paths with Forbidden Patterns: Enumerative Aspects 11:35 - 11:50    Break and Group photo 11:50 - 13:05 Ferdinando Cicalese, Zsuzsanna Liptak and Massimiliano Rossi. Bubble-Flip - A New Generation Algorithm for Prefix Normal Words Murray Elder and Yoong Kuan Goh. Permutations Sorted by a Finite and an Infinite Stack in Series Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter and Tomasz Walen. On Periodicity Lemma for Partial Words 13:05 -    14:35    Lunch 14:35 - 15:25    Eli Shamir. Reshaping the Context-free Model: Linguistic and Algorithmic Aspects - Invited lecture 15:30 -     Visit to Jerusalem --- Wednesday, April 11 09:00 - 09:50    James Worrell. Invariants for Linear Loops - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:35 Dmitry Berdinsky and Phongpitak Trakuldit. Measuring Closeness between Cayley Automatic Groups and Automatic Groups Thomas Chatain, Maurice Comlan, David Delfieu, Loig Jezequel and Olivier H. Roux. Pomsets and Unfolding of Reset Petri Nets Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen and Radu Mardare. Timed Comparisons of Semi-Markov Processes 11:35 - 11:50    Break 11:50 - 13:05 Markus Saers and Dekai Wu. Handling Ties Correctly and Efficiently in Viterbi Training Using the Viterbi Semiring Uli Schlachter. Over-approximative Petri Net Synthesis for Restricted Subclasses of Nets Christoph Teichmann, Antoine Venant and Alexander Koller. Efficient Translation with Linear Bimorphisms 13:05 - 13:15    Closing 13:15 -        Lunch -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ruy at cin.ufpe.br Sun Mar 11 16:34:28 2018 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Sun, 11 Mar 2018 12:34:28 -0300 Subject: =?UTF-8?Q?25th_WoLLIC_2018_=28Bogot=C3=A1=2C_Colombia=29_=2D_DEADLINE_EXTE?= =?UTF-8?Q?NDED?= Message-ID: [Please circulate. Apologies for multiple copies.] DEADLINE EXTENDED WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018 Bogotá, Colombia SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Departamento de Matemáticas, Universidad de los Andes, Colombia Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Departamento de Matemáticas, Universidad de los Andes, Colombia CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-fifth WoLLIC will be held at the Departamento de Matemáticas of the Universidad de los Andes, Bogotá, Colombia, from July 24th to 27th, 2018. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2018 EasyChair website. (Please go to http://wollic.org/wollic2018/i nstructions.html for instructions.) A title and single-paragraph abstract should be submitted by *Mar 18, 2018,* and the full paper by *Mar 25, 2018* (firm date). Notifications are expected by Apr 15, 2018, and final papers for the proceedings will be due by Apr 22, 2018 (firm date). PROCEEDINGS The proceedings of WoLLIC 2018, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2018 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Katalin Bimbo (Univ of Alberta, Canada) Xavier Caicedo (Univ de Los Andes, Colombia) José Meseguer (Univ of Illinois, Urbana-Champaign, USA) Elaine Pimentel (Univ Federal do Rio Grande do Norte, Brazil) Guillermo Simari (Univ Nacional del Sur, Argentina) Renata Wassermann (Univ de São Paulo, Brazil) SPECIAL SCREENING - A TRIBUTE TO THE MEMORY AND LEGACY OF RAYMOND SMULLYAN As a tribute to the memory and legacy of the late Raymond Smullyan, who passed away in February 2017, there will be a special session with a screening of the documentary film "This Film Needs No Title: A Portrait of Raymond Smullyan" (Dir. Tao Ruspoli, 2006, 30min), as well as short testimonies by experts. STUDENT GRANTS ASL sponsorship of WoLLIC 2018 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2018). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES *Mar 18, 2018: Paper title and abstract deadline (EXTENDED)* *Mar 25, 2018: Full paper deadline (EXTENDED)* Apr 15, 2018: Author notification Apr 22, 2018: Final version deadline (firm) PROGRAMME COMMITTEE Siddharth Bhaskar (Haverford College, USA) Torben Braüner (Roskilde University, Denmark) Hazel Brickhill (University of Bristol, UK) Michael Detlefsen (University of Notre Dame, USA) Juliette Kennedy (University of Helsinki, Finland) Sophia Knight (Uppsala University, Sweden) Alex Kruckman (Indiana University, USA) Maricarmen Martinez Baldares (Universidad de los Andes, Colombia) Frederike Moltmann (CNRS, France) Lawrence Moss (Indiana University, USA) (CHAIR) Cláudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK) Sophie Pinchinat (IRISA Rennes, France) David Pym (University College London, UK) Ruy de Queiroz (Univ Federal de Pernambuco, Brazil) Revantha Ramanayake (Vienna University of Technology, Austria) Giselle Reis (Carnegie Mellon University, Qatar) Jeremy Seligman (The University of Auckland, New Zealand) Yanjing Wang (Peking University, China) Fan Yang (Delft University of Technology, The Netherlands) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).) ORGANISING COMMITTEE Jaime A. Bohórquez (Escuela Colombiana de Ingeniería, Bogotá, Colombia) Xavier Caicedo (Universidad de los Andes, Colombia) (Local co-chair) Nicolás Cardozo (Universidad de los Andes, Bogotá, Colombia) Maricarmen Martínez (Universidad de los Andes, Colombia) (Local co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) Camilo Rocha (Universidad Javeriana, Cali, Colombia) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2018/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From gvidal at dsic.upv.es Mon Mar 12 09:38:10 2018 From: gvidal at dsic.upv.es (German Vidal) Date: Mon, 12 Mar 2018 09:38:10 +0100 Subject: Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis Message-ID: <3517B91D-F47F-4AE5-B52D-92DC5C3E1023@dsic.upv.es> ---------------------------------------------------------------------- (apologies for multiple copies) Call for Papers 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with ICLP at FLoC 2018 July 13, 2018 - Oxford, UK https://www.sci.unich.it/hcvs18/ Invited speakers: Pierre Ganty (IMDEA Software Institute) Hiroshi Unno (University of Tsukuba) Submission deadlines: - Paper submission: 15 April 2018 - Paper notification: 15 May 2018 - Camera-ready: 31 May 2018 - Workshop: 13 July 2018 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows four previous meetings: HCVS 2017 in Gothenburg, Sweden (w/CADE), HCVS 2016 in Eindhoven, The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA (w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Program Committee: - Elvira Albert (Complutense University of Madrid) - Maria Alpuente (Universitat Politecnica de Valencia) - Nikolaj Bjorner (Microsoft Research) - Giorgio Delzanno (Universita degli Studi di Genova) - Fabio Fioravanti (University of Chieti-Pescara) - John Gallagher (Roskilde University and IMDEA Software Institute) - Pierre-Loic Garoche (ONERA) - Arie Gurfinkel (University of Waterloo) - Temesghen Kahsai (Amazon) -chair - Ekaterina Komendantskaya (Heriot-Watt University) - David Monniaux (CNRS/Verimag) - Jorge A. Navas (SRI International) - Carlos Olarte (Universidade Federal do Rio Grande do Norte) - Maurizio Proietti (IASI-CNR) - Philipp Rummer (Uppsala University) - Caterina Urban (ETH Zurich) - German Vidal (Universitat Politecnica de Valencia) -chair Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://www.easychair.org/conferences/?conf=hcvs2018 ---------------------------------------------------------------------- From jsabater at iiia.csic.es Mon Mar 12 09:59:27 2018 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Mon, 12 Mar 2018 09:59:27 +0100 Subject: [AAMAS18] - FINAL CALL - Call for Exhibition Message-ID: <91162606248802709418099@Galvatron> ****************************************************************************************** CALL FOR EXHIBITION AAMAS 2018: July 10-15, 2018, Stockholm, Sweden http://celweb.vuse.vanderbilt.edu/aamas18/ ****************************************************************************************** AAMAS is a premier artificial intelligence conference in the world, which brings together researchers and practitioners in the areas of autonomous agents and multi-agent systems including embodied agents and robotics. AAMAS consistently attracts about 500-700 participants every year. AAMAS-18 has the twin aim of offering a high-quality academic conference and connecting researchers to industry through events such as exhibitions, demonstrations and the Industrial Applications track. Thus, AAMAS provides a targeted opportunity to reach prominent and influential AI researchers. In parallel with the conference, there will be exhibitions on the days of main conference, where products such as books, devices, services and software can be presented. We call upon potential exhibitors to connect with AAMAS. AAMAS-18 will provide exhibitors with: - Exhibit space, in a special and easily accessible area of the conference venue, - Materials such as a table, chairs and poster board, - Other resources (on demand) such as an internet connection and electric power. The fee for exhibiting at AAMAS this year will be USD 1,200 (approx. 1000 EURO) which includes the above arrangements and the registration fee for one person excluding banquet. Potential exhibitors are encouraged to contact the exhibit chair for more details and any questions. Submission requirements ***************************** Companies and publishers wishing to exhibit products or services of interest to the AAMAS-18 attendees are asked to submit a letter or e-mail of intent to exhibit with the following information: - A short description of the company - A description of the products or services to be exhibited - The minimum amount of exhibit space needed (e.g., the number of tables and size needed) - Any special requirements (e.g., internet connection, electric power plugs) All requests should be submitted by electronic mail to the Exhibits Chair (see below) no later than April 15, 2018. Important Dates ******************* - Exhibits Registration Deadline: April 15, 2018 - AAMAS-18 Exhibits: July 11-13, 2018 - Letters of intent and inquiries can be sent by letter or email to the exhibits chair: Contact ************ Roie Zivan AAMAS 2018 Exhibits Chair, Ben Gurion University of the Negev, Israel E-mail : zivanr at bgu.ac.il Fax +972-8-6472958 Phone +972-8-6472953 From ijcci at insticc.info Mon Mar 12 18:30:04 2018 From: ijcci at insticc.info (ijcci at insticc.info) Date: 12 Mar 2018 17:30:04 +0000 Subject: CFP IJCCI 2018 - 10th Int.l Joint Conf. on Computational Intelligence (Seville/Spain) Message-ID: <20180312173004.1.53C7B5B4A3465B8D@insticc.info> SUBMISSION DEADLINE 10th International Joint Conference on Computational Intelligence Submission Deadline: May 2, 2018 http://www.ijcci.org/ September 18 - 20, 2018 Seville, Spain. IJCCI is organized in 4 major tracks: - Evolutionary Computation - Fuzzy Computation - Neural Computation - Cognitive and Hybrid Systems A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, IJCCI Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 100 033 Fax: +351 265 520 186 Web: http://www.ijcci.org/ e-mail: ijcci.secretariat at insticc.org From asdm at fi.upm.es Mon Mar 12 18:31:46 2018 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Mon, 12 Mar 2018 18:31:46 +0100 (CET) Subject: Thirteenth Madrid UPM Advanced Statistics and Data Mining Summer School (June 25th - July 6th, 2018) Message-ID: <1342443276.0.1520875906342.JavaMail.bmihaljevic@morelia> Dear colleagues, The Technical University of Madrid (UPM) will once more organize the 'Madrid UPM Advanced Statistics and Data Mining' summer school. The summer school will be held in Boadilla del Monte, near Madrid, from June 25th to July 6th. This year's edition comprises 12 week-long courses (15 lecture hours each), given during two weeks (six courses each week). Attendees may register in each course independently. No restrictions, besides those imposed by timetables, apply on the number or choice of courses. Our summer school has been an INOMICS world top ten summer schools in mathematics and statistics from 2015 to 2018. See the last year's ranking at http://bit.ly/2oR00GI Early registration is now *OPEN*. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM There is a 25% discount for members of Spanish AEPIA and SEIO societies. Please, forward this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larrañaga, Concha Bielza, Bojan Mihaljević and Santiago Gil Begué. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 25th - June 29th, 2018) * 1st session: 9:45-12:45 Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: GeNIe, Weka, Bayesia, R. Course 2: Time Series(15 h) Basic concepts in time series. Linear models for time series. Time series clustering. Practical demonstration: R. 2nd session: 13:45-16:45 Course 3: Supervised Pattern Recognition (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Practical demonstration: Weka. Course 4: Statistical Inference (15 h) Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrap methods. Introduction to Robust Statistics. Practical demonstration: R. 3rd session: 17:00 - 20:00 Course 5: Neural Networks and Deep Learning (15 h) Introduction. Training algorithms. Learning and Optimization. MLPs in practice. Deep Networks. Practical session: Python with keras and Jupyter notebooks. Course 6: Big Data with Apache Spark (15 h) Introduction. Spark framework and APIs. Data processing with Spark. Spark streaming. Machine learning with Spark MLlib. * Week 2 (July 2nd - July 6th, 2018) * 1st session: 9:45-12:45 Course 7: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and Hierarchical models. Model selection. Practical demonstration: R and WinBugs. Course 8: Unsupervised Pattern Recognition (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advise. Practical session: R. 2nd session: 13:45-16:45 Course 9: Text Mining (15 h) Information Retrieval 101. Unsupervised Text Processing. Representation Learning. Information Extraction. Natural Language Understanding. Practical session: Python, with Jupyter notebooks. Course 10: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Additional topics. Practical session: R and Weka. 3rd session: 17:00-20:00 Course 11: Support Vector Machines and Regularized Learning (15 h) Introduction. SVM models. SVM learning algorithms. Regularized learning. Convex optimization for regularized learning. Practical session: Python with scikit-learn, Jupyter notebooks. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. From mpavone at dmi.unict.it Mon Mar 12 21:57:12 2018 From: mpavone at dmi.unict.it (Mario Pavone) Date: Mon, 12 Mar 2018 21:57:12 +0100 Subject: [Meetings] MESS 2018 - from Design to Implementation - Taormina, Italy, 21-25 July 2018 Message-ID: <20180312215712.Horde.sW7LKeph4B9apumoCltjVGA@mbox.dmi.unict.it> Call for Participation (apologies for multiple copies) -- SCHOLARSHIPS & TITLE OF THE LECTURES -- ----------------------------------------------------------------------- MESS 2018 - Metaheuristics Summer School - from Design to Implementation - 21-25 July 2018, Taormina, Italy https://www.ANTs-lab.it/mess2018/ mess.school at ANTs-lab.it ----------------------------------------------------------------------- ** APPLICATION DEADLINE: 15th April 2018 ** MESS 2018 is aimed at qualified and strongly motivated MSc and PhD students; post-docs; young researchers, and both academic and industrial professionals to provide an overview on the several metaheuristics techniques, and an in-depth analysis of the state-of-the-art. As first edition, MESS 2018 wants to analyze all metaheuristics from its designing to its implementation. In particular, in MESS 2018 will be analyzed modern heuristic methods for search and optimization problems, as well as the classical exact optimization methods, seen also in the metaheuristics context. All participants will have plenty of opportunities for debate and work with leaders in the field, benefiting from direct interaction and discussions in a stimulating environment. They will also have the possibility to present their recently results and/or their working in progress through oral or poster presentations, and interact with their scientific peers, in a friendly and constructive environment. ** Confirmed Speakers + Christian Blum, IIIA-CSIC, Barcelona, Spain - Lecture 1: Construct, Merge, Solve & Adapt: A Recent Hybrid Metaheuristic - Lecture 2: Swarm Intelligence in Combinatorial Optimization + Juergen Branke, Warwick Business School, UK - Lecture 1: Simulation-based optimisation - Lecture 2: Multi-objective optimisation + Salvatore Greco, University of Catania, Italy & University of Portsmouth, UK - Lecture 1: Basic Concepts of Multiple Criteria Decision Aiding/Making - Lecture 2: Using Preference Elicitation in Evolutionary Multiobjective Optimization + Yaochu Jin, University of Surrey, UK - Lecture 1: Data-driven surrogate-assisted evolutionary multi-objective optimization - Lecture 2: Multi-objective machine learning + Gunther Raidl, Technische Universitat Wien, Austria - Lecture 1: Pushing the Limits with Hybrid Metaheuristics - Lecture 2: Large Neighborhood Search Techniques + Helena Ramalhinho Lourenco, Universitat Pompeu Fabra, Spain - Lecture 1: Extensions of Iterated Local Search - Lecture 2: Issues and examples of applying metaheuristics in business + Mauricio Resende, AMAZON, USA - Lecture 1: Biased Random-Key Genetic Algorithms ? part I - Lecture 2: Biased Random-Key Genetic Algorithms ? part II + Celso Ribeiro, Universidade Federal Fluminense, Brazil - Lecture 1: Optimization by GRASP ? Part I - Lecture 2: Optimization by GRASP ? Part II + Andrea Schaerf, University of Udine, Italy - Lecture 1: Simulated Annealing and Friends: Introduction to Randomized Local Search Methods - Lecture 2: Simulated Annealing, we need to talk: Critical Analysis of Real-World Applications of Randomized Local Search Methods to Scheduling and Timetabling Problems + Fabio Schoen, Unviersity of Florence, Italy - Lecture 1: Large scale global optimization methods: basics - Lecture 2: Large scale global optimization methods: examples of applications + El-Ghazali Talbi, University of Lille 1, France - Lecture 1: TBA - Lecture 2: TBA + Daniele Vigo, University of Bologna, Italy - Lecture 1: TBA - Lecture 2: TBA ** Tutorial + Luca Di Gaspero, University of Udine, Italy + Paola Festa, University of Naples ?Federico II?, Italy ?Successful applications of GRASP and its hybrids for hard combinatorial problems? ** Short Talk and Poster Presentation All participants may submit an abstract of their recent results, or works in progress, for presentation and having the opportunities for debate and interact with leaders in the field. Mini-Workshop Organizers and Scientific Committee will review the abstracts and will recommend for the format of the presentation (oral or poster). All abstracts will be published on the electronic hands-out book of the summer school. The Abstracts must be submitted by *April 15, 2018*. ** Sponsor & Scholarships: Thanks to the sponsorship by EU/ME METAHEURISTICS working group (https://www.euro-online.org/websites/eume/), some scholarships for the best participants will be available. More sponsors and scholarships will be announced soon!! ** Certificate: Participants will be delivered a certificate of attendance indicating the number of hours of lectures. ** School Directors + Salvatore Greco, University of Catania, Italy + Panos Pardalos, University of Florida, USA + Mario Pavone, University of Catania, Italy + El-Ghazali Talbi, University of Lille 1, France + Daniele Vigo, University of Bologna, Italy ** Oral & Poster Presentation Organizers + Luca Di Gaspero, Unviersity of Udine, Italy + Paola Festa, University of Naples "Federico II", Italy ** Metaheuristics Competition Chair + Raffaele Cerulli, University of Salerno, Italy ** More Information: https://www.ANTs-lab.it/mess2018/ -- mess.school at ANTs-lab.it Facebook Group: https://www.facebook.com/groups/MetaheuristicsSchool/ Twitter: https://twitter.com/MESS_school -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383034 fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone/ =========================================================== MESS 2018 - Metaheuristics Summer School 21-25 July 2018, Taormina, Italy W: https://www.ANTs-lab.it/mess2018/ E: mess.school at ANTs-lab.it FB: https://www.facebook.com/groups/MetaheuristicsSchool/ Twitter: https://twitter.com/MESS_school =========================================================== From giacomo.cabri at unimore.it Fri Mar 16 10:03:40 2018 From: giacomo.cabri at unimore.it (gcabri@unimore.it) Date: Fri, 16 Mar 2018 10:03:40 +0100 Subject: CfP Key Enabling Technologies for Virtual Factories (KET4VF) Message-ID: <922877d6-35ff-1480-0603-d63dba9c1cec@unimore.it> ** Call for Papers ** Key Enabling Technologies for Virtual Factories (KET4VF) http://didattica.agentgroup.unimore.it/KET4VF18/ Invited session at KES 2018 Belgrade, Serbia, September 3-5 2018 http://kes2018.kesinternational.org The manufacturing industry is entering a new era in which new ICT technologies and collaboration applications will be integrated with traditional manufacturing practices and processes to increase flexibility and sustainability in manufacturing, mass customization, increase automation, better quality and to improve productivity. The virtual factory paradigm plays a key role in the achievement of these objectives. A virtual factory is defined as a multi-layered integration of the information related to various activities along the factory and product lifecycle manufacturing related resources. A central aspect of a virtual factory is that of enabling the product lifecycle stakeholders to collaborate through the use of software solutions. The virtual factory thus expands outside the actual company boundaries and offers the opportunity for the business and its suppliers to collaborate on business processes that affect the supply chain. This session seeks at providing the opportunity for inspiration and cross-fertilization for the research groups working on technological solutions for virtual factories. It will welcome innovative papers from academic and industrial researchers covering a wide range of topics of interests in the computer science and computer engineering fields. The topics include but are not limited to: - Cloud computing - Big data architectures - Real-time systems - Data analytics - Digital Security, Privacy and Liability - Digital Platform Interoperability - Service-Oriented Architectures - Multi-agent systems - Business Process Management - Internet-of-things Important dates - Paper Submission April 20, 2018 - Notification May 21, 2018 - Camera Ready May 28, 2018 - Session September 3-5, 2018 Submission Accepted papers will be published in Elsevier's Procedia Computer Science. Papers are expected to be 8 to 10 pages (maximum) in the conference format. Details, guides and templates can be found in the KES submission instruction page: http://kes2018.kesinternational.org/submission.php Chairs - Federica Mandreoli, Università degli Studi di Modena e Reggio Emilia, Italy, Email: federica.mandreoli at unimore.it - Giacomo Cabri, Università degli Studi di Modena e Reggio Emilia, Italy, Email: giacomo.cabri at unimore.it This session is supported by Marie-Curie RISE Project "FIRST: vF Interoperation suppoRting buSiness innovation" -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Full Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From serge.autexier at dfki.de Fri Mar 16 11:23:28 2018 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri, 16 Mar 2018 11:23:28 +0100 (CET) Subject: CICM 2018: Update on Invited Speakers, Workshops and 2nd CfP Message-ID: <20180316102328.E4A9C282F891@gigondas-5.local> Call for Papers formal papers - informal papers - doctoral programme 11th Conference on Intelligent Computer Mathematics - CICM 2018 - August 13-17, 2018 RISC, Hagenberg, Austria http://www.cicm-conference.org/2018 -------------------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration. CICM 2018 will feature 3 invited speakers * Akiko Aizawa, National Institute of Informatics, University of Tokyo * Bruno Buchberger, Research Institute for Symbolic Computation, Johannes Kepler University * Adri Olde Daalhuis, University of Edinburgh and 4 affiliated workshops * Computer Algebra in the age of Types * Formal Mathematics for Mathematicians * Formal Verification of Physical Systems * Mathematical Models and Mathematical Software as Research Data We invite submissions in all topics relating to intelligent computer mathematics, in particular but not limited to * theorem proving and computer algebra * mathematical knowledge management * digital mathematical libraries CICM appreciates the varying nature of the relevant research in this area and invites submissions of very different forms: 1) Formal submissions will be reviewed rigorously and accepted papers will be published in a volume of Springer LNAI: * regular papers (up to 15 pages) present novel research results * project and survey papers (up to 15 pages + bibliography) summarize existing results * system and dataset descriptions (up to 5 pages) present digital artifacts 2) Informal submissions will be reviewed with a positive bias and selected for presentation based on their relevance for the community. * informal papers may present work-in-progress, project announcements, position statements, etc. * posters and system demos will be presented in special sessions 3) The doctoral programme provides PhD students a forum to present early results receive constructive feedback and mentoring. * Important Dates * Formal submissions - Abstract deadline: April 15 - Full paper deadline: April 22 - Reviews sent to authors: May 21 - Rebuttals due: May 27 - Notification of acceptance: June 4 - Camera-ready copies due: June 8 - Conference: August 13-17 Informal submissions and doctoral programme Two separate submission rounds are offered so that some authors can make early travel plans while others submit spontaneously. - First round submission deadline: April 22 - Second round submission deadline: July 31 All submissions should be made via easychair at https://easychair.org/conferences/?conf=cicm2018 From shiloviis at mail.ru Sun Mar 18 10:38:37 2018 From: shiloviis at mail.ru (=?UTF-8?B?U2hpbG92IE5pa29sYXk=?=) Date: Sun, 18 Mar 2018 12:38:37 +0300 Subject: =?UTF-8?B?Q2FsbCBmb3IgcGFwZXJzOiBGdW4gV2l0aCBGb3JtYWwgTWV0aG9kcyB3b3Jr?= =?UTF-8?B?c2hvcCAoYWZmaWxpYXRlZCB3aXRoIEZMT0MtMjAxOCk=?= Message-ID: <1521365917.324984945@f414.i.mail.ru> Call for Papers: Third Workshop on Fun With Formal Methods (FWFM-2018, July 19, 2018, http://persons.iis.nsk.su/en/FWFM2018 ) Past FWFM Workshops: * FWFM-2013 ( http://www.iis.nsk.su/fwfm2013?_ga=2.242468418.1943006584.1521356323-687493938.1476117474 ), * FWFM-2014 ( http://www.easychair.org/smart-program/VSL2014/FWFM-cfp.html ). The workshop will be held in University of Oxford as a part of Federated Logic Conference FLOC-2018 ( http://www.floc2018.org/ ) in affiliation with 30th International Conference on Computer Aided Verification ( http://cavconference.org/2018/ ) The primary purpose of the workshop series on Fun With Formal Methods (FWFM) is to popularize and disseminate the best practice of popularization of Formal Methods. Not an exhaustive list of topics of FWFM follows: * fascinating examples of use of FM in SE; * simple but interesting educational examples of FM; * FM for puzzles, games and entertainment; * FM and programming contests; * FM elsewhere (outside software and hardware); * everything and anything related to popularization of FM. Scheduling: * Publication call for papers announced 15 March 2018 * Paper submission deadline 20 April 2018 * Paper notification deadline 15 May 2018 * Workshop program on-line 15 May 2018 * Final version of accepted papers before 30 May 2018 Program Committee: * Alexei Lisitsa (University of Liverpool, GB, to be confirmed) * John Rushby (SRI International Computer Science Laboratory, USA, to be confirmed) * Nikolay V. Shilov (Innopolis University, Russia) - chair (contact by e-mail shilovii(at)mail.ru) * Martin Schaf (Amazon, USA, to be confirmed) Invited Speakers: TBD Paper Submission and Publication Plans: Extended abstracts and papers on topics related to FWFM are solicited. There is no any strict limit for page number or style, but it is recommended to be in range 2-4 pages for extended abstracts and 4-16 pages for papers. (Single column, single interval, font not less than 12 for review convenience.) All submitted paper will be reviewed by 2 members of Program Committee (or their sub-reviewers) and selection of accepted papers will based on relevance, quality and (partly) originality of the submitted papers. Papers already published somewhere are also welcome but must make it explicit their publication status (for including to proceedings). Please submit your extended abstracts and papers via Easychair page https://easychair.org/conferences/?conf=fwfm2018 . We plan to publish informal proceedings before the workshop and disseminate them among participants at the workshop on USB-sticks. Post-proceedings publication is subject to decide on base of quality and number of original submissions. (Recall that we we welcome papers already published somewhere.) Sponsorship: Information and web-hosting - A.P. Ershov Institute of Informatics Systems ( http://www.iis.nsk.su/en ?) Shilov Nikolay -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Mon Mar 19 00:43:02 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 19 Mar 2018 00:43:02 +0100 Subject: AlCoB 2018: call for posters Message-ID: <545102060a010b06085e520200065a010102005100080e580a030e0452015b54550550015701025655515203500759@grlmc_ip-zone_com-6> AlCoB 2018: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 5th International Conference on Algorithms for Computational Biology (AlCoB 2018) invites researchers to submit poster presentations. AlCoB 2018 will be held in Hong Kong on June 25-26, 2018. See  http://grammars.grlmc.com/AlCoB2018/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: May 18, 2018 Notification of poster acceptance or rejection: May 25, 2018 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2018 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2018. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2016 JCR impact factor: 1.955). REGISTRATION At least one author of each accepted poster must register to the conference by June 11, 2018. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From frederic.mesnard at gmail.com Mon Mar 19 08:51:05 2018 From: frederic.mesnard at gmail.com (Fred Mesnard) Date: Mon, 19 Mar 2018 11:51:05 +0400 Subject: LOPSTR 2018 Final CFP Message-ID: <3815CF7F-BF18-462C-8019-CD99517E6057@gmail.com> ====================================================================== LOPSTR 2018: Final Call for Papers ====================================================================== 28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html Frankfurt, Germany, September 4-6, 2018 (co-located with PPDP 2018 and WFLP 2018) ######### New: invited talks ######### Submission deadline extended to April 8, 2018 The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester, Edinburgh, and Namur. LOPSTR 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and WFLP 2018 (International Workshop on Functional and Logic Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chairs in case of questions). Important Dates Abstract submission: April 1, 2018 Paper/Extended abstract submission: April 8, 2018 Notification: June 1, 2018 Camera-ready (for electronic pre-proceedings): June 17, 2018 Symposium: September 4-6, 2018 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2018. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Invited Talks LOPSTR/PPDP: Philippa Gardner, Imperial College - formal methods for JavaScript LOPSTR/PPDP: Jorge Navas, SRI International - SeaHorn and constrained horn clauses for verification LOPSTR: Laure Gonnord, University of Lyon - expressivity and scalability of program analysis PPDP: Chung-Chieh Shan, Indiana University - probabilistic programming Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany From shiloviis at mail.ru Mon Mar 19 09:45:54 2018 From: shiloviis at mail.ru (=?UTF-8?B?U2hpbG92IE5pa29sYXk=?=) Date: Mon, 19 Mar 2018 11:45:54 +0300 Subject: =?UTF-8?B?Q0ZQOiBXb3Jrc2hvcCBvbiBQcm9ncmFtIFNlbWFudGljcywgU3BlY2lmaWNh?= =?UTF-8?B?dGlvbiBhbmQgVmVyaWZpY2F0aW9uIChQU1NWIDIwMTgsIEp1bmUgMjEtMjIs?= =?UTF-8?B?IDIwMTgsIFlhcm9zbGF2bCwgUnVzc2lhKQ==?= Message-ID: <1521449154.943017467@f410.i.mail.ru> Ninth Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2018, June 21-22, 2018, P. G. Demidov Yaroslavl State University (https://www.uniyar.ac.ru/en/) in Yaroslavl, Russia) Wab-pages and history: * Workshop web-page (PSSV-2018): http://persons.iis.nsk.su/en/pssv2018 * The previous workshop page (PSSV-2017): http://persons.iis.nsk.su/en/pssv2017 * Past Workshop pages (PSSV-2010 - PSSV-2016): http://pssv-conf.ru Important dates * Paper (extended abstract) submission: May 1, 2018 * Notification: May 20, 2018 * Final versions of accepted extended abstracts for pre-workshop publication: May 28, 2018 * Registration: TBD * Workshop: June 21-22, 2018 * Revised selected papers submission for post-workshop publication: eventually in September 2018 Scope and Topics Research and work in progress papers are welcome. List of topics of interest includes (but is not limited to): * formalisms for program semantics; * formal models and semantics of programs and systems; * semantics of programming and specification languages; * formal description techniques; * logics for formal specification and verification; * deductive program verification; * automatic theorem proving; * model checking of programs and systems; * static analysis of programs; * formal approach to testing and validation; * program analysis and verification tools. Program Committee: * Natasha Alechina (University of Nottingham, UK, to be confirmed), * Alexander Bolotov (University of Westminster, UK, to be confirmed), * Nina Evtushenko (Tomsk State University, Russia, to be confirmed), * Vladimir Itsykson (St. Petersburg State Polytech. University, Russia, to be confirmed), * Igor Konnov (Institute of Information Systems, TU Wien, Austria, to be confirmed), * Victor Kuliamin (Institute for System Programming, Moscow, Russia, to be confirmed), * Egor Kuzmin (Yaroslavl State University, Russia, to be confirmed), * Alexei Lisitsa (University of Liverpool, UK, to be confirmed), * Irina Lomazova (Higher School of Economics, Moscow, Russia), * Manuel Mazzara (Innopolis University, Russia), * Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia), * Alexander Okhotin ( St. Petersburg State University, Russia), * Aleksey Promsky (Institute of Informatics Systems, Novosibirsk, Russia), * Valery Sokolov (Yaroslavl State University, Russia). Program Co-Chairs * Nikolay Shilov (Innopolis University, Russia, shiloviis(at)mail.ru) * Vladimir Zakharov (Moscow State University, Russia, zakh(at)cs.msu.su) Steering Committee * Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia, vnep(at)iis.nsk.su) * Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia, valery-sokolov(at)yandex.ru) Organizing Committee * Egor Kuzmin (Yaroslavl State University, Russia, kuzmin(at)uniyar.ac.ru) * Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia, valery-sokolov(at)yandex.ru) Invited Speakers: TBD Memorial Session We plan to organize a special session in memory of Boris (Boaz) Trakhtenbrot (19.02.1921 – 19.09.2016, https://cacm.acm.org/news/207650-in-memoriam-boris-trakhtenbrot-1921-2016/fulltext) and recently passed his former Ph.D. students - Mars Valiev (passed 31.01.2017, https://scholar.google.ru/citations?user=LM1vlLUAAAAJ) and Michael Dekhtyar (passed 17.03.2017, https://scholar.google.com/citations?user=1HYyPUMAAAAJJ). Submissions and Publication Program Committee invites research submissions (on topics of program semantics, specification and verification) in the form of extended abstracts (up to 8 pages, Lecture Notes in Computer Science style) in English. Additional details may be included in an appendix up to 4 pages for Program Committee. Program Committee also invites short (up to 4 pages) memorial contributions devoted to science and research legacy of Boris Trakhtenbrot, Mars Valiev, Michael Dekhtyar, and their former disciples, fellows, and colleagues. All submissions (research and memorial) should be via EasyChair conference system (https://easychair.org/conferences/?conf=pssv2018). All accepted papers will be published in the preliminary proceedings before the workshop (by Yaroslavl State University). Selected papers will be published after the workshop in Russian peer-review journal Modeling and Analysis of Information Systems (http://mais-journal.ru/jour) and then translated and published in Automatic Control and Computer Sciences (http://www.springer.com/computer/hardware/journal/11950) (indexed by WoS and Scopus). At least one author of every accepted paper should present a talk in the workshop. Registration and Visa Issues: * Registration dates and fees: TBD * Accommodation: Park Inn by Radisson may be recommended as the first instance, other options will be available later. * Visa issues: Please contact organizing committee - Egor Kuzmin and Valery Sokolov. Sponsorship * Host and publication: P. G. Demidov Yaroslavl State University (https://www.uniyar.ac.ru/en/) * Information: A.P. Ershov Institute of Informatics Systems of Russian Academy of Sciences (http://www.iis.nsk.su/en) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rodrigo.roman.uma at gmail.com Mon Mar 19 10:39:14 2018 From: rodrigo.roman.uma at gmail.com (Rodrigo Roman) Date: Mon, 19 Mar 2018 10:39:14 +0100 Subject: CFP: ESORICS 2018, 23rd European Symposium on Research in Computer Security Message-ID: ======================================================================== *** Apologies for multiple copies *** C a l l F o r P a p e r s ESORICS 2018 : Twenty-third European Symposium on Research in Computer Security Barcelona, Spain -- September 3-7, 2018 WWW: https://esorics2018.upc.edu ======================================================================== Overview ------------ ESORICS is the annual European research event in Computer Security. The Symposium started in 1990 and has been held in several European countries, attracting a wide international audience from both the academic and industrial communities. Papers offering novel research contributions in computer security are solicited for submission to the Symposium. The primary focus is on original, high quality, unpublished research and implementation experiences. We encourage submissions of papers discussing industrial research and development. Important Dates --------------------- * Paper submission deadline: April 18, 2018 * Notification to authors: June 15, 2018 * Camera ready due: June 25, 2018 Topics of Interest ----------------------- Topics of interest include, but are not limited to: * access control * accountability * ad hoc networks * anonymity * applied cryptography * authentication * biometrics * blockchain and finance security * data and computation integrity * database security * data protection * deep learning for attack and defense * digital content protection * digital forensics * distributed systems security * embedded systems security * inference control * information hiding * identity management * information flow control * information security governance and management * intrusion detection * formal security methods * language-based security * network security * phishing and spam prevention * privacy * privacy preserving data mining * risk analysis and management * secure electronic voting * security architectures * security economics * security metrics * security models * security and privacy for big data * security and privacy in cloud scenarios * security and privacy in complex systems * security and privacy in content centric networking * security and privacy in crowdsourcing * security and privacy in the IoT * security and privacy in location services * security and privacy for mobile code * security and privacy in pervasive / ubiquitous computing * security and privacy policies * security and privacy in social networks * security and privacy in web services * security and privacy in cyber-physical systems * security, privacy and resilience in critical infrastructures * security verification * software security * systems security * trust models and management * trustworthy user devices * usable security and privacy * web security * wireless security Paper Submission Guidelines --------------------------------------- Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=esorics2018 Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with proceedings. The symposium proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions should follow the LNCS template from the time they are submitted. Submitted papers should be at most 16 pages (using 10-point font), excluding the bibliography and well-marked appendices, and at most 20 pages total. Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. Submissions are to be made to the submission web site. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Authors of accepted papers must guarantee that their papers will be presented at the conference. Papers must be received by the aforementioned dates, 11:59 p.m. American Samoa time (UTC-11). Organisation Committee -------------------------------- General Chair: * Miguel Soriano, UPC, Spain Organization Chair: * Josep Pegueroles, UPC, Spain Workshop Chair: * Joaquin Garcia-Alfaro, Telecom-Sud Paris, France Program Committee Chairs: * Javier Lopez, University of Malaga, Spain * Jianying Zhou, SUTD, Singapore Program Committee: Gail-Joon Ahn, Arizona State University, USA Cristina Alcaraz, University of Malaga, Spain Elli Androulaki, IBM, Switzerland Vijay Atluri, Rutgers University, USA Michael Backes, Saarland University, Germany Carlo Blundo, Universita' degli Studi di Salerno, Italy Levente Buttyan, BME, Hungary Jan Camenish, IBM, Switzerland Alvaro Cardenas, University of Texas at Dallas, USA Aldar Chan, University of Hong Kong, HK Liqun Chen, University of Surrey, UK Sherman S. M. Chow, Chinese University of Hong Kong, HK Mauro Conti, University of Padua, Italy Jorge Cuellar, Siemens A.G., Germany Frederic Cuppens, TELECOM Bretagne, France Nora Cuppens-Boulahia, TELECOM Bretagne, France Marc Dacier, EURECOM, France Sabrina De Capitani di Vimercati, Universita' degli studi di Milano, Italy Herve Debar, Telecom SudParis, France Roberto Di Pietro, Hamad Bin Khalifa University (HBKU), Qatar Josep Domingo-Ferrer, University Rovira-Virgili, Spain Haixin Duan, Tsinghua University, China Jose Fernandez, Polytechnique Montreal, Canada Josep Lluis Ferrer, UIB, Spain Simone Fischer-Hübner, Karlstad University, Sweden Simon Foley, IMT Atlantique, France Sara Foresti, Universita' degli studi di Milano, Italy David Galindo, University of Birmingham, UK Debin Gao, SMU, Singapore Dieter Gollmann, Hamburg University of Technology, Germany Dimitris Gritzalis, Athens University of Economics and Business, Greece Stefanos Gritzalis, University of the Aegean, Greece Guofei Gu, Texas A&M University, USA Juan Hernandez, UPC, Spain Amir Herzberg, Bar-Ilan University & University of Connecticut, Israel Alejandro Hevia, University of Chile, Chile Xinyi Huang, Fujian Normal University, China Sushil Jajodia, George Mason University, USA Vasilios Katos, Bournemouth University, UK Sokratis Katsikas, NTNU, Norway Kwangjo Kim, KAIST, Korea Steve Kremer, INRIA Nancy-Grand Est, France Marina Krotofil, FireEye, USA Costas Lambrinoudakis, University of Piraeus, Greece Loukas Lazos, University of Arizona, USA Ninghui Li, Purdue University, USA Yingjiu Li, SMU, Singapore Hoon Wei Lim, SingTel, Singapore Joseph Liu, Monash University, Australia Peng Liu, Pennsylvania State University, USA Xiapu Luo, Hong Kong Polytechnic University, HK Mark Manulis, University of Surrey, UK Kostas Markantonakis, RHUL, UK Olivier Markowitch, Université Libre de Bruxelles, Belgium Fabio Martinelli, IIT-CNR, Italy Gregorio Martinez, University of Murcia, Spain Ivan Martinovic, University of Oxford, UK Sjouke Mauw, University of Luxembourg, Luxembourg Catherine Meadows, Naval Research Laboratory, USA Weizhi Meng, DTU, Denmark Chris Mitchell, RHUL, UK Haris Mouratidis, University of Brighton, UK David Naccache, Ecole Normale Suprieure, France Martin Ochoa, SUTD, Singapore Eiji Okamoto, University of Tsukuba, Japan Rolf Oppliger, eSECURITY Technologies, Switzerland Gunther Pernul, Universität Regensburg, Germany Christina Popper, NYU Abu Dhabi, UAE Joachim Posegga, University of Passau, Germany Jean-Jacques Quisquater, UCL, Belgium Indrajiti Ray, Colorado State University, USA Giovanni Russello, University of Auckland, New Zealand Mark Ryan, University of Birmingham, UK Peter Y.A. Ryan, University of Luxembourg, Luxembourg Rei Safavi-Naini, University of Calgary, Canada Pierangela Samarati, Universita' degli studi di Milano, Italy Damien Sauveron, XLIM, France Steve Schneider, University of Surrey, UK Ozgur Sinanoglu, NYU Abu Dhabi, UAE Einar Snekkenes, Gjovik University College, Norway Willy Susilo, University of Wollongong, Australia Pawel Szalachowski, SUTD, Singapore Qiang Tang, LIST, Luxembourg Juan Tapiador, Universidad Carlos III de Madrid, Spain Nils Ole Tippenhauer, SUTD, Singapore Aggeliki Tsohou, Ionian University, Greece Jaideep Vaidya, Rutgers University, USA Serge Vaudenay, EPFL, Switzerland Luca Vigano', King's College London, UK Michael Waidner, Fraunhofer SIT, Germany Cong Wang, City University of Hong Kong, HK Lingyu Wang, Concordia University, Canada Edgar Weippl, SBA Research, Austria Christos Xenakis, University of Piraeus, Greece Kehuan Zhang, Chinese University of Hong Kong, HK Sencun Zhu, Pennsylvania State University, USA Publicity Chairs: * Giovanni Livraga - Universita' degli studi di Milano, Italy * Rodrigo Roman - University of Malaga, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From vitordouzi at gmail.com Mon Mar 19 13:34:16 2018 From: vitordouzi at gmail.com (Vitor Mangaravite) Date: Mon, 19 Mar 2018 12:34:16 +0000 Subject: Text2Story@ECIR'18: Call for Participation - March 26th, Grenoble, France Message-ID: *Call for Participation* *First International Workshop on Narrative Extraction from Texts (Text2Story 2018)* *March 26th, 2018, Grenoble, France* *http://text2story18.inesctec.pt * *The First International Workshop on Narrative Extraction from Texts (Text2Story 2018)* will be held on March 26th in Grenoble, France under the umbrella of ECIR’18 (40th European Conference on Information Retrieval). Text2Story will feature the presentation of 6 papers, a poster session, 2 keynote speakers (Eric Gaussier and Udo Kruschwitz) and a slot for demonstrations. *KEYNOTE SPEAKERS* The program of Text2Story will feature two high-profile keynote speakers: · Eric Gaussier, Professor, University of Grenoble Alps, *Word embeddings, information retrieval and textual entailment* · Udo Kruschwitz, Professor, University of Essex, *Users2Story - On the Importance of Understanding Searchers’ Information Needs* *PAPERS* - Gossip is more than just story telling Topic modelling and quantitative analysis on a spontaneous speech corpus (Boróka Pápay, Bálint Kubik and Júlia Galántai) - Analyzing Shift in Narratives Regarding Migrants in Europe via Blogosphere (Muhammad Nihal Hussain, Kiran Kumar Bandeli, Samer Al-Khateeb and Nitin Agarwal) - IREvent2Story: A Novel Mediation Ontology and Narrative Generation (Venumadhav Kattagoni and Navjyoti Singh) - Text network analysis and visualization of Hungarian, communist-era political reports (Attila Gulyás, Martina K. Szabó, István Boros Jr. and Gergő Havadi) - Measuring Character-based Story Similarity by Analyzing Movie Scripts (O-Joun Lee, Nayoung Jo and Jason Jung) - Job Recommendation based on Job Seeker Skills: An Empirical Study (Jorge Valverde-Rebaza, Ricardo Puma, Paul Bustios and Nathalia C. Silva) *PROGRAM* Program details at *http://text2story18.inesctec.pt * We hope to see you in Grenoble, France! *Text2Story Organization Team* *Organization Committee* Alípio M. Jorge (INESC TEC; University of Porto, Portugal) Ricardo Campos (INESC TEC; Polytechnic Institute of Tomar, Tomar, Portugal) Adam Jatowt (Kyoto University, Japan) Sérgio Nunes (INESC TEC; University of Porto, Portugal) *Proceedings Chair* Conceição Rocha (INESC TEC) João Paulo Cordeiro (INESC TEC; University of Beira Interior) *Web and Dissemination Chair* Arian Pasquali (University of Porto) Vitor Mangaravite (INESC TEC) *Program Committee* Klaus Berberich (Max Planck Institute for Informatics) Marc Spaniol (Normandie University) Miguel Martinez-Alvarez (Signal) Dhruv Gupta (Max Planck Institute for Informatics) Federico Nanni (University of Mannheim) Yihong Zhang (Kyoto University) Udo Kruschwitz (University of Essex) Grace Hui Yang (Georgetown University) Gerasimos Lampouras (The University of Sheffield) Denilson Barbosa (University of Alberta) Sumit Bhatia (IBM) Yating Zhang (Kyoto University) Nina Tahmasebi (University of Gothenburg) Jaime Arguello (University of North Carolina at Chapel Hill) Akiko Aizawa (NII) António Horta Branco (University of Lisbon) Bruno Martins (University of Lisbon) Gael Dias (University of Caen) Henrique Lopes Cardoso (University of Porto) Pablo Gamallo (University of Santiago de Compostela) Fernando Batista (INESC-ID & ISCTE-IUL) Álvaro Figueira (INESC TEC & University of Porto) Nuno Moniz (INESC TEC) Paulo Quaresma (University of Evora) Sebastião Pais (Universidade da Beira Interior) Pedro Saleiro (University of Chicago) Conceição Rocha (INESC TEC) João Paulo Cordeiro (Universidade da Beira Interior) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon Mar 19 15:12:52 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 19 Mar 2018 10:12:52 -0400 (EDT) Subject: Verification and Deduction Mentoring Workshop 2018 Message-ID: <20180319141252.48A4217010D9@cs.miami.edu> Verification and Deduction Mentoring Workshop 2018, FLoC 2018, July 13, 2018 CALL FOR PARTICIPATION ***Overview*** The purpose of the Verification and Deduction Mentoring Workshop is to provide mentoring and career advice to early-stage graduate students, to attract them to pursue research careers in the area of computer-aided verification and deduction. The workshop will particularly encourage participation of women and underrepresented minorities. This mentoring workshop unites the 4th Verification Mentoring Workshop and the 1st Deduction Mentoring Workshop, and is affiliated both with CAV 2018 and IJCAR 2018. The workshop program will include a number of invited talks and interactive sessions. The invited talks will give an overview of the field, highlight career challenges and give advices on career planning. The invited talks will focus both on academia and industry. ***Application and Participation*** Graduate and undergraduate (seniors only) students interested in attending our workshop are requested to apply at: http://cavconference.org/2018/verification-deduction-mentoring-workshop/ We have limited funding available to support students attending the mentoring workshop and CAV/IJCAR 2018. ***Deadline for submission of applications*** April 13, 2018 From hubie.chen at ehu.eus Mon Mar 19 16:13:27 2018 From: hubie.chen at ehu.eus (HUBERT MING CHEN) Date: Mon, 19 Mar 2018 16:13:27 +0100 Subject: QBF 2018: Call for papers Message-ID: <20180319161327.Horde.99IMwuiX5AmPHnSHQSbnMGq@webposta.ehu.eus> [We apologize if you receive multiple copies of this call] ---------------------------------------------------------------------- CALL FOR PAPERS QBF 2018 -------- International Workshop on Quantified Boolean Formulas and Beyond Oxford, UK, July 8, 2018 http://fmv.jku.at/qbf18/ Affiliated to and co-located with: Federated Logic Conference 2018 (FLoC), Oxford, UK Oxford, UK, July 6-19, 2018 ---------------------------------------------------------------------- Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete, compared to NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence can be encoded in QBF. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not widely applied to practical problems in industrial settings. For example, the extraction and validation of models of (un)satisfiability of QBFs has turned out to be challenging. The goal of the International Workshop on Quantified Boolean Formulas (QBF Workshop) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. In particular, the following topics shall be considered at the workshop: * Directions of Solver Development * Certificates * Applications * Community platform and repository =============== IMPORTANT DATES =============== Please follow http://fmv.jku.at/qbf18/ for any updates. May 01 2018: submission May 15 2018: notification of acceptance May 25 2018: camera-ready version July 8 2018: workshop ================== TOPICS OF INTEREST ================== The workshop is concerned with all aspects of current research on formalisms enriched by quantifiers, in particular QBF. The topics of interest include (but are not limited to): - Applications, encodings and benchmarks with quantifiers - Experimental evaluations of solvers or related tools - Case studies illustrating the power of quantifiers - Certificates and proofs for QBF, QSMT, QCSP, etc. - Formats of proofs and certificates - Implementations of proof checkers and verifiers - Decision procedures - Calculi and their relationships - Proof theory and complexity results - Data structures, implementation details, and heuristics - Pre- and inprocessing techniques - Structural reasoning ========== SUBMISSION ========== We invite the submission of extended abstracts on work that has been published already, novel unpublished work, or work in progress. Submissions of the extended abstracts will be managed via Easychair: https://easychair.org/conferences/?conf=qbf18 The following forms of submissions are solicited: - Proposals for short tutorial presentations on topics related to the workshop. Tutorial proposals will be reviewed by the PC. The number of accepted tutorials depends on the overall number of accepted papers and talks, with the aim to set up a balanced workshop program. - Talk abstracts reporting on already published work. Such an abstract should include an outline of the planned talk, and pointers to relevant bibliography. - Talk proposals presenting work that is unpublished or in progress. Submissions which describe novel applications of QBF in various domains are particularly welcome. Additionally, this call comprises known applications which have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified. Each submission should have an overall length of 2-4 pages in LNCS format. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers' discretion. The accepted extended abstracts will be published on the workshop webpage and on the USB stick of FLoC. Authors of accepted contributions are expected to give a talk at the workshop. ========================== JOINT SESSION WITH PC 2018 ========================== We are very pleased to announce that QBF 2018 will feature a joint session with the Int. Workshop on Proof Complexity (PC 2018). We cordially invite contributions that are in the intersection of reasoning with quantifiers and proof complexity. Further, we are very pleased to announce that Meena Mahajan will give an invited talk in the joint session. ============== PROGRAM CHAIRS ============== Hubie Chen Birkbeck, University of London Florian Lonsing Vienna University of Technology, Austria Martina Seidl Johannes Kepler University Linz, Austria ================= PROGRAM COMMITTEE ================= Florent Capelli Leroy Chew Mikolas Janota Mathias Preiner Markus Rabe Martin Suda Friedrich Slivovsky From rl.stpuu at gmail.com Tue Mar 20 02:57:43 2018 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Tue, 20 Mar 2018 10:57:43 +0900 Subject: CfP: LACompLing2018 - Logic and Algorithms in Computational Linguistics 2018, Stockholm Message-ID: CALL FOR PAPERS Symposium Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018) Stockholm, 28-31 August 2018 Department of Mathematics, Stockholm University http://staff.math.su.se/rloukanova/LACompLing2018-web/ ================================================ DESCRIPTION == Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950ties, there have been strong links with computer science, logic, and many areas of mathematics - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The workshop assesses the place of logic, mathematics, and computer science in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress. -------------------------------- SCOPE == The workshop focuses mainly on logical approaches to computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. We invite participation and submissions from other relevant approaches too, especially if they can inspire new work and approaches. The topics of LACompLing2018 include, but are not limited to: - Computational theories of human language - Computational syntax - Computational semantics - Computational syntax-semantics interface - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Computational grammar - Logic and reasoning systems for linguistics - Type theories for linguistics - Models of computation and algorithms for linguistics - Language processing - Parsing algorithms - Generation of language from semantic representations - Large-scale grammars of natural languages - Multilingual processing - Data science in language processing - Machine learning of language - Interdisciplinary methods - Integration of formal, computational, model theoretic, graphical, diagrammatic, statistical, and other related methods - Logic for information extraction or expression in written and spoken language - Language theories based on biological fundamentals of information and languages - Computational neuroscience of language IMPORTANT DATES == Submission deadline, regular papers: 15 May 2018 (Anywhere on Earth / AoE) Submission deadline, abstracts: 31 May 2018 (AoE) Notifications: 15 June 2018 Final submissions: TBA LACompLing2018: between 28-31 Aug 2018 (few days, depending on the program) SUBMISSION INSTRUCTIONS == We invite original, regular papers that are not submitted concurrently to another conference or for publication elsewhere. Abstracts of presentations can be on work submitted or published elsewhere. - Regular papers: maximum 10 pages, including figures and references - Abstracts of contributed presentations: not more than 2 pages - The submissions of proposed papers and abstracts have to be in pdf - The camera-ready submissions require the pdf and their sources Authors are required to use Springer LNCS style files. Styles and templates can be downloaded from Springer, for LaTeX and Microsoft: http://www.springer.com/jp/computer-science/lncs/conference-proceedings-guidelines The submissions are via the EasyChair management system of LACompLing2018: https://easychair.org/conferences/?conf=lacompling2018 PUBLICATIONS == - The proceedings of LACompLing2018 will be published digitally by the DiVA system of Stockholm University: http://su.diva-portal.org - Improved and extended versions of selected papers, which have been presented at the workshop LACompLing2018, will be published in a special issue of a journal after the workshop. ORGANIZERS == Krasimir Angelov, University of Gothenburg, Sweden Kristina Liefke, Ludwig-Maximilians-University Munich, Germany Roussanka Loukanova, Stockholm University, Sweden (chair) Michael Moortgat, Utrecht University, The Netherlands Satoshi Tojo, School of Information Science, JAIST, Japan CONTACT == Roussanka Loukanova (rloukanova at gmail.com) Kristina Liefke (Liefke at lingua.uni-frankfurt.de) -------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From michael.kohlhase at fau.de Tue Mar 20 06:23:07 2018 From: michael.kohlhase at fau.de (Michael Kohlhase) Date: Tue, 20 Mar 2018 06:23:07 +0100 Subject: CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA Message-ID: [apologies for multiple postings]                      29th OpenMath Workshop                           24-27 July 2018             Notre Dame University, South Bend, USA NOTE: co-located with ICMS 2018 http://www.icms-conference.org/2018 Details: http://www.icms-conference.org/2018/sessions/session5/ OBJECTIVES OpenMath (http://www.openmath.org) is a language for exchanging mathematical formulae across applications (such as computer algebra systems).  From 2010 its importance has increased in that OpenMath Content Dictionaries were adopted as a foundation of the MathML 3 W3C recommendation (http://www.w3.org/TR/MathML), the standard for mathematical formulae on the Web. Topics we expect to see at the workshop include    * Feature Requests (Standard Enhancement Proposals) and Discussions      for going beyond OpenMath 2;    * Further convergence of OpenMath and MathML 3;    * Reasoning with OpenMath;    * OpenMath on the Semantic Web;    * New OpenMath Content Dictionaries;    * Software using or processing OpenMath; Contributions can be either full research papers, Standard Enhancement Proposals, or a description of new Content Dictionaries, particularly ones that are suggested for formal adoption by the OpenMath Society. IMPORTANT DATES (all times are "anywhere on earth") 1. Abstract Submission: March 31. 2018 2. Extended Abstract Submission: April 21, 2018. SUBMISSIONS/PROCEEDINGS After the meeting a full paper can appear in ICMS proceedings (LNCS) Submission categories:    * Full paper: 5–10 pages    * Short paper: 1–4 pages    * CD description: 1-6 pages; a link to the CD must be provided.    * Standard Enhancement Proposal: 1-10 pages (as      appropriate w.r.t. the background knowledge required); a link to      any related implementation (e.g. a Relax NG schema) should be provided. ORGANISATION/PROGRAMME COMMITTEE    * James Davenport (University of Bath, UK)    * Michael Kohlhase (FAU Erlangen-Nürnberg, Germany) Comments/questions/enquiries: to be sent to the organizers -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur für Wissensrepräsentation & -verarbeitung Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139, tel/fax: (49) 9131-85-64052/55, michael.kohlhase at fau.de ---------------------------------------------------------------------- From michael.kohlhase at fau.de Tue Mar 20 06:39:22 2018 From: michael.kohlhase at fau.de (Michael Kohlhase) Date: Tue, 20 Mar 2018 06:39:22 +0100 Subject: ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA Message-ID: <41e7ed5a-7950-2f68-710f-14d92bee2b50@fau.de> [apologies for multiple copies]                  ICMS Session ---                   Math in 2050      Creativity, Publication, and Application      supported by Knowledge Bases and Software?           Notre Dame, 24-27 July 2018 (one day, tbd)      co-located with ICMS 2018 http://www.icms-conference.org/2018      Details: http://www.icms-conference.org/2018/sessions/session17/ Aim and Scope The Math2050 Session explores community perceptions of future workflows in “doing mathematics” (the conception, publication, dissemination, and application of mathematical knowledge). It follows upon an ICMS event in Berlin organized by the International Mathematical Knowledge Trust (IMKT; chartered by the IMU and funded by the Alfred P. Sloan Foundation to help bring about a global digital mathematics library). The question of how to encode mathematical semantics that is at the heart of what future mathematics will be, was considered at a Fields Institute workshop in February 2016 and is still an active one. Topics and Publications The workshop seeks technical contributions and position papers on novel/computer-supported workflows and information resources for the practice of the mathematical sciences. The contributions will be used as anchors to an open discussion on how “doing mathematics could change in the next 30 years (one full generation of mathematicians). The contributors will be invited to submit articles to a special issue of “Mathematics in Computer Science”. IMPORTANT DATES (all times are "anywhere on earth") 1. Abstract Submission: March 31. 2018 2. Extended Abstract Submission: April 21, 2018. SUBMISSIONS/PROCEEDINGS After the meeting a full paper can appear in ICMS proceedings (LNCS) ORGANISATION/PROGRAMME COMMITTEE Organizers     Michael Kohlhase (FAU Erlangen-Nürnberg)     Patrick D. F. Ion (GDML WG & University of Michigan) Comments/questions/enquiries: to be sent to the organizers -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur für Wissensrepräsentation & -verarbeitung Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139, tel/fax: (49) 9131-85-64052/55, michael.kohlhase at fau.de ---------------------------------------------------------------------- From xrambous at aurora.fi.muni.cz Tue Mar 20 15:46:46 2018 From: xrambous at aurora.fi.muni.cz (TSD 2018) Date: Tue, 20 Mar 2018 15:46:46 +0100 Subject: TSD 2018 - Last Call for Papers, Deadline Extension Message-ID: ********************************************************* TSD 2018 - LAST CALL FOR PAPERS ********************************************************* Twenty-first International Conference on TEXT, SPEECH and DIALOGUE (TSD 2018) Brno, Czech Republic, 11-14 September 2018 http://www.tsdconference.org/ THE SUBMISSION DEADLINE has been EXTENDED to: March 29 2018 ............ Submission of full papers KEYNOTE SPEAKERS Kenneth Church, Baidu, USA Piek Vossen, Vrije Universiteit Amsterdam, The Netherlands The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. TSD Proceedings are regularly indexed in Web of Science by Thomson Reuters and in Scopus. Moreover, LNAI series are listed in all major citation databases such as DBLP, EI, INSPEC or COMPENDEX. CALL for SATELLITE WORKSHOP PROPOSALS The TSD 2018 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee. The organizing committee can arrange for a meeting room at the conference venue and prepare a workshop proceedings as a book with ISBN by a local publisher. The workshop papers that will pass also the standard TSD review process will appear in the Springer proceedings. Each workshop is a subject to proposal that should be sent to the contact e-mail tsd2018 at tsdconference.org ahead of the respective deadline. TOPICS Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (morphological and syntactic analysis, synthesis and disambiguation, multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection) Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies) Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues) Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) Papers on processing of languages other than English are strongly encouraged. PROGRAM COMMITTEE Elmar Noeth, Germany (general chair) Rodrigo Agerri, Spain Eneko Agirre, Spain Vladimir Benko, Slovakia Archna Bhatia, USA Jan Cernocky, Czech Republic Simon Dobrisek, Slovenia Kamil Ekstein, Czech Republic Karina Evgrafova, Russia Yevhen Fedorov, Ukraine Volker Fischer, Germany Darja Fiser, Slovenia Eleni Galiotou, Greece Björn Gambäck, Norway Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, USA Tino Haderlein, Germany Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Yannis Haralambous, France Hynek Hermansky, USA Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Denis Jouvet, France Maria Khokhlova, Russia Aidar Khusainov, Russia Daniil Kocharov, Russia Miloslav Konopik, Czech Republic Ivan Kopecek, Czech Republic Valia Kordoni, Germany Evgeny Kotelnikov, Russia Pavel Kral, Czech Republic Siegfried Kunzmann, Germany Nikola Ljubešić, Croatia Natalija Loukachevitch, Russia Bernardo Magnini, Italy Oleksandr Marchenko, Ukraine Vaclav Matousek, Czech Republic France Mihelic, Slovenia Roman Moucek, Czech Republic Agnieszka Mykowiecka, Poland Hermann Ney, Germany Karel Oliva, Czech Republic Juan Rafael Orozco-Arroyave, Colombia Karel Pala, Czech Republic Nikola Pavesic, Slovenia Maciej Piasecki, Poland Josef Psutka, Czech Republic James Pustejovsky, USA German Rigau, Spain Marko Robnik Šikonja, Slovenia Leon Rothkrantz, The Netherlands Anna Rumshisky, USA Milan Rusko, Slovakia Pavel Rychly, Czech Republic Mykola Sazhok, Ukraine Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Stefan Steidl, Germany Georg Stemmer, Germany Vitomir Štruc, Slovenia Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Aleksander Wawer, Poland Pascal Wiggers, The Netherlands Yorick Wilks, United Kingdom Marcin Wolinski, Poland Alina Wróblewska, Poland Victor Zakharov, Russia Jerneja Žganec Gros, Slovenia SUBMISSION OF PAPERS Authors are invited to submit a full paper not exceeding 8 pages formatted in the LNCS style (including references). Those accepted will be presented either orally or as posters. The decision about the presentation format will be based on the recommendation of the reviewers. The authors are asked to submit their papers using the on-line form accessible from the conference website. Papers submitted to TSD 2018 must not be under review by any other conference or publication during the TSD review cycle, and must not be previously published or accepted for publication elsewhere. As reviewing will be blind, the paper should not include the authors' names and affiliations. Furthermore, self-references that reveal the author's identity, e.g., "We previously showed (Smith, 1991) ...", should be avoided. Instead, use citations such as "Smith previously showed (Smith, 1991) ...". Papers that do not conform to the requirements above are subject to be rejected without review. The authors are strongly encouraged to write their papers in TeX or LaTeX formats. These formats are necessary for the final versions of the papers that will be published in the Springer Lecture Notes. Authors using a WORD compatible software for the final version must use the LNCS template for WORD and within the submit process ask the Proceedings Editors to convert the paper to LaTeX format. For this service a service-and-license fee of CZK 2000 will be levied automatically. The paper format for review has to be in the PDF format with all required fonts included. Upon notification of acceptance, presenters will receive further information on submitting their camera-ready and electronic sources (for detailed instructions on the final paper format see https://www.tsdconference.org/tsd2018/paper_instr.html). Authors are also invited to present actual projects, developed software or interesting material relevant to the topics of the conference. The presenters of demonstrations should provide an abstract not exceeding one page. The demonstration abstracts will not appear in the conference proceedings. IMPORTANT DATES March 29 2018 ............ Submission of full papers May 16 2018 .............. Notification of acceptance May 31 2018 .............. Final papers (camera ready) and registration August 8 2018 ............ Submission of demonstration abstracts August 15 2018 ........... Notification of acceptance for demonstrations sent to the authors September 11-14 2018 ..... Conference date Submission of abstracts serves for better organization of the review process only - for the actual review a full paper submission is necessary. The accepted conference contributions will be published in Springer proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. The Best Paper and Best Student Paper Awards will be selected by the Programme Committee and supported with a total prize of EUR 1000 from Springer. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. The registration fee is the same as in 2016: Student: Early payment (by May 31) - 10,000 CZK (approx. EUR 395) Full participant: Early payment (by May 31) - 12,000 CZK (approx. EUR 475) The fee has a "all in one" form, to keep equality between participants. ACCOMMODATION The organizing committee will arrange discounts on accommodation in the 4-star hotel at the conference venue. The current prices of the accommodation are available at the conference website. ADDRESS All correspondence regarding the conference should be addressed to Ales Horak, TSD 2018 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 18 63 fax: +420-5-49 49 18 20 email: tsd2018 at tsdconference.org The official TSD 2018 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000 and is the country's judiciary and trade-fair center. Brno is the capital of South Moravia, which is located in the south-east part of the Czech Republic and is known for a wide range of cultural, natural, and technical sights. South Moravia is a traditional wine region. Brno had been a Royal City since 1347 and with its six universities it forms a cultural center of the region. Brno can be reached easily by direct flights from London and Munich, and by trains or buses from Prague (200 km) or Vienna (130 km). For the participants with some extra time, nearby places may also be of interest. Local ones include: Brno Castle now called Spilberk, Veveri Castle, the Old and New City Halls, the Augustine Monastery with St. Thomas Church and crypt of Moravian Margraves, Church of St. James, Cathedral of St. Peter & Paul, Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat designed by Mies van der Rohe along with other important buildings of between-war Czech architecture. For those willing to venture out of Brno, Moravian Karst with Macocha Chasm and Punkva caves, battlefield of the Battle of three emperors (Napoleon, Russian Alexander and Austrian Franz - Battle by Austerlitz), Chateau of Slavkov (Austerlitz), Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice Chateau, Letovice Chateau, Mikulov with one of the largest Jewish cemeteries in Central Europe, Telc - a town on the UNESCO heritage list, and many others are all within easy reach. From sdm.publicity at gmail.com Tue Mar 20 16:17:24 2018 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Tue, 20 Mar 2018 11:17:24 -0400 Subject: SIAM SDM 2018 - Call for Participation (Early registration April 3rd) Message-ID: SDM'18: THE EIGHTEENTH SIAM INTERNATIONAL CONFERENCE ON DATA MINING May 3 - May 5, 2018 San Diego Marriott Mission Valley San Diego, California, USA http://www.siam.org/meetings/sdm18/ ------------------- REGISTRATION INFORMATION --------------------- Pre-registration deadline: April 3, 2018 Special rate for student registration: $315 (early registraton until 4/3), $340 regular student rate SIAM SDM 2018 registration information: http://www.siam.org/meetings/sdm18/reginfo.php ------------------- HOTEL INFORMATION --------------------- Group rate: $164 Special student rate: $127 Hotel Reservation Deadline: April 3, 2018 More information on hotel room reservations: http://www.siam.org/meetings/sdm18/hotel.php ------------------- CONFERENCE PROGRAM --------------------- SIAM SDM 2018 conference program is available at http://www.siam.org/meetings/sdm18/program.php. ---------------------- WORKSHOPS ------------------------ This year SDM will host 6 workshops. Most workshops have paper submission deadlines in mid-January. Additional information on the individual workshops and their submission dates can be found at the following links. Workshop on Big Traffic Data Analytics https://illidanlab.github.io/big_traffic/2018/index.html Organizers: Jiayu Zhou, Zheng Wang, Jieping Ye Workshop on Artificial Intelligence in Insurance https://sda-amfam.github.io/sdm-workshop-2018.html Organizers: Glen Fung, Edward W. (Jed) Frees, Luisa F. Polanía Workshop on Machine Learning Methods for Recommender Systems https://doogkong.github.io/2018/index.html Organizers: Deguang Kong, Xia Ning, George Karypis Workshop on Cost-Sensitive Learning http://cost.dcc.fc.up.pt/ Organizers: Luis Torgo, Stan Matwin, Gary Weis, Nuno Moniz, Paula Branco Workshop on Data Mining for Geophysics and Geology http://dm4og.inesctec.pt/dmg2 Organizers: Youzuo Lin, Weichang Li, Alipio Jorge, Rui L. Lopes, German Larrazabal, Pablo Guillen Workshop on Data Mining for Medicine and Healthcare https://sites.google.com/site/feiwang03/dmmh18 Organizers: Fei Wang, Xi Zhang, Lifang He ---------------------- TUTORIALS ------------------------ The conference features the following tutorials on several special topics. For more details, please visit the conference website: http://www.siam.org/meetings/sdm18/tutorials.php A Critical Review of Online Social Data: Biases, Methodological: Pitfalls, and Ethical Boundaries Authors: Alexandra Olteanu (IBM Research), Emre Kıcıman (Microsoft Research), Carlos Castillo (Universitat Pompeu Fabra) Data Mining Critical Infrastructure Systems - Models and Tools Authors: Liangzhe Chen (Virginia Tech), B. Aditya Prakash (Virginia Tech) Knowledge Discovery from Temporal Social Networks Authors: Fabíola S. F. Pereira (Federal University of Uberlandia, Brazil), João Gama (University of Porto, Portugal) Problems with Partially Observed (Incomplete) Networks: Biases, Skewed Results, and Solutions Authors: Tina Eliassi-Rad (Northeastern University), Sucheta Soundarajan (Syracuse University), Sahely Bhadra (IIT Palakkad) The Canonical Polyadic Tensor: Decomposition and Variants for Mining Multi-Dimensional Data Authors: Tamara G. Kolda and Jed A. Duersch, Sandia National Laboratories FOLLOW SDM ------------------------------------------------------------ https://twitter.com/SIAMDataMining Twitter hashtag: #SIAMSDM18 and #SDM18 https://www.facebook.com/events/324672047986484/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From morgado.uma at gmail.com Wed Mar 21 16:22:23 2018 From: morgado.uma at gmail.com (Morgado Dias) Date: Wed, 21 Mar 2018 15:22:23 +0000 Subject: Fwd: Last CFP deadline 9 Apr - 6 Special Issues - Conference IEEE - ICBEA - 9-12 July 2018 Madeira, Portugal References: <8565f23c88881a07f5071f8374271ffa@uma.pt> Message-ID: <222F0772-989B-4AE3-8F2E-46EBE33B14A0@gmail.com> Dear Colleagues, Can you please help spreading the information about this conference which is in relevant areas for your unit/list. Thank you, Morgado Dias Universidade da Madeira Assistant Professor in Electronics and Telecommunications Automation and Instrumentation PhD Director morgado at uma.pt Tel.: 291-705307 Researcher Polo Científico e Tecnológico da Madeira 9020-105 FUNCHAL Tel (351) 291 721 006 www.m-iti.org | admin at m-iti.org July 2018 conferences: EASIFT - WORKSHOP – ELECTRONICS APPLICATIONS and SYSTEM INTEGRATION for FUTURE TECHNOLOGIES – EASIFT ES2DE  - IEEE - INTERNATIONAL CONFERENCE ON ENERGY AND SUSTAINABILITY IN SMALL DEVELOPING ECONOMIES ICBEA - IEEE - INTERNATIONAL CONFERENCE ON BIOMEDICAL ENGINEERING AND APPLICATIONS ICMA - INTERNATIONAL CONFERENCE ON MATHEMATICAL AND APPLICATIONS ICAP - INTERNATIONAL CONFERENCE ON APPLIED PSYCHOLOGY AND HUMAN BEHAVIOR > Begin forwarded message: > > From: iknowd > Subject: Last CFP deadline 9 Apr - 6 Special Issues - Conference IEEE - ICBEA - 9-12 July 2018 Madeira, Portugal > Date: 16 March 2018 at 09:38:43 GMT > To: > > Apologies for cross-posting > Due to the many requests, IKnowD is extending the deadlines for submission. > **************************************************************************************************** > > > INVITATION > > It is our great pleasure to invite you to participate in the IEEE - International Conference On Biomedical Engineering And Applications – ICBEA, to be held in Funchal, Madeira Island, July 9th to 12th, 2018, organised by the Institute of Knowledge and Development, the University of Madeira and the Madeira Interactive Technologies Institute jointly. > > Contributions are welcome in both theoretical developments and practical implementations in all areas involving Biomedical Engineering. Between all contributions presented, two will be selected to receive a best paper award. More information in the call for papers. ICBEA will provide an excellent opportunity for presenting new results and to discuss the latest research and developments in the field. > > Visit homepage > > Deadlines > > Full Paper Submission: April 9, 2018 > > Notifications: May 15, 2018 > > Final Paper Submission: May 25, 2018 > > Conference dates: July 9-12, 2018 > > > Conference Topics: > > Submitted papers will be peer reviewed by a minimum of 2 reviewers holding a PhD with expertise in the submission topics. Papers are invited in all areas of Biomedical Engineering and Applications including (but not limited to) the following areas: > > Agents applied to biomedicine > Bayesian Networks > Bio-inspired algorithms > Bioinformatics > Biomedical and Biological System Modeling > Biomedical Circuits and Systems > Biomedical Communications > Biomedical Engineering Education > Biomedical Sensors and Wearable Systems > Biomedical Signal and Image Processing > Cardiovascular and Respiratory Systems Engineering > Connectionist Models > Deep Learning applied in Bioengineering > Evolutionary algorithms > Expert Systems on Biomedical and Biological Applications > Health service management > Healthcare Information Systems and e-Health > Machine Learning and Artificial Intelligence in Biomedical Engineering > Medical Physics > Neural and Rehabilitation Engineering > Support Vector Machines > Symbolic Representation > Systems to support dyagnosys systems > Therapeutic and Diagnostic Systems and Technologies > > > 2018 Proceedings will be submitted for inclusion in IEEE Xplore/Digital Library. > > Submit » > This conference is co-located with other conferences (check iknowd.org ) and participants can follow all the conferences. > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : image001.jpg Dateityp : image/jpeg Dateigröße : 12951 bytes Beschreibung: nicht verfügbar URL : From Frank.Trollmann at dai-labor.de Thu Mar 22 07:41:23 2018 From: Frank.Trollmann at dai-labor.de (Frank Trollmann) Date: Thu, 22 Mar 2018 06:41:23 +0000 Subject: Reminder: Call for Papers for the 41st edition of the German Conference on Artificial Intelligence (KI2018) Message-ID: <15cac15771c44ecebf0540b530663708@dai-mbx2.dai-lab.de> [Apologies for multiple copies of this CFP] Dear Colleagues, we would like to remind you of the approaching submission deadlines for KI2018. Submission of full and short papers is due on May 7th. Please note that we have added an abstract submission deadline (April 30th) to the submission modalities. You can find the full call for paper below. Best Regards, Anni and Frank (PC co-chairs of KI 2018) CALL FOR PAPERS ---------------------------------------------- KI2018 - The 41st German Conference on Artificial Intelligence September 24-28th, 2018, Berlin, Germany http://ki2018.dai-labor.de SCOPE ---------------------------------------------- KI2018 is the 41st edition of the German Conference on Artificial Intelligence organized in cooperation with the AI chapter of the German Computer Science Society. KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium. IMPORTANT DATES ---------------------------------------------- Abstract Submission: April 30th, 2018 Full/Short Paper Submission: May 7th, 2018 Notification of Acceptance: June 15th, 2018 Final Version Due: July 2nd, 2018 Workshop, Tutorials, and Doctoral Consortium: are announced in separate calls TOPICS OF INTEREST ---------------------------------------------- You are invited to submit original research and application papers on all aspects of AI research, including but not limited to the following: * Agent-based and multi-agent systems * AI applications and innovations * Belief change * Cognitive modelling, AI and psychology * Commonsense reasoning * Computer vision * Constraint satisfaction, search, and optimization * Diagnosis and configuration * Evolutionary computation * Game playing and interactive entertainment * Information retrieval, integration, and extraction * Knowledge engineering and ontologies * Knowledge representation and reasoning * Knowledge discovery and data mining * Machine learning * Multidisciplinary AI * Natural language processing * Nonmonotonic reasoning and default logics * Philosophical foundations of AI * Planning and scheduling * Recommender systems * Robotics * Uncertainty in AI * Web and information systems We especially welcome application papers that provide novel insights on the interplay of AI and the real world, as well as papers that bring useful computational technologies from other areas of computer science into AI. SUBMISSION ---------------------------------------------- We invite papers, which have to be in English and formatted according to the Springer LNCS style, in the following two categories Full technical papers (12 pages max., excluding references) are expected to report on new research that makes a substantial technical contribution to the field. Additional details may be included in an appendix, which, however, will be read at the discretion of the PC. Technical communications (6 pages max., excluding references) can report on research in progress or other issues of interest to the AI community. Examples of work suitable for technical communication paper submissions include novel ideas whose scope is not large enough for a full paper; important implementation techniques; novel interesting benchmark problems; short experimental studies; interesting applications that are not yet completely solved or analysed; position or challenge papers. Technical communication submissions are especially invited for software demonstration or PhD work in progress. Submission will be through the EasyChair conference management system. All papers will be subject to blind peer review based on the standard criteria of relevance, the significance of results, originality of ideas, soundness, and quality of the presentation. If you have used the EasyChair conference management system before, you can use the same username and password. If this is your first time using EasyChair, you will need to register for an account by clicking 'I have no EasyChair account' button. Upon completion of registration, you will get a notification email from the system and you are ready for submitting your paper. You can upload and re-upload the paper to the system by the submission due date. Paper submission is electronic. To submit, please prepare a PDF file of your paper, a short abstract in plain text, and a list of two to five keywords. Submission is possible via the following link: https://easychair.org/conferences/?conf=ki2018 All accepted papers will be published in the main conference proceedings and will be presented at the conference. The KI 2018 proceedings will be published by Springer as a volume of the LNAI series (Lecture Notes in Artificial Intelligence). At least one author of each accepted paper must register for the conference and present the contribution. The most outstanding submission will be recognized with a best paper award at the conference. ORGANIZATION ---------------------------------------------- General Chair * Sahin Albayrak, TU Berlin Programm Chairs * Frank Trollmann, TU Berlin * Anni-Yasmin Turhan, TU Dresden Workshop and Tutorial Chair: * Oezguer Oezcep, Universität zu Lübeck Doctoral Consortium Chair * Johannes Fähndrich, GT-ARC Berlin SUPPORTED BY ---------------------------------------------- * Springer-Verlag GmbH * Gesellschaft für Informatik e.V. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From michael.kohlhase at fau.de Thu Mar 22 19:44:44 2018 From: michael.kohlhase at fau.de (Michael Kohlhase) Date: Thu, 22 Mar 2018 19:44:44 +0100 Subject: =?UTF-8?Q?Multiple_Positions_at_FAU_Erlangen/N=c3=bcrnberg?= Message-ID: The KWARC group [1] at FAU Erlangen-Nürnberg [2] is looking for Ph.D. candidates and PostDocs in multiple projects. Details and an up-to-date listing can be found at [3]. We are always interested in candiates with strong backgrounds and interests in Logic, Language, and Mathematics. Currently we are seeking applications for the following projects: * ALMANAC: Argumentation Logics Manager & Argument Context Graph (DFG 2018-2020)   Doctoral Students and PostDocs with a love for logic, language, and argumentation. * OpenDreamKit: Open Digital Research Environment Toolkit for the Advancement of Mathematics (EU 2016-2019)   Doctoral Students and PostDocs with an interest in mathematics, computation, and system integration. The KWARC group engages in research and development in foundations of mathematics, metalogical frameworks, flexiformal knowledge representation for STEM (Science, Technology, Engineering, and Mathematics), semantics extraction from STEM documents, and knowledge management on this basis. Candidates interested in the above positions should introduce themselves and inquire for further information by sending email with the usual documents to . [1] http://kwarc.info [2] http://cs.fau.de [3] http://kwarc.info/hiring -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur für Wissensrepräsentation & -verarbeitung Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen tel/fax: (49) 9131-85-64052/55, michael.kohlhase at fau.de ---------------------------------------------------------------------- From irdta at irdta.eu Sun Mar 25 00:01:29 2018 From: irdta at irdta.eu (IRDTA) Date: Sun, 25 Mar 2018 00:01:29 +0100 Subject: SLSP 2018: 2nd call for papers Message-ID: <545102060a010b060950500306045a54535e065002570154070b5c010e00005751520d01030d080b07005306000603@grlmc_ip-zone_com-6> SLSP 2018: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 6th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2018 Mons, Belgium October 15-17, 2018 Co-organized by: NUMEDIART Institute University of Mons LANGUAGE Institute University of Mons Institute for Research Development, Training and Advice (IRDTA), Brussels/London http://slsp2018.irdta.eu/ ********************************************************************************** AIMS: SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2018, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. VENUE: SLSP 2018 will take place in Mons, which was European Capital of Culture in 2015. The venue will be: University of Mons 31 Bvd Dolez, 7000 Mons Belgium SCOPE: The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to: anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling STRUCTURE: SLSP 2018 will consist of: invited talks peer-reviewed contributions posters INVITED SPEAKERS: (to be completed) Simon King (University of Edinburgh), tba Isabel Trancoso (Instituto Superior Técnico, Lisbon), tba PROGRAMME COMMITTEE: Steven Abney (University of Michigan, US) Srinivas Bangalore (Interactions LLC, US) Jean-François Bonastre (University of Avignon et Pays du Vaucluse, FR) Pierrette Bouillon (University of Geneva, CH) Nicoletta Calzolari (Italian National Research Council, IT) Erik Cambria (Nanyang Technological University, SG) Kenneth W. Church (Baidu Research, US) Walter Daelemans (University of Antwerp, BE) Thierry Dutoit (University of Mons, BE) Marcello Federico (Bruno Kessler Foundation, IT) Robert Gaizauskas (University of Sheffield, UK) Ralph Grishman (New York University, US) Udo Hahn (University of Jena, DE) Siegfried Handschuh (University of Passau, DE) Mark Hasegawa-Johnson (University of Illinois, Urbana–Champaign, US) Keikichi Hirose (University of Tokyo, JP) Julia Hirschberg (Columbia University, US) Nancy Ide (Vassar College, US) Gareth Jones (Dublin City University, IE) Philipp Koehn (University of Edinburgh, UK) Haizhou Li (National University of Singapore, SG) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Alessandro Moschitti (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Jian-Yun Nie (University of Montréal, CA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Cecile Paris (CSIRO Data61, AU) Jong C. Park (Korea Advanced Institute of Science and Technology, KR) Alexandros Potamianos (National Technical University of Athens, GR) Paul Rayson (Lancaster University, UK) Mats Rooth (Cornell University, US) Paolo Rosso (Technical University of Valencia, ES) Alexander Rudnicky (Carnegie Mellon University, US) Tanja Schultz (University of Bremen, DE) Holger Schwenk (Facebook AI Research, FR) Vijay K. Shanker (University of Delaware, US) Richard Sproat (Google Research, US) Tomoki Toda (Nagoya University, JP) Gökhan Tür (Google Research, US) Yorick Wilks (Institute for Human & Machine Cognition, US) Phil Woodland (University of Cambridge, UK) Dekai Wu (Hong Kong University of Science and Technology, HK) Junichi Yamagishi (University of Edinburgh, UK) ORGANIZING COMMITTEE: Stéphane Dupont (Mons) Thierry Dutoit (Mons, co-chair) Kévin El Haddad (Mons) Kathy Huet (Mons) Sara Morales (Brussels) Manuel J. Parra Royón (Granada) Gueorgui Pironkov (Mons) David Silva (London, co-chair) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://easychair.org/conferences/?conf=slsp2018 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference. A special issue of Computer Speech and Language (Elsevier, JCR 2016 impact factor: 1.900) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://slsp2018.irdta.eu/Registration.php DEADLINES (all at 23:59 CET): Paper submission: May 27, 2018 Notification of paper acceptance or rejection: July 3, 2018 Final version of the paper for the LNCS/LNAI proceedings: July 13, 2018 Early registration: July 13, 2018 Late registration: October 1, 2018 Submission to the journal special issue: January 17, 2019 QUESTIONS AND FURTHER INFORMATION: david at irdta.eu ACKNOWLEDGMENTS: Université de Mons Institute for Research Development, Training and Advice (IRDTA), Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Johannes.Faehndrich at dai-labor.de Mon Mar 26 07:59:15 2018 From: Johannes.Faehndrich at dai-labor.de (=?utf-8?B?Sm9oYW5uZXMgRsOkaG5kcmljaA==?=) Date: Mon, 26 Mar 2018 05:59:15 +0000 Subject: Call for Participation for the Doctoral Consortium at the KI 2018 Message-ID: <3884F6EE-DD51-4566-94F8-A24FDEE59DDF@dai-labor.de> [Apologies for multiple copies of this CFP] Doctoral Consortium The doctoral consortium provides an opportunity for Ph.D. students to discuss their research interests and career objectives with established researchers in AI and network with other participants. The doctoral consortium will expose students to different areas of research within AI and help build professional connections within the international community of AI researchers. The technical program of presentations, workshops, and tutorials is complemented by a doctoral consortium that invites Ph.D. students at a stage in which critique can still be integrated and from any subject area within AI. Each presented topic will be mentored by a senior researcher. This provides the opportunity for a private discussion of the Ph.D. topic. The goals of the doctoral consortium are • to provide Ph.D. students with the opportunity to present their ongoing research and receive feedback from established researchers; • to promote networking among Ph.D. students and AI researchers in general, both on a national and an international level; • to support students with advice on academic, research, and industrial careers. Program There will be a Ph.D. workshop with oral presentations during the KI conference, providing an opportunity for obtaining feedback. Doctoral students may also participate in a mentoring program that will connect students with experienced researchers in their field. The organizers will try to schedule personal meetings between mentors and students. Students can indicate their interest in this program when submitting their contribution, or directly by contacting the organizers. The schedule of the meetings will be announced ahead of the event. Application To apply for the KI 2018 doctoral consortium, please send the following documents (in a single pdf file) by email to johannes.faehndrich at gt-arc.de: • An abstract of your thesis, formatted according to the KI guidelines (LNCS/LNAI), that describes the problem being addressed, the motivation for solving the problem, related work, the proposed approach, and planned or already executed evaluation. Target length of the abstract is 3-5 pages, including references. • A short CV that covers background (name, university, supervisor), education (degree sought, year/status in a degree, previous degrees), employment, and experience in research (publications, presentations, conferences attended) of max. 2 pages. • Please indicate in your application if you want to participate in the mentoring program. • Optionally, you can suggest potential mentors who could give you advice on technical aspects of your work and your career. Deadlines • Submission: June 20th, 2018 • Notification: August 15th, 2018 • Mentoring event: Sep 25th, 2018 The extended abstract should be structured in the following way: • Introduction and Motivation • Research Question • Related Work • Approach • (Planned) Evaluation Abstract submissions should be in English and must have a single author who is pursuing the proposed Ph.D. Contact Johannes Fähndrich GT-Arc Berlin johannes.faehndrich at gt-arc.de From azwyner at abdn.ac.uk Mon Mar 26 15:08:43 2018 From: azwyner at abdn.ac.uk (Wyner, Adam Zachary) Date: Mon, 26 Mar 2018 13:08:43 +0000 Subject: Final Call for Papers: Controlled Natural Language (CNL2018) 15 April 2018 Message-ID: <4318B949-5D3B-49FA-918B-7A5808EEEB2E@abdn.ac.uk> Final Call for Papers Sixth Workshop on Controlled Natural Language (CNL 2018) Submission deadline (All papers): 15th April 2018 Workshop 27-28 August 2018 in Maynooth, Co Kildare, Ireland This workshop on Controlled Natural Language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. For further information, please see: goo.gl/vg9D6H The University of Aberdeen is a charity registered in Scotland, No SC013683. Tha Oilthigh Obar Dheathain na charthannas clàraichte ann an Alba, Àir. SC013683. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From roveri at fbk.eu Tue Mar 27 01:00:45 2018 From: roveri at fbk.eu (Marco Roveri) Date: Tue, 27 Mar 2018 01:00:45 +0200 Subject: CFP: Formal Methods for Intelligent Systems @ ISMIS 2018 Message-ID: <20180326230045.E884120222@mitchell> [ Apologize for Multiple Copies ] Call for Papers 24th International Symposium on Methodologies for Intelligent Systems ISMIS 2018 Special Session - Formal Methods for Intelligent Systems - October 29 - 31, 2018, St. Raphael Resort, Limassol, Cyprus ISMIS is an established and prestigious conference for exchanging the latest research results in building intelligent systems. Held twice every three years, the conference provides a medium for exchanging scientific research and technological achievements accomplished by the international community. The scope of ISMIS is intended to represent a wide range of topics on applying Artificial Intelligence techniques to areas as diverse as decision support, automated deduction, reasoning, knowledge based systems, machine learning, computer vision, robotics, planning, databases, information retrieval, etc. The focus is on research in intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance. ISMIS provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications. Formal Methods for Intelligent Systems -------------------------------------- Traditionally, Formal Methods have been used as rigorous means to prove correctness and safety of software and hardware systems. They are rooted in logic and reasoning, and aim to provide guarantees that the system is behaving correctly, which is necessary in safety-critical contexts. Such guarantees can be provided automatically for conventional software/hardware systems using verification technologies such as model checking or theorem proving. However, in several (critical) application domains (e.g. planning and scheduling, machine learning, autonomous controllers synthesis, business processes) the underpinning reasoning techniques do not offer the needed guarantees, and reasoning capabilities necessary to justify safety of the application. The scope of this special session is intended to represent research results and discussions about the application and/or combination of Formal Methods (model checking, theorem proving, mathematical reasoning ...) to solve problems in different areas such as Planning and Scheduling, Machine Learning, Decision Support Systems, Robotics, Autonomy, Business Processes. The session addresses issues involving solutions to problems that will benefit from the adoption of Formal Methods. Examples are for instance guarantee robustness of a plan, or robustness of a (deep) neural, robustness/safety of a decision support system or of a robotic controller or of a business process. Topics. -------------------------------------- This special session aims at bringing together academic and industrial leaders who will present and discuss the results that combine Formal Methods to solve problems in different areas related to Intelligent Systems. The topics include, but not limited to: * Intelligent Information Systems * Autonomic and Evolutionary Computation * Logic for Artificial Intelligence * Knowledge Integration and Aggregation * Intelligent Agent Technology * Intelligent Data Processing and Analytics Paper Submission. -------------------------------------- Authors are invited to submit their manuscripts (maximum 10 pages) electronically in Springer's LNCS/LNAI style. For detailed instructions see the conference homepage (http://cyprusconferences.org/ismis2018/); any necessary information concerning typesetting can be obtained directly from Springer's webpage. All submissions will be subject to review by the ISMIS 2018 program committee in consultation with the special session organizers. Publication. -------------------------------------- The accepted papers will be published in ISMIS 2018 proceedings in Springer's LNAI series. Important Dates. -------------------------------------- * Paper submission: May 10, 2018 * Notification of accept/reject: July 10, 2018 * Camera-Ready: July 31, 2018 * Author Registration Deadline: July 31, 2018 Special Session Chairs. -------------------------------------- Marco Roveri Alberto Griggio Fondazione Bruno Kessler Fondazione Bruno Kessler Trento, Italy, Trento, Italy, roveri at fbk.eu griggio at fbk.eu -------------------------------------- ISMIS 2018: http://cyprusconferences.org/ismis2018/ From bucchiarone at fbk.eu Wed Mar 28 08:57:55 2018 From: bucchiarone at fbk.eu (Antonio Bucchiarone) Date: Wed, 28 Mar 2018 08:57:55 +0200 Subject: Microservices: Science and Engineering - Workshop CFP @ STAF 2018 Message-ID: MSE at STAF 2018 ======================================================================= CALL FOR PAPERS 3rd International Workshop on Microservices: Science and Engineering - MSE 2018 June 25, 2018 ENSEEIHT – IRIT, Toulouse Cedex - France http://mse-staf18.fbk.eu/ ======================================================================= AIMS AND MOTIVATION This workshop aims at bringing together contributions by scientists and practitioners to shed light on the development of scientific concepts, technologies, engineering techniques and tools for a service-based society. In particular, the focus is on Microservices, i.e., the use of services beyond the traditional cross-organizational B2B approach and the implementation of the model inside of applications, scaling in the small the concepts previously seen in the large. In Microservices, each component of a software is a service with the related issues of scalability and distribution of responsibility. Topics of interest include (but not limited to): - Design and implementation of Service-oriented Architectures and Microservices - Software engineering techniques for Microservices - Requirements Engineering for Microservices - Model-Driven Engineering for Microservices - Security in Microservices - Formal models and analyses of Microservice systems - Validation and Verification techniques for Microservices - Coordination models for Microservices - Empirical studies on services and Microservices - Programming languages for Microservices - Static analysis of Microservices - Testing of Microservice systems - Migration to Microservices - Adaptation and Evolution of Microservices SCOPE This workshop constitutes a forum for scientists and engineers in academia and industry to present and discuss their latest ongoing research as well as radical new research directions that represent challenging innovations, which can advance the status quo and the understanding in the Microservices area and its applications, in particular in the IoT and IoS where the scaling in the small approach is of major importance. We believe that STAF attendees might be interested in attending this workshop because of the relevance of its themes and goals to the Software Engineering (SE) and Formal Methods (FM). Also, industry partners and mobile developers are particularly welcome, thanks to their more practical approach, hopefully bringing some real scenario examples. IMPORTANT DATES Abstract submission: April 16, 2018 Workshop paper submission: April 23, 2018 Workshop paper notification: May 25, 2018 Workshop: June 25, 2018 INTENDED PAPER FORMAT The workshop welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Contributions can be: * Regular papers (maximum 15 pages): In this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions in the application of FM and SE approaches for building future applications in the field of Microservices. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. * Short papers (maximum 8 pages): This category includes tool demonstrations, position papers, industrial experiences and case-studies, well-pondered and sufficiently documented visionary papers. Authors of papers reporting industrial experiences are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case-study papers should describe significant case-studies and the complete development should be made available for use by reviewers. Tool demonstration papers should explain enhancements made in comparison to previously published work. Authors of demonstration papers should make their tool available for use by reviewers. SUBMISSION INSTRUCTIONS and REVIEW CRITERIA We seek for both regular and short papers. Papers will be submitted as PDF files, using the SPRINGER LNCS proceedings format (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0), with a page limit of 15 pages. Short paper should be limited to 8 pages. Accepted papers of the MSE workshop will be published in a LNCS post-proceedings edited by the STAF Workshop co-chairs. You can submit the paper through EasyChair using this link: https://easychair.org/conferences/?conf=mse20180 WORKSHOP ORGANIZERS Antonio Bucchiarone (Fondazione Bruno Kessler, Trento, Italy) – bucchiarone at fbk.eu Sophie Ebersold (IRIT, Université de Toulouse, Toulouse, France) Florian Galinier (IRIT, Université de Toulouse, Toulouse, France) PROGRAM COMMITTEE Luciano Baresi, Politecnico di Milano, Italy Carlo Bellettini, University of Milan, Italy Marcello M. Bersani, Politecnico di Milano, Italy Matteo Camilli, University of Milan, Italy Martina De Sanctis, Fondazione Bruno Kessler, Trento, Italy Nicola Dragoni, Technical University of Denmark and Örebro University, Sweden Schahram Dustdar, TU Wien, Austria Madalina Erascu, West University of Timisoara, Romania Luca Ferrucci, ISTI-CNR, Italy Martin Garriga, Universidad Nacional del Comahue, Argentina Silvio Ghilardi, University of Milan, Italy Holger Giese, HPI, Germany Md. Ariful Islam, Carnegie Mellon University, Pennsylvania, USA Cruz-Filipe Luis University of Southern Denmark, Denmark Manuel Mazzara, Innopolis University, Russia Marina Mongiello, Politecnico di Bari, Italy Fabrizio Montesi, University of Southern Denmark, Denmark Sébastien Mosser, University of Nice, France Cesare Pautasso, University of Lugano, Switzerland Alfonso Pierantonio, University of L’Aquila, Italy Larisa Safina, Innopolis University, Russia Michael Sheng, Macquarie University, Sydney, Australia. Angelo Spognardi, Technical University of Denmark, Denmark Sung-Shik T. Q. Jongmans Open University of the Netherlands, The Netherlands Marisol Garcia-Valls, Universidad Carlos III de Madrid, Spain Manuel Wimmer, TU Wien, Austria -- -- Le informazioni contenute nella presente comunicazione sono di natura privata e come tali sono da considerarsi riservate ed indirizzate esclusivamente ai destinatari indicati e per le finalità strettamente legate al relativo contenuto. Se avete ricevuto questo messaggio per errore, vi preghiamo di eliminarlo e di inviare una comunicazione all’indirizzo e-mail del mittente. -- The information transmitted is intended only for the person or entity to which it is addressed and may contain confidential and/or privileged material. If you received this in error, please contact the sender and delete the material. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From xbarnat at fi.muni.cz Wed Mar 28 10:23:56 2018 From: xbarnat at fi.muni.cz (=?UTF-8?Q?Ji=C5=99=C3=AD_Barnat?=) Date: Wed, 28 Mar 2018 10:23:56 +0200 Subject: FMICS 2018 -- Call for Papers Message-ID: FMICS 2018 -- 23rd International Conference on Formal Methods for Industrial Critical Systems Scope ----- The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Topics of interest include (but are not limited to): ---------------------------------------------------- * Design, specification, code generation, and testing based on formal methods. * Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, real-time systems and embedded systems. * Automated verification (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) of critical systems. * Verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). * Tools for the development of formal design descriptions. * Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. * Impact of the adoption of formal methods on the development process and associated costs. * Application of formal methods in standardization and industrial forums. * Formal methods for mobile and autonomous systems. Submission and Publication -------------------------- Papers must describe authors’ original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly demonstrate relevance to industrial application. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development. Papers should not exceed 15 pages formatted according to the LNCS style (Springer). All submissions will be reviewed by the Program Committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Papers must be written in English and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: https://easychair.org/conferences/?conf=fmics2018 The conference proceedings will be published by Springer in their LNCS series, while authors of the best full papers will be invited to submit extended versions to a special issue of the International Journal on Software Tools for Technology Transfer. Important Dates --------------- * Abstract submission: 20 April 2018 * Paper submission: 27 April 2018 * Notifications: 14 June 2018 * Camera ready: 1 July 2018 * Conference: 03-04 September 2018 From riccardo.zese at unife.it Wed Mar 28 10:53:37 2018 From: riccardo.zese at unife.it (Riccardo Zese) Date: Wed, 28 Mar 2018 10:53:37 +0200 Subject: [CfP] Deadline approaching! PLP 2017- IJAR Special issue Message-ID: Apologize for multiple posting. ---------------------------------------------------------------------- CALL FOR PAPERS International Journal of Approximate Reasoning http://www.journals.elsevier.com/international-journal-of-approximate-reasoning Special issue on the 4th Probabilistic Logic Programming workshop (PLP, http://stoics.org.uk/plp/plp2017). Deadline: April 7, 2018 (deadline extended) ---------------------------------------------------------------------- The 4th PLP workshop was held on the 7th of September 2017, in Orlèans, France, as part of the 27th International Conference on Inductive Logic Programming. We welcome submissions of (improved/extended versions of) papers that were presented at the workshop in Orlèans, as well as new submissions on all topics of the workshop. Topics include but are not limited to: -------------------------------------- * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * answer set programming * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software Important Dates: -------------- Submission of manuscripts: before April 7, 2018 (Papers will be sent to reviewers as soon as we receive them). Publication of the special issue: January 2019 (tentative). Guest Editors: -------------- Christian Theil Have (Copenhagen University, Denmark, c.have at sund.ku.dk) Riccardo Zese (University of Ferrara, Italy, riccardo.zese at unife.it) Submissions: ------------ All submitted papers under this call will undergo the standard review process of the journal and they must be prepared according to the "Guide for Authors" available from the online submission page of the IJAR at https://www.evise.com/profile/api/navigate/IJA Please select the Special Issue Prob. Log. Prog. 2017 at the "Article Type" step in the submission process. -- Riccardo Zese, PhD DE - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 From marina.mongiello at poliba.it Wed Mar 28 13:02:35 2018 From: marina.mongiello at poliba.it (Marina Mongiello) Date: Wed, 28 Mar 2018 13:02:35 +0200 Subject: Deadline Extension: EnWoT 2018@ICWE (with Journal Special Issues) Message-ID: <008b01d3c684$52c03fb0$f840bf10$@poliba.it> *** We apologize if you receive multiple copies *** CALL FOR PAPERS --** EnWoT 2018 **--**Second International Workshop on Engineering the Web of Things** http://sisinflab.poliba.it/EnWoT/2018/ 05 June, 2018, Càceres, Spain Held in conjunction with 18th International Conference on Web Engineering (ICWE 2018) http://icwe2018.webengineering.org/ ----------------------------------------------------------------------------- IMPORTANT DATES: Submission: 15 April 2018 (Extended) Notification: 28 April 2018 Camera-ready: 15 May 2018 Workshop date: 05 June 2018 Camera-ready (post proceedings): 05 July 2018 ------------------------------------------------------------------------------- The goal of this workshop is to bring the attention of researchers to the opportunities and challenges involved in engineering Web of Things. In the new era of computing, the development is evolving from traditional client-server architectures to decentralized multi-device architectures in which people use various types of Web-enabled client devices, and data is stored simultaneously in numerous devices and cloud-based services. This new era will dramatically raise the expectations for device interoperability, implying significant changes for software architecture as well. EnWoT 2018 aims at attracting contributions related to the subject at different levels, from modelling and design to engineering. Foundational contributions, as well as concrete application experiments are sought. The workshop welcomes submissions describing unpublished research, as well as deployment experiences on various topics related to engineering web of things as outlined below. TOPICS: Topics of interested include but are not limited to: * Software architectural styles and patterns for connecting objects to the World Wide Web * Engineering smart objects on the web * Real-time communication with physical objects * Web-based discovery, search, composition, and physical mashups * Self-adaptive and self-management approaches * Semantic web and Linked open data * Web of Thing and Internet of Everything * Challenges for Big Data and IoT applications * Architectures and Framework for smart devices connection * Liquid User Experience * Internet of People * Liquid Software * Liquid Web of Things * Security, access control, and sharing of physical things on the Web * Cloud platforms and services for the Web of Things * Application of Web tools and techniques in the physical world (REST, HTML5, social networks) SUBMISSION & SPECIAL ISSUES: Workshop papers are 12 pages long and peer-reviewed; post-workshop proceedings to appear in Springer's LNCS series. Submission of papers should be submitted as a single PDF file in the EasyChair system [https://easychair.org/conferences/?conf=enwot2018] Submissions will be judged on novelty, relevance, clarity of presentation, and correctness. Authors of accepted submissions are required to present their work. Selected regural papers may be invited to submit the extended version to a special issue on a "Special Issue on Smart Technologies and Architectures enabling the Internet of Things" in the Future Generation Computer Systems Journal. Moreover, selected demo papers may be invited to extended version to a "Special Issue of Wiley's Internet technology Letters". Expanded conference papers must include at least 30% new scientific material. ----------------------------------------------------------------------- ORGANIZING COMMITTEE __Steering Committee: Marina Mongiello, Polytechnic University of Bari, Italy Tommaso Di Noia, Polytechnic University of Bari, Italy Eugenio Di Sciascio, Polytechnic University of Bari, Italy __ Workshop chair: Marina Mongiello, Polytechnic University of Bari, Italy Niko Mäkitalo, University of Helsinki, Finland Francesco Nocera, Polytechnic University of Bari, Italy Diego Perez-Palacin, Linnaeus University, Sweden __ Publicity Chair: Vito Bellini, Polytechnic University of Bari, Italy Luca Riccardi, Polytechnic University of Bari, Italy __ Program Committee: Jesper Andersoon, Linnaeus University, Sweden Marco Autili, University of L'Aquila, Italy Simona Bernardi, Universidad de Zaragoza, Spain Stefano Bistarelli, University of Perugia, Italy Antonio Bucchiarone, Fondazione Bruno Kessler, Italy Radu Calinescu, University of York, UK Rafael Capilla, Universidad Rey Juan Carlos, Spain Giuseppe Desolda, University of Bari, Italy Ivano Malavolta, Vrije Universiteit Amsterdam, The Netherlands José Merseguer, Universidad de Zaragoza, Spain Raffaela Mirandola, Politecnico di Milano, Italy Henry Muccini, University of L'Aquila, Italy Elisa Nakagawa, University of São Paulo, Brazil Liliana Pasquale, Lero - The Irish Software Engineering Research Centre, Ireland Luigi Patrono, Università del Salento, Italy Patrizia Scandurra, University of Bergamo, Italy Romina Spalazzese, Malmö University, Sweden Ronny Siebes, Vrije Universiteit Amsterdam, The Netherlands Elisa Nakagawa, University of São Paulo, Brazil Maria Spichkova, RMIT University, Australia Sungwon Kang, Korea Advanced Institute of Science and Technology, Republic of Korea Eva Kühn, Vienna University of Technology, Austria Uwe Zdun, University of Vienna, Austria [https://ipmcdn.avast.com/images/icons/icon-envelope-tick-round-orange-animated-no-repeat-v1.gif] Mail priva di virus. www.avast.com [5x1000] -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ph_r at gmx.net Wed Mar 28 16:34:25 2018 From: ph_r at gmx.net (=?UTF-8?Q?Philipp_R=c3=bcmmer?=) Date: Wed, 28 Mar 2018 16:34:25 +0200 Subject: PhD/Post-doc Positions on Program Analysis and Code Optimisation using Machine Learning at Uppsala University Message-ID: <2051a0b8-d0fb-dff8-bc4e-2b5e710dad6c@gmx.net> [Apologies for multiple copies. Please forward to interested students.] The department of Information Technology, Uppsala University, announces * 1 Post-doctoral position (2 years, including at most 20% teaching) * 1 fully-paid PhD position (5 years, including 20% teaching) on Program Analysis and Code Optimisation using Machine Learning. The subject of the post-doc position is to develop more powerful techniques for code optimization or code analysis, by applying machine learning techniques (e.g., deep learning) in new ways to extract features from program code. The project will use the result of learning in several possible ways, such as code optimisation that cannot be achieved by applying standard compile-time optimizations, or the automatic verification of correctness properties. The goal of the PhD position is to find new ways of using machine learning (in particular, methods based on deep neural networks) to improve, extend or replace classical program analyses. Two focus areas are model checking (algorithms that can automatically prove the absence of bugs in programs) and defect prediction (methods that can predict the likelihood of defects in given code segments). The PhD work will be carried out in the context of a collaboration between Uppsala University and Microsoft Research Cambridge. The position is partly funded through a Microsoft Research PhD scholarship, and includes benefits such as summer schools organised by Microsoft Research Cambridge. Application deadline: April 30 2018 For more details and instructions on how to apply see Post-doc: http://uu.se/en/about-uu/join-us/details/?positionId=196265 PhD: http://uu.se/en/about-uu/join-us/details/?positionId=198134 For more information on what support you can expect see http://www.uu.se/en/about-uu/join-us/plan-your-stay/ -- Philipp Rümmer, PhD, Docent (Associate Professor) Department of Information Technology, Uppsala University web: http://www.philipp.ruemmer.org Consider encrypting emails - http://www.philipp.ruemmer.org/gpg-keys.asc -- Philipp Rümmer, PhD Assistant Professor Department of Information Technology, Uppsala University web: http://www.philipp.ruemmer.org Consider encrypting emails - http://www.philipp.ruemmer.org/gpg-keys.asc From schon at uni-koblenz.de Thu Mar 29 16:12:56 2018 From: schon at uni-koblenz.de (Claudia Schon) Date: Thu, 29 Mar 2018 16:12:56 +0200 Subject: CFP: Fourth Workshop on Bridging the Gap between Human and Automated Reasoning Message-ID: <280CE6DD-B569-489F-9E6B-4202713C4E40@uni-koblenz.de> CALL FOR PAPERS [Apologies if you receive multiple copies of this announcement] [Please kindly help forward it to potentially interested attendees] Fourth Workshop on Bridging the Gap between Human and Automated Reasoning a FAIM workshop (supported by IFIP TC12) Stockholm, Sweden Reasoning is a core ability in human cognition. Its power lies in the ability to theorize about the environment, to make implicit knowledge explicit, to generalize given knowledge and to gain new insights. There are a lot of findings in cognitive science research which are based on experimental data about reasoning tasks, among others models for the Wason selection task or the suppression task discussed by Byrne and others. This research is supported also by brain researchers, who aim at localizing reasoning processes within the brain. Early work often used propositional logic as a normative framework. Any deviation from it has been considered an error. Central results like findings from the Wason selection task or the suppression task inspired a shift from propositional logic and the assumption of monotonicity in human reasoning towards other reasoning approaches. This includes but is not limited to models using probabilistic approaches, mental models, or non-monotonic logics. Considering cognitive theories for syllogistic reasoning show that none of the existing theories is close to the existing data. But some formally inspired cognitive complexity measures can predict human reasoning difficulty for instance in spatial relational reasoning. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. And indeed there is tremendous success during the last decades. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human reasoning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research for common sense reasoning and in the meantime there even exist benchmarks for commonsense reasoning, like the Winograd and the COPA challenge. Despite a common research interest - reasoning - there are still several milestones necessary to foster a better interdisciplinary research. First, to develop a better understanding of methods, techniques, and approaches applied in both research fields. Second, to have a synopsis of the relevant state-of-the-art in both research directions. Third, to combine methods and techniques from both fields and find synergies. E.g., techniques and methods from computational logic have never been directly applied to model adequately human reasoning. They have always been adapted and changed. Fourth, we need more and better experimental data that can be used as a benchmark system. Fifth, cognitive theories can benefit from a computational modeling. Hence, both fields - human and automated reasoning - can both contribute to these milestones and are in fact a conditio sine qua non. Achievements in both fields can inform the others. Deviations between fields can inspire to seek a new and profound understanding of the nature of reasoning. This is the fourth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops. Topics of interest include, but are not limited to the following: - benchmark problems relevant in both fields - approaches to tackle Benchmark problems like the Winograd Schema Challenge or the COPA challenge - limits and differences between automated and human reasoning - psychology of deduction and common sense reasoning - logics modeling human reasoning - non-monotonic, defeasible, and classical reasoning The workshop is part of the FAIM workshop program located at the Federated Artificial Intelligence Meeting (FAIM) which includes the major conferences IJCAI, ECAI, ICML, AAMAS, ICCBR and SoCS. The Bridging workshop is supported by IFIP TC12. IMPORTANT DATES Full Paper submission deadline: 25th of April, 2018 Notification: 3rd of June, 2018 Final submission: 17th of June, 2018 Workshop: July 2018 SUBMISSION AND CONTRIBUTION FORMAT Papers, including the description of work in progress are welcome and should be formatted according to IJCAI guidelines. The length should not exceed 6 pages excluding references. All papers must be submitted in PDF. Formatting instructions and the style files can be obtained http://www.ijcai.org/authors_kit. The EasyChair submission site is available at: https://easychair.org/conferences/?conf=bridging2018 PROCEEDINGS Proceedings of the workshop will be published as CEUR workshop proceedings. ORGANIZERS Ulrich Furbach, University of Koblenz Sageet Khemlani, Naval Research Laboratory, Washington DC Oliver Obst, Western Sydney University Marco Ragni, University of Freiburg Claudia Schon, University of Koblenz PROGRAM COMMITTEE - Emmanuelle Diez Saldanha, University of Dresden - Ulrich Furbach, University of Koblenz - Steffen Hoelldobler, University of Dresden - Antonis C. Kakas, University Cyprus, Cyprus - Gabriele Kern-Isberner, TU Dortmund - Sangeet Khemlani, Naval Research Lab, USA - Robert A. Kowalski Imperial College London, GB - Oliver Obst, Western Sydney University - Luis Moniz Pereira, Universidade Nova Lisboa, Portugal - Marco Ragni, University of Freiburg - Claudia Schon, University of Koblenz - Frieder Stolzenburg, Harz University of Applied Sciences - to be completed Contact: Claudia Schon, schon at uni-koblenz.de From irdta at irdta.eu Thu Mar 29 16:51:28 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 29 Mar 2018 16:51:28 +0200 Subject: HighPer 2018: early registration March 30 Message-ID: <545102060a010b0500545007000a5a0151520c030605535506525c500753005555540356515c0401520500010f0b57@grlmc_ip-zone_com-6> HighPer 2018: early registration March 30*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************************************** INTERNATIONAL SPRING SCHOOL ON HIGH PERFORMANCE COMPUTING HighPer 2018 San Sebastián / Donostia, Spain April 23-27, 2018 Organized by: Materials Physics Center (CSIC-UPV/EHU), Donostia International Physics Center (DIPC), and Rovira i Virgili University http://grammars.grlmc.com/HighPer2018/ ***************************************************************************** --- Early registration deadline: March 30, 2018 --- ***************************************************************************** SCOPE: HighPer 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of high performance computing, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most subareas of high performance computing will be displayed, from foundations, infrastructure and management to applications. Major challenges in the field will be identified through 1 keynote lecture, 19 five-hour and fifteen-minute courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles. ADDRESSED TO: Master students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, HighPer 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. STRUCTURE: 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. VENUE: HighPer 2018 will take place in San Sebastián, a famous touristic coastal city in the Basque Country which was European Capital of Culture 2016. The venue will be: Centro Ignacio María Barriola Universidad del País Vasco / Euskal Herriko Unibertsitatea Campus de Gipuzkoa Plaza Elhuyar, 1 20018 San Sebastián / Donostia Spain KEYNOTE SPEAKER: Tony Hey (Rutherford Appleton Laboratory, UK Science and Technology Facilities Council), Big Scientific Data and Data Science PROFESSORS AND COURSES: Srinivas Aluru (Georgia Institute of Technology), [intermediate] High Performance Computational Biology David A. Bader (Georgia Institute of Technology), [introductory/intermediate] Massive-scale Graph Analytics Ümit V. Çatalyürek (Georgia Institute of Technology), [introductory/intermediate] HPC Graph Analytics Alan Edelman (Massachusetts Institute of Technology), [introductory] Julia, with an Introduction to Performance and Machine Learning Richard Fujimoto (Georgia Institute of Technology), [intermediate] Parallel Discrete Event Simulation Timothy C. Germann (Los Alamos National Laboratory), [intermediate] HPC Frontiers in Computational Materials Science and Engineering Lennart Johnsson (University of Houston), [introductory/intermediate] Energy Efficient Computing Alfio Lazzaro (University of Zurich), [introductory/intermediate] Code Performance Optimizations Andrew Lumsdaine (Pacific Northwest National Laboratory), [intermediate/advanced] Modern C++ for High-performance Computing Madhav Marathe (Virginia Polytechnic Institute and State University), [introductory/advanced] Massively Interacting Bio-social Systems: Pervasive, Personalized and Precision Analytics Frank Mueller (North Carolina State University), [introductory/intermediate] How to Parallelize Your Code: Taking Stencils from OpenMP to MPI, CUDA and TensorFlow Adrian Sandu (Virginia Polytechnic Institute and State University), [introductory/intermediate] Revealing Parallelism: How to Decompose your Problem into Concurrent Tasks Vivek Sarkar (Georgia Institute of Technology), [introductory] Fundamentals of Parallel, Concurrent, and Distributed Programming Marc Snir (University of Illinois at Urbana-Champaign), [introductory] Programming Models and Run-times for High-Performance Computing Josep Torrellas (University of Illinois at Urbana-Champaign), [intermediate/advanced] Parallel Computer Architecture Concepts Todd J. Treangen (University of Maryland, College Park), [intermediate] Metagenomic Assembly and Validation Elena Vataga (University of Southampton), [introductory] Hands-on Introduction to HPC for Life Scientists Uzi Vishkin (University of Maryland, College Park), [introductory/intermediate] Parallel Algorithmic Thinking and How It Has Been Affecting Architecture David Walker (Cardiff University), [intermediate] Parallel Programming with OpenMP, MPI, and CUDA OPEN SESSION An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by April 16, 2018. INDUSTRIAL SESSION: A session will be devoted to 10-minute demonstrations of practical applications of high performance computing in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018. EMPLOYER SESSION: Firms searching for personnel well skilled in high performance computing will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018. ORGANIZING COMMITTEE: Íñigo Aldazabal Mensa (co-chair) Carlos Martín-Vide (co-chair) Manuel J. Parra-Royón Txomin Romero Asturiano (co-chair) David Silva REGISTRATION: It has to be done at http://grammars.grlmc.com/HighPer2018/registration.php  The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For logistic reasons, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event. FEES: Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions for accommodation are available on the webpage. CERTIFICATE: Participants will be delivered a certificate of attendance indicating the number of hours of lectures. QUESTIONS AND FURTHER INFORMATION: david.silva409 (at) yahoo.com ACKNOWLEDGMENTS: Centro de Física de Materiales (CSIC-UPV/EHU) Donostia International Physics Center (DIPC) Universitat Rovira i Virgili   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From frederic.mesnard at gmail.com Fri Mar 30 09:58:01 2018 From: frederic.mesnard at gmail.com (Fred Mesnard) Date: Fri, 30 Mar 2018 11:58:01 +0400 Subject: LOPSTR 2018: Second Final Call for Papers Message-ID: <9645A9BF-1DED-4080-9D05-BC46A467557B@gmail.com> [Apologies for multiple copies] ====================================================================== LOPSTR 2018: Second Final Call for Papers ====================================================================== 28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html Frankfurt, Germany, September 4-6, 2018 (co-located with PPDP 2018 and WFLP 2018) ######### New: submission deadline extended to April 15, 2018 The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester, Edinburgh, and Namur. LOPSTR 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and WFLP 2018 (International Workshop on Functional and Logic Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chairs in case of questions). Important Dates Abstract submission: April 8, 2018 Paper/Extended abstract submission: April 15, 2018 Notification: June 1, 2018 Camera-ready (for electronic pre-proceedings): June 17, 2018 Symposium: September 4-6, 2018 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2018. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Invited Talks LOPSTR/PPDP: Philippa Gardner, Imperial College - formal methods for JavaScript LOPSTR/PPDP: Jorge Navas, SRI International - SeaHorn and constrained horn clauses for verification LOPSTR: Laure Gonnord, University of Lyon - experiences in designing scalable static analyses PPDP: Chung-Chieh Shan, Indiana University - probabilistic programming Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany From amal.tawakuli at uni.lu Fri Mar 30 19:46:02 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Fri, 30 Mar 2018 17:46:02 +0000 Subject: Last Call For Papers-deadlines in less than a month Message-ID: Good day, My apologies if you have received this more than once. I would like to draw your attention to the following LAST CFP. I kindly request for the CFP to be included in your mailing list, newsletter or news section. Many Thanks! ================================================================== RuleML+RR 2018 LAST CALL FOR PAPERS RuleML+RR 2018: International Joint Conference on Rules and Reasoning http://2018.ruleml-rr.org Part of Luxembourg Logic for AI Summit (LuxLogAI, https://luxlogai.uni.lu) ================================================================== == SUMMARY == High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited. Important dates: - Abstract: 20 Apr 2018 - Full paper: 27 Apr 2018 == THE CONFERENCE == RuleML+RR 2018, the 2nd International Joint Conference on Rules and Reasoning, is the leading event in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry. RuleML+RR 2018 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. RuleML+RR 2018 will take place in Luxembourg, at the University Conference Centre, on September 18-21 2018. The conference will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018). == TOPICS == RuleML+RR welcomes original research from all areas of Rules and Reasoning. Topics of particular interest include: * Rule-based languages for intelligent information access and for the semantic web * Vocabularies, ontologies, and business rules * Ontology-based data access * Data management, and data interoperability for web data * Distributed agent-based systems for the web * Scalability and expressive power of logics for the semantic web * Reasoning with incomplete, inconsistent and uncertain data * Non-monotonic, common-sense, and closed-world reasoning for web data * Non-classical logics and the Web * Constraint programming * Logic programming * Production & business rules systems * Streaming data and complex event processing * Rules for machine learning, knowledge extraction and information retrieval * Rule-based approaches to natural language processing * Rule discovery, extraction and transformation * Rules and ontology learning * Deep Learning for rules and ontologies * Neural Networks and logic rules * Neural Networks and ontologies * Rule-based approaches to agents * Higher-order and modal rules * Rules for knowledge graphs * Pragmatic web reasoning and distributed rule inference / rule execution * Big data reasoning with rules * Rule markup languages and rule interchange formats * Rule-based policies, reputation, and trust * Scalability and expressive power of logics for rules * System descriptions, applications and experiences * Rules and human language technology * Rules in online market research and online marketing * Applications of rule technologies in healthcare and life sciences * Applications of rule technologies in law, regulation and finance * Industrial applications of rules * Rules and social media * Rules of ethics, laws, policies, and regulations Particularly encouraged are submissions that combine one or several of the above topics with the overall focus theme of the LuxLogAI Summit: Methods and Tools for Responsible AI == SUBMISSIONS == We accept the following submission formats for papers: * Full papers (up to 15 pages in LNCS style) * Technical Communications (up to 8 pages in LNCS style) Submitted full papers should present original and significant research results. They must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Technical communications are intended for promising but possibly preliminary work, position papers, system descriptions, and applications descriptions (which may be accompanied by a demo). Submissions: via EasyChair (https://easychair.org/conferences/?conf=rulemlrr2018) The RuleML+RR 2018 best papers will be invited for rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). In addition to regular submissions, RuleML+RR 2018 will host an Industry Track, a Doctoral Consortium and the 12th International Rule Challenge. == PUBLICATION == The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions must be prepared in Springer's LaTeX style LNCS (http://www.springer.com/comp/lncs/authors.html). == IMPORTANT DATES == Title and Abstract submission: 20 Apr 2018 Full papers submission: 27 Apr 2018 Notification of acceptance: 1 June 2018 Camera-ready submission: 15 June 2018 Conference: 18-21 Sept 2018 For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies. == ORGANISATION == Summit Chair (LuxLogAI): Leon van der Torre (U Luxembourg) General Chair (RuleML+RR): Xavier Parent (U Luxembourg) Program Chairs: Christoph Benzmüller (U Luxembourg & FU Berlin) Francesco Ricca (U Calabria) Proceedings Chair: Dumitru Roman (SINTEF/U Oslo) Industry Track Chair: Silvie Spreeuwenberg (LibRT Amsterdam) Doctoral Consortium Chair Kia Teymouria (Boston University, Metropolitan College) Int’l Rule Challenge Chairs: Giovanni De Gasperis (U L’Aquila) Adrian Giurca (BTU Cottbus- Senftenberg) Reasoning Web (RW) Summer School Claudia d’Amato (U Bari) Martin Theobald (U Luxembourg) Publicity Chairs: Frank Olken (Frank Olken Consulting) Amal Tawakuli (U Luxembourg) Xing Wang (Liaoning TU) Financial Chair Martin Theobald (U Luxembourg) Poster Chair Alex Steen (FU Berlin) == PROGRAM COMMITTEE == Full list available at: http://2018.ruleml-rr.org ===================================================== Schéi Gréiss | Mit Freundlichen Grüßen | Meilleures Salutations | With Kind Regards Amal Tawakuli Doctoral Candidate Big Data and Data Science Research Group - ILIAS Lab - CSC Research Unit UNIVERSITÉ DU LUXEMBOURG Campus Belval 6, avenue de la Fonte L-4364 Esch-sur-Alzette/Belval T +352 46 66 44 9811 amal.tawakuli at uni.lu www.uni.lu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From schwindn at gmail.com Sat Mar 31 21:39:43 2018 From: schwindn at gmail.com (Nicolas Schwind) Date: Sat, 31 Mar 2018 21:39:43 +0200 Subject: Call for Papers - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018 Message-ID: Conference name: MIWAI 2018, the 12th Multi-disciplinary International Conference on Artificial Intelligence Venue: Hanoi, Vietnam Dates: November 18-20th, 2018 Website: https://khamreang.msu.ac.th/miwai18/index.html The 12th Multi-disciplinary International Conference on Artificial Intelligence (MIWAI 2018) will be held in Hanoi, Vietnam, 18-20th November 2018. The theme for this year's event is "Intelligent World". The main objective of the conference is to present the latest research and results of scientists related to AI topics. MIWAI 2018 provides opportunities for the delegates to exchange new ideas and establish future collaborations. This year the conference is organized by Mahasarakham University, with association of Vietnam Academy of Science and Technology and University of Science and Technology of Hanoi, Vietnam. MIWAI aims to promote AI research in both theoretical and applied research addressing real-world applications. We encourage researchers to submit their unpublished papers in the following areas, but not limited to: - Theoretical Foundation: Cognitive Science; Computational Philosophy; Game Theory; Graphical Models; Knowledge Representation and Reasoning; Logic; Fuzzy Logic; Multi-agent Systems; Neurosciences; Probabilistic Reasoning; Qualitative Reasoning; Uncertainty. - Cognitive Computing: Affective Computing; Computer Vision; Natural Language Processing; Self-aware Systems; Speech Recognition; Social Cognition - Computational Intelligence: Artificial Intelligence; Deep Learning; Evolutionary Computing; Machine Learning; Pattern Recognition; Planning and Scheduling; Social Computing; Swarm Intelligence - AI Applications: Ambient Intelligence; Big Data Analysis; Biometrics; Bioinformatics; Brain Machine Interface; Chatbots; Creative Computing; Decision Support Systems; E-commerce; Energy Management; Health Assessment; Industrial Applications of AI; Intelligent Information Systems; Knowledge Management; Telecommunications and Web Services; Security and Privacy Management; Surveillance; Spam Filtering; Software Engineering; Social Networking Security; Semantic Web; Robotics; Recommender Systems; Sport and Rehabilitation; Virtual Reality & Augmented Reality. ------------------------------ Submission Guidelines: ------------------------------ MIWAI 2018 accepts both research and application papers (8-14 pages, oral presentation). All submissions will go through a double-blinded peer-review process. Paper selection will be on the basis of technical quality, relevance, significance, and clarity. Each paper should be written using the Springer-Verlag LNCS style. The authors' names and institutions should not appear in the paper. Springer-Verlag author instructions are available at: http://www.springer.com/lncs ------------------------------ Important Dates: ------------------------------ Conference dates: November 18-20, 2018 Submission deadline: July 1, 2018 (11:59PM UTC-10) Notification release: August 5, 2018 Camera-ready and early bird registration due: August 20, 2018. ------------------------------ Publication: ------------------------------ Our previous proceedings were published by Springer in LNAI, a topical subseries of LNCS focusing on artificial intelligence (Indexed in the ISI Conference Proceedings Citation Index, Scopus, EI Engineering Index, Google Scholar, Springerlink, DBLP, etc.). ------------------------------ CFP for Special Session: ------------------------------ The organizing committee can accept proposals for Special Session from authors that want to contribute to MIWAI2018. Please submit your special session proposals if you wish to solicit participants by email to the Program co-chairs at . Proposals should include: - Special Session title - A short description (2-3 lines) & covered topics - Session organizer(s) and chair(s) - List of speakers (when available) The deadline for special session proposals is on April 30, 2018 (11:59PM UTC-10). ------------------------------ Committee: ------------------------------ - Honorary Advisor: Sujin Butdisuwan, Mahasarakham University, Thailand - Steering Committee: Arun Agarwal, University of Hyderabad, India Rajkumar Buyya, University of Melbourne, Australia Patrick Doherty, University of Linkoping, Sweden Rina Dechter, University of California, Irive, USA Leon Van Der Torre, University of Luxembourg, Luxembourg Peter Haddawy, Mahidol University, Thailand James F. Peters, University of Manitoba, Canada Jérôme Lang, University Paris-Dauphine, France Somnuk Phon-Amnuaisuk, UTB, Brunei C Raghavendra Rao, University of Hyderabad, India Srinivasan Ramani, IIIT Bangalore, India - Conveners: Richard Booth, Cardiff University, UK Chattrakul Sombattheera, Mahasarakham University, Thailand - General Co-Chair: Duc Dung Nguyen, Institute of Information Technology, Vietnam Academy of Science and Technology, Vietnam Rainer Malaka, University of Bremen, Germany - Program Co-Chair: Manasawee Kaenampornpan, Mahasarakham University, Thailand Nicolas Schwind, National Institute of Advanced Industrial Science and Technology, Japan - Organizing Co-Chair: Phatthanaphong Chomphuwiset, Mahasarakham University, Thailand Khachakrit Liemthaisong, Mahasarakham University, Thailand - Local Co-Chair: Quang Doan Nhat Luong Chi Mai - Publicity Co-Chair: Olarik Surinta, Mahasarakham University, Thailand Supakit Nootyaskool, King Mongkut's Institute of Technology, Thailand - Finance Co-Chair: Rapeeporn Chamchong, Mahasarakham University, Thailand - Webmaster: Chaya Hiruncharoenvate, Mahasarakham University, Thailand Panich Sudkhot, Mahasarakham University, Thailand ------------------------------ Contact: ------------------------------ All questions about submissions should be emailed to . -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: