From s.verberne at cs.ru.nl Tue Mar 1 09:47:13 2016 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Tue, 1 Mar 2016 03:47:13 -0500 Subject: News from ECAI2016 - the European Conference on Artificial Intelligence Message-ID: *News from ECAI2016 (www.ecai2016.org ) – the European Conference on Artificial Intelligence* - The list of co-located Workshops and Tutorials is now available at http://www.ecai2016.org/program/ - Registration information will be available soon. Please note that current members of European AI associations will receive a significant discount on the registration fee. Make sure you are member of your National Association in time to receive this discount. For a list of National Associations, please consult the full list at the site of EURAI, the European AI Association (formerly ECCAI): www.eurai.org/organisation/member-societies . - We have many opportunities for sponsors, including exhibition booths, matchmaking sessions, demonstrations, meeting opportunities, AI-hackathon participation and many more. See http://www.ecai2016.org/sponsoring/ for more information, or contact sponsorship at ecai2016.org - A public session on AI and Human Values will be hold on Thursday 1 September 2016, at the Peace Palace in The Hague. More information on speakers and panels will be available soon - Upcoming deadlines: o ECAI2016: 15 April 2016 ((23:59 UTC+12), http://www.ecai2016.org/calls/call-for-papers/ o PAIS2016 (Prestigious Applications of Intelligent Systems): 15 April 2016,http://www.ecai2016.org/calls/callspais-call-for-papers/ o STAIRS2016 (Starting Artificial Intelligence Research Symposium): 16 May 2016,http://www.ecai2016.org/calls/stairs-call-for-papers/ - Follow ECAI on Twitter (@ecai2016 ) and Facebook , for all updated information! -- Suzan Verberne, postdoctoral researcher Information Foraging Lab, Institute for Computing and Information Sciences Radboud University Nijmegen Tel: 0031 24 36 53431/15775 Email: s.verberne at cs.ru.nl http://sverberne.ruhosting.nl -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From demri at lsv.ens-cachan.fr Tue Mar 1 10:57:16 2016 From: demri at lsv.ens-cachan.fr (=?utf-8?Q?St=C3=A9phane_Demri?=) Date: Tue, 1 Mar 2016 10:57:16 +0100 Subject: AiML-2016: FINAL CALL FOR PAPERS Message-ID: <192E08AB-DE49-4656-A585-9677D2A29441@lsv.ens-cachan.fr> (sorry for multiple copies) AiML-2016: FINAL CALL FOR PAPERS Abstract submission: 10 March 2016 Full paper submission: 17 March 2016 11TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC BUDAPEST, 29 AUGUST -- 2 SEPTEMBER 2016 http://phil.elte.hu/aiml2016/ Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2016 is the 11th conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. PAPER SUBMISSIONS There will be two types of submissions to AiML-2016: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at https://easychair.org/conferences/?conf=aiml16 At least one author of each accepted paper or short presentation must register for and attend the conference. (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML-2016 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that is provided on the AiML-2016 website http://phil.elte.hu/aiml2016/. We also ask authors of full papers to submit the abstract in plain text via EasyChair by 10 March. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. INVITED SPEAKERS INCLUDE: Kit Fine (New York University, USA) Sonja Smets (ILLC, Universiteit van Amsterdam) Yde Venema (ILLC, Universiteit van Amsterdam) Guram Bezhanishvili (New Mexico State University) LOCAL ORGANIZING COMMITTEE Tamas Bitai (Eotvos University, Budapest, Hungary) Reka Markovich (Eotvos University, Budapest, Hungary) Andras Mate (Eotvos University, Budapest, Hungary) Péter Mekis (Eotvos University, Budapest, Hungary) Attila Molnar (Eotvos University, Budapest, Hungary) Gergely Szekely (Alfred Rényi Institute of Mathematics, Hungarian Academy of Sciences) PROGRAMME COMMITTEE Natasha Alechina (University of Nottingham) Carlos Areces (FaMAF, Universidad Nacional de Córdoba) Philippe Balbiani (IRIT, Toulouse, France) Alexandru Baltag (FNWI ILLC) Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) Serenella Cerrito (Laboratoire IBISC, Evry France) Stephane Demri (LSV, CNRS, ENS Cachan) Valeria de Paiva (Nuance, USA) David Fernandez-Duque (Instituto Tecnológico Autónomo de México) Melvin Fitting (Lehman College, CUNY, USA) David Gabelaia (The Free University of Tbilisi, Tbilisi, Georgia) Silvio Ghilardi (Università degli Studi di Milano, Italy) Valentin Goranko (Stockholm University) Rajeev Gore (The Australian National University) Andreas Herzig (IRIT, Toulouse, France) Rosalie Iemhoff (Utrecht University) Agi Kurucz (King's College London) Roman Kuznets (TU Wien) Martin Lange (University of Kassel, Germany) Carsten Lutz (Universität Bremen) Andras Mate (Eotvos University, Budapest, Hungary) Angelo Montanari (University of Udine) Larry Moss (Indiana University, USA) Sara Negri (University of Helsinki) Sergei Odintsov (Novosibirsk State University) Hiroakira Ono (Japan Advanced Insitute of Science and Technology) Mark Reynolds (The University of Western Australia) Ilya Shapirovsky (Institute for the Information Transmission Problems) Renate Schmidt (University of Manchester) Valentin Shehtman (Institute for the Information Transmission Problems) Viorica Sofronie-Stokkermans (Universitat Koblenz-Landau) Thomas Studer (Universität Bern) Rineke Verbrugge (Groningen, NL) Heinrich Wansing (Ruhr University Bochum) Michael Zakharyaschev (Birkbeck College London, UK) PROGRAMME COMMITTEE CO-CHAIRS Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow) Stephane Demri (LSV, CNRS, ENS Cachan) IMPORTANT DATES Abstracts of full papers submission deadline: 10 March 2016 Full papers submission deadline: 17 March 2016 Full papers acceptance notification: 14 May 2016 Short presentations submission deadline: 16 May 2016 Short presentations acceptance notification: 30 May 2016 Final version of full papers and short presentations due: 8 June 2016 Conference: 29 August -- 2 September 2016 FURTHER INFORMATION. Please see http://phil.elte.hu/aiml2016/?page=call_for_papers ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs, sent to aiml16 at easychair.org From wojciech.mostowski at hh.se Tue Mar 1 11:35:22 2016 From: wojciech.mostowski at hh.se (Wojciech Mostowski) Date: Tue, 1 Mar 2016 11:35:22 +0100 Subject: PhD Symposium at iFM 2016 Call for Submissions Message-ID: <56D5706A.6080008@hh.se> (Apologies for multiple copies) ============================================================ PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'16) Reykjavik, Iceland, June 5, 2016 http://en.ru.is/ifm/ifm-phd-symposium/ Paper submission: March 15, 2016 Author notification: April 1, 2016 ============================================================ === Scope === The theory, implementation, integration or application of formal methods in a broad sense. === Who can submit? === PhD students and young researchers at an early career stage (up to 2 years after PhD completion). === Why to submit? === Participants will have the possibility to give short presentations about their research projects. Furthermore, we are happy to announce a tutorial by Mohammad Reza Mousavi and a talk by Carlo Ghezzi. - The doctoral symposium offers an excellent opportunity to present your work in an international setting, and to get feedback from senior researchers in the field. - The doctoral symposium lets you exchange knowledge and experiences with fellow PhD-students in a related topic. - The best paper/presentation will be awarded. - The selected contributions will be published in a technical report of Reykjavik University, Iceland. === What to submit? === You are welcome to submit an extended abstract of at most 3 pages, describing your research project which you would like to present. Co-authors are allowed, but you should be the first author. The results may have been accepted or even published elsewhere. Multiple submissions by one author are not permitted. Submissions should be written in English and follow the EasyChair formatting guidelines, available at http://www.easychair.org/publications/for_authors Please submit your abstract electronically in pdf via the EasyChair page https://easychair.org/conferences/?conf=phdifm2016 The submitted abstracts will undergo a lightweight reviewing process. A symposium proceedings containing the accepted abstracts will be available as a technical report of Reykjavik University. === Invited Presentations === * Mohammad Reza Mousavi (Halmstad University, Sweden) will talk about "How to Write and Present a Computer Science Paper". * Carlo Ghezzi (Politecnico di Milano, Italy) will talk about "Formal models and verification to support software evolution". === Symposium Chairs === Marcel Kyas (Reykjavik University, Iceland) Wojciech Mostowski (Halmstad University, Sweden) === Programme Committee === Erika Abraham (RWTH Aachen University, Germany) Carlo Ghezzi (Politecnico di Milano, Italy) Mohammad Reza Mousavi (Halmstad University, Sweden) -- Wojciech Mostowski Centre for Research on Embedded Systems (CERES) School of Information Technology, Halmstad University Box 823, SE-301 18 Halmstad, Sweden e-mail: wojciech.mostowski at hh.se www: http://ceres.hh.se/mediawiki/Wojciech_Mostowski tel: +46-35-16-7137, fax: +46-35-12-0348 From newsletter at saso-conference.org Tue Mar 1 13:17:56 2016 From: newsletter at saso-conference.org (=?utf-8?b?SmFuLVBoaWxpcHAgU3RlZ2jDtmZlcg==?=) Date: Tue, 1 Mar 2016 13:17:56 +0100 Subject: =?utf-8?b?Q2FsbCBmb3IgU3VibWlzc2lvbnM6IERvY3RvcmFsIFN5bXBvc2l1bSBv?= =?utf-8?b?biBGb3VuZGF0aW9ucyBhbmQgQXBwbGljYXRpb25zIG9mIFNlbGYtKiBT?= =?utf-8?b?eXN0ZW1zIChGQVMqVyk=?= Message-ID: **************************************************************************** FAS*W 2016 (SASO and ICCAC) Call For Doctoral Symposium Submissions Doctoral Symposium on Foundations and Applications of Self-* Systems (FAS*W) Augsburg, Germany, September 12 & 16, 2016 http://fasstar2016.informatik.uni-augsburg.de/ http://iccac2016.se.rit.edu/ http://uni-augsburg.de/saso2016 @SASO2016Conf **************************************************************************** Foundations and Applications of Self* Systems (FAS*) is the umbrella for two closely related but independent conferences, the International Conference on Self-Adaptive and Self-Organizing Systems (SASO) and the International Conference on Cloud and Autonomic Computing (ICCAC). 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, particular 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. Complementing the thematic focus of FAS*, we particularly solicit contributions in the following areas: * Engineering of self-organizing and self-adaptive systems We solicit theoretical and applied works addressing fundamental principles underlying self-organizing systems, as well as methods that allow to quantify, model and reproduce the self-* characteristics of complex systems in biological, social, physical and technical systems. Examples include mechanisms underlying distributed decision- making and collective intelligence, software engineering challenges in self-adaptive systems, as well as general application of self-* principles in the engineering of technical systems. * Complex Cyber-physical and socio-technical systems We welcome contributions that apply self-* principles to address challenges in the design of complex cyber- physical and socio-technical systems. Particular examples include smart grid infrastructures, sensor networks, opportunistic networking scenarios, as well as large-scale social information systems. Works addressing challenges such as the security, privacy and anonymity of users, or mechanisms to prevent censorship, manipulation or unfairness in socio-technical systems are especially welcome. We further solicit works on socio- technical and socio-economic challenges in P2P systems, such as the design of incentive, trust and reputation mechanisms. * Self-* approaches in Massive-Scale Decentralized Systems Works in this area use self-* approaches to address challenges in the design and operation of massive scale decentralized systems. Examples include Peer-to-Peer technologies, as well as overlay topology management schemes. We are further interested in decentralized data mining and machine learning approaches, as well as decentralized approaches to monitor, model and adapt distributed systems. Works using self-* principles to address the inherent challenges in the design of massive-scale systems with unreliable and heterogeneous are of particular interest. * Autonomic Computing Systems Here we are interested in all works addressing the self-configuration, self-optimization and self-adaptation of cloud computing services, data centers and general distributed computing systems. Examples for questions addressed in this area include the monitoring and modeling of cloud services, the design of efficient resource allocation mechanisms, the application of data mining and machine learning techniques to analyze and predict the behavior of technical systems, as well as the characterization of distributed computing workloads. * Application of Self-* in Robotics and Spatial Computing Finally, we welcome contributions using self-* principles in the areas of robotics, swarm robotics and spatial computing. Here, examples for works of interest include environmental modeling and perception, machine vision, and self-adaptation mechanisms in robotics, distributed coordination and collective intelligence in multi- robot systems, as well as novel paradigms for the programming of autonomous, spatially distributed entities. --------------------------- Submission Instructions --------------------------- Submissions should have a length of max. six pages and be formatted according to the IEEE Computer Society Press proceedings style guide. Authors should submit their papers using the EasyChair installation of the main conference, which is available at: https://easychair.org/conferences/?conf=saso2016 Please note that only single-author submissions are accepted, which focus on the topic of the doctoral work. The name of the supervisor (« supervised by ... ») should be clearly marked below the author’s name in the paper. Submissions should further adhere to the following structure: * Motivation: motivate the open problem that you want to address and briefly summarize existing approaches along with their deficiencies. * Objectives: describe the key objectives of your PhD project and argue how achieving them will solve the open problem outlined in the motivation. * Methodology: outline what methodology you will adopt to meet the objectives of your project. Clearly state on what existing works your work will build. * Research Plan: describe what preliminary results – if any – you have already achieved and summarize your plans for future work. Please add a rough schedule that allows to judge whether your research plan is feasible. Authors of accepted papers shall prepare a final, camera ready version of the paper, taking into account all feedback from reviewers, and formatted according to the IEEE Computer Society Press proceedings style guide. Doctoral Symposium papers will be advertised in the final program, and will be submitted to IEEE Xplore as part of the SASO proceedings. Papers will also be made available in the IEEE Digital Library. -------------------- Review Process -------------------- Each submission will be reviewed by at least two Doctoral Symposium experts (see list below) that cover the different areas of interest of the conference. Submissions will be evaluated based on their relevance to FAS*, the motivation and quality of the proposed research, as well as the suitability of the chosen methodology. Authors of accepted papers will have different opportunities to present their project at the conference. Besides a full presentation during the PhD Symposium session, an “Elevator Pitch Session” will be organized during the main conference, where authors get the chance to briefly showcase their research. In addition, the Best Doctoral Symposium paper will be selected and the award will be presented during the main conference. Finally, selected authors will have the additional chance to present their work via a poster in the poster session of the main conference. --------------------------- Invited Talk --------------------------- To be announced --------------------------- Doctoral Symposium Experts --------------------------- * Ozalp Babaoglu – University of Bologna, IT * Jacob Beal – BBN Technologies, USA * Kurt Geihs – Universitaet Kassel, DE * Tom Holvoet – KU Leuven, BE * Manish Parashar – Rutgers University, USA * Jeremy Pitt – Imperial College London, UK * Mark Jelasity – University of Szeged, HU * Burkhard Stiller – University of Zurich, CH * Giuseppe Valetto – Fondazione Bruno Kessler, Trento, IT * Salim Hariri – University of Arizona, USA * Simon Dobson – University of St Andrews, Scotland, UK * Antonio Bucchiarone - Fondazione Bruno Kessler, Trento, IT To be completed --------------------------- Important Dates --------------------------- Abstract Submission due: May 29, 2016 Paper Submission due: June 12, 2016 Notifications due: July 10, 2016 Camera ready version due: July 24, 2016 Conference date: September 12-16, 2016 --------------------------- Contact Information --------------------------- For any further information, please contact the Doctoral Symposium chairs: Pradeep Murukannaiah Department of Computer Science North Carolina State University Raleigh, NC, 27606, USA pmuruka at ncsu.edu http://www4.ncsu.edu/~pmuruka/ Dr. Ingo Scholtes Chair of Systems Design ETH Zurich CH-8092 Zurich Switzerland ischoltes at ethz.ch http://www.ingoscholtes.net From nsmattei at gmail.com Wed Mar 2 09:00:23 2016 From: nsmattei at gmail.com (Nicholas Mattei) Date: Wed, 2 Mar 2016 19:00:23 +1100 Subject: CFP: 10th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF) New York, USA, during July 9-11, 2016 in conjunction with IJCAI-16. Message-ID: [Apologies for Multiple Postings] ====================================================================== CALL FOR PAPERS: 10th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF) New York, USA, during July 9-11, 2016 in conjunction with IJCAI-16. http://www.mpref-2016.preflib.org ====================================================================== Preference handling has become a flourishing topic. There are many interesting results, good examples for cross-fertilization between disciplines, and many new questions. Preferences are a central concept of decision making. As preferences are fundamental for the analysis of human choice behavior, they are becoming of increasing importance for computational fields such as artificial intelligence, databases, and human-computer interaction as well as for their respective applications. Preference models are needed in decision-support systems such as web-based recommender systems, in automated problem solvers such as configurators, and in autonomous systems such as Mars rovers. Nearly all areas of artificial intelligence deal with choice situations and can thus benefit from computational methods for handling preferences. Preference handling is also important for machine learning as preferences may guide learning behavior and be subject of dedicated learning methods. Moreover, social choice methods are also of key importance in computational domains such as multi-agent systems. This broadened scope of preferences leads to new types of preference models, new problems for applying preference structures, and new kinds of benefits. Preferences are studied in many areas of artificial intelligence such as knowledge representation & reasoning, multi-agent systems, game theory, social choice, constraint satisfaction, decision making, decision-theoretic planning, and beyond. Preferences are inherently a multi-disciplinary topic, of interest to economists, computer scientists, operations researchers, mathematicians and more. This workshop promotes this broadened scope of preference handling and continues a series of events on preference handling at AAAI-02, Dagstuhl in 2004, IJCAI-05, ECAI-06, VLDB-07, AAAI-08, ADT-09, ECAI-2010, ECAI-2012, IJCAI-13, AAAI-14, and IJCAI-15. At the previous edition of ADT-15 and LPNMR-15, which were co-located, one of the conclusions was that collaboration between the two areas can be very fruitful and should be fostered. The workshop will provide a forum for presenting advances in preference handling and for exchanging experiences between researchers facing similar questions, but coming from different fields. The workshop builds on the large number of AI researchers working on preference-related issues, but also seeks to attract researchers from databases, multi-criteria decision making, economics, etc. ====================================================================== TOPICS OF INTEREST ====================================================================== The workshop on Advances in Preference Handling addresses all computational aspects of preference handling. This includes methods for the elicitation, learning, modeling, representation, aggregation, and management of preferences and for reasoning about preferences. The workshop studies the usage of preferences in computational tasks from decision making, database querying, web search, personalized human-computer interaction, personalized recommender systems, e-commerce, multi-agent systems, game theory, social choice, combinatorial optimization, planning and robotics, automated problem solving, perception and natural language understanding and other computational tasks involving choices. The workshop seeks to improve the overall understanding of and best methodologies for preferences in order to realize their benefits in the multiplicity of tasks for which they are used. Another important goal is to provide cross-fertilization between the numerous sub-fields that work with preferences. * Preference handling in artificial intelligence * Preference handling in database systems * Preference handling in multiagent systems * Applications of preferences * Preference elicitation * Preference representation and modeling * Properties and semantics of preferences * Practical preferences ====================================================================== IMPORTANT DATES ====================================================================== May 1st, 2016: Workshop paper submission deadline. May 20th, 2016: Notification on workshop paper submissions. June 1st, 2016: Camera-ready copy due to organizers. July 9th, 10th, or 11th, 2016: M-PREF'16 Workshop. ===================================================================== SUBMISSION ===================================================================== Researchers interested in preference handling from AI, OR, DB, CS or other computational fields may submit a paper formatted according to the IJCAI Formatting Instructions and up to 6 pages in length + 1 page for references in PDF format. Workshop submissions and camera ready versions will be handled by EasyChair. Feel free to submit either anonymized or non-anonymized versions of your work. We have enabled anonymous reviewing so EasyChair will not reveal the authors unless you chose to do so in your submission. At least one author from each accepted paper must register for the workshop. Please see the IJCAI 2016 Website for information about accommodation and registration. Link to the paper submission page on EasyChair: https://easychair.org/conferences/?conf=mpref16 ====================================================================== WORKSHOP CHAIRS ====================================================================== Markus Endres, University of Augsburg (Germany) Nicholas Mattei, Optimization Research Group, Data 61 (NICTA) and University of New South Wales (Australia) Andreas Pfandler, TU Wien (Austria) and University of Siegen (Germany) ====================================================================== PROGRAM COMMITTEE ====================================================================== Thomas Allen, University of Kentucky Stefano Bistarelli, Università di Perugia Sylvain Bouveret, LIG - Grenoble INP Darius Braziunas, Kobo Inc. Jan Chomicki, University at Buffalo Paolo Ciaccia, University of Bologna James Delgrande, Simon Fraser University Matthias Ehrgott, Lancaster Gabor Erdelyi, Universitaet Siegen Johannes Fürnkranz, TU Darmstadt Judy Goldsmith, University of Kentucky Ulrich Junker Souhila Kaci, LIRMM Jérôme Lang, LAMSADE Nicolas Maudet, Université Pierre et Marie Curie Vincent Mousseau, LGI, Ecole Centrale Paris Patrice Perny, LIP6 Maria Silvia Pini, University of Padova Francesca Rossi, University of Padova and Harvard University Scott Sanner, University of Toronto Alexis Tsoukias, CNRS - LAMSADE Kristen Brent Venable, Tulane University and IHMC Paolo Viappiani, CNRS and LIP6, Univ Pierre et Marie Curie Toby Walsh, UNSW and Data61/NICTA Antonius Weinzierl, Vienna University of Technology Paul Weng, SYSU-CMU JIE Lirong Xia, RPI Neil Yorke-Smith, American University of Beirut Yong Zheng, DePaul University -- *Nicholas Mattei* Senior Researcher | Optimisation / Algorithmic Decision Theory Lecturer | University of New South Wales (UNSW) *DATA61 | CSIRO* E nicholas.mattei at nicta.com.au T +61 2 8306 0464 W www.nickmattei.net Neville Roach Laboratory (UNSW Campus), Locked Bag 6016, Sydney NSW 1466, Australia www.data61.csiro.au CSIRO’s Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Fri Mar 4 03:23:44 2016 From: grlmc at grlmc.com (GRLMC) Date: Fri, 04 Mar 2016 03:23:44 +0100 Subject: WebST 2016: early registration deadline 11 March Message-ID: <545102060a010b01035551070509055c525154500a05025304035d035300500455045153515b0105035502030553@grlmc_ip-zone_com-6> WebST 2016: early registration deadline 11 March*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY   WebST 2016   Bilbao, Spain   July 18-22, 2016   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/webst2016/ *****************************************************************************   --- Early registration deadline: March 11, 2016 ---   ********************************************************   AIM:   WebST 2016 is a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 20 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, an open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators.   REGIME:   In addition to keynotes, at least 2 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another.   VENUE:   WebST 2016 will take place in Bilbao, a city 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   KEYNOTE SPEAKERS:   Ricardo Baeza-Yates (Yahoo Labs), Big Data in the Web   Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm   Prabhakar Raghavan (Google), tba   Amit P. Sheth (Wright State University), Building Intelligent Systems: Semantic, Cognitive and Perceptual Computing to Exploit Physical-Cyber-Social Big Data   PROFESSORS AND COURSES:   Timothy Baldwin (University of Melbourne), [intermediate] Social Media and Text Analytics   Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management   Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data   Brian D. Davison (Lehigh University), [introductory] Useful Web Mining with R   Marco Gori (University of Siena), [advanced] Learning Semantic-based Structures from Textual Sources   Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks   Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web   Ravi Kumar (Google), [introductory/intermediate] Computing at Scale: Models and Algorithms   Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities   Cathy Marshall (Texas A&M University), [introductory] Qualitative Methods for Studying Users on the Web   Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data   Marc Najork (Google), [introductory] Search Engine Architecture   Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data   Prabhakar Raghavan (Google), [intermediate] How To Build a Search Engine   Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about   Munindar P. Singh (North Carolina State University), [introductory/intermediate] Web Applications as Sociotechnical Systems: A Basis for a Science of Security and Privacy   Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for​ Web Science   Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by July 15, 2016.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/webst2016/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 are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   A suggestion of accommodation is available on the webpage.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   University of Deusto Rovira i Virgili University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From akrithara at iit.demokritos.gr Fri Mar 4 14:14:54 2016 From: akrithara at iit.demokritos.gr (Anastasia Krithara) Date: Fri, 4 Mar 2016 15:14:54 +0200 Subject: BioASQ biomedical QA task about to start Message-ID: <005901d17617$d7eddb30$87c99190$@iit.demokritos.gr> Apologies for cross-posting BioASQ challenge on large-scale biomedical semantic indexing and question answering (part of the BioNLP Workshop, to take place in ACL, Berlin, Germany, 12-13 August, 2016) Web site: http://bioasq.org/ twitter: https://twitter.com/bioasq BioNLP site: http://aclweb.org/aclwiki/index.php?title=BioNLP_Workshop We are happy to announce that the first test for BioASQ task 4b (biomedical semantic QA) will take place in a few days! If you are interested in any of the following areas: * Question answering from unstructured and structured data * Single and multi-document summarization * Information retrieval and passage retrieval * Semantic indexing, semantic similarity and reasoning * Machine learning, classification, learning to rank * Named-entity recognition and disambiguation * Information extraction, fact checking, relation extraction * Textual entailment * Natural-language generation then you may want to participate in BioASQ Task 4b (biomedical semantic QA). More information at http://bioasq.org/participate/challenges#Task4b Important dates: * Task 4b: You can join on ANY of the following dates: - March 09, 2016 - March 23, 2016 - April 06, 2016 - April 20, 2016 - May 04, 2016. Additionally, we would like to remind you that BioASQ task 4a (large-scale biomedical semantic indexing) is running a new test every week. If you are interested in any of the following areas: * Large-scale and hierarchical classification * Machine learning * Semantic Indexing, semantic similarity then you may want to participate in BioASQ Task 4a (large-scale biomedical semantic indexing). More information at http://bioasq.org/participate/challenges#Task4a Detailed schedule at http://bioasq.org/participate/schedule Training data for both tasks available at http://participants-area.bioasq.org/ -------------------------------------------------------------------- Dr. Anastasia Krithara Research Associate Software & Knowledge Engineering Laboratory (SKEL) Insititute of Informatics and Telecommunications (IIT) NCSR Demokritos Email: akrithara at iit.demokritos.gr Tel: 210 6503172 http://users.iit.demokritos.gr/~akrithara/ --------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Fri Mar 4 16:14:00 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 4 Mar 2016 17:14:00 +0200 Subject: 42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2016): *** Last Mile *** Message-ID: *** Last Mile *** 42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2016) Aug. 31st - Sept. 2nd, 2016, St. Raphael Resort, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQk0Mm5kIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nIGFuZCBBZHZhbmNlZCBBcHBsaWNhdGlvbnMgKFNFQUEgMjAxNik6ICoqKiBMYXN0IE1pbGUgKioqCTE2CUFkZHJlc3NlcwkxMDMwNgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fseaa2016.cs.ucy.ac.cy Collocated with the 19th Euromicro Conference on Digital Systems Design (DSD 2016) *** Submission Deadline: March 12, 2016 *** SCOPE The Euromicro Conference series on Software Engineering and Advanced Applications (SEAA) is a long-standing international forum for researchers, practitioners from business and industry, and students to present and discuss the latest innovations, trends, experiences, and concerns in the field of Software Engineering and Advanced Applications in information technology for software-intensive systems. CONFERENCE TRACKS AND SESSIONS MAIN TRACK TOPICS · ESE: Embedded Software Engineering (Chairs: Etienne Borde, David Griffin) · MOCS: Model-based Development, Components and Services (Chairs: Kung-Kiu Lau and Tomas Bures) · SM: Software Management: Measurement, Peopleware and Innovation (Chairs: Onur Demirors and Giuseppe Scanniello) · SPPI: Software Process and Product Improvement (Chairs: Dietmar Winkler and Stefan Biffl) · SPLSeco: Software Product Lines and Software Ecosystems (Chairs: Imed Hammouda and Eric Knauss) · SMSE: Systematic Literature Reviews and Mapping Studies (Chairs: Steve Counsell and Michael Felderer) SPECIAL SESSIONS · EsPreSSE: Estimation and Prediction in Software & Systems Engineering (inside the SM track) (Chairs: Frank Elberzhager and Dietmar Winkler) · TET-DEC: Teaching, Education and Training for Dependable Embedded and Cyberphysical Systems (inside the ESE track) (Chairs: Erwin Schoitsch and Amund Skavhaug) · SE4SU: Software Engineering for Startups (Chairs: Michel Chaudron and Tommi Mikkonen) · CPS: Cyber-Physical Systems (Chairs: Christian Berger, Horst Wedde, and Karl-Erwin Groflpietsch) · A-BPM: Advancing Business Process Management (Chairs: Oktay Turetken and Werner Schmidt) SUBMISSION GUIDELINES SEAA 2016 encourages the submission of full research papers (maximum 8 pages) and short papers (maximum 4 pages). Papers must contain original unpublished work, describe significant novel contributions, and provide evidence on the validation of results. In particular, reports on industrial applications are welcome. Each manuscript should include the complete paper text, all illustrations, and references. The manuscript should conform to the required CPS format: single-spaced, double column, US letter page size, 10-point size Times Roman font, up to 8 pages. Download templates here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQk0Mm5kIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nIGFuZCBBZHZhbmNlZCBBcHBsaWNhdGlvbnMgKFNFQUEgMjAxNik6ICoqKiBMYXN0IE1pbGUgKioqCTE2CUFkZHJlc3NlcwkxMDMwNgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html CPS, Conference Publishing Services, publishes the (ISI indexed) DSD Proceedings, available worldwide through the IEEE Xplore Digital Library. A selection of best papers will be invited to submit extended versions for tentative publication in a Special Section of the journal of Information and Software Technology published by Elsevier http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQk0Mm5kIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nIGFuZCBBZHZhbmNlZCBBcHBsaWNhdGlvbnMgKFNFQUEgMjAxNik6ICoqKiBMYXN0IE1pbGUgKioqCTE2CUFkZHJlc3NlcwkxMDMwNgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.elsevier.com%2Flocate%2Finfsof The SEAA conference will also provide best papers awards. All information about the various calls for tracks and sessions can be found at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQk0Mm5kIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nIGFuZCBBZHZhbmNlZCBBcHBsaWNhdGlvbnMgKFNFQUEgMjAxNik6ICoqKiBMYXN0IE1pbGUgKioqCTE2CUFkZHJlc3NlcwkxMDMwNgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fseaa2016.cs.ucy.ac.cy Submissions will be handled via EasyChair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQk0Mm5kIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nIGFuZCBBZHZhbmNlZCBBcHBsaWNhdGlvbnMgKFNFQUEgMjAxNik6ICoqKiBMYXN0IE1pbGUgKioqCTE2CUFkZHJlc3NlcwkxMDMwNgljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dseaa2016 IMPORTANT DATES · Submission of papers: March 12, 2016 · Notification of acceptance/rejection: April 20, 2016 · Camera-Ready submission: May 13, 2016 CONFERENCE COMMITTEES SEAA 2016 General Chair · George Papadopoulos, University of Cyprus, Cyprus SEAA 2016 Program Chairs · Carmine Gravino, University of Salerno, Italy · Martin Höst, Lund University, Sweden Publicity Chair · Oktay Turetken, Eindhoven University of Technology, The Netherlands Publication Chair · Amund Skavhaug, Norwegian University of Science and Technology, Norway SEAA Steering Committee · Stefan Biffl, Vienna University of Technology, Austria · Michel Chaudron, Chalmers and Gothenburg University, Sweden · Onur Demirors, Middle East Technical University, Turkey · Rick Rabiser, Johannes Kepler University Linz, Austria Join the SEAA LinkedIn Group for updates: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQk0Mm5kIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nIGFuZCBBZHZhbmNlZCBBcHBsaWNhdGlvbnMgKFNFQUEgMjAxNik6ICoqKiBMYXN0IE1pbGUgKioqCTE2CUFkZHJlc3NlcwkxMDMwNgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.linkedin.com%2Fgroups%3Fhome%3D%26gid%3D4205536 To be removed from this list, please click this link: http://www.cs.ucy.ac.cy/~george/lm/lm.php?un=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQk0Mm5kIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nIGFuZCBBZHZhbmNlZCBBcHBsaWNhdGlvbnMgKFNFQUEgMjAxNik6ICoqKiBMYXN0IE1pbGUgKioqCTE2CUFkZHJlc3NlcwktLQkxMDMwNgl1bnN1YnNjcmliZQlubwlubw== -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From luca.vigano at kcl.ac.uk Sat Mar 5 16:27:39 2016 From: luca.vigano at kcl.ac.uk (Vigano, Luca) Date: Sat, 5 Mar 2016 15:27:39 +0000 Subject: CFP: WWV 2016 - 12th International Workshop on Automated Specification and Verification of Web Systems Message-ID: <07706382-1272-4619-A242-03C75D36C73A@kcl.ac.uk> ****************************************************************** WWV 2016 Automated Specification and Verification of Web Systems 12th International Workshop affiliated with Formal Structures for Computation and Deduction (FSCD) 2016 June 26 - Porto (Portugal) Call for Papers ****************************************************************** Homepage: http://www.lucavigano.com/WWV2016/ IMPORTANT DATES Paper submission: April 16 Notification of acceptance: May 13 Camera ready version: May 31 SCOPE Digitization of the human activities have reached an unprecedented level, transforming economy and the society globally, thanks to widespread use of web-based systems. Our increasing dependency on these systems demands for high quality standards in all aspects: security, privacy, accessibility, performance, and usability to cite a few. The 12th edition of the Workshop on Automated Specification and Verification of Web Systems (WWV) will bring together researchers for academia and industry with expertise in different areas, including declarative, rule-based programming, formal methods, software engineering and web-based systems, to discuss how the address the challenging complexity of interconnected, ubiquitous web-based systems and applications. During WWV 2016 we will encourage friendly exchange such that the participants can identify how their research can progress towards new methods and tools to push the limits of the verification of web systems, maintaining the tradition of the previous eleven editions. WWV welcomes papers of either theoretical or applied interest, including case studies or experience reports, in all areas of web-based systems (web services, cloud platforms, Internet-of-Things, social networks, big data), including but not limited to: - Formal methods and rigorous software and system engineering - Declarative, rule-based approaches - Product line and feature-oriented engineering - Programming and design languages and models - Specification, certification, transformation, and synthesis - Analysis, verification, model checking, and debugging - Semi-structured data, linked data, and semantic web - Security, trust, privacy, reputation, confidentiality, and integrity - Quality, metrics, usability, and accessibility - Testing, evaluation, and optimisation - Middleware, platforms, and frameworks INVITED SPEAKERS TBA. SUBMISSION We solicit the submission of original, unpublished contributions not under review for publication elsewhere. Contributions are expected to comprise research papers (with novel, previously unpublished results), experience reports of real-world applications, tool descriptions, and short papers (e.g. describing work-in-progress or exploratory ideas). All papers must be prepared in LaTeX using the EPTCS style - Full papers should not exceed 16 pages (typeset 11 points). - Short papers should not exceed 8 pages. Additional details omitted due to space limitations may be included in a clearly marked appendix. Submissions must describe work unpublished in refereed venues, not submitted elsewhere. Contributions should be submitted in PDF format through the EasyChair online submission system. Submission of a paper involves a firm commitment that at least one of the authors will attend and participate in the workshop in case the paper is accepted. PUBLICATION All contributions will be evaluated by at least three reviewers, chosen by the Program Committee. The PC will select the best papers based on their quality, relevance to the workshop, and potential to instigate discussion. All accepted papers will be included in the post-proceedings, which will be published as a volume of the EPTCS series (WWV publication is indexed in DBLP and Microsoft Academic Research, among other important repositories). An open call for a special issue in a highly-reputed journal on the topic of the WWV workshop is envisaged. This has been common practice for WWV since 2009. PROGRAM CHAIRS Anderson Santana de Oliveira (SAP Labs France, Mougins, France) Luca Viganò (King’s College London, UK) PROGRAM COMMITTEE María Alpuente (UPV, Spain) Massimo Bartoletti (University of Cagliari, Italy) Saddek Bensalem (Verimag, Grenoble, France) Gabriele Costa (University of Genova, Italy) Erik de Vink (Eindhoven University of Technology, The Netherlands) José Luiz Fiadeiro (Royal Holloway University, London, UK) Laura Kovács (Vienna University of Technology, Austria) Axel Legay (INRIA, Rennes, France) Zhiming Liu (Birmingham City University, UK) Alberto Lluch Lafuente (Technical University of Denmark) Hernán Melgratti (University of Buenos Aires, Argentina) Fabrizio Montesi (University of South Odense, Denmark) Peter Ölveczky (University of Oslo, Norway) António Ravara (New University of Lisbon, Portugal) Alejandro Russo (Chalmers University of Technology, Sweden) Gwen Salaün (Inria Rhône-Alpes, Grenoble, France) Emilio Tuosto (University of Leicester, United Kingdom) STEERING COMMITTEE Demis Ballis (University of Udine, Italy) Maurice ter Beek (Consiglio Nazionale delle Ricerche, Pisa, Italy) Santiago Escobar (Technical University of Valencia, Spain; co-chair) Moreno Falaschi (University of Siena, Italy; co-chair) Laura Kovács (Vienna University of Technology, Austria) Temur Kutsia (Johannes Kepler University Linz, Austria) Alberto Lluch Lafuente (Technical University of Denmark) Massimo Marchiori (University of Padova, Italy) Rosario Pugliese (University of Florence, Italy) António Ravara (New University of Lisbon, Portugal) Josep Silva (Technical University of Valencia, Spain) Francesco Tiezzi (IMT Institute for Advanced Studies Lucca, Italy) PAST EDITIONS Initiated in 2005, the WWV workshop series has by now established itself as a lively, friendly event with many interactions and discussions. The previous 11 editions of WWV attracted high-quality papers that were published in ENTCS (WWV'05, WWV'07 and WWV'08), by IEEE (WWV'06) and in EPTCS (WWV'11, WWV'12, WWV'13, WWV'14, WWV'15). After WWV'09, a special issue of the Journal of Symbolic Computation on the topics of the WWV was organized. Similarly, a special issue of the Journal of Applied Logic was organized after WWV'10 and special issues of the Journal of Logic and Algebraic Programming were organized after WWV'11, WWV'12 and WWV'13. A special issue of the Journal of Logical and Algebraic Methods in Programming dedicated to WWV'14 and the CAV workshop VPT'14 is forthcoming. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Horatiu.Cirstea at loria.fr Sun Mar 6 15:18:12 2016 From: Horatiu.Cirstea at loria.fr (Horatiu Cirstea) Date: Sun, 6 Mar 2016 15:18:12 +0100 Subject: WPTE 2016 (affiliated with FSCD 2016) Message-ID: [We apologize if you have received multiple copies of this message] [Please disseminate] ======================================================================================== CALL FOR PAPERS Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2016 affiliated with FSCD 2016 23 June, 2016, Porto, Portugal http://project.inria.fr/wpte2016/ ======================================================================================== Aims and Scope ============== The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The previous WPTE were held in Vienna 2014, and Warsaw in 2015. Topics of interest in the scope of this workshop include: * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for reasoning about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and Rewriting. The programming languages of interest include pure, deterministic, impure, nondeterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. Proceedings =========== The WPTE post-proceedings will be published in in Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/). Extended abstracts of work in progress are not included in the EPTCS proceedings but they will be included in the USB memory which is distributed to the FSCD participants. Paper Submissions ================= WPTE accepts two different kinds of contributions: * Full-papers: ------------ Full-papers must represent original work and should not be submitted to another conference at the same time. Full-papers should not exceed 15 pages. Accepted papers will be included in the formal proceedings after revision. * Work in progress: ----------------- There will also be a slot for presenting work in progress. An extended abstract of at most 10 pages is required to be submitted. These contributions will not be included in the formal proceedings for full-papers but they will be distributed to the workshop participants. One author of each accepted paper or abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package (http://style.eptcs.org/). Important Dates =============== * Submission deadline: April 22nd, 2016 * Notification of acceptance: May 13th, 2016 * Deadline for camera-ready proceedings: May 27th, 2016 * Workshop: June 23rd, 2016 Weblinks ======== * EasyChair Submission Website https://easychair.org/conferences/?conf=wpte2016 * Homepage of WPTE 2016 http://project.inria.fr/wpte2016 * FSCD 2016 http://fscd2016.dcc.fc.up.pt/ Program Committee ================= Takahito Aoto (Niigata University) Yuki Chiba (JAIST) Horatiu Cirstea (LORIA, Université de Lorraine, France) - chair Fer-Jan de Vries (University of Leicester) Santiago Escobar (Universitat Politècnica de València) - chair Maribel Fernández (King's College London) Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht) Delia Kesner (Université Paris-Diderot) Sergueï Lenglet (Université de Lorraine) Elena Machkasova (University of Minnesota, Morris) William Mansky (University of Pennsylvania) Georg Moser (University of Innsbruck) Joachim Niehren (INRIA Lille) Naoki Nishida (Nagoya University) Kristoffer H Rose (Two Sigma Investments, LLC) David Sabel (Goethe-University Frankfurt am Main) Masahiko Sakai (Nagoya University) Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main) Janis Voigtländer (University of Bonn) Johannes Waldmann (HTWK Leipzig) From peter.schuller at marmara.edu.tr Mon Mar 7 07:22:05 2016 From: peter.schuller at marmara.edu.tr (Peter Schueller) Date: Mon, 7 Mar 2016 08:22:05 +0200 (EET) Subject: 2nd CFP ICLP 2016, New York City: 32nd International Conference on Logic Programming, Oct 17-21 Message-ID: <20160307062205.B2C972C044B@omsievews> Second Call For Papers 32nd International Conference on Logic Programming New York City, USA October 17-21, 2016 http://software.imdea.org/Conferences/ICLP2016/ Conference Scope Since the first conference held in Marseilles in 1982, ICLP has been the pre- mier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Virtual Machines, Parallelism, Constraint Han- dling Rules, Tabling. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking. - Applications: Databases, Big Data, Data Integration and Federation, Soft- ware Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates Paper registration (abstract): 22 April, 2016 Submission deadline: 29 April, 2016 Notification to authors: 17 June, 2016 Revision deadline (when needed): 8 July, 2016 Final notification: 22 July, 2016 Camera-ready copy due: 5 Aug, 2016 Conference: 17-21 Oct, 2016 Submission Details Submissions of regular papers must be made in the condensed TPLP format (see http://software.imdea.org/Conferences/ICLP2016/TPLP-ICLP-2016.tar) via Easy- Chair (see http://www.easychair.org/conferences/?conf=iclp2016). A regular paper must not exceed 14 pages including the bibliography, but the paper may be supplemented with appendices for proofs and details of datasets which do not count towards this limit and which will be available as appendices to the published paper. We accept three kinds of papers: - Technical papers for technically sound, innovative ideas that can advance the state of logic programming; - Application papers that impact interesting application domains; - System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge Uni- versity Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the deci- sion period). The program committee may recommend some papers to be published as technical communications. Technical communications (TCs) will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs) (http://www.dagstuhl.de/publikationen/oasics/). These TC papers should not exceed 14 pages including bibliography. Authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the TCs. This should allow authors to submit a long version elsewhere. All regular papers and regular TCs will be presented during the conference. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Pro- gramming Newsletter at no cost. Conference Organization General Chairs: Michael Kifer Stony Brook University, USA Neng-Fa Zhou City University of New York, USA Program Chairs: Manuel Carro UPM and IMDEA Software Institute, Spain Andy King University of Kent, UK Workshop Chair: Marcello Balduccini Drexel University, USA Publicity Chair: Peter Schueller Marmara University, Turkey Doctoral Consortium Chairs: Marina De Vos University of Bath, UK Neda Saeedloei University of Minnesota Duluth, USA Programming Contest Chair: Paul Fodor Stony Brook University, USA Web Presence: Joaquin Arias IMDEA Software Institute, Spain Preliminary Program Committee: Marcello Balduccini Drexel University, USA Mutsunori Banbara Kobe University, Japan Roman Bartak Charles University, Czech Republic Pedro Cabalar University of Corunna, Spain Mats Carlsson SICS, Sweden Manuel Carro UPM and IMDEA Software Institute, Spain Michael Codish Ben-Gurion University of the Negev, Israel Marina De Vos University of Bath, UK Agostino Dovier Universita degli Studi di Udine, Italy Gregory Duck National University of Singapore, Singapore Esra Erdem Sabanci University, Turkey Wolfgang Faber University of Huddersfield, UK Thom Fruehwirth University of Ulm, Germany John Gallagher Roskilde University, Denmark, and IMDEA Software Institute, Spain Marco Gavanelli Universita degli Studi di Ferrara, Italy Martin Gebser University of Potsdam, Germany Michael Hanus CAU Kiel, Germany Katsumi Inoue NII, Japan Gerda Janssens KU Leuven - University of Leuven, Belgium Andy King University of Kent, UK Ekaterina Komendantskaya Heriot-Watt University, UK Michael Leuschel University of Dusseldorf, Germany Vladimir Lifschitz University of Texas, USA Jose F. Morales IMDEA Software Institute, Spain Enrico Pontelli New Mexico State University, USA Jorg Puhrer Leipzig University, Germany Ricardo Rocha University of Porto, Portugal Zoltan Somogyi Independent Researcher, Australia Harald Sondergaard University of Melbourne, Australia Theresa Swift NOVALINKS, US, and UNL, Portugal Francesca Toni Imperial College London, UK Irina Trubitsyna University of Calabria, Italy Mirek Truszczynski University of Kentucky, USA Alicia Villanueva Universitat Politecnica de Valencia, Spain Jan Wielemaker VU University Amsterdam, Netherlands Stefan Woltran TU Wien, Austria Fangkai Yang Schlumberger Inc., USA Jia-Huai You University of Alberta, Canada Workshops The ICLP 2016 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportuni- ties for intensive discussions and project collaboration. Autumn School on Computational Logic A school on computational logic is planned. More up to date information will be available at the conference Web page. Doctoral Consortium The Eleventh Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research direc- tions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Conference Venue The venue will be the Sheraton LaGuardia East Hotel in Flushing, New York City. New York City is an international tourist destination, receiving 56 million tourists in 2014 alone. Several sources have ranked New York the most photographed city in the world. Times square, known as the city's heart, is the brightly illuminated hub of the Broadway theatre district. The Statue of Liberty greets new arrivals to the Americas by ship in the late 19th and early 20th century, and is a globally recognized symbol of the United States. Flush- ing is associated by many with the National Tennis Centre, since Flushing Meadows has been the home of the US Open Grand Slam tennis tournament every year since 1978. New York is the most populous city in the United States and one of the most populous urban agglomerations in the world. Situated in one of the world's largest natural harbours, New York City consists of five boroughs, each of which is a separate county of New York State. The conference hotel is situated in the Queens borough, just a two-minute walk from the Flushing-Main Street rail station. Direct train lines take you directly from there to Times Square in just over 45 minutes, which is fast for New York City. The Museum of Modern Art can be reached in under 40 mins, Grand Central Terminal in 40 mins, the Empire State Building under 50 mins, and The High Line Park in 50 minutes. The hotel is also close to LaGuardia Airports and JFK. LaGuardia is just 3 miles away and the hotel offers a complementary shuttle service. John F. Kennedy International Airport (JFK) is 10 miles away and can be reached within 30 minutes by taxi. The hotel is situated in a vibrant Asian district that offers a variety of Eastern cuisine, as well as many stores and shops. Sponsor The conference is sponsored by the Association for Logic Programming (ALP). Financial Assistance The Association for Logic Programming has funds to assist financially disad- vantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. From N.Bulling at tudelft.nl Tue Mar 8 09:25:59 2016 From: N.Bulling at tudelft.nl (Nils Bulling - EWI) Date: Tue, 8 Mar 2016 08:25:59 +0000 Subject: 18th European Agent Systems Summer School (EASSS 2016) Message-ID: Dear Colleague/Student, I have the pleasure to inform you that the 18th European Agent Systems Summer School (EASSS-2016) will be held at the University of Catania, Catania, Italy, from the 25th to 30th of July 2016. EASSS-2016 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master students, and other young researchers, and will be taught by leading researchers in the field. All the details about the programme, registration costs and deadlines will be announced soon. Feel free to contact the organisers if you need any further details. Contact: easss2016 at dmi.unict.it Web site: http://easss2016.dmi.unict.it Best Regards, --EASSS 2016 Organising Committee From sgerwinn at tc.informatik.uni-oldenburg.de Tue Mar 8 10:42:36 2016 From: sgerwinn at tc.informatik.uni-oldenburg.de (Sebastian Gerwinn) Date: Tue, 8 Mar 2016 10:42:36 +0100 Subject: FORMATS 2016 - Second Call for Papers Message-ID: <20160308104236.7700f313@darkstar> [ Apologies for cross posting ] --------------------------------------------------------------------- FORMATS 2016 14th International Conference on Formal Modeling and Analysis of Timed Systems Second Call for Paper http://formats2016.lsv.fr FORMATS'16 takes place at Hotel Chateau Laurier in Québec City, Canada, where it is colocated with CONCUR'16 and QEST'16. --------------------------------------------------------------------- Objectives ---------- Control and analysis of the timing of computations is crucial to many domains of system engineering, be it, e.g., for ensuring timely response to stimuli originating in an uncooperative environment or for synchronizing components in VLSI. Reflecting this broad scope, timing aspects of systems from a variety of domains have been treated independently by different communities in computer science and control. Researchers interested in semantics, verification and performance analysis study models such as timed automata and timed Petri nets, the digital design community focuses on propagation and switching delays, while designers of embedded controllers have to take account of the time taken by controllers to compute their responses after sampling the environment, as well as of the dynamics of the controlled process during this span. Timing-related questions in these separate disciplines do have their particularities. However, there is a growing awareness that there are basic problems that are common to all of them. In particular, all these sub-disciplines treat systems whose behaviour depends upon combinations of logical and temporal constraints; namely, constraints on the temporal distances between occurrences of events. Often, these constraints cannot be separated, as intrinsic dynamics of processes couples them, necessitating models, methods, and tools facilitating their combined analysis. Reflecting this fact, FORMATS'16 will feature a special session on hybrid discrete-continuous systems. Topics ------ The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems. Typical topics include (but are not limited to): * Foundations and Semantics: Theoretical foundations of timed systems and languages; new models and logics or analysis and comparison of existing models (like automata, Petri nets, or process algebras involving quantitative time; hybrid automata; probabilistic automata and logics). * Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing or synthesizing timed or hybrid systems and for resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.) * Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, embedded control, hardware circuits, and problems of scheduling in manufacturing and telecommunication). Paper Submission ---------------- FORMATS'16 solicits high-quality papers reporting research results and/or experience reports related to the topics mentioned above. Submitted papers must contain original, unpublished contributions, not submitted for publication elsewhere. The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines. Submissions should not exceed 15 pages in length, but may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Each paper will undergo a thorough review process. Papers are to be submitted electronically via the EasyChair online submission system: https://easychair.org/conferences/?conf=formats2016 The proceedings of FORMATS'16 will be published by Springer in the Lecture Notes in Computer Science series. A special issue dedicated to FORMATS will be hosted in a topical journal, collecting the extensions of papers selected by quality and subject to additional revision. Important Dates --------------- Abstract Submission: April 15, 2016 Paper Submission: April 22, 2016 Notification: June 4, 2016 Final paper due: June 11, 2016 Conference: August 24-26, 2016 General Chair ------------- Josée Desharnais, (U. Laval, Canada) Program Comittee ---------------- S. Akshay, (IIT Bombay, India) Béatrice Bérard, (U. Paris 6, France) Hanifa Boucheneb, (U. Montréal, Canada) Laura Carnevali, (U. Firenze, Italy) Franck Cassez, (U. Macquarie, Australia) Martin Fränzle, (U. Oldenburg, Germany), (chair) Gilles Geeraerts, (ULB, Belgium) Michael R. Hansen, (DTU, Denmark) Boudewijn Haverkort, (U. Twente, NL) Franjo Ivancic, (Google, USA) Oded Maler, (VERIMAG, CNRS-UGA, France) Nicolas Markey, (U. Paris-Saclay, France), (chair) Chris Myers, (U. Utah, USA) Jens Oehlerking, (Bosch GmbH, Germany) David Parker, (U. Birmingham, UK) Karin Quaas, (U. Leipzig, Germany) Stefan Ratschan, (CAS, Czech Republic) César Sanchez, (IMDEA Software Institute, Spain) Sriram Sankaranarayanan, (U. Colorado, USA) Jeremy Sproston, (U. Torino, Italy) Jiri Srba, (U. Aalborg, Denmark) Lothar Thiele, (ETH Zurich, Switzerland) Enrico Vicario, (U. Firenze, Italy) Mahesh Viswanathan, (U. Illinois, USA) James Worrell, (U. Oxford, UK) Sergio Yovine, (U. Buenos Aires, Argentina) Huibiao Zhu, (ECNU, China) Steering Committee ------------------ Rajeev Alur, (U. Pennsylvania, USA) Eugene Asarin, (U. Paris Diderot, France) Thomas A. Henzinger, (IST Austria) Joost-Pieter Katoen, (RWTH Aachen, Germany) Kim G. Larsen, (U. Aalborg, Denmark) Oded Maler, (VERIMAG, CNRS-UGA, France) Lothar Thiele, (ETH Zurich, Switzerland) Wang Yi, (U. Uppsala, Sweden) Publicity Chair --------------- Sebastian Gerwinn, (OFFIS, Germany) Invited speakers ---------------- Scott Smolka, (U. Stony Brook, USA) Oleg Sokolsky, (U. Pennsylvania, USA) Ufuk Topcu, (U. Texas, USA) From cfp.ssbss at dmi.unict.it Tue Mar 8 10:53:54 2016 From: cfp.ssbss at dmi.unict.it (International Synthetic & Systems Biology Summer School) Date: Tue, 08 Mar 2016 10:53:54 +0100 Subject: SSBSS 2016 Call for Oral Presentations/Posters: 8-14 July 2016, Volterra (Pisa) Tuscany, Italy - 3rd Int. Synthetic & Systems Biology Summer School - Application DEADLINE: March 31, 2016 Message-ID: <20160308105354.Horde.3RAcbOph4B9W3qEyN582MkA@mbox.dmi.unict.it> * Our sincere apologies if you receive multiple copies of this announcement * 3rd International Synthetic and Systems Biology Summer School - SSBSS 2016, 8-14 July 2016, Volterra (Pisa) - Tuscany, Italy Application DEADLINE: March 31, 2016 ssbss.school at gmail.com http://www.taosciences.it/ssbss/ https://www.facebook.com/ssbss.school/ https://twitter.com/SchoolSsbss The Synthetic and Systems Biology Summer School (SSBSS) is a full-immersion five-day residential summer school at the Volterra Learning Center (Pisa - Tuscany, Italy) on cutting-edge advances in systems and synthetic biology with lectures delivered by world-renowned experts. The school provides a stimulating environment for students (from Master students to PhD students), Post-Docs, early career researches, academics and industry leaders. Participants will also have the chance to present their results (with Oral Talks and Posters), and to interact with their peers, in a friendly and constructive environment. SSBSS 2016 DEADLINES: Application: March 31, 2016 Notification Acceptance: April 10, 2016 Oral Presentation/Poster Submission: March 31, 2016 Notification of Decision for Oral/Poster Presentation: April 10, 2016 http://www.taosciences.it/ssbss/#application-form SPEAKERS * Yaakov (Kobi) Benenson, Synthetic Biology Group at Department of Biosystems Science and Engineering, ETH Zurich, Basel, Switzerland Lecture 1: The practice of mammalian synthetic biology Lecture 2: Mammalian cell classifiers * Leonidas Bleris, Bioengineering Department, The University of Texas at Dallas, USA Lecture 1: Genome Editing Technologies and Therapeutic Modalities Lecture 2: Benchmark Circuits and Topological Properties * Domitilla Del Vecchio, Department of Mechanical Engineering, MIT, USA Lecture 1: Modularity in genetic circuits: Dream versus Reality Lecture 2: Engineering Modularity in Genetic Circuits * Diego Di Bernardo, Dept of Chemical Materials and Industrial Production Engineering University of Naples "Federico II", Naples, Italy Lecture 1: "Engineering and Control of Biological Circuits in Yeast" Lecture 2: "Engineering and Control of Biological Circuits in Mammalian Cells * Barbara Di Ventura, Synthetic Biology Group, BioQuant/DKFZ, Heidelberg, Germany Lecture 1: Using blue light to control protein localization in living mammalian cells Lecture 2: Using split inteins for protein engineering in living cells * Jonathan S. Gootenberg, Feng Zhang and Aviv Regev Groups, Department of Systems Biology, Harvard Medical School, Harvard University, USA Lecture 1: "Discovering and Characterizing CRISPR effectors" Lecture 2: "Probing Biology with CRISPR Screening" * Markus Herrgard, Technical University of Denmark - Biosustain, Novo Nordisk Foundation Center for Biosustainability, Denmark Lecture 1: "Developing an Integrated Cell Factory Design Tool" Lecture 2: "Using Automated Laboratory Evolution to Optimize Cell Factories? * Shalev Itzkovitz, Department of Molecular Cell Biology, Weizmann Institute of Science, Israel Lecture 1: "Single Molecule Approaches for Studying Gene Expression in Intact Mammalian Tissues" Lecture 2: "Systems Biology of Stem Cell-Maintained Tissues? * Francesco Ricci, Dipartimento di Scienze e Tecnologie Chimiche, University of Rome Tor Vergata, Rome, Italy Lecture 1: "DNA Nanotechnology Tools and Reactions for Synthetic Biology" Lecture 2: "Nature-inspired DNA-based Nanodevices Next Generation Sequencing Workshop ? Afternoon July 12th, 2016 * ?How fast can we align sequences?? Mario Guarracino, CNR, Italy * ?Advanced Bioinformatics tools for NGS? ? TBC Luca Zammataro, Yale University, USA Tutorials: * ?Detection and analysis of contaminating sequences in NGS sequencing data? Ilaria Granata, CNR, Italy * ?Detection and interpretation of circular RNAs in RNA-seq experiments? Parijat Tripathi, CNR, Italy See you in Tuscany in July! The Organizing Committee. ssbss.school at gmail.com http://www.taosciences.it/ssbss/ https://www.facebook.com/ssbss.school/ https://twitter.com/SchoolSsbss Please help us distributing in your circles (emails, blogs, and social networks) the call for participation and call for oral talks/posters for SSBSS 2016. Together we will make SSBSS a great event! From a.bikakis at ucl.ac.uk Tue Mar 8 11:43:52 2016 From: a.bikakis at ucl.ac.uk (Antonis Bikakis) Date: Tue, 08 Mar 2016 10:43:52 +0000 Subject: RuleML 2016 Call for Papers In-Reply-To: References: Message-ID: [apologies for any cross-posting] *The 10th International Web Rule Symposium (RuleML) 2016 Call for Papers* http://2016.ruleml.org/calls Breaking News: * Best papers of RuleML 2016 will be invited to submit a revised and extended version to the "Rapid Publications” category of the journal TPLP (Theory and Practice of Logic Programming). * Best papers of RuleML 2016 will be presented at a special session of IJCAI-16 (co-located in Greater New York Area). * Keynote: Bruce Silver on *Decision Model and Notation standard (DMN 1.1)*, jointly with DecisionCAMP 2016 . * Tutorials: ** Neng-Fa Zhou on *Programming in Picat*, and ** Michael Kifer, Theresa Swift and Benjamin Grosof on* Practical Knowledge Representation and Reasoning in Ergo*. * Signavio, OpenRules and BinaryPark are new sponsors. * Paper submission date extended to Monday, April 4. The annual International Web Rule Symposium (RuleML) is the leading international event in the field of rules and their applications. RuleML 2016, the tenth event in this series, will be held at Stony Brook University, USA. RuleML is the leading conference to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack. It is devoted to rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic Web rule languages and rule standards (e.g., RuleML, SWRL, RIF, PRR, SBVR, DMN, CL, Prolog); rule-based event processing languages (EPLs) and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules. RuleML 2016 will host multiple special tracks, as well as hosting the 10th International Rule Challenge , and the 6th RuleML Doctoral Consortium . Special topic tracks: Smart Contracts, Blockchain and Rules Track ,Constraint Handling Rules Track , Event Driven Architectures and Active Database Systems Track , Legal Rules and Reasoning Track , Rule- and Ontology-Based Data Access and Transformation Track , and Rule Induction and Learning Track . *Objectives* RuleML 2016 will bring together delegates from industry, government and academia, all interested in the theory and practice of rules, applied to areas as diverse as business, healthcare, engineering and research. It will provide a forum for stimulating co-operation and cross-fertilization between the many different communities focused on the research and development of rule-based systems. The symposium's areas of research and development have helped drive rapid progress in technologies for practical rule and event processing in distributed enterprise, intranets, and open distributed environments. Industry practitioners, rule-system providers, users of rules, technical experts and developers, and researchers who are exploring foundational issues, developing systems and applications, or using rule-based systems are invited to share ideas, results, and experiences. *Industry Track and DecisionCAMP* The RuleML 2016 Industry Track targets businesses and the private sector interested in sharing, exploring, and learning about the use of rules and rule technologies for solving real life business problems. DecisionCAMP 2016 will feature presentations from leading decision management authorities, vendors, and practitioners. *General Topics (not limited to):* * Rules and automated reasoning * Rule-based policies, reputation, and trust * Reaction rules * Rules and the Web * Rule discovery from data * Fuzzy rules and uncertainty * Logic programming and nonmonotonic reasoning * Non-classical logics and the Web (e.g modal, especially deontic and epistemic, logics) * Hybrid methods for combining rules and statistical machine learning techniques (e.g., conditional random fields, Probabilistic Soft Logic) * Rule transformation and extraction * Vocabularies, ontologies, and business rules * Rule markup languages and rule interchange formats * Rule-based distributed/multi-agent systems * Rules, agents, and norms * Rule-based communication, dialogue, and argumentation models * Rule-based data integration * Vocabularies and ontologies for pragmatic primitives (e.g. speech acts and deontic primitives) * Pragmatic web reasoning and distributed rule inference / rule execution * Rules in online market research and online marketing * Applications of rule technologies in health care and life sciences * Rules and Human Language Technology * Industrial applications of rules * Rules and business process compliance checking * Standards activities related to rules * Rules and social media * General rule topics *Submission* Papers must be original contributions written in English and must be submitted at http://www.easychair.org/conferences/?conf=ruleml2016 as: - Full Papers (15 pages in the proceedings) - Short Papers (8 pages in the proceedings) Please upload all submissions in LNCS format . Please enter the track name as the first line in the keywords section. To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series . The RuleML2016 special tracks will be published in the same book. Short papers may contain 1 extra page maximum for which there is a charge of US$200, while for long papers you are allowed 2 extra pages maximum for EACH of which there is a charge of US$200. A selection of the best papers from all tracks will be invited to be revised and extended to the "Rapid Publications” category of the journal TPLP (Theory and Practice of Logic Programming). *Student Travel Support* Some financial support is available to enable student authors to travel to the Symposium. These are awarded on a case-by-case basis. Proof of studentship will be required at time of registration. *RuleML main track and special tracks dates (not including Industry Track):* *•* *Extended Paper Submission Date:* *April 4, 2016* *•* *Author Notification* May 4, 2016 *•* *Camera Ready* May 18, 2016 *•* *Conference:* 5-8 July, 2016 With kind regards, RuleML-2016 General and Program Chairs Paul Fodor, Stony Brook University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Leopoldo Bertossi, Carleton University, Canada Guido Governatori, NICTA, Australia -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Tue Mar 8 14:58:42 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 8 Mar 2016 08:58:42 -0500 (EST) Subject: CFP - 5th Workshop on Practical Aspects of Automated Reasoning Message-ID: <20160308135842.D7AF0121484@mcclellan.cs.miami.edu> FIRST CALL FOR PAPERS PAAR-2016 - 5th Workshop on Practical Aspects of Automated Reasoning July 2nd, 2016. Coimbra, Portugal Deadline: May 2nd, 2016 http://cs.ru.nl/paar16/ General Information The 5th Workshop on Practical Aspects of Automated Reasoning will be held on July 2nd, 2016 in Coimbra, Portugal. PAAR is associated with the 8th International Joint Conference on Automated Reasoning (IJCAR-2016). Scope PAAR provides a forum for developers of automated reasoning tools to discuss and compare different implementation techniques, and for users to discuss and communicate their applications and requirements. The workshop will bring together different groups to concentrate on practical aspects of the implementation and application of automated reasoning tools. It will allow researchers to present their work in progress, and to discuss new implementation techniques and applications. Topics include but are not limited to: o automated reasoning in propositional, first-order, higher-order and non-classical logics; o implementation of provers (SAT, SMT, resolution, tableau, instantiation-based, rewriting, logical frameworks, etc); o automated reasoning tools for all kinds of practical problems and applications; o pragmatics of automated reasoning within proof assistants; o practical experiences, usability aspects, feasibility studies; o evaluation of implementation techniques and automated reasoning tools; o performance aspects, benchmarking approaches; o non-standard approaches to automated reasoning, non-standard forms of automated reasoning, new applications; o implementation techniques, optimisation techniques, strategies and heuristics, fairness; o support tools for prover development; o system descriptions and demos. We are particularly interested in contributions that help the community to understand how to build useful reasoning systems in practice, and how to apply existing systems to real problems. Paper Submissions Researchers interested in participating are invited to submit either an extended abstract (up to 8 pages) or a regular paper (up to 15 pages) via EasyChair at https://easychair.org/conferences/?conf=paar2016. Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Short submissions that could stimulate fruitful discussion at the workshop are particularly welcome. Submissions should be prepared in LaTeX using the EasyChair proceedings style. The package containing the class file and its user guide and some helper tools can be downloaded from http://www.easychair.org/publications/easychair.zip. PAAR proceedings will be published electronically in the EasyChair Proceedings in Computing (EPiC) series. If quality and quantity of the submissions warrants this, we plan to produce a special issue of a recognized journal on the topic of the workshop. Important Dates Paper submission deadline: May 2nd, 2016 (Anywhere on the planet) Notification: May 23rd, 2016 Camera ready versions due: June 6th, 2016 Workshop: July 2nd, 2016 Program Committee June Andronick, NICTA and University of New South Wales, Australia Peter Baumgartner, NICTA/Australian National University, Australia Christoph Benzmueller, Freie Universitaet Berlin, Germany Armin Bierre, Johannes Kepler University, Austria Nikolaj Bjorner, Microsoft Research, USA Simon Cruanes, Loria, INRIA, France Hans de Nivelle, University of Wroclaw, Poland Pascal Fontaine, Loria, INRIA, University of Lorraine, France (co-chair) Vijay Ganesh, University of Waterloo, Canada Alberto Griggio, FBK-IRST, Italy John Harrison, Intel, USA Marijn Heule, The University of Texas at Austin, USA Dejan Jovanovic, SRI International, USA Yevgeny Kazakov, The University of Ulm, Germany Chantal Keller, LRI, Universite Paris-Sud, France Boris Konev, The University of Liverpool, UK Konstantin Korovin, The University of Manchester, UK Laura Kovacs, Chalmers University, Sweden Jens Otten, University of Potsdam, Germany Nicolas Peltier, CNRS - LIG, France Ruzica Piskac, Yale University, USA Giles Reger, The University of Manchester, UK Andrew Reynolds, EPFL, Switzerland Philipp Ruemmer, Uppsala University, Sweden Uli Sattler, The University of Manchester, UK Renate A. Schmidt, The University of Manchester, UK Stephan Schulz, DHBW Stuttgart, Germany (co-chair) Geoff Sutcliffe, University of Miami, USA Josef Urban, Czech Technical University in Prague, Czech Republic (co-chair) Uwe Waldmann, MPI Saarbruecken, Germany From Sebastian.Ahrndt at dai-labor.de Tue Mar 8 16:24:16 2016 From: Sebastian.Ahrndt at dai-labor.de (Sebastian Ahrndt) Date: Tue, 8 Mar 2016 15:24:16 +0000 Subject: CfP Human-Agent-Robot Teamwork (HART 2016) Message-ID: <5ca61ce714d94360a0f9209587abad3c@dai-mbx2.dai-lab.de> The 6th Human-Agent-Robot Teamwork Workshop (HART 2016) incorporated into the 14th German Conference on Multiagent Systems Technologies (MATES 2016) in Klagenfurt, Austria, September 28th - 30th, 2016. URL: http://hart2016.dai-labor.de ===== CALL FOR PAPERS ===== The HART 2016 workshop provides a forum for researchers interested in cooperative activities aka teamwork, applied to joint human-agent/robot activities or human-agent/robot interaction addressing the challenges of future teamwork scenarios that are more complex and incorporate agent, robots and humans in a close loop. ===== SCOPE ===== Teamwork has become a widely accepted metaphor for describing the nature of multi-robot and multi-agent cooperation. By virtue of teamwork models, team members attempt to manage general responsibilities and commitments to each other in a coherent fashion that both enhances performance and facilitates recovery when unanticipated problems arise. Whereas early research on teamwork focused mainly on interaction within groups of autonomous agents or robots, there is a growing interest in leveraging human participation effectively. Unlike autonomous systems designed primarily to take humans out of the loop, many important applications require people, agents, and robots to work together in close and relatively continuous interaction. For software agents and robots to participate in teamwork alongside people in carrying out complex real-world tasks, they must have some of the capabilities that enable natural and effective teamwork among groups of people. Just as important, developers of such systems need tools and methodologies to assure that such systems will work together reliably and safely, even when they have been designed independently. The purpose of the HART workshop is to explore theories, methods, and tools in support of humans, agents and robots working together in teams. Position papers that combine findings from fields such as computer science, artificial intelligence, cognitive science, anthropology, social and organizational psychology, human-computer interaction to address the problem of HART are strongly encouraged. The workshop will formulate perspectives on the current state-of-the-art, identify key challenges and opportunities for future studies, and promote community-building among researchers and practitioners. The workshop solicits contributions addressing original research on joint human-agent-robot activities, human-agent-robot teamwork, and human-aware planning. The workshops topics are related to systems of humans and agents (including robots) in cooperative settings. Thus, the topics of interest cover a variety of fields and expertises, for example: - Models of human behaviour and their application to teamwork, - Collaborative planning and cooperative agent-human systems, - Human-agent teamwork theories, models, tools, and frameworks, - Human-aware motion, navigation, task planning, - Applications on human-robot/agent interaction, and - Studies on practicial joint human-agent-robot activities. We welcome submissions that cover theoretical results, methodological contributions, or practical results illustrating human-agent-robot teamwork applications in the wild (lab, online, real-world). No special prerequisites are demanded for the target audience. However, participation in the workshop will be limited, with authors and presenters given priority. All attendees must register for the MATES 2016 conference. This emerging field is inherently inter-disciplinary, thus the workshop brings together researchers from computer science, artificial intelligence, cognitive science, anthropology, social and organizational psychology, human-computer interaction. ===== SUBMISSION AND PROCEEDINGS ===== All accepted papers will be scheduled for oral presentations and will be included in the proceedings of the MATES 2016. At least one author of each accepted paper is required to register and attend the conference to present the work. The submitted paper must be formatted according to the guidelines of the Springer Lecture Notes in Artificial Intelligence (LNAI) (http://www.springer.com/series/1244). Authors are encouraged to use the style files found there: - Author Guidelines (ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/instruct/authors/authors.pdf) - LNAI LaTeX Template (ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) - LNAI Word Template (ftp://ftp.springer.de/pub/tex/latex/llncs/word/splnproc1110.zip) The submitted papers must be no longer than eight pages in length, including all figures, tables and references. Authors are requested to submit their papers electronically using the online conference management system (https://www.easychair.org/conferences/?conf=hart2016) in PDF format before the deadline (see important dates). Paper submission is electronic. To submit, please prepare a PDF file of your paper, a short abstract in plain text, and a list of two to five keywords. The submission processes will be managed by easychair.org. If you have used this system before, you can use the same username and password. If this is your first time using EasyChair, you will need to register for an account by clicking "I have no EasyChair account" button. Upon completion of registration, you will get a notification email from the system and you are ready for submitting your paper. You can upload and re-upload the paper to the system by the submission due date. All papers will be reviewed by at least 2 reviewers. Criteria for selection of papers include the relevance to topics, soundness, overall quality and readability. ===== IMPORTANT DATES ===== Submission April 11th, 2016 Notification June 6th, 2016 Final paper June 27th, 2016 Workshop Sep 28th - 30th, 2016 ===== MORE INFORMATION & CONTACT ===== Please visit http://hart2016.dai-labor.de for more information or send a mail to hart2016 at easychair.org. ===== PROGRAMM COMMITTEE ===== Jeffrey Bradshaw, IHMC, USA Virginia Dignum, TU Delft, The Netherlands Johannes Fähndrich, Technische Universität Berlin, Germany Benjamin Hirsch, EBTIC, Khalifa University, United Arab Emirates Matthew Johnson, IHMC, USA Michael Kaisers, Centrum Wiskunde & Informatica, The Netherlands Marco Lützenberger, Technische Universität Berlin, Germany Cyrille Martin, University of Grenoble, France ===== ORGANISATION ===== Sebastian Ahrndt Distributed Artificial Intelligence Laboratory Technische Universität Berlin Catholijn M. Jonker Department of Intelligent Systems Delft University of Technology -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Wed Mar 9 02:05:24 2016 From: grlmc at grlmc.com (GRLMC) Date: Wed, 09 Mar 2016 02:05:24 +0100 Subject: SLSP 2016: 1st call for papers Message-ID: <545102060a010b0108525904070959535b000c56000701550207580557505502525706010109060a555503040e05@grlmc_ip-zone_com-6> SLSP 2016: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   4th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2016   Pilsen, Czech Republic   October 11-13, 2016   Organized by:   Department of Computer Science and Engineering Department of Cybernetics University of West Bohemia   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/SLSP2016/   **********************************************************************************   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 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2016 will take place in Pilsen, nominated one of the two European Capitals of Culture in 2015. The venue will be the the NTIS research centre at the Faculty of Applied Sciences of the University of West Bohemia.   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 2016 will consist of:   invited talks invited tutorials peer-reviewed contributions   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Srinivas Bangalore (Interactions LLC, Murray Hill, USA) Roberto Basili (University of Rome Tor Vergata, Italy) Jean-François Bonastre (University of Avignon, France) Nicoletta Calzolari (National Research Council, Pisa, Italy) Marcello Federico (Bruno Kessler Foundation, Trento, Italy) Guillaume Gravier (IRISA, Rennes, France) Gregory Grefenstette (INRIA, Saclay, France) Udo Hahn (University of Jena, Germany) Thomas Hain (University of Sheffield, United Kingdom) Dilek Hakkani-Tür (Microsoft Research, Mountain View, USA) Mark Hasegawa-Johnson (University of Illinois, Urbana, USA) Xiaodong He (Microsoft Research, Redmond, USA) Graeme Hirst (University of Toronto, Canada) Gareth Jones (Dublin City University, Ireland) Tracy Holloway King (A9.com, Palo Alto, USA) Tomi Kinnunen (University of Eastern Finland, Joensuu, Finland) Philipp Koehn (University of Edinburgh, United Kingdom) Pavel Král (University of West Bohemia, Pilsen, Czech Republic) Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA) Mark Liberman (University of Pennsylvania, Philadelphia, USA) Qun Liu (Dublin City University, Ireland) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Alessandro Moschitti (University of Trento, Italy) Preslav Nakov (Qatar Computing Research Institute, Doha, Qatar) John Nerbonne (University of Groningen, The Netherlands) Hermann Ney (RWTH Aachen University, Germany) Vincent Ng (University of Texas, Dallas, USA) Jian-Yun Nie (University of Montréal, Canada) Kemal Oflazer (Carnegie Mellon University – Qatar, Doha, Qatar) Adam Pease (Articulate Software, San Francisco, USA) Massimo Poesio (University of Essex, United Kingdom) James Pustejovsky (Brandeis University, Waltham, USA) Manny Rayner (University of Geneva, Switzerland) Paul Rayson (Lancaster University, United Kingdom) Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA) Erik Tjong Kim Sang (Meertens Institute, Amsterdam, The Netherlands) Murat Saraçlar (Boğaziçi University, İstanbul, Turkey) Björn W. Schuller (University of Passau, Germany) Richard Sproat (Google, New York, USA) Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece) Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, United Kingdom) Marc Swerts (Tilburg University, The Netherlands) Tomoki Toda (Nara Institute of Science and Technology, Japan) Andy Way (Dublin City University, Ireland) Phil Woodland (University of Cambridge, United Kingdom) Junichi Yamagishi (University of Edinburgh, United Kingdom) Heiga Zen (Google, Mountain View, USA) Min Zhang (Soochow University, Suzhou, China) Pierre Zweigenbaum (LIMSI, Orsay, France)   ORGANIZING COMMITTEE:   Tomáš Hercig (Pilsen) Carlos Martín-Vide (Tarragona, co-chair) Manuel J. Parra (Granada) Daniel Soutner (Pilsen) Florentina Lilica Voicu (Tarragona) Jan Zelinka (Pilsen, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, 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://www.easychair.org/conferences/?conf=slsp2016   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/SLSP2016/Registration.php   DEADLINES:   Paper submission: May 17, 2016 (23:59 CET) Notification of paper acceptance or rejection: June 21, 2016 Final version of the paper for the LNCS/LNAI proceedings: July 1, 2016 Early registration: July 1, 2016 Late registration: September 27, 2016 Submission to the journal special issue: January 13, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   SLSP 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   Phone: +34 977 559 543 Fax: +34 977 558 386   ACKNOWLEDGEMENTS:   Západočeská univerzita v Plzni Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From idsistworkshops at gmail.com Thu Mar 10 11:33:28 2016 From: idsistworkshops at gmail.com (IDS Workshops) Date: Thu, 10 Mar 2016 10:33:28 +0000 Subject: DS4IDS@ICCSA2016: Data Science for Intelligent Decision Support Workshop - Call for Papers In-Reply-To: <54915C55.7050004@gmai.com> References: <54915C55.7050004@gmai.com> Message-ID: <56E14D78.1020506@gmail.com> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From abraham at informatik.rwth-aachen.de Thu Mar 10 14:41:13 2016 From: abraham at informatik.rwth-aachen.de (Erika Abraham) Date: Thu, 10 Mar 2016 14:41:13 +0100 Subject: iFM 2016 Call for Participation Message-ID: <56E17979.6040108@informatik.rwth-aachen.de> =========================================================== CALL FOR PARTICIPATION iFM 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ =========================================================== === Important dates === Guaranteed hotel reservations: March 15, 2016 Early registration deadline: April 22, 2016 Conference: June 1-3, 2016 === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Integration of formal methods into software engineering practice - Hybrid systems - Program verification - Program synthesis - Model checking - Static analysis - Runtime analysis, monitoring, performance evaluation - Decision procedures, SAT and SMT solving - Software engineering - Component-based systems (compositional, embedded, distributed, etc.) - Testing - Abstraction and refinement === Invited speakers === - Marsha Chechik (University of Toronto, Canada): Dimensions of Model Transformation Reuse - Laura Kovacs (Chalmers University of Technology, Sweden and TU Wien, Austria): Symbolic Computation and Automated Reasoning for Program Analysis - Reiner Haehnle (Technical University Darmstadt, Germany): Can Formal Methods Improve the Efficiency of Code Reviews? === List of accepted papers === - Daniel Darvas, Istvan Majzik and Enrique Blanco Vinuela. "Formal Verification of Safety PLC Based Control Software" - Gerhard Schellhorn, Oleg Travkin and Heike Wehrheim. "Towards a Thread-Local Proof Technique for Starvation Freedom" - Petra van den Bos, Rick Smetsers and Frits Vaandrager. "Enhancing Automata Learning by Log-Based Metrics" - Sean Sedwards, Pedro D'Argenio, Arnd Hartmanns and Axel Legay. "Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata" - Olaf Owe. "Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems" - Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison and Mattias Rost. "Probabilistic Formal Analysis of App Usage to Inform Redesign" - Sebastian Krings and Michael Leuschel. "SMT Solvers for Validation of B and Event-B models" - Mathijs Schuts, Jozef Hooman and Frits Vaandrager. "Refactoring of Legacy Software using Model Learning and Equivalence Checking: An Industrial Experience Report" - Stephan Barth. "Deciding Monadic Second Order Logic over omega-words by Specialized Finite Automata" - Adrian Riesco and Juan Rodriguez-Hortala. "Temporal Random Testing for Spark Streaming" - Leo Freitas, James Baxter, Ana Cavalcanti and Andy Wellings. "Verifying a Priority Scheduler for an SCJ Runtime Environment" - Andreas Mueller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger and Andre Platzer. "A Component-based Approach to Hybrid Systems Safety Verification" - Michael Ameri and Carlo A. Furia. "Why Just Boogie? Translating Between Intermediate Verification Languages" - Sascha Fendrich and Gerald Luettgen. "A Generalised Theory of Interface Automata, Component Compatibility and Error" - Christian Prehofer. "Property Preservation for Extension Patterns of State Transition Diagrams" - Hosein Nazarpour, Ylies Falcone, Saddek Bensalem, Marius Bozga and Jacques Combaz. "Monitoring Multi-threaded Component-Based Systems" - Elvira Albert, Miguel Gomez-Zamalloa and Miguel Isabel. "Combining Static Analysis and Testing for Deadlock Detection" - Andrii Kovalov and Juliana Kuester Filipe Bowles. "Avoiding Medication Conflicts for Patients with Multimorbidities" - Pedro Antonino, Bill Roscoe and Thomas Gibson-Robinson. "Efficient Deadlock Checking using Local Analysis and SAT Solving" - Jens Bendisposto, Philipp Koerner, Michael Leuschel, Jeroen Meijer, Jaco Van de Pol, Helen Treharne and Jorden Whitefield. "Symbolic Reachability Analysis of B through ProB and LTSmin" - Bjornar Luteberget, Christian Johansen and Martin Steffen. "Rule-based Consistency Checking of Railway Infrastructure Designs" - Viorel Preoteasa. "Verifying Pointer Programs using Separation Logic and Invariant Based Programming in Isabelle" - Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton and Igor Muttik. "On Robust Malware Classifiers by Verifying Unwanted Behaviours" - Ian Cassar and Adrian Francalanza. "On Implementing a Monitor-Oriented Programming Framework for Actor Systems" - Lubos Korenciak, Vojtech Rehak and Adrian Farmadin. "Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-delay CTMC" - Pavel Zaichenkov, Olga Tveretina and Alex Shafarenko. "A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces" - Renata Hodovan and Akos Kiss. "Fuzzing JavaScript Engine APIs" - Matt Luckcuck, Ana Cavaltanti and Andy Wellings. "Formal Model of the Safety-Critical Java Level 2 Paradigm" - Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti and Chetan Bansal. "Enabling Static Driver Verifier using Microsoft Azure" === Workshops === iFM 2016 will be accompanied by a series of satellite events: The 6th International Symposium on Unifying Theories of Programming (UTP 2016) http://utp2016.ecnu.edu.cn/ Workshop on Pre- and Post-Deployment Verification Techniques (PrePost) http://icetcs.ru.is/prepost/ Workshop on Formal Methods for and on the Cloud (iFMCloud'16) https://ifmcloud2016.nntb.no/ Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS) http://www.cs.ox.ac.uk/conferences/VVCPS16/ PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM 2016) http://en.ru.is/ifm/ifm-phd-symposium/ === Conference location === iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. === Committees === General Chair: Marjan Sirjani (University of Reykjavik, Iceland) Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Marieke Huisman (University of Twente, The Netherlands) Workshop Chair: Marcel Kyas (University of Reykjavik, Iceland) Wojciech Mostowski (Halmstad University, Sweden) Program Committee: Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Bernd Becker (Albert-Ludwigs-University Freiburg, Germany) Clara Benac Earle (Universidad Politecnica de Madrid, Spain) Borzoo Bonakdarpour (McMaster University, Canada) Ferruccio Damiani (Universita di Torino, Italy) Frank de Boer (CWI, The Netherlands) Delphine Demange (University of Rennes 1/IRISA, France) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Dilian Gurov (KTH Royal Institute of Technology, Sweden) Holger Hermanns (Saarland University, Germany) Einar Broch Johnsen (University of Oslo, Norway) Peter Gorm Larsen (Aarhus University, Denmark) Martin Leucker (University of Lubeck, Germany) Dominique Mery (Universite de Lorraine, LORIA, France) Rosemary Monahan (Maynooth University, Ireland) Nadia Polikarpova (MIT, USA) Cesar Sanchez (IMDEA Software Institute, Spain) Sriram Sankaranarayanan (University of Colorado, USA) Ina Schaefer (Technische Universitaet Braunschweig, Germany) Gerardo Schneider (Chalmers, University of Gothenburg, Sweden) Emil Sekerinski (McMaster University, Canada) Armando Tacchella (University of Genoa, Italy) Mark Utting (University of the Sunshine Coast, Australia) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) From fabio.zanasi at ens-lyon.fr Thu Mar 10 16:01:42 2016 From: fabio.zanasi at ens-lyon.fr (fabio.zanasi at ens-lyon.fr) Date: Thu, 10 Mar 2016 16:01:42 +0100 (CET) Subject: CMCS 2016: Last Call for Participation (with Programme) Message-ID: <20160310150142.8E15232254E@labbe.ens-lyon.fr> Last Call for Participation 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16) 2 - 3 April 2016, Eindhoven, the Netherlands http://www.coalg.org/cmcs16 Venue and event --------------- CMCS'16 will be held in Eindhoven, the Netherlands, co-located with ETAPS 2016 on 2 - 3 April 2016. Programme --------------- The programme of the workshop is now available at http://www.coalg.org/cmcs16/programme.html . Keynote Speaker --------------- Jiri Adamek, Braunschweig University of Technology, Germany Invited Speakers --------------- Andreas Abel, University of Gothenburg, Sweden Filippo Bonchi, CNRS/ENS Lyon, France Invited Tutorial Speakers ------------------------- There will be a special session on weighted automata, with invited tutorials by Borja Balle, Lancaster University, United Kingdom Alexandra Silva, University College London, United Kingdom Accepted Papers ------------------------- Ekaterina Komendantskaya and John Power. Category theoretic semantics for theorem proving in logic programming: embracing the laxness David Sprunger. A complete logic for behavioural equivalence in coalgebras of finitary set functors Bart Jacobs. Affine Monads and Side-Effect-Freeness Ievgen Ivanov. On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems Fredrik Dahlqvist. Coalgebraic completeness-via-canonicity: principles and applications. Mehdi Zarrad and H. Peter Gumm. Transitivity and Difunctionality of Bisimulations Joost Winter. Product Rules and Distributive Laws Luigi Santocanale. Relational lattices via duality Julian Salamanca, Marcello Bonsangue and Jurriaan Rot. Duality of Equations and Coequations via Contravariant Adjunctions Octavian Babus and Alexander Kurz. On the logic of generalised metric spaces Accepted Short Contributions ------------------------- Stefan Milius, Lutz Schrvder and Thorsten Wi_mann. Regular Behaviours with Names: On Rational Fixpoints of Endofunctors on Nominal Sets Bartek Klin and Beata Nachyla. Simple stream specifications with undecidable productivity Tomasz Brengos, Marino Miculan and Marco Peressotti. Behavioural equivalences for coalgebras with unobservable moves Baltasar Trancsn Y Widemann and Markus Lepper. Coinductive Program Synthesis for the Masses Julian Salamanca. An Eilenberg-like theorem for algebras over a monad Marco Peressotti. Towards coalgebraic semantics of higher-order behaviours Jens Lechner. (Co)algebraic specification and its application in XML-based modelling Filippo Bonchi, Matias David Lee and Jurriaan Rot. Proving Equations on Stream GSOS via Bisimulation on Open Terms Henning Urbat. Algebraic Language Theory = Monads + Duality Peter Padawitz. I-polynomial data types: adjunctions, equations, and theories CMCS Dinner ------------------------- We are organizing a social dinner on Sat 2 April and this is separate from the "ETAPS Pre-Satellite Events Dinner" on Sunday. For the CMCS dinner you have to register separately. Please follow the link "CMCS dinner" you find on the left at http://www.coalg.org/cmcs16/. --- Questa e-mail è stata controllata per individuare virus con Avast antivirus. https://www.avast.com/antivirus From peter.schuller at marmara.edu.tr Thu Mar 10 18:40:43 2016 From: peter.schuller at marmara.edu.tr (Peter Schueller) Date: Thu, 10 Mar 2016 19:40:43 +0200 (EET) Subject: Call For Workshop Proposals: 32nd International Conference on Logic Programming (ICLP 2016) Message-ID: <20160310174043.E24992C046D@omsievews> *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2016 32nd International Conference on Logic Programming Oct 17 - 21, 2016 New York City, USA http://software.imdea.org/Conferences/ICLP2016/ ICLP 2016, the 32nd International Conference on Logic Programming, will be held in New York City, USA, from October 17 to October 21, 2016. Workshops collocated with an international conference are one of the best venues for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Collocated workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops collocated with ICLP 2016 can cover any areas related to logic programming, (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2016 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years * The requested number of half-days allotted to the workshop and an estimate of the number of expected attendees. * The names, affiliation and contact details (email, web page, phone) of the workshop organizers together with a designated contact person. * Previous experience of the workshop organizers in workshop/conference organization. Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chair by email by March 29, 2016. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 8, 2016. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting room. The proceedings should be produced and distributed (usually via web pages) by each workshop organizer. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means. A web page URL should be provided by April 24, 2016, and will published on the ICLP 2016 home page. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the Workshop Chair. * Sending workshop program in PDF format to the Workshop Chair for distribution and posting at the conference by September 18, 2016. * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly recommended. For guidelines, see: http://dtai.cs.kuleuven.be/projects/ALP/electronic_publishing.html We encourage reading these instructions in advance so that you can ask paper authors to prepare the final versions of their papers accordingly. Location: ========= Workshops be collocated with ICLP 2016, in New York City, USA. See the ICLP 2016 web site for location details. Important Dates: ================ March 29, 2016: Proposal submission deadline April 8, 2016: Notification April 24, 2016: Deadline for receipt of CfP and workshop web page URL Sep 18, 2016: Deadline for workshop program Oct 16-17, 2016: ICLP workshops (preliminary dates) Workshop Chair: =============== Marcello Balduccini marcello.balduccini at gmail.com From kuhntobias at gmail.com Fri Mar 11 11:17:04 2016 From: kuhntobias at gmail.com (Tobias Kuhn) Date: Fri, 11 Mar 2016 11:17:04 +0100 Subject: Call For Papers - CNL 2016 - Extended Submission Deadline 15 April 2016 Message-ID: <56E29B20.4060004@gmail.com> Fifth Workshop on Controlled Natural Language (CNL 2016) 25-27 July 2016 in Aberdeen, Scotland This workshop on Controlled Natural Language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces. Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop. Important Dates - REVISED EXTENDED SUBMISSION DEADLINE: 15 April 2016 - Notification of acceptance: 1 May 2016 - Deadline for receipt of revised papers: 13 May 2016 - Deadline for submission to Springer: 20 May 2016 - Registration deadline: 11 July 2016 - Posters/demos deadline: 11 July 2016 - Workshop: 25–27 July 2016 Sponsors Contact Adam Wyner, azwyner at abdn.ac.uk, if you want to become a sponsor. Topics Possible topics for CNL 2016 include: - CNL for knowledge representation - CNL for query interfaces - CNL for specifications - CNL for business rules - CNL for dialogue systems - CNL for machine translation - CNL for improved understandability of texts - CNL for natural language generation - design of CNLs - CNL applications - CNL evaluation - usability and acceptance of CNL - CNL grammars and lexica - multilingual CNLs - reasoning in CNL - spoken CNL - CNL in the context of the Semantic Web and Linked Open Data - CNL in the government - CNL in industry - CNL use cases - theoretical properties of CNL Invited Speakers Silvie Spreeuwenberg, LibRT Philipp Cimiano, University of Bielefeld Tim Finin, University of Maryland Submissions and Proceedings We invite researchers to submit papers with novel contributions in the area of CNL. These research papers should be formatted according to the Springer LNCS (https://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) format and should not exceed 10 pages. Submit your paper via Easychair: https://easychair.org/conferences/?conf=cnl2016 The proceedings of the workshop will appear in Springer’s LNCS/LNAI series and will be indexed in all major citation databases including ISI Web of Science and Scopus. Website: http://www.sigcnl.org/cnl2016.html Social Media: Twitter: https://twitter.com/sig_cnl Google Drive (read only): https://drive.google.com/folderview?id=0Bx9w-S4aWKt3azIxRnJkS3V2WDg&usp=sharing Organization Committee - Adam Wyner (University of Aberdeen, Scotland; azwyner at abdn.ac.uk) - Brian Davis (INSIGHT at NUI Galway, Ireland; brian.davis at insight-centre.org) - Gordon Pace (University of Malta, Malta; gordon.pace at um.edu.mt) Program Committee Krasimir Angelov (Chalmers University, Sweden) Paul Buitelaar (INSIGHT at NUI Galway, formerly DERI, Ireland) Rogan Creswick (Galois, USA) Brian Davis (INSIGHT at NUI Galway, formerly DERI, Ireland) Ronald Denaux (iSOCO, Spain) Ramona Enache (Chalmers University, Sweden) Esra Erdem (Sabanci University, Turkey) Sebastien Ferre (University Rennes 1, France) Norbert E. Fuchs (University of Zurich, Switzerland) Normunds Gruzitis (University of Latvia) Kaarel Kaljurand (Nuance Communications, Austria) Peter Koepke (University of Bonn, Germany) Tobias Kuhn (ETH Zurich, Switzerland) Adegboyega Ojo (INSIGHT at NUI Galway, formerly DERI, Ireland) Gordon Pace (University of Malta) Laurette Pretorius (University of South Africa) Aarne Ranta (University of Gothenburg, Sweden) Mike Rosner (University of Malta) Uta Schwertel (imc, Germany) Rolf Schwitter (Macquarie University, Australia) Geoff Sutcliffe (University of Miami, USA) Irina Temnikova (Qatar Computing Research Institute, Qatar) Camilo Thorne (Free University of Bozen-Bolzano, Italy) Jeroen Van Grondelle (HU University of Applied Sciences Utrecht, Netherlands) Adam Wyner (University of Aberdeen, UK) Previous Events There were four previous events in the same series: - CNL 2009 in Marettimo, Italy. http://attempto.ifi.uzh.ch/site/cnl2009/ - CNL 2010 in Marettimo, Italy. http://staff.um.edu.mt/mros1/cnl2010/index.html - CNL 2012 in Zurich, Switzerland. http://attempto.ifi.uzh.ch/site/cnl2012/ - CNL 2014 in Galway, Ireland. http://attempto.ifi.uzh.ch/site/cnl2014/ The University of Aberdeen is a charity registered in Scotland, No SC013683. Tha Oilthigh Obar Dheathain na charthannas clàraichte ann an Alba, Àir. SC013683. -- You received this message because you are subscribed to the Google Groups "Controlled Natural Language (CNL)" group. To unsubscribe from this group and stop receiving emails from it, send an email to sigcnl+unsubscribe at googlegroups.com. To post to this group, send email to sigcnl at googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sigcnl/EF21618A-813D-47E9-8A57-1D60DE5D75C9%40abdn.ac.uk. For more options, visit https://groups.google.com/d/optout. From pokahr at informatik.uni-hamburg.de Fri Mar 11 15:53:59 2016 From: pokahr at informatik.uni-hamburg.de (Alexander Pokahr) Date: Fri, 11 Mar 2016 15:53:59 +0100 Subject: Call For Papers - PhD Mentoring of the 14th German Conference on Multiagent System Technologies (MATES 2016) Message-ID: <56E2DC07.6000902@informatik.uni-hamburg.de> (We apologize for multiples copies. Please forward this CFP to anyone who might be interested.) Call for papers for the *PhD Mentoring of the 14th German Conference on Multiagent System Technologies (MATES 2016)* === Overview === Conference Date: September 27 - 30, 2016 Conference Location: Klagenfurt, Austria (co-located with the 39th German AI Conference - KI 2016 and the 46th Annual Symposium of the German Computer Science Association GI - INFORMATIK 2016) PhD Short Paper Submission (up to 6 pages LNCS): May 16, 2016 Web page: http://www.dfki.de/mates2016/html/phd_mentoring.html === Details === The MATES PhD mentoring session (doctoral consortium) is meant to support PhD students working in the area of intelligent agents or multi-agent systems. It offers a platform to researchers in all stages of their PhD studies to present and discuss their ideas in an academic professional 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 MATES doctoral consortium, who is an experienced researcher in the relevant field and will be available for personal interactions during the day of the MATES PhD mentoring session. 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. 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 short papers are up to 6 pages long, written in English and formatted with Springer LNCS style. 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 pokahr at informatik.uni-hamburg.de 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. Important Dates: PhD Short Paper Submission: May 16, 2016 PhD Short Paper Acceptance Notification: June 6, 2016 Camera-Ready Paper (only for selected papers) : June 27, 2016 PhD Mentoring Session: September 27, 2016 Program Committee of Doctoral Consortium: Bernhard Bauer (University of Augsburg) Jan Ole Berndt (University of Trier) Nils Bulling (Delft University of Technology) Maria Ganzha (University of Gdan´sk) Vladimir Gorodetsky (St. Petersburg Institute for Informatics and Automation) Axel Hahn (University of Oldenburg) Franziska Klügl (Örebro University) Jörg P. Müller (TU Clausthal) Andrea Omicini (Alma Mater Studiorum–Università di Bologna) Sascha Ossowski (University Rey Juan Carlos) Paolo Petta (Austrian Research Institute for Artificial Intelligence) Jordi Sabater Mir (IIIA-CSIC) Jürgen Sauer (University of Oldenburg) René Schumann (HES-SO University of Applied Sciences Western Switzerland) Matthias Thimm (Universität Koblenz-Landau) Ingo J. Timm (University of Trier) Rainer Unland (University of Duisburg-Essen) Michael Weyrich (Universität Siegen) From andrea at dcs.bbk.ac.uk Sat Mar 12 03:48:36 2016 From: andrea at dcs.bbk.ac.uk (Andrea Cali) Date: Sat, 12 Mar 2016 02:48:36 +0000 Subject: RuleML 2016 track on Rule- and Ontology-Based Data Access and Transformation Message-ID: *Apologies for cross-postings* ------------------------------ RuleML 2016 Wednesday, 6 July – Saturday, 9 July, 2016, Stony Brook University, New York, USA http://2016.ruleml.org/ *** CALL FOR SPECIAL TRACK PAPERS: *** *** Rule- and Ontology-Based Data Access and Transformation *** http://2016.ruleml.org/calls/rule--and-ontology-based-data-access-and-transformation-track ------------------------- Ontologies and rule systems, isolated and in combination, have established themselves as viable approaches to a number of pressing IT problems: giving both humans and client software (e.g. data analysis) intuitive, domain-oriented, uniform access to data; integrating multiple data sets with heterogeneous schemas; migrating data from legacy systems, etc. This track solicits contributions on theoretical and practical aspects of rule- and ontology-based data access and transformation. TOPICS OF INTEREST include, but are not limited to: * Logics and rule languages of particular interest to data access or transformation * Tractability and intractability results for rule- and ontology-based systems in the presence of large amounts of data * Interactions between rules and ontologies in the presence of large amounts of data * Rule- and ontology-based data integration * Rules & reasoning for Linked Data * Rule and ontology-driven user interfaces * Implementations of rule- and ontology-based data access and transformation systems systems * Reports on applications and lessons learnt SUBMISSION Papers must be original contributions written in English and must be submitted at http://www.easychair.org/conferences/?conf=ruleml2016 (please enter the track name as the first line in the keywords section) as: - Full Papers (15 pages in the proceedings) - Short Papers (8 pages in the proceedings) IMPORTANT DATES * Paper submission: (EXTENDED) 4th April, 2016 * Author notification: 4th May, 2016 * Camera ready: 18th May, 2016 * Conference:: 6th-9th July, 2016 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From marianne.huchard at lirmm.fr Sat Mar 12 19:04:40 2016 From: marianne.huchard at lirmm.fr (Marianne Huchard) Date: Sat, 12 Mar 2016 19:04:40 +0100 Subject: CLA 2016 - Deadline Extension - 25 MARCH Message-ID: <56E45A38.3050402@lirmm.fr> ------------------------------------------------------------------------ Deadline EXTENSION - CLA 2016 The paper submission deadline has been extended to March 25, 2016. Papers can be submitted even if no abstract has been posted on March, 7. ------------------------------------------------------------------------ The 13th International Conference on Concept Lattices and Their Applications July 18–22, 2016 Moscow, Russia CLA 2016 Webpage http://cla2016.hse.ru/ ------------------------------------------------------------------------ # CLA 2016 will be organized by National Research University Higher School of Economics, Moscow, Russia **** NEW Paper submission deadline: March 25, 2016 **** # Scope and Areas CLA is an international conference dedicated to formal concept analysis (FCA) and areas closely related to FCA such as data mining, information retrieval, knowledge management, data and knowledge engineering, logic, algebra and lattice theory. CLA provides a forum for researchers, practitioners, and students. The program of CLA consists of invited plenary talks, regular talks, workshops, tutorials, and poster sessions. Papers in all areas relevant to theory and applications of FCA are solicited. Those areas include but are not restricted to: * foundations, * concept lattices and related structures, * attribute implications and data dependencies, * algorithms, * visualization, * data preprocessing, * redundancy and dimensionality reduction, * information retrieval, * classification, * clustering, * association rules and other data dependencies, * ontologies, * applications to software engineering, programming languages, data mining, machine learning, linguistics ... # Important Dates (NEW DEADLINE) Paper submission: March 25, 2016 Notification of acceptance/rejection: May 9, 2016 Camera-ready papers due: May 30, 2016 Conference: July 18-22, 2016 # Paper Submission and Publication Papers of up to 12 pages may be submitted in PDF or Postscript format. Papers need to be formatted using the Springer Lecture Notes in Computer Science style (http://www.springer.de/comp/lncs/authors.html). The submission is to be done via https://easychair.org/conferences/?conf=cla2016 All papers will be judged based on their technical merits, originality, relevance to areas of interest, and presentation clarity. Papers should describe original work that has not been published before, is not under review elsewhere, and will not be submitted elsewhere during CLA 2016's review period. Accepted papers will be published in conference proceedings (with ISBN), available at the conference (printed) and at CEUR Workshop Proceedings and CLA Homepage (online). Selected papers accepted to CLA 2016 will be invited to further revise and extend their work in a special issue of a well-established journal (name will come). # Program co-chairs Marianne Huchard, LIRMM, Université de Montpellier (France) Sergei O. Kuznetsov, National Research University Higher School of Economics (Russia) # Program Committee Cristina Alcalde, Universidad Del Pais Vasco, UPV/EHU, Spain Simon Andrews, Sheffield Hallam University, United Kingdom Gabriela Arevalo, Facultad de Ingenieria - Universidad Austral, Argentina Jaume Baixeries, Ciències de la Computació, Catalonia Radim Belohlavek, Palacky University, Olomouc, Czech Republic Anne Berry, Université Blaise Pascal, Clermont-Ferrand, France Karell Bertet, Laboratory L3I, University of La Rochelle, France François Brucker, Ecole Centrale Marseille, France Ana Burusco, Universidad Publica De Navarra, Spain Aleksey Buzmakov, INRIA-LORIA(CNRS-Université de Lorraine), Nancy, France Peggy Cellier, IRISA/INSA Rennes, France Pablo Cordero, Universidad de Málaga, France Jean Diatta, Université de la Réunion, France Stephan Doerfel, University of Kassel, Germany Xavier Dolques, ICube, Université de Strasbourg/ENGEES, Strasbourg, France Florent Domenach, University of Nicosia, Cyprus Vincent Duquenne, CNRS, Paris, France Sebastien Ferre, Universite de Rennes 1, France Alain Gély, LITA, Université Lorraine, Metz, France Robert Godin, Université du Québec à Montréal, Canada Tarek Hamrouni, University of Tunis El Manar, Tunis, Tunisie Dmitry Ignatov, National Research University Higher School of Economics, Russia Mehdi Kaytoue, LIRIS - INSA de Lyon, France Stanislav Krajci, P. J. Safarik University, Slovak Republic Francesco Kriegel, Technische Universität Dresden, Germany Jan Konecny, Dept. Computer Science, Palacky University, Olomouc, Czech Republic Michal Krupka, Palacky University, Olomouc, Czech Republic Marzena Kryszkiewicz, Warsaw University of Technology, Poland Leonard Kwuida, Bern University of Applied Sciences, switzerland Florence Le Ber, ICube, Université de Strasbourg/ENGEES, Strasbourg, France Rokia Missaoui, Université du Québec en Outaouais, LARIM, Canada Jesús Medina Moreno, University of Cádiz, Spain Engelbert Mephu Nguifo, LIMOS - Blaise Pascal University – CNRS, France Amedeo Napoli, LORIA Nancy, France Sergei Obiedkov, National Research University Higher School of Economics, Russia Manuel Ojeda-Aciego, Dept. of Applied Mathematics, University of Malaga, Spain Petr Osička, Palacky University in Olomouc, Czech Republic Jan Outrata, Dept. Computer Science, Palacky University, Czech Republic Jean-Marc Petit, Université de Lyon, INSA Lyon, France Uta Priss, Ostfalia University, Germany Olivier Raynaud, LIMOS - Blaise Pascal University – CNRS, France Sándor Radeleczki, Department of Analysis, University of Miskolc, Hungary François Rioult, GREYC CNRS UMR6072 - Université de Caen, France Camille, Roth, CNRS, France Sebastian Rudolph, Technische Universität Dresden, Germany Christian Sacarea, Babes-Bolyai University, Romania Stefan Schmidt, Dresden University of Technology, Germany Barış Sertkaya, Frankfurt University of Applied Sciences, Germany Gerd Stumme, University of Kassel, Germany Laszlo Szathmary, University of Debrecen, Hungary Andreja Tepavcevic, University of Novi Sad, Serbia Petko Valtchev, Université du Québec À Montréal, Canada Francisco José Valverde Albacete, Universidad Carlos III de Madrid, Spain # Organization Committee Chair Sergei O. Kuznetsov, National Research University Higher School of Economics (Russia) # Steering Committee Radim Belohlavek , Univerzita Palackého, Olomouc, Czech Republic Sadok Ben Yahia, Faculté des Sciences de Tunis, Tunis, Tunisia Jean Diatta, Iremia – Université de la Réunion, Saint-Denis, France Peter Eklund , University of Wollongong, Wollongong, Australia Sergei O. Kuznetsov, Higher School of Economics, Moscow, Russia Engelbert Mephu Nguifo, Limos, Clermont-Ferrand, France Amedeo Napoli, Inria – Loria, Nancy, France Manuel Ojeda-Aciego, Universidad de Málaga, Málaga, Spain Jan Outrata , Univerzita Palackého, Olomouc, Czech Republic ------------------------------------------------------------------------ CLA Homepage http://cla.inf.upol.cz ------------------------------------------------------------------------ From grlmc at grlmc.com Sun Mar 13 03:41:33 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 13 Mar 2016 03:41:33 +0100 Subject: AlCoB 2016: call for posters Message-ID: <545102060a010b000350570102095001535602550450040507520a03010e52070750060e510a0206560007535504@grlmc_ip-zone_com-6> AlCoB 2016: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   --------------------------------------------   The 3th International Conference on Algorithms for Computational Biology (AlCoB 2016) invites researchers to submit poster presentations. AlCoB 2016 will be held in Trujillo (Spain) on June 21-22, 2016. See   http://grammars.grlmc.com/AlCoB2016/   Poster presentations are intended to enhance informal interactions with the 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   Submission deadline: May 14, 2016 Notification of poster acceptance or rejection: May 21, 2016   SUBMISSION   Please submit a .pdf abstract to:   https://www.easychair.org/conferences/?conf=alcob2016   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 2016. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB, 2014 JCR impact factor: 1.438, quartile Q1).   REGISTRATION   At least one author of each accepted poster must register to the conference. The registration fare is reduced: 240 Euro. However, it gives the same rights as all other conference participants (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 tommaso.dinoia at poliba.it Mon Mar 14 00:22:46 2016 From: tommaso.dinoia at poliba.it (Tommaso Di Noia) Date: Mon, 14 Mar 2016 00:22:46 +0100 Subject: PostDoc Positions at PoliBA - Italy Message-ID: <56E5F646.1060102@poliba.it> 2 POSTDOC POSITIONS The Information Systems Laboratory (SISINF lab) of the Department of Electrical and Information Engineering, Polytechnic University of Bari (Politecnico di Bari), invites qualified researchers to express their interest for 2 vacant positions as Post-Doctoral Researcher in one of the following main topics: * Linked Open Data * Semantic Knowledge Mining and Web Intelligence * Big Data Management and Analysis The candidate will work in collaboration with other researchers, developers and students on national and international projects managed by SISINF lab. What is Required: * PhD degree in computer science or a related technical field. * Demonstrated ability to work independently and collaboratively in an interdisciplinary team. * Excellent academic/research record on the topics of interests. * Oral and written proficiency in English. Additional Desired Qualifications: * Creation and management of knowledge graphs. * Machine Learning with massive data and related tools. * Linked Open Data technologies and applications. * Proficiency and experience in programming languages such as Java or Python. The work will be supervised by Tommaso Di Noia (http://sisinflab.poliba.it/dinoia/) Interested applicants are invited to submit a detailed Curriculum Vitae (CV), as well as a description of their academic and research experiences in English to Tommaso Di Noia: tommaso.dinoia at poliba.it Workplace: Polytechnic University of Bari - Italy Information Systems Laboratory - http://sisinflab.poliba.it Bari is a city with a wonderful climate all year long and with a lively social life. The international Bari airport offers connections to key international destinations, including several low-cost airline flights. Gross salary: € 26.214,60/year. The posting shall remain open until the position is filled. The expected starting date is May 1, 2016 (at last June 1, 2016). From abb at cs.stir.ac.uk Mon Mar 14 14:47:38 2016 From: abb at cs.stir.ac.uk (Andrea Bracciali) Date: Mon, 14 Mar 2016 13:47:38 +0000 Subject: CIBB2016 - Computational Intelligence methods for Bioinformatics and Biostatistics Message-ID: <38F72686-457F-4C43-BF58-514BEFCB4F7A@cs.stir.ac.uk> [Apologies for cross-postings] ======================================================================= CALL FOR PAPERS and SPECIAL SESSIONS ======================================================================= ======================================================================= CIBB 2016 13th International Meeting on Computational Intelligence methods for Bioinformatics and Biostatistics University of Stirling, Stirling, Scotland UK September 1-3 2016 http://www.cs.stir.ac.uk/events/cibb2016/ cibb2016 at gmail.com ======================================================================= Scope The main goal of this 13th edition of the CIBB international conference is to provide a multi-disciplinary forum open to researchers interested in the application of computational intelligence, in a broad sense, to open problems in bioinformatics, biostatistics, systems and synthetic biology and medical informatics. Cutting edge methodologies capable of accelerating life science discoveries will be discussed. Following its tradition and roots, this year's meeting will bring together researchers from the international scientific community interested in advancements and future perspectives in bioinformatics and biostatistics. Also, looking at current trends and future opportunities at the edge of computer and life sciences, the application of computational intelligence to system and synthetic biology, and the consequent impact on innovative medicine will be of great for the conference. Theoretical and experimental biologists are also invited to participate in order to present novel challenges and foster multidisciplinary collaboration. The scientific program of CIBB 2016 will include Keynote Speakers, tutorials and special sessions. Contributed papers will be presented in plenary oral sessions, special sessions, or poster sessions. Topics of interest include, but are not restricted to: · Next generation sequencing bioalgorithms · Multi-omics data analysis · High dimensional statistical analysis of omics data · Algorithms for alternative splicing analysis · Algorithms for molecular evolution and phylogenetic analysis · Methods for the visualization of high dimensional complex omic data · Software tools for bioinformatics · Methods for comparative genomics · Methods for functional classification of genes · Methods for unsupervised analysis, validation and visualization of structures discovered in bio-molecular data · Health-Informatics and Medical Informatics. · Methods for the integration of clinical and genetic data · Heterogeneous data integration and data fusion for diagnostics · Algorithms for pharmacogenomics · Biomedical text mining and imaging · Methods for diagnosis and prognosis within personalized medicine · Statistical methods for the analysis of clinical data · Prediction of secondary and tertiary protein structures · Mass spectrometry data analysis in proteomics · Algorithms for molecular evolution and phylogenetic analysis · Bio-molecular databases and data mining · Mathematical modeling and automated reasoning on biological and synthetic systems · Computational simulation of biological systems · Methods and advances in systems biology · Spatio-temporal analysis of synthetic and biological systems · Network systems biology · Models for cell populations and tissues · Methods for the engineering of synthetic components · Modelling and engineering of interacting synthetic and biological systems · Software tools for bioinformatics, biostatistics, systems and synthetic biology Publication Accepted papers will be presented at the conference (at least one author is expected to register), and will be published on proceedings for conference distribution. Extended and revised versions of the papers presented at CIBB 2016 will be invited for a post-conference monograph. This is traditionally published in the Springer series of Lecture Notes in Bioinformatics (LNBI), (arrangements undergoing). Continuing the tradition of CIBB, we are planning to publish best papers in one (or more, as appropriate) special issue of an international scientific journal (such as BMC Bioinformatics, in the latest editions). Paper Submission Papers must be prepared following the guidelines illustrated on the CIBB web site and should be long between 4 and 6 pages. Papers should be submitted in PDF format on the Easy Chair conference system (link available on the web site). Tutorials and Special Sessions CIBB 2016 will run a number of Tutorials and Special Sessions. Any topic of interest for the conference is eligible for a tutorial. Tutorials typically last from one to three hours. Special sessions focus on a specific, possibly cutting-edge, topic of interest for CIBB 2016. Special session organisers will be responsible for call dissemination, reviewing process and organizing oral presentations. Typically, a special session will have at least 4 accepted papers and may have an invited speaker (to be negotiated). Tutorial proposals including title, one page long abstract, and short CV of presenters, are due by 15th March 2014. Please send proposals to cibb2016 at gmail.com. Special Session proposals including the session's title and scope, short CV of sessions chairs, preliminary list of at least 4 potential authors are due by 15th March 2014. Proposals of special sessions will be evaluated as soon as they are submitted. A special session must have at least 4 accepted papers. Please send proposals to cibb2016 at gmail.com Important Dates Tutorial and Special Session proposal: 25th March 2016 Paper submission deadline: 15th May 2016 Notification of acceptance: 22nd June 2016 Final paper due: 8th July 2016 Conference: 1st -3rd September 2016 General Chairs Andrea Bracciali, University of Stirling, UK David Gilbert, Brunel University London, UK Gilbert MacKenzie, UL, ENSAI and Keele, UK Biostatistics Technical Chair Marco Bonetti, Università Bocconi, Italy Bioinformatics Technical Chair Ivan Merelli, ITB-CNR, Italy Local Organizing Committee Chairs Leslie Smith, University of Stirling, UK Giulio Caravagna, Edinburgh University, UK Publicity Chair Francesco Masulli, University of Genoa, Italy Special Session and Tutorial Chair Claudia Angelini, IAC-CNR, Italy Publication Chair Riccardo Rizzo, ICAR-CNR, Italy Steering Commitee Pierre Baldi, University of California, Irvine, CA, USA Elia Biganzoli, University of Milan, Italy Clelia Di Serio, Vita-Salute San Raffaele University, Italy Alexandru Floares, Oncological Institute Cluj-Napoca, Romania Jon Garibaldi, University of Nottingham, United Kingdom Nikola Kasabov, Auckland University of Technology, New Zealand Francesco Masulli, University of Genova, Italy and Temple University, PA, USA Leif Peterson, TMHRI, Houston, Texas, USA Roberto Tagliaferri, University of Salerno, Italy From asdm at fi.upm.es Mon Mar 14 17:05:42 2016 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Mon, 14 Mar 2016 17:05:42 +0100 Subject: Eleventh Advanced Statistics and Data Mining Summer School (Madrid, June 27th - July 8th, 2016) Message-ID: <20160314170542.Horde.tdtXajKFRDbntboZNSiS33a@www.fi.upm.es> Dear colleagues, The Technical University of Madrid (UPM) will once more organize the 'Madrid UPM Advanced Statistics and Data Mining' summer school. The summer school will be held in Boadilla del Monte, near Madrid, from June 27th to July 8th. 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. Early registration is now *OPEN*. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM There is a 25% discount for members of Spanish AEPIA and SEIO societies. Please, forward this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larranaga, Concha Bielza, Bojan Mihaljevic and Laura Anton-Sanchez. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 27th - July 1st, 2016) * 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. Descriptive methods for time series. Linear models for time series. Extensions. 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. 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 4th - July 8th, 2016) * 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) Introduction. Language Modeling. Text Similarity. Text Classification. Information Extraction. Practical session: Python, with Jupyter notebooks. Course 10: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Advanced 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. Convex non differentiable optimization. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. From maria.m.hedblom at gmail.com Mon Mar 14 21:35:56 2016 From: maria.m.hedblom at gmail.com (Maria Hedblom) Date: Mon, 14 Mar 2016 21:35:56 +0100 Subject: Call for Papers: Joint Ontology Workshops Message-ID: * --- First Call for Papers ---* Joint Ontology Workshops (JOWO-16) -- Episode 2: The French Summer -- 5 workshops on Ontology in Information Systems http://www.iaoa.org/jowo/2016/ Co-located with FOIS 2016, July 6-9, 2016, Annecy, France http://iaoa.org/fois This second edition of the Joint Ontology Workshops (JOWO-16) combines five exciting ontology-centered workshops at FOIS-16. WORKSHOPS: - Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2016) - Computer vision + ONTology: Applied Cross-disciplinary Technologies (CONTACT 2016) - Cognition and Ontologies (CAOS 2016) - New Standards for the Working Ontologist: Common Logic and DOL (NSWO 2016) - Ontologies and Conceptual Modeling (Onto.Com 2016) JOWO-16 is supported by the International Association for Ontology and its Applications - IAOA. It features a series of (shared) invited talks, paper presentations, and discussions spread across five full-day workshops and tutorials. ---------------------------------- IMPORTANT DATES Submission (abstracts): April 19, 2016 Submission (full papers): April 25, 2016 Notification: May 12, 2016 Camera ready: May 31, 2016 ---------------------------------- ================================== WOMoCoE 2016 http://www.iaoa.org/womocoe/2016/ International Workshop on Ontology Modularity, Contextuality, and Evolution ================================== Organisers: Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola This workshop brings together two long standing event series: WoMO, the workshops on modular ontology, and ARCOE, the workshops on automated reasoning on context and ontology evolution. The goal is to discuss these topics in a single venue and try to compare/integrate the new ideas on ontology modularity, context and evolution. The workshop is open to theoretical and application research, experiences and innovative visions featuring a Program Committee with a mix of experienced and young groundbreaking people. WOMOCoE will feature an invited talk by Jerome Euzenat. ================================== CONTACT 2016 http://www.loa.istc.cnr.it/CONTACT2016 Second International Workshop on Computer vision + ONTology: Applied Cross-disciplinary Technologies ================================== Organisers: Marco Cristani, Céline Hudelot, Daniele Porello The aim of the CONTACT series is to bring together a wide range of researchers in formal ontology on the one side and computer vision and machine learning on the other, to share innovative ideas and solutions for exploiting the potential synergies emerging from the integration of the two domains. The problem of image and video understanding is a complex task that benefits from a multi-disciplinary perspective. CONTACT provides a venue to discuss a principled methodology to ascribe meaning to images and videos, as well as the applications of this methodology to querying image databases, reasoning about images and scenes, inferring information from videos. ================================== CAOS 2016 http://caos.inf.unibz.it/ First International Workshop on Cognition and Ontologies ================================== Organisers: Maria M. Hedblom, Tarek R. Besold, Oliver Kutz, Tony Veale CAOS is for researchers interested in discussing cognitive mechanisms and phenomena from an ontological perspective. Work on artificial intelligence, cognitive systems, applied ontology, natural language processing, reasoning, formal concept invention, and philosophical aspects of the former are the main focus of the workshop. (Still, all other topics relating cognition and ontology are of course equally welcome.) We especially encourage submissions on different theories of cognition, work addressing the symbol grounding problem(s), and attempts to make concrete the abstract nature of concepts and metaphors. Join us! ================================== NSWO 2016 http://nswo.inf.unibz.it New Standards for the Working Ontologist: Common Logic and DOL ================================== Organisers: Michael Gruninger, Oliver Kutz, Till Mossakowski, Fabian Neuhaus NSWO 2016 will be entirely devoted to two new standards in the realm of applied ontology: the second revision of Common Logic and the new Distributed Ontology, Model, and Specification Language, DOL. NSWO will provide tutorials introducing syntax and semantics of both Common Logic and DOL. We will be discussing a number of modelling and interoperability problems that can be addressed with these standards, analyse the mostly complementary relationship between Common Logic and DOL, and demonstrate available tools. NSWO also invites contributed scientific papers involving Common Logic and/or DOL. ================================== Onto.Com 2016 http://www.mis.ugent.be/ontocom2016/ Ontologies and Conceptual Modeling ================================== Organisers: Giancarlo Guizzardi, Sergio de Cesare, Frederik Gailly, Mark Lycett, Chris Partridge, Oscar Pastor This year the theme of Onto.Com will be Foundational Ontologies and their Meta-ontological Choices. Leading ontologists and conceptual modelers will be invited to discuss and comparatively analyze different foundational ontologies, their meta-ontological choices and their associated modeling processes. The workshop will be practically oriented and discussions will be centered on models produced for a common case study. This will facilitate discussions related to the consequences of making different meta-ontological choices. ---------------------------------- SUBMISSION GUIDELINES Please refer to the individual workshops for detailed lists of topics appropriate for each workshop and submission modalities. All submissions will be peer-reviewed by members of the program committees of the individual workshops. Accepted papers will be made available in the form of a single joint workshop proceedings volume published at CEUR. For additional publication plans check the individual workshops. ---------------------------------- JOWO General Chairs Oliver Kutz (Free University of Bozen-Bolzano, Italy) Sergio de Cesare (Brunel University, UK) Contact: jowo.steering at gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From demri at lsv.ens-cachan.fr Tue Mar 15 07:30:39 2016 From: demri at lsv.ens-cachan.fr (=?utf-8?Q?St=C3=A9phane_Demri?=) Date: Tue, 15 Mar 2016 07:30:39 +0100 Subject: DEADLINE EXTENSION: AIML'16 Message-ID: (sorry for multiple copies) *** DEADLINE EXTENSION *** 11TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC BUDAPEST, 29 AUGUST -- 2 SEPTEMBER 2016 http://phil.elte.hu/aiml2016/ Due to many requests, the deadline for submitting papers to AIML'16 is slightly extended. The new (strict) deadline is: Monday March 21st, 22:00 CET. See also http://phil.elte.hu/aiml2016/?page=important_dates. Best regards, -- AIML'16 PC chairs From geoff at cs.miami.edu Tue Mar 15 15:53:00 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 15 Mar 2016 10:53:00 -0400 (EDT) Subject: CFP - ARQNL 2016 - Automated Reasoning in Quantified Non-Classical Logics Message-ID: <20160315145300.3C9CB1214D5@mcclellan.cs.miami.edu> First Call for Papers ARQNL 2016 - Automated Reasoning in Quantified Non-Classical Logics 2nd International Workshop (associated with IJCAR 2016) 1 July 2016, Coimbra, Portugal Website: http://iltp.de/ARQNL-2016/. Deadline: Abstract submission: 25 April 2016 Paper submission: 2 May 2016 Description: Non-classical logics -- such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, fuzzy logic, paraconsistent logic, relevance logic -- have many applications in AI, Computer Science, Philosophy, Linguistics and Mathematics. Hence, the automation of proof search in these logics is a crucial task. The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area. The contributions may range from theory to system descriptions and implementations. Contributions may also outline relevant applications and describe example problems and benchmarks. We welcome contributions from computer scientists, linguists, philosophers, and mathematicians. Paper formats: Research papers (up to 15 pages), or short papers, talk abstracts, and system demonstrations (up to 6 pages) are solicited. The submission deadline is May 2nd. Publication: Proceedings will be published in the EasyChair Proceedings in Computing (EPiC) series. For further information see the workshop website at Programme Committee Carlos Areces, Universidad Nacional de C=C3=B3rdoba Christoph Benzmueller (co-chair), Freie Universit=C3=A4t Berlin Walter Carnielli, Centre for Logic, Epistemology and the History of Science -- CLE Christian Fermueller, TU Wien Rajeev Gore, The Australian National University Andreas Herzig, IRIT-CNRS Stephan Merz, INRIA Nancy Till Mossakowski, University of Magdeburg Hans De Nivelle, University of Wroclaw Jens Otten (co-chair), University of Potsdam Valeria De Paiva, University of Birmingham Giselle Reis, INRIA Saclay Julian Richardson, Google Inc. Luca Vigano, King's College London (to be completed) From rziai at sfs.uni-tuebingen.de Tue Mar 15 15:40:50 2016 From: rziai at sfs.uni-tuebingen.de (Ramon Ziai) Date: Tue, 15 Mar 2016 15:40:50 +0100 Subject: ESSLLI 2016 Student Session: Final CfP (2nd deadline extension) Message-ID: <56E81EF2.6050004@sfs.uni-tuebingen.de> Apologies for cross-posting. Please forward to students. *Final Call for Papers* *ESSLLI 2016 STUDENT SESSION* Held during the 28th European Summer School in Logic, Language and Information Bolzano, Italy, August 15-26, 2016 *EXTENDED Deadline for submissions: March 20th, 2016* https://easychair.org/conferences/?conf=essllistus2016 *ABOUT:* The Student Session of the 28th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Bolzano, Italy, August 15th to 26th (http://esslli2016.unibz.it). We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and selected papers will appear in the Student Session proceedings by Springer. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. *ORAL/POSTER PRESENTATIONS:* Note that there are two separate kinds of submissions, one for oral presentations and one for posters. This means that papers are directly submitted either as oral presentations or as poster presentations. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress. *SUBMISSION GUIDELINES:* Authors must be students, and submissions may be singly or jointly authored. Each author may submit at most one single and one jointly authored contribution. Submissions should not be longer than 8 pages for an oral presentation or 4 pages for a poster presentation (including examples and references). Submissions must be anonymous, without any identifying information. More detailed guidelines regarding submission can be found on the Student Session website: http://www2.sfs.uni-tuebingen.de/esslli-stus-2016/. *SPONSORSHIP AND PRIZES* As in previous years, Springer has kindly agreed to sponsor the ESSLLI student session. The best poster and best talk will be awarded Springer book vouchers of 500€ each. *FURTHER INFORMATION:* Please direct inquiries about submission procedures or other matters relating to the Student Session to marisa.koellner at uni-tuebingen.de and rziai at sfs.uni-tuebingen.de. ESSLLI 2016 will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation. For further information, including registration information and course listings, and for general inquiries about ESSLLI 2016, please consult the main ESSLLI 2016 page: http://esslli2016.unibz.it. Kind regards, The ESSLLI 2016 Student Session Organization Committee Chairs: Marisa Koellner (Universität Tübingen) Ramon Ziai (Universität Tübingen) LoCo co-chairs: Jon-Hael Brenas (Grenoble Informatics Laboratory) Shqiponja Ahmetaj (Technische Universität Wien) LoLa co-chairs: Davis Ozlos (Fribourg University) Karoliina Lohiniva (University of Geneva) LaCo co-chairs: Enrico Santus Aversano (Hong Kong Polytechnic University) Vered Shwartz (Bar-Ilan University) -- Ramon Ziai, M.A. Universität Tübingen Sonderforschungsbereich 833 'Bedeutungskonstitution' Projekt A4 'Bedeutungsvergleich im Kontext' Nauklerstr. 35 72074 Tübingen http://www.sfs.uni-tuebingen.de/~rziai From xrambous at aurora.fi.muni.cz Tue Mar 15 17:28:04 2016 From: xrambous at aurora.fi.muni.cz (TSD 2016) Date: Tue, 15 Mar 2016 17:28:04 +0100 Subject: TSD 2016 - Last Call for Papers Message-ID: ********************************************************* TSD 2016 - LAST CALL FOR PAPERS ********************************************************* Nineteenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2016) Brno, Czech Republic, 12-16 September 2016 http://www.tsdconference.org/ THE SUBMISSION DEADLINE: March 22 2016 ............ Submission of full papers The submission will be closed during the next working day after the deadline - for individual extension requirements please contact the organizers (tsd2016 at tsdconference.org). KEYNOTE SPEAKERS Hinrich Schuetze, University of Munich, Germany Ido Dagan, Bar-Ilan University, Israel The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. TSD Proceedings are regularly indexed by Thomson Reuters Conference Proceedings Citation Index. Moreover, LNAI series are listed in all major citation databases such as DBLP, SCOPUS, EI, INSPEC or COMPENDEX. TOPICS Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (morphological and syntactic analysis, synthesis and disambiguation, multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection) Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies) Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues) Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) Papers on processing of languages other than English are strongly encouraged. PROGRAM COMMITTEE Elmar Noeth, Germany (general chair) Eneko Agirre, Spain Genevieve Baudoin, France Vladimir Benko, Slovakia Paul Cook, Australia Jan Cernocky, Czech Republic Simon Dobrisek, Slovenia Kamil Ekstein, Czech Republic Karina Evgrafova, Russia Darja Fiser, Slovenia Eleni Galiotou, Greece Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, United Kingdom Tino Haderlein, Germany Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Yannis Haralambous, France Hynek Hermansky, USA Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Maria Khokhlova, Russia Daniil Kocharov, Russia Miloslav Konopik, Czech Republic Ivan Kopecek, Czech Republic Valia Kordoni, Germany Pavel Kral, Czech Republic Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Bernardo Magnini, Italy Vaclav Matousek, Czech Republic France Mihelic, Slovenia Roman Moucek, Czech Republic Agnieszka Mykowiecka, Poland Hermann Ney, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Maciej Piasecki, Poland Josef Psutka, Czech Republic James Pustejovsky, USA German Rigau, Spain Leon Rothkrantz, The Netherlands Anna Rumshisky, USA Milan Rusko, Slovakia Mykola Sazhok, Ukraine Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Stefan Steidl, Germany Georg Stemmer, Germany Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Pascal Wiggers, The Netherlands Yorick Wilks, United Kingdom Marcin Wolinski, Poland Victor Zakharov, Russia FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. SUBMISSION OF PAPERS Authors are invited to submit a full paper not exceeding 8 pages formatted in the LNCS style (see below). Those accepted will be presented either orally or as posters. The decision about the presentation format will be based on the recommendation of the reviewers. The authors are asked to submit their papers using the on-line form accessible from the conference website. Papers submitted to TSD 2016 must not be under review by any other conference or publication during the TSD review cycle, and must not be previously published or accepted for publication elsewhere. As reviewing will be blind, the paper should not include the authors' names and affiliations. Furthermore, self-references that reveal the author's identity, e.g., "We previously showed (Smith, 1991) ...", should be avoided. Instead, use citations such as "Smith previously showed (Smith, 1991) ...". Papers that do not conform to the requirements above are subject to be rejected without review. The authors are strongly encouraged to write their papers in TeX or LaTeX formats. These formats are necessary for the final versions of the papers that will be published in the Springer Lecture Notes. Authors using a WORD compatible software for the final version must use the LNCS template for WORD and within the submit process ask the Proceedings Editors to convert the paper to LaTeX format. For this service a service-and-license fee of CZK 2000 will be levied automatically. The paper format for review has to be either PDF or PostScript file with all required fonts included. Upon notification of acceptance, presenters will receive further information on submitting their camera-ready and electronic sources (for detailed instructions on the final paper format see http://www.springer.de/comp/lncs/authors.html#Proceedings, Sample File typeinst.zip). Authors are also invited to present actual projects, developed software or interesting material relevant to the topics of the conference. The presenters of demonstrations should provide an abstract not exceeding one page. The demonstration abstracts will not appear in the conference proceedings. IMPORTANT DATES March 22 2016 ............ Submission of full papers May 15 2016 .............. Notification of acceptance May 31 2016 .............. Final papers (camera ready) and registration August 8 2016 ............ Submission of demonstration abstracts August 15 2016 ........... Notification of acceptance for demonstrations sent to the authors September 12-16 2016 ..... Conference date Submission of abstracts serves for better organization of the review process only - for the actual review a full paper submission is necessary. The accepted conference contributions will be published in Springer proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. ACCOMMODATION The organizing committee will arrange discounts on accommodation in the 4-star hotel at the conference venue. The current prices of the accommodation will be available at the conference website. ADDRESS All correspondence regarding the conference should be addressed to Ales Horak, TSD 2016 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 18 63 fax: +420-5-49 49 18 20 email: tsd2016 at tsdconference.org The official TSD 2016 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000 and is the country's judiciary and trade-fair center. Brno is the capital of South Moravia, which is located in the south-east part of the Czech Republic and is known for a wide range of cultural, natural, and technical sights. South Moravia is a traditional wine region. Brno had been a Royal City since 1347 and with its six universities it forms a cultural center of the region. Brno can be reached easily by direct flights from London, Munich, or Eindhoven and by trains or buses from Prague (200 km) or Vienna (130 km). For the participants with some extra time, nearby places may also be of interest. Local ones include: Brno Castle now called Spilberk, Veveri Castle, the Old and New City Halls, the Augustine Monastery with St. Thomas Church and crypt of Moravian Margraves, Church of St. James, Cathedral of St. Peter & Paul, Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat designed by Mies van der Rohe along with other important buildings of between-war Czech architecture. For those willing to venture out of Brno, Moravian Karst with Macocha Chasm and Punkva caves, battlefield of the Battle of three emperors (Napoleon, Russian Alexander and Austrian Franz - Battle by Austerlitz), Chateau of Slavkov (Austerlitz), Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice Chateau, Letovice Chateau, Mikulov with one of the largest Jewish cemeteries in Central Europe, Telc - a town on the UNESCO heritage list, and many others are all within easy reach. From ruy at cin.ufpe.br Tue Mar 15 21:09:24 2016 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Tue, 15 Mar 2016 17:09:24 -0300 Subject: 23rd WoLLIC 2016 (Puebla, Mexico) - Call for Papers - DEADLINE EXTENSION Message-ID: [Please circulate. Apologies for multiple copies] DEADLINE EXTENSION: March 21, 2016 WoLLIC 2016 23rd Workshop on Logic, Language, Information and Computation August 16th-19th, 2016 Puebla, Mexico SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) IN COOPERATION WITH ACM SIGLOG (to be confirmed) ORGANISATION Fundación Universidad de las Américas, Puebla, Mexico Benemérita Universidad Autónoma de Puebla, Mexico Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Benemérita Universidad Autónoma de Puebla, Mexico CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-third WoLLIC will be held at the Department of Computer Science, Benemérita Universidad Autónoma de Puebla, Mexico, from August 16th to 19th, 2016. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 15 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2016 EasyChair website. (Please go to http://wollic.org/wollic2016/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 14, 2016, and the full paper by Mar 21, 2016 (firm date). Notifications are expected by Apr 22, 2016, and final papers for the proceedings will be due by May 6, 2016 (firm date). PROCEEDINGS The proceedings of WoLLIC 2016, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series (FoLLI subseries). In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL (Oxford U Press), and selected contributions will be published as a special post-conference WoLLIC 2016 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Pablo Barceló (Santiago de Chile) Dana Bartozová (São Paulo) (TBC) Janos Makowsky (Haifa) Alessandra Parmigiano (Delft) Sonja Smets (Amsterdam) Katrin Tent (Münster) (TBC) Andres Villaveces (Bogotá) SPECIAL SCREENING - A TRIBUTE TO THE LEGACY OF GEORGE BOOLE In celebration of the 200th anniversary of George Boole's birth (1815), there will be a special session with a screening of the documentary film "The Genius of George Boole" (2015, 58min). (to be confirmed) STUDENT GRANTS ASL sponsorship of WoLLIC 2016 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2016). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 21, 2016: Paper title and abstract deadline (NEW) Mar 28, 2016: Full paper deadline (NEW) Apr 22, 2016: Author notification May 6, 2016: Final version deadline (firm) PROGRAM COMMITTEE Samson Abramsky (U Oxford, UK) Dietmar Berwanger (ENS Cachan, France) Guram Bezhanishvili (New Mexico State U, USA) Arnaud Durand (U Paris 7, France) Pietro Galliani (U Helsinki, Finland) Nina Gierasimczuk (U Amsterdam, The Netherlands) Jeroen Groenendijk (U Amsterdam, The Netherlands) Lauri Hella (U Tampere, Finland) Wesley Holliday (U Calif Berkeley, USA) Juha Kontinen (Helsinki U, Finland) Larry Moss (Indiana U, USA) André Nies (U Auckland, New Zealand) Aarne Ranta (Chalmers U, Sweden) Mehrnoosh Sadrzadeh (Queen Mary Coll, UK) Norma Short (U Aix-Marseille, France) Jouko Väänänen (U Helsinki, Finland & U Amsterdam, The Netherlands) (CHAIR) Rineke Verbrugge (U Groningen, The Netherlands) Heribert Vollmer (U Hannover, Germany) Dag Westerståhl (Stockholm U, Sweden) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz. ORGANISING COMMITTEE Mauricio Osorio (Fundación Universidad de las Américas, Puebla) (Local co-chair) Claudia Zepeda Cortés (Facultad de Ciencias de la Computación, Benemérita Universidad Autónoma de Puebla) (Local co-chair) José R. Arrazola Ramírez (Facultad de Ciencias Físico Matemáticas, Benemérita Universidad Autónoma de Puebla) (Local co-chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2016/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wojciech.mostowski at hh.se Wed Mar 16 09:12:30 2016 From: wojciech.mostowski at hh.se (Wojciech Mostowski) Date: Wed, 16 Mar 2016 09:12:30 +0100 Subject: Extended deadline: PhD Symposium at iFM 2016 Call for Submissions In-Reply-To: <1458057400.4160.0.camel@ru.is> References: <1458057400.4160.0.camel@ru.is> Message-ID: <56E9156E.6020602@hh.se> (Apologies for multiple copies) ============================================================ PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'16) Reykjavik, Iceland, June 5, 2016 http://en.ru.is/ifm/ifm-phd-symposium/ Paper submission: *Extended* March 20, 2016 Author notification: April 1, 2016 ============================================================ === Scope === The theory, implementation, integration or application of formal methods in a broad sense. === Who can submit? === PhD students and young researchers at an early career stage (up to 2 years after PhD completion). === Why to submit? === Participants will have the possibility to give short presentations about their research projects. Furthermore, we are happy to announce a tutorial by Mohammad Reza Mousavi and a talk by Carlo Ghezzi. - The doctoral symposium offers an excellent opportunity to present your work in an international setting, and to get feedback from senior researchers in the field. - The doctoral symposium lets you exchange knowledge and experiences with fellow PhD-students in a related topic. - The best paper/presentation will be awarded. - The selected contributions will be published in a technical report of Reykjavik University, Iceland. === What to submit? === You are welcome to submit an extended abstract of at most 3 pages, describing your research project which you would like to present. Co-authors are allowed, but you should be the first author. The results may have been accepted or even published elsewhere. Multiple submissions by one author are not permitted. Submissions should be written in English and follow the EasyChair formatting guidelines, available at http://www.easychair.org/publications/for_authors Please submit your abstract electronically in pdf via the EasyChair page https://easychair.org/conferences/?conf=phdifm2016 The submitted abstracts will undergo a lightweight reviewing process. A symposium proceedings containing the accepted abstracts will be available as a technical report of Reykjavik University. === Invited Presentations === * Mohammad Reza Mousavi (Halmstad University, Sweden) will talk about "How to Write and Present a Computer Science Paper". * Carlo Ghezzi (Politecnico di Milano, Italy) will talk about "Formal models and verification to support software evolution". === Symposium Chairs === Marcel Kyas (Reykjavik University, Iceland) Wojciech Mostowski (Halmstad University, Sweden) === Programme Committee === Erika Abraham (RWTH Aachen University, Germany) Carlo Ghezzi (Politecnico di Milano, Italy) Mohammad Reza Mousavi (Halmstad University, Sweden) -- Wojciech Mostowski Centre for Research on Embedded Systems (CERES) School of Information Technology, Halmstad University Box 823, SE-301 18 Halmstad, Sweden e-mail: wojciech.mostowski at hh.se www: http://ceres.hh.se/mediawiki/Wojciech_Mostowski tel: +46-35-16-7137, fax: +46-35-12-0348 From missura.olana at gmail.com Fri Mar 18 03:43:13 2016 From: missura.olana at gmail.com (Olana Missura) Date: Thu, 17 Mar 2016 22:43:13 -0400 Subject: Last CfP: The journal track of ECML-PKDD 2016 Message-ID: Last Call for Papers: The journal track submission for ECML-PKDD 2016 Submission deadline: the 30th of March 2016 We invite submissions for the journal track of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD) 2016. The conference provides an international forum for the discussion of the latest high-quality research results in all areas related to machine learning, data mining, and knowledge discovery. The conference will take place in Riva Del Garda, Italy, September 19-23, 2016. This edition will feature a full day of plenary presentations---for papers of general interest to the whole community---and two days of parallel sessions. All accepted papers will be presented both orally and as posters. What papers are eligible for the journal track? Papers on all topics related to machine learning, knowledge discovery, and data mining are invited. However, given the special nature of the journal track, only papers that satisfy the quality criteria of journal papers and at the same time lend themselves to conference talks will be considered. This implies that journal versions of previously published conference papers, or survey papers will not be considered for the special issue. Papers that do not fall into the eligible category may be rejected without formal reviews but can of course be resubmitted as regular papers. Authors are encouraged to adhere to the best practices of Reproducible Research (RR), by making available data and software tools for reproducing the results reported in their papers. For the sake of persistence and proper authorship attribution, we require the use of standard repository hosting services such as http://dataverse.org, http://mldata.org, http://openml.org, etc. for data sets, and http://mloss.org, https://bitbucket.org, https://github.com, etc. for source code. Authors who submit their work to the special ECMLPKDD issues of the journals commit themselves to present their results at the ECMLPKDD 2016 conference in case of acceptance. Details on the conference and the submission process are available at http://www.ecmlpkdd2016.org/submission.html#call-journal Best regards, Olana Missura Publicity Chair of ECML-PKDD 2016 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Fri Mar 18 09:44:41 2016 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Fri, 18 Mar 2016 09:44:41 +0100 Subject: Call for Participation KR 2016: 15th International Conference on Principles of Knowledge Representation and Reasoning Message-ID: <0341ED73-5C79-4C78-8FDD-BA157EE972E1@acm.org> CALL FOR PARTICIPATION *** KR 2016 *** 15th International Conference on Principles of Knowledge Representation and Reasoning Cape Town, South Africa 25-29 April 2016 http://kr.org/KR2016/ Co-located with DL 2016 (http://www.dl.kr.org) and NMR 2016 (http://www.kr.org/NMR/) ** Registration is now open ** Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning and natural language understanding, among others, as well as to fields beyond AI, including databases, software engineering, the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Papers have been selected based on whether they present novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. ** The list of accepted papers is available on the KR 2016 website ** TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief change: revision and update, belief merging, etc. * Commonsense reasoning * Contextual reasoning * Description logics * Diagnosis, abduction, explanation * Inconsistency- and exception- tolerant reasoning, paraconsistent logics * KR and autonomous agents: multi-agent systems, cognitive robotics, agent models * KR and data management, data analytics * KR and decision making, game theory, social choice * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Nonmonotonic logics, default logics, conditional logics * Ontology formalisms and models * Philosophical foundations of KR * Preferences: modeling and representation, preference-based reasoning * Reasoning about action and change: action languages, situation calculus, causality * Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics * Reasoning systems and solvers, knowledge compilation * Spatial reasoning and temporal reasoning, qualitative reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics REGISTRATION INFORMATION ---------------------- Registration website: http://regonline.com/KRDLNMR_2016 For more information on how to register, the registration rates and deadlines, please visit the KR 2016 website: http://kr2016.cs.uct.ac.za Students and recent graduates who wish to apply for a grant, should do so online when registering. The first round of grants were allocated to DC participants. The second round of grants will be allocated based on applications received by 1 March 2016. The final round will be allocated based on applications received by 1 April 2016. PRIZES ------ The best paper of the conference will receive the 2016 Ray Reiter Best Paper Prize, and the best student paper, whose main author is a student, will receive the 2016 Marco Cadoli Student Paper Prize. In addition, a few selected papers from KR 2016 will have the opportunity for fast-track publication in the AI Journal, and the best 1-2 papers in the area of logic programming or answer set programming will have the opportunity for fast-track publication in TPLP. CONFERENCE CHAIRS ----------------- * General: Chitta Baral (Arizona State University, USA) * Program: James Delgrande (Simon Fraser University, Canada), Frank Wolter (University of Liverpool, UK) * Local Organization: Thomas Meyer (University of Cape Town and CAIR, South Africa) * Doctoral Consortium: Meghyn Bienvenu (CNRS, France), Joohyung Lee (Arizona State University, USA) * Sponsorship and Publicity: Ivan Varzinczak (CRIL, Université d'Artois, France) -- Ivan Varzinczak CRIL, Université d’Artois, France http://member.acm.org/~ijv From olanochka at gmail.com Fri Mar 18 21:39:40 2016 From: olanochka at gmail.com (Olana Missura) Date: Fri, 18 Mar 2016 16:39:40 -0400 Subject: ECML/PKDD 2016 Discovery Challenge Call For Contributions Message-ID: ECML/PKDD 2016 Discovery Challenge Call For Contributions This year Discovery Challenge has a quite intriguing set of competitions for those researchers that want to prove their ability in solving real-life problems. In particular we have two different context for participants: 1. Bank Card Usage Analysis, and 2. SPHERE Challenge Activity Recognition with Multimodal Sensor Data. A third challenge will be available in the next week. Bank Card Usage Analysis The ECML/PKDD Discovery Challenge 2016 on Bank Card Usage Analysis asks you to predict the user behavior of the OTP Bank Hungary, a key bank in CEE Region. We give you one year list of card payment events with geolocation information. The Bank wants to know which branch will be visited by each customer to be able to optimize proactive contact list and plan distribution. The customer will be proactively called in campaigns from the branch that will be visited with the highest probability. The bank expects higher conversion rates in branch campaigns if the call is made in the branch mostly prefered by the customer. Challenge Website: http://195.111.1.97:8888/#/app/home Organizers: Discovery Challenge Chairs Elio Masciari, ICAR CNR, Italy Alessandro Moschitti, University of Trento, Italy Bank Card Challenge Chairs Ill és Gozl án, Head of Data Science and Customer value Optimization, OTP Bank Hungary G ábor K áposzt ási, Senior Data Analyst, OTP Bank Hungary R óbert P álovics, Hungarian Academy of Sciences Frederick Ayala Gomez, E ötv ös University Budapest Andr ás Bencz úr, Hungarian Academy of Sciences challenge at ilab.sztaki.hu Prizes (For each Task). First: prize EUR 800 Second: prize EUR 500 Third; prize EUR 400 SPHERE Challenge: Activity Recognition with Multimodal Sensor Data Obesity, depression, stroke, falls, cardiovascular and musculoskeletal disease are some of the biggest health issues and fastest-rising categories of health-care costs. The financial expenditure associated with these is widely regarded as unsustainable and the impact on quality of life is felt by millions of people in the UK each day. Smart technologies can unobtrusively quantify activities of daily living, and these can provide long-term behavioural patterns that are objective, insightful measures for clinical professionals and caregivers. To this end the EPSRC-funded “Sensor Platform for HEalthcare in Residential Environment (SPHERE)” Interdisciplinary Research Collaboration (IRC) has designed a multi-modal sensor system driven by data analytics requirements. The system is under test in a single house, and will be deployed in a general population of 100 homes in Bristol (UK). The data sets collected will be made available to researchers in a variety of communities. Data is collected from the following three sensing modalities: - wrist-worn accelerometer; - RGB-D cameras (i.e. video with depth information); and - passive environmental sensors. With these sensor data, we can learn patterns of behaviour, and can track the deterioration/progress of persons that suffer or recover from various medical conditions. To achieve this, we focus activity recognition over multiple tiers, with the two main prediction tasks of SPHERE including: 1. Prediction of Activities of Daily Living (ADL) (e.g. tasks such as meal preparation, watching television); and 2. Prediction of posture/ambulation (e.g. walking, sitting, transitioning). Reliable predictions of ADL allows us to model behaviour and of residents over time, e.g. what does a typical day consist of, what times are particular activities performed etc. Prediction of posture and ambulation will complement ADL predictions, and can inform us about the physical well-being of the participant, how mobile/responsive is the participant, how active/sedentary, etc. Challenge Website: http://irc-sphere.ac.uk/sphere-challenge/home Organizers: Discovery Challenge Chairs Elio Masciari, ICAR CNR, Italy Alessandro Moschitti, University of Trento, Italy Sphere Challenge Chairs Niall Twomey - niall.twomey at bristol.ac.uk Tom Diethe - tom.diethe at bristol.ac.uk Meelis Kull - meelis.kull at bristol.ac.uk Peter Flach - peter.flach at bristol.ac.uk Ian Craddock - ian.craddock at bristol.ac.uk Prizes will be awarded to the first three winners: €1,000 being awarded to the winner; €600 to the runner up; and €400 to the second runner up. Deadlines: Solution Proposal Deadline: June 19 2016 24:00 - As long as it is June 19 anywhere in the world (Time Zone in Midway, US Minor Outlying Islands, UTC-12) Paper submission deadline: July 8 2016 (Selected Teams will be invited to submit their solution to the challenge workshop) Notification: Aug 8 2016 Conference: September 19-23 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From shilov at iis.nsk.su Sat Mar 19 06:44:45 2016 From: shilov at iis.nsk.su (=?koi8-r?B?7snLz8zByiD7yczP1w==?=) Date: Sat, 19 Mar 2016 12:44:45 +0700 Subject: First call for papers: PSSV-2016. Message-ID: <000001d181a2$727377b0$575a6710$@nsk.su> First Call for Papers The 7th Workshop "Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2016, http://logic.pdmi.ras.ru/csr2016/pssv16) will be held in affiliation with International Сonf. " Computer Science in Russia" (СSR-2016, http://logic.pdmi.ras.ru/csr2016/ ) in St. Petersburg, Russia, June 14-15, 2016. Main Workshop page: http://pssv-conf.ru (to be updated soon). Related Events: the 5th International Valentin Turchin Workshop on Metacomputation (META-2016, http://meta2016.pereslavl.ru/) will take place just 11 days later than PSSV-2016 (June 26 - July 2, 2016) in Pereslavl-Zalessky (120 km to the north-east from Moscow), Russia. =========================================== Important dates Extended abstract submission: April 15, 2016 Notification: May 11, 2016 Registration via registration page of CSR-2016 (http://logic.pdmi.ras.ru/csr2016/registration, coming soon). =========================================== Scope and Topics Research and work in progress papers are welcome. List of topics of interest includes (but is not limited to): * formalisms for program semantics; * formal models and semantics of programs and systems; * semantics of programming and specification languages; * formal description techniques; * logics for formal specification and verification; * deductive program verification; * automatic theorem proving; * model checking of programs and systems; * static analysis of programs; * formal approach to testing and validation; * program analysis and verification tools. =========================================== Program Committee: * Natasha Alechina (University of Nottingham, UK), * Sergey Baranov (St.Petersburg Institute for Informatics and Automation, Russia), * Alexander Bolotov (University of Westminster, UK), * Nina Evtushenko (Tomsk State University, Russia), * Vladimir Itsykson (St. Petersburg State Polytech. University, Russia), * Victor Kuliamin (Institute for System Programming, Moscow, Russia), * Alexei Lisitsa (University of Liverpool, UK), * Irina Lomazova (Higher School of Economics, Moscow, Russia), * Nikolay Shilov (Institute of Informatics Systems, Novosibirsk, Russia), * Vladimir Zakharov (Moscow State University, Russia). Program Chairs: * Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia) * Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia) Organization Chair: * Nikolay Shilov (Institute of Informatics Systems, Novosibirsk, Russia) =========================================== 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=pssv2016). 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. =========================================== Contacts and Updates: For further details and updates please refer the main Workshop page at http://pssv-conf.ru. In case of program question please contact Program Co-chairs * Valery Nepomniaschy (vnep at iis.nsk.su), * Valery Sokolov (valery-sokolov at yandex.ru), for organization issues - the Organization Chair * Nikolay Shilov (shilov at iis.nsk.su). From ijv at acm.org Sat Mar 19 09:12:04 2016 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Sat, 19 Mar 2016 09:12:04 +0100 Subject: First CfP: Defeasible and Ampliative Reasoning at ECAI-16 Message-ID: ============================== First Call for Papers DARe at ECAI 2016 Date: TBC (either 29 or 30 August 2016) The Hague, Netherlands *** Deadline: 12 June 2016 *** ============================== The Third International Workshop on "Defeasible and Ampliative Reasoning" (DARe) http://dare2016.yolasite.com held at the European Conference on Artificial Intelligence (ECAI 2016) -- 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 types of inference to reason 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 hypothesis 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 ECAI 2016 LaTeX style (which can be found at http://www.ecai2016.org/calls/call-for-papers/) and should be no longer than 8 pages excluding references and in PDF format. The list of references is limited to one extra page. Please submit to: https://easychair.org/conferences/?conf=dare16 -- 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/ -- 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. Please check the ECAI 2016 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 12 June 2016 - Notification: 28 June 2016 - Camera ready: 17 July 2016 - Early registration: 5 July 2016 - Late registration: [TBA] - Workshop date: [TBA] (either 29 or 30 August 2016) -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth (Cardiff University, United Kingdom) - Giovanni Casini (Université du Luxembourg) - Szymon Klarman (Brunel University London, United Kingdom) - Gilles Richard (Université Paul Sabatier, France) - Ivan Varzinczak (CRIL, Université d'Artois, France) -- Program Committee -- - Natasha Alechina (University of Nottingham, UK) - Grigoris Antoniou (University of Huddersfield, UK) - Ofer Arieli (Academic College of Tel-Aviv, Israel) - Christoph Beierle (FernUniversitaet Hagen, Germany) - Mario Benevides (Federal University of Rio de Janeiro, Brazil) - Antonis Bikakis (University College London, UK) - Alexander Bochman (Holon Institute of Technology, Israel) - Katarina Britz (CAIR, CSIR and Stellenbosch University, South Africa) - Jim Delgrande (Simon Fraser University, Canada) - Marcelo Finger (Universidade de São Paulo, Brazil) - Nina Gierasimczuk (University of Amsterdam, Netherlands) - 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) - Antonis Kakas (University of Cyprus) - 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) - François Schwarzentruber (ENS Rennes/IRISA, France) - Sonja Smets (University of Amsterdam, Netherlands) - Umberto Straccia (CNR, Italy) - Mirek Truszczynski (University of Kentucky, USA) - 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 note that according to ECAI policy all workshop participants are required to register for both the workshop and the main conference. ECAI reserves the right to cancel a workshop if not enough participants register. Please visit the workshop website (http://dare2016.yolasite.com) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak CRIL, Université d’Artois, France http://member.acm.org/~ijv From announce at cs.ucy.ac.cy Sat Mar 19 13:57:46 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 19 Mar 2016 14:57:46 +0200 Subject: The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT 2016): Final Call for Papers Message-ID: *** Final Call for Papers *** The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT 2016) September 12-14, 2016, Lordos Beach Hotel, Larnaca, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE1dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFNvZnR3YXJlIE1ldGhvZG9sb2dpZXMsIFRvb2xzIGFuZCBUZWNobmlxdWVzIChTb01lVCAyMDE2KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzCTEJQWRkcmVzc2VzX05ldwkxMDYyOQljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fsomet2016%2F Submission Deadline: March 25, 2016 The SoMeT conference series highlights and reflects the state-of-art and new trends on software methodologies, tools and techniques. The conference is focused on exploring innovations, controversies, and challenges facing the Software Engineering community today. The conference brings together theory and experience to propose and evaluate solutions to Software Engineering problems. The conference also provides a forum and an opportunity to assess the current state-of-the-art in Intelligent Software techniques and to chart software science initiated from experience to theory. This event is an opportunity for us in the software science community to think about where we are and today and where we are going. You are invited to participate in SoMeT 2016 to help build a forum for exchanging ideas and experiences to foster new directions in software development methodologies and related tools and techniques. The conference is focused on, but not limited to the following areas: · Modeling and Simulation in Operations Management · Software application in Logistics and Supply Chain Management · Requirement engineering, especially for high-assurance system, and requirement elicitation · Software methodologies and tools for robust, reliable, non-fragile software design · Software development techniques for legacy systems · Automatic software generation versus reuse, and legacy systems, source code analysis and manipulation · Software quality and process assessment for business enterprise models · Intelligent software systems design, and software evolution techniques · Agile Software and Lean Methods · Software optimization and formal methods for software design · Static, dynamic analysis of software performance model, software maintenance, and program understanding and visualization · Software security tools and techniques, and related Software Engineering models · End-user programming environment, User-centered Adoption-Centric Reengineering techniques · Ontology engineering, semantic web · Software design through interaction, and precognitive software techniques for interactive software entertainment applications · Business oriented software application models · Software Engineering models, and formal techniques for software representation, software testing and validation · End-user programming environment, User-centered and Adoption-Centric models Reengineering techniques · Artificial Intelligence Techniques on Software Engineering, and Requirement Engineering · Object-oriented, aspect-oriented, component-based and generic programming, multi-agent technology · Creativity and art in software design principles · Axiomatic based principles on software design · Agile Software and Lean Methods · Model Driven Development (DVD), code centric to model centric software engineering · New aspects on digital libraries, collections and archives, Web publishing, and Knowledge-based engineering · Medical Informatics and bioinformatics, Software methods and application for biomedicine and bioinformatics · Emergency Management Informatics, software methods and application for supporting Civil Protection, First Response and Disaster Recovery · Other software engineering disciplines Paper Submission Papers must be submitted via the Electronic Submission Tool available here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE1dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFNvZnR3YXJlIE1ldGhvZG9sb2dpZXMsIFRvb2xzIGFuZCBUZWNobmlxdWVzIChTb01lVCAyMDE2KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzCTEJQWRkcmVzc2VzX05ldwkxMDYyOQljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fcmt.research.microsoft.com%2FSOMET2016%2FDefault.aspx The submissions must not exceed 12 A4 pages and should follow the Springer guidelines available here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE1dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFNvZnR3YXJlIE1ldGhvZG9sb2dpZXMsIFRvb2xzIGFuZCBUZWNobmlxdWVzIChTb01lVCAyMDE2KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzCTEJQWRkcmVzc2VzX05ldwkxMDYyOQljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID%3D0-164-6-793341-0 Accepted papers will be based on originality of work, suitability of the topic to the conference, and overall quality of submission. The proceedings of the conference will be published by Springer Communications in Computer and Information Science (CCIS), and be available at the conference. CCIS is abstracted/indexed in DBLP, Google Scholar, EI-Compendex, Mathematical Reviews, SCImago, Scopus. CCIS volumes are also submitted for the inclusion in ISI Proceedings. Furthermore, the authors of selected accepted papers will be invited to submit journal extended versions to a special issue of the international journal Knowledge-Based Systems, published by Elsevier (http://www.journals.elsevier.com/knowledge-based-systems/). Important Dates · Submission of papers: March 25, 2016 · Notification of acceptance/rejection: May 10, 2016 · Camera-Ready submission: June 10, 2016 · Author registration: June 1, 2016 Committees Honorary Chairs · Dave Parnas, Mc Master University, Canada · Colette Rolland, Paris_1 University, France · Imre J. Rudas, O'buda University, Hungary · Enrique Herrera Viedma, Granada University, Spain General Chair · Hamido Fujita, Iwate Prefectural University, Japan Program Chairs · George Angelos Papapdopoulos, University of Cyprus, Cyprus · Gajo Petrovic, Iwate Prefectural University, Japan Organizing Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus · Petros Stratis, Easy Conferences Ltd., Cyprus Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE1dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFNvZnR3YXJlIE1ldGhvZG9sb2dpZXMsIFRvb2xzIGFuZCBUZWNobmlxdWVzIChTb01lVCAyMDE2KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzCTEJQWRkcmVzc2VzX05ldwkxMDYyOQljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fsomet2016%2Fcommittees.html To be removed from this list, please click this link: http://www.cs.ucy.ac.cy/~george/lm/lm.php?un=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE1dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFNvZnR3YXJlIE1ldGhvZG9sb2dpZXMsIFRvb2xzIGFuZCBUZWNobmlxdWVzIChTb01lVCAyMDE2KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzCTEJQWRkcmVzc2VzX05ldwktLQkxMDYyOQl1bnN1YnNjcmliZQlubwlubw== -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sun Mar 20 01:32:45 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 20 Mar 2016 01:32:45 +0100 Subject: WebST 2016: early registration deadline 6 April Message-ID: <545102060a010b00085e520b0209545c5151505700080507500058085455055153030c0704015301535002500500@grlmc_ip-zone_com-6> WebST 2016: early registration deadline 6 April*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY   WebST 2016   Bilbao, Spain   July 18-22, 2016   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/webst2016/ *****************************************************************************   --- Early registration deadline: April 6, 2016 ---   ********************************************************   AIM:   WebST 2016 is a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 19 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, an open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators.   REGIME:   In addition to keynotes, at least 2 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another.   VENUE:   WebST 2016 will take place in Bilbao, a city 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   KEYNOTE SPEAKERS:   Ricardo Baeza-Yates (Pompeu Fabra University), Distributed Web Search   Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm   Prabhakar Raghavan (Google), Three Vignettes from the Theory and Practice of Large Data Analysis   Amit P. Sheth (Wright State University), Semantic, Cognitive and Perceptual Computing – three intertwined strands of a golden braid of intelligent computing   PROFESSORS AND COURSES:   Timothy Baldwin (University of Melbourne), [intermediate] Social Media and Text Analytics   Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management   Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data   Brian D. Davison (Lehigh University), [introductory] Useful Web Mining with R   Marco Gori (University of Siena), [advanced] Learning Semantic-based Structures from Textual Sources   Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks   Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web   Ravi Kumar (Google), [introductory/intermediate] Computing at Scale: Models and Algorithms   Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities   Cathy Marshall (Texas A&M University), [introductory] Qualitative Methods for Studying Users on the Web   Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data   Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data   Prabhakar Raghavan (Google), [intermediate] How To Build a Search Engine   Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about   Munindar P. Singh (North Carolina State University), [introductory/intermediate] Web Applications as Sociotechnical Systems: A Basis for a Science of Security and Privacy   Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for​ Web Science   Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by July 15, 2016.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/webst2016/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 are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   A suggestion of accommodation is available on the webpage.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   University of Deusto Rovira i Virgili University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sun Mar 20 12:58:02 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 20 Mar 2016 13:58:02 +0200 Subject: The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016): Preliminary Call for Papers Message-ID: <15D6NGTD-ZSQ-GCEF-1NDG-AIEOJV8J6JR@cs.ucy.ac.cy> *** Preliminary Call for Papers *** The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016) December 12-14, 2016, St. Raphael Resort, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE2dGggSUVFRSBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBTaWduYWwgUHJvY2Vzc2luZyBhbmQgSW5mb3JtYXRpb24gVGVjaG5vbG9neSAoSVNTUElUIDIwMTYpOiBQcmVsaW1pbmFyeSBDYWxsIGZvciBQYXBlcnMJMglBZGRyZXNzZXNfTmV3CTEwNjA2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F The IEEE ISSPIT 2016 is the sixteenth in a series of international symposia that aims to cover most of the aspects in the fields of Signal Processing and Information Technology. Sessions will include tutorials in addition to presentations on new research results. Papers describing original work are invited in any of the areas listed below. Accepted papers will be published in the Proceedings of IEEE ISSPIT 2016 and will be available via IEEE Xplore. Acceptance will be based on quality, relevance, and originality. Contest for Best Paper Award will be held and award will be given. Papers are invited in the following topics: · Signal Processing Theory and Methods · Signal Processing for Communications and Networking · Design & Implementation of Signal Processing Systems · Image, Video & Multidimensional Signal Processing · Multimedia Signal Processing · Biological Image and signal processing · Audio and Acoustic signal Processing · Health Informatics and e-Health · Sensor Arrays · Radar Signal Processing · Internet Software Architectures · Multimedia and Image Based Systems · Mobile Computing and Applications · E-Commerce · Bioinformatics and Bioengineering · Information Processing · Geographical Information Systems · Object Based Software Engineering · Speech Processing · Computer Networks · Neural Network Prospective authors are invited to submit full-length, 6-page (max) papers in two-column formats including diagrams and references. Authors can submit their papers as PDF files through the online submission system to be found on the ISSPIT website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE2dGggSUVFRSBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBTaWduYWwgUHJvY2Vzc2luZyBhbmQgSW5mb3JtYXRpb24gVGVjaG5vbG9neSAoSVNTUElUIDIwMTYpOiBQcmVsaW1pbmFyeSBDYWxsIGZvciBQYXBlcnMJMglBZGRyZXNzZXNfTmV3CTEwNjA2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.isspit.org. The title page should include author(s) name(s), affiliation, mailing address, telephone, fax, and e-mail address. The author should indicate one or two of the above categories that best describe the topic of the paper. IMPORTANT DATES · Proposals for Tutorials & Special Sessions: August 5th, 2016 · Regular paper submission: September 1st, 2016 · Notification of acceptance: October 26th, 2016 · Camera-ready version with registration: November 15th , 2016 GENERAL CHAIRS · Christos Douligeris, University of Piraeus, Greece · Andreas Pitsillides, University of Cyprus, Cyprus · Andreas Spanias, Arizona State University, USA TECHNICAL PROGRAM CHAIRS · Ioannis Kyriakides, University of Nicosia, Cyprus · Veselin Rakocevic, City University, UK · Thanos Stouraitis, Khalifa University, UAE REGISTRATION & FINANCE CHAIR · Reda Ammar, University of Connecticut, USA PUBLICATION CO-CHAIRS · Josephine Antoniou, University of Central Lancanshire, Cyprus · Christophoros Christophorou, University of Cyprus, Cyprus · Angeliki Tsioliaridou, Foundation of Research and Technology, Greece TUTORIALS CO-CHAIRS · Marios Lestas, Frederick University, Cyprus · Vasos Vasssiliou, University of Cyprus, Cyprus PLENARY & SPECIAL SESSIONS CO-CHAIRS · Christos Liaskos, Foundation of Research and Technology, Greece · Vicky Lesta Papadopoulou, European University Cyprus PUBLICITY CO-CHAIRS · Suvendi Rimer, University of Johannesburg, South Africa · Cristiano Silva, Universidade Federal de Minas Gerais ñ UFMG, Brazil LOCAL ARRANGEMENTS CHAIR · George A. Papadopoulos, University of Cyprus, Cyprus WEB MANAGER · Kyriakos Georgiades, Easy Conferences, Cyprus STEERING COMMITTEE · E. Abdel-Raheem, Ain Shams University, Egypt · R. Ammar, University of Connecticut, USA · F. Elguibaly, University of Victoria, Canada · A. Elmaghraby, University of Louisville, USA (Chair) · A. Tantawy, IBM, Egypt, USA · A. Tewfik, University of Minnesota, USA To be removed from this list, please click this link:http://www.cs.ucy.ac.cy/~george/lm/lm.php?un=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE2dGggSUVFRSBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBTaWduYWwgUHJvY2Vzc2luZyBhbmQgSW5mb3JtYXRpb24gVGVjaG5vbG9neSAoSVNTUElUIDIwMTYpOiBQcmVsaW1pbmFyeSBDYWxsIGZvciBQYXBlcnMJMglBZGRyZXNzZXNfTmV3CS0tCTEwNjA2CXVuc3Vic2NyaWJlCW5vCW5v -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From N.Bulling at tudelft.nl Mon Mar 21 09:47:39 2016 From: N.Bulling at tudelft.nl (Nils Bulling - EWI) Date: Mon, 21 Mar 2016 08:47:39 +0000 Subject: EASSS: CALL FOR TUTORIAL PROPOSALS (deadline extended) Message-ID: <6FAB2C2F-5EA7-467A-9BA9-B17187F6B1D3@tudelft.nl> ****************************************************************************** * CALL FOR TUTORIAL PROPOSALS * 18th European Agent Systems Summer School (EASSS-2016) to be held at the University of Catania, Catania, Italy 25-30 July 2016 ****** DEADLINE EXTENSION ****** NEW DEADLINE FOR PROPOSALS: 25 March 2016 Please submit proposals to: easss2016 at dmi.unict.it ****************************************************************************** We are inviting tutorial proposals for the 18th European Agent Systems Summer School (EASSS-2016), which will be held at the University of Catania, Catania, Italy (http://easss2016.dmi.unict.it). EASSS tutorials are typically 3.5 hours long, divided into two sessions of 1.45 hours each. For a detailed call for tutorials, please see below. ***************************************************************************** *** ABOUT EASSS-2016 ***************************************************************************** Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level. The 18th European Agent Systems Summer School will be held at the University of Catania, Catania, Italy, from the 25th to 30th of July 2016. As was the case with its highly successful earlier editions, EASSS-2016 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's 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/). *** We are now inviting proposals from members of the research community who are willing to offer tutorials at EASSS-2016. *** We are interested in tutorial proposals in all areas of current research in Autonomous Agents and Multiagent Systems. As a very rough guideline, any topic that might be covered at the AAMAS conference or in the JAAMAS journal would be suitable for EASSS. We are looking for a mix of tutorials on fundamental and clearly established topics on the one hand, as well as overviews of new and emerging areas of research on the other. Tutorials should cover an appropriate selection of approaches and not specifically focus on the tutors' own contributions. Besides providing a coherent overview of a specific research topic, we specifically encourage tutorial proposals to articulate a clear link to applications and pragmatic considerations of the fundamentals presented. We encourage both well-established senior researchers and younger colleagues to put in a proposal. Each tutorial is usually given by one or two people. Exceptions are of course possible; for proposals by more than two tutors, please justify this choice in the proposal and explain how you intend to ensure the coherence of the tutorial. To be able to offer this summer school and keep registration costs manageable for attendees, we are dependent on the support of the research community. We can at this point commit to the provision of up to 400 euros per tutorial proposal, to cover the travel and accommodation costs of all the tutorial's speakers. However, since we expect that some tutorials will be given by region-based speakers with lower costs, we anticipate (but can of course not guarantee at this point) that some surplus monies will be made available for distribution where necessary amongst tutorial speakers whose costs may exceed the 400 euros per tutorial. ****************************************************************************** *** SUBMISSION INSTRUCTIONS ****************************************************************************** A tutorial proposal should take the form of a single PDF document covering the points listed below. Please, submit the proposal by email to easss2016 at dmi.unict.it mentioning [TUTORIAL] in the subject line. The following points should be addressed in the tutorial proposal, preferably in the order stated below: (1) Title of the proposed tutorial. (2) Tutor(s): name, affiliation, full contact details, and a link to the personal homepage of each tutor. (3) Abstract: a short paragraph describing the tutorial (100-300 words), suitable for publication at the EASSS-2016 website. (4) Topics covered: detailed list of topics covered in the tutorial in terms of a list, preferably in the order in which the tutorial will cover them. (5) Type: a clear indication of whether the tutorial takes a theoretical or applications-oriented perspective on the covered material. We encourage tutorials to balance the two perspectives. (6) Level: please indicate the target audience and level of the course. If there are some prerequisites about existing knowledge of students, describe what knowledge will be assumed. (7) Teaching materials: Please indicate what kind of teaching materials you intend to provide. Note that we will require materials by the due date bellow, in order that they can be distributed to EASSS attendees in advance. (8) Duration: Tutorials are typically 3.5 hours long. If you have strong reasons for wanting to deviate from this standard, please explain this in your proposal. (9) Equipment: Please list any special equipment (beyond data projector and blackboard) that you might need. (10) Short biographical sketch(es): a short paragraph on the background of the tutor or tutors (around 100 words per tutor), suitable for publication at the EASSS-2016 website. (11) Experience of tutors: For review purposes, please provide details on relevant teaching experience of the tutor(s). (12) Additional information on the proposed tutorial. Include as much detail as you see fit. ****************************************************************************** *** IMPORTANT DATES ****************************************************************************** Deadline for tutorial proposals: 25 March 2016 Notification of acceptance: 1 April 2016 Teaching materials due: 1 July 2016 Summer school: 25-30 July 2016 ****************************************************************************** *** EASSS-2016 Committees and Contact ****************************************************************************** Scientific Committee: - Davide Grossi, University of Liverpool, UK - Corrado Santoro, University of Catania, Italy - Amal El Fallah Seghrouchni, Unversité Pierre et Marie Curie, France Contact: For all matters concerning EASSS-2016 and this Call for Tutorial Proposals, please contact easss2016 at dmi.unict.it ****************************************************************************** *** PREVIOUS EDITIONS ****************************************************************************** EASSS has been organised annually in different European locations since 1999. Here are the websites of the most recent editions: * EASSS-2015 in Barcelona: http://http://www.iiia.csic.es/easss2015 * EASSS-2014 in Chania: http://www.intelligence.tuc.gr/easss2014 * EASSS-2013 in London: http://www.inf.kcl.ac.uk/events/easss13/index.html EASSS-2012/Valencia, Spain; EASSS-2011/Girona, Spain; EASSS-2010/Saint-Etienne, France; EASSS-2009/Torino, Italy; EASSS-2008/Lisbon, Portugal; EASSS-2007/Durham, UK; EASSS-2006/Annecy,France; EASSS-2005/Utrecht, Netherlands; EASSS-2004/Liverpool, UK; EASSS-2003/Bologna, Italy; EASSS-2002/Barcelona, Spain; EASSS-2001/Prague, Czech Republic; EASSS-2000/Saarbrucken, Germany; EASSS-1999/Utrecht, Netherlands ****************************************************************************** From serge.autexier at dfki.de Mon Mar 21 13:25:51 2016 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon, 21 Mar 2016 13:25:51 +0100 (CET) Subject: Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 9th Message-ID: <20160321122551.586A43894454@mbp-autexier.informatik.uni-bremen.de> First Call for Papers UITP 2016 12th International Workshop on User Interfaces for Theorem Provers in connection with IJCAR 2016 July 2nd, 2016, Coimbra, Portugal http://www.informatik.uni-bremen.de/uitp/current/ * Submission deadline: May 9th, 2016 * ---------------------------------------------------------------------- The User Interfaces for Theorem Provers workshop series brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are not limited to: - Application-specific interaction mechanisms or designs for prover interfaces Experiments and evaluation of prover interfaces - Languages and tools for authoring, exchanging and presenting proof - Implementation techniques (e.g. web services, custom middleware, DSLs) - Integration of interfaces and tools to explore and construct proof - Representation and manipulation of mathematical knowledge or objects - Visualisation of mathematical objects and proof - System descriptions UITP 2016 is a one-day workshop to be held on Saturday, July 2nd, 2016 in Coimbra, Portugal, as a IJCAR 2016 workshop. ** Submissions ** Submitted papers should describe previously unpublished work (completed or in progress), and be at least 4 pages and at most 12 pages. We encourage concise and relevant papers. Submissions should be in PDF format, and typeset with the EPTCS LaTeX document class (which can be downloaded from http://style.eptcs.org/). Submission should be done via EasyChair at https://www.easychair.org/conferences/?conf=uitp16 All papers will be peer reviewed by members of the programme committee and selected by the organizers in accordance with the referee reports. At least one author/presenter of accepted papers must attend the workshop and present their work. ** Proceedings ** Authors will have the opportunity to incorporate feedback and insights gathered during the workshop to improve their accepted papers before publication in the Electronic Proceedings in Theoretical Computer Science (EPTCS - http://www.eptcs.org/). ** Important dates ** Submission deadline: May 9th, 2016 Acceptance notification: June 6th, 2016 Camera-ready copy: June 20th, 2016 Workshop: July 2nd, 2016 ** Programme Committee ** Serge Autexier, DFKI Bremen, Germany (Co-Chair) Pedro Quaresma, U Coimbra, Portugal (Co-Chair) David Aspinall, University of Edinburgh, Scotland Chris Benzmüller, FU Berlin, Germany & Stanford, USA Yves Bertot, INRIA Sophia-Antipolis, France Gudmund Grov, Heriott-Watt University, Scotland Zoltán Kovács, RISC, Austria Christoph Lüth, University of Bremen and DFKI Bremen, Germany Alexander Lyaletski, Kiev National Taras Shevchenko Univ., Ukraine Michael Norrish, NICTA, Australia Andrei Paskevich, LRI, France Christian Sternagel, University Innsbruck, Austria Enrico Tassi, INRIA Sophia-Antipolis, France Laurent Théry, INRIA Sophia-Antipolis, France Makarius Wenzel, Sketis, Germany Wolfgang Windsteiger, RISC Linz, Austria Bruno Woltzenlogel Paleo, TU Vienna, Austria From prima2016publicity at gmail.com Wed Mar 23 08:20:48 2016 From: prima2016publicity at gmail.com (Nadin Kokciyan) Date: Wed, 23 Mar 2016 09:20:48 +0200 Subject: =?UTF-8?Q?Final_CFP=3A_Principles_and_Practice_of_Multi=E2=80=90Agent_?= =?UTF-8?Q?Systems_=28PRIMA=29_2016?= Message-ID: ----------------------------------------------------------------- *Principles and Practice of Multi‐Agent Systems (PRIMA 2016)* August 22‐26, 2016, Phuket, Thailand URL: http://prima2016.di.unito.it Co‐located with PRICAI 2016 (Pacific Rim International Conference on Artificial Intelligence) ----------------------------------------------------------------- *Key Dates* ----------------------------------------------------------------- Submission of papers: 15 April 2016 Notification of acceptance: 15 June 2016 Camera‐ready version: 30 June 2016 ----------------------------------------------------------------- Software systems are becoming more intelligent in the kind of functionality they offer users. At the same time, systems are be‐ coming more decentralized, with components that represent autono‐ mous entities who must communicate among themselves to achieve their goals. Examples of such systems range from healthcare and emergency relief and disaster management to e‐business and smarts grids. A multiagent worldview is crucial to properly conceptual‐ izing, building, and governing such systems. It offers abstrac‐ tions such as intelligent agent, protocol, norm, organization, trust, incentive, and so on, and is rooted in solid computational and software engineering foundations. As a large but still grow‐ ing research field of Computer Science, multiagent systems today remains a unique enabler of interdisciplinary research. ----------------------------------------------------------------- *Submission - main track and special track* ----------------------------------------------------------------- The PRIMA 2016 Program Committee invites submissions of original, unpublished, theoretical and applied work strongly relevant to multiagent systems, including reports on the development of pro‐ totype and deployed agent systems, and of experiments that demon‐ strate novel agent system capabilities. An indicative list of topics is provided below. For 2016, there will be Social Science special track that will be handled by Michael Mäs (University of Groningen). Accepted papers of this track will be offered a fast‐ track in JASSS. 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. A select number of papers will also be invited to submit an extended version to a fast track of the Journal of Autonomous Agents and Multi‐Agent Systems and ACM TAAS. There will be also be two special issues: one with Fundamenta Informaticae and an‐ other with International Journal of Agent‐Oriented Software Engi‐ neering. ----------------------------------------------------------------- *Invited speakers* ----------------------------------------------------------------- We are proud to have as invited speakers: - Prof. Toru Ishida (Kyoto University); - Prof. Jörg P. Müller (TU Clausthal); - Prof. Phan Minh Dung (Asian Institute of Technology), joint speech for both PRIMA and PRICAI. ----------------------------------------------------------------- *Topics of interest (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 - Distributed Constraint Satisfaction - Teamwork - Coalition Formation - Negotiation - Auctions and Mechanism Design - Trust and Reputation - Computational Voting Theory * 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 ----------------------------------------------------------------- *General Chairs* ----------------------------------------------------------------- Katsutoshi Hirayama (Kobe University) Paolo Torroni (University of Bologna) ----------------------------------------------------------------- *Program Chairs* ----------------------------------------------------------------- Matteo Baldoni (University of Torino) Amit K. Chopra (Lancaster University) Tran Cao Son (New Mexico State University) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Wed Mar 23 15:55:23 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 23 Mar 2016 16:55:23 +0200 Subject: The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT 2016): Final Call for Papers - Extended Deadline! Message-ID: <6AT6CF1M-NZ67-IDLA-H24J-M0BCLK0V6DG5@cs.ucy.ac.cy> *** Final Call for Papers - Extended Deadline *** The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT 2016) September 12-14, 2016, Lordos Beach Hotel, Larnaca, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE1dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFNvZnR3YXJlIE1ldGhvZG9sb2dpZXMsIFRvb2xzIGFuZCBUZWNobmlxdWVzIChTb01lVCAyMDE2KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzIC0gRXh0ZW5kZWQgRGVhZGxpbmUhCTQJQWRkcmVzc2VzX05ldwkxMDQ2OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fsomet2016%2F Submission Deadline (extended): April 11, 2016 (Due to many requests, an extended and final deadline has been given) The SoMeT conference series highlights and reflects the state-of-art and new trends on software methodologies, tools and techniques. The conference is focused on exploring innovations, controversies, and challenges facing the Software Engineering community today. The conference brings together theory and experience to propose and evaluate solutions to Software Engineering problems. The conference also provides a forum and an opportunity to assess the current state-of-the-art in Intelligent Software techniques and to chart software science initiated from experience to theory. This event is an opportunity for us in the software science community to think about where we are and today and where we are going. You are invited to participate in SoMeT 2016 to help build a forum for exchanging ideas and experiences to foster new directions in software development methodologies and related tools and techniques. The conference is focused on, but not limited to the following areas: · Modeling and Simulation in Operations Management · Software application in Logistics and Supply Chain Management · Requirement engineering, especially for high-assurance system, and requirement elicitation · Software methodologies and tools for robust, reliable, non-fragile software design · Software development techniques for legacy systems · Automatic software generation versus reuse, and legacy systems, source code analysis and manipulation · Software quality and process assessment for business enterprise models · Intelligent software systems design, and software evolution techniques · Agile Software and Lean Methods · Software optimization and formal methods for software design · Static, dynamic analysis of software performance model, software maintenance, and program understanding and visualization · Software security tools and techniques, and related Software Engineering models · End-user programming environment, User-centered Adoption-Centric Reengineering techniques · Ontology engineering, semantic web · Software design through interaction, and precognitive software techniques for interactive software entertainment applications · Business oriented software application models · Software Engineering models, and formal techniques for software representation, software testing and validation · End-user programming environment, User-centered and Adoption-Centric models Reengineering techniques · Artificial Intelligence Techniques on Software Engineering, and Requirement Engineering · Object-oriented, aspect-oriented, component-based and generic programming, multi-agent technology · Creativity and art in software design principles · Axiomatic based principles on software design · Agile Software and Lean Methods · Model Driven Development (DVD), code centric to model centric software engineering · New aspects on digital libraries, collections and archives, Web publishing, and Knowledge-based engineering · Medical Informatics and bioinformatics, Software methods and application for biomedicine and bioinformatics · Emergency Management Informatics, software methods and application for supporting Civil Protection, First Response and Disaster Recovery · Other software engineering disciplines Paper Submission Papers must be submitted via the Electronic Submission Tool available here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE1dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFNvZnR3YXJlIE1ldGhvZG9sb2dpZXMsIFRvb2xzIGFuZCBUZWNobmlxdWVzIChTb01lVCAyMDE2KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzIC0gRXh0ZW5kZWQgRGVhZGxpbmUhCTQJQWRkcmVzc2VzX05ldwkxMDQ2OAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fcmt.research.microsoft.com%2FSOMET2016%2FDefault.aspx The submissions must not exceed 12 A4 pages and should follow the Springer guidelines available here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE1dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFNvZnR3YXJlIE1ldGhvZG9sb2dpZXMsIFRvb2xzIGFuZCBUZWNobmlxdWVzIChTb01lVCAyMDE2KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzIC0gRXh0ZW5kZWQgRGVhZGxpbmUhCTQJQWRkcmVzc2VzX05ldwkxMDQ2OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID%3D0-164-6-793341-0 Accepted papers will be based on originality of work, suitability of the topic to the conference, and overall quality of submission. The proceedings of the conference will be published by Springer Communications in Computer and Information Science (CCIS), and be available at the conference. CCIS is abstracted/indexed in DBLP, Google Scholar, EI-Compendex, Mathematical Reviews, SCImago, Scopus. CCIS volumes are also submitted for the inclusion in ISI Proceedings. Furthermore, the authors of selected accepted papers will be invited to submit journal extended versions to a special issue of the international journal Knowledge-Based Systems, published by Elsevier (http://www.journals.elsevier.com/knowledge-based-systems/). Important Dates · Submission of papers: April 11, 2016 (extended and final) · Notification of acceptance/rejection: May 10, 2016 · Camera-Ready submission: May 23, 2016 · Author registration: June 1, 2016 Committees Honorary Chairs · Dave Parnas, Mc Master University, Canada · Colette Rolland, Paris_1 University, France · Imre J. Rudas, O'buda University, Hungary · Enrique Herrera Viedma, Granada University, Spain General Chair · Hamido Fujita, Iwate Prefectural University, Japan Program Chairs · George Angelos Papapdopoulos, University of Cyprus, Cyprus · Gajo Petrovic, Iwate Prefectural University, Japan Organizing Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus · Petros Stratis, Easy Conferences Ltd., Cyprus Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE1dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFNvZnR3YXJlIE1ldGhvZG9sb2dpZXMsIFRvb2xzIGFuZCBUZWNobmlxdWVzIChTb01lVCAyMDE2KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzIC0gRXh0ZW5kZWQgRGVhZGxpbmUhCTQJQWRkcmVzc2VzX05ldwkxMDQ2OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fsomet2016%2Fcommittees.html To be removed from this list, please click this link: http://www.cs.ucy.ac.cy/~george/lm/lm.php?un=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE1dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFNvZnR3YXJlIE1ldGhvZG9sb2dpZXMsIFRvb2xzIGFuZCBUZWNobmlxdWVzIChTb01lVCAyMDE2KTogRmluYWwgQ2FsbCBmb3IgUGFwZXJzIC0gRXh0ZW5kZWQgRGVhZGxpbmUhCTQJQWRkcmVzc2VzX05ldwktLQkxMDQ2OAl1bnN1YnNjcmliZQlubwlubw== -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From andrea at dcs.bbk.ac.uk Wed Mar 23 20:57:02 2016 From: andrea at dcs.bbk.ac.uk (Andrea Cali) Date: Wed, 23 Mar 2016 19:57:02 +0000 Subject: RuleML 2016 track on Rule- and Ontology-Based Data Access and Transformation Message-ID: *Apologies for cross-postings* ------------------------------ RuleML 2016 Wednesday, 6 July – Saturday, 9 July, 2016, Stony Brook University, New York, USA http://2016.ruleml.org/ *** CALL FOR SPECIAL TRACK PAPERS: *** *** Rule- and Ontology-Based Data Access and Transformation *** http://2016.ruleml.org/calls/rule--and-ontology-based-data-access-and-transformation-track ------------------------- Ontologies and rule systems, isolated and in combination, have established themselves as viable approaches to a number of pressing IT problems: giving both humans and client software (e.g. data analysis) intuitive, domain-oriented, uniform access to data; integrating multiple data sets with heterogeneous schemas; migrating data from legacy systems, etc. This track solicits contributions on theoretical and practical aspects of rule- and ontology-based data access and transformation. TOPICS OF INTEREST include, but are not limited to: * Logics and rule languages of particular interest to data access or transformation * Tractability and intractability results for rule- and ontology-based systems in the presence of large amounts of data * Interactions between rules and ontologies in the presence of large amounts of data * Rule- and ontology-based data integration * Rules & reasoning for Linked Data * Rule and ontology-driven user interfaces * Implementations of rule- and ontology-based data access and transformation systems systems * Reports on applications and lessons learnt SUBMISSION Papers must be original contributions written in English and must be submitted at http://www.easychair.org/conferences/?conf=ruleml2016 (please enter the track name as the first line in the keywords section) as: - Full Papers (15 pages in the proceedings) - Short Papers (8 pages in the proceedings) IMPORTANT DATES * Paper submission: (EXTENDED) 4th April, 2016 * Author notification: 4th May, 2016 * Camera ready: 18th May, 2016 * Conference:: 6th-9th July, 2016 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.bikakis at ucl.ac.uk Thu Mar 24 10:31:37 2016 From: a.bikakis at ucl.ac.uk (Antonis Bikakis) Date: Thu, 24 Mar 2016 09:31:37 +0000 Subject: Teaching Fellow Post at University College London (UCL) in Computing and IT In-Reply-To: References: Message-ID: The Department of Information Studies (DIS) at University College London (UCL) is seeking to appoint a full time Teaching Fellow in Computing and Information Systems to carry out teaching and administration within the Department, with a teaching focus on general computer science and information systems at undergraduate level. This post is funded for two years, until 31 August 2018, in the first instance. Key Requirements: A degree in computing and information systems or a related discipline, the ability to deliver professional education and training in computing and information systems, and experience of professional work or an academic role in this field or a related discipline. Salary (inclusive of London allowance): £37,524 - £40,716 per annum Closing date for applications: 22nd April 2016 For further details and application instructions see http://tinyurl.com/zm9hhsu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From newsletter at saso-conference.org Thu Mar 24 11:27:32 2016 From: newsletter at saso-conference.org (=?utf-8?b?SmFuLVBoaWxpcHAgU3RlZ2jDtmZlcg==?=) Date: Thu, 24 Mar 2016 11:27:32 +0100 Subject: =?utf-8?b?Q2FsbCBmb3IgQ29udHJpYnV0aW9uczogU0FTTyAyMDE2IC0tIDEwdGgg?= =?utf-8?b?SUVFRSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU2VsZi1BZGFw?= =?utf-8?b?dGl2ZSBhbmQgU2VsZi1Pcmdhbml6aW5nIFN5c3RlbXM=?= Message-ID: ************************************************************************* CALL FOR CONTRIBUTIONS Tenth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016) and co-located events Augsburg, Germany; 12-16 September 2016 http://uni-augsburg.de/saso2016 @SASO2016Conf ************************************************************************* Part of FAS* - Foundation and Applications of Self* Computing Conferences Co-located with: The International Conference on Cloud and Autonomic Computing (ICCAC 2016) http://iccac2016.se.rit.edu Call for Papers: https://saso2016.informatik.uni-augsburg.de/call_for_papers.html Call for Workshops: https://saso2016.informatik.uni-augsburg.de/call_for_workshops.html Call for Posters and Demos: https://saso2016.informatik.uni-augsburg.de/call_for_posters_and_demos.html Call for Doctoral Symposium: https://saso2016.informatik.uni-augsburg.de/call_for_ds.html Call for Tutorials: https://saso2016.informatik.uni-augsburg.de/call_for_tutorials.html -------------------- Important Dates -------------------- Workshop proposal submission deadline: April 4, 2016 Workshop acceptance notification: April 11, 2016 Main Conference Abstract submission: May 2, 2016 Main Conference Paper submission: May 9, 2016 Main Conference Notification: June 23, 2016 Poster and Demo Submission deadline: June 10, 2016 Poster and Demo Notification: July 8, 2016 Doctoral Symposium Abstract Submission due: May 29, 2016 Doctoral Symposium Paper Submission due: June 12, 2016 Doctoral Symposium Notifications due: July 10, 2016 Tutorial Proposal submission: April 4, 2016 Tutorial Acceptance Notification: April 25, 2016 Conference: September 12-16, 2016 ------------------- Call for Papers ------------------- https://saso2016.informatik.uni-augsburg.de/call_for_papers.html The aim of the Self-Adaptive and Self-Organizing systems conference series (SASO) is to provide a forum for the foundations of a principled approach to engineering systems, networks, and services based on self-adaptation and self-organization. The complexity of current and emerging networks, software, and services, especially when dealing with dynamics in the environment and problem domain, 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, sociology, and biology) to find new ways of designing and managing such computing systems. In this endeavor, self-organization and self-adaptation have emerged as two promising interrelated approaches. They form the basis for many other self-* properties, such as self-configuration, self-healing, or self-optimization. Systems exhibiting such properties are often referred to as self-* systems. The topics of interest include, but are not limited to: - Systems theory: theoretical frameworks and models; biologically- and socially-inspired paradigms; inter-operation of self-* mechanisms; - Systems techniques: techniques to specify and analyze self-* systems, like statistical physics, machine learning, multi-agent systems, or other novel techniques; - Systems engineering: reusable mechanisms, design patterns, architectures, methodologies; software and middleware development frameworks and methods, platforms and toolkits; hardware; self-* materials; governance of self-* systems, emergent behavior in self-* systems; - System properties: robustness, resilience, and stability; emergence; computational awareness and self-awareness; reflection; anti-fragility; - Cyber-physical and socio-technical systems: human factors and visualization; self-* social computers; crowdsourcing and collective awareness; human-in-the-loop; - Data-driven approaches: data mining; machine learning; data science and other statistical techniques to analyze, understand, and manage behavior of complex systems; - Education: experience reports; curricula; innovative course concepts; methodological aspects of self-* systems education; - Ethics and Humanities in self-* systems; - Applications and experiences with self-* systems in any of the following domains: + Smart-*: application of self-* principles to smart-grids, smart-cities, smart-environments, smart-vehicles + Industrial automation: embedded self-* systems, adaptive industrial plants, smart industries (Industry 4.0) + Transportation: autonomous vehicles, coordination between vehicles, pedestrians, and infrastructure, and traffic optimization + Unmanned systems: aerial vehicles, undersea vehicles, other robotic platforms + Internet of Things: challenges, applications, and benefits; self-* for network management, self-* applied to Cybersecurity ----------------------- Call for Workshops ----------------------- https://saso2016.informatik.uni-augsburg.de/call_for_workshops.html The FAS* 2016 Steering Committee invites proposals for the Workshop Program to be held along with the technical conferences SASO 2016 and ICCAC 2016. FAS*W workshops will provide a meeting for presenting novel ideas in a less formal and possibly more focused way than the conferences themselves. Their aim is to stimulate and facilitate active exchange, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Self-Adaptive and Self-Organizing Systems as well as Cloud and Autonomic Computing. To motivate the discussion and participation of all the workshop attendants, we encourage organizers to get away of the typical "mini-conference" format of a workshop, and include more discussion sessions, panels, etc. Members from all areas of the SASO and ICCAC communities are invited to submit workshop proposals for review. Workshops on global challenges, applications or on new and emerging topics are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Optionally, if desired by the organizers, workshop proceedings can be published through IEEE. Attendance of workshops will be included in the registration fee for the main SASO/ICCAC conference. --------------------------------- Call for Posters and Demos --------------------------------- https://saso2016.informatik.uni-augsburg.de/call_for_posters_and_demos.html The tenth SASO 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 SASO 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. Demos may target virtual systems (e.g., software applications), physical systems (e.g., robots or sensor networks), or cyber-physical systems combining the two. Physical systems might be presented either with real equipment, by simulation, or hybrid solutions using both simulations and real platforms. Submissions which highlight the utility and general applicability of the contribution - whether short, medium or long term -- are particularly solicited, and interactivity of a demo is considered a further asset. ---------------------------------- Call for Doctoral Symposium ---------------------------------- https://saso2016.informatik.uni-augsburg.de/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, particular 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. ------------------------ Call for Tutorials ------------------------ https://saso2016.informatik.uni-augsburg.de/call_for_tutorials.html Autonomic computing and self-organizing systems require an interdisciplinary approach, pulling in expertise from a wide range of scientific and computational communities. One of the most difficult challenges in an interdisciplinary community is building up an understanding of the relevant knowledge pulled in from different communities. In 2016, in addition to the tutorials that deepen our understanding of existing work and expand into new frontiers, we especially welcome tutorials that help us bridge our communities to other relevant research and application communities. In 2016, the two FAS* (Foundation and Applications of Self*-Systems) conferences will host a joint tutorial program. We solicit proposals for tutorials for presentation at the 16th International Conference on Cloud and Autonomic Computing (ICCAC) and the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016). Proposals should clearly state what the goals of the tutorial (e.g., survey, practicum, laboratory, introduction, etc.) and what the participants should expect in terms of experience and materials provided. As noted, the tutorial should communicate to participants from diverse fields of expertise. ------------------------------- Conference General Chair ------------------------------- Wolfgang Reif (SASO) University of Augsburg, DE Naveen Sharma (ICCAC) Rochester Institute of Technology, USA ----------------------- Program Chairs SASO ----------------------- Giacomo Cabri, University of Modena and Reggio Emilia, IT Gauthier Picard, École Nationale Supérieure des Mines de Saint-Étienne, FR Niranjan Suri, Florida Institute of Human and Machine Cognition, FL, USA ------------------------ Program Chairs ICCAC ------------------------ Indranil Gupta University of Illinois, Urbana-Champaign, USA Yixin Diao IBM T. J. Watson Research Center, USA From frank.loebe at informatik.uni-leipzig.de Fri Mar 25 00:08:42 2016 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Fri, 25 Mar 2016 00:08:42 +0100 Subject: Deadline Extension: Apr 25 - FOIS 2016 Satellite Activities (ECS / Ontology Competition / Demonstrations Track) Message-ID: <56F4737A.3070402@informatik.uni-leipzig.de> ---------------------------------------------------------------------- 9th International Conference on Formal Ontology in Information Systems - FOIS 2016 - July 6-9, 2016, University of Savoie, Annecy, France DEADLINE EXTENSIONS FOR SATELLITE ACTIVITIES * Early Career Symposium (ECS) * Formal Ontology Competition * Demonstrations Track [1] website with ALL DETAILS http://www.iaoa.org/fois2016/index.php?n=Main.SatelliteActivities [2] SUBMIT via FOIS 2016 in EasyChair (selecting the track there) https://easychair.org/conferences/?conf=fois2016 ------------------ EXTENDED DEADLINES ------------------ For all satellite activities, these new submission deadlines apply: * paper submission: Apr 25, 2016 (Monday) <-- !! strict !! * notification: May 12, 2016 (Thursday) * final versions: May 31, 2016 (Tuesday) ========================================================= Please note KEY INFORMATION subsequently. Further information with all details is available at [1]. ---------------------- EARLY CAREER SYMPOSIUM ---------------------- The ECS will be held as a poster session, opened by lightning talks. Students at the Master's and Doctoral levels as well as Postdocs are invited to submit: (1) a two-page description of their research project and (2) a current CV. Please submit in PDF format and in accordance with the template [3]. Contact: [4] ecsfois16 at gmail.com --------------------------- FORMAL ONTOLOGY COMPETITION --------------------------- The FOIS 2016 Ontology Competition is intended to recognize high-quality ontologies and to encourage the spread of best practices in the ontology community. The topic of the 2016 Ontology Competition is "Representing Change in Ontologies". There are no restrictions on the subject matter of the ontology. Details about the competition can be found at [5] http://www.iaoa.org/fois2016/index.php?n=Main.SatelliteActivities#competition . Contact: [6] fois2016.competition at gmail.com -------------------- DEMONSTRATIONS TRACK -------------------- The FOIS 2016 Demo session is designed to provide an exciting and highly interactive way to demonstrate ontology research. Submissions of at most 5 pages in accordance with IOS Press formatting guidelines [7] should specify: * What is the research background and application context of the demonstration? * What exactly will be demonstrated? What exactly will a visitor of the demonstration learn? * For whom is it most interesting / useful? * What are the key technologies used and what are the technical challenges addressed? * How does the demonstrated system, application or infrastructure relate to pre-existing work and why is it a novel showcase in ontology research? Contact: [8] fois2016.demo at gmail.com ---------------------- REVIEW AND PUBLICATION ---------------------- Submissions to any of the above satellite activities will be reviewed by selected members of the FOIS 2016 Program Committee. All accepted submissions will be published in a joint CEUR proceedings volume (ISSN 1613-0073, DBLP-indexed). LINKS: [1] website with detailed information http://www.iaoa.org/fois2016/index.php?n=Main.SatelliteActivities [2] submit via FOIS 2016 in EasyChair (select corresponding track) https://easychair.org/conferences/?conf=fois2016 [3] template for ECS submissions http://nemo.inf.ufes.br/fois16-ecs/ECS_submission_template.zip [4] contact for ECS ecsfois16 at gmail.com [5] Formal Ontology Competition details http://www.iaoa.org/fois2016/index.php?n=Main.SatelliteActivities#competition [6] contact for Formal Ontology Competition fois2016.competition at gmail.com [7] IOS Press formatting guidelines http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/ [8] contact for FOIS 2016 Demonstrations Track fois2016.demo at gmail.com ---------------------------------------------------------------------- From peter.schuller at marmara.edu.tr Fri Mar 25 08:52:05 2016 From: peter.schuller at marmara.edu.tr (Peter Schueller) Date: Fri, 25 Mar 2016 09:52:05 +0200 (EET) Subject: Second Call For Workshop Proposals: 32nd International Conference on Logic Programming (ICLP 2016) Message-ID: <20160325075205.0B2B32C00AE@omsievews> *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2016 32nd International Conference on Logic Programming Oct 17 - 21, 2016 New York City, USA http://software.imdea.org/Conferences/ICLP2016/ ICLP 2016, the 32nd International Conference on Logic Programming, will be held in New York City, USA, from October 17 to October 21, 2016. Workshops collocated with an international conference are one of the best venues for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Collocated workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops collocated with ICLP 2016 can cover any areas related to logic programming, (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2016 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years * The requested number of half-days allotted to the workshop and an estimate of the number of expected attendees. * The names, affiliation and contact details (email, web page, phone) of the workshop organizers together with a designated contact person. * Previous experience of the workshop organizers in workshop/conference organization. Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chair by email by March 29, 2016. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 8, 2016. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting room. The proceedings should be produced and distributed (usually via web pages) by each workshop organizer. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means. A web page URL should be provided by April 24, 2016, and will published on the ICLP 2016 home page. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the Workshop Chair. * Sending workshop program in PDF format to the Workshop Chair for distribution and posting at the conference by September 18, 2016. * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly recommended. For guidelines, see: http://dtai.cs.kuleuven.be/projects/ALP/electronic_publishing.html We encourage reading these instructions in advance so that you can ask paper authors to prepare the final versions of their papers accordingly. Location: ========= Workshops be collocated with ICLP 2016, in New York City, USA. See the ICLP 2016 web site for location details. Important Dates: ================ March 29, 2016: Proposal submission deadline April 8, 2016: Notification April 24, 2016: Deadline for receipt of CfP and workshop web page URL Sep 18, 2016: Deadline for workshop program Oct 16-17, 2016: ICLP workshops (preliminary dates) Workshop Chair: =============== Marcello Balduccini marcello.balduccini at gmail.com From ph_r at gmx.net Fri Mar 25 14:27:29 2016 From: ph_r at gmx.net (=?UTF-8?Q?Philipp_R=c3=bcmmer?=) Date: Fri, 25 Mar 2016 14:27:29 +0100 Subject: 1st CFP: FMSD Special Issue on Satisfiability Modulo Theories Message-ID: <56F53CC1.30708@gmx.net> =================== Preliminary Call for Papers ===================== Journal on Formal Methods in System Design (FMSD) Special Issue on Recent Topics in Satisfiability Modulo Theories (SMT) Deadline for abstract submission (provisional): May 2nd 2016 Deadline for full paper submission (provisional): August 19th 2016 ====================================================================== GENERAL INFORMATION 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, test-vector generation, compiler optimization, scheduling, and other areas. The success of SMT techniques depends on the development of both domain-specific decision procedures for each concrete 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 two ingredients together make SMT techniques well-suited for use in larger automated reasoning and formal verification efforts. (See also the SMT-LIB page http://www.smtlib.org/, and the page of the annual SMT Workshop http://www.smt-workshop.org/) TOPICS The goal of the special issue is to survey recent developments in the SMT field. Topics of interest include, but are not restricted to: - Novel general SMT techniques - New decision procedures and new theories of interest - Construction of models, proofs, interpolants, etc. - Techniques for handling quantifiers - Combinations of decision procedures - Novel implementation techniques - Benchmarks and evaluation methodologies - Formats for new theories, and developments in SMT-LIB - Applications and case studies - Theoretical results SUBMISSIONS This special issue welcomes original high-quality contributions that have been neither published in nor submitted to any journals or refereed conferences. Extended versions of conference papers should include at least 30% of new material. All submissions should be written in terms understandable by general readers of the journal. To simplify the publication process, there will be a two step selection process. Authors willing to submit to this special issues are asked to send an abstract (of at most 1 page) describing the intended contribution. We will then select most promising abstracts and will ask the authors to submit a full version. The full version of all submissions will be refereed according to FMSD standards, as described at FMSD web page (see below). Note that acceptance of the abstract does not guarantee acceptance of the full version. The guest editors reserve the right to invite further relevant papers, including extended versions of papers that appeared at recent workshops or conferences. Abstracts should be submitted via email to the guest editors. Manuscripts should be submitted in LaTeX according to FMSD's author guidelines. Please use Springer's LaTeX macro package and choose the formatting option "smallcondensed". Submissions should not exceed 30 pages. FMSD LaTeX style file can be obtained at the journal web page (see below). ABOUT FMSD Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods. For more information, see the journal webpage at http://link.springer.com/journal/10703 PRELIMINARY DATES - Abstract submission deadline: May 2nd 2016 - Abstract acceptance notification: May 15th 2016 - Full paper submission deadline: August 19th 2016 - Prospective publication of the issue: Spring 2017 GUEST EDITORS Alberto Griggio, Fondazione Bruno Kessler Philipp Ruemmer, Uppsala University FURTHER INFORMATION For further information, send an email to one of the guest editors. -- Philipp Rümmer, PhD Assistant Professor Department of Information Technology, Uppsala University web: http://www.philipp.ruemmer.org Consider encrypting emails - http://www.philipp.ruemmer.org/gpg-keys.asc From youakim.badr at insa-lyon.fr Fri Mar 25 17:38:59 2016 From: youakim.badr at insa-lyon.fr (Youakim Badr) Date: Fri, 25 Mar 2016 17:38:59 +0100 (CET) Subject: CFP: The IEEE Workshop on Big Data Analytics for Cybersecurity Computing (co-located with IEEE ISI 2016) Message-ID: <77867406.8645383.1458923939043.JavaMail.zimbra@insa-lyon.fr> Please consider to contribute to and/or forward to others who might be interested. Apologies if you receive multiple copies of this message. ------------------------ Call for Papers -------------------------------------- The IEEE International Workshop on Big Data Analytics for Cybersecurity Computing (BDAC-2016) Co-located with the IEEE Conference on Intelligence and Security Informatics September 27-30, 2016, Tucson, Arizona, USA Deadline: May 16, 2016 More info: http://www.isi-conf.org/ ------------------------------------------------------------------------------- SCOPE We are currently experiencing an exponential growth in using advanced cybertechnologies and the amount of data being generated. We are generating around 2.5 quintillion bytes of data every day, which means more than 90% of world data has been created in the last two years alone. With this huge amount of data, that we refer to as Big Data, many challenges and opportunities arise due to the size, heterogeneity, dynamism, and the speed at which this data generated. As we continue to rely on cyber technology and its services, we are facing with the increased risk of cybercrime, cyberterrorism, cyberespionage, and advanced persistent threats where bad actors are rapidly improving their attack techniques and their speed in launching these attacks. In the past, the attackers go through at least three phases before they launch their attacks (probing, constructing and launching attacks). Now, bad actors go directly to launch their attacks in one phase. Furthermore, the number of hackers and attacks are increasing rapidly more than ever before. Cybersecurity analytics for big data with its huge amount of data and its sheer breadth and coverage can provide unprecedented cybersecurity capabilities to proactively monitor, analyze, and mitigate sophisticated and advanced cybersecurity threats and exploitations. We aim developing and deploying the big data cybersecurity analytics to enable NETCOM analysts to integrate and correlate internal events, external events, and all alerts generated from existing cyber monitoring and security tools to obtain full visibility of potential threats against their cyberinfrastructures and their services. The goal of this workshop is to address innovative techniques, metrics, and behavior analysis that can exploit big data analytics capabilities to address the cybersecurity challenges facing cyberspace resources and services. Topics of interest include, but are not limited to: * Big Data Theory for Cyber Security - Metrics, -Data Aggregation and Correlations of big data sensors * Big Data Visualization for Cybersecurity - Full visibility into the behavior of cyberspace resources and services - Knowledge representation and visualization of behavior of autonomic systems and services * Big Data Cybersecurity Computational Models - Map/Reduce - Data Streaming - Parallel/Distributed Algorithms * Anomaly Behavior Analysis - Data mining, stochastic analysis and prediction - Advanced Persistent Threat (APT) modeling and analysis - Sensor data collectors - Data Science and Analytics in Security Informatics * Human Behavior and Factors in the Security Applications - Privacy, security, trust, and risk in big data - Data integrity, matching, and sharing - Social impact SUBMISSION AND PUBLICATION The papers must be formatted in a two-column layout up to 6 pages and must follow the IEEE proceedings format. All manuscripts will be reviewed and judged on merits including originality, significance, interest, correctness, clarity, and relevance to the broader community. Submitted papers must include original work and may not be under consideration for another workshop, conference or journal during the IWBDAC 2016 review process. Authors should submit their papers electronically following the instructions from the ISI 2016 conference web site (http://www.isi-conf.org/). At least one author for each of the accepted papers is expected to present their work at the workshop. The accepted papers from IWBDAC 2016, ISI 2016 and its affiliated workshops will be published by the IEEE Press in formal Proceedings. IEEE ISI Proceedings are EI-indexed. IMPORTANT DATES Full paper submission: May 16, 2016 Author notification: July 1, 2016 Camera-ready version due: July 10, 2016 GENERAL CO-CHAIRS Salim Hariri, University of Arizona, USA Hamamache Kheddouci, The Université Claude Bernard Lyon 1, France PROGRAM CO-CHAIRS Cihan Tunc, University of Arizona, USA Youakim Badr, INSA-Lyon, France PUBLICATION AND PUBLICITY CHAIR Youssif Al Nashif,Florida Polytechnic University, USA SPONSORS The Institute of Electrical and Electronics Engineers NSF Center for Cloud and Autonomic Computing, University of Arizona, USA From stefano.borgo at cnr.it Fri Mar 25 20:23:08 2016 From: stefano.borgo at cnr.it (Stefano Borgo) Date: Fri, 25 Mar 2016 20:23:08 +0100 Subject: Third IAOA Interdisciplinary School on Applied Ontology: CALL FOR PARTICIPATION Message-ID: <56F5901C.3020401@cnr.it> ISAO 2016 - CALL FOR PARTICIPATION: The International Association for Ontology and its Applications (IAOA) and the KRDB Research Centre for Knowledge and Data at Bozen-Bolzano are proud to announce the Third IAOA Interdisciplinary School on Applied Ontology June 27 - July 1, 2016 -- Bozen-Bolzano, Italy http://isao2016.inf.unibz.it Description ----------- World-class experts in different disciplines (Ontology Engineering, Conceptual Modeling, Knowledge Representation, Logic and Philosophy) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, where lecturers engage in open discussions with each other as well as interact with the participants. The school will take place in Bozen-Bolzano, the beautiful capital city of South Tyrol, Italy, and is open to students, researchers and practitioners. http://isao2016.inf.unibz.it/?page_id=91 Previous summer schools were held in Vitória, Brazil http://iaoa.org/isao2014/ and in Trento, Italy http://iaoa.org/isao2012/ LIMITED Registration and Grants -------------------------------- Registration to the summer school is on a first-come first-served basis. We would like to highlight that the event will have a LIMITED NUMBER OF PARTICIPANTS to ensure the quality of the interactions and the immersion experience. Check the registration page for further information and to register: http://isao2016.inf.unibz.it/?page_id=56 A limited number of grants will be provided by IAOA to partially cover participation costs on behalf of students. Applications for student grants should be sent exclusively by e-mail to ISAO2016 at unibz.it by 18th APRIL 2016. Further details can be found on the registration page. IAOA membership in general entitles to reduced registration fees. Program ------- The following lecturers are already confirmed: * Alessandro Artale, Free University of Bozen-Bolzano, Italy (Description Logics and Temporal Extensions) * Gilberto Camara, National Institute for Space Research, Brazil (Geospatial Ontology) * Antony Galton, University of Exeter, UK (Time and Processes) * Achille C. Varzi, Columbia University, New York, USA (Mereology) In addition to the courses, a number of shorter invited talks are expected. Organization ------------ International Association for Ontology and its Applications (IAOA) http://iaoa.org/ Research Centre on Knowledge and Data (KRDB) Faculty of Computer Science, Free University of Bozen-Bolzano, Italy http://www.inf.unibz.it/ Contact: ISAO2016 at unibz.it Website: http://iaoa.org/isao2016/ From icsai2016cfp at sdju.edu.cn Mon Mar 28 07:57:59 2016 From: icsai2016cfp at sdju.edu.cn (Prof Chen) Date: Mon, 28 Mar 2016 13:57:59 +0800 Subject: ICSAI2016, Shanghai: Submission Deadline 30 May [EI Compendex/ISTP/IEEE Xplore] 2016/3/28 13:58:04 dtjwi7 Message-ID: <20160328135804373523@sdju.edu.cn> Dear Colleague, The 2016 International Conference on Systems and Informatics (ICSAI 2016) will be held from 19-21 November 2016 in Shanghai, China. ICSAI 2016 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science. Topics include (but are not limited to): Systems · Control and Automation Systems · Power and Energy Systems · Intelligent Systems · Computer Systems and Applications Informatics · Communications and Networking · Image, Video, and Signal Processing · Data Engineering and Data Mining · Software Engineering All papers in conference proceedings will be submitted to both IEEE Xplore and EI Compendex for indexing. Substantially extended versions of best papers will be considered for publication in a special issue of a SCI-indexed journal. Shanghai is the largest city in China, with famous historical and cultural heritage. Attractions include Yuyuan Garden ("Happy Garden" built in Ming Dynasty), Shanghai Museum with 120,000 pieces of rare relics, Shanghai World Financial Center, Jade Buddha Temple (Song Dynasty), Oriental Pearl TV Tower, Zhujiajiao Water Town, and Expo 2010 site. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. All papers in the invited sessions can be marked as "Invited Paper". The organizer(s) for each invited session with at least 6 registered papers will jointly enjoy an honorarium of US*D 400. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a list of recommended papers is determined by 10 October 2016. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to icsai2016 at sdju.edu.cn For more information, visit the conference web page: http://icsai.sdju.edu.cn/ If you have any questions after visiting the conference web page, please email the secretariat at ICSAI2016 at ytu.edu.cn Join us at this major event in Shanghai !!! Organizing Committee icsai2016 at sdju.edu.cn P.S.: Please forward to your colleagues or students who may be interested. If you wish to unsubscribe, in which case we apologize, please reply with "unsubscribe event at tu-clausthal.de " in your email subject. Thanks. 2016/3/28 13:58:04 4xx -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From J.M.Broersen at uu.nl Wed Mar 30 12:16:24 2016 From: J.M.Broersen at uu.nl (Jan Broersen) Date: Wed, 30 Mar 2016 12:16:24 +0200 Subject: Call for Participation: April 18-19, Workshop Responsible Intelligent Systems in Perspective; where Computer Science, Philosophy and Legal Theory meet Message-ID: <56FBA778.5080900@uu.nl> Workshop Responsible Intelligent Systems in Perspective; where Computer Science, Philosophy and Legal Theory meet Workshop webpage: http://tiny.cc/dt8day Our tendency to delegate responsibilities to machines (self-driving cars, algorithmic trading, military drones, autonomous surveillance systems, etc.) leads to pressing questions that call for answers from an interdisciplinary perspective. Computer scientists can contribute by studying how to design responsible AI, but they first need to know exactly what is meant by that. Philosophers may be able to tell them what responsibility is, but may find it hard to operationalise their insights in such fundamental topics as action, freedom, ethics, norms, and reasons. And that is where legal theorists may be of help, as they are used to think about the relation between abstract notions like fairness, justice, duty, excuse, complicity, causality and their concrete reflections in the rules of law. On April 18-19 2016, we organise an interdisciplinary workshop where we bring together researchers from Philosophy, Computer Science and Legal Theory to exchange views on the subject of responsible intelligent systems. Programme: Monday 18 April 9:00 Coffee 9:30 Opening: Jan Broersen & group, The REINS-project 10:25 Short Coffee Break 10:40 Bruce Chapman (Toronto, Canada, Legal Theory and Philosophy), TBA Abstracts 11:35 Long Coffee Break 12:05 Thomas Müller (Konstanz, Germany, Philosophy), When does an artificial system act? 13:00 Lunch 14:00 Franz Dietrich (Paris, France, Economy and Philosophy), What matters and how it matters: a choice-theoretic representation of moral theories 14:55 Short Coffee Break 15:10 Thomas Ågotnes (Bergen, Norway, Information Science), From Distributed to Common Knowledge 16:05 Long Coffee Break 16:35 John Horty (Maryland, US, Philosophy and Computer Science), TBA 17:30 End 18:30 Workshop dinner Tuesday 19 April 9:00 Coffee 9:30 Marija Slavkovik (Bergen, Norway, Computer Science), TBA 10:25 Short Coffee Break 10:55 Michael Fischer (Liverpool, UK, Computer Science), TBA 11:50 Long Coffee Break 12:05 Giovanni Sartor (European University Institute Florence, Italy, Legal Theory and Computer Science), The Autonomy of Technological Systems and Responsibilities for their Use 13:00 Lunch 14:00 Henry Prakken (Groningen en Utrecht, Netherlands, Computer Science and Legal Theory), Responsible intelligent systems and AI & Law 14:55 Short Coffee Break 15:10 Ugo Pagallo (Turin, Italy, Legal Theory and Computer Science), TBA 16:05 Long Coffee Break 16:35 Marek Sergot (Imperial College London, UK, Computer Science), TBA 17:30 Closing Attendance is free and open to all academics. To enable us to estimate how much coffee and sandwiches we have to order, we would be happy if you let us know if you plan to come by sending an email to H.W.A.Duijf at uu.nl with the subject “Attendance REINS workshop”. Please mention your name and affiliation so that we can make a name tag for you to wear at the workshop. Venue: Boothstraat 7, Utrecht, Kerkzaal Website with the latest updates: http://tiny.cc/dt8day -Jan Broersen, Hein Duijf, Jesse Mulder -- ------- Jan Broersen ----------- Theoretical Philosophy Group - - www.uu.nl/hum/staff/JMBroersen ---- Utrecht University ------ ---- tel: +31 302532761 -------------- Janskerkhof 13 --------- ---- fax: +31 302534619 ------------- 3512 BL UTRECHT -------- -- From s.verberne at cs.ru.nl Wed Mar 30 14:37:29 2016 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Wed, 30 Mar 2016 08:37:29 -0400 Subject: ECAI2016: upcoming deadlines and news Message-ID: *ECAI2016: upcoming deadlines and news* *(Follow us in Twitter and Facebook for all news and updates!)* - *ECAI 2016 Submission Deadline: 15 April 2016 (23:59:59 CET)* o For full and short papers! See CfP: http://www.ecai2016.org/calls/call-for-papers/ o Also for submissions to the special track on “Artificial Intelligence and Human Values” o Paper template: http://www.ecai2016.org/content/uploads/2016/03/ecai.zip o Submit through confmaster: http://ecai2016.confmaster.net/ o *New this year:* If you are submitting a revised version of a submission to IJCAI­2016, you can upload the IJCAI reviews of their papers and a response letter explaining changes in the revised submitted version, for consideration during the ECAI reviewing process. This innovation is intended to reduce the “lottery” effect which can happen when revised versions are reviewed by a new team of reviewers. - *PAIS 2016 Submission Deadline: 15 April 2016 (23:59:59 CET)* o For papers to the Prestigious Applications of Intelligent Systems conference: See CfP: http://www.ecai2016.org/calls/callspais-call-for-papers/ o Paper template: http://www.ecai2016.org/content/uploads/2016/03/ecai.zip o Submit through easychair: https://easychair.org/conferences/?conf=pais16 - *STAIRS 2016 Submission Deadline: 16 May 2016 (23:59:59 CET)* o For papers to the “Starting Artificial Intelligence Research” Symposium: See CfP:http://www.ecai2016.org/calls/stairs-call-for-papers/ - *Workshops* o List of accepted workshops: http://www.ecai2016.org/program/workshops/ o General workshop submission deadline: June 12, 2016. Check the workshop’s webpage for possible deviations! - *Tutorials* o List of accepted tutorials: http://www.ecai2016.org/program/tutorials/ - *Registration* o Information about registration fees and procedure will be online mid-April - *AI at Work and Speed dates* o Several companies will be recruiting at ECAI 2016. A special information session and speed dates with potential candidates will be held during the main conference days (Wed-Fri) o *If you are interested in this opportunity (companies, research centres, universities), let us know through contact at ecai2016.org * o If you are a jobseeker, stay tuned for more information! (through website, Facebook and Twitter) - *Announcing EURAI, the European Association for AI* o ECCAI (the European Coordinating Committee for AI) has changed its name to the EUROPEAN ASSOCIATION FOR AI (EurAI): www.eurai.org o EURAI more accurately describes the aims of the association: a community-led scientific organisation that works to promote AI research and education throughout Europe, and to represent the European AI community internationally. o In addition to the existing program of activities that ECCAI is engaged in, EURAI will expand its current role to include several new activities o More details will be announced at ECAI2016! -- Suzan Verberne, researcher Information Foraging Lab, Institute for Computing and Information Sciences Radboud University Nijmegen Tel: 0031 24 36 53431/15775 Email: s.verberne at cs.ru.nl http://sverberne.ruhosting.nl -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: