From icatpn-16 at petrinet.de Wed Dec 2 00:18:45 2015 From: icatpn-16 at petrinet.de (Petri Nets PC Chairs 2016) Date: Wed, 2 Dec 2015 00:18:45 +0100 Subject: ICATPN 2016: Call for Papers and Announcement Petri Nets 2016 Message-ID: <565E2AD5.10500@petrinet.de> *** Apologies for multiple copies due to cross-posting *** *** Please forward to colleagues who might be interested *** =========================================================== Call for Papers and Announcement Petri Nets 2016 PETRI NETS 2016 37th International Conference on Application and Theory of Petri Nets and Concurrency in Toruń, Poland, June 19-24, 2016 Co-located with ACSD 2016: International Conference on Application of Concurrency to System Design Additional information about the conference can be found at: http://pn2016.mat.umk.pl Contact e-mail: pn2016 at mat.umk.pl ====================================================================== Two kinds of papers can be submitted: * Regular papers (max 20 pages) describing original results pertaining to the development of the theory of Petri Nets and distributed and concurrent systems in general, new results extending the applicability of Petri Nets, or case studies, application and experience reports pertinent to the practical use of Petri Nets and concurrency. * Tool papers (max 10 pages) describing a computer tool based on Petri Nets (not an application of the tool or the theory behind the tool). The tool should be available for use by other groups (but not necessarily for free). The submission should indicate how the reviewers can get access to the tool (this must be for free). The tool will be demonstrated in the Tool Exhibition, in addition to being presented in a conference talk. Submitted papers must: * be contributions that have not been published or submitted to other conferences/journals before or in parallel with this conference. * clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other work. * be in English and in the Springer LNCS-format: http://www.springer.de/comp/lncs/authors.html. * adhere to the page limit for the relevant category (see above). * be sent electronically (as a PDF file) no later than January 15, 2016 using the website http://www.easychair.org/conferences/?conf=petrinets2016 . The title page must: * contain a short abstract and a classification of the topics covered, preferably using the list of topics above. * clearly indicate whether the paper is submitted as a regular paper or tool paper. Submissions violating the above requirements may be immediately rejected by the PC Chairs. Important Dates: ----------------------------------------------------------- Submission of Papers: January 10, 2016 Notification: March 1, 2016 Final Version Due: March 15, 2016 Workshops & Tutorials: June 19-21, 2016 Main Conferences: June 22-24, 2016 The deadline for submission of papers is STRICT. However, if you submit the title page by January 10 it is sufficient to submit the full paper by January 15. Some of the best papers accepted for the conference will be invited as submissions to a special issue of the Fundamenta Informaticae journal. General topics related to concurrency - Model checking and verification of distributed systems - Verification of infinite-state or parametric systems - Causality/partial order theory of concurrency - Educational issues related to concurrency - New issues and developments in the theory of concurrency - Modelling of hardware and biological systems Topics specific to Petri nets - System design using nets - Analysis and synthesis, structure and behaviour of nets - Relationships between Petri Nets and other approaches - Net-based semantical, logical and algebraic calculi - Symbolic net representation (graphical or textual) - Computer tools for nets - Experience with using nets, case studies - Higher-level net models - Timed and stochastic nets - Standardisation of nets - Experience reports describing applications of nets to different kinds of systems and application fields, e.g.: flexible manufacturing systems, real-time systems, embedded systems, defence systems, biological systems, health and medical systems, environmental systems, hardware, telecommunications, railway networks, office automation, workflows, supervisory control, protocols and networks, Internet, e-commerce and trading, programming languages, performance evaluation, operations research ======================================================================= Tool Exhibition: On Wednesday June 22, 2016, there will be a tool exhibition. It consists of informal demonstrations for small groups/individuals, and there are no scheduled talks. Requests for participation in the tool exhibition must be sent to the Tool Exhibition Chair before June 1, 2016: pn2016 at mat.umk.pl They should include a link to the web pages for the tool (or a short description of the tool). The demonstrators bring their own machines, while the organisers may be requested to give access to the Internet. In case of any comments or questions, please contact the organizers: via email: pn2016 at mat.umk.pl via http://pn2016.mat.umk.pl Organizing Chair: Łukasz Mikulski (Nicolaus Copernicus University, Toruń) PC-Chairs: Fabrice Kordon (Université P. & M. Curie, Paris) Daniel Moldt (University of Hamburg, Hamburg) -- Please contribute to Petri Nets 2016: http://pn2016.mat.umk.pl http://www.PetriNet.de From A.Visser at uva.nl Wed Dec 2 12:43:51 2015 From: A.Visser at uva.nl (Visser, A.) Date: Wed, 2 Dec 2015 11:43:51 +0000 Subject: Deadline Extension: The Future of Rescue Simulation workshop 29 Feb - March 4, 2016. Message-ID: <0963669047ECDE4B9EF137DF26A5E25044760DCC@MBX04.uva.nl> (Apologies for cross-postings.) Dear all, We have now an interesting list of participants for the Future of Rescue Simulation workshop. https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/ Because there are still 7 positions with a small amount travel support (€ 300) is available (max number of participants is 25), the deadline is extended to December 10th. The travel support could cover your stay in the Netherlands. The workshop itself has no registration fee. On behalf of the organization committee, Arnoud Visser, Universiteit van Amsterdam Francesco Amigoni, Politecnico di Milano, Italy Masaru Shimizu, Chukyo University, Aichi, Japan ********************************************************************************************************************** Call for Participation The Workshop on the Future of Rescue Simulation 29 Feb - March 4, 2016 Snellius Venue, Lorentz Center Niels Bohrweg 1, Leiden, The Netherlands https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/ ********************************************************************************************************************** Important Dates ------------------- Pre-registration: December 10th, 2015 Participant selection: December 15th, 2015 (25 participants) Registration: December 31th, 2015 Workshop Goal ----------------- The goal of the workshop is to redefine the challenge of the RoboCup Rescue Simulation virtual robot competition, make the transition from the current Unreal based environment towards a ROS / Gazebo based environment and define the roadmap of the scientific challenge in the competition for the coming 5 years. Participants -------------- The workshop is a combination of brainstorming and hacking; lectures and tutorials. The venue has a small lecture room, 7 offices and a common room. We actively promote involvement from all over the world, from participants involved in related initiatives, such as the virtual competition of the DARPA Robotics Challenge, the Japan Virtual Robotics Challenge and the real RoboCup Rescue League. Pre-registration procedure ----------------------- The venue and workshop has a limit of 25 participants. Participants will be selected based on their technical and academic background, as indicated in the pre-registration form: https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/IntentWorkshop.txt. Please email this form as attachment to francesco.amigoni at polimi.it The selection of participants will be made on a good distribution of diversity and contribution potential. Program ---------- Monday - Getting accustomed to USARSim / Gazebo / ROS Tuesday - Modifying Gazebo with new sensor / actuator models Wednesday - Creating a rescue world for Gazebo Thursday - Setting up a try-out competition Friday - Try to apply your code to real robots A more detailed program is maintained at https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/ Travel support --------------- Depending on the contribution of the sponsors, partial travel support could be available for the participants. Workshop organizers ---------------- Arnoud Visser, Universiteit van Amsterdam Francesco Amigoni, Politecnico di Milano, Italy Masaru Shimizu, Chukyo University, Aichi, Japan -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From N.Bulling at tudelft.nl Wed Dec 2 22:06:49 2015 From: N.Bulling at tudelft.nl (Nils Bulling - EWI) Date: Wed, 2 Dec 2015 21:06:49 +0000 Subject: Call for Papers: Workshop on Logical Aspects of Multi-Agent Systems (LAMAS@AAMAS) Message-ID: <727DF023-16E5-4427-8DAC-85F90DFD81FE@tudelft.nl> ======================================================== 9th Workshop on Logical Aspects of Multi-Agent Systems *** LAMAS 2016 *** (satellite workshop of AAMAS 2016) May 9 or 10, 2016, Singapore http://ii.tudelft.nl/~nils/lamas2016/ 1st Call for Papers ======================================================== ================================= INTRODUCTION ================================= There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas. The workshop is intended to cover, but it is not limited to, the following subjects: - Logical systems for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - Logic in game theory - Logic in social choice theory - Deductive systems and decision procedures for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Logic-based tools for MAS - Applications of logics in MAS ================================= SUBMISSION ================================= Authors are invited to submit papers in the following three categories: - Regular papers up to 15 pages, describing original unpublished research. Position papers and visionary work in progress can also be submitted in this category. Simultaneous submission to another venue is not allowed. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Extended abstracts of 2-5 pages reporting interesting and relevant work that has been published (or accepted for publication) in the last 12 months. Submissions should be anonymous, subject to double-blind reviewing procedure. Each submission will be reviewed by at least 2 PC members. Papers must be in PDF format and prepared according to the Springer LNCS format. For templates and instructions for authors, please see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Papers must be submitted via Easychair: https://easychair.org/conferences/?conf=lamas2016 ================================= PROCEEDINGS AND POST-PROCEEDINGS (Journal Special Issue of STUDIA LOGICA) ================================= All accepted workshop papers will be made available to workshop registrants in electronic form. No formal publication of workshop papers is planned, besides the selected "visionary paper" and "best paper" as explained below. Workshop post-proceedings are planned as a journal special issue of STUDIA LOGICA. Authors of selected papers will be invited to submit to the special issue. All submissions will be subject to another reviewing and selection process according to the standards of STUDIA LOGICA. ================================= VISIONARY PAPER AND BEST PAPER ================================= The most “visionary paper” will be published by Springer in a book under the Lecture Notes in Artificial Intelligence (LNAI) - Hot Topics series. The book will be a compilation of the most visionary papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop. Additionally, the “best paper” will be published by Springer in a book under the Communications in Computer and Information Science (CCIS) series. The book will be a compilation of the best papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop. Authors of the selected most visionary paper and the best paper are expected to provide their latex files promptly upon request. ================================= Keynote Speaker ================================= To be announced ================================= IMPORTANT DATES ================================= Paper submission: February 1, 2016 Author notification: March 2, 2016 Camera-ready deadline: March 10, 2016 Workshop: May 9 or 10, 2016 ================================= WORKSHOP and PC CHAIRS ================================= Nils Bulling, TU Delft, NL Davide Grossi, University of Liverpool, UK ================================= PROGRAM COMMITTEE (confirmed members) ================================= Thomas Ågotnes, University of Bergen Natasha Alechina, University of Nottingham Thomas Bolander, DTU Michael Fisher, University of Liverpool Nina Gierasimczuk, ILLC, University of Amsterdam Valentin Goranko, Stockholm University Andreas Herzig, IRIT-CNRS Koen Hindriks, Delft University of Technology Wiebe van der Hoek, University of Liverpool Wojtek Jamroga, Polish Academy of Sciences Joao Leite, NOVA LINCS, Universidade NOVA de Lisboa Brian Logan, University of Nottingham Alessio Lomuscio, Imperial College London Emiliano Lorini, IRIT John-Jules Meyer, Utrecht University Aniello Murano, Universita’ di Napoli "Federico II" Alessandra Palmigiano, Technical University of Delft Wojciech Penczek, ICS PAS and Siedlce University Daniele Porello, ISTC, CNR R. Ramanujam, Institute of Mathematical Sciences, Chennai Pierre-Yves Schobbens, University of Namur Sonja Smets, University of Amsterdam Nicolas Troquard, LACL, Univ. Paris Est-Créteil ================================= ORGANIZATION AND CONTACT ================================= The workshop is organized by Nils Bulling, TU Delft, and Davide Grossi, University of Liverpool. In case of questions, do not hesitate to contact us at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk, respectively. — Priv.-Doz. Dr. rer. nat. habil. Nils Bulling Interactive Intelligence Group Delft University of Technology The Netherlands http://www.nilsbulling.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From xrambous at aurora.fi.muni.cz Thu Dec 3 15:49:12 2015 From: xrambous at aurora.fi.muni.cz (TSD 2016) Date: Thu, 03 Dec 2015 15:49:12 +0100 Subject: TSD 2016 - Preliminary Announcement Message-ID: ********************************************************* TSD 2016 - PRELIMINARY ANNOUNCEMENT ********************************************************* Nineteenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2016) Brno, Czech Republic, 12-16 September 2016 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. The TSD 2016 conference will be accompanied by a one-day satellite workshop Community-based Building of Language Resources, CBBLR The main topic of the workshop is directed at building new language resources, especially for languages with no or too little existing language resources. The workshop is organized in cooperation with the HaBiT CZ-NO project Consortium, submissions from other resource development projects are more than welcomed. The workshop submissions will undergo two separate review processes - the best papers which will succeed in both review processes (by the TSD 2016 Conference PC and CBBLR Workshop 2016 PC) will be published in the TSD 2016 Springer Proceedings, all other accepted CBBLR workshop papers will be published in a separate proceedings with ISBN. The CBBLR workshop will take place on September 12 2016 in the conference venue. The TSD 2016 conference will be directly followed by a meeting of the working groups and management committee of the ISCH COST Action IS 1305 European Network of e-Lexicography (ENeL) http://www.elexicography.eu/ TOPICS Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (morphological and syntactic analysis, synthesis and disambiguation, multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection) Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies) Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues) Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) Papers on processing of languages other than English are strongly encouraged. PROGRAM COMMITTEE Elmar Noeth, Germany (general chair) Eneko Agirre, Spain Genevieve Baudoin, France Vladimir Benko, Slovakia Paul Cook, Australia Jan Cernocky, Czech Republic Simon Dobrisek, Slovenia Kamil Ekstein, Czech Republic Karina Evgrafova, Russia Darja Fiser, Slovenia Eleni Galiotou, Greece Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, United Kingdom Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Yannis Haralambous, France Hynek Hermansky, USA Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Maria Khokhlova, Russia Daniil Kocharov, Russia Miloslav Konopik, Czech Republic Ivan Kopecek, Czech Republic Valia Kordoni, Germany Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Bernardo Magnini, Italy Vaclav Matousek, Czech Republic France Mihelic, Slovenia Roman Moucek, Czech Republic Hermann Ney, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Maciej Piasecki, Poland Agnieszka Mykowiecka, Poland Josef Psutka, Czech Republic James Pustejovsky, USA German Rigau, Spain Leon Rothkrantz, The Netherlands Anna Rumshisky, USA Milan Rusko, Slovakia Mykola Sazhok, Ukraine Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Stefan Steidl, Germany Georg Stemmer, Germany Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Pascal Wiggers, The Netherlands Yorick Wilks, United Kingdom Marcin Wolinski, Poland Victor Zakharov, Russia FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. CONFERENCE PROGRAM The conference program will include oral presentations and poster/demonstration sessions with sufficient time for discussions of the issues raised. IMPORTANT DATES March 15 2016 ............ Submission of abstract March 22 2016 ............ Submission of full papers May 15 2016 .............. Notification of acceptance May 31 2016 .............. Final papers (camera ready) and registration August 8 2016 ............ Submission of demonstration abstracts August 15 2016 ........... Notification of acceptance for demonstrations sent to the authors September 12-16 2016 ..... Conference date The contributions to the conference will be published in proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. ADDRESS All correspondence regarding the conference should be addressed to Ales Horak, TSD 2016 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 18 63 fax: +420-5-49 49 18 20 email: tsd2016 at tsdconference.org The official TSD 2016 homepage is: http://www.tsdconference.org/tsd2016 LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000 and is the country's judiciary and trade-fair center. Brno is the capital of South Moravia, which is located in the south-east part of the Czech Republic and is known for a wide range of cultural, natural, and technical sights. South Moravia is a traditional wine region. Brno had been a Royal City since 1347 and with its six universities it forms a cultural center of the region. Brno can be reached easily by direct flights from London, Munich, or Eindhoven and by trains or buses from Prague (200 km) or Vienna (130 km). From grlmc at grlmc.com Sat Dec 5 10:38:47 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 05 Dec 2015 10:38:47 +0100 Subject: AlCoB 2016: 2nd call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************************ 3RD INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   ALCOB 2016   TRUJILLO, SPAIN   JUNE 21-23, 2016 Organized by: Computer Architecture and Logic Design Group (ARCO) University of Extremadura Extremadura Centre for Advanced Technologies (CETA-Ciemat) Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/alcob2016/ ************************************************************************************ 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 (2014) and Mexico City (2015). 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 2016 will take place in Trujillo, homeland of the so-called "conquistadores" who arrived in Peru in the XVI century. The venue will be the Extremadura Centre for Advanced Technologies.   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 2016 will consist of: invited lectures invited tutorials peer-reviewed contributions   INVITED SPEAKERS (to be completed): S. Cenk Sahinalp (SimonFraserUniversity), Big Data Algorithmics for Cancer Genomics David Sankoff (University of Ottawa), The Evolution of Gene Order in the Flowering Plants   PROGRAMME COMMITTEE: Can Alkan (Bilkent University, Ankara, Turkey) Timothy L. Bailey (University of Queensland, Brisbane, Australia) Vladimir Bajic (King Abdullah University of Science and Technology, Thuwal, Saudi Arabia) Geoff Barton (University of Dundee, UK) Inanc Birol (University of British Columbia, Vancouver, Canada) Jacek Błażewicz (PoznańUniversity of Technology, Poland) Alan P. Boyle (University of Michigan, Ann Arbor, USA) Vladimir Brusic (NazarbayevUniversity, Astana, Kazakhstan) Liming Cai (University of Georgia, Athens, USA) Rita Casadio (University of Bologna, Italy) Ken Chen (University of Texas MD AndersonCancerCenter, Houston, USA) Jason Ernst (University of California, Los Angeles, USA) Laurent Gautier (Novartis Institutes for BioMedical Research, Cambridge, USA) Manolo Gouy (ClaudeBernardUniversity Lyon 1, France) Michael Gribskov (PurdueUniversity, West Lafayette, USA) Iman Hajirasouliha (Stanford University, USA) John Hancock (Genome Analysis Centre, Norwich, UK) Artemis Hatzigeorgiou (University of Thessaly, Volos, Greece) Fereydoun Hormozdiari (University of California, Davis, USA) Kazutaka Katoh (Osaka University, Japan) Evangelos Kranakis (Carleton University, Ottawa, Canada) Lukasz Kurgan (University of Alberta, Edmonton, Canada) Bill Majoros (DukeUniversity, Durham, USA) Lennart Martens (Ghent University, Belgium) Maria-Jesus Martin (European Bioinformatics Institute, Hinxton, UK) Carlos Martín-Vide (Rovira i VirgiliUniversity, Tarragona, Spain, chair) Folker Meyer (Argonne National Laboratory, USA) Kenta Nakai (University of Tokyo, Japan) Matteo Pellegrini (University of California, Los Angeles, USA) Mihaela Pertea (JohnsHopkinsUniversity, Baltimore, USA) Ben Raphael (BrownUniversity, Providence, USA) Paolo Ribeca (Pirbright Institute, Woking, UK) Denis Shields (UniversityCollegeDublin, Ireland) Fredj Tekaia (Pasteur Institute, Paris, France) Alessandro Verri (University of Genova, Italy) Fuli Yu (BaylorCollege of Medicine, Houston, USA) Daniel Zerbino (European Bioinformatics Institute, Hinxton, UK) Kaizhong Zhang (University of WesternOntario, London, Canada) Weixiong Zhang (WashingtonUniversity in St. Louis, USA) Zhongming Zhao (VanderbiltUniversity, Nashville, USA) Yaoqi Zhou (GriffithUniversity, Brisbane, Australia) ORGANIZING COMMITTEE: María Botón-Fernández (Trujillo, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Miguel A. Vega-Rodríguez (Cáceres, co-chair) Florentina Lilica Voicu (Tarragona) LOCAL COMMITTEE: Leslye Alarcón (Cáceres) María Botón-Fernández (Trujillo, co-chair) José M. Granado-Criado (Cáceres) Sergio Santander-Jiménez (Cáceres) Miguel A. Vega-Rodríguez (Cáceres, co-chair)   SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=alcob2016   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 IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB, 2014 JCR impact factor: 1.438, quartile Q1) 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 period for registration is open from October 30, 2015 to June 21, 2016. The registration form can be found at: http://grammars.grlmc.com/alcob2016/Registration.php DEADLINES: Paper submission: January 26, 2016 (23:59 CET) Notification of paper acceptance or rejection: March 1, 2016 Final version of the paper for the LNCS/LNBI proceedings: March 15, 2016 Early registration: March 15, 2016 Late registration: June 7, 2016 Submission to the journal special issue: September 23, 2016   QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS: AlCoB 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Centro Extremeño de Tecnologías Avanzadas (CETA-CIEMAT) Universidad de Extremadura Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Sun Dec 6 11:19:37 2015 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Sun, 6 Dec 2015 11:19:37 +0100 Subject: KR 2016 Doctoral Consortium Message-ID: <0467A717-50A9-4193-AE7E-7FC801AAB1AD@acm.org> KR 2016 DOCTORAL CONSORTIUM Call for Applications Cape Town, South Africa 25-29 April 2016 http://kr.org/KR2016/ The 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program that introduces students to senior researchers with similar research interests. The aims of the consortium are: - to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; - to promote contacts among PhD students working in similar areas; - to support students with information and advice on academic, research and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but well-motivated applications from students who are at earlier or later stages of their doctoral studies will still be considered. 2) STUDENT SPONSORSHIPS Thanks to the generous support of our sponsors, KR will provide registration and accommodation for selected students. We expect to be able to provide support for all Doctoral Consortium participants that volunteer to help with local organization. Additionally, there is dedicated NSF funding to help cover the travel costs of Doctoral Consortium participants from US universities. More details on student support can be found on the KR website. 3) APPLICATION SUBMISSION Applications must be submitted by email to the following address: kr2016dc at gmail.com Each application must contain the following materials: - Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum in AAAI style (http://www.aaai.org/Publications/Author/author.php). - Curriculum Vitae. A description of your background and relevant experience (research, education, employment). - Letter of recommendation. A letter from your thesis advisor that states that he/she supports your participation in the DC. - Indication of whether you request a sponsored studentship, and if so, whether you volunteer to help with local organization during KR, DL, and NMR. Optionally, you can suggest 3-5 potential mentors with similar research interests as you, who could give you good advice on technical aspects of your work, and/or your career. The most preferred way of submission is to combine the thesis summary and the letter of recommendation (and, optionally, the list of suggested mentors) into a single PDF document. If you cannot do that, archive the documents into a single zip file. 4) IMPORTANT DATES - 21 December 2015: Deadline for application - 15 January 2015: Acceptance notification - 25-29 April 2015: Doctoral consortium For further information, please contact the Doctoral Consortium chairs: Meghyn Bienvenu, CNRS (meghyn.bienvenu at lirmm.fr) Joohyung Lee, Arizona State University (joolee at asu.edu) -- Ivan Varzinczak - http://member.acm.org/~ijv Centre de Recherche en Informatique de Lens Université d’Artois, France From tommaso.dinoia at poliba.it Sun Dec 6 13:18:13 2015 From: tommaso.dinoia at poliba.it (Tommaso Di Noia) Date: Sun, 6 Dec 2015 13:18:13 +0100 Subject: PostDoc Positions at PoliBA - Italy Message-ID: <56642785.1060008@poliba.it> 3 POSTDOC POSITIONS The Information Systems Laboratory (SISINF lab) of the Department of Electrical and Information Engineering, Polytechnic University of Bari (Politecnico di Bari), invites qualified researchers to express their interest for 3 vacant positions as Post-Doctoral Researcher in one of the following main topics: * Knowledge Graphs for Natural Language Processing * Linked Open Data * Semantic Knowledge Mining and Web Intelligence * Big Data Management and Analysis The candidate will work in collaboration with other researchers, developers and students on national and international projects managed by SISINF lab. What is Required: * PhD degree in computer science or a related technical field. * Demonstrated ability to work independently and collaboratively in an interdisciplinary team. * Excellent academic/research record on the topics of interests. * Oral and written proficiency in English. Additional Desired Qualifications: * Creation and management of knowledge graphs. * Machine Learning with massive data and related tools. * Natural Language Processing and related tools. * Named Entity Recognition and Entity Linking. * Linked Open Data technologies and applications. * Proficiency and experience in programming languages such as Java or Python. The work will be supervised by Tommaso Di Noia (http://sisinflab.poliba.it/dinoia/) Interested applicants are invited to submit a detailed Curriculum Vitae (CV), as well as a description of their academic and research experiences in English to Tommaso Di Noia: tommaso.dinoia at poliba.it Workplace: Polytechnic University of Bari - Italy Information Systems Laboratory - http://sisinflab.poliba.it Bari is a city with a wonderful climate all year long and with a lively social life. The international Bari airport offers connections to key international destinations, including several low-cost airline flights. Gross salary: € 26.214,60/year. The posting shall remain open until the position is filled. The expected starting date is January 1, 2016 (at last February 1, 2016). From minjie at uow.edu.au Mon Dec 7 01:54:01 2015 From: minjie at uow.edu.au (Minjie Zhang) Date: Mon, 7 Dec 2015 00:54:01 +0000 Subject: FW: CFPs: ACAN2016 in conjunction with AAMAS2016, 9-13 May 2016, Singapore Message-ID: <9d9b252736f9454a95269bf837e04264@dori.ad.uow.edu.au> From: Minjie Zhang Sent: Monday, 7 December 2015 11:51 AM To: 'DAI-List at engr.sc.edu' Subject: CFPs: ACAN2016 in conjunction with AAMAS2016, 9-13 May 2016, Singapore Call for Papers: The Ninth International Workshop on Agent-based Complex Automated Negotiations (ACAN2016) To be held in conjunction with the 15th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2016) http://www.uow.edu.au/~fren/ACAN2016/index.html This workshop will be co-organised in conjunction with the Seventh International Automated Negotiating Agents Competition (ANAC 2016). Important dates * Submission deadline: February 1, 2016 * Acceptance notification: February 22, 2016 * Camera-ready deadline: March 7, 2016 * ACAN2016: May 9 or 10, 2016 Scope and Background Complex Automated Negotiations have been widely studied and are one of the emerging areas of research in the field of Autonomous Agents and Multi-Agent Systems. The complexity in an automated negotiation depends on several factors: the number of negotiated issues, dependencies between these issues, representation of the utility, negotiation procedural and protocol, negotiation form (bilateral or multi-party), time constraints negotiation goals, and so on. Complex automated negotiation scenarios are concerned with negotiation encounters where we may have for instance, a large number of agents, a large number of issues with strong interdependencies, real time constraints, concurrent and interdepended negotiation, and etc. Many real world negotiation scenarios present one or more of the mentioned elements. Software agents can support the automation of complex negotiations, by negotiating on the behalf of their owners and providing adequate strategies to their owners to achieve realistic, win-win agreements. In order to provide solutions in such complex automated negotiation scenarios, research has focused on incorporating different technologies including search, CSP, graphical utility models, Bayesian nets, auctions, utility graphs, optimization and predicting and learning methods. The applications of complex automated negotiations could include e-commerce tools, decision-making support tools, negotiation support tools, collaboration tools, as well as knowledge discovery and agent learning tools. ACAN2016 will discuss, among others, the following aspects and topics of such complex automated negotiations within the field of Autonomous Agents and Multi-Agent Systems, which have distinct relationships with AAMAS main conference topics: * Complex Automated Negotiations Frameworks and Mechanisms * Bilateral and Multilateral Negotiations, High dimension Multi-Issue Negotiations, * Large Scale Negotiations, Concurrent Negotiations, Multiple Negotiations, * Sequential Negotiations, Negotiations under Asymmetric Information, and so on * Prediction of Opponent's Behaviours and Strategies in Negotiations * Simulation Models and Platforms for Complex Negotiations * Coordination Mechanisms for Complex Negotiations * Matchmaking and Brokering Mechanisms * 2-Sided Matching * Utility and Preference Representations in Negotiations * Computational Complexity of Multi-Issue Negotiations * Real-life Aspects of Electronic Negotiations * Negotiations with Humans, Negotiations in Social Networks etc. * Applications for Automated Negotiations (e.g. cloud computing, smart grid, electronic commerce etc.) A considerable number of researchers in various sub-communities of autonomous agents and multi-agent systems are actively working on these and related issues. They are, for instance, being studied in agent negotiations, multi-issue negotiations, auctions, mechanism design, electronic commerce, voting, secure protocols, matchmaking and brokering, argumentation, co-operation mechanisms and distributed optimization. The goal of this workshop is to bring together researchers from these communities to learn about each other's approaches to the complex negotiation problems, encourages the exchange of ideas between the different areas, and potentially fosters long-term research collaborations to accelerate progress towards scaling up to larger and more realistic applications. Automated Negotiating Agents Competition (ANAC) Special Session From samhar.mahmoud at kcl.ac.uk Mon Dec 7 12:33:54 2015 From: samhar.mahmoud at kcl.ac.uk (Mahmoud, Samhar) Date: Mon, 7 Dec 2015 11:33:54 +0000 Subject: CfP COIN@AAMAS16: Coordination, Organizations, Institutions and Norms in Agent Systems Message-ID: <8296F277-3DE3-4914-8104-014D99A59A5A@kcl.ac.uk> [Apologies if you receive this more than once] -------------------------------------------------------------------------- Call for papers Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN at AAMAS2016) (http://ais.dcs.kcl.ac.uk/coin2016) A workshop co-located with the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016) (http://www.aamas2016.com/) May 9 or 10, 2016, in Singapore OBJECTIVES The pervasiveness of open systems raises a range of challenges and opportunities for research and technological development in the area of autonomous agents and multi-agent systems. Open systems comprise loosely coupled entities interacting within a social space. These entities join the social space in order to achieve some goals that are unattainable by agents in isolation. However, when those entities are autonomous, they might misbehave and, furthermore, in open systems one may not know what entities will be active beforehand, when they may become active or when these entities may leave the system. The challenge in the design and construction of open systems is to devise mechanisms that foster interactions that are conducive to achieving individual or collective goals. Coordination, organizations, institutions and norms are four key governance elements, and the COIN workshops constitute a space for debate and exploration of these four elements for the design and use of open systems. We seek to attract high-quality papers and an active audience to debate mathematical, logical, computational, methodological, implementational, philosophical and pragmatic issues related to the four aspects of COIN. In particular we seek to attract: * papers that present formal treatment of topics, * papers that present interdisciplinary treatment of topics, * papers that provide experimental support to claims, * papers that discuss tools, prototypes and actual working systems, * papers that propose novel and challenging positions, * papers that report on the experience of deployment and application of regulated open MAS, and * papers concerned with modelling, animation and simulation techniques for these types of multi-agent systems. Of particular interest for the workshop are those papers that articulate a challenging or innovative view. COIN is ranked B on the CORE Conference Ranking list: http://portal.core.edu.au/conf-ranks/2160/ IMPORTANT DATES February 1, 2016: Deadline for paper submissions March 7, 2016: Paper notifications sent March 10, 2016: Camera-ready copy due May 9 or 10, 2016: Date of workshop INSTRUCTIONS FOR AUTHORS For preparation of papers please follow the instructions for authors available at the Springer LNCS Web page. The length of each paper including figures and references may not exceed 16 pages. All papers must be written in English and submitted in PDF format. For submission of papers, please use the EasyChair site at https://easychair.org/conferences/?conf=coinaamas16. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the workshop to present the work. PROCEEDINGS Preliminary proceedings will be available before the conference. They will also be distributed to AAMAS 2016 registrants in electronic form. As with previous COIN workshops, it is expected that we will have an LNCS postproceedings. In such case, authors will be invited to submit revised and extended versions of their paper for consideration for a Springer LNCS volume combining the postproceedings of this workshop with those for a second COIN workshop to be held later in 2016. Revised papers must take into account the discussion held during the workshop; hence, only papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. PROGRAM COMMITTEE To be announced COIN STEERING COMMITTEE Huib Aldewereld Frank Dignum Pablo Noriega Viviane Torres da Silva Olivier Boissier Virginia Dignum Julian Padget Wamberto Vasconcelos Tina Balke Nicoletta Fornara Birna van Riemsdijk Javier Vazquez-Salceda Stephen Cranefield Eric Matson Jaime Sichman Marina de Vos George Vouros COIN at AAMAS2016 CO-CHAIRS Samhar Mahmoud (King's College London, United Kingdom) Samhar.mahmoud at kcl.ac.uk Stephen Cranefield (University of Otago, New Zealand) scranefield at infoscience.otago.ac.nz From abraham at informatik.rwth-aachen.de Mon Dec 7 18:02:39 2015 From: abraham at informatik.rwth-aachen.de (Erika Abraham) Date: Mon, 7 Dec 2015 18:02:39 +0100 Subject: 3rd CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik Message-ID: <5665BBAF.6050408@informatik.rwth-aachen.de> =========================================================== CALL FOR PAPERS iFM 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ =========================================================== === Important dates === Abstract submission: December 21, 2015 Paper submission: January 6, 2016 Paper notification: February 29, 2016 Final version: March 14, 2016 Conference: June 1-3, 2016 === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Integration of formal methods into software engineering practice - Hybrid systems - Program verification - Program synthesis - Model checking - Static analysis - Runtime analysis, monitoring, performance evaluation - Decision procedures, SAT and SMT solving - Software engineering - Component-based systems (compositional, embedded, distributed, etc.) - Testing - Abstraction and refinement === Submission guidelines === iFM 2016 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - research papers (max. 15 pages including bibliography) - regular tool papers (max. 15 pages including bibliography) - short tool papers (max. 8 pages including bibliography) - case study papers (max. 15 pages including bibliography) All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, a paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the reviewers. Submissions should be made using the iFM 2016 Easychair site: https://easychair.org/conferences/?conf=ifm2016 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early date, to be indicated by the organizers, and present the paper. === Invited speakers === Marsha Chechik (University of Toronto, Canada) Laura Kovacs (Chalmers University of Technology, Sweden) Reiner Haehnle (Technical University Darmstadt, Germany) Edmund Clarke (Carnegie Mellon University, USA) === Workshops === iFM 2016 will be accompanied by a series of workshops. Further information is available from the conference website http://en.ru.is/ifm/ === Conference location === iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. === Committees === General Chair: Marjan Sirjani (University of Reykjavik, Iceland) Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Marieke Huisman (University of Twente, The Netherlands) Workshop Chair: Marcel Kyas (University of Reykjavik, Iceland) Wojciech Mostowski (Halmstad University, Sweden) Program Committee: Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Bernd Becker (Albert-Ludwigs-University Freiburg, Germany) Clara Benac Earle (Universidad Politecnica de Madrid, Spain) Borzoo Bonakdarpour (McMaster University, Canada) Ferruccio Damiani (Universita di Torino, Italy) Frank de Boer (CWI, The Netherlands) Delphine Demange (University of Rennes 1/IRISA, France) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Dilian Gurov (KTH Royal Institute of Technology, Sweden) Holger Hermanns (Saarland University, Germany) Einar Broch Johnsen (University of Oslo, Norway) Peter Gorm Larsen (Aarhus University, Denmark) Martin Leucker (University of Lubeck, Germany) Dominique Mery (Universite de Lorraine, LORIA, France) Rosemary Monahan (Maynooth University, Ireland) Nadia Polikarpova (MIT, USA) Cesar Sanchez (IMDEA Software Institute, Spain) Sriram Sankaranarayanan (University of Colorado, USA) Ina Schaefer (Technische Universitaet Braunschweig, Germany) Gerardo Schneider (Chalmers, University of Gothenburg, Sweden) Emil Sekerinski (McMaster University, Canada) Armando Tacchella (University of Genoa, Italy) Mark Utting (University of the Sunshine Coast, Australia) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) From alqithami at gmail.com Mon Dec 7 23:40:19 2015 From: alqithami at gmail.com (Saad Alqithami) Date: Mon, 7 Dec 2015 16:40:19 -0600 Subject: CFP: COOS workshop at AAMAS16 Message-ID: The 4th International Workshop on Collaborative Online Organizations - Singapore: MAY 9\10, 2016 - http://www2.cs.siu.edu/~mas/coos16/ - Organized in conjunction with AAMAS 2016 - [ Scope ]: There is a strong ongoing trend for traditional organizations to adapt to socially networked nature of human population. This trend allows organizations to be transformed from brick and mortar to a more online nature. In the collaborative online organizations workshop, we aim to understand the current range of nascent network centric organizations. At one end of the spectrum, this includes human efforts to form collaborative units. On the other end of the spectrum, we seek to understand techniques and methodologies for constructing online agent organizations that represent interests of their human counterparts and take actions autonomously. This workshop will reflect the impacts of social network proliferation and start of agent systems that exploit and explore opportunities heralded by the social media and ever faster pace of interconnectivity. Agents must multitask. Beyond performing their design tasks, they must be aware of the social climate of their environment. They must account for interactions with other agents and humans so as to perform social acts in order to complement their physical and speech acts. Substantial amount of research work is ongoing in distributed knowledge management. Therefore, COOS workshop emphasizes the operational elements of social networks that facilitate elements of online organization. Since this is the growing workshop on this topic, we continue to generate interest for a more in depth and wider span of explorations into the future. Social as well as cognitive foundations surrounding collaborative organizations are of special interest and the focal theme for 2016. This theme includes nature of interactions among individuals engaged in meaningful exchange. Network of interactions in organizations generate and reflect social behaviors embedded in collaboration networks that play central role for their continued functioning and maintenance. Explorations of roles of social capital are within the scope. - [ Topics include but not limited to ]: * Agents-based collaborative environments * Architectures of cognitively reasoned interactions * Cooperation and collaboration mechanisms * Collaborative architectures, infrastructures, intelligence, services, filtering or games * Collaborative social networks and web-based collaboration * Cloud-based collaboration and crowdsourcing * Collective benefits of political fallouts and economic externalities * Computational models of organizations * Digital communities and virtual organizations * Distributed technologies for group collaboration * Globalized networks and grid alliances * Human/robot collaboration * Network-centric warfare * Networked individualism * Networked organizations * Social capital and human-centric based group collaboration * Social networks and community discovery * Social computing and inter-cultural collaboration * Theoretical aspects of distributed collaboration - [ Important Dates ]: Paper Submission: February 1, 2016 Author Notification: March 7, 2016 - For submission instructions and more information, visit: http://www2.cs.siu.edu/~mas/coos16/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From autexier at dfki.de Tue Dec 8 08:51:26 2015 From: autexier at dfki.de (Serge Autexier) Date: Tue, 8 Dec 2015 08:51:26 +0100 (CET) Subject: Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Deadline 28. February 2016 Message-ID: <20151208075126.C26133451AB1@mbp-autexier.informatik.uni-bremen.de> Call for Papers 9th Conference on Intelligent Computer Mathematics - CICM 2016 - July 25-29, 2016 University of Bialystok, Poland http://www.cicm-conference.org/2016 ---------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), Coimbra (Portugal 2014), and Washington DC (USA 2015). This is a call for papers for CICM 2016, which will be held in Bialystok, Poland, July 25-29, 2016. The principal tracks of the conference will be: * Track: Calculemus (chair: Leonardo de Moura) * Track: Digital Mathematical Libraries (DML) (chair: Frank Tompa) * Track: Mathematical Knowledge Management (MKM) (chair: Bruce Miller) * Track: Systems & Data (chair: Moa Johansson) * Track: Doctoral Programme (chair: TBD) Like in previous years, project descriptions are welcomed as well. The overall programme is organized by the General Program Chair Michael Kohlhase. The workshop and publicity chair is Serge Autexier. The local arrangements will be coordinated by Adam Naumowicz. We plan to have proceedings of the conference as in previous years with Springer Verlag as a volume in Lecture Notes in Artificial Intelligence (LNAI). *Important Dates* Conference submissions - Abstract submission deadline: 28. February 2016 - Submission deadline: 6. March 2016 - Reviews sent to authors: 10. April 2016 - Rebuttals due: 13. April 2016 - Notification of acceptance: 25. April 2016 - Camera ready copies due: 10. May 2016 - Conference: 25.-29. July 2016 Work-in-progress and Doctoral Programme - Submission deadline (Doctoral: Abstract+CV): 1. May 2016 - Notification of acceptance: 19. May 2016 - Camera ready copies due: 19. June 2016 More details on the conference are available from http://www.cicm-conference.org/2016/cicm.php?menu=cfp From dlucanu at thor.info.uaic.ro Tue Dec 8 09:48:45 2015 From: dlucanu at thor.info.uaic.ro (Dorel Lucanu) Date: Tue, 8 Dec 2015 10:48:45 +0200 Subject: WRLA 2016: 2nd Call for Papers (including invited speakers) Message-ID: <20151208084845.GA20375@thor.info.uaic.ro> ======================== Call for Papers ================================= WRLA 2016 11th International Workshop on Rewriting Logic and its Applications An ETAPS 2016 satellite event Eindhoven, The Netherlands, April 2-3, 2016 ========================================================================== IMPORTANT DATES * Abstract deadline: January 6th 2016 * Submission deadline: January 10th 2016 * Author notification: February 14th 2016 * Workshop: Saturday April 2nd and Sunday April 3rd, 2016 AIMS AND SCOPE Rewriting is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application domains. It also has good properties as a metalogical framework for representing logics. Several successful languages based on rewriting (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of WRLA is to bring together researchers with a common interest in rewriting and its applications, and to give them the opportunity to present their recent work, discuss future research directions, and exchange ideas. The 2016 edition of WRLA will mark its 20th anniversary since its first edition in Asilomar, California, in 1996. The topics of the workshop include, but are not limited to: A. Foundations * foundations and models of rewriting and rewriting logic, including termination, confluence, coherence and complexity * unification, generalisation, narrowing, and partial evaluation * constrained rewriting and symbolic algebra * graph rewriting * tree automata * rewriting strategies * rewriting-based calculi and explicit substitutions B. Rewriting as a Logical and Semantic Framework * uses of rewriting and rewriting logic as a logical framework, including deduction modulo * uses of rewriting as a semantic framework for programming language semantics * rewriting semantics of concurrency models, distributed systems, and network protocols * rewriting semantics of real-time, hybrid, and probabilistic systems * uses of rewriting for compilation and language transformation C. Rewriting Languages * rewriting-based declarative languages * type systems for rewriting * implementation techniques * tools supporting rewriting languages D. Verification Techniques * verification of confluence, termination, coherence, sufficient completeness, and related properties * temporal, modal and reachability logics for verifying dynamic properties of rewrite theories * explicit-state and symbolic model-checking techniques for verification of rewrite theories * rewriting-based theorem proving, including (co)inductive theorem proving * rewriting-based constraint solving and satisfiability * rewriting-semantics-based verification and analysis of programs E. Applications * applications to logic, mathematics and physics * rewriting models of biology, chemistry, and membrane systems * security specification and verification * applications to distributed, network, mobile, and cloud computing * specification and verification of real-time, probabilistic, and cyber-physical systems * specifications and verification of critical systems * applications to model-based software engineering * applications to engineering and planning INVITED SPEAKERS Nikolaj Bjorner (Microsoft Research) Helene Kirchner (INRIA, France) SUBMISSION We solicit submissions of regular papers, tool papers, and work-in-progress papers. Regular papers must contain original contributions, be clearly written, include appropriate references, and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere. Tool papers have to present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations, emphasise the design and implementation, and give a clear account of the tool's functionality. The described tools must be publicly available via the web. Work-in-progress papers present early-stage work or other types of innovative or thought-provoking work related to the topics of the workshop. The difference between work-in-progress and regular papers is that work-in-progress submissions represent work that has not reached yet a level of completion that would warrant the full-refereed selection process. We encourage researchers and practitioners to submit work-in-progress papers as this provides a unique opportunity for sharing valuable ideas, eliciting useful feedback on ongoing work, and fostering discussions and collaborations among colleagues. All submissions should be formatted according to the guidelines for Springer LNCS papers, and should be submitted electronically using EasyChair at https://easychair.org/conferences/?conf=wrla2016 Regular and work-in-progress papers should not exceed 15 pages including references. Tool papers can have a maximum of 6 pages including references and may have an appendix of up to 4 additional pages with usage details and tool demonstration. PUBLICATION All submissions will be evaluated by the program committee. Regular papers, tool papers, and work-in-progress papers that are accepted will be presented at the workshop and included in the pre-proceedings, which will be available during the workshop. Following the tradition of the last editions, the regular papers, tool papers, and invited presentations will be published as a volume in Springer’s Lecture Notes in Computer Science (LNCS) series to be distributed after the workshop. A special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) will be devoted to extended versions of selected papers from WRLA 2016. PROGRAM COMMITTEE Kyungmin Bae, SRI International, USA Mark van den Brand, Eindhoven University of Technology, The Netherlands Roberto Bruni, University of Pisa, Italy Stefan Ciobaca, Alexandru Ioan Cuza University, Romania Manuel Clavel, IMDEA Software Institute, Spain Francisco Durán, Universidad de Málaga, Spain Joerg Endrullis, Vrije Universiteit Amsterdam, The Netherlands Santiago Escobar, Universidad Politécnica de Valencia, Spain Maribel Fernández, King's College London, UK Kokichi Futatsugi, JAIST, Japan Thomas Genet, IRISA/Université de Rennes 1, France Jürgen Giesl, RWTH Aachen, Germany Deepak Kapur, University of New Mexico, USA Helene Kirchner, INRIA, France Alexander Knapp, Universitat Augsburg, Germany Alberto Lluch Lafuente, Technical University of Denmark, Denmark Dorel Lucanu, Alexandru Ioan Cuza University, Romania (chair) Salvador Lucas, Universidad Politécnica de Valencia, Spain Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain José Meseguer, University of Illinois at Urbana-Champaign, USA Ugo Montanari, University of Pisa, Italy Pierre-Etienne Moreau, Université de Lorraine, France Vivek Nigam, Federal University of Paraíba, Brasil Kazuhiro Ogata, JAIST, Japan Peter Ölveczky, University of Oslo, Norway Miguel Palomino, Universidad Complutense de Madrid, Spain Christophe Ringeissen, INRIA-Lorraine Nancy, France Grigore Rosu, University of Illinois at Urbana-Champaign, USA Vlad Rusu, INRIA Lille Nord-Europe, France Ralf Sasse, ETH Zurich, Switzerland Traian-Florin Serbanuta, University of Bucharest, Romania Mark-Oliver Stehr, SRI International, USA Carolyn Talcott, SRI International, USA Martin Wirsing, Ludwig-Maximilians-Universität München, Germany CONTACT INFORMATION For more information, please contact the organizers dlucanu at info.uaic.ro or visit the workshop web page http://fmse.info.uaic.ro/events/WRLA2016/ . From ricardo.campos at ipt.pt Fri Dec 11 15:20:51 2015 From: ricardo.campos at ipt.pt (Ricardo Campos) Date: Fri, 11 Dec 2015 14:20:51 +0000 Subject: [CFP]: NewsIR Workshop@ECIR2016 Message-ID: iSecond CfP Call for Papers ============ First International Workshop on Recent Trends in News Information Retrieval (NewsIR’16) in conjunction with ECIR 2016 in Padua, Italy http://research.signalmedia.co/newsir16/ Important Dates ============ Submission deadline: 31st January 2016 Notification of acceptance: 28th February 2016 Camera-ready due: 11th March 2016 Workshop date: 20th March 2016 Overview ======= Mainstream media outlets are often among the most relevant, influential and powerful sources of information. This ranges from the influence that newspapers have on elections to the damage to a brand’s reputation that a negative article on a popular blog can cause. Information Retrieval (IR) applied to news has been a popular research area for decades but it would be a mistake to assume that news search has been ‘solved’. Not only can algorithms still be improved but also there are serious gaps in the state of the art that need to be addressed. In this workshop, we will stimulate discussion around new and powerful uses of IR applied to news sources. We invite contributions on any of the multiple IR tasks that can help solve real user problems in this area. Topics of Interest =============== Relevant topics of interest for NewsIR’16 include but are not limited to: – Integration of traditional and social media – Credibility, readability and controversy – Bias and plurality in news – News recommendation – Temporal aspects of news – Event and anomaly detection – Diversification – Summarization of multiple documents – Information Filtering – User-generated content (e.g., using comments to enhance news retrieval) – De-duplication and clustering of news articles – Author identification and disambiguation – Evaluation – Data Visualization Data challenge track ================ We have released a new data collection suitable for many research projects. This consists of c.1m recent news articles from a wide range of sources. One goal of the workshop is to define shared challenges using this data, such as news recommendation, deduplication, multi-document summarization, event detection and clustering. We encourage submissions describing experiments for retrieval tasks on the dataset. This includes, but not limited to: detecting and summarising events over time identifying bias in news sources to different topics and/or different entities; identifying influencers in media coverage and visualising information flow; sentiment analysis on media coverage. Further details, including instructions on how to obtain the data, can be found here: http://research.signalmedia.co/newsir16/signal-dataset.html Workshop structure =============== Authors of accepted papers will be invited to present their papers orally at the workshop and also to present them in an interactive poster session, designed to encourage greater discussion and engagement. There will be two keynote presentations from Dr. Jochen Leidner (Thomson Reuters) and Dr Julio Gonzalo (UNED - Universidad Nacional de Educación a Distancia ). The workshop will also include a panel discussion with members drawn from academia and industry. Confirmed members include Dr. Jochen Leidner (Thomson Reuters), Dr. Gabriella Kazai (Lumi) and Dr. Julio Gonzalo (UNED). This discussion will focus on the commonalities and differences between the communities as they face related challenges in news-based information retrieval. Submission Details =============== We welcome submissions of technical papers (4 pages), data challenge, demos and position papers (2 pages). All papers should be formatted in the ACM double-column style. Submissions will be peer-reviewed by at least three members of the programme committee. We plan to publish the papers as CEUR Workshop Proceedings. Further information about the submission can be found here: http://research.signalmedia.co/newsir16/cfp.html Organising Committee ================= – Miguel Martinez-Alvarez, Signal Media Ltd. – Udo Kruschwitz, University of Essex – Gabriella Kazai, Lumi – Frank Hopfgartner, University of Glasgow – David Corney, Signal Media Ltd. – Ricardo Campos, Polytechnic Institute of Tomar / LIAAD-INESC TEC – Dyaa Albakour, Signal Media Ltd. Program Committee ================ – Ramkumar Aiyengar, Bloomberg, UK – Omar Alonso, Microsoft, USA – Alejandro Bellogin Kouki, UAM, Spain – Horatiu-Sorin Bota, University of Glasgow, UK – Igor Brigadir, Insight Centre for Data Analytics, Ireland – Toine Bogers, Aalborg University Copenhagen (AAU-CPH), Denmark – Marco Bonzanini, Bonzanini Consulting Ltd – Ivan Cantador, UAM, Spain – Arjen De Vries, Centrum Wiskunde & Informatica (CWI), Netherlands – Ernesto Diaz Aviles, IBM Research, Ireland – Angel Castellanos Gonzalez , UNED, Spain – Julio Gonzalo, UNED, Spain – David Graus, University of Amsterdam, Netherlands – Jon Atle Gulla, NTNU, Norway – Charlie Hull, Flax, UK – Alípio Jorge, University of Porto / LIAAD-INESC TEC, Portugal – Jussi Karlgren, Gavagai, Sweden – Marijn Koolen, University of Amsterdam, Netherlands – David D. Lewis, David D. Lewis Consulting, USA – Stefano Mizzaro, University of Udine, Italy – Elaheh Momeni, University of Vienna, Austria – Miles Osborne, Bloomberg, UK – Filipa Peleja, Yahoo! Research, Spain – Vassilis Plachouras, Thomson Reuters, UK – Barbara Poblete, University of Chile, Chile – Muhammad Atif Qureshi, National University of Ireland, Ireland – Paolo Rosso, Universidad Politecnica de Valencia, Spain – Alan Said, Recorded Future, Sweden – Damiano Spina, RMIT, Australia – Jeroen Vuurens, TU Delft, Netherlands – Colin Wilkie, University of Glasgow, UK – Arjumand Younus, National University of Ireland, Ireland – Arkaitz Zubiaga, University of Warwick, UK --------------------------------------------------------------------------------------- Ricardo Campos Assistant Professor – ICT Department Polytechnic Institute of Tomar at Tomar, Portugal Researcher LIADD – INESC TEC at University of Porto, Portugal e-mail: ricardo.campos at ipt.pt e-mail: ricardo.campos at inesctec.pt Web: http://www.ccc.ipt.pt/~ricardo --------------------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Sat Dec 12 18:12:42 2015 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Sat, 12 Dec 2015 18:12:42 +0100 Subject: KR 2016 Doctoral Consortium - Deadline: December 21st Message-ID: <83253FFA-01B5-4950-AFC3-6181D9B743FF@acm.org> KR 2016 DOCTORAL CONSORTIUM Last Call for Applications Cape Town, South Africa 25-29 April 2016 http://kr.org/KR2016/ The 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program that introduces students to senior researchers with similar research interests. The aims of the consortium are: - to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; - to promote contacts among PhD students working in similar areas; - to support students with information and advice on academic, research and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but well-motivated applications from students who are at earlier or later stages of their doctoral studies will still be considered. 2) STUDENT SPONSORSHIPS Thanks to the generous support of our sponsors, KR will provide registration and accommodation for selected students. We expect to be able to provide support for all Doctoral Consortium participants that volunteer to help with local organization. Additionally, there is dedicated NSF funding to help cover the travel costs of Doctoral Consortium participants from US universities. More details on student support can be found on the KR website. 3) APPLICATION SUBMISSION Applications must be submitted by email to the following address: kr2016dc at gmail.com Each application must contain the following materials: - Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum in AAAI style (http://www.aaai.org/Publications/Author/author.php). - Curriculum Vitae. A description of your background and relevant experience (research, education, employment). - Letter of recommendation. A letter from your thesis advisor that states that he/she supports your participation in the DC. - Indication of whether you request a sponsored studentship, and if so, whether you volunteer to help with local organization during KR, DL, and NMR. Optionally, you can suggest 3-5 potential mentors with similar research interests as you, who could give you good advice on technical aspects of your work, and/or your career. The most preferred way of submission is to combine the thesis summary and the letter of recommendation (and, optionally, the list of suggested mentors) into a single PDF document. If you cannot do that, archive the documents into a single zip file. 4) IMPORTANT DATES - 21 December 2015: Deadline for application - 15 January 2015: Acceptance notification - 25-29 April 2015: Doctoral consortium For further information, please contact the Doctoral Consortium chairs: Meghyn Bienvenu, CNRS (meghyn.bienvenu at lirmm.fr) Joohyung Lee, Arizona State University (joolee at asu.edu) -- Ivan Varzinczak - http://member.acm.org/~ijv Centre de Recherche en Informatique de Lens Université d’Artois, France From jpg at ruc.dk Sat Dec 12 21:53:52 2015 From: jpg at ruc.dk (John Patrick Gallagher) Date: Sat, 12 Dec 2015 20:53:52 +0000 Subject: Call for Papers: 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS), affiliated with ETAPS 2016 Message-ID: [Apologies for multiple postings] Call for Papers 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with ETAPS 2016 April 3, 2016. Eindhoven, The Netherlands http://hcvs2016.it.uu.se/ Submission deadlines: - abstract submission: January 25, 2016 - paper submission: February 1, 2016 - paper notification: February 27, 2016 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g. ICLP and CP) and Program Verification community (e.g. CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these two communities in different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Program Committee: Nikolaj Bjorner (Microsoft Research) Mats Carlsson (SICS) Fabio Fioravanti (University of Chieti-Pescara) John Gallagher (Roskilde University and IMDEA Software Institute) - chair Pierre Ganty (IMDEA Software Institute) Arie Gurfinkel (Carnegie Mellon University) Temesghen Kahsai (NASA Ames Research Center, Carnegie Mellon University) Michael Leuschel (University of Duesseldorf) David Monniaux (CNRS/Verimag) Jorge A. Navas (NASA Ames Research Center) Corneliu Popeea (CQSE) Philipp Ruemmer (Uppsala University) - chair Andrey Rybalchenko (Microsoft Research) Valerio Senni (ALES Srl - United Technologies Research Center) Natasha Sharygina (University of Lugano) Peter Stuckey (University of Melbourne) Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://easychair.org/conferences/?conf=hcvs2016. From announce at cs.ucy.ac.cy Sun Dec 13 13:19:03 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 13 Dec 2015 14:19:03 +0200 Subject: The 15th International Conference on Software Reuse (ICSR 2016): Final Combined Call for Contributions Message-ID: *** Final Combined Call for Contributions *** The 15th International Conference on Software Reuse (ICSR 2016) June 5-7, 2016, St. Raphael Resort, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IEZpbmFsIENvbWJpbmVkIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMJMzEJQWRkcmVzc2VzCTEwNTM3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Ficsr2016%2F For decades the International Conference on Software Reuse (ICSR) has been the premier event in the field of software reuse research and technology. The main goal of ICSR is to present the most recent advances and breakthroughs in the area of software reuse and to promote an intensive and continuous exchange among researchers and practitioners. The 15th International Conference on Software Reuse (ICSR 2016) will be held on June 5-7 2016, in Cyprus. CALL FOR RESEARCH PAPERS We invite submissions on new and innovative research results and industrial experience reports in the area of software reuse. The guiding theme of ICSR 2016 is: Software reuse: bridging with social-awareness Development online social networks are gaining ground lately with software engineers participating in different fora collaborating and exchanging ideas and expertise. Software reuse needs to utilize, but also strengthen, this new form of synergies that can be built among engineers. ICSR special theme aims to bring this aspect in software reuse by raising social-awareness, strengthening the existing platforms and tools, and utilizing the vast software information that exists in development social networks. Amongst the numerous important challenges we identified the following major topics for research focusing on reuse with social-awareness: · Social network interactions between developers to support software reuse · Utilization of online social development tools for software reuse · Software reuse to enhance social-awareness · Trust, security and semantic issues of social aspects of software reuse Beyond those novel challenges for software reuse, we solicit submissions dealing with all aspects of software reuse, including, but not limited to the following ones: · Domain analysis and modelling · Asset search and retrieval · Architecture-centric reuse approaches · Component-based reuse · Service-oriented architectures · COTS-based development and reuse of open source assets · Generative development · Domain-specific languages · Software composition and modularization · Model-driven development · Reengineering for reuse · Software product line techniques · Quality assurance for software reuse, such as testing and verification · Reuse of non-code artifacts (process, experience, etc.) · Economic models of reuse · Benefit and risk analysis, scoping · Legal and managerial aspects of reuse · Transition to software reuse · Industrial experience with reuse · Light-weight reuse approaches · Agile reuse · Software evolution and reuse · Reuse for mobile and ubiquitous applications Paper Submission Novel and well-founded work in the wider area of software reuse is highly welcome. We look for strong research work which might have a strong theoretical or empirical foundation. Theoretical work should in particular provide innovative ideas and should be based on a sound theoretical basis. Empirical work based on case studies, empirical research and experiments is also highly welcome. Industrial submissions describing practical experience are also strongly encouraged. Submissions must conform to Springer's Lecture Notes in Computer Science format, and are limited to 16 pages in length, in English. Short papers (up to 8 pages) are accepted as well and should be marked accordingly. You will be able to submit your paper via Easychair. Each submission will be reviewed by at least three members of the Program Committee. We plan to have a best paper award for this conference, details will be announced in due time. Accepted papers will be published in Springer's highly visible LNCS series again. Please note that a full conference (i.e. not a student) registration is required for a technical paper to be published. Moreover, the prestigious Journal of Systems and Software will dedicate a special issue on software reuse for which the authors of selected papers from the conference will be invited to submit an extended version (containing at least 30% new material). The CFP of the special issue can be found here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IEZpbmFsIENvbWJpbmVkIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMJMzEJQWRkcmVzc2VzCTEwNTM3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.journals.elsevier.com%2Fjournal-of-systems-and-software%2Fcall-for-papers%2Fspecial-issue-on-software-reuse-cfp%2F CALL FOR WORKSHOP PROPOSALS ICSR 2016, the premier conference on software reuse, invites proposals for one-day and half-day workshops to be hosted in conjunction with the conference. Since software reuse is pervasive in all aspects of software development, workshops on a variety of topics including, but not limited to those listed above may be appropriate. Submissions in the area of the conference's main topic will receive preferential treatment. Workshop proposals are limited to 3 pages in length. The proposal should include the following information: · A title of the workshop · Names of organizers and their affiliations · A summary of workshop objectives · A statement of why the workshop would be of interest to potential ICSR attendees · A description of the qualifications of the organizers to host the workshop · A preliminary schedule for the workshop · Your estimates on number of interested attendees · Any past experience with hosting such workshops · Any special workshop requirements · A one-page Workshop CFP (such as the one the organizers would send out to invite attendees). Please email your workshop proposals to Tommi Mikkonen (tjm at cs.tut.fi). Proposals are reviewed as they are received on a first come first served basis. Workshop descriptions and associated papers will be part of the conference post-proceedings. Springer will be contacted for potential inclusion in the Communications in Computer and Information Science (CCIS) series (http://www.springer.com/series/7899). CALL FOR TUTORIAL PROPOSALS ICSR 2016, the premier conference on software reuse, invites submissions for tutorial proposals. The purpose of the tutorial program is to provide participants with the opportunity to expand their software reuse knowledge and skills. Tutorials may focus on well-established or cutting-edge topics, particularly welcome are those consistent with ICSR 2016 theme, and in general the ones concerning software reuse as listed in the CFP. Proposals for tutorials are limited to 3 pages and should include: · The tutorial title and keywords · The tutorial length (half or full day) · Presenter information (short bio) · Tutorial description, history (if a similar tutorial was given before by the presenters) · Presentation format/method including technical requirements (beamer, whiteboards, etc.) Please email your tutorial proposals to Tommi Mikkonen (tjm at cs.tut.fi). Tutorial proposals are reviewed as they are received on a first come first served basis. Tutorial descriptions will not appear in the ICSR Proceedings, but all speakers can have any relevant materials posted on the ICSR web site. DOCTORAL SYMPOSIUM CALL FOR PAPERS The goal of the Doctoral Symposium is to provide a forum for doctoral students working in the area of software reuse (or in areas closely related to reuse) to discuss their proposed thesis. Students will get feedback on their work from the Symposium Expert Panelists, and will be able to attend regular ICSR sessions. Participants will present their work highlighting the main research challenges, solution directions, results obtained thus far, evaluation plan, and research plan towards the completion of the Ph.D. studies. Presentation - limited to twenty minutes - should be supported by slides. An Expert Panel composed of software reuse researchers will provide feedback to help students shape their work. There will be an award for the most promising idea for original research. The winner will be selected based on the submitted paper, presentation and discussions. Accepted papers will be published (probably at CEUR, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IEZpbmFsIENvbWJpbmVkIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMJMzEJQWRkcmVzc2VzCTEwNTM3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fceur-ws.org%29. Submission Instructions Currently registered doctoral students are invited to submit their proposal for participation in the Doctoral Symposium, provided they have already selected a research topic and outlined the research plan in some detail. The event serves as an opportunity to receive early feedback on a thesis topic or later feedback to help tune a dissertation. To be considered, a student should submit a research papers and his/her supervisor should submit a recommendation letter as follows: The research paper should be written in the style of the thesis proposal, addressing the research problem description and its importance (who will benefit from the solution and how), research challenges, research approach, related work (highlight the novelty of your approach), results to date, plans for evaluation, and references. Please indicate on the top of the front page: your name, the date (month/year) that you started your Ph.D., the expected defense date (month/year), and the name of your advisor. The paper is limited to 4 pages in length and must conform to Springer's Lecture Notes in Computer Science format. Submit the paper directly to the symposium chair Maurizio Morisio (maurizio.morisio at polito.it), with subject "ICSR DS Symposium Proposal". Recommendation letter: A thesis advisor should e-mail a brief recommendation letter directly to the symposium chair Maurizio Morisio, with subject "ICSR DS Symposium Recommendation Letter". An Expert Panel will evaluate all submissions and accepted proposals will be presented at the ICSR Doctoral Symposium. It is important to notice that the person that will present an accepted paper must be the doctoral student, author of the paper. Professors and colleagues are not allowed to present papers on behalf of the doctoral student. CALL FOR TOOL DEMONSTRATIONS The ICSR Tool Demonstrations enable industry and academic researchers to share their ideas and present the state of the art and practice in Software Reuse. ICSR 2016 presents an excellent opportunity for researchers and professional software engineers to present their working tools and systems to the Software Reuse community. Submission Instructions We invite proposals for tool demonstrations on any topics related to software reuse. Tools suggesting their reuse recommendations directly in IDEs (such as Eclipse etc.) are especially welcome. All selected tools will be presented during the conference in two ways: · A formal lecture-style presentation session · An informal demo session where individuals can walk around, ask specific questions, and interact with the tools. Accepted tool demonstrations will be part of the conference proceedings. Submissions should not exceed 4 pages and must conform to Springer's Lecture Notes in Computer Science (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) format. Proposals for tool demonstrations should be sent to Frederik Kramer at frederik.kramer at initos.com. Authors should share their tools and include in their submission a link to an illustrative video of 2-5 minutes that should be available online. IMPORTANT DATES FOR ALL TYPES OF SUBMISSIONS · Submission of research papers and industrial reports: 28 December 2015 · Notification for research papers and submission reports: 25 February 2016 · Camera Ready submission of research papers and industrial reports: 10 March 2016 · Special Issue JSS: 03 October 2016 · Submission of workshop proposals: 28 January 2016 · Notification for workshop proposals: 10 February 2016 · Submission of tutorial proposals: 28 January 2016 · Notification for tutorial proposals: 10 February 2016 · Submission of Doctoral Symposium papers: 28 January 2016 · Notification for Doctoral Symposium papers: 20 February 2016 · Camera Ready submission of Doctoral Symposium papers: 10 March 2016 · Submission of tool demos : 28 January 2016 · Notification for tool demos: 20 February 2016 COMMITTEES General Chair · George Angelos Papadopoulos (University of Cyprus, Cyprus) Program Co-Chairs · Georgia Kapitsaki (University of Cyprus, Cyprus) · Eduardo Almeida (Federal University of Bahia, Brazil) Doctoral Consortium Chair · Maurizio Morisio (Politecnico di Torino, Italy) Workshops and Tutorials Chair · Tommi Mikkonen (Tampere University of Technology, Finland) Industry Fair/Tools Chair · Frederik Kramer (Otto-von-Guericke-Universitat Magdeburg, initOS, Germany) Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IEZpbmFsIENvbWJpbmVkIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMJMzEJQWRkcmVzc2VzCTEwNTM3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Ficsr2016%2Fpco.html To be removed from this list, please click this link: http://www.cs.ucy.ac.cy/~george/lm/lm.php?un=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IEZpbmFsIENvbWJpbmVkIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMJMzEJQWRkcmVzc2VzCS0tCTEwNTM3CXVuc3Vic2NyaWJlCW5vCW5v -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.russo at imperial.ac.uk Sun Dec 13 18:47:11 2015 From: a.russo at imperial.ac.uk (Russo, Alessandra M) Date: Sun, 13 Dec 2015 17:47:11 +0000 Subject: International Conference on Inductive Logic Programming, 2016 - Call For Papers Message-ID: <8A27404F-DC4E-437A-852E-88E10F3FFF92@ic.ac.uk> ____________________________________________________________ CALL FOR PAPERS ____________________________________________________________ ILP 2016: The 26th International Conference on Inductive Logic Programming 4th - 6th September, 2016 London, UK http://ilp16.doc.ic.ac.uk _____________________________________________________________ The 26th International Conference on Inductive Logic Programming (ILP 2016) will be held in London, UK, September 4th - 6th, 2016. It will be held at the "Warren House Conference Centre", situated next to Richmond Park (UK Nature Reserve and the largest London Royal Park) and well connected to the centre of London via tubes and trains. The ILP conference series is the premier international forum for learning from structured relational data. Originally focusing on the induction of logic programs, over the years it has expanded its research horizon significantly and welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. Typical, but not exclusive, topics of interest for submissions include: - Theoretical aspects: logical-foundations of learning; computational/statistical learning theory; specialisation and generalisation; probabilistic logic-based learning; graph and tree mining. - Representation and languages for learning: logic programming; Datalog;first-order logic; description logic and ontologies; higher-order logic; Answer Set Programming; probabilistic logic languages; constraint logic programming; knowledge graphs. - Algorithms and systems: learning with (semi-)structured data; (semi-)supervised and unsupervised relational learning; relational reinforcement learning; predicate invention; propositionalisation approaches; multi-instance learning; learning in the presence of uncertainty; meta-level learning. - Applications of learning in: art; bioinformatics; systems biology; games; medical informatics; robotics; natural language processing; web-mining; software engineering; modelling and adaptation of control systems; socio-technical systems. In addition to the above topics, ILP 2016 is also encouraging contributions in the areas of cognitive technologies, knowledge acquisition from big data, the cloud and crowd sourced data, deep relational learning, as well as contributions on the application of any of these solutions to real world problems. The conference will host keynote talks from both industry and academia and will run the first International ILP Competition. We solicit three types of submissions: 1) Long papers describing original mature work containing appropriate experimental evaluation and/or representing a self-contained theoretical contribution. Accepted long paper submissions will be assigned a standard time slot for presentation and will appear in the Springer LNAI post-conference proceedings. If a long paper submission is not accepted as a long paper, it may be accepted as a "short paper" (see next paragraph), in which case it will be assigned a reduced time slot for presentation, and the authors may be given the opportunity to submit a revised version that will be reviewed after the conference for possible inclusion in the Springer LNAI post-conference proceedings. 2) Short papers describing original work in progress, brief accounts of original ideas without conclusive evaluation, and other relevant work of potentially high scientific interest but not yet qualifying for the long paper category. They will be accepted/rejected on the grounds of their relevance. Accepted short papers will be assigned a reduced time slot for presentation. Authors of selected papers will be invited to submit a long version that will be reviewed after the conference for possible inclusion in the Springer LNAI post-conference proceedings. 3) Papers relevant to the conference topics and recently published or accepted for publication by a first-class conference such as ECML/ PKDD, ICML, KDD, ICDM, AAAI, IJCAI, etc. or journal such as MLJ, DMKD, JMLR etc. These will be accepted/rejected on the grounds of relevance and quality of the original publication venue. Authors of accepted papers will be assigned a reduced time slot for presentation. These papers will not appear in the Springer LNAI post-conference proceedings. IMPORTANT DATES: * Abstract registration: 7 May 2016 * Long paper submission: 13 May 2016 * Long Paper notification: 26 June 2016 * Short Paper submission: 24 July 2016 * Short Paper notification: 28 July 2016 SUBMISSION: Submissions of long papers and short papers must not have been published or be under review for a journal or for another conference with published proceedings. Submissions must be in Springer LNAI format, according to the Springer LNCS author instructions (http://www.springer.com/comp/lncs/Authors.html). Long papers must not exceed 12 pages including references; short papers must not exceed 6 pages not including references. Papers in category 3 should be submitted in their original format and the authors should indicate the original publication venue. All Paper submissions will be electronic through the ILP 2016 Easychair site: https://easychair.org/conferences/?conf=ilp2016 The post-proceedings from the Conference will be published by LNAI Springer. We expect there will be a special issue of the Machine Learning Journal following the conference, which will be open for everyone. This special issue will welcome conference submissions from all three categories, which should be significantly revised and extended, to meet the MLJ criteria, and will be re-reviewed by PC members. CONFERENCE AND PROGRAM CO-CHAIRS: Alessandra Russo, Imperial College London UK James Cussens, University of York, UK ILP COMPETITION CHAIR: Mark Law, Imperial College London, UK PUBLICITY CHAIR: Krysia Broda, Imperial College London, UK ASSOCIATED EVENT: 3rd International Workshop on Probabilistic Logic Programming From serge.autexier at dfki.de Mon Dec 14 15:09:56 2015 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon, 14 Dec 2015 15:09:56 +0100 (CET) Subject: Call for Workshops - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Proposals Deadline 22. January 2016 Message-ID: <20151214140956.ECD5035066BB@mbp-autexier.informatik.uni-bremen.de> Call for Workshop Proposals 9th Conference on Intelligent Computer Mathematics - CICM 2016 - July 25-29, 2016 University of Bialystok, Poland http://www.cicm-conference.org/2016 ---------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, colocating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (U.K. 2013), Coimbra (Portugal, 2014) and Washington D.C. (USA, 2015). This is the call for proposals for workshops to be held at CICM 2016, which will be held at the University of Bialystok (Poland), July 25-29 next year. Some of the workshops that have been held at past CICM meetings are: Automated Reasoning: Bridging the Gap between Theory and Practice Compact Computer Algebra Empirically Successful Automated Reasoning for Mathematics Formal Mathematics for Mathematicians Intelligent Proof Search Mathematical user Interfaces Mathematics Information Retrieval OpenMath Pen-Based Mathematical Computation Programming languages for Mechanized Mathematics Systems SCIEnce The Notion of Proof User Interfaces for Theorem Provers Proposals for workshops to be held at CICM 2016 are solicited. Both well-established workshops and newer or brand new ones are encouraged. Please provide the following information: + Workshop title. + Names and affiliations of organizers. + Brief description of workshop goals and/or topics. + Proposed workshop duration (half a day up to two days is possible). + If the workshop has met previously, please include the conference affiliation for the previous meeting. If the workshop is new, please indicate so. CICM will take care of copying and distributing informal printed proceedings for workshops that would like this service, as well as permanently archived open access online proceedings with CEUR-WS.org. All proposals should be sent via email to cicm-organizers at jacobs-university.de for consideration by the CICM 2016 organizers: Conference Chair: Adam Naumowicz (U Bialystok, Poland) General Program Chair: Michael Kohlhase (Jacobs University Bremen, Germany) Calculemus Track Chair: Leonardo de Moura (Microsoft Research, USA) DML Track Chair: Frank Tompa (U Waterloo, Canada) MKM Track Chair: Bruce Miller (NIST, USA) System & Data Chair: Moa Johansson (Chalmers U, Sweden) Workshop Chair: Serge Autexier (DFKI, Germany) Important dates: Deadline for proposal submissions: January 22nd, 2016 Acceptance/rejection notification: February 1, 2016 Workshop dates: July 25-29, 2016 ---------------------------------------------------------------------- From marco.gavanelli at unife.it Mon Dec 14 18:06:03 2015 From: marco.gavanelli at unife.it (Marco Gavanelli) Date: Mon, 14 Dec 2015 18:06:03 +0100 Subject: PADL16 call for participation Message-ID: <566EF6FB.9070801@unife.it> CALL for PARTICIPATION ====================== 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016) http://conf.researchr.org/home/PADL-2016 St. Petersburg, Florida, United States Mon 18 - Tue 19 January 2016 Co-located with ACM POPL 2016 Registrations received by 11:59 PM Eastern Daylight Time on December 18, 2015 qualify for the early registration fees. Preliminary Schedule ==================== == MONDAY JANUARY 18 == Welcome (08:45-09:00) *Invited talk (09:00-10:00)* Program Synthesis for Direct Manipulation Interfaces Ravi Chugh Coffee Break (10:00-10:30) *Functional Programming I (10:30-12:00)* Simplifying Probabilistic Programs Using Computer Algebra Jacques Carette (McMaster University) and Chung‐chieh Shan (Indiana University) Haskino: A Remote Monad for Programming the Arduino Mark Grebe and Andy Gill (University of Kansas) From Monads to Effects and Back Niki Vazou (UC San Diego) and Daan Leijen (Microsoft Research) Lunch (12:00-14:30) *Constraints (14:00-15:30)* A GPU implementation of the ASP computation Agostino Dovier (University of Udine), Andrea Formisano (University of Perugia), Enrico Pontelli (New Mexico State University), and Flavio Vella (University of Rome). Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station Jan Jelínek and Roman Barták (Charles University in Prague) The Picat-SAT Compiler Neng-Fa Zhou (CUNY Brooklyn College & Graduate Center) and Håkan Kjellerstrand Coffee Break (15:30-16:00) *Logic Programming (14:30-15:30)* The KB paradigm and its application to interactive configuration Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens and Marc Denecker (KU Leuven) Default Rules for Curry Sergio Antoy (Portland State University) and Michael Hanus (Kiel University) == TUESDAY JANUARY 19 == *Invited talk (09:00-10:00) — Joint with VMCAI* Viper - A Verification Infrastructure for Permission-based Reasoning Peter Müller (ETH Zürich) Coffee Break (10:00-10:30) *Functional Programming II (10:30-12:00)* Computing with Catalan Families, Generically Paul Tarau (University of North Texas) A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations Paul Tarau (University of North Texas) Generic Matching of Tree Regular Expressions over Haskell Data Types Alejandro Serrano and Jurriaan Hage (Utrecht University) Conference Description ================= PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2016 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2016 will be co-located with the Symposium on Principles of Programming Languages (POPL 2016), in St. Petersburg, Florida (USA). CONFERENCE REGISTRATION ===================== Please visit the POPL 16 web site for information about registration and travel accommodations. Registrations received by 11:59 PM Eastern Daylight Time on December 18, 2015 qualify for the early registration fees. Registration: http://conf.researchr.org/attending/POPL-2016/Registration -- http://docente.unife.it/marco.gavanelli From C.Orasan at wlv.ac.uk Tue Dec 15 22:58:05 2015 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Tue, 15 Dec 2015 21:58:05 +0000 Subject: Special Issue of the Machine Translation journal: Natural Language Processing for Translation Memories Message-ID: <034C0B87CC091D46B6CF0FD17E97B38301D24D056C@Exchmbx10I02.unv.wlv.ac.uk> Special Issue of the Machine Translation journal: Natural Language Processing for Translation Memories http://www.springer.com/computer/artificial/journal/10590 Guest editors: Constantin Orasan (University of Wolverhampton, UK) Marcello Federico (FBK, Italy) Submission deadline: May 15, 2016 1. Call For Papers Translation Memories (TM) are amongst the most widely used tools by professional translators. The underlying idea of TMs is that a translator should benefit as much as possible from previous translations by being able to retrieve the way in which a similar sentence was translated before. Moreover, the usage of TMs aims to guarantee that new translations follow the client's specified style and terminology. Despite the fact that the core idea of these systems relies on comparing segments (typically of sentence length) from the document to be translated with segments from previous translations, most of the existing TM systems hardly use any language processing for this. Instead of addressing this issue, most of the work on translation memories focused on improving the user experience by allowing processing of a variety of document formats, intuitive user interfaces, etc. The term second generation translation memories has been around for more than ten years and it promises translation memory software that integrates linguistic processing in order to improve the translation process. This linguistic processing can involve tasks such as the matching of subsentential chunks, editing distance operations between syntactic trees, and the incorporation of semantic and discourse information in the matching process. Terminologies, glossaries and ontologies are also very useful for translation memories, by facilitating the task of the translator and ensuring a consistent translation. The field of Natural Language Processing (NLP) has proposed numerous methods for terminology extraction and ontology extraction. Other ways of enhancing Translation Memories with information from NLP components are to integrate Machine Translation and Translation Memories, and automatically build and clean translation memories from corpora and from the web. This special issue builds on the success of the NLP4TM workshop organised in conjunction with RANLP 2015 and the forthcoming second edition of this workshop at LREC 2016, which will include a shared task on the cleaning of translation memories. Authors of papers accepted at these workshops are encouraged to submit extended versions for the special issue. However, having a paper accepted at the workshop does not constitute a precondition for submitting a paper for the special issue. 2. Topics of interest This special issue invites original papers which show how language processing can help translation memories. Topics of interest include but are not limited to: - improving matching and retrieval of segments by using morphological, syntactic, semantic and discourse information - automatic extraction of terminologies and ontologies for translation memories - integration of named entity recognition and terminologies in matching and retrieval - using natural language processing for automatic construction of translation memories - extracting and aligning TM segments from a parallel or comparable corpus - construction of translation memories using the Internet - corpus based studies about the usefulness of TM for specific domains - development of hybrid TM and MT translation systems - study of NLP techniques used by TM tools available in the market - automatic methods for TM cleaning and maintenance Note: extended versions of paper previously published at conferences and workshops are likely to be eligible. Please consult us if you have any doubts. 4. Submission guidelines Authors should follow the "Instructions for Authors" available on the MT Journal website: http://www.springer.com/computer/artificial/journal/10590 Submissions must be limited to 15 pages (including references) Papers should be submitted online directly on the MT journal's submission website: http://www.editorialmanager.com/coat/default.asp, indicating this special issue in 'article type'. 5. Important dates Submission deadline: 15th May 2016 First round of reviews: 15th July 2016 Resubmission of improved versions: 22nd August 2016 Final decisions to authors: 19th Sep 2016 Camera ready papers: 8th Oct 2016 Publication in Issue 3 of the Machine Translation journal 2016 --- Dr Constantin Orasan Reader in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Institute of Information and Language Processing University of Wolverhampton http://www.wlv.ac.uk/~in6093/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From s.verberne at cs.ru.nl Wed Dec 16 15:47:16 2015 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Wed, 16 Dec 2015 15:47:16 +0100 Subject: STAIRS 2016 Call for Papers Message-ID: STAIRS 2016 We invite students and young post-doctoral AI fellows to submit their work to the Eighth European Starting AI Researcher Symposium (STAIRS). STAIRS is an international meeting intended to support AI researchers, from all countries, at the beginning of their career: PhD students or people holding a PhD for less than one year. STAIRS 2016 will be co-located with ECAI 2016, the European Conference on AI, in The Hague, Holland, 26 Aug - 2 Sept 2016. STAIRS offers doctoral students and young post-doctoral AI researchers: * a first experience of submitting and presenting a paper in an international forum with a broad scope and a peer review process * an opportunity to discuss and explore their research interests and European career objectives and opportunities. (+) Topics of Interest Papers are welcome on all aspects of contemporary AI, including, but not restricted to: * Applications of AI * Autonomous Agents & Multi-agent Systems * Case-Based Reasoning * Cognitive Modelling & Cognitive Architectures * Computational Creativity * Constraints, Satisfiability, and Search * Information Retrieval & Natural Language Processing * Knowledge Representation, Reasoning, and Logic * Machine Learning & Data Mining * Model-Based Reasoning * Natural Language Processing * Planning and Scheduling, * Robotics, Perception, Vision and Sensing * Social Intelligence and Socio-Cognitive Systems * Uncertainty in AI * Web and Knowledge-based Information Systems * Multidisciplinary Topics (+) Important Dates Paper submission deadline: 16.5 Notification of acceptance/rejection: 10.6 Camera-Ready Copy Due: 17.6 Conference: 29th-30th August, 2016 The proceedings of STAIRS will be published and distributed by IOS Press' "Frontiers in Artificial Intelligence and Applications" (FAIA) series. More info can be found at http://www.ecai2016.org/calls/stairs-call-for-papers/ STAIRS Co-Chairs: H. Sofia Pinto, sofia at inesc-id.pt (IST, Universidade de Lisboa, Portugal) David Pearce, david.pearce at upm.es (Universidad Politecnica de Madrid, Spain) -- Suzan Verberne, postdoctoral researcher Information Foraging Lab, Institute for Computing and Information Sciences Radboud University Nijmegen Tel: 0031 24 36 53431/15775 Email: s.verberne at cs.ru.nl http://sverberne.ruhosting.nl -- From renata at ime.usp.br Fri Dec 18 11:33:26 2015 From: renata at ime.usp.br (Renata Wassermann) Date: Fri, 18 Dec 2015 08:33:26 -0200 Subject: First CFP NMR 2016 (16th International Workshop on Non-Monotonic Reasoning) Message-ID: <20151218083326.Horde.DWGaKVB42jq8Oj1Z20XsaA2@webmail.ime.usp.br> Co-located with KR 2016 (http://kr2016.cs.uct.ac.za/) and DL 2016 (http://dl2016.cs.uct.ac.za/). Call for Papers NMR 2016 16th International Workshop on Non-Monotonic Reasoning April 22-24, 2016 Cape Town, South Africa http://nmr2016.cs.uct.ac.za/ NMR is the premier forum for results in the area of Non-Monotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications. NMR has a long history — it started in 1984, and is held every two years. Recent previous NMR workshops were held in Vienna (2014), Rome (2012), Toronto (2010), and Sydney (2008). NMR 2016 is co-located with KR 2016 (http://kr.org/KR2016/) and DL 2016 (http://www.dl.kr.org), in particular, NMR 2016 will share a joint session with DL 2016. As a novelty, NMR 2016 will no longer have different tracks in order to not force submissions and presentations into a strict format. Instead, we would like to foster connections between the different fields of nonmonotonic reasoning and provide a forum for emerging topics. We especially invite papers on systems and applications, as well as position papers and papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers. The workshop will be held at the Cape Town International Convention Centre from April 22-24, 2016. Workshop activities will include invited talks and presentations of technical papers. NMR 2016 Important Dates ------------------------ Paper submission deadline: 28 January 2016 (https://easychair.org/conferences/?conf=nmr2016) Notification of acceptance: 25 February 2016 Camera-ready papers due: 15 March 2016 Workshop: 22-24 April 2016 From m.huisman at utwente.nl Fri Dec 18 14:23:42 2015 From: m.huisman at utwente.nl (m.huisman at utwente.nl) Date: Fri, 18 Dec 2015 13:23:42 +0000 Subject: Deadline extended: iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik Message-ID: Apologies for cross-posting! =============================== The submission deadline for iFM 2016 has been extended: Abstract submission: January 6, 2016 (extended) Paper submission: January 13, 2016 (extended) Paper notification: February 29, 2016 Please find an updated version of CfP below. Best regards, Erika Abraham Marieke Huisman =========================================================== CALL FOR PAPERS iFM 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ =========================================================== === Important dates === Abstract submission: January 6, 2016 (extended) Paper submission: January 13, 2016 (extended) Paper notification: February 29, 2016 Final version: March 14, 2016 Conference: June 1-3, 2016 === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Integration of formal methods into software engineering practice - Hybrid systems - Program verification - Program synthesis - Model checking - Static analysis - Runtime analysis, monitoring, performance evaluation - Decision procedures, SAT and SMT solving - Software engineering - Component-based systems (compositional, embedded, distributed, etc.) - Testing - Abstraction and refinement === Submission guidelines === iFM 2016 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - research papers (max. 15 pages including bibliography) - regular tool papers (max. 15 pages including bibliography) - short tool papers (max. 8 pages including bibliography) - case study papers (max. 15 pages including bibliography) All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, a paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the reviewers. Submissions should be made using the iFM 2016 Easychair site: https://easychair.org/conferences/?conf=ifm2016 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early date, to be indicated by the organizers, and present the paper. === Invited speakers === Marsha Chechik (University of Toronto, Canada) Laura Kovacs (Chalmers University of Technology, Sweden) Reiner Haehnle (Technical University Darmstadt, Germany) Edmund Clarke (Carnegie Mellon University, USA) === Workshops === iFM 2016 will be accompanied by a series of workshops. Further information is available from the conference website http://en.ru.is/ifm/ === Conference location === iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. === Committees === General Chair: Marjan Sirjani (University of Reykjavik, Iceland) Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Marieke Huisman (University of Twente, The Netherlands) Workshop Chair: Marcel Kyas (University of Reykjavik, Iceland) Wojciech Mostowski (Halmstad University, Sweden) Program Committee: Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Bernd Becker (Albert-Ludwigs-University Freiburg, Germany) Clara Benac Earle (Universidad Politecnica de Madrid, Spain) Borzoo Bonakdarpour (McMaster University, Canada) Ferruccio Damiani (Universita di Torino, Italy) Frank de Boer (CWI, The Netherlands) Delphine Demange (University of Rennes 1/IRISA, France) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Dilian Gurov (KTH Royal Institute of Technology, Sweden) Holger Hermanns (Saarland University, Germany) Einar Broch Johnsen (University of Oslo, Norway) Peter Gorm Larsen (Aarhus University, Denmark) Martin Leucker (University of Lubeck, Germany) Dominique Mery (Universite de Lorraine, LORIA, France) Rosemary Monahan (Maynooth University, Ireland) Nadia Polikarpova (MIT, USA) Cesar Sanchez (IMDEA Software Institute, Spain) Sriram Sankaranarayanan (University of Colorado, USA) Ina Schaefer (Technische Universitaet Braunschweig, Germany) Gerardo Schneider (Chalmers, University of Gothenburg, Sweden) Emil Sekerinski (McMaster University, Canada) Armando Tacchella (University of Genoa, Italy) Mark Utting (University of the Sunshine Coast, Australia) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lpulina at uniss.it Fri Dec 18 21:43:37 2015 From: lpulina at uniss.it (Luca Pulina) Date: Fri, 18 Dec 2015 21:43:37 +0100 Subject: QBFEVAL'16 - Call for Solvers & Benchmarks Message-ID: <56746FF9.9040607@uniss.it> [apologies for any cross-posting] ****************************************************************** QBFEVAL'16 - Competitive evaluation of QBF solvers Call for Solvers & Benchmarks A joint event with SAT 2016 - The Nineteenth International Conference on Theory and Applications of Satisfiability Testing - Bordeaux, France, July 5-8, 2016 ****************************************************************** QBFEVAL'16 will be the 2016 competitive evaluation of QBF solvers, and the eleventh evaluation of QBF solvers and instances ever. QBFEVAL'16 will award solvers that stand out as being particularly effective on specific categories of QBF instances. The evaluation will run using the computing infrastructure made available by the University of Sassari. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. People thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools. For questions, comments and any other issue regarding QBFEVAL'16, please get in touch with qbf16 at qbflib.org. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval16.php Important Dates Registration open: February 1st 2016 Solvers due: March 1st 2016 Final versions of solvers due: March 15th 2016 Benchmarks due: March 15th 2016 Results: presented SAT'16 Organizing committee Organization Luca Pulina, University of Sassari Judges Martina Seidl, Johannes Kepler Universität Linz Christoph Wintersteiger, Microsoft Research Limited TBA -- Luca Pulina, Ph.D. Assistant Professor of Computer Science POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies University of Sassari e-mail lpulina at uniss.it http://sites.google.com/site/lpulina From aeha at dtu.dk Sun Dec 20 17:14:54 2015 From: aeha at dtu.dk (Anne Haxthausen) Date: Sun, 20 Dec 2015 17:14:54 +0100 Subject: postdoc or research assistant in Formal Verification of Railway Control Systems In-Reply-To: <5674117F.3020002@dtu.dk> References: <5674117F.3020002@dtu.dk> Message-ID: <5676D3FE.8050407@dtu.dk> The Railway Verification Group at DTU Compute, Technical University of Denmark (DTU), invites applications for a position as postdoc or research assistant. The position is financed by the RobustRailS research project, and the postdoc or research assistant will be expected to participate in this project. The task will be to explore formal verification (model checking) of railway control systems in collaboration with the RobustRailS team. Preferred starting date is mid January or as soon as possible. *Deadline for application is 10 January* 2016. For more information, see http://www.dtu.dk/english/career/job?id=db2903c5-e6f8-4339-ae2a-80fc2ed4bd73 Kind regards, -- Anne Haxthausen, Associate Professor DTU Compute Matematiktorvet, building 303B Technical University of Denmark DK-2800 Lyngby E-mail:aeha at dtu.dk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabio.zanasi at ens-lyon.fr Sun Dec 20 19:44:38 2015 From: fabio.zanasi at ens-lyon.fr (fabio.zanasi at ens-lyon.fr) Date: Sun, 20 Dec 2015 19:44:38 +0100 (CET) Subject: CMCS 2016 : Last Call for Papers Message-ID: <20151220184439.28576320E93@labbe.ens-lyon.fr> Call for Papers 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16) 2 - 3 April 2016, Eindhoven, The Netherlands http://www.coalg.org/cmcs16 Objectives and scope ------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest include, but are not limited to, the following: - The theory of coalgebras (including set theoretic and categorical approaches) - Coalgebras as computational and semantical models (for programming languages, dynamical systems, term rewriting, etc.) - Coalgebras in (functional, object-oriented, concurrent, and constraint) programming - Model checking, theorem proving and deductive verification using coalgebraic techniques - Coalgebraic data types, type systems and behavioural typing - Proof principles and (coinductive) definitions for coalgebras (e.g. with bisimulations or invariants) - Coalgebras and algebras - Coalgebraic specification and verification - Coalgebras and (modal) logic - Coalgebra and control theory (notably of discrete event and hybrid systems) - Coalgebra in quantum computing - Coalgebra and game theory - Tools exploiting colgebraic techniques Venue and event --------------- CMCS'16 will be held in Eindhoven, The Netherlands, co-located with ETAPS 2016 on 2 - 3 April 2016. Keynote Speaker --------------- Jiri Adamek, Braunschweig University of Technology, Germany Invited Speakers --------------- Andreas Abel, University of Gothenburg, Sweden Filippo Bonchi, CNRS/ENS Lyon, France Invited Tutorial Speakers ------------------------- There will be a special session on weighted automata, with invited tutorials by Borja Balle, Lancaster University, United Kingdom Alexandra Silva, University College London, United Kingdom Important dates --------------- Abstract regular papers 4 January 2016 Submission regular papers 13 January 2016 Notification regular papers 12 February 2016 Camera-ready copy 19 February 2016 Submission short contributions 22 February 2016 Notification short contributions 6 March 2016 Programme committee ------------------- Paolo Baldan, University of Padova, Italy Corina Cirstea, University of Southampton, United Kingdom Ugo Dal Lago, University of Bologna, Italy Ichiro Hasuo (chair), University of Tokyo, Japan Tom Hirschowitz, CNRS and University of Savoie, France Bart Jacobs, Radboud University Nijmegen, The Netherlands Shin-ya Katsumata, Kyoto University, Japan Bartek Klin, University of Warsaw, Poland Barbara Koenig, University of Duisburg-Essen, Germany Stefan Milius, FAU Erlangen-Nuernberg, Germany Matteo Mio, CNRS and ENS Lyon, France Rasmus Mogelberg, IT University of Copenhagen, Denmark Larry Moss, Indiana University, United States Fredrik Nordvall Forsberg, University of Strathclyde, United Kingdom Dirk Pattinson, Australian National University, Australia Daniela Petrisan, Paris Diderot University, France Jean-Eric Pin, CNRS and Paris Diderot University, France John Power, University of Bath, United Kingdom Jurriaan Rot, University of Leiden, the Netherlands Jan Rutten, CWI/Radboud University Nijmegen, The Netherlands Alexandra Silva, University College London, United Kingdom Joost Winter, University of Warsaw, Poland James Worrell, University of Oxford, United Kingdom Publicity chair --------------- Fabio Zanasi, Radbound University Nijmegen, The Netherlands PC chair -------- Ichiro Hasuo, University of Tokyo, Japan Submission guidelines --------------------- We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. They should not exceed 20 pages in length in Springer LNCS style. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2016. The proceedings of CMCS 2016 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series. Accepted short contributions will be bundled in a technical report. From manuel.carro at imdea.org Sun Dec 20 20:41:46 2015 From: manuel.carro at imdea.org (Manuel Carro) Date: Sun, 20 Dec 2015 20:41:46 +0100 Subject: First Workshop on Program Transformation for Programmability in Heterogeneous Architectures Message-ID: <87zix4j4at.fsf@imdea.org> ******************************************************************************* PROHA 2016, CALL FOR PAPERS First Workshop on Program Transformation for Programmability in Heterogeneous Architectures http://goo.gl/RzGbzY Barcelona, 12th March 2016, in conjunction with the CGO'16 Conference ******************************************************************************* Important Dates: Paper submission deadline: 15 January 2016 23:59 (UTC) Author notification: 5 February 2016 Final manuscript due: 26 February 2016 Scope: Developing and maintaining high-performance applications and libraries for heterogeneous architectures is a difficult task, usually requiring code transformations performed by an expert. Tools assisting in and, if possible, automating such transformations are of course of great interest. However, such tools require significant knowledge and reasoning capabilities. For example, the former could be a machine-understandable descriptions of what a piece of code is expected to do, while the latter could be a set of transformations and a corresponding logical context in which they are applicable, respectively. Furthermore, strategies to identify the sequence of transformations leading to the best resulting code need to be elaborated. This workshop will focus on techniques and foundations which make it possible to perform source code transformations, which preserve the intended semantics of the original code and improve efficiency, portability or maintainability. The topics of interest for the workshop include, but are not limited to: * Program annotations to capture algorithmic properties and intended code semantics. * Programming paradigms able to express underlying (mathematical) properties of code. * Usage of dynamic and static mechanisms to infer relevant code properties. * Transformations which preserve intended semantics. * Strategies to apply transformations. * Heuristics to guide program transformation and techniques to synthesize / learn these heuristics. * Tools Submission Guidelines: Submissions are to be written in English and not exceed 10 pages, including bibliography. Submissions should be written in ACM double-column format using a 10-point type. Authors should follow the information for formatting ACM SIGPLAN conference papers, which can be found at http://www.sigplan.org/Resources/Author . Authors should submit their papers in pdf format using the EasyChair submission website https://easychair.org/conferences/?conf=proha2016 . Publication: The proceedings will be made publicly available through ArXiV. Workshop Organizers: - Manuel Carro, IMDEA Software Institute and Technical University of Madrid - Colin W. Glass, University of Stuttgart - Jan Kuper, University of Twente - Julio Mariño, Technical University of Madrid - Lutz Schubert, University of Ulm - Guillermo Vigueras, IMDEA Software Institute - Salvador Tamarit, Technical University of Madrid If you have any questions, please contact the program chair at manuel.carro at imdea.org -- Manuel Carro : manuel.carro at imdea.org Deputy director, IMDEA Software Institute : http://software.imdea.org Associate Professor, School of CS, UPM : http://www.fi.upm.es EIT Digital Madrid : http://eitdigital.eu Madrid, Spain : +34-91-101-2202 ext. 4140 From prima2016publicity at gmail.com Thu Dec 24 09:41:36 2015 From: prima2016publicity at gmail.com (Nadin Kokciyan) Date: Thu, 24 Dec 2015 10:41:36 +0200 Subject: =?UTF-8?Q?1st_CfP=3A_PRIMA_2016_=2D=2D_August_22=E2=80=9026=2C_2016=2C_Phuket=2C?= =?UTF-8?Q?_Thailand?= Message-ID: ----------------------------------------------------------------- *Principles and Practice of Multi‐Agent Systems (PRIMA 2016)* August 22‐26, 2016, Phuket, Thailand URL: http://prima2016.di.unito.it Co‐located with PRICAI 2016 (Pacific Rim International Conference on Artificial Intelligence) ----------------------------------------------------------------- Software systems are becoming more intelligent in the kind of functionality they offer users. At the same time, systems are be‐ coming more decentralized, with components that represent autono‐ mous entities who must communicate among themselves to achieve their goals. Examples of such systems range from healthcare and emergency relief and disaster management to e‐business and smarts grids. A multiagent worldview is crucial to properly conceptual‐ izing, building, and governing such systems. It offers abstrac‐ tions such as intelligent agent, protocol, norm, organization, trust, incentive, and so on, and is rooted in solid computational and software engineering foundations. As a large but still grow‐ ing research field of Computer Science, multiagent systems today remains a unique enabler of interdisciplinary research. The PRIMA 2016 Program Committee invites submissions of original, unpublished, theoretical and applied work strongly relevant to multiagent systems, including reports on the development of pro‐ totype and deployed agent systems, and of experiments that demon‐ strate novel agent system capabilities. An indicative list of topics is provided below. For 2016, there will be Social Science special track that will be handled by Michael Mäs (University of Groningen). Accepted papers of this track will be offered a fast‐ track in JASSS. Papers should be at most 16 pages in length in the Springer LNCS format. All accepted papers will be published in Springer’s LNAI series. A select number of papers will also be invited to submit an extended version to a fast track of the Journal of Autonomous Agents and Multi‐Agent Systems and ACM TAAS. There will be also be two special issues: one with Fundamenta Informaticae and an‐ other with International Journal of Agent‐Oriented Software Engi‐ neering. ----------------------------------------------------------------- *Topics of interest (not limited to the following)* ----------------------------------------------------------------- * Logic and Reasoning - Logics of agency - Logics of multiagent systems - Norms - Argumentation - Computational Game Theory - Uncertainty in Agent Systems - Agent and Multi-Agent Learning * Engineering Multi-Agent Systems - Agent-Oriented Software Engineering - Interaction protocols - Commitments - Institutions and Organizations - Normative Systems - Formal Specification and Verification - Agent Programming Languages - Middleware and Platforms - Testing, debugging, and evolution - Deployed System Case Studies * Agent-Based Modeling and Simulation - Simulation Languages and Platforms - Artificial Societies - Virtual Environments - Emergent Behavior - Modeling System Dynamics - Application Case Studies * Collaboration & Coordination - Planning - Distributed Problem Solving - Distributed Constraint Satisfaction - Teamwork - Coalition Formation - Negotiation - Auctions and Mechanism Design - Trust and Reputation - Computational Voting Theory * Human-Agent Interaction - Adaptive Personal Assistants - Embodied Conversational Agents - Virtual Characters - Multimodal User Interfaces - Mobile Agents - Human-Robot Interaction * Decentralized Paradigms - Grid Computing - Service-Oriented Computing - Cybersecurity - Robotics and Multirobot Systems - Ubiquitous Computing - Social Computing - Internet of Things * Application Domains for Multi-Agent Systems - Healthcare - Autonomous Systems - Transport and Logistics - Emergency and Disaster Management - Energy and Utilities Management - Sustainability and Resource Management - Games and Entertainment - e-Business, e-Government, and e-Learning - Smart Cities - Financial markets - Legal applications ----------------------------------------------------------------- *Key Dates* ----------------------------------------------------------------- Submission of papers: 15 April 2016 Notification of acceptance: 15 June 2016 Camera‐ready version: 30 June 2016 ----------------------------------------------------------------- *General Chairs* ----------------------------------------------------------------- Katsutoshi Hirayama (Kobe University) Paolo Torroni (University of Bologna) ----------------------------------------------------------------- *Program Chairs* ----------------------------------------------------------------- Matteo Baldoni (University of Torino) Amit K. Chopra (Lancaster University) Tran Cao Son (New Mexico State University) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rainer.unland at icb.uni-due.de Thu Dec 24 10:34:00 2015 From: rainer.unland at icb.uni-due.de (Rainer Unland) Date: Thu, 24 Dec 2015 10:34:00 +0100 Subject: CfP & Demos 4th WS on Multi-agent Based Applications for Smart Grids and Sustainable Energy Systems (MASGES) ,as part of PAAMS, Sevilla (Spain), 1th-3rd June 2016 In-Reply-To: <00a501d13d5f$67728180$36578480$@paams.net> References: <018701d12d5d$711b5480$5351fd80$@paams.net> <00a501d13d5f$67728180$36578480$@paams.net> Message-ID: <567BBC08.3000405@icb.uni-due.de> *Call for Papers and Demos* *4th Workshop on Multi-agent Based Applications for Smart Grids and Sustainable Energy Systems (MASGES) * *as part of* *14th Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS)* *Sevilla (Spain), 1th-3rd June, 2016* *http://paams.net/workshops/masges* *Important dates* Submission date:18th January, 2016 Notification date:22nd February, 2016 Camera-ready deadline: 07th March, 2016 Conference dates:1st-3rd June, 2016 *Workshop motivation and topics* After the explicit commitment of many countries to support the installation and operation of (small) renewable energy production sources, energy grids need to become more intelligent and flexible. Such so called smart grids probably need to rely on decentralized control and a highly efficient, flexible and reliable management. Smart grids need to be capable of autonomously and intelligently configuring themselves to exploit available resources as efficiently as possible, to be robust to all kinds of failures and energy production deviations, and to be extendable and adaptable in the light of rapidly changing technologies and requirements. The distributed nature of the underlying control structure of such systems, and the autonomous behaviour expected from them points towards multi-agent systems as a possible underlying implementation platform for the management software of such grids. But not only energy production and provision have to change. The house as well as the transportation means of the future need to be smoothly integrated into such a smart grid concept, requiring houses and transportation means to be smart as well. On the economic side, the electrical power industry was traditionally intensively regulated with led to a lack of market-price mechanisms. After the introduction of new regulations it has evolved into a distributed and competitive industry in which market forces dictate electricity prices. Electricity markets (EMs) are an evolving new reality, meaning that researchers lack insight into numerous open problems associated with them, e.g. the technical difficulties to understand the internal dynamics of EMs and the additional complexity in coordinating economic and financial issues. Thus, the focus of this workshop is on applications of multi-agent systems technology in smart grids, smart homes and electricity markets. Additionally, we are planning various “demo sessions” to give participants from academia an opportunity to present their latest developments on practical applications of agent technology. Project coordinators as well as PhD students are encouraged to submit the description of valuable demos resulting from their work. *List of Topics* The focus of this workshop is on the application of multi-agent systems in smart grids, smart homes, and electricity markets. Examples of areas of interest include, but are not limited to, the following: •Agent-based prediction, adaption and optimization of energy use within homes, buildings, organisations and micro-grids •Coalition formation strategies for coordinated energy use across multiple consumers, forming virtual power stations, and performing intelligent demand management •Interactions and exchange between networks for electricity, gas and heat •Multi-agent based simulations of energy grids and markets •Multi-Agent based Smart Grids Testbeds •Experiences with MAS-based Smart Grid implementations •Applications of MAS-based Smart Grid technologies •MAS-based real time adaptation of energy networks •MAS-based self-configuration or self-healing of energy systems •MAS-based load modelling and control •MAS-based applications for electrical vehicles •MAS-based control and management of electrical car fleets •MAS-based smart home (building) applications and services •MAS-based control and management of smart homes •MAS-based control and management of appliances •MAS-based commercial and industrial applications for smart homes •Intelligent Monitoring, Protection, Communication, Control or Diagnosis in Smart Grids •Agent-based Approaches in Energy Markets; •Market Monitoring and Forecasting •Novel Energy Markets and Trading Strategies •Smart sensors and advanced metering infrastructure *Structure of MASGES* MASGES will be a full one or two day(s) workshop and demo presentation and discussion. It will include several presentation sessions for the accepted paper and possible demos as well as invited talks on topics of overall workshop interest in order to kick off intense and lively discussions. It is intended to end the workshop with a panel/discussion round in which the relevant results of the workshop will be discussed. *Submission of papers * All papers and demo descriptions must be formatted according to the LNCS/LNAI template (see PAAMS homepage – paper submission for templates etc.), with a maximum length of 10-12 pages, including figures and references for papers and 2-4 pages for demos. Both, accepted papers and demos, will be included in the PAAMS 2016 Proceedings, published by Springer. Papers must be formatted according to the Springer LNCS formatting instructions and must be submitted in electronic form (PDF format) using the Paper Submission System. *Review Process* Submissions will be peer-reviewed by at least 3 Program Committee members. Selection criteria will include: relevance, significance, impact, originality, technical soundness, quality of presentation, practical applicability. Some preference may also be given to papers which address emergent trends or important common themes. In general, papers to be acceptable, must be of substantial relevance for the multi-agent systems research community. Demo applications will be reviewed by the PC chairs. *Journal publication of excellent papers* It is intended to invite authors of excellent papers to submit an extended version of their paper to the IOS Multiagent and Grid Systems journal (MAGS). This journal has a high reputation and is often classified as a B-class journal. If enough high quality papers will be submitted it is planned to publish them as a special issue, otherwise as regular papers. *PC Chairs* Rainer Unland, University of Duisburg-Essen, Germany, rainer.unland at icb.uni-due.de (first contact) Fernando Lopes, LNEG National Research Institute, Portugal, fernando.lopes at lneg.pt *Program Committee* Alberto Fernández, Universidad Rey Juan Carlos, Spain Alberto Sardinha, Technical University of Lisbon, Portugal Andreas Symeonidis, University of Thessaloniki, Greece Anke Weidlich, Hochschule Offenburg, Germany Benjamin Hirsch, Etisalat BT Innovation Centre (EBTIC), UAE Bo Nørregaard Jørgensen , Mærsk Mc-Kinney Møller Instituttet, Denmark Christian Derksen, Universität Duisburg-Essen, Germany Christoph Weber, Universität Duisburg-Essen, Germany Costin Badica, University of Craiova, Craiova, Romania David Sislak, Gerstner Laboratory, Czech Republic Fabrice Saffre, Etisalat BT Innovation Centre, UAE Frank Allgöwer, Universität Stuttgart, Germany Gauthier Picard, ENS Mines Saint-Etienne, France Georg Frey, Universität des Saarlandes, Germany Hanno Hildmann, NEC Germany, Germany Ingo J. Timm, JW Goethe-University Frankfurt, Germany Jan Sudeikat, Hamburg Energie GmbH, Germany Jan Treur, Vrije Universiteit Amsterdam, The Netherlands Juan A. Rodríguez-Aguilar, IIIA, CSIC, Spain Koen Hindriks, Delft University of Technology, Netherlands Lars Braubach, University of Hamburg, Germany Lars Mönch, Fernuniversität Hagen, Germany Laurent Vercouter, Graduate School of engineering - Saint-Étienne, France Marcin Paprzycki, Polish Academy of Sciences, Poland Maria Ganzha, Warsaw Technical University, Poland Massimiliano Giacomin, University of Brescia, Italy Matthias Klusch, DFKI, Germany Miguel Ángel López Carmona, University of Alcalá de Henares, Spain Paulo Leitão, Polytechnic Institute of Bragança, Portugal Paulo Novais, Universidade do Minho, Portugal Peter Palensky, TU Delft, The Netherlands Sascha Ossowski, Universidad Rey Juan Carlos, Spain Stamatis Karnouskos, SAP, Germany Steven Guan, Xian Jiatong-Liverpool University, China Sudip Bhattacharjee, University of Connecticut, USA Tiago Pinto, Polytechnic Institute of Porto, Portugal Witold Pedrycz, University of Alberta , Canada Wolfgang Ketter, Rotterdam School of Management, The Netherlands *Steering Committee* Fernando Lopes, LNEG National Research Institute , Portugal Giancarlo Fortino, Università della Calabria, Italy Hugo Morais, Denmark Technical University, Denmark Rainer Unland, University of Duisburg-Essen, Germany Ryszard Kowalczyk, Swinburne University of Technology Zita Vale, Polytechnic Institute of Porto, Portugal -- “Experience is this valuable asset which allows us to identify the mistake immediately when we are doing it again and again!” “Erfahrung ist jener kostbare Besitz, der uns befähigt, einen Fehler sofort zu erkennen, wenn wir ihn immer wieder machen.” ************************************************************************** Prof. Dr. Rainer Unland University of Duisburg-Essen Institute for Computer Science and Business Information Systems (ICB) Practical Computer Science, especially Data Management Systems and Knowledge Representation Schuetzenbahn 70 45117 Essen, Germany Tel.: (+49) 201-183 3421 IP-Tel. Skype: unlandr Fax: (+49) 201-183 4460 Email: Rainer.Unland at icb.uni-due.de WWW: http://www.dawis.wiwi.uni-due.de/ *************************************************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Miel.VanderSande at ugent.be Thu Dec 24 14:08:03 2015 From: Miel.VanderSande at ugent.be (Miel Vander Sande) Date: Thu, 24 Dec 2015 14:08:03 +0100 Subject: [CfP]15th International Semantic Web Conference (ISWC2016): Call for papers & proposals Message-ID: <5DA5D33D-1831-4326-B1B7-C0467329600D@ugent.be> For the New Year, the organizers are happy to announce the Call for Papers and Proposals for the 15th International Semantic Web Conference (ISWC 2016). ISWC is the premier venue for presenting innovative systems and research results related to the Semantic Web and Linked Data, attracting yearly a large number of high quality submissions and participants from both, industry and academia. ISWC brings together researchers from different areas, such as artificial intelligence, databases, natural language processing, information systems, human computer interaction, information retrieval, web science, etc., who investigate, develop and use novel methods and technologies for accessing, interpreting and using information on the Web in a more effective way. ISWC 2016 will be held in Kobe, Japan, from October 17 -21, 2016. In this announcement: 1. Call for Papers 2. HTML Submission Guide 3. Call for Workshops and Tutorial proposals 4. Student Grants 5. Important dates For any addition questions, don't hesitate to contact us: Website: http://iswc2016.semanticweb.org Facebook: https://www.facebook.com/groups/113652365383847 Twitter: https://twitter.com/ISWC2016 1. Call for Papers ========================================== For 2016, we present the following tracks, which are now open for submission. Overview: http://iswc2016.semanticweb.org/pages/calls.html -------------------------------------------------------------------------- Call for Research Track Papers -------------------------------------------------------------------------- In this track of ISWC 2016, we are looking for novel and significant research contributions addressing theoretical, analytical, empirical, and practical aspects of this broad field. While we welcome work that relates to the W3C Semantic Web recommendations (e.g., RDF, OWL, SPARQL, etc.), we encourage submissions that investigate other approaches to the intersection of semantics and the Web. All papers will be assessed by a program committee. Each paper will be reviewed by at least four committee members, including one senior member. The review criteria used are outlined on the webpage (see below). We also encourage authors to include pointers to additional material to substantiate the claims and findings discussed in their papers. Additional sources of material include extended technical reports, source code, datasets, as well as links to applications. Authors might consider submitting a separate paper describing these additional resources to the Resources Track. Before submitting, authors are asked to consult the calls of the other tracks featured at ISWC 2016 and to choose the track that best suits their contribution. To produce a coherent conference program the track chairs may suggest transferring a submission to a different track of the conference with authors consent. However, the submission of the same work to multiple tracks is not allowed and may result in a rejection of the work across all tracks without a review. Detailed info: http://iswc2016.semanticweb.org/pages/calls/research-track.html Program Chairs * Paul Groth - Elsevier (pgroth at gmail.com) * Elena Simperl - University of Southampton (e.simperl at soton.ac.uk) -------------------------------------------------------------------------- Call for Applications (Emerging, In-Use, Industry) Track -------------------------------------------------------------------------- Semantic technologies are reaching maturity on the web, especially through the increase in their use to publish, structure and make sense of web data, whether they are in the form of linked data, through schema.org, or even with semantics included in other data formats than RDF (CSV, JSON, etc). The Applications (Emerging, In-Use, Industry) Track at ISWC 2016 provides a forum for the community to explore the benefits and challenges of applying semantic technologies in concrete, practical applications, in contexts ranging from industry to government and science. We are especially interested this year in applications that use the emerging knowledge graphs or semantic technologies on the web together with data mining, reasoning, machine learning, or natural language processing techniques to the benefit of concrete, real-world scenarios. We are also looking for descriptions of applied and validated industry solutions as software tools, systems or architecture that benefit from the adoption of semantic technologies. Detailed info: http://iswc2016.semanticweb.org/pages/calls/applications.html Program Chairs * Markus Krötzsch - TU Dresden Germany (markus.kroetzsch at tu-dresden.de) * Freddy Lecue - IBM Research, Ireland (freddy.lecue at ie.ibm.com) -------------------------------------------------------------------------- Call for Doctoral Consortium Papers -------------------------------------------------------------------------- The ISWC 2016 Doctoral Consortium will take place as part of the 15th International Semantic Web Conference in Kobe, Japan. This forum will provide PhD students an opportunity to share and develop their research ideas in a critical but supportive environment, to get feedback from mentors who are senior members of the Semantic Web research community, to explore issues related to academic and research careers, and to build relationships with other Semantic Web PhD students from around the world. The Consortium aims to broaden the perspectives and to improve the research and communication skills of these students. The Doctoral Consortium is intended for students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Generally, students in their second or third year of PhD will benefit the most from the Doctoral Consortium. In the Consortium, the students will present their proposals and get specific feedback and advice on how to improve their research plan. All proposals submitted to the Doctoral Consortium will undergo a thorough reviewing process with a view to providing detailed and constructive feedback. The international program committee will select the best submissions for presentation at the Doctoral Consortium. We anticipate that students with accepted submissions at the Doctoral Consortium will receive travel fellowships to offset some of the travel costs. Detailed info: http://iswc2016.semanticweb.org/pages/calls/doctoral-consortium.html Program Chairs * Philippe Cudré-Mauroux - University of Freiburg, Switzerland * Natasha Noy - Google Inc. * Riichiro Mizoguchi - JAIST, Japan -------------------------------------------------------------------------- Call for Posters and Demos -------------------------------------------------------------------------- The ISWC 2016 Posters and Demonstrations complement the paper tracks of the conference and offer an opportunity for presenting late-breaking research results, on-going research projects, and speculative or innovative work in progress. The informal setting of the Posters and Demonstrations encourages presenters and participants to engage in discussions about the work. Such discussions can be invaluable inputs for the future work of the presenters, while offering participants an effective way to broaden their knowledge of the emerging research trends and to network with other researchers. We invite submissions relevant to the area of the Semantic Web and which address, but are not limited to, the topics of the Research Track; the Application Track; and the Resource Track. Technical posters, reports on Semantic Web software systems (free or commercial), descriptions of completed work, and work in progress are all welcome. Demonstrations are intended to showcase innovative Semantic Web related implementations and technologies, both in academia and in industry. We explicitly welcome entries from the industry. However, submissions for posters and demos should go beyond pure advertisements of commercial software packages and convey a minimal scientific contribution. Authors of full papers accepted for the Research Track; the Application Track; and the Resource Track are explicitly invited to submit a demonstration. The submission should be formatted as the other posters and demonstrations but must cite the accepted full paper and needs to include an explanation of its added value with respect to the conference paper. The added value could include: a) extended results and experiments not presented in the conference paper for reasons of space, or b) a demonstration of a supporting prototype implementation. Detailed info: http://iswc2016.semanticweb.org/pages/calls/posters-demos.html Posters and Demos Track Chairs * Takahiro Kawamura - Japan Science and Technology Agency, Japan (takahiro.kawamura at jst.go.jp) * Heiko Paulheim - University of Mannheim, Germany (heiko at informatik.uni-mannheim.de) -------------------------------------------------------------------------- Call for Resources Track Papers -------------------------------------------------------------------------- Resources such as datasets, ontologies, workflows, software tools or evaluation benchmarks are important outputs of any scientific work. Sharing these resources with the research community does not only ensure the reproducibility of one’s results, but also has the benefit of supporting other researchers in their own work. Although high quality shared resources have a key role and an essential impact on the advancement of a research community, the academic acknowledgement for sharing such resources is low. Therefore, many researchers primarily focus on publishing scientific papers and lack the motivation to share their resources. An additional challenge is that resources are often shared without following best practices, for example, at non-permanent URLs that become unavailable within a few months. A recent large-scale study identified that 20% of papers providing resources via URLs suffer from URL rot (http://journals.plos.org/plosone/article?id=10.1371/journal.pone.0115253). The ISWC 2016 Resources Track aims to encourage resource sharing following best practice within the Semantic Web community by calling for submissions of resources and their accompanying papers. This track calls for contributions that provide a concise and clear description of a resource and its (expected) usage. Typical resource types are: ontologies, vocabularies, datasets, benchmarks and replication studies, services and software. Besides these established types of resources, we also welcome the submission of new types of resources such as ontology design patterns, crowdsourcing task designs, workflows, methodologies, protocols and measures, and so forth. Detailed info: http://iswc2016.semanticweb.org/pages/calls/resource-track.html Program Chairs * Alasdair Gray - Heriot-Watt University, United Kingdom (a.j.g.gray at hw.ac.uk) * Marta Sabou - Vienna University of Technology, Austria (martasabou at gmail.com) 2. HTML Submission Guide ========================================== This year we have added an additional option to allow for the submission of articles formatted using HTML. Authors choosing to submit using HTML still need to comply with the page limit and layout requirements of the conference. It’s the author’s responsibility to ensure that reviewers can easily access their submission. On http://iswc2016.semanticweb.org/pages/calls/html-submission.html, you can find helpful tools that can make HTML submissions easier. Your HTML submission with any extensions if accepted will be available on the ISWC web page in preprint form with all the new elements that you’ve included. 3. Call for Workshops and Tutorial proposals ========================================== In addition to the regular research and workshop program, ISWC 2016 will feature a tutorial program addressing the diverse interests of its audience: Semantic Web practitioners that wish to learn about new technologies, novices to the Semantic Web interested in introductory tutorials to key Semantic Web / Linked Data topics, government and industry representatives focusing on the applicability of Semantic Web / Linked Data technologies in practical settings. We hereby invite you to submit a tutorial proposal on a topic relevant to the ISWC 2016 audience. Detailed info: http://iswc2016.semanticweb.org/pages/calls/tutorials.html Besides tutorials, ISWC will host a number of workshops on topics related to the general theme of the conference. The role of the workshops is to provide a context for a focused and intensive scientific exchange among researchers interested in a particular topic. As such, workshops are the primary venues for the exploration of emerging ideas as well as for the discussion of novel aspects of established research topics. We invite you to submit a proposal for workshops on a topic of interest to ISWC attendees. Detailed info: http://iswc2016.semanticweb.org/pages/calls/workshops.html Workshops & Tutorials Chairs * Chiara Ghidini - Bruno Kessler Foundation, Trento, Italy (ghidini at fbk.eu) * Heiner Stuckenschmidt - Data- and Web Science Group, University of Mannheim, Germany (heiner at dwslab.de) 4. Student Grants ========================================== If you are a student interested in attending ISWC 2016 you may be eligible to apply for a grant to support the costs of travel and lodging. This year, travel grants are funded by the Semantic Web Science Association (SWSA) and the US National Science Foundation (NSF). Detailed info: http://iswc2016.semanticweb.org/pages/calls/student-grants.html 5. Important Dates ========================================== Workshop proposals due March 10, 2016 Tutorial proposals due March 15, 2016 Notifications of workshop proposals out April 15, 2016 Notifications of tutorial proposals out April 20, 2016 Abstracts due (Research, Applications, Resource tracks) April 20, 2016 Submissions due (Research, Applications, Resource tracks) April 30, 2016 DC submissions due May 30, 2016 Author rebuttal period starts (Research, Applications, Resource tracks) June 12, 2016 Author rebuttal period ends (Research, Applications, Resource tracks) June 15, 2016 Notifications for Research, Applications, Resource tracks out June 30, 2016 Notifications for DC applicants out July 01, 2016 Poster/Demo submissions due July 07, 2016 Workshop papers due July 07, 2016 Metadata for Research, Applications, Resource tracks due July 08, 2016 Camera-ready papers for Research, Applications, Resource tracks due July 18, 2016 Workshop paper notifications sent July 30, 2016 Poster/Demo notifications sent August 07, 2016 Camera-ready copies for DC papers August 15, 2016 Camera-ready papers for workshops August 25, 2016 Camera-ready copies for poster and demos August 30, 2016 Student activity applications due August 31, 2016 Early registration deadline September 10, 2016 Turorial materials due September 19, 2016 Last day to reserve a hotel room at confence rates September 30, 2016 Last day to avoid late registration fee October 05, 2016 Workshops and tutorials October 17-18, 2016 Conference October 19-21, 2016 Happy holidays! The ISWC organising committee From grlmc at grlmc.com Sat Dec 26 09:46:39 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 26 Dec 2015 09:46:39 +0100 Subject: WebST 2016: early registration deadline 19 January Message-ID: <8c09cdbe6df2d8eefb4b22493aab6cd9@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY   WEBST 2016 BILBAO, SPAIN JULY 18-22, 2016 Organized by: University of Deusto Rovira i VirgiliUniversity http://grammars.grlmc.com/webst2016/ ***************************************************************************** AIM: WebST 2016 is a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience. Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 20 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, an open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators. REGIME: In addition to keynotes, at least 2 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: WebST 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the GuggenheimMuseum. The venue will be: DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: (to be completed) Ricardo Baeza-Yates (Yahoo Labs), Big Data in the Web Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm Amit P. Sheth (WrightStateUniversity), Building Intelligent Systems: Semantic, Cognitive and Perceptual Computing to Exploit Physical-Cyber-Social Big Data PROFESSORS AND COURSES: (to be completed) Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data Aldo Gangemi (Italian National Research Council, Rome), [intermediate/advanced] Open Knowledge Extraction: From Machine Reading to the Semantic Web Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web Ravi Kumar (Google), tba Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities Cathy Marshall (TexasA&MUniversity), [introductory] Qualitative Methods for Studying Users on the Web Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data Prabhakar Raghavan (Google), tba Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about Munindar P. Singh (North CarolinaStateUniversity), [introductory/intermediate] Web Applications as Sociotechnical Systems: A Basis for a Science of Security and Privacy Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for​ Web Science Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by July 15, 2016. ORGANIZING COMMITTEE: Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: It has to be done at http://grammars.grlmc.com/webst2016/Registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be completed. It is much recommended to register prior to the event. FEES: Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be available on the webpage in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat ACKNOWLEDGEMENTS: University of Deusto Rovira i Virgili University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Mon Dec 28 13:02:30 2015 From: grlmc at grlmc.com (GRLMC) Date: Mon, 28 Dec 2015 13:02:30 +0100 Subject: BigDat 2016: early registration deadline 8 January Message-ID: <0cfa0b7c6628e1bc72fd27cc96366d57@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************   2ND INTERNATIONAL WINTER SCHOOLON BIG DATA   BIGDAT 2016 BILBAO, SPAIN FEBRUARY 8-12, 2016 Organized by: DeustoTech, University of Deusto Rovira i VirgiliUniversity http://grammars.grlmc.com/bigdat2016/ ******************************************************** --- Early registration deadline: January 8, 2016 --- ******************************************************** AIM: BigDat 2016 will be a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical 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. Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 19 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: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. BigDat 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, 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 will be willing to attend as well as to move from one to another. VENUE: BigDat 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the GuggenheimMuseum. The venue will be: DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Nektarios Benekos (European Organization for Nuclear Research), Role of Computing and Software in Particle Physics Chih-Jen Lin (NationalTaiwanUniversity), When and When Not to Use Distributed Machine Learning Jeffrey Ullman (StanfordUniversity), Theory of MapReduce Algorithms Alexandre Vaniachine (Argonne National Laboratory), Big Data Technologies and Data Science Methods in the Higgs Boson Discovery PROFESSORS AND COURSES: Nektarios Benekos (European Organization for Nuclear Research), [introductory/intermediate] Exploring the Mysteries of our Cosmos: the Big Deal between Big Data and Big Science Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Edward Y. Chang (HTC Health, Taipei), [introductory/intermediate] Big Data Analytics for Healthcare: Scalable Algorithms and Applications Nello Cristianini (University of Bristol), [introductory] THINKBIG: Towards Large Scale Computational Social Sciences, History and Digital Humanities Ernesto Damiani (University of Milan & EBTIC/Khalifa University), [introductory/intermediate] Architectures, Models and Tools for Big-Data-as-a-Service Francisco Herrera (University of Granada), [introductory] Big Data Preprocessing George Karypis (University of Minnesota), [intermediate/advanced] Scaling Up Recommender Systems Chih-Jen Lin (NationalTaiwanUniversity), [introductory/intermediate] Large-scale Linear Classification Geoff McLachlan (University of Queensland), [intermediate/advanced] Big Data Extensions of Some Methods of Classification and Clustering Wladek Minor (University of Virginia), [introductory/intermediate] Big Data in Biomedical Sciences Raymond Ng (University of British Columbia), [introductory/intermediate] Mining and Summarizing Text Conversations Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Granular Mining: Relevance to Big Data Erhard Rahm (University of Leipzig), [introductory/intermediate] Scalable and Privacy-preserving Data Integration Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services Jaideep Srivastava (Qatar Computing Research Institute), [intermediate] Social Computing: Computing as an Integral Tool to Understanding Human Behavior and Solving Problems of Social Relevance Jeffrey Ullman (StanfordUniversity), [introductory] Big Data Algorithms that Aren't Machine Learning Alexandre Vaniachine (Argonne National Laboratory), [introductory/advanced] Big Data: Comparison with Computational Models Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Big Data Analytics for Social Networks Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory/intermediate] Large Scale Graph Analytics and Mining 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 adrian.dediu (at) urv.cat by February 5, 2016. ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Martín-Vide (co-chair) Iker Pastor López (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2016/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: Participants are expected to attend full-time. 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 of accommodation are available on the webpage. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat ACKNOWLEDGEMENTS: University of Deusto Rovira i Virgili University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.amigoni at polimi.it Wed Dec 30 18:18:16 2015 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Wed, 30 Dec 2015 17:18:16 +0000 Subject: RoboCup 2016 Virtual Robot Competition - Call for Participation Message-ID: (Please apologize for multiple postings.) ********************************************************************************************** Call for Participation RoboCup 2016 Virtual Robot Competition June 30 - July 4, 2016 (Leipzig, GERMANY) http://www.robocup2016.org/ We would like to invite all robot rescue teams to participate in the 2016 RoboCup Rescue Simulation League World Championship. The Virtual Robot Competition will be largely renewed (also as outcome of The Future of Robot Rescue Simulation Workshop to be held from February 29 to March 4, 2016, in Leiden, https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/) both in terms of simulation environment, with the transition from the current Unreal-based environment (which has been used in the previous years) to a ROS/Gazebo based environment, and in terms of challenges and rules. If you are interested to participate please take the time to pre-register your team for the RoboCup 2016 Virtual Robot Competition as soon as possible, so that we can inform you about the latest developments. 1) RoboCup Rescue Simulation League and Virtual Robot Competition --------------------- The RoboCup Rescue Simulation League is a socially relevant part of RoboCup event. Its main purpose is to provide emergency decision support by integration of disaster information, prediction, planning, and human interface. A generic urban disaster simulation environment is constructed on network computers. Heterogeneous intelligent agents such as fire fighters, commanders, victims, volunteers, etc. conduct search and rescue activities in this virtual disaster world. Real-world interfaces such as helicopter images synchronize the virtuality and the reality by sensing data. Mission-critical human interfaces such as PDAs support disaster managers, disaster relief brigades, residents, and volunteers to decide their action to minimize the disaster damage. Addressing this problem involves advanced and interdisciplinary research themes. As AI/robotics research, for example, behavior strategy (e.g., multi-agent planning, realtime/anytime planning, heterogeneity of agents, robust planning, mixed-initiative planning) is a challenging problem. For disaster researchers, RoboCup Rescue works as a standard basis in order to develop practical comprehensive simulators adding necessary disaster modules. The next version of the Virtual Robot Competition is based on ROS/Gazebo, an advanced robot simulator in which users can simulate multiple agents whose capabilities closely mirror those of real robots. ROS/Gazebo currently features several ground and air robots, as well as a wide range of sensors and actuators. Moreover, exploiting ROS, users can easily develop their robot systems integrating standard modules. Note that the 2016 Virtual Robot Competition will be based on the new simulator and on the rules that will be available just after The Future of Robot Rescue Simulation Workshop. See, for more information, http://www.robocuprescue.org/wiki/index.php?title=VRCompetitions A document describing the architecture of the new simulator is available here: http://robocup.oss-cn-beijing.aliyuncs.com/symposium%2FRoboCup_Symposium_2015_submission_14.pdf while part of the code is available here: https://github.com/m-shimizu/RoboCupRescuePackage 2) Pre-registration ------------------- For the pre-registration please send before January 31, 2016 an email to francesco.amigoni at polimi.it with as attachment the following form filled in: http://www.robocuprescue.org/wiki/images/IntentVirtual2016.txt 3) Qualification material ------------------------- Besides the pre-registration, please prepare before March 30, 2016, a Team Description Paper describing the most innovative contributions or scientific results your team is intended to provide. The TDP is limited to 8 pages and must be formatted according to the LNCS format: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The Team Description Paper is an overview of the methodologies you used and intend to use to control your robots inside the Virtual Robot Competition. If applicable, include a reference to your latest publications. Given the reduced time between the end of The Future of Robot Rescue Simulation Workshop and the deadline for qualification material, the qualification material should reflect the team ideas and intentions rather than being a technically detailed document. The qualification material should be placed on a dedicated web page on the team's home page. Please include the link to the qualification material on the pre-registration information. 4) Deadlines ----------- - Deadline for pre-registration Virtual Robot Competition: January 31, 2016 - Deadline for qualification material Virtual Robot Competition: March 30, 2016 - Team qualification notification: April 5, 2016 5) Rules -------- The rules for the RoboCup 2016 Virtual Robot Competition will be published at: http://www.robocuprescue.org/wiki/index.php?title=VRCompetitions The rules will be the output of The Future of Robot Rescue Simulation Workshop, but before the workshop an initial discussion of the rules can take place. The participating teams are encouraged to be engaged in the discussion, even when they are not present at the workshop. We hope to see you all in Germany. With kind regards, Sanaz Taleghani, Masaru Shimizu, and Francesco Amigoni, 2016 RoboCup Rescue Simulation Virtual Robot Competition Technical Committee --------------------------------------------------------- Francesco Amigoni, Ph.D. Associate Professor Artificial Intelligence and Robotics Laboratory Dipartimento di Elettronica, Informazione e Bioingegneria Politecnico di Milano Piazza Leonardo da Vinci, 32 I-20133 Milano (MI), Italy Voice: +39 02 2399-3475 Fax: +39 02 2399-3411 Email: francesco.amigoni at polimi.it Web: http://www.deib.polimi.it/people/amigoni --------------------------------------------------------- From grlmc at grlmc.com Thu Dec 31 19:37:24 2015 From: grlmc at grlmc.com (GRLMC) Date: Thu, 31 Dec 2015 19:37:24 +0100 Subject: AlCoB 2016: 3rd call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************************ 3RD INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   ALCOB 2016   TRUJILLO, SPAIN   JUNE 21-23, 2016 Organized by: Computer Architecture and Logic Design Group (ARCO) University of Extremadura Extremadura Centre for Advanced Technologies (CETA-Ciemat) Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/alcob2016/ ************************************************************************************ 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 (2014) and Mexico City (2015). 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 2016 will take place in Trujillo, homeland of the so-called "conquistadores" who arrived in Peru in the XVI century. The venue will be the Extremadura Centre for Advanced Technologies.   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 2016 will consist of: invited lectures peer-reviewed contributions   INVITED SPEAKERS: Evan Eichler (University of Washington, Seattle), De Novo Genome Assembly and Structural Variation S. Cenk Sahinalp (SimonFraserUniversity), Big Data Algorithmics for Cancer Genomics David Sankoff (University of Ottawa), The Evolution of Gene Order in the Flowering Plants   PROGRAMME COMMITTEE: Can Alkan (Bilkent University, Ankara, Turkey) Timothy L. Bailey (University of Queensland, Brisbane, Australia) Vladimir Bajic (King Abdullah University of Science and Technology, Thuwal, Saudi Arabia) Geoff Barton (University of Dundee, UK) Inanc Birol (University of British Columbia, Vancouver, Canada) Jacek Błażewicz (PoznańUniversity of Technology, Poland) Alan P. Boyle (University of Michigan, Ann Arbor, USA) Vladimir Brusic (NazarbayevUniversity, Astana, Kazakhstan) Liming Cai (University of Georgia, Athens, USA) Rita Casadio (University of Bologna, Italy) Ken Chen (University of Texas MD AndersonCancerCenter, Houston, USA) Jason Ernst (University of California, Los Angeles, USA) Laurent Gautier (Novartis Institutes for BioMedical Research, Cambridge, USA) Manolo Gouy (ClaudeBernardUniversity Lyon 1, France) Michael Gribskov (PurdueUniversity, West Lafayette, USA) Iman Hajirasouliha (Stanford University, USA) John Hancock (Genome Analysis Centre, Norwich, UK) Artemis Hatzigeorgiou (University of Thessaly, Volos, Greece) Fereydoun Hormozdiari (University of California, Davis, USA) Kazutaka Katoh (Osaka University, Japan) Evangelos Kranakis (Carleton University, Ottawa, Canada) Lukasz Kurgan (University of Alberta, Edmonton, Canada) Bill Majoros (DukeUniversity, Durham, USA) Lennart Martens (Ghent University, Belgium) Maria-Jesus Martin (European Bioinformatics Institute, Hinxton, UK) Carlos Martín-Vide (Rovira i VirgiliUniversity, Tarragona, Spain, chair) Folker Meyer (Argonne National Laboratory, USA) Kenta Nakai (University of Tokyo, Japan) Matteo Pellegrini (University of California, Los Angeles, USA) Mihaela Pertea (JohnsHopkinsUniversity, Baltimore, USA) Ben Raphael (BrownUniversity, Providence, USA) Paolo Ribeca (Pirbright Institute, Woking, UK) Denis Shields (UniversityCollegeDublin, Ireland) Fredj Tekaia (Pasteur Institute, Paris, France) Alessandro Verri (University of Genova, Italy) Fuli Yu (BaylorCollege of Medicine, Houston, USA) Daniel Zerbino (European Bioinformatics Institute, Hinxton, UK) Kaizhong Zhang (University of WesternOntario, London, Canada) Weixiong Zhang (WashingtonUniversity in St. Louis, USA) Zhongming Zhao (VanderbiltUniversity, Nashville, USA) Yaoqi Zhou (GriffithUniversity, Brisbane, Australia) ORGANIZING COMMITTEE: María Botón-Fernández (Trujillo, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Miguel A. Vega-Rodríguez (Cáceres, co-chair) Florentina Lilica Voicu (Tarragona) LOCAL COMMITTEE: Leslye Alarcón (Cáceres) María Botón-Fernández (Trujillo, co-chair) José M. Granado-Criado (Cáceres) Sergio Santander-Jiménez (Cáceres) Miguel A. Vega-Rodríguez (Cáceres, co-chair)   SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=alcob2016   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 IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB, 2014 JCR impact factor: 1.438, quartile Q1) 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 period for registration is open from October 30, 2015 to June 21, 2016. The registration form can be found at: http://grammars.grlmc.com/alcob2016/Registration.php DEADLINES: Paper submission: January 26, 2016 (23:59 CET) Notification of paper acceptance or rejection: March 1, 2016 Final version of the paper for the LNCS/LNBI proceedings: March 15, 2016 Early registration: March 15, 2016 Late registration: June 7, 2016 Submission to the journal special issue: September 23, 2016   QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS: AlCoB 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Centro Extremeño de Tecnologías Avanzadas (CETA-CIEMAT) Universidad de Extremadura Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: