From pedro.lopez at imdea.org Wed Jun 1 07:40:57 2016 From: pedro.lopez at imdea.org (=?UTF-8?B?UGVkcm8gTMOzcGV6IEdhcmPDrWE=?=) Date: Wed, 1 Jun 2016 07:40:57 +0200 Subject: LOPSTR 2016: 2nd Call for Papers Message-ID: [ Please distribute, apologies for multiple postings. ] ====================================================================== LOPSTR 2016: 2nd Call for Papers ====================================================================== 26th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016 http://cliplab.org/Conferences/LOPSTR16/ Edinburgh, UK, September 6-8, 2016 (co-located with PPDP 2016 and SAS 2016) ====================================================================== DEADLINES: Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 ====================================================================== INVITED SPEAKERS: Francesco Logozzo (Facebook, USA) [jointly with PPDP] Greg Morrisett (Cornell University, USA) [jointly with PPDP] Martin Vechev (ETH Zurich, Switzerland) [jointly with SAS ] ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016) will be held at the University of Edinburgh, Edinburgh, UK; previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2016 will be co-located with PPDP 2016 (International Symposium on Principles and Practice of Declarative Programming) and SAS 2016 (Static Analysis Symposium). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 Notification: August 3, 2016 Camera-ready (for electronic pre-proceedings): August 19, 2016 Symposium: September 6-8, 2016 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2016: http://www.easychair.org/conferences/?conf=lopstr2016 (can be accessed also through the LOPSTR 2016 web site). Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Sergio Antoy, Portland State University, USA Michael Codish, Ben-Gurion University of the Negev, Israel Jerome Feret, CNRS/ENS/INRIA Paris, France. Fabio Fioravanti, University of Chieti - Pescara, Italy. Maurizio Gabbrielli, University of Bologna, Italy Maria Garcia de la Banda, Monash University, Australia Robert Glueck, University of Copenhagen, Denmark. Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Gopal Gupta, University of Texas at Dallas, USA Patricia Hill, Univ. of Leeds, UK and BUGSENG Srl, Italy Jacob Howe, City University London, UK Viktor Kuncak , EPFL Lausanne, Switzerland Michael Leuschel, University of Duesseldorf, Germany Heiko Mantel TU Darmstadt, Germany Jorge A. Navas, NASA, USA Naoki Nishida, Nagoya University, Japan Catuscia Palamidessi, INRIA, France C.R. Ramakrishnan, SUNY Stony Brook, USA Vitor Santos Costa, Universidade do Porto, Portugal Hirohisa Seki, Nagoya Institute of Technology, Japan Peter Schneider-Kamp, University of Southern Denmark, Denmark Program Chairs Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM) Pedro Lopez-Garcia, IMDEA Software Institute and CSIC Organizing Committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) In cooperation with: The European Association for Theoretical Computer Science The European Association for Programming Languages and Systems The Association for Logic Programming The IMDEA Software Institute -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Wed Jun 1 08:11:04 2016 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Wed, 01 Jun 2016 06:11:04 +0000 Subject: AI*IA Incoming Mobility Grants 2016 Message-ID: <001a114fa768c8b9230534315a79@google.com> =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= AI*IA Incoming Mobility Grants 2016 Call for research visits Deadline for applications: 10 June 2016 https://sites.google.com/a/aixia.it/italiano/premi/incoming-mobility =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= To favour mobility of young researchers the Italian Association for Artificial Intelligence (AI*IA) issues the Association Incoming Mobility Grants for 2015. Applications are solicited for funding a research visit of a PhD student enrolled at a foreign University to an Italian institution. Students will be funded by AI*IA which will cover their travel costs and living expenses (up to 2000 euro). The funding will be provided as a reimbursement for the expenses incurred in the visit. After the visit, the awarded person should send the Association the receipts of her/his costs for which she/he would like to be refunded. The central aim of these extended visits is to build a research bridge between researchers and to create a solid basis for long term collaborations. Moreover, the visit has to lead to a submission of an article on a joint research topics to the Intelligenza Artificiale journal. Eligibility for the visiting student is to be enrolled full-time in a PhD programme at a foreign University. Funding is available for 2 students. The visit start should be between the 1st July 2016 and the 30th of June 2017. Deadline for applications: 10 June 2016 Notification of grants: 22 June 2016 The information required in the application are: 1. name of the foreign PhD student who will be hosted; 2. name and address of the foreign Lab/Department and University; 3. name of the Italian researcher of the hosting institution. The Italian researcher must be a member of the Association for 2016. If she/he is not a member for 2016 she/he must register before applying. 4. a short (max 2 pages) resume/CV of the foreign student; 5. a short (max 2 pages) resume/CV of the Italian host; 6. a short (max 2 pages) description of the research that will be carried out during the visit 7. a budget of the foreseen expenses 8. declaration of the Italian host indicating that the hosting institution is willing to provide office space and access to lab facilities to conduct the research 9. expected visit dates The application must be sent by email to incoming at aixia.it The applications will be examined by a committee composed by members of the AI*IA Board of Directors. =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Wed Jun 1 08:12:28 2016 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Wed, 01 Jun 2016 06:12:28 +0000 Subject: AI*IA Outgoing Mobility Grants 2016 Message-ID: <94eb2c05b2a4ce40df0534315f9c@google.com> =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= AI*IA Outgoing Mobility Grants 2016 Call for research visits Deadline for applications: 10 June 2016 https://sites.google.com/a/aixia.it/italiano/premi/outgoing-mobility =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= To favour mobility of young researchers the Italian Association for Artificial Intelligence (AI*IA) issues the Association Outgoing Mobility Grants for 2015. Applications are solicited for funding a research visit abroad of a PhD student enrolled at an Italian University. Students will be funded by AI*IA which will cover their travel costs and living expenses (up to 2000 euro). The funding will be provided as a reimbursement for the expenses incurred in the visit. After the visit, the awarded person should send the Association the receipts of her/his costs for which she/he would like to be refunded. The central aim of these extended visits is to build a research bridge between researchers and to create a solid basis for long term collaborations. Moreover, the visit has to lead to a submission of an article on a joint research topics to the Intelligenza Artificiale journal. Applications can be made by a student enrolled full-time in a PhD programme at an Italian University. The applicant must be a member of the Association for 2016. If she/he is not a member for 2016 she/he must register before applying. Funding is available for 2 students. The visit start should be between the 1st July 2016 and the 30th of June 2017. Deadline for applications: 10 June 2016 Notification of grants: 22 June 2016 The information required in the application are: 1. name of the Italian PhD student who will go abroad; 2. name of the foreign researcher that will host the student; 3. name and address of the foreign Lab/Department and University; 4. a short (max 2 pages) resume/CV of the Italian student; 5. a short (max 2 pages) resume/CV of the foreign researcher; 6. a short (max 2 pages) description of the research that will be carried out during the visit 7. a budget of the foreseen expenses 8. declaration of the foreign host indicating that the hosting institution is willing to provide office space and access to lab facilities to conduct the research 9. expected visit dates The application must be sent by email to outgoing at aixia.it The applications will be examined by a committee composed by members of the AI*IA Board of Directors. =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From demri at lsv.ens-cachan.fr Wed Jun 1 08:36:00 2016 From: demri at lsv.ens-cachan.fr (=?utf-8?Q?St=C3=A9phane_Demri?=) Date: Wed, 1 Jun 2016 08:36:00 +0200 Subject: Call for Papers -- LCC 2016 -- Marseille, France Message-ID: (sorry for multiple copies) ================================================================== Call for Papers LCC 2016 17th International Workshop on Logic and Computational Complexity September 2-3, 2016, Marseille, France collocated with CSL 2016 http://lcc2016.cs.unibo.it/ ================================================================== LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in: implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. The programme will consist of invited lectures as well as contributed talks selected by the Programme Committee. IMPORTANT DATES: * submission June 17th, 2016 * notification July 4th, 2016 * workshop September 2nd-3rd, 2016 PROGRAMME CHAIRS Ugo dal Lago (Università degli Studi di Bologna) Ian Pratt-Hartmann (University of Manchester) INVITED SPEAKERS: Anupam Das (Ecole Normale Supérieure de Lyon) Hugo Férée (Technische Universität Darmstadt) Yevgeny Kazakov (Ulm University ) Emanuel Kieroński (Wrocław University) SUBMISSION: We welcome submissions of abstracts based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. There will be no formal reviewing as is usually understood in peer-reviewed conferences with published proceedings. The Programme Committee will check relevance and may provide additional feedback. Submissions must be in English and in the form of an abstract of about 3-4 pages. All submissions should be made through Easychair at: https://easychair.org/conferences/?conf=lcc2016 PROGRAMME COMMITTEE: Clément Aubert (Appalachian State University) Marc Bagnol (University of Ottawa) Stéphane Demri (CNRS and ENS de Cachan) Agi Kurucz (King's College, London) Olivier Laurent (CNRS and ENS de Lyon) Yavor Nenov (University of Oxford) Aleksy Schubert (University of Warsaw) Jakob Grue Simonsen (University of Copenhagen) Lidia Tendera (University of Opole) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From panpap at ics.forth.gr Wed Jun 1 16:24:01 2016 From: panpap at ics.forth.gr (Panagiotis Papadopoulos) Date: Wed, 1 Jun 2016 17:24:01 +0300 Subject: STM - Call for papers Message-ID: <574EF001.3020801@ics.forth.gr> ====================================================== 12th International Workshop on Security and Trust Management (STM) Heraklion, Crete, Greece - September 26-30, 2016 http://stm2016.ics.forth.gr/ Call for Papers ====================================================== STM (Security and Trust Management) is a working group of ERCIM (European Research Consortium in Informatics and Mathematics). STM 2016 is the twelfth workshop in this series and will be held in Heraklion, Crete, Greece on September 30th, 2016, in conjunction with the 21st European Symposium On Research in Computer Security (ESORICS 2016 http://www.ics.forth.gr/esorics2016/). The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of security and trust in ICTs. Important Dates ------------------------------------ * Paper Submission due: *June 23, 2016* * Notification to authors: *July 29, 2016* * Camera ready due: *August 7, 2016* Submission Instructions ------------------------------------ Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. All submissions should be appropriately anonymized (i.e., papers should not contain author names or affiliations, or obvious citations). Submissions should be at most 16 pages, including the bibliography and well-marked appendices, and should follow the LNCS style (author instructions can be found here http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions are to be made to the submission web site at https://www.easychair.org/conferences/?conf=stm2015. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Papers must be received by the deadline. Authors of accepted papers must guarantee that their papers will be presented at the workshop. The proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. Topics of interest ------------------------------------ * Access control * Mobile security * Security and trust in the Internet of Things * Anonymity * Networked systems security * Security and trust in pervasive computing * Applied cryptography * Operating systems security * Security and trust in services * Authentication * Privacy * Security and trust in social networks * Complex systems security * Security and trust metrics * Social implications of security and trust * Data and application security * Security and trust policies * Trust assessment and negotiation * Data protection * Security and trust management architectures * Trust in mobile code * Data/system integrity * Security and trust for big data * Trust models * Digital right management * Security and trust in cloud environments * Trust management policies * Economics of security and privacy * Security and trust in content delivery networks * Trust and reputation systems * Formal methods for security and trust * Security and trust in crowdsourcing * Trusted platforms * Identity management * Security and trust in grid computing * Trustworthy systems and user devices * Legal and ethical issues Program Chairs ------------------------------------ * Gilles Barthe, IMDEA Software Institute, Spain * Evangelos Markatos, FORTH, Greece Publicity Chair ------------------------------------ * Panagiotis Papadopoulos, FORTH, Greece Program Committee ------------------------------------ To be announced From praise2016publicity at gmail.com Fri Jun 3 09:41:02 2016 From: praise2016publicity at gmail.com (Nadin Kokciyan) Date: Fri, 3 Jun 2016 10:41:02 +0300 Subject: 2nd CFP: Workshop on AI for Privacy and Security (PrAISe) @ ECAI 2016 Message-ID: **************************************************************************************** The International Workshop on AI for Privacy and Security PrAISe 2016 http://mas.cmpe.boun.edu.tr/praise2016 to be held with ECAI 2016 (http://www.ecai2016.org) 29 August - 2 September, 2016. The Hague, Holland **************************************************************************************** ------------------------------ NEW!! ------------------------------ - We will auto-accept long versions of papers, which have been accepted to ECAI as short papers. - We will allow submission of revised versions of rejected ECAI papers until July 16th, given that the authors also submit the ECAI reviews. ------------------------------ DESCRIPTION ------------------------------ Research in security and privacy is nowadays one of the hottest topics in computer science. This is because these topics are of capital importance to the development of a sustainable, resilient and prosperous cyber world. This includes protecting crucial assets ranging from Critical Infrastructures to individual's Personal Information, and it spans domains like Cloud computing, Social Computing, Electronic Commerce and many more. Approaches that are intelligent and self-adaptable are required to deal with the complexities of effectively protecting these crucial assets in all these domains. This is where research from the AI community can make a difference in security and privacy. Indeed, these two areas are increasingly receiving more and more attention from the AI community. The focus of the International Workshop on AI for Privacy and Security (PrAISe) is to provide a forum to discuss and advance security and privacy by means of *AI approaches*. Specific topics for this workshop include but are not limited to: * Cloud Computing Security and Privacy * Social Software / Social Computing Security and Privacy * Online Social Networks Security and Privacy * Cyber-Physical Systems Security and Privacy * Internet of Things Security and Privacy * Game-theoretic approaches to Security and Privacy * Trust modelling in the context of Security and Privacy * Norms and Normative Systems for Security and Privacy * Machine Learning and Data Mining for Security and Privacy * AI approaches for detecting Security and privacy violations * Access Control * Adversarial Modelling * Automated Vulnerability Assessment / Penetration Testing * Critical Infrastructure Protection * CyberCrime and CyberWar * Data Leakage and Exfiltration * Denial of Service / Distributed Denial of Service (DoS/DDoS) * Digital Forensics * Distributed collaboration patterns of malicious software and their discovery * Human Behaviour Modelling and Human Factors * Insider Threat * Intrusion Detection/Prevention Systems * Learning/Recommendation/Negotiation of Security and Privacy Policies * Validation and verification of security and privacy policies * Multi-party/Multi-agent Access Control * Privacy and Personal Information Protection * Resilience and Robustness * Risk Assessment and Management, and Risk Mitigation Strategies --------------------------------- IMPORTANT DATES --------------------------------- * Paper Submission Deadline: JUNE 12, 2016 * Paper Acceptance Notification: JULY 4, 2016 * Camera-ready copies due: JULY 11, 2016 * Workshop Date: AUGUST 30, 2016 --------------------------------- ORGANIZING COMMITTEE --------------------------------- * Natalia Criado (King’s College London, UK) * Ozgur Kafali (North Carolina State University, US) * Nadin Kokciyan (Bogazici University, Turkey) * Martin Rehak (Cisco Systems, Czech Republic) * Jose M. Such (Lancaster University, UK) * Pinar Yolum (Bogazici University, Turkey) --------------------------------- PROGRAM COMMITEE --------------------------------- * Vicent Botti (DSIC, Universidad Politecnica de Valencia) * Josep Domingo-Ferrer (Universitat Rovira i Virgili) * Ioana Boureanu (Imperial College London) * Martijn Warnier (Delft University of Technology) * Jim Blythe (USC Information Sciences Institute) * Igor Kotenko (SPIIRAS) * Chris Hankin (Imperial College London) * Salvatore Vitabile (University of Palermo) * Christopher Kiekintveld (University of Texas at El Paso) * Awais Rashid (Lancaster University) * Andrea Omicini (Alma Mater Studiorum–Università di Bologna) * Laurent Vercouter (LITIS lab, INSA de Rouen) * Alexei Lisitsa (University of Liverpool) * Michael Rovatsos (School of Informatics, The University of Edinburgh) * Lucas Kello (Belfer Center for Science and International Affairs, Harvard University) * Grégory Bonnet (Université de Caen Normandie) * Gilbert Peterson (US Air Force Institute of Technology) * Javier Bajo (Universidad Politécnica de Madrid) * Alvaro Cardenas (University of Texas) * Gaurav Misra (Lancaster University) * Haralambos Mouratidis (University of Brighton) * Zahia Guessoum (LIP6, Universit de Paris 6) * Vicenc Torra (U. Skövde) * Tomas Pevny (Czech Technical University in Prague) * Ana Garcia-Fornes (DSIC, Universidad Politecnica de Valencia) * Pascal Bouvry (University of Luxembourg) * Dieter Hutter (DFKI, Bremen University) * Ricard L. Fogues (DSIC, Universidad Politecnica de Valencia) * Pasquale Malacaria (Queen Mary University of London) --------------------------------- SUBMISSION and REVIEW DETAILS --------------------------------- Papers will be peer-reviewed by at least 3 reviewers from the Program Committee. Criteria for the selection of papers will include: high quality, clear presentation, novelty of research, relevance to the topics and taking an AI-based approach, coverage of relevant state of the art and the relevance to security and privacy problems. Submissions must follow ACM format and can be of two types: - Full Papers (maximum of 8 pages) about completed work or work in progress. - Position Papers (2-4 pages) reporting views or ambitions, or describing problems. Papers must be submitted in pdf format via the conference management system, available at: https://easychair.org/conferences/?conf=praise16 ---------------------------------- PUBLICATION DETAILS ---------------------------------- Workshop proceedings will be published by ACM, in its prestigious International Conference Proceedings Series with ISBN. A special session of ACM ToIT on topics related to this workshop has been accepted. -------------------------- CONTACT -------------------------- PrAISe Organising Committee (praise16 at easychair.org) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sat Jun 4 01:27:23 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 04 Jun 2016 01:27:23 +0200 Subject: AlCoB 2016: call for participation Message-ID: <545102060a010b0a035155070709020107540753005357570a035802060e5b0706565700500e0850015e51510350@grlmc_ip-zone_com-6> AlCoB 2016: call for participation******************************************************************** 3rd INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2016 Trujillo, Spain June 21-22, 2016 Organized by: Computer Architecture and Logic Design Group (ARCO) University of Extremadura Extremadura Centre for Advanced Technologies (CETA-CIEMAT) and Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/AlCoB2016/ ******************************************************************** PROGRAM Tuesday, June 21 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    S. Cenk Sahinalp: Big Data Algorithmics for Cancer Genomics - Invited Lecture 10:30 - 11:00    Coffee Break 11:00 - 12:15 Daniel Figueiredo: Relating Bisimulations with Attractors in Boolean Network Models Tibor Kmet, Maria Kmetova: Neural Network Simulation of Feeding Adaptations of Daphnia Charmi Panchal, Sepinoud Azimi, Ion Petre: Generating the Logicome of a Biological Network 12:15 - 12:30    Break 12:30 - 13:20 Cedric Chauve, Julien Courtiel, Yann Ponty: Counting, Generating and Sampling Tree Alignments Esteban López-Camacho, María Jesús García Godoy, José García-Nieto, Antonio J. Nebro, José F. Aldana Montes: A New Multi-objective Approach for Molecular Docking Based on RMSD and Binding Energy 13:20 - 15:20    Lunch 15:20 - 16:10 Saad Mneimneh, Syed Ali Ahmed: Gibbs/MCMC Sampling for Multiple RNA Interaction with Sub-optimal Solutions Sourya Bhattacharyya, Jayanta Mukhopadhyay: Accumulated Coalescence Rank and Excess Gene Count for Species Tree Inference 16:10 - 16:25    Break and Group Photo 16:25 - 17:15    Evan Eichler: De Novo Genome Assembly and Structural Variation - Invited Lecture 17:15 - 17:30    Break 17:30 -        Poster presentations Wednesday, June 22 09:00 - 09:50     David Sankoff: The Trees in the Peaks - Invited Lecture 09:50 - 10:20    Coffee Break 10:20 - 11:35 Agnieszka Mykowiecka, Pawel Górecki: Bootstrapping Algorithms for Gene Duplication and Speciation Events Laura Urbini, Blerina Sinaimeri, Catherine Matias, Marie-France Sagot: Robustness of the Parsimonious Reconciliation Method in Cophylogeny Carlo Comin, Anthony Labarre, Romeo Rizzi, Stéphane Vialette: Sorting with Forbidden Intermediates 11:35 - 11:50    Break 11:50 - 13:05 Simone Faro: Evaluation and Improvement of Fast Algorithms for Exact Matching on Genome Sequences Mikko Rautiainen, Leena Salmela, Veli Mäkinen: Identification of Variant Compositions in Related Strains without Reference Sergey P. Tsarev, Michael G. Sadovsky: New Error Tolerant Method for Search of Long Repeats in DNA Sequences 13:05 - 13:15    Closing 13:15 -        Lunch -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From leon.vandertorre at uni.lu Sat Jun 4 21:56:58 2016 From: leon.vandertorre at uni.lu (Leon VAN DER TORRE) Date: Sat, 4 Jun 2016 12:56:58 -0700 Subject: Postdoc position in Cognitive and Social Robotics at the University of Luxembourg (2nd call) Message-ID: <5753328A.3020602@uni.lu> The University of Luxembourg invites applications for a Postdoc position in Cognitive and Social Robotics in the Computer Science and Communications Research Unit (CSC) of the Faculty of Science, Technology and Communication (FSTC). The Individual and Collective Reasoning Group (ICR) of Prof. Leon van der Torre is seeking an outstanding postdoc to strengthen its research team in the area of cognitive/AI-based robotics and to help developing the Robolab, the "autonomous robotics" lab of the CSC research unit. The research interests of ICR, which also collaborates with other local robotics groups, include normative multi-agent systems, deontic reasoning (with machine ethics), and knowledge representation and reasoning for intelligent agents/robots. One of our visions are social robots able to meaningfully interact with their human partners. The postdoc is expected to pursue state of the art research activities in social and cognitive robotics, to collaborate with researchers in and outside of ICR, to help managing the robolab, to write research proposals, to supervise PhD and master students, to moderately contribute to teaching in relevant areas, and to participate in public activities. He/she will work under the supervision of Prof. Leon van der Torre. Profile of the candidate: - PhD in any discipline relevant to this area of research. - Expertise in cognitive robotics and robotic software development. - A background in logic and knowledge representation. - Fluent written and verbal communication skills in English. - Commitment, creativity, and teamwork skills. Profile of the employer: - The salary is very competitive. - You will work in a stimulating international and interdisciplinary environment. - The University of Luxembourg is an equal opportunity employer. Nature of the position: - Ref: F1-070022. - Duration: 24 months initial contract, extendable by 12 months, full-time (40h/week). - Start: September 15, 2016, or earlier. Note that non-EU candidates need quite some time for their visa and work permits. Submission applications (electronically): http://emea3.mrted.ly/11e64 - send a detailed CV (contact address, studies with grades, work experience, publication list), - an abstract of your thesis, - a list of 3 referees, - a motivation letter, - a description of possible research interests/ideas Application deadline: June 30, 2016. Applications are processed until the vacancy is filled. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From s.verberne at cs.ru.nl Mon Jun 6 10:26:06 2016 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Mon, 6 Jun 2016 04:26:06 -0400 Subject: ECAI2016: Call for Demos Message-ID: Call for system demonstrations: ECAI 2016 *22nd European Conference on Artificial Intelligence – ECAI 2016 (* *www.ecai2016.org* *)* *29 August - 2 September 2016, The Hague, The Netherlands* The biennial European Conference on Artificial Intelligence (ECAI) is Europe’s premier venue for presenting scientific results in AI. Under the general theme of “AI for human values”, the 22nd edition of ECAI will be held in the city of The Hague, in sight the Peace Palace, seat of the International Court of Justice, a location highly appropriate to the conference theme. We invite the submission of system demonstrations in the form of life software demo’s or canned video’s, to be shown at the demo and poster market on all days of the main conference. The System Demonstrations track provides AI researchers and practitioners with an opportunity to demonstrate impressive and innovative systems employing AI methods. We invite applications for demonstrations of a non-commercial nature from universities, research institutes and industry. Commercial demos may approach the ECAI 2016 sponsor chair for further information (sponsorship at ecai2016.org). The aim of a demonstration should be to make the attendees aware and enthusiastic about the applications of AI methods. It also provides an opportunity to obtain feedback from the AI community. Important dates • System demo submission: 27th June 2016 (23:59:59 CET) • Notification of acceptance: 1st July 2016 (in time for the early conference registration deadline of 5th July) Submission - A 150-word summary of the demonstration in plain text. Please include title, demonstrator names, and affiliations. This summary will be used to compile a programme for the demonstrations. - A 1-2-page system and demonstration description. This description should show that a working system exists and should convince the demo selection committee that the demo is exciting, innovative and relevant by showing how AI techniques are used in novel ways or in novel types of applications. The description may contain still images or pointers to a video, or even the URL of an online version of the demo. - A detailed description of hardware and software requirements, such as space, power supplies, network requirements, etc. Demonstrators are encouraged to be flexible in their requirements. Please state what you can bring yourself and what you absolutely must have provided at the venue. We will do our best to accommodate your needs. The submission and review of system demonstrations for ECAI 2016 is done by sending an e-mail with both summary and description of system and requirements to: demo-chairs at ecai2016.org. -- Suzan Verberne, researcher Centre for Language and Speech Technology Radboud University Nijmegen Tel: 0031 24 36 53431/15775 Email: s.verberne at let.ru.nl http://sverberne.ruhosting.nl -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Mon Jun 6 15:18:49 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 6 Jun 2016 16:18:49 +0300 Subject: 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Third Call for Papers Message-ID: ** Third Call for Papers *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBUaGlyZCBDYWxsIGZvciBQYXBlcnMJMjkJTGlzdHMJMjk4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiui.acm.org%2F2017 Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. Why you should submit to ACM IUI: At ACM IUI, we focus on the interaction between machine intelligence and human intelligence. While other conferences focus on one side or the other, we address the complex interaction between the two. We welcome research that explores how to make the interaction between computers and people smarter, which may leverage solutions from data mining, knowledge representation, novel interaction paradigms, and emerging technologies. We strongly encourage submissions that discuss research from both HCI and AI simultaneously, but also welcome works that focus more on one side or the other. The conference brings together people from academia, industry and non-profit organizations and gives its participants the opportunity to present and see cutting-edge IUI work in a focused and interactive setting. It is large enough to be diverse and lively, but small enough to allow for extensive interaction among attendees and easy attendance to the events that the conference offers, ranging from oral paper presentations, poster sessions, workshops, panels and doctoral consortium for graduate students. Submission Full and Short Papers We invite original paper submissions that describe novel user interfaces, applications, interactive and intelligent technologies, empirical studies, or design techniques. IUI 2017 especially encourages submissions on innovative and visionary new concepts or directions for the design of intelligent interfaces. We do not require evaluations with users, but we do expect papers to include an appropriate evaluation for their stated contribution. Accepted papers will appear in the ACM Digital Library and citation indices. A selected set of accepted top quality full papers will be invited to submit their extended versions for publication in an ACM Transactions on Interactive Intelligent Systems (TiiS, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBUaGlyZCBDYWxsIGZvciBQYXBlcnMJMjkJTGlzdHMJMjk4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Ftiis.acm.org%29 special issue titled "Highlights of IUI 2017". Examples of ACM IUI topics of interest include, but are not limited to: · Intelligent visualization tools · User-Adaptive interaction and personalization · Recommender systems · Intelligent wearable, mobile and ubiquitous interfaces · Modeling and prediction of user behavior · Information retrieval and search · Education and learning-related technologies · Social media analysis · Multi-modal interfaces (speech, gestures, eye gaze, face, physiological information etc.) · Natural language and speech processing · Generation of multimodal content · Big Data and analytics · Smart environments and tangible computing · Intelligent assistants for complex tasks · Collaborative interfaces · Persuasive and assistive technologies in IUI · Affective and aesthetic interfaces · Interactive machine learning · Planning and plan recognition for IUI · Knowledge-based approaches to user interface design and generation · Proactive and agent-based user interaction · Example-and demonstration-based interfaces · Evaluations of intelligent user interfaces Submission Guidelines · Full paper (anonymized 10 pages, references do not count toward the page limit) should make substantial, novel, and relevant contribution to the field. · Short paper (anonymized 4 pages, references do not count toward the page limit) is a much more focused and succinct contribution to the field. Short papers are not expected to include a discussion of related work that is as broad and complete as that of full papers. · Anonymization: ACM IUI uses a double-blind review process. All submissions must be appropriately anonymized according to the following guidelines: 1. Author's names and affiliations are not visible anywhere in the paper. 2. Acknowledgements should be anonymized or removed during the review process. 3. Self-citations should be included where necessary, but must use the third person. For example, "... as shown in our previous user study [2] ..." is not allowed, whereas "... as shown in Smith et al. [2] " is acceptable (because in this case the citation [2] will NOT be perceived as self-citation). Failure to follow these guidelines may results in submissions being rejected without review. Submissions should follow the standard SigCHI format available here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBUaGlyZCBDYWxsIGZvciBQYXBlcnMJMjkJTGlzdHMJMjk4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform%2F . You may use either the Microsoft Word template or the LaTeX template. Accepted full papers will be invited for oral presentation. Accepted short papers will be invited either as oral or poster presentation, depending on the quality of the papers. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) Important Dates · Abstracts: October 9, 2016 · Full and Short Papers: October 14, 2016 · Reviews to Authors: November 21, 2016 · Rebuttals: November 25, 2016 · Notification of Decisions: December 9, 2016 Committees General Chairs · Tsvika Kuflik, University of Haifa, Israel · George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Chairs · Fang Chen, NICTA, Australia · Carlos Duarte, University of Lisbon, Portugal · Wai-Tat Fu, University of Illinois at Urbana-Champaign, USA Posters/Demos Chairs · Andrina Granic, University of Split, Croatia · Denis Parra. PUC, Chile · Jingtaw Wang, University of Pittsburgh, USA Workshops/Tutorials Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA Student Consortium Chairs · Peter Brusilovsky, University of Pittsburgh, USA · Katrien Verbert, KULeuven, Belgium Student Volunteers Chairs · Christos Mettouris, University of Cyprus, Cyprus · Tobias Grosse-Puppendahl, Microsoft Research, UK · Julia Sheidin, University of Haifa, Israel Sponsorship Chairs · Daniel Sonntag, DFKI, Germany (for Europe) · Feng Tian, Institute of Software Chinese Academy of Sciences, China (for Asia) Treasurer · George A. Papadopoulos, University of Cyprus, Cyprus Proceedings Chair · Daniel Afergan, Google, USA Web Master · Marios Christou, Easy Conferences, Cyprus · Kyriakos Georgiades, Easy Conferences, Cyprus -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From amedeo.napoli at loria.fr Mon Jun 6 18:25:11 2016 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Mon, 6 Jun 2016 18:25:11 +0200 (CEST) Subject: Final CFP FCA4AI Workshop at ECAI 2016 **** EXTENDED DEADLINE June 15 2016 **** Message-ID: <220081168.8573861.1465230311186.JavaMail.zimbra@loria.fr> ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Fifth Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with ECAI 2016, The Hague, Netherlands August 30 2016 http://www.fca4ai.hse.ru/2016 ------------------------------------------------------------------------------------------------------------------- General Information. The preceding editions of the FCA4AI Workshop (ECAI 2014 and 2012, IJCAI 2015 and 2013) showed that many researchers working in Artificial Intelligence are indeed interested by a powerful method for classification and mining such as Formal Concept Analysis (see CEUR Proceedings Vol-1430, Vol-1257, Vol-1058, and Vol-939). This year, we have the chance to organize a new edition of the workshop in The Hague at the ECAI 2016 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, both from the data analysis and knowledge discovery point of view and from the knowledge representation point of view, including, e.g., ontology engineering. All these works extend the capabilities of FCA and offer new possibilities for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in two main issues: - How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning), learning (clustering, pattern and data mining), natural language processing, information retrieval. - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain. The workshop is dedicated to discuss such issues. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering. - Knowledge engineering and ontology engineering: knowledge representation and reasoning. - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition. The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: June 15, 2016 Notification to authors: July 10, 2016 Final version: July 25, 2016 Workshop: August 30 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be: - technical papers not exceeding 8 pages, - system descriptions or position papers on work in progress not exceeding 4 pages Submissions are via EasyChair at https://www.easychair.org/conferences/?conf=fca4ai2016 (to be opened soon) The workshop proceedings will be published as CEUR proceedings. A selection of the best papers presented at the workshop will be considered for a special issue of a high-level journal. WORKSHOP CHAIRS: Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France Sebastian Rudolph Technische Universitaet Dresden, Germany PROGRAM COMMITTEE (under construction) ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From michal.zawidzki at gmail.com Mon Jun 6 21:38:26 2016 From: michal.zawidzki at gmail.com (=?UTF-8?Q?Micha=C5=82_Zawidzki?=) Date: Mon, 6 Jun 2016 21:38:26 +0200 Subject: 2nd CfP: Non-Classical Logics. Theory and Applications VIII Message-ID: 2nd CALL FOR PAPERS Non-Classical Logics. Theory and Applications VIII http://filozof.uni.lodz.pl/ncl 5-7 September 2016, Łódź, Poland Paper submission deadline (extended): 30 June 2016 AIMS The Conference devoted to non-classical logics was initially held in Łódź in September 2008 and 2009. Next, the Conference was organized alternately: Toruń 2010, Łódź 2011, Toruń 2012, Łódź 2013, Toruń 2015. The conference is aimed to serve as a forum for the effective exchange of novel results and the survey of works in the widely understood non-classical logics and their applications. SCOPE Topics of either theoretical or applied interest include, but are not limited to: - many-valued logics, - modal logics, - non-monotonic logics, - paraconsistent logics, - plausible reasoning, - substructural logics. Other fields of interest, related to: - cognitive science, - computer science, - formal ontology, - foundations of mathematics, - philosophy of language, - philosophy of mind are also welcome. IMPORTANT DATES Paper submission deadline: 30 June 2016 Notification of acceptance: 15 July2016 Registration opens: 15 June 2016 Conference: 5-7 September 2016 INVITED SPEAKERS Currently, the list of confirmed invited speakers comprise: - Jean-Yves Béziau (University of Brazil, Rio de Janeiro, Brazil) - Melvin Fitting (Graduate Center, City University of New York, USA) - María Manzano (University of Salamanca, Spain) - Peter Schroeder-Heister (University of Tübingen, Germany) PAPER SUBMISSION Participants are requested to submit extended abstracts of their talks of the length of 3 to 5 pages. The abstracts should be typed in LaTeX and formatted according to the Studia Logica style, files for which will be available at the conference website. If for any reasons a participant is unable to provide a LaTeX-formatted file, Word-formatted files will also be accepted. All abstracts should be submitted via Non-Classical Logics EasyChair website: https://www.easychair.org/conferences/?conf=ncl16 At least one of the authors of an accepted abstract must register for, and attend, the conference for the contribution to be presented. PUBLICATION All authors of accepted abstracts will be invited to submit a full-length version of their papers (of up to 18 pages) which, upon a peer-reviewing process, will be included in a special issue of 'Bulletin of the Section of Logic'. PROGRAM COMMITTEE - Jean-Yves Béziau (University of Brazil, Rio de Janeiro, Brazil) - Valentin Goranko (Stockholm University, Sweden) - Alexander Leitsch (University of Technology in Vienna, Austria) - Sara Negri (University of Helsinki, Finland) - Sergei Odintsov (State University of Novosibirsk, Russia) - Francis Jeffrey Pelletier (University of Alberta, Canada) - Peter Schroeder-Heister (University of Tübingen, Germany) - Heinrich Wansing (Ruhr University Bochum, Germany) - Frank Wolter (University of Liverpool, UK) ORGANIZING COMMITTEE - Andrzej Indrzejczak (University of Lodz, Poland) - Tomasz Jarmużek (Nicolaus Copernicus University, Toruń, Poland) - Janusz Kaczmarek (University of Lodz, Poland) - Marek Nasieniewski (Nicolaus Copernicus University, Toruń, Poland) - Andrzej Pietruszczak (Nicolaus Copernicus University, Toruń, Poland) - Michał Zawidzki (University of Lodz, Poland) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Tue Jun 7 11:39:34 2016 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Tue, 7 Jun 2016 11:39:34 +0200 Subject: Last CfP - DARe at ECAI (new deadline: 16 June 2016) Message-ID: <72CE1982-4627-4220-B0C1-2B512DAF0EF0@acm.org> * Please accept our apologies if you receive multiple copies of this call * ** New deadline: 16 June 2016 ** ============================== Call for Papers DARe at ECAI 2016 Date: 29 August 2016 The Hague, Netherlands *** New Deadline: 16 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: 16 June 2016 - Notification: 28 June 2016 - Camera ready: 17 July 2016 - Early registration: 5 July 2016 - Late registration: [TBA] - Workshop date: 29 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, Univ. Artois & CNRS, France) -- Program Committee -- - Natasha Alechina (University of Nottingham, UK) - Grigoris Antoniou (University of Huddersfield, UK) - Ofer Arieli (Academic College of Tel-Aviv, Israel) - Guillaume Aucher (University of Rennes 1 - INRIA, France) - Christoph Beierle (FernUniversitaet Hagen, Germany) - Mario Benevides (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) - Gabriele Kern-Isberner (TU Dortmund, Germany) - Simon Kramer (SK-R&D, Switzerland) - Michael Maher (University of New South Wales, Australia) - João Marcos (Universidade Federal do Rio Grande do Norte, Brazil) - Thomas Meyer (University of Cape Town, South Africa) - 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, Univ. Artois & CNRS F-62300 Lens, France http://member.acm.org/~ijv From prima2016publicity at gmail.com Tue Jun 7 13:27:36 2016 From: prima2016publicity at gmail.com (Nadin Kokciyan) Date: Tue, 7 Jun 2016 14:27:36 +0300 Subject: 3rd Call for Student Session of PRIMA 2016 [scholarships available, deadline extension] Message-ID: PRIMA-2016 Student Session Call for Abstracts and Applications (NEW: !!! Scholarships Available !!!) (NEW: !!! Deadline Extended !!!) August 22-26, 2016, Phuket, Thailand URL: http://prima2016.di.unito.it Co-located with PRICAI 2016 (Pacific Rim International Conference on Artificial Intelligence) ----------------------------------------------------------------- ----------------------------------------------------------------- Deadline for applications: June 20, 2016 Notification of acceptance: June 25, 2016 ----------------------------------------------------------------- Students are invited to submit a two page abstract and apply for a scholarship to attend the student session to be held at the PRIMA conference, Phuket, Bangkok August 22-26, 2016. The confe- rence will feature three invited speakers (Prof. Toru Ishida, Prof. Jörg Müller, and Prof. Phan Minh Dung) and a minischool on computational logic and autonomous agents. The conference venue is one of the best tourist destinations in Thailand. See http://prima2016.di.unito.it/ for more details. The student session provides an opportunity for students to discuss their research interests and career objectives with es- tablished researchers in the field, network with other partici- pants, and receive mentoring about career planning and career op- tions. The student session will expose students to different ar- eas of research within autonomous agents and help build profes- sional connections within the international community of re- searchers. Multiple scholarships are available for students wishing to attend the student session. In addition to the student session, scholars- hip holders will have access to all PRIMA sessions (keynotes, tec- hnical sessions, student session and tutorials) and also to every other PRIMA/PRICAI sessions and events, including the PRIMA workshop (http://prima2016.di.unito.it/npmase.html) and the PRICAI Student Symposium on the Artificial Intelligence and Applications (http://aiat.in.th/pricai2016/front/show/ds-ai), as well as the other workshops. The scholarships are available to students at all levels (doctoral, master, junior-Post doctoral, or bachelor) students. Graduate or post-graduate students should submit items 1, 2, and 3 described below. Undergraduate students need to submit a letter of interest. Applicants should submit: 1. a two-page extended abstract that summarizes the research problem being investigated, the specific contributions made, and directions for the remaining work. The extended abstract has to be formatted using the LNCS format, and is at most to 2 pages, including references. When writing it remember that the audience might not be necessarily knowledgeable in the narrow topic of your thesis. Be sure to introduce the content at a level that the general audience can understand it, but also include enough low- level details for the experts to understand your unique contribu- tions. Accepted extended abstracts will be published in the PRIMA Proceedings and be presented briefly at the student session. 2. a curriculum vitae (2 pages) with background (name, universi- ty), education (degree sought, year/status in degree, previous degrees), employment, and relevant experience in research (publi- cations, presentations, conferences attended, etc). 3. name of the thesis advisor and information, including title, department, affiliation and email address. A request for a letter of support will be emailed to your thesis advisor. All these documents must be joined into a *single PDF file* befo- re submission. For details visit: http://prima2016.di.unito.it -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From frank.loebe at informatik.uni-leipzig.de Wed Jun 8 15:34:42 2016 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Wed, 8 Jun 2016 15:34:42 +0200 Subject: ODLS 2016: 3rd Call for Papers, for Jun 22(!) (7th Workshop on Ontologies and Data in Life Sciences, Sep 29-30, Halle (Saale), Germany) Message-ID: <6ee66271-b4bc-9709-ba24-5d1ea57e74f3@informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ------------------------------------------------------- 3rd Call for Papers >> ODLS 2016 << Submission deadline: June 22, 2016 (strict!) https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2016-ODLS Updates of 3rd to 2nd CfP + submission templates available since Jun 3, 2016 + 11 confirmed PC members (further inquiries pending) Updates of 2nd to 1st CfP + Keynote Speaker: Robert Stevens, University of Manchester, UK + selected contributions -> Journal of Biomedical Semantics + 12 confirmed PC members (further inquiries pending) ------------------ 7th Workshop on Ontologies and Data in Life Sciences (ODLS 2016) Sep 29-30, 2016 Halle (Saale), Germany Scope and Goals of the Workshop ------------------------------- Medicine, biology and life sciences produce hardly manageable and comprehensible amounts of data, information, and knowledge. Their computer-based retrieval, processing, integration, as well as their conceptual foundation, interpretation and application presents ever new challenges to existing methods of knowledge representation, data bases, and data analysis. In the life sciences, enormous data sets are being produced in connection with biological and medical experiments, aiming to unravel biological interconnections for a better understanding in order to offer patients the best possible therapies. Data management and data processing in the life sciences ranges from the best possible integration and usage of distributed, heterogeneous data to the best possible obfuscation of medical data. This integrated workshop covers the overall spectrum of biomedical information management, from experimental data acquisition and preprocessing, across analysis, structuring and interpretation of data, up to developing structured representations of knowledge, in particular in the form of ontologies, with their various applications. The aims of this workshop are to exchange ideas, to discuss new results and applications as well as to inspire cooperation. The workshop has an interdisciplinary character. It fosters the collaboration between ontologists, computer scientists, bio-informaticians, medical information scientists, applied logicians, as well as the cooperation with physicians, bio-chemists, and biometricians. Scientists, professionals as well as students in academia and industry are welcome to share knowledge and experience at ODLS. Topics ------ The following topics are of (equal) relevance for the workshop. Submissions regarding other related topics are likewise welcome. * Ontologies and ontological analysis in biology, medicine and clinical research, e.g. * Ontologies for biological or medical phenotypes * Ontologies for biochemistry, neuro-biology, ecology * Process ontologies in systems biology and medicine * Ontologies for the specification of clinical trial data * Foundational ontologies (with indicated applications in life sciences), e.g. of time and space, properties, roles, functions, material objects * Medical terminologies and their applications * Linking ontologies to terminologies, models and data standards * Methods and tools for the development, management and application of ontologies, e.g. * Ontology crossreferencing, mapping, integration and evolution * Quality assurance, best practices and evaluation of ontologies * Provenance, audit and evidence ontologies in life sciences * Ontology learning and refinement, e.g. by text mining * Ontology portals and libraries * Integrative data semantics * Semantic or ontology-based data annotation, enrichment, analysis and interpretation * Data management methods and systems in biology, medicine and health care, e.g. for * Heterogeneity and integration of data, including of Linked Data and Big Data * Management, retrieval and sharing of Big Data and/or complex data sets * Curation, analysis and visualization of data in life sciences * Omics-data for diagnosis and therapy * Biomedical metadata and metadata management * Generic transformation of clinical data into Semantic Web standards * Data protection of clinical data * Text mining and transformation of unstructured into structured data * Use of biomedical ontologies in text mining * Applications of biomedical ontologies in the Semantic Web, for Linked Open Data or Big Data * Life sciences applications enabled by the Semantic Web or Linked Open Data Important Dates --------------- Submission of contributions: June 22, 2016 (Wed) <-- strict Author notification: August 25, 2016 (Thu) Camera-ready manuscripts due: September 15, 2016 (Thu) Registration: September 18, 2016 (Sun) ODLS Workshop: September 29-30, 2016 (Thu-Fri) Please NOTE: The deadlines include no room for extensions. Especially, the submission deadlines are specified as intended from the beginning, rather than declaring earlier dates in early calls and granting an (initially unknown) deadline extension later. Submission Instructions ----------------------- Submissions to the workshop can be * abstracts of 1-2 pages or * papers of 4-6 pages (any such length is equally welcome; 6 pages is the strict maximum, including references). Contributions in English are highly recommended, but submissions in German can also be accepted. Besides original submissions, __abstracts__ on work accepted for and possibly already presented at other events can likewise be accepted. The preferred file format for submissions is PDF, other admitted formats are Microsoft Word (DOC and DOCX) and Postscript (PS). Corresponding templates for submissions based on LaTeX or on Microsoft Word are available at the ODLS website [1] (since Jun 3, 2016). Contributions must be submitted via the EasyChair conference system at [2] https://easychair.org/conferences/?conf=odls2016 Accepted abstracts and papers will be made available electronically by the date of the workshop. After the workshop, authors of selected submissions will be invited to submit revised and extended versions to the Journal of Biomedical Semantics [3]. Keynote Speaker(s) ------------------ * Robert Stevens, University of Manchester, UK (Topic TBA) (1 further inquiry pending, see [1] for updates) Scientific Organization ----------------------- ODLS 2016 is associated with the group Ontologies in Biomedicine and Life Sciences (OBML) [4] within the German Informatics Society (GI), and it is a Supported Event of the International Association for Ontology and its Applications (IAOA) [5]. Scientific Co-organizers: * Martin Boeker, University of Freiburg * Heinrich Herre, University of Leipzig * Ludger Jansen, University of Rostock * Frank Loebe, University of Leipzig <-- main contact [6] * Daniel Schober, Leibniz Institute of Plant Biochemistry, Halle (Saale) Location and Local Organization ------------------------------- The workshop is hosted by the Leibniz Institute of Plant Biochemistry (IPB) [7] in Halle (Saale), Germany. Local Co-organizers: * Daniel Schober, <-- main local contact [8] AG Bioinformatics & Mass Spectrometry, IPB * Steffen Neumann, AG Bioinformatics & Mass Spectrometry, IPB * Stefan Brass, Institute for Computer Science, Martin-Luther-University of Halle-Wittenberg Program Committee ----------------- * Adrien Barton, University of Sherbrooke University, Canada * Martin Boeker, University of Freiburg * Jesualdo Tomás Fernández-Breis, University of Murcia, Spain * George Gkoutos, University of Birmingham, UK * Anika Groß, University of Leipzig * Heinrich Herre, University of Leipzig * Robert Hoehndorf, King Abdullah University of Science and Technology (KAUST), Thuwal, Saudi Arabia * Ludger Jansen, University of Rostock * Toralf Kirsten, University of Leipzig * Frank Loebe, University of Leipzig * Wolfgang Müller, HITS gGmbH, Heidelberg * Fabian Neuhaus, Otto von Guericke University Magdeburg * Axel Ngonga-Ngomo, University of Leipzig * Anika Oellrich, King's College London, UK * Oscar Pastor, Polytechnical University of Valencia, Spain * Dietrich Rebholz-Schuhmann, Insight Centre f. Data Analytics, Galway, Ireland * Daniel Schober, Leibniz Institute of Plant Biochemistry (IPB), Halle (Saale) * Falk Schreiber, Monash University, Melbourne, Australia * Stefan Schulz, Medical University Graz, Austria * Aleksandra Sojic, Institute of Industrial Technologies and Automation, National Research Council (ITIA-CNR), Milano, Italy * Holger Stenzhorn, Saarland University Medical Center, Homburg * George Tsatsaronis, Technical University of Dresden * Dagmar Waltemath, University of Rostock (few further inquiries pending, see [1] for updates) Sponsor ------- The organizers acknowledge generous sponsorship by OntoChem IT Solutions [9], Halle (Saale), Germany. Links ----- [1] Workshop website https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2016-ODLS http://tinyurl.com/odls-2016 [2] EasyChair submission site https://easychair.org/conferences/?conf=odls2016 [3] Journal of Biomedical Semantics http://jbiomedsem.biomedcentral.com/ [4] OBML website https://wiki.imise.uni-leipzig.de/Gruppen/OBML [5] IAOA website http://iaoa.org/ [6] Main contact: Frank Loebe https://wiki.imise.uni-leipzig.de/FrankLoebe [7] Local organization website http://www.ipb-halle.de/en/ [8] Local main contact: Daniel Schober http://www.ipb-halle.de/en/employee/daniel-schober/ [9] OntoChem IT Solutions (Sponsor) website http://www.ontochem.de/ ------------------------------------------------------- From valentina.ivanova at liu.se Thu Jun 9 17:29:52 2016 From: valentina.ivanova at liu.se (Valentina Ivanova) Date: Thu, 9 Jun 2016 15:29:52 +0000 Subject: [CfP] Visualization and Interaction for Ontologies and Linked Data (ISWC Workshop & JWS Special Issue) Message-ID: <4B07F535C1DBB043B4E107FAA728DD2022480C13@MB2-2010.ad.liu.se> We are glad to announce that there will be two opportunities to share your research on "Visualization and Interaction for Ontologies and Linked Data" in the near future. First, we will organize another edition of the VOILA workshop at ISWC this year: http://voila2016.visualdataweb.org The deadline for paper submissions is *July 1, 2016*. We welcome papers addressing one (or more) of the following topics, subjects, and contexts (non-exclusive list): * Topics: * visualizations * user interfaces * visual analytics * requirements analysis * case studies * user evaluations * cognitive aspects * Subjects: * ontologies * linked data * ontology engineering (development, collaboration, ontology design patterns, alignment, debugging, evolution, provenance, etc.) * Contexts: * classical interaction contexts (desktop, keyboard, mouse, etc.) * novel interaction contexts (mobile, touch, gesture, etc.) * special settings (large, high-resolution, and multiple displays, etc.) * specific user groups and needs (people with disabilities, domain experts, etc.) Second, we are currently preparing a special issue on the topic of "Visualization and Interaction for Ontologies and Linked Data" in the "Journal of Web Semantics". The deadline for paper submissions is *January 31, 2017*. See the following call for more details on the special issue: http://journalofwebsemantics.blogspot.de/2016/05/cfp-special-issue-on-visualization-and.html We are looking forward to your submissions, Valentina Ivanova, Linköping University Patrick Lambrix, Linköping University Steffen Lohmann, Fraunhofer IAIS Catia Pesquita, University of Lisbon -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From masjap at bath.ac.uk Thu Jun 9 20:32:11 2016 From: masjap at bath.ac.uk (Julian Padget) Date: Thu, 9 Jun 2016 19:32:11 +0100 Subject: Final CfP: COIN@ECAI 2016 - The Hague, NL, August 30th Message-ID: <5759B62B.7000806@bath.ac.uk> [with apologies for cross-posts] Final Call for papers: COIN at ECAI 2016 *** PLEASE NOTE: DATE CHANGES AND SUBMISSION POLICY CHANGES *** *** Abstract submission for new papers: 9th June *** *** Submission deadline for new papers: 12th June *** *** Abstract submission for ECAI(2016)-reviewed papers: ASAP after ECAI notification *** *** Submission deadline for ECAI(2016)-reviewed papers: 16th June *** UPDATE (2016-06-01): the postponement of the ECAI notification date to June 10th creates further pressure. To accommodate submission of rejected papers and long versions of accepted short papers from ECAI, COIN will accept, for review, papers that are *accompanied by their ECAI reviews* until June 16th. The schedule below is updated to reflect this situation. PLEASE NOTE: the submission deadline is hard due to the tight timing derived from the ECAI schedule for main conference decisions (June 7th) and for early registration (July 5th). The registration deadline means COIN, like other workshops, is being asked to publish decisions by June 28th, giving two weeks for reviewing plus two days for decision-making. Hence abstract submission is critical to allow bidding to take place beforehand. Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN at ECAI2016) (http://www.cs.bath.ac.uk/coin at ecai2016) A workshop co-located with the European Conference on Artificial Intelligence 2016 (http://www.ecai2016.org/) August 30, 2016, The Hague, The Netherlands OBJECTIVES The emergence of open socio-technical systems raises a range of challenges and opportunities for research and technological development in the area of autonomous agents and multi-agent systems. In particular, human expectations about software behaviour - justified or not - significantly affect the evolution of human attitudes towards, acceptability of and creation of trust in such systems. Consequently, mechanisms that transmit representations of human values and how software can make decisions that respect them, are potentially significant for the effective design and construction of mixed human/software open systems. Coordination, organizations, institutions and norms are four key governance elements for such systems, and the COIN workshops constitute a space for debate and exploration of these four elements in the design and use of open systems. We seek to attract high-quality papers and an active audience to debate mathematical, logical, computational, methodological, implementational, philosophical and pragmatic issues related to the four aspects of COIN. In particular we seek to attract: * papers that present formal treatment of topics, * papers that present interdisciplinary treatment of topics, * papers that provide experimental support to claims, * papers that discuss tools, prototypes and actual working systems, * papers that propose novel and challenging positions, * papers that report on the experience of deployment and application of regulated open MAS, and * papers concerned with modelling, animation and simulation techniques for these types of multi-agent systems. Of particular interest for the workshop are those papers that articulate a challenging or innovative view. COIN is ranked B on the CORE Conference Ranking list: http://portal.core.edu.au/conf-ranks/2160/ IMPORTANT DATES 2016-06-09 Deadline for abstract submission for new papers 2016-06-12 Deadline for submission for new papers 2016-06-16 Deadline for submission for ECAI(2016)-reviewed papers 2016-06-28 Notification of decisions 2016-07-05 ECAI early registration deadline 2016-07-27 Camera-ready copy due 2016-08-30 Date of workshop INSTRUCTIONS FOR AUTHORS For preparation of papers please follow the instructions for authors available at the Springer LNCS Web page. The length of each paper including figures and references may not exceed 16 pages. All papers must be written in English and submitted in PDF format. For submission of papers, please use the EasyChair site at https://easychair.org/conferences/?conf=coinecai2016. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the workshop to present the work. PROCEEDINGS Preliminary proceedings will be available before the conference. They will also be distributed to ECAI 2016 registrants in electronic form. As with previous COIN workshops, we will have an LNCS post-proceedings. Authors will be invited to submit revised and extended versions of their paper for consideration for a Springer LNCS volume combining the post-proceedings of this workshop with those for the first COIN workshop held earlier in 2016 at AAMAS. Revised papers must take into account the discussion held during the workshop; hence, only papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. COIN at ECAI2016 CO-CHAIRS Julian Padget (University of Bath, United Kingdom) j.a.padget at bath.ac.uk Ana Paula Rocha (University of Porto, Portugal) arocha at fe.up.pt From asdm at fi.upm.es Thu Jun 9 21:15:26 2016 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Thu, 9 Jun 2016 21:15:26 +0200 (CEST) Subject: Eleventh Madrid UPM Advanced Statistics and Data Mining Summer School (June 27th - July 8th, 2016) - Starting in two weeks! Message-ID: <863938868.12.1465499726082.JavaMail.bojan@bojan> Dear colleagues, We would like to remind you that registration for week one of the Madrid UPM Advanced Statistics and Data Mining summer school finishes in two weeks, on June 22nd. Registration for week two finishes a week later, on June 29th. We have opened an additional session of the Deep Learning course, so there are still available places in every course. 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. For the second time in a row, INOMICS has selected our summer school as one of the world's top ten summer schools in mathematics and statistics. You can read more at http://bit.ly/1TweJjj Early registration is *OPEN*. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM There is a 25% discount for members of Spanish AEPIA and SEIO societies. Please, forward this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larranaga, Concha Bielza, Bojan Mihaljevic and 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. Practical session: Python with keras and Jupyter notebooks. Course 6: Unsupervised Pattern Recognition (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advise. Practical session: R. * Week 2 (July 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. Regularized learning. Convex optimization for regularized learning. Practical session: Python with scikit-learn, Jupyter notebooks. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. If you wish to stop receiving emails regarding the Madrid UPM Advanced Statistics and Data Mining summer school, please reply to this email with the title STOP. From loizos at ouc.ac.cy Fri Jun 10 08:20:17 2016 From: loizos at ouc.ac.cy (Loizos Michael) Date: Fri, 10 Jun 2016 06:20:17 +0000 Subject: CFP: 15th European Conference on Logics in Artificial Intelligence (JELIA 2016) Message-ID: --------------------------------------------------------------------------------------------------- 15th European Conference on Logics in Artificial Intelligence (JELIA 2016) --------------------------------------------------------------------------------------------------- CALL FOR PAPERS November 9-11, 2016, Larnaca, Cyprus http://www.cyprusconferences.org/jelia2016/ Abstracts due: June 23; Papers due: June 30 Special Track on: Logic in AI and Cognition Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in Artificial Intelligence. With the depth and maturity of formalisms, methodologies, and logic-based systems today, this claim is stronger than ever. The European Conference on Logics in Artificial Intelligence (or, Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with proceedings published in the Springer-Verlag series Lecture Notes in Artificial Intelligence. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence. --- Call for Papers --- The aim of JELIA 2016 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence including: - Abductive and inductive reasoning - Answer set programming - Applications of logic-based AI systems - Argumentation systems - Automated reasoning including satisfiability checking and its extensions - Computational complexity and expressiveness - Deontic logic and normative systems - Description logics and other logical approaches to semantic web and ontologies - Knowledge representation, reasoning, and compilation - Logic-based data access and integration - Logic programming and constraint programming - Logics for uncertain and probabilistic reasoning - Logics in machine learning - Logics in multi-agent systems, games, and social choice - Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics - Planning and diagnosis based on logic - Preferences - Reasoning about actions and causality - Updates, belief revision and nonmonotonic reasoning --- Special Track --- This year's conference will include a Special Track on "Logic in AI and Cognition", focusing on the use of logics that seek to describe (not prescribe) human cognition, and that can be used for the design of systems that learn, reason, and interact with humans in a natural manner. Topics of interest for this Special Track include: - Logic and natural language - Cognitive knowledge representation and context - Automating commonsense reasoning - Algorithms and data structures for logic-based reasoning at a massive scale - Tradeoffs between representational expressivity and reasoning/learning efficiency - Interaction of logics with connectionist/neural approaches - Conflict resolution across different knowledge bases - Psychologically-inspired logics and psychological evaluation of logics --- Important Dates --- Abstract submission deadline: June 23, 2016 Paper submission deadline: June 30, 2016 Notification of acceptance: August 28, 2016 Final versions due: September 12, 2016 Online registration opens: August 28, 2016 Conference dates: November 9-11, 2016 --- Submission Instructions --- There are two categories for submissions: - Regular papers: Submissions should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere. - System descriptions: Submissions should describe an implemented system and its application area(s). A demonstration is expected to accompany a system presentation. Papers describing systems that have already been presented in JELIA before will be accepted only if significant and clear enhancements to the system are reported and implemented. All submissions should not exceed 13 pages including figures etc., but excluding references. All submissions should be written in English, and should be formatted according to the standard Springer LNCS style. Submissions are not anonymous. The conference proceedings of JELIA 2014 are published by Springer-Verlag in the Lecture Notes in Artificial Intelligence, a sub-series of Lecture Notes in Computer Science (Important note: Springer will require all the LaTeX source files of all accepted submissions). Policy on Multiple Submissions: JELIA 2016 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during JELIA's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. JELIA 2016 submissions are handled through the EasyChair conference management system. Follow this link to register your abstract and submit your paper: https://easychair.org/conferences/?conf=jelia2016 --- Conference Organization --- Program Chair: Loizos Michael, Open University of Cyprus, Cyprus Conference Chair: Antonis C. Kakas, University of Cyprus, Cyprus Program Committee: http://www.cyprusconferences.org/jelia2016/committees.html --------------------------------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sibylle.schwarz at htwk-leipzig.de Fri Jun 10 14:38:03 2016 From: sibylle.schwarz at htwk-leipzig.de (Sibylle Schwarz) Date: Fri, 10 Jun 2016 14:38:03 +0200 Subject: only 5 days left - WLP 2016 Message-ID: <575AB4AB.1070900@htwk-leipzig.de> ====================================================================== CALL FOR PAPERS 30th Workshop on Logic Programming (WLP 2016) Leipzig, Germany, September 12 - 13, 2016 http://nfa.imn.htwk-leipzig.de/WLP2016 part of the Leipzig Week of Declarative Programming (L-DEC) 2016 http://nfa.imn.htwk-leipzig.de/LDEC2016 ====================================================================== The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming Gesellschaft für Logische Programmierung e.V. (GLP) and bring together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany). The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. Contributions are welcome on all theoretical, experimental, and application aspects of logic programming (LP) and constraint programming (CP), including, but not limited to the following areas: Logic Programming and Extensions * foundations of CP and LP * constraint solving and optimisation * functional logic programming, objects * dynamics, updates, states, transactions * interaction of CP and LP with other formalisms like agents, XML, JAVA * parallelism and concurrency * complexity and expressive power * program analysis, program transformation, program verification, meta programming Knowledge Representation and Nonmonotonic Reasoning * deductive databases, data mining * rule-based systems * abductive and inductive logic programming * answer-set programming * semantics and proof-theoretical investigations Application of Logic Programming * logic programming in production, management, environment, education, medicine, internet, etc. * CP/LP for Semantic Web applications and reasoning on the Semantic Web * data modelling for the Web, semistructured data, and Web query languages Implementation of Systems * system descriptions, comparisons, evaluations, benchmarks * implementation techniques * software techniques and programming support (e.g., types, modularity, design patterns, debugging, testing, systematic program development). The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, interesting experiments (e.g., benchmarks) or ongoing scientific work are also encouraged. Submission ========== Authors are invited to submit an extended abstract (no longer than 15 pages including figures and references) or a system description (no longer than 6 pages) in PDF (11pt) via EasyChair http://www.easychair.org/conferences/?conf=wlp2016. All submissions must be unpublished original work. However, work that already appeared in unpublished or informally published workshops proceedings may be submitted, too. All submissions must be written in English and prepared in EPTCS style (http://style.eptcs.org). Selected papers will be published electronically in joint WLP/ WFLP post-conference proceedings in EPTCS. Important Dates =============== Submission of papers: June 15, 2016 (extended) Notification of acceptance: July 15, 2016 Workshop: September 12 - 13, 2016 Program committee ================= Stefan Brass - Univ. Halle Gerhard Brewka - Univ. Leipzig Michael Hanus - CAU Kiel Heinrich Herre - Univ. Leipzig Steffen Hölldobler - TU Dresden Petra Hofstedt - BTU Cottbus Ulrich John - HWTK Berlin Georg Ringwelski - HS Zittau/Görlitz Torsten Schaub - Univ. Potsdam Sibylle Schwarz (chair) - HTWK Leipzig Dietmar Seipel - Univ. Wuerzburg Workshop Organizer =============== Sibylle Schwarz Hochschule für Technik, Wirtschaft und Kultur Leipzig F-IMN, Postfach 301166 04251 Leipzig sibylle.schwarz at htwk-leipzig.de http://www.imn.htwk-leipzig.de/~schwarz From ruy at cin.ufpe.br Fri Jun 10 17:56:43 2016 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Fri, 10 Jun 2016 12:56:43 -0300 Subject: WoLLIC 2016 Call for Participation Message-ID: TWENTY-THIRD ANNUAL WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2016) 16-19 August 2016, Puebla, Mexico http://wollic.org/wollic2016/ http://www.wollic.cs.buap.mx/registration.html * EVENT WoLLIC 2016 will be hosted in Puebla, Mexico during August 16-18, 2016. * INVITED TALKS Pablo Barceló (Universidad de Chile, Chile): "Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints" Dana Bartošová (Univ São Paulo, Brazil): "Ultrafilters in dynamics and Ramsey theory" Johann A. Makowsky (Technion - Israel Institute of Technology, Israel): "Semantic Equivalence of Graph Polynomials Definable in Second Order Logic" Alessandra Palmigiano (TU Delft, The Netherlands): "Proof systems for the logics for social behavior" Sonja Smets (University of Amsterdam, The Netherlands): "Informational Cascades: A Test for Rationality?" Andres Villaveces (Universidad Nacional de Colombia, Colombia): "Sheaves of Metric Structures" * TUTORIALS Pablo Barceló: "Query languages for graph databases" Alessandra Parmigiano: "Sahlqvist correspondence via duality and its applications" Andres Villaveces: "Generalized amalgamation classes and limit models: implicit logics" Johann A. Makowsky: "When is P=NP over arbitrary structures?" * SPECIAL SESSION As a tribute to a recent breakthrough in mathematics, there will be a screening of G. Csicsery's "Counting from Infinity: Yitang Zhang and the Twin Prime Conjecture" (2015) which centers on the life and work of Yitang Zhang in the celebrated Twin Prime Conjecture, the result that there are infinitely pairs of primes separated by at most 70 million. * ACCEPTED PAPERS http://www.wollic.cs.buap.mx/accepted.html * SCIENTIFIC SPONSORSHIP ASL, EACSL, EATCS, FoLLI, IGPL, SBC, SBL -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From missura.olana at gmail.com Sat Jun 11 03:06:30 2016 From: missura.olana at gmail.com (Olana Missura) Date: Fri, 10 Jun 2016 21:06:30 -0400 Subject: PhD Forum at ECML-PKDD 2016: The final call! Message-ID: *PhD Forum at ECML-PKDD 2016: The final call!* ECML-PKDD 2016 includes a PhD Forum on machine learning and knowledge discovery. The purpose of this forum is to provide an environment specifically for junior PhD students to exchange ideas and experiences with peers in an interactive atmosphere and to get constructive feedback from senior researchers in data mining, machine learning, and related areas. Additional information is available at http://www.ecmlpkdd2016.org/submission.html#CallPhD. The papers must be written in English and formatted according to the Springer LNAI guidelines. Author instructions and style files can be downloaded at: http://www.springer.de/comp/lncs/authors.html. To submit, please go to the CMT submission system at https://cmt.research.microsoft.com/ECMLPKDD2016/, and select from the menu the PhD track. *Important Dates* - Paper submission: Wednesday, June 15, 2016 - Author notification: Friday, July 15, 2016 - Camera-ready: Friday, August 5, 2016 - PhD Forum: Monday, September 19, 2016 (tentative) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sun Jun 12 13:28:12 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 12 Jun 2016 13:28:12 +0200 Subject: WebST 2016: early registration deadline 23 June Message-ID: <545102060a010b0a0850590105095003505205540705065205045d07520e57075d0505070a5c0204065452020005@grlmc_ip-zone_com-6> WebST 2016: early registration deadline 23 June*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: June 23, 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, 16 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), Data and Algorithmic Bias 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), 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   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] Introduction to Web Search Engines   Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about   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 and lunches. 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 mire at dtu.dk Tue Jun 14 14:02:52 2016 From: mire at dtu.dk (Michael Reichhardt Hansen) Date: Tue, 14 Jun 2016 12:02:52 +0000 Subject: TIME 2016 --- Extended deadline: June 27th, 2016 In-Reply-To: References: Message-ID: NEW DEADLINE: Full papers due (extended): June 27th, 2016 See http://time2016.compute.dtu.dk/dates.html --------------------------------------------------------------------------------------------------- TIME 2016 23rd International Symposium on Temporal Representation and Reasoning Final Call for Papers http://time2016.compute.dtu.dk TIME 2016 takes place at the Technical University of Denmark. --------------------------------------------------------------------------------------------------- Aim --------------------------------- TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification. The Artificial Intelligence track includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web - constraint-based temporal reasoning - temporal preferences The Database track includes, but is not limited to: - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of business processes and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - temporal aspects and big data - temporal aspects in NoSQL databases - temporal data warehouses - temporal healthcare databases and warehouses - time series analysis and mining - semistructured temporal data - novel applications of temporal database management - novel visualizations and interfaces for temporal data - experiences with real applications The Logic and Verification track includes, but is not limited to: - specification and verification of systems - verification of web applications - synthesis and execution - model-checking algorithms and implementations - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics for games and open systems - temporal logics of knowledge - hybrid systems and real-time logics - cyber-physical systems - tools and practical systems - temporal issues in security Submission --------------------------------- Submissions should be in PDF format (with the necessary fonts embedded). They must be formatted according to the IEEE guidelines and must not exceed 10 pages (US letter format); over-length submissions may be rejected without review. Submissions will be handled electronically by EasyChair: https://easychair.org/conferences/?conf=time2016. Accepted papers will be presented at the symposium and included in the proceedings, which is planned to be published by the Conference Publishing Services (CPS), as usual within the TIME series. Acceptance of a paper is contingent on one author registering for and presenting the paper at the symposium. As in previous years, it is planned that the authors of the best papers of the conference will be invited to submit an extended version of their contribution to a special issue of a well-respected computer science journal. Important Dates --------------------------------- Full papers due: June 27th, 2016 Notification: July 25th, 2016 Final version due: August 10th, 2016 Symposium: October 17-19, 2016 Invited Speakers --------------------------------- Kim Guldstrand Larsen, Aalborg University, Denmark Angelo Montanari, University of Udine, Italy Paolo Terenziani, University of Piemonte Orientale, Alessandria, Italy Program Committee --------------------------------- Alessandro Artale, Free University of Bozen-Bolzano, Italy Sourav Bhowmick, Nanyang Technological University, Singapore Amedeo Cesta, CNR - National Research Council of Italy Anton Dignös, Free University of Bozen-Bolzano, Italy Curtis Dyreson, Utah State University, Utah, USA (Chair) Johann Eder, Alpen Adria University Klagenfurt, Austria Martin Fränzle, Oldenburg University, Germany Shashi Gadia, Iowa State University, USA Rajeev Gore, The Australian National University, Australia Fabio Grandi, University of Bologna, Italy Michael R. Hansen, Technical Univ. of Denmark, Denmark (Chair) Keijo Heljanko, Aalto University, Finland Luke Hunsberger, Vassar College, New York, USA (Chair) Felix Klaedtke, NEC Europe Ltd., Germany Francois Laroussinie, LIAFA, Univ. Paris 7, CNRS, France Martin Leucker, University of Lübeck, Germany Etienne Lozes, LSV, CNRS and ENS Cachan, France Federica Mandreoli, University of Modena and Reggio Emilia, Italy Robert Mattmüller, University of Freiburg, Germany Aniello Murano, Universita' di Napoli "Federico II", Italy Angelo Oddi, ISTC-CNR, Italian National Research Council, Italy Paritosh Pandya, Tata Institute of Fundamental Research, Mumbai, India Dirk Pattinson, The Australian National University, Australia R. Ramanujam, Institute of Mathematical Sciences, Chennai, India Sven Schewe, University of Liverpool, UK Kristian Torp, Aalborg University, Denmark Martin Wehrle, University of Basel, Switzerland Steering Committee --------------------------------- Jan Chomicki, University at Buffalo, State University of New York, USA Carlo Combi, University of Verona, Italy Stephane Demri, CNRS and ENS Cachan, France Clare Dixon, University of Liverpool, UK Luke Hunsberger, Vassar College, USA Martin Lange, University of Kassel, Germany Angelo Montanari, University of Udine, Italy Ben Moszkowski, University of Newcastle, UK Mark Reynolds, The University of Western Australia, Australia Jef Wijsen, Université de Mons, Belgium Local organizers --------------------------------- Michael R. Hansen and Karin Tunder. Both from DTU Compute. Email: time2016(at)compute.dtu.dk Venue --------------------------------- TIME 2016 will take place at the campus of the Technical University of Denmark, hosted by DTU Compute. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.artikis at gmail.com Tue Jun 14 16:11:58 2016 From: a.artikis at gmail.com (Alexander Artikis) Date: Tue, 14 Jun 2016 17:11:58 +0300 Subject: Deadline extension: Special issue on Online Forecasting and Proactive Analytics in the Big Data Era Message-ID: ***DEADLINE EXTENSION: 3 July 2016*** Apologies for cross-posting. =============== CALL FOR PAPERS SPECIAL ISSUE ON ONLINE FORECASTING AND PROACTIVE ANALYTICS IN THE BIG DATA ERA BIG DATA RESEARCH JOURNAL Rapid social, economic and political changes are making organizations shift their thinking from reactive to proactive in order to forecast opportunities and threats that could affect their business. Eliminating or mitigating an anticipated problem, or capitalizing on a forecast opportunity, can substantially improve our quality of life, and prevent environmental and economic damage. Changing traffic light policies and speed limits to avoid traffic congestions, for example, can reduce carbon emissions, optimize public transportation and increase commuter satisfaction. Similarly, adding credit cards to watch-lists as a result of forecasting fraud can reduce the cost inflicted payment processing companies and merchants, and consequently lower credit card costs. Unlike traditional real-time analytics, that refers to the just-in-time processing of recent data, providing the opportunity to additionally implement forecasting supports proactive decision-making. To forecast problems and opportunities that may actually take place in the near future, high velocity data streams from heterogeneous and distributed sources need to be correlated in real-time with high volume historical data. Moreover, forecasting techniques must be resilient to the lack of veracity of the streaming as well as the historical data. We invite quality submissions focusing on all aspects of forecasting using Big Data. We welcome both theoretical contributions as well as papers describing interesting applications. Broad topics include: -Complex event forecasting -Optimisation techniques for forecasting using Big Data -Forecasting under uncertainty -Machine learning for model construction -Scalability and high throughput issues in forecasting -Distributed forecasting systems for handling Big Data -Provenance in forecasting -Benchmarks, performance evaluation, and testbeds -Verification of forecasting models -Visual analytics for forecasting and proactive decision-making -Adaptive forecasting systems -Big Data applications of forecasting systems, such as analytics for the Internet-of-Things (IoT), online web analytics, smart grid analytics, credit card fraud management, traffic forecasting, and fleet management. KEY DATES Submission (extended): 3 July 2016 Notification: 15 September 2016 Revisions: 15 October 2016 Final decision: 1 November 2016 GUEST EDITORS Alexander Artikis, University of Piraeus & NCSR Demokritos, Greece Themis Palpanas, Paris Descartes University, France Peter Pietzuch, Imperial College London, UK Matthias Weidlich, Humboldt-Universitat zu Berlin, Germany SUBMISSION http://www.journals.elsevier.com/big-data-research/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Tue Jun 14 17:25:53 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 14 Jun 2016 11:25:53 -0400 (EDT) Subject: CFP extended deadline - 2nd Global Conference on Artificial Intelligence Message-ID: <20160614152553.403E61216AD@mcclellan.cs.miami.edu> =============================================================================== The 2nd Global Conference on Artificial Intelligence Berlin Germany, 29th September - 2nd October 2016 http://easychair.org/smart-program/GCAI2016/ *** Extended Submission Deadline *** *** (Abstract: 23rd June, Paper: 27th June) *** The 2nd Global Conference on Artificial Intelligence (GCAI 2016) will be held at the Freie Universitaet Berlin from 29th September to 2nd October, 2016. The conference, which addresses all aspects of artificial intelligence, is being organized by LRG (http://www.lrg.global) and the Freie Universitaet Berlin. The program chairs are Christoph Benzmueller, Raul Rojas, and Geoff Sutcliffe. SUBMISSION Submissions in all areas of Artificial Intelligence are welcome, including, but not limited to ... Foundations + Knowledge representation + Cognitive modeling + Perception + Search + Reasoning and programming + Machine learning + Constraints and uncertainty Architectures + Agents and distributed AI + Intelligent user interfaces + Natural language systems and linguistics + Information retrieval + Case-based reasoning + Affective computing + Robotics Applications + Aviation and aerospace + Education and tutoring systems + Games and entertainment + Medicine and healthcare + Management and manufacturing + World Wide Web + Security Implications + Philosophical foundations + Social impact and ethics + Evaluation of AI systems + AI education (EXTENDED) DATES + Abstract registration: 23rd June, 2016 + Submission: 27th June, 2016 + Notification: 1st August, 2016 + Final version: 15th August, 2016 + Early registration deadline: 15th August, 2016 + Conference: 29th September - 2nd October, 2016 SUBMISSION and PUBLICATION Submission is via EasyChair at https://easychair.org/conferences/?conf=gcai2016 The proceedings will be published by EasyChair Publications in the EPiC Series in Computing. The volume will be open access and authors will retain copyright. INVITED SPEAKERS + Daniel Lee, University of Pennsylvania, USA + Simon Colton, Falmouth University and Goldsmiths, University of London, UK PROGRAM COMMITTEE + Natasha Alechina (University of Nottingham) + Jose Julio Alferes (Universidade NOVA de Lisboa) + Serge Autexier (DFKI) + Roman Bartak (Charles University in Prague) + Peter Baumgartner (National ICT Australia) + Christoph Benzmüller (Freie Universität Berlin) - chair + Philippe Besnard (CNRS / IRIT) + Richard Booth (Cardiff University) + Oscar Corcho (Universidad Politécnica de Madrid) + Gabriella Cortellessa (CNR - National Research Council of Italy) + Mehdi Dastani (Utrecht University) + James Delgrande (Simon Fraser University) + Wolfgang Faber (University of Huddersfield) + Germain Forestier (Université de Haute Alsace) + Thom Frühwirth (University of Ulm) + Daniel Garijo (UPM) + Marco Gavanelli (University of Ferrara) + Luis Godo (Artificial Intelligence Research Institute, IIIA - CSIC) + Gianluigi Greco (University of Calabria) + Andreas Herzig (IRIT-CNRS) + Tomi Janhunen (Aalto University) + Ernesto Jimenez-Ruiz (University of Oxford) + Tommi Junttila (Aalto University School of Science) + Panagiotis Kanellopoulos (University of Patras and CTI "Diophantus") + Gabriele Kern-Isberner (Technische Universitaet Dortmund) + Roman Kontchakov (Birkbeck, University of London) + Jérôme Lang (LAMSADE) + Sanjiang Li (University of Technology Sydney) + Jean Lieber (LORIA - INRIA Lorraine) + Alberto Lluch Lafuente (Technical University of Denmark) + Ana Gabriela Maguitman (Universidad Nacional del Sur) + Robert Mattmüller (University of Freiburg) + Julian Mcauley (UC San Diego) + George Metcalfe (University of Bern) + Angelo Montanari (University of Udine) + Manuel Ojeda-Aciego (University of Malaga) + Magdalena Ortiz (Vienna University of Technology) + Sascha Ossowski (University Rey Juan Carlos) + Luís Moniz Pereira (Universidade Nova de Lisboa) + Radu-Emil Precup (Politehnica University of Timisoara) + Fabrizio Riguzzi (University of Ferrara) + Jussi Rintanen (Aalto University) + Raul Rojas (Freie Universität Berlin) - chair + Dumitru Roman (SINTEF) + Marco Roveri (FBK-irst) + Steven Schockaert (Cardiff University) + Gia Sirbiladze (Tbilisi State university) + Thomas Stützle (Université Libre de Bruxelles) + Geoff Sutcliffe (University of Miami) - chair + Jürgen Umbrich (Vienna University of Economy and Business) + Pascal Van Hentenryck (University of Michigan) + Martin Wehrle (University of Basel) + Stefan Woltran (TU Wien) + Inon Zuckerman (Ariel University) =============================================================================== From r.gross at sheffield.ac.uk Tue Jun 14 18:15:22 2016 From: r.gross at sheffield.ac.uk (Roderich Gross) Date: Tue, 14 Jun 2016 17:15:22 +0100 Subject: Final CFP for DARS 2016 (13th International Symposium on Distributed Autonomous Robotic Systems; deadline: 5th July) Message-ID: Dear Colleagues, the following CFP may be relevant to those interested in formal design and verification methods for multi-robot systems. *** Apologies if you have received this CFP more than once *** Final Call for Papers DARS 2016 13th International Symposium on Distributed Autonomous Robotic Systems November 7-9, 2016. Natural History Museum, London, UK Submission deadline: July 5, 2016 News: Special Issue on Distributed Robotics (see publication details) http://dars2016.org Vicon Motion Systems is a Platinum Sponsor of DARS 2016 ABOUT DARS Now in its 13th edition, DARS provides a forum for scientific advances in the theory and practice of distributed autonomous robotic systems. It is a highly selective, single-track meeting that is soliciting submissions presenting significant, original, and previously unpublished research. Distributed robotics is an interdisciplinary and rapidly growing area, combining research in computer science, communication and control systems, and electrical and mechanical engineering. Distributed robotic systems can autonomously solve complex problems while operating in highly unstructured real-world environments. They are expected to play a major role in addressing future societal needs, for example, by improving environmental impact assessment, food supply, transportation, manufacturing, security, and emergency and rescue services. DARS 2016 will build upon past successes and provide an exciting environment to present and discuss the latest technologies, algorithms, system architectures, and applications. All interested researchers and engineers are invited to take part in DARS 2016. Previous editions of DARS took place in 1992, 1994, and 1996 in Japan (Riken, Wako); Karlsruhe, Germany (1998); Knoxville, Tennessee, USA (2000); Fukuoka, Japan (2002); Toulouse, France (2004); Minneapolis, Minnesota, USA (2006); Tsukuba, Ibaraki, Japan (2008); Lausanne, Switzerland (2010); Baltimore, Maryland, USA (2012); and Daejeon, Korea (2014). PUBLICATION DETAILS All accepted contributions will be included as full-length papers in the Proceedings of DARS 2016. The proceedings will be published in the Springer STAR series (Springer Tracts in Advanced Robotics): http://www.springer.com/series/5208 . In addition, the Autonomous Robots journal plans to publish a special issue on Distributed Robotics in cooperation with DARS (details about the open call will be announced in due course). KEYNOTE SPEAKERS Nikolaus Correll - University of Colorado Boulder, USA Vijay Kumar - University of Pennsylvania, USA James AR Marshall - The University of Sheffield, UK Katia Sycara - Carnegie Mellon University, USA SUBMITTING TO DARS 2016 Papers should be formatted according to the style files of Springer Tracts in Advanced Robotics. The page limit is 12 pages. The submission system is available at https://ocs.springer.com/ocs/en/conference/submitpaperto/DARS2016 . Papers are solicited in all areas of distributed autonomous robotics, including, but not restricted to: - Architectures for teams of robots - Self-organizing and self-assembling robotic systems - Swarm robotic systems - Hybrid symbiotic teams (humans and robots, animals and robots) - Learning and adaptation in teams of robots - Modular robotics - Localization and navigation in multi-robot systems - Multi-robot and multi-vehicle motion coordination - Distributed cooperative perception - Distributed cooperative action - Distributed control and planning - Control issues in multi-robot systems - Performance metrics for robot teams - Distributed decision making - Sensor and actuator networks - Networking issues in multi-robot systems - Wireless and robotic sensor networks - Multi-robot applications in exploration, inspection, coverage, search and rescue, service, environmental monitoring, etc. Submission instructions are available on http://dars2016.org . IMPORTANT DATES July 5, 2016 Paper Submission September 7, 2016 Author Notification September 21, 2016 Camera Ready Submission November 7-9, 2016 Conference SPONSORS & EXHIBITORS DARS is technically co-sponsored by the IEEE Robotics and Automation Society. Vicon Motion Systems is a Platinum Sponsor of DARS 2016. If you wish to become a sponsor of, or exhibitor at, DARS 2016, please visit http://dars2016.org . AWARDS The following awards will be presented at the conference: - Best Paper Award (certificate and cash honorarium of USD 1000) - Best Application Paper Award (by IET Robotics & Mechatronics TPN) - Best Poster Award (by Springer) SOCIAL MEDIA Follow us on social media for all the latest updates. Facebook: https://www.facebook.com/DARSSymposium Twitter: https://twitter.com/DARS2016 Google+: https://plus.google.com/104027908184261516130 More information at http://dars2016.org DARS 2016 CONFERENCE COMMITTEE Advisory Committee Hajime Asama - University of Tokyo, Japan Tamio Arai - University of Tokyo, Japan Raja Chatila - UPMC, France Gregory S Chirikjian - Johns Hopkins University, USA Young-Jo Cho - ETRI, South Korea Nak Young Chong - JAIST, Japan Nikolaus Correll - University of Colorado Boulder, USA Ruediger Dillmann - KIT, Germany Toshio Fukuda - Nagoya University, Japan Maria Gini - University of Minnesota, USA M Ani Hsieh - Drexel University, USA Alcherio Martinoli - EPFL, Switzerland Francesco Mondada - EPFL, Switzerland Lynne E Parker - University of Tennessee, USA General Chair Roderich Gross - The University of Sheffield, UK General Co-Chair Andreas Kolling - The University of Sheffield, UK Technical Program Co-Chairs Spring M Berman - Arizona State University, USA Emilio Frazzoli - MIT, USA Alcherio Martinoli - EPFL, Switzerland Fumitoshi Matsuno - Kyoto University, Japan Publication Chair Melvin Gauci - Harvard University, USA Publicity Chair Sabine Hauert - University of Bristol, UK Local Organization Team Louise A Caffrey - The University of Sheffield, UK Ana MacIntosh - The University of Sheffield, UK Stefan Trenkwalder - The University of Sheffield, UK -- Roderich Gross, PhD SMIEEE Senior Lecturer in Robotics and Computational Intelligence The University of Sheffield Department of Automatic Control and Systems Engineering http://www.shef.ac.uk/acse/staff/roderich-gross -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pedro.lopez at imdea.org Tue Jun 14 23:16:33 2016 From: pedro.lopez at imdea.org (pedro.lopez) Date: Tue, 14 Jun 2016 23:16:33 +0200 Subject: LOPSTR'16: Final Call for Papers and *Deadline Extension* Message-ID: [ Please distribute, apologies for multiple postings. ] ====================================================================== LOPSTR 2016: Final Call for Papers / Deadline Extension ====================================================================== 26th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016 http://cliplab.org/Conferences/LOPSTR16/ Edinburgh, UK, September 6-8, 2016 (co-located with PPDP 2016 and SAS 2016) ====================================================================== NEW DEADLINES: Abstract submission (extended): June 20, 2016 Paper/Extended abstract submission (extended): June 27, 2016 ====================================================================== INVITED SPEAKERS: Francesco Logozzo (Facebook, USA) [jointly with PPDP] Greg Morrisett (Cornell University, USA) [jointly with PPDP] Martin Vechev (ETH Zurich, Switzerland) [jointly with SAS ] ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016) will be held at the University of Edinburgh, Edinburgh, UK; previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2016 will be co-located with PPDP 2016 (International Symposium on Principles and Practice of Declarative Programming) and SAS 2016 (Static Analysis Symposium). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission (*extended*): Jun 20, 2016 Paper/Extended abstract submission (*extended*): Jun 27, 2016 Notification: Aug 3, 2016 Camera-ready (for electronic pre-proceedings): Aug 19, 2016 Symposium: Sep 6-8, 2016 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2016: http://www.easychair.org/conferences/?conf=lopstr2016 (can be accessed also through the LOPSTR 2016 web site). Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Sergio Antoy, Portland State University, USA Michael Codish, Ben-Gurion University of the Negev, Israel Jerome Feret, CNRS/ENS/INRIA Paris, France. Fabio Fioravanti, University of Chieti - Pescara, Italy. Maurizio Gabbrielli, University of Bologna, Italy Maria Garcia de la Banda, Monash University, Australia Robert Glueck, University of Copenhagen, Denmark. Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Gopal Gupta, University of Texas at Dallas, USA Patricia Hill, Univ. of Leeds, UK and BUGSENG Srl, Italy Jacob Howe, City University London, UK Viktor Kuncak , EPFL Lausanne, Switzerland Michael Leuschel, University of Duesseldorf, Germany Heiko Mantel TU Darmstadt, Germany Jorge A. Navas, NASA, USA Naoki Nishida, Nagoya University, Japan Catuscia Palamidessi, INRIA, France C.R. Ramakrishnan, SUNY Stony Brook, USA Vitor Santos Costa, Universidade do Porto, Portugal Hirohisa Seki, Nagoya Institute of Technology, Japan Peter Schneider-Kamp, University of Southern Denmark, Denmark Program Chairs Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM) Pedro Lopez-Garcia, IMDEA Software Institute and CSIC Organizing Committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) In cooperation with: The European Association for Theoretical Computer Science The European Association for Programming Languages and Systems The Association for Logic Programming The IMDEA Software Institute From thomas.lukasiewicz at gmail.com Wed Jun 15 00:14:26 2016 From: thomas.lukasiewicz at gmail.com (Thomas Lukasiewicz) Date: Tue, 14 Jun 2016 23:14:26 +0100 Subject: CFP: ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW'16) Message-ID: <576081C2.8030906@cs.ox.ac.uk> ========================================================== CALL FOR PAPERS 12th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2016) http://c4i.gmu.edu/ursw/2016 In conjunction with the 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan October 17 or 18, 2016 ========================================================== You are invited to participate in the upcoming workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 15th International Semantic Web Conference (ISWC) in October 17-21, 2016 Kobe, Japan. ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Uncertainty Reasoning workshop is an exciting opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web / Linked Data community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle uncertainty remains extremely limited. Thus, there is a continuing demand for uncertainty reasoning technology among Semantic Web researchers and developers, and the URSW workshop creates a unique opening to bring together two communities with a clear commonality of interest but limited history of interaction. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision. AUDIENCE The intended audience for this workshop includes the following * Researchers in uncertain reasoning technologies with interest in the Semantic Web and Linked Data * Semantic Web and Linked Data developers and researchers * People in the knowledge representation community with interest in the Semantic Web and Linked Data * Ontology researchers and ontological engineers * Web services researchers and developers with interest in the Semantic Web * Developers of tools designed to support semantic web implementation, e.g., Jena developers, Protégé developers, OWL-API developers... TOPIC LIST We intend to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web and Linked Data (including fuzzy theory, probability theory, and other approaches). Therefore, the following list should be just an initial guide. * Syntax and semantics for extensions to Semantic Web / Linked Data languages to enable representation of uncertainty * Logical formalisms to support uncertainty in Semantic Web / Linked Data languages * Probability theory as a means of assessing the likelihood that terms in different ontologies refer to the same or similar concepts * Architectures for applying plausible reasoning to the problem of ontology mapping * Using fuzzy approaches to deal with imprecise concepts within ontologies * The concept of a probabilistic ontology and its relevance to the Semantic Web * Best practices for representing uncertain, incomplete, ambiguous, or controversial information in the Semantic Web / Linked Data * The role of uncertainty as it relates to web services and cloud computing * Interface protocols with support for uncertainty as a means to improve interoperability among web services * Uncertainty reasoning techniques applied to trust issues in the Semantic Web and Linked Data * Existing implementations of uncertainty reasoning tools in the context of the Semantic Web and Linked Data * Issues and techniques for integrating tools for representing and reasoning with uncertainty; * The future of uncertainty reasoning for the Semantic Web and Linked Data IMPORTANT DATES * July 7, 2016: Paper submissions due * July 31: Paper acceptance notification * August 7: Camera-ready papers due * Oct 17 or 18: 12th International Workshop on Uncertainty Reasoning for the Semantic Web SUBMISSION DETAILS The URSW will be accepting submissions of technical papers and position papers. Each submission will be evaluated for acceptability by at least three members of the Program Committee. Decisions about acceptance will be based on relevance to the above topic list, originality, potential significance, topicality and clarity. Since all accepted papers will be presented at the workshop, we require that at least one of the submitting authors must be a registered participant at the ISWC 2016 Conference, and committed to attend the URSW Workshop. Submissions to the workshop are only accepted in electronic format and should be sent via the workshop's EasyChair submission site: http://www.easychair.org/conferences/?conf=ursw2016 Papers must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). This is the very same format adopted by the ISWC 2016. For complete details, see Springer's Author Instructions (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Technical papers submitted to the URSW Workshop must not exceed 12 pages, including figures and references. Submissions exceeding this limit will not be reviewed. Position papers consist of a summary of ideas, projects, or any research efforts that are relevant to the URSW Workshop and must not exceed 4 pages. Following the general acceptance rules of the ISWC 2016 conference, papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference will not be accepted to the URSW workshop. PRESENTATION AND PUBLICATION All papers accepted to the URSW will be presented during the workshop and published in the workshop proceedings. Authors of accepted technical papers will have 20 minutes to present their work, while authors of accepted position papers will have a 10-minute slot to share their ideas. After each presentation, 5 minutes will be allocated to questions from the audience. Both technical and position papers will be published in the URSW workshop proceedings, to be available after the ISWC 2016 conference. In addition, we are planning a journal special issue or Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence (LNCS/LNAI) volume with selected extended and revised versions of technical papers presented at URSW 2016. ORGANIZING COMMITTEE * Fernando Bobillo - University of Zaragoza, Spain * Rommel N. Carvalho - Brazil's Office of the Comptroller General / University of Brasília, Brazil * Davide Ceolin - VU University Amsterdam, The Netherlands * Paulo C. G. Costa - George Mason University, USA * Claudia d'Amato - University of Bari, Italy * Nicola Fanizzi - University of Bari, Italy * Kathryn Laskey - George Mason University, USA * Kenneth J. Laskey - MITRE Corporation, USA * Thomas Lukasiewicz - University of Oxford, UK * Trevor Martin - University of Bristol, UK * Matthias Nickles - INSIGHT Centre for Data Analytics, National University of Ireland, Galway, Ireland * Michael Pool - Credit Suisse, USA From sibylle.schwarz at htwk-leipzig.de Thu Jun 16 15:40:52 2016 From: sibylle.schwarz at htwk-leipzig.de (Sibylle Schwarz) Date: Thu, 16 Jun 2016 15:40:52 +0200 Subject: WLP 2016 - Final Call for Papers and deadline extension Message-ID: <7a8de6f7-caea-8075-840c-40aef788bc4a@htwk-leipzig.de> ====================================================================== FINAL CALL FOR PAPERS (extended deadline) 30th Workshop on Logic Programming (WLP 2016) Leipzig, Germany, September 12 - 13, 2016 http://nfa.imn.htwk-leipzig.de/WLP2016 part of the Leipzig Week of Declarative Programming (L-DEC) 2016 http://nfa.imn.htwk-leipzig.de/LDEC2016 ====================================================================== The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming Gesellschaft für Logische Programmierung e.V. (GLP) and bring together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany). The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. Contributions are welcome on all theoretical, experimental, and application aspects of logic programming (LP) and constraint programming (CP), including, but not limited to the following areas: Logic Programming and Extensions * foundations of CP and LP * constraint solving and optimisation * functional logic programming, objects * dynamics, updates, states, transactions * interaction of CP and LP with other formalisms like agents, XML, JAVA * parallelism and concurrency * complexity and expressive power * program analysis, program transformation, program verification, meta programming Knowledge Representation and Nonmonotonic Reasoning * deductive databases, data mining * rule-based systems * abductive and inductive logic programming * answer-set programming * semantics and proof-theoretical investigations Application of Logic Programming * logic programming in production, management, environment, education, medicine, internet, etc. * CP/LP for Semantic Web applications and reasoning on the Semantic Web * data modelling for the Web, semistructured data, and Web query languages Implementation of Systems * system descriptions, comparisons, evaluations, benchmarks * implementation techniques * software techniques and programming support (e.g., types, modularity, design patterns, debugging, testing, systematic program development). The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, interesting experiments (e.g., benchmarks) or ongoing scientific work are also encouraged. Submission ========== Authors are invited to submit an extended abstract (no longer than 15 pages including figures and references) or a system description (no longer than 6 pages) in PDF (11pt) via EasyChair http://www.easychair.org/conferences/?conf=wlp2016. All submissions must be unpublished original work. However, work that already appeared in unpublished or informally published workshops proceedings may be submitted, too. All submissions must be written in English and prepared in EPTCS style (http://style.eptcs.org). Selected papers will be published electronically in joint WLP/ WFLP post-conference proceedings in EPTCS. Important Dates =============== Submission of papers: July 3, 2016 (extended) Notification of acceptance: July 15, 2016 Workshop: September 12 - 13, 2016 Program committee ================= Stefan Brass - Univ. Halle Gerhard Brewka - Univ. Leipzig Michael Hanus - CAU Kiel Heinrich Herre - Univ. Leipzig Steffen Hölldobler - TU Dresden Petra Hofstedt - BTU Cottbus Ulrich John - HWTK Berlin Georg Ringwelski - HS Zittau/Görlitz Torsten Schaub - Univ. Potsdam Sibylle Schwarz (chair) - HTWK Leipzig Dietmar Seipel - Univ. Wuerzburg Workshop Organizer =============== Sibylle Schwarz Hochschule für Technik, Wirtschaft und Kultur Leipzig F-IMN, Postfach 301166 04251 Leipzig sibylle.schwarz at htwk-leipzig.de http://www.imn.htwk-leipzig.de/~schwarz From panpap at ics.forth.gr Fri Jun 17 08:55:28 2016 From: panpap at ics.forth.gr (Panagiotis Papadopoulos) Date: Fri, 17 Jun 2016 09:55:28 +0300 Subject: 12th International Workshop on Security and Trust Management (STM) - Call for Papers Message-ID: <57639EE0.2030109@ics.forth.gr> =========================================================================== 12th International Workshop on Security and Trust Management (STM) Heraklion, Crete, Greece - September 26-27, 2016 http://stm2016.ics.forth.gr/ Call for Papers =========================================================================== STM (Security and Trust Management) is a working group of ERCIM (European Research Consortium in Informatics and Mathematics). STM 2016 is the twelfth workshop in this series and will be held in Heraklion, Crete, Greece on September 26-27th, 2016, in conjunction with the 21st European Symposium On Research in Computer Security (ESORICS 2016 http://www.ics.forth.gr/esorics2016/). The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of security and trust in ICTs. Important Dates ------------------------------------ * Paper Submission due: *June 23, 2016* * Notification to authors: *July 29, 2016* * Camera ready due: *August 7, 2016* Submission Instructions ------------------------------------ Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. All submissions should be appropriately anonymized (i.e., papers should not contain author names or affiliations, or obvious citations). Submissions should be at most 16 pages, including the bibliography and well-marked appendices, and should follow the LNCS style (author instructions can be found here http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions are to be made to the submission web site at https://www.easychair.org/conferences/?conf=stm2015. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Papers must be received by the deadline. Authors of accepted papers must guarantee that their papers will be presented at the workshop. The proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. Topics of interest ------------------------------------ * Access control * Mobile security * Security and trust in the Internet of Things * Anonymity * Networked systems security * Security and trust in pervasive computing * Applied cryptography * Operating systems security * Security and trust in services * Authentication * Privacy * Security and trust in social networks * Complex systems security * Security and trust metrics * Social implications of security and trust * Data and application security * Security and trust policies * Trust assessment and negotiation * Data protection * Security and trust management architectures * Trust in mobile code * Data/system integrity * Security and trust for big data * Trust models * Digital right management * Security and trust in cloud environments * Trust management policies * Economics of security and privacy * Security and trust in content delivery networks * Trust and reputation systems * Formal methods for security and trust * Security and trust in crowdsourcing * Trusted platforms * Identity management * Security and trust in grid computing * Trustworthy systems and user devices * Legal and ethical issues Program Chairs ------------------------------------ * Gilles Barthe, IMDEA Software Institute, Spain * Evangelos Markatos, FORTH-ICS, Greece Publicity Chair ------------------------------------ * Panagiotis Papadopoulos, FORTH-ICS, Greece Program Committee ------------------------------------ Spiros Antonatos, IBM Research, Dublin, Republic of Ireland Myrto Arapinis, University of Birmingham, UK Elias Athanasopoulos, Vrije Universiteit Amsterdam, Netherlands Davide Balzarotti, Eurecom, France Gilles Barthe, IMDEA Software Institute, Spain Gustavo Betarte, InCo, Facultad de Ingeniería, Universidad de la República, Uruguay Stefano Calzavara, Università Ca' Foscari Venezia, Italy Jorge Cuellar, Siemens AG, CT IC, Germany Hervé Debar, Télécom SudParis, France Carmen Fernández-Gago, University of Malaga, Spain Sara Foresti, DI - Università degli Studi di Milano, Italy Michael Huth, Imperial College London, UK Christian Damsgaard Jensen, Technical University of Denmark, Denmark Martin Johns, SAP Research, Germany Dogan Kesdogan, Universität Regensburg, Germany Marek Klonowski, Wroclaw UT, Poland Daniel Le Métayer, INRIA, France Yang Liu, Nanyang Technological University, Singapore Giovanni Livraga, Università degli Studi di Milano, Italy Javier Lopez, University of Malaga, Spain Evangelos Markatos, FORTH-ICS, Greece Fabio Martinelli, IIT-CNR, Italy Sjouke Mauw, University of Luxembourg, Luxembourg Catherine Meadows, Naval Research Laboratory (NRL), USA Martín Ochoa, Technische Universität München, Germany Evangelos Ouzounis, ENISA, Greece Nineta Polemi, University of Pireaus, Greece Erik Poll, Radboud Universiteit Nijmegen, Netherlands Michalis Polychronakis, Stony Brook University, USA Silvio Ranise, FBK-Irst, Italy Michael Rusinowitch, LORIA - INRIA Nancy, France Alejandro Russo, Chalmers University of Technology, Sweden Pierangela Samarati, Università degli Studi di Milano, Italy Steve Schneider, University of Surrey, UK Rolando Trujillo, University of Luxembourg, SnT, Luxembourg Edgar Weippl, SBA Research, Austria Fabian Yamaguchi, Technische Universität Braunschweig, Germany Stefano Zanero, Politecnico di Milano , Italy For any questions, please contact the program chair at stm2016 at ics.forth.gr From grlmc at grlmc.com Sun Jun 19 13:23:56 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 19 Jun 2016 13:23:56 +0200 Subject: WebST 2016: early registration deadline 23 June Message-ID: <545102060a010b020055570004075a555355065004040359520401080353020254580700510e0502060257060e0359@grlmc_ip-zone_com-6> WebST 2016: early registration deadline 23 June*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: June 23, 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, 16 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), Data and Algorithmic Bias 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), 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   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] Introduction to Web Search Engines   Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about   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 and lunches. 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 frank.loebe at informatik.uni-leipzig.de Mon Jun 20 03:28:53 2016 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Mon, 20 Jun 2016 03:28:53 +0200 Subject: ODLS 2016: Final Call for Papers, for Jun 22(!) (7th Workshop on Ontologies and Data in Life Sciences, Sep 29-30, Halle (Saale), Germany) Message-ID: <2fb7ec13-c2e0-440c-35da-44f9f283e410@informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ------------------------------------------------------- Final Call for Papers >> ODLS 2016 << Submission deadline: June 22, 2016 (strict!) [1] https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2016-ODLS KEY INFORMATION for those who intend to submit: * Submission deadline, more precisely specified (cf. also [2]): Jun 22, 24:00 UTC-12 = Jun 23, 12:00 UTC | 13:00 BST | 14:00 CEST * Submit to "ODLS 2016" in the EasyChair conference system [3] [3] https://easychair.org/conferences/?conf=odls2016 * Submission types: abstracts (1-2 pages), papers (4-6 pages) * Submission templates are available at [1], section "Submissions" ------------------ 7th Workshop on Ontologies and Data in Life Sciences (ODLS 2016) Sep 29-30, 2016 Halle (Saale), Germany Scope and Goals of the Workshop ------------------------------- Medicine, biology and life sciences produce hardly manageable and comprehensible amounts of data, information, and knowledge. Their computer-based retrieval, processing, integration, as well as their conceptual foundation, interpretation and application presents ever new challenges to existing methods of knowledge representation, data bases, and data analysis. In the life sciences, enormous data sets are being produced in connection with biological and medical experiments, aiming to unravel biological interconnections for a better understanding in order to offer patients the best possible therapies. Data management and data processing in the life sciences ranges from the best possible integration and usage of distributed, heterogeneous data to the best possible obfuscation of medical data. This integrated workshop covers the overall spectrum of biomedical information management, from experimental data acquisition and preprocessing, across analysis, structuring and interpretation of data, up to developing structured representations of knowledge, in particular in the form of ontologies, with their various applications. The aims of this workshop are to exchange ideas, to discuss new results and applications as well as to inspire cooperation. The workshop has an interdisciplinary character. It fosters the collaboration between ontologists, computer scientists, bio-informaticians, medical information scientists, applied logicians, as well as the cooperation with physicians, bio-chemists, and biometricians. Scientists, professionals as well as students in academia and industry are welcome to share knowledge and experience at ODLS. Topics ------ The following topics are of (equal) relevance for the workshop. Submissions regarding other related topics are likewise welcome. * Ontologies and ontological analysis in biology, medicine and clinical research, e.g. * Ontologies for biological or medical phenotypes * Ontologies for biochemistry, neuro-biology, ecology * Process ontologies in systems biology and medicine * Ontologies for the specification of clinical trial data * Foundational ontologies (with indicated applications in life sciences), e.g. of time and space, properties, roles, functions, material objects * Medical terminologies and their applications * Linking ontologies to terminologies, models and data standards * Methods and tools for the development, management and application of ontologies, e.g. * Ontology crossreferencing, mapping, integration and evolution * Quality assurance, best practices and evaluation of ontologies * Provenance, audit and evidence ontologies in life sciences * Ontology learning and refinement, e.g. by text mining * Ontology portals and libraries * Integrative data semantics * Semantic or ontology-based data annotation, enrichment, analysis and interpretation * Data management methods and systems in biology, medicine and health care, e.g. for * Heterogeneity and integration of data, including of Linked Data and Big Data * Management, retrieval and sharing of Big Data and/or complex data sets * Curation, analysis and visualization of data in life sciences * Omics-data for diagnosis and therapy * Biomedical metadata and metadata management * Generic transformation of clinical data into Semantic Web standards * Data protection of clinical data * Text mining and transformation of unstructured into structured data * Use of biomedical ontologies in text mining * Applications of biomedical ontologies in the Semantic Web, for Linked Open Data or Big Data * Life sciences applications enabled by the Semantic Web or Linked Open Data Important Dates --------------- Submission of contributions: June 22, 2016 (Wed) <-- strict Author notification: August 25, 2016 (Thu) Camera-ready manuscripts due: September 15, 2016 (Thu) Registration: September 18, 2016 (Sun) ODLS Workshop: September 29-30, 2016 (Thu-Fri) Please NOTE: The deadlines include no room for extensions. Especially, the submission deadlines are specified as intended from the beginning, rather than declaring earlier dates in early calls and granting an (initially unknown) deadline extension later. At a more fine-grained level of specification, the submission deadline is Wed, Jun 22, 2016 at 24:00 UTC-12|AoE [2], which corresponds to Thu, Jun 23, 2016 at 12:00 UTC, 13:00 BST, and 14:00 CEST, for example. Submission Instructions ----------------------- Submissions to the workshop can be * abstracts of 1-2 pages or * papers of 4-6 pages (any such length is equally welcome; 6 pages is the strict maximum, including references). Contributions in English are highly recommended, but submissions in German can also be accepted. Besides original submissions, __abstracts__ on work accepted for and possibly already presented at other events can likewise be accepted. The preferred file format for submissions is PDF, other admitted formats are Microsoft Word (DOC and DOCX) and Postscript (PS). Corresponding templates for submissions based on LaTeX or on Microsoft Word are available at the ODLS website [1] (since Jun 3, 2016). Contributions must be submitted via the EasyChair conference system at [3] https://easychair.org/conferences/?conf=odls2016 Accepted abstracts and papers will be made available electronically by the date of the workshop. After the workshop, authors of selected submissions will be invited to submit revised and extended versions to the Journal of Biomedical Semantics [4]. Keynote Speaker(s) ------------------ * Johannes Hübner, Martin-Luther-University of Halle-Wittenberg * Robert Stevens, University of Manchester, UK (Topics TBA) Scientific Organization ----------------------- ODLS 2016 is associated with the group Ontologies in Biomedicine and Life Sciences (OBML) [5] within the German Informatics Society (GI), and it is a Supported Event of the International Association for Ontology and its Applications (IAOA) [6]. Scientific Co-organizers: * Martin Boeker, University of Freiburg * Heinrich Herre, University of Leipzig * Ludger Jansen, University of Rostock * Frank Loebe, University of Leipzig <-- main contact [7] * Daniel Schober, Leibniz Institute of Plant Biochemistry, Halle (Saale) Location and Local Organization ------------------------------- The workshop is hosted by the Leibniz Institute of Plant Biochemistry (IPB) [8] in Halle (Saale), Germany. Local Co-organizers: * Daniel Schober, <-- main local contact [9] AG Bioinformatics & Mass Spectrometry, IPB * Steffen Neumann, AG Bioinformatics & Mass Spectrometry, IPB * Stefan Brass, Institute for Computer Science, Martin-Luther-University of Halle-Wittenberg Program Committee ----------------- * Adrien Barton, University of Sherbrooke University, Canada * Martin Boeker, University of Freiburg * Jesualdo Tomás Fernández-Breis, University of Murcia, Spain * George Gkoutos, University of Birmingham, UK * Anika Groß, University of Leipzig * Heinrich Herre, University of Leipzig * Robert Hoehndorf, King Abdullah University of Science and Technology (KAUST), Thuwal, Saudi Arabia * Ludger Jansen, University of Rostock * Toralf Kirsten, University of Leipzig * Frank Loebe, University of Leipzig * Wolfgang Müller, HITS gGmbH, Heidelberg * Fabian Neuhaus, Otto von Guericke University Magdeburg * Axel Ngonga-Ngomo, University of Leipzig * Anika Oellrich, King's College London, UK * Oscar Pastor, Polytechnical University of Valencia, Spain * Dietrich Rebholz-Schuhmann, Insight Centre f. Data Analytics, Galway, Ireland * Luc Schneider, Saarland University, Saarbruecken * Daniel Schober, Leibniz Institute of Plant Biochemistry (IPB), Halle (Saale) * Falk Schreiber, Monash University, Melbourne, Australia * Stefan Schulz, Medical University Graz, Austria * Aleksandra Sojic, Institute of Industrial Technologies and Automation, National Research Council (ITIA-CNR), Milano, Italy * Holger Stenzhorn, Saarland University Medical Center, Homburg * George Tsatsaronis, Technical University of Dresden * Dagmar Waltemath, University of Rostock Sponsor ------- The organizers acknowledge generous sponsorship by OntoChem IT Solutions [10], Halle (Saale), Germany. Links ----- [1] Workshop website https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2016-ODLS http://tinyurl.com/odls-2016 [2] Submission deadline at timeanddate.com, including time zone conversion http://www.timeanddate.com/worldclock/fixedtime.html?iso=20160623T1200 [3] EasyChair submission site https://easychair.org/conferences/?conf=odls2016 [4] Journal of Biomedical Semantics http://jbiomedsem.biomedcentral.com/ [5] OBML website https://wiki.imise.uni-leipzig.de/Gruppen/OBML [6] IAOA website http://iaoa.org/ [7] Main contact: Frank Loebe https://wiki.imise.uni-leipzig.de/FrankLoebe [8] Local organization website http://www.ipb-halle.de/en/ [9] Local main contact: Daniel Schober http://www.ipb-halle.de/en/employee/daniel-schober/ [10] OntoChem IT Solutions (Sponsor) website http://www.ontochem.de/ ------------------------------------------------------- From s.verberne at cs.ru.nl Mon Jun 20 09:58:11 2016 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Mon, 20 Jun 2016 00:58:11 -0700 Subject: ECAI 2016 - call for participation Message-ID: *Call for participation ECAI2016!* *Early registration deadline: July 5, 2016 – www.ecai2016.org * *Program highlights* - Invited speakers: http://www.ecai2016.org/program/invited-speakers/ - Public session on Artificial Intelligence and Human Values at the Peace Palace - AI at Work session where companies will present their AI related work - Access to all sessions of the co-located conference on Collective Intentionality X - Tutorials - Workshops - AIckathon - Women in AI Breakfast - Beach party! - Fun Run! *Conference fee includes* - Access to all sessions and invited talks - Participation in the Tutorials (registration required) - Lunches and coffee breaks - Access to the Public Session at the Peace Palace (limited places, registration required) - Openings receptions - Participation in WAI breakfast, Fun Run, speed dates (registration required) There are special fees for members of European AI societies. Hope to see you all in The Hague!! -- Suzan Verberne, researcher Data Science, 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 redl at kr.tuwien.ac.at Mon Jun 20 12:29:54 2016 From: redl at kr.tuwien.ac.at (Christoph Redl) Date: Mon, 20 Jun 2016 12:29:54 +0200 Subject: 3rd Call for Papers: Workshop on Trends and Applications of Answer Set Programming Message-ID: Apologies if you receive multiple copies of this email. Please distribute to interested parties. ======================================================================= The *submission* deadline of the 1st Workshop on Trends and Applications of Answer Set Programming (*TAASP 2016*) at KI 2016 was extended to *July 4, 2016*. TAASP is a non-archival venue and there will be no published proceedings. However, informal proceedings will be provided and the papers will be posted informally website/ArXiv. Therefore, it will be possible to submit to other conferences and journals both in parallel and subsequent to TAASP 2016. ======================================================================= CALL FOR PAPERS TAASP 2016 Workshop on Trends and Applications of Answer Set Programming September 26th, 2016 Affiliated with the German Conference on Artificial Intelligence 2016 Klagenfurt, Austria September 26-30, 2016 ======================================================================= AIMS AND SCOPE Answer set programming (ASP) is a widely used declarative programming paradigm based on the stable-model semantics. Over the years, the formalism has been extended with new language elements, advanced evaluation techniques have been developed, and efficient and expressive systems have been realized. These advancements turned ASP into a rich modeling language which was successfully applied to various tasks in artificial intelligence and beyond, including combinatorial problems and knowledge-intense tasks. Driven by the needs of applications, ongoing research in the field comprises, for instance, the integration with other paradigms (such as constraint programming), distributed computation, temporal and stream reasoning. These developments aim at the ultimate goal of equipping ASP with the features needed for realizing modern information systems. This workshop focuses on recent trends in the area of ASP, including novel techniques for the evaluation of ASP programs, extensions of the formalism, integration with other formalisms, and advancements of systems. Furthermore, discussions of applications of ASP and its extensions in AI and industry are welcome. TOPICS Topics of interests include (but are not limited to): - Evaluation algorithms and techniques for ASP. - Grounding including lazy-grounding and grounding-on-the-fly. - Integration of ASP with constraint programming. - Integration of ASP with description logics. - Integration of ASP with external computations. - Integration of ASP with other declarative formalisms. - Integration of ASP with procedural languages. - Other language extensions to ASP. - ASP and argumentation. - ASP and multi-agent systems. - ASP and multi-context systems. - Stream and temporal reasoning based on ASP. - Modularity techniques in ASP. - Advancements of ASP systems. - Evaluation and comparison of ASP to other paradigms. - Applications of ASP and its extensions in AI. - Applications of ASP and its extensions in other fields and industry. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format . Paper submission will be handled electronically by means of the Easychair system. All submissions will be peer-reviewed. The submission page is available at https://www.easychair.org/conferences/?conf=taasp2016 IMPORTANT DATES Paper submission deadline: July 4, 2016 Author notification: July 25, 2016 Camera-ready articles due: August 8, 2016 Workshop: September 26, 2016 LOCATION The workshop will be held in Klagenfurt, Austria, collocated with the German Conference on Artificial Intelligence (KI) 2016. PROCEEDINGS Accepted papers will be made available online. WORKSHOP CO-CHAIRS Thomas Eiter, TU Wien, Austria Wolfgang Faber, University of Huddersfield, United Kingdom Stefan Woltran, TU Wien, Austria ORGANIZATION COMMITTEE Johannes Fichte, TU Wien, Austria Christoph Redl, TU Wien, Austria PROGRAM COMMITTEE Mutsunori Barbara, Kobe University, Japan Bart Bogaerts, Aalto University, Finland Pedro Cabalar, Corunna University, Spain Marc Denecker, University of Leuvenm, Belgium Cristina Feier, University of Bremen, Germany Sarah Alice Gaggl, TU Dresden, Germany Antti Hyvärinen, Lugano, Switzerland Daniela Inclezan, Miami University, USA Joao Leite, Universidade Nova de Lisboa, Portugal Vladimir Lifschitz, University of Texas at Austin, USA Marco Maratea, DIBRIS - University of Genova, Italy Michael Morak, TU Wien, Austria Emilia Oikarinen, Finnish Institute of Occupational Health, Finland Andreas Pfandler, TU Wien, Austria Mirek Truszczynski, University of Kentucky, USA Jörg Pührer, Leipzig University, Germany Francesco Ricca, University of Calabria, Italy Claudia Schulz, Imperial College London, UK Orkunt Sabuncu, University of Potsdam, Germany Peter Schüller, Marmara University, Istanbul, Turkey Daria Stepanova, Max Planck Institute for Informatics, Germany Johannes Peter Wallner, University of Helsinki, Finland Antonius Weinzierl, TU Wien, Austria Fangkai Yang, University of Texas at Austin, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Olivier.Boissier at emse.fr Mon Jun 20 14:14:21 2016 From: Olivier.Boissier at emse.fr (Olivier Boissier) Date: Mon, 20 Jun 2016 14:14:21 +0200 Subject: CFP ACM TOIT : Computational Ethics and Accountability (Submission deadline december 1st 2016) Message-ID: <5275B24E-5C08-4102-9F30-26CFB5A6BE72@emse.fr> [Apologies for multiple posts] ACM Transactions on Internet Technology Call for Papers for a Special Section on COMPUTATIONAL ETHICS AND ACCOUNTABILITY Intelligent Systems for Business Ethics and Social Responsibility http://toit.acm.org/announcements.cfm Individual and organizational actions have social consequences that call for the implementation of recommendations of good con‐ duct at multiple levels of granularity. For instance, government agencies identify transparency as a key value that promotes ac‐ countability, public participation, collaboration, and effective‐ ness. For firms , business ethics and compliance programs are becoming critical and, as the OECD reports, a growing number of firms issue voluntary codes of conduct to express commitment to values like legal compliance, accountability, privacy, and trust. The traceability, evaluation, and communication of values and good conduct is an open challenge that can be faced with the sup‐ port of intelligent systems. On the one hand, specialized management systems evolve for help‐ ing organizations respect their commitments. On the other hand, the application of intelligent systems for sharing authority and delegating decisions introduces challenges and requirements for building systems for handling ethical issues, e.g. serving the orthogonal requirements of transparency, accountability, and pri‐ vacy preservation. We invite high‐quality submissions that develop new insights, models, formal theories, methodologies, systems, and applications where concerns on ethics and social responsibility are dealt with, based on intelligent systems. Multiagent systems, semantic web and agreement technologies, val‐ ue sensitive design are just some of the research areas, whose methods and results can fruitfully support business ethics and social responsibility. We especially welcome submissions that make significant computational advances across the following di‐ mensions. MODELS AND METHODS (include but are not limited to) * Normative multiagent systems, organizations, norms, institu‐ tions, and sociocognitive‐technical systems * Semantic and agreement technologies * Accountability, individual and collective ethics, ethics of personalization, human values and value theory, value sensitive design, ethics by/in design, ethics and autonomous systems, and ethical engines and reasoning * Legal reasoning, computable contracts, and computational law * Knowledge management, reasoning, business processes, learning, data mining, knowledge extraction, social computing, social net‐ works, data‐aware approaches, software engineering, and recommen‐ dation systems ISSUES AND APPLICATIONS (include but are not limited to) * Transparency, trust and reputation, organizational ethics, and social responsibility * Privacy, legal and norm compliance, and (distributed) computa‐ tional justice * Finance and business transactions, fair business practices, (human‐resource) management, consumer protection, economic sys‐ tem, corruption, taxation, and sales and marketing * Health care, public administration, research, smart cities, se‐ curity and surveillance, and decision support Please send any queries about this CfP to: acmtoit_besr at di.unito.it SPECIAL SECTION EDITORS * Cristina Baroglio, Università degli Studi di Torino, Italy * Olivier Boissier, Mines Saint‐Etienne, France * Axel Polleres, Vienna University of Economics & Business, Austria DEADLINES Submission: December 1 , 2016 First decision: March 15, 2017 Revision: April 30, 2017 Final decision: June 30, 2017 Final: July 31, 2017 Publication: October 31, 2017 SUBMISSION http://toit.acm.org/authors.cfm Please select "Special Section: Computational Ethics and Account‐ ability" under Manuscript Type dropdown in the Manuscript Central website. ACM TOIT EDITOR‐IN‐CHIEF Munindar P. Singh. Department of Computer Science, North Carolina State University mpsingh at acm.org From panpap at ics.forth.gr Tue Jun 21 12:46:51 2016 From: panpap at ics.forth.gr (Panagiotis Papadopoulos) Date: Tue, 21 Jun 2016 13:46:51 +0300 Subject: [Deadline Extended] 12th International Workshop on Security and Trust Management (STM 2016) Message-ID: <57691B1B.9000704@ics.forth.gr> =========================================================================== 12th International Workshop on Security and Trust Management (STM) Heraklion, Crete, Greece - September 26-27, 2016 http://stm2016.ics.forth.gr/ Call for Papers =========================================================================== STM (Security and Trust Management) is a working group of ERCIM (European Research Consortium in Informatics and Mathematics). STM 2016 is the twelfth workshop in this series and will be held in Heraklion, Crete, Greece on September 26-27th, 2016, in conjunction with the 21st European Symposium On Research in Computer Security (ESORICS 2016 http://www.ics.forth.gr/esorics2016/). The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of security and trust in ICTs. Important Dates ------------------------------------ * Paper Submission due: *June 23, 2016* (June 30, 2016 ) * Notification to authors: *July 29, 2016 * * Camera ready due: *August 7, 2016 * Submission Instructions ------------------------------------ Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. All submissions should be appropriately anonymized (i.e., papers should not contain author names or affiliations, or obvious citations). Submissions should be at most 16 pages, including the bibliography and well-marked appendices, and should follow the LNCS style (author instructions can be found here http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions are to be made to the submission web site at https://www.easychair.org/conferences/?conf=stm2015. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Papers must be received by the deadline. Authors of accepted papers must guarantee that their papers will be presented at the workshop. The proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. Topics of interest ------------------------------------ * Access control * Mobile security * Security and trust in the Internet of Things * Anonymity * Networked systems security * Security and trust in pervasive computing * Applied cryptography * Operating systems security * Security and trust in services * Authentication * Privacy * Security and trust in social networks * Complex systems security * Security and trust metrics * Social implications of security and trust * Data and application security * Security and trust policies * Trust assessment and negotiation * Data protection * Security and trust management architectures * Trust in mobile code * Data/system integrity * Security and trust for big data * Trust models * Digital right management * Security and trust in cloud environments * Trust management policies * Economics of security and privacy * Security and trust in content delivery networks * Trust and reputation systems * Formal methods for security and trust * Security and trust in crowdsourcing * Trusted platforms * Identity management * Security and trust in grid computing * Trustworthy systems and user devices * Legal and ethical issues Program Chairs ------------------------------------ * Gilles Barthe, IMDEA Software Institute, Spain * Evangelos Markatos, FORTH-ICS, Greece Publicity Chair ------------------------------------ * Panagiotis Papadopoulos, FORTH-ICS, Greece Program Committee ------------------------------------ Spiros Antonatos, IBM Research, Dublin, Republic of Ireland Myrto Arapinis, University of Birmingham, UK Elias Athanasopoulos, Vrije Universiteit Amsterdam, Netherlands Davide Balzarotti, Eurecom, France Gilles Barthe, IMDEA Software Institute, Spain Gustavo Betarte, InCo, Facultad de Ingeniería, Universidad de la República, Uruguay Stefano Calzavara, Università Ca' Foscari Venezia, Italy Jorge Cuellar, Siemens AG, CT IC, Germany Hervé Debar, Télécom SudParis, France Carmen Fernández-Gago, University of Malaga, Spain Sara Foresti, DI - Università degli Studi di Milano, Italy Michael Huth, Imperial College London, UK Christian Damsgaard Jensen, Technical University of Denmark, Denmark Martin Johns, SAP Research, Germany Dogan Kesdogan, Universität Regensburg, Germany Marek Klonowski, Wroclaw UT, Poland Daniel Le Métayer, INRIA, France Yang Liu, Nanyang Technological University, Singapore Giovanni Livraga, Università degli Studi di Milano, Italy Javier Lopez, University of Malaga, Spain Evangelos Markatos, FORTH-ICS, Greece Fabio Martinelli, IIT-CNR, Italy Sjouke Mauw, University of Luxembourg, Luxembourg Catherine Meadows, Naval Research Laboratory (NRL), USA Martín Ochoa, Technische Universität München, Germany Evangelos Ouzounis, ENISA, Greece Nineta Polemi, University of Pireaus, Greece Erik Poll, Radboud Universiteit Nijmegen, Netherlands Michalis Polychronakis, Stony Brook University, USA Silvio Ranise, FBK-Irst, Italy Michael Rusinowitch, LORIA - INRIA Nancy, France Alejandro Russo, Chalmers University of Technology, Sweden Pierangela Samarati, Università degli Studi di Milano, Italy Steve Schneider, University of Surrey, UK Rolando Trujillo, University of Luxembourg, SnT, Luxembourg Edgar Weippl, SBA Research, Austria Fabian Yamaguchi, Technische Universität Braunschweig, Germany Stefano Zanero, Politecnico di Milano, Italy Cas Cremers, University of Oxford, UK For any questions, please contact the program chair at stm2016 at ics.forth.gr -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From demri at lsv.ens-cachan.fr Tue Jun 21 21:55:54 2016 From: demri at lsv.ens-cachan.fr (=?utf-8?Q?St=C3=A9phane_Demri?=) Date: Tue, 21 Jun 2016 21:55:54 +0200 Subject: AiML'16: Call for Participation Message-ID: <01DD4FD0-50A3-4324-967E-0185781DBDAF@lsv.ens-cachan.fr> 11TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC (AiML'16) BUDAPEST, 30 AUGUST -- 2 SEPTEMBER 2016 http://phil.elte.hu/aiml2016/ http://phil.elte.hu/aiml2016/?page=registration * EVENT AiML'16 will be hosted in Budapest, Hungary from August 30th to September 2nd, 2016 * INVITED TALKS Sonja Smets (ILLC, Universiteit van Amsterdam): "Beliefs and Evidence in Justification Models" Yde Venema (ILLC, Universiteit van Amsterdam): "Modal Automata: studying fixpoint logics one step at a time" Guram Bezhanishvili (New Mexico State University)" TBA * ACCEPTED PAPERS http://phil.elte.hu/aiml2016/?page=accepted_papers * AIML 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. From geoff at cs.miami.edu Tue Jun 21 22:18:11 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 21 Jun 2016 16:18:11 -0400 (EDT) Subject: 7th ITP Conference Message-ID: <20160621201811.8F28312153C@mcclellan.cs.miami.edu> The 7th International Conference on Interactive Theorem Proving 22 to 27 August 2016 in Nancy, France https://itp2016.inria.fr Early registration deadline: 30 June Main conference: 22 August to 25 August (morning) Affiliated events: 25 August (afternoon) to 27 August ITP is the premier international conference for researchers from all areas of interactive theorem proving and its applications. The program committee accepted 27 regular papers and 5 rough diamonds this year: https://itp2016.inria.fr/program/ There will be invited talks by Viktor Kuncak (EPFL) Grant Olney Passmore (Aesthetic Integration and University of Cambridge) Nikhil Swamy (Microsoft Research) The following affiliated events will take place after the main conference: Coq Workshop 2016 Isabelle Workshop 2016 Mathematical Components, an Introduction Up-to-date information and online registration can be found at https://itp2016.inria.fr From peter.schuller at marmara.edu.tr Wed Jun 22 00:58:22 2016 From: peter.schuller at marmara.edu.tr (Peter Schueller) Date: Wed, 22 Jun 2016 00:58:22 +0200 (CEST) Subject: CFP ICLP Doctoral Consortium, New York City, USA, 18 October 2016 Message-ID: <20160621225823.02AF836067D@inspiredeb> (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) -------------------------------------------------------------------------------- ICLP DC 2016 Twelfth ICLP Doctoral Student Consortium to be held in New York City, USA, 18 October 2016 http://dc-iclp16.cs.bath.ac.uk/ -------------------------------------------------------------------------------- The ICLP Doctoral Consortium (DC) is the twelfth doctoral consortium to be held as part of the 32nd International Conference on Logic Programming (ICLP 2016). The DC will take place during ICLP 2016 in New York City, USA. It provides a forum for doctoral students working in areas related to logic and constraint programming, with a particular emphasis to students interested in pursuing a career in academia. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts. ** Target Audience ** The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of Logic and Constraint Logic Programming - Sequential and Parallel Implementation Technology - Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification - Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) - Innovative Applications of Logic Programming - Logic Programming and Nonmonotonic Reasoning - Logic Programming and Causality - Logic Programming Systems Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC allows participants to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. ** Application Process ** An application for participation in the ICLP DC 2016 consists of a cover letter, a research summary, and a letter of recommendation (e.g., from your supervisor). All applications must be in English and submitted electronically via EasyChair by 17 July 2016. Detailed submission instructions are provided at the ICLP DC 2016 website: http://dc-iclp16.cs.bath.ac.uk/ The DC program committee will select participants based on their anticipated contribution to the DC objectives. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. The works accepted for presentation at the DC will be published in conjunction with the ICLP proceedings. Updates follow as soon as we have more information regarding this. There will be some financial support available to students who attend the DC. The details will be announced soon. ** Important Dates ** Application Submission: 17 July 2016 Acceptance Notification: 1 August 2016 Camera-ready Version: 14 August 2016 Doctoral Consortium: 18 October 2016 ** Organization ** - Program Committee: Martin Gebser, Aalto Jose F. Morales, IMDEA Software Research Institute Ekaterina Komendantskaya, School of Computing, University of Dundee Fabio Fioravanti, University of Chieti-Pescara Francesco Ricca, Department of Mathematics University of Calabria Frank Valencia, LIX, Ecole Polytechnique Takehide Soh, Information Science and Technology Center, Kobe University - Program Chairs: Marina De Vos, University of Bath (M.D.Vos at bath.ac.uk) Neda Saeedloei, University of Minnesota Duluth (nsaeedlo at d.umn.edu) Website: http://dc-iclp16.cs.bath.ac.uk/ From valentina.ivanova at liu.se Wed Jun 22 17:41:47 2016 From: valentina.ivanova at liu.se (Valentina Ivanova) Date: Wed, 22 Jun 2016 15:41:47 +0000 Subject: [CfP] VOILA Deadline extended @ ISWC 2016 - 2nd Workshop on Visualization and Interaction for Ontologies and Linked Data Message-ID: <4B07F535C1DBB043B4E107FAA728DD2022482C61@MB2-2010.ad.liu.se> CALL FOR PAPERS VOILA 2016 - Visualization and Interaction for Ontologies and Linked Data 2nd International Workshop at ISWC 2016, 15th International Semantic Web Conference October 17 or 18, 2016, Kobe, Japan http://voila2016.visualdataweb.org -------------------------------------------------- Abstracts Deadline (Extended): July 1, 2016 Submission Deadline (Extended): July 7, 2016 -------------------------------------------------- Topics of Interest ========== Topics, subjects, and contexts of interest include (but are not limited to): * Topics: - visualizations - user interfaces - visual analytics - requirements analysis - case studies - user evaluations - cognitive aspects * Subjects: - ontologies - linked data - ontology engineering (development, collaboration, ontology design patterns, alignment, debugging, evolution, provenance, etc.) * Contexts: - classical interaction contexts (desktop, keyboard, mouse, etc.) - novel interaction contexts (mobile, touch, gesture, etc.) - special settings (large, high-resolution, and multiple displays, etc.) - specific user groups and needs (people with disabilities, domain experts, etc.) Submission Guidelines ========== Paper submission and reviewing for this workshop will be electronic via EasyChair. The papers should be written in English, following the Springer LNCS format, and be submitted in PDF on or before July 7, 2016. Paper abstracts are due by July 1, 2016. The following types of contributions are welcome. The recommended page length is given in brackets. There is no strict page limit but the length of a paper should be commensurate with its contribution. Full research papers (8-12 pages); Experience papers (8-12 pages); Position papers (6-8 pages); Short research papers (4-6 pages); System papers (4-6 pages). Accepted papers will again be published as a volume in the CEUR Workshop Proceedings series. Attendance ========== Note that workshop attendees cannot register for the workshop only, but need to register for the main conference, as well. Important Dates ========== Abstracts (Extended): July 1, 2016 Submission (Extended): July 7, 2016 Notification: July 29, 2016 Camera-ready: August 12, 2015 Organizers ========== Valentina Ivanova, Linköping University, Sweden Patrick Lambrix, Linköping University, Sweden Steffen Lohmann, Fraunhofer IAIS, Germany Catia Pesquita, University of Lisbon, Portugal -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Wed Jun 22 18:10:57 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 22 Jun 2016 19:10:57 +0300 Subject: 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): First Call for Student Travelling Support Message-ID: *** First Call for Student Travelling Support *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBGaXJzdCBDYWxsIGZvciBTdHVkZW50IFRyYXZlbGxpbmcgU3VwcG9ydAkzNAlMaXN0cwkyOTgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiui.acm.org%2F2017 Following the tradition of previous years, we will offer student participation support to attend the IUI 2017 Conference. Currently, the support is provided in the form of an ACM SIGCHI Student Travel Grant (SSTG) which includes free registration and some travelling support. The grant is intended for student authors who personally present papers accepted in any of the tracks (full papers, short papers, posters, demos, workshop papers), or participate in the Doctoral Consortium. Students should submit applications regardless of whether or not their papers have been accepted. However, travel awards will only be given to students who have an accepted paper, note or poster and who will be presenting that work themselves, or who present their PhD project at the Doctoral Consortium. Applications must be submitted by August 1st, 2016. Late applications will not be considered. To apply for a SSTG Student Travel Award, the student should submit the following: · A completed application form · A resume · A letter of support from the student's research advisor · Optionally: Background material that supports the application, e.g. benefits of attending the conference or the student's research background · You must be a member of SIGAI before you apply ($11 dues) Students should apply by submitting their application to PCS (http://precisionconference.com/~sigchi/?goto=submissions/) and include the information detailed in the Student Award Application. More information and a link for submitting an application (in early July 2016) can be found on the SIGCHI website (http://www.sigchi.org/conferences/funding/student-travel-grant). Deadline for applications for student support: August 1st, 2016. Notification of Results: August 15th, 2016. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From BoothR2 at cardiff.ac.uk Fri Jun 24 10:40:07 2016 From: BoothR2 at cardiff.ac.uk (Richard Booth) Date: Fri, 24 Jun 2016 08:40:07 +0000 Subject: Lectureship positions at Cardiff University Message-ID: Applications are invited for two Lectureship posts in the School of Computer Science & Informatics at Cardiff University. These are full-time, open-ended posts starting on 1 August 2016 or as soon as possible thereafter. Although applications relating to any of the school's research groups are welcomed, the field of Knowledge Representation and Reasoning is one of the current priority areas of the school. Cardiff University has a large and successful School of Computer Science & Informatics which is well resourced and enjoys an international reputation for both its teaching and research activities. The School of Computer Science & Informatics is located in the Queen's Buildings complex on Newport Road within the city centre of Cardiff. Cardiff is a strong and vibrant capital city with good transportation links and an excellent range of housing available. For more information on the School please visit our website: http://www.cs.cf.ac.uk/ Salary: £31,656 - £37,768 (Grade 6) per annum; or £40,082 - £46,414 (Grade 7), per annum. Deadline for applications: 14th July 2016 Full details about the post are available here: http://www.jobs.ac.uk/job/ANX560/lecturer-teaching-and-research-in-computer-science-and-informatics/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From idsistworkshops at gmail.com Fri Jun 24 11:36:58 2016 From: idsistworkshops at gmail.com (IDS Workshops) Date: Fri, 24 Jun 2016 10:36:58 +0100 Subject: Next-Generation Mobile and Pervasive Healthcare Solutions IGI Book - CFC In-Reply-To: <9dc4616a-7071-281c-083a-1c7811917222@dsi.uminho.pt> References: <9dc4616a-7071-281c-083a-1c7811917222@dsi.uminho.pt> Message-ID: Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Fri Jun 24 14:36:25 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 24 Jun 2016 15:36:25 +0300 Subject: 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Third Call for Workshop Proposals Message-ID: <6UB1AZ5X-7KEX-M6EF-53IK-FKVAAHK4TWQ1@cs.ucy.ac.cy> ** Third Call for Workshop Proposals *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBUaGlyZCBDYWxsIGZvciBXb3Jrc2hvcCBQcm9wb3NhbHMJMzcJTGlzdHMJMjQ1CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiui.acm.org%2F2017 Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. IUI 2017 is pleased to invite proposals for workshops to be held in conjunction with the conference. The goal of the workshops is to provide a venue for presenting research on focused topics of interest and an informal forum to discuss research questions and challenges. Workshops will be held on the first day of the conference. We invite submissions of full-day (6 hours) and half-day (3 hours) workshop proposals on any of the conference topics. We encourage proposals for a wide range of workshops, including but not limited to: · "Mini-conferences" on specialized topics; such workshops may have their own paper submission and review processes. · "Late breaking work" meetings; such workshops usually have a lighter review process (e.g. based on abstracts only). · "Hands-on" workshops around a specific problem or topic that may wish to ask participants to submit a position statement. · "Project centric" workshops that may be closely related to the scope of an existing large scale (e.g. EU funded) project. · "Mini-competitions", challenges, or hack-a-thons around selected topics with individual or team participation. Proposal Format Note: The key to a successful workshop submission is to CONTACT THE CHAIRS WITH YOUR IDEAS (workshop2017 at iui.acm.org), and work together to prepare an exciting proposal! Workshop proposals should be maximum 2 pages long and follow the formatting instructions from SIGCHI Paper Format, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBUaGlyZCBDYWxsIGZvciBXb3Jrc2hvcCBQcm9wb3NhbHMJMzcJTGlzdHMJMjQ1CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform . Please submit your proposal by e-mail to the workshop chairs at workshop2017 at iui.acm.org. The proposals should be organized as follows: · Name and title: A one-word workshop acronym and a full title. · Description of workshop topic and goal: This description should discuss the relevance of the suggested topic to IUI and its interest for the IUI 2017 audience. Include a brief discussion of why and for which audience the workshop is of particular interest. · Organizers: Names, affiliations, emails, and web pages of the workshop organizers. This can be a single person or a group of people. Strong proposals normally include organizers who bring differing perspectives on the topic and are actively connected to the communities of potential participants. Please indicate the primary contact person and the organizers who plan to attend the workshop. · Previous history: List of previous workshops that were held on the topic including the conferences that hosted past workshops and the number of participants. Also please provide the list of other workshops organized by workshop organizers in the past. · Workshop program committee: Names and affiliation of the members of the workshop program committee that will evaluate the workshop submissions. · Participants: A statement saying how many participants you expect and how you plan to invite participants for the workshop. We recommend the proposal to include the names of at least 10 people who have expressed interest to participate in the workshop. · Workshop format: A brief description of the workshop format regarding the mix of events such as paper presentations, invited talks, panels, demonstrations, and general discussion. · Length: Full-day or half-day. · Proposal format: Workshop proposals should be maximum 2 pages long and follow the formatting instructions from SIGCHI: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBUaGlyZCBDYWxsIGZvciBXb3Jrc2hvcCBQcm9wb3NhbHMJMzcJTGlzdHMJMjQ1CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform . Additional Guidelines · Workshop proposals will be reviewed and evaluated by the workshop chairs and the IUI 2017 program committee chairs. · Organizers: We strongly encourage the workshop organizers to attend IUI and take part in their workshop. This can make the workshops more appealing for the participants and strengthen the discussion part. · Workshop summary: An extended abstract (max. 3 pages) with a summary of the workshop goals and an overview of the workshop topics will be included in the ACM Digital Library for IUI 2017. · Workshop proceedings: At the convenience of the workshop organizers, we will arrange a joint volume of online proceedings for the workshop papers. Workshops should request the authors to submit papers in the ACM SIGCHI Paper Format. · Cancellation: Workshops with fewer than 10 submissions by December 23, 2016 may be cancelled. This will be done in consultation between the workshop chairs of IUI 2017 and the workshop organizers. Additionally, we strongly encourage to have workshop organizers from different institutions and research communities, bringing different perspectives to the workshop topic. We welcome workshops with a creative structure that attracts various types of contributions and ensures rich interactions. The organizers of accepted workshops are responsible for producing a call for participation and publicizing it, such as distributing the call to relevant newsgroups and electronic mailing lists, and especially to potential audiences from outside the IUI conference community. Workshop organizers will maintain their own web site with updated information about the workshop and the IUI 2017 web site will refer to the workshop site. The workshop organizers will coordinate the paper sollicitation, collection, and review process, and coordinate the production of the joint online proceedings with IUI 2017 workshop chairs. Important Dates Discuss your topic with the workshop chairs: ASAP (workshop2017 at iui.acm.org) · Workshop Proposals: September 16, 2016 · Decisions Sent: October 7, 2016 ** TENTATIVE dates of the review cycle ** · Submission Deadline: December 16, 2016 · Final go/no-go Decision: December 23, 2016 · Camera-Ready of Workshop Summary: January 5, 2017 · Notifications to Authors: January 23, 2017 · Camera-Ready of Accepted Papers: February 6, 2017 · Workshop Date: March 13, 2017 Workshops Co-Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From marco.gavanelli at unife.it Sat Jun 25 16:58:55 2016 From: marco.gavanelli at unife.it (Marco Gavanelli) Date: Sat, 25 Jun 2016 16:58:55 +0200 Subject: PADL'17 call for papers Message-ID: <576E9C2F.6080500@unife.it> Call for Papers =============== 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) http://bit.ly/PADL-2017 Paris, France 16th and 17th January 2017 Co-located with ACM POPL 2017 (http://conf.researchr.org/home/POPL-2017) The two best papers accepted for publication at PADL will be invited to submit an extended version for rapid publication in the journal Theory and Practice of Logic Programming. Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2017 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2017 will be co-located with the Symposium on Principles of Programming Languages (POPL 2017), in Paris, France. Important Dates and Submission Guidelines ========================================= Abstract submission: September 12, 2016 Paper submission: September 19, 2016 Notification: October 18, 2016 Camera-ready: November 1, 2016 Symposium: January 16-17, 2017 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl17 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2017 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL 2017 will appear in the LNCS series of Springer Verlag ( www.springer.com/lncs ). Two papers accepted for publication at PADL'17 will be nominated for the Most Practical Paper award (one of them as the Student Best Paper), each in cash amount of 250 Euro. These two papers will be invited to submit an extended version of their contribution to the journal "Theory and Practice of Logic Programming" for rapid publication. The extended version should contain at least 30% new content compared to the published conference paper. The extended paper will undergo an additional review process. Program Committee ================= Erika Abraham, RWTH Aachen University Marcello Balduccini, Drexel University Lars Bergstrom, Mozilla Research Bart Bogaerts, Aalto University Edwin Brady, University of St Andrews Martin Brain, University of Oxford Mats Carlsson, SICS Manuel Carro, Technical University of Madrid (UPM) and IMDEA Software Institute Stefania Costantini, University dell'Aquila Marc Denecker, KU Leuven Esra Erdem, Sabanci University Thom Fruehwirth, University of Ulm Marco Gavanelli, University of Ferrara Martin Gebser, University of Potsdam Jeremy Gibbons, University of Oxford Hai-Feng Guo, University of Nebraska at Omaha Jurriaan Hage, Universiteit Utrecht Geoffrey Mainland, Drexel University Henrik Nilsson, University of Nottingham Enrico Pontelli, New Mexico State University Ricardo Rocha, University of Porto Peter Schüller, Marmara University Peter Sestoft, IT University of Copenhagen Martin Sulzmann, Karlsruhe University of Applied Sciences Paul Tarau, University of North Texas Kazunori Ueda, Waseda University Niki Vazou, University of California, San Diego Philip Wadler, University of Edinburgh Daniel Winograd-Cort, University of Pennsylvania Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center Lukasz Ziarek, SUNY Buffalo Program Chairs: Yuliya Lierler, University of Nebraska Omaha Walid Taha, Halmstad University Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Yuliya Lierler University of Nebraska Omaha, USA http://faculty.ist.unomaha.edu/ylierler/ Walid Taha Halmstad University, Sweden http://www.effective-modeling.org/p/walid-taha.html email: padl17 at easychair.org -- Marco Gavanelli Associate Professor Ph.D. in Computer Science Dept of Engineering University of Ferrara Tel/Fax +39-0532-97-4833 http://docente.unife.it/marco.gavanelli From panpap at ics.forth.gr Sun Jun 26 13:11:46 2016 From: panpap at ics.forth.gr (Panagiotis Papadopoulos) Date: Sun, 26 Jun 2016 14:11:46 +0300 Subject: Deadline approaching - 12th International Workshop on Security and Trust, Management (STM 2016) Message-ID: <576FB872.9080307@ics.forth.gr> =========================================================================== 12th International Workshop on Security and Trust Management (STM) Heraklion, Crete, Greece - September 26-27, 2016 http://stm2016.ics.forth.gr/ Call for Papers =========================================================================== STM (Security and Trust Management) is a working group of ERCIM (European Research Consortium in Informatics and Mathematics). STM 2016 is the twelfth workshop in this series and will be held in Heraklion, Crete, Greece on September 26-27th, 2016, in conjunction with the 21st European Symposium On Research in Computer Security (ESORICS 2016 http://www.ics.forth.gr/esorics2016/). The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of security and trust in ICTs. Important Dates ------------------------------------ * Paper Submission due: *June 30, 2016* * Notification to authors: *July 29, 2016* * Camera ready due: *August 7, 2016* Submission Instructions ------------------------------------ Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. All submissions should be appropriately anonymized (i.e., papers should not contain author names or affiliations, or obvious citations). Submissions should be at most 16 pages, including the bibliography and well-marked appendices, and should follow the LNCS style (author instructions can be found here http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions are to be made to the submission web site at https://www.easychair.org/conferences/?conf=stm2016. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Papers must be received by the deadline. Authors of accepted papers must guarantee that their papers will be presented at the workshop. The proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. Topics of interest ------------------------------------ * Access control * Mobile security * Security and trust in the Internet of Things * Anonymity * Networked systems security * Security and trust in pervasive computing * Applied cryptography * Operating systems security * Security and trust in services * Authentication * Privacy * Security and trust in social networks * Complex systems security * Security and trust metrics * Social implications of security and trust * Data and application security * Security and trust policies * Trust assessment and negotiation * Data protection * Security and trust management architectures * Trust in mobile code * Data/system integrity * Security and trust for big data * Trust models * Digital right management * Security and trust in cloud environments * Trust management policies * Economics of security and privacy * Security and trust in content delivery networks * Trust and reputation systems * Formal methods for security and trust * Security and trust in crowdsourcing * Trusted platforms * Identity management * Security and trust in grid computing * Trustworthy systems and user devices * Legal and ethical issues Program Chairs ------------------------------------ * Gilles Barthe, IMDEA Software Institute, Spain * Evangelos Markatos, FORTH-ICS, Greece Publicity Chair ------------------------------------ * Panagiotis Papadopoulos, FORTH-ICS, Greece Program Committee ------------------------------------ Spiros Antonatos, IBM Research, Dublin, Republic of Ireland Myrto Arapinis, University of Birmingham, UK Elias Athanasopoulos, Vrije Universiteit Amsterdam, Netherlands Davide Balzarotti, Eurecom, France Gilles Barthe, IMDEA Software Institute, Spain Gustavo Betarte, InCo, Facultad de Ingeniería, Universidad de la República, Uruguay Stefano Calzavara, Università Ca' Foscari Venezia, Italy Cas Cremers, University of Oxford, UK Jorge Cuellar, Siemens AG, CT IC, Germany Hervé Debar, Télécom SudParis, France Carmen Fernández-Gago, University of Malaga, Spain Sara Foresti, DI - Università degli Studi di Milano, Italy Michael Huth, Imperial College London, UK Christian Damsgaard Jensen, Technical University of Denmark, Denmark Martin Johns, SAP Research, Germany Dogan Kesdogan, Universität Regensburg, Germany Marek Klonowski, Wroclaw UT, Poland Daniel Le Métayer, INRIA, France Yang Liu, Nanyang Technological University, Singapore Giovanni Livraga, Università degli Studi di Milano, Italy Javier Lopez, University of Malaga, Spain Evangelos Markatos, FORTH-ICS, Greece Fabio Martinelli, IIT-CNR, Italy Sjouke Mauw, University of Luxembourg, Luxembourg Catherine Meadows, Naval Research Laboratory (NRL), USA Martín Ochoa, Technische Universität München, Germany Evangelos Ouzounis, ENISA, Greece Nineta Polemi, University of Pireaus, Greece Erik Poll, Radboud Universiteit Nijmegen, Netherlands Michalis Polychronakis, Stony Brook University, USA Silvio Ranise, FBK-Irst, Italy Michael Rusinowitch, LORIA - INRIA Nancy, France Alejandro Russo, Chalmers University of Technology, Sweden Pierangela Samarati, Università degli Studi di Milano, Italy Steve Schneider, University of Surrey, UK Rolando Trujillo, University of Luxembourg, SnT, Luxembourg Edgar Weippl, SBA Research, Austria Fabian Yamaguchi, Technische Universität Braunschweig, Germany Stefano Zanero, Politecnico di Milano, Italy For any questions, please contact the program chair atstm2016 at ics.forth.gr From grlmc at grlmc.com Sun Jun 26 13:48:55 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 26 Jun 2016 13:48:55 +0200 Subject: TPNC 2016: 3rd call for papers Message-ID: <545102060a010b02005e54000f055a015a510d55570901570202015504035a57030557530b09070a0352540b535459@grlmc_ip-zone_com-6> TPNC 2016: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *************************************************************************** 5th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2016   Sendai, Japan   December 12-14, 2016   Organized by:   Cyberscience Center Tohoku University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/TPNC2016/ ***************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2016 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2016 will take place in Sendai, in the northeast (Tohoku) region of Japan. The city was founded in 1600 and is nicknamed the "city of trees". It is the second largest city north of Tokyo. It takes about 100 minutes to reach Sendai from Tokyo by bullet train (Shinkansen). The venue will be the Cyberscience Center, Aobayama Campus, Tohoku University:   http://www.cc.tohoku.ac.jp/HTML/   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   amorphous computing ant colonies artificial chemistry artificial immune systems artificial life bacterial foraging cellular automata chaos computing collision-based computing complex adaptive systems computing with DNA computing with words and perceptions developmental systems evolutionary computing fractal geometry fuzzy logic gene assembly in ciliates granular computing intelligent systems in-vivo computing membrane computing nanocomputing neural computing optical computing physarum machines quantum computing quantum information reaction-diffusion systems rough sets self-organizing systems swarm intelligence synthetic biology   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2016 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   Eric Bonabeau (Icosystem), The Interface: Thinking Differently about How Humans and Algorithms Connect   Luis Martínez López (University of Jaén), Managing Natural Noise in Recommender Systems   Qingfu Zhang (City University of Hong Kong), Decomposition Multiobjective Evolutionary Computation   PROGRAMME COMMITTEE:   Andrew Adamatzky (University of the West of England, UK) Zixing Cai (Central South University, China) Óscar Castillo (Tijuana Institute of Technology, Mexico) Óscar Cordón (University of Granada, Spain) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence Research, Switzerland) Marco Dorigo (Free University of Brussels – ULB, Belgium) Austin G. Fowler (Google, USA) Michel Gendreau (Montreal Polytechnic, Canada) Debasish Ghose (Indian Institute of Science, Bangalore, India) Jin-Kao Hao (University of Angers, France) Inman Harvey (University of Sussex, UK) Wei-Chiang Hong (Nanjing Tech University, China) Amir Hussain (University of Stirling, UK) Robert John (University of Nottingham, UK) Joshua Knowles (University of Birmingham, UK) Kwong-Sak Leung (Chinese University of Hong Kong, China) Seth Lloyd (Massachusetts Institute of Technology, USA) José A. Lozano (University of the Basque Country, Spain) Vittorio Maniezzo (University of Bologna, Italy) Carlos Martín-Vide (Rovira i Virgili University, Spain, chair) Philip K. McKinley (Michigan State University, USA) Jerry M. Mendel (University of Southern California, USA) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology in Bratislava, Slovakia) Chrystopher Nehaniv (University of Hertfordshire, UK) Vilém Novák (University of Ostrava, Czech Republic) Linqiang Pan (Huazhong University of Science and Technology, China) Frederick E. Petry (Naval Research Laboratory, USA) Dan Ralescu (University of Cincinnati, USA) Francisco C. Santos (University of Lisbon, Portugal) Friedrich Simmel (Technical University of Munich, Germany) Andrzej Skowron (University of Warsaw, Poland) John A. Smolin (IBM Thomas J. Watson Research Center, USA) Ying Tan (Peking University, China) Guy Theraulaz (Paul Sabatier University, France) Tommaso Toffoli (Boston University, USA) Vicenç Torra (University of Skövde, Sweden) Edward Tsang (University of Essex, UK) Sergi Valverde (Pompeu Fabra University, Spain) José Luis Verdegay (University of Granada, Spain) Fernando J. Von Zuben (University of Campinas, Brazil) K. Birgitta Whaley (University of California, Berkeley, USA) Darrell Whitley (Colorado State University, USA) Xin‐She Yang (Middlesex University, UK) Hao Ying (Wayne State University, USA) Mengjie Zhang (Victoria University of Wellington, New Zealand) Zhi-Hua Zhou (Nanjing University, China)   ORGANIZING COMMITTEE:   Masayuki Fukumitsu (Ebetsu) Carlos Martín-Vide (Tarragona, co-chair) Takaaki Mizuki (Sendai, co-chair) Hideaki Sone (Sendai) Miguel A. Vega-Rodríguez (Cáceres) Florentina Lilica Voicu (Tarragona)   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://easychair.org/conferences/?conf=tpnc2016   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of the journal Soft Computing (Springer, 2014 JCR impact factor: 1.304) 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/TPNC2016/Registration.php   DEADLINES:   Paper submission: July 26, 2016 (23:59h, CET) Notification of paper acceptance or rejection: September 2, 2016 Final version of the paper for the LNCS proceedings: September 9, 2016 Early registration: September 9, 2016 Late registration: November 28, 2016 Submission to the post-conference journal special issue: March 14, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   TPNC 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:   Tohoku University Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From missura.olana at gmail.com Sun Jun 26 20:19:13 2016 From: missura.olana at gmail.com (Olana Missura) Date: Sun, 26 Jun 2016 14:19:13 -0400 Subject: ECML/PKDD 2016: Updated prizes and deadlines for SPHERE challenge Message-ID: ECML/PKDD 2016: Updated prizes and deadline for SPHERE ChallengePrizesPrizes will be awarded to the first three winners: - €1,000 € 5,000 being awarded to the winner; - €600 € 3,000 to the runner up; and - €400 € 2,000 to the second runner up. Deadlines - Solution Proposal Deadline: July 19th 2016 - Paper submission deadline: July 8th 2016 (Selected Teams will be invited to submit their solution to the challenge workshop) - Notification: July 25th 2016 - Challenge Websitehttps://www.drivendata.org/competitions/sphere *Good luck!* -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From panpap at ics.forth.gr Tue Jun 28 15:23:17 2016 From: panpap at ics.forth.gr (Panagiotis Papadopoulos) Date: Tue, 28 Jun 2016 16:23:17 +0300 Subject: Deadline Extended - 12th International Workshop on Security and Trust Management (STM 2016) Message-ID: <57727A45.1000006@ics.forth.gr> =========================================================================== 12th International Workshop on Security and Trust Management (STM) Heraklion, Crete, Greece - September 26-27, 2016 http://stm2016.ics.forth.gr/ Call for Papers =========================================================================== STM (Security and Trust Management) is a working group of ERCIM (European Research Consortium in Informatics and Mathematics). STM 2016 is the twelfth workshop in this series and will be held in Heraklion, Crete, Greece on September 26-27th, 2016, in conjunction with the 21st European Symposium On Research in Computer Security (ESORICS 2016 http://www.ics.forth.gr/esorics2016/). The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of security and trust in ICTs. Important Dates ------------------------------------ * Paper Submission due: *June 30, 2016* (July 5, 2016) * Notification to authors: *July 29, 2016* * Camera ready due: *August 7, 2016* Submission Instructions ------------------------------------ Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. All submissions should be appropriately anonymized (i.e., papers should not contain author names or affiliations, or obvious citations). Submissions should be at most 16 pages, including the bibliography and well-marked appendices, and should follow the LNCS style (author instructions can be found here http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions are to be made to the submission web site at https://www.easychair.org/conferences/?conf=stm2016. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Papers must be received by the deadline. Authors of accepted papers must guarantee that their papers will be presented at the workshop. The proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. Topics of interest ------------------------------------ * Access control * Mobile security * Security and trust in the Internet of Things * Anonymity * Networked systems security * Security and trust in pervasive computing * Applied cryptography * Operating systems security * Security and trust in services * Authentication * Privacy * Security and trust in social networks * Complex systems security * Security and trust metrics * Social implications of security and trust * Data and application security * Security and trust policies * Trust assessment and negotiation * Data protection * Security and trust management architectures * Trust in mobile code * Data/system integrity * Security and trust for big data * Trust models * Digital right management * Security and trust in cloud environments * Trust management policies * Economics of security and privacy * Security and trust in content delivery networks * Trust and reputation systems * Formal methods for security and trust * Security and trust in crowdsourcing * Trusted platforms * Identity management * Security and trust in grid computing * Trustworthy systems and user devices * Legal and ethical issues Program Chairs ------------------------------------ * Gilles Barthe, IMDEA Software Institute, Spain * Evangelos Markatos, FORTH-ICS, Greece Publicity Chair ------------------------------------ * Panagiotis Papadopoulos, FORTH-ICS, Greece Program Committee ------------------------------------ Spiros Antonatos, IBM Research, Dublin, Republic of Ireland Myrto Arapinis, University of Birmingham, UK Elias Athanasopoulos, Vrije Universiteit Amsterdam, Netherlands Davide Balzarotti, Eurecom, France Gilles Barthe, IMDEA Software Institute, Spain Gustavo Betarte, InCo, Facultad de Ingeniería, Universidad de la República, Uruguay Stefano Calzavara, Università Ca' Foscari Venezia, Italy Cas Cremers, University of Oxford, UK Jorge Cuellar, Siemens AG, CT IC, Germany Hervé Debar, Télécom SudParis, France Carmen Fernández-Gago, University of Malaga, Spain Sara Foresti, DI - Università degli Studi di Milano, Italy Michael Huth, Imperial College London, UK Christian Damsgaard Jensen, Technical University of Denmark, Denmark Martin Johns, SAP Research, Germany Dogan Kesdogan, Universität Regensburg, Germany Marek Klonowski, Wroclaw UT, Poland Daniel Le Métayer, INRIA, France Yang Liu, Nanyang Technological University, Singapore Giovanni Livraga, Università degli Studi di Milano, Italy Javier Lopez, University of Malaga, Spain Evangelos Markatos, FORTH-ICS, Greece Fabio Martinelli, IIT-CNR, Italy Sjouke Mauw, University of Luxembourg, Luxembourg Catherine Meadows, Naval Research Laboratory (NRL), USA Martín Ochoa, Technische Universität München, Germany Evangelos Ouzounis, ENISA, Greece Nineta Polemi, University of Pireaus, Greece Erik Poll, Radboud Universiteit Nijmegen, Netherlands Michalis Polychronakis, Stony Brook University, USA Silvio Ranise, FBK-Irst, Italy Michael Rusinowitch, LORIA - INRIA Nancy, France Alejandro Russo, Chalmers University of Technology, Sweden Pierangela Samarati, Università degli Studi di Milano, Italy Steve Schneider, University of Surrey, UK Rolando Trujillo, University of Luxembourg, SnT, Luxembourg Edgar Weippl, SBA Research, Austria Fabian Yamaguchi, Technische Universität Braunschweig, Germany Stefano Zanero, Politecnico di Milano, Italy For any questions, please contact the program chair at stm2016 at ics.forth.gr From C.Orasan at wlv.ac.uk Tue Jun 28 18:58:46 2016 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Tue, 28 Jun 2016 16:58:46 +0000 Subject: CFP: Translating and the Computer 2016 (TC38) - extended deadline References: <9B5794214CA57F4C9EEA165836E2000ADCA8F4A7@EXCHMBX10I04.unv.wlv.ac.uk> Message-ID: <1467133125.2906.13.camel@wlv.ac.uk> [Apologies for cross-posting] Translating and the Computer 2016 (TC38) 17 and 18 November 2016, London, UK Call for Proposals (Deadline extended to July 13th) So much is happening in the language industry today with new technologies offering innovative ways of focusing on communicating better. On 17 and 18 November 2016, AsLing provides a unique opportunity to have your say at the 38th edition of the annual Translating and the Computer Conference (TC38) in London. TC38 is a key date in the diary precisely because it draws together “bridge-builders” from many different countries, backgrounds and professions. An annual event where translators, researchers and business people, from translation companies, international organisations, universities and research labs, meet with freelance professionals and tool developers to exchange ideas and discuss latest trends. It offers an excellent occasion to engage with stakeholders from all areas of the translation world. The conference takes the form of presentations and posters and also features panel discussions and workshops on for example quality procedures, workflow, terminology, interpreting. If you or a colleague have something to contribute, please submit an abstract. See Submission guidelines on the website (http://www.asling.org/tc38/?page_id=40) and submit your proposals for either a paper, poster or workshop using the START system at https://www.softconf.com/g/tc2016/ . Conference topics Contributions are invited on any topic related to the technology used in translation and interpreting, including, but not limited to: * Translation Memory (TM) systems * Terminology Management * Machine Translation (training, quality assessment, post-editing, adaptation) * Tools and resources for interpreters * Quality Control * Interoperability * Crowd-sourcing * Natural Language Processing * Translation Workflow and Management * Training (including university translation programmes and ongoing professional training) * How to facilitate collaboration between translator and translation companies * Translation Workflow and Management * Cloud systems * Mobile technologies in support of translators For further information and regular updates please refer to the website http://www.asling.org/tc38/ or contact: submissions at asling.org Schedule 13 July 2016 - deadline for abstracts of papers and posters 8 August 2016 - all authors notified of decisions 30 September 2016 - speakers' full papers and posters to be submitted for inclusion in the e-proceedings 4 November 2016 - speakers’ presentations to be submitted 17-18 November 2016 - conference takes place in London Conference Chairs João Esteves-Ferreira, Tradulex, International Association for Quality Translation Juliet Macan, Language technology consultant Ruslan Mitkov, University of Wolverhampton Olaf-Michael Stefanov, United Nations (ret), JIAMCATT Programme Committee Juanjo Arevalillo, Hermes Traducciónes David Chambers, World Intellectual Property Organization (ret) Gloria Corpas Pastor, University of Málaga Sarah Griffin-Mason, Institute of Translation and Interpreting Joanna Drugan, University of East Anglia David Filip, CNGL / ADAPT Bruno Pouliquen, World Intellectual Property Organization Paola Valli, TAUS and University of Trieste Nelson Verástegui, International Telecommunications Union (ret) David Verhofstadt, International Atomic Energy Agency -- Dr. Constantin Orasan Reader in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Thu Jun 30 15:45:21 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 30 Jun 2016 16:45:21 +0300 Subject: 21st International Symposium on Formal Methods (FM 2016): Call for Industry Track Papers Message-ID: FM 2016 Industry Track part of the 21st International Symposium on Formal Methods http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBGb3JtYWwgTWV0aG9kcyAoRk0gMjAxNik6IENhbGwgZm9yIEluZHVzdHJ5IFRyYWNrIFBhcGVycwkzOQlMaXN0cwkyNDUJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Ffm2016.cs.ucy.ac.cy%2Fcfpindustrytrack.html Limassol, Cyprus, November 7-11, 2016 IMPORTANT DATES * Industry Track Submission: July 31, 2016 (AoE) * Industry Track Notification: August 22, 2016 * Industry Track Camera Ready: September 5, 2016 * Industry Track Date: November 10, 2016 CALL FOR INDUSTRY TRACK PAPERS FM 2016 is the 21st in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers. The industry track of FM 2016 welcomes short papers and extended abstracts describing industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome engineering and qualification problems, led to improvements in design or provided new insights. A survey of industrial applications of formal methods has been conducted and is continuously being extended (now with more than 100 entries). It would be welcome if submissions to the industrial track also would take the time to supply an entry to this survey (http://fm2016.cs.ucy.ac.cy/img/EntryTemplate.xlsx). We hope during the industry track of FM 2016 to provide a new status of this survey so you will be able to see how your findings compare to others. PAPER SUBMISSION Industry track papers should not exceed 6 pages (including appendices and references) for short papers. Accepted short papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science. Extended abstracts of 2-4 pages are also welcome and will be added in a conference report. Submitted papers (written in English) should not have been published or submitted elsewhere concurrently for publication, shall not contain any proprietary information that might hamper publication (to be checked and confirmed by author prior to submission) and should be in Springer's LNCS format. All submissions will be evaluated by at least three members of the industry track program committee. Accepted papers shall be presented at the conference in person by at least one of the authors of the paper. Papers should be submitted through the FM 2016 Industry Track EasyChair web site. http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBGb3JtYWwgTWV0aG9kcyAoRk0gMjAxNik6IENhbGwgZm9yIEluZHVzdHJ5IFRyYWNrIFBhcGVycwkzOQlMaXN0cwkyNDUJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dfm2016 (select "FM Industry Track" when adding a new submission) A number of invited papers from the industry are also expected for presentation in the Industry track of FM 2016. INDUSTRY TRACK PROGRAM COMMITTEE Ewen Denney, NASA, US Thai-Son Hoang, University of Southampton, UK Ralf Huuck, NICTA, AU Georgia Kapitsaki, University of Cyprus, CY (co-chair) Thomas Kropf, Bosch, DE Thierry Lecomte, SAP, FR Tiziana Margaria, University of Limerick and Lero, IE (co-chair) Nico Plat, West Consulting BV, NL Judi Romijn, Movares, NL Andreas Roth, SAP, DE Marcel Verhoef, European Space Agency, NL (co-chair) Aneta Vulgarakis, Ericsson Research, SE -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: