From grlmc at grlmc.com Sun Apr 2 16:07:28 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 02 Apr 2017 16:07:28 +0200 Subject: SLSP 2017: 1st call for papers Message-ID: <545102060a010b01095352060e0b5a06035206530009035550500e08045006025d515601050b055003540303555051@grlmc_ip-zone_com-6> SLSP 2017: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   5th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2017   Le Mans, France   October 23-25, 2017   Organized by:   Computer Science Lab (LIUM) University of Le Mans   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/SLSP2017/   **********************************************************************************   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 2017, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2017 will take place in Le Mans, in the region Pays de la Loire, a city with well-preserved Gallo-Roman remnants. The venue will be:   Claude Chappe Informatics Institute University of Le Mans Avenue Laënnec 72085 Le Mans Cedex 9   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 2017 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE: (to be completed)   Robert Gaizauskas (University of Sheffield, UK) Keikichi Hirose (University of Tokyo, JP) Gareth Jones (Dublin City University, IE) Tomi Kinnunen (University of Eastern Finland, FI) Elizabeth D. Liddy (Syracuse University, US) Xunying Liu (Chinese University of Hong Kong, HK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Marie-Francine Moens (KU Leuven, BE) Preslav Nakov (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Holger Schwenk (Facebook, FR) Phil Woodland (University of Cambridge, UK)   ORGANIZING COMMITTEE:   Walid Aransa (Le Mans) Adrien Bardet (Le Mans) Abdessalam Bouchekif (Le Mans) Fethi Bougares (Le Mans) Nathalie Camelin (Le Mans) Yannick Estève (Le Mans, co-chair) Mercedes García Martínez (Le Mans) Sahar Ghannay (Le Mans) Anthony Larcher (Le Mans) Antoine Laurent (Le Mans) Carlos Martín-Vide (Tarragona, co-chair) Salima Mdhaffar (Le Mans) Manuel J. Parra Royón (Granada) Simon Petitrenaud (Le Mans) David Silva (London) Natalia Tomashenko (Le Mans) Kévin Vythelingum (Le Mans)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, graphics, etc.) 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=slsp2017   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 a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/SLSP2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 11, 2017 Notification of paper acceptance or rejection: July 11, 2017 Final version of the paper for the LNCS/LNAI proceedings: July 21, 2017 Early registration: July 21, 2017 Late registration: October 9, 2017 Submission to the journal special issue: January 25, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 at yahoo.com   POSTAL ADDRESS:   SLSP 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   Université du Maine Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Wiebe.Van-Der-Hoek at liverpool.ac.uk Mon Apr 3 15:45:04 2017 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van Der Hoek, Wiebe) Date: Mon, 3 Apr 2017 13:45:04 +0000 Subject: 3 Lecturer/Senior Lecturer positions in CS, Liverpool, UK Message-ID: <7ADA7A2E-450C-44CF-ABF4-D7B6FE1FC305@liverpool.ac.uk> 3 academic positions, Department of Computer Science, University of Liverpool. 2 x Lecturer (grade 8) and 1 x Senior Lecturer/Reader (grade 9) Salary range: £39,324 - £63,009 pa Closing date for applications: 05-May-2017 The School of Electrical Engineering, Electronics and Computer Science invites applications for three academic positions in the Department of Computer Science. Two of the positions are at Lecturer level (grade 8) and the third is at Senior Lecturer/Reader level (grade 9). The Department is renowned internationally for excellent research in the areas of Algorithms and Artificial Intelligence. Within these two areas the Department has nine, more specialised, research groups on topics directly related to or spanning Algorithms and Artificial Intelligence. For these posts, candidates will specifically have a track record in, or strong potential for, demonstrating the impact of their research. The three posts available sit within our core areas of AI and Algorithms and within these we seek candidates with research expertise in one or more of the following topics: - Machine learning, covering: deep learning; reinforcement learning, natural language processing; statistical learning and optimisation. - Human-robot interaction, specifically focussed on: verification; trustworthy robots; simulation. - AI and law, covering: knowledge representation and reasoning for the legal domain; information extraction from legal texts. We seek highly professional candidates who will be expected to contribute in a variety of ways to the research areas mentioned above. Consequently, candidates should have an excellent track record of (or high potential for) production of quality research outputs in the area of their expertise; a strong interest in and evidence of (or high potential for) securing research funding; ability to contribute to teaching provided by the Department and a willingness to contribute to strengthening the impact of the Department’s research. The Department is involved in a number of collaborations within and outside the University and as such is also keen to strengthen its base in interdisciplinary research. The School holds an Athena SWAN bronze award and is committed to promoting diversity and equality. Full details of the posts and the application form are at: https://tinyurl.com/mbt39cp ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of School of EEE&CS University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44) 7970247480 wiebe at liverpool.ac.uk From ijv at acm.org Mon Apr 3 18:04:47 2017 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Mon, 3 Apr 2017 18:04:47 +0200 Subject: Last call for papers: DARe at LPNMR'17 Message-ID: * Please accept our apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at LPNMR 2017 Date: 3 July 2017 Espoo, Finland *** Deadline: 10 April 2017 *** ============================== The Fourth International Workshop on "Defeasible and Ampliative Reasoning" (DARe) https://sites.google.com/view/dare-17 held at the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017) -- Latest News -- There will be a special issue of the International Journal of Approximate Reasoning (IJAR) containing selected extended versions of papers that have been accepted at DARe. The call for this special issue is planned for late 2017. More information to follow. -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the Springer LNAI/LNCS format (which can be found at http://lpnmr2017.aalto.fi/submission.html) and should be no longer than 13 pages. Please submit to: https://easychair.org/conferences/?conf=dare17 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ The 2016 proceedings are available at http://ceur-ws.org/Vol-1626/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. At least one co-author of each accepted paper must register for the workshop. Please check the LPNMR 2017 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 10 April 2017 - Notification: 1 May 2017 - Camera ready: 22 May 2017 - Workshop date: 3 July 2017 -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Program Committee -- - Natasha Alechina, University of Nottingham, UK - Grigoris Antoniou, University of Huddersfield, UK - Ofer Arieli, Academic College of Tel-Aviv, Israel - Guillaume Aucher, University of Rennes 1 - INRIA, France - Christoph Beierle, FernUniversitaet Hagen, Germany - Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil - Antonis Bikakis, University College London, UK - Alexander Bochman, Holon Institute of Technology, Israel - Katarina Britz, Stellenbosch University, South Africa - James Delgrande, Simon Fraser University, Canada - Marcelo Finger, Universidade de São Paulo, Brazil - Nina Gierasimczuk, Danish Technical University, Denmark - Patrick Girard, University of Auckland, New Zealand - Sven Ove Hansson, Royal Institute of Technology, Sweden - Andreas Herzig, IRIT CNRS, France - Aaron Hunter, British Columbia Institute of Technology, Canada - Souhila Kaci, Université Montpellier 2, France - Gabriele Kern-Isberner, TU Dortmund, Germany - Simon Kramer, SK-R&D, Switzerland - Michael Maher, University of New South Wales, Australia - João Marcos, Universidade Federal do Rio Grande do Norte, Brazil - Thomas Meyer, University of Cape Town, South Africa - Gilles Richard, Université Paul Sabatier, France - Francois Schwarzentruber, ENS Rennes/IRISA, France - Umberto Straccia, CNR, Italy - Joost Vennekens, K.U. Leuven, Belgium - Peter Verdée, Universiteit Gent, Belgium - Heinrich Wansing, Ruhr-Universitaet Bochum, Germany - Renata Wassermann, Universidade de São Paulo, Brazil - Anna Zamansky, University of Haifa, Israel -- Further Information -- Please visit the workshop website (https://sites.google.com/view/dare-17) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak CRIL, Univ. Artois & CNRS, France http://member.acm.org/~ijv -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alessandro.aldini at uniurb.it Tue Apr 4 11:02:01 2017 From: alessandro.aldini at uniurb.it (Aldini, Alessandro) Date: Tue, 4 Apr 2017 11:02:01 +0200 Subject: FOSAD Summer School 2017: Foundations of Security Analysis and Design Message-ID: 17TH INTERNATIONAL SCHOOL ON FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN FOSAD 2017 ==================================================== http://www.sti.uniurb.it/events/fosad17 ==================================================== 28 August - 2 September 2017, Bertinoro, Italy In cooperation with the European Network for Cyber-security (NeCS) *** Application Deadline: June 23, 2017 FOSAD has been one of the foremost events established with the goal of disseminating knowledge about foundations of security analysis and design to graduate students and young computer scientists from academia or industry. COURSES> The topics covered by the lectures include: - cryptocurrencies and transparency systems - mobile security - privacy engineering - verification of security protocols - information-flow control libraries - machine learning and privacy Lecturers: Joseph Bonneau (Stanford Univ.) Lorenzo Cavallaro (Royal Holloway Univ. of London) George Danezis (Univ. College London) Stephanie Delaune (CNRS IRISA) Alejandro Russo (Chalmers Univ.) Vitaly Shmatikov (Cornell Univ.) The courses alternate theory and practice sessions. OPEN SESSION> Daily sessions are organized for participants who intend to take advantage of the audience for presenting their current research/tool in the area. SCIENTIFIC COMMITTEE> Martin Abadi Javier Lopez Alessandro Aldini Fabio Martinelli (Chair) Gilles Barthe Catherine Meadows Eerke Boiten Bart Preneel Sandro Etalle SCHOOL VENUE> The school is organized at the University Residential Center of Bertinoro (CEUB), Italy: http://www.ceub.it/ The host venue provides a unique architectonical and environmental setting joining the stunning views of the hilltop of Bertinoro with the historical location of the ancient fortress and the facilities of the Center, which offers accommodation, meeting rooms, and modern conference and computing services. SCHOOL DATES> Prospective participants should apply through the FOSAD web page by: June 23, 2017. Notification of accepted applicants will be posted by: June 24, 2017. Registration to the school is due by: July 24, 2017. SCHOOL FEES> The full fee is 900 Euros and covers stay from August 27, in double room, half board (breakfast and lunch), welcome dinner of August 27 and social dinner included. A limited amount of grants will be provided to cover part of the fee for young researchers. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Tue Apr 4 11:40:36 2017 From: serge.autexier at dfki.de (Serge Autexier) Date: Tue, 4 Apr 2017 11:40:36 +0200 (CEST) Subject: Call for Workshops - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: April 17th, 2017 Message-ID: <20170404094036.11D39119CA2F@mbp-autexier.informatik.uni-bremen.de> Call for Workshop Proposals 10th Conference on Intelligent Computer Mathematics - CICM 2017 - July 17-21, 2017 University of Edinburgh, Scotland http://www.cicm-conference.org/2017 ---------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), Coimbra (Portugal 2014), Washington DC (USA 2015) and Bialystok (Poland 2016). This is the call for proposals for workshops to be held at CICM 2017 Edinburgh, Scotland, July 17-21, 2017. Some of the workshops that have been held at past CICM meetings are: Automated Reasoning: Bridging the Gap between Theory and Practice Compact Computer Algebra Empirically Successful Automated Reasoning for Mathematics Formal Mathematics for Mathematicians Intelligent Proof Search Mathematical user Interfaces Mathematics Information Retrieval OpenMath Pen-Based Mathematical Computation Programming languages for Mechanized Mathematics Systems Proof Engineering SCIEnce The Notion of Proof User Interfaces for Theorem Provers Proposals for workshops to be held at CICM 2017 are solicited. Both well-established workshops and newer or brand new ones are encouraged. Please provide the following information: + Workshop title. + Names and affiliations of organizers. + Brief description of workshop goals and/or topics. + Proposed workshop duration (half a day up to two days is possible). + If the workshop has met previously, please include the conference affiliation for the previous meeting. If the workshop is new, please indicate so. CICM will take care of copying and distributing informal printed proceedings for workshops that would like this service, as well as permanently archived open access online proceedings with CEUR-WS.org. All proposals should be sent via email to the CICM workshop chair Petros Papapanagiotou (pe.p at ed.ac.uk). Important dates: Deadline for proposal submissions: 17. April 2017 Workshop dates: 17-21. July 2017 More details on the conference are available from http://www.cicm-conference.org/2017 ---------------------------------------------------------------------- From s.linker at liverpool.ac.uk Tue Apr 4 16:14:40 2017 From: s.linker at liverpool.ac.uk (Sven Linker) Date: Tue, 4 Apr 2017 15:14:40 +0100 Subject: First Call for Papers -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017 Message-ID: ================================================================== Call for Papers ================================================================== Workshop on Formal Verification of Autonomous Vehicles https://sites.google.com/site/fvav2017/ 19th September 2017 University of Turin, Italy (co-located with iFM 2017, http://ifm2017.di.unito.it/) ================================================================== ------------------------------------------------------------------ Important Dates: - Paper Submission: Monday, 18th June 2017 - Notification: Monday, 10th July 2017 - Workshop: Tuesday, 19th September 2017 ------------------------------------------------------------------ Objectives and Scope: Current technology is at reach to develop road vehicles that can act fully autonomously. One of the recognised major difficulties is to make the systems safe, as autonomy requires not only avoidance of misbehaviour but also assurance of availability and reliability. This fact has been acknowledged both within the academic society, in the form of an increasing interest in this topic, and within industry, by generally agreeing that these vehicles adhere to the highest levels of international standards, e.g., SIL3/SIL4 for IEC 61508, and ASIL D for ISO 26262. These levels imply the consideration of various formal methods in the development, including static code analysis, model checking, and formal specification and verification. However, incorporating formal methods into the design of autonomous vehicles presents significant new challenges, particularly due to the complex integration of discrete and continuous controllers. The main challenges associated with the formal design of autonomous vehicles includes modelling, specification, verification and synthesis. The aim of this workshop is to bring together researchers from the formal verification community that are developing formal methods for autonomous vehicles and industrial researchers working, e.g., in the area of control theory or robotics, interested in applying verification techniques for designing and developing of autonomous vehicles. Topics of interest of the workshop include, but are not limited to: * formal models for autonomous systems * languages and logics for specification and verification * interactive and automated theorem proving * model checking * agent programming languages * real-time and hybrid systems * program synthesis * quantitative and probabilistic verification * requirement analysis * verification for learning approaches * run-time verification * applications, implementations and case studies ------------------------------------------------------------------ Submission Guideline: Accepted papers will appear in the conference proceedings published in the Electronic Proceedings in Theoretical Computer Science (EPTCS) and must be prepared according to the EPTCS guidelines for authors (see http://info.eptcs.org/). Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page: https://easychair.org/conferences/?conf=fvav2017 The page limitations mentioned below include all text, figures and references. At least one author of each accepted paper must attend FVAV 2017 to present. There are two categories of papers which can be submitted: regular and short papers. Papers in each category will be reviewed by at least 3 members of the Programme Committee. * *Regular Papers* (up to 15 pages, including references) should present original unpublished results. We welcome theoretical papers, applications of formal methods in industrial practise, system descriptions and case studies within the context of autonomous vehicles. * *Short Papers* (up to 7 pages, including references) may present novel but not necessarily thoroughly worked out ideas, and problem statements. ------------------------------------------------------------------ Invited Speaker: Werner Damm (OFFIS Oldenburg, Germany) (https://www.offis.de/en/offis/person/werner-damm.html) ------------------------------------------------------------------ Organisation: Programme Committee: * Matthias Althoff (Technische Universität München, Germany) * Mikael Asplund (Linköping University, Sweden) * Georgios Fainekos (Arizona State University, US) * Michael Fisher (University of Liverpool, UK) * Christoph Gladisch (Bosch, Germany) * Cornel Izbasa (Opensynergy, Germany) * Owen McAree (Sheffield University, UK) * Helen Monkhouse (Horiba-Mira, UK) * Ernst-Rüdiger Olderog (Carl von Ossietzky University Oldenburg, Germany) * Patrizio Pelliccione (Chalmers University of Technology, Sweden) * S. Ramesh (General Motors, US) * Nick Reed (TRL, UK) * Shinichi Shiraishi (Toyota Info Technology Center, US) Programme Chairs: * Lukas Bulwahn (BMW Car IT GmbH, Germany) * Maryam Kamali (University of Liverpool, UK) * Sven Linker (University of Liverpool, UK) From cidconference at newsletters.mercaturaservices.com Tue Apr 4 16:41:02 2017 From: cidconference at newsletters.mercaturaservices.com (VipIMAGE 2017) Date: Tue, 04 Apr 2017 15:41:02 +0100 Subject: ECCOMAS VipIMAGE 2017 - FINAL Deadline Message-ID: <92e9ee85b2a0843ab8dfe06a2e51adee@mercatura.pt> VI ECCOMAS Thematic Conference VipIMAGE 2017 www.fe.up.pt/vipimage October 18-20, 2017, Porto, Portugal Chairs: João Manuel R. S. Tavares & Renato Natal Jorge, Universidade do Porto --------------------------------------------------------------------------------------------------- Dear Colleague, We are pleased to inform you that the submission deadline of the International Conference VipIMAGE 2017 - VI ECCOMAS THEMATIC CONFERENCE ON COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING (www.fe.up.pt/vipimage) to be held in October 18-20, 2017, in Axis Vermar Conference & Beach Hotel, Porto, Portugal, has been postponed to April 21 (FINAL deadline).   Possible Topics (not limited to) - Signal and Image Processing - Computational Vision - Medical Imaging - Physics of Medical Imaging - Tracking and Analysis of Movement - Simulation and Modeling - Image Acquisition - Industrial Applications - Shape Reconstruction - Segmentation, Matching, Simulation - Data Interpolation, Registration, Acquisition and Compression - 3D Vision - Virtual Reality - Visual Inspection - Software Development for Image Processing and Analysis - Computer Aided Diagnosis, Surgery, Therapy, and Treatment - Computational Bioimaging and Visualization - Telemedicine Systems and Applications   Invited Lecturers - Mário Figueiredo, Universidade de Lisboa, Portugal - Khan Iftekharuddin, Old Dominion University, USA - Leo Joskowicz, The Hebrew University of Jerusalem, Israel - Gerald Schaefer, Loughborough University, UK - Dinggang Shen, University of North Carolina at Chapel Hill, USA - Zeyun Yu, University of Wisconsin at Milwaukee, USA   Thematic Sessions - Advanced Techniques for Image-based Numerical Simulation in Biomedical Applications - Advances in Lung CT Image Processing - Application of Image Analysis in Musculoskeletal Radiology - Computational Vision and Image Processing applied to Dental Medicine - Computer Vision in Robotics - Emotions classification from EEG signals - Image Analysis and Machine Learning for Skin Ulcers - Imaging and Image Processing in Ophthalmology - Imaging and Simulation Techniques for Cardiovascular Diseases - Imaging of Flows in Lab-on-Chip Devices: Trends and Challenges - Infrared Thermal Imaging in Biomedicine - Meta-learning in Deep Learning: New Trends and Directions - Shape Analysis in Medical Imaging: From Math to Clinics   Publications Proceedings: The proceedings book will be published by Springer under the book series "Lecture Notes in Computational Vision and Biomechanics" indexed by Elsevier Scopus. Journal Publication: A dedicated special issue of the Taylor & Francis international journal "Computer Methods in Biomechanics and Biomedical Engineering: Imaging & Visualization" indexed in Scopus, DBLP and Thomson Reuters Emerging Sources Index will be published with extended versions of the best works presented in the conference. Springer Book: A book with invited works from the ones presented in the conference will be organized for publishing by Springer.   Important Dates - Deadline for Extended Abstracts: April 21, 2017 (FINAL deadline) - Authors Notification: May 10, 2017 - Deadline for Papers: June 15, 2017   We are looking forward to see you in Porto in October, 2017, João Manuel R. S. Tavares Renato Natal Jorge (VipIMAGE 2017 co-chairs) For further details, please, have a look in the conference website at: www.fe.up.pt/vipimage, the Facebook page at: www.facebook.com/VipIMAGE2017, or join the LinkedIn group at: www.linkedin.com/groups/4752820. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nevrenato at gmail.com Wed Apr 5 11:11:32 2017 From: nevrenato at gmail.com (Renato Neves) Date: Wed, 5 Apr 2017 10:11:32 +0100 Subject: (Second Call for Participation) First School on Foundations of Programming and Software Systems -- Probabilistic Programming Message-ID: <20170405091132.GA98224@Renatos-MBP.lan> It is our greatest pleasure to announce the first edition of the School on Foundations of Programming and Software systems. The school is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN. The topic of the first edition is Probabilistic programming. It will take place in Braga, Portugal, May 29th - June 4th 2017. Probabilistic programming languages are used for modelling and analysis purposes across multiple areas of computer science, including machine learning, security, and quantitative biology. In particular, they provide a rigorous foundation for machine learning where they are used to describe probabilistic models and to perform inference in presence of uncertain information. Probabilistic programs are also used in cryptography and in privacy for modelling and quantifying security. The goal of the school is to introduce attendants to theoretical and practical aspects of programming languages, and will propose courses that cover the following topics: semantics, analysis, verification, applications to machine learning, privacy, and security. The school will have lectures by Andy Gordon, Catuscia Palamidessi, Christel Baier, Dexter Kozen, Frank Wood, Hongseok Yang, Javier Esparza, Michael Carbin, Peter Selinger, Prakash Panangaden, Sriram Sankaranarayanan, and Vitaly Shmatikov. For more information please check the school webpage http://probprogschool2017.di.uminho.pt/ If you have any queries feel free to contact the organisers. Best wishes, Luis Barbosa Gilles Barthe Joost-Pieter Katoen Renato Neves Alexandra Silva From ijcci at insticc.info Wed Apr 5 20:22:38 2017 From: ijcci at insticc.info (ijcci at insticc.info) Date: 5 Apr 2017 19:22:38 +0100 Subject: CFP IJCCI 2017 - 9th Int.l Joint Conf. on Computational Intelligence (Funchal, Madeira/Portugal) Message-ID: <20170405182255.58733.56252.D748C655@insticc.info> SUBMISSION DEADLINE 9th International Joint Conference on Computational Intelligence Submission Deadline: May 22, 2017 http://www.ijcci.org/ November 1 - 3, 2017 Funchal, Madeira, Portugal. IJCCI is organized in 4 major tracks: - Evolutionary Computation - Fuzzy Computation - Neural Computation - Cognitive and Hybrid Systems In Cooperation with AIXIA, AAAI, EUSFLAT. With the presence of internationally distinguished keynote speakers: António Dourado, University of Coimbra, Portugal Emma Hart, Edinburgh Napier University, United Kingdom Paulo Novais, Universidade do Minho, Portugal 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 rl.stpuu at gmail.com Thu Apr 6 05:11:07 2017 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Thu, 6 Apr 2017 05:11:07 +0200 Subject: NLS 2017: Third Nordic Logic Summer School (NLS) 2017: Call for Participation and Registration Message-ID: Third Nordic Logic Summer School (NLS) 2017 Stockholm, August 7 - 11, 2017 Call for participation *** Registration is now open *** ------------------------------------------------------------ The third Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society (http://scandinavianlogic.org/). The two previous schools were organized in Nordfjordeid, Norway (2013) and Helsinki (2015). The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject. The school is co-located with Logic Colloquium 2017 (August 14-20) and Computer Science Logic 2017 (August 21-24). The school will consist of 10 five-hour courses, running in two parallel streams. In addition, there will be short student presentations and poster sessions. The lectures run from ** Monday August 7, 9:00 to Friday August 11, 16:15 ** LECTURERS AND COURSES ------------------------------ The following lecturers and course topics are confirmed. * Mirna Dzamonja (University of East Anglia) -- Set Theory * Martin Escardo (Birmingham) -- Topological and Constructive Aspects of Higher-Order Computation * Henrik Forssell (Oslo) -- Categorical Logic * Volker Halbach (Oxford) -- Truth & Paradox * Larry Moss (Indiana University, Bloomington) -- Natural Logic * Anca Muscholl (LaBRI, Université Bordeaux) -- Logic in Computer Science - Control and Synthesis, from a Distributed Perspective * Eric Pacuit (University of Maryland) -- Logic and Rationality * Peter Pagin and Dag Westerståhl (Stockholm University) -- Compositionality * Sara L. Uckelman (Durham) -- Medieval Logic * Andreas Weiermann (Ghent) -- Proof Theory Programme and course descriptions can be found on the Logic in Stockholm 2017 web site: https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 --------------------- Certificates for participation will be provided. There will be possibilities to take official credits for some of the courses. --------------------- VENUE --------------------- Department of Mathematics, Kräftriket Campus, Stockholm University. IMPORTANT DATES --------------------- Registration: -- Registration opens: April 6, 2017 Early registration ends: ** May 15, 2017 ** Late registration ends: ** August 4, 2017 ** -- Submission of abstracts for presentations and posters: -- Opening: March 6, 2017 Closing: May 2, 2017 Notification of acceptance: May 9, 2017 -- REGISTRATION -------------- The early registration fee, for students and participants from developing countries, is 2000 SEK including VAT (approx. 200 Euros) per participant, and includes coffee breaks and conference materials. For all others the early registration fee is 2600 SEK including VAT. Late registration is 3200 SEK for all. The registration is done on the Logic in Stockholm 2017 web site: https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 PARTICIPATION AND TRAVEL GRANTS ------------------------------- To be considered for a grant, you need to submit an application, with file name: NLS2017-grant-application-Your-Names.pdf via EasyChair on this link: https://easychair.org/conferences/?conf=nls2017 On the bottom of the submission page of EasyChair, under Topics, you need to check the box "Grant application", before uploading your application. The application must contain the following documents, in one PDF document: (1) Letter of Application for a grant, stating your logic-related interests (2) academic records or transcripts of courses taken so far that demonstrate your background in logic (3) Letter of Recommendation from your current or most recent supervisor ---- Note 1: In case your recommender prefers to send the recommendation directly, she/he should send it as an email attachment of a pdf file named: Letter-of-Recommendation-Your-Names.pdf to the following email address: nls2017-grants at math.su.se Email Subject: Letter-of-Recommendation-Your-Name.pdf Note 2: "Your-Names" should be your actual first and family name, without spaces. Note 3: In case the originals are not in English, the best is to provide scans of official, certified translations. If that would be problematic, you should supplement the scans of the originals with translations that are verified by the name and signature of your supervisor. The applications nominated for grants will be subject to further verifications. ---------------------------------------- Deadline for grant applications: ** April 24, 2017** Notification: May 9, 2017 ---------------------------------------- ACCOMMODATION --------------------- The registration fee does not cover accommodation, but there are special offers at hostels and hotels (in the range 700 - 1200 SEK/night for single rooms). https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 SPECIAL OFFER FOR ACCOMMODATION ---------------------------------- There will be offers of inexpensive accommodation via the Stockholm University Housing Office. The cost will be around 350 SEK per person per night, in studio apartments shared by two people. To be able to take part in this offer, participants need to register at the latest May 15. Enquiries may be directed to: logic2017-accommodation [at] math.su.se FURTHER INFORMATION ------------------------------------- Further information about submissions, registration and accommodation possibilities is available on the Logic in Stockholm 2017 web site https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 General enquiries: nls2017 [at] philosophy.su.se Accommodation enquiries: logic2017-accommodation [at] math.su.se SPONSORS ---------------- Prover Technology http://www.prover.com Stockholm Mathematics Centre https://www.math-stockholm.se COMMITTEES ---------------- Program Committee of NLS 2017: Thierry Coquand (Göteborg), Ali Enayat (Göteborg) Mai Gehrke (IRIF, Paris), Nina Gierasimczuk (Copenhagen) Valentin Goranko (Stockholm U), Lauri Hella (Tampere) Lars Kristiansen (Oslo), Juha Kontinen (Helsinki) Øystein Linnebo (Oslo), Sara Negri (Helsinki) Erik Palmgren (chair, Stockholm U) Local Organizing Committee of NLS 2017: Valentin Goranko (co-chair), Dilian Gurov, Roussanka Loukanova, Peter LeFanu Lumsdaine, Anders Lundstedt, Erik Palmgren (co-chair) ------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rl.stpuu at gmail.com Thu Apr 6 14:39:09 2017 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Thu, 6 Apr 2017 14:39:09 +0200 Subject: CfP: LACompLing2017 - Logic and Algorithms in Computational Linguistics 2017 Message-ID: ================================================= CALL FOR PAPERS Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017) Stockholm, August 16-19, 2017 http://staff.math.su.se/rloukanova/LACompLing17.html * Submission deadline for regular papers: April 14, 2017 * ================================================= Affiliated with the 26th Annual EACSL Conference on Computer Science Logic CSL'2017 Stockholm, 20--26 August 2017 Co-located with: Logic in Stockholm 2017 https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 ================================================= 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 LACompLing2017 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 for regular papers: April 14, 2017 Notification of paper acceptance: May 31, 2017 Abstracts of short presentations: June 4, 2017 Notifications for short presentations: June 12, 2017 Deadline for final submissions: June 25, 2017 Workshop: August 16-19, 2017 SUBMISSION INSTRUCTIONS == - Regular papers: between 10-15 pages, including figures and references, by using LaTeX, with article.sty: \documentclass[a4paper,11pt]{article} - Abstracts of short presentations: not more than 1 page, by using LaTeX, with article.sty: \documentclass[a4paper,11pt]{article} - We invite original papers that are not submitted concurrently to another conference or for publication elsewhere - The submissions of proposed papers and abstracts of short presentations have to be in pdf - The camera-ready submissions require the pdf of the papers and their LaTeX sources The submissions are via the EasyChair management system of LACompLing2017: https://easychair.org/conferences/?conf=lacompling2017 PUBLICATIONS == - The proceedings of LACompLing2017 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 LACompLing2017, will be published by the Journal of Logic, Language and Information, JoLLI, after the workshop. ORGANIZERS == Krasimir Angelov, University of Gothenburg, Sweden Valeria de Paiva, Nuance Communications, USA Kristina Liefke, Ludwig-Maximilians-University Munich, Germany Roussanka Loukanova, Stockholm University, Sweden (chair) Michael Moortgat, Utrecht University, The Netherlands Reinhard Muskens, Tilburg University, The Netherlands CONTACT == Roussanka Loukanova (rloukanova at gmail.com) Valeria de Paiva (valeria.depaiva at gmail.com) -------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.huisman at utwente.nl Fri Apr 7 13:10:01 2017 From: m.huisman at utwente.nl (m.huisman at utwente.nl) Date: Fri, 7 Apr 2017 11:10:01 +0000 Subject: 2 PhD positions and 1 Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software Message-ID: <116E6E2A-8531-434C-A11C-0F06D7BFDD8E@utwente.nl> 2 PhD positions and 1 Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software University of Twente Group: Formal Methods and Tools Contact: Prof.Dr. Marieke Huisman (m.huisman at utwente.nl) Job Description You will be working on the Mercedes project, a 1,5 million euro personal grant for Marieke Huisman, funded by NWO. Goal of the Mercedes project is to develop techniques to ensures the maximal reliability of concurrent and distributed software. This is achieved by developing a technique to construct an abstract mathematical model from a concurrent or distributed application, such that program logics can be used to prove the formal connection between the software and its abstraction. The framework will be general, capturing many different concurrent and distributed programming paradigms. An important goal of the project is to support automated reasoning, by developing techniques to automatically generate the necessary additional annotations. The project will also investigate the use of the abstraction theory in the opposite direction, to derive a correct program via refinement. Two PhD positions are available to work on the following subprojects: - Abstraction theory: a general compositional abstraction theory for models of concurrent and distributed software - Code-level Verification: algorithms for automated verification of non-trivial program properties One Post Doc position is available to work on the following subproject: - Refinement: a refinement technique to derive concrete program code from an abstract model All results of the Mercedes project will be integrated in the VerCors tool set for verification of concurrent software, which is a result of Marieke Huisman’s earlier ERC project on verification of concurrent software. For more information about the concrete subprojects, please contact Marieke Huisman: m.huisman at utwente.nl. We seek - Two PhD students with an MSc degree (or equivalent) in Computer Science - One post doc with a PhD degee in Computer Science (or equivalent) The candidates should be enthousiastic, and have a thorough theoretical background, a demonstrable interest in program verification, and some knowledge about multithreaded programming (in Java/C/C++). We are looking for a researcher with an independent mind who is willing to cooperate in our team. It is understood that he or she works on the topics listed above. Further we ask for good communicative and collaboration skills. Candidates should be prepared to prove their English language skills. As a research outcome we expect publications, (prototype) tools, and for the PhD students a PhD thesis. Starting date of the position: as soon as possible, preferably before June 1, 2017. We offer - Two PhD position for four years (38 hrs/week) - One post doc position for two years (38 hrs/week), with a possibility of extension of upto 3 more years. - A stimulating scientific environment - Full status as an employee at the University of Twente, including pension and health care benefits. - Gross salary PhD student: ranging from € 2.191,00 (1st year) to € 2.801,00 (4th year) per month, plus holiday allowance (8%) and end-of-year bonus (8.3%). - Gross salary for a Postdoc is dependent on experience and background, but will minimally be € 3.068,00 per month (scale 10.4), plus holiday allowance (8%) and end-of-year bonus (8.3%). - Excellent facilities for professional and personal development. - Good secondary conditions, in accordance with the collective labour agreement CAO-NU for Dutch universities - A green Campus with lots of sports facilities The PhD student will be a member of the Twente Graduate School in the research programme 'Dependable and Secure Computing'. The research programme offers advanced courses to deepen your scientific knowledge in preparation to your future career (within or outside academia). We provide our PhD students with excellent opportunities to broaden their personal knowledge and to professionalise their academic skills. Participation in national and/or international summer schools and workshops, and visits to other prestigious research institutes and universities can be part of this programme. Further information - FMT group: http://fmt.cs.utwente.nl/ - Prof.Dr. Marieke Huisman (M.Huisman at utwente.nl): http://wwwhome.cs.utwente.nl/~marieke/ - Project webpage: http://fmt.ewi.utwente.nl/research/projects/Mercedes/ Application To apply for the PhD position directly: https://www.utwente.nl/en/organization/careers/vacancies/!/vacature/1019842 To apply for the post doc position directly: https://www.utwente.nl/en/organization/careers/vacancies/!/vacature/1019858 Please use the Apply Now button at the bottom of the page. Deadline: May 1, 2017, or until the positions are filled. Earlier applications are welcome and an early start date is an advantage. Your application should consist of: - a cover letter (explaining your specific interest and qualifications); - a full Curriculum Vitae, to apply for the PhD student position, this should include a list of all courses + marks, and a short description of your MSc thesis; to apply for the post doc position, this should include a list of all publications, and a short description of your PhD thesis; - references (contact information) of two scientific staff members. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grbacci at cs.aau.dk Fri Apr 7 15:50:14 2017 From: grbacci at cs.aau.dk (Giorgio Bacci) Date: Fri, 7 Apr 2017 13:50:14 +0000 Subject: MFCS 2017: Second Call for Papers Message-ID: --------------------------------------------------------------- MFCS 2017 42nd International Symposium on Mathematical Foundations of Computer Science Aalborg, Denmark, August 21-25, 2017 http://mfcs2017.cs.aau.dk/ --------------------------------------------------------------- BACKGROUND: MFCS conference series is organized since 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since a few years ago, the conference travels around Europe (in 2013 it was held in Austria, then in 2014 in Hungary, in 2015, in Italy). In 2016 the conference returned to Poland and in 2017 it will be held in Denmark. MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interactions between researchers who might not meet at more specialized venues. MFCS 2017 consists of invited lectures and contributed talks, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science. The conference will be accompanied by workshops. We encourage submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following (alphabetically ordered): - algebraic and co-algebraic methods in computer science - algorithms and data structures - automata and formal languages - bioinformatics - combinatorics on words, trees, and other structures - computational complexity (structural and model-related) - computational geometry - computer-assisted reasoning - concurrency theory - cryptography and security - databases and knowledge-based systems - formal specifications and program development - foundations of computing - logics in computer science - mobile computing - models of computation - networks (incl. wireless, sensor, ad-hoc networks) - parallel and distributed computing - quantum computing - semantics and verification of programs - theoretical issues in artificial intelligence - types in computer science All submitted papers will be reviewed by the program committee. Accepted papers will be collected into the conference proceedings. IMPORTANT DATES: Abstract submission deadline: April 20th, 2017 (AoE) Paper submission deadline: April 24th, 2017 (AoE) Notification of authors: June 12th, 2017 (AoE) Camera-ready copies due: June 22nd, 2017 (AoE) Early registration deadline: June 23rd, 2017 (AoE) Late registration deadline: August 7th, 2017 (AoE; afterward, only on-site registration) Conference dates: August 21–25, 2017 PAPER SUBMISSION: Papers should be submitted electronically through EasyChair at https://easychair.org/conferences/?conf=mfcs17 Submissions should be prepared according to the following instructions: Papers should be formatted using the LIPIcs style. Length: up to 12 pages (excluding references and an optional appendix) References and an optional appendix can go beyond the 12 pages (the appendix will be consulted at the discretion of the program committee). It is mandatory to use pdflatex No prior publication or simultaneous submission to other conferences or journals are allowed (but submissions to preprint repositories such as arXiv or workshops without formal published proceedings are allowed) PROGRAM COMMITTEE: Kim G. Larsen – PC chair (Aalborg University, Denmark) Hans L. Bodlaender – co-chair (Eindhoven University of Technology, Netherlands) Jean-Francois Raskin –co-chair (Universite Libre de Bruxelles, Belgium) Alexander Kurz (University of Leicester) Aniello Murano (Università degli Studi di Napoli Federico II) Arno Pauly (Universite Libre de Bruxelles) Axel Legay (IRISA/INRIA, Rennes) Bartek Klin (University of Warsaw) Bettina Speckmann (TU Eindhoven) Christof Löding (RWTH Aachen) Damien Pous (CNRS - ENS Lyon) Dana Pardubska (Comenius University) Dexter Kozen (Cornell University) Doron Peled (Bar Ilan University) Franck Cassez (Macquarie University) Hans Raj Tiwary (Charles University) Jiri Wiedermann (Academy of Sciences) Jörg Rothe (Universität Düsseldorf) Kasper Green Larsen (MADALGO, Department of Computer Science, Aarhus University) Lars Birkedal (Dept. of Computer Science, Aarhus University) Luca Moscardelli (University of Chieti-Pescara) Manfred Droste (Leipzig University, Institute of Computer Science) Manuel Bodirsky (TU Dresden) Martin Lange (University of Kassel) Matteo Mio (CNRS/ENS-Lyon) Patricia Bouyer (LSV, CNRS & ENS Cachan, Université Paris Saclay) Pawel Gawrychowski (University of Haifa) Peter Van Emde Boas (ILLC-FNWI-Universiteit van Amsterdam (emeritus) Petteri Kaski (Helsinki Institute for Information Technology HIIT, Department of Computer Science, Aalto University) Pierre-Yves Schobbens (University of Namur) Prakash Panangaden (McGill University) Radu Mardare (Aalborg University) Raffaella Gentilini (University of Perugia) Ramamohan Paturi (University of California, San Diego) Rocco De Nicola (IMT - School for Advanced Studies Lucca) Rod Downey (Victoria University) Roland Meyer (TU Braunschweig) Sagi Snir (Univ. of Haifa) Sam Staton (Oxford University) Sławomir Lasota (Warsaw University) Stephan Kreutzer (Technical University Berlin) Tarmo Uustalu (Institute of Cybernetics, Tallinn University of Technology) Udi Boker (Interdisciplinary Center (IDC) Herzliya) Vojtech Forejt (Oxford University) LOCAL ORGANIZERS, Aalborg University Giorgio Bacci Giovanni Bacci Radu Mardare Jiri Srba Rikke W. Uhrenholt -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sat Apr 8 11:43:31 2017 From: grlmc at grlmc.com (GRLMC) Date: Sat, 08 Apr 2017 11:43:31 +0200 Subject: DeepLearn 2017: early registration April 21 Message-ID: <545102060a010b000057510306005a035b0054550050545252520b54040551040302535103090155540250010f0005@grlmc_ip-zone_com-6> DeepLearn 2017: early registration April 21*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************   INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2017   Bilbao, Spain   July 17-21, 2017   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/DeepLearn2017/   ************************************************************   --- Early registration deadline: April 21, 2017 ---   ********************************************************   SCOPE:   DeepLearn 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neuroscience, computer vision, speech recognition, language processing, drug discovery, biomedical informatics, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 4 keynote lectures, 30 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   In principle, graduate students, doctoral students and postdocs will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. DeepLearn 2017 is also appropriate for more senior academics and practitioners who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   REGIME:   In addition to keynotes, 3-4 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2017 will take place in Bilbao, the largest city in the Basque Country, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao, Spain   KEYNOTE SPEAKERS: (to be completed)   Richard Socher (Salesforce), Tackling the Limits of Deep Learning   PROFESSORS AND COURSES:   Narendra Ahuja (University of Illinois, Urbana-Champaign), [introductory/intermediate] Basics of Deep Learning with Applications to Image Processing, Pattern Recognition and Computer Vision   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory and Applications to the Natural Sciences   Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks    Mohammed Bennamoun (University of Western Australia), [introductory/intermediate] Deep Learning for Computer Vision   Hervé Bourlard (Idiap Research Institute), [intermediate/advanced] Deep Sequence Modeling: Historical Perspective and Current Trends   Thomas Breuel (NVIDIA Corporation), [intermediate] Segmentation, Processing, and Tracking, with Applications to Video, Gaming, VR, and Self-driving Cars   George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors   Rina Dechter (University of California, Irvine), [introductory] Algorithms for Reasoning with Probabilistic Graphical Models   Li Deng (Microsoft Research), tba   Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing   Michael Gschwind (IBM T.J. Watson Research Center), [introductory/intermediate] Deploying Deep Learning Applications at the Enterprise Scale   Yufei Huang (University of Texas, San Antonio), [intermediate/advanced] Deep Learning for Precision Medicine and Biomedical informatics   Soo-Young Lee (Korea Advanced Institute of Science and Technology), [intermediate/advanced] Multi-modal Deep Learning for the Recognition of Human Emotions in the Wild   Li Erran Li (Columbia University), [intermediate/advanced] Deep Reinforcement Learning: Recent Advances and Frontiers   Michael C. Mozer (University of Colorado, Boulder), [introductory/intermediate] Incorporating Domain Bias into Neural Networks   Roderick Murray-Smith (University of Glasgow), [intermediate] Applications of Deep Learning Models in Human-Computer Interaction Research   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Marc’Aurelio Ranzato (Facebook AI Research), [introductory/intermediate] Learning Representations for Vision, Speech and Text Processing Applications   Maximilian Riesenhuber (Georgetown University), [introductory/intermediate] Deep Learning in the Brain   Ruslan Salakhutdinov (Carnegie Mellon University), [intermediate/advanced] Foundations of Deep Learning and its Recent Advances   Alessandro Sperduti (University of Padua), [intermediate/advanced] Deep Learning for Sequences   Jimeng Sun (Georgia Institute of Technology), [introductory] Interpretable Deep Learning Models for Healthcare Applications   Julian Togelius (New York University), [intermediate] (Deep) Learning for (Video) Games   Joos Vandewalle (KU Leuven), [introductory/intermediate] Data Processing Methods, and Applications of Least Squares Support Vector Machines   Ying Nian Wu (University of California, Los Angeles), [introductory/intermediate] Generative Modeling and Unsupervised Learning   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] Statistical Machine Learning Perspectives of Extending Deep Neural Networks: Kernels, Logics, Regularizers, Priors, and Distributed Algorithms   Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them   Scott Wen-tau Yih (Microsoft Research), [introductory/intermediate] Continuous Representations for Natural Language Understanding   Richard Zemel (University of Toronto), [introductory/intermediate] Learning to Understand Images and Text   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 9, 2017.   INDUSTRIAL SESSION:   A specific session will be devoted to demonstrations of practical uses of deep learning in industrial processes. Companies/people interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration, the duration requested and the logistics necessary. 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 July 2, 2017.   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 should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017.   ORGANIZING COMMITTEE:   Pablo García Bringas (co-chair) José Gaviria Carlos Martín (co-chair) Manuel Jesús Parra Iker Pastor Borja Sanz (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2017/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   A suggestion for accommodation is available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universidad de Deusto Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From owre at csl.sri.com Sat Apr 8 21:02:17 2017 From: owre at csl.sri.com (Sam Owre) Date: Sat, 08 Apr 2017 12:02:17 -0700 Subject: Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton Message-ID: Seventh Summer School on Formal Techniques, May 21 - May 26, 2017, Menlo College Atherton, California http://fm.csl.sri.com/SSFT17 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 will have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions. The lecturers at the school include: * Stephanie Delaune (IRISA France): Verification of security protocols: from confidentiality to privacy * Marijn Heule (University of Texas at Austin): State-of-the-art SAT Solving * K. Rustan M. Leino (Microsoft Research, Redmond WA): Verified programs and proofs in Dafny * Sam Blackshear (Facebook): Building compositional static analyzers with Infer * Ashish Tiwari (SRI International Computer Science Laboratory): Formal Techniques for Analyzing Hybrid Systems The main lectures in the summer school will be preceded by a background course on logic taught by Natarajan Shankar (SRI)and Stephane Graham-Lengrand (Ecole Polytechnique) on "Speaking Logic". We will also have special invited talks presented by * Paolo Mancosu, UC Berkeley * Vaughan Pratt, Stanford * Maria Paola Bonacina, Università degli Studi di Verona Note: The school is preceded by the 9th NASA Formal Methods Symposium (NFM) 2017 (https://ti.arc.nasa.gov/events/nfm-2017/) and the associated sixth Automated Formal Methods (AFM) 2017 (http://fm.csl.sri.com/AFM17/) workshop. On May 20 there will be an AFM tutorial day that students are encouraged to attend. Information about previous Summer Schools on Formal Techniques can be found at http://fm.csl.sri.com/SSFT16 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$600 for meals and lodging. Applications should be submitted at the website http://fm.csl.sri.com/SSFT17 Applicants are urged to submit their applications before April 30, 2017, 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 rl.stpuu at gmail.com Mon Apr 10 02:08:39 2017 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Mon, 10 Apr 2017 02:08:39 +0200 Subject: Logic Colloquium 2017: 2nd Announcement and Call for Submissions and Participation Message-ID: Logic Colloquium 2017: Second Announcement and Call for Submissions and Participation ** Registration is now open ** August 14-20, 2017, Stockholm, Sweden https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 ---------------------------------------------- The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017, at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology. LC2017 will be co-located with several other logic-related events, all taking place at Stockholm University: - the 3rd Nordic Logic Summer School, NLS2017, August 7-11 - the 26th EACSL Annual Conference on Computer Science Logic, CSL2017, August 20-24 - Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing2017, August 16-19 - Workshop on Logical Aspects of Multi-Agent Systems, LAMAS2017, August 25 - Workshop on Logic and Automata Theory in memory of Zoltan Esik, August 25 There will be a joint session of CSL2017 and LC2017 in the morning of August 20. Further information about all events can be found at: https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 INVITED SPEAKERS ------------------------------ Plenary speakers: - David Aspero (University of East Anglia) - Alessandro Berarducci (Pisa) - Elisabeth Bouscaren (Paris 11) - Christina Brech (Sao Paolo) - Sakae Fuchino (Kobe University) - Denis Hirschfeldt (University of Chicago) - Wilfrid Hodges (British Academy) - Emil Jerabek (Prague) - Per Martin-Löf (Stockholm University) - Dag Prawitz (Stockholm University) - Sonja Smets (University of Amsterdam) Tutorial speakers: - Patricia Bouyer-Decitre (LSV ENS Cachan) - Mai Gehrke (Paris 7) LC-CSL joint session highlight speakers: - Veronica Becher (Buenos Aires) - Pierre Simon (UC Berkeley) SPECIAL SESSIONS ----------------------------- Category theory and type theory in honor of Per Martin-Löf on his 75th birthday Dates: August 17-19, 2017 Speakers: - Thierry Coquand (Göteborg University) - Richard Garner (Macquarie University, Sidney) - André Joyal (University of Quebec, Montreal) - Vladimir Voevodsky (Institute of Advanced Study, Princeton) Computability Organizers: Verónica Becher and Denis Hirschfeldt Speakers: - Emmanuel Jeandel (University of Lorraine, France) - Klaus Meer (Syddansk Universitet Odense M, Denmark) - Arno Pauly (Clare college, Cambridge University) - Theodore Slaman (University of California, Berkeley) - Mariya Soskova (Sofia University, Bulgaria) - Keita Yokoyama (University of California, Berkeley) History of Logic: TBA Model Theory: TBA Philosophical Logic Organizer: Mirna Dzamonja Speakers: - Michele Friend (Gerorge Washington University) - Juliette Kennedy (Helsinki University) - Benedikt Loewe (University of Amsterdam and Hamburg) - Sara Negri (Helsinki University) - Davide Rizza (University of East Anglia) - one more speaker TBA Proof Theory Organizers: Jan von Plato and Andreas Weiermann Speakers: TBA Set Theory Organizers: Christina Brech and Assaf Rinot Speakers: - William Chen (Ben Gurion University, Israel) - Brent Cody (Virginia Commonwealth University, USA) - Ashutosh Kumar (Hebrew University, Jerusalem) - Giorgio Laguzzi (Freiburg University) - Yann Pequignot (University of California, Los Angeles) - Sandra Uhlenbrock (University of Vienna) SUBMISSIONS OF CONTRIBUTED TALKS --------------------- Abstracts of contributed talks must be submitted as pdf files via this EasyChair page: https://easychair.org/conferences/?conf=lc2017 (If you do not have an EasyChair-account yet, you can create one at the submission site.) The abstracts must be prepared according to the ASL instructions here: http://www.aslonline.org/rules_abstracts.html Please: - enter Title and Abstract as plain text - as the first keyword, put the AMS 2010 classification: 03xxx - indicate whether you are submitting for presentation at the colloquium, for publication in the Bulletin of Symbolic Logic, or for both Abstracts of contributed talks submitted by ASL members, which are accepted and prepared according to the ASL Rules for Abstracts, will be published in the Bulletin of Symbolic Logic. Upon notification of acceptance, authors will be requested to submit the LaTeX source files. REGISTRATION ---------------------- The early registration fee, for students and participants from developing countries, is 1400 SEK including VAT (approx. 140 Euros) per participant, and includes coffee breaks and conference materials. For all others, the early registration fee is 2000 SEK including VAT. Late registration is 2800 SEK for regular fee participants, and 2000 SEK for reduced fee participants. Note: 500 SEK fee deduction when registering for CSL2017 at the same time. The registration fee does not cover accommodation, but there will be special offers at hostels and hotels (in the range 700 -1200 SEK per night for single rooms) available. https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/logic-in-stockholm-2017-august-7-25-1.718739 IMPORTANT DATES -------------------------------------------------------- Main event: August 14-19, 2017 Joint session with CSL2017: August 20, 2017 Abstract deadlines: Abstract submission for contributed talks: May 5, 2017 Notification: May 19, 2017 Grant application deadline: May 8, 2017 Early registration deadline: June 9, 2017 Late registration deadline: August 1, 2017 -------------------------------------------------------- GRANTS ------------------------------------ There are possibilities for grants from ASL, NSF, and the Bill Craig donation. Information can be found at the website of the Logic Colloquium 2017: https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/logic-colloquium-201 PROGRAMME COMMITTEE ------------------- - Rod Downey (University of Wellington) - Mirna Dzamonja (PC chair, University of East Anglia) - Ali Enayat (University of Gothenburg) - Fernando Ferreira (University of Lisbon) - Valentin Goranko (Stockholm University) - Martin Hils (University of Münster) - Sara Negri (University of Helsinki) - Assaf Rinot (Bar-Ilan University) - Igor Walukiewicz (University of Bordeaux) LOCAL ORGANISING COMMITTEE -------------------- - Stefan Buijsman, Department of Philosophy, Stockholm University - Mads Dam, Department of Theoretical Computer Science, KTH - Jacopo Emmenegger, Department of Mathematics, Stockholm University - Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm University - Dilian Gurov, Department of Theoretical Computer Science, KTH - Sven-Ove Hansson, Department of Philosophy, KTH Royal Institute of Technology - Eric Johannesson, Department of Philosophy, Stockholm University - Vera Koponen, Department of Mathematics, Uppsala University - Johan Lindberg, Department of Mathematics, Stockholm University - Roussanka Loukanova, Department of Mathematics, Stockholm University - Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University - Anders Lundstedt, Department of Philosophy, Stockholm University - Karl Nygren, Department of Philosophy, Stockholm University - Peter Pagin, Department of Philosophy, Stockholm University - Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm University - Dag Westerståhl, Department of Philosophy, Stockholm University CONTACTS AND ENQUIRIES -------------------- For enquiries on scientific and programme issues, send email to: Mirna Dzamonja (M.Dzamonja at uea.ac.uk) For enquiries on organising matters, send email to: lc2017 at philosophy.su.se SPONSORS ----------------- Association for Symbolic Logic Prover Technology Stockholm University Stockholm City Hall -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon Apr 10 19:20:49 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 10 Apr 2017 13:20:49 -0400 (EDT) Subject: Summer School on Verification Technology Message-ID: <20170410172049.6A026121441@mcclellan.cs.miami.edu> =============================================================================== First Call for Participation 10th International Summer School on Verification Technology, Systems & Applications http://www.mpi-inf.mpg.de/vtsa17/ The 10th edition of the Summer School on Verification Technology, Systems and Applications (VTSA) will be organized by the Max-Planck-Institut für Informatik Saarbrücken in cooperation with the University of Liège, Inria Nancy - Grand Est, and the Université du Luxembourg. The school will take place from July 31st to August 4th, 2017 on Saarland Informatics Campus, Saarbrücken, Germany. The following speakers have accepted to give courses at VTSA 2017: - Rajeev Alur: Syntax-Guided Synthesis & Quantitative Policies over Streaming Data - Christel Baier: Probabilistic Model Checking - Hoon Hong: Symbolic Computation (Quantifier Elimination) - Andrew Reynolds: SMT Solvers for Verification and Synthesis - Thomas Wies: Introduction to Permission-Based Program Logics Participation is free (except for travel and accommodation costs) and open to anybody holding at least a bachelor degree or equivalent in computer science; it includes the lectures, daily coffee and lunchbreaks, and a school dinner. There is a limited number of free shared rooms on campus available for distribution by the selection committee. Please express your interest with your application. Attendance is limited to 40 participants. Please apply electronically by sending to fkunze at mpi-inf.mpg.de: - a one-page CV, - an application letter explaining your interest in the school and your experience in the area, - a copy of your bachelor certificate (or equivalent or a more significant certificate), - a short statement if you want to contribute to the student sessions. The deadline for application is June 1st, 2017. Notification of acceptance will be given by June 15th, 2017. Full details are available at http://www.mpi-inf.mpg.de/vtsa17/ The school is synchronized with the SC2 Summer School 2017, happening at the same time in the same place: http://www.sc-square.org/CSA/school/index.html From peter.schuller at marmara.edu.tr Tue Apr 11 13:42:42 2017 From: peter.schuller at marmara.edu.tr (Peter =?iso-8859-1?q?Sch=FCller?=) Date: Tue, 11 Apr 2017 14:42:42 +0300 (+03) Subject: [LPNMR 2017 Workshops] Extended Deadline Message-ID: <20170411114242.AFDBD2C01CB@omsievews> *** DEADLINE FOR WORKSHOP PAPER SUBMISSION EXTENDED TO May 1 *** Joint Call for LPNMR Workshop Papers --------------------------------------------------------------------------- 14th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2017 http://lpnmr2017.aalto.fi/ Hanasaari, Espoo, Finland July 3-6, 2017 All workshops co-located with LPNMR 2017 have a new submission deadline, May 1st, 2017. - Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Bart Bogaerts and Amelia Harrison - Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak - Grounding and Transformations for Theories with Variables (GTTV) Organizers: Simona Perri and Shahab Tasharrofi - Knowledge Representation and Planning for Robotics and Autonomous Systems (KPRAS) Organizers: Fangkai Yang and Shiqi Zhang - Practical Aspects of Answer Set Programming (PAoASP) Organizers: Martin Gebser, Marco Maratea, and Francesco Ricca - User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Claudia Schulz Please refer to each workshop homepage for the specific details about the submission. The links are available at http://lpnmr2017.aalto.fi/workshops.html For questions, please contact individual workshop organizers or the workshop chair, Joohyung Lee (joolee at asu.edu). (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From geoff at cs.miami.edu Tue Apr 11 15:21:38 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 11 Apr 2017 09:21:38 -0400 (EDT) Subject: Formal Methods in Computer-Aided Design - Call for Papers Message-ID: <20170411132138.E6C241214A2@mcclellan.cs.miami.edu> 2nd CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD) Vienna, Austria, October 2-6, 2017 http://www.fmcad.org/FMCAD17 IMPORTANT DATES Abstract Submission: May 01, 2017 Paper Submission: May 08, 2017 Author Response Period: June 19-23, 2017 Author Notification: July 14, 2017 Camera-Ready Version: Aug 09, 2017 All deadlines are 11:59 pm AoE (Anywhere on Earth) FMCAD Tutorial Day: October 2, 2017 FMCAD Regular Program: October 3-6, 2017 Part of the FMCAD 2017 program: - Symposium in memoriam of Helmut Veith - Hardware Model Checking Competition 2017 - FMCAD Student Forum (deadline: July 21, 2017) Limited funds will be available for travel assistance for students with accepted contributions at the student forum. Co-located event: MEMOCODE 2017 (http://memocode.irisa.fr/2017/) CONFERENCE SCOPE AND PUBLICATION FMCAD 2017 is the seventeenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD employs a rigorous peer-review process. Accepted papers are distributed through both ACM and IEEE digital libraries. In addition, published articles are made available freely on the conference page; the authors retain the copyright. There are no publication fees. At least one of the authors is required to register for the conference and present the accepted paper. A small number of outstanding FMCAD submissions will be considered for inclusion in a Special Issue of the journal on Formal Methods in System Design (FMSD). TOPICS OF INTEREST FMCAD welcomes submission of papers reporting original research on advances in all aspects of formal methods and their applications to computer- aided design. Topics of interest include (but are not limited to): -- Model checking, theorem proving, equivalence checking, abstraction and reduction, compositional methods, decision procedures at the bit- and word-level, probabilistic methods, combinations of deductive methods and decision procedures. -- Synthesis and compilation for computer system descriptions, modeling, specification, and implementation languages, formal semantics of languages and their subsets, model-based design, design derivation and transformation, correct-by-construction methods. -- Application of formal and semi-formal methods to functional and non-functional specification and validation of hardware and software, including timing and power modeling, verification of computing systems on all levels of abstraction, system-level design and verification for embedded systems, cyber-physical systems, automotive systems and other safety-critical systems, hardware-software co-design and verification, and transaction-level verification. -- Experience with the application of formal and semi-formal methods to industrial-scale designs; tools that represent formal verification enablement, new features, or a substantial improvement in the automation of formal methods. -- Application of formal methods to verifying safety, correctness, connectivity, and security properties of networks and distributed systems. SUBMISSIONS Submissions must be made electronically in PDF format via EasyChair: https://easychair.org/conferences/?conf=fmcad17 Two categories of papers are invited: Regular papers, and Tool & Case Study papers. Regular papers are expected to offer novel foundational ideas, theoretical results, or algorithmic improvements to existing methods, along with experimental impact validation where applicable. Tool & Case Study papers are expected to report on the design, implementation or use of verification (or related) technology in a practically relevant context (which need not be industrial), and its impact on design processes. Both Regular and Tool & Case study papers must use the IEEE Transactions format on letter-size paper with a 10-point font size. Regular papers can be up to 8 pages in length and tool papers up to 4 pages, although there is no requirement to fill all pages in either category. Authors will be required to select the appropriate paper category at abstract submission time. Submissions may contain an optional appendix, which will not appear in the final version of the paper. The reviewers should be able to assess the quality and the relevance of the results in the paper without reading the appendix. Submissions in both categories must contain original research that has not been previously published, nor is concurrently submitted for publication. Any partial overlap with published or concurrently submitted papers must be clearly indicated. If experimental results are reported, authors are strongly encouraged to provide the reviewers access to their data at submission time, so that results can be independently verified. FMCAD 2017 COMMITTEES PROGRAM CHAIRS: Daryl Stewart, ARM Georg Weissenbacher, TU Wien STUDENT FORUM CHAIR: Keijo Heljanko, Aalto University LOCAL ARRANGEMENTS CHAIR & WEBMASTER: Jens Katelaan, TU Wien PUBLICATION CHAIR: Mitra Tabaei Befrouei, TU Wien PROGRAM COMMITTEE Jade Alglave University College London and Microsoft Research Christel Baier Technical University of Dresden Roderick Bloem Graz University of Technology Hana Chockler King's College London Andreas Griesmayer ARM Arie Gurfinkel University of Waterloo Ziyad Hanna Cadence Design Systems Fei He Tsinghua University Alan J. Hu University of British Columbia Warren A. Hunt Jr. University of Texas Alexander Ivrii IBM Barbara Jobstmann EPFL and Cadence Design Systems Dejan Jovanovic SRI International Gerwin Klein Data61 and UNSW Australia Igor Konnov TU Wien Rebekah Leslie-Hurd Intel Ines Lynce INESC-ID/IST, Universidade de Lisboa Ken McMillan Microsoft Research Charles Morisset Newcastle University Lee Pike Galois Inc. Mitra Purandare IBM Ajitha Rajan University of Edinburgh Ahmed Rezine Linköping University Sean Safarpour Synopsys Roopsha Samanta Purdue University Martina Seidl Johannes Kepler University Linz Natasha Sharygina USI Lugano Anna Slobodova Centaur Technology Ana Sokolova University of Salzburg Daryl Stewart ARM Murali Talupur FormalSim Michael Tautschnig Queen Mary University of London Thomas Wahl Northeastern University Chao Wang University of Southern California Georg Weissenbacher TU Wien Florian Zuleger TU Wien FMCAD STEERING COMMITTEE Armin Biere, Johannes Kepler University in Linz, Austria Alan Hu, University of British Columbia, Canada Warren A. Hunt Jr., University of Texas at Austin, USA Vigyan Singhal, Oski Tech From marcello.dibello at gmail.com Wed Apr 12 16:12:53 2017 From: marcello.dibello at gmail.com (Marcello Di Bello) Date: Wed, 12 Apr 2017 10:12:53 -0400 Subject: CFP: *Deadline Extended* - Evidence & Decision Making in the Law - King's College London - June 16, 2017 Message-ID: -------------------------------------------------------------------------- Call for Papers: Evidence & Decision Making in the Law Theoretical, Computational and Empirical Approaches -------------------------------------------------------------------------- ICAIL 2017 Workshop June 16, 2017 King's College London https://icail2017evidencedecision.wordpress.com/ -------------------------------------------------------------------------- The workshop "Evidence & Decision Making in the Law: Theoretical, Computational and Empirical Approaches" is held in conjunction with 2017 ICAIL and aims to foster an interdisciplinary debate on the interactions between evidential reasoning establishing the facts and deliberative decision making determining legal action. In the process, different values must be balanced, in particular accuracy, fairness and efficiency. We invite submissions that make progress in our understanding of the following: (1) Modeling evidential reasoning and decision making at trial (e.g. evidence weighing; conflict resolution; standards of proof and rules of decision); (2) Evidence-based decision making and the architecture of the trial system (e.g. rules of admissibility; discovery procedures; adversary v. inquisitorial models; rules of weight v. free proof); and (3) The role and limitations of expected utility theory, and more generally cost/benefit analysis, for evidence-based decisionmaking. We welcome contributions that address the topics above by applying theoretical, computational and empirical approaches, broadly construed, to the study of the law. The workshop should be of interest to researchers in AI & Law working on legal reasoning, argumentation theory, the interface between probability, psychology and argumentation; legal scholars in evidence law, criminal and civil procedure; the law & economics community; philosophers of law, legal epistemologists, logicians and probability theorists; social scientists, sociologists, economists and anthropologists with an interest in the law. Important dates: Deadline for abstract submission: April 15, 2017 - *extended to* April 25, 2017 Accept/reject notification: April 25, 2017 - *changed to* May 10, 2017 Submissions: Abstracts should be at least 300 words and no more than 500 words Abstracts should be submitted in PDF format Authors should send abstracts to marcello.dibello at lehman.cuny.edu Workshop organizers: Marcello Di Bello, Lehman College - City University of New York Bart Verheij, University of Groningen Please send inquiries to marcello.dibello AT lehman.cuny.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From newsletter at saso-conference.org Wed Apr 12 23:02:11 2017 From: newsletter at saso-conference.org (Markus Esch) Date: Wed, 12 Apr 2017 23:02:11 +0200 Subject: =?utf-8?b?Q2FsbCBmb3IgQ29udHJpYnV0aW9uczogU0FTTyAyMDE3IC0gSUVFRSBJ?= =?utf-8?b?bnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU2VsZi1BZGFwdGl2ZSBh?= =?utf-8?b?bmQgU2VsZi1Pcmdhbml6aW5nIFN5c3RlbXMsIFNlcHRlbWJlciAxOC0y?= =?utf-8?b?MiwgVHVjc29uLCBBcml6b25hIA==?= Message-ID: ************************************************************************* CALL FOR CONTRIBUTIONS The Eleventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017) University of Arizona, Tucson, AZ; 18-22 September 2017 https://saso2017.telecom-paristech.fr/ ************************************************************************* Part of FAS* - Foundation and Applications of Self-* Computing Conferences Collocated with: The International Conference on Cloud and Autonomic Computing (ICCAC 2017) Call for Papers: https://saso2017.telecom-paristech.fr/call_for_papers.html Call for Workshop Papers: https://saso2017.telecom-paristech.fr/workshop_call_for_papers.html Call for Posters and Demos: https://saso2017.telecom-paristech.fr/call_for_posters_and_demos.html Call for Doctoral Symposium: https://saso2017.telecom-paristech.fr/call_for_ds.html ------------------- Important Dates ------------------- Main Conference Abstract Submission: May 1, 2017 Main Conference Paper Submission: May 10, 2017 Main Conference Notification: June 30, 2017 Main Conference Camera-ready copy due: July 12, 2017 Workshop Paper Submission: July 7, 2017 Workshop Paper Notification: July 21, 2017 Workshop Paper Camera-ready copy due: July 26, 2017 Posters and Demos Submission: June 30, 2017 Posters and Demos Notification: July 9, 2017 Posters and Demos Camera-ready copy due: July 12, 2017 Doctoral Symposium Submission: June 10, 2017 Doctoral Symposium Notification: July 1, 2017 Doctoral Symposium Camera-ready copy due: July 12, 2017 Conference: September 18-22, 2017 ------------------- Call for Papers ------------------- https://saso2017.telecom-paristech.fr/call_for_papers.html The aim of the Self-Adaptive and Self-Organizing Systems conference series (SASO) is to provide a forum for the presentation and discussion of research on the foundations of engineered systems that self-adapt and self-organize. The complexity of current and emerging networks, software, and services can be characterized by issues such as scale, heterogeneity, openness, and dynamics in the environment. This has led the software engineering, distributed systems, and management communities to look for inspiration in diverse fields (e.g., complex systems, control theory, artificial intelligence, chemistry, psychology, sociology, and biology) to find new ways of designing and managing such computing systems in a principled way. In this endeavor, self-organization and self-adaptation have emerged as two promising interrelated approaches. They form the basis for many other so-called self-* properties, such as self-configuration, self-healing, or self-optimization. SASO aims to be an interdisciplinary meeting, where contributions from participants with different backgrounds leads to the fostering of a cross-pollination of ideas, and where innovative theories, frameworks, methodologies, tools, and applications can emerge. The eleventh edition of the SASO conference embraces this inter-disciplinary nature, and welcomes novel contributions to both the foundational and application-focused dimensions of self-adaptive and self-organizing systems research. The topics of interest include, but are not limited to: - Systems theory: nature-inspired and socially-inspired paradigms and heuristics; inter-operation of self-* mechanisms; theoretical frameworks and models; control theory; - System properties: robustness; resilience; stability; anti-fragility; diversity; self-reference and reflection; emergent behavior; computational awareness and self-awareness; - Systems engineering: reusable mechanisms and algorithms; design patterns; architectures; methodologies; software and middleware development frameworks and methods; platforms and toolkits; multi-agent systems; - Theory and practice of organization: self-governance, change management, electronic institutions, distributed consensus, commons, knowledge management, and the general use of rules, policies, etc. in self-* systems - Theory and practice of adaptation: mechanisms for adaptation, including evolution, logic, learning; adaptability, plasticity, flexibility - Socio-technical systems: human and social factors; visualization; crowdsourcing and collective awareness; humans-in-the-loop; ethics and humanities in self-* systems; - Data-driven approaches: data mining; machine learning; data science and other statistical techniques to analyze, understand, and manage behavior of complex systems; - Self-adaptive and self-organizing hardware: self-* materials; self-construction; reconfigurable hardware; - Education: experience reports; curricula; innovative course concepts; methodological aspects of self-* systems education; Applications and experiences with self-* systems in any of the following domains are of particular interest: + Smart systems: smart grids, smart cities, smart environments, smart homes, etc. + Industrial automation: embedded self-* systems, adaptive industrial plants, Industry 4.0, cyber physical systems + Transportation: autonomous vehicles, traffic optimization + Autonomous systems: aerial vehicles, undersea vehicles, autonomous robotics + Internet of Things: self-* for network management, self-* applied to cyber security -------------------- Call for Workshop Papers -------------------- https://saso2017.telecom-paristech.fr/workshops.html SASO 2017 presents the following workshops: - Fifth International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASOST 2017) - Fourth IEEE Workshop on Quality Assurance for Self-adaptive, Self-organising Systems (QA4SASO 2017) - Second eCAS Workshop on Engineering Collective Adaptive Systems (ECAS 2017) -------------------- Call for Posters and Demos -------------------- https://saso2017.telecom-paristech.fr/call_for_posters_and_demos.html FAS* conference continues its tradition of offering poster and demo sessions, which are a great opportunity for an interactive presentation of emerging ideas, late-breaking results, experiences, and challenges on FAS* topics. These sessions are informal and highly interactive, and allow authors and participants to engage in in-depth discussions about the presented work from which new collaborations, ideas, and solutions can emerge. Posters should cover the same key areas as Research Papers and present original, cutting-edge ideas inclusive of speculative/provocative ones. Proposals of new research directions and innovative interdisciplinary approaches are also welcome. ---------------------------- Call for Doctoral Symposium ---------------------------- https://saso2017.telecom-paristech.fr/call_for_ds.html The FAS* Doctoral Symposium provides an international forum for PhD students working in research areas addressed by FAS*. In this forum, PhD students will get unique opportunities to subject their research to the scrutiny of external experts, gain experience in the presentation of research, connect to peers and experts addressing similar problems, and get advice from a panel of internationally leading researchers. Different from the technical tracks of the conference, the FAS* Doctoral Symposium focuses on the specific needs of young researchers at the beginning of their career. As such, emphasis will be placed on a critical and constructive feedback that shall help participants to successfully conclude their PhD studies. PhD students working in any area addressed by the FAS* conferences are invited to submit a Doctoral Symposium paper in which they describe the key motivation and objectives of their research project, and reflect on the methodology as well as the current status of their PhD studies. ------------------------------- Conference General Chair ------------------------------- Ada Diaconescu Telecom Paris-Tech, Paris, FR -------------------- Program Chairs -------------------- Peter Lewis, Aston University, Birmingham, UK Sam Malek, University of California, Irvine, USA Hella Seebach, Augsburg University, Augsburg, DE From sara at fc.ul.pt Thu Apr 13 18:03:48 2017 From: sara at fc.ul.pt (Sara Silva) Date: Thu, 13 Apr 2017 17:03:48 +0100 Subject: Extended Deadline 1/May, Call for Papers ALEA - Artificial Life and Evolutionary Algorithms Message-ID: <791cf4d8-14ee-fc19-a59f-890a5dc4a7bd@fc.ul.pt> ***ALEA - Artificial Life and Evolutionary Algorithms** https://web.fe.up.pt/~epia2017/thematic-tracks/alea/* ** *------------------------------------------------------------------** **This year ALEA will take place in Porto, Portugal:** **https://www.google.pt/images?q=porto* *------------------------------------------------------------------ ***NEW* Submission deadline: May 1, 2017* *Conference dates: September 5-8, 2017 **------------------------------------------------------------------* ALEA is dedicated to the theory and applications of Artificial Life (ALife) and Evolutionary Algorithms (EA). It focuses on computational bio-inspired models for studying natural systems, as well as for solving engineering and social problems. Its targets are the ALife community, the EA community, and also researchers and practitioners working in the overlap of these two areas, from computer science to physics, engineering, medicine, biology and economy. ALEA has been a track of the biennial international EPIA conferences since 2003. *Topics of Interest* Artificial Chemistries Artificial Immune Systems Classifier Systems Complex Networks Emergent Behaviours Evolution and Learning Dynamics Evolutionary Algorithms Evolutionary Optimization Evolutionary Robotics Genetic Programming Hyper-heuristics Hybrid Approaches Multi-objective Optimization Origins of Life Parallel Evolutionary Algorithms Self-organizing Systems Swarm Intelligence * * *Important Dates* *NEW* Paper submission deadline: May 1, 2017 Notification of paper acceptance: May 31, 2017 Camera ready papers deadline: June 15, 2017 Conference dates: September 5-8, 2017 *Organizing Committee* Sara Silva, FCUL, Lisbon, Portugal Mauro Castelli, NOVA IMS, UNL, Lisbon, Portugal Leonardo Trujillo, Instituto Tecnológico de Tijuana, Mexico Leonardo Vanneschi, NOVA IMS, UNL, Lisbon, Portugal *Submission, Reviewing and Publication* **Please check the details in the website: *https://web.fe.up.pt/~epia2017/thematic-tracks/alea/* -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Renate.Schmidt at manchester.ac.uk Thu Apr 13 23:31:51 2017 From: Renate.Schmidt at manchester.ac.uk (Renate Schmidt) Date: Thu, 13 Apr 2017 22:31:51 +0100 Subject: TABLEAUX 2017 DEADLINE REMINDER Message-ID: <20170413100851.587b4c35@renate-vb.localnet> FINAL CALL FOR PAPERS TABLEAUX 2017 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods University of Brasilia, Brazil September 25-28, 2017 http://tableaux2017.cic.unb.br/ QUICK REMINDER: The deadline for papers is 25 April (12 days from today) and the deadline for abstract is 18 April (next Tuesday). GENERAL INFORMATION TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableau-based reasoning and related methods is presented. As the first TABLEAUX workshop was held in Lautenbach in 1992, this year's conference will include special events celebrating 25 years of TABLEAUX. The conference will be held in Brasilia from 25-28 September 2017. It will be co-located with both the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) and the 8th International Conference on Interactive Theorem Proving (ITP 2017). TOPICS Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis. Topics of interest include but are not limited to: * tableau methods for classical and non-classical logics (including first-order, higher-order, modal, temporal, description, hybrid, intuitionistic, substructural, relevance, non-monotonic logics) and their proof-theoretic foundations; * related methods (SMT, model elimination, model checking, connection methods, resolution, BDDs, translation approaches); * sequent calculi and natural deduction calculi for classical and non-classical logics, as tools for proof search and proof representation; * flexible, easily extendable, light weight methods for theorem proving; * novel types of calculi for theorem proving and verification in classical and non-classical logics; * systems, tools, implementations, empirical evaluations and applications (provers, logical frameworks, model checkers, ...); * implementation techniques (data structures, efficient algorithms, performance measurement, extensibility, ...); * extensions of tableau procedures with conflict-driven learning, generation of proofs; compact (or humanly readable) representation of proofs; * decision procedures, theoretically optimal procedures; * applications of automated deduction to mathematics, software development, verification, deductive and temporal databases, knowledge representation, ontologies, fault diagnosis or teaching. We also welcome papers describing applications of tableau procedures to real world examples. Such papers should be tailored to the tableau community and should focus on the role of reasoning, and logical aspects of the solution. CELEBRATING 25 YEARS To celebrate 25 years TABLEAUX the conference will include a special session of invited talks by Wolfgang Bibel and Reiner Haehnle. INVITED SPEAKERS: Wolfgang Bibel Technische Universitaet Darmstadt, Germany (anniversary session) Carlos Areces FaMAF - Universidad Nacional de Cordoba, Argentina Katalin Bimbo University of Alberta, Canada (with FroCoS and ITP) Jasmin Blanchette Inria and LORIA, Nancy, France (with FroCoS and ITP) Reiner Haehnle Technische Universitaet Darmstadt, Germany (anniversary session) Cezary Kaliszyk Universitaet Innsbruck, Austria (with FroCoS and ITP) WORKSHOPS AND TUTORIALS There will be a three-day programme of four workshops and four tutorials from 23-25 September. Workshops: 12th Logical and Semantic Frameworks with Applications (LSFA 2017) Sandra Alves, Renata Wassermann, Flavio L. C. de Moura 23 and 24 September 2017 Proof eXchange for Theorem Proving (PxTP) Catherine Dubois, Bruno Woltzenlogel Paleo 23 and 24 September 2017 EPS - Encyclopedia of Proof Systems Giselle Reis, Bruno Woltzenlogel Paleo 24 and 25 September 2017 DaLi - Dynamic Logic: new trends and applications Mario Benevides, Alexandre Madeira 24 September 2017 Tutorials: Proof Compressions and the conjecture NP = PSPACE Lew Gordeev, Edward Hermann Haeusler 23 September 2017 General methods in proof theory for modal and substructural logics Bjoern Lellmann, Revantha Ramanayake 24 September 2017 From proof systems to complexity bounds Anupam Das 25 September 2017 PVS for Computer Scientists Cesar Munoz, Mauricio Ayala-Rincon, Mariano Moscato 25 September 2017 Details are published in separate calls and on the conference website. POSTER SESSION There will be a joint poster session for TABLEAUX 2017, FroCos 2017, and ITP 2017. The session is intended for descriptions of work in progress, student projects and relevant research being published elsewhere. The deadline for posters submission is June 15, 2017. More details can be found at http://tableaux2017.cic.unb.br/#postersession. PUBLICATION DETAILS The conference proceedings will published in the Springer LNAI/LNCS series, as in previous editions. SUBMISSIONS Submissions are invited in two categories: A Research papers, which describe original theoretical research, original algorithms, or applications, with length up to 15 pages. B System descriptions, with length up to 9 pages. Submissions will be reviewed by the PC, possibly with the help of external reviewers, taking into account readability, relevance and originality. For category A, theoretical results and algorithms must be original, and not submitted for publication elsewhere. Submissions will be reviewed taking into account correctness, theoretical elegance, and possible implementability. For category B submissions, a working implementation must be accessible via the internet, which includes sources. The aim of a system description is to make the system available in such a way that users can use it, understand it, and build on it. Accepted papers in both categories will be published in the conference proceedings. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system: https://easychair.org/conferences/?conf=tableaux2017. For all accepted papers at least one author is required to attend the conference and present the paper. A paper title and a short abstract of about 100 words must be submitted before the paper submission deadline. Further information about paper submissions will be made available at the conference website. Be aware that neither plagiarism, nor self-plagiarism, nor duplicate publication is acceptable. Formatting instructions and the LNCS style files can be obtained via http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines BEST PAPER AWARD The TABLEAUX 2017 Best Paper Award will be presented to the best submission nominated and chosen by the Program Committee among the accepted papers. The eligibility criteria will place emphasis on the originality and significance of the contribution, but readability and the overall technical quality, including correctness and completeness of results, will also be considered. The TABLEAUX Best Paper Award was established in 2015 and is a permanent initiative of TABLEAUX. IMPORTANT DATES 18 Apr 2017 Abstract submission 25 Apr 2017 Paper submission 8 Jun 2017 Notification of paper decisions 3 Jul 2017 Camera-ready papers due 23-25 Sep 2017 Workshops & Tutorials 25-28 Sep 2017 TABLEAUX Conference PROGRAM COMMITTEE Peter Baumgartner National ICT Australia, Canberra Maria Paola Bonacina Universita degli Studi di Verona Laura Bozzelli Universidad Politecnica de Madrid Torben Brauener Roskilde University Serenella Cerrito Ibisc, Universite d'Evry Val d'Essonne Agata Ciabattoni Technische Universitaet Wien Clare Dixon University of Liverpool Pascal Fontaine LORIA, INRIA, Universite de Lorraine Didier Galmiche LORIA, Universite de Lorraine Martin Giese Universitetet i Oslo Laura Giordano DISIT, Universita del Piemonte Orientale Rajeev Gore The Australian National University Volker Haarslev Concordia University George Metcalfe Universitaet Bern Angelo Montanari Universita degli Studi di Udine Barbara Morawska Technische Universitaet Dresden Boris Motik University of Oxford Leonardo de Moura Microsoft Research Neil Murray SUNY at Albany Claudia Nalon Universidade de Brasilia Linh Anh Nguyen Uniwersytet Warszawski Hans de Nivelle Uniwersytet Wroclawski Nicola Olivetti LSIS, Aix-Marseille Universite Jens Otten Universitetet i Oslo Valeria de Paiva Nuance Communications Nicolas Peltier Centre National de la Recherche Scientifique, Laboratoire d'Informatique de Grenoble Elaine Pimentel Universidade Federal do Rio Grande do Norte Giselle Reis Carnegie Mellon University-Qatar Philipp Ruemmer Uppsala Universitet Katsuhiko Sano Hokkaido University Renate Schmidt The University of Manchester Cesare Tinelli The University of Iowa Alwen Tiu Nanyang Technological University David Toman University of Waterloo Josef Urban Ceske vysoke uceni technicke v Praze LOCAL CONFERENCE ORGANIZATION COMMITTEE Claudia Nalon, Universidade de Brasilia, Brazil Daniele Nantes Sobrinho, Universidade de Brasilia, Brazil Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brazil Joao Marcos, Universidade Federal do Rio Grande do Norte, Brazil CONFERENCE CHAIR Claudia Nalon, University of Brasilia, Brazil PC CHAIRS Claudia Nalon, University of Brasilia, Brazil Renate Schmidt, The University of Manchester, UK From demri at lsv.ens-cachan.fr Fri Apr 14 17:34:25 2017 From: demri at lsv.ens-cachan.fr (=?utf-8?Q?St=C3=A9phane_DEMRI?=) Date: Fri, 14 Apr 2017 17:34:25 +0200 Subject: TIME 2017 Final call for papers Message-ID: (sorry for multiple copies) ------------------------------------------------------------------------- TIME 2017 24th International Symposium on Temporal Representation and Reasoning Mons (Belgium), 16-18 October 2017 Final Call for Papers http://informatique.umons.ac.be/time2017/ ------------------------------------------------------------------------- Aims and scope -------------- TIME 2017 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 24th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification. The Artificial Intelligence track includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web - constraint-based temporal reasoning - temporal preferences The Database track includes, but is not limited to: - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of business processes and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - temporal aspects and big data - temporal aspects in NoSQL databases - temporal data warehouses - temporal healthcare databases and warehouses - time series analysis and mining - semistructured temporal data - novel applications of temporal database management - novel visualizations and interfaces for temporal data - experiences with real applications The Logic and Verification track includes, but is not limited to: - specification and verification of systems - verification of web applications - synthesis and execution - model-checking algorithms and implementations - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics for games and open systems - temporal logics of knowledge - hybrid systems and real-time logics - cyber-physical systems - tools and practical systems - temporal issues in security Submission and publication -------------------------- Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. Detailed submission instructions can be found on the website of TIME 2017: http://informatique.umons.ac.be/time2017/ Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics, which is a series of high-quality peer-reviewed conference proceedings, published according to the principle of OpenAccess. At least one author of each accepted paper must register at the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their contribution to a special issue of the journal Theoretical Computer Science. Important Dates --------------- Abstracts due: May 8, 2017 Full papers due: May 12, 2017 Notification: June 27, 2017 Final version due: July 14, 2017 Symposium: October 16-18, 2017 Program Committee Chairs ------------------------ Sven Schewe, University of Liverpool, UK Thomas Schneider, University of Bremen, Germany Jef Wijsen, University of Mons, Belgium Program Committee ----------------- - Johann Eder (Alpen Adria Universität Klagenfurt, Austria) - Fabio Grandi (University of Bologna, Italy) - Ernst Moritz Hahn (State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China) - Michael R. Hansen (Technical University of Denmark, Denmark) - Fredrik Heintz (Linköping University, Sweden) - Marcin Jurdzinski (University of Warwick, UK) - Roman Kontchakov (Birkbeck, University of London, UK) - Jan Kretínský (Technical University of Munich, Germany) - Bart Kuijpers (Hasselt University, Belgium) - Martin Lange (University of Kassel, Germany) - Martin Leucker (University of Lübeck, Germany) - Cláudia Nalon (University of Brasília, Brazil) - Andrea Orlandini (National Research Council of Italy ISTC-CNR, Italy) - Doron Peled (Bar Ilan University, Israel) - Roberto Posenato (Università degli Studi di Verona, Italy) - Jean-François Raskin (Université Libre de Bruxelles, Belgium) - Peter Z. Revesz (University of Nebraska-Lincoln, USA) - Mark Reynolds (The Univeristy of Western Australia, Australia) - Sven Schewe (University of Liverpool, UK) - Renate A. Schmidt (University of Manchester, UK) - Thomas Schneider (University of Bremen, Germany) - Paolo Terenziani (University Piemonte Orientale, Italy) - David Toman (University of Waterloo, Canada) - Kristian Torp (Aalborg University, Denmark) - Alejandro A. Vaisman (Instituto Tecnológico de Buenos Aires, Argentina) - Kristen B. Venable (Tulane University, USA) - Jef Wijsen (University of Mons, Belgium) - Stefan Wölfl (University of Freiburg, Germany) - Martin Zimmermann (Saarland University, Germany) Invited Speakers ---------------- Alessandro Artale, Free University of Bozen-Bolzano, Italy Javier Esparza, Technical University of Munich, Germany Sheila McIlraith, University of Toronto, Canada Venue ----- TIME 2017 will take place in Mons, a beautiful city in the French-speaking part of Belgium, and a former European Capital of Culture. From shiloviis at mail.ru Sat Apr 15 13:41:32 2017 From: shiloviis at mail.ru (=?UTF-8?B?U2hpbG92IE5pa29sYXk=?=) Date: Sat, 15 Apr 2017 14:41:32 +0300 Subject: =?UTF-8?B?UHJvZ3JhbSBTZW1hbnRpY3MsIFNwZWNpZmljYXRpb24gYW5kIFZlcmlmaWNh?= =?UTF-8?B?dGlvbiBQU1NWLTIwMTc6IG5ldyBkYXRlcyBhbmQgdmVudWUu?= Message-ID: <1492256492.568006172@f353.i.mail.ru> Eighth Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2016, June 26, 2017 - new date! - http://persons.iis.nsk.su/en/pssv2017) Past Workshop pages: http://pssv-conf.ru Call for Papers The workshop will be held at the Faculty of Computational Mathematics and Cybernetics of Lomonosov Moscow State University https://cs.msu.ru/en (new venue!) in Moscow, Russia in affiliation with A.P. Ershov Informatics Conference (the PSI Conference Series, 11th edition, June 27–29, 2017, PSI-2017, http://psi.ispras.ru/) *Workshop language: English. - Extended abstract submission: April 24, 2017 (- extended date!) - Notification: May 21, 2017 - Final versions of accepted extended abstracts for pre-workshop publication: June 04, 2017 - Registration on site on June 26, 2017 - Workshop: June 26, 2017 - Revised papers submission to review for post-workshop publication: September 20, 2017 *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. *Invited Speakers: - Alexander V. Kogtenkov (ETH Zurich, Switzerland, and Eiffel Software, USA), - Victor V. Kuliamin (Institute for System Programming, Moscow, Russia), - Irina A. Lomazova (Higher School of Economics, Moscow, Russia). *Program Committee: - Natasha Alechina (University of Nottingham, UK), - Sergey Baranov (St.Petersburg Institute for Informatics and Automation, Russia), - Alexander Bolotov (University of Westminster, UK), - Mohamed Elwakil (Northern Arizona University Flagstaff, US), - Nina Evtushenko (Tomsk State University, Russia), - Vladimir Itsykson (St. Petersburg State Polytech. University, Russia), - Igor Konnov (Institute of Information Systems, TU Wien, Austria), - Victor Kuliamin (Institute for System Programming, Moscow, Russia), - Alexei Lisitsa (University of Liverpool, UK), - Irina Lomazova (Higher School of Economics, Moscow, Russia), - Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia), - Ruslan Smelyansky (Moscow State University, Russia), - Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia). *Program Co-Chairs - Nikolay Shilov (Innopolis University, Kazan, Russia, n.shilov(at)innopolis.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) *Submission and Publication Program Committee invites submissions 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. Submissions should be via EasyChair conference system (https://easychair.org/conferences/?conf=pssv2017). All accepted papers will be published in the preliminary proceedings before the workshop. Selected papers will be published after the workshop in one of Russian peer-review journals. At least one author of every accepted paper should present a talk in the workshop. *Registration and Visa Issues: PSSV and PSI registrations are independent (i.e. they don't assume cross-participation). In case of a need of visa support - please visit registration page of PSI conference at http://psi.ispras.ru/en/registration.html   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wjamroga at in.tu-clausthal.de Sat Apr 15 15:01:16 2017 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Sat, 15 Apr 2017 15:01:16 +0200 Subject: Call for Participation: 19th European Agent Systems Summer School (EASSS-2017) Message-ID: <9524624e-6ad1-8558-620d-a0dbb3df64ef@in.tu-clausthal.de> *********************************************************************** * CALL FOR PARTICIPATION * 19th European Agent Systems Summer School (EASSS-2017) to be held at the University of Gdańsk, Poland 7-11 August 2017 http://easss2017.ipipan.waw.pl/ *********************************************************************** ABOUT EASSS-2017 Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a highly successful forum for knowledge exchange between researchers in the field of autonomous agents and multi-agent systems. The previous editions of EASSS took place in Catania (2016), Barcelona (2015), Chania (2014), London (2013), Valencia (2012), Girona (2011), Saint-Etienne (2010), Turin (2009), Lisbon (2008), Durham (2007), Annecy (2006), Utrecht (2005), Liverpool (2004), Bologna (2003), Barcelona (2002), Prague (2001), Saarbruecken (2000), and Utrecht (1999). The 19th European Agent Systems Summer School will be held at the University of Gdansk, Poland, from the 7th to the 11th of August 2017. As was the case with the earlier editions, EASSS-2017 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-Agent Systems. The courses are aimed at advanced Master’s students, PhD students, and other young researchers, and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/). TUTORIAL PROGRAM Assignment Problems: From Classical Mechanism Design to Multi-Agent Systems Aris Filos-Ratsikas (University of Oxford) Automated Security Analysis for Multi-agent Systems Alessandro Bruni and Carsten Schürmann (IT University of Copenhagen) Constraints and Changes in Argumentation: State of the Art and Challenges of Argumentation Dynamics Sylvie Doutre and Jean-Guy Mailly (Université Toulouse 1 Capitole – IRIT / Université Paris Descartes – LIPADE) Cooperative Games in Structured Environments Georgios Chalkiadakis (Technical University of Crete), Gianluigi Greco (University of Calabria), and Evangelos Markakis (Athens University of Economics and Business) Decision Making for Artificial Intelligence Paolo Turrini (Imperial College London) Dynamic Epistemic Logic and Its Applications to Plan/Protocol Synthesis Sophie Pinchinat (Université de Rennes) and François Schwarzentruber (École normale supérieure de Rennes) Engineering Machine Ethics Marija Slavkovik (University of Bergen) Game Theory Ulle Endriss (University of Amsterdam) Introduction to Judgment Aggregation Umberto Grandi (Université Toulouse 1 Capitole - IRIT) Modelling and Analysis of Cyber-Social Systems Christian W. Probst (Technical University of Denmark) Multi-Agent Reinforcement Learning and Dynamics of Learning Daan Bloembergen (University of Liverpool) Predicting Human Decision-Making: Tools of the Trade Ariel Rosenfeld (Bar-Ilan University) Probabilistic Model Checking Marta Kwiatkowska (University of Oxford) Specification and Verification of Multi-Agent Systems Wojciech Penczek and Michal Knapik (Polish Academy of Sciences) IMPORTANT DATES Applications for student grants: 5 June 2017 Notification of grant approval: 15 June 2017 Early registration: 20 June 2017 Late registration: 25 July 2017 Summer school: 7-11 August, 2017 REGISTRATION FEES Early registration 320 EUR Regular registration 360 EUR On-site registration 390 EUR The fee covers participation in the courses, coffee breaks, and online access to the materials. It also includes the lunch on Monday, Tuesday and Wednesday. The lunch on Wednesday and Friday, as well as the social event on Wednesday evening, will be included in the fee if the funds allow. STUDENT GRANTS As in the previous years, we are going to offer some student grants to cover the early registration fee. More details will be provided soon. ABOUT GDANSK Gdansk is a lively city in the North of Poland, on the coast of the Baltic Sea. It is one of the country’s main academic centres, as well as one of the top tourist destinations. Highlights include the medieval Hanseatic old town, a beautiful beach on the Baltic, the early 1900s spa resort of Sopot, and the Solidarity museum in the former Gdansk shipyard. The city has direct flight connections from many destinations in Europe, including cheap flights by Ryanair and Wizzair. The summer school will take place at the Oliwa Campus of the University of Gdansk. SCIENTIFIC COMMITTEE – Umberto Grandi, IRIT – Université Toulouse 1 Capitole, France – Wojtek Jamroga, Polish Academy of Sciences, Poland – Brian Logan, University of Nottingham, UK MORE INFO & CONTACT The most up-to-date information about the summer school is available at the EASSS’17 website: http://easss2017.ipipan.waw.pl/ . Should you have any questions, please contact us at easss2017 at ipipan.waw.pl -- Prof. Dr. Wojciech Jamroga Associate Professor Institute of Computer Science, Polish Academy of Sciences http://krak.ipipan.waw.pl/~wjamroga/ From grlmc at grlmc.com Sun Apr 16 01:48:41 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 16 Apr 2017 01:48:41 +0200 Subject: AlCoB 2017: call for posters Message-ID: <545102060a010b000050570500005a075b0753560057010455560e5207525a0751555000075c5552555f5503575753@grlmc_ip-zone_com-6> AlCoB 2017: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 4th International Conference on Algorithms for Computational Biology (AlCoB 2017) invites researchers to submit poster presentations. AlCoB 2017 will be held in Aveiro (Portugal) on June 5-6, 2017. See  http://grammars.grlmc.com/AlCoB2017/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: April 28, 2017 Notification of poster acceptance or rejection: May 5, 2017 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2017 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2017. However, they will be eligible for submission to the post-conference journal special issue in the Journal of Computational Biology (2015 JCR impact factor: 1.537). REGISTRATION At least one author of each accepted poster must register to the conference by May 22, 2017. The registration fare is reduced: 260 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cie2017 at abo.fi Tue Apr 18 10:56:35 2017 From: cie2017 at abo.fi (CIE2017) Date: Tue, 18 Apr 2017 11:56:35 +0300 Subject: CiE 2017: call for informal presentations Message-ID: <12392917-01df-2cc9-44cf-2f3cbb0796cd@abo.fi> Call for informal presentations *Computability in Europe 2017*, June 12-16, Turku, Finland http://math.utu.fi/cie2017/ Important dates • Submission deadline: May 1, 2017 • Notification of acceptance: Within two weeks of submission There is a remarkable difference in conference style between computer science and mathematics conferences. Mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. The format of computer science conferences with pre-conference proceedings is not able to accommodate this form of scientific communication. Continuing the tradition of past CiE conferences, also this year’s CiE conference endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to present informal presentations. For this, please send us a brief description of your talk (one page) by the submission deadline May 1st. Please submit your abstract electronically, via EasyChair , selecting the category “Informal Presentation”. You will be notified whether your talk has been accepted for informal presentation within two weeks after your submission. Jarkko Kari and Ion Petre (PC co-chairs of CiE 2017) cie2017 at utu.fi -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From asdm at fi.upm.es Tue Apr 18 12:41:12 2017 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Tue, 18 Apr 2017 12:41:12 +0200 (CEST) Subject: Twelfth Madrid UPM Advanced Statistics and Data Mining Summer School (June 26th - July 7th, 2017) - Early registration reminder Message-ID: <152005629.12.1492512072963.JavaMail.bmihaljevic@morelia> Dear colleagues, We would like to remind you that early registration for the Madrid UPM Advanced Statistics and Data Mining summer school is open until June 5th. The summer school will be held in Boadilla del Monte, near Madrid, from June 26th to July 7th. 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. For the third time in a row, INOMICS has selected our summer school as one of the world's top ten summer schools in mathematics and statistics. You can read more at http://bit.ly/2oR00GI Early registration is *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 Larranaga, Concha Bielza, Bojan Mihaljevic and Alberto Ogbechie. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 26th - June 30th, 2017) * 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: 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. 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: 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. * Week 2 (July 3rd - July 7th, 2017) * 1st session: 9:45-12:45 Course 7: Statistical Inference (15 h) Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrap methods. Introduction to Robust Statistics. Practical demonstration: R. Course 8: Big Data with Apache Spark (15 h) Introduction. Spark framework and APIs. Data processing with Spark. Spark streaming. Machine learning with Spark MLlib. 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. If you wish to stop receiving emails regarding the Madrid UPM Advanced Statistics and Data Mining summer school, please reply to this email with the title STOP. From andrei.paskevich at lri.fr Tue Apr 18 13:36:13 2017 From: andrei.paskevich at lri.fr (Andrei Paskevich) Date: Tue, 18 Apr 2017 13:36:13 +0200 Subject: VSTTE 2017 - Second Call for Papers Message-ID: <20170418113613.jqlqfpzuj7qkhpm6@tikki.lri.fr> 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) https://vstte17.lri.fr July 22-23, 2017, Heidelberg, Germany Co-located with the 29th International Conference on Computer-Aided Verification, CAV 2017 Important Dates * Abstract submission: Mon, Apr 24, 2017 * Full paper submission: Mon, May 1, 2017 * Notification: Mon, Jun 5, 2017 * VSTTE: Sat-Sun, Jul 22-23, 2017 * Camera-ready: Mon, Aug 21, 2017 Overview The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We also welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest for VSTTE include education, requirements modeling, specification languages, specification/verification/certification case studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. Paper Submissions We accept both long (limited to 16 pages) and short (limited to 10 pages) paper submissions. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Each submission will be evaluated by at least three members of the Program Committee. We expect that one author of every accepted paper will present their work at the conference. Paper submissions must be written in English using the LNCS LaTeX format (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and must include a cogent and self-contained description of the ideas, methods, results, and comparison to existing work. Papers will be submitted via EasyChair at the VSTTE 2017 conference page (https://www.easychair.org/conferences/?conf=vstte2017). The post-conference proceedings of VSTTE 2017 will be published in the LNCS series. Authors of accepted papers will be requested to sign the copyright transfer form. A selection of best papers will be invited for publication in the Journal of Automated Reasoning. Invited Speakers * Christoph Weidenbach (Max Planck Institute for Informatics, Germany) * Santiago Zanella-Beguelin (Microsoft Research, UK) Program Committee * June Andronick (University of New South Wales, Australia) * Christel Baier (TU Dresden, Germany) * Sandrine Blazy (Université de Rennes 1, France) * Arthur Charguéraud (Inria, France) * Ernie Cohen (Amazon Web Services, USA) * Rayna Dimitrova (MPI-SWS, Germany) * Carlo A. Furia (Chalmers University of Technology, Sweden) * Arie Gurfinkel (University of Waterloo, Canada) * Hossein Hojjat (Rochester Institute of Technology, USA) * Marieke Huisman (University of Twente, Netherlands) * Bart Jacobs (KU Leuven, Belgium) * Rajeev Joshi (NASA Jet Propulsion Laboratory, USA) * Zachary Kincaid (Princeton University, USA) * Akash Lal (Microsoft Research, India) * Shuvendu Lahiri (Microsoft Research, USA) * Francesco Logozzo (Facebook, USA) * Peter Müller (ETH Zürich, Switzerland) * Jorge A. Navas (SRI International, USA) * Scott Owens (University of Kent, UK) * Andrei Paskevich (Université Paris-Sud, France), co-chair * Gerhard Schellhorn (Universität Augsburg, Germany) * Peter Schrammel (University of Sussex, UK) * Natarajan Shankar (SRI International, USA) * Mihaela Sighireanu (Université Paris-Diderot, France) * Julien Signoles (CEA LIST, France) * Michael Tautschnig (Queen Mary University of London, UK) * Tachio Terauchi (JAIST, Japan) * Oksana Tkachuk (NASA Ames Research Center, USA) * Mattias Ulbrich (Karlsruhe Institute of Technology, Germany) * Thomas Wies (New York University, USA), co-chair From rl.stpuu at gmail.com Tue Apr 18 14:30:46 2017 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Tue, 18 Apr 2017 14:30:46 +0200 Subject: CfP Extended Deadline: LACompLing2017 - Logic and Algorithms in Computational Linguistics 2017 Message-ID: ================================================= CALL FOR PAPERS Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017) Stockholm, August 16-19, 2017 http://staff.math.su.se/rloukanova/LACompLing17.html * Extended submission deadline for regular papers: April 30, 2017 * ================================================ Affiliated with the 26th Annual EACSL Conference on Computer Science Logic CSL'2017 Stockholm, 20--26 August 2017 Co-located with: Logic in Stockholm 2017 https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 ================================================= 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 LACompLing2017 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 for regular papers: April 30, 2017 (new) Notification of paper acceptance: May 31, 2017 Abstracts of short presentations: June 4, 2017 Notifications for short presentations: June 12, 2017 Deadline for final submissions: June 25, 2017 Workshop: August 16-19, 2017 SUBMISSION INSTRUCTIONS == - Regular papers: between 10-15 pages, including figures and references, by using LaTeX, with article.sty: \documentclass[a4paper,11pt]{article} - Abstracts of short presentations: not more than 1 page, by using LaTeX, with article.sty: \documentclass[a4paper,11pt]{article} - We invite original papers that are not submitted concurrently to another conference or for publication elsewhere - The submissions of proposed papers and abstracts of short presentations have to be in pdf - The camera-ready submissions require the pdf of the papers and their LaTeX sources The submissions are via the EasyChair management system of LACompLing2017: https://easychair.org/conferences/?conf=lacompling2017 PUBLICATIONS == - The proceedings of LACompLing2017 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 LACompLing2017, will be published by the Journal of Logic, Language and Information, JoLLI, after the workshop. ORGANIZERS == Krasimir Angelov, University of Gothenburg, Sweden Valeria de Paiva, Nuance Communications, USA Kristina Liefke, Ludwig-Maximilians-University Munich, Germany Roussanka Loukanova, Stockholm University, Sweden (chair) Michael Moortgat, Utrecht University, The Netherlands Reinhard Muskens, Tilburg University, The Netherlands CONTACT == Roussanka Loukanova (rloukanova at gmail.com) Valeria de Paiva (valeria.depaiva at gmail.com) -------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rl.stpuu at gmail.com Tue Apr 18 18:03:06 2017 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Tue, 18 Apr 2017 18:03:06 +0200 Subject: Logic in Stockholm 2017: Call for Submissions and Participation Message-ID: ------------------------------------------------------------------- Logic in Stockholm 2017 August 7-25, 2017, Stockholm, Sweden https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 ------------------------------------------------------------------- Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events: ------------ August 7–11, 2017 The Third Nordic Logic Summer School, NLS 2017, under the auspices of the Scandinavian Logic Society (SLS) https://www.math-stockholm.se/en/konferenser-och-akti/logic- in-stockholm-2/nls-summer-school-in Submission of abstracts for presentations and posters: Closing: May 2, 2017 Notification of acceptance: May 9, 2017 Grant applications: Deadline for applications: April 24, 2017 Notification: May 9, 2017 ------------ August 14–20, 2017 The 2017 ASL European Summer Meeting (Logic Colloquium), LC 2017, under the auspices of the Association of Symbolic Logic (ASL) https://www.math-stockholm.se/en/konferenser-och-akti/logic- in-stockholm-2/logic-colloquium-201 Submissions: Abstracts: May 5, 2017 Notification: May 19, 2017 Grant applications: Deadline for applications: May 8, 2017 ------------ August 20–24 The 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, under the auspices of the European Association for Computer Science Logic (EACSL) https://www.math-stockholm.se/en/konferenser-och-akti/logic- in-stockholm-2/26th-eacsl-annual-co Open Submissions: Abstracts of short presentations: June 4, 2017 Joint LC 2017 and CSL 2017 special session: August 20, 2017 Satellite workshops: August 16–19 & 25, 2017 https://www.math-stockholm.se/en/konferenser-och-akti/logic- in-stockholm-2/26th-eacsl-annual-co/csl-2017-affiliated- workshops-august-16-19-and-25-1.717706 ------------ August 16–19 Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing2017 http://staff.math.su.se/rloukanova/LACompLing17.html Submission of regular papers: April 30, 2017 (extended) Notification: May 31, 2017 Abstracts of short presentations: June 4, 2017 Notifications for short presentations: June 12, 2017 Final submissions: June 25, 2017 Workshop: August 16–19, 2017 ------------ August 25 Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2017 http://www.cs.nott.ac.uk/~psznza/lamas17/ Submission: June 4 2017 Notification: June 15 2017 Workshop: August 25 2017 ------------ August 25 Workshop on Logic and Automata Theory in memory of Zoltán Ésik ------------------------------------------------------------------- Registration is open for all events: https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 ------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From berndt at uni-trier.de Wed Apr 19 11:55:15 2017 From: berndt at uni-trier.de (Berndt, Jan Ole, Dr.-Ing.) Date: Wed, 19 Apr 2017 09:55:15 +0000 Subject: CfP: MATES 2017 - Extended deadline: May 7, 2017 Message-ID: [Apologies if you receive this more than once] Please forward this CfP to anyone who might be interested. ####################################################################### == CALL FOR PAPERS == == == SUBMISSION DEADLINE EXTENDED: Sun, May 7, 2017 == == == MATES 2017 == 15th German Conference on Multiagent System Technologies == Wed-Sat, August 23 - 26, 2017 == Leipzig, Germany == == http://mates2017.uni-trier.de == == MATES is the second best CORE ranked agent technology conference worldwide. == == == Co-located with the 2017 IEEE/WIC/ACM International Conference on == Web Intelligence (WI 2017) == http://webintelligence2017.com/ == == *** CONFIRMED COMMON KEYNOTE SPEAKERS *** == Raj Reddy (Turing Award Winner 1994): The Ultimate Web Intelligence: == Computational Social Science == Amit Sheth: Semantic, Cognitive, and Perceptual Computing - three == intertwined strands of a golden braid of intelligent computing == Cristiano Castelfranchi: Cognition & Self-Organization in a Hybrid == Society & Coupled Reality: The role of AI == Frank Leymann: Loose Coupling and Architectural Implications == Matthias Klusch: Intelligent Agents and Semantic Technologies for == Industry 4.0: Showcases and Challenges ==================================================================== == Extended submission deadline regular papers: Sun, May 7, 2017 == at https://easychair.org/conferences/?conf=mates2017 ==================================================================== Aims and Scope ============== The MATES conference aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems (MAS). It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in agent-based computing with prototyped or fielded systems in various application domains. MATES 2017 will offer a competitive set of special topical sessions, PhD mentoring track, invited keynotes by distinguished experts, and issues a Best Paper Award. The proceedings are published by Springer in its LNAI (Lecture Notes in Artificial Intelligence) subseries of the LNCS (Lecture Notes in Computer Science) series. Topics of Interest ================== MATES 2017 covers all areas of intelligent agents and multiagent system technologies. The topics of interest include, but are not limited to: - Multiagent platforms and tools - Agent communication languages - Validation and verification of (multi)agent technologies - Agent-oriented software engineering, model-driven design of MAS - Standards for agents and MAS - MAS: Conventions, norms, institutions, trust and reputation - Advanced theories of collaboration: Modelling and formation of agent teams, groups, coalitions, and organizations - Adaptive agents and multiagent learning - Agent-based simulation of complex systems and applications - Agent-based modeling and social simulation - Mobile agents - Autonomous robots and robot teams - Human-agent teamwork (Humans, software agents, robots, animals, animoids) - Embodied conversational actors and believable agents, and user modelling - Recommender agents - Agent-based planning and scheduling - Agent-based information retrieval - Agent-based distributed data mining - Agent-based service discovery, composition, negotiation - Agents for the semantic Web - Agents for the social Web - Agents for the Internet of Services - Agents for the Internet of Things, pervasive computing - Agents for cloud computing - Ethical aspects of (multi)agent systems design and deployment - Prototyped or fielded agent-based applications in various domains (e.g. e-business, e-health, e-government, automotive, smart city, smart grids, renewable energy). MATES PhD mentoring track ========================= The MATES PhD mentoring (doctoral consortium) is meant to support PhD students working in the area of web intelligence. It offers a platform to researchers in all stages of their PhD studies to present and discuss their ideas in a professional academic environment. The program provides an opportunity to PhD students to interact with their peers as well as with experienced researchers in the field, and to receive valuable feedback on their work and advice for their future careers. In particular, each student will be assigned a member of the WI doctoral consortium committee, who is an experienced researcher in the relevant field and will be available for personal interactions during the day of the MATES PhD mentoring track. More information is to be found on the MATES homepage. The main goals of the PhD mentoring session are - to give PhD researchers an opportunity to get feedback and suggestion on their work from experienced researchers and their peers. - to interact with other PhD researchers and to get an overview of the field of multi-agent systems. - to get advice for their (academic) career. - to provide networking opportunities. PhD-Paper Submission: ---------------------- Submissions to the PhD mentoring session (PhD short papers) should provide information on the following aspects of the PhD work: - Motivation - State of the Art - Methodical approach - Preliminary results/findings (optional - Affiliation and contact details of the PhD supervisor PhD papers can be up to 6 pages long, written in English and formatted according to the Springer LNCS style (see below). The selection process takes into account the quality of the submitted PhD short paper which will be peer-reviewed by members of the MATES PhD mentoring program committee. The PhD short papers must be submitted electronically via e-mail to Alexander Pokahr: pokahr at informatik.uni-hamburg.de Rene Schumann: rene.schumann at hevs.ch Presentation and Publication: ----------------------------- All accepted PhD short papers will be assigned a slot for oral presentation during the MATES PhD mentoring session. In addition, a selected set of these accepted papers describing original, unpublished work mature enough for publication will be included in the MATES proceedings. Invited Speakers ================ Together with Web Intelligence 2017 MATES 2017 provides keynotes from renowned experts on up-to-date topics: * Raj Reddy (Turing Award Winner 1994): The Ultimate Web Intelligence: Computational Social Science * Amit Sheth: Semantic, Cognitive, and Perceptual Computing - three intertwined strands of a golden braid of intelligent computing * Cristiano Castelfranchi: Cognition & Self-Organization in a Hybrid Society & Coupled Reality: The role of AI * Frank Leymann: Loose Coupling and Architectural Implications * Matthias Klusch: Intelligent Agents and Semantic Technologies for Industry 4.0: Showcases and Challenges Regular Paper Submission and Publication ================================ The MATES proceedings are published by Springer as a volume of the LNAI (Lecture Notes in Artificial Intelligence) subseries of the LNCS (Lecture Notes in Computer Science) series. http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Submitted papers, which have to be in English, must not exceed 16 pages (full) or 8 pages (short) in Springer LNCS style, PDF. Over-length submissions will be rejected without review. Submissions are expected to report on novel research that makes a substantial technical contribution to the field. In particular, submitted research must be unpublished and not under review in any other conference or journal. Please submit your contribution using EasyChair via the following link and follow the submission guidelines on the conference website. https://easychair.org/conferences/?conf=mates2017 For an accepted paper to be published in the proceedings, at least one of the authors will be required to register for the conference. Important Dates =============== Deadline for Submission: Sun, May 7, 2017 (Regular Papers, EXTENDED) Deadline for Submission: Sun, May 14, 2017 (PhD-Track Papers) Notification of Authors: Fri, June 2, 2017 Camera-Ready Papers: Sun, June 18, 2017 Conference: Wed-Sat, August 23-26, 2017 Conference Organisation ======================= General Chairs: Jan Ole Berndt (Trier University, Germany) Paolo Petta (OFAI and University of Vienna, Austria) Rainer Unland (University of Duisburg-Essen, Germany) Honorary Chairs: Ana L. C. Bazzan (Federal University of Rio Grande do Sul, Brazil) Maria L. Gini (University of Minnesota, USA) Andrea Omicini (University of Bologna, Italy) Doctoral Consortium Chairs: Alexander Pokahr (University of Hamburg, Germany) Rene´ Schumann (HES-SO Valais-Wallis, Switzerland) Program Committee: Karl Aberer (EPF Lausanne, Switzerland) Thomas Agotnes (University of Bergen, Norway) Sebastian Ahrndt (DAI Lab, Berlin University of Technology, Germany) Matteo Baldoni (University of Turin, Italy) Bernhard Bauer (University of Augsburg, Germany) Federico Bergenti (University of Parma, Italy) Olivier Boissier (ENSM de Saint-Etienne, France) Vicent Botti (Polytechnical University of Valencia, Spain) Cristiano Castelfranchi (National Research Council, Italy) Liana Cipcigan (Cardiff University, UK) Massimo Cossentino (National Research Council, Italy) Paul Davidsson (University of Malmoe, Sweden) Joerg Denzinger (University of Calgary, Canada) Frank Dignum (University of Utrecht, The Netherlands) Virginia Dignum (Delft University of Technology, The Netherlands) Juergen Dix (Clausthal University of Technology, Germany) Johannes Faehndrich (DAI Lab, Berlin University of Technology, Germany) Klaus Fischer (DFKI, Germany) Giancarlo Fortino (University of Calabria, Italy) Maria Ganzha (University of Gdansk, Poland) Paolo Giorgini (University of Trento, Italy) Vladimir Gorodetsky (Russian Academy of Sciences, Russia) Axel Hahn (Carl-von-Ossietzky University of Oldenburg, Germany) Koen Hindriks (Delft University of Technology, The Netherlands) Stamatis Karnouskos (SAP, Germany) Takahiro Kawamura (Japan Science and Technology Agency, Japan) Wolfgang Ketter (Rotterdam School of Management, The Netherlands) Yasuhiko Kitamura (Kwansei Gakuin University, Japan) Franziska Kluegl (University of Oerebro, Sweden) Matthias Klusch (DFKI, Germany) Ryszard Kowalczyk (Swinburn University of Technology, Australia) Winfried Lamersdorf (University of Hamburg, Germany) Jiming Liu (Hong Kong Baptist University, China) Arndt Lueder (Otto-von-Guericke-University Magdeburg, Germany) John-Jules Meyer (University of Utrecht, The Netherlands) Lars Moench (Fernuniversitaet Hagen, Germany) Joerg P. Mueller (Clausthal University of Technology, Germany) Ingrid Nunes (Federal University of Rio Grande do Sul, Brazil) Eugenio Oliveira (University of Porto, Portugal) Nir Oren (University of Aberdeen, UK) Sascha Ossowski (University Rey Juan Carlos, Spain) Peter Palensky (Delft University of Technology, The Netherlands) Marcin Paprzycki (IBS PAN and WSM, Poland) Terry Payne (University of Liverpool, UK) Alessandro Ricci (University of Bologna, Italy) Jordi Sabater Mir (IIIA-CSIC, Spain) David Sarne (Bar Ilan University, Israel) David Sislak (Czech Technical University in Prague, Czech Republic) Michael Sonnenschein (Carl-von-Ossietzky University Oldenburg, Germany) Andreas Symeonidis (Aristotle University of Thessaloniki, Greece) Huaglory Tianfield (Glasgow Caledonian University, UK) Ingo J. Timm (Trier University, Germany) Adelinde Uhrmacher (University of Rostock, Germany) Giuseppe Vizzari (University of Milano-Bicocca, Italy) George Vouros (University of Piraeus, Greece) Georg Weichhart (PROFACTOR GmbH, Austria) Gerhard Weiss (University of Maastricht, The Netherlands) Michael Weyrich (University of Stuttgart, Germany) Michael Winikoff (University of Otago, New Zealand) Franco Zambonelli (University of Modena and Reggio Emilia, Italy) Ingo Zinnikus (DFKI, Germany) Ning Zhong (Maebashi Institute of Technology, Japan) MATES Steering Committee ======================== Matthias Klusch (DFKI, Germany) Winfried Lamersdorf (University of Hamburg, Germany) Jörg P. Müller (Clausthal University of Technology, Germany) Sascha Ossowski (University Rey Juan Carlos, Spain) Paolo Petta (OFAI and University of Vienna, Austria) Ingo J. Timm (Trier University, Germany) Rainer Unland (University of Duisburg-Essen, Germany) For more information on the MATES conference series,please visit: http://www.dfki.de/~klusch/mates-series ========================================================================= From franconi at inf.unibz.it Wed Apr 19 15:48:24 2017 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Wed, 19 Apr 2017 15:48:24 +0200 Subject: European MSc in Computational Logic: Scholarships available Message-ID: <19042017154824750GGh77pfXqRRd0185@smtp.office365.com> European Master’s Programme in Computational Logic (EMCL) http://www.computational-logic.eu EMCL provides the theoretical and practical knowledge required for professional practice in the wide interdisciplinary field having its roots in artificial intelligence, computer science, logic, linguistics and cognitive science. You will learn how to develop programs that enable computers to display behaviour that can be characterised as intelligent. EMCL is an international 2-years study program completely in English offering a joint MSc degree within a consortium composed by four universities and a research centre: • Free University of Bozen-Bolzano, Italy • Technische Universität Dresden, Germany • Technische Universität Wien, Austria • Universidade Nova de Lisboa, Portugal • Data61, Australia Tuition fees amount to €450 per semester; there are several scholarships from 1,840€ to 2,840€ available, depending on the choice of the second year specialisation. The EMCL online application system will be open from 1 April until 31 May 2017. The Computer Science Degree Hub characterises a career in computational logic and artificial intelligence as involving automation, robotics, advanced knowledge representation systems, and the use of sophisticated computer software and programs. Candidates interested in pursuing jobs in this field require specific education based on foundations of formal methods, information technology, logic, and computer engineering perspectives. Written and verbal communication skills are also important to convey how artificial intelligence tools and services are effectively applied within industry settings. From its inception in the 1950’s through the present day, computational logic and artificial intelligence continues to advance and improve the quality of life across multiple application areas. As a result, professionals with the right skills to translate digital bits of information into meaningful human experiences will find a career in computational logic and artificial intelligence to be sustaining and rewarding. The EMCL programme is designed to let graduates acquire these skills. The EMCL has graduated since its beginning in 2004 more than 150 students, with virtually full employment after graduation; more than 100 EMCL graduates are currently working in academia or research. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu Apr 20 14:53:24 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 20 Apr 2017 08:53:24 -0400 (EDT) Subject: TABLEAUX 2017 - Deadline Extension Message-ID: <20170420125325.0910A121491@mcclellan.cs.miami.edu> *** DEADLINE EXTENSION *** TABLEAUX 2017 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods University of Brasilia, Brazil September 25-28, 2017 http://tableaux2017.cic.unb.br/ DEADLINE EXTENSION: The deadline for submitting both abstracts and full papers has been extended to 28 April 2017. GENERAL INFORMATION TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableau-based reasoning and related methods is presented. As the first TABLEAUX workshop was held in Lautenbach in 1992, this year's conference will include special events celebrating 25 years of TABLEAUX. The conference will be held in Brasilia from 25-28 September 2017. It will be co-located with both the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) and the 8th International Conference on Interactive Theorem Proving (ITP 2017). TOPICS Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis. Topics of interest include but are not limited to: * tableau methods for classical and non-classical logics (including first-order, higher-order, modal, temporal, description, hybrid, intuitionistic, substructural, relevance, non-monotonic logics) and their proof-theoretic foundations; * related methods (SMT, model elimination, model checking, connection methods, resolution, BDDs, translation approaches); * sequent calculi and natural deduction calculi for classical and non-classical logics, as tools for proof search and proof representation; * flexible, easily extendable, light weight methods for theorem proving; * novel types of calculi for theorem proving and verification in classical and non-classical logics; * systems, tools, implementations, empirical evaluations and applications (provers, logical frameworks, model checkers, ...); * implementation techniques (data structures, efficient algorithms, performance measurement, extensibility, ...); * extensions of tableau procedures with conflict-driven learning, generation of proofs; compact (or humanly readable) representation of proofs; * decision procedures, theoretically optimal procedures; * applications of automated deduction to mathematics, software development, verification, deductive and temporal databases, knowledge representation, ontologies, fault diagnosis or teaching. We also welcome papers describing applications of tableau procedures to real world examples. Such papers should be tailored to the tableau community and should focus on the role of reasoning, and logical aspects of the solution. CELEBRATING 25 YEARS To celebrate 25 years TABLEAUX the conference will include a special session of invited talks by Wolfgang Bibel and Reiner Haehnle. INVITED SPEAKERS: Wolfgang Bibel Technische Universitaet Darmstadt, Germany (anniversary session) Carlos Areces FaMAF - Universidad Nacional de Cordoba, Argentina Katalin Bimbo University of Alberta, Canada (with FroCoS and ITP) Jasmin Blanchette Inria and LORIA, Nancy, France (with FroCoS and ITP) Reiner Haehnle Technische Universitaet Darmstadt, Germany (anniversary session) Cezary Kaliszyk Universitaet Innsbruck, Austria (with FroCoS and ITP) WORKSHOPS AND TUTORIALS There will be a three-day programme of four workshops and four tutorials from 23-25 September. Workshops: 12th Logical and Semantic Frameworks with Applications (LSFA 2017) Sandra Alves, Renata Wassermann, Flavio L. C. de Moura 23 and 24 September 2017 Proof eXchange for Theorem Proving (PxTP) Catherine Dubois, Bruno Woltzenlogel Paleo 23 and 24 September 2017 EPS - Encyclopedia of Proof Systems Giselle Reis, Bruno Woltzenlogel Paleo 24 and 25 September 2017 DaLi - Dynamic Logic: new trends and applications Mario Benevides, Alexandre Madeira 24 September 2017 Tutorials: Proof Compressions and the conjecture NP = PSPACE Lew Gordeev, Edward Hermann Haeusler 23 September 2017 General methods in proof theory for modal and substructural logics Bjoern Lellmann, Revantha Ramanayake 24 September 2017 From proof systems to complexity bounds Anupam Das 25 September 2017 PVS for Computer Scientists Cesar Munoz, Mauricio Ayala-Rincon, Mariano Moscato 25 September 2017 Details are published in separate calls and on the conference website. POSTER SESSION There will be a joint poster session for TABLEAUX 2017, FroCos 2017, and ITP 2017. The session is intended for descriptions of work in progress, student projects and relevant research being published elsewhere. The deadline for posters submission is June 15, 2017. More details can be found at http://tableaux2017.cic.unb.br/#postersession. PUBLICATION DETAILS The conference proceedings will published in the Springer LNAI/LNCS series, as in previous editions. SUBMISSIONS Submissions are invited in two categories: A Research papers, which describe original theoretical research, original algorithms, or applications, with length up to 15 pages. B System descriptions, with length up to 9 pages. Submissions will be reviewed by the PC, possibly with the help of external reviewers, taking into account readability, relevance and originality. For category A, theoretical results and algorithms must be original, and not submitted for publication elsewhere. Submissions will be reviewed taking into account correctness, theoretical elegance, and possible implementability. For category B submissions, a working implementation must be accessible via the internet, which includes sources. The aim of a system description is to make the system available in such a way that users can use it, understand it, and build on it. Accepted papers in both categories will be published in the conference proceedings. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system: https://easychair.org/conferences/?conf=tableaux2017. For all accepted papers at least one author is required to attend the conference and present the paper. A paper title and a short abstract of about 100 words must be submitted before the paper submission deadline. Further information about paper submissions will be made available at the conference website. Be aware that neither plagiarism, nor self-plagiarism, nor duplicate publication is acceptable. Formatting instructions and the LNCS style files can be obtained via http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines BEST PAPER AWARD The TABLEAUX 2017 Best Paper Award will be presented to the best submission nominated and chosen by the Program Committee among the accepted papers. The eligibility criteria will place emphasis on the originality and significance of the contribution, but readability and the overall technical quality, including correctness and completeness of results, will also be considered. The TABLEAUX Best Paper Award was established in 2015 and is a permanent initiative of TABLEAUX. IMPORTANT DATES 28 Apr 2017 Abstract submission (extended) 28 Apr 2017 Paper submission (extended) 8 Jun 2017 Notification of paper decisions 3 Jul 2017 Camera-ready papers due 23-25 Sep 2017 Workshops & Tutorials 25-28 Sep 2017 TABLEAUX Conference PROGRAM COMMITTEE Peter Baumgartner National ICT Australia, Canberra Maria Paola Bonacina Universita degli Studi di Verona Laura Bozzelli Universidad Politecnica de Madrid Torben Brauener Roskilde University Serenella Cerrito Ibisc, Universite d'Evry Val d'Essonne Agata Ciabattoni Technische Universitaet Wien Clare Dixon University of Liverpool Pascal Fontaine LORIA, INRIA, Universite de Lorraine Didier Galmiche LORIA, Universite de Lorraine Martin Giese Universitetet i Oslo Laura Giordano DISIT, Universita del Piemonte Orientale Rajeev Gore The Australian National University Volker Haarslev Concordia University George Metcalfe Universitaet Bern Angelo Montanari Universita degli Studi di Udine Barbara Morawska Technische Universitaet Dresden Boris Motik University of Oxford Leonardo de Moura Microsoft Research Neil Murray SUNY at Albany Claudia Nalon Universidade de Brasilia Linh Anh Nguyen Uniwersytet Warszawski Hans de Nivelle Uniwersytet Wroclawski Nicola Olivetti LSIS, Aix-Marseille Universite Jens Otten Universitetet i Oslo Valeria de Paiva Nuance Communications Nicolas Peltier Centre National de la Recherche Scientifique, Laboratoire d'Informatique de Grenoble Elaine Pimentel Universidade Federal do Rio Grande do Norte Giselle Reis Carnegie Mellon University-Qatar Philipp Ruemmer Uppsala Universitet Katsuhiko Sano Hokkaido University Renate Schmidt The University of Manchester Cesare Tinelli The University of Iowa Alwen Tiu Nanyang Technological University David Toman University of Waterloo Josef Urban Ceske vysoke uceni technicke v Praze LOCAL CONFERENCE ORGANIZATION COMMITTEE Claudia Nalon, Universidade de Brasilia, Brazil Daniele Nantes Sobrinho, Universidade de Brasilia, Brazil Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brazil Joao Marcos, Universidade Federal do Rio Grande do Norte, Brazil CONFERENCE CHAIR Claudia Nalon, University of Brasilia, Brazil PC CHAIRS Claudia Nalon, University of Brasilia, Brazil Renate Schmidt, The University of Manchester, UK From potapov at liverpool.ac.uk Fri Apr 21 00:01:10 2017 From: potapov at liverpool.ac.uk (Potapov, Igor) Date: Thu, 20 Apr 2017 22:01:10 +0000 Subject: CfP: 11th Workshop on Reachability Problems 2017, London, UK Message-ID: <7ECE8E01AEB79A459E3F30C54E56CF7C0166534F25@CHEXMBX2.livad.liv.ac.uk> The 11th International Workshop on Reachability Problems (RP'17) 7 - 9 September 2017 | Royal Holloway, University of London, UK http://rp17.cs.rhul.ac.uk The 11th Workshop on Reachability Problems will be hosted at Royal Holloway, University of London. The Reachability Workshop is specifically aimed at gathering together scholars from diverse disciplines interested in reachability problems that appear in algebraic structures, computational models, hybrid systems, logic and verification. Invited Speakers: Hana Chockler, King's College London Laurent Doyen, LSV - ENS Cachan Raphaël Jungers, Université catholique de Louvain Andreas Podelski, University of Freiburg Submissions: Authors are invited to submit a draft of a full paper with at most 12 pages (in LaTeX, formatted according to LNCS guidelines) via Easychair. Proofs omitted due to space constraints must be put into an appendix to be read by the program committee members at their discretion. Submissions deviating from these guidelines risk rejection. Electronic submissions should be formatted in pdf. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. Submission link: https://easychair.org/conferences/?conf=rp2017 Topics of interest include (but are not limited to): reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems; reachability problems in logic and verification; reachability analysis in different computational models, counter timed/cellular/communicating automata; Petri nets; computational aspects of algebraic structures (semigroups, groups and rings); frontiers between decidable and undecidable reachability problems; predictability in iterative maps and new computational paradigms. Important Dates Submission deadline: 10 May 2017 (AoE) Notification to authors: 21 June 2017 Final version: 30 June 2017 Workshop: 7 - 9 September 2017 Presentation-Only Track In addition to regular papers that will appear in our LNCS proceedings, we invite researchers to apply to give a presentation at RP'17 without an accompanying paper. Such presentations can be based on work that has appeared (or which is going to appear) in the proceedings of another conference, or which has not yet been submitted. These contributions will be judged solely on the basis of their attractiveness to the workshop. To apply to give such a presentation please submit a PDF file containing a short abstract (up to two pages) by e-mail [ rp2017 at easychair.org ] by August 2st 2017, with subject "RP2017 Informal Presentations". This abstract will not be published in the conference proceedings. Notification for the presentation-only track will be August 9th 2016. Proceedings The Conference Proceedings will be published as the volume of the Springer Verlag LNCS (Lecture Notes in Computer Science) series and distributed at the Conference. We plan also to publish selected papers in a special issue of a high quality journal following the regular referee procedure. RP'16 Program Committee: Igor Potapov, University of Liverpool (co-chair) Matthew Hague, Royal Holloway, University of London (co-chair) Paul Bell, Liverpool John Moores University Patricia Bouyer-Decitre, LSV, CNRS & ENS de Cachan Aiswarya Cyriac, Chennai Mathematical Institute Giorgio Delzanno, Universita Degli Studi Di Genova Piotrek Hofman, University of Warsaw Peter Lammich, Institut fuer Informatik, TU Munich Martin Lange, University of Kassel Salvatore La Torre, Università degli Studi di Salerno Ranko Lazic, University of Warwick Ondřej Lengál, Brno University of Technology Jerome Leroux, Laboratoire Bordelais de Recherche en Informatique Rupak Majumdar, Max Planck Institute for Software Systems Ahmed Rezine, Linköping University Tachio Terauchi, Japan Advanced Institute of Science and Technology Hsu-Chun Yen, National Taiwan University Previous Workshops : 2016: RP'16 in Aalborg, Denmark LNCS proceedings, Volume 9899/2016, Springer Verlag 2015: RP'15 in Warsaw, Poland LNCS proceedings, Volume 9328/2015, Springer Verlag 2014: RP'14 in Oxford, UK LNCS proceedings, Volume 8762/2014, Springer Verlag 2013: RP'13 in Uppsala, Sweden LNCS proceedings, Volume 8169/2013, Springer Verlag 2012: RP'12 in Bordeaux, France LNCS proceedings, Volume 7550/2012, Springer Verlag 2011: RP'11 in Genova, Italy LNCS proceedings, Volume 6945/2011, Springer Verlag 2010: RP'10 in Brno, Czech Republic LNCS proceedings, Volume 6227/2010, Springer Verlag 2009: RP'09 in Palaiseau, France LNCS proceedings, Volume 5797/2009, Springer Verlag 2008: RP'08 in Liverpool, UK ENTCS proceedings, Volume 223, Elsevier 2007: RP'07 in Turku, Finland TUCS General Publication Series, Volume 45, Turku Centre for Computer Science DBLP Reachability Problems: http://dblp.uni-trier.de/db/conf/rp/ From geoff at cs.miami.edu Fri Apr 21 21:48:53 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 21 Apr 2017 15:48:53 -0400 (EDT) Subject: DL 2017 - Last Call for Papers Message-ID: <20170421194853.B3E151214D7@mcclellan.cs.miami.edu> ------------------------------------------------------------------------------- LAST CALL FOR PAPERS 30th International Workshop on Description Logics, DL 2017 July 18th to July 21st, 2017 - Montpellier, France http://dl.kr.org/dl2017/ ------------------------------------------------------------------------------- Important Dates *** NO EXTENSIONS POSSIBLE *** ============ Paper registration deadline: April 28, 2017 Paper submission deadline: May 8, 2017 Notification of acceptance: June 12, 2017 Camera-ready copies: July 3, 2017 Workshop: July 18-21, 2017 *** NO DEADLINE EXTENSIONS POSSIBLE *** Due to the IJCAI notification and the approaching of the DL workshop extensions will not be granted. Submissions ========== * Submissions may be of two types: (1) Papers accepted at some conference can be submitted as accepted elsewhere together with a 1-page abstract that also specifies where the paper has been accepted. (2) Other submissions consist of 11 pages LNCS plus references. There is no page limit on the list of references. If the paper should not appear in the proceedings, an additional 1-page abstract has to be submitted. * For submissions with an additional 1-page abstract, only the abstract is published in the proceedings. The abstracts might not be indexed in dblp. This option is designed for authors who wish to announce results that have been published elsewhere, or which the authors intend to submit or have already submitted to a venue with an incompatible prior / concurrent publication policy. * All submissions may optionally include a clearly marked appendix (e.g., with additional proofs or evaluation data). The appendix will be read at the discretion of the reviewers and not included in the proceedings. The appendix does not need to be in LNCS format. * Submission page: https://easychair.org/conferences/?conf=dl2017 * Accepted papers and 1-page abstracts will be made available electronically in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/). * Accepted submissions, be they full papers or 1-page abstracts, will be selected for either oral or poster presentation at the workshop. Submissions will be judged solely based upon their content, and the type of submission will have no bearing on the decision between oral and poster presentation. Further Details ============ http://dl.kr.org/dl2017/ From grlmc at grlmc.com Sun Apr 23 22:19:59 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 23 Apr 2017 22:19:59 +0200 Subject: SLSP 2017: 2nd call for papers Message-ID: <545102060a010b000154520405015a52570750500a05535504565f070e5202545103015555080850535758060e0200@grlmc_ip-zone_com-6> SLSP 2017: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   5th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2017   Le Mans, France   October 23-25, 2017   Organized by:   Computer Science Lab (LIUM) University of Le Mans   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/SLSP2017/   **********************************************************************************   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 2017, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2017 will take place in Le Mans, in the region Pays de la Loire, a city with well-preserved Gallo-Roman remnants. The venue will be:   Claude Chappe Informatics Institute University of Le Mans Avenue Laënnec 72085 Le Mans Cedex 9   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 2017 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Jon Barker (University of Sheffield, UK) Laurent Besacier (Grenoble Informatics Laboratory, FR) Paul Buitelaar (National University of Ireland, Galway, IE) Felix Burkhardt (Telekom Innovation Laboratories, DE) Xavier Carreras (Xerox Research Centre Europe, FR) Francisco Casacuberta (Technical University of Valencia, ES) Ciprian Chelba (Google, US) Eng Siong Chng (Nanyang Technological University, SG) Jennifer Chu-Carroll (Elemental Cognition, US) Doug Downey (Northwestern University, US) Robert Gaizauskas (University of Sheffield, UK) Julio Gonzalo (National University of Distance Education, ES) Keikichi Hirose (University of Tokyo, JP) Gerhard Jäger (University of Tübingen, DE) Gareth Jones (Dublin City University, IE) Joseph Keshet (Bar-Ilan University, IL) Tomi Kinnunen (University of Eastern Finland, FI) Lun-Wei Ku (Academia Sinica, TW) Kong Aik Lee (Institute for Infocomm Research, SG) Elizabeth D. Liddy (Syracuse University, US) Xunying Liu (Chinese University of Hong Kong, HK) Suresh Manandhar (University of York, UK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Ruslan Mitkov (University of Wolverhampton, UK) Marie-Francine Moens (KU Leuven, BE) Seiichi Nakagawa (Toyohashi University of Technology, JP) Preslav Nakov (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Cécile Paris (CSIRO, AU) Fuchun Peng (AISense Inc., US) Pascal Perrier (Grenoble Institute of Technology, FR) Leon Rothkrantz (Delft University of Technology, NL) Horacio Saggion (Pompeu Fabra University, ES) Murat Saraçlar (Boğaziçi University, TR) Holger Schwenk (Facebook, FR) Brad Story (University of Arizona, US) Karin Verspoor (University of Melbourne, AU) Xiaojun Wan (Peking University, CN) Phil Woodland (University of Cambridge, UK) Chuck Wooters (Semantic Machines, US) François Yvon (LIMSI-CNRS, FR)   ORGANIZING COMMITTEE:   Walid Aransa (Le Mans) Adrien Bardet (Le Mans) Abdessalam Bouchekif (Le Mans) Fethi Bougares (Le Mans) Nathalie Camelin (Le Mans) Yannick Estève (Le Mans, co-chair) Mercedes García Martínez (Le Mans) Sahar Ghannay (Le Mans) Anthony Larcher (Le Mans) Antoine Laurent (Le Mans) Carlos Martín-Vide (Tarragona, co-chair) Salima Mdhaffar (Le Mans) Manuel J. Parra Royón (Granada) Simon Petitrenaud (Le Mans) David Silva (London) Natalia Tomashenko (Le Mans) Kévin Vythelingum (Le Mans)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, graphics, etc.) 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=slsp2017   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 a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/SLSP2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 11, 2017 Notification of paper acceptance or rejection: July 11, 2017 Final version of the paper for the LNCS/LNAI proceedings: July 21, 2017 Early registration: July 21, 2017 Late registration: October 9, 2017 Submission to the journal special issue: January 25, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 at yahoo.com   POSTAL ADDRESS:   SLSP 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   Université du Maine Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From giovanni.degasperis at aixia.it Sun Apr 23 22:30:44 2017 From: giovanni.degasperis at aixia.it (Giovanni De Gasperis) Date: Sun, 23 Apr 2017 22:30:44 +0200 Subject: RuleML+RR 2017: International Joint Conference on Rules and Reasoning, London 12-15 July 2017 Message-ID: RuleML+RR 2017: International Joint Conference on Rules and Reasoning London 12-15 July 2017 # Registration is now open: ***Early Bird Registration until _April 30th_*** Go to http://www2.bbk.ac.uk/ruleml-rr2017 . This leading international joint conference in the field of rule-based reasoning has open calls for a number of its events. # Call for Posters http://2017.ruleml-rr.org/call-for-posters For additional short poster papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules. Deadline May 26th Notification June 2nd Accepted poster papers will be published as CEUR Proceedings and indexed by SCOPUS. # Call for Papers and Demos for the 11th International Rule Challenge http://2017.ruleml-rr.org/calls/international-rule-challenge The best paper/presentation in the Challenge will receive the RuleML Challenge Award (USD 500)! Abstract May 1st Papers May 8th Notification May 15th Accepted poster papers will be published as CEUR Proceedings and indexed by SCOPUS. # Call for Business Cases and Technologies for the Industry Track: State of Practice, Challenges and Opportunities http://2017.ruleml-rr.org/calls/industry-track Papers May 8th Notification May 15th The best papers will be recommended with the permission of the authors for publication in the CEUR proceedings of the conference. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From oliverobst at gmail.com Mon Apr 24 06:06:05 2017 From: oliverobst at gmail.com (Oliver Obst) Date: Mon, 24 Apr 2017 14:06:05 +1000 Subject: AIAI 2017 call for papers Message-ID: 13th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI 2017) https://sites.google.com/site/2017aiai/ 19–20 August 2017, Melbourne, Australia Co-located with the International Joint Conference on Artificial Intelligence, IJCAI-17 Submission Deadline 30 April 2017 Notification 28 May 2017 Call For Papers The importance of Artificial Intelligence is underlined by the fact that it is nowadays being embraced by a vast majority of research fields across different disciplines, from Engineering Sciences to Economics and Medicine, as a means to tackle highly complicated and challenging computational as well as cognitive problems. Being one of the main streams of information processing, Artificial Intelligence may now offer solutions to such problems using advances and innovations from a wide range of sub-areas that induce thinking and reasoning in models and systems. The general focus of the conference is to present different perspectives on how Artificial Intelligence may be applied and offer solutions to real world problems, serving the study, analysis and modelling of theoretical and practical issues. The primary target of AIAI 2017 is to present highly novel research papers describing innovative algorithms, systems, tools and techniques, as well as proposing advanced prototypes in the area of Artificial Intelligence. General survey papers indicating future directions and professional work-in-progress reports are of equal interest. Acceptance will be based on quality, originality and practical merit of the work. Authors are invited to submit original research contributions or experience reports. Submitted papers must present unpublished work, not being considered for publication in other journals or conferences. Paper format Submitted technical papers must be no longer than twelve pages in total. Papers must be formatted according to the IFIP AICT Springer style (the style will be essentially that of previous AIAI conferences), http://www.springer.com/series/6102 . Final camera ready versions will be formatted according to the publisher's instructions. Authors are required to submit their electronic papers in PDF format. Files in any other format will not be accepted. Over-length papers will be rejected without review. Participation Authors of accepted papers are required to ensure that at least one of them will be present at the conference. Papers will be submitted via EasyChair at the AIAI 2017 conference page (https://www.easychair.org/conferences/?conf=aiai2017 ). The post-conference proceedings of AIAI2017 will be published in the IFIP AICT series. Authors of accepted papers will be requested to sign the copyright transfer form. AIAI Co-chairs: Ilias Maglogiannis, University of Piraeus Oliver Obst, Western Sydney University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lembo at dis.uniroma1.it Mon Apr 24 15:05:32 2017 From: lembo at dis.uniroma1.it (Domenico Lembo) Date: Mon, 24 Apr 2017 15:05:32 +0200 Subject: Call for Applications: The 13th Reasoning Web Summer School (RW 2017) Message-ID: Apologies for multiple postings ********************************************** CALL FOR APPLICATIONS The 13th Reasoning Web Summer School (RW 2017) London, U.K., July 7-11, 2017 http://reasoningweb.org/2017 ********************************************** co-located with: - RuleML+RR: International Joint Conference on Rules and Reasoning London, U.K., July 12-15, 2017 http://2017.ruleml-rr.org - RuleML+RR Doctoral Consortium http://2017.ruleml-rr.org/doctoral-consortium/ - DecisionCAMP 2017 London, U.K., July 13-14, 2017 http://2017.ruleml-rr.org/decisioncamp-2017 - 11th International Rule Challenge London, U.K., July 12-15, 2017 http://2017.ruleml-rr.org/calls/international-rule-challenge/ The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques which are of particular interest to Semantic Web and Linked Data applications. The school is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to learn about Reasoning on the Semantic Web and related issues. In 2017, the theme of the school is: "Semantic Interoperability on the Web" As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers. Most lecturers will also be present for the duration of the school to interact and establish contacts with the students. The summer school is co-located with RuleML+RR, a conference that joins the well-known RuleML and RR event series, DecisionCAMP 2017, and the 11th International Rule Challenge, hence, there will be a great opportunity for students to also attend some major events in the area. In addition, RuleML+RR will also include a Doctoral Consortium and students of RW are particularly encouraged to also apply to the Doctoral consortium of RuleML+RR. Participants to the school will be delivered on request a certificate of attendance indicating the number of hours of lectures. With this certificate, some institutions may assign official credits for the PhD program. == IMPORTANT DATES == Application deadline: May 20, 2017 (extended) Notifications: May 25, 2017 Registration deadline: May 31, 2017 == LECTURES == - Andrea Calì (Birkbeck University of London, U.K.) "Ontology querying: Datalog strikes back" - Thomas Eiter (Technical University of Wien, Austria) "Answer Set Programming with External Source Access" - Thomas Lukasiewicz (University of Oxford, U.K.) "Uncertainty Reasoning for the Semantic Web" - Marco Montali (Free University of Bolzano/Bozen, Italy) "Ontology-based Data Access for Log Extraction in Process Mining" - Axel Polleres (Vienna University of Economics & Business, Austria) "Challenges for Semantic Data Integration on the Web of Open Data" - Marie-Christine Rousset (University Grenoble-Alpes, Institut Universitaire de France) "Datalog revisited for reasoning in Linked Data" - Torsten Schaub (University of Potsdam, Germany and Inria, Bretagne Atlantique, Rennes, France) "A Tutorial on Hybrid Answer Set Solving" - Juan Sequeda (Capsenta, USA) "Integrating Relational Databases with the Semantic Web" - Giorgos Stamou (National Technical University of Athens, Greece) "Ontological query answering over semantic data" == LECTURE NOTES == The course material used during the summer school will be published within Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees. == APPLICATIONS == The number of attendees will be limited and participation will depend on submitting an application which will undergo a reviewing process. Applications have to be submitted via Easychair using the following URL: https://easychair.org/conferences/?conf=rw2017 Applications must be submitted in PDF format not exceeding 2 pages (min. font size 11pt) and contain the following information: - Name, contact details - Affiliation - Motivation for participation - Summary of profile - Supervisor (if applicable) - Publications (if applicable) == SCHOOL FEES == The fee for attending the school is 370 GBPs. The fee covers school registration, coffee breaks, and a copy of the school volume published as Springer LNCS proceedings. Joint Registration to RW and RuleML+RR is also possible, with a fee of 485 GBPs. Students that plan to participate to both RW and RuleML+RR have to indicate it in their application. Registrations will open after notifications are sent out and will be possible until May 31, 2017. == STUDENT GRANTS == There is a limited number of student grants available for the summer school. Each grant will cover the school registration fee. Further grants are available for students participating in the RuleML+RR Doctoral Consortium who would like to extend their stay to also attend the summer school. Students that are interested in applying for this grant, besides submitting their application to the school, must write an email to the school chairs (lembo at diag.uniroma1.it and ianni at mat.unical.it) declaring their interest in the student grant, and providing a proof of full-time student status (copy of valid student ID card or letter from their institution or program director) and a short justification confirming that the attendance to RW 2017 could not be financed by other means such as project funds. The deadline for applying to the student grants is May 20, 2017 (the same as the school application deadline). == SCHOOL VENUE == Birkbeck, University of London, Malet St, London WC1E 7HX, UK == STUDENT ACCOMMODATIONS == University of London offers accommodations in its student residences. Prices start from 47 GPBs per night. For details visit http://staycentral.london.ac.uk/accommodation/ All listed locations are within a walking distance of 15-20 minutes from the school venue. == COMMITTEE == *Chairs Giovambattista Ianni, Università della Calabria Domenico Lembo, Sapienza Università di Roma *Scientific Advisory Board Leopoldo Bertossi, Carleton University Wolfgang Faber, University of Huddersfield Birte Glimm, Universität Ulm Georg Gottlob, Oxford University Steffen Staab, University of Koblenz-Landau == CONTACT == For further information including sponsorship opportunities, contact the school chairs (lembo at diag.uniroma1.it, ianni at mat.unical.it) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From csoares at fe.up.pt Mon Apr 24 15:25:15 2017 From: csoares at fe.up.pt (Carlos Soares) Date: Mon, 24 Apr 2017 14:25:15 +0100 Subject: *** extended deadline: 1/May *** call for papers on Business Applications of Artificial Intelligence (BAAI) as part of EPIA 2017 Message-ID: Business Applications of Artificial Intelligence (BAAI) as part of EPIA 2017 September 5-8, 2017, FEUP, Porto, Portugal Scope AI is undoubtedly becoming a commodity in the business world. In fact, AI technology is increasingly used in major industries such as health, manufacturing, retail, automotive, education, marketing, sales, financial services, entertainment and security, to increase productivity and reduce costs. The Business Applications of Artificial Intelligence (BAAI) track will focus on bringing new insights on successful applications of AI technology in business as well as identifying challenges that can only be addressed by collaborative efforts between industry and academia. Industry leaders need to learn with researchers how and where AI technologies can be applied in their organizations. On the other hand, researchers need to understand the challenges that companies are facing, the potential for solving them with AI technologies but also the additional challenges raised by developing solutions to real world problems with those technologies. The track will promote the discussion concerning challenges and potential solutions and the sharing of ideas and experiences between researchers (especially young ones, such as M.Sc. and Ph.D. students) and industry leaders. It also aims to disseminate recent research, innovative approaches and techniques, current trends and concerns. Topics of Interest The topics relevant to the track include, but are not limited to, the following: AI applications in business, industry and government involving technologies such as: -Agent based systems - Data science (data mining, big data, machine learning and deep learning) - Evolutionary computation - Expert and decision support systems - Intelligent search - Metaheuristics - Intelligent planning - Robotics - Solutions based on the integration of multiple AI and other types of technologies - Methodological issues in the development of AI projects - Social impact of AI - Business problems in need of AI solutions Program Committee Adam Woznica, Expedia, Switzerland Albert Patrick, ILOG, France António Castro, FEUP/LIACC-NIADR, University of Porto, Portugal Carlos Rodrigues, Marionete, United Kingdom Efi Papatheocharous, Swedish Institute of Computer Science, Sweden Elaine Ribeiro de Faria, Universidade Federal Uberlândia, Brazil Eunika Mercier-Laurent, Innovation3D, France Hanen Borchani, SimCorp Technology Labs, Denmark Jean-Charles Régin, ILOG, France Jean-Pierre Briot, Laboratoire d’Informatique de Paris 6 (Paris6-CNRS) & PUC-Rio, Brazil Kaustubh Patil, MIT, USA Marisa Affonso Vasconcelos, IBM Research, Brazil Maritza Correa, Universidad Autónoma de Occidente, Colombia Paulo Cavalin, IBM Research, Brazil Pedro Henriques Abreu, FCTUC-DEI/CISUC, Portugal Peter Van der Putten, Pegasystems /U. Leiden, Netherlands Ricardo Sousa, Farfetch, Portugal Rodrigo Mello, Universidade de São Paulo, Brazil Victor Cavalcante, Motorola Mobility R&D, Brazil YongHong Peng, University of Sunderland, United Kingdom Submission We accept three types of submissions, regular EPIA papers, M.Sc. project posters and industrial solutions and case studies, as detailed next. Regular Submission Submitted papers should be prepared according to the Springer LNCS format , with a maximum of 12 pages. Submitted papers will be subject to a double-blind review process, and will be peer-reviewed by at least three members of the respective track Program Committee. It is the responsibility of the authors to remove names and affiliations from the submitted papers, and to take reasonable care to assure anonymity during the review process. Student project posters M.Sc. students are invited to submit a 2 pages summary of their project (same formatting rules as for the regular papers). Although the discussion of results will be beneficial, it is not required. This means that students at early phases of their projects are encouraged to submit. Accepted submission will present their work at a poster session, where they will have the opportunity to interact with participants from the companies. Accepted submissions will be published in the local (online) proceedings. Industrial solutions and case studies Submissions are invited for industrial solutions and case studies. Submit a 2 pages summary of solutions (general-purpose or specific tools) and case studies (success stories, lessons learned and challenges). The same formatting rules for the regular papers apply. Accepted submissions will present their work at a specific session, where the speakers will have the opportunity to discuss their work with academic experts on AI. Accepted submissions will be published in local (online) proceedings. Participation Registrations associated with student project posters have access to the technical program, participation in AI competition sessions, welcome session, coffee-breaks and lunch on the first day. More information about registration can be found at the EPIA 2017 site. Organizing Committee Célia Talma Gonçalves, P.Porto / LIACC, Portugal Ana Paula Appel, IBM Research, São Paulo, Brazil François Pachet, Sony CSL, Paris, France Carlos Soares, FEUP / INESC TEC, Porto, Portugal Please see more instructions for authors on the BAAI web page https://web.fe.up.pt/~epia2017/thematic-tracks/baai/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fstolzenburg at hs-harz.de Tue Apr 25 11:37:42 2017 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Tue, 25 Apr 2017 11:37:42 +0200 Subject: Call for Papers: 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and 5th Workshop KI & Kognition (KIK-2017), September 26, 2015, Dortmund, Germany Message-ID: <5dec886c-1c87-3512-823c-20a0b6194ce0@hs-harz.de> CALL FOR PAPERS 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and 5th Workshop KI & Kognition (KIK-2017): Formal and Cognitive Reasoning ============================== Web page: Workshop at the 40th German Conference on Artificial Intelligence (KI-2017) September 25-29, 2017, Dortmund, Germany Organized by the "FG Wissensrepraesentation und Schliessen" and the FG "Kognition" of the German Informatics Society (GI) Aims and Scope ************** Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Explanations may be incomplete knowledge, incorrect beliefs, or inconsistencies. Knowledge representation offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. Its many facets like qualitative vs. quantitative reasoning, defeasible and analogical reasoning, argumentation and negotiation in multi-agent systems, causal reasoning for action and planning, as well as nonmonotonicity and belief revision, among many others, have become very active fields of research. Beyond computational aspects, these methods aim to reflect the rich variety of human reasoning in uncertain and dynamic environments. Syllogistic Reasoning Challenge ******************************* At this year's KI conference in Dortmund we plan a challenge on cognitive computational modeling of human syllogistic reasoning. The ultimate goal of cognitive modeling is to explain underlying cognitive processes while approximating the answer distributions generated by humans. The competition is necessary as so far any existing psychological theory is deviating significantly from the data. More information about this competition can be found at . Call for Papers *************** The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. We put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning, addressing formal as well as experimental or heuristic issues. Previous events of the Workshop on "Dynamics of Knowledge and Belief" (DKB) took place in Osnabrück (2007), Paderborn (2009), Berlin (2011), and Koblenz (2013), previous editions of the Workshop on "KI & Kognition" (KIK) took place in Saarbrücken (2012), Koblenz (2013), and Stuttgart (2014), and a joint workshop took place in Dresden (2015). We welcome papers on the following and any related topics: * Action and change * Agents and multiagent systems * Analogical reasoning * Argumentation theories * Belief revision and belief update * Cognitive modeling and empirical data * Common sense and defeasible reasoning * Decision theory and preferences * Inductive reasoning and cognition * Knowledge representation * Learning and knowledge discovery * Nonmonotonic and uncertain reasoning * Ontologies and description logics * Probabilistic approaches of reasoning * Syllogistic reasoning Publication *********** It is planned to publish the proceedings in the CEUR Workshop Proceedings series . Workshop Organizers and Co-Chairs ********************************* Christoph Beierle, FernUniversität in Hagen, Germany Gabriele Kern-Isberner, TU Dortmund, Germany Marco Ragni, Universität Freiburg, Germany Frieder Stolzenburg, Hochschule Harz, Germany Important Dates *************** Deadline for Submission: July 01, 2017 Notification of Authors: July 31, 2017 Camera-ready Paper: August 15, 2017 Challenge submission: September 01, 2017 Workshop & Challenge: September 26, 2017 (exact day to be confirmed) Program Committee (not yet complete) *********************************** Thomas Barkowsky, Universität Bremen, Germany Gerhard Brewka, Universität Leipzig, Germany Emmanuelle-Anna Dietz, TU Dresden, Germany Christian Freksa, Universität Bremen, Germany Ulrich Furbach, Universität Koblenz, Germany Andreas Herzig, Universite Paul Sabatier, Toulouse, France Steffen Hölldobler, TU Dresden, Germany Manfred Kerber, University of Birmingham, UK Gerhard Lakemeyer, RWTH Aachen, Germany Bernhard Nebel, Albert-Ludwigs-Universität Freiburg, Germany Henri Prade, IRIT - CNRS, France Hans Rott, Universität Regensburg, Germany Claudia Schon, Universität Koblenz-Landau, Germany Matthias Thimm, Universität Koblenz-Landau, Germany Paul Thorn, Universität Düsseldorf, Germany Hans Tompits, TU Wien, Austria Christoph Wernhard, TU Dresden, Germany Submission Details ****************** Papers should be formatted according to the Springer LNCS format . The length of each paper should not exceed 8-12 pages. All papers must be written in English and submitted in PDF format via the EasyChair system . Local Information ***************** Local information can be found on the web pages of the KI-2017 conference. From andrei.paskevich at lri.fr Tue Apr 25 12:31:01 2017 From: andrei.paskevich at lri.fr (Andrei Paskevich) Date: Tue, 25 Apr 2017 12:31:01 +0200 Subject: VSTTE 2017 - Deadline Extension Message-ID: <20170425103101.oe2lqjip77j6a3ao@tikki.lri.fr> *** DEADLINE EXTENSION *** 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) https://vstte17.lri.fr July 22-23, 2017, Heidelberg, Germany Co-located with the 29th International Conference on Computer-Aided Verification, CAV 2017 Deadline Extension The deadlines for submitting abstracts and full papers have been extended by one week. The new deadlines are firm. Important Dates * Abstract submission (extended): Mon, May 1, 2017 (AoE) * Full paper submission (extended): Mon, May 8, 2017 (AoE) * Notification: Mon, Jun 5, 2017 * VSTTE: Sat-Sun, Jul 22-23, 2017 * Camera-ready: Mon, Aug 21, 2017 Overview The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We also welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest for VSTTE include education, requirements modeling, specification languages, specification/verification/certification case studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. Paper Submissions We accept both long (limited to 16 pages, references not included) and short (limited to 10 pages, references not included) paper submissions. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Each submission will be evaluated by at least three members of the Program Committee. We expect that one author of every accepted paper will present their work at the conference. Paper submissions must be written in English using the LNCS LaTeX format (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and must include a cogent and self-contained description of the ideas, methods, results, and comparison to existing work. Papers will be submitted via EasyChair at the VSTTE 2017 conference page (https://www.easychair.org/conferences/?conf=vstte2017). The post-conference proceedings of VSTTE 2017 will be published in the LNCS series. Authors of accepted papers will be requested to sign the copyright transfer form. A selection of best papers will be invited for publication in the Journal of Automated Reasoning. Invited Speakers * Christoph Weidenbach (Max Planck Institute for Informatics, Germany) * Santiago Zanella-Beguelin (Microsoft Research, UK) Program Chairs * Andrei Paskevich (Université Paris-Sud, France) * Thomas Wies (New York University, USA) Program Committee * June Andronick (University of New South Wales, Australia) * Christel Baier (TU Dresden, Germany) * Sandrine Blazy (Université de Rennes 1, France) * Arthur Charguéraud (Inria, France) * Ernie Cohen (Amazon Web Services, USA) * Rayna Dimitrova (MPI-SWS, Germany) * Carlo A. Furia (Chalmers University of Technology, Sweden) * Arie Gurfinkel (University of Waterloo, Canada) * Hossein Hojjat (Rochester Institute of Technology, USA) * Marieke Huisman (University of Twente, Netherlands) * Bart Jacobs (KU Leuven, Belgium) * Rajeev Joshi (NASA Jet Propulsion Laboratory, USA) * Zachary Kincaid (Princeton University, USA) * Akash Lal (Microsoft Research, India) * Shuvendu Lahiri (Microsoft Research, USA) * Francesco Logozzo (Facebook, USA) * Peter Müller (ETH Zürich, Switzerland) * Jorge A. Navas (SRI International, USA) * Scott Owens (University of Kent, UK) * Gerhard Schellhorn (Universität Augsburg, Germany) * Peter Schrammel (University of Sussex, UK) * Natarajan Shankar (SRI International, USA) * Mihaela Sighireanu (Université Paris-Diderot, France) * Julien Signoles (CEA LIST, France) * Michael Tautschnig (Queen Mary University of London, UK) * Tachio Terauchi (JAIST, Japan) * Oksana Tkachuk (NASA Ames Research Center, USA) * Mattias Ulbrich (Karlsruhe Institute of Technology, Germany) From jef.wijsen at umons.ac.be Tue Apr 25 17:18:27 2017 From: jef.wijsen at umons.ac.be (Jef Wijsen) Date: Tue, 25 Apr 2017 17:18:27 +0200 Subject: TIME 2017 - Final Call for Papers Message-ID: ------------------------------------------------------------------------- TIME 2017 24th International Symposium on Temporal Representation and Reasoning Mons (Belgium), 16-18 October 2017 Final Call for Papers http://informatique.umons.ac.be/time2017/ ------------------------------------------------------------------------- Aims and scope -------------- TIME 2017 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 24th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification. The Artificial Intelligence track includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web - constraint-based temporal reasoning - temporal preferences The Database track includes, but is not limited to: - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of business processes and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - temporal aspects and big data - temporal aspects in NoSQL databases - temporal data warehouses - temporal healthcare databases and warehouses - time series analysis and mining - semistructured temporal data - novel applications of temporal database management - novel visualizations and interfaces for temporal data - experiences with real applications The Logic and Verification track includes, but is not limited to: - specification and verification of systems - verification of web applications - synthesis and execution - model-checking algorithms and implementations - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics for games and open systems - temporal logics of knowledge - hybrid systems and real-time logics - cyber-physical systems - tools and practical systems - temporal issues in security Submission and publication -------------------------- Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. Detailed submission instructions can be found on the website of TIME 2017: http://informatique.umons.ac.be/time2017/ Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics, which is a series of high-quality peer-reviewed conference proceedings, published according to the principle of OpenAccess. At least one author of each accepted paper must register at the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their contribution to a special issue of the journal Theoretical Computer Science. Important Dates --------------- Abstracts due: May 8, 2017 Full papers due: May 12, 2017 Notification: June 27, 2017 Final version due: July 14, 2017 Symposium: October 16-18, 2017 Program Committee Chairs ------------------------ Sven Schewe, University of Liverpool, UK Thomas Schneider, University of Bremen, Germany Jef Wijsen, University of Mons, Belgium Program Committee ----------------- - Johann Eder (Alpen Adria Universität Klagenfurt, Austria) - Fabio Grandi (University of Bologna, Italy) - Ernst Moritz Hahn (State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China) - Michael R. Hansen (Technical University of Denmark, Denmark) - Fredrik Heintz (Linköping University, Sweden) - Marcin Jurdzinski (University of Warwick, UK) - Roman Kontchakov (Birkbeck, University of London, UK) - Jan Kretínský (Technical University of Munich, Germany) - Bart Kuijpers (Hasselt University, Belgium) - Martin Lange (University of Kassel, Germany) - Martin Leucker (University of Lübeck, Germany) - Cláudia Nalon (University of Brasília, Brazil) - Andrea Orlandini (National Research Council of Italy ISTC-CNR, Italy) - Doron Peled (Bar Ilan University, Israel) - Roberto Posenato (Università degli Studi di Verona, Italy) - Jean-François Raskin (Université Libre de Bruxelles, Belgium) - Peter Z. Revesz (University of Nebraska-Lincoln, USA) - Mark Reynolds (The Univeristy of Western Australia, Australia) - Sven Schewe (University of Liverpool, UK) - Renate A. Schmidt (University of Manchester, UK) - Thomas Schneider (University of Bremen, Germany) - Paolo Terenziani (University Piemonte Orientale, Italy) - David Toman (University of Waterloo, Canada) - Kristian Torp (Aalborg University, Denmark) - Alejandro A. Vaisman (Instituto Tecnológico de Buenos Aires, Argentina) - Kristen B. Venable (Tulane University, USA) - Jef Wijsen (University of Mons, Belgium) - Stefan Wölfl (University of Freiburg, Germany) - Martin Zimmermann (Saarland University, Germany) Invited Speakers ---------------- Alessandro Artale, Free University of Bozen-Bolzano, Italy Javier Esparza, Technical University of Munich, Germany Sheila McIlraith, University of Toronto, Canada Venue ----- TIME 2017 will take place in Mons, a beautiful city in the French-speaking part of Belgium, and a former European Capital of Culture. From geoff at cs.miami.edu Tue Apr 25 17:22:33 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 25 Apr 2017 11:22:33 -0400 (EDT) Subject: ARCADE - 2nd Call for Papers Message-ID: <20170425152233.46AC2121472@mcclellan.cs.miami.edu> **************************************************************** *** CALL FOR PAPERS *** ARCADE http://www.cs.man.ac.uk/~regerg/arcade/ Automated Reasoning: Challenges, Applications, Directions, Exemplary achievements 6 August 2017, Gothenburg, Sweden (co-located with CADE-26) DESCRIPTION: The main goal of this workshop is to bring together key people from various subcommunities of automated reasoning---such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving---to discuss the present, past, and future of the field. The intention is to provide an opportunity to discuss broad issues facing the community. The structure of the workshop will be informal. We invite extended abstracts (2-4 pages, using the EasyChair class style http://www.easychair.org/publications/for_authors) in the form of non-technical position statements aimed at prompting lively discussion. The title of the workshop is indicative of the kind of discussions we would like to encourage: Challenges: What are the next grand challenges for research on automated reasoning? Thereby, we refer to problems, solving which would imply a significant impact (e.g., shift of focus) on the CADE community and beyond. Roughly ten years ago SMT was one such challenge. Applications: Is automated reasoning applicable in real-world (industrial) scenarios? Should reports on such applications be encouraged at a venue like CADE, perhaps by means of a special case study paper category? Directions: Based on the grand challenges and requirements from real-world applications, what are the research directions the community should promote? What bridges between the different subcommunities of automated reasoning need to be strengthened? What new communities should be included (if at all)? For example, following Reiner Hähnle's question in the AAR Newsletter, is there a place at CADE for research on usable automated reasoning (in resemblance to the flourishing topic of usable security)? Exemplary achievements: What are the landmark achievements of automated reasoning whose influence reached far beyond the CADE community itself? What can we learn from those successes when shaping our future research? Contributions will be grouped into similar themes and authors will be invited to make their case within discussion panels. Authors will then be invited to extend their abstracts (e.g., by transcripts of the discussion and a summary of the discussion's outcomes) for inclusion in an EPiC post-proceedings. IMPORTANT DATES (Anywhere on Earth): Submission deadline: 12 May 2017 Notification: 23 June 2017 Workshop: 6 August 2017 Post-proceedings deadline: 29 September 2017 PROGRAM COMMITTEE: Franz Baader, TU Dresden Christoph Benzmüller, Freie Universität Berlin Armin Biere, Johannes Kepler University Linz Nikolaj Bjørner, Microsoft Research Jasmin Christian Blanchette, Inria Nancy & Loria Maria Paola Bonacina, Universite degli Studi di Verona Pascal Fontaine, Loria, Inria, University of Lorraine Silvio Ghilardi, Universite degli Studi di Milano Martin Giese, University of Oslo Jürgen Giesl, RWTH Aachen Alberto Griggio, FBK-IRST Reiner Hähnle, TU Darmstadt Marijn Heule, The University of Texas at Austin Laura Kovács, Vienna University of Technology Aart Middeldorp, University of Innsbruck Neil Murray, SUNY at Albany David Plaisted, University of North Carolina at Chapel Hill Andrei Popescu, Middlesex University London Giles Reger, University of Manchester (co-chair) Renate Schmidt, The University of Manchester Stephan Schulz, DHBW Stuttgart Geoff Sutcliffe, University of Miami Cesare Tinelli, The University of Iowa Dmitriy Traytel, ETH Zürich (co-chair) Andrei Voronkov, The University of Manchester Christoph Weidenbach, Max Planck Institute for Informatics From roberto.santana at ehu.eus Wed Apr 26 01:46:52 2017 From: roberto.santana at ehu.eus (Roberto Santana Hermida) Date: Wed, 26 Apr 2017 01:46:52 +0200 Subject: IEEE CEC-2017, San Sebastian. Call for Participations Message-ID: <20170426014652.Horde.111njkW7FuR6ntdoDS-bLdQ@webposta.ehu.eus> ------------------------------------------------------------------------------ We apologize if you received multiple copies of this message Please, feel free to distribute it to those who might be interested. ------------------------------------------------------------------------------ 2017 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION San Sebastian, Spain June 5-8, 2017 - Call for Participations - On behalf of the organizing committee, it is our great pleasure to invite you to the 2017 IEEE Conference on Evolutionary Computation (www.cec2017.org) that will be held in San Sebastian, Spain, in June 5-8, 2017. IEEE CEC is a world-class conference that aims to bring together researchers and practitioners in the field of evolutionary computation and computational intelligence from all around the globe. Technical exchanges within the research community will encompass keynote lectures, regular and special sessions, tutorials, and competitions as well as poster presentations. In addition, participants will be treated to a series of social functions, receptions, and networking to establish new connections and foster everlasting friendship among fellow counterparts. Donostia/San Sebastian is a coastal medium-size city located in northern Spain, 20km from the border with France. It stands as an amphitheatre over-looking the sea. It is known the world over for its spectacular bay and is referred to as the Pearl of the Cantabrian Sea. It is also internationally renowned for being a culinary haven where visitors will find more Michelin stars per square meter than in any other city in the world. The conference will take place at the Kursaal Convention Center and Auditorium. Kursaal is located in the city center, overlooking the seafront. This avant-garde architectural showpiece was designed by Rafael Moneo and won the Mies van der Rohe prize for the best building in Europe in 2001. The main hotels, restaurants and shopping areas are within walking distance. CEC 2017 covers all topics in the field of Evolutionary Computation including the following non-exhaustive list: * Genetic algorithms * Genetic programming * Estimation of distribution algorithms * Evolutionary programming * Evolution strategies * Bioinformatics and bioengineering * Coevolution and collective behavior * Combinatorial and numerical optimization * Constraint and uncertainty handling * Evolutionary data mining * Evolutionary learning systems * Evolvable/adaptive hardware and systems * Evolving neural networks and fuzzy systems * Evolutionary multi-objective optimization * Ant colony optimization * Artificial life * Agent-based systems * Molecular and quantum computing * Particle Swarm Optimization * Artificial immune systems * Representation and operators * Industrial applications of EC * Evolutionary game theory * Cognitive systems and applications * Computational finance and economics * Estimation of distribution algorithms * Evolutionary design * Evolutionary scheduling The program of the conference is now complete: http://www.cec2017.org/Program/index.html For Program inquiries please contact the Program Chair, Carlos Coello at ccoello at cs.cinvestav.mx. General inquiries for IEEE CEC 2017 should be sent to the General Chair, Jose A. Lozano at info at cec2017.org You can also follow CEC 2017 on Twitter: https://twitter.com/cec2017 We are looking forward to seeing you in San Sebastian! From geoff at cs.miami.edu Wed Apr 26 23:13:32 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 26 Apr 2017 17:13:32 -0400 (EDT) Subject: 4th Vampire Workshop - Call for Papers Message-ID: <20170426211332.D910F1214C6@mcclellan.cs.miami.edu> ========================= Vampire 2017: The 4th Vampire Workshop August 7, 2017, part of CADE 2017 Gothenburg, Sweden http://easychair.org/smart-program/Vampire17/index.html ========================= CALL FOR PAPERS ========================= IMPORTANT DATES: Submission deadline: July 1, 2017 Notification of acceptance: July 7, 2017 Workshop day: August 7, 2017 WORKSHOP AIM: The workshop aims at discussing the development and use of the first-order theorem prover Vampire. The workshop will address the newest trends in implementing first-order theorem provers, and focus on new challenges and application areas. Workshop participants will include both Vampire developers and users and provides a convenient opportunity for interesting discussions between tool developers and users. The users can learn more about Vampire and its recent developments. The developers can learn more about the use of Vampire, its efficiency in various application areas and needs of the users. The workshop is going to to shed the light on on problems such as - what is essential for substantial progress in theorem proving tools; - what are the best implementation principles to be used; - what are the best heuristics and strategies, depending on application areas; - both successful and unsuccessful case studies; - missing features in modern theorem provers. The workshop will also overview the most recent advances made in Vampire. PAPER SUBMISSION: We seek submissions reporting on theory, application, case studies, experiments and work-in-progress using Vampire and other theorem provers in various applications. Submissions can be in any form, ranging from work in progress to completed work. For example, the users can submit: - extended abstracts or full papers; - theoretical papers; - experimental papers and case studies - or in general any papers that can benefit tool developers and users. Papers can be of any length, ranging from 2-page abstracts to full papers up to 20 pages in length. The papers should use the EasyChair LaTeX, Microsoft Word, or ODT templates, which can be found at: http://www.easychair.org/publications/epic-templates. Submissions should be made using EasyChair, via the link : https://easychair.org/conferences/?conf=vampire17 The workshop proceedings will be published in the EasyChair EPiC series. PROGRAM CHAIRS: Laura Kovacs (Vienna University of Technology) Andrei Voronkov (University of Manchester, Chalmers University of Technology and EasyChair) From newsletter at saso-conference.org Thu Apr 27 10:54:16 2017 From: newsletter at saso-conference.org (Markus Esch) Date: Thu, 27 Apr 2017 10:54:16 +0200 Subject: =?utf-8?b?RXh0ZW5kZWQgRGVhZGxpbmU6IFNBU08gMjAxNyAtIElFRUUgSW50ZXJu?= =?utf-8?b?YXRpb25hbCBDb25mZXJlbmNlIG9uIFNlbGYtQWRhcHRpdmUgYW5kIFNl?= =?utf-8?b?bGYtT3JnYW5pemluZyBTeXN0ZW1zLCBTZXB0ZW1iZXIgMTgtMjIsIFR1?= =?utf-8?b?Y3NvbiwgQXJpem9uYSA=?= Message-ID: ************************************************************************* CALL FOR PAPERS The Eleventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017) EXTENDED DEADLINES: Extended abstract submission: May 8, 2017 Extended paper submission: May 24, 2017 University of Arizona, Tucson, AZ; 18-22 September 2017 https://saso2017.telecom-paristech.fr/ ************************************************************************* Part of FAS* - Foundation and Applications of Self-* Computing Conferences Collocated with: The International Conference on Cloud and Autonomic Computing (ICCAC 2017) ------------------- Aims and Scope ------------------- The aim of the Self-Adaptive and Self-Organizing Systems conference series (SASO) is to provide a forum for the presentation and discussion of research on the foundations of engineered systems that self-adapt and self-organize. The complexity of current and emerging networks, software, and services can be characterized by issues such as scale, heterogeneity, openness, and dynamics in the environment. This has led the software engineering, distributed systems, and management communities to look for inspiration in diverse fields (e.g., complex systems, control theory, artificial intelligence, chemistry, psychology, sociology, and biology) to find new ways of designing and managing such computing systems in a principled way. In this endeavor, self-organization and self-adaptation have emerged as two promising interrelated approaches. They form the basis for many other so-called self-* properties, such as self-configuration, self-healing, or self-optimization. SASO aims to be an interdisciplinary meeting, where contributions from participants with different backgrounds leads to the fostering of a cross-pollination of ideas, and where innovative theories, frameworks, methodologies, tools, and applications can emerge. The eleventh edition of the SASO conference embraces this inter-disciplinary nature, and welcomes novel contributions to both the foundational and application-focused dimensions of self-adaptive and self-organizing systems research. The topics of interest include, but are not limited to: - Systems theory: nature-inspired and socially-inspired paradigms and heuristics; inter-operation of self-* mechanisms; theoretical frameworks and models; control theory; - System properties: robustness; resilience; stability; anti-fragility; diversity; self-reference and reflection; emergent behavior; computational awareness and self-awareness; - Systems engineering: reusable mechanisms and algorithms; design patterns; architectures; methodologies; software and middleware development frameworks and methods; platforms and toolkits; multi-agent systems; - Theory and practice of organization: self-governance, change management, electronic institutions, distributed consensus, commons, knowledge management, and the general use of rules, policies, etc. in self-* systems - Theory and practice of adaptation: mechanisms for adaptation, including evolution, logic, learning; adaptability, plasticity, flexibility - Socio-technical systems: human and social factors; visualization; crowdsourcing and collective awareness; humans-in-the-loop; ethics and humanities in self-* systems; - Data-driven approaches: data mining; machine learning; data science and other statistical techniques to analyze, understand, and manage behavior of complex systems; - Self-adaptive and self-organizing hardware: self-* materials; self-construction; reconfigurable hardware; - Education: experience reports; curricula; innovative course concepts; methodological aspects of self-* systems education; Applications and experiences with self-* systems in any of the following domains are of particular interest: + Smart systems: smart grids, smart cities, smart environments, smart homes, etc. + Industrial automation: embedded self-* systems, adaptive industrial plants, Industry 4.0, cyber physical systems + Transportation: autonomous vehicles, traffic optimization + Autonomous systems: aerial vehicles, undersea vehicles, autonomous robotics + Internet of Things: self-* for network management, self-* applied to cyber security We are looking for contributions that present new fundamental understanding of self-adaptive and self-organizing systems and how they can be engineered and used, including: novel theoretical or experimental results, novel design patterns, mechanisms, system architectures, frameworks, tools, and practical experiences in building or deploying systems and applications. Contributions contrasting different approaches for engineering a given family of systems, or demonstrating the applicability of a certain approach for different systems, are equally encouraged. Likewise, papers describing substantial innovation or insights in the use and communication of self-* systems in the classroom are welcome. Where relevant and appropriate, accepted papers will also be encouraged to participate in the Demo or Poster Sessions. -------------------- Important Dates -------------------- Abstract submission: May 8, 2017 Paper submission: May 24, 2017 Notification: June 30, 2017 Camera ready copy due: July 12, 2017 Conference: September 18-22, 2017 ---------------------------- Submission Instructions ---------------------------- Submissions can be up to 10 pages, formatted according to the standard IEEE Computer Society Press proceedings style guide, and submitted electronically in PDF format. Please submit your papers using the SASO 2017 conference management system https://easychair.org/conferences/?conf=saso2017. The proceedings will be published by the IEEE Computer Society Press, and made available as a part of the IEEE Digital Library. Note that a separate Call for Poster and Demo Submissions will also be issued. As per the standard IEEE policies, all submissions should be original, i.e., they must not have been previously published in any conference proceedings, book, or journal and must not currently be under review for another archival conference. We also highlight the IEEE policies regarding plagiarism and self-plagiarism (http://www.ieee.org/publications_standards/publications/rights/ID_Plagiarism.html). --------------------- Review Criteria --------------------- Papers should present novel ideas in the cross-disciplinary research context described in this call, motivated by problems from current practice or applied research. Both theoretical and empirical contributions should be highlighted, substantiated by formal analysis, simulation, experimental evaluations, or comparative studies, etc. Appropriate references must be made to related work. Because SASO is a cross-disciplinary conference, we encourage papers to be intelligible and relevant to researchers who are not members of the same specialized sub-field. Authors are also encouraged to submit papers describing applications. Application papers should provide an indication of the real-world relevance of the problem that is solved, including a description of the domain, and an evaluation of performance, usability, or comparison to alternative approaches. Experience papers are also welcome, especially if they highlight insights into any aspect of design, implementation or management of self-* systems that would be of benefit to practitioners and the SASO community. All submissions will be rigorously peer reviewed and evaluated based on the quality of their technical contribution, originality, soundness, significance, presentation, understanding of the state of the art, and overall quality. ------------------------------- Conference General Chair ------------------------------- Ada Diaconescu Telecom Paris-Tech, Paris, FR -------------------- Program Chairs -------------------- Peter Lewis, Aston University, Birmingham, UK Sam Malek, University of California, Irvine, USA Hella Seebach, Augsburg University, Augsburg, DE From peter.schuller at marmara.edu.tr Thu Apr 27 11:02:35 2017 From: peter.schuller at marmara.edu.tr (Peter =?iso-8859-1?q?Sch=FCller?=) Date: Thu, 27 Apr 2017 12:02:35 +0300 (+03) Subject: Call for Participation: International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017 Message-ID: <20170427090235.199762C01F2@omsievews> Call for Participation --------------------------------------------------------------------------- 14th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2017 http://lpnmr2017.aalto.fi/ Hanasaari, Espoo, Finland July 3-6, 2017 !!! Early registration deadline is May 26, 2017 !!! !!! All LPNMR workshops are accepting submissions until May 1, 2017 !!! --------------------------------------------------------------------------- REGISTRATION Early registration deadline is May 26, 2017. For more information, visit: http://lpnmr2017.aalto.fi/registration.html ACCEPTED PAPERS, PROGRAM, INVITED SPEAKERS The conference program, including accepted papers and invited speaker information can be found at http://lpnmr2017.aalto.fi/program.html All LPNMR workshops are accepting submissions until May 1, 2017!! For details, see: http://lpnmr2017.aalto.fi/workshops.html AIMS AND SCOPE LPNMR 2017 is the fourteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops and a special session dedicated to the 7th ASP Competition. A Doctoral Consortium will also be a part of the program. INVITED SPEAKERS Joao Leite, Universidade Nova de Lisboa, Lisbon, Portugal Tran Cao Son, New Mexico State University, Las Cruses, New Mexico, USA Francesca Toni, Imperial College, London, UK ASSOCIATED EVENTS WORKSHOPS - LPNMR 2017 will include specialized workshops to be held on July 3 prior to the main conference. Currently planned workshops include: - Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Bart Bogaerts and Amelia Harrison - Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak - Grounding and Transformations for Theories with Variables (GTTV) Organizers: Simona Perri and Shahab Tasharrofi - Knowledge Representation and Planning for Robotics and Autonomous Systems (KPRAS) Organizers: Fangkai Yang and Shiqi Zhang - Practical Aspects of Answer Set Programming (PAoASP) Organizers: Martin Gebser, Marco Maratea, and Francesco Ricca - User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Claudia Schulz ASP COMPETITION - A special session dedicated to a discussion of the 7th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. DOCTORAL CONSORTIUM - A mentoring event where PhD students have a change to present their current research, get feedback from peers and senior researchers, and establish contacts for the future. FURTHER INFORMATION WWW: lpnmr2017.aalto.fi/ email: lpnmr2017 at list dot aalto dot fi VENUE Espoo, the second largest and the fastest growing city in Finland, is located right next to the capital Helsinki in the coastal Finland. Espoo is Northern Europe's largest high-tech and innovation hub where science, business and culture meet the wilderness of Nuuksio National Park and stunning seaside environment. Espoo's location offers excellent traffic connections: only half an hour from the international airport and harbors. The main campus of Aalto University is situated in Espoo. The LPNMR 2017 conference will be held in the Hanasaari Conference center that is located on an island of its own and is only 15 minutes away from Helsinki center by public transport. For travel & lodging information, visit: http://lpnmr2017.aalto.fi/travel.html PROGRAM CHAIRS Marcello Balduccini, Drexel University, USA Tomi Janhunen, Aalto University, Finland PUBLICITY CHAIR Peter Sch�ller, Marmara University, Turkey WORKSHOPS CHAIR Joohyung Lee, Arizona State University, USA DOCTORAL CONSORTIUM CHAIR Marina De Vos, University of Bath, UK 7TH ASP COMPETITION ORGANIZERS Martin Gebser, University of Potsdam, Germany Marco Maratea, University of Genoa, Italy Francesco Ricca, University of Calabria, Italy PROGRAM COMMITTEE Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Marcello Balduccini, Drexel University, USA Chitta Baral, Arizona State University, USA Bart Bogaerts, KU Leuven, Belgium Gerhard Brewka, Leipzig University, Germany Pedro Cabalar, University of Corunna, Spain Francesco Calimeri, University of Calabria, Italy Stefania Costantini, University of L'Aquila, Italy James Delgrande, Simon Fraser University, Canada Marc Denecker, K.U.Leuven, Belgium Marina De Vos, University of Bath, UK Agostino Dovier, University of Udine, Italy Thomas Eiter, Vienna University of Technology, Austria Wolfgang Faber, University of Huddersfield, UK Paul Fodor, Stony Brook University, USA Alfredo Gabaldon, GE Global Research, USA Martin Gebser, University of Potsdam, Germany Michael Gelfond, Texas Tech University, USA Giovanni Grasso, Oxford University, UK Giovambattista Ianni, University of Calabria, Italy Daniela Inclezan, Miami University, USA Tomi Janhunen, Aalto University, Finland Matthias Knorr, Universidade Nova de Lisboa, Portugal Joohyung Lee, Arizona State University, USA Yuliya Lierler, University of Nebraska at Omaha, USA Vladimir Lifschitz, University of Texas at Austin, USA Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Marco Maratea, University of Genoa, Italy Alessandra Mileo, National University of Ireland, Ireland Emilia Oikarinen, Finnish Institute of Occupational Health, Finland Mauricio Osorio, Universidad de las Americas Puebla, Mexico Ravi Palla, GE Global Research, USA David Pearce, Universidad Polit�cnica de Madrid, Spain Axel Polleres, Vienna University of Economics and Business, Austria Enrico Pontelli, New Mexico State University, USA Christoph Redl, Vienna University of Technology, Austria Alessandra Russo, Imperial College, United Kingdom Orkunt Sabuncu, University of Potsdam, Germany Chiaki Sakama, Wakayama University, Japan Torsten Schaub, University of Potsdam, Germany Peter Sch�ller, Marmara University, Turkey Tran Cao Son, New Mexico State University, USA Hannes Strass, Leipzig University, Germany Theresa Swift, Universidade Nova de Lisboa, Portugal Shahab Tasharrofi, Aalto University, Finland Eugenia Ternovska, Simon Fraser University, Canada Hans Tompits, Vienna University of Technology, Austria Mirek Truszczynski, University of Kentucky, USA Agustin Valverde, Universidad de M�laga, Spain Kewen Wang, Griffith University, Australia Yisong Wang, Guizhou University, China Stefan Woltran, Vienna University of Technology, Austria Jia-Huai You, University of Alberta, Canada Yi Zhou, University of Western Sydney, Australia (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From jleite at fct.unl.pt Thu Apr 27 12:33:02 2017 From: jleite at fct.unl.pt (Joao Leite) Date: Thu, 27 Apr 2017 11:33:02 +0100 Subject: PRIMA 2017 - Second CFP - 20th International Conference on Principles and Practice of Multi-Agent Systems Message-ID: Call for Papers PRIMA 2017 The 20th International Conference on Principles and Practice of Multi-Agent Systems Nice, France https://prima2017.gforge.uni.lu/ ************************ Important Dates ************************ Submission of papers: June 2nd, 2017 Notification of acceptance: July 21st, 2017 Camera-ready version: September 1st, 2017 Conference: October 30th to November 3rd, 2017 ************************ About PRIMA: ************************ Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like ‘trust’, ‘game’ and ‘institution’, not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics. The 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017) invites submissions of original, unpublished, theoretical and applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities. ************************ Information for Authors ************************ The PRIMA 2017 Program Committee invites submissions of original, unpublished, theoretical and applied work strongly relevant to multiagent systems, including reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities. An indicative list of topics is provided below. Papers should be at most 16 pages in length in the Springer LNCS format. All accepted papers will be published in Springer’s LNAI series. Papers are to be submitted through the Easychair Conference Management System: https://easychair.org/conferences/?conf=prima2017. ************************ Committees ************************ General Chairs ++++++++++++++++++++++++ Leendert van der Torre, University of Luxembourg, Luxembourg Serena Villata, Université Côte d’Azur, France Program Chairs ++++++++++++++++++++++++ Ana Bazzan, Universidade Federal do Rio Grande do Sul, Brasil Joao Leite, Universidade Nova de Lisboa, Portugal Bo An, Nanyang Technological University Local Organizing Co-Chairs: ++++++++++++++++++++++++ Andrea G.B. Tettamanzi, Professeur, Université Côte d’Azur Celia da Costa Pereira, McF, Université Côte d’Azur Catherine Faron-Zucker, McF, Université Côte d’Azur Senior Program Committee (preliminary list): ++++++++++++++++++++++++ Matteo Baldoni, University of Torino Tina Balke, University of Surrey Jamal, Bentahar, Concordia University Rafael H. Bordini, PUCRS Mehdi Dastani, Utrecht University Paul Davidsson, Malmö University Yves Demazeau, CNRS - LIG Frank Dignum, Utrecht University Ulle Endriss, University of Amsterdam Rino Falcone, Institute of Cognitive Sciences and Technologies-CNR Katsutoshi Hirayama, Kobe University Felipe Meneguzzi, Pontifical Catholic University of Rio Grande do Sul Zinovi Rabinovich, Nanyang Technological University Bastin Tony Roy Savarimuthu, University of Otago Paolo Torroni, Università di Bologna Bo Yang, Jilin University Makoto Yokoo, Kyushu University Topics of interest include (but are not limited to) the following: Logic and Reasoning ++++++++++++++++++++++++ Logics of agency Logics of multiagent systems Norms Argumentation Computational Game Theory Uncertainty in Agent Systems Agent and Multi-Agent Learning Engineering Multi-Agent Systems ++++++++++++++++++++++++ Agent-Oriented Software Engineering Interaction protocols Commitments Institutions and Organizations Normative Systems Formal Specification and Verification Agent Programming Languages Middleware and Platforms Testing, debugging, and evolution Deployed System Case Studies Agent-Based Modeling and Simulation ++++++++++++++++++++++++ Simulation Languages and Platforms Artificial Societies Virtual Environments Emergent Behavior Modeling System Dynamics Application Case Studies Collaboration & Coordination ++++++++++++++++++++++++ Planning Distributed Problem Solving Teamwork Coalition Formation Negotiation Trust and Reputation Economic paradigms ++++++++++++++++++++++++ Auctions and mechanism design Bargaining and negotiation Behavioral game theory Cooperative games: theory & analysis Cooperative games: computation Noncooperative games: theory & analysis Noncooperative games: computation Social choice theory Game theory for practical applications Human-Agent Interaction ++++++++++++++++++++++++ Adaptive Personal Assistants Embodied Conversational Agents Virtual Characters Multimodal User Interfaces Mobile Agents Human-Robot Interaction Decentralized Paradigms ++++++++++++++++++++++++ Grid Computing Service-Oriented Computing Cybersecurity Robotics and Multirobot Systems Ubiquitous Computing Social Computing Internet of Things Application Domains for Multi-Agent Systems ++++++++++++++++++++++++ Healthcare Autonomous Systems Transport and Logistics Emergency and Disaster Management Energy and Utilities Management Sustainability and Resource Management Games and Entertainment e-Business, e-Government, and e-Learning Smart Cities Financial markets Legal applications -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From woltran at dbai.tuwien.ac.at Thu Apr 27 18:20:41 2017 From: woltran at dbai.tuwien.ac.at (Stefan Woltran) Date: Thu, 27 Apr 2017 18:20:41 +0200 (CEST) Subject: [FLoC'18/ICLP'18] Call for Workshops Message-ID: [apologies for cross posting] FLoC 2018 --- The 2018 Federated Logic Conference 6-19 July 2018 Oxford, England UK http://www.floc2018.org/ CALL FOR WORKSHOPS The Seventh Federated Logic Conference (FLoC 2018) will host the following nine conferences and affiliated workshops. CAV (30th International Conference on Computer Aided Verification) http://i-cav.org/ Workshop chair: Hana Chockler hana.chockler at kcl.ac.uk CSF (31st IEEE Computer Security Foundations Symposium) http://www.ieee-security.org/CSFWweb/ Workshop chair: Cas Cremers cas.cremers at cs.ox.ac.uk FM (23rd International Symposium on Formal Methods) http://www.fmeurope.org/?page_id=221 Workshop chair: Helen Treharne H.Treharne at surrey.ac.uk FSCD (3rd International Conference on Formal Structures for Computation and Deduction) http://fscdconference.org/ Workshop chair: Paula Severi pgs11 at le.ac.uk ICLP (35th International Conference on Logic Programming) https://www.cs.nmsu.edu/ALP/conferences/ Workshop chair: Stefan Woltran woltran at dbai.tuwien.ac.at IJCAR (International Joint Conference on Automated Reasoning) http://www.ijcar.org Workshop chair: Alberto Griggio griggio at fbk.eu ITP (9th International Conference on Interactive Theorem Proving) http://itp2017.cic.unb.br Workshop chair: Assia Mahboubi Assia.Mahboubi at inria.fr LICS (33rd Annual ACM/IEEE Symposium on Logic in Computer Science) http://lics.rwth-aachen.de/ Workshop chair: Patricia Bouyer bouyer at lsv.ens-cachan.fr SAT (21st International Conference on Theory and Applications of Satisfiability Testing) http://www.satisfiability.org Workshop chair: Martina Seidl martina.seidl at jku.at SUBMISSION OF WORKSHOP PROPOSALS Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate one affiliated conference of FLoC 2018. It is strongly suggested that prospective workshop organizers contact the relevant conference workshop chair before submitting a proposal. Each proposal should consist of the following two parts. 1) A short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). 2) An organisational part including: - contact information for the workshop organizers; - proposed affiliated conference; - estimate of the number of workshop participants; - proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.) - potential invited speakers; - procedures for selecting papers and participants; - plans for dissemination, if any (e.g. a journal special issue); - duration (which may vary from one day to two days); - preferred period (pre, mid or post FLoC). The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and availability of space and facilities. Proposals should be submitted through EasyChair: https://easychair.org/conferences/?conf=floc2018workshops Please see the Workshop Guidelines page: http://www.floc2018.org/workshop-guidelines/ for further details and FAQ. IMPORTANT DATES Submission of workshop proposals deadline: June 19, 2017 Notification: July 31, 2017 Pre-FLoC workshops: Saturday & Sunday, July 7-8, 2018 Mid-FLoC workshops: Friday July 13, 2018 Post-FLoC workshops: Wednesday & Thursday, July 18-19, 2018 See the FLoC calendar (http://www.floc2018.org/calendar/) for the FLoC conference and workshop dates. Note 1: mid-FLoC workshops are expected be one day in duration, however we can consider two-day workshops under exceptional circumstance (details should be included in the proposal). Note 2: since FM is a three-day conference (see calendar), FM-affiliated workshops may be held on 17-18 July. CONTACT INFORMATION Questions regarding proposals should be sent to the workshop chairs of the proposed affiliated conference. General questions should be sent to: gethin.norman at glasgow.ac.uk FLoC 2018 WORKSHOP CHAIR Gethin Norman University of Glasgow From jpg at ruc.dk Thu Apr 27 19:31:11 2017 From: jpg at ruc.dk (John Patrick Gallagher) Date: Thu, 27 Apr 2017 17:31:11 +0000 Subject: LOPSTR 2017: 1st Call for Papers Message-ID: [ Please distribute, apologies for multiple postings. ] ==================================================================== LOPSTR 2017: 1st Call for Papers ==================================================================== 27th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2017 https://www.sci.unich.it/lopstr17/ University of Namur, Namur, Belgium October 10 – 12, 2017 (co-located with PPDP 2017) ==================================================================== DEADLINES: Abstract submission: June 6, 2017 Paper/Extended abstract submission: June 13, 2017 ==================================================================== INVITED SPEAKERS: to be announced ==================================================================== 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 27th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2017) will be held at the University of Namur, Belgium; previous symposia were held in Edinburgh, 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, and Manchester. LOPSTR 2017 will be co-located with PPDP 2017 (International Symposium on Principles and Practice of Declarative 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 chair in case of questions). Important Dates Abstract submission: Jun 6, 2017 Paper/Extended abstract submission: Jun 13, 2017 Notification: July 25, 2017 Camera-ready (for electronic pre-proceedings): tba, 2017 Symposium: October 10-12, 2017 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 authors 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 2017: [http://www.easychair.org/conferences/?conf=lopstr2017] (can be accessed also through the LOPSTR 2017 web site). 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). 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 Roberto Bagnara, University of Parma and BUGSENG, Italy Sabine Broda, University of Porto, Portugal Henning Christiansen, Roskilde University, Denmark Emanuele De Angelis, University of Chieti-Pescara, Italy Daniel De Schreye, KU Leuven, Belgium Maribel Fernandez, King's College London, UK Laurent Fribourg, CNRS, ENS Paris-Saclay, France Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Arie Gurfinkel, University of Waterloo, Canada Geoff Hamilton, Dublin City University, Ireland Gerda Janssens, KU Leuven, Belgium Bishoksan Kafle, University of Melbourne, Australia Andy King, University of Kent, UK Jacopo Mauro, University of Oslo, Norway Jose F. Morales, IMDEA Software Institute, Spain Jorge A. Navas, SRI International, USA Corneliu Popeea, CQSE GmbH, Germany Francesca Scozzari, University of Chieti-Pescara, Italy Theresa Swift, NOVALINKS, Universidade Nova de Lisboa, Portugal Alicia Villanueva, Universitat Politècnica de València, Spain Program Chairs Fabio Fioravanti, University of Chieti-Pescara, Italy John Gallagher, Roskilde University, Denmark and IMDEA Software Institute, Spain Organizing Committee Wim Vanhoof (Université de Namur, Namur, Belgium, Local Organizer) In cooperation with: The European Association for Theoretical Computer Science The European Association for Programming Languages and Systems The Association for Logic Programming From geoff at cs.miami.edu Fri Apr 28 16:21:58 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 28 Apr 2017 10:21:58 -0400 (EDT) Subject: Formal Methods in Computer-Aided Design - Final Call for Papers Message-ID: <20170428142158.7F168121474@mcclellan.cs.miami.edu> FINAL CALL FOR PAPERS - DEADLINE EXTENSION International Conference on Formal Methods in Computer-Aided Design (FMCAD) Vienna, Austria, October 2-6, 2017 http://www.fmcad.org/FMCAD17 IMPORTANT DATES Abstract Submission: May 08, 2017 Paper Submission: May 15, 2017 Author Response Period: June 19-23, 2017 Author Notification: July 14, 2017 Camera-Ready Version: Aug 09, 2017 All deadlines are 11:59 pm AoE (Anywhere on Earth) FMCAD Tutorial Day: October 2, 2017 FMCAD Regular Program: October 3-6, 2017 Part of the FMCAD 2017 program: - Symposium in memoriam of Helmut Veith - Hardware Model Checking Competition 2017 - FMCAD Student Forum (deadline: July 21, 2017) Limited funds will be available for travel assistance for students with accepted contributions at the student forum. Co-located event: MEMOCODE 2017 (http://memocode.irisa.fr/2017/) CONFERENCE SCOPE AND PUBLICATION FMCAD 2017 is the seventeenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD employs a rigorous peer-review process. Accepted papers are distributed through both ACM and IEEE digital libraries. In addition, published articles are made available freely on the conference page; the authors retain the copyright. There are no publication fees. At least one of the authors is required to register for the conference and present the accepted paper. A small number of outstanding FMCAD submissions will be considered for inclusion in a Special Issue of the journal on Formal Methods in System Design (FMSD). TOPICS OF INTEREST FMCAD welcomes submission of papers reporting original research on advances in all aspects of formal methods and their applications to computer- aided design. Topics of interest include (but are not limited to): -- Model checking, theorem proving, equivalence checking, abstraction and reduction, compositional methods, decision procedures at the bit- and word-level, probabilistic methods, combinations of deductive methods and decision procedures. -- Synthesis and compilation for computer system descriptions, modeling, specification, and implementation languages, formal semantics of languages and their subsets, model-based design, design derivation and transformation, correct-by-construction methods. -- Application of formal and semi-formal methods to functional and non-functional specification and validation of hardware and software, including timing and power modeling, verification of computing systems on all levels of abstraction, system-level design and verification for embedded systems, cyber-physical systems, automotive systems and other safety-critical systems, hardware-software co-design and verification, and transaction-level verification. -- Experience with the application of formal and semi-formal methods to industrial-scale designs; tools that represent formal verification enablement, new features, or a substantial improvement in the automation of formal methods. -- Application of formal methods to verifying safety, correctness, connectivity, and security properties of networks and distributed systems. SUBMISSIONS Submissions must be made electronically in PDF format via EasyChair: https://easychair.org/conferences/?conf=fmcad17 Two categories of papers are invited: Regular papers, and Tool & Case Study papers. Regular papers are expected to offer novel foundational ideas, theoretical results, or algorithmic improvements to existing methods, along with experimental impact validation where applicable. Tool & Case Study papers are expected to report on the design, implementation or use of verification (or related) technology in a practically relevant context (which need not be industrial), and its impact on design processes. Both Regular and Tool & Case study papers must use the IEEE Transactions format on letter-size paper with a 10-point font size. Regular papers can be up to 8 pages in length and tool papers up to 4 pages, although there is no requirement to fill all pages in either category. Authors will be required to select the appropriate paper category at abstract submission time. Submissions may contain an optional appendix, which will not appear in the final version of the paper. The reviewers should be able to assess the quality and the relevance of the results in the paper without reading the appendix. Submissions in both categories must contain original research that has not been previously published, nor is concurrently submitted for publication. Any partial overlap with published or concurrently submitted papers must be clearly indicated. If experimental results are reported, authors are strongly encouraged to provide the reviewers access to their data at submission time, so that results can be independently verified. FMCAD 2017 COMMITTEES PROGRAM CHAIRS: Daryl Stewart, ARM Georg Weissenbacher, TU Wien STUDENT FORUM CHAIR: Keijo Heljanko, Aalto University LOCAL ARRANGEMENTS CHAIR & WEBMASTER: Jens Katelaan, TU Wien PUBLICATION CHAIR: Mitra Tabaei Befrouei, TU Wien PROGRAM COMMITTEE Jade Alglave University College London and Microsoft Research Christel Baier Technical University of Dresden Roderick Bloem Graz University of Technology Hana Chockler King's College London Andreas Griesmayer ARM Arie Gurfinkel University of Waterloo Ziyad Hanna Cadence Design Systems Fei He Tsinghua University Alan J. Hu University of British Columbia Warren A. Hunt Jr. University of Texas Alexander Ivrii IBM Barbara Jobstmann EPFL and Cadence Design Systems Dejan Jovanovic SRI International Gerwin Klein Data61 and UNSW Australia Igor Konnov TU Wien Rebekah Leslie-Hurd Intel Ines Lynce INESC-ID/IST, Universidade de Lisboa Ken McMillan Microsoft Research Charles Morisset Newcastle University Lee Pike Galois Inc. Mitra Purandare IBM Ajitha Rajan University of Edinburgh Ahmed Rezine Linköping University Sean Safarpour Synopsys Roopsha Samanta Purdue University Martina Seidl Johannes Kepler University Linz Natasha Sharygina USI Lugano Anna Slobodova Centaur Technology Ana Sokolova University of Salzburg Daryl Stewart ARM Murali Talupur FormalSim Michael Tautschnig Queen Mary University of London Thomas Wahl Northeastern University Chao Wang University of Southern California Georg Weissenbacher TU Wien Florian Zuleger TU Wien FMCAD STEERING COMMITTEE Armin Biere, Johannes Kepler University in Linz, Austria Alan Hu, University of British Columbia, Canada Warren A. Hunt Jr., University of Texas at Austin, USA Vigyan Singhal, Oski Tech From cie2017 at abo.fi Fri Apr 28 17:12:56 2017 From: cie2017 at abo.fi (CIE2017) Date: Fri, 28 Apr 2017 18:12:56 +0300 Subject: CiE 2017: call for participation Message-ID: <1a131f9f-cdeb-7958-55e7-32b8c7888d3a@abo.fi> CALL FOR PARTICIPATION: ======================= CiE 2017: Unveiling Dynamics and Complexity Turku, Finland June 12-16, 2017 http://math.utu.fi/cie2017 NOTE: ====== Symposium “Magic in Science”, co-located with CiE 2017, dedicated to Grzegorz Rozenberg on the occasion of his 75th birthday takes place just after CiE, on June 17, 2017. Details below and at at http://combio.abo.fi/rozenberg75/ PRELIMINARY SCHEDULE: http://math.utu.fi/cie2017/conference-schedule/ ==================== EARLY REGISTRATION: MAY 8, 2017 =================== CiE 2017 is the thirteenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015) and Paris (2016). ORGANIZED BY: ============= Department of Mathematics and Statistics, University of Turku Computer Science, Åbo Akademi University email: cie2017 at utu.fi WOMEN IN COMPUTABILITY PROGRAM AND GRANTS: ========================================== We are happy to announce that the CiE Women in Computability program, coordinated by the Special Interest Group Women in Computability http://sat.mdx.ac.uk/cie-wp/index.php/cie-conference-series/cie-cs-women-in-computability/ offers four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2017. Applications for this grant should be send to Liesbeth De Mol (liesbeth.demol at univ-lille3.fr) before 1 May 2017 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2017. TUTORIAL SPEAKERS: ================== Denis R. Hirschfeldt (University of Chicago) Daniel M. Gusfield (University of California, Davis) INVITED SPEAKERS: ================= Scott Aaronson (University of Texas at Austin) Karen Lange (Wellesley College) Ludovic Patey (Université Paris Diderot) Nicole Schweikardt (Humboldt-Universit ät zu Berlin) Alexander Shen (Université de Montpellier) Moshe Vardi (Rice University) SPECIAL SESSIONS: ================= Algorithmics for biology: ------------------------- Organized by Paola Bonizzoni (Milano, Italy) and Veli Mäkinen (Helsinki, Finland). Speakers: Tobias Marschall (Max-Planck-Institut für Informatik) Fabio Vandin (University of Padova) Gregory Kucherov (University Paris-Est Marne-la-Vallée) Gianluca Della Vedova (University of Milano-Bicocca) Combinatorics and algorithmics on words: ---------------------------------------- Organized by Tero Harju (Turku, Finland) and Dirk Nowotka (Kiel, Germany). Speakers: Stepan Holub (Charles University in Prague) Pascal Ochem (Université de Montpellier) Svetlana Puzynina (Sobolev Institute of Mathematics and École Normale Supérieure de Lyon) Narad Rampersad (University of Winnipeg) Computability in analysis, algebra, and geometry: ------------------------------------------------- Organized by Julia Knight (Notre Dame, USA) and Andrey Morozov (Novosibirsk, Russia). Speakers: Saugata Basu (Purdue University) Margarita Korovina (University of Aarhus) Alexander Melnikov (University of California, Berkeley) Russell Miller (Queens College, City University of New York) Cryptography and information theory: ------------------------------------ Organized by Delaram Kahrobaei (New York, USA) and Helger Lipmaa (Tartu, Estonia). Speakers: Jean-Charles Faugère (Université Pierre et Marie Curie) Elham Kashefi (University of Edinburgh-Scotland, Université Pierre et Marie Curie) Aggelos Kiayias (University of Edinburgh) Ivan Visconti (Università degli Studi di Salerno) Formal languages and automata theory: ------------------------------------- Organized by Juhani Karhumäki (Turku, Finland) and Alexander Okhotin (St. Petersburg, Russia). Speakers: Kai Salomaa (Queen's University at Kingston) Matrin Kutrib (Justus-Liebig-Universität Gießen) Thomas Colcombet (Université Paris Diderot) Artur Jez (University of Wrocław) History and philosophy of computing: ------------------------------------ Special topic: History and foundations of recursion, in memory of Rósza Péter (1905-1977) Organized by Liesbeth De Mol (Lille, France) and Giuseppe Primiero (London, United Kingdom). Speakers: Juliette Kennedy (University of Helsinki) Jan von Plato (University of Helsinki) Hector Zenil (University of Oxford, and Karolinska Institute) Cliff Jones (Newcastle University) The PROGRAM COMMITTEE consisted of: Andrew Arana (Urbana-Champaign, US) Arnold Beckmann (Swansea, UK) Paola Bonizzoni (Milan, IT) Olivier Bournez (Palaiseau, FR) Vasco Brattka (Munich, DE) Cristian S. Calude (Auckland, NZ) Ann Copestake (Cambridge, UK) Liesbeth De Mol (Lille, FR) Helena Durnová (Brno, CZ) Ekaterina Fokina (Vienna, AT) Tero Harju (Turku, FI) Emmanuel Jeandel (Nancy, FR) Emil Jeřábek (Prague, CZ) Natašha Jonoska (Tampa, US) Jarkko Kari (Turku, FI, co-chair) Viv Kendon (Durham, UK) Takayuki Kihara (Berkley, US) Florin Manea (Kiel, DE) Klaus Meer (Cottbus, DE) Russell Miller (New York City, US) Bernard Moret (Lausanne, CH) Rolf Niedermeier (Berlin, DE) Dag Normann (Oslo, NO) Dirk Nowotka (Kiel, DE) Isabel Oitavem (Lisbon, PT) Ion Petre (Turku, FI, co-chair) Kai Salomaa (Kingston, CA) Reed Solomon (Storrs, US) Mariya Soskova (Sofia, BG) Susan Stepney (York, UK) Peter Van Emde Boas (Amsterdam, NL) Philip Welch (Bristol, UK) Damien Woods (Pasadena, US) Magic in Science: ----------------- The symposium “Magic in Science” will be co-located with CiE 2017. It takes place on June 17, 2017, immediately after CiE. The symposium celebrates the 75th birthday of Prof. Grzegorz Rozenberg, University of Leiden, the Netherlands and University of Colorado at Boulder, USA. Grzegorz Rozenberg is one of the world leaders in research on Theoretical Computer Science and Natural Computing. As a matter of fact, he is often called the guru of Natural Computing, having started promoting it as a coherent scientific discipline already from the 1970s – he gave this area its name and defined its scope. He played a central role in the development of theoretical computer science in Europe. His research is very broad in scope and it is a prime example of interdisciplinary research. He has authored exceptionally many research papers opening new vistas, as well as well-known books about developmental languages, decidability and DNA computing. He supervised numerous Ph.D. students, many of whom have become known scientists. He serves or has served the international computer science community in numerous roles, including: president of the European Association for Theoretical Computer Science (EATCS); cofounder and president of the International Society for Nanoscale Science, Computation, and Engineering (ISNSCE); chair of the steering committee of the DNA Computing Conference; cofounder and chair of the steering committee of the International Conference on Application and Theory of Petri Nets; chair of the steering committee of the European Educational Forum; cofounder and chair of the steering committee of the International Conference on Developments in Language Theory; co-chair of the steering committee of the International Conference on Unconventional Computation and Natural Computation; and director of European Molecular Computing Consortium. The talks given at the symposium will have an overview character and together they will cover a broad range of topics from Computer Science, reflecting Grzegorz Rozenberg's broad research interests. Among the topics covered are: P vs NP, reaction systems, membrane computing, graph isomorphism, combinatorics on words, DNA rearrangements, smart textiles, smart drones, magic squares, wonder cubes, and odor reproduction. Confirmed speakers include: David Harel, Weizmann Institute of Science, Israel- "On odor reproduction and how to test for it" Hendrik Jan Hoogeboom, University of Leiden, the Netherlands - TBA Juraj Hromkovic, Swiss Federal Institute of Technology Zurich, Switzerland - "Why P vs. NP is so hard that even magicians failed to solve it" Natasha Jonoska, University of South Florida, USA - TBA Juhani Karhumäki, University of Turku, Finland - "Combinatorics on words and k-abelian equivalence" Hermann Maurer, Academia Europaea and Graz University of Technology, Austria: "Some unusual applications of computer science" George Paun, Institute of Mathematics of the Academy of Romania - TBA Azaria Paz, Technion, Israel - "Linked magic squares on a cube. Theme and variations" Moshe Vardi, Rice University, USA - "The Automated-Reasoning Revolution: From Theory to Practice and Back" The symposium is free of charge. Details: http://combio.abo.fi/rozenberg75/ ----------------------------------- Association CiE: http://computability.org.uk CiE Conference Series: http://illc.uva.nl/CiE CiE 2017 on Facebook: https://www.facebook.com/CIE.Conference2017 CiE 2017 on Twitter: https://twitter.com/2017Cie CiE 2017 on Instagram: https://instagram.com/cie.2017 From cwinter at microsoft.com Fri Apr 28 18:31:39 2017 From: cwinter at microsoft.com (Christoph Wintersteiger) Date: Fri, 28 Apr 2017 16:31:39 +0000 Subject: SMT 2017 workshop : 2nd CFP, Deadline 1st/8th May Message-ID: *** Apologies for multiple copies, please redistribute *** --- Call For Papers --- SMT 2017 15th International Workshop on Satisfiability Modulo Theories July 22 - 23, 2017, Heidelberg, Germany Affiliated with CAV 2017 ====================================================================== Background ---------- Determining the satisfiability of first-order formulas modulo background theories, known as the Satisfiability Modulo Theories (SMT) problem, has proved to be an enabling technology for verification, synthesis, test generation, compiler optimization, scheduling, and other areas. The success of SMT techniques depends on the development of both domain-specific decision procedures for each background theory (e.g., linear arithmetic, the theory of arrays, or the theory of bit-vectors) and combination methods that allow one to obtain more versatile SMT tools. These ingredients together make SMT techniques well-suited for use in larger automated reasoning and verification efforts. Aims and Scope -------------- The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Relevant topics include but are not limited to: * Decision procedures and theories of interest * Combinations of decision procedures * Novel implementation techniques * Applications and case studies * Benchmarks and evaluation methodologies * Theoretical results Papers on pragmatic aspects of implementing and using SMT tools, as well as novel applications of SMT, are especially encouraged. Important dates --------------- * Abstract submission deadline: Mon, May 1, 2017 * Paper submission deadline: Mon, May 8, 2017 * Notification: Mon, Jun 5, 2017 * Camera ready versions due: Mon, Jun 12, 2017 * Workshop: July 22-23, 2017 Paper submission and Proceedings -------------------------------- Three categories of submissions are invited: * Extended abstracts: given the informal style of the workshop, we strongly encourage the submission of preliminary reports of work in progress. They may range in length from very short (a couple of pages) to the full 10 pages and they will be judged based on the expected level of interest for the SMT community. They will be included in the informal proceedings. * Original papers: contain original research (simultaneous submissions are not allowed) and sufficient detail to assess the merits and relevance of the submission. For papers reporting experimental results, authors are strongly encouraged to make their data available. * Presentation-only papers: describe work recently published or submitted and will not be included in the proceedings. We see this as a way to provide additional access to important developments that SMT Workshop attendees may be unaware of. Papers in all three categories will be peer-reviewed. Papers should not exceed 10 pages and should be in standard-conforming PDF. Technical details may be included in an appendix to be read at the reviewers' discretion. Final versions should be prepared in LaTeX using the easychair.cls class file. (The 10 page limit does not include references.) To submit a paper, go to the EasyChair SMT page and follow the instructions there. Program Committee Chairs ----------------- Liana Hadarean (Synopsys) Martin Brain (Oxford University) Program Committee ----------------- Alberto Griggio (Fondazione Bruno Kessler - FBK) Aina Niemetz (Johannes Kepler University) Bruno Dutertre (SRI International) Pascal Fontaine (Université de Lorraine) Christoph M. Wintersteiger (Microsoft Research) Jochen Hoenicke (University of Freiburg) Guy Katz (Stanford University) Sylvain Conchon (Laboratoire de Recherche en Informatique - LRI) Mate Soos (Gotham Digital Science) Alexander Nadel (Intel) Jasmin Christian Blanchette (Vrije Universiteit Amsterdam) Sicun Gao (MIT) Rayna Dimitrova (Max Planck Institute for Software Systems) Florian Schanda (Altran) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cie2017 at abo.fi Fri Apr 28 17:24:01 2017 From: cie2017 at abo.fi (CIE2017) Date: Fri, 28 Apr 2017 18:24:01 +0300 Subject: CiE 2017: call for participation Message-ID: <27b918cb-ab29-1305-3059-07fa513fe9c7@abo.fi> CALL FOR PARTICIPATION: ======================= CiE 2017: Unveiling Dynamics and Complexity Turku, Finland June 12-16, 2017 http://math.utu.fi/cie2017 NOTE: ====== Symposium “Magic in Science”, co-located with CiE 2017, dedicated to Grzegorz Rozenberg on the occasion of his 75th birthday takes place just after CiE, on June 17, 2017. Details below and at at http://combio.abo.fi/rozenberg75/ PRELIMINARY SCHEDULE: http://math.utu.fi/cie2017/conference-schedule/ ==================== EARLY REGISTRATION: MAY 8, 2017 =================== CiE 2017 is the thirteenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015) and Paris (2016). ORGANIZED BY: ============= Department of Mathematics and Statistics, University of Turku Computer Science, Åbo Akademi University email: cie2017 at utu.fi WOMEN IN COMPUTABILITY PROGRAM AND GRANTS: ========================================== We are happy to announce that the CiE Women in Computability program, coordinated by the Special Interest Group Women in Computability http://sat.mdx.ac.uk/cie-wp/index.php/cie-conference-series/cie-cs-women-in-computability/ offers four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2017. Applications for this grant should be send to Liesbeth De Mol (liesbeth.demol at univ-lille3.fr) before 1 May 2017 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2017. TUTORIAL SPEAKERS: ================== Denis R. Hirschfeldt (University of Chicago) Daniel M. Gusfield (University of California, Davis) INVITED SPEAKERS: ================= Scott Aaronson (University of Texas at Austin) Karen Lange (Wellesley College) Ludovic Patey (Université Paris Diderot) Nicole Schweikardt (Humboldt-Universit ät zu Berlin) Alexander Shen (Université de Montpellier) Moshe Vardi (Rice University) SPECIAL SESSIONS: ================= Algorithmics for biology: ------------------------- Organized by Paola Bonizzoni (Milano, Italy) and Veli Mäkinen (Helsinki, Finland). Speakers: Tobias Marschall (Max-Planck-Institut für Informatik) Fabio Vandin (University of Padova) Gregory Kucherov (University Paris-Est Marne-la-Vallée) Gianluca Della Vedova (University of Milano-Bicocca) Combinatorics and algorithmics on words: ---------------------------------------- Organized by Tero Harju (Turku, Finland) and Dirk Nowotka (Kiel, Germany). Speakers: Stepan Holub (Charles University in Prague) Pascal Ochem (Université de Montpellier) Svetlana Puzynina (Sobolev Institute of Mathematics and École Normale Supérieure de Lyon) Narad Rampersad (University of Winnipeg) Computability in analysis, algebra, and geometry: ------------------------------------------------- Organized by Julia Knight (Notre Dame, USA) and Andrey Morozov (Novosibirsk, Russia). Speakers: Saugata Basu (Purdue University) Margarita Korovina (University of Aarhus) Alexander Melnikov (University of California, Berkeley) Russell Miller (Queens College, City University of New York) Cryptography and information theory: ------------------------------------ Organized by Delaram Kahrobaei (New York, USA) and Helger Lipmaa (Tartu, Estonia). Speakers: Jean-Charles Faugère (Université Pierre et Marie Curie) Elham Kashefi (University of Edinburgh-Scotland, Université Pierre et Marie Curie) Aggelos Kiayias (University of Edinburgh) Ivan Visconti (Università degli Studi di Salerno) Formal languages and automata theory: ------------------------------------- Organized by Juhani Karhumäki (Turku, Finland) and Alexander Okhotin (St. Petersburg, Russia). Speakers: Kai Salomaa (Queen's University at Kingston) Matrin Kutrib (Justus-Liebig-Universität Gießen) Thomas Colcombet (Université Paris Diderot) Artur Jez (University of Wrocław) History and philosophy of computing: ------------------------------------ Special topic: History and foundations of recursion, in memory of Rósza Péter (1905-1977) Organized by Liesbeth De Mol (Lille, France) and Giuseppe Primiero (London, United Kingdom). Speakers: Juliette Kennedy (University of Helsinki) Jan von Plato (University of Helsinki) Hector Zenil (University of Oxford, and Karolinska Institute) Cliff Jones (Newcastle University) The PROGRAM COMMITTEE consisted of: Andrew Arana (Urbana-Champaign, US) Arnold Beckmann (Swansea, UK) Paola Bonizzoni (Milan, IT) Olivier Bournez (Palaiseau, FR) Vasco Brattka (Munich, DE) Cristian S. Calude (Auckland, NZ) Ann Copestake (Cambridge, UK) Liesbeth De Mol (Lille, FR) Helena Durnová (Brno, CZ) Ekaterina Fokina (Vienna, AT) Tero Harju (Turku, FI) Emmanuel Jeandel (Nancy, FR) Emil Jeřábek (Prague, CZ) Natašha Jonoska (Tampa, US) Jarkko Kari (Turku, FI, co-chair) Viv Kendon (Durham, UK) Takayuki Kihara (Berkley, US) Florin Manea (Kiel, DE) Klaus Meer (Cottbus, DE) Russell Miller (New York City, US) Bernard Moret (Lausanne, CH) Rolf Niedermeier (Berlin, DE) Dag Normann (Oslo, NO) Dirk Nowotka (Kiel, DE) Isabel Oitavem (Lisbon, PT) Ion Petre (Turku, FI, co-chair) Kai Salomaa (Kingston, CA) Reed Solomon (Storrs, US) Mariya Soskova (Sofia, BG) Susan Stepney (York, UK) Peter Van Emde Boas (Amsterdam, NL) Philip Welch (Bristol, UK) Damien Woods (Pasadena, US) Magic in Science: ----------------- The symposium “Magic in Science” will be co-located with CiE 2017. It takes place on June 17, 2017, immediately after CiE. The symposium celebrates the 75th birthday of Prof. Grzegorz Rozenberg, University of Leiden, the Netherlands and University of Colorado at Boulder, USA. Grzegorz Rozenberg is one of the world leaders in research on Theoretical Computer Science and Natural Computing. As a matter of fact, he is often called the guru of Natural Computing, having started promoting it as a coherent scientific discipline already from the 1970s – he gave this area its name and defined its scope. He played a central role in the development of theoretical computer science in Europe. His research is very broad in scope and it is a prime example of interdisciplinary research. He has authored exceptionally many research papers opening new vistas, as well as well-known books about developmental languages, decidability and DNA computing. He supervised numerous Ph.D. students, many of whom have become known scientists. He serves or has served the international computer science community in numerous roles, including: president of the European Association for Theoretical Computer Science (EATCS); cofounder and president of the International Society for Nanoscale Science, Computation, and Engineering (ISNSCE); chair of the steering committee of the DNA Computing Conference; cofounder and chair of the steering committee of the International Conference on Application and Theory of Petri Nets; chair of the steering committee of the European Educational Forum; cofounder and chair of the steering committee of the International Conference on Developments in Language Theory; co-chair of the steering committee of the International Conference on Unconventional Computation and Natural Computation; and director of European Molecular Computing Consortium. The talks given at the symposium will have an overview character and together they will cover a broad range of topics from Computer Science, reflecting Grzegorz Rozenberg's broad research interests. Among the topics covered are: P vs NP, reaction systems, membrane computing, graph isomorphism, combinatorics on words, DNA rearrangements, smart textiles, smart drones, magic squares, wonder cubes, and odor reproduction. Confirmed speakers include: David Harel, Weizmann Institute of Science, Israel- "On odor reproduction and how to test for it" Hendrik Jan Hoogeboom, University of Leiden, the Netherlands - TBA Juraj Hromkovic, Swiss Federal Institute of Technology Zurich, Switzerland - "Why P vs. NP is so hard that even magicians failed to solve it" Natasha Jonoska, University of South Florida, USA - TBA Juhani Karhumäki, University of Turku, Finland - "Combinatorics on words and k-abelian equivalence" Hermann Maurer, Academia Europaea and Graz University of Technology, Austria: "Some unusual applications of computer science" George Paun, Institute of Mathematics of the Academy of Romania - TBA Azaria Paz, Technion, Israel - "Linked magic squares on a cube. Theme and variations" Moshe Vardi, Rice University, USA - "The Automated-Reasoning Revolution: From Theory to Practice and Back" The symposium is free of charge. Details: http://combio.abo.fi/rozenberg75/ ----------------------------------- Association CiE: http://computability.org.uk CiE Conference Series: http://illc.uva.nl/CiE CiE 2017 on Facebook: https://www.facebook.com/CIE.Conference2017 CiE 2017 on Twitter: https://twitter.com/2017Cie CiE 2017 on Instagram: https://instagram.com/cie.2017 From rl.stpuu at gmail.com Fri Apr 28 21:37:03 2017 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Fri, 28 Apr 2017 21:37:03 +0200 Subject: Logic Colloquium 2017: Final Call for Submissions ** Deadline for abstract submissions: May 5 ** Message-ID: Logic Colloquium 2017: Final Call for Submissions ** Deadline for abstract submissions: May 5 ** ---------------------------------------------- Logic Colloquium 2017: Third Announcement and Call for Submissions August 14-20, 2017, Stockholm, Sweden https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 ---------------------------------------------- The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017, at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology. LC2017 will be co-located with several other logic-related events, all taking place at Stockholm University: - the 3rd Nordic Logic Summer School, NLS2017, August 7-11 - the 26th EACSL Annual Conference on Computer Science Logic, CSL2017, August 20-24 - Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing2017, August 16-19 - Workshop on Logical Aspects of Multi-Agent Systems, LAMAS2017, August 25 - Workshop on Logic and Automata Theory in memory of Zoltan Esik, August 25 There will be a joint session of CSL2017 and LC2017 in the morning of August 20. Further information about all events can be found at: https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 INVITED SPEAKERS ------------------------------ Plenary speakers: - David Aspero (University of East Anglia) - Alessandro Berarducci (Pisa) - Elisabeth Bouscaren (Paris 11) - Christina Brech (Sao Paolo) - Sakae Fuchino (Kobe University) - Denis Hirschfeldt (University of Chicago) - Wilfrid Hodges (British Academy, UK) - Emil Jerabek (Prague) - Per Martin-Löf (Stockholm University) - Dag Prawitz (Stockholm University) - Sonja Smets (University of Amsterdam) Tutorial speakers: - Patricia Bouyer-Decitre (LSV ENS Cachan) - Mai Gehrke (Paris 7) LC-CSL joint session highlight speakers: - Veronica Becher (University of Buenos Aires) - Pierre Simon (UC Berkeley) - Phokion Kolaitis (University of California Santa Cruz and IBM Research - Almaden) - Wolfgang Thomas (RWTH Aachen) SPECIAL SESSIONS ----------------------------- Category theory and type theory in honour of Per Martin-Löf on his 75th birthday Dates: August 17-19, 2017 Speakers: - Thierry Coquand (Göteborg University) - Richard Garner (Macquarie University, Sidney) - André Joyal (University of Quebec, Montreal) - Vladimir Voevodsky (Institute of Advanced Study, Princeton) Computability Organizers: Verónica Becher and Denis Hirschfeldt Speakers: - Emmanuel Jeandel (University of Lorraine, France) - Klaus Meer (Brandenburg University of Technology, Cottbus-Senftenberg, Germany) - Arno Pauly (Clare college, Cambridge University) - Theodore Slaman (University of California, Berkeley) - Mariya Soskova (Sofia University, Bulgaria) - Keita Yokoyama (University of California, Berkeley) History of Logic: Organiser: Valentin Goranko Speakers: - Wilfrid Hodges (British Academy, UK) - Peter Øhrstrøm (Aalborg University, Denmark) - Jan von Plato (University of Helsinki, Finland) Model Theory: TBA Philosophical Logic Organizer: Mirna Dzamonja Speakers: - Michele Friend (Gerorge Washington University) - Juliette Kennedy (Helsinki University) - Benedikt Loewe (University of Amsterdam and Hamburg) - Sara Negri (Helsinki University) - Davide Rizza (University of East Anglia) - one more speaker TBA Proof Theory Organizers: Jan von Plato and Andreas Weiermann Speakers: - Fernando Ferreira (University of Lisbon, Portugal) - Annika Kanckos (University of Helsinki, Finland) - Anton Setzer (Swansea University, UK) - further speakers TBA Set Theory Organizers: Christina Brech and Assaf Rinot Speakers: - William Chen (Ben Gurion University, Israel) - Brent Cody (Virginia Commonwealth University, USA) - Ashutosh Kumar (Hebrew University, Jerusalem) - Giorgio Laguzzi (Freiburg University) - Yann Pequignot (University of California, Los Angeles) - Sandra Uhlenbrock (University of Vienna, Austria) SUBMISSIONS OF CONTRIBUTED TALKS --------------------- Abstracts of contributed talks must be submitted as pdf files via this EasyChair page: https://easychair.org/conferences/?conf=lc2017 (If you do not have an EasyChair-account yet, you can create one at the submission site.) The abstracts must be prepared according to the ASL instructions here: http://www.aslonline.org/rules_abstracts.html Please: - enter Title and Abstract as plain text - as the first keyword, put the AMS 2010 classification: 03xxx - indicate whether you are submitting for presentation at the colloquium, for publication in the Bulletin of Symbolic Logic, or for both Abstracts of contributed talks submitted by ASL members, which are accepted and prepared according to the ASL Rules for Abstracts, will be published in the Bulletin of Symbolic Logic. Upon notification of acceptance, authors will be requested to submit the LaTeX source files. REGISTRATION ---------------------- The early registration fee, for students and participants from developing countries, is 1400 SEK including VAT (approx. 140 Euros) per participant, and includes coffee breaks and conference materials. For all others, the early registration fee is 2000 SEK including VAT. Late registration is 2800 SEK for regular fee participants, and 2000 SEK for reduced fee participants. Note: 500 SEK fee deduction when registering for CSL2017 at the same time. The registration fee does not cover accommodation, but there will be special offers at hostels and hotels (in the range 700 -1200 SEK per night for single rooms) available. https://www.math-stockholm.se/en/konferenser-och-akti/logic- in-stockholm-2/logic-in-stockholm-2017-august-7-25-1.718739 IMPORTANT DATES -------------------------------------------------------- Main event: August 14-19, 2017 Joint session with CSL2017: August 20, 2017 Abstract deadlines: Abstract submission for contributed talks: May 5, 2017 Notification: May 19, 2017 Grant application deadline: May 8, 2017 Early registration deadline: June 9, 2017 Late registration deadline: August 1, 2017 -------------------------------------------------------- GRANTS ------------------------------------ There are possibilities for grants from ASL, NSF, and the Bill Craig donation. Information can be found at the website of the Logic Colloquium 2017: https://www.math-stockholm.se/en/konferenser-och-akti/logic- in-stockholm-2/logic-colloquium-201 PROGRAMME COMMITTEE ------------------- - Rod Downey (University of Wellington) - Mirna Dzamonja (PC chair, University of East Anglia) - Ali Enayat (University of Gothenburg) - Fernando Ferreira (University of Lisbon) - Valentin Goranko (Stockholm University) - Martin Hils (University of Münster) - Sara Negri (University of Helsinki) - Assaf Rinot (Bar-Ilan University) - Igor Walukiewicz (University of Bordeaux) LOCAL ORGANISING COMMITTEE -------------------- - Stefan Buijsman, Department of Philosophy, Stockholm University - Mads Dam, Department of Theoretical Computer Science, KTH - Jacopo Emmenegger, Department of Mathematics, Stockholm University - Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm University - Dilian Gurov, Department of Theoretical Computer Science, KTH - Sven-Ove Hansson, Department of Philosophy, KTH Royal Institute of Technology - Eric Johannesson, Department of Philosophy, Stockholm University - Vera Koponen, Department of Mathematics, Uppsala University - Johan Lindberg, Department of Mathematics, Stockholm University - Roussanka Loukanova, Department of Mathematics, Stockholm University - Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University - Anders Lundstedt, Department of Philosophy, Stockholm University - Karl Nygren, Department of Philosophy, Stockholm University - Peter Pagin, Department of Philosophy, Stockholm University - Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm University - Dag Westerståhl, Department of Philosophy, Stockholm University CONTACTS AND ENQUIRIES -------------------- For enquiries on scientific and programme issues, send email to: Mirna Dzamonja (M.Dzamonja at uea.ac.uk) For enquiries on organising matters, send email to: lc2017 at philosophy.su.se SPONSORS ----------------- Association for Symbolic Logic Stockholm University The GS Magnusson Foundation Prover Technology Stockholm City Hall -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: