From Wiebe.Van-Der-Hoek at liverpool.ac.uk Tue Nov 1 09:44:08 2016 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van Der Hoek, Wiebe) Date: Tue, 1 Nov 2016 08:44:08 +0000 Subject: EPICENTER Spring Course in Epistemic Game Theory Message-ID: In 2017, our EPICENTER will organize the fourth EPICENTER Spring Course in Epistemic Game Theory Maastricht University, June 12 – June 26, 2017 Registration: If you want to participate, please send an E-mail to Andrés Perea at: course at epicenter.name Please indicate clearly your university, type of student or position (bachelor-, master- or PhD student, or researcher), and your background/field of expertise. The registration deadline is May 15, 2017. Registration fee: The registration fee for this course is 80 euros. To see how you can pay this amount, please visit our course website:http://www.epicenter.name/springcourse/ The deadline for paying the registration fee is May 15, 2017. Credits: At the end of the course there will be an exam, which is optional. So, you are free to participate without doing the exam. If you pass the exam, you will earn 6.5 ECTS for this course. Everybody who participates in this course will get an official certificate from the EPICENTER and our university. If you pass the exam, you will get a special certificate saying that you are entitled to 6.5 ECTS from your home university. About the course: Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents’ choices, but also about the opponents’ beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world. For more information about the course, together with a full program of the course, please visit our course website:http://www.epicenter.name/springcourse/ Previous editions: In 2014, 2015 and 2016 we also gave the EPICENTER Spring Course in Epistemic Game Theory. All editions were a big success, with highly motivated students from all across Europe and even outside (see our course websitehttp://www.epicenter.name/previous-courses/ for some nice pictures from previous years). We hope the 2017 edition will be at least as good. Forward: Please forward this message to all people whom you think might be interested. Questions? Please send an E-mail to Andrés Perea at: course at epicenter.name We hope to see you at the course! Best regards, Andrés Perea ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of School of EEE&CS University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44) 7970247480 wiebe at liverpool.ac.uk From grlmc at grlmc.com Thu Nov 3 17:47:24 2016 From: grlmc at grlmc.com (GRLMC) Date: Thu, 03 Nov 2016 17:47:24 +0100 Subject: AlCoB 2017: 1st call for papers Message-ID: <545102060a010b010054520a01065a51015600540207070706045c55045507515d5256050309070752570307500450@grlmc_ip-zone_com-6> AlCoB 2017: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************************************** 4th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2017   Aveiro, Portugal   June 5-7, 2017   Organized by:   Center for Research & Development in Mathematics and Applications (CIDMA) Institute of Electronics and Informatics Engineering of Aveiro (IEETA) University of Aveiro   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/AlCoB2017/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.   Previous events were held in Tarragona, Mexico City, and Trujillo.   The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE:   AlCoB 2017 will take place in Aveiro, an industrial city with an important seaport on the Atlantic Ocean, and known as "the Portuguese Venice" due to its network of canals. The venue will be the Department of Mathematics of the University of Aveiro, Campus Universitário de Santiago, 3810-193 Aveiro.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics Microbiome analysis Systems biology   STRUCTURE:   AlCoB 2017 will consist of:   invited lectures invited tutorials peer-reviewed contributions posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE: (to be completed)   Can Alkan (Bilkent University, Ankara, TR) Stephen Altschul (National Institutes of Health, Bethesda, USA) Yurii Aulchenko (PolyOmica, Groningen, NL) Ken Chen (University of Texas MD Anderson Cancer Center, Houston, USA) Eytan Domany (Weizmann Institute of Science, Rehovot, IL) Dmitrij Frishman (Technical University of Munich, DE) Terry Furey (University of North Carolina, Chapel Hill, USA) Olivier Gascuel (Pasteur Institute, Paris, FR) Debashis Ghosh (University of Colorado, Denver, USA) Susumu Goto (Kyoto University, JP) Osamu Gotoh (Institute of Advanced Industrial Science and Technology, Tokyo, JP) Javier Herrero (University College London, UK) Karsten Hokamp (Trinity College Dublin, IE) Fereydoun Hormozdiari (University of California, Davis, USA) Kazutaka Katoh (Osaka University, JP) Lukasz Kurgan (Virginia Commonwealth University, Richmond, USA) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, ES, chair) Zemin Ning (Wellcome Trust Sanger Institute, Hinxton, UK) William Stafford Noble (University of Washington, Seattle, USA) Cedric Notredame (Center for Genomic Regulation, Barcelona, ES) Christos Ouzounis (Centre for Research & Technology Hellas, Thessaloniki, GR) Manuel C. Peitsch (Philip Morris International, Bern, CH) Matteo Pellegrini (University of California, Los Angeles, USA) Graziano Pesole (University of Bari, IT) David Posada (University of Vigo, ES) Knut Reinert (Free University of Berlin, DE) Peter Robinson (The Jackson Laboratory, Farmington, USA) Julio Rozas (University of Barcelona, ES) David Sankoff (University of Ottawa, CA) Alejandro Schäffer (National Institutes of Health, Bethesda, USA) Xinghua Shi (University of North Carolina, Charlotte, USA) Nicholas D. Socci (Memorial Sloan Kettering Cancer Center, New York, USA) Alexandros Stamatakis (Heidelberg Institute for Theoretical Studies, DE) Granger Sutton (J. Craig Venter Institute, La Jolla, USA) Kristel Van Steen (University of Liège, BE) Arndt von Haeseler (Center for Integrative Bioinformatics Vienna, AT) Kai Wang (University of Southern California, Los Angeles, USA) Haim J. Wolfson (Tel Aviv University, IL) Ioannis Xenarios (Swiss Institute of Bioinformatics, Lausanne, CH) Shibu Yooseph (University of Central Florida, Orlando, USA) Mohammed J. Zaki (Rensselaer Polytechnic Institute, Troy, USA) Daniel Zerbino (European Bioinformatics Institute, Hinxton, UK) Weixiong Zhang (Washington University in St. Louis, USA)   ORGANIZING COMMITTEE:   Diana Costa (Aveiro, CIDMA) Daniel Figueiredo (Aveiro, CIDMA, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Manuel A. Martins (Aveiro, CIDMA) Manuel Jesús Parra Royón (Granada) Armando J. Pinho (Aveiro, IEETA) Diogo Pratas (Aveiro, IEETA, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Florentina Lilica Voicu (Tarragona)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, graphics, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=alcob2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/AlCoB2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: January 22, 2017 Notification of paper acceptance or rejection: February 25, 2017 Final version of the paper for the LNCS/LNBI proceedings: March 9, 2017 Early registration: March 9, 2017 Late registration: May 22, 2017 Submission to the journal special issue: September 7, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   AlCoB 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:   Universidade de Aveiro Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sun Nov 6 16:07:56 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 6 Nov 2016 17:07:56 +0200 Subject: 9th International Conference on Computational Collective Intelligence (ICCCI 2017): First Call for Papers and Special Sessions & Workshops Proposals Message-ID: *** First Call for Papers and Special Sessions & Workshops Proposals *** 9th International Conference on Computational Collective Intelligence ICCCI 2017 Hilton Cyprus, Nicosia, Cyprus 27 - 29 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJOXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDb21wdXRhdGlvbmFsIENvbGxlY3RpdmUgSW50ZWxsaWdlbmNlIChJQ0NDSSAyMDE3KTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzIGFuZCBTcGVjaWFsIFNlc3Npb25zICYgV29ya3Nob3BzIFByb3Bvc2Fscwk4OAlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F Computational Collective Intelligence is most often understood as an AI subfield dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. ICCCI 2017 is the 9th edition of the conference organized by the University of Cyprus and Wroclaw University of Science and Technology in Poland, in cooperation with the IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of the conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. Instructions to Authors Prospective authors of papers are invited to submit contributions for presentations at ICCCI 2017. The submissions should present the results of original research or innovative practical applications relevant to the conference topics. Practical experiences with state-of-the-art in CCI methodologies are also acceptable to reflect lessons of unique value for the conference attendees. Contributions should be original and not published elsewhere or intended to be published during the review process. The conference language is English. The conference proceedings of ICCCI 2017 will be published in the prestigious Lecture Notes in Artificial Intelligence series by Springer and indexed by ISI(CPCI-S), Web of Science, EI, Scopus, DBLP, ACM Digital Library. All submissions should follow the LNCS/LNAI style and not exceed 10 pages. At least one full registration is required for each accepted paper in order to be included in the ICCCI 2017 proceedings. Each paper is to be submitted electronically as a single PDF file through EasyChair at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJOXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDb21wdXRhdGlvbmFsIENvbGxlY3RpdmUgSW50ZWxsaWdlbmNlIChJQ0NDSSAyMDE3KTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzIGFuZCBTcGVjaWFsIFNlc3Npb25zICYgV29ya3Nob3BzIFByb3Bvc2Fscwk4OAlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Diccci2017 . To ensure high quality, all papers will be thoroughly reviewed by the ICCCI 2017 International Program Committee. Referees will be asked to nominate papers for a Best Paper award to be announced at the conference. All accepted papers must be presented by one of the authors who must register for the conference and pay the author registration fee. A selected number of accepted and personally presented papers, will be expanded and revised for possible inclusion in special issues of high quality scientific journals. Topics of Interest We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: · Agent Theory and Application · Automated Reasoning · Cognitive Modeling of Agent Systems · Collective Intelligence · Collective Processing · Computational Biology · Computer Vision · Computational Intelligence · Computational Security · Consensus Computing · Cooperative Systems and Control · Cybernetics for Informatics · Data Integration · Data Mining for Social Networks · Distributed Intelligence · Evolutionary computing · Fuzzy Systems · Geographic Information Systems · Grey Theory · Group Decision Making · Hybrid Systems · Information Retrieval and Integration · Information Hiding · Intelligent Architectures · Intelligent Applications · Intelligent Buildings · Intelligent Control · Intelligent E-learning/Tutoring · Intelligent Image Processing · Intelligent Networks · Intelligent Transportation Systems · Knowledge Integration · Knowledge Representation · Knowledge-Based Systems · Logic in Intelligence · Machine Learning · Mobile Intelligence · Multicriteria Decision Making · Natural Language Processing · Optimization and Swarm Intelligence · Pattern Recognition · Probabilistic and Uncertain Reasoning · Rough Sets · Semantic Web · Smart Living Technology · Smart Sensor Networks · Soft Computing · Social Networks · Ubiquitous Computing · Web Intelligence and Interaction Call for Special Sessions and Workshops Proposals ICCCI 2017 invites proposals for Special Sessions and Workshops to be held during the conference. They intend to provide researchers in focused areas the opportunity to present and discuss their work, as well as to offer a forum for interaction among a broader community of researchers. A Special Session or Workshop will consist of a group of papers in a sub-discipline of Computational Collective Intelligence related to the main topics of ICCCI 2017. The papers will be required to meet the same standards as ICCCI 2017 papers and will be published in the conference proceedings, in a bound volume by Springer in their Lecture Notes in Artificial Intelligence series. All the Special Sessions and Workshops will be centralized as tracks in the same conference submission and reviewing system (EasyChair) as the regular papers. Please send the Special Session and Workshop proposals with the following information: · Title & acronym of the special session · Brief profiles of special session organizers · General description of the special session scope · List of topics · Proposed Session Program Committee (to be invited) The format for the Special Session or Workshop proposal should follow the pattern of the template available on the conference web site. The organizers will be responsible for the advertisement and promotion of the Special Sessions or Workshops and the conference including the Special Sessions and Workshops webpage preparation. The management of papers review will be achieved by Special Session and Workshops Committees, using the Conference System (a separate EasyChair track will be provided for each Special Session and Workshop). The organizers are responsible for managing the review process. All the reviews should be submitted through EasyChair. Each paper should obtain at least two reviews. For Special Sessions and Workshops Issues please contact: Bogdan Trawinski Wroclaw University of Science and Technology, Poland bogdan.trawinski at pwr.edu.pl Important Dates · Special Session & Workshop Proposals: Feb 15, 2017 · Special Session & Workshop Acceptance: Feb 22, 2017 · Submission of Papers: Apr 1, 2017 · Notification of Acceptance: May 1, 2017 · Camera-ready Submission: May 15, 2017 · Registration and Payment for Authors: Jun 15, 2017 · Conference Dates: Sep 27-29, 2017 Organization Honorary Chairs · Costas Christophides, Rector of University of Cyprus, Cyprus · Pierre Lévy, University of Ottawa, Canada · Cezary Madryas, Rector of Wroclaw University of Technology, Poland General Chairs · Ngoc Thanh Nguyen, Wroclaw University of Science and Technology, Poland · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Costin Badica, University of Craiova, Romania · Piotr J?drzejowicz, Gdynia Maritime University, Poland · Kazumi Nakamatsu, University of Hyogo, Japan Organising Chair · Georgia Kapitsaki, University of Cyprus, Cyprus Special Sessions and Workshops Chairs · Achilleas Achilleos, University of Cyprus, Cyprus · Bogdan Trawinski, Wroclaw University of Science and Technology, Poland Doctoral Track Chair · George Pallis, University of Cyprus, Cyprus Publicity Chair · Christos Mettouris , University of Cyprus, Cyprus Local Organising Committee · Marios Komodromos, University of Cyprus, Cyprus · Christos Mettouris, University of Cyprus, Cyprus · Rafa? Kern, Wroclaw University of Science and Technology, Poland · Marcin Pietranik, Wroclaw University of Science and Technology, Poland · Zbigniew Telec, Wroclaw University of Science and Technology, Poland Steering Committee · Ngoc Thanh Nguyen (chair), Wroclaw University of Science and Technology, Poland · Piotr J?drzejowicz, Gdynia Maritime University, Poland · Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan · Kiem Hoang, University of Information Technology, VNU-HCM, Vietnam · Lakhmi C. Jain, University of South Australia, Australia · Geun-Sik Jo, Inha University, Korea · Janusz Kacprzyk, Polish Academy of Sciences, Poland · Ryszard Kowalczyk, Swinburne University of Technology, Australia · Toyoaki Nishida, Kyoto University, Japan · Manuel Núñez, Universidad Complutense de Madrid, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Mon Nov 7 15:39:50 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 7 Nov 2016 16:39:50 +0200 Subject: 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Second Call for Papers Message-ID: <2YZLULMJ-MXJ8-3ER-RV0J-ZPEN2RSESACW@cs.ucy.ac.cy> *** Second Call for Papers *** 21st European Conference on Advances in Databases and Information Systems ADBIS 2017 Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBFdXJvcGVhbiBDb25mZXJlbmNlIG9uIEFkdmFuY2VzIGluIERhdGFiYXNlcyBhbmQgSW5mb3JtYXRpb24gU3lzdGVtcyAoQURCSVMgMjAxNyk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJOTAJTGlzdHMJMjI4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F The main objective of the ADBIS series of conferences is to provide a forum for the dissemination of research accomplishments and to promote interaction and collaboration between the database and information system research communities from European countries and the rest of the world. The ADBIS conferences provide an international platform for the presentation of research on database theory, development of advanced DBMS technologies, and their advanced applications. The conference will consist of regular sessions with technical contributions (regular papers, short papers) reviewed and selected by an international program committee, as well as of invited talks and tutorials presented by leading scientists. The official language of the conference will be English. A Doctoral Consortium and different Workshops will be held in line with the main conference. TOPICS We invite original papers describing results that broadly belong to both theory and practice of databases and information systems. The list of specific topics of interest follows, with a note that it is not exhaustive and we welcome novel results addressing topics not included in the list. · Data intensive sciences and databases · Theoretical foundations of databases · Management of large scale data systems · Data models and query languages · Database monitoring and (self-)tuning · Data curation, annotation, and provenance · Data warehousing, OLAP, and ETL tools · Indexing, query processing and optimization · Data mining and knowledge discovery · Big data storage, replication, and consistency · Modeling, mining and querying user generated content · Data quality and data cleansing · Web, XML and semi-structured databases · Sensor databases and mobile data management · Text databases and information retrieval · Probabilistic databases, uncertainty and approximate querying · Temporal and spatial databases · Graph databases · Databases on emerging hardware architectures · Distributed data platforms, including Cloud data systems, key-value stores, and Big Data systems · Information extraction and integration · Streaming data analysis · Scalable data analysis and analytics · Data and information visualization; and user interfaces · Information quality and usability · Information system architectures and networking · Business process modeling and optimization · Data and information flow engineering and management · Context-aware and adaptive information systems · Data and information intensive services · Requirements engineering for databases and information systems · Artificial intelligence in databases and information systems · Data, information, and information systems security · Innovative platforms for data and information handling · Innovative approaches for database and information systems engineering · Novel database and information systems applications PAPER PUBLISHING ADBIS accepted research papers will be published in a Springer Lecture Notes in Computer Science volume. Papers must not exceed 14 pages in the LNCS format. For camera-ready papers use Latex or Word style (find here http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBFdXJvcGVhbiBDb25mZXJlbmNlIG9uIEFkdmFuY2VzIGluIERhdGFiYXNlcyBhbmQgSW5mb3JtYXRpb24gU3lzdGVtcyAoQURCSVMgMjAxNyk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJOTAJTGlzdHMJMjI4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID= 0-164-2-793332-0&changeHeader). The program committee may decide to accept a submission as a short paper if it reports interesting results but does not justify publication of a full paper. ADBIS short research papers must not exceed 8 pages. The best paper authored solely by students will receive an award. Best papers of the main conference will be invited for submission in special issues of the ISI-indexed journals Information Systems (http://www.journals.elsevier.com/information-systems/) and Informatica (http://www.informatica.si/). SUBMISSION GUIDELINES · Papers must be written in English. · Papers must contain previously unpublished work and not be submitted concurrently to another conference. · Papers are submitted using an electronic submissions system, as detailed below. · An Author of an accepted paper must register to ADBIS 2017 in order to have the paper published. · Accepted papers must be presented at the conference by one of the authors. · ADBIS papers must be submitted via the EasyChair system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBFdXJvcGVhbiBDb25mZXJlbmNlIG9uIEFkdmFuY2VzIGluIERhdGFiYXNlcyBhbmQgSW5mb3JtYXRpb24gU3lzdGVtcyAoQURCSVMgMjAxNyk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJOTAJTGlzdHMJMjI4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dadbis2017. · Papers must be submitted as a single PDF document · Authors of accepted papers must submit along with the camera-ready version of their paper a copyright form filled (http://www.cyprusconferences.org/adbis2017/files/springerform.pdf) and signed. Please note that only authors employed by the EU (as an institution) tick the relevant box. Authors who simply reside or work in an EU country should not tick this box. IMPORTANT DATES · Full and Short Papers: March 30, 2017 · Notification of Acceptance: May 25, 2017 · Camera-ready Submission: June 15, 2017 COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From andrea.orlandini at istc.cnr.it Mon Nov 7 15:43:36 2016 From: andrea.orlandini at istc.cnr.it (AndreA Orlandini) Date: Mon, 7 Nov 2016 15:43:36 +0100 Subject: Call for Papers - Robotics Track - ICAPS 2017 Message-ID: apologies for multiple copies == ICAPS 2017 ROBOTICS TRACK -- Call for Papers == The 27th International Conference on Automated Planning and Scheduling (ICAPS 2017) June 18-23, 2017, Pittsburgh (PA), USA http://icaps17.icaps-conference.org/robotics-track (icapsrobtrack2017 at gmail.com for inquiries) Abstracts due: November 18, 2016 Papers due: November 22, 2016 Notification: January 26, 2017 ICAPS will run a Robotics track as part of the main conference, following the successes of the 2014, 2015 and 2016 edition. The Robotics track will emphasize the opportunities that emerge from integrating the fields of AI planning and autonomous robotics. The ICAPS-2017 Robotics track provides an opportunity for the AI planning and scheduling community to respond to the challenges that robotics applications pose, and to contribute to the advancement of intelligent robotics. This is also an opportunity for the robotics community to propose integrated solutions, discuss challenges related to planning for autonomous robots (deliberative, reactive, continuous planning and execution, etc.), and to showcase the use of planning and scheduling technology in robotics applications. The robotics track welcomes work on task, motion, and manipulation planning, plan execution, execution monitoring and failure recovery, task-level coordination of robots, and planning for perception. Submission of work that has been demonstrated on actual robot systems is specifically encouraged. Topics include, but are not limited to: robot motion, manipulation, path, task, and mission planning; combined task and motion planning; representation, acquisition and learning of planning models for robotics; failure detection and recovery; planning with uncertainty for reliable robots; integrated planning and execution in robotic architectures; multi-robot planning, scheduling/coordination, and execution; planning for long-term autonomy in robotics; mixed-initiative planning and variable/[adjustable] autonomy for robotic systems; human-aware planning and execution in human-robot interaction, including safety; planning for cognitive robotics; adversarial action planning in competitive robotic domains; planning for perception; formal methods for robot planning and control; benchmark planning domains for robots; real-world planning applications for autonomous robots. Author Guidelines ----------------- Authors may submit long papers (8 pages plus up to one page of references) or short papers (4 pages plus up to one page of references). The type of paper must be indicated at submission time. For more information, see: http://icaps17.icaps-conference.org Both long and short papers will be reviewed against the standard criteria of relevance, originality, significance, clarity and soundness, and are expected to meet the high standards set by ICAPS. Short papers may be of narrower scope, for example by addressing a highly specific issue, or proposing or evaluating a small, yet important, extension of previous work or new idea. Authors making multiple submissions must ensure that each submission has significant unique content. Papers submitted to ICAPS 2017 may not be submitted to other conferences or journals during the ICAPS 2017 review period, nor may they be already under review or published in other conferences or journals. Over-length papers will be rejected without review. All submissions will be made electronically, through the EasyChair conference system: https://www.easychair.org/conferences/?conf=icaps2017 Submissions must be in the AAAI format. For more information, see the submission instructions on the ICAPS 2017 submission page. The proceedings will be published by AAAI Press. All accepted papers will be published in the main conference proceedings and will be presented orally at the conference (full papers will be allocated more time). Important Dates --------------- Abstracts (electronic submission) due: November 18th, 2016 Papers (electronic submission) due: November 22nd, 2016 Notification of acceptance: January 26th, 2017 The reference timezone for all deadlines is UTC-12. That is, as long as there is still some place anywhere in the world where the deadline has not yet passed, you are on time! Organizing Committee -------------------- Robotics Track chairs: AndreA Orlandini (National Research Council, CNR-ISTC, Italy) Federico Pecora (Örebro University, Sweden) Reid Simmons (Carnegie Mellon University, USA) Conference Chairs: Stephen F. Smith (Carnegie Mellon University, USA) Laura Barbulescu (Carnegie Mellon University, USA) Program Chairs: Jeremy Frank (NASA Ames, USA) Mausam (Indian Institute of Technology, India) Program Committee -------------------- *Rachid Alami (LAAS-CNRS, France)* *Michael Beetz (Bremen University, Germany)* *Sara Bernardini (University of London, United Kingdom)* *Michael Cashmore (King's College, United Kingdom)* *Amedeo Cesta (CNR-ISTC, Italy)* *Marcello Cirillo (Scania, Sweden)* *Louise Dennis (University of Liverpool, United Kingdom)* *Alberto Finzi (University of Napoli "Federico II", Italy)* *Robert Fitch (University of Sydney, Australia)* *Malik Ghallab (LAAS-CNRS, France)* *Catherine Harris (University of Birmingham, United Kingdom)* *Nick Hawes (Birmingham University, United Kingdom)* *Joachim Hertzberg (University of Osnabrück, Germany)* *Laura Hiatt, (Naval Research Laboratory, USA)* *Andreas Hofmann (MIT, USA)* *Felix Ingrand (LAAS/CNRS, France)* *Leslie P. Kaelbling (MIT, USA)* *Erez Karpas (Technion IIT, Israel)* *Russell Knight (NASA JPL, USA)* *Sven Koenig (University of Southern California, USA)* *Lars Kunz (University of Birmingham, United Kingdom)* *Jonas Kvarnstrom (Linköping University, Sweden)* *Bruno Lacerda (University of Birmingham, United Kingdom)* *Maxim Likhachev (Carnegie Mellon University, USA)* *Daniele Magazzeni (King's College London, United Kingdom)]* *Masoumeh Mansouri (Örebro University, Sweden)* *Francisco Melo (Instituto Superior Tecnico/INESC-ID, Spain)* *Lenka Mudrova (University of Birmingham, United Kingdom)* *Daniele Nardi (Sapienza University, Italy)* *Tim Niemueller (Aachen University, Germany)* *Amit Kumat Pandey (Aldebaran, France)* *Stefania Pellegrinelli (CNR-ITIA, Italy)* *Ron Petrick (University of Edinburgh, United Kingdom)* *Kanna Rajan (Norwegian Univ. of Science & Technology/University of Porto)* *Benjamin Rosman (Council for Scientific and Industrial Research, South Africa)* *Alessandro Saffiotti (Örebro University, Sweden)* *Siddarth Srivastava (Berkeley University, USA)* *Manuela Veloso (Carnegie Mellon University, USA)* *Minlue Wang (University of Birmingham, United Kingdom)* -- --------------------------------------------------------------------- AndreA Orlandini PhD National Research Council of Italy Institute for Cognitive Science and Technology Phone: +39-06-44595-223 E-mail: andrea.orlandini at istc.cnr.it Fax: +39-06-44595-243 Url: http://www.istc.cnr.it/group/pst --------------------------------------------------------------------- Me, the one and only person that never leaves me alone! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From maurizio.proietti at iasi.cnr.it Mon Nov 7 17:13:36 2016 From: maurizio.proietti at iasi.cnr.it (Maurizio Proietti) Date: Mon, 7 Nov 2016 17:13:36 +0100 Subject: First Call for Papers: VPT 2017 Fifth International Workshop on Verification and Program Transformation Message-ID: *************************************************************** CALL FOR PAPERS Fifth International Workshop on Verification and Program Transformation April 29th, 2017, Uppsala, Sweden http://refal.botik.ru/vpt/vpt2017 Co-located with the 20th European Joint Conferences on Theory and Practice of Software (ETAPS 2017) http://www.etaps.org/index.php/2017/workshops *************************************************************** The Fifth International Workshop on Verification and Program Transformation (VPT 2017) aims to bring together researchers working in the areas of Program Verification and Program Transformation. The workshop solicits research, position, application, and system description papers with a special emphasis on case studies, demonstrating viability of the interactions between the research fields of program transformation and program verification in a broad sense. Also papers in related areas, such as program testing and program synthesis are welcomed. Topics of interest include, but are not limited to: * Verification by Program Transformation * Verification Techniques in Program Transformation and Synthesis * Verification and Certification of Programs Transformations * Program Analysis and Transformation * Program Testing and Transformation * Verifiable Computing and Program Transformation * Case studies *Important Dates* * January 31st, 2017: Abstract submission deadline * February 6th, 2017: Paper submission deadline * March 8th, 2017: Acceptance notification * March 31st, 2017: Camera ready version (for the pre-proceedings) * April 29th, 2017: Workshop *Submission Guidelines* Authors should submit an electronic copy of the paper in PDF, formatted in the Electronic Proceedings in Theoretical Computer Science LaTeX Style (http://style.eptcs.org/), via the Easychair submission website for VPT 2017: https://easychair.org/conferences/?conf=vpt2017 Papers must describe original work that has not been published, or currently submitted, to a journal, conference, or workshop with refereed proceedings. Also papers that already appeared in unpublished or informally published workshop proceedings may be submitted. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords that will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions should not exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. *Proceedings* Revised versions of all the accepted papers, taking into account the feedback received at the workshop, will be published in a volume of the Electronic Proceedings in Theoretical Computer (EPTCS) series after the workshop. If the workshop will attract sufficiently many high quality papers, a special issue of a journal on the topic of the workshop will be considered. The special issue will be open to high quality papers accepted for presentation in previous editions of the workshop. *Program Committee* * Emanuele De Angelis, University of Chieti-Pescara, Italy * John Gallagher, Roskilde University, Denmark * Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain * Nikos Gorogiannis, Middlesex University, UK * Geoff W. Hamilton, Dublin City University, Republic of Ireland * Alexei Lisitsa, The University of Liverpool, UK (co-chair) * David Monniaux, VERIMAG, CNRS - University of Grenoble, France * Jorge A. Navas, SRI International, USA * Andrei P. Nemytykh, Program Systems Institute of RAS, Russia (co-chair) * Maurizio Proietti, IASI-CNR, Rome, Italy (co-chair) * Philipp Ruemmer, Uppsala University, Sweden * Hirohisa Seki, Nagoya Institute of Technology, Japan * Harald Sondergaard, The University of Melbourne, Australia * Morten H. Sorensen, Formalit, Denmark *Organisers* Alexei Lisitsa (The University of Liverpool, UK) Andrei P. Nemytykh (Program Systems Institute of RAS, Russia) Maurizio Proietti (IASI-CNR, Rome, Italy) *Contacts* Alexei Lisitsa, a.lisitsa at csc.liv.ac.uk Andrei P. Nemytykh, nemytykh at math.botik.ru Maurizio Proietti, maurizio.proietti at iasi.cnr.it -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From BoothR2 at cardiff.ac.uk Mon Nov 7 20:24:44 2016 From: BoothR2 at cardiff.ac.uk (Richard Booth) Date: Mon, 7 Nov 2016 19:24:44 +0000 Subject: [Final CfP, deadline 23/11/2016] IEA/AIE 2017: Special Track on Applications of Argumentation Message-ID: APOLOGIES FOR CROSS-POSTING IEA/AIE 2017: Special Track on Applications of Argumentation http://www.cs.cf.ac.uk/AppArg2017/ Submissions deadline: 23rd November 2016 We invite submissions of the latest research results concerning applications and theory of computational argumentation to the Special Track on Applications of Argumentation at the 30th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE http://www.cril.univ-artois.fr/ieaaie2017/ ). Authors are invited to submit their papers in English of up to 10 single spaced pages. Shorter works, up to 6 pages, may be submitted as short papers representing work in progress or suggesting possible research directions. All paper submissions will be done electronically, using Easychair https://easychair.org/conferences/?conf=ieaaie2017 . All papers will be peer reviewed and final copies of papers for inclusion to the conference proceedings will be published in a bound volume by Springer-Verlag (formatting instructions are available at http://www.springer.de/comp/lncs/authors.html ) in their Lecture Notes in Artificial Intelligence series. The option of organizing a special issue on a journal is under consideration. Topics include, but are not limited to: Decision making based on argumentation Argumentation in agent and multi-agent systems Argumentation for coordination and coalition formation Argumentation-based negotiation Argumentation, trust and reputation Argumentation and human-computer interaction Systems for learning through argument Implementation of argumentation systems Tools for supporting argumentation Argumentation and narrative Argumentation and computational linguistics Argument mining Analogical argumentation Formal, semi-formal and informal models for argumentation Traditional and ranked-based semantics Dialogue based on argumentation Strategies in argumentation Argumentation and game theory Argumentation and probability Computational properties of argumentation Reasoning about action and time with argumentation Important dates: Submissions: 23rd November 2016 Notification of Acceptance: 15th January 2017 Conference: 27th-30th June 2017, in Arras, France Special Track Co-chairs Richard Booth (Cardiff University) Federico Cerutti (Cardiff University) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From xrambous at aurora.fi.muni.cz Wed Nov 9 20:18:50 2016 From: xrambous at aurora.fi.muni.cz (TSD 2017) Date: Wed, 09 Nov 2016 20:18:50 +0100 Subject: TSD 2017 - Preliminary Call for Papers Message-ID: ************************************************************************** TSD 2017 - PRELIMINARY CALL FOR PAPERS ************************************************************************** The twentieth anniversary International Conference on TEXT, SPEECH and DIALOGUE (TSD 2017) Praha (Prague), Czech Republic August 27-31, 2017 http://www.tsdconference.org TSD HIGHLIGHTS * Invited speakers: Tomas Mikolov and other eminent personages with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics have been asked to give their respective pieces of speech. * TSD is traditionally published by Springer-Verlag and regularly listed in all major citation databases: Thomson Reuters Conference Proceedings Citation Index, DBLP, SCOPUS, EI, INSPEC, COMPENDEX, etc. * TSD offers high-standard transparent review process - double blind, final reviewers discussion. * TSD will take place in the historical centre of Prague, the Capital of the Czech Republic in co-operation with the Institute of Formal and Applied Linguistics, Faculty of Mathematics and Physics of the Charles University. * TSD provides an all-service package (conference access and material, all meals, one social event, etc.) for an easily affordable fee starting at 290 EUR for students and 360 EUR for full participants. TSD SERIES TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of the TSD conference form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. The TSD proceedings are regularly indexed by Thomson Reuters Conference Proceedings Citation Index. LNAI series are listed in all major citation databases such as DBLP, SCOPUS, EI, INSPEC, or COMPENDEX. TOPICS Topics of the 20th anniversary conference will include (but are not limited to): Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling). Corpora and Language Resources (monolingual, multilingual, text, and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries). Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing). Tagging, Classification and Parsing of Text and Speech (multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution). Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection). Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies). Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues). Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotion and personality modelling). PROGRAM COMMITTEE All program committee members are listed on the conference web pages: http://www.tsdconference.org/tsd2017/index.php?page=committees OFFICIAL LANGUAGE The official language of the event is English, however, papers on issues related to text and speech processing in languages other than English are strongly encouraged. IMPORTANT DATES March 31, 2017 ............ Deadline for submission of contributions May 10, 2017 .............. Notification of acceptance or rejection May 31, 2017 .............. Deadline for submission of camera-ready papers August 27-31, 2017 ........ TSD2017 conference date The proceedings will be provided on flash drives in form of navigable content. Printed books will be available for extra fee. CONFERENCE FEES The conference fee depends on the date of payment and on the participant's status (full or student). It includes one copy of the conference proceedings (on a USB flash drive), refreshments/coffee breaks, lunches and dinners, opening dinner, welcome party, mid-conference social event admissions, and organizing costs. In order to lower the fee as much as possible, the accommodation and the conference trip are not included in it this time. Full participant: early registration by May 31, 2017 - CZK 10 000 (approx. 360 EUR) late registration by August 1, 2017 - CZK 11 000 (approx. 400 EUR) on-site registration - CZK 12 000 (approx. 444 EUR) Student (reduced): early registration by May 31, 2017 - CZK 8 000 (approx. 290 EUR) late registration by August 1, 2017 - CZK 8 700 (approx. 322 EUR) on-site registration - CZK 10 000 (approx. 360 EUR) Please, keep in mind that the fees are preliminary and they may slightly change in the future. We are also doing our best to find a way to reduce the fees for students. LOCATION Praha (Prague)--also called The City of a Hundred Spires or The Heart of Europe--is situated in the very centre of Bohemia on the banks of the river Vltava. There live more than 1.2 million people in the metropolitan area. Thus, Praha is considered the centre of science, higher education, culture, economy and authorities. The city is divided into ten districts. Each of them offers its own charming atmosphere predicated upon its rich history. A good example can be the Jewish Quarter (Josefov) known especially for the legend of Golem and famous writer Franz Kafka. Then, walking the Parizska street (said to be the most luxurious street in the city), there is the Old Town Square. One of the most important squares of the city renowned for the rare Prague Astronomical Clock (Orloj), number of galleries, Bethlehem Chapel and a monument of religious reformer Jan Hus. The next place of interest can be found in the area of the New Town. The Wenceslas square with the monument of St. Wenceslas, the patron saint of the Czech state, is the longest square of the republic. Its capacity is fully used by various shops, restaurants, clubs and street artists. Also the renaissance revival-styled building of National Museum, which is now under reconstruction, is situated on the upper end of the square. Modern art and architecture together with technical mastery demonstration are represented by the Zizkov Television Tower, the Dancing House (Fred and Ginger Building) or the Stefanik's Observatory on the Petrin hill located in the neighbourhood of the quarter Hradcany. Also Krizik's light fountain or Industrial Palace in the area of the Holesovice Showground are worth seeing. However, the dominant feature of the skyline is still created by the Prague Castle and the Gothic St. Vitus Cathedral spires. The Golden Lane heading down to the Lesser Town shows the tiny and colorful medieval houses. There are many bridges connecting the banks of the Vltava River. However, only one of them is well known in the whole world--the Charles bridge. Czech King and Holy Roman Emperor Charles IV promoted its construction in the 14th century. The bridge is 520 metres long and stands for a connection between the Lesser Town and the Old Town. It was built in the Gothic style as well as the St. Vitus Cathedral. Charles IV was also the founder of the University, which now proudly bears his name--The Charles University. It is one the world's oldest universities and with 17 faculties, 3 institutes, 6 centres of teaching, research and development it is also the largest and best rated university in the Czech Republic. The students can choose some of the 642 courses within 300 of accredited degree programmes in the field of medicine, law, theology, pharmacy, arts, science, mathematics and physics, education, social sciences, physical education and sports, and humanities. We are justifiably very proud of the fact that the campus of the Charles University is going to host the TSD2017 conference. ABOUT CONFERENCE The conference is organized by the Faculty of Applied Sciences, University of West Bohemia, Pilsen, the Faculty of Informatics, Masaryk University, Brno, and the Institute of Formal and Applied Linguistics, Faculty of Mathematics and Physics of the Charles University. The TSD2017 organizing committee has again applied for TSD2017 to be recognized as an INTERSPEECH 2017 satellite event. Venue: Faculty of Mathematics and Physics of the Charles University Mala Strana Campus - "S" Building Malostranske nam. 2/25 CZ-118 00 Praha 1 Accommodation: Orea Hotel Pyramida **** Belohorska 24 CZ-169 00 Praha 6 CONTACT The preferred way of contacting the conference organizing committee is writing an e-mail to: Mrs Romana Strapkova, TSD2017 Conference Secretary E-mail: tsd2017 at tsdconference.org Phone: (+420) 736 664 500 All paper correspondence regarding the conference should be addressed to: TSD2017 - KIV Fakulta aplikovanych ved Zapadoceska univerzita v Plzni Univerzitni 8 CZ-306 14 Plzen Czech Republic Fax: (+420) 377 632 402 -- Please, mark the faxed material with large capitals 'TSD' on top. TSD 2017 conference web site: http://www.tsdconference.org/tsd2017 From grlmc at grlmc.com Thu Nov 10 03:22:54 2016 From: grlmc at grlmc.com (GRLMC) Date: Thu, 10 Nov 2016 03:22:54 +0100 Subject: BigDat 2017: early registration November 18 Message-ID: <545102060a010b010050580502045a5d530703075008065705525c075501055906545006560f005107565253025658@grlmc_ip-zone_com-6> BigDat 2017: early registration November 18*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: November 18, 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 are available on the website.   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 sheikh at tk.tu-darmstadt.de Thu Nov 10 10:22:35 2016 From: sheikh at tk.tu-darmstadt.de (Sheikh Mahbub Habib) Date: Thu, 10 Nov 2016 09:22:35 +0000 Subject: [CFP] 11th IFIP Trust Management Conference 2017, Gothenburg, Sweden Message-ID: <0EFBD807BC4DE04286BB540DC72ADDA8BC265745@exchange01.tk.informatik.tu-darmstadt.de> IFIPTM 2017 - Call for Papers ------------------------------------------------------------------------------- The 11th IFIP International Conference on Trust Management Gothenburg, 12-16 June 2017 http://ifiptm2017.chalmers.se ------------------------------------------------------------------------------- Trust is an essential glue for any society, whether formed by human or artificial agents, whether in a real-life or an online setting. This trust needs to be established, reinforced or abolished to reflect changes in the society and its participants. The mechanisms for such trust management may be psychological or sociological in the case of humans, algorithmic or probabilistic, e.g., in the case of artificial agents. Services for brokering, certification, recommendation, legal enforcement, identity and reputation management may also help the agent in this management task, and they are all the more useful given the increasing scale and virtual nature of societies. Indeed, applications such as online social networks, collaborative systems or e-commerce need to contend with high transaction volume, anonymity, and malicious behavior. Solutions to these challenges need to be validated using realistic models and benchmarks. Now in its 11th edition, IFIPTM is a well-established conference in the field of trust, security and privacy, and invites contributions in all aspects of trust management, including but not limited to: Trust in Information Technology - formal aspects (specification, reasoning, and analysis) - trust-based and trust-aware IT policy management - trust in social networks and emerging contexts - trust in collaborative applications, crowd-sourcing and wiki systems - trust in human-computer interaction and usable systems - case studies and applications Socio-Technical, economic and sociological Trust - economic modeling of trust, risk and control; economics of trusted data quality - trust, control and reputation effects in social networking, e- and m-commerce - trust and socio materiality; socio-technical network structures; biological trust - ethical, sociological, psychological, legal aspects Trust and reputation management systems - architectures and models - benchmarks, metrics and computation Identity management and trust - anonymity, privacy and accountability - identity and personal information brokering - legal aspects Secure, trustworthy and privacy-aware systems - platforms and standards - software and services Trust building in Large scale systems - trust in Cloud environments - large Identity Management Systems like UID/SSN, Banks, Mobile user groups - trust management for large user groups including machine and human participation SPECIAL TRACK The special track "Trust on the road" aims to attract researchers and practitioners investigating issues of trustworthiness, security, privacy, and overall trust in automotive systems. Such systems range from the individual vehicle to vehicles communicating both with other vehicles (v2v) and with the physical infrastructure around them (v2i) as well as vehicles forming ad-hoc networks and using cloud-based networks for various services. The trustworthiness of exchanged information, the security of the connections, the privacy of the data, and the trust of the user in the provided services are crucial for the acceptance and proliferation of such safety-critical technology. In the context of the special track, we aim to explore the current state of the art and future research directions with perspectives from researchers as well as representatives of the automotive industry. In particular, we are interested in novel contributions with regard to the following topics focusing on trust within the automotive domain: - Trust, security, privacy, liability, and dependability in vehicular networks - Trust models and architectures for vehicular networks - Security engineering, formal methods, development and validation tools - In-vehicle communications (wireless or wired), in-vehicle architecture and system design - Vehicle-to-vehicle (V2V) communications and integration with on-board systems and networks - Vehicle-to-infrastructure (V2I) communications and protocols - Security of software downloads and remote diagnostics - In-vehicle communications and trust enhancing architectures (wireless or wired) - Security and privacy issues when using cloud services - Results from experimental systems, testbeds, and pilot studies - Awareness applications in vehicular networks - Applications and services to enhance safety, performance, and driver behavior - Standardization efforts w.r.t. security, privacy and safety PAPER SUBMISSION IFIPTM 2017 welcomes submissions of both full and short papers on any topic related to the IFIPTM themes of trust, security and privacy and the topics mentioned above. Submitted full papers must not exceed 16 pages in length, including bibliography and well-marked appendices; short papers must not exceed 8 pages in length. Interdisciplinary and multidisciplinary papers are encouraged and welcome. Submission will be through the EasyChair conference management system. Papers must be submitted as a single PDF file, formatted using the LNCS format. As previous editions, papers will be published by Springer under AICT series. Submit at https://easychair.org/conferences/?conf=ifiptm2017. Authors of selected papers will be invited to extend and improve their contributions for a special issue of the Web Intelligence journal (IOS Press). IMPORTANT DATES Paper submission: January 30, 2017 (firm deadline) Author notification: March 6, 2017 Camera-ready version: March 27, 2017 Conference dates: June 12-16, 2017 ORGANISING COMMITTEE General Chairs Simone Fischer-Hübner, Karlstad University, Sweden Stephen Marsh, University of Ontario Institute of Technology, Oshawa, Ontario, Canada Program Chairs Babak Esfandiari, Carleton University, Ottawa, Ontario, Canada Jan-Philipp Steghöfer, Chalmers | University of Gothenburg, Sweden Graduate Symposium Chairs Stephen Marsh, University of Ontario - Institute of Technology, Canada Musard Balliu, Chalmers | University of Gothenburg, Sweden Special Track Chair Tomas Olovsson, Chalmers | University of Gothenburg, Sweden Publicity Chair Sheikh Mahbub Habib, TU Darmstadt, Germany Best regards, Sheikh ---- Dr. Sheikh M. Habib Area Head, Smart Security and Trust Telecooperation Division Department of Computer Science Technische Universität Darmstadt Germany Tel.:+4961511623199 Web: https://www.tk.informatik.tu-darmstadt.de/de/people/sheikh-mahbub-habib From dilian at csc.kth.se Fri Nov 11 13:34:20 2016 From: dilian at csc.kth.se (Dilian Gurov) Date: Fri, 11 Nov 2016 13:34:20 +0100 Subject: CSL 2017: First Call For Papers In-Reply-To: References: Message-ID: ================================================================= FIRST CALL FOR PAPERS 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) August 20-24, 2017, Stockholm, Sweden https://www.csl17.conf.kth.se ================================================================= AIM AND SCOPE Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science and is intended for computer scientists whose research involves logic, as well as for logicians working on issues essential for computer science. CSL 2017 is the 26th EACSL annual conference. It will be co-organised by Stockholm University and KTH Royal Institute of Technology, and hosted by Stockholm University. CSL 2017 will be co-located with, and immediately preceded by, the Logic Colloquium 2017 (LC 2017). There will be a joint session of CSL 2017 and LC 2017 in the morning of August 20, as well as CSL-affiliated workshops during August 25-26. IMPORTANT DATES -------------------------------------------------------------- Abstract submission for contributed papers: March 24, 2017 Paper submission: March 31, 2017 Notification: May 31, 2017 Abstract submission for short presentations: June 4, 2017 Notification on short presentations: June 14, 2017 -------------------------------------------------------------- TOPICS OF INTEREST for CSL 2017 include (but are not limited to): ----------------------------------------------------------------- • automata and games, game semantics • automated deduction and interactive theorem proving • bounded arithmetic and propositional proof complexity • categorical logic and topological semantics • computational proof theory • constructive mathematics and type theory • decision procedures • domain theory • equational logic and rewriting • finite model theory • higher-order logic • lambda calculus and combinatory logic • linear logic and other substructural logics • logic programming and constraints • logical aspects of computational complexity • logical aspects of quantum computing • logic in database theory • logical foundations of programming paradigms • logical foundations of cryptography and information hiding • logics for multi-agent systems • modal and temporal logic • model checking and logic-based verification • nonmonotonic reasoning • SAT solving and automated induction • satisfiability modulo theories • specification, extraction and transformation of programs • verification and program analysis ----------------------------------------------------------------- INVITED SPEAKERS ----------------------------------------------------------------- LC-CSL joint session highlight speakers: • Phokion Kolaitis, University of California, Santa Cruz • Wolfgang Thomas, RWTH Aachen CSL plenary speakers: • Laura Kovács, Vienna University of Technology • Stephan Kreutzer, Technische Universität Berlin • Meena Mahajan, Institute of Mathematical Sciences, Chennai • Marcus Veanes, Microsoft Research ----------------------------------------------------------------- SPECIAL AND AFFILIATED EVENTS ----------------------------- In addition to the plenary and contributed talks CSL 2017, the conference will also include the following events: • Joint session of CSL 2017 and LC 2017 in the morning of August 20, consisting of four plenary highlight talks, offered by speakers from both conferences. • Presentation of the Alonzo Church award for Outstanding Contributions to Logic and Computation, • Presentation of the EACSL Ackermann award for Outstanding Dissertation on Logic in Computer Science, • CSL-affiliated workshops, to be held as co-located events on August 25 and (possibly) 26, including: • Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2017 (August 25) • Workshop on Logic and Automata Theory (in memory of Zoltan Ezik) (August 25) More workshops may be added later. SUBMISSIONS ----------- The CSL 2017 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs). Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (including references), presenting not previously published work, fitting the scope of the conference. The submission of contributed papers will be in two stages: • abstracts, due by March 24, 2017 (AoE); • full papers, due by March 31, 2017 (AoE). The submissions must be done via the EasyChair page for the conference: https://easychair.org/conferences/?conf=CSL2017. Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix, which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC are not allowed. In addition, there will be an opportunity for short oral presentations at the conference. Abstracts for such oral presentations must be submitted through the Easychair submission webpage, under the category "short presentations", by June 4, 2017. They will not be included in the proceedings. PROGRAMME COMMITTEE ------------------- • Parosh Aziz Abdulla (University of Uppsala), • Lars Birkedal (University of Aarhus), • Nikolaj Bjorner (Microsoft Research), • Maria Paola Bonacina (Università degli Studi di Verona), • Patricia Bouyer-Decitre (LSV, ENS Cachan), • Agata Ciabattoni (University of Viena), • Thierry Coquand (University of Gothenburg), • Mads Dam (KTH, Stockholm), PC co-chair • Ugo Dal Lago (University of Bologna), • Anuj Dawar (Cambridge University), • Valentin Goranko (Stockholm University), PC co-chair • Maribel Fernandez (King's College London), • Martin Grohe (RWTH Aachen), • Lauri Hella (University of Tampere), • Joost-Pieter Katoen (RWTH Aachen), • Orna Kupferman (University of Jerusalem), • Leonid Libkin (University of Edinburgh), • Angelo Montanari (University of Udine), • Catuscia Palamidessi (Paris, INRIA), • Frank Pfenning (Carnegie Mellon University, Pittsburgh), • Ram Ramanujam (Institute of Mathematical Sciences, Chennai), • Jean-Francois Raskin (University of Bruxelles), • Thomas Schwentick (TU Dortmund University), • Viorica Sofronie-Stokkermans (University of Koblenz-Landau), • Thomas Streicher (University of Darmstadt), • Jean-Marc Talbot (University of Aix-Marseille), • Luca Viganò (King's College London), • Ron van der Meyden (UNSW Australia), • Lijun Zhang (Chinese Academy of Sciences, Beijing). ORGANISING COMMITTEE -------------------- • Mads Dam (OC co-chair), Department of Computer Science, KTH • Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm University • Dilian Gurov (Workshops chair), Department of Computer Science, KTH • Roussanka Loukanova, Department of Mathematics, Stockholm University • Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University • Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm University CONTACTS AND ENQUIRIES ---------------------- With enquiries on organising matters, send email to: CSL2017philosophy.su.se With enquiries on scientific and programme issues, send email to: CSL2017pcgmail.com ================================================================= From jyb.logician at gmail.com Mon Nov 14 13:59:41 2016 From: jyb.logician at gmail.com (jean-yves beziau) Date: Mon, 14 Nov 2016 13:59:41 +0100 Subject: Non-Classical Logics and Artificial Intelligence - CFP Workshop Florida 2017 Message-ID: Workshop on Non-Classical Logics and Artificial Intelligence Special Track at The 30th International FLAIRS Conference In cooperation with the American Association for Artificial Intelligence Marco Island, Florida, USA May 22 - 24, 2017 Send an abstract by November 21, 2016 http://www.jyb-logic.org/nocla -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From valentina.ivanova at liu.se Wed Nov 16 14:56:44 2016 From: valentina.ivanova at liu.se (Valentina Ivanova) Date: Wed, 16 Nov 2016 13:56:44 +0000 Subject: [CfP] Journal of Web Semantics - Special Issue on Visualization and Interaction for Ontologies and Linked Data Message-ID: <4B07F535C1DBB043B4E107FAA728DD20224C756E@MB1-2010.ad.liu.se> --------------------------------------------------- [CfP] Journal of Web Semantics - Special Issue on Visualization and Interaction for Ontologies and Linked Data http://www.journals.elsevier.com/journal-of-web-semantics/call-for-papers/special-issue-on-visualization-and-interaction-for-ontologie --------------------------------------------------- The Journal of Web Semantics invites submissions for a special issue on Visualization and Interaction for Ontologies and Linked Data to be edited by Valentina Ivanova, Patrick Lambrix, Steffen Lohmann and Catia Pesquita. --------------------------------------------------- Submission Deadline: January 31, 2017 (23:59 Hawaii Standard Time) --------------------------------------------------- Visual representations take advantage of the humans' most powerful perceptual channel - the visual system - and play a crucial role in understanding complex data and acquiring insight. Interacting with visualizations is indispensable in order to facilitate understanding and to overcome limitations of the visual representations. Yet, surprisingly, the importance of visual user interfaces is often overlooked in the Semantic Web domain. The area needs sophisticated visualization and interaction techniques to help its users understand the knowledge represented by ontologies and Linked Data and to utilize it in a multitude of applications and domains. As any other knowledge-intensive area, the Semantic Web deals with inherently intricate content. This poses high demands on its users in their tasks, such as modeling, formalizing, editing, verifying, sensemaking, etc., and involves a variety of cognitive processes - perception, attention, working memory, reasoning, etc. These processes could be more efficiently supported if user interfaces encompassing well-designed visual representations and interaction techniques were available. Ontologies and Linked Data are being used in more and more application areas and by users with increasingly diverse backgrounds, which presents additional requirements. While a number of user interfaces have become available in the past years, they are rarely based on analytical or empirical studies of users demands, task analysis or advances in cognitive sciences, which can prevent their potential in supporting the interaction between users and the Semantic Web to unfold. User evaluations of different types - observational studies, interviews, etc. - are needed to provide requirements and to analyze the benefits of the proposed solutions. Yet, such evaluations are rather uncommon in the Semantic Web community. Approaches do not only need to consider common interaction contexts but should also take advantage of the opportunities provided by new and emerging interaction contexts, ranging from mobile and touch interaction to visualizations on large and high-resolution displays, and encompassing highly responsive web applications. Visualization and interaction can be essential to easily provide access to the increasing diversity of the knowledge modeled in ontologies. They are an integral part of ontology engineering to help bridge the gap between domain experts and ontology engineers. Ontology visualization is not a new topic and a number of approaches have become available in recent years, with some being already well-established, particularly in the field of ontology modeling. In other areas of ontology engineering, such as ontology alignment and debugging, although several tools have recently been developed, few provide a graphical user interface, not to mention navigational aids or comprehensive visualization and interaction techniques. Related to that, the capacity of the Linked Data initiative is underutilized, the main consumers are technology experienced users, one of the reasons being the lack of appropriate user interfaces and visualizations that support other user groups. Various visual and interaction approaches are needed to assist the variety of users who pursue diverse goals and pose individual requirements. In the presence of a huge network of interconnected resources, one of the challenges faced by the Linked Data community is, for instance, the visualization of the multidimensional datasets to provide for efficient overview, exploration and querying tasks. The aim of this special issue is to present latest advances in the area and further attract attention to these issues from interested communities. Ultimately, providing better user interfaces, visual representations and sophisticated interaction techniques will foster wider adoption of Semantic Web technologies and likely lead to higher quality results in different applications employing ontologies and proliferate the consumption of Linked Data. --------------------------------------------------- Topics of interest include (but are not limited to): --------------------------------------------------- * Visualizations and user interfaces for ontologies and Linked Data (overview, exploration, analysis, visual analytics, querying, etc.) * Visualizations and user interfaces for ontology engineering (ontology development, alignment, debugging, evolution, provenance, collaboration, etc.) * Case studies of applying visualizations in ontology engineering and Linked Data consumption * User evaluations of visual interfaces for Linked Data and ontologies * Analyses of different user types and needs * Cognitive aspects of interaction and visualization * Context-aware visualization and interaction techniques * Applications of novel interaction techniques (e.g., touch and gesture interaction) * Mobile user interfaces for ontology engineering and Linked Data exploration --------------------------------------------------- Important Dates --------------------------------------------------- Call for papers: 30 April 2016 Submission deadline: 31 January 2017 First notification: early April 2017 Revisions due: early May 2017 Final notification: early June 2017 Final revisions due: early July 2017 Publication: third quarter 2017 --------------------------------------------------- Guest Editors --------------------------------------------------- Valentina Ivanova, Linköping University, Sweden Patrick Lambrix, Linköping University, Sweden Steffen Lohmann, Fraunhofer IAIS, Germany Catia Pesquita, University of Lisbon, Portugal --------------------------------------------------- Submission Guidelines --------------------------------------------------- The Journal of Web Semantics solicits original scientific contributions of high quality. Following the overall mission of the journal, we emphasize the publication of papers that combine theories, methods and experiments from different subject areas in order to deliver innovative semantic methods and applications. The publication of large-scale experiments and their analysis is also encouraged to clearly illustrate scenarios and methods that introduce semantics into existing Web interfaces, contents and services. Submission of your manuscript is welcome provided that it, or any translation of it, has not been copyrighted or published and is not being submitted for publication elsewhere. Manuscripts should be prepared for publication in accordance with instructions given in the JWS guide for authors. The submission and review process will be carried out using Elsevier's Web-based EES system. Upon acceptance of an article, the author(s) will be asked to transfer copyright of the article to the publisher. This transfer will ensure the widest possible dissemination of information. Elsevier's liberal preprint policy permits authors and their institutions to host preprints on their web sites. Preprints of the articles will be made freely accessible on the JWS preprint server. Final copies of accepted publications will appear in print and at Elsevier's archival online server. From leon.vandertorre at uni.lu Thu Nov 17 12:21:02 2016 From: leon.vandertorre at uni.lu (Leon van der Torre) Date: Thu, 17 Nov 2016 12:21:02 +0100 Subject: 1 PhD Position, Applied Knowledge Representation and Reasoning, University of Luxembourg Message-ID: <582D929E.1010308@uni.lu> The Individual and Collective Reasoning Group ICR at the Computer Science and Communications research unit of the University of Luxembourg, led by Prof. Leon van der Torre, is looking for a: • PhD student (doctoral candidate) in Applied Knowledge Representation and Reasoning • Ref: R-STR-3067-00-B • Starting date: as soon as possible • No deadline for applications: applications will be handled as they arrive We have a special interest in one or several of the following areas: - Text mining aimed at argument structures in legal and scientific texts - Formal and computational modeling of legal and scientific debates (diachronic) - Knowledge representation and reasoning in historical sciences For more information, see: http://icr.uni.lu/vacancies.php From dilian at csc.kth.se Thu Nov 17 18:01:21 2016 From: dilian at csc.kth.se (Dilian Gurov) Date: Thu, 17 Nov 2016 18:01:21 +0100 Subject: Third Nordic Logic Summer School (NLS) 2017, First Announcement In-Reply-To: References: Message-ID: <21096f79-7644-a9de-6729-051f2057d978@csc.kth.se> Third Nordic Logic Summer School (NLS) 2017, First Announcement ---------------------------------------------------------------------------- Stockholm, August 7 - 11, 2017 The third Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society (http://scandinavianlogic.org/). The two previous schools were organized in Nordfjordeid, Norway (2013) and Helsinki (2015). The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject. The school is co-located with Logic Colloquium 2017 (14-20 August) and Computer Science Logic 2017 (21-24 August). The school will consist of 10 five-hour courses, running in two parallel streams. In addition, there will be short student presentations and poster sessions. Lecturers and courses ------------------------------ The following lecturers and course topics are confirmed. Mirna Dzamonja (Univeristy of East Anglia) -- Set Theory Martin Escardo (Birmingham) -- Topological and Constructive Aspects of Higher-Order Computation Henrik Forssell (Oslo) -- Categorical Logic Volker Halbach (Oxford) -- Formal Theories of Truth Larry Moss (Indiana University, Bloomington) -- Natural Logic Anca Muscholl (LaBRI, Université Bordeaux) -- Logic in Computer Science - Control and Synthesis, from a Distributed Perspective Eric Pacuit (University of Maryland) -- Logic and Rationality Peter Pagin and Dag Westerståhl (Stockholm University) -- Compositionality Sara L. Uckelman (Durham) -- Medieval Logic Andreas Weiermann (Ghent) -- Proof Theory Certificates for participation will be provided. There will be possibilities to take official credits for some of the courses. Venue: Kräftriket Campus, Stockholm University. Important dates --------------------- Registration Registration opens: March 6, 2017 Early registration: June 2, 2017 Late registration: August 4, 2017. Submission of abstracts for presentations and posters Opening: March 6, 2017 Closing: May 2, 2017 Notification of acceptance: May 16, 2017 The registration fee will be at most 2000 SEK (approx 200 Euros) per participant, and includes lunches, coffee breaks and conference materials. It does not cover accommodation, but there will special offers at hostels and hotels (in the range 700 -1200 SEK/night for single rooms, and much lower for shared hostel rooms) available when the registration opens. Some participation/fee waiver grants may be available. Further information ------------------------- Further information about submissions, registration and accommodation possibilities will (in due time) be available on the NLS webpage: https://www.sls17.conf.kth.se Enquiries: nls2017 at philosophy.su.se Committees ---------------- Program Committee of NLS 2017: Thierry Coquand (Göteborg), Ali Enayat (Göteborg), Mai Gehrke (IRIF, Paris), Nina Gierasimczuk (Copenhagen), Valentin Goranko (Stockholm U), Lauri Hella (Tampere), Lars Kristiansen (Oslo), Juha Kontinen (Helsinki), Øystein Linnebo (Oslo), Sara Negri (Helsinki), Erik Palmgren (chair, Stockholm U). Local Organizing Committee of NLS 2017: Valentin Goranko (co-chair), Dilian Gurov, Roussanka Loukanova, Peter LeFanu Lumsdaine, Anders Lundstedt, Erik Palmgren (co-chair). From announce at cs.ucy.ac.cy Fri Nov 18 14:30:17 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 18 Nov 2016 15:30:17 +0200 Subject: 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Second Call for Workshop Proposals Message-ID: *** Second Call for Workshop Proposals *** 21st European Conference on Advances in Databases and Information Systems ADBIS 2017 Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBFdXJvcGVhbiBDb25mZXJlbmNlIG9uIEFkdmFuY2VzIGluIERhdGFiYXNlcyBhbmQgSW5mb3JtYXRpb24gU3lzdGVtcyAoQURCSVMgMjAxNyk6IFNlY29uZCBDYWxsIGZvciBXb3Jrc2hvcCBQcm9wb3NhbHMJOTIJTGlzdHMJMjI4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F The internationally recognized ADBIS conference already for 21 years is gathering researchers and practitioners around topics related to databases, data processing, and information systems, in general. The conference is run in Europe but attracts researchers from all over the world. The 21st ADBIS conference will be held in Nicosia, Cyprus. The conference is accompanied by satellite events, including PhD consortia and workshops. WORKSHOPS Typically, workshops focus on multiple topics related to data storage and processing. This year we would encourage also workshops focusing on practical applications of research in business/industry and on joint projects run by industry and research entitites. The list of workshop topics is not limited to the aforementioned and we encourage representatives of research and business to submit workshop proposals promoting their achievements. SUBMITTING WORKSHOP PROPOSALS Workshop proposals should be emailed to the workshop chairs: · Johann Gamper (Free University of Bozen-Bolzano) gamper at inf.unibz.it · Robert Wrembel (Poznan Univ. of Technology) robert.wrembel at cs.put.poznan.pl The proposal should include: · a workshop title · estimated length (1 day or 1/2 day) · names, affiliations, and e-mails of PC chairs · short bio of the workshop PC chairs, including previous experience in organizing workshops or conferences (if applicable) · a (tentative) list of PC (if possible) · a workshop main goals · the list of a workshop topics · preliminary CFP · how information about a workshop will be disseminated and how papers will be solicited The organizers of accepted workshops are expected to: · organize the workshop's program committee · disseminate the workshop call for papers · solicit submissions · conduct the reviewing process · prepare the final workshop program The official language of workshops is English. ORGANIZATIONAL SUPPORT Workshops will benefit from the ADBIS 2017 organizational infrastructure and receive support w.r.t. registration, badges, lunches, coffee breaks, and publication of the workshop proceedings. PUBLICATION Workshops papers will be published by Springer in 'Communications in Computer and Information Science'. We plan to invite selected workshop papers for publication in a journal. IMPORTANT DATES · Submission of Workshop Proposals: January 15, 2017 · Workshop acceptance/rejection Notification: January 21, 2017 · Camera-ready Submission of Papers: June 25, 2017 · Workshops held: September 24, 2017 A detailed workshop timeline, i.e., deadlines for submissions, reviews, camera-ready due, are proposed by the workshop PC chairs, in agreement with the ADBIS 2017 workshop chairs. COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sat Nov 19 11:58:25 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 19 Nov 2016 12:58:25 +0200 Subject: 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Second Call for Demos and Posters Message-ID: *** Second Call for Demos and Posters *** 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=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBTZWNvbmQgQ2FsbCBmb3IgRGVtb3MgYW5kIFBvc3RlcnMJOTQJTGlzdHMJMjI4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiui.acm.org%2F2017%2Fdemopost.html 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. Demos The demonstrations track complements the overall program of the conference. Demonstrations show implementations of novel, interesting, and important intelligent user interface concepts or systems. We invite submissions relevant to intelligent user interfaces and which address, but are not limited to, the topics of the conference. All submissions are intended to convey a scientific result or work in progress and should not be advertisements for commercial software packages. The page limit for demo papers is 4 pages (including references). Accepted demo papers will be published in the companion proceedings in the ACM Digital Library. Posters Posters provide an opportunity for sharing valuable ideas, eliciting useful feedback on early-stage work and fostering discussions and collaborations among colleagues. We invite submissions on all topics of the conference. All submissions should convey a scientific result or work in progress that is not yet ready to be published as a full length research paper at a refereed conference. Submitting a draft poster along with your submission is not required but highly recommended. The page limit for poster papers is 4 pages (including references). Accepted poster papers will appear in the companion proceedings in the ACM Digital Library. Submission Guidelines Demo and poster submissions do not need to be anonymized. The page limit is 4 pages (including references) in HCI extended abstract format (MS Word template, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBTZWNvbmQgQ2FsbCBmb3IgRGVtb3MgYW5kIFBvc3RlcnMJOTQJTGlzdHMJMjI4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform%2Fsigchi-extended-abstracts-format-2016%2Fview, LaTeX template, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBTZWNvbmQgQ2FsbCBmb3IgRGVtb3MgYW5kIFBvc3RlcnMJOTQJTGlzdHMJMjI4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fgithub.com%2Fsigchi%2FDocument-Formats%2Ftree%2Fmaster%2FLaTeX%29. Submitting a draft poster along with your poster submission is not required but highly recommended. Submit your demos and posters at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBTZWNvbmQgQ2FsbCBmb3IgRGVtb3MgYW5kIFBvc3RlcnMJOTQJTGlzdHMJMjI4CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fprecisionconference.com%2F%7Esigchi. Poster and Demo presenters: 120cm x 147cm (47" x 58") poster boards and pushpins will be provided to mount your posters. Important Dates · Submissions Due: December 16, 2016 · Notifications to Authors: January 8, 2017 · Camera Ready Due: January 13, 2017 Demos/Posters Co-Chairs · Andrina Granic, University of Split, Croatia · Denis Parra, PUC, Chile · Jingtao Wang, University of Pittsburgh, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sat Nov 19 14:17:15 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 19 Nov 2016 14:17:15 +0100 Subject: TPNC 2016: call for participation Message-ID: <545102060a010b0101575403040b5a5c5a5256500755535800050a55520f505700030c035201035651020503055300@grlmc_ip-zone_com-6> TPNC 2016: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* *************************************************************************** 5th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2016 Sendai, Japan December 12-13, 2016 Organized by: Cyberscience Center Tohoku University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/TPNC2016/ *************************************************************************** PROGRAM Monday, December 12 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Luis Martínez López: Managing Natural Noise in Recommender Systems - Invited lecture 10:30 - 11:00    Coffee break 11:00 - 12:15 Anissa Lamani and Masafumi Yamashita: Realization of Periodic Functions by Self-stabilizing Population Protocols with Synchronous Handshakes Ahnaf Munir, Sakhawat Hossen and Salimur Choudhury: Localized Load Balancing in RFID Systems Abtin Nourmohammadzadeh and Sven Hartmann: The Fuel-efficient Platooning of Heavy Duty Vehicles by Mathematical Programming and Genetic Algorithm 12:15 - 13:45    Lunch 13:45 - 15:00 Itaru Ueda, Akihiro Nishimura, Yu-Ichi Hayashi, Takaaki Mizuki and Hideaki Sone: How to Implement a Random Bisection Cut Kui Chen and Hitoshi Kanoh: A Discrete Artificial Bee Colony Algorithm Based on Similarity for Graph Coloring Problems Marcin Czajkowski and Marek Kretowski: A Multi-objective Evolutionary Approach to Pareto Optimal Model Trees. A Preliminary study 15:00 - 17:00    Visit to the Sendai Castle Ruins Tuesday, December 13 09:00 - 09:50    Qingfu Zhang: Multiobjective Evolutionary Computation, Decomposition and Regularity - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:35 Vassilis Papapanagiotou, Roberto Montemanni and Luca Maria Gambardella: A Sampling-based Metaheuristic for the Orienteering Problem with Stochastic Travel Times Kazi Shah Nawaz Ripon, Hakon Dissen and Jostein Solaas: Real Time Traffic Intersection Management Using Multi-objective Evolutionary Algorithm Jayanta Kumar Das, Pabitra Pal Choudhury and Ayesha Arora: Natural and Efficient Sub-traction Operation in Carry Value Transformation (CVT)-Exclusive OR (XOR) Paradigm 11:35 - 11:50    Break and Group photo 11:50 - 12:50    Poster presentations Christian Blum and Borja Calvo: MDS-BEEP: A Biologically Inspired Distributed Algorithm for Minimal Dominating Set Computation Keitel Cervantes-Salguero, Ibuki Kawamata, Shin-Ichiro Nomura and Satoshi Murata: Design and Construction of Reusable DNA Logic Gates Based on Electric Field Actuation Roman Neruda and Klara Peskova: Hyper-parameter Search Methods for Better Model Recommendation Chinasa Sueyoshi and Takashi Naka: Exhaustive Analysis for the Effects of Network Structures and Reaction Saturation Levels on the Multi-stability in Cellular Signaling Systems Antonio J. Tallón-Ballesteros and Luís Correia: Two-level Feature Selection in Data Mining Antonio J. Tallón-Ballesteros, Cristina Urbano-Sánchez, María Rodríguez-Romero and Luís Correia: Is the Information Extracted Enough to Apply Machine Learning Algorithms? 12:50 - 14:20    Lunch 14:20 - 15:35 Balázs Indig, Noémi Vadász and Ágnes Kalivoda: Decreasing Entropy: How Wide to Open the Window? Ozan Kahramanogullari: Simulating Stochastic Dynamic Interactions with Spatial Information and Flux Wataru Yahiro and Masami Hagiya: Implementation of Turing Machine Using DNA Strand Displacement 15:35 - 15:50    Break 15:50 - 17:30 Lorenzo Bottarelli, Manuele Bicego, Matteo Denitto, Alessandra Di Pierro and Alessandro Farinelli: A Quantum Annealing Approach to Biclustering Josef Moudrík and Roman Neruda: Determining Player Skill in the Game of Go with Deep Neural Networks Zbigniew Suraj and Piotr Grochowalski: Flexible Generalized Fuzzy Petri Nets for Rule-based Systems Pak-Kan Wong, Man Leung Wong and Kwong-Sak Leung: Learning Grammar Rules in Probabilistic Grammar-based Genetic Programming 17:30 - 17:40    Closing -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ruleml.rr.2017 at protonmail.com Sun Nov 20 17:44:26 2016 From: ruleml.rr.2017 at protonmail.com (RuleML-RR 2017 Publicity Chair) Date: Sun, 20 Nov 2016 11:44:26 -0500 Subject: CFP RuleML+RR: International Joint Conference on Rules and Reasoning Message-ID: Greetings. on behalf fo the RuleML+RR 2017 Commitee, I propose to spread this Call for Papers through your mailing list. Please find enclosed the CFP page to distribute to all interested researchers, practinioners or industry professionals . Best Regards Giovanni De Gasperis, Ph.D. Publicity Chair RuleML+RR: International Joint Conference on Rules and Reasoning [http://2017.ruleml-rr.org](http://2017.ruleml-rr.org/) Sent with [ProtonMail](https://protonmail.com) Secure Email. -------------------------------------------------------------------------------------------- RuleML+RR: International Joint Conference on Rules and Reasoning [http://2017.ruleml-rr.org](http://2017.ruleml-rr.org/) RuleML+RR 2017 is the leading international joint conference in the field of rule-based reasoning, and focuses on theoretical advances, novel technologies, as well as innovative applications concerning knowledge representation and reasoning with rules. Stemming from the synergy between the well-known premier [RuleML](http://wiki.ruleml.org/index.php/RuleML_Home#Rule_Events_with_RuleML) and [RR ](http://www.rr-conference.org/)events, one of the main goals of this conference is to build bridges between academia and industry. RuleML+RR 2017 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. In addition, RuleML+RR 2017 will host: - [Industry Track](http://2017.ruleml-rr.org/calls/doctoral-consortium/) - [Doctoral Consortium](http://2017.ruleml-rr.org/calls/doctoral-consortium/) - [DecisionCAMP](http://2017.ruleml-rr.org/decisioncamp-2017/) - [11th International Rule Challenge](http://2017.ruleml-rr.org/calls/international-rule-challenge/) - [13th Reasoning Web Summer School](http://2017.ruleml-rr.org/13th-reasoning-web-summer-school-rw-2017/) Topics include, but are not limited to: - Production rules systems - Logic programming engines and applications - Business rules engines and management systems - Logic-based reasoning for rules - Inductive and abductive logic programming - Rule markup languages and rule interchange formats - Rule-based policies, reputation, and trust - Pragmatic web reasoning and distributed rule inference / rule execution - Reaction and ECA rules - Constraint programming - Rule-based languages for intelligent information access and the Semantic Web - Vocabularies, ontologies, and business rules - Bridge rules in multi-context systems - Rule discovery, extraction and transformation - Rule-based data management, data integration, and data interoperability - Scalability and expressive power of logics for rules - Mapping rules for ontology-based data access - Rule-based dynamic data, stream, and complex event processing - Reasoning with incomplete, inconsistent and uncertain data - Non-monotonic, common-sense, and closed-world reasoning - Non-classical logics and the Web - Combining rules with knowledge extraction and information retrieval - Rules, agents, and norms - Rule-based distributed / multi-agent systems - Rule-based communication/dialogue - Argumentation models - Rules and human language technology - Rules in online market research and online marketing - Applications of rule technologies in healthcare and life sciences - Industrial applications of rules - Rules and business process compliance checking - Standards activities related to rules - Rules and social media RuleML+RR 2017 will be collocated with the 32nd British International Conference on Databases (BICOD 2017). Submissions Papers must be original contributions written in English and must be submitted at http://www.easychair.org/conferences/?conf=rulemlrr2017 as: - Full Paper (15 pages in the proceedings) - Short Paper (8 pages in the proceedings) Please upload all submissions in [LNCS format](http://www.springer.de/comp/lncs/authors.html). To ensure high quality, submitted papers will be carefully peer-reviewed by at least 3 PC members based on originality, significance, technical soundness, and clarity of exposition. They must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference / workshop with formal proceedings The accepted papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. Short papers may contain 1 extra page (max.) for which there is a charge of US$200. Long papers are allowed 2 extra pages (max.), with a charge of US$200 for EACH extra page. Student Travel Support Some financial support will be available to enable student authors to travel to the conference. These will be awarded on a case-by-case basis. Proof of studentship will be required at time of registration. RuleML+RR 2017 Important Dates Event Date Title and abstract registration 15 February 2017 Paper Submission 22 February 2017 Author feedback on initial reviews 30 March - 3 April 2017 Author notification 10 April 2017 Camera ready 24 April 2017 Conference 12-15 July 2017 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From BoothR2 at cardiff.ac.uk Mon Nov 21 17:19:44 2016 From: BoothR2 at cardiff.ac.uk (Richard Booth) Date: Mon, 21 Nov 2016 16:19:44 +0000 Subject: [Deadline extension 8/12/2016] IEA/AIE 2017: Special Track on Applications of Argumentation Message-ID: APOLOGIES FOR CROSS-POSTING IEA/AIE 2017: Special Track on Applications of Argumentation http://www.cs.cf.ac.uk/AppArg2017/ Abstract submission: 8th December 2016 Paper submission: 15th December 2016 We invite submissions of the latest research results concerning applications and theory of computational argumentation to the Special Track on Applications of Argumentation at the 30th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE http://www.cril.univ-artois.fr/ieaaie2017/ ). Authors are invited to submit their papers in English of up to 10 single spaced pages. Shorter works, up to 6 pages, may be submitted as short papers representing work in progress or suggesting possible research directions. All paper submissions will be done electronically, using Easychair https://easychair.org/conferences/?conf=ieaaie2017 . All papers will be peer reviewed and final copies of papers for inclusion to the conference proceedings will be published in a bound volume by Springer-Verlag (formatting instructions are available at http://www.springer.de/comp/lncs/authors.html ) in their Lecture Notes in Artificial Intelligence series. The option of organizing a special issue on a journal is under consideration. Topics include, but are not limited to: Decision making based on argumentation Argumentation in agent and multi-agent systems Argumentation for coordination and coalition formation Argumentation-based negotiation Argumentation, trust and reputation Argumentation and human-computer interaction Systems for learning through argument Implementation of argumentation systems Tools for supporting argumentation Argumentation and narrative Argumentation and computational linguistics Argument mining Analogical argumentation Formal, semi-formal and informal models for argumentation Traditional and ranked-based semantics Dialogue based on argumentation Strategies in argumentation Argumentation and game theory Argumentation and probability Computational properties of argumentation Reasoning about action and time with argumentation Important dates: Abstract submission: 8th December 2016 Paper submission: 15th December 2016 Notification of Acceptance: 15th January 2017 Conference: 27th-30th June 2017, in Arras, France Special Track Co-chairs Richard Booth (Cardiff University) Federico Cerutti (Cardiff University) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.m.dastani at uu.nl Mon Nov 21 21:56:42 2016 From: m.m.dastani at uu.nl (Dastani, M.M. (Mehdi)) Date: Mon, 21 Nov 2016 21:56:42 +0100 Subject: Three scientific programmers for Golden Agents Project at Utrecht University Message-ID: <1afb0008-1d65-95ba-260b-f7116210a5fb@uu.nl> *Three scientific programmers for Golden Agents project at Utrecht University* *Job description* The Utrecht University is looking for three scientific programmers to develop a multi-agent system platform for the Golden Agents project. The Golden Agents project is funded by the Netherlands Organization for Scientific Research (NWO). The project consortium consists of a large number of universities, research institutes and national cultural heritage institutions such as the Rijksmuseum, the National Library of the Netherlands (KB) and the Netherlands Institute for History of Art. The overall aim of the Golden Agents project is to build a large digital humanities research infrastructure that enables researchers to explore various existing data sets – such as data set of the Rijksmuseum and the Amsterdam archives – to analyze and understand the working of the creative industry during the Dutch Golden Age, in and around Amsterdam. Researchers would like to explore various data sets to understand, for example, how hypes influenced consumers' preferences, how producers working in various creative industries influenced each other in style and subject matter. What caused the creative outburst of that period, which is well-known because of painters such as Rembrandt and Vermeer, but was in fact a much wider phenomenon? The Golden Agents project will combine semantic web and multi-agent technologies to build this digital humanities research infrastructure. The approach taken in this project is to use the semantic web technology to annotate and structure the existing data sets related to the creative industries. The multi-agent technology is used to agentify the existing data sets such that each data set is processed and maintained locally by a software agent. Various software agents interact and collaborate to answer queries of the researchers that want to explore the data sets. We are looking for three scientific programmers that will be stationed in the Intelligent Systems group at the Department of Information and Computing Sciences at the Utrecht University. The scientific programmers we are looking for will mainly focus on the development of the multi-agent infrastructure, but adopt the semantic web tools and technology that are developed from other partners in the consortium. The scientific programmers will work together, under the supervision of Dr. Mehdi Dastani, to develop 1) various parts of the multi-agent system infrastructure such as tools and technology that support the development and execution of software agents, 2) middleware that supports various software agents to communicate and manage data, and 3) various communication protocols to support software agents to collaborate in order to process and answer queries using information from all data sets. The project will be conducted under the supervision of Dr. Mehdi Dastani (Intelligent Systems). *Requirements* The candidate is expected to: - have good skills in Java programming; - have a bachelor/master degree in computer science or artificial intelligence; - collaborate with other scientific programmers, both locally and with others in the consortium; - collaborate with researchers from the Humanities (art historians, historians, literary scholars, musicologists etc.) to get insight in the type of analysis of the existing data sets they want to conduct; - collaborate with the Utrecht Digital Humanity Lab to explore the possibility of using and integrating tools and technologies already in use and in place in the Humanities. *Conditions of employment* The candidate is offered a full-time position (0,8 – 1,0 fte) for one year with an extension for three years after a positive evaluation.The gross salary varies, depending on education and experience, between €2,552 and €3,899 (scale 10/11 according to the Collective Labour Agreement Dutch Universities). Salaries are supplemented with a holiday bonus of 8 % and a year-end bonus of 8.3 % per year. We offer a pension scheme, collective insurance schemes and flexible employment conditions. 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 Mehdi Dastani, M.M.Dastani at uu.nl, phone: +31 30 253 35 99, or Prof. Dr. Els Stronks, E.Stronks at uu.nl, phone: +31 30 253 61 51. *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 *December 31, 2016* -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mpavone at dmi.unict.it Mon Nov 21 22:13:21 2016 From: mpavone at dmi.unict.it (Mario Pavone) Date: Mon, 21 Nov 2016 22:13:21 +0100 Subject: first CfP: Special session on AIS @ CEC 2017 Message-ID: <20161121221321.Horde.GRSKM_ph4B9YM2NxnhqmMoA@mbox.dmi.unict.it> * Apologies if you received multiple copies * Please kindly forward to those who may be interested. CALL FOR PAPERS Artificial Immune Systems: Algorithms, Simulation, Modelling & Theory IEEE CEC 2017 Special Session June 20-23, 2017, Donostia - San Sebastián, Spain http://ieee-cis-ais.org/ais-cec2017/ ais.cec2017 at gmail.com *** SUBMISSION deadline: January 16, 2017 The Immune System protects organisms against diseases, and over the years has been an important source of inspiration for the development of algorithms to be applied in a wide range of applications, such as learning, pattern recognition, optimisation and classification. Many of these algorithms are built on solid theoretical foundations, through understanding mathematical models and computational simulation of aspects of the immune system. The scope of this research area ranges from modelling to simulation of the immune system, to the development of novel engineering solutions to complex problems, and bridges several disciplines to provide new insights into immunology, computer science, mathematics and engineering. This special session aims to focus on the recent advances on Artificial Immune Systems (AIS) field, also offering new conceptual models for understanding the dynamics that underlie the immune system. This special session is supported by IEEE CIS Task Force on Artificial Immune Systems (http://ieee-cis-ais.org). Topics of interest include, but are not limited to: - Computational & Mathematical modelling of the Immune System; - Theoretical aspects of immune inspired algorithms; - Novel algorithms and new immune operators; - Benchmarking immune inspired algorithms against other techniques; - Empirical and Theoretical investigations into performance and complexity of immune inspired algorithms; - Hybridisation of immune inspired algorithms with other techniques; - Systems & Synthetic Immunology. All the papers have to be submitted electronically through the congress application. The deadline for contribution paper submission is *January 16, 2017*. Authors are invited to submit original and unpublished papers on any topics related to AIS. * IMPORTANT DATES: paper submission: January 16, 2017 notification of acceptance: February 26, 2017 final paper submission: March 12, 2017 Conference dates: June 5-8, 2017 * PAPER SUBMISSION: Manuscripts should be prepared according to the standard format and page limit of regular papers specified in CEC 2017 webpage (http://www.cec2017.org), and submitted via the official submission system. Special session papers are treated the same way as regular conference papers. Please specify that your paper is for the special session on AIS: Algorithms, Simulation, Modelling & Theory. All accepted papers will be published in the CEC electronic proceedings and included in the IEEE Xplore digital library, and indexed by EI Compendex. * ORGANIZERS: Thomas Jansen, Aberystwyth University, UK Mario Pavone, University of Catania, Italy Jon Timmis, University of York, UK -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383038 fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone/ ====================================================== From helene.jaudoin at univ-rennes1.fr Tue Nov 22 10:52:53 2016 From: helene.jaudoin at univ-rennes1.fr (=?utf-8?Q?H=C3=A9l=C3=A8ne_Jaudoin?=) Date: Tue, 22 Nov 2016 10:52:53 +0100 Subject: FQAS 2017 - 2nd CFP Message-ID: FQAS 2017 - SECOND CALL FOR PAPER ***************************************************************************************** *** 12th International Conference on Flexible Query Answering Systems *** *** 21st - 23rd June, 2017 *** University of Westminster, London, UK *** *** http://fqas-2017.org ***************************************************************************************** *** organized back-to-back with ISMIS 2017 http://ismis2017.ii.pw.edu.pl in Warsaw, June 26-29 FQAS is the premier conference focusing on the key issue in the information society of providing easy, flexible, and intuitive access to information to everybody. In targeting this issue, the conference draws on several research areas, such as information retrieval, database management, data science, information filtering, knowledge representation, knowledge discovery, analytics, soft computing, management of multimedia information, and human-computer interaction. The guiding topic of the FQAS conferences are innovative query systems aimed at providing easy, flexible and human-friendly access to information. Such systems are becoming increasingly important also due to the huge and always growing number of users as well as the growing amount of available information. Thus, the works related to the concepts of data science, data streams querying etc. are very welcome Since 1994, the conference has provided a unique and multidisciplinary forum for researchers, developers and practitioners to explore and exchange new ideas and approaches in all mentioned research areas. We invite submission of original research contributions, and proposals for invited sessions, panels, and tutorials. Topics of interest include, but are not limited to, the following in the context of intelligent information access and/or flexible query answering systems: · Flexible question answering systems · Context-awareness in query interpretation · Multimodal, Spoken and Multimedia query answering · Mobile information access systems · Ambient information access systems · Semantic Web · Data science and big data · Knowledge Discovery · Multimedia information Management · Business Analytics · Information Retrieval, Extraction and Fusion · Text and data mining · Knowledge representation · Ontologies · Ontology based query answering · Database management · Cross language querying and retrieval · Semantic query expansion · Domain and User Context Modelling · Privacy preserving Querying Answering · Human-Computer Interaction · User interfaces and data visualization · Search engines · Summarization of search results · Social media · Cloud Computing and Cloud Information Access · Collaborative information management · Approximate reasoning models · Soft Computing · Fuzzy sets, Logic and Probabilistic models · Imperfection/uncertainty management · Belief/trust management · Description Logics · Knowledge fusion from multilingual sources · Multilingual information extraction and QA systems Instructions for authors ************************* All accepted papers will be published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. Authors are invited to submit original previously unpublished research papers written in English, of up to 12 pages, strictly following the LNCS/LNAI format guidelines. Authors can download the Latex (recommended) or Word templates available at Springer's web site (www.springer.com/lncs). Submissions not following the format guidelines will be rejected without review. At least one author of each published paper must register for the conference and present the paper at the conference. Important dates ***************** Paper Submission: January 25, 2017 Notification: March 1, 2017 Final Paper Due: April 1, 2017 Conference Dates: June 21-23, 2017 General Co-chairs ******************* Henning Christiansen, Denmark Panagiotis Chountas, United Kingdom Program Co-chairs ******************** Henning Christiansen, Denmark Hélène Jaudoin, France Steering Committee ********************* Troels Andreasen, Denmark Henning Christiansen, Denmark Henrik Legind Larsen, Denmark From geoff at cs.miami.edu Wed Nov 23 14:12:55 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 23 Nov 2016 08:12:55 -0500 (EST) Subject: LPAR-21 in Botswana - Call for Papeprs Message-ID: <20161123131255.A02F81215DF@mcclellan.cs.miami.edu> **************************************************************************** The 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR-21 Cresta Riley's Hotel, Maun, Botswana http://www.LPAR-21.info CALL FOR PAPERS The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 21st LPAR will be held will be held in Maun, Botswana, at Cresta Riley's Hotel, 7-12th May 2017. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright. ==Important Dates Abstract Submission: 1 January 2017 Paper Submission: 15 January 2017 Notification: 1 March 2017 Camera ready: 1 April 2017 Workshops: 7 May 2017 Conference: 8-12 May 2017 ==Topics New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: + Abduction and interpolation methods + Answer set programming + Automated reasoning + Constraint programming + Contextual reasoning + Decision procedures + Description logics + Foundations of security + Hardware verification + Implementations of logic + Inconsistency- and exception tolerant reasoning + Interactive theorem proving + Knowledge representation and reasoning + Logic and computational complexity + Logic and databases + Logic and games + Logic and machine learning + Logic and the web + Logic and types + Logic in artificial intelligence + Logic of distributed systems + Logic of knowledge and belief + Logic programming + Logical aspects of concurrency + Logical foundations of programming + Modal and temporal logics + Model checking + Non-monotonic reasoning + Ontologies and large knowledge bases + Paraconsistent logics + Probabilistic and fuzzy reasoning + Program analysis + Rewriting + Satisfiability checking + Satisfiability modulo theories + Software verification + Specification using logic + Unification theory ==Organization Program Chairs: David Sands (Chalmers University of Technology, Sweden) Thomas Eiter (Technische Universitaet Wien, Austria) Conference Chair: Geoff Sutcliffe (University of Miami, USA) ==Submission Details Submissions of two kinds are welcome: - Regular papers that describe solid new research results. They can be up to 15 pages long in EasyChair style, including figures but excluding references and appendices (that reviewers are not required to read). - Experimental and tool papers that describe implementations of systems, report experiments with implemented systems, or compare implemented systems. They can be up to 8 pages long in the EasyChair style. Both types of papers must be electronically submitted in PDF via EasyChair: https://easychair.org/conferences/?conf=lpar21 Authors must register a title and an abstract by the abstract submission deadline. ==Participation Authors of accepted papers are required to ensure that at least one of them will be present at the conference. For more details about the venue and organization, see the conference webpage http://www.LPAR-21.info **************************************************************************** From feeds at sentic.net Thu Nov 24 12:44:58 2016 From: feeds at sentic.net (feeds) Date: Thu, 24 Nov 2016 06:44:58 -0500 (EST) Subject: [SenticNet] CFP: IEEE Transactions on Affective Computing on Affective Reasoning for Big Social Data Analysis Message-ID: <1440432127.139566.1479987898863.JavaMail.open-xchange@bosoxweb05.eigbox.net> Apologies for cross-posting, Submissions are invited for a special issue of the IEEE Transactions on Affective Computing (IEEE TAC) on Affective Reasoning for Big Social Data Analysis. For more information, please visit: http://sentic.net/affreason RATIONALE As the Web rapidly evolves, Web users are evolving with it. In an era of social connectedness, people are becoming increasingly enthusiastic about interacting, sharing, and collaborating through social networks, online communities, blogs, Wikis, and other online collaborative media. In recent years, this collective intelligence has spread to many different areas, with particular focus on fields related to everyday life such as commerce, tourism, education, and health, causing the size of the Web to expand exponentially. The distillation of knowledge from such a big amount of unstructured information, however, is an extremely difficult task, as the contents of today’s Web are perfectly suitable for human consumption, but remain hardly accessible to machines. The opportunity to capture the opinions of the general public about social events, political movements, company strategies, marketing campaigns, and product preferences has raised growing interest both within the scientific community, leading to many exciting open challenges, as well as in the business world, due to the remarkable benefits to be had from marketing and financial market prediction. Existing approaches to big social data analysis mainly rely on parts of text in which sentiment is explicitly expressed, e.g., through polarity terms or affect words (and their co-occurrence frequencies). However, opinions and sentiments are often conveyed implicitly through latent semantics, which make purely syntactical approaches ineffective. In this light, this Special Issue focuses on the introduction, presentation, and discussion of novel techniques that further develop and apply affective reasoning tools and techniques for big social data analysis. A key motivation for this Special Issue, in particular, is to explore the adoption of novel affective reasoning frameworks and cognitive learning systems to go beyond a mere word-level analysis of natural language text and provide novel concept-level tools and techniques that allow a more efficient passage from (unstructured) natural language to (structured) machine-processable affective data, in potentially any domain. TOPICS Articles are thus invited in areas such as machine learning, weakly supervised learning, active learning, transfer learning, deep neural networks, novel neural and cognitive models, data mining, pattern recognition, knowledge-based systems, information retrieval, natural language processing, common-sense reasoning, and big data computing. Topics include, but are not limited to: • Machine learning for big social data analysis • Affective common-sense reasoning • Social network modeling and analysis • Social media representation and retrieval • Discovering conceptual primitives for sentiment analysis • Affective human-agent, -computer, and-robot interaction • Multi-modal sentiment analysis • User profiling and personalization • Aided affective knowledge acquisition • Multi-lingual sentiment analysis • Time-evolving sentiment tracking The Special Issue also welcomes papers on specific application domains of big social data analysis, e.g., influence networks, customer experience management, intelligent user interfaces, multimedia management, computer-mediated human-human communication, enterprise feedback management, surveillance, art. The authors will be required to follow the Author’s Guide for manuscript submission to IEEE TAC. TIMEFRAME January 21st, 2017: Paper submission deadline (strict) April 1st, 2017: Notification of acceptance May 1st, 2017: Revised submission deadline June 1st, 2017: Final manuscript due SUBMISSION AND PROCEEDINGS The IEEE TAC special issue on Affective and Cognitive Learning Systems for Big Social Data Analysis will consist of papers on novel methods and techniques that further develop and apply big data analysis tools and techniques in the context of opinion mining and sentiment analysis. Some papers may survey various aspects of the topic. The balance between these will be adjusted to maximize the issue's impact. All articles are expected to successfully negotiate the standard review procedures for IEEE TAC. ORGANIZERS • Erik Cambria, Nanyang Technological University (Singapore) • Amir Hussain, University of Stirling (UK) • Alessandro Vinciarelli, University of Glasgow (UK) From maroneal at gmail.com Thu Nov 24 13:35:52 2016 From: maroneal at gmail.com (Walid Taha) Date: Thu, 24 Nov 2016 13:35:52 +0100 Subject: PADL'17 Call for Participation Message-ID: Dear colleague, You are cordially invited you to participate in 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) http://bit.ly/PADL-2017 Paris, France 16th and 17th January 2017 Co-located with ACM POPL 2017 (http://conf.researchr.org/home/POPL-2017) Registration site: http://popl17.sigplan.org/attending/registration Early registration deadline: December 17th, 2016 Program posted: http://bit.ly/PADL-2017 Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Program Committee ================= Erika Abraham, RWTH Aachen University Marcello Balduccini, Drexel University Lars Bergstrom, Mozilla Research Bart Bogaerts, Aalto University Edwin Brady, University of St Andrews Martin Brain, University of Oxford Mats Carlsson, SICS Manuel Carro, Technical University of Madrid (UPM) Stefania Costantini, University dell'Aquila Marc Denecker, KU Leuven Thomas Eiter, TU Wien Esra Erdem, Sabanci University Thom Fruehwirth, University of Ulm Marco Gavanelli, University of Ferrara Martin Gebser, University of Potsdam Jeremy Gibbons, University of Oxford Hai-Feng Guo, University of Nebraska at Omaha Jurriaan Hage, Universiteit Utrecht Geoffrey Mainland, Drexel University Henrik Nilsson, University of Nottingham Enrico Pontelli, New Mexico State University Ricardo Rocha, University of Porto Peter Schüller, Marmara University Peter Sestoft, IT University of Copenhagen Martin Sulzmann, Karlsruhe University of Applied Sciences Paul Tarau, University of North Texas Kazunori Ueda, Waseda University Niki Vazou, University of California, San Diego Philip Wadler, University of Edinburgh Daniel Winograd-Cort, University of Pennsylvania Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center Lukasz Ziarek, SUNY Buffalo Program Chairs: Yuliya Lierler, University of Nebraska Omaha Walid Taha, Halmstad University Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Yuliya Lierler University of Nebraska Omaha, USA http://faculty.ist.unomaha.edu/ylierler/ Walid Taha Halmstad University, Sweden http://www.effective-modeling.org/p/walid-taha.html email: padl17 at easychair.org From grlmc at grlmc.com Sun Nov 27 00:00:39 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 27 Nov 2016 00:00:39 +0100 Subject: AlCoB 2017: 2nd call for papers Message-ID: <545102060a010b010150510606015a06520402550452060457040000075507005302020e070b5251075e5806540256@grlmc_ip-zone_com-6> AlCoB 2017: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************************************** 4th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2017   Aveiro, Portugal   June 5-7, 2017   Organized by:   Center for Research & Development in Mathematics and Applications (CIDMA) Institute of Electronics and Informatics Engineering of Aveiro (IEETA) University of Aveiro   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/AlCoB2017/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.   Previous events were held in Tarragona, Mexico City, and Trujillo.   The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE:   AlCoB 2017 will take place in Aveiro, an industrial city with an important seaport on the Atlantic Ocean, and known as "the Portuguese Venice" due to its network of canals. The venue will be the Department of Mathematics of the University of Aveiro, Campus Universitário de Santiago, 3810-193 Aveiro.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics Microbiome analysis Systems biology   STRUCTURE:   AlCoB 2017 will consist of:   invited lectures invited tutorials peer-reviewed contributions posters   INVITED SPEAKERS: (to be completed)   Marie-France Sagot (INRIA, Villeurbanne), Algorithmically Exploring and Exploiting Interspecific Interactions   PROGRAMME COMMITTEE:   Can Alkan (Bilkent University, Ankara, TR) Stephen Altschul (National Institutes of Health, Bethesda, US) Yurii Aulchenko (PolyOmica, Groningen, NL) Timothy L. Bailey (University of Nevada, Reno, US) Bonnie Berger (Massachusetts Institute of Technology, Cambridge, US) Ken Chen (University of Texas MD Anderson Cancer Center, Houston, US) Julio Collado-Vides (National Autonomous University of Mexico, Cuernavaca, MX) Eytan Domany (Weizmann Institute of Science, Rehovot, IL) Dmitrij Frishman (Technical University of Munich, DE) Terry Furey (University of North Carolina, Chapel Hill, US) Olivier Gascuel (Pasteur Institute, Paris, FR) Debashis Ghosh (University of Colorado, Denver, US) Susumu Goto (Kyoto University, JP) Osamu Gotoh (Institute of Advanced Industrial Science and Technology, Tokyo, JP) Artemis Hatzigeorgiou (University of Thessaly, Volos, GR) Javier Herrero (University College London, UK) Karsten Hokamp (Trinity College Dublin, IE) Fereydoun Hormozdiari (University of California, Davis, US) Kazutaka Katoh (Osaka University, JP) Lukasz Kurgan (Virginia Commonwealth University, Richmond, US) Gerton Lunter (University of Oxford, UK) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, ES, chair) Zemin Ning (Wellcome Trust Sanger Institute, Hinxton, UK) William Stafford Noble (University of Washington, Seattle, US) Cedric Notredame (Center for Genomic Regulation, Barcelona, ES) Christos Ouzounis (Centre for Research & Technology Hellas, Thessaloniki, GR) Manuel C. Peitsch (Philip Morris International, Bern, CH) Matteo Pellegrini (University of California, Los Angeles, US) Graziano Pesole (University of Bari, IT) David Posada (University of Vigo, ES) Knut Reinert (Free University of Berlin, DE) Peter Robinson (The Jackson Laboratory, Farmington, US) Julio Rozas (University of Barcelona, ES) David Sankoff (University of Ottawa, CA) Alejandro Schäffer (National Institutes of Health, Bethesda, US) Xinghua Shi (University of North Carolina, Charlotte, US) Nicholas D. Socci (Memorial Sloan Kettering Cancer Center, New York, US) Alexandros Stamatakis (Heidelberg Institute for Theoretical Studies, DE) Granger Sutton (J. Craig Venter Institute, La Jolla, US) Kristel Van Steen (University of Liège, BE) Arndt von Haeseler (Center for Integrative Bioinformatics Vienna, AT) Kai Wang (Columbia University, New York, US) Haim J. Wolfson (Tel Aviv University, IL) Ioannis Xenarios (Swiss Institute of Bioinformatics, Lausanne, CH) Jinn-Moon Yang (National Chiao Tung University, Hsinchu City, TW) Shibu Yooseph (University of Central Florida, Orlando, US) Mohammed J. Zaki (Rensselaer Polytechnic Institute, Troy, US) Daniel Zerbino (European Bioinformatics Institute, Hinxton, UK) Weixiong Zhang (Washington University in St. Louis, US) Zhongming Zhao (University of Texas Health Science Center at Houston, US)   ORGANIZING COMMITTEE:   Diana Costa (Aveiro, CIDMA) Daniel Figueiredo (Aveiro, CIDMA, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Manuel A. Martins (Aveiro, CIDMA) Manuel Jesús Parra Royón (Granada) Armando J. Pinho (Aveiro, IEETA) Diogo Pratas (Aveiro, IEETA, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Florentina Lilica Voicu (Tarragona)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, graphics, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=alcob2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of the Journal of Computational Biology (2015 JCR impact factor: 1.537) 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/AlCoB2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: January 22, 2017 Notification of paper acceptance or rejection: February 25, 2017 Final version of the paper for the LNCS/LNBI proceedings: March 9, 2017 Early registration: March 9, 2017 Late registration: May 22, 2017 Submission to the journal special issue: September 7, 2017   COLLOCATED EVENTS:   AlCoB 2017 will be collocated with the Fourth Workshop on Molecular Logic:   http://molecularlogic2017.weebly.com/   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   AlCoB 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:   Universidade de Aveiro Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ausai2016 at gmail.com Mon Nov 28 01:53:41 2016 From: ausai2016 at gmail.com (Ai Aus) Date: Mon, 28 Nov 2016 11:53:41 +1100 Subject: IJCAI-17 Call for Papers & other calls Message-ID: 26TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE MELBOURNE, VIC, AUSTRALIA, 19-25 AUGUST 2017 ijcai-17.org The Program Committee of the Twenty-sixth International Joint Conference on Artificial Intelligence (IJCAI-17) invites the submission of technical papers for the main technical track of the conference which will be held in Melbourne, Australia, from August 19th to August 25th, 2017. Submissions are invited on significant, original, and previously unpublished research on all aspects of artificial intelligence. All papers will receive mindful and rigorous reviews. For nearly a half-century, IJCAI has remained the premier conference bringing together the international AI community in communicating the advances and celebrating the achievements of artificial intelligence research and practice. With the current explosive interest in AI and its applications, this 26th edition of the conference is guaranteed to provide an exciting forum to present and hear about cutting-edge research in AI. SPECIAL TRACK ON AI & AUTONOMY A special theme of IJCAI-17 is Autonomy. While autonomy has been a focus of interest in the research community for many years, recent developments in the adoption of artificial intelligence and other technologies across many different areas of endeavour have brought new challenges or have made real those that until now had been largely abstract and theoretical. The increasing number of major corporations developing autonomous cars, the use of autonomous vehicles in the sea and in the air, the proliferation of drones for different purposes including military ones, and the availability of personal assistants via the desktop or smartphone are just some examples of the ways in which these challenges are facing us in everyday life. In recognition of this trend, and in support of addressing some of these challenges, this Special Track seeks to foster discussion and debate around the issues brought forward by this new generation of technologies and applications. We seek papers that address or consider the challenges across multiple different dimensions: Technical, Philosophical, Legal, and Social. OTHER TRACKS The scientific program of IJCAI 2017 will also contain Workshops, Tutorials, Demonstrations, Robotic Exhibitions, a Doctoral consortium, and will host different software, video, and robotics competitions. CO-LOCATED CONFERENCES Several other AI events will be held in Melbourne and other parts of Australia close to these dates, offering attendees a variety of choices for an extended itinerary. These events will include the International Conference on Principles and Practice of Constraint Programming (CP), the International Conference on Theory and Applications of Satisfiability Testing (SAT), International Conference on Logic Programming (ICLP), the Australasian Joint Conference on Artificial Intelligence (AI), Australasian Conference on Data Mining (AusDM), International Conference on Knowledge Science, Engineering, and Management (KSEM); all to be held in Melbourne. The International Conference on Machine Learning (ICML) will also be held in Sydney Australia shortly before IJCAI 2017. CONFERENCE VENUES The conference will be held at the Melbourne Convention and Exhibition Centre, a space that has won numerous awards for its architecture and interior design. Conveniently located on the banks of the Yarra River the convention centre is within walking distance of the city centre and a wide range of restaurants and hotels, with options suitable for all budgets. The workshops and tutorials will be held at close by RMIT University, one of the largest universities in Australia. There is a free tram that runs between RMIT and a block away from the convention centre. For further details check the conference website: http://ijcai-17.org/ IMPORTANT DATES Abstract submission: February 16th, 2017 Paper submission: February 19th, 2017 Acceptance notification: April 23rd, 2017 Conference: August 19th - 25th, 2017 ***************Other Important Dates & Calls *************** Workshop Proposals (http://ijcai-17.org/Workshops.html) Proposal submission deadline: November 27, 2016 Acceptance notification: December 19, 2016 IJCAI-17 Workshops: August 19-25, 2017 Tutorial Proposals (http://ijcai-17.org/Tutorials.html) Proposal submission deadline: November 22, 2016 Acceptance notification: January 9, 2017 Title, Abstract, and Speaker Biography Deadline: March 6, 2017 IJCAI-17 Tutorials: August 19-21, 2017 Special Track on AI&Autonomy (http://ijcai-17.org/AI-Autonomy.html) Abstract submission: Feburary 16, 2017 Paper submission: Feburary 19, 2017 Rebuttal period: March 28-29, 2017 Notification of acceptance/rejection: April 23, 2017 Robotics Showcase (http://ijcai-17.org/Robotics.html) Submission of expressions of interest: January 30, 2017 Notification of acceptance: Feburary 27, 2017 Video Competition (http://ijcai-17.org/Video-Comp.html) Submission of videos: June 9, 2017 Notification of acceptance and award nominations: July 7, 2017 Final version due: July 21, 2017 Doctoral Consortium (http://ijcai-17.org/Doctoral.html) Deadline for applications: March 6, 2017 Notification of acceptance: April 10, 2017 Award Nominations (http://ijcai-17.org/Nominations.html) Deadline: December 1, 2016 CONFERENCE COMMITTEE Conference Chair - Fahiem Bacchus, University of Toronto Program Chair - Carles Sierra, Spanish National Research Council IJCAI Executive Secretary - Vesna Sabljakovic-Fritz, Vienna University of Technology IJCAI Secretary-Treasurer - Bernhard Nebel, University of Freiburg Local Arrangements Committee Co-Chairs - Chengqi Zhang, University of Technology Sydney and Toby Walsh, UNSW and Data61 SPONSORSHIP ACKNOWLEDGEMENT (as in August 2016) Melbourne City, Melbourne Convention Exhibition Centre, Alibaba, Tencent, XiaoI Robot, Australian Computing Society, University of Technology Sydney, RMIT University, Griffith University, Melbourne University the School of Engineering, The University of Sydney, King Abdullah University of Science and Technology, Monash University, Auckland University of Technology, University of New South Wales, Assumption University of Thailand, Future University Hakodate, Deakin University, Australian National University, Joint NTU-UBC Research Centre of Excellence in Active Living for the Elderly, Federation University, The University of Queensland ________________________________________________________________________ To unsubscribe, go to https://wi-lab.com/cyberchair/wic_confs/unsubscribe.php?cfm=13YMQhEW%2FW3Lsem&pi=1356 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ta10 at tu-clausthal.de Mon Nov 28 11:28:20 2016 From: ta10 at tu-clausthal.de (Tobias Ahlbrecht) Date: Mon, 28 Nov 2016 11:28:20 +0100 Subject: IDC 2017 Call for Papers Message-ID: 11th International Symposium on Intelligent Distributed Computing Belgrade, Serbia, 11-13 October 2017 http://idc2017.pmf.uns.ac.rs SCOPE AND BACKGROUND The 11th International Symposium on Intelligent Distributed Computing (IDC 2017) will be held from 11 to 13 October 2017 in Belgrade, Serbia. The main objective of the IDC series of symposiums is to provide a forum for the dissemination of research accomplishments in the emergent field of Intelligent Distributed Computing, as well as to promote the collaboration between researchers from Intelligent Computing and Distributing Computing communities. Intelligent Computing covers a hybrid palette of methods and techniques ranging from classical artificial intelligence, computational intelligence and multi-agent systems to game theory. Distributed Computing develops methods and technology to build complex computational systems composed of collaborating software components scattered across diverse computational elements. The emergent field of Intelligent Distributed Computing focuses on the development of a new generation of intelligent distributed systems. It faces the challenges of adapting and combining research in the fields of Intelligent Computing and Distributed Computing. The symposium welcomes submissions of original papers on all aspects of intelligent distributed computing ranging from concepts and theoretical developments to advanced technologies and innovative applications. For its first time in Serbia, IDC 2017 will continue the successful tradition of previous IDC symposiums by providing a platform for researchers and practitioners to report recent trends and results highlighting benefits of intelligent computing techniques for distributed systems and vice-versa. IDC 2017 will consist of regular sessions with technical contributions reviewed and selected by an international program committee, as well as of special sessions focused on multi-disciplinary and cutting-edge topics. SUBMISSION AND EVALUATION OF PAPERS Paper acceptance and publication will be judged on the basis of their relevance to the symposium themes, clarity of presentation, originality and accuracy of results and proposed solutions. All accepted papers will be included in the Symposium Proceedings, which will be published by Springer as part of the series Studies in Computational Intelligence. Submissions must conform to Springer's style for Proceedings and Other Multiauthor Volumes and should not exceed 10 pages. Submissions and reviews will be handled by Easychair (to be specified on the website). An author of an accepted paper must register to IDC 2017 in order to have the paper published. Each accepted paper must be presented at the symposium by one of the authors. Authors of the best papers presented in the Symposium will be invited to submit extended versions of their papers in the following Journals: ComSIS - Computer Science and Information Systems Journal Two-year impact factor (2015): 0.623 Information Technology And Control Impact factor (2015): 0.633 TOPICS Symposium topics include, but are not limited to: 1. Intelligent Distributed Frameworks and Architectures - Methodologies for intelligent distributed systems and applications - Autonomous agents and multi-agent systems - Distributed problem solving and decision making - Hybrid systems involving software agents, robots and human actors - Distributed frameworks and middleware for the Internet of Things - Pervasive computing and Context-aware intelligent computing - Virtualization infrastructures for intelligent computing 2. Organization and Management - Self-organizing distributed and multi-agent systems - Autonomous and adaptive distributed systems - Emerging and collective behaviors in complex distributed systems - Modeling and simulation of intelligent distributed systems - Intelligent integration of heterogeneous data and processes - Bio-inspired and nature-inspired distributed computing 3. Intelligent Distributed Knowledge Representation and Processing - Information extraction and retrieval in distributed environments - Knowledge integration and fusion from distributed sources - Data mining and knowledge discovery in distributed environments - Ontologies/meta-data for heterogeneous resources and services - Distributed fusion of sensor data streams 4. Networked Intelligence - Intelligence in mobile and ubiquitous computing - Agent-based sensor networks - E-service and web intelligence - Intelligence in peer-to-peer systems - Security, privacy, trust and reputation 5. Intelligent Distributed Applications - Ambient intelligence - Applications in e-business/e-commerce, e-learning, e-health, e-science, e-government - Crisis management - Intelligent grid and cloud infrastructure - Simulations of groups and crowds - Mobile robots IMPORTANT DATES - Paper submission: April 4, 2017 - Notification of acceptance: May 13, 2017 - Camera-ready papers: May 29, 2017 - Registration: July 15, 2017 COMMITTEES General Chairs - Mirjana Ivanović, University of Novi Sad, Serbia - Costin Bădică, University of Craiova, Romania Program Committee Chairs - Jürgen Dix, Clausthal University of Technology, Germany - Michele Malgeri, University of Catania, Italy - Zoran Jovanović, University of Belgrade, Serbia VENUE The symposium will be held in Belgrade at the School of Electrical Engineering. The School of Electrical Engineering, together with the School of Civil Engineering and the School of Architecture, is located in one of the most beautiful buildings of the University of Belgrade in Kralja Aleksandra Boulevard 73. The symposium venue is approximately - 1km away from the House of the National Assembly of Serbia, - 1km away from the Church of Saint Sava (one of the largest Orthodox churches in the world), - 2km away from Square of the Republic (Belgrade's central square) and Knez Mihailova Street (the main pedestrian zone in Belgrade), - 3km away from Belgrade Fortress and Kalemegdan Park (the largest park and the most important historical monument in Belgrade located on a cliff above the junction of the River Sava and the Danube) From wjamroga at in.tu-clausthal.de Wed Nov 30 10:09:48 2016 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Wed, 30 Nov 2016 10:09:48 +0100 Subject: 19th European Agent Systems Summer School (EASSS-2017), 7-11 August 2017, Gdansk, Poland Message-ID: <60c52cd6-24cc-a69d-682a-fd3f4c861482@in.tu-clausthal.de> ************************************************************************ *********** FIRST ANNOUNCEMENT ************ 19th European Agent Systems Summer School (EASSS-2017) to be held at the University of Gdansk, Poland 7-11 August 2017 Web page: http://easss2017.ipipan.waw.pl/ Contact: easss2017 at ipipan.waw.pl ************************************************************************ ABOUT EASSS-2017 Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a highly successful forum for knowledge exchange between researchers in the field of autonomous agents and multi-agent systems. The previous editions of EASSS took place in Catania (2016), Barcelona (2015), Chania (2014), London (2013), Valencia (2012), Girona (2011), Saint-Etienne (2010), Turin (2009), Lisbon (2008), Durham (2007), Annecy (2006), Utrecht (2005), Liverpool (2004), Bologna (2003), Barcelona (2002), Prague (2001), Saarbruecken (2000), and Utrecht (1999). The 19th European Agent Systems Summer School will be held at the University of Gdansk, Poland, from the 7th to the 11th of August 2017. As was the case with the earlier editions, EASSS-2017 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-Agent Systems. The courses are aimed at advanced Master's students, PhD students, and other young researchers, and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/). IMPORTANT DATES Applications for student grants: 30 May 2017 Notification of grant approval: 3 June 2017 Early registration: 7 June 2017 Late registration: 20 July 2017 Summer school: 7-11 August, 2017 REGISTRATION The early registration fee is expected to be between 300 and 350 EUR. This will include participation in the courses, coffee breaks and lunches, and online access to the materials. We also hope to include a social event in the fee if the funds allow. As in the previous years, we hope to offer some student grants to cover the early registration fee. More details will be provided soon. ABOUT GDANSK Gdansk is a lively city in the North of Poland, on the coast of the Baltic Sea. It is one of the country's main academic centres, as well as one of the top tourist destinations. Highlights include the medieval Hanseatic old town, a beautiful beach on the Baltic, the early 1900s spa resort of Sopot, and the Solidarity museum in the former Gdansk shipyard. The city has direct flight connections from many destinations in Europe, including cheap flights by Ryanair and Wizzair. The summer school will take place at the Oliwa Campus of the University of Gdansk. SCIENTIFIC COMMITTEE - Umberto Grandi, IRIT – Université Toulouse 1 Capitole, France - Wojtek Jamroga, Polish Academy of Sciences, Poland - Brian Logan, University of Nottingham, UK MORE INFO & CONTACT The most up-to-date information about the summer school is available at the EASSS'17 website: http://easss2017.ipipan.waw.pl/ . Should you have any questions, please contact us at easss2017 at ipipan.waw.pl . -- Prof. Dr. Wojciech Jamroga Associate Professor Institute of Computer Science, Polish Academy of Sciences http://krak.ipipan.waw.pl/~wjamroga/ From epontell at cs.nmsu.edu Wed Nov 30 16:08:54 2016 From: epontell at cs.nmsu.edu (epontell) Date: Wed, 30 Nov 2016 08:08:54 -0700 Subject: TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming Message-ID: <95D42582-0878-4B7F-91D5-841DC9B90CC7@cs.nmsu.edu> [Apologies for multiple copies of this message] Special Issue of Theory and Practice of Logic Programming Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming http://www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/ Since its inception, logic programming has been recognized as an ideal paradigm for addressing the needs of parallel computing. An extensive literature has been developed exploring issues like automated parallelization of logic programs, the use of logic programs to describe parallel and distributed computations, and logic programming models to capture concurrency and facilitate the development of provably correct concurrent applications. After over 30 years of research in these domains, the state of the art has reached a stage where technologies are highly complex and sophisticated, and applications are plentiful. Yet, the continuous development of novel architectures (e.g., the onset of GPU-based computing; the widespread use of simple inter-connected  devices, like Arduino and Raspberry Pi; the development of affordable multi-core platforms and reconfigurable computing; the widespread use of cloud computing), the appearance of new domains and potential applications (e.g., big data), and the developments in novel logic programming languages and paradigms are creating new research opportunities and fueling new ideas and developments. The goal of this special issue is to provide a multi-fold perspective of research at the junction between parallel and distributed computation and (constraint) logic programming: 1. Provide well-thought assessments of the state of the art (e.g., in the form of well organized surveys, personal perspectives) 2. Describe cutting-edge coverage of new developments (e.g., novel execution models, innovative systems and implementations) 3. Describe new research directions, offering clear motivations, new perspectives and solid foundations for other researchers to build upon 4. Novel applications (e.g., in big data, cyber-physical systems) that critically rely on the use on the integration of parallelism and logic programming SUBMISSION DEADLINES: * Optional Notes of Interest: December 1st 2017 (to facilitate planning) * Title and Abstract: January 30, 2017 * Full Paper: March 31, 2017 SUBMISSION INSTRUCTIONS: Please submit notes of interest and title/abstract to epontell at cs.nmsu.edu. Submissions of manuscripts must be made in the TPLP format   http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014.pdf   and handled through the TPLP Submission site (please select the appropriate option under the Special Issue category):   https://mc.manuscriptcentral.com/tplp GUEST EDITOR: Enrico Pontelli, epontell at cs.nmsu.edu, New Mexico State University, USA Ferdinando Fioretto, ffiorett at cs.nmsu.edu, New Mexico State University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: