From nils.muellner at mdh.se Thu Sep 1 09:59:52 2016 From: nils.muellner at mdh.se (Nils Muellner) Date: Thu, 1 Sep 2016 07:59:52 +0000 Subject: SETTA 2016 - Call for Participation - Symposium on Dependable Software Engineering Theories, Tools and Applications Beijing, China, Nov. 9-11, 2016 Message-ID: [Please accept our apologies if you receive multiple copies of this Call for Participation] ==================================================== CALL FOR PARTICIPATION SETTA 2016 2nd Symposium on Dependable Software Engineering Theories, Tools and Applications Beijing, China, Nov. 9-11, 2016 http://lcs.ios.ac.cn/setta/ ==================================================== === Important dates === Early registration deadline: October 10, 2016 Conference: Nov. 9-11, 2016 === Objectives and scope === The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services. Contributions relating to formal methods or integrating them with software engineering, as well as papers advancing scalability or widening the scope of rigorous methods to new design goals are especially welcome. Being hosted in China, the symposium will also provide a platform for building up research collaborations between the rapidly growing Chinese computer science community and its international counterpart. The symposium will support this process through dedicated events and therefore welcomes both young researchers considering international collaboration in formal methods and established researchers looking for international cooperation and willing to attract new colleagues to the domain. Areas of interest include but are not limited to: * Requirements specification and analysis * Formalisms for modeling, design and implementation * Model checking, theorem proving, and decision procedures * Scalable approaches to formal system analysis * Formal approaches to simulation and testing * Integration of formal methods into software engineering practice * Contract-based engineering of components, systems, and systems of systems * Formal and engineering aspects of software evolution and maintenance * Parallel and multicore programming * Embedded, real-time, hybrid, and cyber-physical systems * Mixed-critical applications and systems * Formal aspects of service-oriented and cloud computing * Safety, reliability, robustness, and fault-tolerance * Empirical analysis techniques and integration with formal methods * Applications and industrial experience reports * Tool integration === Invited speakers === * Prof. Edward A. Lee (University of California at Berkeley, USA) : Dependable Cyber-Physical Systems * Prof. Sriram Sankaranarayanan(University of Colorado Boulder, USA ) : From finitely many simulations to flowpipes * Prof. Mingsheng Ying (University of Technology Sydney, Australia and Tsinghua University, China) : Toward Automatic Verification of Quantum Programs === Co-located Events === SETTA 2016 will be accompanied by two co-located events: 2nd Young Researchers Workshop on Formal Methods (YR-SETTA 2016) http://lcs.ios.ac.cn/setta/yr-setta/ FMAC 2016 (in Chinese) http://lcs.ios.ac.cn/setta/fmac2016/ === Conference location === SETTA 2016 is hosted by the Institute of Software, Chinese Academy of Science; the conference will take place in Building 5. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From frank.loebe at informatik.uni-leipzig.de Fri Sep 2 14:26:50 2016 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Fri, 2 Sep 2016 14:26:50 +0200 Subject: ODLS 2016: Call for Participation (7th Workshop on Ontologies and Data in Life Sciences, Sep 29-30, Halle (Saale), Germany) Message-ID: <8ee2a481-655e-466a-0ee0-8620ea6134ba@informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ------------------------------------------------------- Call for Participation >> ODLS 2016 << ! REGISTRATION NOW OPEN - Register by Sep 18, 2016 ! [1] https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2016-ODLS PREVIEW: * Keynotes by ** Johannes Hübner (Halle (Saale), Germany) ** Robert Stevens (Manchester, UK) * Accepted submissions: 7 papers + 6 abstracts * Contribution towards expenses: 30 / 25 / 20 EUR ------------------ 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. Important Dates (Upcoming) -------------------------- Camera-ready manuscripts due: September 15, 2016 (Thu) <-- strict Registration: *September 18, 2016* (Sun) ODLS Workshop: September 29-30, 2016 (Thu-Fri) Keynote Speakers ---------------- * Johannes Hübner, Martin-Luther-University of Halle-Wittenberg "Capacities, powers, abilities. Towards a taxonomy of organic dispositions" * Robert Stevens, University of Manchester, UK "The Pragmatics and Formality of Authoring Ontologies" Please see the website [1] for abstracts of the keynote talks. Accepted Submissions -------------------- PAPERS * Deep Learning meets the Semantic Web: A feasibility study with the Cardiovascular Disease Ontology and PubMed citations Mercedes Arguello Casteleiro, George Demetriou, Warren Read, Maria Jesus Fernandez-Prieto, Diego Maseda-Fernandez, Goran Nenadic, Julie Klein, John Keane and Robert Stevens * A document-centric approach for developing biological ontology Aisha Blfgeh, Jennifer Warrender, Catharien Hilkens and Phillip Lord * Challenges and opportunities for system biology standards and tools in medical research Matthias König, Anika Oellrich, Dagmar Waltemath, Richard Jb Dobson, Tim Jp Hubbard and Olaf Wolkenhauer * Querying standardized EHRs by a Search Ontology XML Extension (SOX) Stefan Kropf, Alexandr Uciteli, Kerstin Denecke and Heinrich Herre * Towards standardized evidence descriptors for metabolite annotations Daniel Schober, Reza M. Salek and Steffen Neumann * A Whiteheadian approach to data and knowledge Sebastian Siemoleit and Heinrich Herre * Risk Identification Ontology (RIO): An ontology for specification and identification of perioperative risks Alexandr Uciteli, Juliane Neumann, Kais Tahar, Kutaiba Saleh, Stephan Stucke, Sebastian Faulbrück-Röhr, André Kaeding, Martin Specht, Tobias Schmidt, Thomas Neumuth, Andreas Besting, Frank Portheine and Heinrich Herre EXTENDED ABSTRACTS * A modelling pattern for multi-track dispositions for life-science ontologies Adrien Barton and Ludger Jansen * Ontological interpretation of biomedical database annotations Filipe Santana Da Silva, Ludger Jansen, Fred Freitas and Stefan Schulz * FAIRDOM approach for semantic interoperability of systems biology data and models Olga Krebs, Katy Wolstencroft, Natalie Stanford, Norman Morrison, Martin Golebiewski, Stuart Owen, Quyen Nguyen, Jacky Snoep, Wolfgang Mueller and Carole Goble * MeTMapS – Medical Terminology Mapping System Shao Fen Liang, Talya Porat, Archana Tapuria, Brendan Delaney and Vasa Curcin * Qualitative assessment of annotations using SNOMED CT Jose Antonio Miñarro-Giménez, Catalina Martínez Costa and Stefan Schulz * Extracting process graphs from medical text data Andreas Niekler Contribution towards Expenses and Registration ---------------------------------------------- Every participant is charged a contribution towards expenses, which amounts to * 30 EUR regular, * 25 EUR for members of GI, GMDS or IAOA, * 20 EUR for students. It covers mainly catering during the breaks of both days, excluding dinner. One lunch at the campus cafeteria might be included, depending on the available budget. For registration, please send an email to [2] odls2016 at ipb-halle.de and pay the contribution towards expenses by bank transfer. Details on the registration message as well as regarding the bank transfer are provided at the workshop website [1]. Accommodation and Travel Information ------------------------------------ The ODLS 2016 website [1] comprises sections on accommodation options, partially with special rate, as well as it contains some hints on maps and directions, transport and tourism. Scientific Organization ----------------------- ODLS 2016 is associated with the group Ontologies in Biomedicine and Life Sciences (OBML) [3] within the German Informatics Society (GI), and it is a Supported Event of the International Association for Ontology and its Applications (IAOA) [4]. 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 [5] * 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) [6] in Halle (Saale), Germany. Local Co-organizers: * Daniel Schober, <-- main local contact [7] AG Bioinformatics & Mass Spectrometry, IPB * Steffen Neumann, AG Bioinformatics & Mass Spectrometry, IPB * Stefan Brass, Institute for Computer Science, Martin-Luther-University of Halle-Wittenberg Sponsor ------- The organizers acknowledge generous sponsorship by OntoChem IT Solutions [8], Halle (Saale), Germany. Links ----- [1] Workshop website https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2016-ODLS http://tinyurl.com/odls-2016 [2] Registration (and overall event) email address odls2016 at ipb-halle.de [3] OBML website https://wiki.imise.uni-leipzig.de/Gruppen/OBML [4] IAOA website http://iaoa.org/ [5] Main contact: Frank Loebe https://wiki.imise.uni-leipzig.de/FrankLoebe [6] Local organization website http://www.ipb-halle.de/en/ [7] Local main contact: Daniel Schober http://www.ipb-halle.de/en/employee/daniel-schober/ [8] OntoChem IT Solutions (Sponsor) website http://www.ontochem.de/ ------------------------------------------------------- From peter.schuller at marmara.edu.tr Fri Sep 2 14:44:19 2016 From: peter.schuller at marmara.edu.tr (Peter Schüller) Date: Fri, 2 Sep 2016 15:44:19 +0300 (EEST) Subject: ICLP 2016 Call for Participation - Early Registration deadline Mon Sep 5, 2016 Message-ID: <20160902124419.2E5942C0120@omsievews> (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) Call For Participation 32nd International Conference on Logic Programming New York City, USA October 16-21, 2016 http://software.imdea.org/Conferences/ICLP2016/ *** Early registration deadline: September 5. *** News: - The list of accepted papers is available online: http://software.imdea.org/Conferences/ICLP2016/accepted.html - Invited talks: * Arun Majumdar: One Billion Dollars, Global Warming and Logic Programming. * Francesca Rossi: Embedding Ethical Principles in Decision Support Systems: Can (Constraint) Logic Programming Play a Role? - Tutorials: * Michael Kifer, Theresa Swift and Benjamin Grosof: Practical Knowledge Representation and Reasoning in Ergo. * Yuliya Lierler: Relating Constraint Answer Set Programming and Satisfiability Modulo Theories. - Autumn School on Computational Logic: http://iclp16school.webs.upv.es/ * Roman Bartak: Constraint Logic Programming * Veronica Dahl: Language processing through logic grammars and constraints * Torsten Schaub: Answer Set Programming: foundations and applications * C.R.Ramakrishnan: Verification and probabilistic logic programming - Sponsors: * The Association for Logic Programming: http://logicprogramming.org/ * LogicBlox, Inc: http://www.logicblox.com/ * Semantic Systems: http://www.semantic-systems.com/ * UT Dallas: http://www.utdallas.edu/ Conference Scope Since the first conference held in Marseille in 1982, ICLP has been the pre- mier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Virtual Machines, Parallelism, Constraint Han- dling Rules, Tabling. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking. - Applications: Databases, Big Data, Data Integration and Federation, Soft- ware Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates Early Registration Deadline: September 5, 2016 Conference: October 16-21, 2016 Conference Organization General Chairs: Michael Kifer Stony Brook University, USA Neng-Fa Zhou City University of New York, USA Program Chairs: Manuel Carro UPM and IMDEA Software Institute, Spain Andy King University of Kent, UK Workshop Chair: Marcello Balduccini Drexel University, USA Publicity Chair: Peter Schueller Marmara University, Turkey Doctoral Consortium Chairs: Marina De Vos University of Bath, UK Neda Saeedloei University of Minnesota Duluth, USA Programming Contest Chair: Paul Fodor Stony Brook University, USA Web Presence: Joaquin Arias IMDEA Software Institute, Spain Program Committee: Marcello Balduccini Drexel University, USA Mutsunori Banbara Kobe University, Japan Roman Bartak Charles University, Czech Republic Pedro Cabalar University of Corunna, Spain Mats Carlsson SICS, Sweden Manuel Carro UPM and IMDEA Software Institute, Spain Michael Codish Ben-Gurion University of the Negev, Israel Marina De Vos University of Bath, UK Agostino Dovier Universita degli Studi di Udine, Italy Gregory Duck National University of Singapore, Singapore Esra Erdem Sabanci University, Turkey Wolfgang Faber University of Huddersfield, UK Thom Fruehwirth University of Ulm, Germany John Gallagher Roskilde University, Denmark, and IMDEA Software Institute, Spain Marco Gavanelli Universita degli Studi di Ferrara, Italy Martin Gebser University of Potsdam, Germany Michael Hanus CAU Kiel, Germany Katsumi Inoue NII, Japan Gerda Janssens KU Leuven - University of Leuven, Belgium Andy King University of Kent, UK Ekaterina Komendantskaya Heriot-Watt University, UK Michael Leuschel University of Dusseldorf, Germany Vladimir Lifschitz University of Texas, USA Jose F. Morales IMDEA Software Institute, Spain Enrico Pontelli New Mexico State University, USA Jorg Puhrer Leipzig University, Germany Ricardo Rocha University of Porto, Portugal Zoltan Somogyi Independent Researcher, Australia Harald Sondergaard University of Melbourne, Australia Theresa Swift NOVALINKS, US, and UNL, Portugal Francesca Toni Imperial College London, UK Irina Trubitsyna University of Calabria, Italy Mirek Truszczynski University of Kentucky, USA Alicia Villanueva Universitat Politecnica de Valencia, Spain Jan Wielemaker VU University Amsterdam, Netherlands Stefan Woltran TU Wien, Austria Fangkai Yang Schlumberger Inc., USA Jia-Huai You University of Alberta, Canada Workshops The ICLP 2016 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportuni- ties for intensive discussions and project collaboration. Autumn School on Computational Logic Students and researchers are invited to participate in the Autumn School with the following tutorials: * Roman Bartak: Constraint Logic Programming * Veronica Dahl: Language processing through logic grammars and constraints * Torsten Schaub: Answer Set Programming: foundations and applications * C.R.Ramakrishnan: Verification and probabilistic logic programming Information on scholarships can be found on the homepage: http://iclp16school.webs.upv.es/ Doctoral Consortium The Twelfth Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research direc- tions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Conference Venue The venue will be the Sheraton LaGuardia East Hotel in Flushing, New York City. New York City is an international tourist destination, receiving 56 million tourists in 2014 alone. Several sources have ranked New York the most photographed city in the world. Times square, known as the city's heart, is the brightly illuminated hub of the Broadway theatre district. The Statue of Liberty greets new arrivals to the Americas by ship in the late 19th and early 20th century, and is a globally recognized symbol of the United States. Flush- ing is associated by many with the National Tennis Centre, since Flushing Meadows has been the home of the US Open Grand Slam tennis tournament every year since 1978. New York is the most populous city in the United States and one of the most populous urban agglomerations in the world. Situated in one of the world's largest natural harbours, New York City consists of five boroughs, each of which is a separate county of New York State. The conference hotel is situated in the Queens borough, just a two-minute walk from the Flushing-Main Street rail station. Direct train lines take you directly from there to Times Square in just over 45 minutes, which is fast for New York City. The Museum of Modern Art can be reached in under 40 mins, Grand Central Terminal in 40 mins, the Empire State Building under 50 mins, and The High Line Park in 50 minutes. The hotel is also close to LaGuardia Airports and JFK. LaGuardia is just 3 miles away and the hotel offers a complementary shuttle service. John F. Kennedy International Airport (JFK) is 10 miles away and can be reached within 30 minutes by taxi. The hotel is situated in a vibrant Asian district that offers a variety of Eastern cuisine, as well as many stores and shops. Sponsor The conference is sponsored by the Association for Logic Programming (ALP), LogicBlox Inc., Semantic Systems, and UT Dallas. Financial Assistance The Association for Logic Programming has funds to assist financially disad- vantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. From announce at cs.ucy.ac.cy Sat Sep 3 16:07:12 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 3 Sep 2016 17:07:12 +0300 Subject: 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Second Call for Tutorial Proposals Message-ID: *** Second Call for Tutorial 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=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBTZWNvbmQgQ2FsbCBmb3IgVHV0b3JpYWwgUHJvcG9zYWxzCTYxCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&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 tutorial proposals. Tutorials offer the community an opportunity to learn about the state-of-the-art concepts and techniques and allow the presenters to share their expertise. We invite proposals from active researchers and experienced presenters. Ideally, a tutorial will cover the state-of-the-art research and development in a specific area strongly related to IUI. Tutorials on interdisciplinary areas, novel or fast growing directions, and significant practical applications are also encouraged. Each accepted tutorial will receive one free IUI 2017 registration. Submission Guidelines The proposals should be PDF documents not exceeding 3 pages, submitted by e-mail to the tutorial chairs at: tutorial2017 at iui.acm.org. We encourage prospective presenters to contact the tutorial chairs in advance and discuss their tutorial ideas. Each tutorial proposal should provide the following information: · Name and title: Your name, the tutorial title and the expected length of your tutorial (up to half a day). · Description of tutorial topic and goal: Detailed outline of the tutorial, along with descriptions of the objectives, its relevance to IUI, benefits to the attendees, and course materials/handouts (links to online materials encouraged). · Organizers: Name, email address, and affiliation of each presenter. Note that each listed presenter must register for the conference and be present at the tutorial. · Target audience and prerequisites: Target audience level (introductory, intermediate, advanced) and prerequisite knowledge or skills. · Experience: Tutors' short bios and their expertise related to the tutorial, including history of previously given tutorials. · Equipment and software requirement: please list any that will be needed. Important Dates · Tutorial Proposals: October 21, 2016 · Decisions Sent: November 21, 2016 Tutorials Co-Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sun Sep 4 11:29:05 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 4 Sep 2016 12:29:05 +0300 Subject: 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Fifth Call for Papers Message-ID: <34ATRDMF-FC20-HX6F-AFZU-YJEO5ZKUZ1G@cs.ucy.ac.cy> ** Fifth 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=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBGaWZ0aCBDYWxsIGZvciBQYXBlcnMJNjMJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&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=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBGaWZ0aCBDYWxsIGZvciBQYXBlcnMJNjMJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&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=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBGaWZ0aCBDYWxsIGZvciBQYXBlcnMJNjMJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&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 announce at cs.ucy.ac.cy Sun Sep 4 15:29:53 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 4 Sep 2016 16:29:53 +0300 Subject: FM 2016: 21st International Symposium on Formal Methods -- Call for Participation Message-ID: ---------------------------------------------------------------------------------- **** CALL FOR PARTICIPATION **** FM 2016: 21st International Symposium on Formal Methods Limassol, Cyprus, 7-11 November 2016 fm2016.cs.ucy.ac.cy Early Registration Deadline: 6 October 2016 ---------------------------------------------------------------------------------- FM 2016, the 21st International Symposium on research and practice in Formal Methods, will be held this year on the ancient and beautiful Mediterranean island of Cyprus. Every 18 months, the FM symposium attracts practitioners and researchers from industry and academia to present and discuss the most recent results and experience in formal methods. Those who join us in Cyprus this year will enjoy a highly selective programme of papers covering the broad range of formal methods, as well as a featured track on industry practice. Workshops will provide an opportunity to work in smaller groups on current challenges; tutorials will allow the acquisition of new skills; and a doctoral symposium will offer advice and encouragement to researchers just beginning their careers in this exciting and rapidly evolving field. The conference will take place in Limassol, Cyprus. Limassol is the second largest city in Cyprus. It is located on the south coast of the island, between the ancient towns of Amathus and Kourion. Limassol is renowned for its extensive cultural traditions, and it offers a wide spectrum of activities and a number of museums and archaeological sites to the interested visitor. Indeed, this richly cultured, cosmopolitan, seaside city has become one of the most important tourism destinations in Cyprus. The venue of the summer school will be the 5-star St. Raphael Resort, located on one of the most renowned and largest beaches, only a short coastal drive from the lively centre of Limassol. REGISTRATION You can register at the FM 2016 website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJRk0gMjAxNjogMjFzdCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBGb3JtYWwgTWV0aG9kcyAtLSBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTY1CUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Ffm2016.cs.ucy.ac.cy%2Fregistration.html HIGHLIGHTS - 44 regular papers and ten short papers reflecting the current state of research and practice in formal methods, including a track on industry practice - Three world-class keynote speakers - A Doctoral Symposium, six specialist workshops and eight tutorials - Presentation of the first FME Lucas Award for a Highly Influential Publication - Launch of Springer's new LNCS Formal Methods subline KEYNOTE SPEAKERS - Manfred Broy, Technical University of Munich, Germany - Peter O'Hearn, University College London and Facebook, UK - Jan Peleska, University of Bremen and Verified Software International, Germany WORKSHOPS (http://fm2016.cs.ucy.ac.cy/workshops.html) - ESSS 2016: 5th International Workshop on Engineering Safety and Security Systems - F-IDE 2016: 3rd Workshop on Formal Integrated Development Environment - FM-Priv 2016: 1st Workshop on Formal Methods for Privacy - Overture 2016: 14th Overture Workshop - TLA+ 2016: International Workshop on the TLA+ Method and Tools - USE 2016: 2nd Workshop on Usages of Constraint Solving and Symbolic Execution DOCTORAL SYMPOSIUM (http://fm2016.cs.ucy.ac.cy/cfpdoctoralsymposium.html) This symposium aims to provide a helpful environment in which selected PhD students can present and discuss their ongoing work, meet other students working on similar topics, and receive helpful advice and feedback from a panel of researchers and academics. - Keynote Speaker: John S. Fitzgerald, Newcastle University, UK TUTORIALS (http://fm2016.cs.ucy.ac.cy/tutorials.html ) - Abstraction and Rely/Guarantee Thinking Tutors: Cliff Jones, Newcastle University, UK; Ian Hayes, University of Queensland, AU - Compositional Verification using AADL and the Assume Guarantee Reasoning Environment (AGREE) Tutor: Michael Whalen, University of Minnesota, USA - Cyber-Physical Systems Engineering: Next Generation Foundations, Methods and Tools Tutors: John Fitzgerald, Newcastle University, UK; Peter Gorm Larsen, Aarhus University, DK; Jim Woodcock, University of York, UK; Ken Pierce, Newcastle University, UK; Simon Foster, University of York, UK - First-Order Theorem Proving and Vampire Tutors: Laura Kovacs, Chalmers University of Technology, SE; Andrei Voronkov, University of Manchester, UK - KeYmaera X Tutorial - Tactics and Proofs for Cyber-Physical Systems Tutors: Stefan Mitsch, Carnegie Mellon University, USA; Nathan Fulton, Carnegie Mellon University, USA; André Platzer, Carnegie Mellon University, USA - Modelling and Analysis of Collective Adaptive Systems Tutors: Jane Hillston, University of Edinburgh, UK; Michele Loreti, Università di Firenze, IT - Session Types for Concurrent and Distributed Programming: Principles and Practice Tutors: Raymond Hu, Imperial College London, UK; Jorge A. Pérez, University of Groningen, NL; Nobuko Yoshida, Imperial College London, UK - The CProver Suite of Verication Tools Tutors: Daniel Kroening, University of Oxford, UK; Martin Brain, University of Oxford, UK; Peter Schrammel, University of Sussex, UK ACCEPTED PAPERS (Research Track) Li Li, Jun Sun and Jin Song Dong. Automated Verification of Timed Security Protocols with Clock Drift Victor B. F. Gomes and Georg Struth. Modal Kleene Algebra Applied to Program Correctness Artem Khyzha, Alexey Gotsman and Matthew Parkinson. A Generic Logic for Proving Linearizability Antonio E. Flores Montoya. Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter and Andrius Velykis. An algebra of synchronous atomic steps Zhe Hou, David Sanan, Alwen Tiu, Yang Liu and Koh Chuen Hoa. An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for The LEON3 Processor Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva and David ?afránek. A Model Checking Approach to Discrete Bifurcation Analysis Mahieddine Dellabani, Saddek Bensalem, Jacques Combaz and Marius Bozga. Local Planning of Multiparty Interactions with a Bounded Horizon Adel Djoudi, Sébastien Bardin and Éric Goubault. Recovering high-level conditions from binary programs Thomas Letan, Pierre Chifflier, Guillaume Hiet, Benjamin Morin and Ludovic Mé. SpecCert: Verifying Hardware-based Security Enforcement Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews and Thomas Tuerk. Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor Dimitra Giannakopoulou, Dennis Guck and Johann Schumann. Exploring Model Quality for ACAS X Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening and Tom Melham. Equivalence Checking of a Floating-point Unit Against a High-level C Model Yusuke Kawamoto, Fabrizio Biondi and Axel Legay. Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow Bat-Chen Rothenberg and Orna Grumberg. Sound and Complete Mutation-Based Program Repair Miran Hasanagic, Peter Gorm Larsen, Peter W. V. Tran-Jørgensen and Kenneth Lausdahl. Formalising and Validating the Interface Description in the FMI standard Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin and Zhiming Liu. A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems Ofer Strichman and Maor Veitsman. Regression Verification for unbalanced recursive functions Cristina David, Pascal Kesseli, Daniel Kroening and Matt Lewis. Danger Invariants Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang and Naijun Zhan. Approximate Bisimulation and Discretization of Hybrid CSP Tsutomu Kobayashi, Fuyuki Ishikawa and Shinichi Honiden. Refactoring Refinement Structures of Event-B Machines Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun and Jingyi Wang. Towards Concolic Testing for Hybrid Systems Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad and Naijun Zhan. Validated Simulation-Based Verification of Delayed Differential Dynamics Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo and Wei-Ngan Chin. Automated Mutual Explicit Induction Proof in Separation Logic Stanislav Böhm, Ond?ej Meca and Petr Jancar. State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI Christoph-Simon Senjak and Martin Hofmann. An Implementation of Deflate in Coq Gudmund Grov, Yuhui Lin and Vytautas Tumas. Mechanised Verification Patterns for Dafny Heinrich Ody, Martin Fränzle and Michael R. Hansen. Discounted Duration Calculus Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng and Harald Ruess. Compositional Parameter Synthesis Ori Lahav and Viktor Vafeiadis. Explaining Relaxed Memory Models with Program Transformations Amirhossein Vakili and Nancy Day. Finite Model Finding Using the Logic of Equality with Uninterpreted Functions Saksham Chand, Annie Liu and Scott Stoller. Formal Verification of Multi-Paxos for Distributed Consensus Aleksandar S. Dimovski, Claus Brabrand and Andrzej Wasowski. Finding Suitable Variability Abstractions for Family-Based Analysis Anton Wijs, Thomas Neele and Dragan Bosnacki. GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking Pedro Antonino, Thomas Gibson-Robinson and Bill Roscoe. Tighter Reachability Criteria for Deadlock-Freedom Analysis Yuqi Chen, Christopher M. Poskitt and Jun Sun. Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation Gilles Nies, Holger Hermanns, Marvin Stenger, Morten Bisgaard, David Gerhardt and Jan Kr?ál. Battery-Aware Scheduling in Low Orbit: The GomX-3 Case Alessandro Cimatti, Sergio Mover and Mirko Sessa. From Electrical Switched Networks to Hybrid Automata Claudio Menghi, Paola Spoletini and Carlo Ghezzi. Dealing with Incompleteness in Automata-based Model Checking Parosh Aziz Abdulla, Mohamed Faouzi Atig and Bui Phi Diep. Counter-Example Guided Program Verification Andrew Sogokon, Khalil Ghorbal and Taylor T Johnson. Decoupled simulating abstractions of non-linear ordinary differential equations Georgios Giantamidis and Stavros Tripakis. Learning Moore Machines from Input-Output Traces Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher and Thomas Wies. Error Invariants for Concurrent Traces ACCEPTED PAPERS (Industry Track - http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJRk0gMjAxNjogMjFzdCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBGb3JtYWwgTWV0aG9kcyAtLSBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTY1CUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Ffm2016.cs.ucy.ac.cy%2Fcfpindustrytrack.html%29 Teodor Stoenescu, Alin Stefanescu, Sorina Predut and Florentin Ipate. RIVER: A Binary Analysis Framework using Symbolic Execution and Reversible x86 Instructions Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna and Stefano Tonetta. Model-Based Design of an Energy-System Embedded Controller using Taste Bjørnar Luteberget, Christian Johansen, Claus Feyling and Martin Steffen. Rule-based Incremental Verification Tools Applied to Railway Designs and Regulations Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu and Jiaguang Sun. Taming Interrupts For Verifying Industrial Multifunction Vehicle Bus Controllers Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz and Henrik Lönn. Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems Yu Jiang, Han Liu, Hui Kong, Houbing Song, Ming Gu, Jiaguang Sun and Lui Sha. Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dgm at sfu.ca Wed Sep 7 07:48:01 2016 From: dgm at sfu.ca (David Mitchell) Date: Tue, 6 Sep 2016 22:48:01 -0700 (PDT) Subject: LaSh 2016 Workshop on Logic and Search: 2nd Call for Contributions In-Reply-To: References: Message-ID: <1491601805.65040375.1473227280992.JavaMail.zimbra@sfu.ca> Call for Contributions LaSh 2016 - The Fifth Workshop on Logic and Search. Monday October 17, 2016, New York City www.logicandsearch.org/LaSh2016 An ICLP 2016 Workshop The LaSh Workshops on Logic and Search are devoted to scientific exchange between researchers interested in the theory and practice of logic-based problem solving. The workshop focuses on representational and algorithmic issues in specifying or modelling and solving computationally challenging search and optimization problems of a combinatorial nature. Researchers interested in presenting their work should contact the organizers by email (mitchell at cs dot sfu dot ca or lash2016 at easychair dot org), or submit a paper or extended abstract, via EasyChair, by September 12 (revised). LaSh emphasizes discussion and exchange of ideas among researchers with related interests who may not normally attend the same major conferences. Thus, along with new technical work, we welcome presentation of speculative work, research summaries, relevant work that is previously published, comparisons of different approaches and challenge or position papers. Central topics include: - Logics and representation languages for high-level problem specification; - Model finders and ground solvers (e.g., SAT, ASP and SMT solvers etc.); - Grounding and grounding-based solving systems; - Modularity, compositionality and integration of heterogeneous solvers; - Pre-processing and automated reasoning over specifications; - Distributed and parallel solving; - Declarative solver construction and meta-programming; - Exploitation of problem and instance structure; - Recent developments in tools or applications. Important Dates: Submission Deadline: September 12 Notification: September 17 Workshop: October 17 Submission page: https://easychair.org/conferences/?conf=lash2016 Organizers: David Mitchell, Simon Fraser University Shahab Tasharrofi, Aalto University Sima Jamali, Simon Fraser University Program Committee: Sima Jamali, Simon Fraser University Victor Marek, University of Kentucky David Mitchell, Simon Fraser University Shahab Tasharrofi, Aalto University Eugenia Ternovska Simon Fraser University Mirek Truzczynski, University of Kentucky -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wjamroga at in.tu-clausthal.de Wed Sep 7 09:46:49 2016 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Wed, 7 Sep 2016 08:46:49 +0100 Subject: PhD in Information Assurance, Luxembourg Message-ID: <50f4c10b-038c-c0dc-d804-cd968cabdc7e@in.tu-clausthal.de> The University of Luxembourg seeks to hire outstanding researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT). SnT is carrying out interdisciplinary research in secure, reliable and trustworthy ICT (Information and Communication Technologies) systems and services, often in collaboration with industrial, governmental or international partners. SnT is active in several international research projects funded by the Horizon2020 programme and the European Space Agency. For further information you may check: www.securityandtrust.lu . * *PhD Candidate in Information Assurance (M/F)* * Ref: R-STR-5014-00-B * Fixed Term Contract up to 3 years, pending satisfaction of progress milestones (CDD), full-time (40 hrs/week) Number of positions: 1 Your Role *The Team* The researchers will be working under the supervision of Prof P Y A Ryan, head of the APSIA (Applied Security and Information Assurance) research group, http://wwwde.uni.lu/snt/research/apsia. APSIA specializes in the mathematical foundations of information assurance: the mathematical modelling and analysis of information flows, the design and analysis of cryptographic primitives and protocols (both classical and quantum), secure verifiable voting systems, and anonymous marking systems and game-theoretic analysis of non-interference and coercion-resistance. The group has expertise in both the symbolic (formal methods) and the computational (“provable security”) styles of analysis and is investigating the links and synergies between them. The group has also established itself as a leading centre for the socio-technical aspects of security. *The Project* The research will be conducted within the VoteVerif project (Verification of Voter-Verifiable Voting Protocols), in collaboration with Polish Academy of Sciences, Warsaw, Poland. The project aims to develop novel concepts, methodologies, and tools for specification, analysis, and assessment of information security properties. The focus is on voting procedures and protocols, and in particular on their essential features like confidentiality, coercion-resistance, and voter-verifiability. The approach of the project is holistic, in the sense that we plan to develop theoretical concepts (such as strategy- based metrics of information security) not for their own sake, but in order to apply them to an important domain of social life, and come up with guidance on the conduct of elections and novel designs for secure, usable voting systems. To this end, we are going to develop algorithmic tools that help to analyze the level of security and usability. Note also that, while we focus on voting procedures in the project, the concepts and tools being developed can be also applied to other domains where information security is important. Your Profile * A Masters in Computer Science, Applied Mathematics, Mathematical Physics or related field * Strong background in mathematics and computer science * Experience in cryptography, security modelling, and/or game theory will be considered as an advantage * Commitment, team working and a critical mind * Fluent written and verbal communication skills in English are mandatory We offer The University offers a Ph.D. study program with a Fixed Term Contract up to 3 years (extension up to 4 years in total is possible), pending satisfaction of progress milestones (CDD), on full time basis (40hrs/week). The University offers highly competitive salaries and is an equal opportunity employer. You will work in an exciting international environment and will have the opportunity to participate in the development of a newly created university. Further Information Applications, written in English should be submitted online at http://recruitment.uni.lu/en/ and should include: * Curriculum Vitae (including your contact address, work experience, publications) * Cover letter indicating the research area of interest and your motivation * A research statement which addresses specifically the topic of the position (300 words) * Transcript of all courses and results from the university-level courses taken * A short description of your PhD work (max 1 page) * Contact information for 3 referees Deadline for applications: 7 October 2016 For inquiries please contact: Prof Dr Peter Y A Ryan, peter.ryan at uni.lu or Prof Dr Wojciech Jamroga w.jamroga at ipipan.waw.pl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.m.dastani at uu.nl Wed Sep 7 10:07:08 2016 From: m.m.dastani at uu.nl (Dastani, M.M. (Mehdi)) Date: Wed, 7 Sep 2016 10:07:08 +0200 Subject: PhD student in Supervision of Autonomous Software Systems at Utrecht University Message-ID: <598509bb-7e35-f9c6-0707-f850b2a6b778@uu.nl> *PhD student in Supervision of Autonomous Software Systems at Utrecht University* *Job description* Modern software systems operate in increasingly dynamic settings and therefore need flexible and adaptive requirement models. For example, autonomous cars are expected to operate under changing traffic and weather conditions, based on which different requirements (e.g., traffic laws, speed limits, safety requirements) have to be satisfied. Similarly, massive multi-player online games are expected to run under varying game conditions and player types depending on week, day and time, and have to satisfy evolving requirements including game rules. In general, the requirements of software systems are in constant motion due to their continuously changing environments. In such settings, new functional requirements are added while others are dropped, the desired quality requirements vary, and the relative priority of the requirements evolves. Nonetheless, software systems are expected to perform optimally and comply with the evolving requirements, or at least minimize the deviations. Causes for non-compliance are resource scarcity, requirements conflicts, and quality requirements that cannot be fully satisfied. The PhD project concerns the creation of an adaptive runtime supervision framework that continuously monitors the execution of software systems, evaluates their behavior against the current requirements, and intervenes by deciding which requirements should be added, ignored or weakened. The two main pillars of the envisioned approach are that: 1. accurate requirement models can be obtained only at runtime and through learning; 2. requirement revision, including requirement approximation, is preferred over system adaptation. The project will be conducted under the joint supervision of Dr. Fabiano Dalpiaz (Software Systems) and Dr. Mehdi Dastani (Intelligent Systems). The candidate is expected to: - complete and defend a PhD thesis within the nominal time-frame of four years; - regularly present intermediate research results at our internal colloquium and at international workshops and conferences; - collaborate with other researchers both locally and internationally; - assist in teaching activities. *Requirements* The candidate should have a master’s degree in computer science, software engineering, or artificial intelligence. Ideally, the candidate has background knowledge in all three fields. The ideal candidate should have excellent academic qualifications as well as good communication and collaboration skills. Candidates are expected to be in the upper segment of their class with respect to academic credentials and must show interest in an academic career, including both research and teaching/supervision activities. *Conditions of employment* The candidate is offered a full-time position for four years. Salary starts at € 2,191 and increases to € 2,801 gross per month in the fourth year of the appointment. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. In addition we offer: a pension scheme, a partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. The research group will provide the candidate with necessary support on all aspects of the project. *Employer* A better future for everyone. This ambition motivates our scientists in executing their leading research and inspiring teaching. At Utrecht University, the various disciplines collaborate intensively towards major societal themes. Our focus is on Dynamics of Youth, Institutions for Open Societies, Life Sciences and Sustainability. The city of Utrecht is one of the oldest cities in the Netherlands, with a charming old center and an internationally oriented culture that is strongly influenced by its century-old university. Utrecht city has been consistently ranked as one of the most livable cities in the Netherlands. The faculty of Science consists of six departments: Biology, Pharmaceutical Sciences, Information and Computing Sciences, Physics and Astronomy, Chemistry, and Mathematics The faculty is home to 4800 students and nearly 1500 staff and is internationally renowned for the quality of its research. The faculty's academic programmes reflect developments in today's society. The department of Information and Computing Sciences is nationally and internationally renowned for its research in computer science and information science. The research of the department is grouped into four divisions: Software Systems, Artificial Intelligence, Virtual Worlds, Interaction Technology The department offers bachelor programs in computer science and information science, and four English-language research master-programs in Artificial Intelligence, Business Informatics, Computing Science, and Game and Media Technology. High enrolment figures and good student ratings make the education very successful. This PhD opening is a joint project between the department’s research groups in Artificial Intelligence and Software Engineering. *Additional information* Additional information about the vacancy can be obtained from: Dr. Fabiano Dalpiaz: f.dalpiaz at uu.nl. *How to apply?* Application should be made via the online application system of Utrecht University (find a link here: http://www.uu.nl/en/organisation/working-at-utrecht-university/jobs). Applications should include a letter of motivation, curriculum vitae and contact information (name, affiliation, email) of two referees. The application deadline is *October 2, 2016* -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL: http://www.cs.uu.nl/~mehdi -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu Sep 8 14:51:02 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 8 Sep 2016 08:51:02 -0400 (EDT) Subject: GCAI 2016 - Call for Participation Message-ID: <20160908125102.B24531216E6@mcclellan.cs.miami.edu> The 2nd Global Conference on Artificial Intelligence Berlin Germany, 29th September - 2nd October 2016 http://easychair.org/smart-program/GCAI2016/ Call for Participation 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 addresses all aspects of artificial intelligence. There will be 29 papers presented, tutorials on automated theorem proving in classical and non- classical logic, and three invited speakers ... Simon Colton, Falmouth University, and Goldsmiths, University of London, UK Computational Creativity Daniel Lee, University of Pennsylvania, USA Robotics and Machine Learning Toby Walsh, TU Berlin, Germany and UNSW/Data61, Australia Will AI end Jobs, Wars or Humanity? The full program is available at http://easychair.org/smart-program/GCAI2016/program.html Registration: http://easychair.org/smart-program/GCAI2016/Registration.html GCAI is organized by LRG (http://www.lrg.global) and the Freie Universitaet Berlin. From panpap at ics.forth.gr Thu Sep 8 16:53:42 2016 From: panpap at ics.forth.gr (Panagiotis Papadopoulos) Date: Thu, 8 Sep 2016 17:53:42 +0300 Subject: STM 2016: Call for Participation Message-ID: Call for Participation: STM 2016 12th International Workshop on Security and Trust Management Heraklion, Crete, Greece - September 26-27, 2016 http://stm2016.ics.forth.gr/ ------------------------------------------------------------------------ You are warmly invited to participate in the 12th International Workshop on Security and Trust Management (STM 2016). STM (Security and Trust Management) is a working group of ERCIM (European Research Consortium in Informatics and Mathematics). STM 2016 is the eleventh workshop in this series and will be held in Heraklion, Crete, Greece, on September 26-27, in conjunction with the 21st European Symposium On Research in Computer Security (ESORICS 2016). Registration STM 2016 is co-located with the annual European research event in Computer Security (ESORICS) Registration information is available at: http://www.ics.forth.gr/esorics2016/registration.html We're looking forward to seeing you on Crete! Program Monday, September 26, 2016 *8.45 - 9.00 Welcome and opening* ** *9.00 - 10.30 Session 1: Invited talk (Chair: **/Gilles Barthe/**)* /Bogdan Warinschi, University of Bristol/ Foundations of Hardware-based Attested Computation and Applications of SGX *10.30 - 11.00 Coffee Break * *11.00 - 12.30 Session 2: Embedded Systems* Towards a Personal Security Device /Christof Rath, Thomas Niedermair and Thomas Zefferer/ Retrofitting mutual authentication to GSM using RAND hijacking /Mohammed Shafiul Alam Khan and Chris J Mitchell/ DAPA: Degradation-Aware Privacy Analysis of Android Apps /Gianluca Barbon, Enrico Steffinlongo, Agostino Cortesi and Pietro Ferrara / *12.30 - 14.00 Lunch Break* ** *14.00 - 15.30 Session 3: Access Control* Access Control Enforcement for Selective Disclosure of Linked Data /Tarek Sayah, Emmanuel Coquery, Romuald Thion and Mohand-Said Hacid/ History-based Usage Control Policy Enforcement /Fabio Martinelli, Ilaria Matteucci, Paolo Mori and Andrea Saracino/ Access Control for Weakly Consistent Replicated Information Systems /Mathias Weber, Annette Bieniusa and Arnd Poetzsch-Heffter * */ ** ** *15.30 - 16.00 Coffee Break* ** *16.00 - 17.00 Session 4: PhD award talk* /Alexandra Dmitrienko, ETH/ Advances in Smartphone Security: Attacks, Defenses and Applications ------------- Tuesday, September 27, 2016 *9.00 - 10.30 Session 5: Privacy* Privacy-Aware Trust Negotiation/ Ruben Rios, Carmen Fernandez-Gago and Javier Lopez/ Securely derived identity credentials on smart phones via self-enrolment /Brinda Hampiholi, Fabian Van Den Broek and Bart Jacobs/ Distributed immutabilization of secure logs /Jordi Cucurull and Jordi Puiggali/ ** *10.30 - 11.00 Coffee Break* ** *11.00 - 12.30 Session 6: Analysis* A Stochastic Framework for Quantitative Analysis of Attack-Defense Trees /Ravi Jhawar, Karim Lounis and Sjouke Mauw/ Information Security as Strategic (In)effectivity /Wojtek Jamroga and Masoud Tabatabaei/ Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems /Samir Ouchani, Gabriele Lenzini and Sjouke Mauw/ *12.30 - 14.00 Lunch Break* ** *14.00 - 15.30 Session 7: Web and System Security* Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection /Federico De Meo, Marco Rocchetto and Luca Vigan/ MalloryWorker: Stealthy Computation and Covert Channels using Web Workers /Michael Rushanan, David Russell and Aviel Rubin/ PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution /Andreas Follner, Alexandre Bartel, Hui Peng, Yu-Chen Chang, Kyriakos Ispoglou, Mathias Payer and Eric Bodden/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.m.dastani at uu.nl Thu Sep 8 23:08:37 2016 From: m.m.dastani at uu.nl (Dastani, M.M. (Mehdi)) Date: Thu, 8 Sep 2016 23:08:37 +0200 Subject: FSEN 2017: Call for Papers In-Reply-To: References: <1846249651.459053.1471254561945.JavaMail.zimbra@cwi.nl> <73B40D5C-A160-4B35-9F8B-87B0E732EA4E@ru.is> Message-ID: <8c0ce9b5-4073-abfe-27b8-09bd8093410b@uu.nl> ###################################################################### CALL FOR PAPERS Seventh International Conference on Fundamentals of Software Engineering 2017 - Theory and Practice (FSEN '17) http://fsen.ir/2017 Tehran, Iran April 26-28, 2017 ###################################################################### -- About FSEN -- FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in the area of formal methods for software engineering. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Tehran, Iran, April 26-28, 2017. -- Important Dates -- Abstract Submission: October 22, 2016 Paper Submission: October 29, 2016 Notification: December 17, 2016 Camera Ready: January 21, 2017 Conference: April 26-28, 2017 -- Keynote Speakers -- Thomas A. Henzinger, IST Austria Leon van der Torre, University of Luxembourg (Third speaker to be confirmed shortly) -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object and multi-agent systems * Coordination and feature interaction * Integration of formal and informal methods * Integration of different formal methods * Component-based and Service-oriented software systems * Self-adaptive software systems * Model checking and theorem proving * Software and hardware verification * CASE tools and tool integration * Industrial Applications -- Paper Submission -- Papers should be formatted according to the Springer LNCS style, not exceed 15 pages (including figures and references), submitted in PDF or postscript format through the EasyChair conference management system. Submissions should explicitly state their contribution and their relevance to the themes of the conference. Papers will be evaluated based on originality, significance, relevance, correctness and clarity. Papers should not be submitted simultaneously for publication elsewhere. You can submit your papers/abstracts via the following link: https://www.easychair.org/conferences/?conf=fsen2017 -- Proceedings and Special Issues -- The post-proceedings of FSEN'17 will be published by Springer Verlag in the LNCS series (to be confirmed). There will be a pre-proceeding, printed locally by IPM, available at the conference. Following the tradition of FSEN, we plan to have a special issue of Science of Computer Programming journal devoted to FSEN'17 (to be confirmed). After the conference a selection of papers will be invited for this special issue. The invited papers should be extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chair -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran -- Program Chairs -- Mehdi Dastani - Utrecht University, The Netherlands Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, Iceland -- Publicity Chair -- Hossein Hojjat - Rochester Institute of Technology, USA -- Steering Committee -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Christel Baier - University of Dresden, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, Iceland (Chair) Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands -- Program Committee -- Mohammad Abdollahi Azgomi, Iran University of Science and Technology, Iran Gul Agha, University of Illinois at Urbana, Champaign, USA Erika Abraham, RWTH Aachen University, Germany Christel Baier, Technical University of Dresden, Germany Ezio Bartocci, TU Wien, Austria Marcello Bonsangue, Leiden University, Netherlands Mario Bravetti, University of Bologna, Italy Michael Butler, University of Southampton, UK Erik De Vink, Technische Universiteit Eindhoven, Netherlands Wan Fokkink, Vrije Universiteit Amsterdam, Netherlands Adrian Francalanza, University of Malta, Malta Masahiro Fujita, University of Tokyo, Japan Maurizio Gabbrielli, University of Bologna, Italy Fatemeh Ghassemi, University of Tehran, Iran Jan Friso Groote, Technical University of Eindhoven, Netherlands Hassan Haghighi, Shahid Beheshti University, Iran Philipp Haller, KTH Royal Institute of Technology, Sweden Holger Hermanns, Saarland University, Germany Hossein Hojjat, Rochester Institute of Technology, USA Mohammad Izadi, Sharif University of Technology, Iran Einar Broch Johnsen, University of Oslo, Norway Joost-Pieter Katoen, RWTH Aachen University, Germany Narges Khakpour, Linnaeus University, Sweden Ramtin Khosravi, University of Tehran, Iran Natallia Kokash, Leiden University, Netherlands Eva Kühn, Vienna University of Technology, Austria Kim G. Larsen, Aalborg University, Denmark Zhiming Liu, Southwest University, USA Mieke Massink, CNR-ISTI, Italy Seyyed Hassan Mirian Hosseinabadi, Sharif University of Technology, Iran Ugo Montanari, University of Pisa, Italy Peter Mosses, Swansea University, UK Mohammad Reza Mousavi, Halmstad University, Sweden Ali Movaghar, Sharif University of Technology, Iran Peter Olveczky, University of Oslo, Norway Meriem Ouederni, IRIT/INP Toulouse/ ENSEEIHT, France Wishnu Prasetya, Universiteit Utrecht, Netherlands Jose Proenca, University of Minho, Portugal Wolfgang Reisig, Humboldt-Universität zu Berlin, Germany Philipp Ruemmer, Uppsala University, Sweden Gwen Salaun, Grenoble INP, Inria, France Cesar Sanchez, IMDEA Software Institute, Spain Ina Schaefer, Technische Universität Braunschweig, Germany Wendelin Serwe, INRIA, France Alexandra Silva, University College London, UK Meng Sun, Peking University, China Carolyn Talcott, SRI International, USA Danny Weyns, Linnaeus University, Sweden -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL: http://www.cs.uu.nl/~mehdi From e.haasdijk at vu.nl Fri Sep 9 08:53:28 2016 From: e.haasdijk at vu.nl (Evert Haasdijk) Date: Fri, 9 Sep 2016 08:53:28 +0200 (CEST) Subject: [CfP] EvoROBOT 2017 2nd Call for Papers Message-ID: <20160909065330.9ECD75FF50998@MW-020708.clients.vu.nl> --------------------------------------------------------------- EvoROBOT 2017 Amsterdam, The Netherlands, 19 - 21 April 2017 --------------------------------------------------------------- Call for Papers Evolutionary Computation in Robotics ------------------------------------ The EvoROBOT track is part of EvoApplications, the European Conference on the Applications of Evolutionary Computation (http://www.evostar.org/), to be held in Amsterdam, The Netherlands. Amsterdam is famous for its central role in European history, its tolerant character, and its extraordinary beauty . Attractions range from the Rijksmuseum and the house of Anne Frank to the Bloemenmarkt (floating flower market), the red light district, the cafés, and the world-class nightlife. The conference venue is centrally located. The EvoROBOT track focusses on evolutionary robotics: the application of evolutionary computation techniques to automatically design the controllers and/or hardware of autonomous robots, real or simulated. This is by nature a multi-faceted field that combines approaches from other fields such as neuro-evolution, evolutionary design, artificial life, robotics, et cetera. We invite high quality contributions dealing with state-of-the-art research in the area of evolutionary robotics. Topics include but are not limited to: - Evolution of (neural or otherwise) robot controllers; - Evolution of modular robot morphology; - Hardware/morphology and controller co-evolution; - Open-ended evolution in robotics; - Robotic evolutionary Artificial Life; - Evolutionary self-assembly and self-replication; - Evolution, development and learning; - Evolutionary and co-evolutionary approaches. Important Dates ---------------- Submission Deadline: 1 November 2016 Notification: 9 January 2017 Camera-ready: 25 January 2017 EvoStar dates: 19 - 21 April 2017 Publication Details ------------------- Accepted papers will appear in the proceedings of EvoStar, published in a volume of the Springer Lecture Notes in Computer Science, which will be available at the Conference. Best Paper Award ---------------- Frontiers in Robotics and AI is offering the best paper award at the upcoming EvoROBOT track. The Evolutionary Robotics specialty grants the winner a full waiver of the publication fee for the submission of an extended version of the work presented at EvoROBOT in Amsterdam. Naturally, the final decision to publish the extended version will be made adhering to the Frontiers policies of originality and review. See http://www.frontiersin.org/evolutionary_robotics for details of this open-access journal. Submission Details ------------------ Submissions must be novel and original. Submissions will be peer reviewed by at least three members of the program committee and authors of accepted papers are required to address the reviewer's comments to produce a camera-ready version of their manuscripts if accepted. At least one author of each accepted paper must register for the conference and attend the conference to present their work. The reviewing process will be double-blind and any information that may identify the authors should be removed from the initial submission. Please submit your contribution to EvoROBOT in Springer LNCS format. The page limit is 16 pages. Track Chairs ------------ Evert Haasdijk Jacqueline Heinerman Further Information ------------------- Visit http://www.evostar.org or join the EVOstar group on LinkedIn for more details and updates. From grlmc at grlmc.com Sat Sep 10 14:12:53 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 10 Sep 2016 14:12:53 +0200 Subject: LATA 2017: 2nd call for papers Message-ID: <545102060a010b020655520303045a00535606575101015005060a080557075401560354050c520b54005957070559@grlmc_ip-zone_com-6> LATA 2017: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************* 11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2017   Umeå, Sweden   March 6-10, 2017   Organized by:             Department of Computing Science Umeå University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/LATA2017/ *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2017 will take place in Umeå, a university town in North Sweden which was European Capital of Culture in 2014. The venue will be the Faculty of Science and Technology.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2017 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Franz Baader (Technical University of Dresden), Approximately Description Logics   Thomas Eiter (Technical University of Vienna), tba   Michael R. Fellows (University of Bergen), On Some Finiteness Theorems about Formal Languages   Georg Gottlob (University of Oxford), Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data   Thomas Wilke (University of Kiel), Backward Deterministic omega-Automata   PROGRAMME COMMITTEE:   Eric Allender (Rutgers University, Piscataway, US) Amihood Amir (Bar-Ilan University, Ramat Gan, IL) Christel Baier (Technical University of Dresden, DE) Armin Biere (Johannes Kepler University Linz, AT) Avrim Blum (Carnegie Mellon University, Pittsburgh, US) Ondřej Bojar (Charles University in Prague, CZ) Jin-Yi Cai (University of Wisconsin, Madison, US) Liming Cai (University of Georgia, Athens, US) Alessandro Cimatti (Bruno Kessler Foundation, Trento, IT) Rocco De Nicola (IMT School for Advanced Studies Lucca, IT) Rod Downey (Victoria University of Wellington, NZ) Frank Drewes (Umeå University, SE) Zoltán Fülöp (University of Szeged, HU) Gregory Z. Gutin (Royal Holloway, University of London, UK) Lane A. Hemaspaandra (University of Rochester, US) Dorit S. Hochbaum (University of California, Berkeley, US) Deepak Kapur (University of New Mexico, Albuquerque, US) Marek Karpinski (University of Bonn, DE) Joost-Pieter Katoen (RWTH Aachen University, DE) Evangelos Kranakis (Carleton University, Ottawa, CA) Lars M. Kristensen (Bergen University College, NO) Kim G. Larsen (Aalborg University, DK) Axel Legay (INRIA, Rennes, FR) Leonid Libkin (University of Edinburgh, UK) Carsten Lutz (University of Bremen, DE) João Marques Silva (University of Lisbon, PT) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, ES, chair) Mitsunori Ogihara (University of Miami, Coral Gables, US) Arlindo Oliveira (Instituto Superior Técnico, Lisbon, PT) David Parker (University of Birmingham, UK) Madhusudan Parthasarathy (University of Illinois, Urbana-Champaign, US) Doron A. Peled (Bar-Ilan University, Ramat Gan, IL) Dominique Perrin (Paris-Est Marne-la-Vallée University, FR) Jean-Éric Pin (Paris Diderot University, FR) Sanguthevar Rajasekaran (University of Connecticut, Storrs, US) Bruce Reed (McGill University, Montréal, CA) Wojciech Rytter (University of Warsaw, PL) Kunihiko Sadakane (University of Tokyo, JP) Davide Sangiorgi (University of Bologna, IT) Helmut Seidl (Technical University of Munich, DE) Jens Stoye (Bielefeld University, DE) Wing-Kin Sung (National University of Singapore, SG) Dimitrios M. Thilikos (CNRS, LIRMM, FR & National and Kapodistrian University of Athens, GR) Ioannis G. Tollis (University of Crete, Heraklion, GR) Bianca Truthe (University of Giessen, DE) Frits Vaandrager (Radboud University, Nijmegen, NL) Rob van Glabbeek (CSIRO, Sydney, AU)   ORGANIZING COMMITTEE:   Yonas Demeke (Umeå) Frank Drewes (Umeå, co-chair) Petter Ericson (Umeå) Anna Jonsson (Umeå) Carlos Martín-Vide (Tarragona, co-chair) Manuel Jesús Parra Royón (Granada) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) Niklas Zechner (Umeå)   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=lata2017   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 Information and Computation (Elsevier, 2015 JCR impact factor: 0.873) 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/LATA2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: October 21, 2016 Notification of paper acceptance or rejection: November 25, 2016 Final version of the paper for the LNCS proceedings: December 5, 2016 Early registration: December 5, 2016 Late registration: February 20, 2017 Submission to the journal special issue: June 10, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   LATA 2017 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:   Umeå universitet Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From info at ecmlpkdd2017.org Wed Sep 14 13:11:16 2016 From: info at ecmlpkdd2017.org (ECML-PKDD 2017) Date: Wed, 14 Sep 2016 13:11:16 +0200 Subject: ECML-PKDD 2017 - CALL FOR PAPERS - [Conference Research Track] Message-ID: ############################################################ European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD) Skopje, Macedonia, September 18-22, 2017 (http://www.ecmlpkdd2017.org). ############################################################ Submissions are solicited for the 2017 edition of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD 2017). The conference provides an international forum for the discussion of the latest high-quality research results in all areas related to machine learning and knowledge discovery in databases and other innovative application domains. The 2017 conference will take place in Skopje, Macedonia, 18‐22 September 2017. Submissions are invited on all aspects of machine learning, knowledge discovery and data mining, including real-world applications. Following the tradition of ECML-PKDD, we expect high-quality papers in terms of their scientific contribution, rigor, correctness, quality of presentation and reproducibility of experiments. Submission process Electronic submissions will be handled via CMT at the following address: https://cmt.research.microsoft.com/ECMLPKDD2017/. Please note that user accounts in each CMT conference are independent of other conferences, so you will need to create a new account. Abstracts need to be registered by Thursday April 13, 2017 and full submissions will be accepted until Thursday April 20, 2017. Papers must be written in English and formatted according to the Springer LNAI guidelines. Author instructions, style files and copyright form can be downloaded at: http://www.springer.de/comp/lncs/authors.html. The maximum length of papers is 16 pages in this format. Overlength papers will be rejected without review (papers with smaller page margins and font sizes than specified in the author instructions and set in the style files will also be treated as overlength). Up to 10 MB of additional materials (e.g. proofs, audio, images, video, data or source code) can be attached to the submission. Note that the reviewers and the program committee reserve the right to judge the paper solely on the basis of the 16 pages of the paper; looking at any additional material is up to the discretion of the reviewers and is not required. Reviewing process The review process is single-blind (authors identities known to reviewers). Submissions will be evaluated on the basis of technical quality, novelty, potential impact, and clarity. Authors will have the opportunity to point out factual errors, obvious mistakes, or misconceptions by reviewers during a rebuttal phase following the release of initial reviews. Dual submissions policy Papers submitted should report original work. ECML-PKDD 2017 will not accept any paper that, at the time of submission, is under review or has already been accepted for publication in a journal or another conference. Authors are also expected not to submit their papers elsewhere during the review period. The dual submissions policy applies during the whole ECML-PKDD 2017 reviewing period from April 20 to June 22, 2017. Reproducible research papers Authors are encouraged to adhere to the best practices of Reproducible Research (RR), by making available data and software tools for reproducing the results reported in their papers. Authors may flag their submissions as RR and make software and data accessible to reviewers and to the program committee who will verify the accessibility of software and data. Links to data and code will then be inserted in the final version of RR papers. For the sake of persistence and proper authorship attribution, we require the use of standard repository hosting services such as Dataverse, mldata.org, OpenML, etc. for data sets, and mloss.org, Bitbucket, GitHub, etc. for source code. If data or code gets updated after the paper is published, it is important to enable researchers to access the versions that were used to produce the results reported in the paper. Proceedings The conference proceedings will be published by Springer in the Lecture Notes in Artificial Intelligence series (LNAI). In addition to normal conference submissions, papers can be submitted to other tracks: Industrial, Governmental and NGO; Demo; Ph.D.; Nectar; journal track. Accepted papers in all the tracks, including journal track, will be presented at the conference. For information about other tracks, please see the separate call for papers. Important dates Abstract submission deadline: *Thursday April 13, 2017* Paper submission deadline: *Thursday April 20, 2017* Author notification: *Thursday June 22, 2017* Camera ready submission: *Thursday July 6, 2017* Contact For any additional questions you can contact the Program Chairs (Michelangelo Ceci, Jaakko Hollmén, Ljupčo Todorovski, Celine Vens) at *pc_chairs at ecmlpkdd2017.org * -- Nikola Simidjievski & Dragi Kocev Production & Publicity Chairs of ECML-PKDD 2017 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Wed Sep 14 13:27:34 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 14 Sep 2016 14:27:34 +0300 Subject: The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016): Fourth Call for Papers (***extended deadline***) Message-ID: *** Fourth Call for Papers *** The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016) December 12-14, 2016, St. Raphael Resort, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE2dGggSUVFRSBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBTaWduYWwgUHJvY2Vzc2luZyBhbmQgSW5mb3JtYXRpb24gVGVjaG5vbG9neSAoSVNTUElUIDIwMTYpOiBGb3VydGggQ2FsbCBmb3IgUGFwZXJzICgqKipleHRlbmRlZCBkZWFkbGluZSoqKikJNjcJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F *** Extended deadline: Oct 6th, 2016 *** IEEE ISSPIT 2016 is the sixteenth in a series of international symposia that aims to cover a wide range of topics in the intersection of signal processing and information technology and to become a fertile ground for discussions between the two research and development communities. Apart from sessions that will present new research results, tutorials and special sessions will be offered as well. Papers describing original work are invited in the general fields covered by ISSPIT, with an emphasis on the topics listed below. Accepted papers will be published in the Proceedings of IEEE ISSPIT 2016 and will be available via IEEE Xplore. Acceptance will be based on quality, relevance, and originality. A contest for Best Paper Awards (senior and student) will be held. Papers are invited in the following (non exclusive) topics: · Signal Processing Theory and Methods · Signal Processing for Communications and Networking · Design & Implementation of Signal Processing Systems · Image, Video & Multidimensional Signal Processing · Multimedia Signal Processing · Biological Image and signal processing · Audio and Acoustic signal Processing · Health Informatics and e-Health · Sensor Arrays · Big Data Analytics in Signal Processing and IT · Radar Signal Processing · Internet Software Architectures · Multimedia and Image Based Systems · Mobile Information Systems · E-Commerce · Bioinformatics and Bioengineering · Information Processing · Geographical Information Systems · Object Based Software Engineering · Speech Processing · Computer Networks · Neural Networks · Social Networks Analysis · Internet of Things · Engineering Systems of Systems Prospective authors are invited to submit full-length, 6-page (max) papers in two-column formats including diagrams and references. Authors can submit their papers as PDF files through the online submission system to be found on the ISSPIT 2016 website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE2dGggSUVFRSBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBTaWduYWwgUHJvY2Vzc2luZyBhbmQgSW5mb3JtYXRpb24gVGVjaG5vbG9neSAoSVNTUElUIDIwMTYpOiBGb3VydGggQ2FsbCBmb3IgUGFwZXJzICgqKipleHRlbmRlZCBkZWFkbGluZSoqKikJNjcJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F. The title page should include author(s) name(s), affiliation, mailing address, telephone, fax, and e-mail address. The author should indicate one or two of the above categories that best describe the topic of the paper. IMPORTANT DATES · Regular paper submission: October 6th, 2016 (extended) · Notification of acceptance: October 27th, 2016 · Camera-ready version with registration: November 15th , 2016 GENERAL CHAIRS · Christos Douligeris, University of Piraeus, Greece · Andreas Pitsillides, University of Cyprus, Cyprus · Andreas Spanias, Arizona State University, USA TECHNICAL PROGRAM CHAIRS · Ioannis Kyriakides, University of Nicosia, Cyprus · Veselin Rakocevic, City University, UK · Thanos Stouraitis, Khalifa University, UAE REGISTRATION & FINANCE CHAIR · Reda Ammar, University of Connecticut, USA PUBLICATION CO-CHAIRS · Josephine Antoniou, University of Central Lancanshire, Cyprus · Christophoros Christophorou, University of Cyprus, Cyprus · Angeliki Tsioliaridou, Foundation of Research and Technology, Greece TUTORIALS CO-CHAIRS · Marios Lestas, Frederick University, Cyprus (eng.lm at frederick.ac.cy) · Vasos Vassiliou, University of Cyprus, Cyprus (vasosv at cs.ucy.ac.cy) PLENARY & SPECIAL SESSIONS CO-CHAIRS · Christos Liaskos, Foundation of Research and Technology, Greece (cliaskos at ics.forth.gr) · Vicky Lesta Papadopoulou, European University Cyprus (V.Papadopoulou at euc.ac.cy) PUBLICITY CO-CHAIRS · Suvendi Rimer, University of Johannesburg, South Africa · Cristiano Silva, Universidade Federal de Minas Gerais ñ UFMG, Brazil LOCAL ARRANGEMENTS CHAIR · George A. Papadopoulos, University of Cyprus, Cyprus WEB MANAGER · Kyriakos Georgiades, Easy Conferences, Cyprus STEERING COMMITTEE · E. Abdel-Raheem, Ain Shams University, Egypt · R. Ammar, University of Connecticut, USA · F. Elguibaly, University of Victoria, Canada · A. Elmaghraby, University of Louisville, USA (Chair) · A. Tantawy, IBM, Egypt, USA · A. Tewfik, University of Minnesota, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From universal.logic at ufc.br Wed Sep 14 15:10:38 2016 From: universal.logic at ufc.br (Universal Logic) Date: Wed, 14 Sep 2016 10:10:38 -0300 (BRT) Subject: =?utf-8?B?QXJiaXRhcmluZXNzIG9mIHRoZSBTaWduIC8gQ2VudGVuYXJ5IG9mIHRoZSBD?= =?utf-8?B?b3VycyBkZSBMaW5ndWlzdGlxdWUgR8OpbsOpcmFsZSAvIEZlcmRpbmFuZCBk?= =?utf-8?B?ZSBTYXVzc3VyZQ==?= Message-ID: This year is the centenary of Ferdinand de Saussure's Cours de Linguistique Générale. The following workshop is organized next January in Geneva within the centenary congress: The Arbitariness of the Sign http://www.clg2016.org/en/geneva/programme/workshops/the-arbitrariness-of-the-sign/ This is a follow up of a workshop organized at the University of Neuchâtel in 2005, with the following book as byproduct: La pointure du symbole https://www.editionspetra.fr/livres/la-pointure-du-symbole The deadline to submit an abstract (either in English or French) is September 18. From grlmc at grlmc.com Fri Sep 16 03:14:47 2016 From: grlmc at grlmc.com (GRLMC) Date: Fri, 16 Sep 2016 03:14:47 +0200 Subject: BigDat 2017: early registration September 23 Message-ID: <545102060a010b02065e530b05035a5406050c0502060658510b0b02000500035d520d0f000e540052535457045355@grlmc_ip-zone_com-6> BigDat 2017: early registration September 23*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ******************************************************** 3rd INTERNATIONAL WINTER SCHOOL ON BIG DATA BigDat 2017 Bari, Italy February 13-17, 2017 Organized by: University of Bari "Aldo Moro" Rovira i Virgili University http://grammars.grlmc.com/BigDat2017/ ******************************************************** --- Early registration deadline: September 23, 2016 --- ******************************************************** AIM: BigDat 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: In principle, graduate students, PhD students and postdocs from around the world will be the most typical profiles. However, there are no formal pre-requisites for participation in terms of academic degrees. Since there will be differences in level, specific knowledge background may be assumed for some of the courses. BigDat 2017 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 2-3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. VENUE: BigDat 2017 will take place in Bari, a lively university city on the Adriatic Sea in Southern Italy. The venue will be: Department of Computer Science University of Bari "Aldo Moro" via Orabona, 4 70125 Bari, Italy KEYNOTE SPEAKERS: tba PROFESSORS AND COURSES: Thomas Bäck (Leiden University), [introductory/intermediate] Data Analytics and Optimization for Industrial Applications: Introduction, Algorithms, and Examples Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Tamás Budavári (Johns Hopkins University), [introductory] Big Data Approaches in Astronomy Diego Calvanese (Free University of Bozen-Bolzano), [advanced] Data-aware Processes: Modeling and Verification Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] Managing Big Data in the Cloud Geoffrey C. Fox (Indiana University), [intermediate] Using High Performance Computing for Big Data Analytics Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Streaming Big Data Analytics David W. Gerbing (Portland State University), [introductory] Data Visualization with R Georgios B. Giannakis (University of Minnesota), [advanced] Signal Processing Tools for Big Data Analytics Sander Klous (University of Amsterdam), [introductory] We Are Big Data Laks V.S. Lakshmanan (University of British Columbia), [introductory] Analysis of Large Social Networks Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Ontology-based Data Management Soumya D. Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods and Optimization Problems in Big Data Analytics Bernhard Pfahringer (University of Waikato), [introductory] Introduction to Data Stream Mining for Big Data Krithi Ramamritham (Indian Institute of Technology Bombay), [introductory/intermediate] Harnessing Big Data for Building Smart Things Michael Rosenblum (University of Potsdam), [introductory/intermediate] Coupled Oscillators Approach in Time Series Analysis Pierangela Samarati (University of Milan), [intermediate] Data Security and Privacy in the Cloud V.S. Subrahmanian (University of Maryland), [introductory/intermediate] Big Data in Cybersecurity Alexander S. Tuzhilin (New York University), [introductory/intermediate] Recommender Systems and Big Data Jeffrey Ullman (Stanford University), [introductory] Big Data Algorithms that Aren't Machine Learning Lyle Ungar (University of Pennsylvania), [introductory] Sentiment Mining from User Generated Content John Wright (Columbia University), [intermediate/advanced] Sparse and Low-Dimensional Models for High-Dimensional Data: Theory, Algorithms and Applications Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Relational and Multimedia 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 February 10, 2017. ORGANIZING COMMITTEE: Annalisa Appice Michelangelo Ceci (co-chair) Stefano Franco Corrado Loglisci Donato Malerba (co-chair) Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Gianvito Pio Florentina Lilica Voicu  REGISTRATION: It has to be done at http://grammars.grlmc.com/BigDat2017/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 allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions for accommodation will be available in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat  ACKNOWLEDGEMENTS: Università degli Studi di Bari Aldo Moro Universitat Rovira i Virgili   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Fri Sep 16 18:54:02 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 16 Sep 2016 12:54:02 -0400 (EDT) Subject: TABLEAUX, FroCoS, ITP - Call for Workshops and Tutorials Message-ID: <20160916165402.BBEFE121470@mcclellan.cs.miami.edu> (with apologies for multiple postings) CALL FOR WORKSHOPS AND TUTORIALS Three of the main conferences on automated reasoning -- TABLEAUX, FroCoS, and ITP - will be held in Brasilia, Brazil, between 25 and 29 September 2017. Following the long tradition of those events, we invite researchers and practitioners to submit proposals for co-located workshops and in-depth tutorials on topics relating to automated theorem proving and its applications. Workshops/tutorials can target the automated reasoning community in general, focus on a particular theorem proving system, or highlight more specific issues or recent developments. Co-located events will take place between 23 and 24/25 September and will be held on the same premises as the main conference. Conference facilities are offered free of charge to the organisers. Workshop/tutorial-only attendees will enjoy a significantly reduced registration fee. Detailed organisational matters such as paper submission and review process, or publication of proceedings, are up to the organisers of individual workshops. All accepted workshops/tutorials will be expected to have their program ready by 18 August 2017. Proposals for workshops/tutorials should contain at least the following pieces of information: - name and contact details of the main organiser(s) - (if applicable:) names of additional organisers - title and organisational style of event (tutorial, public workshop, project workshop, etc.) - preferred length of workshop (between half day and two days) - estimated number of attendees - short (up to one page) description of topic - (if applicable:) pointers to previous editions of the workshop, or to similar events Proposals are invited to be submitted by email to nalon at unb.br, no later than 9 December 2016. Selected events will be notified by 23 December 2016. The workshop/tutorial selection committee consists of the TABLEAUX, FroCoS, and ITP program chairs and the conference organisers. From roberto.santana at ehu.es Thu Sep 22 13:20:32 2016 From: roberto.santana at ehu.es (Roberto Santana) Date: Thu, 22 Sep 2016 13:20:32 +0200 Subject: IEEE Congress on Evolutionary Computation CEC-2017, San Sebastian, Spain: Call for papers, competitions, tutorials, and special sessions. Message-ID: <15623671-2295-7866-9c18-28b8ffc68c3b@ehu.es> (with apologies for multiple postings) We are pleased to announce that the 2017 IEEE Conference on Evolutionary Computation (www.cec2017.org) will be held in San Sebastian, Spain, in June 5-8, 2017. IEEE CEC is a world-class conference that aims to bring together researchers and practitioners in the field of evolutionary computation and computational intelligence from all around the globe. Technical exchanges within the research community will encompass keynote lectures, regular and special sessions, tutorials, and competitions as well as poster presentations. In addition, participants will be treated to a series of social functions, receptions, and networking to establish new connections and foster everlasting friendship among fellow counterparts. Donostia/San Sebastian is a coastal medium-size city located in northern Spain, 20km from the border with France. It stands as an amphitheatre over-looking the sea. It is known the world over for its spectacular bay and is referred to as the Pearl of the Cantabrian Sea. It is also internationally renowned for being a culinary haven where visitors will find more Michelin stars per square meter than in any other city in the world. The conference will take place at the Kursaal Convention Center and Auditorium. Kursaal is located in the city center, overlooking the seafront. This avant-garde architectural showpiece was designed by Rafael Moneo and won the Mies van der Rohe prize for the best building in Europe in 2001. The main hotels, restaurants and shopping areas are within walking distance. CEC 2017 covers all topics in the field of Evolutionary Computation including the following non-exhaustive list: * Genetic algorithms * Genetic programming * Estimation of distribution algorithms * Evolutionary programming * Evolution strategies * Bioinformatics and bioengineering * Coevolution and collective behavior * Combinatorial and numerical optimization * Constraint and uncertainty handling * Evolutionary data mining * Evolutionary learning systems * Evolvable/adaptive hardware and systems * Evolving neural networks and fuzzy systems * Evolutionary multi-objective optimization * Ant colony optimization * Artificial life * Agent-based systems * Molecular and quantum computing * Particle Swarm Optimization * Artificial immune systems * Representation and operators * Industrial applications of EC * Evolutionary game theory * Cognitive systems and applications * Computational finance and economics * Estimation of distribution algorithms * Evolutionary design * Evolutionary scheduling Important Dates: Submission deadline for special sessions: November 7, 2016 Deadline for the submission of tutorials and competitions proposals: January 9, 2017 Paper submission deadline: January 16, 2017 Paper Decision notification: February 26, 2017 All the papers have to be submitted electronically through the congress application. For Program inquiries please contact the Program Chair, Carlos Coello at ccoello at cs.cinvestav.mx. General inquiries for IEEE CEC 2017 should be sent to the General Chair, Jose A. Lozano at info at cec2017.org You can also follow CEC 2017 on Twitter: https://twitter.com/cec2017 We are looking forward to seeing you in San Sebastian! From nils.muellner at mdh.se Fri Sep 23 15:24:10 2016 From: nils.muellner at mdh.se (Nils Muellner) Date: Fri, 23 Sep 2016 13:24:10 +0000 Subject: International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) Message-ID: CALL FOR PAPERS: 1st International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) Co-located with the 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo - Japan Website: http://www.mrtc.mdh.se/ITEQS/2017/ SCOPE ===== The rapid development towards increased integration of software with the social and physical world that we see today means that quality aspects such as performance, safety, security, and robustness become more important in an increasing number of the systems and devices, which we use and depend on. In this context, the success of a software product may not only depend on the logical correctness of its functions, but also on the system quality characteristics. Such system characteristics, which are referred to and captured as Extra-Functional Properties (EFPs) or Non-Functional Properties, are particularly important in resource constrained systems such as in the domains of real-time embedded and cyber-physical systems. Therefore, such systems need to be tested with a special attention to the EFPs. Testing EFPs is challenging and often requires different approaches compared to testing normal functionality. ITEQS provides a focused forum with the goal of bringing together researchers and practitioners to share ideas, identify challenges, propose solutions and techniques, and in general expand the state of the art in testing EFPs and quality characteristics of software systems and services. The workshop endorses contributions in a wide range of topics related to testing of EFPs in the form of full papers and short yet solid work-in-progress/position papers. Note: The workshop does not accept papers that focus purely on functional testing! TOPICS ====== - Model-based testing of EFPs; e.g., choice of modeling languages to capture EFPs and their role on testability, model-based test case generation, etc. - Mutation-based testing for EFPs; e.g., application of mutation techniques for testing of EFPs particularly introduction of EFP-specific mutation operators - Search-based testing techniques for EFPs - Testability, observability, controllability and the role of the platform; e.g., how the choice of operating system can impact testability of EFPs, for instance, a real-time operating system, introducing testability mechanisms into a platform, designing - middlewares for testing of EFPs - Empirical studies and experience reports; e.g., on the importance of testing EFPs, evaluation of testing methods, case-study and reports on project failures due to EFPs, comparison of methods and techniques - Quality assurance, standards, and their impact on testing EFPs - Requirements and testing EFPs; e.g., identification and generation of test oracles for EFPs from requirements, requirements for testability, traceability - Coverage criteria in testing EFPs - Processes and their role in testing EFPs; e.g., agile and TDD - Fault localization for EFPs and debugging - Formal methods, model-checking, and reasoning about EFPs - Parallelism, Concurrency, and Testing of multicore applications - Performance, Robustness, and Security Testing - Testing real-time, embedded, and cyber-physical systems, and their challenges - Testing quality characteristics of distributed, mobile, and cloud applications SUBMISSION GUIDELINES ===================== Paper format: 1) full papers 6-8 pages, 2) solid work-in-progress and position papers 4 pages; in IEEE double column format. Submission site: https://easychair.org/conferences/?conf=iteqs2017 Accepted papers will be published in IEEE Digital Library. IMPORTANT DATES =============== Submission deadline: December 1, 2016 Notifications: January 2, 2017 Workshop date: March 12, 2017 (preliminary) ORGANIZERS ========== Mehrdad Saadatmand, SICS Swedish ICT, Västerås, Sweden (mehrdad at sics.se) Birgitta Lindström, University of Skövde, Sweden (birgitta.lindstrom at his.se) Markus Bohlin, SICS Swedish ICT, Västerås, Sweden (markus.bohlin at sics.se) PROGRAM COMMITTEE ================= Antonia Bertolino, CNR (National Research Council), Italy Mark Harman, University College London, UK Vahid Garousi, Hacettepe University, Turkey Jeff Offutt, George Mason University, USA James H. Hill, Indiana University-Purdue University Indianapolis, USA Vittorio Cortellessa, University of L'Aquila, Italy Mohammad Mousavi, Halmstad University, Sweden Brian Nielsen, Aalborg University, Denmark Robert Feldt, Blekinge Institute of Technology, Sweden Shiva Nejati, University of Luxembourg, Luxembourg Björn Lisper, Mälardalen University, Sweden Hadi Hemmati, University of Manitoba, Canada Wasif Afzal, Mälardalen University, Sweden Tsong Yueh Chen, Swinburne University of Technology, Australia Pasqualina Potena, SICS Swedish ICT Västerås, Sweden Bestoun S. Ahmed, IDSIA USI-SUPSI, Switzerland -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sat Sep 24 03:50:23 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 24 Sep 2016 03:50:23 +0200 Subject: SLSP 2016: call for participation Message-ID: <545102060a010b020755530505015a5d5b5203500a06005500500f500f0250050051510f550a000155035502050457@grlmc_ip-zone_com-6> SLSP 2016: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************** 4th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2016 Pilsen, Czech Republic October 11-12, 2016 Organized by: Department of Computer Science and Engineering Department of Cybernetics University of West Bohemia Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/SLSP2016/ ************************************************************************** PROGRAM Tuesday, October 11 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Walter Daelemans: Advances in Statistical Approaches to Personality Prediction from Text - Invited lecture 10:30 - 11:00    Coffee break 11:00 - 11:50 Ikbel Hadj Ali and Zied Mnasri: Statistical Analysis of the Prosodic Parameters of a Spontaneous Arabic Speech Corpus for Speech Synthesis Daniil Kocharov, Tatiana Kachkovskaia, Aliya Mirzagitova and Pavel Skrelin: Combining Syntactic and Acoustic Features for Prosodic Boundary Detection in Russian 11:50 - 13:20    Lunch 13:20 - 14:10    Julia Hirschberg: Identifying Sentiment and Emotion in Low Resource Languages - Invited lecture 14:10 - 14:25    Break and Group photo 14:25 - 15:15 Brij Mohan Lal Srivastava and Manish Shrivastava: Articulatory Gesture Rich Representation Learning of Phonological Units in Low Resource Settings Dávid Sztahó and Klára Vicsi: Estimating the Severity of Parkinson’s Disease Using Voiced Ratio and Nonlinear Parameters 15:15 - 15:30    Break 15:30 -        Poster presentations 18:00 - 20:00    Social event Wednesday, October 12 09:00 - 09:50    Mari Ostendorf: Continuous-space Language Processing: Beyond Word Embeddings - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:35 Antoni Hernández, Bernardino Casas, Ramon Ferrer-i-Cancho and Jaume Baixeries: Testing the Robustness of Laws of Polysemy and Brevity versus Frequency David Marecek: Delexicalized and Minimally Supervised Parsing on Universal Dependencies Ahmet Üstün and Burcu Can: Unsupervised Morphological Segmentation Using Neural Word Embeddings 11:35 - 11:50    Break 11:50 - 13:05 Marie Tahon, Raheel Qader, Gwénolé Lecorvé and Damien Lolive: Optimal Feature Set and Minimal Training Size for Pronunciation Adaptation in TTS Natalia Tomashenko, Yuri Khokhlov and Yannick Estève: A New Perspective on Combining GMM and DNN Frameworks for Speaker Adaptation Matti Varjokallio, Mikko Kurimo and Sami Virpioja: Class n-Gram Models for Very Large Vocabulary Speech Recognition of Finnish and Estonian 13:05 - 13:15    Closing 13:15 -        Lunch -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wjamroga at in.tu-clausthal.de Mon Sep 26 16:54:17 2016 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Mon, 26 Sep 2016 16:54:17 +0200 Subject: Postdoc in information assurance, University of Luxembourg In-Reply-To: <62AF4A91-4A11-4D21-8C43-C0C7F23B42E6@uni.lu> References: <62AF4A91-4A11-4D21-8C43-C0C7F23B42E6@uni.lu> Message-ID: <688788e8-b0b0-ba14-431d-0e975e13b2a4@in.tu-clausthal.de> The University of Luxembourg seeks to hire outstanding researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT) as: * Research Associate (postdoc) in Information Assurance (M/F) * Ref: INTER Project VoteVerif * Fixed Term Contract 24 months (CDD), full-time (40 hrs/week), extendable to 36 months * Website for applications: http://emea3.mrted.ly/15g3f (deadline: 20 Oct) The Team The researcher will be working under the supervision of Prof P Y A Ryan, head of the APSIA (Applied Security and Information Assurance) research group, http://wwwde.uni.lu/snt/research/apsia. APSIA specializes in the mathematical foundations of information assurance: the mathematical modelling and analysis of information flows, the design and analysis of cryptographic primitives and protocols (both classical and quantum), secure verifiable voting systems, and anonymous marking systems and game-theoretic analysis of non-interference and coercion-resistance. The group has expertise in both the symbolic (formal methods) and the computational (“provable security”) styles of analysis and is investigating the links and synergies between them. The group has also established itself as a leading centre for the socio-technical aspects of security. The Project The research will be conducted within the VoteVerif project (Verification of Voter-Verifiable Voting Protocols), in collaboration with Polish Academy of Sciences, Warsaw, Poland. The project aims to develop novel concepts, methodologies, and tools for specification, analysis, and assessment of information security properties. The focus is on voting procedures and protocols, and in particular on their essential features like confidentiality, coercion-resistance, and voter-verifiability. The approach of the project is holistic, in the sense that we plan to develop theoretical concepts (such as strategy- based metrics of information security) not for their own sake, but in order to apply them to an important domain of social life, and come up with guidance on the conduct of elections and novel designs for secure, usable voting systems. To this end, we are going to develop algorithmic tools that help to analyze the level of security and usability. Note also that, while we focus on voting procedures in the project, the concepts and tools being developed can be also applied to other domains where information security is important. Your Profile * A PhD in Computer Science, Applied Mathematics, Mathematical Physics or related field * A proven interest in cryptography and security modelling * Strong background in mathematics and computer science * Commitment, team working and a critical mind * Experience in cryptography or game theory will be considered as an advantage * Fluent written and verbal communication skills in English are mandatory. We offer We offer an initial two-year appointment, extendable to 3 years. You will work in an exciting international setting and participate in a fast growing and dynamic research environment. The University offers highly competitive salaries and is an equal opportunity employer. Further Information Apply via website here: http://emea3.mrted.ly/15g3f Deadline for applications: 20 Oct 2016 If you have any questions, please contact: Prof. Dr. Peter Y. A. Ryan or Prof. Dr. Wojtek Jamroga From announce at cs.ucy.ac.cy Tue Sep 27 11:16:19 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 27 Sep 2016 12:16:19 +0300 Subject: The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016): Last Call for Papers (***extended deadline***) Message-ID: *** Last Call for Papers *** The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016) December 12-14, 2016, St. Raphael Resort, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE2dGggSUVFRSBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBTaWduYWwgUHJvY2Vzc2luZyBhbmQgSW5mb3JtYXRpb24gVGVjaG5vbG9neSAoSVNTUElUIDIwMTYpOiBMYXN0IENhbGwgZm9yIFBhcGVycyAoKioqZXh0ZW5kZWQgZGVhZGxpbmUqKiopCTcwCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F *** Extended deadline: Oct 6th, 2016 *** IEEE ISSPIT 2016 is the sixteenth in a series of international symposia that aims to cover a wide range of topics in the intersection of signal processing and information technology and to become a fertile ground for discussions between the two research and development communities. Apart from sessions that will present new research results, tutorials and special sessions will be offered as well. Papers describing original work are invited in the general fields covered by ISSPIT, with an emphasis on the topics listed below. Accepted papers will be published in the Proceedings of IEEE ISSPIT 2016 and will be available via IEEE Xplore. Acceptance will be based on quality, relevance, and originality. A contest for Best Paper Awards (senior and student) will be held. Papers are invited in the following (non exclusive) topics: · Signal Processing Theory and Methods · Signal Processing for Communications and Networking · Design & Implementation of Signal Processing Systems · Image, Video & Multidimensional Signal Processing · Multimedia Signal Processing · Biological Image and signal processing · Audio and Acoustic signal Processing · Health Informatics and e-Health · Sensor Arrays · Big Data Analytics in Signal Processing and IT · Radar Signal Processing · Internet Software Architectures · Multimedia and Image Based Systems · Mobile Information Systems · E-Commerce · Bioinformatics and Bioengineering · Information Processing · Geographical Information Systems · Object Based Software Engineering · Speech Processing · Computer Networks · Neural Networks · Social Networks Analysis · Internet of Things · Engineering Systems of Systems Prospective authors are invited to submit full-length, 6-page (max) papers in two-column formats including diagrams and references. Authors can submit their papers as PDF files through the online submission system to be found on the ISSPIT 2016 website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE2dGggSUVFRSBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBTaWduYWwgUHJvY2Vzc2luZyBhbmQgSW5mb3JtYXRpb24gVGVjaG5vbG9neSAoSVNTUElUIDIwMTYpOiBMYXN0IENhbGwgZm9yIFBhcGVycyAoKioqZXh0ZW5kZWQgZGVhZGxpbmUqKiopCTcwCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F. The title page should include author(s) name(s), affiliation, mailing address, telephone, fax, and e-mail address. The author should indicate one or two of the above categories that best describe the topic of the paper. IMPORTANT DATES · Regular paper submission: October 6th, 2016 (extended) · Notification of acceptance: October 27th, 2016 · Camera-ready version with registration: November 15th , 2016 GENERAL CHAIRS · Christos Douligeris, University of Piraeus, Greece · Andreas Pitsillides, University of Cyprus, Cyprus · Andreas Spanias, Arizona State University, USA TECHNICAL PROGRAM CHAIRS · Ioannis Kyriakides, University of Nicosia, Cyprus · Veselin Rakocevic, City University, UK · Thanos Stouraitis, Khalifa University, UAE REGISTRATION & FINANCE CHAIR · Reda Ammar, University of Connecticut, USA PUBLICATION CO-CHAIRS · Josephine Antoniou, University of Central Lancanshire, Cyprus · Christophoros Christophorou, University of Cyprus, Cyprus · Angeliki Tsioliaridou, Foundation of Research and Technology, Greece TUTORIALS CO-CHAIRS · Marios Lestas, Frederick University, Cyprus (eng.lm at frederick.ac.cy) · Vasos Vassiliou, University of Cyprus, Cyprus (vasosv at cs.ucy.ac.cy) PLENARY & SPECIAL SESSIONS CO-CHAIRS · Christos Liaskos, Foundation of Research and Technology, Greece (cliaskos at ics.forth.gr) · Vicky Lesta Papadopoulou, European University Cyprus (V.Papadopoulou at euc.ac.cy) PUBLICITY CO-CHAIRS · Suvendi Rimer, University of Johannesburg, South Africa · Cristiano Silva, Universidade Federal de Minas Gerais ñ UFMG, Brazil LOCAL ARRANGEMENTS CHAIR · George A. Papadopoulos, University of Cyprus, Cyprus WEB MANAGER · Kyriakos Georgiades, Easy Conferences, Cyprus STEERING COMMITTEE · E. Abdel-Raheem, Ain Shams University, Egypt · R. Ammar, University of Connecticut, USA · F. Elguibaly, University of Victoria, Canada · A. Elmaghraby, University of Louisville, USA (Chair) · A. Tantawy, IBM, Egypt, USA · A. Tewfik, University of Minnesota, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sdmpublic2 at gmail.com Wed Sep 28 10:15:38 2016 From: sdmpublic2 at gmail.com (SDM Publicity Chairs) Date: Wed, 28 Sep 2016 10:15:38 +0200 Subject: CFP: SIAM Conference on Data Mining (SDM'17) - Abstracts due October 8 Message-ID: SDM'17: THE SEVENTEENTH SIAM INTERNATIONAL CONFERENCE ON DATA MINING April 27 - April 29, 2017 The Westin Galleria Houston Houston, Texas, USA www.siam.org/meetings/sdm17/ ------------ CALL FOR CONTRIBUTIONS ------------ Abstract Submission: October 8, 2016, 11:59pm (PDT) Full Paper Submission: October 15, 2016, 11:59pm (PDT) Workshop Proposals: October 8, 2016, 11:59pm (PDT) Tutorial Proposals: October 8, 2016, 11:59pm (PDT) FOLLOW SDM ------------------------------------------------------------ https://twitter.com/SIAMDataMining https://www.facebook.com/events/475483799321188/ DESCRIPTION ------------------------------------------------------------ Data mining is the computational process for discovering valuable knowledge from data. It has enormous application in numerous fields, including science, engineering, healthcare, business, and medicine. Typical datasets in these fields are large, complex, and often noisy. Extracting knowledge from these datasets requires the use of sophisticated, high-performance, and principled analysis techniques and algorithms, which are based on sound theoretical and statistical foundations. These techniques in turn require implementations on high performance computational infrastructure that are carefully tuned for performance. Powerful visualization technologies along with effective user interfaces are also essential to make data mining tools appealing to researchers, analysts, and application developers from different disciplines. The SDM conference provides a venue for researchers who are addressing these problems to present their work in a peer-reviewed forum. It also provides an ideal setting for graduate students and others new to the field to learn about cutting-edge research by hearing outstanding invited speakers and attending presentations and tutorials (included with conference registration). A set of focused workshops is also held on the last day of the conference. The proceedings of the conference are published in archival form, and are also made available on the SIAM web site. THEMES AND TOPICS OF INTEREST ------------------------------------------------------------ Methods and Algorithms • Classification • Clustering • Frequent Pattern Mining • Probabilistic & Statistical Methods • Graphical Models • Spatial & Temporal Mining • Data Stream Mining • Anomaly & Outlier Detection • Feature Extraction, Selection and Dimension Reduction • Mining with Constraints • Data Cleaning & Preprocessing • Computational Learning Theory • Multi-Task Learning • Online Algorithms • Big Data, Scalable & High-Performance Computing Techniques • Mining with Data Clouds • Mining Graphs • Mining Semi-Structured Data • Mining Complex Datasets • Mining on Emerging Architectures • Text & Web Mining • Optimization Methods • Other Novel Methods Applications • Astronomy & Astrophysics • High Energy Physics • Collaborative Filtering • Recommender Systems • Climate / Ecological / Environmental Science • Risk Management • Supply Chain Management • Customer Relationship Management • Finance • Genomics & Bioinformatics • Drug Discovery • Healthcare Management • Automation & Process Control • Logistics Management • Intrusion & Fraud detection • Bio-surveillance • Sensor Network Applications • Social Network Analysis • Educational Data Mining • Intelligence Analysis • Other Novel Applications & Case Studies Human Factors and Social Issues • Ethics of Data Mining • Intellectual Ownership • Privacy Models • Privacy Preserving Data Mining & Data Publishing • Risk Analysis • User Interfaces • Interestingness & Relevance • Data & Result Visualization • Other Human Factors and Social Issues WORKSHOPS AND TUTORIALS ------------------------------------------------------------ The conference will feature workshops and tutorials on several special topics. Please see the SDM 2017 website for submission requirements. Examples of workshops and tutorials are available through the SDM 2016 website, http://www.siam.org/meetings/sdm16/ ORGANIZING COMMITTEE ------------------------------------------------------------ STEERING COMMITTEE CHAIR Srinivasan Parthasarathy, Ohio State University, USA CONFERENCE CO-CHAIRS Carlotta Domeniconi, George Mason University, USA Dimitrios Gunopulos, University of Athens, Greece PROGRAM CO-CHAIRS Nitesh Chawla, University of Notre Dame, USA Wei Wang, University of California, Los Angeles, USA WORKSHOP CO-CHAIRS Leman Akoglu, Stony Brook University, The State University of New York, USA Arthur Zimek, University of Southern Denmark, Denmark TUTORIAL CHAIR Jilles Vreeken, Saarland University and Max Planck Institute for Informatics, Germany DOCTORAL FORUM CHAIR Shuiwang Ji, Washington State University, USA PUBLICITY CO-CHAIRS Danai Koutra, University of Michigan, USA Matthijs van Leeuwen, Leiden University, the Netherlands Panagiotis Papapetrou, Stockholm University, Sweden PANEL CHAIR Chris Jermaine, Rice University, USA SPONSORSHIP CO-CHAIRS James Faghmous, Icahn School of Medicine, Mount Sinai, USA Jiliang Tang, Yahoo Research, USA AWARDS CHAIR Zoran Obradovic, Temple University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: