From calimeri at mat.unical.it Sat Jan 3 11:42:23 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Sat, 3 Jan 2015 11:42:23 +0100 Subject: CfP LPNMR 2015 Announcement: Associated Events Message-ID: [apologies for any cross-posting] Call for Papers --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers. TOPICS Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in formalization of Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to linguistics, psychology, and other sciences * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer-Verlag Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be formatted according to the Springer LNCS author instructions, http://www.springer.com/comp/lncs/Authors.html must be written in English, and present original research. Paper submission will be electronic through the LPNMR-15 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2015 Two best papers of general AI interest will be invited for rapid publication in the journal Artificial Intelligence - Journal - Elsevier. Two best papers with narrower logic programming focus will be invited for a rapid publication in the journal Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY LPNMR 2015 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium IMPORTANT DATES (TENTATIVE) * Paper registration: April 13, 2015 * Paper submission: April 20, 2015 * Notification: June 1, 2015 * Final versions due: June 15, 2015 VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Università di Udine, Italy Agustín Valverde, Universidad de Màlaga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Università di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Politécnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Università della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, University of Potsdam, Germany Matthias Knorr, CENTRIA, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015 at mat.unical.it From mpavone at dmi.unict.it Sat Jan 3 17:21:16 2015 From: mpavone at dmi.unict.it (Mario Pavone) Date: Sat, 03 Jan 2015 17:21:16 +0100 Subject: CFP AIS 2015 - International Workshop on Artificial Immune Systems, 17-18 July 2015, Taormina, Italy Message-ID: <20150103172116.Horde.B6YGReph4B9UqBb88_TRS8A@mbox.dmi.unict.it> CALL FOR PAPERS, ABSTRACTS, ORAL/POSTER PRESENTATIONS ** Apologies for cross-posting ** ** Please forward to anybody who might be interested. ** International Workshop on Artificial Immune Systems - Systems & Synthetic Immunology, Computational Immunology & Immune-Inspired Engineering - July 17-18, 2015 - Taormina, Italy http://www.dmi.unict.it/ais2015/ ais2015 at ieee-cis-ais.org -- **** PLENARY SPEAKERS: Alessandro SETTE & Hugues BERSINI. http://www.dmi.unict.it/ais2015/plenary.html **** SUBMISSION DEADLINE: 18th February 2015 http://www.dmi.unict.it/ais2015/dates.html **** PROCEEDINGS in IEEE Press, as post-proceedings http://www.dmi.unict.it/ais2015/calls.html **** Special Issue in BMC BIOINFORMATICS (TBC) -- ** General Information ** The main aim of AIS 2015 is to foster the essential relations between immunologists and modelers that work into the research areas of systems immunology, synthetic immunology, computational immunology, cellular immunology, immune-inspired computation and immune-inspired engineering. In addition to peer-reviewed papers, the workshop will present a range of plenary lectures in order to inspire and facilitate all AIS researchers in their current and future work. The workshop is under the patronage of IEEE CIS Task Force on Artificial Immune Systems (http://ieee-cis-ais.org) and it is co-sponsored by IEEE Computational Intelligence Society (http://cis.ieee.org/) *** You are invited to submit papers to this exciting event! *** ** Important Dates ** - Abstract submission: 18th February 2015 - Regular Paper submission: 18th February 2015 - Abstract Notification: 26th March 2015 - Regular Paper notification: 26th March 2015 - Camera-ready submission: 16th April 2015 - Early Registration: 20th April 2015 ** Plenary Speakers ** - Hugues Bersini, IRIDIA, Universite Libre de Bruxelles, Belgium - Alessandro Sette, La Jolla Institute for Allergy & Immunology, La Jolla, USA More speakers to be announced http://www.dmi.unict.it/ais2015/plenary.html ** Paper Submission ** Authors are encouraged to submit novel contributions in one of the main topics of AIS 2015, and explain how their work sheds light on the fundamental properties of natural and artificial immune system, and makes progress on the important open questions of systems & synthetic immunology, computational immunology, and immune-inspired engineering. AIS 2015 includes three different types of submission: 1) *regular paper*: 8-pages maximum length, including figures, table & references. It should report on new and unpublished work; 2) *abstract*: max 2 pages length; 3) *Oral/Poster presentations*: no pages restriction. It should discuss works in progress; new research ideas; works previously published elsewhere (it is essential that a reference to the previous article is clearly cited); and all that may be relevant and fruitful for soliciting discussions at the workshop. All the submitted papers must be formatted using IEEE style (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). Note that the format is exactly the same for all options. All submissions will be subject to peer review by the program committee, and all accepted submissions are allocated either an oral presentation slot or a poster slot with no distinction being made between the submission options. ** Proceedings - IEEE press ** All accepted papers for the first two options will be published in a volume by IEEE Press, whilst all accepted papers relative to the last option will be published in an electronic book, and it will put online in the workshop website. The authors of the best papers will have the opportunity to publish a revised and expanded version of their conference paper in BMC Bioinformatics (TBC). ** Location ** The conference will be held in Taormina http://www.dmi.unict.it/ais2015/location.html All information about venue and accommodation may be found at the following links: http://www.dmi.unict.it/ais2015/venue.html http://www.dmi.unict.it/ais2015/accommodation.html ----- http://www.dmi.unict.it/ais2015/ ais2015 at ieee-cis-ais.org Looking forward to welcoming you to Taormina in July 2015. Carlos A. Coello Coello, Vincenzo Cutello, Doheon Lee, and Mario Pavone. -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383038 fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone/ =========================================================================== International Synthetic & Systems Biology Summer School * Biology meets Engineering and Computer Science * July 5-9, 2015 - Taormina, Italy http://www.taosciences.it/ssbss2015/ =========================================================================== International Workshop on Artificial Immune Systems * Systems & Synthetic Immunology, Computational Immunology, Immune-Inspired Engineering * July 17-18, 2015 - Taormina, Italy http://www.dmi.unict.it/ais2015/ =========================================================================== 12th European Conference on Artificial Life - ECAL 2013 September 2-6, 2013 - Taormina, Italy http://mitpress.mit.edu/books/advances-artificial-life-ecal-2013 =========================================================================== From Natasha.Alechina at nottingham.ac.uk Mon Jan 5 15:22:12 2015 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Mon, 5 Jan 2015 14:22:12 +0000 Subject: Second CFP, ESSLLI 2015 Workshop on Logics for Resource-Bounded Agents Message-ID: SECOND CALL FOR PAPERS Logics for Resource-Bounded Agents http://www.cs.nott.ac.uk/~nza/lrba15/ 10-14 August 2015 organized as part of the European Summer School on Logic, Language and Information, ESSLLI 2015 (http://esslli2015.org), 3-14 August, 2015 in Barcelona Research in resource-bounded agency contributes both to reasoning about actions in philosophy and artificial intelligence, and to applications of logic in computer science, such as the practical verification of resource-bounded multi-agent systems. The Logics for Resource-Bounded Agents workshop will provide a forum for established researchers and advanced PhD students to present and discuss their work with colleagues working in related areas (particularly those represented at ESSLLI). In addition to logics of strategic ability where actions produce and consume resources, we solicit contributions from researchers working in epistemic logic, game theory, linear logic etc. on alternative approaches to modelling resource-bounded agency. Workshop topics include but are not limited to: - logics of strategic ability where actions require or produce resources, - counting and metric temporal logics; - linear logic; - epistemic logics for non-omniscient reasoners and bounded-memory reasoners. Submission Details: ================ We invite submissions of extended abstracts describing the topic of a 30 or 45 minute talk at the workshop. This talk may present original work or may be based on recently published work in the area of the workshop. Abstracts should not exceed 2 pages, and the following formats are accepted: PDF, ASCII text. Please send your submission electronically to nza at cs.nott.ac.uk by the deadline given below. Submissions will be reviewed by the workshop’s programme committee and additional reviewers. The abstracts will appear in the workshop proceedings published by ESSLLI (informal publication). Workshop Format: ================ The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session. On the first day the workshop organizers will give an introduction to the topic. Workshop Programme Committee: ============================ Thomas Agotnes (University of Bergen, Norway) Natasha Alechina (University of Nottingham, UK) Nils Bulling (TU Clausthal, Germany) Dario Della Monica (University of Reykjavik, Iceland) Stephane Demri (LSV, CNRS & ENS de Cachan, France) Morgan Deters (New York University, US) Michael Fisher (University of Liverpool, UK) Valentin Goranko (Stockholm University, Sweden) Francois Laroussinie (Paris Diderot University, France) Brian Logan (University of Nottingham, UK) Nicolas Markey (LSV, CNRS & ENS de Cachan, France) Nicolas Troquard (ISTC-CNR, Italy) Fernando Velazquez Quesada (University of Seville, Spain) Important Dates: ============= Submissions due: February 15, 2015 Notification of acceptance: April 15, 2015 Final programme: June 1, 2015 Workshop dates: August 10-14, 2015 Workshop Organizers: Natasha Alechina nza at cs.nott.ac.uk Brian Logan bsl at cs.nott.ac.uk Local Arrangements: All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. Moreover, a number of additional fee waiver grants will be made available by the OC on a competitive basis and workshop participants are eligible to apply for those. Unfortunately, we are unable to reimburse travel costs and accommodation. Workshop speakers who have difficulty in finding funding should contact the local organizing committee to ask for the possibilities for a grant. This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From turhan at tcs.inf.tu-dresden.de Mon Jan 5 18:04:42 2015 From: turhan at tcs.inf.tu-dresden.de (Anni-Yasmin Turhan) Date: Mon, 05 Jan 2015 18:04:42 +0100 Subject: KI 2015 -- Call for Workshops Message-ID: <54AAC42A.3080801@tcs.inf.tu-dresden.de> (Apologies, if you receive this call more than once.) Call for Workshops KI 2015 is the 38th edition of the German Conference on Artificial Intelligence which traditionally brings together academic and industrial researchers from all areas of AI. The technical program of KI 2015 will comprise paper and poster presentations, a variety of workshops, and a doctoral consortium. We invite proposals for workshops to be held at the beginning of the conference week (21./22. of September). Topics include all subareas of artificial intelligence as well as their foundations and applications. How to Propose a Workshop Proposals should be PDF documents of up to two pages and sent by email to the KI 2015 Workshop Chair. They should be formulated in English language and must be send to Anni-Yasmin.Turhan at tu-dresden.de by 30th of January 2015. Each workshop proposal should provide the following information: - Description of workshop topic and goal. This description should discuss the relevance of the suggested topic and its interest to the general AI community and the KI 2015 audience. - Names and affiliation (including email and web address) of the workshop organizer(s). Please indicate the primary contact person for KI 2015. - Describe the organizers' background regarding the workshop topic. - How many participants do you expect? How do you plan to attract enough participants for the workshop? - A brief description of the workshop format regarding the mix of events such as paper presentation, invited talks, panels, demonstrations, and general discussion. - Do you expect the workshop to be a full-day workshop or a half-day workshop? Workshop organizers will be responsible for: - producing a call for papers. The call is due February 20th, 2015. This call will be posted on (/ linked from) the KI 2015 website. Organizers are responsible for additional publicity such as distributing the call to relevant newsgroups and mailing lists, and especially to potential audiences from outside the KI conference community. - maintaining a workshop web site with updated information about the workshop. - producing of the workshop notes. The workshop organizers coordinate the collection, production and distribution of the working notes for the workshops. KI 2015 strongly encourages to have the workshop notes included in the collection of papers on the KI-2015 proceedings USB stick that will be distributed to all KI-participants. In case, the workshop organizers wish to include their working notes, the final versions of the workshop papers need to be collected no later than 30th of August 2015. The KI 2015 conference organizers will provide logistic support and meeting places for the workshops as well as determine the dates and times of the workshops. Important dates: =================== Proposal deadline: Jan 30, 2015 Notification of acceptance: Feb 4, 2015 Proceedings due: Aug 30, 2015 Workshop dates: 21./22.09.2015 -- PD Dr.-Ing. habil. Anni-Yasmin Turhan Post-doc Research and Teaching Fellow Dresden University of Technology Faculty of Computer Science Institute of Theoretical Computer Science Chair of Automata Theory 01062 Dresden Tel.: +49 (351) 463-39167 Fax: +49 (351) 463-37959 E-Mail: Anni-Yasmin.Turhan at tu-dresden.de From Andreas.Herzig at irit.fr Mon Jan 5 18:40:54 2015 From: Andreas.Herzig at irit.fr (Andreas Herzig) Date: Mon, 05 Jan 2015 18:40:54 +0100 Subject: CFP LAMAS 2014 Message-ID: <54AACCA6.7090004@irit.fr> CFP Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2015) http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm Istanbul, May 4 or 5, 2015 The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools. The workshop is planned to serve two mutually supporting purposes. Primarily, it will be a mini-conference, hosting talks and discussions, and facilitating exchange of information, research ideas, and publication of original research papers on issues listed below. Secondly, the workshop will provide a meeting forum for the research community working on various logical aspects of MAS. The participants will discuss how the community can support coordination of research and dissemination of results. The main technical issues that the workshop will address are: - Logical systems for specification, analysis, and reasoning about MAS - logic-based modeling of MAS - 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 FORMAT Three types of submissions are allowed: - 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. Each submission will be reviewed by at least 2 program committee members. Papers must be in PDF format and prepared according to the Springer LNCS format (http://www.springer.de/comp/lncs/authors.html). Please submit via the Easychair (https://easychair.org/conferences/?conf=lamas2015). IMPORTANT DATES February 11, 2015: paper submission deadline March 10, 2015: author notification March 19, 2015: Camera-ready version May 4 or 5, 2015: workshop PROCEEDINGS AND POST-PROCEEDINGS Workshop notes including all accepted papers will be distributed to AAMAS 2015 registrants in electronic form. Printed workshop notes will NOT be made available to workshop participants. Depending on the quality of the submissions, we also plan to edit workshop post-proceedings as a journal special issue of the Journal of Applied Non-Classical Logics (JANCL). The submissions to that special issue will be subject to a proper reviewing and selection process. PROGRAM COMMITTEE Chairs: Andreas Herzig and Emiliano Lorini (IRIT and CNRS, University of Toulouse) From pablo at iiia.csic.es Mon Jan 5 22:18:40 2015 From: pablo at iiia.csic.es (Pablo Noriega) Date: Mon, 5 Jan 2015 22:18:40 +0100 Subject: COIN@AAMAS2015 Coordination, Organizations, Institutions and Norms in Agent Systems Message-ID: ________________________________________ Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems http://coin-aamas2015.iiia.csic.es A workshop co-located with the 12th International Conference on Autonomous Agents and Multiagent Systems AAMAS2015 (http://www.aamas2015.com/) 4-8 May, 2015, Istanbul, Turkey _________________________________________ 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 multiagent 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 quid in the design and construction of open systems is to devise mechanisms that foster interactions that are conducive to achieve 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. • 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. IMPORTANT DATES February 11 Deadline for submitting to workshop March 10 Decision March 19 Camera ready May 4 or 5 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: COIN at AAMAS-2015 (https://easychair.org/conferences/?conf=coinaamas15) 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 2011 registrants in electronic form. As with previous COIN workshops, revised and extended versions of selected papers will published in a Springer LNCS volume in combination with the post-proceedings of a second COIN workshop to be held in 2015. That volume is published as part of The Coordination, Organizations, Institutions, and Norms in Agent Systems book series, with all the indexing, referencing and follow-up benefits associated with an established line of publication. COIN is a CORE B workshop Revised papers must take into account the discussion held during the workshop, hence, only those papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. COIN at AAMAS2015 CO-CHAIRS * Murat Sensoy (murat.sensoy @ ozyegin . edu.tr) * Pablo Noriega (pablo @ iiia.csic . es) PROGRAM COMMITTEE * Mohsen Afsharchi (University of Zanjan, IR) * Felipe Meneguzzi (PUCRS, BR) * Alexander Artikis (National Centre for Scientific Research "Demokritos", GR) * John-Jules Meyer (Utrecht University, NL) * Guido Boella (University of Torino, IT) * Simon Miles (King's College London, UK) * Didac Busquets (Imperial College, UK) * Daniel Moldt (University of Hamburg, DE) * Patrice Caire (U. Luxembourg, LU) * Tim Norman (Aberdeen, UK) * Henrique Cardoso (U of Porto, Pt) * Eugenio Oliveira (Universidade do Porto, PT) * Cristiano Castelfranchi (ISTC-CNR, IT) * Andrea Omicini (Universita di Bologna, IT) * Amit Chopra (Lancaster U, UK) * Nir Oren (University ofAberdeen, UK) * Rob Christiaanse (TU delft, NL) * Sascha Ossowski (URJC, ES) * Antonio Carlos da Rocha Costa (UCPEL, BR) * Simon Parsons (U of Liverpool, UK) * Luciano Coutinho (Universidade Federal do Maranhão, BR) * Jeremy Pitt (Imperial College, UK) * Natalia Criado (Liverpool John MooresU, UK) * Alessandro Ricci (Universita di Bologna, IT) * Mehdi Dastani (U of Utrecht, NL) * Juan-Antonio Rodriguez-Aguilar (IIIA-CSIC, ES) * Geeth de Mel (IBM TJ Watson, US) * Antonino Rotolo (U of Bolonia, IT) * Nicoletta Fornara (Lugano, CH) * Tony Savarimuthu (Otago, NZ) * Amineh Ghorbani (TU Delft, NL) * Christophe Sibertin-Blanc (IRIT-CNRS, FR) * Aditya Ghose (U of Wollongong, AU) * Carles Sierra (IIIA-CSIC, ES) * Davide Grossi (U Liverpool, UK) * Liz Sonenberg (University of Melbourne, AU) * Jomi-Fred Hubner (University of Blumenau, BR) * Charalampos Tampitsikas (U Lugano, CH) * Ozgur Kafali (Royal Holloway,Univ. of London, UK) * Pankaj Telang (Cisco, US) * Anup Kalia (North Carolina StateUniversity, US) * John Thangarajah (RMIT, AU) * Martin Kollingbaum (University ofAberdeen, UK) * Luca Tummolini (ISTC-CNR, IT) * Christian Lemaitre (Universidad Autonoma Metropolitana, MX) * Leender van der Torre (University of Luxembourg, LU) * Victor Lesser (U. Massachusetts Amherst, US) * Harko Verhagen (StockholmUniversity, SE) * Maite Lopez Sanchez (U of Barcelona, ES) * Dani Villatoro (BBVA Data & Analytics, ES) * Emiliano Lorini (IRIT-CNRS, FR) * George Vouros (University of Piraeus, GR) * Samhar Mahmoud (Kings, London, UK) COIN STEERING COMMITTEE COIN STEERING COMMITTEE Huib Aldewereld (TU Delft, NL) Frank Dignum (U Utrecht, NL) Pablo Noriega (IIIA-CSIC, ES) Viviane Torres da Silva (URJ, BR) Olivier Boissier (ENS Mines Saint-Etienne, FR) Virginia Dignum (TUDelft, NL) Julian Padget (U Bath, UK) Wamberto Vasconcelos (U Aberdeen, UK) Tina Balke (U Surrey, UK) Nicoletta Fornara (U Lugano, CH) Birna van Riemsdijk (TU Delft, NL) Javier Vazquez-Salceda (UPC, ES) Stephen Cranefield (U. Otago, NZ) Eric Matson Purdue U, US) Jaime Sichman (U Sao Paulo, BR) Marina de Vos (U Bath, UK) George Vouros (U Piraeus, GR) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aamas2014publicity at gmail.com Tue Jan 6 16:40:23 2015 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Tue, 6 Jan 2015 15:40:23 +0000 Subject: Call for nominations: ACM SIGAI Autonomous Agents Research Award 2015 Message-ID: ACM SIGAI Autonomous Agents Research Award 2015 Nominations are solicited for the 2015 ACM SIGAI Autonomous Agents Research Award. This award is made for excellence in research in the area of autonomous agents. It is intended to recognize researchers in autonomous agents whose **current work** is an important influence on the field. The award is an official ACM award, funded by an endowment created by ACM SIGAI from the proceeds of previous Autonomous Agents conferences. The recipient of the award will receive a monetary prize and a certificate, and will be invited to present a plenary talk at the AAMAS 2015 conference in Istanbul. Previous winners of the ACM SIGAI Autonomous Research Award are: Michael Wellman (2014), Jeff Rosenschein (2013), Moshe Tennenholtz (2012), Joe Halpern (2011), Jonathan Gratch and Stacy Marsella (2010), Manuela Veloso (2009), Yoav Shoham (2008), Sarit Kraus (2007), Michael Wooldridge (2006), Milind Tambe (2005), Makoto Yokoo (2004), Nicholas R. Jennings (2003), Katia Sycara (2002), and Tuomas Sandholm (2001). For more information on the award, see the Autonomous Agents Research Award page (http://sigai.acm.org/awards/autonomous_agents_award.html) How to nominate Anyone can make a nomination. Nominations should be made by email to the chair of the award committee, Milind Tambe (tambe at usc.edu), and should consist of a short (< 1 page) statement that emphasizes not only the research contributions that the individual has made that merit the award but also how the individual’s **current work** is an important influence on the field. NOTE: a candidate can only be considered for the award if they are explicitly nominated. If you believe that someone deserves the award, then NOMINATE THEM -- don't assume that somebody else will! Important dates 30 January 2015 -- Deadline for nominations 20 February 2015 -- Announcement of 2015 winner 4-8 May 2015 -- AAMAS-2015 conference in Istanbul From ijcai2015.publicity at gmail.com Wed Jan 7 10:30:36 2015 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Wed, 7 Jan 2015 06:30:36 -0300 Subject: =?UTF-8?Q?IJCAI_2015_Angry_Birds_Competition_=2D_CALL_FOR_PARTIC?= =?UTF-8?Q?IPAT=E2=80=8BION?= Message-ID: [Apology for cross-postings] ************************************************************************************************* Angry Birds AI Competition IJCAI is pleased to host AIBIRDS 2015, the Angry Birds Artificial Intelligence Competition (aibirds.org). The goal of the competition is to build AI agents that can play the popular game Angry Birds better than the best human players. This is surprisingly difficult as the outcome of each action is unknown in advance and the number of possible actions is infinite. Physics-based simulation games such as Angry Birds use a simulator that has complete knowledge of the current game state and each action can be perfectly and realistically simulated. However, players only have visual information available and must select a good action based on estimating the outcomes. This is very similar to the way humans interact with the physical world and what successful AI systems should be capable of doing too. The Angry Birds AI competition offers the possibility to develop these capabilities in a simplified and controlled environment. Participants are provided with a sample agent that they can improve using methods developed in AI areas such as computer vision, machine learning, knowledge representation and reasoning, heuristic search, and reasoning under uncertainty. In addition to the standard track, the 2015 competition features a new competitive track where two agents play the same game level using alternating shots. Agents make concealed offers for the right of the first shot and the agent that solves a level gets all the points. This should offer an interesting testbed for multi-agent and game theory research. AIBIRDS 2015 will be held over multiple days during the main conference. The first day is the qualification round accompanied by paper presentations. The second day is the finals day where the winner will be determined. The last day features the Human vs Machine Challenge where everyone is invited to challenge the best AI agents and where we will answer whether humans are still better than AI at playing Angry Birds. The competition is open to all registered teams who submit a working Angry Birds game playing agent to the organisers by July 12. This agent will be used for testing compatibility with the competition framework. Participants can still modify their agent after July 12, but no further compatibility tests will be made. Remote participation is possible, but attendance is encouraged. Each team must submit a one page description of the methods and strategies used by the agent. This information will not be disclosed to other competitors before the competition. There will also be a limited opportunity to present original scientific work on all aspects of developing an Angry Birds AI agent. The deadline for submitting full or short papers is July 1. All participating teams need to register for the competition, one registration per team. Registration will open on March 1, 2015. Early registration deadline is May 31. For more detailed information on the competition, including Call for Participation and Call for Papers, please refer to aibirds.org. Organisers: Jochen Renz, XiaoYu (Gary) Ge, Peng Zhang, Stephen Gould (Australian National University). Contact: contact at aibirds.org Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From didac.busquets at imperial.ac.uk Wed Jan 7 11:51:32 2015 From: didac.busquets at imperial.ac.uk (Didac Busquets) Date: Wed, 7 Jan 2015 10:51:32 +0000 Subject: CFP: Second International Workshop on Multiagent Foundations of Social Computing Message-ID: (Apologies for cross-posting) ------------------------------------------------------------------------------------------ Second International Workshop on Multiagent Foundations of Social Computing http://www.lancaster.ac.uk/staff/chopraak/mfsc-2015/index.html Co-located with AAMAS 2015 (http://www.aamas2015.com/) 4-8 May, 2015, Istanbul, Turkey ------------------------------------------------------------------------------------------ Social computing broadly refers to computing-supported approaches that facilitate interactions among people and organizations. Social computing has emerged as an exciting multidisciplinary area of research, driven by the wealth of easily available information and the success of online social networks and social media. Social computing applications are characterized by high interactivity among users, user-generated content, and in cases such as Wikipedia, more open governance structures. Much of the recent excitement in social computing is driven by data analytics and business models. The aim of this workshop is to promote a deeper conceptual understanding of social computing -- e.g., relating to its conceptual bases, information and abstractions, design principles, and platforms. We invite original thought-provoking papers that take an explicitly multiagent approach in addressing these gaps. We encourage well-argued position papers and vision papers. We also invite papers that present novel multiagent abstractions, methodologies, architecture, and techniques for social computing. Topics include but are not limited to: - Governance - Security and privacy - Models of social interaction - Social expectations and norms - Accountability - Social middleware - Crowdsourcing - Collective intelligence - Social intelligence - Human computation - Information models and data analytics - Provenance - Social sensing - Applications such as healthcare and smart cities - Participatory decision-making - Argumentation - Organizations - Teamwork ***************** Tutorial ***************** Presenter: Dr. Alexander Artikis, NCSR "Demokritos", Greece Title: Real-time reasoning in multi-agent systems The tutorial will introduce complex event recognition techniques and apply them to real-time reasoning about contracts and commitments in very large MAS. ***************** Important Dates ***************** - Paper submission: February 10, 2014 - Decision notification: March 10, 2014 - Camera-ready submission: March 19, 2014 ******************** Organizing Committee ******************** Amit K. Chopra, Lancaster University a.chopra1 at lancaster.ac.uk Harko Verhagen, Stockholm University verhagen at dsv.su.se Didac Busquets, Imperial College London didac.busquets at imperial.ac.uk *********************** Submission Instructions *********************** Authors should submit papers in PDF format through Easychair (https://easychair.org/conferences/?conf=mfsc15). The papers should be formatted according to the Springer LNCS style and should be no more than 12 pages in length. Each submitted paper will be reviewed by three program committee members. Details about the committee will become available shortly. No formal proceedings are planned. Our motivation behind this is to make this workshop primarily a forum for discussion. Dr. Didac Busquets Research Associate Intelligent Systems and Networks group Department of Electrical and Electronic Engineering Room 1009d EEE Building Imperial College London Exhibition Road, South Kensington Campus, SW7 2BT London, UK didac.busquets at imperial.ac.uk Connect with me at LinkedIn See my ResearchGate profile Tel. +44 (0)207 594 6298 Fax. +44 (0)207 594 6274 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pmt6sbc at maths.leeds.ac.uk Thu Jan 8 18:48:12 2015 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Thu, 8 Jan 2015 17:48:12 GMT Subject: CiE 2015 in Bucharest - FINAL CALL FOR PAPERS and EXTENDED DEADLINE, 21 Jan, 2015 Message-ID: <201501081748.t08HmC3Z016516@maths.leeds.ac.uk> ------------------------------------------------------------------------ CiE 2015: 3rd CfP - EXTENDED DEADLINE and BEST STUDENT PAPER AWARD ------------------------------------------------------------------------ FINAL CALL FOR PAPERS (incl. deadline extension due to popular demand) 3rd CALL FOR PAPERS: COMPUTABILITY IN EUROPE 2015: Evolving Computability Bucharest, Romania June 29 - July 3 http://fmi.unibuc.ro/CiE2015/ ************************************************************************ IMPORTANT DATES: EXTENDED Submission Deadline for LNCS: 21 January 2015 Notification of authors: 9 March 2015 Deadline for final revisions: 6 April 2015 ************************************************************************ CiE 2015 is the 11-th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013) and Budapest (2014) Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research. In all cases we are looking for fundamental and theoretical submissions. In line with other conferences in this series, CiE 2015 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computability with an emphasis on new paradigms of computation and the development of their mathematical theory. We particularly invite papers that build bridges between different parts of the research community. For topics covered by the conference, please visit http://fmi.unibuc.ro/CiE2015/topics.html AWARDS: The best student paper award is presented to the author(s) of the best paper, as selected by the PC, written solely by student author(s). This award is sponsored by Springer. FUNDING OPPORTUNITIES: CiE 2015 has received funding from ASL (Association for Symbolic Logic) and EATCS (European Association for Theoretical Computer Science) that allows students who are members of ASL or EATCS and want to attend CiE 2015 to apply for travel funds or a reduction of the early registration fee. Preference will be given to presenters of accepted papers. Applications for ASL travel grants have to be addressed directly to ASL, with a strict deadline of March 28, 2015. Applications for EATCS travel grants have to be sent to cie2015 at fmi.unibuc.ro prior to the early registration deadline. TUTORIAL SPEAKERS * John Reif (Duke Unversity) * Steve Simpson (Pennsylvania State University) PLENARY SPEAKERS * Ann Copestake (University of Cambridge) * Mircea Dumitru (University of Bucharest, Public Lecture) * Pawel Gawrychowski (Max-Planck-Institut fuer Informatik) * Julia Knight (University of Notre Dame) * Anca Muscholl (Universite Bordeaux) * Gheorghe Paun (Romanian Academy) * Alexander Razborov (University of Chicago and Steklov Mathematical Institute) * Vlatko Vedral (University of Oxford) SPECIAL SESSIONS on * Representing streams (Organizers: Joerg Endrullis and Dimtri Hendriks) * Automata, logic and infinite games (Organizers: Dietmar Berwanger and Ioana Leustean) * Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone) * Classical computability theory (Organizers: Marat Arslanov and Steffen Lempp) * Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik) * History and philosophy of computing (Organizers: Christine Proust and Marco Benini) The speakers of the special sessions may be find at http://fmi.unibuc.ro/CiE2015/sessions.html The PROGRAMME COMMITTEE consists of: * Marat Arslanov (Kazan) * Jeremy Avigad (Pittsburgh) * Veronica Becher (Buenos Aires) * Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris) * Alessandra Carbone (Paris) * Gabriel Ciobanu (Iasi) * S Barry Cooper (Leeds) * Laura Crosilla (Leeds) * Liesbeth De Mol (Ghent) * Walter Dean (Warwick) * Volker Diekert (Stuttgart) * Damir Dzhafarov (Storrs,Connecticut) * Peter van Emde Boas (Amsterdam) * Rachel Epstein (Harvard) * Johanna Franklin (Hempstead, NY) * Neil Ghani (Glasgow) * Joel David Hamkins (New York) * Rosalie Iemhoff (Utrecht) * Emmanuel Jeandel (LORIA) * Natasha Jonoska (Tampa, FL) * Antonina Kolokolova (St.John's,NL) * Antonin Kucera (Prague) * Oliver Kutz (Magdeburg) * Benedikt Loewe (Hamburg & Amsterdam) * Jack Lutz (Ames, IA) * Florin Manea (Kiel) * Alberto Marcone (Udine) * Radu Mardare (Aalborg) * Joe Miller (Madison, WI) * Russell Miller (Flushing, NY) * Mia Minnes (La Jolla, CA) * Victor Mitrana (Bucharest, co-chair) * Ian Pratt-Hartmann (Manchester) * Dag Normann (Oslo) * Mehrnoosh Sadrzadeh (London) * Anne Smith (St Andrews) * Mariya Soskova (Sofia, co-chair) * Susan Stepney (York) * Paul Spirakis (Patras & Liverpool) * Jacobo Toran (Ulm) * Marius Zimand (Towson, MD) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, maximum 10 pages using the LNCS style) for presentation at CiE 2015. The submission site https://www.easychair.org/conferences/?conf=cie2015 is open. For submission instructions consult http://fmi.unibuc.ro/CiE2015/submission.html The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. The CONFERENCE POSTER can be downloaded from http://fmi.unibuc.ro/CiE2015/images/CiE_Poster.jpg _____________________________________________________________________ CiE 2015 http://fmi.unibuc.ro/CiE2015 ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE Membership Application Form http://www.lix.polytechnique.fr/CIE Computability (Journal of CiE) http://www.computability.de/journal CiE on FaceBook https://www.facebook.com/AssnCiE Association CiE on Twitter https://twitter.com/AssociationCiE From Wiebe.Van-Der-Hoek at liverpool.ac.uk Fri Jan 9 10:29:26 2015 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Fri, 9 Jan 2015 09:29:26 +0000 Subject: LORI2015 call for papers Message-ID: Call for Papers The Fifth International Conference on Logic, Rationality and Interaction (LORI-V) October 28-31, 2015 Taipei, Taiwan The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers. For a description of LORI-V, please visit https://www.yoursaas.cc/websites/36224472513387025486/ Submitted papers should be at most 12 pages long, with one additional page for references, in PDF/DOC format following the Springer LNCS style. Please submit paper by May 18, 2015 via EasyChair for LORI-V (https://easychair.org/account/signin.cgi?key=19299988.2eaVVAEEM6YnWFld). Accepted papers will be collected as a volume in the Folli Series on Logic, Language and Information, and may later be published in a special issue of a prestigious journal. To encourage graduate students, those whose papers are single-authored and are accepted will be exempt from the registration fee, and up to 10 students will also have free accommodations during the conference dates. Invited Speakers Prof. Maria Aloni (Department of Philosophy, University of Amsterdam, The Netherlands) Prof. Joseph Halpern (Computer Science Department, Cornell University, USA) Prof. Eric Pacuit (Department of Philosophy, University of Maryland, USA) Prof. Liu Fenrong (Department of Philosophy, Tsinghua University, China) Prof. Branden Fitelson (Department of Philosophy, Rutgers University, USA) Prof. Churn-Jung Liau (Institute of Information Science, Academia Sinica, Taiwan) Organizers: LORI, National Taiwan University (NTU) and National Yang Ming University (YMU), Taipei, Taiwan, LORI Questions about paper submission please contact: Prof. Wiebe van der Hoek (wiebe at liverpool.ac.uk) or Prof. Wesley Holliday wesholliday at berkeley.edu Questions about conference details please contact conferenceonlogic at gmail.com ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of School of EEE&CS University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44) 7970247480 wiebe at liverpool.ac.uk From announce at cs.ucy.ac.cy Sat Jan 10 11:24:50 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 10 Jan 2015 12:24:50 +0200 Subject: ISPDC 2015: Final Call for Papers Message-ID: *** Final Call for Papers *** The 14th International Symposium on Parallel and Distributed Computing (ISPDC 2015) 29 June - 2 July, 2015, St. Raphael Resort 5*, Limassol, Cyprus http://www.cyprusconferences.org/ispdc2015/ *** Extended Submission Deadline: 30 January 2015 *** Following very successful previous editions since 2002, the 14th ISPDC conference will be hosted in Limassol, a beautiful coastal Mediterranean city on the south coast of Cyprus. The conference will be devoted to a highly selective program with papers describing original and unpublished research advancing the state of the art in the field of Parallel and Distributed Computing paradigms and applications. The goal is to provide an interactive and friendly, yet professional forum, for original research contributions describing novel ideas, groundbreaking results and/or experiences. We kindly invite you to submit original contributions to ISPDC 2015 on topics including, but not limited to: System Architectures for Parallel and Distributed Computing - Multi-Cores, Virtualization - Clusters and Grid Computing - Methods and Tools for Parallel and Distributed Programming - Embedded, Mobile and Networking Environments - System Architecture and System Software for In-Memory Computing - Innovative System Architecture for Big Data Processing - System Architecture for Graph Computing/Processing - Interconnect Architecture for HPC and Data Centers High Performance Computing and Large Scale Applications - Tools and Environments for Parallel Program Design/Analysis - Scalable Algorithms and Applications - Urban Networks and Applications, Vehicular Networks - Parallel, Distributed and Mobile big-Data Management Parallel Computing and Algorithms - Parallel Programming Paradigms and APIs - GPU Programming - Bio-inspired Parallel Algorithms - Big Data and Graph Analytics - Algorithms, Models and Formal Verification Cloud Computing - Cloud Resource Provisioning and Allocation - Pricing of Cloud Resources - Cloud Performance, and Capacity Management - Green Cloud Computing - Mobile Clouds - Security and Privacy in Clouds - Cloud Computing Techniques for Big Data - Storage Architectures for Clouds and Big Data Processing Distributed and Embedded Computing - Collaborative Computing, P2P Computing - Mobile and Ubiquitous Computing - Web Services and Internet Computing - Distributed Software Components, Multi-agent Systems - Parallel Embedded Systems Programming - Highly Embedded Parallel Systems Support for Programming - FPGA and SoC Solutions Performance Modeling, Management and Optimization - Scheduling and Load Balancing - Performance Modeling, Analysis and Evaluation - Optimisation, Security and Dependability Interactivity - Real-time Distributed and Parallel Systems - Visualisation of Massively Parallel Data - IoT, Social Networks You are invited to submit original papers of up to 10 pages, written in English and compliant with the IEEE standard (8.5"x11", two-column). The IEEE Computer Society Press will publish the proceedings. A best paper award will be presented to paper(s) receiving the highest quality rating from the reviewers and the PC. Key Dates Submission of full papers: 30 January, 2015 (extended) Notification of authors: 15 March, 2015 Camera ready papers: 30 March, 2015 Authors and early registration deadline: 6 May, 2015 Symposium dates: 29 June - 2 July, 2015 General Chair George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Co-Chairs Daniel Grosu, Wayne State University, USA Hai Jin, Huazhong University of Science and Technology, China Steering Committee Ioana Banicescu, Mississippi State University, USA Hans-Joachim Bungartz, Technische Universität München, Germany Valentin Cristea, University Politehnica of Bucharest, Romania Bertil Folliot, University of Paris, France Dan Grigoras, University College Cork, Ireland John Morrison, University College Cork, Ireland Traian Muntean, Aix Marseille University, France Dana Petcu, Western Univ. of Timisoara and e-Austria, Timisoara, Romania Marek Tudruj, Polish Acad. of Sciences and PJIIT, Warsaw, Poland Program Committee http://www.cyprusconferences.org/ispdc2015/committees.html -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sun Jan 11 12:58:12 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 11 Jan 2015 13:58:12 +0200 Subject: WETICE 2015: Second Call for Papers Message-ID: <0DH40GF6-WXY2-AE7R-B6HL-JYVDXIHK2WZ@cs.ucy.ac.cy> *** SECOND CALL FOR PAPERS *** 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015) 15-17 June 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://www.cyprusconferences.org/wetice2015/ The IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) is an international forum for the state-of-the-art research in enabling technologies for collaboration, consisting of a number of related conference tracks. The conference proceedings are published by IEEE Computer Society and are also available online through the IEEE's Xplore digital library. The proceedings will be submitted for indexing through INSPEC, Scopus, Compendex, Thomson Reuters, DBLP, Google Scholar and EI Index. The 24th WETICE edition, held on June 15-17, 2015 in Larnaca (Cyprus), consists of a set of self-contained and self-managed tracks. The Program Committee solicits the submission of papers to the following tracks: · ACEC - Adaptive Computing (and Agents) for Enhanced Collaboration · AROSA - Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures · CAGing - Collaborative and Autonomic Green Computing · CDCGM - Convergence of Distributed Clouds, Grids and their Management · COPECH - Collaboration tools for Preservation of Environment and Cultural Heritage · CPS - Capacity driven Processes and Services for Cyber Physical Society · CSP - Collaborative Software Processes · FISA - Future Internet Services and Applications (formerly PASCS and PROMASC) · FVSBS - Formal Verification of Service Based Systems · MADYNE - Management of Dynamic Networked Enterprises · VSC - Validating Software for Critical Systems · Web2Touch - Modeling the Collaborative Web Knowledge Prospective authors are invited to use the links available at the List of Tracks page of the WETICE 2015 main website (www.wetice.org) to get detailed information about the list of topics addressed by each single track. The paper submission procedure is carried out using the EasyChair conference management system; the link for submission is: https://easychair.org/conferences/?conf=wetice2015 IMPORTANT DATES · Submission deadline: February 13th, 2015 · Notification of acceptance: March 27th, 2015 · Camera-ready submission: April 10th, 2015 Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template, which is available at the link: http://www.ieee.org/conferences_events/conferences/publishing/templates.html Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. At least one author for each accepted paper should register and attend WETICE 2015 to have the paper published in the proceedings. Please contact the Program Chairs for any additional information or request. Andrea D'Ambrogio (dambro at uniroma2.it) Khalil Drira (khalil at laas.fr) WETICE 2015 Program Chairs -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From gregory.bonnet at unicaen.fr Mon Jan 12 09:48:26 2015 From: gregory.bonnet at unicaen.fr (=?UTF-8?B?R3LDqWdvcnkgQm9ubmV0?=) Date: Mon, 12 Jan 2015 09:48:26 +0100 Subject: RDA2-ETHICS - Extended Deadline Message-ID: <54B38A5A.5050709@unicaen.fr> Dear collegues, With apologies for multiple posting. Please forward to interested parties. *RDA2ETHICS: deadline extension to January 26th 2015.* -------------------------------------------------------------------- Call for Papers -------------------------------------------------------------------- RDA2ETHICS "Rights, Duties and Ethics of Autonomous Agents" Workshop at PAAMS 2015 June 3rd 2015 University of Salamanca, Spain https://rda2ethics-2015.greyc.fr/ -------------------------------------------------------------------- The autonomous decision capability embedded in software or robot agents is one of the major issues of Artificial Intelligence. It is a core property for AI applications such as e-commerce, serious games, ambient computing, social or collective robotics, companion robots, unmanned vehicles. Autonomous agents decide and act in a given context or environment and under domain constraints, and possibly interact with other agents or human beings e.g. to share tasks or to execute tasks on behalf of others. As machines and agents have more and more autonomous functions and consequently are less and less supervised by human operators or users, we need to ensure that they do not harm them or threaten their autonomy, especially their decision autonomy. Consequently regulation and control mechanisms to ensure sound and consistent behaviours at the agent’s individual level, at the multi-agent level, and within the human-agent system are a major issue. Moreover, the ethical regulation or control of such autonomous agents has been discussed by several authors. As stated by Rosalind Picard, the greater the freedom of a machine, the more it will need moral standards. Organisation models, conversation policies, normative systems, constraints, logical frameworks address the problem of how agents’ autonomous behaviours should be controlled, paving the way for formal or pragmatic definitions of agents’ Rights, Duties and Ethics. The issue is all the more important as autonomous agents may encounter new situations, evolve in open environments, interact with agents based on different design principles, act on behalf of human beings and share common resources. For instance: should an autonomous agent take over the control from a human operator? under which circumstances? TOPICS OF INTEREST The aim of this workshop is to promote discussions and exchanges on the different issues raised by autonomous agents’ Rights, Duties and Ethics and on models that can be proposed to represent and reason on Rights, Duties and Ethics. Thus, we encourage contributions from the following research and application areas but also contributions presenting practical applications of multi-agent systems where ethical issues may be raised: • Autonomous agents and privacy protection • Learning rights, duties and ethics • Authority sharing between autonomous agents and human users or operators • Rights, duties and ethics of autonomous agents towards other agents, users or operators • Rights, duties and ethics of human users or operators towards autonomous agents • Consistency, conflicts among rights, duties and ethics in multi-agent and human-agent systems • Mutual intelligibility, explanations • Control of autonomous agents within organisations, institutions, normative systems • Philosophy, sociology and law in the models of rights, duties and ethics • Trust and reputation for autonomous agents regulation • Emergence and evolution of rights, duties and ethics • Knowledge representation and models for rights, duties and ethics • Reasoning on rights, duties and ethics • Validation of rights, duties and ethics in autonomous agents IMPORTANT DATES • January 26th 2015: Workshop paper submission deadline. • February 23rd 2015: Notification of workshop paper acceptance. • March 9th 2015: Workshop camera ready copy submission. • June 3rd 2015: Workshop date. PROGRAM COMMITTEE • Ronald Arkin, Georgia Tech, USA • Jan Boersen, Universiteit Utrecht, The Netherlands • Gauvain Bourgne, Université Pierre et Marie Curie, France • Selmer Bringsjord, Rensselaer Polytechnic Institute, USA • Joanna J. Bryson, University of Bath, UK • Patrice Caire, University of Luxembourg, Luxembourg • Pompeu Casanovas, Universitat Autònoma de Barcelona, Spain • Laurence Cholvy, Onera Toulouse, France • Yves Demazeau, LIG, Grenoble, France • Jean-Gabriel Ganascia, Université Pierre et Marie Curie, France • René Mandiau, LAMIH Valenciennes, France • Bertie Müller, University of South Wales, UK • Pablo Noriega, Intitut d'Investigació en Intelligència Artificial Barcelona, Spain • Eugenio Oliveira, Universidade do Porto, Portugal • Guillaume Piolle, Supelec Rennes, France • Alberto Pirni, Scuola Superiore Sant'Anna di Studi Universitari e di Perfezionamento, Italy • Thomas Powers, Center for Science, Ethics and Public Policy, USA • Antônio Carlos da Rocha Costa, Universidade Federal do Rio Grande, Brasil • Pericle Salvini, Scuola Superiore Sant'Anna, Italy • Giovanni Sartor, European University of Florence, Italy • Wamberto Vasconcelos, University of Aberdeen, UK • Alan Winfield, University of the West of England, Bristol SUBMISSION DETAILS All papers must be formatted according to the LNCS/LNAI template, with a maximum length of 12 pages, including figures and references. The LNCS/LNAI template can be found at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 All proposed papers must be submitted in electronic form (PDF format) using the PAAMS' Paper Submission Page: https://www.easychair.org/conferences/?conf=paams15 According to the number of submissions and the acceptance rate, the workshop proceedings may be as a LNCS / CCIS special issue. In other case, they will be published as CEUR proceedings. For further information on the workshop: https://rda2ethics-2015.greyc.fr/ -- Grégory Bonnet Assistant Professor (MAD Team - GREYC) www.gregory.bonnet.free.fr -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From giacomo.cabri at unimore.it Mon Jan 12 10:43:15 2015 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Mon, 12 Jan 2015 10:43:15 +0100 Subject: LAST CfP: COORDINATION 2015 Abstract Submission: Jan. 16, 2015 Message-ID: <54B39733.1030006@unimore.it> ======================================================================== IMPORTANT NOTE: High-quality Coordination-2015 papers will be invited to submit an extended version for a 'fast-track' to the ACM Transactions on Autonomous and Adaptive Systems (ACM-TAAS). ======================================================================== ========================= Call for Papers ============================= COORDINATION 2015 17th IFIP International Conference on Coordination Models and Languages A DisCoTec Member Conference http://discotec2015.inria.fr/ June 2-4, 2015, Grenoble, France ======================================================================= ---------------- Important dates: Abstract Submission: January 16, 2015 (24:00 UTC-11) Paper Submission: January 23, 2015 (24:00 UTC-11) Author Notification: March 6, 2015 Camera ready copy: March 27, 2015 Early registration: May 5, 2015 Conferences and workshops: June 2-5, 2015 The time of all deadlines is 24:00 SST (UTC-11, Samoa Standard Time). The submission deadlines are **strict**, there will be no extension. ------ Scope: COORDINATION 2015 is the premier forum for publishing research results and experience reports on software technologies for collaboration and coordination in concurrent, distributed, and complex systems. The key focus of the conference is the quest for high-level abstractions that can capture interaction patterns and mechanisms occurring at all levels of the software architecture, up to the end-user domain. COORDINATION 2015 seeks high-quality contributions on the usage, study, formal analysis, design, and implementation of languages, models, and techniques for coordination in distributed, concurrent, pervasive, and multicore software systems. This edition also additionally seeks to adapt and integrate traditional COORDINATION techniques in the realm of multi-agent systems (MAS), which typically involve more corse-grained (cognitive, intelligent, goal-oriented) components. ------------------------ Main topics of interest: * Programming abstractions and languages * Coordination models and paradigms * Specification and verification * Foundations and types * Distributed middleware architectures * Multicore programming * Coordinated distributed applications * Bio-inspired computing models * Coordination mechanisms for self-adaptation and self-organisation * Teamwork and distributed problem solving * Collective intelligence * Auction and Negotiation * Argumentation, trust, norms and reputation * Coordination mechanisms for rational agents * Coordination middleware for mobile agents * Coordination of federated MASs --------------------------- Submission and publication: Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's codes of conduct). The submissions must not exceed the page number limit (see below), including figures and references, prepared using Springer's LNCS style. Submissions not adhering to the above specified constraints may be rejected without review. Papers should be submitted as PDF or PS via EasyChair: https://www.easychair.org/conferences/?conf=coordination2015. We solicit three kinds of submissions: *Full papers* (up to 16 pages): Describing thorough and complete research results and experience reports. *Short papers* (up to 8 pages): Describing research results that are not fully developed, or even manifestos, calls to action, personal views on the past of Coordination research, on the current state of the art, or on prospects for the years to come. *Posters* (up to 3 pages): Summarising research projects worth being advertised and discussed in a lively fashion at the conference. The conference proceedings, formed by accepted submissions of all three kinds above, will be published by Springer in the LNCS Series. Post-proceedings publication: Relevant, high-quality Coordination-2015 papers will be invited for 'fast-track submissions' to the ACM Transactions on Autonomous and Adaptive Systems (ACM-TAAS). --------------- Invited Speaker Alois Ferscha (Johannes Kepler Universität Linz, Austria) ----------- Oranization Program Chairs Tom Holvoet (KU Leuven, Belgium) Mirko Viroli (University of Bologna, Italy) Publicity Chair Giacomo Cabri (University of Modena and Reggio Emilia, Italy) Programme Committee Gul Agha (University of Illinois at Urbana-Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) Jacob Beal (Raytheon BBN Technologies, USA) Olivier Boissier (Ecole Nationale Supérieure des Mines of Saint-Etienne, France) Ferruccio Damiani (Uniersità di Torino, Italy) Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies, Italy) Ed Durfee (University of Michigan, USA) Schahram Dustdar (Vienna University of Technology, Austria) Gianluigi Ferrari (University of Pisa, Italy) José Luiz Fiadeiro (Royal Holloway University of London, UK) Valérie Issarny (Inria, France) Christine Julien (The University of Texas at Austin, USA) Sarit Kraus (Bar-Ilan University, Israel) Eva Kuhn (TU Wien, Austria) Marino Miculan (Università di Udine, Italy) Hanne Riis Nielson (Technical University of Denmark, Denmark) Andrea Omicini (University of Bologna, Italy) Sascha Ossowski (University Rey Juan Carlos, Spain) Paolo Petta (OFAI - Austria Research Institute for Artificial Intelligence, Austria) Rosario Pugliese (Università degli Studi di Firenze, Italy) Alessandro Ricci (Uniervsità di Bologna, Italy) Juan Antonio Rodriguez Aguilar (IIIA-CSIC, Barcelona) Carles Sierra (IIIA-CSIC, Barcelona) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Emilio Tuosto (University of Leicester, UK) Herbert Wiklicky (Imperial College London, UK) Martin Wirsing (Ludwig-Maximilians-Universität München, Germany) Franco Zambonelli (Università di Modena e Reggio Emilia, Italy) Steering Committee Gul Agha (University of Illinois at Urbana Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) (Chair) Dave Clarke (Uppsala University, Sweden) Tom Holvoet (KU Leuven, Belgium) Jean-Marie Jacquet (University of Namur, Belgium) Christine Julien (The University of Texas at Austin, USA) Eva Kühn (Vienna University of Technology, Austria) Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) Rosario Pugliese (Università di Firenze, Italy) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Vasco T. Vasconcelos (University of Lisbon, Portugal) Gianluigi Zavattaro (University of Bologna, Italy) Mirko Viroli (University of Bologna, Italy) -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Associate Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From bernard.merialdo at eurecom.fr Mon Jan 12 12:24:04 2015 From: bernard.merialdo at eurecom.fr (Bernard Merialdo) Date: Mon, 12 Jan 2015 12:24:04 +0100 Subject: [CBMI 2015] CFP Multimedia Indexing - Special sessions Medical, High Performance Message-ID: <54B3AED4.7000308@eurecom.fr> (apologies for multiple postings) CBMI 2015 13th International Workshop on Content-Based Multimedia Indexing June 10.-12. 2015, Prague, Czech Republic http://siret.ms.mff.cuni.cz/cbmi2015/ *** Call for papers and demos *** •Full paper submission deadline: February 16, 2015 •Demo paper submission deadline: March 7, 2015 •Special session on Medical Multimedia Processing submission deadline: March 7, 2015 •Special session on High Performance Multimedia Indexing submission deadline: March 7, 2015 Following the twelve successful previous events of CBMI (Toulouse 1999, Brescia 2001, Rennes 2003, Riga 2005, Bordeaux 2007, London 2008, Chania 2009, Grenoble 2010, Madrid 2011, Annecy 2012, Veszprem 2013, and Klagenfurt 2014), it is our pleasure to welcome you to CBMI 2015, the 13th International Content Based Multimedia Indexing Workshop, in Prague, Czech Republic on June 10-12 2015. The 13th International CBMI Workshop aims at bringing together the various communities involved in all aspects of content-based multimedia indexing, retrieval, browsing and presentation. The scientific program of CBMI 2015 will include invited keynote talks and regular, special and demo sessions with contributed research papers. ================================================== * Special session on Medical Multimedia Processing A special session on Medical Multimedia Processing will be organized. Topics of the special session include, but are not limited to: • Visual indexing of medical image collections or video archives • Medical multimedia retrieval • Browsing and presentation of medical multimedia data • Endoscopic video processing • Human computation for medical multimedia processing ========================================================= * Special session on High Performance Multimedia Indexing A special session on High Performance Multimedia Indexing will be organized. Topics of the special session include, but are not limited to: • Vectorized algorithms for multimedia indexing • GPU and many-core implementations of multimedia indexing • Cache-aware and cache-oblivious algorithms for content-based multimedia retrieval • Parallel and NUMA-aware algorithms for multimedia indexing • Distributed and heterogeneous implementations of multimedia indexing algorithms From giacomo.cabri at unimore.it Mon Jan 12 12:59:46 2015 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Mon, 12 Jan 2015 12:59:46 +0100 Subject: CfP: CONTEXT-AWARE APPLICATIONS AND SERVICES Special issue of the The Scientific World Journal Message-ID: <54B3B732.40704@unimore.it> ********************************************************** CONTEXT-AWARE APPLICATIONS AND SERVICES Special issue of the The Scientific World Journal http://www.hindawi.com/journals/tswj/si/157274/cfp/ Call For Papers Deadline: Friday, 17 April 2015 ********************************************************** The development of ubiquitous applications and services tailored to the needs and expectations of a very large number of potential users (especially mobile users) requires future systems to be aware of the service fruition contexts and possibly of accurate user profiles. Indeed, the availability of many raw and often unrelated services can be all but useful to the user, who is typically flooded with so many pieces of information (advices, advertisements, sales opportunities, etc.) that picking up what she/he really needs turns out like finding a needle in a haystack. Context-aware applications may be able to exploit the knowledge of the logical and physical surroundings where the user’s client is operating and possibly also a profile of the users themselves, in order to deliver controlled amounts of high quality information. Clearly, this poses a number of challenging research problems: gathering context data, often under real-time constraints; organizing such data in memory efficient information structures (say relational or graph-based structures); retrieving, filtering, and delivering to users small amounts of information appropriate to their current needs, again under time pressure. The overall goal of the special issue is to solicit and publish high-quality papers that present innovative methodologies and techniques to efficiently and effectively support the dependent services and applications. We welcome both theoretical and applied papers in the field. Priority will be given to innovative proposals that push the boundaries of context exploitation towards a broader idea of context, including (among others) the modeling of the external environment, the users’ profile, and the history of the actions performed by them. Moreover, survey-like papers presenting studies of relevant state-of-the-art will also be considered. Original papers are invited from academic and industrial researchers active in the communities of database and information systems, information retrieval, semantic web, algorithms and protocols for mobile devices, mobile software development, distributed services, and mobile computing. Topics ------ Potential topics include, but are not limited to: * Models and techniques for the representation of contexts * Storage solutions, data structures, and algorithms suitable for the efficient handling of contexts (access, dynamic update, learning, etc.) * Data management techniques enabling context exploitation and content personalization * Semantic analysis techniques for context information understanding and exploitation * Semantic techniques for context-aware services * Software and platforms supporting (mobile) context-dependent applications * Middleware for context-aware applications and services * User profiling techniques * Application and evaluation of context-aware techniques toward significant test scenarios, including context-aware advertising, proactive applications and ebooks, smart help-desk solutions, ambient intelligence, assisted living, and pervasive/ubiquitous applications Submissions and Important dates ------------------------------- Authors can submit their manuscripts via the Manuscript Tracking System at http://mts.hindawi.com/submit/journals/tswj/computer.science/caas/. Guidelines for preparing your submission can be found at http://www.hindawi.com/journals/tswj/guidelines/. Manuscript Due Friday, 17 April 2015 First Round of Reviews Friday, 10 July 2015 Expected Publication Date Friday, 4 September 2015 The articles of The Scientific World Journal are indexed in more than 60 databases/resources; please refer to http://www.hindawi.com/journals/tswj/ai/ for a full list. Lead Guest Editor ----------------- Riccardo Martoglia, University of Modena and Reggio Emilia, Modena, Italy Guest Editors ------------- Giacomo Cabri, University of Modena and Reggio Emilia, Modena, Italy Sergio Ilarri, University of Zaragoza, Zaragoza, Spain Ichiro Satoh, National Institute of Informatics, Tokyo, Japan -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Associate Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From patrick.lambrix at liu.se Mon Jan 12 16:09:18 2015 From: patrick.lambrix at liu.se (Patrick Lambrix) Date: Mon, 12 Jan 2015 15:09:18 +0000 Subject: First CFP: 4th International Workshop on Debugging Ontologies and Ontology Mappings collocated at ESWC2015 Message-ID: [Apologies for cross-posting and re-posting] ------------------------------------------------------ CALL FOR PAPERS =================================================================== Fourth International Workshop on Debugging Ontologies and Ontology Mappings (WoDOOM) Portoroz, Slovenia , May 31 or June 1, 2015 held in conjunction with ESWC 2015 (May 31-June 4) =================================================================== Submission deadline: March 6, 2015 =================================================================== http://www.ida.liu.se/~patla/conferences/WoDOOM15/ Developing ontologies is not an easy task and, as the ontologies grow in size, they are likely to show a number of defects. Such ontologies, although often useful, also lead to problems when used in semantically-enabled applications. Wrong conclusions may be derived or valid conclusions may be missed. Defects in ontologies can take different forms. Syntactic defects are usually easy to find and to resolve. Defects regarding style include such things as unintended redundancy. More interesting and severe defects are the modeling defects which require domain knowledge to detect and resolve such as defects in the structure, and semantic defects such as unsatisfiable concepts and inconsistent ontologies.Further, during the recent years more and more mappings between ontologies with overlapping information have been generated, e.g. using ontology alignment systems, thereby connecting the ontologies in ontology networks. This has led to a new opportunity to deal with defects as the mappings and other ontologies in the network may be used in the debugging of a particular ontology in the network. It also has introduced a new difficulty as the mappings may not always be correct and need to be debugged themselves. This workshop intends to be a forum where issues in debugging ontologies, mappings between ontologies and linked data are discussed. Topics of interest include, but are not limited to: - detecting and repairing semantic defects in ontologies - detecting and repairing modeling defects in ontologies - detecting and repairing defects in the structure of ontologies - detecting and repairing defects in mappings between ontologies - debugging ontology networks - debugging modular ontologies - debugging defects in linked data - justifications - belief revision for debugging - ontology patterns for debugging - interactive ontology debugging - visualization for ontology debugging - connection of ontology debugging with other ontology engineering tasks (e.g. ontology development, ontology alignment, ontology comprehension, ontology sense making, ontology evolution, ontology enrichment) - case studies IMPORTANT DATES Submission: March 6, 2015. Notification: April 3, 2015. Camera-ready: April 17, 2015. SUBMISSION GUIDELINES Paper submission and reviewing for this workshop will be electronic via http://www.easychair.org/conferences/?conf=wodoom15. The papers should be written in English, follow Springer LNCS format (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0), and be submitted in PDF. We invite the submission of Research papers (up to 12 pages), Experience papers (up to 12 pages), Poster papers (up to 8 pages) and System/demonstration papers (up to 8 pages). ATTENDANCE Note that workshop attendees cannot register for the workshop only, but need to register for the ESWC conference as well. WORKSHOP CHAIRS Patrick Lambrix, Linköping University, Sweden Guilin Qi, Southeast University, China. Matthew Horridge, Stanford University, USA Bijan Parsia, University of Manchester, UK PROGRAM COMMITTEE Grigoris Antoniou, University of Huddersfield, UK Ronald Cornet, Universiteit van Amsterdam, The Netherlands and Linköping University, Sweden Zlatan Dragisic, Linköping University, Sweden Jerome Euzenat, INRIA, France Giovanna Guerrini, University of Genoa, Italy Peter Haase, fluid Operations, Germany Matthew Horridge, Stanford University, USA Valentina Ivanova, Linköping University, Sweden Maria Keet, University of KwaZulu-Natal, South Africa Patrick Lambrix, Linköping University, Sweden Yue Ma, TU Dresden, Germany Bijan Parsia, University of Manchester, UK Heiko Paulheim, Mannheim University, Germany Rafael Penaloza, TU Dresden, Germany Catia Pesquita, University of Lisbon, Portugal Guilin Qi, Southeast University, China Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands Baris Sertkaya, SAP Research Dresden, Germany Kostyantyn Shchekotykhin, Klagenfurt University, Austria Vojtech Svatek, University of Economics, Prague, Czech Republic Kewen Wang, Griffith University, Australia Renata Wassermann, University of Sao Paulo, Brazil Fang Wei-Kleiner, Linköping University, Sweden -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From publicity at ecmlpkdd2015.org Mon Jan 12 20:23:02 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Mon, 12 Jan 2015 19:23:02 -0000 Subject: ECMLPKDD 2015: Call for Papers, Tutorials and Workshops Message-ID: <01c101d02e9d$33b24a50$9b16def0$@ecmlpkdd2015.org> The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD) will take place in Porto, Portugal, from September 7th to 11th, 2015 (http://www.ecmlpkdd2015.org). This event is the leading European scientific event on machine learning and data mining and builds upon a very successful series of 25 ECML and 18 PKDD conferences, which have been jointly organized for the past 14 years. ECMLPKDD 2015 will host three tracks, tutorials and a set of workshops. Therefore, we invite all researchers and practitioners from different communities to submit papers and/or present tutorial and workshop proposals. ************************* CALL FOR PAPERS ************************* JOURNAL TRACK ********************* Articles for this track are submitted all year long directly to either Machine Learning or Data Mining and Knowledge Discovery, and are reviewed like regular journal articles. Accepted articles appear in full in the journal and the authors are given a presentation slot at the conference. Articles deemed insufficiently mature for journal publication may be accepted for inclusion in the proceedings. Submissions to the journal track will be managed by the Guest Editorial Board. Paper Submission: Cut-off dates for the bi-weekly batches are 18 Jan, 1 Feb, 15 Fev, 1 Mar, 15 Mar, 29 Mar, 12 Apr, 26 Apr of 2015 Web Page: http://www.ecmlpkdd2015.org/submission/journal-track RESEARCH PROCEEDINGS TRACK ******************************************* The research proceedings track, which is organized in the traditional way. Accepted papers will be published in the Lecture Notes in Artificial Intelligence (LNCS/LNAI) of Springer, after reviewing by the programme committee. Abstract Submission Deadline: March 26, 2015 Paper Submission Deadline: April 2, 2015 Paper Acceptance Notification: June 1, 2015 Paper Camera Ready Submission: June 15, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/research-proceedings-track INDUSTRIAL, GOVERNMENTAL & NON-GOVERNMENTAL PROCEEDINGS TRACK **************************************************************************** ************************** The NEW industrial, governmental & non-governmental (NGO) proceedings track is independent and distinct from the Research Track. Submissions to this track should solve real-world problems and focus on engineering systems, applications, and challenges. Accepted papers will be published in the Lecture Notes in Artificial Intelligence (LNCS/LNAI) of Springer, after reviewing by the programme committee. Abstract Submission Deadline: March 26, 2015 Paper Submission Deadline: April 2, 2015 Paper Acceptance Notification: June 1, 2015 Paper Camera Ready Submission: June 15, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/industrial-proceedings-track ***************************************************************** CALL FOR TUTORIAL AND WORKSHOP PROPOSALS ***************************************************************** TUTORIALS ************** The tutorials are intended to provide a comprehensive introduction to established or emerging research topics of interest for the machine learning and the data mining community. These topics include related research fields or applications. The ideal tutorial should attract a wide audience. It should be broad enough to provide a basic introduction to the chosen research area, but it should also cover the most important topics in depth. We welcome half day workshop proposals. Proposal Deadline: March 2, 2015 Proposal Acceptance Notification: March 23, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/call-for-tutorials WORKSHOPS **************** The workshops will be on relevant and current topics in Machine Learning and Data Mining. The scope of the proposal should be consistent with the conference themes as described in the ECMLPKDD 2015 Call for Papers (http://www.ecmlpkdd2015.org/submission). Interdisciplinary workshops that bring together researchers and practitioners from different communities are especially welcome. We encourage workshops that bridge the gap between theoretical advances and important and/or innovative applications of machine learning and data mining. We welcome both full and half day workshop proposals. Proposal Deadline: March 2, 2015 Proposal Acceptance Notification: March 23, 2015 Workshop Websites and Call for Papers Online: March 27, 2015 Workshop Proceedings (Camera-ready): August 3, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/call-for-workshop-proposals Hope to see you all soon in Porto, Portugal!!! The publicity chairs of the ECMLPKDD 2015, Carlos Abreu Ferreira Ricardo Campos --- Este e-mail foi verificado em termos de vírus pelo software antivírus Avast. http://www.avast.com From tavares at fe.up.pt Tue Jan 13 01:37:17 2015 From: tavares at fe.up.pt (=?iso-8859-1?Q?Jo=E3o_Manuel_R._S._Tavares?=) Date: Tue, 13 Jan 2015 00:37:17 GMT Subject: VipIMAGE 2015 - ANNOUNCEMENT & CALL FOR CONTRIBUTIONS Message-ID: --------------------------------------------------------------------------------------------------------------- V ECCOMAS Thematic Conference VipIMAGE 2015 www.fe.up.pt/~vipimage October 19-21, 2015, Tenerife, Spain Chairs: João Manuel R. S. Tavares & Renato Natal Jorge, Universidade do Porto --------------------------------------------------------------------------------------------------------------- Dear Colleague, We are pleased to announce the International Conference VipIMAGE 2015 - V ECCOMAS THEMATIC CONFERENCE ON COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING (www.fe.up.pt/~vipimage) to be held October 19-21, 2015, in H10 Costa Adeje Palace, Costa Adeje, Tenerife, Spain. Possible Topics (not limited to) - Signal and Image Processing - Computational Vision - Medical Imaging - Physics of Medical Imaging - Tracking and Analysis of Movement - Simulation and Modeling - Image Acquisition - Industrial Applications - Shape Reconstruction - Segmentation, Matching, Simulation - Data Interpolation, Registration, Acquisition and Compression - 3D Vision - Virtual Reality - Visual Inspection - Software Development for Image Processing and Analysis - Computer Aided Diagnosis, Surgery, Therapy, and Treatment - Computational Bioimaging and Visualization - Telemedicine Systems and Applications Invited Lecturers - Alexandre Xavier Falcão, Universidade de Campinas, Brazil - Cristian A. Linte, Mayo Clinic, USA - Da-Chuan Cheng, China Medical University, Taiwan - Fiorella Sgallari, University of Bologna, Italy - Yongjie Zhang, Carnegie Mellon University, USA - Xue-cheng Tai, University of Bergen, Norway Thematic Sessions Proposals to organize Thematic Sessions under the auspicious of VipIMAGE 2015 are welcome. Proposals for Thematic Sessions should be submitted by email to the conference co-chairs (tavares at fe.up.pt, rnatal at fe.up.pt). Publications Proceedings: The proceedings book will be published by the Taylor & Francis Group and indexed by Thomson Reuters Conference Proceedings Citation Index, IET Inspect and Elsevier Scopus. Springer Book: A book with 20 invited works from the ones presented in the conference will be published by Springer under the book series "Lecture Notes in Computational Vision and Biomechanics". Journal Publication: A dedicated special issue of the Taylor & Francis International Journal "Computer Methods in Biomechanics and Biomedical Engineering: Imaging & Visualization" will be published with extended versions of the best works presented in the conference. Important Dates - Deadline for Thematic Session Proposals: February 28, 2015 - Deadline for Extended Abstracts: March 15, 2015 - Authors Notification: April 15, 2015 - Deadline for Papers: June 15, 2015 We are looking forward to see you in Tenerife next October, João Manuel R. S. Tavares Renato Natal Jorge (VipIMAGE 2015 co-chairs) For further details, please, have a look in the conference website at: www.fe.up.pt/~vipimage, the Facebook page at: www.facebook.com/pages/Vipimage/237980719665456, or join the LinkedIn group at: http://www.linkedin.com/groups?gid=4752820&trk=hb_side_g. --------------------------- TO UNSUBSCRIBE FROM OUR LIST AND STOP RECEIVING EMAILS FROM US, please send an email to tavares at fe.up.pt with REMOVE. Thank you. From geoff at cs.miami.edu Tue Jan 13 16:31:18 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 13 Jan 2015 10:31:18 -0500 (EST) Subject: 10th Ershov Informatics Conference, Call for Papers Message-ID: <20150113153118.C0CC1121610@mcclellan.cs.miami.edu> CALL FOR PAPERS PSI: 10th Ershov Informatics Conference 25 - 27 August 2015, Innopolis, Kazan, Russia http://easychair.org/smart-program/PSI2015/ The Ershov Informatics Conference (the PSI Conference Series, 10th edition) is the premier international forum in Russia for research and applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to discuss the most recent topics in the field. PSI provides an ideal venue for setting up research collaborations between the rapidly growing Russian informatics community and its international counterparts, as well as between established scientists and younger researchers. Local Organizers Tanya Stanko Innopolis University Inna Baskakova Innopolis University Publicity Chairs Timur Tsiunchuk Innopolis University Salvatore Distefano Politecnico di Milano Conference Chairs Bertrand Meyer ETH, Zurich Irina Virbitskaite A.P. Ershov Institute, Novosibirsk Steering Committee Dines Bjorner Technical University of Denmark Manfred Broy Technische Universitaet Muenchen Victor Ivannikov Institute for System Programming, Russian Academy of Sciences Ugo Montanari University of Pisa Programme Committee Chairs Manuel Mazzara Innopolis University Andrei Voronkov The University of Manchester Keynote speakers Hans-Ulrich Heiss, TUB, Germany Jane Hillston, University of Edinburgh, UK Helmut Veith, Vienna University of Technology, Austria Conference Topics 1. Foundations of Program and System Development and Analysis * Specification, validation, and verification techniques. * Program analysis, transformation and synthesis. * Semantics, logic and formal models of programs. * Partial evaluation, mixed computation, abstract interpretation, compiler construction. * Theorem proving and model checking. * Concurrency theory. * Static program analysis. * Modeling and analysis of real-time and hybrid systems. * Computer models and algorithms for bioinformatics. 2. Programming Methodology and Software Engineering * Object-oriented, aspect-oriented, component-based and generic programming. * Programming by contract. * Program and system construction for parallel and distributed computing. * Constraint programming. * Multi-agent technology. * System re-engineering and reuse. * Integrated programming environments. * Software architecture. * Software development and testing. * Model-driven system/software development. * Agile software development. * Software engineering methods and tools. * Service engineering, service oriented architecture. * Reverse engineering. * Reflection techniques. * Software bugs, aging and reliability models and countermeasures. * Program understanding and visualization. 3. Information Technologies * Data models. * Database and information systems. * Data mining, analytics. * Knowledge-based systems and knowledge engineering. * Bioinformatics engineering. * Ontologies and semantic Web. * Digital libraries, collections and archives, Web publishing. * Peer-to-peer data management. More generally, the conference welcomes novel scientific contributions in software-related areas, and application papers showing practical applications of research results. Important Dates * April 16, 2015: abstract submission * April 23, 2015: submission deadline * May 31, 2015: notification of acceptance * August 25-27, 2015: the conference dates * November 1, 2015: camera ready papers due Programme Committee Members Farhad Arbab, CWI and Leiden University, Netherlands David Aspinall, Univ. of Edinburgh, UK Marcello Maria Bersani, Politecnico di Milano, Italy Eike Best, Univ. of Oldenburg, Germany Nikolaj Bjrner, Microsoft Research, Redmond, USA Andrea Cal�, Birbeck College, UK Mauro Caporuscio, Linnaeus University, Sweden N�stor Cata�o, Madeira Univ., Portugal Gabriel Ciobanu, Romanian Academy, Iasi, Romania Volker Diekert, Univ. Stuttgart, Germany Salvatore Distefano, Politecnico di Milano, Italy Nicola Dragoni, DTU, Denmark and �rebro Univ., Sweden Schahram Dustdar, Vienna Univ. Technology, Austria Dieter Fensel, STI Innsbruck, Austria Carlo Furia, ETH, Switzerland Carlo Ghezzi, Politecnico di Milano, Italy Sergei Gorlatch, Univ. Muenster, Germany Jan Friso Groote, Eindhoven Univ. Tech., The Netherlands Arie Gurfinkel, Carnegie Mellon Univ., US Cliff Jones, Newcastle Univ., UK Joost-Pieter Katoen, RWTH Aachen Univ., Germany Konstantin Korovin, Univ. Manchester, UK Maciej Koutny, Newcastle Univ., UK Laura Kovacs, Chalmers Univ. Tech., Gothenburg, Sweden Gregory Kucherov, CNRS/LIGM, Marne-la-Vallee, France Johan Lilius, Abo Akademi Univ., Turku, Finland Anthony Widjaja Lin, Yale-NUS College, Singapore Zhiming Liu, Birmingham City University Jan Madsen, DTU Copenhagen, Denmark Rupak Majumdar, MPI, Kaiserslautern, Germany Klaus Meer, Tech. Univ. Cottbus, Germany Hern�n Melgratti, Univ. de Buenos Aires, Argentina Torben Mogensen, Univ. Copenhagen, Denmark Peter Mosses, Swansea Univ., UK Martin Nordio, ETH, Switzerland Jos� R. Param�, Univ. A Coru�a, Spain Wojciech Penczek, Inst. Comp. Sci., Warsaw, Poland Peter Pepper, TU Berlin, Germany Alexander Petrenko, ISP RAS, Moscow, Russia Paul Pettersson, M�lardalen Univ., Sweden Nadia Polikarpova, MIT, USA � Qiang Qu, Innopolis University, Russia Andrey Rybalchenko, TUM, Munchen, Germany Wolfgang Reisig, Humboldt Univ., Berlin, Germany Davide Sangiorgi, Univ. of Bologna, Italy Natalia Sidorova, Technische Univ. Eindhoven, Netherlands Giancarlo Succi, University of Bolzano, Italy Klaus-Dieter Schewe, SW Competence C., Hagenberg, Austria Max Talanov, Kazan Federal Universty, Russia Mark Trakhtenbrot, Holon Inst. of Technology, Israel Kishor S. Trivedi, Duke University, USA Domagoj Vrgoc, Center for Semantic Web Research, Chile Sergey Zykov, Higher School of Economics, Russia � Submissions There are three categories of submissions: * Regular papers describing fully developed work and complete results (15 pages / 30 minute talks). * Short papers reporting on interesting work in progress and/or preliminary results (9 pages / 15 minute talks). * System and experimental papers describing implementation or evaluation of experimental systems and containing a link to a working system (7 pages / 10 minute presentations). Submissions should: * Present original contributions that have not been previously published and are not being submitted to another publication. * Clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other work. * Be in good-quality English, in a form that can be immediately published without revision. * Be sent electronically, as a PDF file formatted according to Springer LNCS Instructions for Authors: http://www.springeronline.com) through the submissions link to the conference website https://easychair.org/conferences/?conf=psi2015 no later than April 23, 2015. It is permissible to include or link to an appendix listing detailed results or supporting data that do not fit within the page limits, as long as the paper can be evaluated without reading this appendix. At least one author of each accepted paper must register, attend the conference and present the paper. Conference Proceedings Preliminary proceedings will be available at the conference. Final versions of invited and accepted papers will be published by Springer-Verlag after the conference in the Lecture Notes in Computer Science series. Proceedings of previous PSIs are volumes 1181, 1755, 2244, 2890, 4378, 5947 and 7162 of LNCS. Location PSI 2015 will take place in the Korston conference hall in Kazan, one of the oldest, largest and most beautiful cities in Russia, with a rich multicultural heritage and architectural treasures recognized as a UNESCO World Heritage Site. Kazan was recently noted by TripAdvisor as one of the destination on the rise. A social and cultural program will enable participants and companions to discover the beauty of Kazan. Pre- and post-conference tours are available upon request. Travelling You can fly directly to Kazan through Moscow or directly from a number of international destinations such as Helsinki. Trains are also available from Moscow. Conference Secretary Inna Baskakova Innopolis University 42 Profsoyuznaya str., 420100, Kazan, Russia Tel: +7 (843) 203-92-53 (Kazan) i.baskakova at innopolis.ru From aamas2014publicity at gmail.com Wed Jan 14 00:33:59 2015 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Tue, 13 Jan 2015 23:33:59 +0000 Subject: Call for Doctoral Mentoring Program Submissions at AAMAS'15 Message-ID: Associated with the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS’15) in Istanbul http://www.aamas2015.com/ Symposium date: May 5th Building upon the success of previous years, AAMAS 2015 will again include a doctoral mentoring program, intended for PhD students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields as well as with other students, to receive feedback on their work and to get advice on managing their careers. ------------------------------------------- Specifically, the goals of the program are: ------------------------------------------- - To match each student with an establish researcher in the community (who will act as a mentor). The mentor will interact closely with the student, will provide feedback on research, help form new contacts, etc. - To allow students an opportunity to present their work to a friendly audience of other students as well as mentors. - To provide students with insights, contacts and professional networking opportunities for their future career. The doctoral mentoring program will consist of opportunities for interactions between mentors and their mentorees prior to the conference, as well as a one day doctoral symposium. ----------------------- Submission Requirements ----------------------- We encourage submissions from PhD students at advanced stages of their research within the Autonomous Agents and Multiagent Systems field. Based on the submissions, the organizing committee will select a group of students that will be invited to participate in the program. Participants will be expected to take active part in all doctoral mentoring program activities. Each submission should include a set of documents from the students, and a recommendation letter from the advisor. The submission package consists of: 1. A two-page extended abstract of the student’s thesis (in the AAMAS submission format, including abstract and keywords) 2. A short (2-page) application document including the following: - gender - country and institute of study - area of study (provide 1-3 keywords) - whether you have participated in the AAMAS DMC before - one or two names of suggested mentors - CV 3. A recommendation letter from the advisor/supervisor. The letter should address the expected benefit of attending (to the student), the significance of the research, and the expected date for thesis submission. This letter can be sent in either plain text or PDF format. The student’s name must be clearly pointed out in the letter. Submissions of the first two items should be submitted in pdf via easychair here: https://easychair.org/conferences/?conf=aamas15dmp. The letter of recommendation should be sent by e-mail to the doctoral mentoring co-chairs: Kobi Gal M. Birna van Riemsdijk --------------- Important Dates --------------- February 11, 2011: Submission package due March 3: Acceptance notifications (changed!) March 8: Camera-ready copy due (changed!) May 5: Doctoral Mentoring Symposium From invitation at iariaprogram.org Wed Jan 14 10:40:25 2015 From: invitation at iariaprogram.org (ICNS 2015) Date: Wed, 14 Jan 2015 04:40:25 -0500 Subject: Last Mile: ICNS 2015 and CONNET 2015 || May 24 - 29, 2015 - Rome, Italy Message-ID: <1421228425506.291@iariaprogram.org> INVITATION: ================= The submission deadline of January 23, 2015 is approaching. Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to: - ICNS 2015, The Eleventh International Conference on Networking and Services - CONNET 2015, The International Symposium on Advances in Content-oriented Networks and Systems Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICNS 2015 | CONNET 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICNS 2015, The Eleventh International Conference on Networking and Services General page: http://www.iaria.org/conferences2015/ICNS15.html Submission page: http://www.iaria.org/conferences2015/SubmitICNS15.html CONNET 2015, The International Symposium on Advances in Content-oriented Networks and Systems General page: http://www.iaria.org/conferences2015/CONNET.html Submission page: http://www.iaria.org/conferences2015/CONNET.html#SubmitAPaper Events schedule: May 24 - 29, 2015 - Rome, Italy Contributions: - regular papers [in the proceedings, digital library] - short papers (work in progress) [in the proceedings, digital library] - ideas: two pages [in the proceedings, digital library] - extended abstracts: two pages [in the proceedings, digital library] - posters: two pages [in the proceedings, digital library] - posters: slide only [slide-deck posted at www.iaria.org] - presentations: slide only [slide-deck posted at www.iaria.org] - demos: two pages [posted at www.iaria.org] - doctoral forum submissions: [in the proceedings, digital library] Proposals for: - mini symposia: see http://www.iaria.org/symposium.html - workshops: see http://www.iaria.org/workshop.html - tutorials: [slide-deck posed on www.iaria.org] - panels: [slide-deck posed on www.iaria.org] Submission deadline: January 23, 2015 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and comply with the editorial rules: http://www.iaria.org/editorialrules.html ICNS 2015 Topics (for topics and submission details: see CfP on the site) Call for Papers: http://www.iaria.org/conferences2015/CfPICNS15.html ============================================================ ENCOT: Emerging Network Communications and Technologies Access and home networks; Ad hoc networks; Application-specific networks (e.g. SANs); Autonomic Networks; Delay-tolerant Networking; Distributed communications systems & applications; Energy-efficient networking; High-speed & optical networks; Mobile networking and systems; 5G and LTE approaches; Multimedia and multicast communications; Networking Communication theory; Network modeling & simulation; Network monitoring techniques; Network security; Next Generation Networks (NGN); Overlay networks; Peer-to-peer networking; Programmable and Active Networks; Sensor networks; Wireless and Satellite Networks; Content-oriented networks; Ambient environments CGNS: CLOUD/GRID Networks and Services CLOUD frameworks, architectures, computation, storage; GRID theory, frameworks, methodologies, architecture, ontology; Cloud and GRID infrastructure and technologies; CLOUD/GRID middleware; CLOUD computing, utility computing, autonomic computing, metacomputing; Programmable CLOUD/GRID; CLOUD services and applications; VIRTUALIZATION, modeling, and metadata; Resource management, scheduling, and scalability in CLOUD/GRID; CLOUD/GRID monitoring, control, and management; Traffic and load balancing in CLOUD/GRID; User profiles and priorities in CLOUD/GRID; Performance and security in CLOUD/GRID systems; Fault tolerance, resilience, survivability, robustness in CLOUD/GRID; QoS/SLA in CLOUD/GRID networks; CLOUD/GRID fora, standards, development, evolution; CLOUD/GRID case studies, validation testbeds, prototypes, and lessons learned UBI: Ubiquitous mobile services and protocols Frameworks, architectures, and languages for ubiquitous services; Queries, transactions and workflows in mobile and ubiquitous Networks; Algorithms for ubiquitous systems; SLA/QoS in ubiquitous services; Ontology-based services; Location-based services; Protocols and interaction mechanisms for ubiquitous services; Mobile services and service convergence; Service discovery mechanisms; Tracking in ubiquitous environments; Measurement, control, and management of ubiquitous services; Design and development of ubiquitous services; Wireless/mobile service delivery SERVI: Multi-technology service deployment and assurance Service-oriented architectures; Service definition, creation, bundling, deployment; Service reuse, composition and service feature interaction; Service orchestration and federation; Inter-provider service dependency; Intra-provider service dependency and service interaction; Service middleware and service development platforms (SDPs); Service open architecture (SOA); Profiling and service adaptation; Service privacy and security; Quality of service, service level agreement [QoS/SLA]; Service agreement violations; Mobile services and service migration; Reliability, availability, serviceability [RAS]; Service performance metrics; Traffic engineering, metering, monitoring; Voice over IP services; IP Multimedia services; Real-time/not-real-rime services; Real-time services over IP/IPv6; Service performance evaluation, tools, simulation NGNUS: Next Generation Networks and Ubiquitous Services Methodologies, development support, and tools for NGN and converging services; NGN and convergence of ubiquitous services; NGN frameworks, architectures, and concepts; NGN technologies and mechanisms; QoS/SLA, traffic in NGN; NGN transport/service layered capabilities and operations; NGN concepts for active, ad hoc, mobile, and wireless networks; 3G, 4G, and 5G Mobile networks; Fixed/mobile networks integration and internetworking; Services and service differentiation over NGN; Managing ubiquitous services in NGN; NGN interworking, non-NGN interoperability, migration; Regulatory services in NGN and standard activities; NGN device instrumentation; NGN policy-based control; Next Generation Internet COMAN: Network Control and Management Network, control and service architectures; Measurement of stream characteristics (reordering, delay, losses, jitter, etc.); Network signaling, pricing and billing; Network middleware; Network management, monitoring and control; Network resource scheduling; Networks policy-based management; Management of autonomic networks and systems; Telecommunication networks architectures; On-demand networks, utility computing architectures; Traffic engineering; Impact of packet dynamics on application performance; Applications and case studies MPQSI: Multi Provider QoS/SLA Internetworking Architectures, frameworks, mechanisms for admission control and measurement; QoS in multi-provider and multi-technology networks; Service classes and multi-provider service class discovery; Service level agreement and service assurance in multi-provider environments; Carrier-class end-to-end SLA and QoS monitoring and management; Multi provider accounting/billing/cost sharing; Management, monitoring, and measurements in multi-provider networks; End-to-end QoS/SLA advanced network services in multi-provider networks; End-to-end QoS/SLA for multimedia applications and services in multi-provider networks; Security issues in multi-service provider networks; Business models for multi-providers under QoS/SLA constraints; Standards and fora activities SDN: Software Defined Networking SDN architectures; Openflow protocols; SDN switches and routers; SDN controllers; Network operating systems; SDN scalability; Virtualization; Flow based operation; Distributed Controllers; State distribution in SDN control; Fault tolerance in SDN; Secure and dependable SDN; Openflow vulnerabilities; Software defined Internet architectures;Scaling virtualized functions; Traffic engineering with SDN; Abstractions for SDN; Network programming languages; Information centric networking and SDN; SDN in cloud computing; SDN applications; SDN in wireless environment; Controller performance evaluations; Mobility solutions EDNA: Emergency Services and Disaster Recovery of Networks and Applications Theory on disaster-tolerant robust networks; Recovery by disruption resource procedures; Security issues with emergency services and disaster recovery; Networks resiliency methods; Formal methods for safety-critical systems; Networks emergency services; Public safety, reliable emergency communications, and applications; Response to the networks emergency services; Disaster prevention and recovery; Fighting mechanisms for disaster of networks and applications; Notifications and recovery in various network technologies; Customer protection and serviceability perception; Cost models and business impact; Cultural and legal aspects; Future advanced network development and evolution; Standards and guidelines; Lawful interception and defense strategies; DEPLOY: Deploying the Future Infrastructures Advanced Topics and Latest Developments in IPv6; IPv6 Deployment Experiences and Case Studies; IPv6 Enabled Applications and Devices; Deploying large-scale Internet of Things (IoT)-based networks and services; Optical Network Infrastructures; Deploying 5G and beyond networks; Deploying sensor networks; Deploying wireless and wired body-networks CGOBS: CLOUD/GRID over Optical Burst Switching Networks Terabit burst switching; Burst assembly for IP DiffServ over optical burst switching networks; Optical network infrastructure for CLOUD/GRID; Synchronous stream optical burst switching; Optical burst switching based CLOUD/GRID architectures; Reliable optical burst switching for next-generation Grid networks; Optical burst switching for IP-over-WDM/DWDM; Customizable Grid-to-optical network; Ultra high capacity optical networks; Hybrid optical burst/circuit switched for CLOUD/GRID-enabled optical networks; Job scheduling in optical burst switching CLOUD/GRID networks; Architecture and middleware for CLOUD/GRID-Over-OBS APP: Users, applications, and business models Mobile user interfaces; Ubiquitous user-generated content (weblogs, wikis, etc.); Mobile and ubiquitous computing; User modeling and personalization; Context- and location-aware applications; Toolkits, testbeds, development environments; Tools and techniques for designing, implementing, & evaluating ubiquitous networks and services; Constructing, deploying and prototyping of ubiquitous applications; Evaluation of user models for ubiquitous environments; On-line analytical techniques; Human-computer interaction in ubiquitous computing environments; Ubiquitous e-Development (business, science, health, etc.); Case Studies; Emerging industrial/business/scientific ubiquitous scenarios CONNET 2015 Topics (for topics and submission details: see CfP on the site) CfP: http://www.iaria.org/conferences2015/CONNET.html#CallForPapers ========================== CON and CDN concepts and architectures Content naming in CON Content-based (adaptive) routing and forwarding CON content delivery and dissemination In-network caching policies in CON CDN and P2P caching policies and solutions CON specific protocols Resources and traffic management in CON CON multicast and mobility solutions Media and real time content delivery and QoS assurance in CON CON solutions for security Energy-efficient CON networking CON performance evaluation and scalability Application Programming Interfaces CON implementation and deployment in real networks: seamless or revolutionary CON Publish/subscribe systems CON in cloud environments CON in SDN (Software Defined Networking) and virtualization frameworks CON-CDN-P2P cooperation for content delivery Content-based high level communication services Content-based approach in special contexts: vehicular networks, Web Servers Clusters, Delay-tolerant networks ------------------------ ICNS 2015 Committee: http://www.iaria.org/conferences2015/ComICNS15.html CONNET 2015 Committee: http://www.iaria.org/conferences2015/CONNET.html#Committees To stop receiving notices about ICNS, please reply with "DROP ICNS event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From cesare.pautasso at computer.org Wed Jan 14 10:46:18 2015 From: cesare.pautasso at computer.org (cesare.pautasso at computer.org) Date: Wed, 14 Jan 2015 10:46:18 +0100 (CET) Subject: CfP - ESOCC 2015 - Fourth European Conference on Service-Oriented and Cloud Computing, Taormina (Messina), Italy, 15-17 Sept 2015 Message-ID: <20150114094618.91061A36C1@euler.inf.unisi.ch> -------------------------------------------------------------------------------- ESOCC 2015 -------------------------------------------------------------------------------- Fourth European Conference on Service-Oriented and Cloud Computing 15-17 September 2015 Taormina (Messina), Italy http://esocc2015.unime.it supported by IFIP WG 2.14/6.12/8.10 -------------------------------------------------------------------------------- CALL FOR PAPERS The European Conference on Service-Oriented and Cloud Computing (ESOCC) is the premier conference on the advances in the state of the art and practice of Service-Oriented Computing and Cloud Computing in Europe. ESOCC has evolved from the ECOWS (European Conference on Web Services) conference series, after the Steering Committee decided to renew and broaden its scope, and to start a new conference series on advanced topics of service-oriented and Cloud computing. The first edition of the new series, ESSOC 2012, was successfully held in Bertinoro, Italy, the second edition, ESOCC 2013, was held in Malaga, Spain, the third edition, ESOCC 2014 was held in Manchester, UK and will be continued by ESOCC 2015 in Taormina (Messina), Italy. The main objectives of this conference are to facilitate the exchange between researchers and practitioners in the areas of SOC and Cloud Computing and to foster future collaborations in Europe and beyond. ESOCC 2015 will include invited talks, presentations of selected research papers, industrial, business model (BM) and work in progress (WIP) tracks papers with the participation of top researchers from academia and industry. ESOCC 2015 will also include a PhD Symposium and a series of satellite workshops. -------------------------------------------------------------------------------- BACKGROUND The continued success of service-oriented distributed applications has shown that tightly coupled software systems may be useful for niche markets, whereas loosely coupled software systems have proven to be more flexible, adaptive and often more appropriate for practical applications. Loose coupling makes it easier for a given system to interact with other system components (including legacy systems) that have been developed independently somewhere in a heterogeneous universe of services. Thus, service-oriented applications can evolve more easily during their lifespan and adapt better to changing or even unpredictable environments. In such scenarios, cloud computing enables a new execution paradigm for distributed software applications where resources can be shared, optimally realized as well as utilized and exchanged between heterogeneous execution platforms and the cloud, so as to achieve fast response times and to ensure immersive and non-interrupted user experience. Services today are developed independently, deployed as well as freely composed, and they can be implemented in a variety of technologies a fact which is of particular importance from a business perspective. Similarly, cloud computing aims at enabling mobility as well as device, platform and/or service independence by offering centralized sharing of resources. It promotes interoperability, portability and security standards, and raises a completely new set of security issues. On the implementation side, essential agreement has been reached on integration technologies and consensus has emerged in today's middleware market. Customers use Web technologies extensively; however, service developers, providers, and integrators need to create methods, tools and techniques to support cost-effective and secure development and use of dependable devices, platforms, services and service-oriented applications in the Cloud. -------------------------------------------------------------------------------- TOPICS OF INTEREST ESOCC 2015 seeks original, high quality papers related to all aspects of Service-Oriented and Cloud Computing. Topics of interest to the Research, Industry, BM, and WIP Tracks include, but are not limited, to: - Agile Computing - DevOps in the Cloud - Social and Crowd-based Cloud - Smart Cities Services and Applications - IoT Services and IoT Clouds - Mobile Clouds and Mobile Services - Business Process Management and Services - Cloud Services Management and Composition - Dynamic and Adaptive Services - Economic and Business Models for Services - Enterprise Architecture and Services - Emerging Trends of Service Composition and Mashups - Experience reports of novel applications of Service-Oriented and Cloud Computing in Health, Commerce, Finance, Telecom, Scientific Computing and other domains - Service Modeling, Analysis, and Design - Formal Methods for Services - Frameworks for Building Service Based Applications - Architectural Models for Cloud Computing - Identity and Access Management using Services - Model-Driven Service Engineering - Next Generation Services Middleware and Service Repositories - Service quality and service interface design guidelines - RESTful Clouds and Services - Self-Organizing Service Oriented and Cloud Architectures - Service-Oriented Business Collaboration - Service Governance - Service Marketplaces - Services Life-Cycles - Services Security and Privacy - Big Data Management - Crowdsourcing Business Services - Cloud Interoperability and Federation - Emerging Trends in Storage, Computation and Network Clouds - Cloud Computing Business Models - Service Science ESOCC 2015 solicits both new research papers (in the main track and BM), papers on early research initiatives in WIP, as well as reports on practical experiences from industry (industry track). However, papers on existing products or product marketing information are not within the scope of the ESOCC 2015 Industry Track. CALL FOR WORKSHOPS & PhD SYMPOSIUM ESOCC 2015 Workshops provide an opportunity for participants to discuss specific topics in the Service-Oriented and Cloud Computing related domains. ESOCC 2015 PhD Symposium is an international forum for PhD students working in any of the topics of the ESOCC conference. -------------------------------------------------------------------------------- SUBMISSIONS Original papers, not submitted for publication elsewhere, can be submitted via http://ocs.springer.com/ocs/en/home/ESOCC2015 - Research papers - Industry-Track papers - Business Model Track papers - Work In Progress (WIP) Track papers - PhD Symposium submissions Workshop proposals via email to: Antonio Celesti Philipp Leitner Paper submissions should be formatted according to the LNCS proceedings guidelines and the templates available at http://www.springer.com/computer/Incs?SGWID=0-164-6-793341-0 and they should not exceed 15 pages. A paper might be accepted as a full paper (15 pages), as a short paper (8 pages) or as a poster (a 2-page abstract in the proceedings). Conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. -------------------------------------------------------------------------------- IMPORTANT DATES Research papers Submission: 15 May 2015 Notification: 19 June 2015 Final version: 26 June 2015 Industrial papers Submission: 15 May 2015 Notification: 19 June 2015 Final version: 26 June 2015 Business Model papers Submission: 15 May 2015 Notification: 19 June 2015 Final version: 26 June 2015 Work In Progress papers Submission: 15 May 2015 Notification: 19 June 2015 Final version: 26 June 2015 PhD Symposium papers Submission: 1 August 2015 Notification: 15 August 2015 Final version: 22 August 2015 Workshop proposals Submission: 20 March 2015 Notification: 27 March 2015 -------------------------------------------------------------------------------- ORGANIZATION General Chair: * Massimo Villari, Università di Messina, Italy Program Chairs: * Schahram Dustdar, TU Wien, Austria * Frank Leymann, University of Stuttgart, Germany Publicity Chair: * Cesare Pautasso, University of Lugano, Switzerland EU Projects Track Chairs: * Antonio Brogi, University of Pisa, Italy * Silvana Muscella, CEO & Founder Trust-IT Services, Italy Business Model Track Chair: * Paul Grefen, Eindhoven University of Technology Industry Track Chairs: * Andreas Roth, SAP Work In Progress (WIP) Track Chair: * Orazio Tomarchio, Università di Catania, Italy Workshop Chairs: * Antonio Celesti, Università di Messina, Italy * Philipp Leitner, University of Zurich, Switzerland Ph.D. Symposium Chairs: * Wolf Zimmermann, University of Halle, Germany ESOCC 2015 Program Committee: * Marco Aiello, University of Groningen, the Netherlands * Farhad Arbab, CWI, The Netherlands * Luciano Baresi, Politecnico di Milano, Italy * Mario Bravetti, University of Bologna, Italy * Antonio Brogi, University of Pisa, Italy * Christoph Bussler, Xtime, Inc., USA * Javier Cubo, University of Malaga, Spain * Eric Dubois, CRP Henri Tudor Service Science and Innovation (SSI), Luxemburg * Juergen Dunkel, FH Hannover, Germany * Schahram Dustdar, TU Wien, Austria * Rik Eshuis, Eindhoven Univ. of Technology, The Netherlands * David Eyers, University of Otago, New Zealand * George Feuerlicht, Prague University of Economics, Czech Republic * Claude Godart, Universiy of Lorraine, France * Paul Grefen, Eindhoven University of Technology * Michael Goedicke, University of Duisburg-Essen, Germany * Thomas Gschwind, IBM Zurich Research Lab, Switzerland * Martin Henkel, Stockholm University, Sweden * Dionisis Kehagias, CERTH-ITI, Greece * Birgitta Koenig-Ries, Universitaet Jena, Germany * Ernoe Kovacs, NEC Europe Network Labs, Germany * Akhil Kumar, Pennsylvania State University, USA * Peep Kungas, University of Tartu, Estonia * Patricia Lago, VU University Amsterdam, The Netherlands * Winfried Lamersdorf, Uni Hamburg, Germany * Welf Loewe, Linnaeus University, Sweden * Heiko Ludwig, IBM Research, USA * Ingo Melzer, DaimlerChrysler Research, Germany * Roy Oberhauser, Aalen University, Germany * Guadalupe Ortiz, University of Cadiz, Spain * Claus Pahl, Dublin City University, Ireland * George Papadopoulos, University of Cyprus * Cesare Pautasso, University of Lugano, Switzerland * Willy Picard, University of Economics, Poznań, Poland * Ernesto Pimentel, University of Malaga, Spain * Wolfgang Reisig, Humbold-Universitaet Berlin, Germany * Ulf Schreier, Univ. of Applied Sciences Furtwangen, Germany * Rainer Unland, University of Duisburg-Essen, Germany * Massimo Villari, University of Messina, Italy * Erik Wilde, UC Berkeley, USA * Gianluigi Zavattaro, University of Bologna, Italy * Olaf Zimmermann, HSR FHO Rapperswil, Switzerland * Wolf Zimmermann, University Halle, Germany * Christian Zirpins, KIT/Seeburger AG, Karlsruhe, Germany Local Organization Committee: * Dario Bruneo, Università di Messina, Italy * Maria Fazio. Università di Messina, Italy * Antonio Puliafito, Università di Messina, Italy * Marco Scarpa, Università di Messina, Italy ESOCC Steering Committee: * Antonio Brogi, University of Pisa, Italy * Schahram Dustdar, TU Wien, Austria * Paul Grefen, Eindhoven Univ. of Technology, The Netherlands * Winfried Lamersdorf, Uni Hamburg, Germany * Flavio de Paoli, University of Milano-Bicocca, Italy * Cesare Pautasso, University of Lugano, Switzerland * Ernesto Pimentel, University of Malaga, Spain * Ulf Schreier, Hochschule Furtwangen University, Germany * Gianluigi Zavattaro, University of Bologna, Italy * Olaf Zimmermann, HSR FHO Rapperswil, Switzerland * Wolf Zimmermann, University of Halle, Germany CONTACT INFORMATION * esocc2015[at]unime.it * http://esocc2015.unime.it/ * Follow us on twitter @esocc From henning at ruc.dk Wed Jan 14 13:35:51 2015 From: henning at ruc.dk (Henning Christiansen) Date: Wed, 14 Jan 2015 12:35:51 +0000 Subject: CONTEXT 2015: Call for papers and workshop proposals Message-ID: <08AD36E0-C37E-49B0-91D0-18BBB5DC1B35@ruc.dk> CONTEXT 2015 The Ninth International and Interdisciplinary Conference on Modeling and Using Context Larnaca, Cyprus, 2–6 November 2015 http://cyprusconferences.org/context2015, https://www.facebook.com/context.conference Call for papers and workshop proposals The CONTEXT conferences are the world’s prime forum for presentation and exchange of insights and cutting-edge results from the wide range of disciplines concerned with context. The main theme of CONTEXT 2015 is “Back to the roots”, focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems. CONTEXT 2015 invites high-quality contributions from researchers and practitioners in foundational studies, applications and evaluations of modeling and use of context in all relevant fields. Areas of interest include, but are not limited to, the role of context seen from different perspectives in: • Agent-based architectures • Ambient intelligence • Cognition and perception by humans and artifacts • Context-aware and situated systems • Context modeling tools • Communication and dialogue • Data analysis and visualization • Decision making • Discourse comprehension and representation • Engineering, e.g., in transport networks, industrial plants etc. • Experimental philosophy and experimental pragmatics • (Formal) models of context • Human-computer interaction • Knowledge representation • Language acquisition and processing • Learning, knowledge management and sharing • Logic and reasoning • Machine learning • Ontology/ies • Semantics and Pragmatics • Smart and interactive spaces • Understanding art, images, music and theatre Proceedings Accepted papers and poster abstracts will be published in a volume of the Springer LNAI series. Submission format Submissions may be either full papers of up to 14 pages (in Springer LNCS format) or poster abstracts of 4–6 pages. Full papers may be accepted as such with oral presentation, or their authors may be invited to prepare a poster abstract. Detailed formatting and submissions instructions will be provided. Conference events CONTEXT 2015 will include paper presentation sessions, a poster and demonstration session, two days of workshops, and a doctoral consortium as well as keynote talks and a panel discussion. Workshops and the doctoral consortium will circulate separate calls for papers and participation, which will also be available at the conference web site. All accepted authors will have the option of presenting a system demonstration at the poster session. Workshops CONTEXT 2015 workshops will provide a platform for presenting novel and emerging ideas in the use and the modelling of context in a less formal and possibly more focused way than the conference itself. The format of each workshop is to be determined by the organisers, but it is expected that workshops will contain ample time for general discussion and engagement by all participants - not just those presenting papers. Workshops that foster collaboration, discussion, group problem-solving and community-building initiatives are particularly encouraged. Researchers and practitioners from all relevant fields are invited to submit proposals for review. The length of a workshop may be one half or a whole day, and in exceptional cases, up to two days. Workshop proposals should be mailed to the workshop chair, samia.oussena at uwl.ac.uk. See all details of requirements for workshop proposals and the responsibilities of workshop organizers at http://cyprusconferences.org/context2015/?page_id=453 Important dates Full papers and posters: • Submission deadline June 1, 2015 • Notification July 13, 2015 • Final version August 17, 2015 Workshops: • Submission of proposals March 20, 2015; notification April 1, 2015 • Submission deadline, workshop papers August 1, 2015 • Notification for workshop papers September 1, 2015; final versions October 1, 2015 Doctoral Consortium: TBA Program chairs Henning Christiansen, Roskilde University, Denmark Isidora Stojanovic, Institut Jean-Nicod, CNRS, France Workshop chair Samia Oussena, University of West London, UK Local arrangements George Angelos Papadopoulos, University of Cyprus, Cyprus General chair Henning Christiansen, Roskilde University, Denmark Chairs of the Community of Context Patrick Blackburn, Roskilde University, Denmark Patrick Brezillon, Université Pierre et Marie Curie, France Henning Christiansen, Roskilde University, Denmark Richard Dapoigny, Université de Savoie, France Thomas R. Roth-Berghofer, University of West London, UK Hedda R. Schmidtke, Carnegie Mellon University, USA Look for updates and more details at - http://cyprusconferences.org/context2015 - https://www.facebook.com/context.conference -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Nalqirim at uaeu.ac.ae Wed Jan 14 13:47:39 2015 From: Nalqirim at uaeu.ac.ae (Nabeel Al-Qirim) Date: Wed, 14 Jan 2015 12:47:39 +0000 Subject: CFP: The 5th International Conference on Current and Future Trends of ICT in Healthcare Message-ID: <613A9065892D6441AC7E1D2FE4E16EA147BCF858@PEXMBOX20101.uaeu.ac.ae> *** Apologies if you receive multiple copies of this message *** ----------------- Call for Papers ------------------------ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare September 27-30, 2015 Berlin, Germany http://icth-15.dai-labor.de/ Important Dates ------------------ - Workshop Proposals: February 15, 2015 - Paper Submission Due: May 6, 2015 - Acceptance Notification: June 26, 2015 - Final Manuscript Due: July 26, 2015 The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from academia and healthcare who are engaged in different facets of ICT and healthcare. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of ICT based applications, systems, tools, environments and infrastructures in the fields of health/medical care, and related domains, such as public health and pharmaceuticals. Papers on either completed or ongoing research are invited in the following and related topics of interests. ICTH-2015 will be held in conjunction with the 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://euspn-15.dai-labor.de/). Accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series (on-line). Procedia Computer Sciences is hosted on www.Elsevier.com and on the Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will also be indexed by Thomson Reuters' Conference Proceeding Citation Index http://thomsonreuters.com/conference-proceedings-citation-index/. The papers will contain linked references, XML versions and citable DOI numbers. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in a special issue of an international journal. We invite submissions on either completed or ongoing work. Submitted papers must be no longer than 8 pages for full papers, 5 pages for short papers and 4 pages for work in progress, including all figures, tables and references. We encourage students to submit short papers or works in progress, and welcome proposals on workshops in areas of special interest to participants. Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Drug Information Systems - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Honorary Chair Sahin Albayrak, DAI-Lab, TU Berlin, Germany General Chairs Ellen Jaatun, Institute of Cancer Research and Molecular Medicine, NTNU, St. Olvas Hospital, Norway Syed Sibte Raza Abidi, Dalhousie University, Nova Scotia Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canda Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Pinciroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada Workshop Chair Zahoor Khan, Higher Colleges of Technology, UA Local Arrangements Members Jan Keiser, DAI-Lab, TU Berlin, Germany Fikret Sivrikaya, German-Turkish Advanced ICT Research Centre, Germany Johannes Fähndrich, TU Berlin, Germany Publicity Chairs Christian Kuster, German-Turkish Advanced ICT Research Centre, Germany Samir Ouchani, University of Luxembourg, Luxembourg Nabeel Al-Qirim, College of Information Technology, UAE Regards Nabeel Al-Qirim, PhD Associate Professor College of Information Technology United Arab Emirates University P.O Box 15551 - Al Ain United Arab Emirates [UAEU Logo] Tel: +971-3-7135531 Mobile: +971-507308705 Fax: +971-3-7672018 Email: nalqirim at uaeu.ac.ae Website: http://nalqirim.wix.com/nabeel-al-qirim ________________________________ Disclaimer: This email and the file(s) attached shall remain confidential and is intended for the receivers use only. If you are not the intended receiver or if you have received this email by mistake, please advise the sender and delete the email along with its attachment(s) from your system immediately. You do not have the right to copy/print/distribute this email or attached file(s), or to release its contents to any other party other than the intended receivers whatsoever; except if you take prior written approval from the sender. If you violate the above, you will be legally held accountable. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Nalqirim at uaeu.ac.ae Wed Jan 14 13:49:11 2015 From: Nalqirim at uaeu.ac.ae (Nabeel Al-Qirim) Date: Wed, 14 Jan 2015 12:49:11 +0000 Subject: CFW: The 5th International Conference on Current and Future Trends of ICT in Healthcare Message-ID: <613A9065892D6441AC7E1D2FE4E16EA147BCF88A@PEXMBOX20101.uaeu.ac.ae> *** Apologies if you receive multiple copies of this message *** ----------------- Call for Workshops Proposals ------------------------ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) 27-30 September, 2015 Berlin, Germany http://icth-15.dai-labor.de/ ------------------------------------------------------------------------------- Important Dates =============== - Workshop Proposal Due: February 25, 2015 - Acceptance Notification: March 1, 2015 The ICTH-2015 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of ICTH-2015 and its related areas. All papers accepted for workshops will be included in the ICTH-2015 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in ICTH-2015 Website. The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues. Proposal Format =============== - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft Call for paper of the workshop - Tentative list of TPC members Workshops Chair =============== Dr. Zahoor Khan, Higher Colleges of Technology, UAE Email: zahoor.khan at hct.ac.ae Regards Nabeel Al-Qirim, PhD Associate Professor College of Information Technology United Arab Emirates University P.O Box 15551 - Al Ain United Arab Emirates [UAEU Logo] Tel: +971-3-7135531 Mobile: +971-507308705 Fax: +971-3-7672018 Email: nalqirim at uaeu.ac.ae Website: http://nalqirim.wix.com/nabeel-al-qirim ________________________________ Disclaimer: This email and the file(s) attached shall remain confidential and is intended for the receivers use only. If you are not the intended receiver or if you have received this email by mistake, please advise the sender and delete the email along with its attachment(s) from your system immediately. You do not have the right to copy/print/distribute this email or attached file(s), or to release its contents to any other party other than the intended receivers whatsoever; except if you take prior written approval from the sender. If you violate the above, you will be legally held accountable. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aamas2014publicity at gmail.com Wed Jan 14 14:45:37 2015 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Wed, 14 Jan 2015 13:45:37 +0000 Subject: Call for Demos: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) Message-ID: Istanbul, Turkey, May 4-8, 2015 http://www.aamas2015.com The goal of the AAMAS DEMOs track is to provide opportunities for participants from academia and/or industry to present their latest developments in agent-based software and/or robotic systems. Interactive systems, robotic systems and novel applications are particularly welcome. There will be a "Best Demo Award." Authors of accepted papers and posters in the main track of the AAMAS conference, as well as workshop presenters, are particularly encouraged to submit! (You'll be there anyway - this is another opportunity to share your work and discuss your results in detail with conference attendees who visit your Demo!) Examples of demos include but are not limited to: - Single- and multi-agent robotic systems - Interactive agent-based software systems - Personal robotics - Agent-based simulation environments - Innovative applications of agent-based systems or prototypes - Agent-based games - Agent platforms and development environments - Open-source software tools for agent-based system development - Human-robot interactive systems - Virtual agents and interactive virtual environments The organizers will make every effort to facilitate demo requirements. If you have unusual requirements please contact the organizers in advance. At a minimum, we will provide a poster board, a monitor, and a table for each demonstration. *** SUBMISSION REQUIREMENTS *** Submissions accepted for the demonstration session will be advertised on the AAMAS website. Each Demo submission must consist of the following: 1. Paper: A 2-page paper in which the authors describe the system to be demonstrated. The paper should describe the application domain, the problem scenario, the technology used, the agent/multi-agent techniques involved, the original contribution and innovations of the system, its live and interactive aspects, etc. Papers MUST BE PREPARED IN PDF format using the AAMAS style. 2. A list of requirements/description of demo setting. This list should be attached to the extended abstract, in a separate page. 3. Video or PPT or other media: The paper must contain a URL linking to a demonstration video no more than 5 minutes in length (e.g. YouTube) or a Powerpoint presentation showing and explaining what happens. Other formats are also possible if they can more clearly illustrate the demo. The objective is to give a precise idea, in 5 minutes, of what the demo will look like. Accepted Demos will have the 2-page papers included in the AAMAS proceedings. Submissions will be managed using EasyChair. https://easychair.org/conferences/?conf=aamasdemo15 *** SELECTION PROCESS *** The submission and selection processes for the AAMAS 2014 Demos will be separate from that of the main conference. Each submission will be assessed by the Demos Program Committee. The authors will receive a brief report with the result of the evaluation with the notification. The main evaluation criteria are: - Relevance to the AAMAS conference - Significance and originality - Presentation and technical quality - Maturity and readiness for demonstration - Potential for public interaction - Potential impact in the intended application domain - Potential interest to a broader audience At least one author of each accepted demonstration is required to register and to attend the conference to give the demonstration. *** IMPORTANT DATES *** - Submission deadline: February 4, 2015 - Notification of acceptance/rejection: February 28, 2015 - Camera-ready paper: March 5, 2015 *** ORGANIZATION *** Demos Chairs: - Paolo Torroni, University of Bologna, Italy - Karl Tuyls, University of Liverpool, UK *** CONTACT INFORMATION *** Contact the Demos Chairs at aamas2015.demos at google.com From epontell at cs.nmsu.edu Thu Jan 15 03:55:42 2015 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Wed, 14 Jan 2015 19:55:42 -0700 Subject: CFP: Practical Aspects of Declarative Languages (PADL 2015) Message-ID: Call for Papers =============== 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015) http://www.cs.nmsu.edu/padl15 Portland, Oregon, June 18-19, 2015 Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2015 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2015 will be co-located with the ACM Federated Computing Research Conferences, in Portland, Oregon. Important Dates and Submission Guidelines ========================================= Paper Submission: February 28, 2015 Notification: March 31, 2015 Camera-ready: April 15, 2015 Symposium: June 18-19, 2015 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2015 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2015 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL’15 will appear in the LNCS series of Springer Verlag. Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Enrico Pontelli and Son Cao Tran New Mexico State University, USA Email: epontell | tson cs nmsu edu From lpulina at uniss.it Thu Jan 15 18:28:01 2015 From: lpulina at uniss.it (Luca Pulina) Date: Thu, 15 Jan 2015 18:28:01 +0100 Subject: CALL FOR PAPERS -- The 9th International Conference on Web Reasoning and Rule Systems (RR 2015) Message-ID: <54B7F8A1.7040205@uniss.it> [apologies for any cross-posting] ****************************************************************** CALL FOR PAPERS The 9th International Conference on Web Reasoning and Rule Systems (RR 2015) Berlin, Germany, August 4-6, 2015 http://www.csw.inf.fu-berlin.de/RR2015/ ****************************************************************** The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2015 is colocated with the following events: - 11th Reasoning Web Summer School (RW 2015) Berlin, Germany, July 31 - August 4, 2015. http://www.csw.inf.fu-berlin.de/rw2015/ - The 25th International Conference on Automated Deduction (CADE 2015). Berlin, Germany, August 1 - August 7, 2015. http://conference.mi.fu-berlin.de/cade-25/home - The 9th International Web Rule Symposium (RuleML 2015). Berlin, Germany, August 3-5, 2015 http://2015.ruleml.org RR 2015 also hosts a doctoral consortium, which will provide PhD students with an opportunity to present and discuss their research directions, to be involved in discussions on the state-of-the-art research, and to establish fruitful collaborations. In particular, the doctoral consortium will include a mentoring lunch and a poster session, organized jointly with the 9th International Web Rule Symposium (RuleML 2015). Further details on the RR doctoral consortium will be communicated by means of a separate Call for Papers, as well as on the RR 2015 website. == TOPICS AND SUBMISSION INSTRUCTIONS == The scale and the heterogenous nature of web data poses many challenges, and turns basic tasks such as query answering and data transformations into complex reasoning problems. Rule-based systems have found many applications in this area. The RR conference welcomes original research from all areas of Web Reasoning and Rule Systems. Topics of particular interest are: - Rule-based languages for intelligent information access and for the semantic web - Ontology-based data access - Data management, and data interoperability for web data - Distributed agent-based systems for the web - Scalability and expressive power of logics for the semantic web - Reasoning with incomplete, inconsistenct and uncertain data - Non-monotonic, commonsense, and closed-world reasoning for web data - Constraint programming, inductive logic programming for web data - Streaming data and complex event processing - Rule-based approaches to machine learning, knowledge extraction and information retrieval - Rule-based approaches to natural language processing - System descriptions, applications and experiences There are two submission formats: - Full papers (up to 15 pages in LNCS style) - Technical Communications (up to 6 pages in LNCS style) Submitted full papers should present original and significant research results. They must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed, like for instance the DL 2014 workshop. Technical communications are intended for promising but possibly preliminary work, position papers, system descriptions, and applications descriptions (which may be accompanied by a demo). The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS), and all submissions must be prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html). Submissions are made via EasyChair: https://www.easychair.org/conferences/?conf=rr2015 == IMPORTANT DATES == - Title and Abstract submission: March 3, 2015 - Full papers submission: March 10, 2015 - Notification of acceptance: April 15, 2015 - Camera-ready submission: May 15, 2015 For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies. == BEST PAPER AND BEST STUDENT PAPER AWARDS == Awards for Best Paper and Best Student Paper will be presented to the corresponding author(s) at the conference. The best student paper will be selected among the ones mainly only by students (i.e., authors a PhD as of the paper submission deadline). To qualify for the Best Student Paper award, the authors must indicate their eligibility upon submission at easychair. The program committee reserves the right to not give out a Best Student Paper award, or to split the award among multiple submissions. == INVITED SPEAKERS == - Michael Genesereth (Stanford University) - Benny Kimelfeld (Technion & LogicBlox) - Lora Aroyo (Free University of Amsterdam) == ORGANIZATION == General Chair: - Wolfgang Faber (University of Huddersfield) Doctoral Consortium Chair: - Marco Montali (Free Universiy of Bozen-Bolzano) Local Organization Chair: - Adrian Paschke (Free University of Berlin) Sponsorship Chair: - Marco Maratea (University of Genova) Publicity Chair: - Luca Pulina (University of Sassari) Web Chair: - Ralph Schaefermeier (Free University of Berlin) Program Committee: - Balder ten Cate (LogicBlox, USA) - co-chair - Alessandra Mileo (DERI, Ireland) - co-chair - Darko Anicic (Siemens AG, Germany) - Marcelo Arenas (Pontificia Universidad Catolica de Chile, Chile) - Marcello Balduccini (Drexel University, USA) - Leopoldo Bertossi (Carleton University, Canada) - Meghyn Bienvenu (Universite Paris Sud, France) - Fernando Bobillo (University of Zaragoza, Spain) - Daniel Deutsch (Tel Aviv, Israel) - Agostino Dovier (Università degli Studi di Udine, Italy) - Thomas Eiter (TU Vienna, Austria) - Sergio Flesca (University of Calabria, Italy) - Paul Fodor (Stony Brook University, USA) - Andres Freitas (INSIGHT NUI Galway, Ireland) - Andre Hernich (Liverpool, UK) - Stijn Heymans (SRI, USA) - Aidan Hogan (National University of Ireland, Galway, Ireland) - Benny Kimelfeld (Technion, Israel & LogicBlox, Inc) - Roman Kontchakov (Birkbeck College, UK) - Markus Krötzsch (University of Oxford, UK) - Georg Lausen (Universitaet Freiburg, Germany) - Joohyung Lee (Arizona State University, USA) - Domenico Lembo (Sapienza Universita di Roma, Italy) - Carsten Lutz (Universität Bremen, Germany) - Thomas Meyer (CSIR Meraka Institute, South Africa) - Boris Motik (Oxford University, UK) - Marco Montali (Free University of Bozen-Bolzano, Italy) - Marie-Laure Mugnier (LIRMM/INRIA, Montpellier, France) - Matthias Nickels (NUI Galway, Ireland) - Magdalena Ortiz (TU Vienna, Austria) - Giorgio Orsi (University of Oxford, UK) - Jeff Z. Pan (University of Aberdeen) - Adrian Paschke (Freie Universität Berlin, Germany) - Axel Polleres (WU-Vienna, Austria) - Lucian Popa (IBM Almaden, USA) - Francesco Ricca (University of Calabria, Italy) - Riccardo Rosati (Sapienza Universita di Roma, Italy) - Sebastian Rudolph (TU Dresden, Germany) - Luciano Serafini (FBK Trento, Italy) - Evgeny Sherkhonov (University of Amsterdam, Netherlands) - Steffen Staab (University of Koblenz-Landau, Germany) - Umberto Straccia (ISTI-CNR, Pisa, Italy) -- 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 paul.kaufmann at gmail.com Fri Jan 16 08:06:38 2015 From: paul.kaufmann at gmail.com (Kaufmann Paul) Date: Fri, 16 Jan 2015 08:06:38 +0100 Subject: Elsevier Renewable Energy Special Issue on Optimization Methods in Renewable Energy Systems Design Message-ID: <4C4921FD-DDDB-4A39-B389-29214049491F@gmail.com> Special Issue on Optimization Methods in Renewable Energy Systems Design Renewable Energy Journal (5 year IF: 3.456) INTRODUCTION Sustainability is of great importance due to increasing demands and limited resources worldwide. In particular, in the field of energy production and consumption, methods are required that allow to produce energy in an efficient way, as well as to develop methods for the efficient usage of energy. The vast extension of energy sources and the growing information structure allow a fine screening of energy resources, but also require the development of tools for the analysis and understanding of huge datasets about the energy grid. Key technologies in future ecological, economical and reliable energy systems are energy prediction of renewable resources, prediction of consumption as well as efficient planning and control strategies for network stability. To enable financially and ecologically viable projects, optimization methods have taken over a key role for planning, optimizing and forecasting sustainable systems. Typically, these approaches make use of domain knowledge in order to achieve the required goal. Even in the case that explicit domain knowledge is not available, specialized methods can also handle large raw numerical sensory data directly, process them, generate reliable and just-in-time responses, and have high fault tolerance. The main goal of this Special Issue (SI) is to promote the research on optimization methods for their application to the renewable energy production and consumption domain. TOPICS We are seeking articles including (but not limited to): - Algorithms for modeling, control, and optimization - Prediction of wind and photovoltaic energy - Prediction and monitoring of energy consumption - Communication and control - Demand side management - Distributed energy resources - Methods and algorithms for real-time analysis - Planning, operation and control - Plug-in vehicles - Renewable energy - Smart micro-grids - Smart sensing - Virtual power plants TIME SCHEDULE Submission deadline: 31st March 2015 Reviews by: 15st May 2015 Revision by: 30st June 2015 Final decision by: 15th August 2015 Publication: late 2015 Review articles on specific topics listed above are also very welcome. SUBMISSION Manuscripts have to be prepared according to the instructions of the "Author Information Pack" of the journal, available at http://www.journals.elsevier.com/renewable-energy/ Papers have to be submitted through Elsevier's journal website: http://ees.elsevier.com/rene/ The submission system for this special issue will open in early 2015. Authors must select this 'SI: Optimization in RE' when asked by the online system 'Please Select an Article Type'. Submitted papers will be reviewed by at least three reviewers. The submission of a manuscript implies that it is the authors' original unpublished work and is not being submitted for possible publication elsewhere. GUEST EDITORS Dr. Paul Kaufmann, University of Paderborn, Germany Jun.-Prof. Dr. Oliver Kramer, Carl v. Ossietzky Universitaet, Germany Assoc Prof. Dr. Frank Neumann, The University of Adelaide, Australia Dr. Markus Wagner, The University of Adelaide, Australia This Special Issue is an activity of the IEEE CIS Task force on Computational Intelligence in the Energy Domain, http://cs.adelaide.edu.au/~markus/CIS-TF-Energy/ From giacomo.cabri at unimore.it Fri Jan 16 22:31:49 2015 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Fri, 16 Jan 2015 22:31:49 +0100 Subject: Extended deadline: COORDINATION 2015 Abstract Submission: Jan. 23, 2015 Message-ID: <54B98345.3060800@unimore.it> ======================================================================== IMPORTANT NOTE: High-quality Coordination-2015 papers will be invited to submit an extended version for a 'fast-track' to the ACM Transactions on Autonomous and Adaptive Systems (ACM-TAAS). ======================================================================== ========================= Call for Papers ============================= COORDINATION 2015 17th IFIP International Conference on Coordination Models and Languages A DisCoTec Member Conference http://discotec2015.inria.fr/ June 2-4, 2015, Grenoble, France ======================================================================= ---------------- Important dates: Abstract Submission: January 23, 2015 (24:00 UTC-11) OPTIONAL Paper Submission: January 23, 2015 (24:00 UTC-11) Author Notification: March 6, 2015 Camera ready copy: March 27, 2015 Early registration: May 5, 2015 Conferences and workshops: June 2-5, 2015 The time of all deadlines is 24:00 SST (UTC-11, Samoa Standard Time). ------ Scope: COORDINATION 2015 is the premier forum for publishing research results and experience reports on software technologies for collaboration and coordination in concurrent, distributed, and complex systems. The key focus of the conference is the quest for high-level abstractions that can capture interaction patterns and mechanisms occurring at all levels of the software architecture, up to the end-user domain. COORDINATION 2015 seeks high-quality contributions on the usage, study, formal analysis, design, and implementation of languages, models, and techniques for coordination in distributed, concurrent, pervasive, and multicore software systems. This edition also additionally seeks to adapt and integrate traditional COORDINATION techniques in the realm of multi-agent systems (MAS), which typically involve more corse-grained (cognitive, intelligent, goal-oriented) components. ------------------------ Main topics of interest: * Programming abstractions and languages * Coordination models and paradigms * Specification and verification * Foundations and types * Distributed middleware architectures * Multicore programming * Coordinated distributed applications * Bio-inspired computing models * Coordination mechanisms for self-adaptation and self-organisation * Teamwork and distributed problem solving * Collective intelligence * Auction and Negotiation * Argumentation, trust, norms and reputation * Coordination mechanisms for rational agents * Coordination middleware for mobile agents * Coordination of federated MASs --------------------------- Submission and publication: Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's codes of conduct). The submissions must not exceed the page number limit (see below), including figures and references, prepared using Springer's LNCS style. Submissions not adhering to the above specified constraints may be rejected without review. Papers should be submitted as PDF or PS via EasyChair: https://www.easychair.org/conferences/?conf=coordination2015. We solicit three kinds of submissions: *Full papers* (up to 16 pages): Describing thorough and complete research results and experience reports. *Short papers* (up to 8 pages): Describing research results that are not fully developed, or even manifestos, calls to action, personal views on the past of Coordination research, on the current state of the art, or on prospects for the years to come. *Posters* (up to 3 pages): Summarising research projects worth being advertised and discussed in a lively fashion at the conference. The conference proceedings, formed by accepted submissions of all three kinds above, will be published by Springer in the LNCS Series. Post-proceedings publication: Relevant, high-quality Coordination-2015 papers will be invited for 'fast-track submissions' to the ACM Transactions on Autonomous and Adaptive Systems (ACM-TAAS). --------------- Invited Speaker Alois Ferscha (Johannes Kepler Universität Linz, Austria) ----------- Oranization Program Chairs Tom Holvoet (KU Leuven, Belgium) Mirko Viroli (University of Bologna, Italy) Publicity Chair Giacomo Cabri (University of Modena and Reggio Emilia, Italy) Programme Committee Gul Agha (University of Illinois at Urbana-Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) Jacob Beal (Raytheon BBN Technologies, USA) Olivier Boissier (Ecole Nationale Supérieure des Mines of Saint-Etienne, France) Ferruccio Damiani (Uniersità di Torino, Italy) Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies, Italy) Ed Durfee (University of Michigan, USA) Schahram Dustdar (Vienna University of Technology, Austria) Gianluigi Ferrari (University of Pisa, Italy) José Luiz Fiadeiro (Royal Holloway University of London, UK) Valérie Issarny (Inria, France) Christine Julien (The University of Texas at Austin, USA) Sarit Kraus (Bar-Ilan University, Israel) Eva Kuhn (TU Wien, Austria) Marino Miculan (Università di Udine, Italy) Hanne Riis Nielson (Technical University of Denmark, Denmark) Andrea Omicini (University of Bologna, Italy) Sascha Ossowski (University Rey Juan Carlos, Spain) Paolo Petta (OFAI - Austria Research Institute for Artificial Intelligence, Austria) Rosario Pugliese (Università degli Studi di Firenze, Italy) Alessandro Ricci (Uniervsità di Bologna, Italy) Juan Antonio Rodriguez Aguilar (IIIA-CSIC, Barcelona) Carles Sierra (IIIA-CSIC, Barcelona) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Emilio Tuosto (University of Leicester, UK) Herbert Wiklicky (Imperial College London, UK) Martin Wirsing (Ludwig-Maximilians-Universität München, Germany) Franco Zambonelli (Università di Modena e Reggio Emilia, Italy) Steering Committee Gul Agha (University of Illinois at Urbana Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) (Chair) Dave Clarke (Uppsala University, Sweden) Tom Holvoet (KU Leuven, Belgium) Jean-Marie Jacquet (University of Namur, Belgium) Christine Julien (The University of Texas at Austin, USA) Eva Kühn (Vienna University of Technology, Austria) Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) Rosario Pugliese (Università di Firenze, Italy) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Vasco T. Vasconcelos (University of Lisbon, Portugal) Gianluigi Zavattaro (University of Bologna, Italy) Mirko Viroli (University of Bologna, Italy) -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Associate Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From announce at cs.ucy.ac.cy Sat Jan 17 13:45:48 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 17 Jan 2015 14:45:48 +0200 Subject: ISCC 2015: Final Call for Papers (Submission Deadline Extension) Message-ID: <0RJYTWTS-XXD-AB6-6R2V-ENX5S8BTVNRY@cs.ucy.ac.cy> *** Final Call for Papers *** The 20th IEEE Symposium on Computers and Communications (ISCC 2015) 6-9 July 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://ieee-iscc.org/2015 *** Submission Deadline Extended: February 16th, 2015 *** ISCC 2015, in its 20th anniversary, will provide an insight into the unique world stemming from the interaction between the fields of computers and communications. ISCC 2015 will provide an international technical forum for experts from industry and academia to exchange ideas and present results of ongoing research in most state-of-the-art areas of computer and communications. This year, special focus will be on the challenging issues and opportunities related to the computing, sensing and communication in the era of the Internet of Things, Cloud Computing and Big Data. You are invited to submit a full paper or a proposal for a panel/invited session or a tutorial, related to the following topics of interest. Topics of interest include, but are not limited to, the following: * ACCESS NETWORKS * DIGITAL MEDIA TECHNOLOGIES * BIOINFORMATICS AND MEDICAL INFORMATICS * MODELING AND SIMULATION * BIG DATA, DATA MINING AND DATABASE * APPLICATIONS * DIGITAL SATELLITE COMMUNICATIONS SERVICE * NETWORK DESIGN, OPTIMIZATION, AND MANAGEMENT * NEXT GENERATION NETWORKS INFRASTRUCTURES AND MANAGEMENT * DISTRIBUTED SYSTEMS ARCHITECTURE AND MANAGEMENT * NETWORK RELIABILITY, QUALITY OF SER-VICE AND QUALITY OF EXPERIENCE * ECONOMIC AND REGULATORY ISSUES * OPTICAL NETWORKING * E-COMMERCE AND E-SERVICES * FAULT-TOLERANCE AND ERROR RECOVERY * PEER-TO-PEER COMPUTING * REAL TIME COMMUNICATION SERVICES * GRID, CLUSTER AND CLOUD COMPUTING * ROUTING AND MULTICAST * HUMAN LANGUAGE TECHNOLOGIES * IMAGE PROCESSING AND VISUALIZATION * SECURITY, CRYPTOGRAPHY AND PRIVACY * SOFTWARE ENGINEERING * INTERNET SERVICES AND APPLICATIONS * STANDARDS EVOLUTION * ADVANCES IN INTERNET PROTOCOLS * MANAGEMENT OF TELECOMMUNICATIONS AND NETWORKS * COGNITIVE RADIO NETWORKING * SENSOR NETWORKS AND MOBILE SENSING * DISTRIBUTED AND MOBILE MIDDLEWARE * OVERLAY AND PROGRAMMABLE NETWORKS * WEB SERVICES AND SERVICE ORIENTED ARCHITECTURES * WIRELESS, CELLULAR AND MOBILE COMMUNICATIONS * GREEN NETWORKING AND SMART GRID * CLOUD COMPUTING * INTERNET OF THE FUTURE * BIO-INSPIRED COMPUTING IN COMMUNICATIONS * COMMUNICATIONS SERVICES AND MANAGEMENT * INTERNET OF THINGS AND SMART CITIES * ARTIFICIAL INTELLIGENT SYSTEMS * SOCIAL NETWORKS AND CROWDSOURCING * SERVICES AND SUPPORT FOR SMART CITIES * WIRELESS BODY AREA NETWORKS AND WIRELESS HEALTH Review manuscripts should describe original work and should be no more than 8 pages in the IEEE double column proceedings format including tables, figures and references. Note that accepted papers up to 6 pages will be published with no additional charge. Exceeding pages will be charged an additional fee. Extended versions of selected best papers will be recommended for publication in a special Issue of a prestigious international journal. Papers must be submitted electronically, in PDF format, on-line via the EDAS system: http://edas.info/N18819 Paper Submission Deadline: February 16th, 2015 (extended) Notification of Paper Acceptance: March 27th, 2015 Submission of Camera-Ready Paper: April 17th, 2015 General Co-Chairs Andreas Pitsillides, University of Cyprus, Cyprus Mahmoud Daneshmand, Stevens Institute of Technology, USA Technical Program Co-Chairs Vasos Vassiliou, University of Cyprus, Cyprus Honggang Wang, University of Massachusetts, Dartmouth, USA Local Arrangement Co-Chairs George Pallis, University of Cyprus, Cyprus George Papadopoulos, University of Cyprus, Cyprus Finance and Registration Co-Chairs Reda Ammar, University of Connecticut, USA Christos Douligeris, University of Piraeus, Greece Publication Co-Chairs Josephine Antoniou, University of Central Lancanshire, Cyprus Nicos Komninos, City University London, UK Keynote Speakers Co-Chairs Panayiotis Kolios, University of Cyprus, Cyprus Marios Lestas, Frederick University, Cyprus Workshop Co-Chairs Periklis Chatzimisios, Alexander Technological Educational Institute of Thessaloniki, Greece Andreas Kamilaris, University of Cyprus, Cyprus Massimo Villari, University of Messina, Italy Publicity Co-Chairs Habib M. Ammari, Univ. of Michigan-Dearborn, USA Chrysostomos Chrysostomou, Frederick University, Cyprus Mario Dantas, Universidade Federal de Santa Catarina, Brazil Salil Kanhere, University of New South Wales, Australia Ahmet Sekercioglu, Monash University, Australia Qing Yang, Montana State University, USA Steering Committee Reda Ammar, University of Connecticut, USA Antonio Corradi, University of Bologna, Italy Mahmoud Daneshmand, Stevens Institute of Technology, USA Christos Douligeris, Univ. of Piraeus, Greece Adel S. Elmaghraby, Univ. of Louisville, USA Hussein Mouftah, University of Ottawa, Canada Sartaj Sahni, University of Florida, USA Ahmed Tantawy, IBM, USA -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sat Jan 17 16:19:42 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 17 Jan 2015 16:19:42 +0100 Subject: BigDat 2015: early registration deadline 23 January Message-ID: <4BB3A265CA06436EA41BDB755B7A6ADD@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************** INTERNATIONAL WINTER SCHOOL ON BIG DATA BigDat 2015 Tarragona, Spain January 26-30, 2015 Organized by Rovira i Virgili University http://grammars.grlmc.com/bigdat2015/ ***************************************************** --- Early registration deadline: January 23, 2015 --- ***************************************************** AIM: BigDat 2015 is a research training event for graduates and postgraduates in the first steps of their academic career. It aims at updating them about the most recent developments in the fast developing area of big data, which covers a large spectrum of current exciting research, development and 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. All 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, 22 six-hour courses, and 1 round table, which will tackle the most lively and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. ADDRESSED TO: Graduate 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 required for some of them. BigDat 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 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 2015 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Ian Foster (Argonne National Laboratory), Taming Big Data: Accelerating Discovery via Outsourcing and Automation Geoffrey C. Fox (Indiana University, Bloomington), Mapping Big Data Applications to Clouds and HPC C. Lee Giles (Pennsylvania State University, University Park), Scholarly Big Data: Information Extraction and Data Mining William D. Gropp (University of Illinois, Urbana-Champaign), Using MPI I/O for Big Data COURSES AND PROFESSORS: Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Diego Calvanese (Free University of Bozen-Bolzano), [introductory/intermediate] End-User Access to Big Data Using Ontologies Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Programming with Big Data Edward Y. Chang (HTC Corporation, New Taipei City), [introductory/advanced] Big Data Analytics: Architectures, Algorithms, and Applications Ernesto Damiani (University of Milan), [introductory/intermediate] Process Discovery and Predictive Decision Making from Big Data Sets and Streams Gautam Das (University of Texas, Arlington), [intermediate/advanced] Mining Deep Web Repositories Maarten de Rijke (University of Amsterdam), tba Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Using Software Defined Systems to Address Big Data Problems Minos Garofalakis (Technical University of Crete, Chania) [intermediate/advanced], Querying Continuous Data Streams Vasant G. Honavar (Pennsylvania State University, University Park) [introductory/intermediate], Learning Predictive Models from Big Data Tao Li (Florida International University, Miami), [introductory/intermediate] Data Mining Techniques to Understand Textual Data Kwan-Liu Ma (University of California, Davis), [intermediate] Big Data Visualization Christoph Meinel (Hasso Plattner Institute, Potsdam), [introductory/intermediate] New Computing Power by In-Memory and Multicore to Tackle Big Data Manish Parashar (Rutgers University, Piscataway), [intermediate] Big Data Challenges in Simulation-based Science Srinivasan Parthasarathy (Ohio State University, Columbus), [intermediate] Scalable Data Analysis Evaggelia Pitoura (University of Ioannina), [introductory/intermediate] Online Social Networks Vijay V. Raghavan (University of Louisiana, Lafayette), [introductory/intermediate] Visual Analytics of Time-evolving Large-scale Graphs Pierangela Samarati (University of Milan), [intermediate], Data Security and Privacy in the Cloud Peter Sanders (Karlsruhe Institute of Technology), [introductory/intermediate] Algorithm Engineering for Large Data Sets Johan Suykens (KU Leuven), [introductory/intermediate] Fixed-size Kernel Models for Big Data Domenico Talia (University of Calabria, Rende), [intermediate] Scalable Data Mining on Parallel, Distributed and Cloud Computing Systems Jieping Ye (Arizona State University, Tempe), [introductory/advanced] Large-Scale Sparse Learning and Low Rank Modeling ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2015/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: As far as possible, participants are expected to stay full-time. 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 are available on the webpage. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: BigDat 2015 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com From mpavone at dmi.unict.it Sat Jan 17 16:25:36 2015 From: mpavone at dmi.unict.it (Mario Pavone) Date: Sat, 17 Jan 2015 16:25:36 +0100 Subject: AIS 2015 special issues in BMC Immunology & EAAI; 2 Keynote Speakers - 17-18 July 2015 Taormina, Italy Message-ID: <20150117162536.Horde.jIRnMOph4B9Uun7wFktixJA@mbox.dmi.unict.it> CALL FOR PAPERS, ABSTRACTS, ORAL/POSTER PRESENTATIONS ** Apologies for cross-posting ** ** Please forward to anybody who might be interested. ** International Workshop on Artificial Immune Systems - Systems & Synthetic Immunology, Computational Immunology & Immune-Inspired Engineering - July 17-18, 2015 - Taormina, Italy http://www.dmi.unict.it/ais2015/ ais2015 at ieee-cis-ais.org *** The submission system with IEEE proceeding is now open: https://easychair.org/conferences/?conf=ais2015 *** You are invited to submit papers to this exciting event! *** *** The future seen together by Immunologists & Modelers! *** -- **** PLENARY SPEAKERS: http://www.dmi.unict.it/ais2015/plenary.html Alessandro SETTE, La Jolla Institute for Allergy & Immunology, La Jolla, USA Hugues BERSINI, IRIDIA, Université Libre de Bruxelles, Belgium **** SUBMISSION DEADLINE: 18th February 2015 http://www.dmi.unict.it/ais2015/dates.html **** POST-PROCEEDINGS in IEEE Press, http://www.dmi.unict.it/ais2015/calls.html **** Special issue in: BMC IMMUNOLOGY & ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE ** Paper Submission ** AIS 2015 includes three different types of submission: 1) *regular paper*: 8-pages maximum length, including figures, table & references. It should report on new and unpublished work; 2) *abstract*: no more than 2 pages length; 3) *Oral/Poster presentations* without IEEE Proceeding: no pages restriction. It should discuss works in progress; new research ideas; works previously published elsewhere (it is essential that a reference to the previous article is clearly cited); and all that may be relevant and fruitful for soliciting discussions at the workshop. All the submitted papers must be formatted using IEEE style (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). Note that the format is exactly the same for all options. ** Venue & Accommodation ** The conference will be held in Taormina http://www.dmi.unict.it/ais2015/location.html All information may be found at the following links: http://www.dmi.unict.it/ais2015/venue.html http://www.dmi.unict.it/ais2015/accommodation.html ----- http://www.dmi.unict.it/ais2015/ ais2015 at ieee-cis-ais.org Submission System with Proceedings https://easychair.org/conferences/?conf=ais2015 Looking forward to welcoming you to Taormina in July 2015. Carlos A. Coello Coello, Vincenzo Cutello, Doheon Lee, and Mario Pavone. -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383038 fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone/ =========================================================================== SSBSS 2015 - International Synthetic & Systems Biology Summer School * Biology meets Engineering and Computer Science * July 5-9, 2015 - Taormina, Italy http://www.taosciences.it/ssbss2015/ =========================================================================== AIS 2015 - International Workshop on Artificial Immune Systems * Systems & Synthetic Immunology, Computational Immunology, Immune-Inspired Engineering * July 17-18, 2015 - Taormina, Italy http://www.dmi.unict.it/ais2015/ =========================================================================== MOD 2015 - International Workshop on Machine Learning, Optimization & big Data July 21-24, 2015 - Taormina, Italy http://www.taosciences.it/mod-2015/ =========================================================================== 12th European Conference on Artificial Life - ECAL 2013 September 2-6, 2013 - Taormina, Italy http://mitpress.mit.edu/books/advances-artificial-life-ecal-2013 =========================================================================== From announce at cs.ucy.ac.cy Sun Jan 18 14:17:57 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 18 Jan 2015 15:17:57 +0200 Subject: WIMS 2015: Second Call for Papers Message-ID: *** Second Call for Papers *** 5th International Conference on Web Intelligence, Mining and Semantics WIMS 2015 July 13-15, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/wims2015/ Conference Purpose and Scope WIMS is a series of peer-reviewed International Computer Science conferences. It is a forum for researchers and practitioners to present their state-of-the-art results in building Intelligent Web, to examine performance characteristics of various approaches in Web-based intelligent information technology, and to cross-fertilize their ideas on the development of Web -based intelligent information management solutions across different domains. The purpose of the WIMS series is to: * Provide a forum for established researchers and practitioners to present their contributions to the state of the art research and development in Web technology and applications. * Give doctoral students an opportunity to present their research to a friendly and knowledgeable audience and receive valuable feedback. * Provide an informal social event where Web technology researchers and practitioners can meet. WIMS traditionally hosts a small number of short tutorials on the topics related to the scope of the conference series. The role of a WIMS tutorial is to be a theme-oriented comprehensive survey. The call for WIMS 2015 tutorials is published separately. WIMS also offers its infrastructure and facilities for the organizers of satellite workshops that complement the scope of the conference. The call for WIMS 2015 workshops is also published separately. Companies or individuals interested in presenting their industrial products or methodologies are invited to contact the conference chairs. Conference Scope WIMS solicits regular and work-in-progress research, discussion papers and industry experience report papers in related fields. Papers exploring new directions or areas are also welcome. In particular but not exclusively the submissions within the following areas are relevant: * Scalable Web and Data Architectures and Infrastructures - Crawling, caching and querying Linked (Semantic) Data - Dataset dynamics and synchronization - Big Data computing - User Interfaces and visualization for the Web of (Linked Semantic) Data at scale - Indexing and information extraction from the (Semantic) Deep Web - 3D media and content - Sensing Web and the Web of Things - Web-based Health- and Bio- Information Systems - Web security, integrity, privacy, and trust - Nature-inspired models and approaches in Web and data processing infrastructures * Web Intelligence (WI) - Semantic Agent Systems for WI - Advanced Interaction and Communication Paradigms with WI - Natural Language / Ontology-/Taxonomy-based / Hybrid Interfaces - Intelligence for Visualizing (Linked Semantic) Web Data at scale - Intelligence for Big Data Analytics - Ubiquitous Intelligence and the Internet of Things - WI in Social Media - WI in Human Computation and Social Games - Opinion Mining / Sentiment Analysis on the Social Web - Social Monetization and Computational Advertising - Visualising social network data - WI for services, grids, and middleware - Nature-inspired Models and approaches for WI * Web Mining, Information and Knowledge Extraction - Text, data stream, web and multimedia content mining - Contextualization and clustering in web mining and information extraction - Knowledge extraction and ontology learning from the Web - Linked Data mining - Information Extraction and Knowledge Discovery from Big Data - Mining and Information Extraction from the Deep Web - Semantic Deep Web data fusion * Web Semantics and Reasoning - Knowledge Representation for the Web - Ontology specification: expressivity versus usability - Ontologies and Linked Semantic Data - Development and re-use of ontologies for the Web - Crowdsourcing for ontology engineering and management on the Social Web - Lifecycle, management, and evolution of Web ontologies - Ontology merging and alignment - Rule markup languages and systems - Semantic annotation - Reasoning: scalability, expressivity, incompleteness, vagueness, and/or uncertainty * WIMS Applications - Web applications of semantic agent systems - Semantics-driven information retrieval - Semantic search - Intelligent e-Technology and the Semantic Web - Intelligence and semantics for business information management and integration - Intelligence and semantic technologies in Digital Media - Semantic technologies in e-Business, e-Commerce, e-Finance, e-Health, e-Science, e-Government, e-Learning - WI for multimedia, sensors, and situational awareness - WI for software and systems engineering - Quality of Life Technology for Web Access - Nature-inspired models and approaches in WIMS applications * Evaluation and Validation of WIMS Technologies and Applications - Evaluation and validation Methodologies - Datasets and Benchmarks for cross-evaluations and competitions - Evaluation and validation Infrastructures - Evaluation and validation metrics (e.g. fitness, quality, completeness, correctness, etc.) Submission Guidelines Four types of submissions are solicited for the main conference: i. Regular research papers ii. Short research papers iii. Case Studies and Applications papers iv. Posters The papers in all the categories should describe original results that have not been accepted or submitted for publication elsewhere. All submissions will be evaluated by at least three members of the international program committee. Regular Research Papers The papers in this category are the reports on accomplished research work or in-depth discussions and analysis of a certain problem. The first type of papers can present a novel method, technique or analysis with appropriate empirical or other type of evaluation as a proof of validity. The main evaluation criteria for this category are originality, technical soundness, and the soundness of evaluation. For the second type within the genre we expect receiving reasonable overviews placing a problem onto the state-of-the-art landscape and analyzing how far current solutions fall short. We also expect in-depth discussions and analysis of a certain problem, with clear definitions and argumentation in terms of qualitative or quantitative representation of the main characteristics of the problem. Page limit: 12 ACM pages Short Research Papers The papers in this category are the short reports of the preliminary results or describing the work in progress. The main evaluation criteria for this category are originality, technical correctness, and possible value of the planned results in a short to mid-term perspective. Short papers can be also presented in a form of a poster. Page limit: 6 ACM pages Case Studies and Applications Papers The papers in this category describe case studies of deployed applications, lessons learnt, and examples of measurable benefits. This category also includes papers that reports innovative applications of WIMS in areas of industry and government, as well as industrial experience and demonstrations of innovative systems. Page limit: 12 ACM pages Posters WIMS poster track is a venue for late-breaking results, ongoing research activities, and speculative or innovative work in progress. This track is intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Posters provide authors with a unique opportunity to draw attention to their work during the conference. Page limit: 4 ACM pages Submissions should be made electronically in PDF or DOC/DOCX (MS/Open Word) format via the electronic submission system of the WIMS2015 Conference Management system at: https://www.easychair.org/conferences/?conf=wims15 Publication Accepted papers/tutorials/posters will be published by ACM and disseminated through the ACM Digital Library through the International Conference Proceedings Series (ICPS). Important Dates 24.03.2015 Submission of papers/posters 27.04.2015 Notification of acceptance for papers/posters 11.05.2015 Camera ready versions of the accepted papers, posters, tutorial papers 30.05.2015 Author registration deadline 13-15.07.2015 Conference All the above deadlines are 23:59 Hawaii Time. WIMS Conferences Chair Rajendra Akerkar, Western Norway Research Institute, Norway General Chair Marios D. Dikaiakos, University of Cyprus, Cyprus Program Committee Co-Chairs Achilleas P. Achilleos, University of Cyprus, Cyprus Tope Omitola, University of Southampton, United Kingdom Advisory Committee Grigoris Antoniou, University of Huddersfield, UK Harold Boley, Faculty of Computer Science, University of New Brunswick, Fredericton, Canada James Hendler, Rensselaer Polytechnic Institute, Troy, NY, USA Guus Schreiber, VU University, Amsterdam, the Netherlands Amit Sheth, Ohio Center of Excellence on Knowledge-enabled Computing, Ohio, USA Industrial Track Chair John Davies, BT Research & Innovation, UK Publicity Chair Christos Mettouris, University of Cyprus, Cyprus Local Organization Chair George A. Papadopoulos, University of Cyprus, Cyprus Web Chair Kyriakos Georgiadis, EasyConferences LTD, Cyprus The proceedings of the previous WIMS conferences are available at: - WIMS2011: https://dl.acm.org/citation.cfm?id=1988688 - WIMS?2012: https://dl.acm.org/citation.cfm?id=2254129 - WIMS?2013: https://dl.acm.org/citation.cfm?id=2479787 - WIMS?2014: https://dl.acm.org/citation.cfm?id=2611040 Look for updates and more details at: http://cyprusconferences.org/wims2015/ http://www.linkedin.com/groups?gid=3933343 https://www.facebook.com/groups/WIMSCon/ https://twitter.com/wims2015 -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From public_conf at 163.com Tue Jan 20 03:47:46 2015 From: public_conf at 163.com (Conference Notification) Date: Tue, 20 Jan 2015 10:47:46 +0800 (CST) Subject: ICWE 2015 CALL FOR PAPERS Message-ID: <232522f.1af16.14b053d1db5.Coremail.public_conf@163.com> ICWE 2015 CALL FOR PAPERS 15th International Conference on Web Engineering Rotterdam, the Netherlands | June 23-26, 2015 http://icwe2015.webengineering.org/ IMPORTANT DATES * Abstract submission: February 05, 2015 (23h59 Hawaii Time) * Full paper submission: February 12, 2015 (23h59 Hawaii Time) * Paper notification: March 20, 2015 (23h59 Hawaii Time) * Camera-ready paper: April 10, 2015 (23h59 Hawaii Time) ICWE 2015 AT A GLANCE ICWE aims to bring together researchers and practitioners from various disciplines in academia and industry to tackle the emerging challenges in the engineering of Web applications and in the problems of its associated technologies, as well as the impact of those technologies on society and culture. The 15th edition of ICWE will be organized in thematic tracks, each focusing on a different dimension of Web applications - Web application modeling and engineering, mobile Web applications, social Web applications, Semantic Web applications, quality and accessibility aspects of Web applications, Web composition and mashups, Web user interfaces, and security and privacy in Web applications. In addition to the research tracks, ICWE 2015 also seeks contributions of demos and posters, student papers to the PhD Symposium, tutorials, and workshops, which are the subject of individual calls for papers. The conference will be held at the World Trade Center in Rotterdam, the Netherlands. Rotterdam is the second largest city in the Netherlands, one of the largest seaports worldwide, and host to several leading universities. Further information can be found at http://icwe2015.webengineering.org/. ORGANIZATION General Chair: Flavius Frasincar, Erasmus University Rotterdam, Rotterdam, the Netherlands Contact: generalchair.icwe2015 at webengineering.org Vice-General Chair: Geert-Jan Houben, Delft University of Technology, Delft, the Netherlands Contact: generalchair.icwe2015 at webengineering.org Program Co-Chairs: Philipp Cimiano, Bielefeld University, Bielefeld, Germany Daniel Schwabe, Pontifical Catholic University, Rio de Janeiro, Brazil Contact: pcchair.icwe2015 at webengineering.org Other members of the organization, including the Program Committee, can be found at http://icwe2015.webengineering.org/organization/ SUBMISSIONS INFORMATION This call addresses research contributions in one of the following categories: * Full research papers: mature, original research contribution. Reported results should be supported by some type of validation, and also include a justification about the choice/suitability of the validation method. In addition, evidence of use in practice and/or demonstration of scalability is regarded as a plus. (max. 18 pages) * Position papers: short papers presenting a discussion, analysis, criticism, proposal, etc., about relevant aspects of Web engineering topics. These papers are intended to generate discussions that promise potential for research that will impact Web engineering in the coming years. (max. 10 pages) Papers must be formatted according to the information for Springer LNCS authors at http://www.springer.de/comp/lncs/authors.html and submitted in PDF. Accepted contributions will be included into the ICWE 2015 Springer LNCS proceedings. The best papers will be selected to be proposed, in extended form, as part of a special issue of the Journal of Web Engineering. Submissions and reviewing are supported by the EasyChair system at https://easychair.org/conferences/?conf=icwe2015 ICWE 2015 RESEARCH TRACKS * Web application modeling and engineering (Co-Chairs: Oscar Pastor, Marco Winckler) * Mobile Web applications (Co-Chairs: In-Young Ko, Volker Gruhn) * Social Web applications (Co-Chairs: Alessandro Bozzon, Sven Casteleyn) * Semantic Web applications (Co-Chairs: Sören Auer, Heiko Paulheim) * Quality and accessibility aspects of Web applications (Co-Chairs: Luis Olsina, Markel Vigo) * Web applications composition and mashups (Co-Chairs: Cinzia Cappiello, Cesare Pautasso) * Web user interfaces (Co-Chairs: Ali Mesbah, Fabio Paternó) * Security and privacy in Web applications (Co-Chairs: Martin Gaedke, Christian Hammer) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabio.zanasi at ens-lyon.fr Tue Jan 20 19:53:02 2015 From: fabio.zanasi at ens-lyon.fr (Fabio Zanasi) Date: Tue, 20 Jan 2015 18:53:02 +0000 Subject: CALCO 2015: Second Call for Papers Message-ID: <047d7b15a4edc8b67b050d19f2eb@google.com> ======================================================== CALL FOR PAPERS: CALCO 2015 6th International Conference on Algebra and Coalgebra in Computer Science June 24 - 26, 2015 Nijmegen, Netherlands http://coalg.org/calco15/ ========================================================= Abstract submission: March 22, 2015 Paper submission: April 2, 2015 Author notification: May 6, 2015 Final version due: June 3, 2015 ========================================================= -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011) and Warsaw (Poland, 2013). The sixth edition will be held in Nijmegen, the Netherlands, colocated with MFPS XXXI. -- INVITED SPEAKERS -- Andy Pitts - University of Cambridge, UK (joint with MFPS) Chris Heunen - University of Oxford, UK Matteo Mio - CNRS, ENS Lyon, FR Daniela Petrisan - Radboud University, Nijmegen, NL -- TOPICS OF INTEREST -- We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in topics included or related to those listed below. * Abstract models and logics - Automata and languages - Categorical semantics - Modal logics - Relational systems - Graph transformation - Term rewriting * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Calculi and models of concurrent, distributed, mobile, and context-aware computing - General systems theory and computational models (chemical, biological, etc.) * Algebraic and coalgebraic semantics - Abstract data types - Inductive and coinductive methods - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification - Formal testing and quality assurance - Validation and verification - Generative programming and model-driven development - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra * Corecursion in Programming Languages - Corecursion in logic / constraint / functional / answer set programming - Corecursive type inference - Coinductive methods for proving program properties - Implementing corecursion - Applications * Algebra and Coalgebra in quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra -- NEW TOPIC -- This edition of CALCO will feature a new topic, and submission of papers in this area is particularly encouraged. * String Diagrams and Network Theory - Combinatorial approaches - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams - Connections with Control Theory, Engineering and Concurrency -- SUBMISSION GUIDELINES -- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners. Starting with CALCO 2015, proceedings will be published in the Dagstuhl LIPIcs-Leibniz International Proceedings in Informatics series. Final papers should be no more than 15 pages long in the format specified by LIPIcs (http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/). It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their respective submission deadlines. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org), containing extended versions of selected papers, is also being planned. Submissions will be handled via EasyChair https://www.easychair.org/conferences/?conf=calco2015 -- BEST PAPER AND BEST PRESENTATION AWARDS -- Following from the successful trial at CALCO 2013, this edition of CALCO will feature two awards: a best paper award whose recipients will be selected by the PC before the conference and a best presentation award, elected by the participants. -- IMPORTANT DATES -- Abstract submission: March 22, 2015 Paper submission: April 2, 2015 Author notification: May 6, 2015 Final version due: June 3, 2015 -- PROGRAMME COMMITTEE -- Samson Abramsky, University of Oxford, UK Andrej Bauer, University of Ljubljana, SLO Filippo Bonchi, CNRS and ENS Lyon, FR Corina Cirstea, University of Southampton, UK Andrea Corradini, University of Pisa, IT Ross Duncan, University of Strathclyde, UK Martín Escardó, University of Birmingham, UK Dan Ghica, University of Birmingham, UK Helle Hansen, Radboud University Nijmegen and CWI, NL Ichiro Hasuo, University of Tokyo, JP Bart Jacobs, Radboud University Nijmegen, NL Bartek Klin, University of Warsaw, PL Barbara König, University of Duisburg-Essen, D Dexter Kozen, Cornell, US Alexander Kurz, University of Leicester, UK Paul-André Melliès, CNRS and University Paris VII, FR Stefan Milus, University of Erlangen-Nürnberg, D Larry Moss (co-chair), Indiana University, US Dusko Pavlovic, University of Hawaii, US Daniela Petrisan, ENS Lyon, FR Damien Pous, ENS Lyon, FR John Power, University of Bath, UK Jan Rutten, Radboud University Nijmegen and CWI, NL Lutz Schroeder, University of Erlangen-Nuernberg, D Monika Seisenberger, University of Swansea, UK Alexandra Silva, Radboud University Nijmegen, NL Pawel Sobocinski (co-chair), University of Southampton, UK Ana Sokolova, University of Salzburg, AT Andrzej Tarlecki, University of Warsaw, PL -- ORGANISING COMMITTEE -- Alexandra Silva Bart Jacobs Nicole Messink Sam Staton -- PUBLICITY -- Fabio Zanasi -- LOCATION -- Nijmegen is the oldest city in the Netherlands and celebrated its 2,000th year of existence in 2005. It is situated in the eastern province of Gelderland, quite near to the German border. The latin name for Nijmegen, `Noviomagus´, is a reminder of its Roman past. `Noviomagus´ means `new market´ and refers to the right to hold a market as granted by the Romans. In the days of Charlemagne, the city was called `Numaga´; later on, this became `Nieumeghen´ and `Nimmegen´. However, citizens born and bred in Nijmegen speak affectionately of `Nimwegen´. Nijmegen is one of the warmest cities of the Netherlands, especially during summer, when the highest temperatures in the country are usually measured in the triangle Roermond - Nijmegen - Eindhoven. The lack of north-south oriented mountain ranges in Europe make this area prone to sudden shifts in weather, giving the region a semi-continental climate. -- SATELLITE WORKSHOPS -- The workshop is intended to enable presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute. CALCO 2015 will run together with the CALCO Early Ideas Workshop, with dedicated Early Ideas sessions at the end of each conference day. -- CALCO Early Ideas Overview -- The CALCO Early Ideas Workshop invites submissions on the same topics as the CALCO conference: reporting results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. The list of topics of particular interest is shown on the main CALCO 2015 page. CALCO Early Ideas presentations will be selected according to originality, significance, and general interest, on the basis of submitted 2-page short contributions. It can be work in progress, a summary of work submitted to a conference or workshop elsewhere, or work that in some other way might be interesting to the CALCO audience. A booklet with the accepted short contributions will be made available. We encourage PhD students and young researchers to submit Early Ideas papers to the CALCO 2015 Easychair site as for ordinary submissions, mentioning in the abstract that the paper is to be considered for an Early Ideas talk. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From w.w.vasconcelos at abdn.ac.uk Wed Jan 21 10:20:22 2015 From: w.w.vasconcelos at abdn.ac.uk (Vasconcelos, Dr Wamberto W. M. P. D.) Date: Wed, 21 Jan 2015 09:20:22 +0000 Subject: CFP: Platforms for Social Computing (PSC@IJCAI 2015) Message-ID: [apologies for cross-posting] Call for papers: International Workshop on Platforms for Social Computing, co-located with IJCAI 2015 (Buenos Aires, Argentina). Authors are invited to submit articles presenting ongoing efforts to build platforms for social computing, as well as to build social machines employing existing platforms. Topics of interest include: - Descriptions of platforms for social computing, in every stage of their lifecycles (i.e. from design specifications to actual implementations). - Discussions of relevant issues related to social computing, including economical, ethical and philosophical issues, as well as engineering issues related to computational complexity and ergonomics of social computing platforms. - Discussions of potential and actual applications of social computing in all sorts of relevant scenarios. More details at https://ijcai2015psc.wordpress.com/ Important dates April 27th - article submission (submission details will be available soon). May 20th - acceptance notification. May 30th - deadline for final camera ready submission. On behalf of the co-chairs, Wamberto Vasconcelos Computing Science -- University of Aberdeen -- UK http://www.abdn.ac.uk/ncs/profiles/w.w.vasconcelos/ email: w.w.vasconcelos at abdn.ac.uk The University of Aberdeen is a charity registered in Scotland, No SC013683. Tha Oilthigh Obar Dheathain na charthannas cl?raichte ann an Alba, ?ir. SC013683. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From villaret at ima.udg.edu Wed Jan 21 15:35:39 2015 From: villaret at ima.udg.edu (Mateu Villaret) Date: Wed, 21 Jan 2015 15:35:39 +0100 Subject: CFP: UNIF 2015 Message-ID: <54BFB93B.7010005@ima.udg.edu> ========================================================== Call for Papers UNIF 2015 The 29th International Workshop on Unification June 28, 2015. Warsaw, Poland http://rdp15.mimuw.edu.pl/index.php?site=unif ********* part of the Federated Conference on Rewriting, Deduction, and Programming (RDP'15) ========================================================== UNIF 2015 is the 29th event in a series of international meetings devoted to unification theory and its applications. Unification is concerned with the problem of identifying terms, finding solutions for equations, or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. The International Workshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fields to meet old and new colleagues, to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the current state of the art in unification theory. Topics of Interest ------------------ A non-exhaustive list of topics of interest include: - Unification algorithms, calculi and implementations - Equational unification and unification modulo theories - Unification in modal, temporal and description logics - Admissibility of inference rules - Narrowing - Matching algorithms - Constraint solving - Combination problems - Disunification - Higher-Order unification - Type checking and reconstruction - Typed unification - Complexity issues - Query answering - Implementation techniques - Applications of unification - Antiunification/Generalization Submission ---------- Following the tradition of UNIF, we call for submissions of abstracts (5 pages) in EasyChair style, to be submitted electronically as PDF files through the EasyChair submission site: https://easychair.org/conferences/?conf=unif2015 Abstracts will be evaluated by the Programme Committee (if necessary with support from external reviewers) regarding their significance for the workshop. Accepted abstracts will be presented at the workshop and included in the informal proceedings of the workshop, available in printed form at the workshop and in electronic form from the UNIF homepage: http://www.pps.jussieu.fr/~treinen/unif/ Based on the number and quality of submissions we will decide whether to organize a special journal issue. Important Dates --------------- * Paper Submission: May 3, 2015 * Notification of Acceptance: May 31, 2015 * Final version: June 7, 2015 * Conference: June 28, 2015 Programme Committee ------------------- * Franz Baader, TU Dresden, Germany * Santiago Escobar, Universitat Politecnica de Valencia, Spain (co-chair) * Adria Gascon, SRI international, USA * Silvio Ghilardi, Universita di Milano, Italy * Artur Jez, MPI, Germany * Temur Kutsia, RISC, Johannes Kepler University Linz, Austria * Jordi Levy, IIIA-CSIC, Spain * Christopher Lynch, Clarkson University, USA * George Metcalfe, University of Bern, Switzerland * Paliath Narendran, University at Albany-SUNY, USA * Jan Otop, IST, Austria * Christophe Ringeissen, LORIA-INRIA Lorraine, France * Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany * Mateu Villaret, Universitat de Girona, Spain (co-chair) For more information, please contact any of the two chairs Santiago Escobar or Mateu Villaret. From andrea at dcs.bbk.ac.uk Thu Jan 22 00:12:43 2015 From: andrea at dcs.bbk.ac.uk (Andrea Cali) Date: Wed, 21 Jan 2015 23:12:43 +0000 Subject: Reminder -- AMW 2015 submission deadline Message-ID: Call for Papers The 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015) http://dcc.uchile.cl/amw2015 The Alberto Mendelzon International Workshop on Foundations of Data Management is an event held yearly in Latin America, to honor the memory of Alberto Mendelzon, who greatly contributed to the Latin American scientific community. The Mendelzon Workshop is intended to promote research in Latin America; however, it is an international venue that welcomes submissions and participants from anywhere. The workshop especially encourages the participation of Latin American and international graduate students and young researchers, and includes the AMW 2015 School tailored to them. AMW will be held in 2015 in Lima, Peru. Previous editions took place in Cartagena de Indias, Colombia (2014); Puebla, Mexico (2013); Ouro Preto, Brazil (2012); Santiago, Chile (2011); Buenos Aires, Argentina (2010); Arequipa, Peru (2009); Punta del Este, Uruguay (2007); Laguna San Rafael, Chile (2006). We solicit submissions in the following areas of data management, but not limited to them. Logic and databases; data integration; incompleteness and inconsistency in databases; data exchange; model theory and databases; conceptual modeling; integrity constraints (dependencies) in databases; knowledge bases; constraint databases; data mining; data modeling; web data management; data streams; data warehousing; query processing and optimisation; distributed and parallel databases; information retrieval; multimedia databases; ontology-based data management; physical design; data privacy and security; data provenance; query languages; real-time data; semantic web; semi-structured data; sensor data; web services; spatial data; temporal data; transaction management; probabilistic databases; fuzzy data management; and Web mining. Papers addressing foundational aspects are particularly welcome. However, we also encourage the submission of papers (especially short papers; see submission instructions below) that illustrate applications of foundational results in real-world contexts. =========================== SUBMISSION INSTRUCTIONS =========================== We invite two types of submissions. (a) Extended abstracts of up to 10 pages, presenting original research. These papers are intended to be published in the WS CEUR proceedings (http://ceur-ws.org). (b) Short papers of up to 4 pages that may contain either original ongoing research or recently published results. Papers have to be formatted according to the LNCS Springer style for Lecture Notes in Computer Science (available at http://www.springer.de/comp/lncs/authors.html) and submitted electronically via EasyChair in PDF format: http://www.easychair.org/conferences/?conf=amw2015. The submissions will be judged by the Program Committee for scientific quality and relevance. At least one author of each accepted paper must attend the workshop to present the work. =========================== IMPORTANT DATES =========================== Paper submission: 8th February, 2015 Notification of acceptance: 15th March, 2015 Camera ready copy due: 15th April, 2015 Workshop dates: 5th - 8th May, 2015 =========================== ORGANIZATION =========================== GENERAL CHAIR Pablo Barceló (Universidad de Chile, Chile) PROGRAM COMMITTEE CHAIRS Andrea Cali (Birkbeck, University of London, UK) Maria-Esther Vidal (Universidad Simon Bolivar, Venezuela) AMW SCHOOL CHAIRS Aidan Hogan (Universidad de Chile) Domagoj Vrgoč (Pontificia Universidad Catolica de Chile) STEERING COMMITTEE Ricardo Baeza-Yates (Yahoo Research, Spain) Pablo Barcelo (Universidad de Chile) Leopoldo Bertossi (Carleton University, Canada) Mariano Consens (University of Toronto, Canada) Alberto H. F. Laender (Universidade Federal de Minas Gerais, Brazil) Jorge Pérez (Universidad de Chile) LOCAL ORGANIZATION CHAIRS Hugo Vega (Universidad Nacional mayor de San Marcos, Universidad Ricardo Palma) Oscar Benito Pacheco (Universidad Nacional mayor de San Marcos, Universidad Ricardo Palma). =========================== PROGRAM COMMITTEE =========================== Cristina Dutra De Aguiar Ciferri (Universidade de Sao Paulo, Brazil) Oscar Corcho (Universidad Politecnica de Madrid, Spain) Isabel Cruz (University of Ilinnois at Chicago, USA) Amelie Gheerbrant (University of Paris VII Denis Diderot, France) Parke Godfrey (York University, Canada) Sergio Greco (Universita della Calabria, Italy) Claudio Gutierrez (Universidad de Chile) Mauricio A. Hernandez-Sherrington (IBM Research Almaden, USA) Aidan Hogan (Universidad de Chile) Elizabeth Leon (Universidad Nacional de Colombia) Jorge Lobo (ICREA and Universidad Pompeu Fabra, Spain) Maria Vanina Martinez (Universidad Nacional del Sur, Argentina) Filip Murlak (University of Warsaw, Poland) Mauricio Osorio (Universidad de las Americas Puebla, Mexico) Reinhard Pichler (Vienna University of Technology, Austria) Andreas Pieris (Vienna University of Technology, Austria) Alessandro Provetti (University of Messina, Italy) Jarek Szlichta (University of Ontario, Canada) Regina Paola Ticona Herrera (Universita de Pau et des Pays de l'Adour, France) Riccardo Torlone (Roma Tre University, Italy) Peter Wood (Birkbeck, University of London, UK) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From paliourg at iit.demokritos.gr Thu Jan 22 19:07:04 2015 From: paliourg at iit.demokritos.gr (George Paliouras) Date: Thu, 22 Jan 2015 20:07:04 +0200 Subject: BioASQ challenge: Call for participation Message-ID: <29b001d0366e$3a92b520$afb81f60$@iit.demokritos.gr> Apologies for cross-posting *** BioASQ challenge on large-scale biomedical semantic indexing and question answering *** (part of the CLEF 2015 QA track to take place in Toulouse, France, 8-11 September, 2015) Web site: http://bioasq.org/ twitter: https://twitter.com/bioasq CLEF-QA site: http://nlp.uned.es/clef-qa/ The BioASQ challenge consists of two different tasks (Task 3a and Task 3b). If you are interested in any of the following areas: * Large-scale and hierarchical classification * Machine learning * Semantic Indexing, semantic similarity then you may want to participate in BioASQ Task 3a (large-scale biomedical semantic indexing). More information at http://bioasq.org/participate/challenges#Task3a. If you are interested in any of the following areas: * Question answering from unstructured and structured data * Single and multi-document summarization * Information retrieval and passage retrieval * Semantic indexing, semantic similarity and reasoning * Machine learning, classification, learning to rank * Named-entity recognition and disambiguation * Information extraction, fact checking, relation extraction * Textual entailment * Natural-language generation then you may want to participate in BioASQ Task 3b (biomedical semantic QA). More information at http://bioasq.org/participate/challenges#Task3b. Important dates: * Task 3a: You can join anytime from February 02, 2015 onwards. New data sets will be released weekly. * Task 3b: You can join on ANY of the following dates: - March 04, 2015 - March 18, 2015 - April 01, 2015 - April 15, 2015 - April 29, 2015. Detailed schedule at http://bioasq.org/participate/schedule Training data for both tasks available at http://participants-area.bioasq.org/ From turhan at tcs.inf.tu-dresden.de Fri Jan 23 20:21:55 2015 From: turhan at tcs.inf.tu-dresden.de (Anni-Yasmin Turhan) Date: Fri, 23 Jan 2015 20:21:55 +0100 Subject: KI 2015 -- Second call for Workshops Message-ID: <54C29F53.2070303@tcs.inf.tu-dresden.de> [Apologies, if this reaches you more than once.] Dear all, KI 2015 is the 38th edition of the German Conference on Artificial Intelligence which traditionally brings together academic and industrial researchers from all areas of AI. The technical program of KI 2015 will comprise paper and poster presentations, a variety of workshops, a doctoral consortium and a summer school. For more information, please see: www.tu-dresden.de/inf/ki2015. We invite proposals for workshops to be held at the beginning of the conference week (21./22. of September). Topics include all subareas of artificial intelligence as well as their foundations and applications. How to Propose a Workshop Proposals should be PDF documents of up to two pages and sent by email to the KI 2015 Workshop Chair. They should be formulated in English language and must be send to Anni-Yasmin.Turhan at tu-dresden.de by 30th of January 2015. Each workshop proposal should provide the following information: - Description of workshop topic and goal. This description should discuss the relevance of the suggested topic and its interest to the general AI community and the KI 2015 audience. - Names and affiliation (including email and web address) of the workshop organizer(s). Please indicate the primary contact person for KI 2015. - Describe the organizers' background regarding the workshop topic. - How many participants do you expect? How do you plan to attract enough participants for the workshop? - A brief description of the workshop format regarding the mix of events such as paper presentation, invited talks, panels, demonstrations, and general discussion. - Do you expect the workshop to be a full-day workshop or a half-day workshop? Workshop organizers will be responsible for: - producing a call for papers. The call is due February 20th, 2015. This call will be posted on (/ linked from) the KI 2015 website. Organizers are responsible for additional publicity such as distributing the call to relevant newsgroups and mailing lists, and especially to potential audiences from outside the KI conference community. - maintaining a workshop web site with updated information about the workshop. - producing of the workshop notes. The workshop organizers coordinate the collection, production and distribution of the working notes for the workshops. KI 2015 strongly encourages to have the workshop notes included in the collection of papers on the KI-2015 proceedings USB stick that will be distributed to all KI-participants. In case, the workshop organizers wish to include their working notes, the final versions of the workshop papers need to be collected no later than 30th of August 2015. The KI 2015 conference organizers will provide logistic support and meeting places for the workshops as well as determine the dates and times of the workshops. Important dates: =================== Proposal deadline: Jan 30, 2015 Notification of acceptance: Feb 4, 2015 Proceedings due: Aug 30, 2015 Workshop dates: 21./22.09.2015 Should you have further questions regarding the KI workshops, please do not hesitate to contact me. Best regards, Anni-Yasmin Turhan -- PD Dr.-Ing. Anni-Yasmin Turhan Post-doc Research and Teaching Fellow Dresden University of Technology Faculty of Computer Science Institute of Theoretical Computer Science Chair of Automata Theory 01062 Dresden Tel.: +49 (351) 463-39167 Fax: +49 (351) 463-37959 E-Mail: Anni-Yasmin.Turhan at tu-dresden.de From announce at cs.ucy.ac.cy Sat Jan 24 12:46:18 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 24 Jan 2015 13:46:18 +0200 Subject: Last Mile: The 14th International Symposium on Parallel and Distributed Computing (ISPDC 2015) Message-ID: *** Last Mile *** The 14th International Symposium on Parallel and Distributed Computing (ISPDC 2015) 29 June - 2 July, 2015, St. Raphael Resort 5*, Limassol, Cyprus http://www.cyprusconferences.org/ispdc2015/ *** Submission Deadline: 30 January 2015 *** Following very successful previous editions since 2002, the 14th ISPDC conference will be hosted in Limassol, a beautiful coastal Mediterranean city on the south coast of Cyprus. The conference will be devoted to a highly selective program with papers describing original and unpublished research advancing the state of the art in the field of Parallel and Distributed Computing paradigms and applications. The goal is to provide an interactive and friendly, yet professional forum, for original research contributions describing novel ideas, groundbreaking results and/or experiences. We kindly invite you to submit original contributions to ISPDC 2015 on topics including, but not limited to: System Architectures for Parallel and Distributed Computing - Multi-Cores, Virtualization - Clusters and Grid Computing - Methods and Tools for Parallel and Distributed Programming - Embedded, Mobile and Networking Environments - System Architecture and System Software for In-Memory Computing - Innovative System Architecture for Big Data Processing - System Architecture for Graph Computing/Processing - Interconnect Architecture for HPC and Data Centers High Performance Computing and Large Scale Applications - Tools and Environments for Parallel Program Design/Analysis - Scalable Algorithms and Applications - Urban Networks and Applications, Vehicular Networks - Parallel, Distributed and Mobile big-Data Management Parallel Computing and Algorithms - Parallel Programming Paradigms and APIs - GPU Programming - Bio-inspired Parallel Algorithms - Big Data and Graph Analytics - Algorithms, Models and Formal Verification Cloud Computing - Cloud Resource Provisioning and Allocation - Pricing of Cloud Resources - Cloud Performance, and Capacity Management - Green Cloud Computing - Mobile Clouds - Security and Privacy in Clouds - Cloud Computing Techniques for Big Data - Storage Architectures for Clouds and Big Data Processing Distributed and Embedded Computing - Collaborative Computing, P2P Computing - Mobile and Ubiquitous Computing - Web Services and Internet Computing - Distributed Software Components, Multi-agent Systems - Parallel Embedded Systems Programming - Highly Embedded Parallel Systems Support for Programming - FPGA and SoC Solutions Performance Modeling, Management and Optimization - Scheduling and Load Balancing - Performance Modeling, Analysis and Evaluation - Optimisation, Security and Dependability Interactivity - Real-time Distributed and Parallel Systems - Visualisation of Massively Parallel Data - IoT, Social Networks You are invited to submit original papers of up to 10 pages, written in English and compliant with the IEEE standard (8.5"x11", two-column). The IEEE Computer Society Press will publish the proceedings. A best paper award will be presented to paper(s) receiving the highest quality rating from the reviewers and the PC. Key Dates Submission of full papers: 30 January, 2015 (hard deadline) Notification of authors: 15 March, 2015 Camera ready papers: 30 March, 2015 Authors and early registration deadline: 6 May, 2015 Symposium dates: 29 June - 2 July, 2015 General Chair George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Co-Chairs Daniel Grosu, Wayne State University, USA Hai Jin, Huazhong University of Science and Technology, China Steering Committee Ioana Banicescu, Mississippi State University, USA Hans-Joachim Bungartz, Technische Universität München, Germany Valentin Cristea, University Politehnica of Bucharest, Romania Bertil Folliot, University of Paris, France Dan Grigoras, University College Cork, Ireland John Morrison, University College Cork, Ireland Traian Muntean, Aix Marseille University, France Dana Petcu, Western Univ. of Timisoara and e-Austria, Timisoara, Romania Marek Tudruj, Polish Acad. of Sciences and PJIIT, Warsaw, Poland Program Committee http://www.cyprusconferences.org/ispdc2015/committees.html -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From universal.logic at ufc.br Sat Jan 24 16:04:43 2015 From: universal.logic at ufc.br (Universal Logic) Date: Sat, 24 Jan 2015 13:04:43 -0200 (BRST) Subject: 10TH PANHELLENIC LOGIC SYMPOSIUM - Call for Papers Message-ID: <9445c7504a76d1c410b872d179b487c9.squirrel@correio4.ufc.br> THE 10TH PANHELLENIC LOGIC SYMPOSIUM June 11-15, 2015 Samos, Greece http://samosweb.aegean.gr/pls10/index.html HISTORY OF THE SYMPOSIUM The Panhellenic Logic Symposium, a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in Logic. The Symposium is open to researchers worldwide who work in logic, broadly conceived. The Tenth Panhellenic Logic Symposium will be hosted by the Department of Mathematics at the University of the Aegean, located at Karlovasi, Samos. The dates have been chosen so that participants may continue to participate in UNILOG 2015 (June 20-30, Istanbul). PROGRAM OF THE SYMPOSIUM The scientific program of the symposium will consist of one-hour long invited talks, two- to three-hour long tutorials, and about twenty-to-thirty-minute presentations of accepted contributed papers. There will also be a poster presentation and opportunities for students and young researchers to present work in progress. The following have accepted to deliver invited talks/tutorials: * J.-Y. Beziau (University of Rio de Janeiro) * P. D'Aquino (Seconda Universita di Napoli) * S. Durhan (Middle-East Technical University, Ankara) * R. Sklinos (University of Lyon 1) * N. Tzevelekos (Queen Mary University of London) * X. Vidaux (University of Concepcion, Chile) CALL FOR PAPERS Original papers that fall within the scope of the symposium are solicited. Prospective speakers of twenty-five-minute presentations are invited to submit an extended abstract, in English, not exceeding five pages, by 1 April 2015. Papers should be prepared using the EasyChair class style (available from http://www.easychair.org/publications/?page=1594225690) and submitted electronically, using the Easy Chair conference system, at http://www.easychair.org/conferences/?conf=pls10. If possible, each submitted paper should be classified in one of the following areas (in alphabetical order): * Algebraic and Categorical Methods in Logic * Computability Theory * History and Philosophy of Logic * Logic in Computer Science * Model Theory * Nonclassical and Modal Logics * Proof Theory * Set Theory * Universal Logic All submitted papers will be reviewed by the scientific committee of the symposium, who will make final decisions on acceptance or rejection. During the symposium, each accepted paper will be presented by one of its authors. Authors of submitted papers will be notified of the decision by 4 May 2015. Camera-ready extended abstracts will be due by May 31 for inclusion in the symposium proceedings. POSTER SESSION Graduate students and young researchers are invited to submit a short abstract on work in progress but not yet ready for a regular contributed talk. Authors of accepted abstracts will have an opportunity to present their results in poster form in a special poster session. Interested students should submit abstracts of no more than one page in .pdf form by May 31, by sending them to: pls10 at aegean.gr IMPORTANT DATES * Abstract Submission Deadline: April 1, 2015 * Acceptance/Rejection Notification: May 4, 2015 * Camera-ready Papers Deadline: May 31, 2015 * Abstracts of Posters Deadline: May 31, 2015 * Conference Dates: June 11-15, 2015 SCIENTIFIC COMMITTEE Costas Dimitracopoulos, University of Athens Antonis Kakas, University of Cyprus Lefteris Kirousis, University of Athens Phokion G. Kolaitis, UCSC and IBM Research-Almaden Joan Moschovakis, Occidental College and MPLA Nikolaos Papaspyrou, National Technical University of Athens Thanases Pheidas, University of Crete (Chair, pheidas at math.uoc.gr) George Tourlakis, York University, Canada Stathis Zachos, National Technical University of Athens ORGANIZING COMMITTEE Charalampos Cornaros, University of Aegean (Chair, kornaros at aegean.gr) Costas Dimitracopoulos, University of Athens Nikolaos Papaspyrou, National Technical University of Athens SYMPOSIUM WEBPAGE http://samosweb.aegean.gr/pls10/index.html CONTACT PLS10 email address: pls10 at aegean.gr Thanases Pheidas (Chair of the Scientific Committee) http://fourier.math.uoc.gr/tmem/persons/pheidas.html Charalampos Cornaros (Chair of the Organizing Committee) Address: University of the Aegean Department of Mathematics 83200 Karlovasi, Samos Greece Tel: +30 22730 82137 Fax: +30 22730 82109 From grlmc at urv.cat Sat Jan 24 21:14:43 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 24 Jan 2015 21:14:43 +0100 Subject: InfoSec 2015: registration deadline 3 February Message-ID: <5FBE3C3D5ECF47BDB5B1AFE9ACB923DC@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************** INTERNATIONAL SUMMER SCHOOL ON INFORMATION SECURITY InfoSec 2015 Tarragona, Spain July 6-10, 2015 Organized by Rovira i Virgili University http://grammars.grlmc.com/InfoSec2015/ ********************************************************************** --- 2nd registration deadline: February 3, 2015 --- ********************************************************************** AIM: InfoSec 2015 will be a major 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 information security, which covers a large spectrum of current exciting academic research and industrial innovation. It refers to procedures to defend information from unauthorized access, use, modification, recording or destruction, with a critical role to play in order to avoid or minimize risks in the digital world. Renowned academics and industry pioneers will lecture and share their views with the audience. Most information security subareas will be displayed, namely: computer security, cryptography, privacy, cyber security, mobile security, network security, world wide web security, fraud prevention, data protection, etc. Main challenges of information security will be identified through 4 keynote lectures, 33 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. 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 background knowledge may be required for some of them. InfoSec 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 4 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: InfoSec 2015 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Jan Camenisch (IBM Research, Zurich), Privacy in a Digital World: a Lost Cause? Hao Chen (University of California, Davis), (In)security of Mobile Apps in Untrusted Networks Jennifer Seberry (University of Wollongong), The Global Village: the Beginning of the Need for Computer Security [via videoconference] Gene Tsudik (University of California, Irvine), Off-line Proximity-based Social Networking PROFESSORS AND COURSES: N. Asokan (Aalto University), [intermediate] Mobile Security: Overview of Hardware Platform Security and Considerations of Usability Jan Camenisch (IBM Research, Zurich), [introductory/intermediate] Technologies to Protect Online Privacy Hao Chen (University of California, Davis), [intermediate/advanced] Security of the Mobile App Ecosystem Nicolas T. Courtois (University College London), [introductory/intermediate] Security of ECDSA in Bitcoin and Crypto Currency Claude Crépeau (McGill University, Montréal), [introductory/intermediate] Quantum Computation, Cryptography and Cryptanalysis Joan Daemen (ST Microelectronics Belgium, Diegem), [introductory/intermediate] Sponge Functions, Keccak and SHA-3 Sajal K. Das (Missouri University of Science and Technology, Rolla), [intermediate/advanced] Securing Cyber-Physical Systems: Challenges and Opportunities Sabrina De Capitani di Vimercati (University of Milan), [introductory/intermediate] Security and Privacy in the Cloud Hervé Debar (Télécom SudParis), [introductory/intermediate] Detection and Reaction to Attacks: from Intrusion Detection to Cyber-Defense David Evans (University of Virginia, Charlottesville), [introductory/intermediate] Secure Multiparty Computation: Techniques, Theory, and Tools for Building Privacy-Preserving Applications Rosario Gennaro (City University of New York), [intermediate/advanced] A Survey of Verifiable Delegation of Computation Trent Jaeger (Pennsylvania State University, University Park), [intermediate/advanced] How to Add Security Enforcement to Legacy Programs Markus Jakobsson (Qualcomm, Santa Clara), [introductory/intermediate] Frontiers in Fraud Prevention Antoine Joux (Pierre et Marie Curie University, Paris), [introductory/intermediate] Discrete Logarithms in Finite Fields Marc Joye (Technicolor R&I, Los Altos), [introductory/intermediate] Secure Public-Key Cryptosystems Somesh Jha (University of Wisconsin, Madison), [intermediate/advanced] Analysis Techniques in Information Security Lars R. Knudsen (Technical University of Denmark, Lyngby), [introductory/intermediate] Block Ciphers: the Workhorses in Cryptography Songwu Lu (University of California, Los Angeles), [introductory/intermediate] Cellular Network Security: Issues and Defenses Catherine Meadows (Naval Research Laboratory, Washington DC), [introductory/intermediate] Formal Analysis of Cryptographic Protocols Nasir Memon (New York University), [introductory/intermediate] User Authentication Ethan L. Miller (University of California, Santa Cruz), [intermediate/advanced] Securing Stored Data in a Connected World Stefano Paraboschi (University of Bergamo), [introductory/intermediate] Data Protection in Network-enabled Systems Bart Preneel (KU Leuven), [introductory/intermediate] Cryptology: State of the Art and Research Challenges Jean-Jacques Quisquater (Catholic University of Louvain), [introductory/intermediate] The History of RSA: from Babylon to Smart Cards Shantanu Rane (Palo Alto Research Center), [introductory/intermediate] Privacy-preserving Data Analytics: Problems, Solutions and Challenges Mark Ryan (University of Birmingham), [introductory/intermediate] Designing Security Protocols: Electronic Voting, and Electronic Mail Rei Safavi-Naini (University of Calgary), [introductory/intermediate] Information-theoretically Secure Communication Stefan Saroiu (Microsoft Research, Redmond), [advanced] Dealing with Loss: Protecting Data on a Lost Mobile Device Milind Tambe (University of Southern California, Los Angeles), [introductory/intermediate] Introduction to the Emerging Science of Security Games Gene Tsudik (University of California, Irvine), [intermediate/advanced] Security and Privacy in Candidate Future Internet Architectures Yang Xiao (University of Alabama, Tuscaloosa), [introductory/advanced] Security in Smart Grids Wenyuan Xu (University of South Carolina, Columbia), [intermediate] Security and Privacy Analysis of Embedded Systems Yuliang Zheng (University of North Carolina, Charlotte), [introductory] Cryptography and the Future of Money ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/InfoSec2015/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be provided in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: InfoSec 2015 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Universitat Rovira i Virgili From ijv at acm.org Sun Jan 25 00:20:50 2015 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Sat, 24 Jan 2015 21:20:50 -0200 Subject: First call for papers: DARe at IJCAI 2015 Message-ID: <80B3DABA-881B-4E3B-96EF-1FD07AD9ED2D@acm.org> * Please accept our apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at IJCAI 2015 Date: TBC (one day between 25 and 27 July 2015) Buenos Aires, Argentina *** Deadline: 27 April 2015 *** ============================== The Second International Workshop on "Defeasible and Ampliative Reasoning" (DARe) http://dare2015.yolasite.com held at the International Joint Conference on Artificial Intelligence (IJCAI 2015) -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypothesis in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on nonmonotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, nonmonotonic reasoning, nonmonotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the IJCAI 2015 LaTeX style (which can be found at http://ijcai-15.org/index.php/call-for-papers) and should be no longer than 6 pages excluding references and in PDF format. The list of references is limited to one page. Please submit to: https://easychair.org/conferences/?conf=dare15 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. Please check the IJCAI 2015 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 27 April 2015 - Notification: 20 May 2015 - Camera ready: 30 May 2015 - Early registration: [TBA] - Late registration: [TBA] - Workshop date: [TBA] -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth (Mahasarakham University, Thailand) - Giovanni Casini (Centre for AI Research and University of Pretoria, South Africa) - Szymon Klarman (Brunel University London, United Kingdom) - Gilles Richard (Université Paul Sabatier, France) - Ivan Varzinczak (Universidade Federal do Rio de Janeiro, Brazil) -- Program Committee -- - Natasha Alechina (University of Nottingham, UK) - Ofer Arieli (Academic College of Tel-Aviv, Israel) - Christoph Beierle (FernUniversitaet Hagen, Germany) - Mario Benevides (Federal University of Rio de Janeiro, Brazil) - Antonis Bikakis (University College London, UK) - Alexander Bochman (Holon Institute of Technology, Israel) - Katarina Britz (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - Jim Delgrande (Simon Fraser University, Canada) - Marcelo Finger (Universidade de São Paulo, Brazil) - Nina Gierasimczuk (University of Amsterdam, Netherlands) - Patrick Girard (University of Auckland, New Zealand) - Sven Ove Hansson (Royal Institute of Technology, Sweden) - Andreas Herzig (IRIT CNRS, France) - Aaron Hunter (British Columbia Institute of Technology, Canada) - Souhila Kaci (Université Montpellier 2, France) - Antonis Kakas (University of Cyprus) - Gabriele Kern-Isberner (TU Dortmund, Germany) - Simon Kramer (SK-R&D, Switzerland) - Willem Labuschagne (University of Otago, New Zealand) - Michael Maher (University of New South Wales, Australia) - João Marcos (Universidade Federal do Rio Grande do Norte, Brazil) - Thomas Meyer (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - François Schwarzentruber (ENS Rennes/IRISA) - Sonja Smets (University of Amsterdam, Netherlands) - Umberto Straccia (CNR, Italy) - Mirek Truszczynski (University of Kentucky, USA) - Joost Vennekens (K.U. Leuven, Belgium) - Peter Verdée (Universiteit Gent, Belgium) - Petrucio Viana (Universidade Federal Fluminense, Brazil) - Heinrich Wansing (Ruhr-Universitaet Bochum, Germany) - Renata Wassermann (Universidade de São Paulo, Brazil) - Anna Zamansky (University of Haifa, Israel) -- Further Information -- Please note that according to IJCAI policy all workshop participants are required to register for the workshop. IJCAI reserves the right to cancel a workshop if not enough participants register. Please visit the workshop website (http://dare2015.yolasite.com) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan José Varzinczak Department of Computer Science Federal University of Rio de Janeiro, Brazil Homepage: http://en.varzinczak.net16.net Google scholar profile: http://tinyurl.com/varzinczak From aamas2014publicity at gmail.com Sun Jan 25 09:01:14 2015 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Sun, 25 Jan 2015 08:01:14 +0000 Subject: Call for IFAAMAS-14 Victor Lesser Distinguished Dissertation Award Nominations Message-ID: Nominations are invited for the 2014 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org) and to be presented at AAMAS-2015 (http://www.aamas2015.com/). Eligible doctoral dissertations are those defended between January 1, 2014 and December 31, 2014 in the area of Autonomous Agents or Multiagent Systems. This award includes a certificate and a 1500EUR payment. The selection of the dissertation will be based on the originality, significance, and impact of the work. Evidence of such impact include publications at highly selective conferences and journals in the field with due importance given to the AAMAS conference series and JAAMAS. Research output that resulted primarily from the student's initiative will be considered more favourably. The selection committee will be the final arbiter in the decision process. The selection committee might decide to consult external assessors and reserves the right to not award the prize if the nominations do not meet the expected quality level. The dissertation must be nominated by the thesis supervisor and must be supported by the following documents (the documents must be placed on a web page and only a link to this page e-mailed to Michael Winikoff, michael.winikoff at otago.ac.nz, on or before February 28, 2015): 1. A PDF file of the dissertation. If the dissertation is not written in English, the nomination must include a substantial manuscript in English, with the nominee as the first author, published in a journal or a prestigious conference. 2. A list of citations to published papers based primarily on this dissertation with links to corresponding PDF files. 3. A recommendation from the dissertation supervisor, on departmental letterhead, nominating the dissertation for the IFAAMAS-14 Victor Lesser Distinguished Dissertation Award. The recommendation should argue the merit of the dissertation and highlight, where relevant, how the work resulted from the initiative of the student. This document, not to exceed 500 words, should also certify the eligibility of the PhD by asserting that the PhD was defended in calendar year 2014. 4. The names, email addresses, and affiliations of at most three referees, familiar with the research of the candidate and experts in the pertinent research area, who will directly email their recommendations for the candidate to the chair of the selection committee. It is the responsibility of the dissertation supervisor to contact the referees and ensure that the letters are submitted by the deadline. A reference letter should be no more than 500 words in length and should be on official letterhead, signed and emailed as scanned PDF file. Though the nomination is to be submitted by the nominee's dissertation supervisor, it is required that the nominee has consented that the dissertation be considered for this award and, if selected for the award, commits to attend the AAMAS-2015 conference, where he/she will receive the award, and will give an hour-long presentation in a special session of the conference on the work contained in the dissertation. The cost of attending the conference is not covered by the award. From aamas2014publicity at gmail.com Sun Jan 25 09:04:45 2015 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Sun, 25 Jan 2015 08:04:45 +0000 Subject: Final Call for Demos: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) Message-ID: Istanbul, Turkey, May 4-8, 2015 http://www.aamas2015.com The goal of the AAMAS DEMOs track is to provide opportunities for participants from academia and/or industry to present their latest developments in agent-based software and/or robotic systems. Interactive systems, robotic systems and novel applications are particularly welcome. There will be a "Best Demo Award." Authors of accepted papers and posters in the main track of the AAMAS conference, as well as workshop presenters, are particularly encouraged to submit! (You'll be there anyway - this is another opportunity to share your work and discuss your results in detail with conference attendees who visit your Demo!) Examples of demos include but are not limited to: - Single- and multi-agent robotic systems - Interactive agent-based software systems - Personal robotics - Agent-based simulation environments - Innovative applications of agent-based systems or prototypes - Agent-based games - Agent platforms and development environments - Open-source software tools for agent-based system development - Human-robot interactive systems - Virtual agents and interactive virtual environments The organizers will make every effort to facilitate demo requirements. If you have unusual requirements please contact the organizers in advance. At a minimum, we will provide a poster board, a monitor, and a table for each demonstration. *** SUBMISSION REQUIREMENTS *** Submissions accepted for the demonstration session will be advertised on the AAMAS website. Each Demo submission must consist of the following: 1. Paper: A 2-page paper in which the authors describe the system to be demonstrated. The paper should describe the application domain, the problem scenario, the technology used, the agent/multi-agent techniques involved, the original contribution and innovations of the system, its live and interactive aspects, etc. Papers MUST BE PREPARED IN PDF format using the AAMAS style. 2. A list of requirements/description of demo setting. This list should be attached to the extended abstract, in a separate page. 3. Video or PPT or other media: The paper must contain a URL linking to a demonstration video no more than 5 minutes in length (e.g. YouTube) or a Powerpoint presentation showing and explaining what happens. Other formats are also possible if they can more clearly illustrate the demo. The objective is to give a precise idea, in 5 minutes, of what the demo will look like. Accepted Demos will have the 2-page papers included in the AAMAS proceedings. Submissions will be managed using EasyChair. https://easychair.org/conferences/?conf=aamasdemo15 *** SELECTION PROCESS *** The submission and selection processes for the AAMAS 2014 Demos will be separate from that of the main conference. Each submission will be assessed by the Demos Program Committee. The authors will receive a brief report with the result of the evaluation with the notification. The main evaluation criteria are: - Relevance to the AAMAS conference - Significance and originality - Presentation and technical quality - Maturity and readiness for demonstration - Potential for public interaction - Potential impact in the intended application domain - Potential interest to a broader audience At least one author of each accepted demonstration is required to register and to attend the conference to give the demonstration. *** IMPORTANT DATES *** - Submission deadline: February 4, 2015 - Notification of acceptance/rejection: February 28, 2015 - Camera-ready paper: March 5, 2015 *** ORGANIZATION *** Demos Chairs: - Paolo Torroni, University of Bologna, Italy - Karl Tuyls, University of Liverpool, UK *** CONTACT INFORMATION *** Contact the Demos Chairs at aamas2015.demos at google.com From giacomo.cabri at unimore.it Sun Jan 25 10:13:15 2015 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Sun, 25 Jan 2015 10:13:15 +0100 Subject: COORDINATION 2015 New Deadlines! Message-ID: <54C4B3AB.2010509@unimore.it> ***************************** NEW DEADLINES ! ***************************** New! Submission deadlines have been revised. Original deadlines had been set too early compared to past editions and were colliding with other conferences. NEW important dates: Abstract Submission: Feb. 15, 2015 (24:00 UTC-11) New! Paper Submission: Feb. 22, 2015 (24:00 UTC-11) New! Author Notification: March 23, 2015 New! Camera ready copy: April 2, 2015 New! Early registration: May 5, 2015 Conferences and workshops: June 2-5, 2015 ======================================================================== IMPORTANT NOTE: High-quality Coordination-2015 papers will be invited to submit an extended version for a 'fast-track' to the ACM Transactions on Autonomous and Adaptive Systems (ACM-TAAS). ======================================================================== ========================= Call for Papers ============================= COORDINATION 2015 17th IFIP International Conference on Coordination Models and Languages A DisCoTec Member Conference http://discotec2015.inria.fr/ June 2-5, 2015, Grenoble, France ======================================================================= ------ Scope: COORDINATION 2015 is the premier forum for publishing research results and experience reports on software technologies for collaboration and coordination in concurrent, distributed, and complex systems. The key focus of the conference is the quest for high-level abstractions that can capture interaction patterns and mechanisms occurring at all levels of the software architecture, up to the end-user domain. COORDINATION 2015 seeks high-quality contributions on the usage, study, formal analysis, design, and implementation of languages, models, and techniques for coordination in distributed, concurrent, pervasive, and multicore software systems. This edition also additionally seeks to adapt and integrate traditional COORDINATION techniques in the realm of multi-agent systems (MAS), which typically involve more corse-grained (cognitive, intelligent, goal-oriented) components. ------------------------ Main topics of interest: * Programming abstractions and languages * Coordination models and paradigms * Specification and verification * Foundations and types * Distributed middleware architectures * Multicore programming * Coordinated distributed applications * Bio-inspired computing models * Coordination mechanisms for self-adaptation and self-organisation * Teamwork and distributed problem solving * Collective intelligence * Auction and Negotiation * Argumentation, trust, norms and reputation * Coordination mechanisms for rational agents * Coordination middleware for mobile agents * Coordination of federated MASs --------------------------- Submission and publication: Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's codes of conduct). The submissions must not exceed the page number limit (see below), including figures and references, prepared using Springer's LNCS style. Submissions not adhering to the above specified constraints may be rejected without review. Papers should be submitted as PDF or PS via EasyChair: https://www.easychair.org/conferences/?conf=coordination2015. We solicit three kinds of submissions: *Full papers* (up to 16 pages): Describing thorough and complete research results and experience reports. *Short papers* (up to 8 pages): Describing research results that are not fully developed, or even manifestos, calls to action, personal views on the past of Coordination research, on the current state of the art, or on prospects for the years to come. *Posters* (up to 3 pages): Summarising research projects worth being advertised and discussed in a lively fashion at the conference. The conference proceedings, formed by accepted submissions of all three kinds above, will be published by Springer in the LNCS Series. Post-proceedings publication: Relevant, high-quality Coordination-2015 papers will be invited for 'fast-track submissions' to the ACM Transactions on Autonomous and Adaptive Systems (ACM-TAAS). --------------- Invited Speaker Alois Ferscha (Johannes Kepler Universität Linz, Austria) ----------- Oranization Program Chairs Tom Holvoet (KU Leuven, Belgium) Mirko Viroli (University of Bologna, Italy) Publicity Chair Giacomo Cabri (University of Modena and Reggio Emilia, Italy) Programme Committee Gul Agha (University of Illinois at Urbana-Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) Jacob Beal (Raytheon BBN Technologies, USA) Olivier Boissier (Ecole Nationale Supérieure des Mines of Saint-Etienne, France) Ferruccio Damiani (Uniersità di Torino, Italy) Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies, Italy) Ed Durfee (University of Michigan, USA) Schahram Dustdar (Vienna University of Technology, Austria) Gianluigi Ferrari (University of Pisa, Italy) José Luiz Fiadeiro (Royal Holloway University of London, UK) Valérie Issarny (Inria, France) Christine Julien (The University of Texas at Austin, USA) Sarit Kraus (Bar-Ilan University, Israel) Eva Kuhn (TU Wien, Austria) Marino Miculan (Università di Udine, Italy) Hanne Riis Nielson (Technical University of Denmark, Denmark) Andrea Omicini (University of Bologna, Italy) Sascha Ossowski (University Rey Juan Carlos, Spain) Paolo Petta (OFAI - Austria Research Institute for Artificial Intelligence, Austria) Rosario Pugliese (Università degli Studi di Firenze, Italy) Alessandro Ricci (Uniervsità di Bologna, Italy) Juan Antonio Rodriguez Aguilar (IIIA-CSIC, Barcelona) Carles Sierra (IIIA-CSIC, Barcelona) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Emilio Tuosto (University of Leicester, UK) Herbert Wiklicky (Imperial College London, UK) Martin Wirsing (Ludwig-Maximilians-Universität München, Germany) Franco Zambonelli (Università di Modena e Reggio Emilia, Italy) Steering Committee Gul Agha (University of Illinois at Urbana Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) (Chair) Dave Clarke (Uppsala University, Sweden) Tom Holvoet (KU Leuven, Belgium) Jean-Marie Jacquet (University of Namur, Belgium) Christine Julien (The University of Texas at Austin, USA) Eva Kühn (Vienna University of Technology, Austria) Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) Rosario Pugliese (Università di Firenze, Italy) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Vasco T. Vasconcelos (University of Lisbon, Portugal) Gianluigi Zavattaro (University of Bologna, Italy) Mirko Viroli (University of Bologna, Italy) -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Associate Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From aamas2014publicity at gmail.com Sun Jan 25 11:18:50 2015 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Sun, 25 Jan 2015 10:18:50 +0000 Subject: Final Call for Doctoral Mentoring Program Submissions at AAMAS'15 Message-ID: Please note the dates at the bottom the text! Associated with the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS’15) in Istanbul http://www.aamas2015.com/ Doctoral symposium date: May 5th Building upon the success of previous years, AAMAS 2015 will again include a doctoral mentoring program, intended for PhD students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields as well as with other students, to receive feedback on their work and to get advice on managing their careers. ------------------------------------------- Specifically, the goals of the program are: ------------------------------------------- - To match each student with an establish researcher in the community (who will act as a mentor). The mentor will interact closely with the student, will provide feedback on research, help form new contacts, etc. - To allow students an opportunity to present their work to a friendly audience of other students as well as mentors. - To provide students with insights, contacts and professional networking opportunities for their future career. The doctoral mentoring program will consist of opportunities for interactions between mentors and their mentorees prior to the conference, as well as a one day doctoral symposium. ----------------------- Submission Requirements ----------------------- We encourage submissions from PhD students at advanced stages of their research within the Autonomous Agents and Multiagent Systems field. Based on the submissions, the organizing committee will select a group of students that will be invited to participate in the program. Participants will be expected to take active part in all doctoral mentoring program activities. Each submission should include a set of documents from the students, and a recommendation letter from the advisor. The submission package consists of: 1. A two-page extended abstract of the student’s thesis (in the AAMAS submission format, including abstract and keywords) 2. A short (2-page) application document including the following: - gender - country and institute of study - area of study (provide 1-3 keywords) - whether you have participated in the AAMAS DMC before - one or two names of suggested mentors - CV 3. A recommendation letter from the advisor/supervisor. The letter should address the expected benefit of attending (to the student), the significance of the research, and the expected date for thesis submission. This letter can be sent in either plain text or PDF format. The student’s name must be clearly pointed out in the letter. Submissions of the first two items should be submitted in pdf via easychair here: https://easychair.org/conferences/?conf=aamas15dmp. Please send the letter of recommendation by e-mail to the doctoral mentoring co-chairs: Kobi Gal M. Birna van Riemsdijk --------------- Important Dates --------------- February 11, 2011: Submission package due March 3: Acceptance notifications March 8: Camera-ready copy due May 5: Doctoral Mentoring Symposium From announce at cs.ucy.ac.cy Sun Jan 25 11:57:41 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 25 Jan 2015 12:57:41 +0200 Subject: IEEE/ACM UCC 2015: First Call for Papers, Tutorial and Workshop Proposals Message-ID: *** First Call for Papers, Tutorial and Workshop Proposals *** 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) December 07-10, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/ucc2015 CONTEXT AND SCOPE Cloud Computing delivers computational resources on-demand as services that are commoditized and delivered analogous to traditional utilities such as electricity, gas, water and telephony. Cloud service offerings for compute, storage and communication resources as well as for hosted software and data are growing at a tremendous rate, and it is essential to understand how to effectively transform these services into Utilities that provide value to both users and providers. There is also increasing interest from commercial providers to offer business and revenue models around the services they offer. Understanding how these models could be used to provide utility for users, intermediary brokers (aggregators) and providers is also an area of active research. UCC is the premier IEEE/ACM conference covering all areas related to Cloud Computing as a Utility and provides an international forum for leading researchers and practitioners in this important and growing field. UCC 2015, to be held in Cyprus, will happen as Cloud providers worldwide add new services and increase Cloud utility at an accelerated pace, and Cloud service users explore new usage modes. This will be the 8th UCC in a successful conference series. Previous events were held in Shanghai, China (Cloud 2009), Melbourne, Australia (Cloud 2010 & UCC 2011), Chennai, India (UCC 2010), Chicago, USA (UCC 2012), Dresden, Germany (UCC2013), and London, UK (UCC 2014). CALL FOR PAPERS Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of Cloud and Utility computing including design and analysis of distributed and centralized Cloud systems, data centre design and engineering, economic and market models for cloud systems, revenue and business models and their applications in scientific, engineering, and commercial deployment. Topics of interest include but are not limited to: · Big Data and Analytics · Principles and theoretical foundations of Utility Computing, including pricing and service models · Policy languages and Programming models · Utility driven model and mechanisms for Cloud federations · Autonomic techniques for Clouds and Cloud applications · Utility-driven platforms for Clouds · Architectural models to achieve Utility in Clouds · Designs and deployment models for Clouds: private, public, hybrid, federated, aggregated · Cloud Computing middleware, stacks, tools, delivery networks and services at all layers (XaaS) · Virtualization technologies and other enablers · Economic models and scenarios of use · Scalability and resource management: brokering, scheduling, capacity planning, parallelism and elasticity, as well as marketplaces · Cloud management: autonomic, adaptive, self-*, SLAs, performance models and monitoring · Applications: games, social networks, scientific computing (e-science) and business · Mobile and energy-efficient use of Clouds · Beyond technology: Cloud business and legal implications, such as security, privacy, trust and jurisdiction, especially in Utility contexts One or more best paper awards will be given for outstanding contributed papers. Further details as well as submission guidelines are available at the conference website and below. MANUSCRIPT GUIDELINES Submitted manuscripts should be structured as technical papers and may not exceed ten (10) single-spaced double-column pages using 10-point size font on 8.5x11 inch pages (IEEE conference style), including figures, tables, and references. Electronic submissions must be in the form of a readable PDF file. Manuscripts must be received by July 03, 2015. All manuscripts will be reviewed by the Program Committee and evaluated on originality, relevance of the problem to the conference theme, technical strength, rigor in analysis, quality of results, and organization and clarity of presentation of the paper. Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Authors may contact the Program Chairs at the email addressed below for further information or clarification. Notification of review decisions will be mailed by August 21, 2015. Camera -ready papers are due by September 21, 2015. Published proceedings will be available at the conference. At least one author of each paper must be registered for the conference in order for the paper to be published in the proceedings. Presentation of an accepted paper at the conference is a requirement of publication. Any paper that is not presented at the conference will not be included in IEEE Xplore. SPECIAL ISSUES Selected papers from the conference will be invited to submit an extended version to the a number of top quality journals. Papers will be selected based on their reviewers' scores and appropriateness to a journal's theme. All extended versions will undergo reviews and must represent original unpublished research work. Further details will be made available at the conference webpage. TUTORIAL PROPOSAL REQUIREMENTS Each tutorial proposal must contain the following: · Title. · Name and Affiliation of the Speaker(s). · Abstract (one paragraph, 200 words max., including previous experience with such tutorials). · Intended Audience (one paragraph) and prerequisites: Describe the background assumed of tutorial attendees (i.e. beginner, intermediate, advanced), and any requirements needed (e.g. bring own laptop). · Learning Outcome (one paragraph): Describe the benefit, knowledge or skill that will be gained by attendees. · Description (no more than 2 pages): A statement giving clear motivation /justification for the topic to be presented at UCC 2015 and a comprehensive outline of the proposed content. · Statement on if this tutorial has been given before and if so how this presentation will be different. · Materials (one paragraph): A description of materials to be provided to attendees on the conference website - course slides, annotated bibliography, code snippets, etc. NOTE: the materials themselves do not need to be provided in the proposal. · Bio-sketch: A single paragraph bio-sketch per tutorial presenter. · Requested tutorial length (preferably half-a-day). · Tutorial proposals should be submitted in PDF format by email to the tutorial chairs by the 3rd of July, 2015. RESPONSIBILITIES Materials for the tutorial must be emailed by the 13th of November 2015 at the latest. The UCC 2015 Conference Organizing Committee will be responsible for the following: · Providing logistics support and a meeting place for the tutorial. · In conjunction with the organizers, determining the tutorial date and time. · Providing copies of the tutorial materials to attendees. WORKSHOP PROPOSAL REQUIREMENTS Proposals for workshops should be no more than 2 pages in length and should contain the following information: · Title and brief technical description of the workshop, specifying the goals and the technical issues that will be the focus of the workshop. · A brief description of why and to whom the workshop is of interest. · A list of related workshops or similar events held in the last 3 years, or to be held in 2015. · The names and contact information (web page, email address) of the proposed technical program committee. This committee should consist of at least 10 people knowledgeable about the technical issues to be addressed and preferably not more than two members of the same institution. · A description of the qualifications of the organizers (who would be the Workshop Chairs) with respect to organizing this workshop. This can include papers published in the proposed topic area, previous workshop organization, and other relevant information. · Workshop proposals should be submitted in PDF format by email to the workshop chairs by the 8th of May, 2015. RESPONSIBILITIES Workshop chair(s) will be responsible for the following: · Producing a web page and a "Call for Papers/Participation" for their workshop. The URL should be sent to the UCC Workshops chairs. The call must make it clear that the workshop is open to all members of the Cloud, Big Data, Grid and Cluster Computing community. It should mention that at least one author of each accepted submission must attend the workshop and that all workshop participants must pay the UCC 2015 workshop day or conference registration fee. The CfP should make it clear that the registration of at least one author requires the full (non-student, non- workshop) rate. · Ensure that all workshop papers are a maximum of 6 pages in length (in IEEE format). It is the responsibility of the workshop organizers to ensure that this page limit has been adhered to. Additional pages may be purchased (in some circumstances) subject to approval by the proceedings chairs. · Provide a brief description of the workshop for the conference web page and program. · Selecting the participants and the format of the workshop. The publication of proceedings will be by the IEEE in the same volume as the main conference. The acceptance notification (by workshop chairs) therefore should be the same as the conference paper acceptance notification (i.e. the dates should be the same). All other details can be up to workshop organizers to set. · Advertising the workshop beyond the conference web page. · Assistance in producing a camera-ready version of the workshop proceedings. IMPORTANT NOTE If the workshop is too small (i.e. does not attract enough submissions) the UCC 2015 Organizing Committee may decide to merge that workshop with another. So we encourage workshop organizers to attract a large community. In extreme situations we may also cancel workshops if there are not enough submissions. Workshop organizers must ensure that suitable quality measures have been taken to ensure that the accepted papers are of high quality. All papers must be reviewed by an International Technical Program Committee with a minimum of 3 reviews per paper. The workshop organizers should also try to observe an acceptance rate that is no higher than 50%. Unless indicated on the UCC website, there will be no travel support and no registration discounts for authors and organizers. Workshops are not automatically endorsed by IEEE or ACM and should not use the names of these organisations in their titles. The UCC 2015 Conference Organizing Committee will be responsible for the following: · Providing a link to a workshop's local page. · Providing logistics support and a meeting place for the workshop. · In conjunction with the organizers, determining the workshop date and time. · Providing copies of the workshop proceedings to attendees. IMPORTANT DATES · Tutorial proposals due: 03 July, 2015 · Notification of tutorial proposals: 14 August, 2015 · Final description of accepted proposals: 14 September, 2015 · Tutorial slides due: 13 November, 2015 · Workshop proposals due: 08 May, 2015 · Notification of workshop proposals: 22 May 2015 · Paper submissions due: 03 July, 2015 · Notification of acceptance: 21 August, 2015 · Camera ready papers due: 21 September, 2015 · Early and author registration deadline: 21 September, 2015 COMMITTEES General Chairs · Ashiq Anjum, University of Derby, UK · George Papadopoulos, University of Cyprus Program Committee Chairs · Manish Parashar, Rutgers University, USA (parashar AT rutgers.edu) · Omer Rana, Cardiff University, UK (ranaof AT cardiff.ac.uk) Standards/Plug-fest Chair · Alan Sill, Texas Tech, USA & Open Grid Forum Workshops Chairs · Ilkay Altintas, SDSC, USA (altintas AT sdsc.edu) · Josef Spillner, TU Dresden, Germany (josef.spillner AT tu-dresden.de) Tutorials Chairs · Ewa Deelman, USC, USA (deelman AT isi.edu) · Rafael Tolosana, Univ. of Zaragoza, Spain (rafaelt AT unizar.es) Posters Chair · Khalid Elgazzar, Queen's University, Kingston, Canada PhD Symposium Chair · Kenneth Johnson, Auckland University of Technology, New Zealand Cloud Challenge 2015 Chair · Ian Taylor, Cardiff University, UK Industry Chair · Achilleas Achilleos, University of Cyprus, Cyprus Proceedings Chairs · Nick Antonopoulos, University of Derby, UK · George Palis, University of Cyprus, Cyprus Publicity Chair · Georgia Kapitsaki, University of Cyprus, Cyprus -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.amigoni at polimi.it Sun Jan 25 16:48:20 2015 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Sun, 25 Jan 2015 15:48:20 +0000 Subject: RoboCup 2015 Virtual Robot Competition: Call for Participation Message-ID: ********************************************************************************************** Call for Participation RoboCup 2015 Virtual Robot Competition July 17-23, 2015 (Hefei, China) http://www.robocup2015.org/ We would like to invite all robot rescue teams to participate in the 2015 RoboCup Rescue Simulation League World Championship. If you are interested to participate please take the time to pre-register your team for the RoboCup 2015 Virtual Robot Competition. ***** NEW!!! ***** The RoboCup Federation is pleased to introduce a waiver of the team fee for the 2015 international RoboCup competition for NEW teams in the major leagues. A NEW team is defined as a team all of whose team members have never participated in an annual international RoboCup competition. The waiver concerns only the team fee and does not imply any waiver of fees for team members. ***** 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 Virtual Robot competition is based on USARSim, a high fidelity simulator. Within USARSim users can simulate multiple agents whose capabilities closely mirror those of real robots. USARSim currently features wheeled, tracked, and air robots, as well as a wide range of sensors and actuators. Moreover, users can easily develop models of new robotic platforms, sensors, and test environments. See for more information http://wiki.robocup.org/wiki/Rescue_Simulation_League 2) Pre-registration ------------------- For the pre-registration please send before ***February 20, 2015*** an email to A.Visser at uva.nl with as attachment the following form filled in: http://home.deib.polimi.it/amigoni/IntentVirtual2015.txt 3) Qualification material ------------------------- Besides the pre-registration please prepare before ***February 28, 2015*** the following qualification material: A Team Description Paper describing the most innovative contributions or scientific results. 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 intent to use to control your robots inside the Virtual Robot Competition. If applicable, include a reference to your latest publications. 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) Important dates ----------- - Deadline for pre-registration Virtual Robot Competition: February 20, 2015 - Deadline for qualification material Virtual Robot Competition: February 28, 2015 - Team qualification notification: March 5, 2015 5) Rules -------- The rules for the RoboCup 2015 Virtual Robot Competition will be published at: http://www.robocuprescue.org/wiki/index.php?title=VRCompetitions#Rules The latest version currently available is 1.0, January, 2015. It will be finalized with minor changes, also according to the input from the participating teams. We hope to see you all in China! With kind regards, Sanaz Taleghani, Masaru Shimizu, and Francesco Amigoni 2015 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 miguelangel.abanades at urjc.es Mon Jan 26 09:44:50 2015 From: miguelangel.abanades at urjc.es (=?UTF-8?B?TWlndWVsIMOBLiBBYsOhbmFkZXM=?=) Date: Mon, 26 Jan 2015 09:44:50 +0100 Subject: =?UTF-8?B?RXh0ZW5kZWQgRGVhZGxpbmU6IENhbGwgZm9yIFBhcGVycyAsIO+7v++7v1Bvc3QtY29uZg==?= =?UTF-8?B?ZXJlbmNlIFByb2NlZWRpbmdz77u/LCBBREcgMjAxNO+7vw==?= Message-ID: ---------------------------------------------------------------- Call for Papers  Post-conference Proceedings Extended deadline: 2015/02/13 Automated Deduction in Geometry (ADG 2014) http://www.uc.pt/en/congressos/adg/adg2014 -------------------------------------------------------------------- *OVERVIEW* ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. The post-conference proceedings of ADG 2014 will be published in the LNCS/LNAI series by Springer-Verlag. You are invited to submit original research papers (of 10-20 pages) for possible publication. Your contributions have to be within the scope of ADG, but their contents do not necessarily have to be related to the presentations made at ADG 2014. Moreover, contributions from authors who were not present at ADG 2014 are also welcome. All submissions will be formally reviewed according to the usual standard of international conferences. *SCOPE* Relevant topics include (but are not limited to): polynomial algebra, invariant and coordinate-free methods, probabilistic, synthetic, and logical approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics; symbolic and numeric methods for geometric computation, geometric constraint solving, automated generation/reasoning and manipulation with diagrams; design and implementation of geometry software, special-purpose tools, automated theorem provers, experimental studies; applications of ADG to mechanics, geometric modelling, CAGD/CAD, computer vision, robotics, and education. *SUBMISSION GUIDELINES* We invite the submission of full papers up to 20 pages. The submissions should follow the standard LaTeX2e format for Springer LNCS Proceedings and Other Multiauthor Volumes available here; Electronic submission is required via EasyChair (Easychair track, ADG 2014 post-proceedings). Note that submissions go through a new Easychair track, ADG 2014 post-proceedings. Please, do not remove your old submission, if any. If you have any problems with the submission of your paper, or questions concerning ADG 2014 or EasyChair, please contact any of the editors. *IMPORTANT DATES* Submission: 2015/02/13 Reviews sent to authors: 2015/03/20 Revised papers due: 2015/03/27 Final Decision: 2015/04/03 Camera ready copies due: 2015/04/17 *EDITORS* * Francisco Botana, University of Vigo, Spain. * Pedro Quaresma, University of Coimbra, Portugal. *PROGRAM COMMITTEE* * Francisco Botana, University of Vigo, Spain (Chair) * Hirokazu Anai, Fujitsu Laboratories Ltd/Kyushu University, Japan * Xiaoyu Chen, Beihang University, China * Giorgio Dalzotto, ISI N. Machiavelli, Italy. * Jacques Fleuriot, University of Edinburgh, UK * Xiao-Shan Gao, Chinese Academy of Sciences, China * Tetsuo Ida, University of Tsukuba, Japan * Predrag Janicic, University of Belgrade, Serbia * Ulrich Kortenkamp, Martin-Luther-Universität Halle-Wittenberg, Germany * Shuichi Moritsugu, University of Tsukuba, Japan * Julien Narboux, University of Strasbourg, France * Pavel Pech, University of South Bohemia, Czech Republic * Pedro Quaresma, University of Coimbra, Portugal * Eugenio Roanes-Lozano, Complutense University of Madrid, Spain * Pascal Schreck, University of Strasbourg, France * Meera Sitharam, University of Florida, USA * Thomas Sturm, Max Planck Institute, Germany * Dingkang Wang, Chinese Academy of Sciences, China * Dongming Wang, Beihang University, China and UPMC-CNRS, France -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp2015a at cicling.org Mon Jan 26 14:37:15 2015 From: cfp2015a at cicling.org (Alexander Gelbukh (CFP)) Date: Mon, 26 Jan 2015 07:37:15 -0600 Subject: CFP: CICLing 2015 / NLP - Egypt - LNCS - deadline reminder Message-ID: <000b01d0396d$3844dd00$a8ce9700$@cicling.org> CICLing 2015 - www.CICLing.org/2015 - deadline reminder 16th Conference on Intelligent Text Processing and Computational Linguistics + 1st Workshop on Arabic NLP / sentiment analysis Cairo, Egypt - April 14-20, 2015 Springer LNCS, journals Deadline: Abstract: NOW, full text: February 1 Contact us for late submissions TOPICS: All topics related to computational linguistics, natural language processing, human language technologies, information retrieval, opinion mining, sentiment analysis, etc. PUBLICATION: Springer LNCS; posters: special issues of journals KEYNOTE SPEAKERS: Lauri Karttunen (Stanford U.), Joakim Nivre (Uppsala U.), Mona Diab (George Washington U.), Erik Cambria (Nanyang Tech. U.) CULTURAL PROGRAM: Three days of cultural activities: Giza pyramids, Old Cairo, Cairo Museum, pre- and post-conf tours to Luxor and/or Aswan (for separate fee) AWARDS: Best paper, best student paper, best presentation, best poster, best software SUBMISSION DEADLINES: NOW: registration of tentative abstract / title; February 1: full text of the registered papers (contact us for late submissions) See complete CFP and contact on www.CICLing.org/2015 From samir.ouchani at uni.lu Mon Jan 26 19:40:28 2015 From: samir.ouchani at uni.lu (Samir OUCHANI) Date: Mon, 26 Jan 2015 18:40:28 +0000 Subject: The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015 Message-ID: <6AE985D860873240AC24949EBE70B26B04DC31A7@hoshi.uni.lux> The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015), September 27-30, 2015 Berlin, Germany http://euspn-15.dai-labor.de/> ********************************************************************************** The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. All EUSPN-2015 accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted on www.Elsevier.com> and on Elsevier content platform ScienceDirect (www.sciencedirect.com>), and will be freely available worldwide. All papers in Procedia will also be indexed by Scopus (www.scopus.com>) and Engineering Village (Ei) (www.engineeringvillage.com>). This includes EI Compendex (www.ei.org/> compendex). The papers will contain linked references, XML versions and citable DOI numbers. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in the special issues of: - Journal of Mobile Information Systems, by IOS Press - Journal of Ambient Intelligence and Humanized Computing, by Springer - Journal of Web and Grid Services Papers on either completed or ongoing research are invited in the following and related tracks. - Autonomic and Pervasive Network Management - Databases and Ubiquitous Data Management - Human Computer Interaction for Pervasive/Ubiquitous Computing - Internet of Things - Machine-to-Machine (M2M) Networks - Multi-agent Systems and Intelligent Computing - Pervasive Algorithms, Protocols and Networks - Pervasive Cloud, Cluster and Grid Computing - Pervasive Technologies for Intelligent Transportation Systems, and Vehicular Networks & Applications - Pervasive/Ubiquitous Ad hoc, Mesh and Sensor Networks - RFID Technologies for Pervasive/Ubiquitous Computing - Sensing and Actuation Ubiquitous Systems and Pervasive Networks - Service Oriented Pervasive Computing - Software Engineering for Pervasive Systems and Applications - Ubiquitous Data Mining - Ubiquitous Intelligence & Cyber-Physical Computing - Ubiquitous Multimedia and Social Computing - Ubiquitous Security and Privacy Solutions - Ubiquitous Smart Systems and Applications - Ubiquitous Static and Mobile Systems Paper Submission Guidelines: Submitted papers must be no longer than 8 pages, including all figures and references. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, Elsevier. The EUSPN submission link can be found at: http://easychair.org/conferences/?conf=euspn2015>. All accepted papers will be scheduled for oral presentations and will be printed in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. At least one author of each accepted paper is required to register and attend the conference to present the work. Important Dates: Workshop Proposal Due: February 15, 2015 Submission Deadline: May 6, 2015 Author Notification: June 26, 2015 Final Manuscript Due: July 26, 2015 Committee: General Chairs Jan Keiser, DAI-Lab, TU Berlin, Germany Elhadi Shakshuki, Arcadia University, Canada Program Chairs Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium Marco Lützenberger, DAI-Lab, TU Berlin, Germany, Advisory Committee Ali Ghorbani, Univ. of New Brunswick, Canada Hossam Hassanein, Queen's University, Canada Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Makoto Takizawa, Seikei University, Japan David Taniar, Monash University, Australia Albert Zomaya, The University of Sydney, Australia Workshops Chairs Zahoor Khan, Higher Colleges of Technology, UAE Publicity Chairs Nabeel Al Qirim, College of Information Technology, UAE Christian Kuster, German-Turkish Advanced ICT Research Centre, Germany Samir Ouchani, University of Luxembourg, Luxembourg -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dehaan at kr.tuwien.ac.at Wed Jan 28 09:16:48 2015 From: dehaan at kr.tuwien.ac.at (Ronald de Haan) Date: Wed, 28 Jan 2015 09:16:48 +0100 Subject: PhDs in Logic VII -- May 14-16, 2015 -- Final call for abstracts and participation Message-ID: [apologies for cross-posting] PhDs in Logic VII May 14-16th, 2015 VIENNA, AUSTRIA http://phdsinlogic.logic-cs.at FINAL CALL FOR ABSTRACTS AND PARTICIPATION PhDs in Logic is an annual graduate conference in logic. Each year we invite four established researchers in various branches of logic to do a tutorial on their work in two 45-minute sessions. We also give PhD students the opportunity to do a twenty-minute presentation on (a) their own work or (b) an overview of some topic in their field. The conference includes the following tutorial speakers. Thomas Eiter (Vienna University of Technology) Michael Moortgat (Universiteit Utrecht) Revantha Ramanayake (Vienna University of Technology) Torsten Schaub (University Potsdam) PhD students in logic with a background in philosophy, computer science, mathematics or linguistics are the intended audience for these tutorials. They are also the type of students we have in mind for our thirty-minute student sessions. Students interested in doing a talk should send a 500-1000 word blinded abstract to https://easychair.org/conferences/?conf=pil2015 by February 12th, 2015. The selection of the talks will follow a double-blind review process. Please make sure that your name and affiliation are not included in the abstract. We welcome students to participate in PhDs in Logic VII regardless of whether they want to do a presentation. We also invite master students in logic, first year postdocs, and logicians from disciplines other than philosophy, computer science, mathematics and linguistics to apply. Students interested in participating without giving a talk should contact us at phdsinlogic at gmail.com. For more information, visit our website at http://phdsinlogic.logic-cs.at. In case you have any questions, please do not hesitate to contact us via phdsinlogic at gmail.com. Organizing Committee: Ronald de Haan, Martin Kronegger. Scientific Committee: Agata Ciabattoni, Jan van Eijck, Chris Fermüller, Nina Gierasimczuk, Thomas Icard, Eric Pacuit, Jakub Szymanik, Anna Zamansky. Advisory Board: Stefan Szeider, Helmut Veith. Sponsors: Vienna Center for Logic and Algorithms, Doctoral Program Logical Methods in Computer Science. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nardine at iiia.csic.es Wed Jan 28 11:04:13 2015 From: nardine at iiia.csic.es (Nardine Osman) Date: Wed, 28 Jan 2015 11:04:13 +0100 Subject: CFP Workshop on AI and Feedback @ IJCAI 2015 Message-ID: <73D48332-489C-449E-9DF9-5699D2639513@iiia.csic.es> ============================= First Call for Papers AInF @ IJCAI 2015 IJCAI 2015 Workshop on AI and Feedback 25-27 July 2015, Buenos Aires, Argentina http://iiia.csic.es/ainf15/ ============================= Scope ============================= AI and Feedback is the first international workshop on the topic and it is one of the IJCAI 2015 workshops (http://ijcai-15.org). It focuses on applying AI techniques for addressing the challenges of mining and extracting feedback, as well as assessing, analysing, and making use of feedback. Feedback is key for both improvement and decision making. As humans, we are designed to constantly seek feedback on how and what we are doing in life. Feedback can come from ourselves, from our peers, from our teachers, from our collaborators, audiences, customers, public or press. Feedback provides opportunities to learn about how we and our work are perceived by others. If we encounter someone [something] new, we can examine previous feedback to learn how this new person [thing] is perceived by others. A key target of this workshop is to discuss how to build intelligent feedback agents that are capable of autonomously providing feedback that equals or surpasses that of human beings in its usefulness. The feedback of artificial feedback agents should have some desirable characteristics. It should be socially and culturally appropriate, clearly expressed, sufficiently focused and contextualised, thoughtfully challenging yet encouraging, compassionate, open to debate, justified and comparative, also, it should be trustworthy. Giving and receiving feedback with these characteristics therefore is a challenging, creative process. Aims and objectives. This workshop aims to bring together researchers from different strands of AI to discuss various aspects of feedback. The following questions are examples for consideration: - How can we build creative feedback agents that can generate feedback, especially on creative work? - How can we provide a sufficient agency in AI systems so that feedback from such systems will be useful? - How can we model feedback so that it can be generated by AI systems? - How can we design intuitive environments in which groups of humans and AI systems can give each other feedback? - How can we design systems that can act as creative collaborators? That not only give feedback, but can actually propose changes to a developing artefact? - How can we mine and learn from large datasets of feedback, e.g. educational social networks? - How can implicit feedback be extracted and interpreted? - How can trust and reputation models help with the assessment of feedback? - How can we process and use feedback? - What are the possible applications for AI systems capable of giving creative feedback? ============================= Topics of Interest ============================= Topics of interest cover a variety of feedback-related issues, such as mining and extracting feedback, generating feedback, understanding feedback, and assessing feedback. Topics of interest cover different strands of AI, such as multiagent systems, machine learning, natural language processing, and knowledge representation. Topics include, but are not limited to: - Ontologies of feedback - Multimodal feedback - Implicit feedback - Opinion mining and sentiment analysis - Automatic generation of feedback - Modelling the impact of feedback - Designing environments for feedback - Feedback and machine learning - Trust and reputation models for feedback analysis - Applications: creative industries, music composition, online learning, etc. ============================= Important Dates ============================= - Abstract submission: 20 April 2015 - Paper submission: 23 April 2015 - Acceptance notification: 22 May 2015 - Camera-ready copy due: 5 June 2015 - Workshop dates: 25-27 July 2015 ============================= Submission ============================= We welcome and strongly encourage the submission of high quality, original work (published or unpublished), as well as visionary papers and roadmaps relevant to the scope of this workshop. Submitted papers must be formatted according to IJCAI guidelines. Formatting guidelines and electronic templates are available here: http://ijcai-15.org/downloads/FormattingGuidelinesIJCAI-15.zip Submitted papers should not exceed 8 pages, excluding the bibliographic references. Papers should be submitted electronically through the AInF2015 EasyChair site: https://easychair.org/conferences/?conf=ainf2015 Papers will be subject to a single-blind peer review. So authors can keep their names and affiliations on their submitted papers. ============================= Proceedings ============================= The workshop proceedings will be published as a CEUR Workshop Proceedings (ISSN: 1613-0073, http://ceur-ws.org). A selection of accepted workshop papers will be invited to extend their submission for a special journal issue. More information coming soon. Please keep an eye on the workshop's website: http://iiia.csic.es/ainf15/ ============================= Chairs ============================= - Nardine Osman [nardine at iiia.csic.es] Artificial Intelligence Research Institute (IIIA-CSIC), Barcelona, Spain - Matthew Yee-King [m.yee-king at gold.ac.uk] Department of Computing, Goldsmiths, University of London, London, UK ============================= Additional Information ============================= Please check the workshop's website: http://iiia.csic.es/ainf15/ For any questions, please email the workshop's chairs at: - nardine at iiia.csic.es - m.yee-king at gold.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ruy at cin.ufpe.br Thu Jan 29 04:04:47 2015 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Thu, 29 Jan 2015 00:04:47 -0300 Subject: WoLLIC 2015 - DEADLINE APPROACHING: Feb 8 Message-ID: [Please circulate. Apologies for cross-postings.] WoLLIC 2015 22nd Workshop on Logic, Language, Information and Computation July 20th-23rd, 2015 Bloomington, IN, USA SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Indiana University, USA Program in Pure and Applied Logic, Indiana University, USA Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Computer Science, Indiana University, USA CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-second WoLLIC will be held at the Department of Computer Science Indiana University, from July 20th to 23rd, 2015. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2015 EasyChair website. (Please go to http://wollic.org/wollic2015/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Feb 8, 2015, and the full paper by Feb 15, 2015 (firm date). Notifications are expected by Mar 22, 2015, and final papers for the proceedings will be due by Apr 5, 2015 (firm date). PROCEEDINGS The proceedings of WoLLIC 2015, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2015 issue of Mathematical Structures in Computer Science, CUP (to be confirmed). INVITED SPEAKERS Adriana Compagnoni (Stevens Institute, USA) Nina Gierasimczuk (ILLC, U Amsterdam, The Netherlands) John Harrison (Intel, USA) Peter Jipsen (Chapman U, USA) Andre Joyal (U du Québec à Montreal, Canada) Chung-chieh Shan (Indiana U, USA) Alexandra Silva (Radboud U Nijmegen, The Netherlands) Mehrnoosh Sadrzadeh (Queen Mary, UK) STUDENT GRANTS ASL sponsorship of WoLLIC 2015 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2015). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Feb 8, 2015: Paper title and abstract deadline Feb 15, 2015: Full paper deadline Mar 22, 2015: Author notification Apr 5, 2015: Final version deadline (firm) PROGRAMME COMMITTEE Juliana Küster Filipe Bowles (U St Andrews, Scotland) Robin Cooper (U Gothenburg, Sweden) Martín Escardó (U Birmingham, UK) Nikos Galatos (U Denver, USA) Achim Jung (U Birmingham, UK) Sara Kalvala (U Warwick, UK) Elham Kashefi (Edinburgh U, Scotland) Peter Lefanu Lumsdaine (Institute for Advanced Study, USA) Ian Mackie (U Sussex, UK) Gerard de Melo (Tsinghua University, China) Vivek Nigam (Federal U of Paraíba, Brazil) Catarina Dutilh Novaes (U Groningen, The Netherlands) Valeria de Paiva (Nuance Comm, USA) (CHAIR) Luiz Carlos Pereira (PUC-Rio, Brazil) Elaine Pimentel (Federal U of Rio Grande do Norte, Brazil) Alexandra Silva (Radboud Nijmegen U, The Netherlands) Carolyn Talcott (SRI International, USA) Josef Urban (Radboud Nijmegen U, The Netherlands) Laure Vieu (IRIT-Toulouse, France) Renata Wasserman (U São Paulo, Brazil) Anna Zamansky (U Haifa, Israel) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Daniel Leivant (Indiana U) (Local co-chair) Larry Moss (Indiana U) (Local co-chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE www.indiana.edu/~iulg/wollic -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Thu Jan 29 11:06:10 2015 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Thu, 29 Jan 2015 07:06:10 -0300 Subject: IJCAI-15 FINAL CALL FOR PAPERS Message-ID: [Apology for cross-postings] ************************************************************************************************* Final Call for Papers 24th International Joint Conference on Artificial Intelligence (IJCAI-15), Buenos Aires, Argentina / 25 July-1 August 2015 http://ijcai-15.org/ ***Submission deadlines are approaching. Remember to submit your work using the proper link according to the corresponding Track (Main, Machine Learning, KR, AI and the Arts).*** IMPORTANT DATES * Abstract submission: Feb 8, 2015 (11:59PM, UTC-12). * Paper submission: Feb 12, 2015 (11:59PM, UTC-12). * Author feedback: March 17-23, 2015 (11:59PM, UTC-12). * Notification of acceptance/rejection: April 16, 2015. * Camera-ready copy due: May 2, 2015. SUBMISSION LINKS - Main track: http://ijcai2015.confmaster.net/ - Machine Learning Track: http://ijcai15-ml.confmaster.net/ - KR Track: http://ijcai15-kr.confmaster.net/ - AIA Track: http://ijcai15-aia.confmaster.net/ ************************************************************************************************* The Program Committee of the Twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI-15) invites the submission of original technical papers for the conference, to be held in Buenos Aires, Argentina, from July 25th to August 1st, 2015. Submissions are invited on significant, original, and previously unpublished research on all aspects of artificial intelligence. Over the past forty years, IJCAI has enjoyed tremendous success in bringing together the international AI community in communicating and celebrating the achievements and advances of artificial intelligence research and practice. With the current explosion of Artificial Intelligence in all walks of life, this year’s IJCAI conference will have even more to celebrate! A theme of IJCAI-15 is Artificial Intelligence and Arts. This theme will highlight AI’s increasingly important role in how we create, discover, disseminate, learn and appreciate arts. THE LOCATION: BUENOS AIRES AND ARGENTINA South America has never before hosted an IJCAI conference, and Buenos Aires is surely an ideal choice for this landmark event. As a key cultural centre in South America, the City of Buenos Aires is also one of the most important and dynamic business and intellectual centres of the region. Buenos Aires has incredible food and wine, innovative and exciting young designers, and a thriving cultural scene. This zest for life makes Buenos Aires one of Latin America's essential destinations. IJCAI-15 will take place close to the downtown area of Buenos Aires. Attendees will find an outstanding modern conference venue, close to many restaurants, with a vibrant street life. And of course, since a visit to Buenos Aires would be incomplete without a visit to the famous Boca neighbourhood and taking in a tango show, we have planned an exciting social program including both. Beyond Buenos Aires, Argentina provides tremendous opportunities for tourism, from the dramatic UNESCO World Heritage site of Iguazu Falls to the ice dams of Los Glaciares National Park. For more information on Argentina tourism, see: http://www.turismo.gov.ar/ SUBMISSION DETAILS Full instructions including formatting guidelines and electronic templates are available on the IJCAI 2015 website: http://ijcai-15.org/index.php/call-for-papers Similar to AAAI-15, IJCAI-15 will introduce a new mechanism for authors to submit substantially improved versions of their declined AAAI-15 submissions. Resubmission details are available on the above mentioned website. AI AND THE ARTS IJCAI-15 will include a special track around the theme of “AI and the Arts”. This will include social activities around this theme, as well as a scientific track. Details are available on the conference website. Shuiwang Ji and Ana Maguitman IJCAI-15 Publicity Co-Chairs Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From ijcai2015.publicity at gmail.com Thu Jan 29 11:15:30 2015 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Thu, 29 Jan 2015 07:15:30 -0300 Subject: =?UTF-8?Q?IJCAI_2015_Doctoral_Consortium_=2D_CALL_FOR_APPLICATIO?= =?UTF-8?Q?=E2=80=8BNS?= Message-ID: [Apology for cross-postings] ************************************************************************************************* IJCAI 2015 - Doctoral Consortium Call for Applications Students are invited to apply for admission to the doctoral consortium to be held at the IJCAI conference, Buenos Aires, Argentina, 25 July-1 August 2015. The doctoral consortium provides an opportunity for Ph.D. students to discuss their research interests and career objectives with established researchers in AI, network with other participants, and receive mentoring about career planning and career options. The doctoral consortium will expose students to different areas of research within AI and help building professional connections within the international community of AI researchers. We also welcome applications of students who recently obtained their Ph.D. (after August 31st, 2014) provided that they do not have a faculty position. Deadline for applications: February 26, 2015 Notification of acceptance: April 16, 2015 Perspective applicants should submit: 1. a two-page extended abstract on their thesis, formatted following the IJCAI requirements. Accepted abstracts will be included in the IJCAI Proceedings and be presented briefly at the doctoral consortium. Acceptance for publication is not a requirement for admission to the doctoral consortium, but submission is required to apply to the doctoral consortium. Accepted extended abstracts will be published in the IJCAI Proceedings. 2. a curriculum vitae (2 pages) with background (name, university), education (degree sought, year/status in degree, previous degrees), employment, and relevant experience in research (publications, presentations, conferences attended, etc). 3. a personal statement (1-2 pages max) with answers to the following questions: a. Is this the first time you attend IJCAI DC? If not, have you attended other DC? Please say which one(s) and what was most useful to you. b. Have you submitted an article to IJCAI and/or IJCAI workshops? c. When do you expect to graduate? d. What type of job do you desire after graduation (research, teaching, development, etc)? 4. a letter of support from the advisor For details visit http://ijcai15.org/. Submissions to: https://easychair.org/conferences/?conf=ijcai2015dc Some funding will be available to cover in part travel costs. IJCAI will offer additional travel grants to student authors of accepted papers. Details will be available later. For additional information and questions contact: Maria Gini (Univ. of Minnesota, USA) Silvia Schiaffino (ISISTAN, UNCPBA, Argentina) Co-chairs, Doctoral Consortium, IJCAI 2015 email: ijcai15dc at cs.umn.edu Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From ruy at cin.ufpe.br Thu Jan 29 12:05:32 2015 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Thu, 29 Jan 2015 08:05:32 -0300 Subject: WoLLIC 2015 - DEADLINE APPROACHING: Feb 8 Message-ID: [Please circulate. Apologies for cross-postings.] WoLLIC 2015 22nd Workshop on Logic, Language, Information and Computation July 20th-23rd, 2015 Bloomington, IN, USA SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Indiana University, USA Program in Pure and Applied Logic, Indiana University, USA Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Computer Science, Indiana University, USA CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-second WoLLIC will be held at the Department of Computer Science Indiana University, from July 20th to 23rd, 2015. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2015 EasyChair website. (Please go to http://wollic.org/wollic2015/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Feb 8, 2015, and the full paper by Feb 15, 2015 (firm date). Notifications are expected by Mar 22, 2015, and final papers for the proceedings will be due by Apr 5, 2015 (firm date). PROCEEDINGS The proceedings of WoLLIC 2015, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2015 issue of Mathematical Structures in Computer Science, CUP (to be confirmed). INVITED SPEAKERS Adriana Compagnoni (Stevens Institute, USA) Nina Gierasimczuk (ILLC, U Amsterdam, The Netherlands) John Harrison (Intel, USA) Peter Jipsen (Chapman U, USA) Andre Joyal (U du Québec à Montreal, Canada) Chung-chieh Shan (Indiana U, USA) Alexandra Silva (Radboud U Nijmegen, The Netherlands) Mehrnoosh Sadrzadeh (Queen Mary, UK) STUDENT GRANTS ASL sponsorship of WoLLIC 2015 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2015). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Feb 8, 2015: Paper title and abstract deadline Feb 15, 2015: Full paper deadline Mar 22, 2015: Author notification Apr 5, 2015: Final version deadline (firm) PROGRAMME COMMITTEE Juliana Küster Filipe Bowles (U St Andrews, Scotland) Robin Cooper (U Gothenburg, Sweden) Martín Escardó (U Birmingham, UK) Nikos Galatos (U Denver, USA) Achim Jung (U Birmingham, UK) Sara Kalvala (U Warwick, UK) Elham Kashefi (Edinburgh U, Scotland) Peter Lefanu Lumsdaine (Institute for Advanced Study, USA) Ian Mackie (U Sussex, UK) Gerard de Melo (Tsinghua University, China) Vivek Nigam (Federal U of Paraíba, Brazil) Catarina Dutilh Novaes (U Groningen, The Netherlands) Valeria de Paiva (Nuance Comm, USA) (CHAIR) Luiz Carlos Pereira (PUC-Rio, Brazil) Elaine Pimentel (Federal U of Rio Grande do Norte, Brazil) Alexandra Silva (Radboud Nijmegen U, The Netherlands) Carolyn Talcott (SRI International, USA) Josef Urban (Radboud Nijmegen U, The Netherlands) Laure Vieu (IRIT-Toulouse, France) Renata Wasserman (U São Paulo, Brazil) Anna Zamansky (U Haifa, Israel) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Daniel Leivant (Indiana U) (Local co-chair) Larry Moss (Indiana U) (Local co-chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE www.indiana.edu/~iulg/wollic -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.sensoy at abdn.ac.uk Thu Jan 29 23:49:58 2015 From: m.sensoy at abdn.ac.uk (Sensoy, Murat) Date: Thu, 29 Jan 2015 22:49:58 +0000 Subject: COIN@AAMAS - 2nd CFP Message-ID: COIN at AAMAS2015 Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems http://coin-aamas2015.iiia.csic.es A workshop co-located with the 12th International Conference on Autonomous Agents and Multiagent Systems AAMAS2015 (http://www.aamas2015.com/) 4-8 May, 2015, Istanbul, Turkey ----------------------------- 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 multiagent 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 quid in the design and construction of open systems is to devise mechanisms that foster interactions that are conducive to achieve 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. • 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. IMPORTANT DATES February 11 Deadline for submitting to workshop March 10 Decision March 19 Camera ready May 4 or 5 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: COIN at AAMAS-2015 (https://easychair.org/conferences/?conf=coinaamas15) 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 2011 registrants in electronic form. As with previous COIN workshops, revised and extended versions of selected papers will published in a Springer LNCS volume in combination with the post-proceedings of a second COIN workshop to be held in 2015. That volume is published as part of The Coordination, Organizations, Institutions, and Norms in Agent Systems book series, with all the indexing, referencing and follow-up benefits associated with an established line of publication. COIN is a CORE B workshop Revised papers must take into account the discussion held during the workshop, hence, only those papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. COIN at AAMAS2015 CO-CHAIRS * Murat Sensoy (murat.sensoy @ ozyegin . edu . tr) * Pablo Noriega (pablo @ iiia.csic . es) PROGRAM COMMITTEE * Mohsen Afsharchi (University of Zanjan, IR) * Felipe Meneguzzi (PUCRS, BR) * Alexander Artikis (National Centre for Scientific Research "Demokritos", GR) * John-Jules Meyer (Utrecht University, NL) * Guido Boella (University of Torino, IT) * Simon Miles (King's College London, UK) * Didac Busquets (Imperial College, UK) * Daniel Moldt (University of Hamburg, DE) * Patrice Caire (U. Luxembourg, LU) * Tim Norman (Aberdeen, UK) * Henrique Cardoso (U of Porto, Pt) * Eugenio Oliveira (Universidade do Porto, PT) * Cristiano Castelfranchi (ISTC-CNR, IT) * Andrea Omicini (Universita di Bologna, IT) * Amit Chopra (Lancaster U, UK) * Nir Oren (University ofAberdeen, UK) * Rob Christiaanse (TU delft, NL) * Sascha Ossowski (URJC, ES) * Antonio Carlos da Rocha Costa (UCPEL, BR) * Simon Parsons (U of Liverpool, UK) * Luciano Coutinho (Universidade Federal do Maranhão, BR) * Jeremy Pitt (Imperial College, UK) * Natalia Criado (Liverpool John MooresU, UK) * Alessandro Ricci (Universita di Bologna, IT) * Mehdi Dastani (U of Utrecht, NL) * Juan-Antonio Rodriguez-Aguilar (IIIA-CSIC, ES) * Geeth de Mel (IBM TJ Watson, US) * Antonino Rotolo (U of Bolonia, IT) * Nicoletta Fornara (Lugano, CH) * Tony Savarimuthu (Otago, NZ) * Amineh Ghorbani (TU Delft, NL) * Christophe Sibertin-Blanc (IRIT-CNRS, FR) * Aditya Ghose (U of Wollongong, AU) * Carles Sierra (IIIA-CSIC, ES) * Davide Grossi (U Liverpool, UK) * Liz Sonenberg (University of Melbourne, AU) * Jomi-Fred Hubner (University of Blumenau, BR) * Charalampos Tampitsikas (U Lugano, CH) * Ozgur Kafali (Royal Holloway,Univ. of London, UK) * Pankaj Telang (Cisco, US) * Anup Kalia (North Carolina StateUniversity, US) * John Thangarajah (RMIT, AU) * Martin Kollingbaum (University ofAberdeen, UK) * Luca Tummolini (ISTC-CNR, IT) * Christian Lemaitre (Universidad Autonoma Metropolitana, MX) * Leender van der Torre (University of Luxembourg, LU) * Victor Lesser (U. Massachusetts Amherst, US) * Harko Verhagen (StockholmUniversity, SE) * Maite Lopez Sanchez (U of Barcelona, ES) * Dani Villatoro (BBVA Data & Analytics, ES) * Emiliano Lorini (IRIT-CNRS, FR) * George Vouros (University of Piraeus, GR) * Samhar Mahmoud (Kings, London, UK) COIN STEERING COMMITTEE COIN STEERING COMMITTEE Huib Aldewereld (TU Delft, NL) Frank Dignum (U Utrecht, NL) Pablo Noriega (IIIA-CSIC, ES) Viviane Torres da Silva (URJ, BR) Olivier Boissier (ENS Mines Saint-Etienne, FR) Virginia Dignum (TUDelft, NL) Julian Padget (U Bath, UK) Wamberto Vasconcelos (U Aberdeen, UK) Tina Balke (U Surrey, UK) Nicoletta Fornara (U Lugano, CH) Birna van Riemsdijk (TU Delft, NL) Javier Vazquez-Salceda (UPC, ES) Stephen Cranefield (U. Otago, NZ) Eric Matson Purdue U, US) Jaime Sichman (U Sao Paulo, BR) Marina de Vos (U Bath, UK) George Vouros (U Piraeus, GR) The University of Aberdeen is a charity registered in Scotland, No SC013683. Tha Oilthigh Obar Dheathain na charthannas clàraichte ann an Alba, Àir. SC013683. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From martin.lange at uni-kassel.de Fri Jan 30 09:31:47 2015 From: martin.lange at uni-kassel.de (Martin Lange) Date: Fri, 30 Jan 2015 09:31:47 +0100 Subject: TIME 2015 1st Call for Papers - the 22nd Int. Symp. on Temporal Representation and Reasoning, Kassel, Germany Message-ID: <54CB4173.6090504@uni-kassel.de> *** Apologies for multiple copies *** 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015 http://time2015.uni-kassel.de Call for papers TIME 2015 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 22nd edition, has a wide remit and intends to cater both for theoretical aspects and well-founded applications. One of the key aspects of the time symposium is its interdisciplinarity with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. Submissions of high quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. The symposium will encompass three tracks on temporal representation and reasoning in AI, Databases, as well as Logic and Verification. Temporal Representation and Reasoning in AI includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web - constraint-based temporal reasoning - temporal preferences Temporal Database Management includes, but is not limited to: - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of business processes and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - temporal aspects and big data - temporal aspects in NoSQL databases - temporal data warehouses - temporal healthcare databases and warehouses - time series analysis and mining - semistructured temporal data - novel applications of temporal database management - experiences with real applications Temporal Logic and Verification in Computer Science includes, but is not limited to: - specification and verification of systems - verification of web applications - synthesis and execution - model checking algorithms and implementations - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics for games and open systems - temporal logics of knowledge - hybrid systems and real-time logics - tools and practical systems - temporal issues in security Important Dates **************** - Submission deadline: April 30th - Notification: June 30th - Final version due: July 17th - Early registration deadline: July 31st - Symposium: September 23rd-25th Invited Speakers **************** - Giuseppe de Giacomo, Sapienza Università di Roma - Carlo Zaniolo, UCLA - Benedikt Bollig, ENS Cachan Program Committee ******************** Thomas Ågotnes, Univ. of Bergen Alessandro Artale, Free Univ. of Bolzano-Bozen Sourav S. Bhowmick, Nanyang Technical Univ. Michael Böhlen, Univ. of Zurich Amedeo Cesta, ISTC-CNR, Rome Carlo Combi, Univ. of Verona Stephane Démri, CNRS, Cachan Clare Dixon, Univ. of Liverpool Curtis Dyreson, Utah State University Johann Eder, Alpen Adria Univ. Klagenfurt Shashi K. Gadia, Iowa State Univ. Rajeev Goré, Australian National Univ., Canberra Fabio Grandi, Univ. of Bologna (PC co-chair) Keijo Heljanko, Aalto Univ. Wojciech Jamroga, Polish Academy of Sciences, Warsaw Felix Klaedtke, NEC Research, Heidelberg Martin Lange, Univ. of Kassel (PC co-chair) Francois Laroussinie, Univ. of Paris 7 Martin Leucker, Univ. of Lübeck Alessio Lomuscio, Imperial College (PC co-chair) Étienne Lozes, ENS Cachan Federica Mandreoli, Univ. of Modena and Reggio Emilia Jerzy Marcinkowski, Univ. of Wroclaw Angelo Montanari, Univ. of Udine Ben Moszkowski, Univ. of Newcastle Aniello Murano, Univ. of Napoli "Federico II" Kjetil Nørvåg, Norwegian Univ. of Science and Technology, Trondheim Dirk Pattinson, Australian National Univ., Canberra Ram Ramanujam, IMS Chennai Sven Schewe, Univ. of Liverpool Paolo Terenziani, Univ. of Turin Mahesh Viswanathan, Univ. of Illinois at Urbana-Champaign James Worrell, Univ. of Oxford Robert Wrembel, Poznan Univ. of Technology Submissions ************ Submissions should be in PDF format (with the necessary fonts embedded). They must be formatted according to the IEEE guidelines and must not exceed 10 pages (US letter format); over-length submissions may be rejected without review. Submissions will be handled electronically by Easychair. Proceedings ************ Accepted papers will be presented at the symposium and included in the proceedings, which will be published by the IEEE Conference Publishing Services (CPS), as usual within the TIME series. Acceptance of a paper is contingent on one author registering for and presenting the paper at the symposium. Journal Special Issue As in previous years, the authors of the best papers of the conference will be invited to submit an extended version of their contribution to a special issue on TIME 2015, to appear in the journal Information & Computation. Venue ****** TIME2015 will be held at the University of Kassel. The city of Kassel is situated in the center of Germany with convenient train connections to major cities and airports, including Frankfurt. Kassel is a center of culture and art, once home to the famous Brothers Grimm, now hosting an art school of high reputation and the documenta - regarded to be Europe’s most important modern art exhibition taking place every fifth year only. The 300-year-old “Bergpark”, a large park-like area with a castle and monuments at Kassel’s western boundaries, has recently been given the status of a UNESCO heritage site and become a major tourist attraction since. For more information please consult http://www.kassel.de/englisch/. From announce at cs.ucy.ac.cy Sat Jan 31 13:22:33 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 31 Jan 2015 14:22:33 +0200 Subject: WETICE 2015: Final Call for Papers (*** extended submission deadline ***) Message-ID: *** FINAL CALL FOR PAPERS *** 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015) 15-17 June 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://www.cyprusconferences.org/wetice2015/ *** Extended Submission Deadline: 28 February 2015 *** The IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) is an international forum for the state-of-the-art research in enabling technologies for collaboration, consisting of a number of related conference tracks. The conference proceedings are published by IEEE Computer Society and are also available online through the IEEE's Xplore digital library. The proceedings will be submitted for indexing through INSPEC, Scopus, Compendex, Thomson Reuters, DBLP, Google Scholar and EI Index. The 24th WETICE edition, held on June 15-17, 2015 in Larnaca (Cyprus), consists of a set of self-contained and self-managed tracks. The Program Committee solicits the submission of papers to the following tracks: · ACEC - Adaptive Computing (and Agents) for Enhanced Collaboration · AROSA - Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures · CAGing - Collaborative and Autonomic Green Computing · CDCGM - Convergence of Distributed Clouds, Grids and their Management · COPECH - Collaboration tools for Preservation of Environment and Cultural Heritage · CPS - Capacity driven Processes and Services for Cyber Physical Society · CSP - Collaborative Software Processes · FISA - Future Internet Services and Applications (formerly PASCS and PROMASC) · FVSBS - Formal Verification of Service Based Systems · MADYNE - Management of Dynamic Networked Enterprises · VSC - Validating Software for Critical Systems · Web2Touch - Modeling the Collaborative Web Knowledge Prospective authors are invited to use the links available at the List of Tracks page of the WETICE 2015 main website (www.wetice.org) to get detailed information about the list of topics addressed by each single track. The paper submission procedure is carried out using the EasyChair conference management system; the link for submission is: https://easychair.org/conferences/?conf=wetice2015 IMPORTANT DATES · Submission deadline: February 28th, 2015 (extended) · Notification of acceptance: March 27th, 2015 · Camera-ready submission: April 10th, 2015 Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template, which is available at the link: http://www.ieee.org/conferences_events/conferences/publishing/templates.html Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. At least one author for each accepted paper should register and attend WETICE 2015 to have the paper published in the proceedings. Please contact the Program Chairs for any additional information or request. Andrea D'Ambrogio (dambro at uniroma2.it) Khalil Drira (khalil at laas.fr) WETICE 2015 Program Chairs -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sat Jan 31 16:11:07 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 31 Jan 2015 16:11:07 +0100 Subject: AlCoB 2015: 3rd call for papers Message-ID: <93EFE9D90CDD434C9B48880C704C09A7@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ****** 2nd INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2015 Mexico City, Mexico August 4-6, 2015 Organized by: Centre for Complexity Sciences (C3) School of Sciences Institute for Research in Applied Mathematics and Systems (IIMAS) Graduate Program in Computing Science and Engineering National Autonomous University of Mexico Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/alcob2015/ **************************************************************************** ****** 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. 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 2015 will take place in Mexico City, the oldest capital city in the Americas and the largest Spanish-speaking city in the world. The venue will be the main campus of the National Autonomous University of Mexico. 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 2015 will consist of: invited lectures peer-reviewed contributions INVITED SPEAKERS: Julio Collado-Vides (National Autonomous University of Mexico, Cuernavaca), >From Curation of Information to Knowledge Encoding Gaston Gonnet (Swiss Federal Institute of Technology, Zurich), Human-Dog-Mouse, Probably and Provable Non-trivial Evolution Close to the Root of the Mammalian Clade Peter D. Karp (SRI International, Menlo Park), Algorithms for Metabolic Route Search and Determination of Reaction Atom Mappings PROGRAMME COMMITTEE: Stephen Altschul (National Center for Biotechnology Information, Bethesda, USA) Yurii Aulchenko (Russian Academy of Sciences, Novosibirsk, Russia) Pierre Baldi (University of California, Irvine, USA) Daniel G. Brown (University of Waterloo, Canada) Yuehui Chen (University of Jinan, China) Keith A. Crandall (George Washington University, Washington, USA) Joseph Felsenstein (University of Washington, Seattle, USA) Michael Galperin (National Center for Biotechnology Information, Bethesda, USA) Susumu Goto (Kyoto University, Japan) Igor Grigoriev (DOE Joint Genome Institute, Walnut Creek, USA) Martien Groenen (Wageningen University, The Netherlands) Yike Guo (Imperial College, London, UK) Javier Herrero (University College London, UK) Karsten Hokamp (Trinity College Dublin, Ireland) Hsuan-Cheng Huang (National Yang-Ming University, Taipei, Taiwan) Ian Korf (University of California, Davis, USA) Nikos Kyrpides (DOE Joint Genome Institute, Walnut Creek, USA) Mingyao Li (University of Pennsylvania, Philadelphia, USA) Yun Li (University of North Carolina, Chapel Hill, USA) Jun Liu (Harvard University, Cambridge, USA) Rodrigo López (European Bioinformatics Institute, Hinxton, UK) Andrei N. Lupas (Max Planck Institute for Developmental Biology, Tübingen, Germany) B.S. Manjunath (University of California, Santa Barbara, USA) Carlos Martín-Vide (chair, Rovira i Virgili University, Tarragona, Spain) Tarjei Mikkelsen (Broad Institute, Cambridge, USA) Henrik Nielsen (Technical University of Denmark, Lyngby, Denmark) Zemin Ning (Wellcome Trust Sanger Institute, Hinxton, UK) Christine Orengo (University College London, UK) Modesto Orozco (Institute for Research in Biomedicine, Barcelona, Spain) Christos A. Ouzounis (Centre for Research & Technology Hellas, Thessaloniki, Greece) Manuel Peitsch (Philip Morris International R&D, Neuchâtel, Switzerland) David A. Rosenblueth (National Autonomous University of Mexico, Mexico City, Mexico) Julio Rozas (University of Barcelona, Spain) Alessandro Sette (La Jolla Institute for Allergy and Immunology, USA) Peter F. Stadler (University of Leipzig, Germany) Guy Theraulaz (Paul Sabatier University, Toulouse, France) Alfonso Valencia (Spanish National Cancer Research Centre, Madrid, Spain) Kai Wang (University of Southern California, Los Angeles, USA) Lusheng Wang (City University of Hong Kong, Hong Kong) Zidong Wang (Brunel University, Uxbridge, UK) Harel Weinstein (Cornell University, New York, USA) Jennifer Wortman (Broad Institute, Cambridge, USA) Jun Yu (Chinese Academy of Sciences, Beijing, China) Mohammed J. Zaki (Rensselaer Polytechnic Institute, Troy, USA) Louxin Zhang (National University of Singapore, Singapore) Hongyu Zhao (Yale University, New Haven, USA) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Francisco Hernández-Quiroz (Mexico City) Carlos Martín-Vide (Tarragona, co-chair) David A. Rosenblueth (Mexico City, co-chair) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=alcob2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/alcob2015/Registration.php DEADLINES: Paper submission: March 2, 2015 (23:59 CET) Notification of paper acceptance or rejection: April 10, 2015 Final version of the paper for the LNCS/LNBI proceedings: April 19, 2015 Early registration: April 19, 2015 Late registration: July 21, 2015 Submission to the journal special issue: November 6, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: AlCoB 2015 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: National Autonomous University of Mexico Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com