From kuhntobias at gmail.com Tue Dec 3 12:49:49 2013 From: kuhntobias at gmail.com (Tobias Kuhn) Date: Tue, 03 Dec 2013 12:49:49 +0100 Subject: Announcement: Fourth Workshop on Controlled Natural Language (CNL 2014) Message-ID: <529DC55D.7040709@gmail.com> --------------------------------------------------------------------- Announcement and Call for Papers *** FOURTH WORKSHOP ON CONTROLLED NATURAL LANGUAGE (CNL 2014) *** Co-located with COLING 2014 20-22 August 2014 Galway, Ireland http://attempto.ifi.uzh.ch/site/cnl2014/ Proceedings in Springer LNCS. --------------------------------------------------------------------- This workshop on controlled natural language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces. Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop. Topics ------ Possible topics for CNL 2014 include: - CNL for knowledge representation - CNL for query interfaces - CNL for specifications - CNL for business rules - CNL for dialogue systems - CNL for machine translation - CNL for improved understandability of texts - CNL for natural language generation - design of CNLs - CNL applications - CNL evaluation - usability and acceptance of CNL - CNL grammars and lexica - multilingual CNLs - reasoning in CNL - spoken CNL - CNL in the context of the Semantic Web and Linked Open Data - CNL in the government - CNL in industry - CNL use cases - theoretical properties of CNL Important Dates --------------- Submission deadline: 14 March 2014 Notification of acceptance: 12 May 2014 Deadline for revised papers: 9 June 2014 Workshop: 20-22 August 2014 Submissions and Proceedings --------------------------- We invite researchers to submit papers with novel contributions in the area of CNL. These research papers should be formatted according to the Springer LNCS format and should not exceed 10 pages. Papers should be submitted via the EasyChair conference system: http://www.easychair.org/conferences/?conf=cnl2014 Accepted papers will be included in the workshop proceedings to be published by Springer in their LNCS/LNAI series and indexed in all major citation databases including ISI Web of Science and Scopus. Venue ----- The workshop takes place in Ireland at INSIGHT at NUI Galway (formerly DERI). Organization Committee ---------------------- - Brian Davis (INSIGHT at NUI Galway, formerly DERI, Ireland) - Kaarel Kaljurand (University of Zurich, Switzerland) - Tobias Kuhn (ETH Zurich, Switzerland) Program Committee ----------------- - Krasimir Angelov (Chalmers University, Sweden) - Johan Bos (University of Groningen, Netherlands) - Paul Buitelaar (INSIGHT at NUI Galway, formerly DERI, Ireland) - Olga Caprotti (University of Helsinki, Finland) - Rogan Creswick (Galois, USA) - Danica Damljanovic (University of Sheffield, UK) - Brian Davis (INSIGHT at NUI Galway, formerly DERI, Ireland) - Ronald Denaux (iSOCO, Spain) - Vania Dimitrova (University of Leeds, UK) - Ramona Enache (Chalmers University, Sweden) - Esra Erdem (Sabanci University, Turkey) - Sébastien Ferré (University Rennes 1, France) - Norbert E. Fuchs (University of Zurich, Switzerland) - Normunds Grūzītis (University of Latvia) - Siegfried Handschuh (INSIGHT at NUI Galway, formerly DERI, Ireland) - Stefan Höfler (University of Zurich, Switzerland) - Kaarel Kaljurand (University of Zurich, Switzerland) - Peter Koepke (University of Bonn, Germany) - Tobias Kuhn (ETH Zurich, Switzerland) - Hans Leiß (University of Munich, Germany) - Reinhard Muskens (Tilburg University, Netherlands) - Adegboyega Ojo (INSIGHT at NUI Galway, formerly DERI, Ireland) - Gordon Pace (University of Malta) - Richard Power (The Open University, UK) - Laurette Pretorius (University of South Africa) - Allan Ramsay (University of Manchester, UK) - Mike Rosner (University of Malta) - Aarne Ranta (University of Gothenburg, Sweden) - Rolf Schwitter (Macquarie University, Australia) - Geoff Sutcliffe (University of Miami, USA) - Irina Temnikova (University of Wolverhampton, UK) - Allan Third (The Open University, UK) - Camilo Thorne (Free University of Bozen-Bolzano, Italy) - Silvie Spreeuwenberg (LibRT, Netherlands) - Uta Schwertel (imc, Germany) - Jeroen Van Grondelle (Be Informed, Netherlands) - Yorick Wilks (University of Sheffield, UK) - Adam Wyner (University of Aberdeen, UK) From a.artikis at gmail.com Wed Dec 4 13:06:35 2013 From: a.artikis at gmail.com (Alexander Artikis) Date: Wed, 4 Dec 2013 14:06:35 +0200 Subject: CFP: special session on Action Languages in the Hellenic AI conference Message-ID: Special Session in the Hellenic Artificial Intelligence Conference May 15-17, 2014 http://setn2014.cs.uoi.gr/index.php/en/special-sessions/action-languages Action Languages: Theory & Practice Action languages are formalisms supporting the representation and reasoning of actions or events and their effects. They constitute an important field of Artificial Intelligence, having played a pivotal role in the development of logics and languages to represent knowledge and reason about the dynamics of systems. Examples are the Situation Calculus, the Event Calculus and the language BC. The aim of this special session is to bring together researchers working in the active field of action languages. This way, researchers will be able to exchange ideas and establish common research programmes. We invite quality submissions focusing on various aspects of action languages. We welcome both theoretical contributions as well as papers describing emerging applications. For the latter, a time slot will be devoted to software demos (authors should state their desire to accompany the oral presentation with a live demo or video clip in their submission). Broad topics include: -Action language implementations. -Benchmark problems and datasets. -Action languages for: +Stream processing in Big Data applications. +Reasoning and planning in Ambient Intelligence. +Run-time service discovery. +Cognitive robotics. +Managing competitive multi-agent systems. +Supporting health care systems. +Complex event and activity recognition. +Reasoning about the knowledge of other agents. +Static and run-time reasoning about (data-aware) business processes. -Action languages in video-games. Key Dates: Submission deadline: January 13 Notification: February 17 CRC deadline: March 5 Submission Instructions: http://setn2014.cs.uoi.gr/index.php/en/submission Special Session Organisers: Alexander Artikis, NCSR Demokritos, Greece Marco Montali, Free University of Bozen-Bolzano, Italy Theodore Patkos, Foundation for Research and Technology (FORTH), Crete, Greece Stavros Vassos, Sapienza University of Rome, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From f.dalpiaz at uu.nl Wed Dec 4 17:41:20 2013 From: f.dalpiaz at uu.nl (Fabiano Dalpiaz) Date: Wed, 04 Dec 2013 16:41:20 +0000 Subject: EMAS 2014 Workshop -- Call for Papers Message-ID: ==================================================== CALL FOR PAPERS The 2nd International Workshop on Engineering Multi-Agent Systems (EMAS 2014) May 5-6, 2014, Paris, France. http://emas14.wordpress.com/ In conjunction with AAMAS 2014 ==================================================== WORKSHOP SUMMARY The engineering of multi-agent systems (MAS) is a complex activity, for these systems consist of multiple autonomous and heterogeneous agents, and the system's proper functioning depends on the effective interaction of these agents. MAS have been used to a certain extent in the industry, but a wider adoption is hindered by the fact that the engineering techniques for building them are not as mature as mainstream software engineering techniques. Numerous challenges have to be addressed, including: - Design and software engineering; for example, how to effectively design agents and their interactions? - Implementation; how to effectively implement multi-agent coordination or organizations? - Verification; how to formally verify (un)desired properties of individual agents and MAS? It is manifest that these challenges can be tackled more effectively when considered together within the overarching discipline of MAS engineering. For example, design artefacts (e.g., agent or MAS models) can be used to support and assist with debugging and testing. Another example is the development of agent-oriented programming languages that result in programs that are more readily verifiable. A final example is the use of declarative techniques that span design and implementation. The International Workshop on Engineering Multi-Agent Systems (EMAS) is the ideal venue for papers that relate to all aspects of agent and MAS engineering. EMAS was created in 2013 as a merger of three separate workshops (with overlapping communities) that focus on software engineering aspects (AOSE), programming aspects (ProMAS), and the application of declarative techniques to design, programming and verification (DALT). The EMAS community welcomes application papers that describe lessons learned and engineering challenges identified in building and deploying multi-agent systems. The EMAS workshop explicitly pursues three goals: - To progress and further develop the understanding of how to engineer multi-agent systems. - To bring together the communities that are concerned with different aspects of engineering multi-agent systems, and by doing so, allow for better interchange of ideas between the communities, thus exploiting synergies discussed above. - To attract workshop papers that report on experiences and lessons learned from innovative applications of MAS. We thus call for research papers that are concerned with any aspect of the engineering of multi-agent systems. The list of topics includes but is not limited to the topics of the three parent workshops. SUBMISSION AND PUBLICATION EMAS welcomes the submission of theoretical, experimental, methodological as well as application papers. Each paper will be evaluated by three members of the PC. Papers must not be submitted simultaneously for publication elsewhere. Papers should be written in English, formatted according to the Springer LNCS style (either in LaTeX or in Word), and not exceed 16 pages. Submission should be done via EasyChair (https://www.easychair.org/conferences/?conf=emas2014). Pre-proceedings containing all accepted papers are provided electronically on a USB stick as part of the AAMAS workshop registration package. Revised versions of accepted papers will be published in a Lecture Notes in Artificial Intelligence volume. For this purpose, authors will be given the opportunity to revise and re-submit their contributions after the conference. IMPORTANT DATES 22 January 2014: Paper submission deadline 19 February 2014: Paper notification 12 March 2014: Camera-ready papers ready for pre-proceedings 5-6 May 2015: Workshop held at AAMAS WORKSHOP ORGANIZERS M. Birna van Riemsdijk (TU Delft, Netherlands) Fabiano Dalpiaz (Utrecht University, Netherlands) Jürgen Dix (TU Clausthal, Germany) STEERING COMMITTEE Matteo Baldoni (Italy) Rafael Bordini (Brazil) Mehdi Dastani (Netherlands) Jürgen Dix (Germany) Amal El Fallah Seghrouchni (France) Paolo Giorgini (Italy) Jörg Müller (Germany) M. Birna Van Riemsdijk (Netherlands) Tran Cao Son (USA) Gerhard Weiss (Netherlands) Danny Weyns (Sweden) Michael Winikoff (New Zealand). CONTACT For any question about the workshop, you can contact the organizers via email: emas2014 at easychair.org ==================================================== -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From donotreply at sdiwc.us Wed Dec 4 23:00:43 2013 From: donotreply at sdiwc.us (The Fourth International Conference on Digital Information and Communication Technology and its Applications (DICTAP2014)) Date: Wed, 4 Dec 2013 14:00:43 -0800 Subject: CFP:: 4th DICTAP2014 - Thailand Message-ID: <1090e98719c4102d9d848bdcbd243382@localhost.localdomain> Please Accept our Apology for Multiple Posting. THANK YOU. ============================================================== The Fourth International Conference on Digital Information and Communication Technology and its Applications (DICTAP2014) May 6-8, 2014 University of the Thai Chamber of Commerce, Bangkok, Thailand http://sdiwc.net/conferences/2014/dictap2014/ All registered papers will be included in SDIWC Digital Library. ============================================================== The conference aims to enable researchers build connections between different digital applications. The conference welcomes papers on the following (but not limited to) research topics - Security in Information and Telecommunication System - Network Systems and Devices - Wireless and Optical Communications - Algorithms, Architecture, and Infrastructures - Information Content Security - Cloud Computing and Computer Networks - Sensor Networks and Embedded System - E-Learning, E-Commerce, E-Business and E-Government - Data Exchange Issues and Supply Chain - Information Retrieval - Web Services, Web based Application - Data Grids, Data and Information Quality - Data Warehouses and Data Mining - Image Analysis and Image Processing - Management and Diffusion of Multimedia Applications - Mobile, Ad Hoc and Sensor Network Security - Video Search and Video Mining - Enterprise Computing - Web Mining including Web Intelligence and Web 3.0 - Knowledge Management - Compression and Coding - XML and other extensible languages - Intelligent and Robust System - ICT for Social and Humanity - Security and Access Control - Constraint Programming - Ubiquitous Systems - Semantic Web, Ontologies and Rules Researchers are encouraged to submit their work electronically. All papers will be fully refereed by a minimum of two specialized referees. Before final acceptance, all referees comments must be considered. IMPORTANT DATES: Submission Deadline : April 6, 2014 Notification of Acceptance: April 15, 2014 Camera Ready Submission : April 26, 2014 Registration : April 26, 2014 Conference Dates : May 6-8, 2014 ---------------------------------------- If you want to unsubscribe to this mail message from SDIWC, just follow this link http://sdiwc.us/Filemailer2/sdiwc-mailer/unsubscribe.php?id=76e17fab5c08e8d933397e6a30c4f9fa -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From franconi at inf.unibz.it Thu Dec 5 16:01:00 2013 From: franconi at inf.unibz.it (Enrico Franconi) Date: Thu, 5 Dec 2013 16:01:00 +0100 Subject: [Call] PhD/PostDoc school on "Change in Ontologies and Databases" (29-31 January 2014) in Bozen-Bolzano, Italy Message-ID: <05122013160100706GGh77pfXqRRd0189@webmail.unibz.it> Research School on the  Foundations and Challenges of Change in Ontologies and Databases 29-31 January 2014 - Bozen-Bolzano, Italy http://www.inf.unibz.it/krdb/events/school-2014/ PhD students and PostDoc fellows are invited to apply to the research school on the "Foundations and Challenges of Change in Ontologies and Databases", to be held on 29-31 January 2014 in Bozen-Bolzano, Italy. This is the follow-up of a successful Dagstuhl seminar held last year . This year the event will be oriented towards students and postdocs. There will be five half-day sessions (listed below). The students/postdocs will be split in small groups, and each group will be responsible to organise a survey talk within a specific session; each group will be given appropriate reading material in advance. In the rest of each session there will be survey/tutorial/advanced presentations by some of the seniors and many discussions. The five sessions are: • Ontology revisions, versioning, diffs, and non-monotonic aspects; • The logic of updates, active rules, and triggers in databases; • Foundations and challenges in temporal and stream data; • Modelling and reasoning with business processes and workflows; • Actions representation and reasoning in ontology languages. Please apply by submitting a short statement (as an abstract with a title), your CV (in PDF), and the chosen topic(s) via EasyChair at by 24 December 2013; late applications may be considered subject to the availability of space. The acceptance to the research school will be notified shortly after, together with the composition of the groups and the preparation material (consisting of few papers).  Before the beginning of the school, each group is required to develop a presentation using the preparation material. During the preparation phase, groups will be supported by high-quality mentors from the committee of the school: each mentor will advise the groups she/he is assigned to about the quality of their presentation while they prepare it before coming to the school. The list of mentors is growing; by now we have: • Carlo Zaniolo, zaniolo at cs.ucla.edu • Laura Giordano, laura.giordano at mfn.unipmn.it • Misha Zakharyaschev, michael at dcs.bbk.ac.uk • Bernardo Cuenca Grau, Bernardo.Cuenca.Grau at comlab.ox.ac.uk • Bijan Parsia, bparsia at cs.man.ac.uk • Emanuele Della Valle, emanuele.dellavalle at polimi.it • Diego Calvanese, calvanese at inf.unibz.it • Michael Kifer, michael.kifer at stonybrook.edu • Katia Sycara, katia at cs.cmu.edu • Ivan Varzinczak, ijv at acm.org • Renata Wassermann,  renata at ime.usp.br • Stefano Ceri, ceri at elet.polimi.it  There will be no registration fee to the research school; coffee breaks and lunches are included. Information about the school location in Bolzano and how to book online the accommodation is available at . cheers by the organisers — Jim Delgrande, Enrico Franconi, Tommie Meyer, Uli Sattler -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Fri Dec 6 14:16:10 2013 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 6 Dec 2013 15:16:10 +0200 Subject: ICSOB 2014: Second CFP and workshop proposals Message-ID: *** Second Call for Papers and Workshop Proposals *** Fifth International Conference on Software Business (ICSOB 2014) Azia Resort and Spa, Paphos Cyprus June 15-18, 2014 http://www.icsob.org Online submission: https://www.easychair.org/conferences/?conf=icsob2014 Conference Theme Shortening the time-to-market: from short cycle times to continuous value delivery Advancements in the software industry have had a substantial impact not only on productivity and on GDP growth globally, but also on our daily work and lives. Moreover there is a noticeable spillover within other industries (e.g. manufacturing, entertainment industry) enabling new business models: companies bundle their physical products and software services into solutions (e.g. using subscription models or in-app purchases) and start to sell independent software products in addition to physical products. Software business refers to commercial activities in and around the software industry, aimed at generating income from the delivery of software products and software services. Although the software business shares common features with other international knowledge-intensive businesses, it carries many inherent features making it a challenging domain for research. In particular software companies have to depend on one another to deliver a unique value proposition to their customers or a unique experience to their users. Moreover recent developments like the emerging app economy offer a variety of opportunities for entrepreneurs or start-up companies. The recent acquisition of the three-year old Finnish mobile game startup Supercell with the total value of 2.2 billion Euros shows that the future of software is not only in utility and but also in entertainment and increasing freetime of people globally. This will have a profound effect on software business and requires novel business models and new approaches to software product development as well. ICSOB 2014 addresses researchers and practitioners, who are concerned with software business in different ways as well as the start-up community, which is increasingly focusing on mobile and social software. The main theme of 2014 focuses on speeding up the time from idea to value delivery, towards continuous delivery of added value. Conference Topics You are invited to submit papers addressing contemporary issues emerging at the intersection of the software and business domains, broadly defined. Both papers reporting research results and industrial experiences are welcome. Invited are original submissions on the topics listed below, including but not limited to: Special sessions this year: * Speeding up time-to-market: towards continuous value delivery * Business models in game and entertainment software Regular themes of the conference series: * Software Platforms and Ecosystems * Corporate networks between software companies / Software Supply Networks * Business impacts and business models of Cloud Computing * Software Product Management * Software business in the future * Licensing, Intellectual Property and Patent Issues (IP modularity) * Business models for software startups and existing software companies * App Economy * Productization, Servification, and Servitization * Impact of Megatrends on software business (e.g. Customization) * Effects of business models on software development * Global and cultural aspects of software business * Mobile software business trends Submission Instructions Full research papers (15 pages), short papers (6 pages), industrial track presentations (abstract) and posters are all welcome. Accepted full papers and short papers will be included in the conference proceedings published by Springer as a volume in Lecture Notes in Business Information Processing (LNBIP) series (if at least one author of the paper attends the conference and presents the paper). Extended versions of the best papers selected from ICSOB 2014 will be published in a special issue of Journal of Systems and Software (http://www.journals.elsevier.com/journal-of-systems-and-software/). PhD students are invited to submit research abstracts and present and discuss their work at the Doctoral Symposium. A separate CFP for the Doctoral Symposium will be published later. You may also submit workshop proposals to the conference. For details and updates visit http://www.icsob.org. Important Dates Paper Submission: December 31, 2013 Workshop proposal submission: December 23, 2013 Notification: March 10, 2014 Camera-Ready: April 7, 2014 Conference: June 15-18, 2014 Conference Officers General Chair Tiziana Margaria, University of Potsdam Program Chairs Casper Lassenius, Aalto University Kari Smolander, Lappeenranta University of Technology Local Organization Chair George Angelos Papadopoulos, University of Cyprus Industry Chair Georg Herzwurm, Universität Stuttgart Workshops Chair Krzysztof Wnuk, Lund University Doctoral Symposium Co-Chairs Anna-Lena Lamprecht, University of Potsdam Tobias Tauterat, University of Stuttgart Publicity Chair Eetu Luoma, University of Jyväskylä Steering Committee Slinger Jansen, Utrecht University Michael Cusumano, Massachusetts Institute of Technology Pasi Tyrväinen, University of Jyväskylä Björn Regnell, Lund University Inge van de Weerd, Utrecht University Tiziana Margaria, University of Potsdam Sjaak Brinkkemper, Utrecht University Jan Bosch, Chalmers University Georg Herzwurm, University of Stuttgart Program Committee Sergey Avdoshin, Higher School of Economics, Moscow, Russia Jan Bosch, Chalmers University of Technology, Sweden Sjaak Brinkkemper, Utrecht University, The Netherlands Peter Buxmann, Darmstadt University of Technology, Germany Michael Cusumano, Massachusetts Institute of Technology, USA Torgeir Dingsøyr, SINTEF, Norway Brian Fitzgerald, University of Limerick / Lero, Ireland Samuel Fricker, Blekinge Institute of Technology, Sweden Peter Gloor, Massachusetts Institute of Technology, USA Georg Herzwurm, Universität Stuttgart, Germany Thomas Hess, LMU Munich, Germany Slinger Jansen, Utrecht University, The Netherlands Philippe Kruchten, University of British Columbia, Canada Thomas Kude, University of Mannheim, Germany Olli Kuivalainen, Lappeenranta University of Technology, Finland Patricia Lago, VU University Amsterdam, The Netherlands Ulrike Lechner, Universität der Bundeswehr München, Germany Andrey Maglyas, Lappeenranta University of Technology, Finland Tiziana Margaria, University of Potsdam, Germany Rory O'Connor, Dublin City University, Ireland Samuli Pekkola, Tampere University of Technology, Finland Wolfram Pietsch, FH Aachen, Germany Björn Regnell, Lund University, Sweden Dirk Riehle, Friedrich-Alexander-Universität, Germany Matti Rossi, Aalto University, Finland Günther Ruhe, University of Calgary, Canada Stefan Seidel, University of Liechtenstein, Liechtenstein Klaus-Dieter Thoben, Universität Bremen, Germany Pasi Tyrväinen, University of Jyväskylä, Finland Krzysztof Wnuk, Lund University, Sweden Updated information and further details are available at http://www.icsob.org. Please, send emails with further questions to info at icsob.org. -------------------------------------------------------------------- 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 Wiebe.Van-Der-Hoek at liverpool.ac.uk Fri Dec 6 16:24:08 2013 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Fri, 6 Dec 2013 15:24:08 +0000 Subject: short visiting fellowships at Liverpool CS Message-ID: The Department of Computer Science, University of Liverpool, invites applications for up to 5 Visiting Fellowships. Visiting fellows will visit the Department for one month between February 2014 and July 2014 (arrangements can be flexible). The aim of the scheme is to attract internationally recognized researchers who - promote Liverpool's international profile as a centre of scholarly excellence - advance nascent research collaborations with Liverpool - enrich the research environment for Liverpool postgraduates and early career researchers - lay groundwork for sustained research linkages between Liverpool and institutions outside the UK. A typical visiting fellow does not yet have very close research collaborations with members of the Department, but intends to use the visit to develop such collaborations. Applications that are interdisciplinary in nature and/or involve members from multiple research groups and directions in the Department are particularly encouraged. Funding of up to £3,000 is available for every visiting fellow. This can be used to cover travel and subsistence expenses (in line with standard University policies). Costs will not be a payment which can be deemed to be recompense for time or services. The fellowships were given to the Department only recently: if you are interested, please respond asap but before 14 December. Best, Wiebe van der Hoek ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 7954292 (office) (+44) 7970247480 (mobile) fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From h.hastie at hw.ac.uk Fri Dec 6 20:26:40 2013 From: h.hastie at hw.ac.uk (Helen Hastie) Date: Fri, 6 Dec 2013 19:26:40 +0000 Subject: CALL FOR PAPERS: SIGDIAL 2014 Conference, June 18th-20th, Philadelphia, USA Message-ID: SIGDIAL 2014 CONFERENCE Wednesday, June 18 to Friday, June 20, 2014 The 15th Annual Meeting of the Special Interest Group on Discourse and Dialog will be co-located with the 8th International Conference on Natural Language Generation (INLG 2014) in Philadelphia, PA, USA and immediately preceding ACL 2014. http://www.sigdial.org/workshops/conference15 (under construction) CALL FOR PAPERS The 2014 SIGDIAL conference continues a series of fourteen conferences, providing a regular forum for the presentation of cutting edge research across the areas of discourse and dialog and attracting a diverse set of participants from academia and industry. The conference is sponsored by the SIGdial organization, which serves as the Special Interest Group on discourse and dialog for both ACL and ISCA. TOPICS OF INTEREST We welcome formal, corpus-based, system-building or analytical work on discourse and dialog including but not restricted to the following themes and topics: - Discourse Processing and Dialog Systems - Corpora, Tools and Methodology - Pragmatic and/or Semantic Modeling - Dimensions of Interaction - Open Domain Dialog - Style, Voice and Personality in Spoken Dialog and Written Text - Applications of Dialog and Discourse Processing Technology - Novel Methods for Generation Within Dialog, for a joint special session with INLG IMPORTANT DATES Special Session Proposal Deadline: Sunday, 9 February 2014 (23:59, GMT-11) Special Session Notification: Monday, 17 February 2014 Long, Short and Demonstration Paper Submission Deadline: Sunday, 9 March 2014 (23:59, GMT-11) Paper Notification: Friday, 18 April 2014 Final Paper Due - For papers accepted subject to receiving mentoring Wednesday, 14 May 2014 - For accepted papers Friday, 23 May 2014 Conference Wednesday, June 18, 2014 to Friday, June 20, 2014 SUBMISSIONS Special Session Proposals The SIGdial organizers welcome the submission of special session proposals. A SIGDIAL special session is the length of a regular session at the conference; may be organized as a poster session, a poster session with panel discussion, or an oral presentation session; and will be held on the last day of the conference. Special sessions may, at the discretion of the SIGdial organizers, be held as parallel sessions. Those wishing to organize a special session should prepare a two-page proposal containing: a summary of the topic of the special session; a list of organizers and sponsors; a list of people who may submit and participate; and a requested format (poster/panel/oral session). These proposals should be sent to conference[a]sigdial.org by the special session proposal deadline. Special session proposals will be reviewed jointly by the general and program co-chairs. Papers The program committee welcomes the submission of long papers, short papers, and demonstration descriptions. All accepted submissions will be published in the conference proceedings. Long papers may, at the discretion of the technical program committee, be accepted for oral or poster presentation. They must be no longer than 8 pages, including title, content, and examples. Two additional pages are allowed for references and appendices, which may include extended example discourses or dialogs, algorithms, graphical representations, etc. Short papers will be presented as posters. They should be no longer than 4 pages, including title and content. One additional page is allowed for references and appendices. Demonstration papers should be no longer than 3 pages, including references. A separate one-page document should be provided to the program co-chairs for demonstration descriptions, specifying furniture and equipment needed for the demo. Authors of a submission may designate their paper to be considered for a SIGDIAL special session. However, in 2014 all papers will undergo regular peer review and appear in the SIGDIAL proceedings. Consequently, no paper is guaranteed to appear in any particular session at SIGDIAL. Papers that have been or will be submitted to other meetings or publications must provide this information (see submission format). A paper accepted for presentation at SIGDIAL 2014 must not have been presented at any other meeting with publicly available proceedings. Any questions regarding submissions can be sent to the program co-chairs at program-chairs[at]sigdial.org . Authors are encouraged to submit additional supportive material such as video clips or sound clips and examples of available resources for review purposes. Submission is electronic using paper submission software. FORMAT All long, short, and demonstration submissions should follow the two-column ACL 2014 format. We strongly recommend the use of ACL LaTeX style files or Microsoft Word style files tailored for the ACL 2014 conference. Submissions must conform to the official ACL 2014 style guidelines ( http://www.cs.jhu.edu/ACL2014/CallforPapers.htm), and they must be electronic in PDF. As in most previous years, submissions will not be anonymous. MENTORING SERVICE For several years, the SIGDIAL conference has offered a mentoring service. Submissions with innovative core ideas that may need language (English) or organizational assistance will be flagged for "mentoring" and conditionally accepted with recommendation to revise with a mentor. An experienced mentor who has previously published in the SIGDIAL venue will then help the authors of these flagged papers prepare their submissions for publication. Any questions about the mentoring service can be addressed to the mentoring chair at mentoring[at]sigdial.org . STUDENT SUPPORT SIGdial also offers a limited number of scholarships for students presenting a paper accepted to the conference. Application materials will be posted at the conference website. BEST PAPER AWARDS In order to recognize significant advancements in dialog and discourse science and technology, SIGDIAL will recognize two best paper awards. A selection committee consisting of prominent researchers in the fields of interest will select the recipients of the awards. SPONSORSHIP SIGDIAL offers a number of opportunities for sponsors. For more information, email the conference organizers at sponsor-chair[at]sigdial.org . DIALOG AND DISCOURSE SIGDIAL authors are encouraged to submit their research to the journal Dialog and Discourse, which is endorsed by SIGdial. ORGANIZING COMMITTEE General Co-Chairs Kallirroi Georgila, University of Southern California, USA Matthew Stone, Rutgers, The State University of New Jersey, USA Technical Program Co-Chairs Helen Hastie, Heriot-Watt University, Edinburgh, UK Ani Nenkova, University of Pennsylvania, USA Mentoring Chair Svetlana Stoyanchev, AT&T Research Labs, USA Local Chair Keelan Evanini, Educational Testing Service, USA Sponsorships Chair Giuseppe Di Fabbrizio, Amazon.com, USA SIGdial President Amanda Stent, Yahoo! Labs, USA SIGdial Vice President Jason Williams, Microsoft Research, USA SIGdial Secretary/Treasurer Kristiina Jokinen, University of Helsinki, Finland -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mpavone at dmi.unict.it Sat Dec 7 11:05:47 2013 From: mpavone at dmi.unict.it (Mario Pavone) Date: Sat, 07 Dec 2013 11:05:47 +0100 Subject: 1st announcement: Synthetic and Systems Biology Summer School: Biology meets Engineering and Computer Science, Taormina - Sicily, Italy June 15-19, 2014 Message-ID: <20131207110547.Horde.s77DdOph4B9SovL75pKh1KA@mbox.dmi.unict.it> ______________________________________________________ Call for Participation (apologies for multiple copies) ______________________________________________________ Synthetic and Systems Biology Summer School: Biology meets Engineering and Computer Science Taormina - Sicily, Italy, June 15-19, 2014 W: http://www.taosciences.it/ssbss2014/ E: ssbss2014 at dmi.unict.it *Application Deadline: February 15 2014* Recent advances in DNA synthesis have increased our ability to build biological systems. Synthetic Biology aims at streamlining the design and synthesis of robust and predictable biological systems using engineering design principles. Designing biological systems requires a deep understanding of how genes and proteins are organized and interact in living cells: Systems Biology aims at elucidating the cellular organization at gene, protein, cell, tissue, organ and network level using computational and biochemical methods. The Synthetic and Systems Biology Summer School (SSBSS) is a full-immersion course on cutting-edge advances in systems and synthetic biology with lectures delivered by world-renowned experts. The school provides a stimulating environment for doctoral students, early career researches and industry leaders. Participants will also have the chance to present their results (Oral presentations or Posters) and to interact with their peers. *List of Speakers* - Uri Alon, Weizmann Institute of Science, Israel - Jef Boeke, Johns Hopkins University, USA - Jason Chin, MRC Laboratory of Molecular Biology, UK - Virginia Cornish, Columbia University, USA - Angela DePace, Harvard University, USA - Paul Freemont, Imperial College London, UK - Farren Isaacs, Yale University, USA - Tanja Kortemme, University of California San Francisco, USA - Giuseppe Nicosia, University of Catania, Italy - Sven Panke, ETH, Switzerland - Rahul Sarpeshkar, MIT, USA - Giovanni Stracquadanio, Johns Hopkins University, USA - Ron Weiss, MIT, USA Other speakers will be announced soon. *School Directors* - Jef Boeke, Johns Hopkins University, USA - Giuseppe Nicosia, University of Catania, Italy - Mario Pavone, University of Catania, Italy - Giovanni Stracquadanio, Johns Hopkins University, USA *Short Talk and Poster Submission* Students may submit a research abstract for presentation. School directors will review the abstracts and will recommend for poster or short-oral presentation. Abstract should be submitted by February 15, 2014. The abstracts will be published on the electronic hands-out material of the summer school. W: http://www.taosciences.it/ssbss2014/ E: ssbss2014 at dmi.unict.it -- 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/ =========================================================================== 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 Wiebe.Van-Der-Hoek at liverpool.ac.uk Sat Dec 7 22:42:12 2013 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Sat, 7 Dec 2013 21:42:12 +0000 Subject: 7th Workshop on Logical Aspects of Multi-Agent Systems Message-ID: *** LAMAS 2014 *** (satellite workshop of AAMAS 2014) May 5 or 6, 2014, Paris, France http://lamas2014.in.tu-clausthal.de Call for Papers ================================= INTRODUCTION ================================= There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop serves the community as a platform for presentation, exchange, and publication of ideas. The workshop is intended to cover the following subjects: - Logical systems for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - Logic in game theory - Logic in social choice theory - Deductive systems and decision procedures for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Logic-based tools for MAS - Applications of logics in MAS ================================= SUBMISSION ================================= Authors are invited to submit papers in the following three categories: - Regular papers up to 15 pages, describing original unpublished research. Position papers and visionary work in progress can also be submitted in this category. Simultaneous submission to another venue is not allowed. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Extended abstracts of 2-5 pages reporting interesting and relevant work that has been published (or accepted for publication) in the last 12 months. Submissions should be anonymous, subject to double-blind reviewing procedure. Each submission will be reviewed by at least 2 PC members. Papers must be in PDF format and prepared according to the Springer LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html. ================================= PROCEEDINGS AND POST-PROCEEDINGS ================================= Workshop notes including all accepted papers will be distributed to AAMAS-2014 registrants in electronic form. Printed workshop notes will not be made available to workshop participants. Workshop post-proceedings are planned as a journal special issue of STUDIA LOGICA. The submissions to that special issue will be subject to another reviewing and selection process. ================================= TUTORIAL SESSION ================================= According to the rules of AAMAS workshops, the workshop will include a one hour tutorial session covering the following topics: (i) logic-based modeling of MAS, (ii) deduction and meta-logical properties and techniques (satisfiability, bounded model property, etc.), and (iii) applications of logics in MAS (e.g. Verification). ================================= IMPORTANT DATES ================================= Paper submission: January 22, 2014 Author notification: February 19, 2014 Camera-ready deadline: March 19, 2014 Workshop: May 5 or 6, 2014 ================================= WORKSHOP and PC CHAIRS ================================= Nils Bulling, Clausthal University of Technology, Germany Wiebe van der Hoek, University of Liverpool, UK ================================= PROGRAM COMMITTEE (confirmed members) ================================= Natasha Alechina, University of Nottingham, UK Thomas Bolander, Technical University of Denmark, Denmark Juergen Dix, Clausthal University of Technology, Germany Michael Fisher, University of Liverpool, UK Pietro Galliani, Clausthal University of Technology, Germany Valentin Goranko, Technical University of Denmark Andreas Herzig, University of Toulouse, France Wojciech Jamroga, University of Luxembourg, Luxembourg Joao Leite, New University of Lisbon, Portugal Emiliano Lorini, Universite Paul Sabatier, France John-Jules Meyer, Utrecht University, Netherlands Aniello Murano, Universita di Napoli Federico II, Italy Ram Ramanujam, Institute of Mathematical Sciences, Chennai, India Pierre-Yves Schobbens, University of Namur, Belgium Nicolas Troquard, Laboratory of Applied Ontology, Trento, Italy Dirk Walther, Dresden University of Technology, Germany Michael Wooldridge, University of Oxford, UK ================================= ORGANIZATION AND CONTACT ================================= The workshop is organized by Nils Bulling, Clausthal University of Technology and Wiebe van der Hoek, University of Liverpool. In case of questions, do not hesitate to contact us at bulling at in.tu-clausthal.de and wiebe.van-der-hoek at liverpool.ac.uk, respectively. ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 7954292, (+44) 7970247480 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From invitation at iariaschedule.org Sun Dec 8 18:22:47 2013 From: invitation at iariaschedule.org (ICNS 2014) Date: Sun, 08 Dec 2013 12:22:47 -0500 Subject: Last Mile: ICNS 2014 || April 20 - 24, 2014 - Chamonix, France Message-ID: <1386523367162.2519@iariaschedule.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICNS 2014. The submission deadline of December 20, 2013 is approaching. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICNS 2014 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICNS 2014, The Tenth International Conference on Networking and Services April 20 - 24, 2014 - Chamonix, France General page: http://www.iaria.org/conferences2014/ICNS14.html Call for Papers: http://www.iaria.org/conferences2014/CfPICNS14.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2014/SubmitICNS14.html Submission deadline: December 20, 2013 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 Please note the Poster and Work in Progress options. 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 conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICNS 2014 Topics (topics and submission details: see CfP on the site) 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; MPLS-VPN & IPSec-VPN networks; 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; Switching and routing; Wireless and Satellite Networks COMAN: Network Control and Management Network, control and service architectures; 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; Applications and case studies 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 and 4G 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 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 GRIDNS: Grid Networks and Services GRID theory, frameworks, methodologies, architecture, ontology; GRID infrastructure and technologies; GRID middleware; GRID protocols and networking; GRID computing, utility computing, autonomic computing, metacomputing; Programmable GRID; Data GRID; Context ontology and management in GRIDs; Distributed decisions in GRID networks; GRID services and applications; Virtualization, modeling, and metadata in GRID; Resource management, scheduling, and scalability in GRID; GRID monitoring, control, and management; Traffic and load balancing in GRID; User profiles and priorities in GRID; Performance and security in GRID systems; Fault tolerance, resilience, survivability, robustness in GRID; QoS/SLA in GRID networks; GRID fora, standards, development, evolution; GRID case studies, validation testbeds, prototypes, and lessons learned 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; IPv6DFI: Deploying the Future Infrastructure IP Upgrade - An Engineering Exercise or a Necessity?; Worldwide IPv6 Adoption - Trends and Policies; National Strategies in Stimulating IPv6 Adoption; IPv6 in Government Infrastructures - Specific Requirements; IPv6 Infrastructures for Emergency Response and Law Enforcement - MetroNet6; Communications Equipment Certification for IPv6 Support; IPv6 in Broadband Networks; IPv6 Programs, from Research to Knowledge Dissemination; IPv6 Technology - Practical Information; Advanced Topics and Latest Developments in IPv6; IPv6 Deployment Experiences and Case Studies; IPv6 Enabled Applications and Devices IPDy: Internet Packet Dynamics Measurement of stream characteristics (reordering, delay, losses, jitter, etc.); Measurement and estimation of network characteristics; Tools, metrics and benchmarks; End-to-end packet dynamics; Timing aspects in packet dynamics; Impact of load balancing, parallelism within nodes, etc. on packet dynamics; QoS mechanisms and their impact on packet dynamics; Models (e.g., relating protocols, resources and architectures to packet dynamics); Mitigation of adverse effects of reordering, jitter, etc.; Traffic engineering; Impact of packet dynamics on application performance GOBS: GRID over Optical Burst Switching Networks Terabit burst switching; Burst assembly for IP DiffServ over optical burst switching networks; Optical network infrastructure for Grid; Synchronous stream optical burst switching; Optical burst switching based GRID architecture; Reliable optical burst switching for next-generation Grid networks; Throughput for Grid optical burst switching Grid networks; Resiliency paths over the optical Grid networks; Consumer oriented Grids using optical burst switching; Protocols for optical burst switched Grid networks; Hybrid optical switching for data-intensive media Grid; Anycast routing in optical burst switched 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 Grid-enabled optical networks; Job scheduling in optical burst switching Grid networks; Architecture and middleware for Grid-Over-OBS LEARN: Learning Methodologies and Platforms New learning methodologies; Blended learning; Accessibility in Learning; Online laboratories; Virtual laboratories; Remote laboratories; Learning strategies to enhance online courses; Learning Content adaptation for blended learning; Learning platforms and their compatibility with cisco.netacad.net Committee: http://www.iaria.org/conferences2014/ComICNS14.html ================================================ 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 aamas14publicity at gmail.com Wed Dec 11 03:31:35 2013 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Tue, 10 Dec 2013 18:31:35 -0800 Subject: [AAMAS-14] Call for IFAAMAS-13 Victor Lesser Distinguished Dissertation Award Nominations Message-ID: Call for IFAAMAS-13 Victor Lesser Distinguished Dissertation Award nominations Nominations are invited for the 2013 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-2014 (http://aamas2014.lip6.fr/). Eligible doctoral dissertations are those defended between January 1, 2013 and December 31, 2013 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, 2014): 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-13 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 2013. 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-2014 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. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aamas14publicity at gmail.com Wed Dec 11 03:38:04 2013 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Tue, 10 Dec 2013 18:38:04 -0800 Subject: [AAMAS14] 2nd Call for Demonstrations Message-ID: *Call for Demonstrations* ------------------------------ Demos track Website: http://www.ntu.edu.sg/home/boan/aamas2014Demo/ 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 and novel applications are particularly welcome. Student researchers are encouraged to submit. A "Best Demo" will be selected and awarded by the committee. At least one author of accepted demos will be expected to present a poster and live demonstration at the conference in Paris. 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: · Robotic systems (single- and multi-agent) · Interactive agent-based software systems · Agent-based simulation environments · Personal robotics · Innovative applications of agent-based systems or prototypes (e.g., industrial, military, educational) · 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 with a standard VGA connector, a power strip and a 2m table for each demonstration. ------------------------------ *Submission Requirements* ------------------------------ Submissions accepted for the demonstration session will be advertised on the AAMAS website and in the conference booklet, which will contain abstracts of all available Demos. 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 innovations of the system, its live and interactive aspects, etc. Papers MUST BE PREPARED IN PDF format using the AAMAS style (follow these instructions)). 2. Video or PPT: The paper must contain a URL linking to a demonstration video no more than 5 minutes in length (QuickTime or YouTube format) or a Powerpoint presentation showing and explaining what happens. If some other format can more clearly show the demo, accommodation may be made. Please contact the organizers in advance. 3. Contribution and Supervisor Endorsement (Student Projects Only): A brief note from the student's supervisor describing the student's individual contribution to the project, written on university letterhead and including the supervisor's full name, title and email address. This should be attached as the 3rd page of the PDF Paper submission (above). Accepted Demos will have the 2-page papers included in the AAMAS proceedings. The submission web site: https://www.easychair.org/conferences/?conf=aamas2014demo ------------------------------ *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 Committee. The authors will receive a brief report with the result of the evaluation with the notification. The main evaluation criteria are: · Presentation and technical quality · Significance and originality · Relevance to AAMAS · Maturity of the (deployed) system and readiness for demonstration · Potential for public interaction Notification of acceptance or rejection of submitted demos will be sent to the corresponding author (see dates below). 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: *January 10, 2014* Notification of acceptance/rejection: February 14, 2014 Camera-ready paper: February 25, 2014 ------------------------------ *Contact Information* ------------------------------ For more information, please contact the Demos Chairs: Dr. Bo An Nanyang Technological University boan at ntu.edu.sg or Dr. Juan A. Rodriguez-Aguillar IIIA-CSIC jar at iiia.csic.es -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecai2014 at guarant.cz Wed Dec 11 11:14:57 2013 From: ecai2014 at guarant.cz (ecai2014) Date: Wed, 11 Dec 2013 10:14:57 +0000 Subject: ECAI 2014 workshops / second call for papers Message-ID: ECAI'14 Second Call for Papers The Twenty-first European Conference on Artificial Intelligence 18-22 August 2014, Prague, Czech Republic http://www.ecai2014.org The ECAI 2014 Organizing Committee invites proposals for workshops to be held in conjunction with the conference. The workshops will be scheduled on August 18 and 19, 2013. Proposals by all members of the international AI community are welcome. There is no restriction regarding topics, as long as there is a clear relevance to ECAI. We prefer a workshop programme that is as varied as possible. Most workshops will follow the classical format of presentations of peer-reviewed papers followed by discussion, but other formats (e.g., AI competitions) and entirely new ideas are also welcome. Whatever the format, all workshops should be interactive events and ample time should be allocated to discussion. The typical duration for a workshop is one full day, but two-day or shorter workshops can also be accommodated. If you are considering to propose a workshop or if you have any questions, please do not hesitate to get in touch with the ECAI-2014 Workshop Chairs, Marina De Vos (mdv at cs.bath.ac.uk) and Karl Tuyls (k.tuyls at liverpool.ac.uk). The deadline for submission of a workshop proposal is 12 January 2014. Detailed submission instructions and further information can be found on http://www.ecai2014.org/ ECAI Workshop Chairs Marina De Vos and Karl Tuyls -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dehaan at kr.tuwien.ac.at Wed Dec 11 11:44:38 2013 From: dehaan at kr.tuwien.ac.at (Ronald de Haan) Date: Wed, 11 Dec 2013 11:44:38 +0100 Subject: ESSLLI 2014 Student Session 1st CfP Message-ID: Please forward to students. Apologies for the multiple messages. *1st Call for Papers* *ESSLLI 2014 STUDENT SESSION* http://www.kr.tuwien.ac.at/drm/dehaan/stus2014/ *Held during* *The 26th European Summer School in* *Logic, Language and Information* Tübingen, Germany, August 11-22, 2014 *Deadline for submissions: April 1st, 2014* https://www.easychair.org/conferences/?conf=essllistus2014 *ABOUT:* The Student Session of the 26th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Tübingen, Germany, on August 11-22, 2014. We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the student session proceedings. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. *SEPARATE POSTER SESSION:* Note that there are two separate kinds of submissions, one for the oral presentations and one for the posters. This means that papers can be directly submitted as posters. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present research in progress. More detailed guidelines and policies regarding submission can be found on the Student Session website: http://www.kr.tuwien.ac.at/drm/dehaan/stus2014/ . Please direct inquiries about submission procedures or other matters relating to the Student Session to: dehaan at kr.tuwien.ac.at. For general inquiries about ESSLLI 2014, please consult the main ESSLLI 2014 page: http://www.esslli2014.info/. Kind regards, *the ESSLLI 2013 Student Session Organization Committee* *Chair:* Ronald de Haan (Technische Universität Wien, Austria) *LoCo co-chairs:* Zoé Christoff (Universiteit van Amsterdam, the Netherlands) Aybüke Özgün (Université de Lorraine, France) *LoLa co-chairs:* Philip Schulz (Universiteit van Amsterdam, the Netherlands) Thomas Brochhagen (Universität Düsseldorf, Germany) *LaCo co-chairs:* Miriam Kaeshammer (Universität Düsseldorf, Germany) Ramon Ziai (Universität Tübingen, Germany) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Fri Dec 13 09:21:13 2013 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 13 Dec 2013 10:21:13 +0200 Subject: ICTAI 2014: Preliminary Call for Papers Message-ID: *** PRELIMINARY CALL FOR PAPERS *** 26th IEEE International Conference on Tools with Artificial Intelligence ICTAI 2014 (pending IEEE approval) November 10-12, 2014, Limassol, Cyprus http://ictai2014.cs.ucy.ac.cy Aim & Scope The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components of computer tools such as algorithms, architectures and languages. Topics (not limited to) AI Foundations - Evolutionary computing, Bayesian and Neural Networks - Decision/Utility Theory and Decision Optimization - Search, SAT, and CSP - Description Logic and Ontologies AI in Domain Specific Applications - AI in Natural Language Processing and Understanding - AI in Computational Biology, Medicine and Biomedical Applications - AI in WWW, Communication, Social Networking, Recommender Systems, Games and E-Commerce - AI in Finance and Risk Management AI in Computer Systems - AI in Robotics, Computer Vision and Games - AI in Software Engineering, Real-Time and Embedded Applications, and Sensor Networks - AI in Cloud Computing, Data-Intensive Applications and Online/Streaming and Multimedia Systems - AI in Web search and Information Retrieval - AI in Computer Security, Data Privacy, and Information Assurance AI in Data Analytics and Big Data - Visualization Analytics for Big Data - Computational Modeling for Big Data - Large-scale Recommendation and Social Media Systems - Cloud/Grid/Stream Data Mining for Big Velocity Data - Semantic-based Big Data Mining Machine Learning and Data Mining - Data pre-processing, reduction and feature selection - Learning Graphical Models and Complex Networks - Active, Cost-Sensitive, Semi-Supervised, Multi-Instance, Multi-Label and Multi-Task Learning - Transfer/Adaptive, Rational and Structured Learning - Preference/Ranking, Ensemble, and Reinforcement Learning Knowledge Representation, Reasoning and Cognitive Modelling - Knowledge Representation, Reasoning - Knowledge Extraction, Management and Sharing - Case-Based Reasoning and Knowledge-based Systems - Cognitive Modelling and Semantic Web AI and Decision Systems - Decision Guidance and Support Systems - Optimization-based recommender systems - Group, distributed, and collaborative decisions - Crowd-sourcing and collective intelligence decision making - Strategic, tactical and operational level decisions - Decision making in social and mobile networks Uncertainty in AI - Uncertainty and Fuzziness Representation and Reasoning - Approximate/Exact Probabilistic Inference - Knowledge Discovery and Data Mining for Uncertain Data Paper Submission The submissions should contain original, high quality, not submitted or published elsewhere work. Papers should be submitted electronically through the EasyChair system in pdf format and should conform to IEEE specifications (single-spaced, double-column, 10-point font size, up to 8 pages). Paper Presentation Each accepted paper should be presented by one of the authors and accompanied by at least one full registration fee payment, to guarantee publication in the proceedings. All accepted papers will be included in proceedings of ICTAI 2014 that will be published by the IEEE Computer Society. IJAIT special issue Extended versions of the best papers of the conference will be invited for publication in a special issue of the International Journal on Artificial Intelligence Tools (IJAIT) (SCI Indexed). Important Dates Paper submission: June 30, 2014 Paper notification: July 30, 2014 Camera-ready paper: August 30, 2014 Point of Contact George A. Papadopoulos Department of Computer Science University of Cyprus george-at-cs-dot-ucy-dot-ac-dot-cy -------------------------------------------------------------------- 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 rainer.unland at icb.uni-due.de Fri Dec 13 15:00:30 2013 From: rainer.unland at icb.uni-due.de (Rainer Unland) Date: Fri, 13 Dec 2013 15:00:30 +0100 Subject: CfP Int. WS on Techniques and Applications for MobileCommunication and Commerce (TAMoCo) as part of FedCSIS, Warsaw, Poland, September 8-11, 2014 In-Reply-To: <51543C90.2040201@icb.uni-due.de> References: <515432C8.3070003@icb.uni-due.de> <51543C90.2040201@icb.uni-due.de> Message-ID: <52AB12FE.6020206@icb.uni-due.de> *-- FIRST CALL FOR PAPERS --* ***TAMoCo'14 - Techniques and Applications for Mobile Communications & Commerce * *http://fedcsis.org/tamoco*** /as part of/ *Federated Conference on Computer Science and Information Systems (FedCSIS’14) * *Warsaw, Poland, September 7-10, 2014* *CONFERENCE BACKGROUND AND GOALS* Mobile technology became one of the most vibrant and stimulating areas driving forward the ICT society of the 21^st century. Mobile communication networks have evolved into the new delivery platform and services consumption models for many industries and government organizations worldwide. Mobile devices, such as smart phones or tablets, open the door to a great assortment of new applications and services. This may also include new types of specific application settings such as medical environments, support for disabled people, industrial workspaces, process monitoring, automatics and diagnostics or measurement activities in remote and distributed environments. Location, other context information and personal data are used to tailor services directly to the needs of the user. This leads to pervasive environments in which users can always access the Internet. While this seems to be an exciting development it also raises substantial security and privacy concerns which need to be properly addressed. Mobile Commerce (M-Commerce) comprises applications and services that are accessible from Internet-enabled mobile devices. It involves new technologies, services, and business models. Whilst it is different from traditional e-Commerce it can also be considered as an extension of it since, among other reasons, it makes e-Commerce available, in a modern way, to new application areas and to a new set of customers. The goal of TAMoCo is to bring together researchers and practitioners that work in different aspects of mobile communications and services in the context of business and industrial applications. This includes the incorporation of web services and cloud-based services, autonomic mobile computing, and the integration and interplay with urban systems, industrial settings, medical environments and other contexts. Research contributions in application areas such as mobile learning, human centered design, support of disabled people, ubiquitous computing and extended enterprise are also welcome in TAMoCo’14. Finally, security is perhaps the most important factor for the success of mobile communications, commerce and mobile applications. *TOPICS OF INTEREST* TAMoCo14 conference welcomes submissions of original papers concerning all aspects of mobile commerce and communication ranging from concepts and theoretical developments to advanced technologies and innovative applications. Topics of interest include, but are not limited to: * Mobile communications * Mobile applications, services and platforms * Mobile Cloud Computing * Mobile Social Networking * Tools, technologies, platforms and infrastructure for mobile networks and applications * Concepts and methods for evaluating problems and the usefulness of mobile technologies * Maintenance and management of distributed, remote sensing systems in industrial workspaces * Autonomic middleware for mobile computing * Mobile learning theories, games and simulation * Analysis and Design of mobile web-service based applications * Enabling technologies for ubiquitous systems (mobility, interconnectivity, pervasiveness as well as personal and body area handheld devices examples) * Governance models of mobile computation * User experience, user interface design and user studies for mobile devices and systems * Human factors and user centered design in mobile technology applications * Collaborative, cooperative and contextual mobile learning * Pedagogical and social issues as well as cultural and regional differences in mobile learning * Integration of mobile solutions in urban infrastructure * Measurement, control, and evaluation of urban infrastructure by mobile solutions * Mobile marketing * Mobile devices and technologies for disabled people * Threats to mobile security and countermeasures * Security and privacy in mobile systems * Mobile malware and platform security * * *PAPER SUBMISSION, PUBLICATION AND INDEXATION* ·Authors should submit full papers (as Postscript, PDF, MSWord, or ODF file). Submitted papers must be unpublished and not under review in any other conference or journal (submissions that violate this requirement will be regarded as self-plagiarism). ·The total length of a paper must not exceed 8 pages IEEE style (including tables, figures and references). IEEE style templates are available here. ·Papers will be refereed, by the members of the Technical Program Committee, and accepted on the basis of their scientific merit and relevance to the conference.Only papers presented at the conference will be included in the IEEE Xplore® database and submitted for indexation. ·Proceedings of the TAMoCo’14 conference will be published as part of the proceedings of the FedCSIS 2014 conference, which will be indexed in the Thomson Reuters - Conference Proceedings Citation Index.. ·Furthermore, FedCSIS’14 proceedings will be submitted for indexation to: DBLP Computer Science Bibliography, Inspec, Scirus, and other repositories. ·Extended versions of selected papers presented during the conference may be published as Special Issue(s) of journal(s) to be announced later. *IMPORTANT DATES* ·Paper submission: April 11, 2014 ·Author notification: May 19, 2014 ·Final version of paper submission: June 17, 2014 ·Conference date: September 7-10, 2014 *PC CHAIRS* Ejub Kajan, State University of Novi Pazar, Serbia /(Main Chair)/ kajane at acm.org AndrzejRomanowski, Lodz University of Technology, Polandandrom at kis.p.lodz.pl Sebti Foufou, Qatar University, Qatar sfoufou at qu.edu.qa Tarek Gaber, Suez Canal University, Egypttmgaber at gmail.com Wojciech Mazurczyk, Warsaw University of Technology, Poland wm at tele.pw.edu.pl *STEERING COMMITTEE * Cherif Branki, Consultant, UK Guadalupe Ortiz Bellot, University of Cádiz, Spain Hanno Hildmann, NEC, Germany Rainer Unland, University of Duisburg-Essen, Germany -- “Experience is this valuable asset which allows us to identify the mistake immediately when we are doing it again and again!” “Erfahrung ist jener kostbare Besitz, der uns befähigt, einen Fehler sofort zu erkennen, wenn wir ihn immer wieder machen.” ************************************************************************** Prof. Dr. Rainer Unland University of Duisburg-Essen Institute for Computer Science and Business Information Systems (ICB) Practical Computer Science, especially Data Management Systems and Knowledge Representation Schuetzenbahn 70 45117 Essen, Germany Tel.: (+49) 201-183 3421 IP-Tel. Skype: unlandr Fax: (+49) 201-183 4460 Email: Rainer.Unland at icb.uni-due.de WWW: http://www.dawis.wiwi.uni-due.de/ *************************************************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rainer.unland at icb.uni-due.de Fri Dec 13 18:26:46 2013 From: rainer.unland at icb.uni-due.de (Rainer Unland) Date: Fri, 13 Dec 2013 18:26:46 +0100 Subject: Call for Papers and Demos,,2nd Workshop on Multi-agent Based Applications for Smart Grids and Sustainable Energy Systems (MASGES) as part of PAAMS, Salamanca (Spain), 4-6.6.2014 Message-ID: <52AB4356.3020704@icb.uni-due.de> *Call for Papers and Demos* *2nd Workshop on Multi-agent Based Applications for Smart Grids and Sustainable Energy Systems (MASGES) * *as part of* *12th Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS)* *Salamanca (Spain), 4th-6th June, 2014* *Important dates* Submission date papers, 20th January, 2014 Submission date papers, 24th February, 2014 Notification of acceptance, 24th February, 2014 Camera-ready deadline, 10th March, 2014 Conference dates, 4th-6th June, 2014 *Workshop motivation and topics* After the explicit commitment of many countries to support the installation and operation of (small) renewable energy production sources, energy grids need to become more intelligent and flexible. Such so called smart grids probably need to rely on decentralized control and a highly efficient, flexible and reliable management. Smart grids need to be capable of autonomously and intelligently configuring themselves to exploit available resources as efficiently as possible, to be robust to all kinds of failures and energy production deviations, and to be extendable and adaptable in the light of rapidly changing technologies and requirements. The distributed nature of the underlying control structure of such systems, and the autonomous behaviour expected from them points towards multi-agent systems as a possible underlying implementation platform for the management software of such grids. But not only energy production and provision have to change. The house as well as the transportation means of the future need to be smoothly integrated into such a smart grid concept, requiring houses and transportation means to be smart as well. On the economic side, the electrical power industry was traditionally intensively regulated with led to a lack of market-price mechanisms. After the introduction of new regulations it has evolved into a distributed and competitive industry in which market forces dictate electricity prices. Electricity markets (EMs) are an evolving new reality, meaning that researchers lack insight into numerous open problems associated with them, e.g. the technical difficulties to understand the internal dynamics of EMs and the additional complexity in coordinating economic and financial issues. Thus, the focus of this workshop is on applications of multi-agent systems technology in smart grids, smart homes and electricity markets. Additionally, we are planning various "demo sessions" to give participants from academia an opportunity to present their latest developments on practical applications of agent technology. Project coordinators as well as PhD students are encouraged to submit the description of valuable demos resulting from their work. *List of Topics* The focus of this workshop is on the application of multi-agent systems in smart grids, smart homes, and electricity markets. Examples of areas of interest include, but are not limited to, the following: .Agent-based prediction, adaption and optimization of energy use within homes, buildings, organisations and micro-grids .Coalition formation strategies for coordinated energy use across multiple consumers, forming virtual power stations, and performing intelligent demand management .Interactions and exchange between networks for electricity, gas and heat .Multi-agent based simulations of energy grids and markets .Multi-Agent based Smart Grids Testbeds .Experiences with MAS-based Smart Grid implementations .Applications of MAS-based Smart Grid technologies .MAS-based real time adaptation of energy networks .MAS-based self-configuration or self-healing of energy systems .MAS-based load modelling and control .MAS-based applications for electrical vehicles .MAS-based control and management of electrical car fleets .MAS-based smart home (building) applications and services .MAS-based control and management of smart homes .MAS-based control and management of appliances .MAS-based commercial and industrial applications for smart homes .Intelligent Monitoring, Protection, Communication, Control or Diagnosis in Smart Grids .Agent-based Approaches in Energy Markets; .Market Monitoring and Forecasting .Novel Energy Markets and Trading Strategies .Smart sensors and advanced metering infrastructure *Structure of MASGES* MASGES will be a full one or two day(s) workshop and demo presentation and discussion. It will include several presentation sessions for the accepted paper and possible demos as well as invited talks on topics of overall workshop interest in order to kick off intense and lively discussions. It is intended to end the workshop with a panel/discussion round in which the relevant results of the workshop will be discussed. *Submission of papers * All papers and demo descriptions must be formatted according to the LNCS/LNAI template (see PAAMS homepage -- paper submission for templates etc.), with a maximum length of 8-12 pages, including figures and references for papers and 2-4 pages for demos. Both, accepted papers and demos, will be included in the PAAMS 2014 Proceedings, published by Springer. Papers must be formatted according to the Springer LNCS formatting instructions and must be submitted in electronic form (PDF format) using the Paper Submission System. *Grants* The BISITE research group (http://bisite.usal.es) of the University of Salamanca, organiser of PAAMS 2014, offers 40 grants to facilitate the attendance to doctoral and young doctors both to the event itself (including Workshops and Special Sessions) and to the parallel collocated events. More information can be found here: http://www.paams.net/grants *Review Process* Submissions will be peer-reviewed by at least 3 Program Committee members. Selection criteria will include: relevance, significance, impact, originality, technical soundness, quality of presentation, practical applicability. Some preference may also be given to papers which address emergent trends or important common themes. In general, papers to be acceptable, must be of substantial relevance for the multi-agent systems research community. Demo applications will be reviewed by the PC chairs. *Journal publication of excellent papers* It is intended to invite authors of excellent papers to submit an extended version of their paper to the IOS Multiagent and Grid Systems journal (MAGS). This journal has a high reputation and is often classified as a B-class journal. If enough high quality papers will be submitted it is planned to publish them as a special issue, otherwise as regular papers. *PC Chairs* Fernando Lopes, LNEG National Research Institute, Portugal, fernando.lopes at lneg.pt Rainer Unland, University of Duisburg-Essen, Germany, rainer.unland at icb.uni-due.de *Program Committee* Alberto Fernández, Universidad Rey Juan Carlos, Spain Alberto Sardinha, Technical University of Lisbon, Portugal Andreas Symeonidis, University of Thessaloniki, Greece Anke Weidlich, Hochschule Offenburg, Germany Benjamin Hirsch, Etisalat BT Innovation Centre (EBTIC), UAE Bernhard Bauer, Universität Augsburg, Germany Bo Nørregaard Jørgensen , Mærsk Mc-Kinney Møller Instituttet, Denmark Carlos Ramos, Polytechnic Institute of Porto, Portugal Christian Derksen, Universität Duisburg-Essen, Germany Christoph Weber, Universität Duisburg-Essen, Germany Costin Ba(dica(, University of Craiova, Craiova, Romania David Sislak, Gerstner Laboratory, Czech Republic Fabrice Saffre, British Telecom, UK Frank Allgöwer, Universität Stuttgart, Germany Georg Frey, Universität des Saarlandes, Germany Hanno Hildmann, NEC Germany, Germany Huib Aldewereld, Universiteit Utrecht, The Netherlands Ingo J. Timm, JW Goethe-University Frankfurt, Germany Jan Sudeikat, Hamburg Energie GmbH, Germany Jan Treur, Vrije Universiteit Amsterdam, The Netherlands John Collins, University of Minnesota, USA Joseph Barjis, TU Delft, The Netherlands Juan A. Rodríguez-Aguilar, IIIA, CSIC, Spain Koen Hindriks, Delft University of Technology, Netherlands Lars Braubach, University of Hamburg, Germany Lars Mönch, Fernuniversität Hagen, Germany Laurent Vercouter, Graduate School of engineering - Saint-Étienne, France Marcin Paprzycki, Polish Academy of Sciences, Poland Maria Ganzha, Polish Academy of Sciences, Poland Massimiliano Giacomin, University of Brescia, Italy Mathijs de Weerdt, TU Delft, The Netherlands Matteo Vasirani, Universidad Rey Juan Carlos, Spain Matthias Klusch, DFKI, Germany Miguel Ángel López Carmona, University of Alcalá de Henares, Spain Nir Oren, University of Aberdeen, UK Olivier Boissier, ENS Mines Saint-Etienne, France Ori Marom, Rotterdam School of Management, The Netherlands Paolo Torroni, University of Bologna, Italy Paulo Leitão, Polytechnic Institute of Bragança, Portugal Paulo Novais, Universidade do Minho, Portugal Peter Palensky, AIT Austrian Institute of Technology, Austria Sascha Ossowski, Universidad Rey Juan Carlos, Spain Sebastian Lehnhoff, Universidad Rey Juan Carlos, Germany Stamatis Karnouskos, SAP, Germany Steven Guan, Xian Jiatong-Liverpool University, China Sudip Bhattacharjee, University of Connecticut, USA Tiago Pinto, Polytechnic Institute of Porto, Portugal Wamberto Vasconcelos, University of Aberdeen, UK Wolfgang Ketter, Rotterdam School of Management, The Netherlands Zakaria Maamar, Zayed University, UAE *Steering Committee* Fernando Lopes, LNEG National Research Institute , Portugal Giancarlo Fortino, Università della Calabria, Italy Hugo Morais, Denmark Technical University, Denmark Rainer Unland, University of Duisburg-Essen, Germany Ryszard Kowalczyk, Swinburne University of Technology Zita Vale, Polytechnic Institute of Porto, Po -- "Experience is this valuable asset which allows us to identify the mistake immediately when we are doing it again and again!" "Erfahrung ist jener kostbare Besitz, der uns befähigt, einen Fehler sofort zu erkennen, wenn wir ihn immer wieder machen." ************************************************************************** Prof. Dr. Rainer Unland University of Duisburg-Essen Institute for Computer Science and Business Information Systems (ICB) Practical Computer Science, especially Data Management Systems and Knowledge Representation Schuetzenbahn 70 45117 Essen, Germany Tel.: (+49) 201-183 3421 IP-Tel. Skype: unlandr Fax: (+49) 201-183 4460 Email: Rainer.Unland at icb.uni-due.de WWW: http://www.dawis.wiwi.uni-due.de/ *************************************************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sat Dec 14 13:19:53 2013 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 14 Dec 2013 14:19:53 +0200 Subject: Final CFP: 17th International Conference on Business Information Systems (BIS 2014) Message-ID: *** Final Call for Papers *** 17th International Conference on Business Information Systems BIS 2014 Golden Bay Hotel, Larnaca, Cyprus May 21-23, 2014 http://bis.kie.ue.poznan.pl/17th_bis/ Extended Deadline for submissions: January 10, 2014 (Proceedings will be published in Springer's LNBIP series) THEME OF THE CONFERENCE Big Data: problems solved and remaining challenges The amount of data available for analysis, especially economy-related data, is increasing rapidly. According to MGI and McKinsey's Business Technology Group, Big Data is becoming a key basis of competition, important factor of productivity growth, innovation, consumer surplus as well as organizational effectiveness. Currently, Big Data is one of the hottest trends in the areas like recommendation engines, network monitoring, sentiment analysis, fraud detection, risk modeling, marketing campaign analysis, and social graph analysis. However, there is a need to remodel technologies, applications, infrastructure, and business processes in order to take full advantage of the possibilities offered by Big Data. It is our pleasure to invite you to submit your work to BIS 2014 conference. The BIS conference is a well-respected event joining international researchers to discuss the wide range of the development, implementation, application and improvement of business applications and systems. It is addressed to the scientific community, people involved in the development of business computer applications, consultants helping to properly implement computer technology and applications in the industry. TOPICS OF THE CONFERENCE Topics are restricted by the theme of the conference as defined above and they include: Ontologies * creation, learning, population, evolution and evaluation of ontologies * ontologies for enterprise content management * natural language processing and cognitive science * semantic integration of heterogeneous semi-structured information sources * interoperability of heterogeneous information systems * business models for Web information integration and aggregation * linked open data Contexts * location-aware and geography-centric information systems * wireless and mobile applications * multi-agent distributed systems * semantic web personalization * smart cities * ambient computing * RFID and localisation techniques Content retrieval and filtering * search over semi-structural Web sources * Deep Web search and crawling * data integration from Web information sources * modeling and describing evolving data sources * information gathering support for knowledge-intensive enterprises * business models for a content * unified data processing and communication systems * automatic identification and data collector systems Collaboration * knowledge-based collaboration * social networks and social wikis * enterprise mashups, Enterprise 2.0 * security in distributed systems * Web-based model for discoverability, consumption, and reuse * social networks for healthcare Services science * service oriented computing * semantic web services * composition, choreography and orchestration * trust and quality of service (QoS) * service level agreements * distributed computing for the smart grid Interoperability * digital ecosystem * e-infrastructure * cloud computing Business process management * semantic business process management * adaptive and dynamic processes * supply chain processes * ERP implementations * integration of data and processes * collaborative BPM Applications * policy modelling and simulation for e-governance * technologies for digital culture and cultural heritage * digital libraries and web archiving * access to cultural resources * technologies for a low carbon economy * safety and healthcare record information reuse * early warning systems and mobile monitoring * intelligent medical systems * business models for Future Internet SUBMISSION The BIS 2014 proceedings will be published as a volume in Lecture Notes in Business Information Processing (LNBIP) series by Springer Verlag. http://www.springer.com/computer?SGWID=0-146-6-450209-0 Information for LNBIP authors may be found at: http://www.springer.com/computer/lncs?SGWID=0-164-6-791344-0 Submission: http://bis.kie.ue.poznan.pl/17th_bis/submission.php * Language of publication: English * Paper should not exceed 12 LNBIP pages (including abstract and references) * Please include a 100-word abstract at the beginning of the paper, which clearly presents the achievement or contribution of the paper * Please include 4-7 keywords best describing your paper * We understand that you submit your original work that has not been published or submitted elsewhere, and that you agree to publish your work when it is accepted by the Program Committee; you will be required to send a signed copyright form as required by Springer at a later stage * At least one author should register for the conference and present the paper; only registered authors' papers will be included in the proceedings * The authors will prepare the final manuscript in time for its inclusion in conference proceedings IMPORTANT DATES Jan 10, 2014: Submission deadline for papers Feb 19, 2014: Nnotification of acceptance/rejection Mar 05, 2014: Submission of final papers May 21-23, 2014: The conference ORGANIZERS Poznan University of Economics, Department of Information Systems University of Cyprus, Department of Computer Science Poznan University of Economics Dept. of Information Systems Al. Niepodleglosci 10 61-875 Poznan, POLAND Phone: +48(61)854-3381 Fax: +48(61)854-3633 bis[at]kie[dot]ue[dot]poznan[dot]pl http://bis.kie.ue.poznan.pl University of Cyprus Department of Computer Science 1 University Avenue, Aglantzia CY-2109, Nicosia, Cyprus Tel: +357-22892693, Fax: +357-22892701 -------------------------------------------------------------------- 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 Dec 14 18:42:32 2013 From: grlmc at urv.cat (GRLMC) Date: Sat, 14 Dec 2013 18:42:32 +0100 Subject: SSTiC 2014: December 21st, 1st registration deadline Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2014 Tarragona, Spain July 7-11, 2014 Organized by Rovira i Virgili University http://grammars.grlmc.com/sstic2014/ ********************************************************************* --- December 21st, 1st registration deadline --- ********************************************************************* AIM: SSTiC 2014 is the second edition in a series started in 2013. For the previous event, see http://grammars.grlmc.com/SSTiC2013/ SSTiC 2014 will be a research training event mainly addressed to PhD students and PhD holders in the first steps of their academic career. It intends to update them about the most recent developments in the diverse branches of computer science and its neighbouring areas. To that purpose, renowned scholars will lecture and will be available for interaction with the audience. SSTiC 2014 will cover the whole spectrum of computer science through 5 keynote lectures and 24 six-hour courses dealing with some of the most lively topics in the field. The organizers share the idea that outstanding speakers will really attract the brightest students. ADDRESSED TO: Graduate students from around the world. There are no formal pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, reference may be made to specific knowledge background in the description of some of them. SSTiC 2014 is also appropriate for more senior people who want to keep themselves updated on developments in their own field or in other branches of computer science. They will surely find it fruitful to listen and discuss with scholars who are main references in computing nowadays. REGIME: In addition to keynotes, 3 parallel sessions will be held 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: SSTiC 2014 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: Larry S. Davis (U Maryland, College Park), A Historical Perspective of Computer Vision Models for Object Recognition and Scene Analysis David S. Johnson (Columbia U, New York), Open and Closed Problems in NP-Completeness George Karypis (U Minnesota, Twin Cities), Recommender Systems Past, Present, & Future Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One Coin Ronald R. Yager (Iona C, New Rochelle), Social Modeling COURSES AND PROFESSORS: Divyakant Agrawal (U California, Santa Barbara), [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences Stephen Brewster (U Glasgow), [introductory] Multimodal Human-computer Interaction Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing John M. Carroll (Pennsylvania State U, University Park), [introductory] Usability Engineering and Scenario-based Design Kwang-Ting (Tim) Cheng (U California, Santa Barbara), [introductory/intermediate] Smartphones: Hardware Platform, Software Development, and Emerging Apps Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed Foundations of Data Management in the Cloud Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and Distributed Simulation Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education Research: What We Know about Learning and Teaching Computer Science David S. Johnson (Columbia U, New York), [introductory] The Traveling Salesman Problem in Theory and Practice George Karypis (U Minnesota, Twin Cities), [intermediate] Programming Models/Frameworks for Parallel & Distributed Computing Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate] Optimization Techniques for Sparse/Low-rank Recovery Problems in Image Processing and Machine Learning Arie E. Kaufman (U Stony Brook), [advanced] Visualization Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in Computer Science Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate] Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance Handover System Designs Sudhakar M. Reddy (U Iowa, Iowa City), [introductory] Test and Design for Test of Digital Logic Circuits Robert Sargent (Syracuse U), [introductory] Validation of Models Mubarak Shah (U Central Florida, Orlando), [intermediate] Visual Crowd Analysis Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection for Twitter and the Social Web Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate] Distributed Consensus: Theory and Applications Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and Life 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/sstic2014/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 when the capacity of the venue will be complete. It is very convenient to register prior to the event. FEES: As far as possible, participants are expected to attend for the whole (or most of the) week (full-time). Fees are a flat rate allowing one to participate to all courses. They vary depending on the registration deadline. ACCOMMODATION: Information about accommodation will be available on the website of the School in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SSTiC 2014 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Departament d’Economia i Coneixement, Generalitat de Catalunya Universitat Rovira i Virgili From announce at cs.ucy.ac.cy Sun Dec 15 10:07:53 2013 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 15 Dec 2013 11:07:53 +0200 Subject: MEDI 2014: Preliminary Call for Papers Message-ID: *** PRELIMINARY CALL FOR PAPERS *** 4th INTERNATIONAL CONFERENCE ON MODEL & DATA ENGINEERING (MEDI 2014) Lordos Beach Hotel, Larnaca, Cyprus 24-26 September, 2014 http://medi2014.cs.ucy.ac.cy/ The main objective of the conference is to provide a forum for the dissemination of research accomplishments and to promote the interaction and collaboration of research communities issued from modelling and system modelling on the one hand and data and data modelling on the other hand. MEDI 2014 provides an international infrastructure for the presentation of research results and experimentations on models and data theory, development of advanced technologies related to models and data and their advanced applications and case studies. This international scientific event, initiated by researchers from Euro-Mediterranean countries, aims also at promoting the creation of north-south scientific networks, projects and faculty/student exchanges and of other parts of the world as well. Aim and Scope Specific areas of interest to MEDI'2014 include but are not limited to: Modelling and Models Engineering: - Design of General-purpose Modelling Languages and Related Standards - Model Driven Engineering, Modelling Languages, Meta-modelling, Model Transformation, Model Evolution: - Formal Modelling, Verification and Validation, Analysis, Testing - Ontology Based Modelling, Role of Ontologies in Modelling Activities - Model Manipulation and models as first objects - Heterogeneous modelling, model integration and interoperability - Applications and case studies Data Engineering: - Heterogeneous data, data Integration and Interoperability - Distributed, Parallel, Grid, Peer to Peer, Cloud Databases - Data Warehouses and OLAP, Data Mining - Database System Internals, Performance, Self-tuning Benchmarking and Testing - Database Security, Personalization, Recommendation - Web Databases, Ontology Based Databases, PDMS - Applications and case studies Modeling for Data Management: - New Models and Architectures for Databases and Data Warehouses - Modeling and Quality of Data - Modeling for Enhancing Sharing Data - Models for Explicit and Implicit Semantics based Data Optimization - Model Reification, Model Repositories - Modeling Non Functional Properties of Systems - Data as models and Models as Data - Service based data management and service oriented applications - Models for data Monitoring - Urbanization of Database Applications Applications and tooling: - Industry transfer, experiences - Data and Model manipulation and tooling - Modelling tools and experimentation Conference Location Lordos Beach Hotel, Larnaca https://www.lordosbeach.com.cy/en/ Submission Guidelines and Instructions Authors are invited to submit research and application papers representing original, previously unpublished work. Papers should be submitted in PDF or Word format. Submissions must conform to Springer's LNCS format and should not exceed 12 pages (including all text, figures, references and appendices). Authors who want to buy extra pages may submit a paper up to 15 pages with the indication that the authors will purchase extra pages if the paper is accepted. Submissions which do not conform to the LNCS format and/or which do exceed 12 pages (or up to 15 pages with the extra page purchase commitment) will be rejected without reviews. Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All accepted papers will be published in Lecture Notes in Computer Science (LNCS) by Springer-Verlag. Duplicate submissions are not allowed. A submission is considered to be a duplicate submission if it is submitted to other conferences/workshops/journals or it has been already accepted to be published in other conferences/workshops/journals. Duplicate submissions thus will be automatically rejected without reviews. Submissions require explicit consent from all listed authors. Important Dates Abstract submission: April 14, 2014 Full-paper submission: April 21, 2014 Acceptance notification: June 16, 2014 Camera Ready: July 7, 2014 Paper Publication All accepted papers will be published in Lecture Notes in Computer Science (LNCS) by Springer-Verlag. Best papers will be invited for submission in a special issue of a recognized international journals (under discussion). Keynotes Speakers Mukesh MOHANIA, IBM, INDIA : Data and Data models Dominique MERY, Loria, Nancy, France: Models and system modelling Conference Organization General Chairs Ladjel Bellatreche, ENSMA, Poitiers University, France George A. Papadopoulos, Department of Computer Science, University of Cyprus Programme Committee Chair Yamine Aït Ameur, ENSEEIHT/IRIT, Toulouse, France Local Organizing Chair Mr. Petros Stratis (EasyConferences, LTD), Finance Chair Program Committee TBA For further inquiries, contact the MEDI 2014 PC Chair: Yamine Aït Ameur (yamine at n7.fr) -------------------------------------------------------------------- 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 Dec 15 13:54:56 2013 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 15 Dec 2013 14:54:56 +0200 Subject: ICSOB 2014: Last Call for Workshop Proposals Message-ID: *** Last Call for Workshop Proposals *** Fifth International Conference on Software Business (ICSOB 2014) Azia Resort and Spa, Paphos Cyprus June 15-18, 2014 http://www.icsob.org Deadline for proposals: December 23rd Notification: December 31st We invite proposals for workshops. Workshops are intended to provide a forum for the discussion of a specific topic from the field of software business between an international group of researchers. Software business creates a noticeable spillover within other industries (e.g. manufacturing, entertainment industry) enabling new business models: companies bundle their physical products and software services into solutions (e.g. using subscription models or in-app purchases) and start to sell independent software products in addition to physical products. Therefore, we invite workshop proposals that focus on software business in new and emerging industries. Finally, we also warmly welcome workshop proposals aligned with the theme of ICSOB 2014: "Shortening the time-to-market". Each workshop should have at least four paper presentations. The workshop organiser will be responsible for advertising the workshop, reviewing and selecting the papers. Financial assistance for the workshop organiser will be limited to one fee waiver for the conference. Papers accepted for workshops are planned to be published under the CCIS proceedings, http://link.springer.com/search?facet-series=%227899%22&facet-content-type=%22Book%22 . Proposals to organise workshops should include the following information: · Title of the workshop · Name, affiliation, mailing address and e-mail address of the proposer(s). · A brief introduction of the proposer, explaining his/her qualifications. · Names of at least three PC members for the workshops · A description of the topic of the session (not exceeding 100 words) · A short description on how the session will be advertised so as to ensure a sufficiently wide range of authors. · A description of how the workshop will contribute to the field of Software Business. Please send your proposals to the Program Chairs of ICSOB 2014 and to workshop chair: Casper Lassenius, Aalto University, Finland, workshops at icsob.org Kari Smolander, Lappeenranta University of Technology, Finland, workshops at icsob.org Krzysztof Wnuk, Lund University, Sweden, workshops at icsob.org Papers for workshops should be submitted directly to the workshop using our paper submission system. The workshop organizer will be required to use the ICSOB 2014 paper submission engine and to review the papers on basis of the same criteria as those in the main track. The list of papers accepted for a workshop should be sent to the Program Chairs before April 15, 2014. -------------------------------------------------------------------- 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 pmt6sbc at maths.leeds.ac.uk Mon Dec 16 00:13:54 2013 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Sun, 15 Dec 2013 23:13:54 GMT Subject: 2nd CFP: CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 Message-ID: <201312152313.rBFNDs58007047@maths.leeds.ac.uk> ******************************************************************* 2nd CALL FOR PAPERS: CiE 2014: Language, Life, Limits Budapest, Hungary June 23 - 27, 2014 http://cie2014.inf.elte.hu IMPORTANT DATES: Submission Deadline for LNCS: 10 January 2014 Notification of authors: 3 March 2014 Deadline for final revisions: 31 March 2014 FUNDING and AWARDS: CiE 2014 has received funding for student participation from the European Association for Theoretical Computer Science EATCS. Please contact the PC chairs if you are interested. The best student paper will receive an award sponsored by Springer. CiE 2014 is the tenth 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), and Milan (2013). The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus on relations between computational linguistics, natural and biological computing, and more traditional fields of computability theory. This is to be understood in its broadest sense including computational aspects of problems in linguistics, studying models of computation and algorithms inspired by physical and biological approaches as well as exhibiting limits (and non-limits) of computability when considering different models of computation arising from such approaches. As with previous CiE conferences the allover glueing perspective is to strengthen the mutual benefits of analyzing traditional and new computational paradigms in their corresponding frameworks both with respect to practical applications and a deeper theoretical understanding. We particularly invite papers that build bridges between different parts of the research community. For topics covered by the conference, please visit http://cie2014.inf.elte.hu/?Topics We particularly welcome submissions in emergent areas, such as bioinformatics and natural computation, where they have a basic connection with computability. TUTORIAL SPEAKERS: Wolfgang Thomas (RWTH Aachen) Peter Gruenwald (CWI, Amsterdam) INVITED SPEAKERS: Lev Beklemishev (Steklov Mathematical Institute, Moscow) Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris) Maribel Fernandez (King's College London) Przemyslaw Prusinkiewicz (University of Calgary) Eva Tardos (Cornell University Albert Visser (Utrecht University) SPECIAL SESSIONS: History and Philosophy of Computing (organizers: Liesbeth de Mol, Giuseppe Primiero) Computational Linguistics (organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky) Computability Theory (organizers: Karen Lange, Barbara Csima) Bio-inspired Computation (organizers: Marian Gheorghe, Florin Manea) Online Algorithms (organizers: Joan Boyar, Csanad Imreh) Complexity in Automata Theory (organizers: Markus Lohrey, Giovanni Pighizzini) Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of: * Gerard Alberts (Amsterdam) * Sandra Alves (Porto) * Hajnal Andreka (Budapest) * Luis Antunes (Porto) * Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris) * Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau) * Vasco Brattka (Munich) * Bruno Codenotti (Pisa) * Erzsebet Csuhaj-Varju (Budapest, co-chair) * Barry Cooper (Leeds) * Michael J. Dinneen (Auckland) * Erich Graedel (Aachen) * Marie Hicks (Chicago IL) * Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku) * Elham Kashefi (Edinburgh) * Viv Kendon (Leeds) * Satoshi Kobayashi (Tokyo) * Andras Kornai (Budapest) * Marcus Kracht (Bielefeld) * Benedikt Loewe (Amsterdam & Hamburg) * Klaus Meer (Cottbus, co-chair) * Joseph R. Mileti (Grinnell IA) * Georg Moser (Innsbruck) * Benedek Nagy (Debrecen) * Sara Negri (Helsinki) * Thomas Schwentick (Dortmund) * Neil Thapen (Prague) * Peter van Emde Boas (Amsterdam) * Xizhong Zheng (Glenside PA) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2014. The submission site https://www.easychair.org/conferences/?conf=cie2014 is open. For submission instructions consult http://cie2014.inf.elte.hu/?Submission_Instructions The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. Contact: Erzsebet Csuhaj-Varju - csuhaj[at]inf.elte.hu Website: http://cie2014.inf.elte.hu/ ******************************************************************* From ruy at cin.ufpe.br Mon Dec 16 10:59:34 2013 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Mon, 16 Dec 2013 07:59:34 -0200 Subject: WoLLIC 2014 - 2nd Call for Papers Message-ID: [Please circulate. Apologies for any cross-postings.] WoLLIC 2014 21st Workshop on Logic, Language, Information and Computation September 1st to 4th, 2014 Valparaiso, Chile 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, Universidad de Chile, Chile Department of Computer Science, Pontificia Universidad Católica de Chile, Chile Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Informatics, Universidad Técnica Federico Santa María, Chile 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 twentieth WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014. 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. 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 2014 EasyChair website. (Please go to http://wollic.org/wollic2014/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 24, 2014, and the full paper by Mar 28, 2014 (firm date). Notifications are expected by May 2, 2014, and final papers for the proceedings will be due by May 15, 2014 (firm date). PROCEEDINGS The proceedings of WoLLIC 2014, 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 2014 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Verónica Becher (U Buenos Aires) Juha Kontinen (U Helsinki) Aarne Ranta (U Gothenburg) Kazushige Terui (U Kyoto) Luca Viganò (King’s College London) Thomas Wilke (U Kiel) STUDENT GRANTS ASL sponsorship of WoLLIC 2014 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2014). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 24, 2014: Paper title and abstract deadline Mar 28, 2014: Full paper deadline May 2, 2014: Author notification May 15, 2014: Final version deadline (firm) PROGRAMME COMMITTEE Natasha Alechina (U Nottingham) Eric Allender (Rutgers U) Marcelo Arenas (PUC Chile) Steve Awodey (CMU) Julian Bradfield (U Edinburgh) Xavier Caicedo (U de Los Andes) Olivier Danvy (Aarhus U) Ulrich Kohlenbach (Tech U Darmstadt) (CHAIR) Marcus Kracht (U Bielefeld) Michiel van Lambalgen (U Amsterdam) Klaus Meer (Tech U Cottbus) George Metcalfe (Bern U) Dale Miller (INRIA Saclay / LIX) Russell Miller (CUNY) Sara Negri (U Helsinki) Nicole Schweikardt (U Frankfurt) (more to come) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Pablo Barceló (Universidad de Chile) (Local chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Juan Reutter (Pontificia Universidad Católica de Chile) Cristián Riveros (Pontificia Universidad Católica de Chile) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2014/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Bertram.Fronhoefer at tu-dresden.de Mon Dec 16 16:39:15 2013 From: Bertram.Fronhoefer at tu-dresden.de (=?ISO-8859-1?Q?Bertram_Fronh=F6fer?=) Date: Mon, 16 Dec 2013 16:39:15 +0100 Subject: EMCL Study grants Message-ID: <52AF1EA3.7000907@tu-dresden.de> ---------------------------------------------------------------------------------------------- Dear all, I'd like to draw your attention to the fact that fresh Erasmus Mundus scholarships are available for Non-European AND European students who enrol in our European Master's Program in Computational Logic in the fall of 2014. The deadline for application is 31 January, 2014. More details are given below. In particular, I'd like to draw your attention to the fact that we are able to provide grants to EU-students for doing their project at the National ICT of Australia (NICTA). Please spread this information as wide as possible among friends and colleagues, at your old universities and the places, where you currently live and work. Many thanks -- Steffen ******************************************************************************************************* The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universität Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition, you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a joint degree. Information on the universities and the program including the application procedure is provided here: http://www.emcl-study.eu/home.html Language of instruction is English. Tuition fees are 3.000 EUR (for non-European students) and 1.000 (for European students) per year. We would like to draw your attention to the ERASMUS-MUNDUS scholarship program. The ERASMUS-MUNDUS consortium offers 2-year scholarships up to 48.000 EUR for non-EU students and up to 23.000 EUR for EU students of our European Master's Program in Computational Logic. More information on the scholarship program is available from: http://www.emcl-study.eu/fileadmin/emcl_booklet_tree/ma_em_grant.html Do not hesitate to contact us if you have any further questions. Kind regards -- Steffen Hölldobler Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: sh at iccl.tu-dresden.de From m.b.vanriemsdijk at tudelft.nl Mon Dec 16 16:58:33 2013 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Mon, 16 Dec 2013 16:58:33 +0100 Subject: CFP Agents and Multiagent Systems Schools (IFAAMAS) Message-ID: ******************************************************** CALL FOR PROPOSALS AGENTS and MULTIAGENT SYSTEMS SCHOOLS ******************************************************** The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) invites proposals for Agent and Multiagent System Schools from countries or regions that have been traditionally under-represented in the AAMAS conference (International Joint Conference on Autonomous Agents and Multiagent Systems). For more information on the conference series, please look at www.aamas-conference.org The intent is to encourage further participation of researchers from such countries in AAMAS, and to foster research in the field of agent and multiagent systems. Attendees at such schools can be from academia (typically graduate students but also faculty looking to enter the field) or from industry and government. WHAT IS IFAAMAS? IFAAMAS is the International Foundation for Autonomous Agents and Multiagent Systems (http://ifaamas.org/). It is a legally registered not-for-profit organisation responsible for organising the AAMAS conference series. Broadly, the aims of IFAAMAS are to promote research into and awareness of agent and multiagent systems, primarily by means of its involvement in organising the AAMAS conferences, but also by providing student travel scholarships, and the like. WHAT IS IFAAMAS TRYING TO ACHIEVE WITH THIS INITIATIVE? A number of advanced schools on agent systems have been held throughout the world since 1999 (the European Agent Systems Summer School (EASSS) in Europe, the Americas schools, the Pacific Rim region school). While these events have been enormously successful, they have primarily been focussed around regions and countries that already have substantial agent research communities, and that in addition have the resources to travel to international conferences. For this reason, IFAAMAS has initiated similar teaching events in regions that are not so well represented in terms of established research groups, and that do not have easy access to funds for international travel. WHAT KIND OF EVENTS ARE WE AIMING AT? IFAAMAS will consider any reasonable proposal for a training event, but typically 3 to 5 days of intensive courses (or tutorials), presented by internationally or regionally recognised speakers, on a variety of topics in the agent systems area, with some 5-15 courses, each of 1/2 day to a day duration. The aim is usually to provide both introductory and more advanced courses and in addition to provide a "balanced curriculum" insofar as this is possible. Please do not feel constrained by this model, however; IFAAMAS will consider any reasonable structure, provided a justification is given. WHAT SUPPORT WILL BE AVAILABLE? IFAAMAS will provide a grant to subsidize the agent school so as to make it affordable to the participants, for example, by providing travel support for students to attend the school. In the past, levels of financial support have been in the form of a (roughly $5000) grant. WHICH REGIONS/COUNTRIES ARE ELIGIBLE? Broadly, regions/countries that (i) do not have major established research groups in the agents area, and (ii) do not have easy access to funds for international travel. HOW DO I APPLY? Proposal writers are encouraged to submit proposals as soon as possible but no later than *February 15th, 2014*. Proposals will undergo an evaluation and selection process. Please send your proposals in pdf or plain text form to Birna van Riemsdijk (m.b.vanriemsdijk at tudelft.nl). Proposals should include the following information: - Expected value to the community * What is the "catchment area" for your school, i.e., which countries/regions might you expect students from, and what proportion will be from under-represented countries? * What is the potential for (further) developing agent research in the region where you plan to hold your school? For example, do you see a growing interest in agents and multiagent systems and could the school help to create momentum for its (further) development? * How many students might be expected to attend? * How do you plan to use the requested funds to support the aims of this call for proposals? - Programme and organization * What structure do you envisage the event having? How many courses/lecturers and on which topics? How many parallel sessions (if any)? Not all lecturers need be international lecturers; including some local/regional speakers can sometimes be beneficial. * When will the school be held, and what will be the duration of the school? (Please provide multiple possibilities). Is it colocated with other events? * What is the location of the school and will this be easily accessible to lecturers and students? - Finances * What amount of funding do you request? * Is there potential for other support (sponsorship) for the school beyond IFAAMAS? For instance, would some universities, industry, or the government potentially support the school? * Can you give a *preliminary* breakdown of costs? Note that a detailed breakdown is not necessary at this stage. * Will affordable student accommodation be available? If so, how many rooms and how much will they cost? IFAAMAS Education and Training Subcommittee, M. Birna van Riemsdijk, Delft University of Technology, The Netherlands (chair) Michael Luck, King's College London, UK Sascha Ossowski, Universidad Rey Juan Carlos, Spain ----------------------------- Dr. M. Birna van Riemsdijk assistant professor Interactive Intelligence Group Department of Intelligent Systems Faculty of Electrical Engineering, Mathematics and Computer Science Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands Room: HB 12.040 Telephone: +31 (0)15 2786331 Website: http://ii.tudelft.nl/~birna/ Twitter: @mbirna From xrambous at aurora.fi.muni.cz Wed Dec 18 14:20:07 2013 From: xrambous at aurora.fi.muni.cz (TSD 2014) Date: Wed, 18 Dec 2013 14:20:07 +0100 Subject: TSD 2014 - Preliminary Announcement Message-ID: ********************************************************* TSD 2014 - PRELIMINARY ANNOUNCEMENT ********************************************************* Seventeenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2014) Brno, Czech Republic, 8-12 September 2014 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. TOPICS Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (morphological and syntactic analysis, synthesis and disambiguation, multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection) Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies) Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues) Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) Papers on processing of languages other than English are strongly encouraged. PROGRAM COMMITTEE Hynek Hermansky, USA (general chair) Eneko Agirre, Spain Genevieve Baudoin, France Paul Cook, Australia Jan Cernocky, Czech Republic Simon Dobrisek, Slovenia Karina Evgrafova, Russia Darja Fiser, Slovenia Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, GB Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Yannis Haralambous, France Ludwig Hitzenberger, Germany Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Maria Khokhlova, Russia Daniil Kocharov, Russia Ivan Kopecek, Czech Republic Valia Kordoni, Germany Steven Krauwer, The Netherlands Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Vaclav Matousek, Czech Republic Diana McCarthy, United Kingdom France Mihelic, Slovenia Hermann Ney, Germany Elmar Noeth, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Fabio Pianesi, Italy Maciej Piasecki, Poland Adam Przepiorkowski, Poland Josef Psutka, Czech Republic James Pustejovsky, USA German Rigau, Spain Leon Rothkrantz, The Netherlands Anna Rumshisky, USA Milan Rusko, Slovakia Mykola Sazhok, Ukraine Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Stefan Steidl, Germany Georg Stemmer, Germany Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Pascal Wiggers, The Netherlands Yorick Wilks, GB Marcin Wolinski, Poland Victor Zakharov, Russia KEYNOTE SPEAKERS Ralph Grishman, New York University, USA Bernardo Magnini, FBK - Fondazione Bruno Kessler, Italy FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. CONFERENCE PROGRAM The conference program will include oral presentations and poster/demonstration sessions with sufficient time for discussions of the issues raised. IMPORTANT DATES March 15 2014 ............ Submission of abstract March 22 2014 ............ Submission of full papers May 15 2014 .............. Notification of acceptance May 31 2014 .............. Final papers (camera ready) and registration August 3 2014 ............ Submission of demonstration abstracts August 10 2014 ........... Notification of acceptance for demonstrations sent to the authors September 8-12 2014 ...... Conference date The contributions to the conference will be published in proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. ADDRESS All correspondence regarding the conference should be addressed to Ales Horak, TSD 2014 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 18 63 fax: +420-5-49 49 18 20 email: tsd2014 at tsdconference.org The official TSD 2014 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000 and is the country's judiciary and trade-fair center. Brno is the capital of South Moravia, which is located in the south-east part of the Czech Republic and is known for a wide range of cultural, natural, and technical sights. South Moravia is a traditional wine region. Brno had been a Royal City since 1347 and with its six universities it forms a cultural center of the region. Brno can be reached easily by direct flights from London, Moscow, Saint Petersburg, Eindhoven, Rome and Prague and by trains or buses from Prague (200 km) or Vienna (130 km). From wjamroga at in.tu-clausthal.de Wed Dec 18 20:05:35 2013 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Wed, 18 Dec 2013 20:05:35 +0100 Subject: SR 2014 - Extended Deadline and Last Call for Contributions In-Reply-To: <52AF7D50.9080502@na.infn.it> References: <52AF7D50.9080502@na.infn.it> Message-ID: <52B1F1FF.108@in.tu-clausthal.de> [We apologize for multiple copies of this message] ************************************************ **** Extended Submission Deadlines **** Abstract submission: December 27, 2013 (AoE) Contribution submission: December 30, 2013 (AoE) ************************************************ Please consider to contribute to and/or forward to the appropriate groups the following call for submission of expository and novel contributions to SR 2014. ***************************************************************** ------ SR 2014 ----- ***************************************************************** Second International Workshop on Strategic Reasoning Grenoble, France, 5-6 April 2014 http://www.strategicreasoning.net ********************************************************** | LAST CALL FOR CONTRIBUTIONS | ********************************************************** OBJECTIVES Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling strategic ability. Theoretical results are now being used in many exciting fields, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent strategies that take into account the likely behavior of adversaries. The SR international workshop aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. LIST OF TOPICS The topics covered by the conference include, but are not limited to, the following: - Logics for reasoning about strategic abilities - Logics for multi-agent mechanism design, verification, and synthesis - Logical foundations of decision theory for multi-agent systems - Strategic reasoning in formal verification - Automata theory for strategy synthesis - Strategic reasoning under perfect and imperfect information - Applications and tools for cooperative and adversarial reasoning - Robust planning and optimization in multi-agent systems - Risk and uncertainty in multi-agent systems - Quantitative aspects in strategic reasonings CO-LOCATED EVENT SR 2014 is an ETAPS 2014 workshop. ETAPS 2014 will be held on April 5th-13th, 2014. INVITED SPEAKERS - Thomas A. Henzinger, IST Austria - Wiebe van der Hoek, University of Liverpool - Alessio R. Lomuscio, Imperial College London - Wolfgang Thomas, RWTH Aachen PAPER SUBMISSION Submitted papers should not exceed five pages using EPTCS format (http://style.eptcs.org). If necessary, the paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the programme committee. Submissions must be in PDF format and will be handled via EasyChair (https://www.easychair.org/conferences/?conf=sr2014) Two types of submission are invited: - Papers reporting on novel research, and - Expository papers reporting on published work. Each submission should be clearly identified as belonging to one category or the other. In both categories, strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and all papers should be written so that they are accessible to such an audience. Novel research abstracts will be held to the usual high standards of novel research publications. In particular, they should 1) contain enough information to enable the program committee to identify the main contribution of the work; 2) explain the significance of the work its novelty and its practical or theoretical implications; and 3) include comparisons with and references to relevant literature. Expository abstracts, which will be held to similarly high standards, may survey an area or report on a more specific previously published work; the submission should make clear the relevance to the strategic reasoning audience. Papers accepted for presentation (in both categories) will be collected as an EPTCS volume. Submissions from PC members are also allowed. Note that, as we accept short papers, extended versions of the accepted works could be also submitted elsewhere. IMPORTANT DATES Abstract submission: December 27, 2013 (AoE) Contribution submission: December 30, 2013 (AoE) Acceptance notification: January 30, 2014 (AoE) Camera-ready version: February 10, 2014 (AoE) SR 2014 Workshop: April 5-6, 2014 PROCEEDINGS The workshop proceedings will be published as a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS). An extended and revised version of the best workshop contributions of last edition have been selected for a special issue to appear on the international journal of Information and Computation. For the current edition, we plan to do the same and anyway to have a special issue on one of the major international journals of the area. GENERAL CHAIR Moshe Y. Vardi, Rice University, Texas, USA PROGRAM CO-CHAIRS Fabio Mogavero, Università di Napoli Federico II, Italy Aniello Murano, Università di Napoli Federico II, Italy PROGRAM COMMITTEE - Natasha Alechina, University of Nottingham, United Kingdom - Thomas Agotnes, University of Bergen, Norway - Nils Bulling, Clausthal University of Technology, Germany - Krishnendu Chatterjee, IST Austria, Austria - Wojtek Jamroga, University of Luxembourg, Luxembourg - François Laroussinie, Universitè Paris Diderot, France - Christof Loding, RWTH Aachen, Germany - Emiliano Lorini, Universitè Paul Sabatier,France - John-Jules C. Meyer, Utrecht University, Netherlands - Eric Pacuit, University of Maryland,United States - Wojciech Penczek, University of Podlasie, Poland - Sophie Pinchinat, University of Rennes, France - Jean-Francois Raskin, Universitè Libre de Bruxelles,Belgium - Francesca Rossi, Università di Padova, Italy - Toby Walsh, University of New South Wales,Australia - Michael Wooldridge, University of Oxford, United Kingdom ORGANIZING COMMITTEE - Fabio Mogavero, Università di Napoli Federico II, Italy - Aniello Murano, Università di Napoli Federico II, Italy - Loredana Sorrentino, Università di Napoli Federico II, Italy INFO For more information about the workshop, please visit the SR 2014 website http://www.strategicreasoning.net -- Dr. habil. Wojciech Jamroga Interdisciplinary Centre for Security, Reliability and Trust University of Luxembourg http://icr.uni.lu/wjamroga/ From a.artikis at gmail.com Wed Dec 18 21:42:36 2013 From: a.artikis at gmail.com (Alexander Artikis) Date: Wed, 18 Dec 2013 22:42:36 +0200 Subject: 2nd CFP: special session on Action Languages in the Hellenic AI conference Message-ID: Special Session in the Hellenic Artificial Intelligence Conference May 15-17, 2014 http://setn2014.cs.uoi.gr/index.php/en/special-sessions/action-languages Action Languages: Theory & Practice Action languages are formalisms supporting the representation and reasoning of actions or events and their effects. They constitute an important field of Artificial Intelligence, having played a pivotal role in the development of logics and languages to represent knowledge and reason about the dynamics of systems. Examples are the Situation Calculus, the Event Calculus and the language BC. The aim of this special session is to bring together researchers working in the active field of action languages. This way, researchers will be able to exchange ideas and establish common research programmes. We invite quality submissions focusing on various aspects of action languages. We welcome both theoretical contributions as well as papers describing emerging applications. For the latter, a time slot will be devoted to software demos (authors should state their desire to accompany the oral presentation with a live demo or video clip in their submission). Broad topics include: -Action language implementations. -Benchmark problems and datasets. -Action languages for: +Stream processing in Big Data applications. +Reasoning and planning in Ambient Intelligence. +Run-time service discovery. +Cognitive robotics. +Managing competitive multi-agent systems. +Supporting health care systems. +Complex event and activity recognition. +Reasoning about the knowledge of other agents. +Static and run-time reasoning about (data-aware) business processes. -Action languages in video-games. Key Dates: Submission deadline: January 13 Notification: February 17 CRC deadline: March 5 Submission Instructions: http://setn2014.cs.uoi.gr/index.php/en/submission Special Session Organisers: Alexander Artikis, NCSR Demokritos, Greece Marco Montali, Free University of Bozen-Bolzano, Italy Theodore Patkos, Foundation for Research and Technology (FORTH), Crete, Greece Stavros Vassos, Sapienza University of Rome, Italy Programme Committee Stefano Bromuri, University of Applied Sciences Western Switzerland Didac Busquets, Imperial College London, UK Federico Chesani, University of Bologna, Italy Jorge Lobo, IBM Research, USA Loizos Michael, Open University of Cyprus Leora Morgenstern, Science Applications International Corporation, USA Pavlos Peppas, University of Patras, Greece Jeremy Pitt, Imperial College London, UK Dimitris Plexousakis, Foundation for Research and Technology (FORTH), Crete, Greece Regis Riveret, Imperial College London, UK -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From A.Silva at science.ru.nl Wed Dec 18 23:01:34 2013 From: A.Silva at science.ru.nl (Alexandra Silva) Date: Wed, 18 Dec 2013 23:01:34 +0100 Subject: CMCS 2014: Final call for papers Message-ID: <20131218220134.GA2414@lilo3.science.ru.nl> [ - Apologies for multiple copies -] Call for Papers 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS'14) 5 - 6 April 2014, Grenoble, France http://www.coalg.org/cmcs14 Objectives and scope ------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest include, but are not limited to, the following: - The theory of coalgebras (including set theoretic and categorical approaches) - Coalgebras as computational and semantical models (for programming languages, dynamical systems, term rewriting, etc.) - Coalgebras in (functional, object-oriented, concurrent, and constraint) programming - Model checking, theorem proving and deductive verification using coalgebraic techniques - Coalgebraic data types, type systems and behavioural typing - Proof principles and (coinductive) definitions for coalgebras (e.g. with bisimulations or invariants) - Coalgebras and algebras - Coalgebraic specification and verification - Coalgebras and (modal) logic - Coalgebra and control theory (notably of discrete event and hybrid systems) - Coalgebra in quantum computing - Coalgebra and game theory - Tools exploiting colgebraic techniques Venue and event --------------- CMCS'14 will be held in Grenoble, France, co-located with ETAPS 2014 on 5 - 6 April 2014. Important dates --------------- Abstract regular papers 6 January 2014 Submission regular papers 10 January 2014 (strict) Notification regular papers 14 February 2014 Camera-ready copy 21 February 2014 Submission short contributions 23 February 2014 (strict) Notification short contributions 9 March 2014 Keynote Speaker ---------------- Davide Sangiorgi, Inria / University of Bologna, IT Invited speakers ---------------- Ichiro Hasuo, University of Tokyo, JP Marina Lenisa, University of Udine, IT Programme committee ------------------- Andreas Abel, Ludwig-Maximilians-University Munich, DE Davide Ancona, University of Genova, IT Adriana Balan, University Politehnica of Bucharest, RO Marta Bilkova, Charles University, CZ Filippo Bonchi, LIP ENS-Lyon, FR Marcello Bonsangue (chair), Leiden University, NL Joerg Endrullis, Free University of Amsterdam, NL Remy Haemmerle, University Politecnica de Madrid, SP Bart Jacobs, Radboud University Nijmegen, NL  Dexter Kozen, Cornell University, US Bartek Klin, University of Warsaw, PL Pierre Lescanne, ENS Lyon, FR Stefan Milius, University of Erlangen-Nurenberg, DE Rob Myers, Technical University of Braunschweig, DE Dirk Pattinson, Australian National University, AU Daniela Petrisan, University of Leicester, UK Grigore Rosu, University of Illinois at Urbana-Champaign, US Katsuhiko Sano, JAIST, Nomi, JP Monika Seisenberger, Swansea University, UK Ana Sokolova, University of Salzburg, AT Publicity chair --------------- Alexandra Silva, Radboud University Nijmegen, NL PC chair -------- Marcello Bonsangue, Leiden University, NL Steering committee ------------------ Jiri Adamek, Technical University of Braunschweig, DE Marcello Bonsangue, Leiden University, NL Corina Cirstea, University of Southampton, UK H. Peter Gumm (chair), University of Marburg, DE Bart Jacobs, Radboud University Nijmegen, NL Alexander Kurz, University of Leicester, UK Marina Lenisa, University of Udine, IT Ugo Montanari, University of Pisa, IT Larry Moss, Indiana University, US Dirk Pattinson, Australian National University, AU John Power, University of Bath, UK Horst Reichel, Technical University of Dresden, DE Jan Rutten, CWI and Radboud University Nijmegen, NL Lutz Schroeder, University of Erlangen-Nurenberg, DE Submission guidelines --------------------- We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. They should not exceed 20 pages in length in Springer LNCS style. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2014. The proceedings of CMCS 2014 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series. Accepted short contributions will be bundled in a technical report. . From jean at ensma.fr Thu Dec 19 10:35:37 2013 From: jean at ensma.fr (=?ISO-8859-1?Q?St=E9phane_Jean?=) Date: Thu, 19 Dec 2013 10:35:37 +0100 Subject: Call for Papers: ISMIS 2014 Special Session on Cooperativeness and Flexibility in Semantic Web Databases In-Reply-To: <4CE4E9B1.2070106@univ-poitiers.fr> References: <4B5EF766.5000605@ensma.fr> <4CE4E9B1.2070106@univ-poitiers.fr> Message-ID: <52B2BDE9.1040004@ensma.fr> (with apologies for cross postings) ===================================================================================================== ISMIS 2014 Conference Roskilde, Denmark, June 25-27, 2014 A SPECIAL SESSION: Cooperativeness and Flexibility in Semantic Web Databases ORGANIZERS: Allel Hadjali (allel.hadjali at ensma.fr), LIAS/ENSMA, Poitiers, France Stéphane Jean (stephane.jean at ensma.fr), LIAS/ENSMA - Poitiers University, Poitiers, France Peter Dolog (dolog at cs.aau.dk ), IWIS-DCS/Aalborg University, Denmark SCOPE: With the increased use of the Semantic Web and the emergence of new applications (such as in bioinformatics, environment and medicine) requiring data models that support complex relationships and rich constructs, a huge amount of RDF data are produced and several data sets are made available on the Web (e.g, YAGO or DBpedia). To provide an efficient management of these data, specialized databases called Semantic Web Databases (SWDBs) have been designed. SWDBs have attracted the attention and the interest of both scientific and industrial communities leading to the development of products such as Oracle Semantic Technologies or Jena. Some of the most crucial challenges that modern-day SWDBs have to face are related to the massive data (which can be heterogeneous, imprecise, uncertain, incomplete and/or inconsistent) and to the complex and diverse nature of users' needs (which can be imprecise, partially known and ill-expressed). Thus, it is highly desirable that such systems should, on the one hand, show some advanced forms of flexibility and, on the other hand, exhibit capabilities of cooperative and intelligent behaviors. Flexibility in such a context might be intended in several ways; among which the following ones: (i) the capability of querying large amount of data in a user-friendly way so as to retrieve the information which is the most relevant to specific user needs; (ii) the capability of managing and exploiting imprecise, partially known, and uncertain data. As for cooperativeness, one might think to the ability of such systems to provide correct, non-misleading and useful answers, rather than literal answers to users' queries. Answers that, on the one hand, better serve the users' needs and expectations and, on the other hand, do not result in a tedious and time consuming task when selecting the best ones. Avoiding thus the common problem of the empty/unsatisfactory answers and that of the too many results. This special session will provide an opportunity to exchange ideas and to discuss recent theoretical and experimental results on the two above research topics in the context of Semantic Web Databases. Hopefully, it will contribute to identifying new promising directions of research and unsolved problems in this area. We invite contributions that address the following areas, but are not limited to: - Query relaxation/intensification - Empty/plethoric answers problem - Cooperative and intelligent query answering - Flexible/personalized querying - Managing incomplete/missing data - Soft computing applied to semantic Web databases - Dealing with large semantic datasets in cooperative and flexible way We encourage submissions of papers, which have not been published or submitted to any other conference, about theoretical advances in these core areas as well as papers which deal with some practical insights resulting from experiments or implementations. The same deadline as for the regular papers to be submitted to the ISMIS 2014 will be observed, i.e. February 3, 2014 (http://isl.ruc.dk/ismis2014/index.php). However, the potential contributors are requested to send at their earliest convenience an e-mail message, addressed to allel.hadjali at ensma.fr or to dolog at cs.aau.dkc, confirming the intent to submit a paper and giving its tentative title and a list of the authors. Submitted papers must comply with the ISMIS 2014 guidelines for submission (http://isl.ruc.dk/ismis2014/paper_submission/). They will be reviewed by three special session PC members. The accepted papers will be published in the main conference proceedings. CONTACT INFORMATION Allel Hadjali (allel.hadjali at ensma.fr) Stéphane Jean (stephane.jean at ensma.fr) Peter Dolog (dolog at cs.aau.dk ) PROGRAM COMMITTEE Mara Abel, BDI, UFRGS, Porto Alegre, Brazil Soren Auer: AKSW, University of Bonn, Germany Wolf-Tilo Balke, TUB, Institut für Informationssysteme, Germany Patrice Buche, IATE-JRU, INRA, Montepellier, France Olivier Corby, I3S & INRIA Sofia Antipolis, France Guy De Trè, DDCM, Ghent University, Belgium Mohand-Said Hacid, LIRIS, University of Lyon1, France Katja Hose, DCS, Aalborg University, Denmark Maria Martin-Bautista, DCS-AI, University of Granada, Spain Rokia Missaoui, LARIM, Université du Québec, Canada Daniel Rocacher, IRISA/ENSSAT, Lannion, France Umberto Straccia, ISTI/CNR, Pisa, Italy Heiner Stuckenschmidt, AI-DM-DS, University of Mannheim, Germany) From mdeters at cs.nyu.edu Fri Dec 20 01:17:29 2013 From: mdeters at cs.nyu.edu (Morgan Deters) Date: Thu, 19 Dec 2013 19:17:29 -0500 Subject: IJCAR 2014 - 2nd Call for Papers Message-ID: (( Apologies for multiple copies )) IJCAR 2014 - The 7th International Joint Conference on Automated Reasoning Vienna, Austria, July 19-22, 2014 http://cs.nyu.edu/ijcar2014/ as part of FLoC 2014 - Federated Logic Conference http://www.floc-conference.org/ as part of VSL 2014 - Vienna Summer of Logic http://vsl2014.at/ Call for Papers --------------- IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2014 is a merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods) IJCAR 2014 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. IJCAR topics include the following ones: - Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory, etc. - Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem provers, etc. - Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, etc. The proceedings of IJCAR 2014 will be published by Springer-Verlag in the LNAI/LNCS series. Submission details: Submission is electronic, through https://www.easychair.org/conferences/?conf=ijcar14 Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html The page limit is 15 pages for full papers, and 7 pages for system descriptions. Best paper award: IJCAR 2014 will offer a best paper award to recognize the most outstanding paper appearing at the conference. Invited speakers: Ken McMillan (Microsoft Research) Rajeev Goré (Australian National University) Other speakers during the second week of the Vienna Summer for Logic, but affiliated with other events, include (in alphabetical order) Franz Baader, Edmund Clarke, Veronique Cortier, Orna Kupferman, Christos Papadimitriou, and Alex Wilkie. Program co-chairs: Stéphane Demri (New York University & CNRS) Deepak Kapur (University of New Mexico, USA) Christoph Weidenbach (MPI-INF Saarbrücken, Germany) Conference co-chairs: Christian Fermueller (TU Vienna, Austria) Stefan Hetzl (TU Vienna, Austria) Publicity chair: Morgan Deters (New York University) Workshop chair: Matthias Horbach (MPI-INF Saarbrücken, Germany) Important dates: Abstract submission deadline: January 15, 2014 Paper submission deadline: January 22, 2014 Notification of paper decisions: March 31, 2014 Final version of papers due: April 19, 2014 Conference dates: July 19-22, 2014 Student travel awards: Travel awards will be available to enable selected students to attend the conference. Details will be published in March 2014. Program Committee: Franz Baader (TU Dresden, Germany) Peter Baumgartner (NICTA Canberra, Australia) Bernhard Beckert (Karlsruhe Institute of Technology, Germany) Jasmin Blanchette (Technische Universität München, Germany) Bernard Boigelot (University of Liege, Belgium) Maria Paola Bonacina (Università degli Studi di Verona, Italy) Agata Ciabattoni (TU Vienna, Austria) Koen Claessen (Chalmers University of Technology, Gothenburg, Sweden) Leonardo de Moura (Microsoft Research) Stéphanie Delaune (LSV, CNRS, Cachan, France) Stéphane Demri (New York University & CNRS) Stephan Falke (Karlsruhe Institute of Technology, Germany) Christian Fermueller (TU Vienna, Austria) Pascal Fontaine (LORIA, University of Nancy, France) Silvio Ghilardi (University of Milano, Italy) Juergen Giesl (RWTH Aachen University, Germany) Valentin Goranko (TU Denmark, Copenhagen) Radu Iosif (VERIMAG, Grenoble, France) Deepak Kapur (University of New Mexico, USA) Boris Konev (University of Liverpool, UK) Konstantin Korovin (The University of Manchester, UK) Daniel Kroening (Oxford University, UK) Viktor Kuncak (EPFL Lausanne, Switzerland) Martin Lange (University of Kassel, Germany) Stephan Merz (LORIA, INRIA Lorraine, France) Aart Middeldorp (University of Innsbruck, Austria) Enric Rodríguez-Carbonell (TU Catalonia, Spain) Renate Schmidt (The University of Manchester, UK) Carsten Schürmann (IT University of Copenhagen, Denmark) Roberto Sebastiani (University of Trento, Italy) Viorica Sofronie-Stokkermans (University Koblenz-Landau, Germany) Geoff Sutcliffe (University of Miami, USA) Cesare Tinelli (The University of Iowa, USA) Uwe Waldmann (MPI-INF, Saarbrücken, Germany) Christoph Weidenbach (MPI-INF, Saarbrücken, Germany) Jian Zhang (Chinese Academy of Sciences, P.R. China) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From math.semantic.web at gmail.com Fri Dec 20 01:40:41 2013 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Fri, 20 Dec 2013 01:40:41 +0100 Subject: ESWC 2014 Call for Challenge: Semantic Publishing Message-ID: <52B39209.4020009@gmail.com> ==== Call for Challenge: Semantic Publishing ==== Challenge Website: http://challenges.2014.eswc-conferences.org/SemPub Call Web page: http://2014.eswc-conferences.org/important-dates/call-SemPub MOTIVATION AND OBJECTIVES Scholarly publishing is increasingly enabling a new wave of applications that better support researchers in disseminating, exploiting and evaluating their results. The potential of publishing scientific papers enriched with semantic information is huge and raises interesting and challenging issues. Semantic Web technologies play a central role in this context, as they can help publishers to make scientific results available in an open format the whole research community can benefit from. The Semantic Publishing Challenge 2014 is intended to be the first in a series of events at ESWC for producing and exploiting semantic publishing data. The main focus this year is on extracting information and using this information to assess the quality of scientific productions. Linked open datasets about scientific production exist - e.g. DBLP - but they usually cover basic bibliographic information, which is not sufficient to assess quality. Quality-related information, such as the number of journal articles that cite a given publication, or the number of times a workshop has been run by the same chairs and received many submissions, or the actual function of a citation are often hidden and not yet available as LOD. The main goal of the Challenge is to build high-quality LOD that contains such information. Moving off this year's outcomes, we plan to investigate the final publication and exploitation side in the next editions. TARGET AUDIENCE The Challenge is open to everyone from industry and academia. TASKS We ask challengers to automatically annotate a set of multi-format and multi-source input documents and to produce a Linked Open Dataset that fully describes these documents, their context, and relevant parts of their content. The evaluation will consist of evaluating a set of queries against the produced dataset to assess its correctness and completeness. The input dataset will be split in two parts: a training/testing part and an evaluation part, which will disclosed a few days before the submission deadline. Participants will be asked to run their tool on the evaluation dataset and to produce the final Linked Open Dataset. Further details about the organization of the Challenge will be provided. The Challenge will include two tasks: Task 1: Extraction and assessment of workshop proceedings information Participants are required to extract information from a set of HTML tables of contents, partly including microformat and RDFa annotations but not necessarily being valid HTML, of selected computer science workshop proceedings published with the CEUR-WS.org open access service. The extracted information is expected to answer queries about the quality of these workshops, for instance by measuring their growth, longevity, connection with other events, distribution of papers and authors. Task 2: Extraction and characterization of citations Participants are required to extract information about the citations in scientific journals and their relevance. Input documents are in XML JATS and TaxPub, an official extension of JATS customized for taxonomic treatments, and selected from the PubMedCentral Open Access Subset and the Pensoft Biodiversity Data Journal and ZooKeys archive. The extracted information is expected to be used for assessing the value of citations, for instance by considering their position in the paper, their co-location with other citations or their purpose. EVALUATION Participants will be requested to submit the LOD that their tool produces from the evaluation dataset, as well as a paper that describes their approach. They will also be given a set of queries in natural language form and will be asked to translate those queries into a SPARQL form that works on their LOD. The results of the queries on the produced LOD will be compared with the expected output, and precision and recall will be measured to identify the best performing approach. Separately, the most original approach will be assigned by the Program Committee. Further details about the evaluation will be provided on the challenge wiki. FEEDBACK AND DISCUSSION A discussion group is open for participants to ask questions and to receive updates about the challenge (see link at bottom). Participants are invited to subscribe to this group as soon as possible and to communicate their intention to participate. They are also invited to use this channel to discuss problems in the input dataset and to suggest changes. JUDGING AND PRIZES After a first round of review, the Program Committee and the chairs will select a number of submissions conforming to the challenge requirements that will be invited to present their work. Submissions accepted for presentation will receive constructive reviews from the Program Committee, they will be included in the Springer LNCS post-proceedings of ESWC, and they will have a presentation slot in a poster session dedicated to the challenge. In addition, the winners will present their work in a special slot of the main program of ESWC and will be invited to submit a revised and extended paper to a dedicated Semantic Web Journal special issue. Four winners will be selected. For each of the two tasks we will select: * best performing tool, given to the paper which will get the highest score in the evaluation * most original approach, selected by the Challenge Committee with the reviewing process HOW TO PARTICIPATE Participants are required to submit: * Abstract: no more than 200 words. * Description: It should explain the details of the automated annotation system, including why the system is innovative, how it uses Semantic Web technology, what features or functions the system provides, what design choices were made and what lessons were learned. The description should also summarize how participants have addressed the evaluation tasks. An outlook towards how the data could be consumed is appreciated but not strictly required. Papers must be submitted in PDF format, following the style of the Springer's Lecture Notes in Computer Science (LNCS) series (http://www.springer.com/computer/lncs/lncs+authors), and not exceeding 5 pages in length. * The Linked Open Dataset produced by their tool on the evaluation dataset (as a file or as a URL, in Turtle or RDF/XML). * A set of SPARQL queries that work on that LOD and correspond to the natural language queries provided as input Participants will also be asked to submit their tool (source and/or binaries, or a link these can be downloaded from, or a web service URL) for verification purposes. Further submission instructions will be published on the challenge wiki. All submissions should be provided via EasyChair https://www.easychair.org/conferences/?conf=eswc2014-challenges MAILING LIST We invite the potential participants to subscribe to our mailing list in order to be kept up to date with the latest news related to the challenge. https://lists.sti2.org/mailman/listinfo/eswc2014-sempub-challenge IMPORTANT DATES * December 3, 2013: Publication of the full description of tasks, rules and queries; publication of the training/testing dataset * January 15, 2014, 23:59 (Hawaii time): Deadline for making remarks to the training/testing dataset * January 20, 2014: Publication of the final training/testing dataset * March 7, 2014, 23:59 (Hawaii time): Abstract Submission * March 11, 2014: Publication of the evaluation dataset * March 14, 2014, 23:59 (Hawaii time): Submission * April 9, 2014, 23:59 (Hawaii time): Notification of acceptance * May 27-29, 2014: Challenge days CHALLENGE CHAIRS * Angelo Di Iorio (Department of Computer Science and Engineering, University of Bologna, IT) * Christoph Lange (Enterprise Information Systems, University of Bonn / Fraunhofer IAIS, DE) PROGRAM COMMITTEE Soren Auer (University of Bonn / Fraunhofer IAIS, DE) (supervisor) Sarven Capadisli (University of Leipzig, DE) Alexander Constantin (University of Manchester, UK) Alexander Garcia Castro (Florida State University, US) Leyla Jael Garcia Castro (Bundeswehr University of Munich, DE) Aidan Hogan (DERI Galway, IR) Evangelos Milios (Dalhousie University, CA) Lyubomir Penev (Pensoft Publishers, BG) Robert Stevens (University of Manchester, UK) Jun Zhao (Lancaster University, UK) We are inviting further members. ESWC CHALLENGE COORDINATOR * Milan Stankovic (Sepage & Universite Paris-Sorbonne, FR) -- Christoph Lange, Enterprise Information Systems Department Applied Computer Science @ University of Bonn; Fraunhofer IAIS http://langec.wordpress.com/about, Skype duke4701 → Semantic Publishing Challenge: Assessing the Quality of Scientific Output ESWC, 25–29 May 2014, Crete, Greece. https://tinyurl.com/SPChallenge14 Abstract submission until 7 March. From franconi at inf.unibz.it Fri Dec 20 03:23:01 2013 From: franconi at inf.unibz.it (Enrico Franconi) Date: Fri, 20 Dec 2013 03:23:01 +0100 Subject: [Last Call] PhD/PostDoc school on "Change in Ontologies and Databases" (29-31 January 2014) in Bozen-Bolzano, Italy Message-ID: <20122013032301756GGh77pfXqRRd0185@webmail.unibz.it> Research School on the  Foundations and Challenges of Change in Ontologies and Databases 29-31 January 2014 - Bozen-Bolzano, Italy http://www.inf.unibz.it/krdb/events/school-2014/ PhD students and PostDoc fellows are invited to apply to the research school on the "Foundations and Challenges of Change in Ontologies and Databases", to be held on 29-31 January 2014 in Bozen-Bolzano, Italy. This is the follow-up of a successful Dagstuhl seminar held last year . This year the event will be oriented towards students and postdocs. There will be five half-day sessions (listed below). The students/postdocs will be split in small groups, and each group will be responsible to organise a survey talk within a specific session; each group will be given appropriate reading material in advance. In the rest of each session there will be survey/tutorial/advanced presentations by some of the seniors and many discussions. The five sessions are: ▪ Ontology revisions, versioning, diffs, and non-monotonic aspects; ▪ The logic of updates, active rules, and triggers in databases; ▪ Foundations and challenges in temporal and stream data; ▪ Modelling and reasoning with business processes and workflows; ▪ Actions representation and reasoning in ontology languages. Please apply by submitting (i) a short statement (as an abstract with a title, showing how your research matches the topics of the school), (ii) your CV (in PDF), and (iii) the chosen topic(s), via EasyChair at by 24 December 2013; late applications may be considered subject to the availability of space. The acceptance to the research school will be notified shortly after, together with the composition of the groups and the preparation material (consisting of few papers).  Before the beginning of the school, each group is required to develop a presentation using the preparation material. During the preparation phase, groups will be supported by high-quality mentors from the committee of the school: each mentor will advise the groups she/he is assigned to about the quality of their presentation while they prepare it before coming to the school. The list of mentors is growing; by now we have: ▪ Carlo Zaniolo, zaniolo at cs.ucla.edu ▪ Laura Giordano, laura.giordano at mfn.unipmn.it ▪ Misha Zakharyaschev, michael at dcs.bbk.ac.uk ▪ Bernardo Cuenca Grau, Bernardo.Cuenca.Grau at comlab.ox.ac.uk ▪ Bijan Parsia, bparsia at cs.man.ac.uk ▪ Emanuele Della Valle, emanuele.dellavalle at polimi.it ▪ Diego Calvanese, calvanese at inf.unibz.it ▪ Michael Kifer, michael.kifer at stonybrook.edu ▪ Katia Sycara, katia at cs.cmu.edu ▪ Stefano Ceri, ceri at elet.polimi.it ▪ Ivan Varzinczak, ijv at acm.org ▪ Renata Wassermann, renata at ime.usp.br ▪ Liang Chang, changl.guet at gmail.com ▪ Matthias Thimm, thimm at uni-koblenz.de ▪ Valentina Gliozzi, gliozzi at di.unito.it There will be no registration fee to the research school; coffee breaks and lunches are included. Information about the school location in Bolzano and how to book online the accommodation is available at . cheers by the organisers — Jim Delgrande, Enrico Franconi, Tommie Meyer, Uli Sattler -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From adrianrp at unimelb.edu.au Fri Dec 20 04:48:20 2013 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Fri, 20 Dec 2013 03:48:20 +0000 Subject: KR 2014 Doctoral Consortium - Call for Applications Message-ID: Call for Applications July 20-24, 2014 Vienna, Austria http://www.kr.org/KR2014/ The 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium is a student mentoring program that introduces students to senior researchers with similar research interests. The aims of the consortium are: * to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in similar areas; * to support students with information and advice on academic, research and industrial careers. The Doctoral Consortium is intended for students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. We encourage submissions from PhD students at any level, and from any topic area within Knowledge Representation and Reasoning. A number of student grants will be available to support student participation. 2) APPLICATION SUBMISSION Applications must be submitted via our online submission site (see below). Each application must contain the following materials: * Thesis summary: A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum in AAAI style (http://www.aaai.org/Publications/Author/author.php). * Curriculum Vitae: A description of your background and relevant experience (research, education, employment). * Letter of recommendation: A letter from your thesis advisor that states that he/she supports your participation in the DC. * (Optional) You can suggest 3-5 potential mentors with similar research interests as you, who could give you good advice on technical aspects of your work, and/or your career. * (Optional) Specify 3 to 5 questions you would like to ask your mentor and give some keywords that describe you research interests The most preferred way of submission is to combine the thesis summary and the letter of recommendation (and, optionally, the list of suggested mentors) into a single PDF document. If you cannot do that, archive the documents into a single zip file. In either case, the resulting single file has to be submitted via the EasyChair system at https://www.easychair.org/conferences/?conf=kr2014dc 3) IMPORTANT DATES Feb 21, 2014 : Deadline for application March 28, 2014 : Acceptance notification July 20-24, 2014 : Doctoral Consortium For further information, please contact the Doctoral Consortium chairs: Birte Glimm, University of Ulm (birte.glimm at uni-ulm.de) Adrian Pearce, University of Melbourne (adrianrp at unimelb.edu.au) From Wiebe.Van-Der-Hoek at liverpool.ac.uk Fri Dec 20 17:05:18 2013 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Fri, 20 Dec 2013 16:05:18 +0000 Subject: 15 funded PhD positions, EEE and CS Liverpool Message-ID: <805F882F-D70A-4416-945D-5E2BAE404B25@liverpool.ac.uk> Dear reader, The Department of Computer Science at the University of Liverpool offers a number of PhD positions in the research fields pursued in the department. We have up to 15 positions available in EEECS, starting in the academic year 2014/15. For this mailing list, especially positions in logic and agents may be of interest: see ntranet.csc.liv.ac.uk/research/logics/ and http://intranet.csc.liv.ac.uk/research/agents/ for current topics and collaborators and possible supervisors. The deadline for this application round is Friday, February 28. While applications will be possible until all positions are filled, your chances will be increased by applying before this deadline. Please do not hesitate to ask sven.schewe at liverpool.ac.uk if you have any questions. Website: http://www.csc.liv.ac.uk/news/item.php?id=39 ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 7954292 (office) (+44) 7970247480 (mobile) fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From announce at cs.ucy.ac.cy Fri Dec 20 18:41:33 2013 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 20 Dec 2013 19:41:33 +0200 Subject: First CFP: The 7th International Conference for Entrepreneurship, Innovation and Regional Development (ICEIRD 2014) Message-ID: <4CDWR7T6-X0J7-CDX3-VSLK-B4P178N60G@cs.ucy.ac.cy> *** First Call for Papers *** The 7th International Conference for Entrepreneurship, Innovation and Regional Development (ICEIRD 2014) 5-6 June 2014, Hilton Hotel | Nicosia, Cyprus https://iceird2014.cs.ucy.ac.cy DEADLINES: Abstract submission, January 20, 2014 Full paper submission, March 1, 2014 Conference Theme: Igniting Regional Economies - Knowledge, Innovation and Entrepreneurship in South East Europe In the face of fragile economic recovery following the economic and financial crisis of 2008, many firms all around the world continue to invest in growth-enhancing activities to achieve a sustainable development. While the crisis has heavily hit all aspects of business vested interests, investments in innovation, entrepreneurship and regional partnership have been the key priority to ensuring a strong and stable economic growth. The objective of the conference is to gather decision makers (government, ministries and state agencies), innovation experts (universities, research and development centres, technology transfer centres, start-up centres) and practitioners (smes, business incubators and business support organisations) to generate discussion and exchange on the potential of entrepreneurship promotion and innovation to national and regional competitiveness. CONFERENCE TOPICS OF INTEREST Creativity, Complexity and Competitiveness Issues for Small and Medium Enterprises (SMEs) in SEE vs. other regions (EU and other) * Leveraging e-skills for innovation in the knowledge society * Managing and Leveraging Complexity, Creativity and Innovation in SMEs * Trust, Respect, Culture and Collaboration Issues for SMEs in SEE vs. other regions (EU and other) * Leadership and Management practices that can be applied to SMEs * SME Knowledge management and technology transfer * SME Business process modeling * New Technology Ventures Financing * Business incubation management and leadership * Human Resources Practices for promoting innovation for SMEs South East European Entrepreneurial Innovation Clusters * SMEs' Entrepreneurship as an Innovation Driver * Opportunities and barriers for closer cooperation between South East European SMEs in Innovation & Entrepreneurship: Strategic Integration vs. Flexibility and SME Competitiveness * Innovation Clusters, Technology Transfer and Social Entrepreneurship * Social Networking as Driver of EICs formation * Science & Technology Parks and EICs * Young and Women Entrepreneurs development via EICs * Benchmarking of Entrepreneurship and Innovation Best Practices in the region * Innovation policy in SMEs Technology Innovation, Transfer and Commercialization across Governement, University, Industry domains * The role of the State and Public Policy with regards to SME Innovation and Entrepreneurship * Governmental and regional policies on entrepreneurship and innovation * Entrepreneurial Universities and Entrepreneurial Innovation Clusters * Entrepreneurship education * University - Industry collaboration * ICT and SME Regional competitiveness * SMEs and the role of the Innovation Zone (business centers and incubators) * Intangibles Valuation and Intellectual Property Rights * Innovative Supply Chain Management practices in SEE * Innovative Supply Chains * Information Technology proliferation in SEE SMEs ICEIRD 2014 invites submissions of papers related to all the topics of interest of the conference. Papers that address collaborations between industry and academia, case studies as well as experience reports on any of the conference themes are welcome. For more information on the conference topics, visit the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy). SUBMISSIONS *Abstract submission Authors are first requested to submit an about 100 words long abstract by January 20, 2014. Upon acceptance of the abstract by January 31, 2014 the authors should proceed to submit a full paper as per the instructions below. * Full Papers (for review) Authors are requested to submit a full paper of 6-10 pages in either Microsoft Word or Adobe PDF format using the template found on the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy). The template has all the styles required for formatting the text. The easiest way to prepare the camera ready is to download the template, delete all exixting text, add your unformatted text and use the styles (top-left drop down menu) to format it. Only papers in this format will be published. Submitted papers, which will go under blind review by at least two referees, must be submitted electronically through the EasyChair Conference System: https://www.easychair.org/conferences/?conf=iceird2014. * Camera Ready Papers (after acceptance) Following acceptance, authors are requested to sumbit a camera-ready paper using the template found on the website (https://iceird2014.cs.ucy.ac.cy) to the secretariat of ICEIRD2014 by email (iceird2014 at seerc.org) in both Microsoft Word or PDF format. * Guidelines for Presentations Each presentation will last 20 minutes (15 + 5 minutes for questions). All rooms are fully equiped. Presenters will be requested to upload their presentation at least 15 minutes before the start of their session. Presenters could also use their own laptop. Techinal support will be provided. * Proceedings The Conference Proceedings, including all papers presented, will be published as a SEERC book edited by the Conference Chairs. * Post-Conference Special Journal Issues Selected high quality papers from the conference will be recommended for publication in the special issues of international journals. For more information please visit the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy) The official language of the conference is English. Publication is dependent on at least one author registering to attend ICEIRD 2014. Submissions should be submitted to the easychair account on or before the deadline: https://www.easychair.org/conferences/?conf=iceird2014 IMPORTANT DATES Abstract submission (mandatory): 20th January 2014 Notification of abstract submission: 31st January 2014 Full paper submission: 1st of March 2014 Notification of paper acceptance: 15th of March 2014 Earlybird registration: 31th of March 2014 Camera ready paper submission: 31th of March 2014 CONFERENCE CHAIRS Prof. George A. Papadopoulos, University of Cyprus, Cyprus - General Chair Prof. Panos H. Ketikidis, CITY College - International Faculty of the University of Sheffield, Greece - Co-Chair Stavriana A. Kofteros, Special Entrepreneurship & RDI Adviser, Democratic Rally (DISY), Cyprus - Co-Chair -------------------------------------------------------------------- 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 invitation at iariaprogram.org Fri Dec 20 19:10:50 2013 From: invitation at iariaprogram.org (ComputationWorld 2014) Date: Fri, 20 Dec 2013 13:10:50 -0500 Subject: Deadline Extension: ComputationWorld 2014 : May 25 - 29, 2014 - Venice, Italy Message-ID: <1387563050898.1787@iariaprogram.org> INVITATION: Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events under ComputationWorld 2014. The submission deadline has been extended to January 20, 2014. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= ComputationWorld 2014 : May 25 - 29, 2014 - Venice, Italy see: http://www.iaria.org/conferences2014/ComputationWorld14.html ComputationWorld 2014 is a federated event focusing on various aspects related to computation tools, platforms, services, and applications. Submission (full paper) deadline: January 20, 2014 Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. 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 All tracks/topics are open to both research and industry contributions. -- SERVICE COMPUTATION 2014, The Sixth International Conferences on Advanced Service Computing http://www.iaria.org/conferences2014/SERVICECOMPUTATION14.html -- CLOUD COMPUTING 2014, The Fifth International Conference on Cloud Computing, GRIDs, and Virtualization http://www.iaria.org/conferences2014/CLOUDCOMPUTING14.html -- FUTURE COMPUTING 2014, The Sixth International Conference on Future Computational Technologies and Applications http://www.iaria.org/conferences2014/FUTURECOMPUTING14.html -- COGNITIVE 2014, The Sixth International Conference on Advanced Cognitive Technologies and Applications http://www.iaria.org/conferences2014/COGNITIVE14.html -- ADAPTIVE 2014, The Sixth International Conference on Adaptive and Self-Adaptive Systems and Applications http://www.iaria.org/conferences2014/ADAPTIVE14.html -- CONTENT 2014, The Sixth International Conference on Creative Content Technologies http://www.iaria.org/conferences2014/CONTENT14.html -- PATTERNS 2014, The Sixth International Conferences on Pervasive Patterns and Applications http://www.iaria.org/conferences2014/PATTERNS14.html -- COMPUTATION TOOLS 2014, The Fifth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking http://www.iaria.org/conferences2014/COMPUTATIONTOOLS14.html -- BUSTECH 2014, The Fourth International Conference on Business Intelligence and Technology http://www.iaria.org/conferences2014/BUSTECH14.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about ComputationWorld, please reply with "DROP ComputationWorld 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 pascal.hitzler at wright.edu Sat Dec 21 04:42:06 2013 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Fri, 20 Dec 2013 22:42:06 -0500 Subject: CfP: Semantics For Big Data. Special issue of the Semantic Web journal Message-ID: <52B50E0E.3010501@wright.edu> Call for papers: Special issue of the Semantic Web journal on SEMANTICS FOR BIG DATA http://www.semantic-web-journal.net/blog/call-papers-special-issue-semantic-web-journal-semantics-big-data One of the key challenges in making use of Big Data lies in finding ways of dealing with heterogeneity, diversity, and complexity of the data, while its volume and velocity forbid solutions available for smaller datasets as based, e.g., on manual curation or manual integration of data. Semantic Web Technologies are meant to deal with these issues, and indeed since the advent of Linked Data a few years ago, they have become central to mainstream Semantic Web research and development. We can easily understand Linked Data as being a part of the greater Big Data landscape, as many of the challenges are the same. The linking component of Linked Data, however, puts an additional focus on the integration and conflation of data across multiple sources. Possible Topics Topics of interest focus explicitly on the interplay of Semantics and Big Data, and include the use of semantic metadata and ontologies for Big Data, the use of formal and informal semantics, the integration and interplay of deductive (semantic) and statistical methods, methods to establish semantic interoperability between data sources, ways of dealing with semantic heterogeneity, scalability of Semantic Web methods and tools, and semantic approaches to the explication of requirements from eScience applications. Submissions Deadline: January 20, 2014 - extensions are possible on request Submissions shall be made through the Semantic Web journal website at http://www.semantic-web-journal.net. Note that you need to request an account on the website for submitting a paper. Please indicate in the cover letter that it is for the "Semantics for Big Data" special issue. Submissions are possible in all standing paper type of the journal, see http://www.semantic-web-journal.net/authors for descriptions: full research papers, surveys, linked dataset descriptions, ontology descriptions, application reports, tool/systems reports. Guest Editors Frank van Harmelen, Vrije Universiteit Amsterdam, The Netherlands James A. Hendler, Rensselaer Polytechnic Institute, USA Pascal Hitzler, Kno.e.sis Center, Wright State University, USA Krzysztof Janowicz, University of California, Santa Barbara, USA The editors can be reached by email to contact at semantic-web-journal.net. Guest Editorial Board The guest editorial board will be recruited based on the topics of the submitted papers. -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From grlmc at urv.cat Sat Dec 21 18:52:40 2013 From: grlmc at urv.cat (GRLMC) Date: Sat, 21 Dec 2013 18:52:40 +0100 Subject: AlCoB 2014: 3rd call for papers Message-ID: <3B3F4CE61897458DAD92B2F38AF75577@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 1st INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2014 Tarragona, Spain July 1-3, 2014 Organized by: Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/alcob2014/ ********************************************************************* 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 2014 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be the Catalunya Campus. 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 2014 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: Michael Galperin (National Center for Biotechnology Information, Bethesda), Comparative Genomics Approaches to Identifying Functionally Related Genes Uwe Ohler (Max-Delbrück Centre for Molecular Medicine, Berlin), Decoding Non-coding Regulatory Regions in DNA and RNA (tutorial) Jason Papin (University of Virginia, Charlottesville), Network Analysis of Microbial Pathogens PROGRAMME COMMITTEE: Tatsuya Akutsu (Kyoto, JP) Amihood Amir (Ramat-Gan, IL) Alberto Apostolico (Atlanta, US) Joel Bader (Baltimore, US) Pierre Baldi (Irvine, US) Serafim Batzoglou (Stanford, US) Bonnie Berger (Cambridge, US) Francis Y.L. Chin (Hong Kong, HK) Benny Chor (Tel Aviv, IL) Keith A. Crandall (Washington, US) Bhaskar DasGupta (Chicago, US) Joaquín Dopazo (Valencia, ES) Liliana Florea (Baltimore, US) Olivier Gascuel (Montpellier, FR) David Gilbert (Uxbridge, UK) Gaston H. Gonnet (Zurich, CH) Roderic Guigó (Barcelona, ES) Dan Gusfield (Davis, US) Vasant Honavar (University College, US) Sorin Istrail (Providence, US) Tao Jiang (Riverside, US) Inge Jonassen (Bergen, NO) Anders Krogh (Copenhagen, DK) Giovanni Manzini (Alessandria, IT) Carlos Martín-Vide (Tarragona, ES, chair) Satoru Miyano (Tokyo, JP) Burkhard Morgenstern (Göttingen, DE) Shinichi Morishita (Tokyo, JP) Cédric Notredame (Barcelona, ES) Graziano Pesole (Bari, IT) Mark Ragan (Brisbane, AU) Timothy Ravasi (Thuwal, SA) Allen G. Rodrigo (Durham, US) Steven Salzberg (Baltimore, US) David Sankoff (Ottawa, CA) Thomas Schiex (Toulouse, FR) João C. Setubal (São Paulo, BR) Steven Skiena (Stony Brook, US) Peter F. Stadler (Leipzig, DE) Wing-Kin Sung (Singapore, SG) Alfonso Valencia (Madrid, ES) Jacques van Helden (Marseille, FR) Arndt von Haeseler (Vienna, AT) Lusheng Wang (Hong Kong, HK) Limsoon Wong (Singapore, SG) Xiaohui Xie (Irvine, US) Dong Xu (Columbia, US) Zohar Yakhini (Santa Clara, US) Alex Zelikovsky (Atlanta, US) Michael Q. Zhang (Dallas, US) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Bianca Truthe (Magdeburg) 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) and should be formatted 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=alcob2014 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 IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB, 2012 impact factor: 1.616) will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from September 21, 2013 to July 1, 2014. The registration form can be found at: http://grammars.grlmc.com/alcob2014/Registration.php DEADLINES: Paper submission: February 4, 2014 (23:59 CET) Notification of paper acceptance or rejection: March 15, 2014 Final version of the paper for the LNCS/LNBI proceedings: March 22, 2014 Early registration: March 29, 2014 Late registration: June 17, 2014 Starting of the conference: July 1, 2014 End of the conference: July 3, 2014 Submission to the post-conference TCBB special issue: October 3, 2014 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: AlCoB 2014 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559543 Fax: +34 977 558386 ACKNOWLEDGEMENTS: Departament d’Economia i Coneixement, Generalitat de Catalunya Universitat Rovira i Virgili From announce at cs.ucy.ac.cy Sun Dec 22 13:56:10 2013 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 22 Dec 2013 14:56:10 +0200 Subject: ICSOB 2014: Final Call for Papers Message-ID: *** Final Call for Papers *** Fifth International Conference on Software Business (ICSOB 2014) Azia Resort and Spa, Paphos Cyprus June 15-18, 2014 http://www.icsob.org Online submission: https://www.easychair.org/conferences/?conf=icsob2014 Extended Deadline for submissions: February 1, 2014 Conference Theme Shortening the time-to-market: from short cycle times to continuous value delivery Advancements in the software industry have had a substantial impact not only on productivity and on GDP growth globally, but also on our daily work and lives. Moreover there is a noticeable spillover within other industries (e.g. manufacturing, entertainment industry) enabling new business models: companies bundle their physical products and software services into solutions (e.g. using subscription models or in-app purchases) and start to sell independent software products in addition to physical products. Software business refers to commercial activities in and around the software industry, aimed at generating income from the delivery of software products and software services. Although the software business shares common features with other international knowledge-intensive businesses, it carries many inherent features making it a challenging domain for research. In particular software companies have to depend on one another to deliver a unique value proposition to their customers or a unique experience to their users. Moreover recent developments like the emerging app economy offer a variety of opportunities for entrepreneurs or start-up companies. The recent acquisition of the three-year old Finnish mobile game startup Supercell with the total value of 2.2 billion Euros shows that the future of software is not only in utility and but also in entertainment and increasing freetime of people globally. This will have a profound effect on software business and requires novel business models and new approaches to software product development as well. ICSOB 2014 addresses researchers and practitioners, who are concerned with software business in different ways as well as the start-up community, which is increasingly focusing on mobile and social software. The main theme of 2014 focuses on speeding up the time from idea to value delivery, towards continuous delivery of added value. Conference Topics You are invited to submit papers addressing contemporary issues emerging at the intersection of the software and business domains, broadly defined. Both papers reporting research results and industrial experiences are welcome. Invited are original submissions on the topics listed below, including but not limited to: Special sessions this year: * Speeding up time-to-market: towards continuous value delivery * Business models in game and entertainment software Regular themes of the conference series: * Software Platforms and Ecosystems * Corporate networks between software companies / Software Supply Networks * Business impacts and business models of Cloud Computing * Software Product Management * Software business in the future * Licensing, Intellectual Property and Patent Issues (IP modularity) * Business models for software startups and existing software companies * App Economy * Productization, Servification, and Servitization * Impact of Megatrends on software business (e.g. Customization) * Effects of business models on software development * Global and cultural aspects of software business * Mobile software business trends Submission Instructions Full research papers (15 pages), short papers (6 pages), industrial track presentations (abstract) and posters are all welcome. Accepted full papers and short papers will be included in the conference proceedings published by Springer as a volume in Lecture Notes in Business Information Processing (LNBIP) series (if at least one author of the paper attends the conference and presents the paper). Extended versions of the best papers selected from ICSOB 2014 will be published in a special issue of Journal of Systems and Software (http://www.journals.elsevier.com/journal-of-systems-and-software/). PhD students are invited to submit research abstracts and present and discuss their work at the Doctoral Symposium. A separate CFP for the Doctoral Symposium will be published later. You may also submit workshop proposals to the conference. For details and updates visit http://www.icsob.org. Important Dates Paper Submission: February 1, 2014 (extended deadline) Notification: March 10, 2014 Camera-Ready: April 7, 2014 Conference: June 15-18, 2014 Conference Officers General Chair Tiziana Margaria, University of Potsdam Program Chairs Casper Lassenius, Aalto University Kari Smolander, Lappeenranta University of Technology Local Organization Chair George Angelos Papadopoulos, University of Cyprus Industry Chair Georg Herzwurm, Universität Stuttgart Workshops Chair Krzysztof Wnuk, Lund University Doctoral Symposium Co-Chairs Anna-Lena Lamprecht, University of Potsdam Tobias Tauterat, University of Stuttgart Publicity Chair Eetu Luoma, University of Jyväskylä Steering Committee Slinger Jansen, Utrecht University Michael Cusumano, Massachusetts Institute of Technology Pasi Tyrväinen, University of Jyväskylä Björn Regnell, Lund University Inge van de Weerd, Utrecht University Tiziana Margaria, University of Potsdam Sjaak Brinkkemper, Utrecht University Jan Bosch, Chalmers University Georg Herzwurm, University of Stuttgart Program Committee Sergey Avdoshin, Higher School of Economics, Moscow, Russia Jan Bosch, Chalmers University of Technology, Sweden Sjaak Brinkkemper, Utrecht University, The Netherlands Peter Buxmann, Darmstadt University of Technology, Germany Michael Cusumano, Massachusetts Institute of Technology, USA Torgeir Dingsøyr, SINTEF, Norway Brian Fitzgerald, University of Limerick / Lero, Ireland Samuel Fricker, Blekinge Institute of Technology, Sweden Peter Gloor, Massachusetts Institute of Technology, USA Georg Herzwurm, Universität Stuttgart, Germany Thomas Hess, LMU Munich, Germany Slinger Jansen, Utrecht University, The Netherlands Philippe Kruchten, University of British Columbia, Canada Thomas Kude, University of Mannheim, Germany Olli Kuivalainen, Lappeenranta University of Technology, Finland Patricia Lago, VU University Amsterdam, The Netherlands Ulrike Lechner, Universität der Bundeswehr München, Germany Andrey Maglyas, Lappeenranta University of Technology, Finland Tiziana Margaria, University of Potsdam, Germany Rory O'Connor, Dublin City University, Ireland Samuli Pekkola, Tampere University of Technology, Finland Wolfram Pietsch, FH Aachen, Germany Björn Regnell, Lund University, Sweden Dirk Riehle, Friedrich-Alexander-Universität, Germany Matti Rossi, Aalto University, Finland Günther Ruhe, University of Calgary, Canada Stefan Seidel, University of Liechtenstein, Liechtenstein Klaus-Dieter Thoben, Universität Bremen, Germany Pasi Tyrväinen, University of Jyväskylä, Finland Krzysztof Wnuk, Lund University, Sweden Updated information and further details are available at http://www.icsob.org. Please, send emails with further questions to info at icsob.org. -------------------------------------------------------------------- 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 Tue Dec 24 11:37:28 2013 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 24 Dec 2013 12:37:28 +0200 Subject: DeSE 2014: Preliminary Call for Papers Message-ID: *** Preliminary Call for Papers *** Seventh International Conference on Developments in eSystems Engineering (DeSE '2014) 25th - 27th August 2014 Azia Hotel and Spa 5*, Paphos, Cyprus www.dese.org.uk Recent years have witnessed increasing interest and development in computerised systems and procedures, which exploit the electronic media in order to offer effective and sophisticated solutions to a wide range of real-world applications. Innovation and research development in this rapidly evolving area of eSystems has typically been reported on as part of cognate fields such as, for example: Information and Communications Technology, Computer Science, Systems Science, Social Science and engineering. This conference, on the developments in eSystems Engineering will act as a platform for disseminating and discussing new research findings and ideas in this emerging field. Papers are invited on all aspects of eSystem Engineering, modelling and applications, to be presented at a three day conference in Paphos, Cyprus. Authors will have their submissions reviewed by international experts and accepted papers will appear in the conference proceedings published by the Conference Publication Services (CPS) for worldwide presence. The event provides authors with an outstanding opportunity for networking and presenting their work at an international conference. The location offers an especially attractive opportunity for professional discussion, socialising and sightseeing. DeSE 2014 conference is technically co-sponsored by IEEE. DeSE 2014 comprises an exciting spectrum of highly stimulating tracks: o eLearning (Technology-Enhanced Learning) o eGovernment systems, Autonomic Computing and AI o eBusiness and Management o eHealth and e-Medicine o eScience and Technology o eSecurity and e-Forensics o eEntertainment and Creative Technologies o eNetworking and Wireless Environments o eUbiquitous Computing and Intelligent Living o Green and Sustainable Technologies o eCulture and Digital Society o eSport Science o eSystems Engineering (Main Stream) o Sustainable Construction and Renewable Energy All submitted papers will be peer-reviewed. Accepted and presented papers may be published in the final technical conference proceedings, and may be indexed in IEEE Xplore and EI Compendex, subject to final approval by the Conference Technical Committee. Venue Azia Resort and Spa 5*, Paphos, Cyprus Built as three different sections on adjacent grounds, with plethora of magnificent spaces for carefree living, the Azia Resort has all the diversity to keep its guests contented for a week or longer. Each element of the three-in-one boutique Cyprus hotel concept has its own character and fulfils different aspirations of the visitor. The Azia Blue is about sophisticated, spacious living and family luxury hotel. The Azia Club and Spa is ideal for privacy and indulgence. One of the few resorts or Cyprus hotels with a west-facing outlook, the Azia hotel provides guests with a sublime view of blazing indescribable sunsets. Tentative Dates Submission Deadline: May 31st, 2014 Notification of Acceptance: June 30st, 2014 Camera-Ready Submission: July 15th, 2014 -------------------------------------------------------------------- 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 Sat Dec 28 12:15:40 2013 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 28 Dec 2013 13:15:40 +0200 Subject: WiMob 2014: Preliminary CFP and Call for Workshop Proposals Message-ID: *** Preliminary Call for Papers *** *** Call for Workshop Proposals *** The 10th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications WiMob 2014 Golden Bay Hotel, Larnaca, Cyprus October 8-10, 2014 http://conferences.computer.org/WiMob2014/ Deadline for Workshop Proposals: March 31, 2014 Deadline for Paper Submissions: May 1, 2014 (Proceedings will be published by IEEE) The IEEE WiMob conference is an international forum for the exchange of experience and knowledge among researchers and developers concerned with wireless and mobile technology. For nine years, the International IEEE WiMob conference has provided unique opportunities for researchers to interact, share new results, show live demonstrations, and discuss emerging directions in Wireless Communications, Mobile Networking and Ubiquitous Computing. IEEE WiMob 2014 will take place at Larnaca, Cyprus, between October 8 to 10th, 2014. It will be held at the Golden Bay Beach Hotel, a luxurious 5 star hotel situated in the favored south eastern region of Cyprus at the heart of the Bay of Larnaca. IEEE WiMob 2014 is soliciting high quality technical papers addressing research challenges in the areas of wireless communications, wireless networking, mobility, nomadicity, ubiquitous computing, services and applications. Papers should present original work validated via analysis, simulation or experimentation. Practical experiences and Testbed trials also are welcome. IEEE WiMob 2014 will host three parallel symposiums, including but not limited to the following topics: 1. Wireless Communications Broadband Wireless Communication Systems Signal Separation and Interference Rejection Wireless Personal Communications Multimedia Communications over Wireless Advances in Satellite Communication DSP Applications to Wireless Systems Adaptive Antennas for Wireless Systems Modulation and Coding Multiple Access Techniques Multiuser Detection Femtocells Channel Measurement and Characterization Location Estimation and Tracking OFDM and CDMA Technologies and Systems Resource Allocation and Interference Management MIMO Channels Multirate and Multicarrier Communications Link and System Capacity Spectrum Usage and Cognitive radio systems Cognitive and cooperative MAC Cognitive Radio Applications and Spectrum Management 2. Wireless Networking, Mobility and Nomadicity Mobile IP Networks Inter-working of 2G, 3G and 4G Wireless Networks Security, Privacy and Authentication in Mobile Environments Cellular Systems, PCS Modeling and Configuration Wireless Sensor Networks Cross-layer Design and Optimization Cross-layer security Congestion and Admission Control Mobility patterns, Location and Handoff Management Design and Analysis of Wireless LAN/WAN Wireless multicasting, broadcasting and geocasting Wireless Sensors and Actuators/Robots networks Energy-efficient protocols for wireless networks Green wireless network architectures and communication protocols Opportunistic networks Vehicular wireless networks Wireless Mesh networks Delay Tolerant Networks Integration of ad hoc networks with wireless access networks QoS support for mobile networks RFID networks and protocols B3G/4G Systems, WiMAX, WLAN, WPAN Optimization models and algorithms 3. Ubiquitous Computing, Services and Applications Emerging Wireless/Mobile applications System prototypes, real deployments and experimentation Cognitive Radio applications and spectrum management Resource and service discovery Mobile Social Wireless Networks Opportunistic Applications Gaming Applications in Ubiquitous Computing Environments Operating system and middleware support for mobile computing Multimedia over Wireless Networks Network Coding in wireless networks Security, Privacy and Infrastructure for Ubiquitous Computing Green computing in wireless networks Smart Grid Portable Devices and Wearable Computers Passive, Active and Smart Tags for Ubiquitous Computing Context and Location aware applications Data replication and dissemination in mobile networks Mobile Urban Sensing and Crowd-sensing Data gathering, fusion, and dissemination in WSNs Intelligent Transport Systems applications Wireless communications to vehicle-to-grid applications Wireless telemedicine and e-health services Content distribution in wireless home environment Service oriented architectures, service portability, P2P Smart Cities and smart environment Workshop Proposals As part of the program of WiMob 2014, a limited number of workshops are planned to be held in conjunction with the main conference. The main aim of the workshops is to provide an international forum for researchers to present their early research results and share experiences focused on specific research areas related to the main conference topics. Workshop proposals are solicited in all areas and topics related to wireless networking, mobile computing, mobile and wireless communications, pervasive computing and networking, and its services and applications. All papers accepted by the workshops will be included in the WiMob 2014 Proceedings published by IEEE. All proposals and questions should be submitted to the workshop chairs: * Ebrahim Bagheri, Ryerson University, bagheri at ryerson.ca * Joaquin Garcia-Alfaro, Telecom SudParis, garcia_a at telecom-sudparis.eu * Joan Garcia Haro, Universidad Politecnica de Cartagena, joang.haro at upct.es * Luis Orozco Barbosa, Universidad de Castilla-La Mancha, luis.orozco at uclm.es Acceptance/rejection notification will be sent to workshop organizers. Proposals for workshops should be no more than 2 pages in length and should contain the following information: 1) A draft of the CFP of the workshop (includes title, description, topics and dates) 2) Proposed duration of the workshop 3) Why is the topic area important? 4) Likely contributors and target audience 5) Organizing committee 6) Plan for workshop advertising and publicity 7) Biography of the main organizer(s) (100-200 words) 8) Can be submitted in PDF or plain text 9) Extended abstract to be presented in the conference proceedings Responsibilities for Workshop Organizers Workshop chair(s) will be responsible for the following: (1) Web page of the workshop and dissemination of "Call for Papers/Participation" for their workshop (2) Paper constraints, such as quality, originality, format and length constraints (3) Description of the workshop to be associated to the conference web page and program (4) Acceptance notification and selection of participants (5) Advertising the workshop beyond the conference web page (6) Assistance in producing a camera-ready version of the workshop proceedings Important Dates Workshop Proposals Deadline: March 31, 2014 Workshops Proposals Acceptance Notification: April 15, 2014 Paper Submission Deadline: May 1, 2014 Notification of Acceptance: July 25, 2014 Camera Ready: August 25, 2014 Organization Committees General Chair Abderrahim Benslimane, University of Avignon, France General Co-Chairs George Angelos Papadopoulos, University of Cyprus, Cyprus Ali Miri, Ryerson University, Canada Steering Committee Chair Samuel Pierre, École Polytechnique de Montréal, Canada Steering Committee Abderrahim Benslimane, University of Avignon, France Dovan Thanh, Telenor & Norwegian Univ. of Science& Technology, Norway Hussein Mouftah, University of Ottawa, Canada Ibrahim Habib, City University of New York, USA Khaled Ben Letaief, Hong Kong University of Sci. & Tech. Pierre Boucher, Ericsson Research Canada Samuel Pierre, École Polytechnique de Montréal, Canada TPC Co-Chairs Li CHEN, Sun Yat-Sen University, China - wireless communication track Milena Radenkovic, University of Nottingham, UK - ubiquitous, service and application track Lin Xiaodong, University of Ontario Institute of Technology, Canada- wireless networking, mobility and nomadicity track Workshop Co-Chairs Ebrahim Bagheri, Ryerson University, Canada Joaquin Garcia-Alfaro, Telecom SudParis, France Joan Garcia Haro, Universidad Politecnica dede Cartagena, Spain Luis Orozco Barbosa, Universidad de Castilla-La Mancha, Spain -------------------------------------------------------------------- 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 info at europment.org Mon Dec 30 15:18:46 2013 From: info at europment.org (Zoe Michel) Date: Mon, 30 Dec 2013 16:18:46 +0200 Subject: =?utf-8?B?V2Ugd291bGQgbGlrZSB0byBpbnZpdGUgeW91IHRvIHN1Ym1pdCBhIA==?= =?utf-8?B?cGFwZXIgYW5kL29yIHRvIG9yZ2FuaXplIGEgc3BlY2lhbCBzZXNzaQ==?= =?utf-8?B?b24gaW4gb3VyIGNvbmZlcmVuY2VzIHRoYXQgd2lsbCBiZSBoZWxkIA==?= =?utf-8?B?aW4gVmVuaWNlLCBJdGFseSwgU2F0dXJkYXkgMTUsIFN1bmRheSAxNg==?= =?utf-8?B?IGFuZCBNb25kYXkgMTcsIE1hcmNoIDIwMTQgICAgICBldmVudEBpbg==?= =?utf-8?B?LnR1LWNsYXVzdGhhbC5kZQ==?= Message-ID: CALL FOR PAPERS: Venice, Italy, Saturday 15, Sunday 16 and Monday 17, March 2014 www.europment.org Extended Versions of all the accepted papers will be published in ISI / SCOPUS JournalsPaper submission deadline: January 15, 2014Check the quality of our Books and Proceedings as well as our Reviewers of 2013 here: http://www.europment.org/library/2013/ The 2014 Int. Conf. on Chemical Engineering and Materials Science The 2014 Int. Conf. on Pure Mathematics - Applied Mathematics The 2014 Int. Conf. on Neural Networks - Fuzzy Systems The 2014 Int. Conf. on Economics and Statistics The 2014 Int. Conf. on Theoretical Mechanics and Applied Mechanics The 2014 Int. Conf. on Mechanical Engineering The 2014 Int. Conf. on Environmental Science and Geoscience The 2014 Int. Conf. on Circuits, Systems, Signal Processing, Communications and Computers The 2014 Int. Conf. on Biology and Biomedical Engineering- COMMITTEES: The Conferences have (separate) distinguished Organizing Committees, Steering and Program Committees with extensive academic qualifications, ensuring that the conference maintains high scientific standards and has a broad international coverage. Please, check- REVIEW: All the papers are subject to peer, thorough, strict review by committees' members or 2 or 3 additional reviewers. Please, check our Books / Proceedings of 2013 http://www.europment.org/library/2013/- THE NAMES OF THE REVIEWERS APPEAR IN THE PROCEEDINGS: The names of the Organizing Committee, Steering and Program Committee members and the name of the Reviewers appear always in the Proceedings. Please, check our Books / Proceedings of 2013 http://www.europment.org/library/2013/- CONFERENCE VENUE: Venice is one of the most interesting and lovely places in the world. This sanctuary on a lagoon is virtually the same as it was six hundred years ago,which adds to the fascinating character. Venice has decayed since its heyday and is heavily touristed (there are slightly more tourists than residents), but the romantic charm remains. The most famous is the area comprising the 118 islands in the main districts that are called "Sestieri" and they are: Cannaregio, Castello, Dorsoduro, San Polo, Santa Croce and San Marco, where the main monuments and sights are located. Other main districts are Isola Della Giudecca and Lido di Venezia. Other important islands include Murano, Torcello, San Francesco del Deserto, Burano, and several others..- SPECIAL SESSIONS: Qualified Colleagues can send us their proposals for Special Sessions. A honorarium will be given to special session organizers. - E-LIBRARY, Free Access for everybody, no username, no password to check the quality of our previous publications: http://www.europment.org/library/2013/- JOURNAL PUBLICATIONS: Extended versions of all the accepted papers will be also published in various ISI / SCOPUS Journals (Contact us for a full list of the Journals).Deadline to upload papers: January 15, 2014See you in Venice, Italy, Saturday 15, Sunday 16 and Monday 17, March 2014Best RegardsProf. Kleanthis Psarris,The City University of New York,USAProf. George Vachtsevanos,Georgia Institute of Technology,Atlanta, Georgia, USAProfessor Aida Bulucea,University of Craiova,Craiova, RomaniaProfessor Philippe DondonEcole Nationale Superieure d'ElectroniqueTalence, CedexFranceProf. Maria Isabel Garcia-Planas,Universitat Politecnica de Catalunya,SpainProf. Claudio TalaricoGonzaga University, SpokaneUSAProf. Nikos E. MastorakisTechnical University of Sofia, Sofia,Bulgaria ***********If you want to unsubscribe, send an email to info at europment.org with Subject: REMOVE event at in.tu-clausthal.de -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.amigoni at polimi.it Mon Dec 30 15:46:58 2013 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Mon, 30 Dec 2013 14:46:58 +0000 Subject: Call for Participation RoboCup 2014 Virtual Robot competition Message-ID: <831FF534-DF3A-43DD-9FDF-96784E4FBE04@polimi.it> ********************************************************************************************** Call for Participation RoboCup 2014 Virtual Robot competition July 19-25, 2014 (Joao Pessoa, BRAZIL) http://www.robocup2014.org/ We would like to invite all robot rescue teams to participate in the 2014 RoboCup Rescue Simulation League World Championship. If you are interested to participate please take the time to pre-register your team for the RoboCup 2014 Virtual Robot competition. 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 5 an email to A.Visser at uva.nl with as attachment the following form filled in: http://home.deib.polimi.it/amigoni/IntentVirtual2014.txt 3) Qualification material ------------------------- Besides the pre-registration please prepare before February 28 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) Deadlines ----------- - Deadline for pre-registration Virtual Robot competition: February 5, 2014 - Deadline for qualification material Virtual Robot competition: February 28, 2014 - Team qualification notification: March 5, 2014 5) Rules -------- The rules for the RoboCup 2014 Virtual Robot competition will be published at: http://wiki.robocup.org/wiki/Rescue_Simulation_League#Rules The latest version currently available is April 22, 2013. It will be finalized with minor changes, also according to the input from the participating teams. We hope to see you all in Brazil. With kind regards, Sanaz Taleghani, Amir Abdi, and Francesco Amigoni, 2014 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 announce at cs.ucy.ac.cy Tue Dec 31 10:29:30 2013 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 31 Dec 2013 11:29:30 +0200 Subject: LAST MILE: 17th International Conference on Business Information Systems (BIS 2014) Message-ID: <2EXAI1LP-24ID-RJMB-5I7I-VDNNA47P8HD@cs.ucy.ac.cy> *** Last Mile *** 17th International Conference on Business Information Systems BIS 2014 Golden Bay Hotel, Larnaca, Cyprus May 21-23, 2014 http://bis.kie.ue.poznan.pl/17th_bis/ Deadline for submissions: January 10, 2014 (Proceedings will be published in Springer's LNBIP series) THEME OF THE CONFERENCE Big Data: problems solved and remaining challenges The amount of data available for analysis, especially economy-related data, is increasing rapidly. According to MGI and McKinsey's Business Technology Group, Big Data is becoming a key basis of competition, important factor of productivity growth, innovation, consumer surplus as well as organizational effectiveness. Currently, Big Data is one of the hottest trends in the areas like recommendation engines, network monitoring, sentiment analysis, fraud detection, risk modeling, marketing campaign analysis, and social graph analysis. However, there is a need to remodel technologies, applications, infrastructure, and business processes in order to take full advantage of the possibilities offered by Big Data. It is our pleasure to invite you to submit your work to BIS 2014 conference. The BIS conference is a well-respected event joining international researchers to discuss the wide range of the development, implementation, application and improvement of business applications and systems. It is addressed to the scientific community, people involved in the development of business computer applications, consultants helping to properly implement computer technology and applications in the industry. TOPICS OF THE CONFERENCE Topics are restricted by the theme of the conference as defined above and they include: Ontologies * creation, learning, population, evolution and evaluation of ontologies * ontologies for enterprise content management * natural language processing and cognitive science * semantic integration of heterogeneous semi-structured information sources * interoperability of heterogeneous information systems * business models for Web information integration and aggregation * linked open data Contexts * location-aware and geography-centric information systems * wireless and mobile applications * multi-agent distributed systems * semantic web personalization * smart cities * ambient computing * RFID and localisation techniques Content retrieval and filtering * search over semi-structural Web sources * Deep Web search and crawling * data integration from Web information sources * modeling and describing evolving data sources * information gathering support for knowledge-intensive enterprises * business models for a content * unified data processing and communication systems * automatic identification and data collector systems Collaboration * knowledge-based collaboration * social networks and social wikis * enterprise mashups, Enterprise 2.0 * security in distributed systems * Web-based model for discoverability, consumption, and reuse * social networks for healthcare Services science * service oriented computing * semantic web services * composition, choreography and orchestration * trust and quality of service (QoS) * service level agreements * distributed computing for the smart grid Interoperability * digital ecosystem * e-infrastructure * cloud computing Business process management * semantic business process management * adaptive and dynamic processes * supply chain processes * ERP implementations * integration of data and processes * collaborative BPM Applications * policy modelling and simulation for e-governance * technologies for digital culture and cultural heritage * digital libraries and web archiving * access to cultural resources * technologies for a low carbon economy * safety and healthcare record information reuse * early warning systems and mobile monitoring * intelligent medical systems * business models for Future Internet SUBMISSION The BIS 2014 proceedings will be published as a volume in Lecture Notes in Business Information Processing (LNBIP) series by Springer Verlag. http://www.springer.com/computer?SGWID=0-146-6-450209-0 Information for LNBIP authors may be found at: http://www.springer.com/computer/lncs?SGWID=0-164-6-791344-0 Submission: http://bis.kie.ue.poznan.pl/17th_bis/submission.php * Language of publication: English * Paper should not exceed 12 LNBIP pages (including abstract and references) * Please include a 100-word abstract at the beginning of the paper, which clearly presents the achievement or contribution of the paper * Please include 4-7 keywords best describing your paper * We understand that you submit your original work that has not been published or submitted elsewhere, and that you agree to publish your work when it is accepted by the Program Committee; you will be required to send a signed copyright form as required by Springer at a later stage * At least one author should register for the conference and present the paper; only registered authors' papers will be included in the proceedings * The authors will prepare the final manuscript in time for its inclusion in conference proceedings IMPORTANT DATES Jan 10, 2014: Submission deadline for papers Feb 19, 2014: Nnotification of acceptance/rejection Mar 05, 2014: Submission of final papers May 21-23, 2014: The conference ORGANIZERS Poznan University of Economics, Department of Information Systems University of Cyprus, Department of Computer Science Poznan University of Economics Dept. of Information Systems Al. Niepodleglosci 10 61-875 Poznan, POLAND Phone: +48(61)854-3381 Fax: +48(61)854-3633 bis[at]kie[dot]ue[dot]poznan[dot]pl http://bis.kie.ue.poznan.pl University of Cyprus Department of Computer Science 1 University Avenue, Aglantzia CY-2109, Nicosia, Cyprus Tel: +357-22892693, Fax: +357-22892701 -------------------------------------------------------------------- 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: