From announce at cs.ucy.ac.cy Sun Feb 1 17:22:07 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 1 Feb 2015 18:22:07 +0200 Subject: ISPDC 2015: New Extended Submission Deadline! Message-ID: The 14th International Symposium on Parallel and Distributed Computing (ISPDC 2015) 29 June - 2 July, 2015, St. Raphael Resort 5*, Limassol, Cyprus http://www.cyprusconferences.org/ispdc2015/ *** New Extended Submission Deadline: 22 February 2015 *** [Due to numerous requests, the submission deadline has been further extended.] Following very successful previous editions since 2002, the 14th ISPDC conference will be hosted in Limassol, a beautiful coastal Mediterranean city on the south coast of Cyprus. The conference will be devoted to a highly selective program with papers describing original and unpublished research advancing the state of the art in the field of Parallel and Distributed Computing paradigms and applications. The goal is to provide an interactive and friendly, yet professional forum, for original research contributions describing novel ideas, groundbreaking results and/or experiences. We kindly invite you to submit original contributions to ISPDC 2015 on topics including, but not limited to: System Architectures for Parallel and Distributed Computing - Multi-Cores, Virtualization - Clusters and Grid Computing - Methods and Tools for Parallel and Distributed Programming - Embedded, Mobile and Networking Environments - System Architecture and System Software for In-Memory Computing - Innovative System Architecture for Big Data Processing - System Architecture for Graph Computing/Processing - Interconnect Architecture for HPC and Data Centers High Performance Computing and Large Scale Applications - Tools and Environments for Parallel Program Design/Analysis - Scalable Algorithms and Applications - Urban Networks and Applications, Vehicular Networks - Parallel, Distributed and Mobile big-Data Management Parallel Computing and Algorithms - Parallel Programming Paradigms and APIs - GPU Programming - Bio-inspired Parallel Algorithms - Big Data and Graph Analytics - Algorithms, Models and Formal Verification Cloud Computing - Cloud Resource Provisioning and Allocation - Pricing of Cloud Resources - Cloud Performance, and Capacity Management - Green Cloud Computing - Mobile Clouds - Security and Privacy in Clouds - Cloud Computing Techniques for Big Data - Storage Architectures for Clouds and Big Data Processing Distributed and Embedded Computing - Collaborative Computing, P2P Computing - Mobile and Ubiquitous Computing - Web Services and Internet Computing - Distributed Software Components, Multi-agent Systems - Parallel Embedded Systems Programming - Highly Embedded Parallel Systems Support for Programming - FPGA and SoC Solutions Performance Modeling, Management and Optimization - Scheduling and Load Balancing - Performance Modeling, Analysis and Evaluation - Optimisation, Security and Dependability Interactivity - Real-time Distributed and Parallel Systems - Visualisation of Massively Parallel Data - IoT, Social Networks You are invited to submit original papers of up to 10 pages, written in English and compliant with the IEEE standard (8.5"x11", two-column). The IEEE Computer Society Press will publish the proceedings. A best paper award will be presented to paper(s) receiving the highest quality rating from the reviewers and the PC. Key Dates Submission of full papers: 22 February, 2015 (new extended deadline) Notification of authors: 15 March, 2015 Camera ready papers: 30 March, 2015 Authors and early registration deadline: 6 May, 2015 Symposium dates: 29 June - 2 July, 2015 General Chair George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Co-Chairs Daniel Grosu, Wayne State University, USA Hai Jin, Huazhong University of Science and Technology, China Steering Committee Ioana Banicescu, Mississippi State University, USA Hans-Joachim Bungartz, Technische Universität München, Germany Valentin Cristea, University Politehnica of Bucharest, Romania Bertil Folliot, University of Paris, France Dan Grigoras, University College Cork, Ireland John Morrison, University College Cork, Ireland Traian Muntean, Aix Marseille University, France Dana Petcu, Western Univ. of Timisoara and e-Austria, Timisoara, Romania Marek Tudruj, Polish Acad. of Sciences and PJIIT, Warsaw, Poland Program Committee http://www.cyprusconferences.org/ispdc2015/committees.html -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Christian.Kuster at gt-arc.com Mon Feb 2 13:15:21 2015 From: Christian.Kuster at gt-arc.com (Christian Kuster) Date: Mon, 2 Feb 2015 12:15:21 +0000 Subject: CfW: ICTH 2015 Message-ID: <4592885f546644e1a41ea331e80258c4@birke.dai-lab.de> *** Apologies if you receive multiple copies of this message *** ----------------- Call for Workshops Proposals ------------------------ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) 27-30 September, 2015 Berlin, Germany http://icth-15.dai-labor.de/ ------------------------------------------------------------------------------- Important Dates =============== - Workshop Proposal Due: February 25, 2015 - Acceptance Notification: March 1, 2015 The ICTH-2015 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of ICTH-2015 and its related areas. All papers accepted for workshops will be included in the ICTH-2015 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in ICTH-2015 Website. The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues. Proposal Format =============== - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft Call for paper of the workshop - Tentative list of TPC members Workshops Chair =============== Dr. Zahoor Khan, Higher Colleges of Technology, UAE Email: zahoor.khan at hct.ac.ae -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Mon Feb 2 21:12:13 2015 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Mon, 2 Feb 2015 17:12:13 -0300 Subject: IJCAI 2015 CompSus Track - CALL FOR PAPERS Message-ID: [Apology for cross-postings] ************************************************************************************************* Computational Sustainability (CompSus) Track CALL FOR PAPERS Computational Sustainability aims to apply computational techniques to the balancing of environmental, economic, and societal needs, in order to support sustainable development and a sustainable future. Research in computational sustainability is inherently interdisciplinary: It brings together computational sciences and other fields such as environmental sciences, biology, economics, and sociology. AI techniques and methodologies can be instrumental in addressing sustainability problems and questions, for example to increase the efficiency and effectiveness of the way we manage and allocate our natural and societal resources. This will also enrich and transform AI, by providing new challenges. Sustainability domains include the following: - Natural resources and the environment (such as water, atmosphere, oceans, forest, land, etc.) - Economics and human behavior (such as well-being, poverty, diseases, over-population, etc.) - Energy resources (for example, renewable energy, smart grid, and so on.) - Human-built systems and land use (such as transportation, cities, buildings, agriculture, etc.) - Climate (such as climate prediction, impact of and on climate, etc.) This special track is dedicated to papers concerned with innovative notions, models, algorithms, techniques, methodologies, and systems, in order to address problems in computational sustainability. Papers can range from formal analysis to applied research. Papers describing interesting sustainability problems and data sets, or papers proposing general challenges and competitions for computational sustainability, are also welcome. The CompSust track welcomes three types of articles: - Technical papers, showing how AI can be instrumental in addressing sustainability questions; - Emerging computational sustainability applications - Data challenge papers providing the description of a new sustainability problem as well as the corresponding data set to be made available to the AI community. Technical papers must follow the instructions given in the general call for technical conference papers. Dataset papers should be no longer than four pages in length, included figures and references. Please indicate that your paper is a dataset paper or an emerging application paper by selecting this paper type in the submission site. Submission Rules: Submission Link: http://ijcai15-cs.confmaster.net/ IJCAI 2015 Computational Sustainability Track chairs: Carla Gomes (gomes at cs.cornell.edu) IJCAI2015 Computational Sustainability Awards: IJCAI 2015 is joining with the Institute for Computational Sustainability (ICS) to promote work at the intersection of computing and sustainability on principles and applications that address environmental, economic, and societal needs in support of a sustainable future. A 2015 Computational Sustainability Track committee will select outstanding papers in this area to receive ICS travel awards to the authors of the IJCAI/CS Track 2015 CompSust Track Outstanding papers (Regular and Student award). Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From serge.autexier at dfki.de Tue Feb 3 07:45:57 2015 From: serge.autexier at dfki.de (Serge Autexier) Date: Tue, 3 Feb 2015 07:45:57 +0100 (CET) Subject: MKM, Calculemus and DML (CICM 2015): 2nd CfP, Invited Speakers & Workshops Message-ID: <20150203064557.475CC254A26B@gigondas.local> 2nd Call for Papers Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014). This is a (short version of the) call for papers for CICM 2015, which will be held in Washington, D.C., 13-17 July 2015. The full version of the CFP is available from the conference web page at http://cicm-conference.org/2015/cicm.php ********************************************************************** Invited Speakers: ********************************************************************** * Leonardo de Moura, https://leodemoura.github.io/ "Formalizing mathematics using the Lean Theorem Prover" (http://leanprover.github.io/) * Tobias Nipkow, http://www21.in.tum.de/~nipkow/ "Analyzing the Archive of Formal Proofs" * Jim Pitman, http://www.stat.berkeley.edu/~pitman/ * Richard Zanibbi, http://www.cs.rit.edu/~rlaz/ "Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval" ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe * Doctoral Programme Chair: Umair Siddique Publicity chair is Serge Autexier. The local arrangements will be coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme will be organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). As in previous years, we will have co-located workshops. Currently planned are: * Formal Mathematics for Mathematicians * Theorem proving components for Educational software (ThEdu'15) * MathUI Furthermore we will have a doctoral programme to mentor doctoral students giving presentations and a tutorial on the generic proof assistant Isabelle. We also solicit for project descriptions, surveys, and work-in-progress papers. ********************************************************************** Important Dates ********************************************************************** Conference submissions: Abstract submission deadline: 16 February 2015 Submission deadline: 23 February 2015 Reviews sent to authors: 6 April 2015 Rebuttals due: 9 April 2015 Notification of acceptance: 13 April 2015 Camera ready copies due: 27 April 2015 Conference: 13-17 July 2015 Work-in-progress and Doctoral Programme submissions: Submission deadline: (Doctoral: Abstract+CV) 4 May 2015 Notification of acceptance: 25 May 2015 Camera ready copies due: 1 June 2015 More detailed information, e.g. on submission via EasyChair and the Springer LNAI format, can be found on http://cicm-conference.org/2015/cicm.php From lpulina at uniss.it Tue Feb 3 10:51:09 2015 From: lpulina at uniss.it (Luca Pulina) Date: Tue, 03 Feb 2015 10:51:09 +0100 Subject: [RR 2015] Call For Papers -- Deadline in 1 month! Message-ID: <54D09A0D.6070900@uniss.it> [apologies for any cross-posting] ****************************************************************** CALL FOR PAPERS The 9th International Conference on Web Reasoning and Rule Systems (RR 2015) Berlin, Germany, August 4-6, 2015 http://www.csw.inf.fu-berlin.de/RR2015/ ****************************************************************** The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2015 is colocated with the following events: - 11th Reasoning Web Summer School (RW 2015) Berlin, Germany, July 31 - August 4, 2015. http://www.csw.inf.fu-berlin.de/rw2015/ - The 25th International Conference on Automated Deduction (CADE 2015). Berlin, Germany, August 1 - August 7, 2015. http://conference.mi.fu-berlin.de/cade-25/home - The 9th International Web Rule Symposium (RuleML 2015). Berlin, Germany, August 3-5, 2015 http://2015.ruleml.org RR 2015 also hosts a doctoral consortium, which will provide PhD students with an opportunity to present and discuss their research directions, to be involved in discussions on the state-of-the-art research, and to establish fruitful collaborations. In particular, the doctoral consortium will include a mentoring lunch and a poster session, organized jointly with the 9th International Web Rule Symposium (RuleML 2015). Further details on the RR doctoral consortium will be communicated by means of a separate Call for Papers, as well as on the RR 2015 website. == TOPICS AND SUBMISSION INSTRUCTIONS == The scale and the heterogenous nature of web data poses many challenges, and turns basic tasks such as query answering and data transformations into complex reasoning problems. Rule-based systems have found many applications in this area. The RR conference welcomes original research from all areas of Web Reasoning and Rule Systems. Topics of particular interest are: - Rule-based languages for intelligent information access and for the semantic web - Ontology-based data access - Data management, and data interoperability for web data - Distributed agent-based systems for the web - Scalability and expressive power of logics for the semantic web - Reasoning with incomplete, inconsistenct and uncertain data - Non-monotonic, commonsense, and closed-world reasoning for web data - Constraint programming, inductive logic programming for web data - Streaming data and complex event processing - Rule-based approaches to machine learning, knowledge extraction and information retrieval - Rule-based approaches to natural language processing - System descriptions, applications and experiences There are two submission formats: - Full papers (up to 15 pages in LNCS style) - Technical Communications (up to 6 pages in LNCS style) Submitted full papers should present original and significant research results. They must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed, like for instance the DL 2014 workshop. Technical communications are intended for promising but possibly preliminary work, position papers, system descriptions, and applications descriptions (which may be accompanied by a demo). The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS), and all submissions must be prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html). Submissions are made via EasyChair: https://www.easychair.org/conferences/?conf=rr2015 == IMPORTANT DATES == - Title and Abstract submission: March 3, 2015 - Full papers submission: March 10, 2015 - Notification of acceptance: April 15, 2015 - Camera-ready submission: May 15, 2015 For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies. == BEST PAPER AND BEST STUDENT PAPER AWARDS == Awards for Best Paper and Best Student Paper will be presented to the corresponding author(s) at the conference. The best student paper will be selected among the ones mainly only by students (i.e., authors a PhD as of the paper submission deadline). To qualify for the Best Student Paper award, the authors must indicate their eligibility upon submission at easychair. The program committee reserves the right to not give out a Best Student Paper award, or to split the award among multiple submissions. == INVITED SPEAKERS == - Michael Genesereth (Stanford University) - Benny Kimelfeld (Technion & LogicBlox) - Lora Aroyo (Free University of Amsterdam) == ORGANIZATION == General Chair: - Wolfgang Faber (University of Huddersfield) Doctoral Consortium Chair: - Marco Montali (Free Universiy of Bozen-Bolzano) Local Organization Chair: - Adrian Paschke (Free University of Berlin) Sponsorship Chair: - Marco Maratea (University of Genova) Publicity Chair: - Luca Pulina (University of Sassari) Web Chair: - Ralph Schaefermeier (Free University of Berlin) Program Committee: - Balder ten Cate (LogicBlox, USA) - co-chair - Alessandra Mileo (DERI, Ireland) - co-chair - Darko Anicic (Siemens AG, Germany) - Marcelo Arenas (Pontificia Universidad Catolica de Chile, Chile) - Marcello Balduccini (Drexel University, USA) - Leopoldo Bertossi (Carleton University, Canada) - Meghyn Bienvenu (Universite Paris Sud, France) - Fernando Bobillo (University of Zaragoza, Spain) - Daniel Deutsch (Tel Aviv, Israel) - Agostino Dovier (Università degli Studi di Udine, Italy) - Thomas Eiter (TU Vienna, Austria) - Sergio Flesca (University of Calabria, Italy) - Paul Fodor (Stony Brook University, USA) - Andres Freitas (INSIGHT NUI Galway, Ireland) - Andre Hernich (Liverpool, UK) - Stijn Heymans (SRI, USA) - Aidan Hogan (National University of Ireland, Galway, Ireland) - Benny Kimelfeld (Technion, Israel & LogicBlox, Inc) - Roman Kontchakov (Birkbeck College, UK) - Markus Krötzsch (University of Oxford, UK) - Georg Lausen (Universitaet Freiburg, Germany) - Joohyung Lee (Arizona State University, USA) - Domenico Lembo (Sapienza Universita di Roma, Italy) - Carsten Lutz (Universität Bremen, Germany) - Thomas Meyer (CSIR Meraka Institute, South Africa) - Boris Motik (Oxford University, UK) - Marco Montali (Free University of Bozen-Bolzano, Italy) - Marie-Laure Mugnier (LIRMM/INRIA, Montpellier, France) - Matthias Nickels (NUI Galway, Ireland) - Magdalena Ortiz (TU Vienna, Austria) - Giorgio Orsi (University of Oxford, UK) - Jeff Z. Pan (University of Aberdeen) - Adrian Paschke (Freie Universität Berlin, Germany) - Axel Polleres (WU-Vienna, Austria) - Lucian Popa (IBM Almaden, USA) - Francesco Ricca (University of Calabria, Italy) - Riccardo Rosati (Sapienza Universita di Roma, Italy) - Sebastian Rudolph (TU Dresden, Germany) - Luciano Serafini (FBK Trento, Italy) - Evgeny Sherkhonov (University of Amsterdam, Netherlands) - Steffen Staab (University of Koblenz-Landau, Germany) - Umberto Straccia (ISTI-CNR, Pisa, Italy) -- Luca Pulina, Ph.D. Assistant Professor of Computer Science POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies University of Sassari e-mail lpulina at uniss.it http://sites.google.com/site/lpulina From geoff at cs.miami.edu Tue Feb 3 21:08:28 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 3 Feb 2015 15:08:28 -0500 (EST) Subject: TABLEAUX/FroCoS Call for Workshops Message-ID: <20150203200828.789F212158E@mcclellan.cs.miami.edu> *** Apologies for multiple copies *** FIRST CALL FOR WORKSHOPS TABLEAUX/FroCoS 2015 The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods and The International Symposium on Frontiers of Combining Systems Wroclaw, Poland, September 20-25, 2015 GENERAL INFORMATION TABLEAUX 2015 and FroCoS 2015 will take place in Wroclaw, Poland, from September 20 to September 25, 2015. Workshops and tutorials will be held on September 19/20 and/or September 25. In the present call, we solicit proposals for workshops that are related to the two main conferences. Tutorials will be solicited in a separate call. Possible topics of workshops (the list is non-exhaustive) are: * automated reasoning with analytic tableaux and other methods (theory and applications) * model checking and BDDs * light-weight, flexible theorem proving methods * novel calculi for verification of mathematics and programs * classical and non-classical logics (modal, description, intuitionistic, linear, temporal, many-valued...) * combination of logics * implementation techniques: Data structures, efficient algorithms, performance measurement * combination and integration methods in SAT and SMT solving * combination of decision procedures, satisfiability procedures, constraint solving techniques, or logical frameworks * combinations and modularity in ontologies, term rewriting, knowledge representation, natural language semantics, and other areas * application of theorem proving and combination methods in teaching, verification, or security analysis The purpose of a workshop is to offer an opportunity for the presentation of novel ideas, ongoing research, and to discuss the state of the art of a given area in a less formal but more focused way than at the main conferences. Workshops are also a good opportunity for young researchers to present their own work in a friendly atmosphere. The format of a workshop is left to the organizers, with possible lengths being half a day, a full day, or two days. PROPOSAL SUBMISSION In order to submit a workshop proposal, please send a description of one or two pages in pdf format by email to Hans de Nivelle (nivelle at ii.uni.wroc.pl). The proposal must at least contain the following information: * title of the workshop * organizers + contact person * expected number of participants * whether the workshop is by invitation only or open. * planned duration (1/2 day, 1 day, 2 days) * are there planned proceedings? * special requirements? The deadline for submitting workshop proposals is *** MARCH 2 2015 ***. Workshop proposals will be reviewed by the TABLEAUX and FroCoS chairs Carsten Lutz, Hans de Nivelle, and Silvio Ranise, possibly with help of additional reviewers. Decisions will be made within three weeks. Additional questions can be directed to any of the PC chairs (Carsten Lutz, Hans de Nivelle and Silvio Ranise). MORE INFORMATION For more information on the two events, please refer to the webpages http://tableaux2015.ii.uni.wroc.pl/ http://frocos2015.ii.uni.wroc.pl/ From m.b.vanriemsdijk at tudelft.nl Wed Feb 4 15:49:26 2015 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Wed, 4 Feb 2015 15:49:26 +0100 Subject: Final CFP Agents and Multiagent Systems Schools (IFAAMAS) Message-ID: <386CB407-7827-4B14-92BD-38DBF5BC4AC0@tudelft.nl> ******************************************************** CALL FOR PROPOSALS AGENTS and MULTIAGENT SYSTEMS SCHOOLS ******************************************************** *** deadline: February 15th 2015 *** 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. Most importantly, the amount and use of requested funding should be motivated in light of the aims of this call for proposals and what is needed to run a successful school. 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, 2015*. 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 * Who are the organizers of the school? * 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) Ana Bazzan, UFRGS, Brazil 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 aamas2014publicity at gmail.com Wed Feb 4 18:31:45 2015 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Wed, 4 Feb 2015 17:31:45 +0000 Subject: Final Call for Doctoral Mentoring Program Submissions at AAMAS'15 Message-ID: Please take note of this opportunity! ---------------------------------------------------- Associated with the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS’15) in Istanbul http://www.aamas2015.com/ Symposium date: May 5th Building upon the success of previous years, AAMAS 2015 will again include a doctoral mentoring program, intended for PhD students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields as well as with other students, to receive feedback on their work and to get advice on managing their careers. ------------------------------------------- Specifically, the goals of the program are: ------------------------------------------- - To match each student with an establish researcher in the community (who will act as a mentor). The mentor will interact closely with the student, will provide feedback on research, help form new contacts, etc. - To allow students an opportunity to present their work to a friendly audience of other students as well as mentors. - To provide students with insights, contacts and professional networking opportunities for their future career. The doctoral mentoring program will consist of opportunities for interactions between mentors and their mentorees prior to the conference, as well as a one day doctoral symposium. ----------------------- Submission Requirements ----------------------- We encourage submissions from PhD students at advanced stages of their research within the Autonomous Agents and Multiagent Systems field. Based on the submissions, the organizing committee will select a group of students that will be invited to participate in the program. Participants will be expected to take active part in all doctoral mentoring program activities. Each submission should include a set of documents from the students, and a recommendation letter from the advisor. The submission package consists of: 1. A two-page extended abstract of the student’s thesis (in the AAMAS submission format, including abstract and keywords) 2. A short (2-page) application document including the following: - gender - country and institute of study - area of study (provide 1-3 keywords) - whether you have participated in the AAMAS DMC before - one or two names of suggested mentors - CV 3. A recommendation letter from the advisor/supervisor. The letter should address the expected benefit of attending (to the student), the significance of the research, and the expected date for thesis submission. This letter can be sent in either plain text or PDF format. The student’s name must be clearly pointed out in the letter. Submissions of the first two items should be submitted in pdf via easychair here: https://easychair.org/conferences/?conf=aamas15dmp. The letter of recommendation should be sent by e-mail to the doctoral mentoring co-chairs: Kobi Gal M. Birna van Riemsdijk --------------- Important Dates --------------- February 11: Submission package due March 3: Acceptance notifications (changed!) March 8: Camera-ready copy due (changed!) May 5: Doctoral Mentoring Symposium From stefano.borgo at gmail.com Wed Feb 4 19:41:38 2015 From: stefano.borgo at gmail.com (Stefano Borgo) Date: Wed, 04 Feb 2015 19:41:38 +0100 Subject: CfP: Joint Ontology Workshops (JOWO-15), IJCAI-15, Buenos Aires In-Reply-To: <229A4D20-988D-41AD-9A83-3A3543CC6390@informatik.uni-bremen.de> References: <229A4D20-988D-41AD-9A83-3A3543CC6390@informatik.uni-bremen.de> Message-ID: <54D267E2.6030005@gmail.com> ========================================== Joint Ontology Workshops (JOWO-15) -- Episode 1: The Argentine Winter -- Buenos Aires, Argentina, July 25-31, 2015 in conjunction with IJCAI 2015 http://iaoa.org/jowo --- First Call for Papers --- ========================================== Submission deadline: April 27, 2015 ========================================== This first edition of the Joint Ontology Workshops (JOWO-15) combines four exciting ontology-centered workshops at IJCAI-15. Together with ontology work presented at IJCAI itself, we will transform Buenos Aires for a week into the largest venue for ontology research of the year. JOWO-15 is supported by the International Association for Ontology and its Applications - IAOA. It will feature a series of (shared) invited talks, paper presentations, and discussions spread across four independent full-day workshops run over a period of three days: ================================== Workshop on Formal Ontologies for Artificial Intelligence (FOfAI) ================================== http://www.loa.istc.cnr.it/fofai chairs: Stefano Borgo, Oliver Kutz, and Daniele Porello FOfAI aims to establish a venue for researchers in AI with a strong interest in applied ontology. In particular, we aim to foster an interdisciplinary discussion and cross-fertilization among a number of communities by proposing a venue to exchange foundational, methodological, and applicative perspectives. The workshop thus encourages submission of articles on both theoretical, computational, and linguistic issues in the use of ontologies in AI as well as the concrete use of non-trivial ontologies in AI systems and applications. FOfAI is generously sponsored by the Association for Logic, Language and Information - FoLLI. ================================== 9th Int. Workshop on Modular Ontologies (WoMO 2015) ================================== http://www.ccs.neu.edu/home/kenb/womo2015/ chairs: Kenneth Baclawski, Torsten Hahmann, Pavel Klinov, Adila Krisnadhi This workshop brings together researchers from all subareas of AI and from related disciplines and application domains to discuss latest and current work on theoretical and practical aspects of modularity in ontologies. Topics include modularity as enabling technology for knowledge repositories and collaborative knowledge development environments and as a tool for reducing the complexity of designing and understanding ontologies, and to facilitating ontology verification, reasoning, maintenance and integration. ================================== 1st Workshop on Belief Change and Non-Monotonic Reasoning in Ontologies and Databases ================================== https://ontochange.wordpress.com chairs: Eduardo Fermé, Thomas Meyer and Renata Wassermann This workshop will bring together researchers working in the areas of logic-based ontologies, belief change, and database systems, along with researchers working in relevant areas in non-monotonic reasoning, commonsense reasoning, and paraconsistent reasoning. Hence the workshop will facilitate discussions on the application of existing work in belief change, non-monotonic reasoning, commonsense reasoning, and related areas on the one hand, to logic-based ontologies and databases on the other. ================================== Ontologies and logic programming for query answering ================================== http://ontolp.lsis.org/ chairs: Odile Papini, Marie-Laure Mugnier, Laurent Garcia, Salem Benferhat The aim of this workshop is to bridge knowledge representation and reasoning in artificial intelligence and web of knowledge communities in order to encourage the emergence of new solutions for reasoning with lightweight ontologies. Particular topics include query answering while taking ontologies into account and non­monotonic reasoning for inconsistency handling and exception handling and expressing default negations in ontologies, with a special interest in logic programming for implementations. IMPORTANT DATES Paper Submission: April 27, 2015 Notification: May 20, 2015 Camera ready: May 30, 2015 Workshop: July, 2015 SUBMISSION GUIDELINES Please refer to the individual workshops for detailed lists of topics appropriate for each workshop. Submissions can be long papers (up to 8 pages) or short papers (up to 4 pages), formatted using the AAAI style (available from http://www.aaai.org/Publications/Author/author.php), submitted in PDF format no later than the submission deadline. All submission are handled through Easychair. Use http://www.easychair.org/conferences/?conf=jowo15 for submissions to any of the first three workshops, and select the track that corresponds to the workshop most appropriate for your work. For the last workshop “Ontologies and logic programming for query answering”, submissions are handled separately through https://easychair.org/conferences/?conf=ontolp2015 All submissions will be peer-reviewed by members of the program committee of the individual workshops. Accepted papers will be made available in the form of a joint workshop proceedings. For additional publication plans check the individual workshops. From geoff at cs.miami.edu Thu Feb 5 20:18:00 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 5 Feb 2015 14:18:00 -0500 (EST) Subject: CADE-25 Final Call for Papers Message-ID: <20150205191800.265B01214E8@mcclellan.cs.miami.edu> ---------------------------------------------------------------------------- FINAL CALL FOR PAPERS 25th International Conference on Automated Deduction (CADE-25) Berlin, Germany, 1-7 August 2015 http://www.cade-25.info Key dates: 16 February 2015 (abstracts) 23 February 2015 (papers) CADE is the major international forum at which research on all aspects of automated deduction is presented. The 25th jubilee edition will feature a special session on the past, present, and future of automated deduction with Ursula Martin University of Oxford Frank Pfenning Carnegie Mellon University David Plaisted University of North Carolina at Chapel Hill Andrei Voronkov University of Manchester as invited speakers. In addition, there will be invited presentations by Ulrich Furbach University of Koblenz Edward Zalta Stanford University Michael Genesereth Stanford University (joint with RuleML Symposium) CALL FOR PAPERS High-quality submissions on the general topic of automated deduction, including foundations, applications, implementations, and practical experiences are solicited. * Logics of interest include propositional, first-order, equational, higher-order, classical, description, modal, temporal, many-valued, constructive, other non-classical, meta-logics, logical frameworks, type theory, set theory, as well as any combination thereof. * Paradigms of interest include theorem proving, model building, constraint solving, computer algebra, model checking, proof checking, and their integration. * Methods of interest include resolution, superposition, completion, saturation, term rewriting, decision procedures, model elimination, connection methods, tableaux, sequent calculi, natural deduction, as well as their supporting algorithms and data structures, including matching, unification, orderings, induction, indexing techniques, proof presentation and explanation, proof planning. * Applications of interest include program analysis, verification and synthesis of software and hardware, formal methods, computational logic, computer mathematics, natural language processing, computational linguistics, knowledge representation, ontology reasoning, deductive databases, declarative programming, robotics, planning, and other areas of AI. Submissions can be made in the categories regular papers and system descriptions. The page limit in Springer LNCS style is 15 pages for regular papers and 10 pages for system descriptions. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. System descriptions should contain a link to a working system and will also be judged on usefulness and design. Proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, via a reference to a website or in an appendix of the paper. Reviewers will be encouraged to consider this additional material, but submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission. The proceedings of the conference will be published in the Springer LNCS/LNAI series. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.html At every CADE conference the Program Committee selects one of the accepted papers to receive the CADE Best Paper Award. The award recognizes a paper that the Program Committee collegially evaluates as the best in terms of originality and significance, having substantial confidence in its correctness. Overall technical quality, completeness, scholarly accuracy, and readability are also considered. Characteristics associated with a best paper include, for instance, introduction of a strong new technique or approach, solution of a long-standing open problem, introduction and solution of an interesting and important new problem, highly innovative application of known ideas or existing techniques, and presentation of a new system of outstanding power. Under exceptional circumstances, the Program Committee may give two awards (ex aequo) or give no award. At CADE-25 we also intend to award the best student paper (details will follow). IMPORTANT DATES Abstract deadline: 16 February 2015 Submission deadline: 23 February 2015 Rebuttal phase: 15-18 April 2015 Notification: 26 April 2015 Final version: 17 May 2015 Workshops and Tutorials: 1 August to 3 August (morning) 2015 Competitions: 1 to 7 August 2015 Conference: 3 August (afternoon) to 7 August 2015 SUBMISSION INSTRUCTIONS Papers should be submitted via https://easychair.org/conferences/?conf=cade25 CADE-25 ORGANIZERS Conference Chair: Christoph Benzmüller Freie Universität Berlin Program Committee Co-Chairs: Amy Felty University of Ottawa Aart Middeldorp University of Innsbruck Workshop, Tutorial, and Competition Co-Chairs: Jasmin Blanchette Technische Universität München Andrew Reynolds EPFL Lausanne Publicity and Web Chair: Julian Röder Freie Universität Berlin Program Committee Carlos Areces Universidad Nacional de Córdoba Alessandro Armando University of Genova Christoph Benzmüller Freie Universität Berlin Josh Berdine Microsoft Research Jasmin Blanchette Technische Universität München Marta Cialdea Mayer Universita di Roma Tre Stephanie Delaune CNRS Gilles Dowek Inria Amy Felty University of Ottawa Reiner Hähnle Technical University of Darmstadt Stefan Hetzl Vienna University of Technology Marijn Heule The University of Texas at Austin Nao Hirokawa JAIST Ullrich Hustadt University of Liverpool Deepak Kapur University of New Mexico Gerwin Klein NICTA and UNSW Laura Kovács Chalmers University of Technology Carsten Lutz Universität Bremen Assia Mahboubi Inria Aart Middeldorp University of Innsbruck Albert Oliveras Technical University of Catalonia Nicolas Peltier CNRS Brigitte Pientka McGill University Ruzica Piskac Yale University André Platzer Carnegie Mellon University Andrew Reynolds EPFL Lausanne Christophe Ringeissen LORIA-INRIA Renate Schmidt University of Manchester Stephan Schulz DHBW Stuttgart Georg Struth University of Sheffield Geoff Sutcliffe University of Miami Alwen Tiu Nanyang Technological University Freek Wiedijk Radboud University Nijmegen From announce at cs.ucy.ac.cy Fri Feb 6 19:12:24 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 6 Feb 2015 20:12:24 +0200 Subject: CONTEXT 2015: Second Call for Papers and Workshop Proposals Message-ID: <8YIOBEJR-MDA2-ZYTX-5H0M-4ORX41RO2EZQ@cs.ucy.ac.cy> *** Second Call for Papers and Workshop Proposals *** The 9th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) 2-6 November 2015, Lordos Beach Hotel, Larnaca, Cyprus http://cyprusconferences.org/context2015 The CONTEXT conferences are the world's prime forum for presentation and exchange of insights and cutting-edge results from the wide range of disciplines concerned with context. The main theme of CONTEXT 2015 is "Back to the roots", focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems. CONTEXT 2015 invites high-quality contributions from researchers and practitioners in foundational studies, applications and evaluations of modeling and use of context in all relevant fields. Areas of interest include, but are not limited to, the role of context seen from different perspectives in: · Agent-based architectures · Ambient intelligence · Cognition and perception by humans and artifacts · Context-aware and situated systems · Context modeling tools · Communication and dialogue · Data analysis and visualization · Decision making · Discourse comprehension and representation · Engineering, e.g., in transport networks, industrial plants etc. · Experimental philosophy and experimental pragmatics · (Formal) models of context · Human-computer interaction · Knowledge representation · Language acquisition and processing · Learning, knowledge management and sharing · Logic and reasoning · Machine learning · Ontology/ies · Semantics and Pragmatics · Smart and interactive spaces · Understanding art, images, music and theatre Proceedings Accepted papers and poster abstracts will be published in a volume of the Springer LNAI series. Submission format Submissions may be either full papers of up to 14 pages (in Springer LNCS format) or poster abstracts of 4-6 pages. Full papers may be accepted as such with oral presentation, or their authors may be invited to prepare a poster abstract. Detailed formatting and submissions instructions will be provided. Conference events CONTEXT 2015 will include paper presentation sessions, a poster and demonstration session, two days of workshops, and a doctoral consortium as well as keynote talks and a panel discussion. Workshops and the doctoral consortium will circulate separate calls for papers and participation, which will also be available at the conference web site. All accepted authors will have the option of presenting a system demonstration at the poster session. Important dates Full papers and posters: · Submission deadline: June 1, 2015 · Notification: July 13, 2015 · Final version: August 17, 2015 Workshops CONTEXT 2015 workshops will provide a platform for presenting novel and emerging ideas in the use and the modelling of context in a less formal and possibly more focused way than the conference itself. The format of each workshop is to be determined by the organisers, but it is expected that workshops will contain ample time for general discussion and engagement by all participants - not just those presenting papers. Workshops that foster collaboration, discussion, group problem-solving and community-building initiatives are particularly encouraged. Researchers and practitioners from all relevant fields are invited to submit proposals for review. Proposals for workshops should contain: 1. A title and brief (2-page max) description of the workshop topic and content. 2. The desired workshop length (one day, two days or a half day) and an estimate of the number of attendees. 3. The names, postal addresses, phone numbers, and email addresses of the organisers, with one-paragraph statements of their research interests and areas of expertise. 4. A list of potential members of the program committee, with an indication of which members have already signed up. 5. A description of any shared tasks associated with the workshop. 6. A description of special requirements for technical needs. 7. An indication of whether posters are likely to be included in the workshop program. Please submit proposals in plain text in the body of an email to the workshop organiser Samia Oussena (samia.oussena at uwl.ac.uk) no later than March 20, 2015. Notification of acceptance of workshop proposals will occur no later than April 1, 2015. Organisers of accepted workshops will be responsible for publicising and running the workshop, including reviewing submissions and producing the camera-ready workshop proceedings and a possibly printed version; the conference website may link to online workshop proceedings. It is crucial that organisers commit to all deadlines. Workshop organisers cannot accept for publication papers that will be (or have been) published elsewhere, although they are free to set their own policies on simultaneous submission and review. At least one organiser of an accepted workshop is expected attend and lead the workshop; any participant and speaker must register for the conference. The CONTEXT 2015 organisers will set the workshop fees, provide rooms, equipment, technical support, coffee and lunch breaks. Workshop timeline · Submission of proposals: March 20, 2015 · Notification: April 1, 2015 · Submission deadline, workshop papers: August 1, 2015 · Notification for workshop papers: September 1, 2015 · Final version of workshop papers: October 1, 2015 Doctoral Consortium TBA Program Chairs Henning Christiansen, Roskilde University, Denmark Isidora Stojanovic, UPF, Spain & CNRS, France Workshop Chair Samia Oussena, University of West London, UK Local Arrangements Chair George Angelos Papadopoulos, University of Cyprus, Cyprus General Chair Henning Christiansen, Roskilde University, Denmark Chairs of the Community of Context Patrick Blackburn, Roskilde University, Denmark Patrick Brezillon, Université Pierre et Marie Curie, France Henning Christiansen, Roskilde University, Denmark Richard Dapoigny, Université de Savoie, France Thomas R. Roth-Berghofer, University of West London, UK Hedda R. Schmidtke, Carnegie Mellon University, USA Look for updates and more details at: - http://cyprusconferences.org/context2015 - https://www.facebook.com/context.conference -------------------------------------------------------------------- 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 andrea at dcs.bbk.ac.uk Sat Feb 7 00:12:21 2015 From: andrea at dcs.bbk.ac.uk (Andrea Cali) Date: Fri, 6 Feb 2015 23:12:21 +0000 Subject: AMW 2015 DEADLINE EXTENSION - 16 February Message-ID: Due to numerous requests, the paper submission deadline of AMW 2015 has been extended. We apologise for multiple postings. *************************************************************************** CALL FOR PAPERS The 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015) http://dcc.uchile.cl/amw2015 The Alberto Mendelzon International Workshop on Foundations of Data Management is an event held yearly in Latin America, to honor the memory of Alberto Mendelzon, who greatly contributed to the Latin American scientific community. The Mendelzon Workshop is intended to promote research in Latin America; however, it is an international venue that welcomes submissions and participants from anywhere. The workshop especially encourages the participation of Latin American and international graduate students and young researchers, and includes the AMW 2015 School tailored to them. AMW will be held in 2015 in Lima, Peru. Previous editions took place in Cartagena de Indias, Colombia (2014); Puebla, Mexico (2013); Ouro Preto, Brazil (2012); Santiago, Chile (2011); Buenos Aires, Argentina (2010); Arequipa, Peru (2009); Punta del Este, Uruguay (2007); Laguna San Rafael, Chile (2006). We solicit submissions in the following areas of data management, but not limited to them. Logic and databases; data integration; incompleteness and inconsistency in databases; data exchange; model theory and databases; conceptual modeling; integrity constraints (dependencies) in databases; knowledge bases; constraint databases; data mining; data modeling; web data management; data streams; data warehousing; query processing and optimisation; distributed and parallel databases; information retrieval; multimedia databases; ontology-based data management; physical design; data privacy and security; data provenance; query languages; real-time data; semantic web; semi-structured data; sensor data; web services; spatial data; temporal data; transaction management; probabilistic databases; fuzzy data management; and Web mining. Papers addressing foundational aspects are particularly welcome. However, we also encourage the submission of papers (especially short papers; see submission instructions below) that illustrate applications of foundational results in real-world contexts. =========================== SUBMISSION INSTRUCTIONS =========================== We invite two types of submissions. (a) Extended abstracts of up to 10 pages, presenting original research. These papers are intended to be published in the WS CEUR proceedings (http://ceur-ws.org). (b) Short papers of up to 4 pages that may contain either original ongoing research or recently published results. Papers have to be formatted according to the LNCS Springer style for Lecture Notes in Computer Science (available at http://www.springer.de/comp/lncs/authors.html) and submitted electronically via EasyChair in PDF format: http://www.easychair.org/conferences/?conf=amw2015. The submissions will be judged by the Program Committee for scientific quality and relevance. At least one author of each accepted paper must attend the workshop to present the work. =========================== IMPORTANT DATES =========================== Paper submission: 16th February, 2015 (EXTENDED) Notification of acceptance: 15th March, 2015 Camera ready copy due: 15th April, 2015 Workshop dates: 6th - 8th May, 2015 =========================== ORGANIZATION =========================== GENERAL CHAIR Pablo Barceló (Universidad de Chile, Chile) PROGRAM COMMITTEE CHAIRS Andrea Cali (Birkbeck, University of London, UK) Maria-Esther Vidal (Universidad Simon Bolivar, Venezuela) AMW SCHOOL CHAIRS Aidan Hogan (Universidad de Chile) Domagoj Vrgoč (Pontificia Universidad Catolica de Chile) STEERING COMMITTEE Ricardo Baeza-Yates (Yahoo Research, Spain) Pablo Barcelo (Universidad de Chile) Leopoldo Bertossi (Carleton University, Canada) Mariano Consens (University of Toronto, Canada) Alberto H. F. Laender (Universidade Federal de Minas Gerais, Brazil) Jorge Pérez (Universidad de Chile) LOCAL ORGANIZATION CHAIRS Hugo Vega (Universidad Nacional mayor de San Marcos, Universidad Ricardo Palma) Oscar Benito Pacheco (Universidad Nacional mayor de San Marcos, Universidad Ricardo Palma). =========================== PROGRAM COMMITTEE =========================== Cristina Dutra De Aguiar Ciferri (Universidade de Sao Paulo, Brazil) Oscar Corcho (Universidad Politecnica de Madrid, Spain) Isabel Cruz (University of Ilinnois at Chicago, USA) Amelie Gheerbrant (University of Paris VII Denis Diderot, France) Parke Godfrey (York University, Canada) Sergio Greco (Universita della Calabria, Italy) Claudio Gutierrez (Universidad de Chile) Mauricio A. Hernandez-Sherrington (IBM Research Almaden, USA) Aidan Hogan (Universidad de Chile) Elizabeth Leon (Universidad Nacional de Colombia) Jorge Lobo (ICREA and Universidad Pompeu Fabra, Spain) Maria Vanina Martinez (Universidad Nacional del Sur, Argentina) Filip Murlak (University of Warsaw, Poland) Mauricio Osorio (Universidad de las Americas Puebla, Mexico) Reinhard Pichler (Vienna University of Technology, Austria) Andreas Pieris (Vienna University of Technology, Austria) Alessandro Provetti (University of Messina, Italy) Jarek Szlichta (University of Ontario, Canada) Regina Paola Ticona Herrera (Universita de Pau et des Pays de l'Adour, France) Riccardo Torlone (Roma Tre University, Italy) Peter Wood (Birkbeck, University of London, UK) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sat Feb 7 09:13:59 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 7 Feb 2015 09:13:59 +0100 Subject: LATA 2015: call for participation Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************************************** 9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2015 Nice, France March 2-6, 2015 Organized by: CNRS, I3S, UMR 7271 Nice Sophia Antipolis University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2015/ ***************************************************************************** PROGRAM Monday, March 2 09:15 - 10:15 Registration 10:15 - 10:25 Opening 10:25 - 11:15 Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid and Andreas Podelski: Automated Program Verification - Invited Lecture 11:15 - 11:45 Coffee Break 11:45 - 13:00 Ala Eddine Ben Salem: Single-pass Testing Automata for LTL Model Checking Conrad Cotton-Barratt, Andrzej S. Murawski and C.-H. Luke Ong: Weak and Nested Class Memory Automata Joey Eremondi, Oscar H. Ibarra and Ian McQuillan: Insertion Operations on Deterministic Reversal-Bounded Counter Machines 13:00 - 14:30 Lunch 14:30 - 16:10 Adrien Boiret, Vincent Hugot, Joachim Niehren and Ralf Treinen: Logics for Unordered Trees with Data Constraints on Siblings François Gonze and Raphaël M. Jungers: On the Synchronizing Probability Function and the Triple Rendezvous Time: New Approaches to Cerny's Conjecture Vesa Halava, Reino Niskanen and Igor Potapov: On Robot Games of Degree Two Shankara Narayanan Krishna, Lakshmi Manasa and Ashutosh Trivedi: Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable 16:10 - 16:25 Break 16:25 - 18:10 Rui Li and Yiguang Hong: On Observability of Automata Networks via Computational Algebra Nicolas Peltier: Reasoning on Schemas of Formulas: An Automata-Based Approach Martin Sulzmann and Peter Thiemann: Derivatives for Regular Shuffle Expressions Eric Allender and Ian Mertz: Complexity of Regular Functions Tuesday, March 3 09:00 - 09:50 Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese and Massimo Tivoli: Automated Synthesis of Application-layer Connectors from Automata-based Specifications - Invited Lecture 09:50 - 10:05 Break 10:05 - 11:20 Peter Thiemann and Martin Sulzmann: From Omega-Regular Expressions to Büchi Automata via Partial Derivatives Guillaume Verdier and Jean-Baptiste Raclet: Quotient of Acceptance Specifications under Reachability Constraints Parvaneh Babari and Manfred Droste: A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logics 11:20 - 11:50 Coffee Break 11:50 - 13:05 Luc Boasson and Olivier Carton: Rational Selecting Relations and Selectors Peter Leupold and Norbert Hundeshagen: A Hierarchy of Transducing Observer Systems Antoine Ndione, Aurélien Lemay and Joachim Niehren: Sublinear DTD Validity 13:05 - 14:35 Lunch 14:35 - 16:15 Carl Barton, Costas S. Iliopoulos and Solon P. Pissis: Average-case Optimal Approximate Circular String Matching Johanna Björklund, Frank Drewes and Niklas Zechner: An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring Bastien Cazaux, Thierry Lecroq and Eric Rivals: Construction of a de Bruijn Graph for Assembly from a Truncated Suffix Tree Da-Jung Cho, Yo-Sub Han and Hwee Kim: Frequent Pattern Mining with Non-overlapping Inversions 16:15 - 16:30 Break 16:30 - 17:45 H.K. Dai and Z. Wang: A Parallel Algorithm for Finding All Minimal Maximum Subsequences via Random Walk Hernán Ponce-De-León and Andrey Mokhov: Building Bridges Between Sets of Partial Orders Vojtěch Vorel and Adam Roman: Complexity of Road Coloring with Prescribed Reset Words Wednesday, March 4 9:00 - 9:50 Antonio Restivo: The Shuffle Product: New Research Directions - Invited Lecture 9:50 - 10:05 Break 10:05 - 11:20 Marcella Anselmo, Dora Giammarresi and Maria Madonia: Structure and Measure of a Decidable Class of Two-dimensional Codes Thibault Godin, Ines Klimann and Matthieu Picantin: On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata Luis-Miguel Lopez and Philippe Narbel: Coding Non-orientable Laminations 11:20 - 11:50 Group Photo and Coffee Break 11:50 - 13:05 Pavel Panteleev: Preset Distinguishing Sequences and Diameter of Transformation Semigroups Charalampos Zinoviadis: Hierarchy and Expansiveness in 2D Subshifts of Finite Type Stefano Bilotta, Elisa Pergola, Renzo Pinzani and Simone Rinaldi: Recurrence Relations, Succession Rules and the Positivity Problem 13:05 - 14:35 Lunch 14:35 - 16:15 Philip Bille, Inge Li Gørtz and Søren Vind: Compressed Data Structures for Range Searching Alberto Policriti, Nicola Gigante and Nicola Prezza: Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform Jan Trávníček, Jan Janoušek, Bořivoj Melichar and Loek Cleophas: Backward Linearised Tree Pattern Matching Vladimir Ulyantsev, Ilya Zakirzyanov and Anatoly Shalyto: BFS-based Symmetry Breaking Predicates for DFA Identification 17:00 - 20:00 Touristic visit Thursday, March 5 09:00 - 09:50 Giancarlo Mauri, Alberto Leporati, Luca Manzoni, Antonio E. Porreca and Claudio Zandron: Complexity Classes for Membrane Systems - Invited Lecture 09:50 - 10:05 Break 10:05 - 11:20 Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala and Guido Sciavicco: On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive and Heribert Vollmer: Parameterized Enumeration for Modification Problems Martin Lück, Arne Meier and Irena Schindler: Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem 11:20 - 11:50 Coffee Break 11:50 - 13:05 Kazuyuki Amano and Atsushi Saito: A Nonuniform Circuit Class with Multilayer of Threshold Gates Having Super Quasi Polynomial Size Lower Bounds against NEXP Georg Bachmeier, Michael Luttenberger and Maximilian Schlund: Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity Olaf Beyersdorff, Leroy Chew and Karteek Sreenivasaiah: A Game Characterisation of Tree-like Q-resolution Size 13:05 - 14:35 Lunch 14:35 - 16:15 Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Antonio E. Porreca: Preimage Problems for Reaction Systems Ryo Yoshinaka: Learning Conjunctive Grammars and Contextual Binary Feature Grammars Raphaël Bailly, François Denis and Guillaume Rabusseau: Recognizable Series on Hypergraphs Yohan Boichut, Jacques Chabin and Pierre Réty: Towards More Precise Rewriting Approximations 16:15 - 16:30 Break 16:30 - 17:45 Michael Codish, Luís Cruz-Filipe and Peter Schneider-Kamp: Sorting Networks: the End Game Konrad Kazimierz Dabrowski, Shenwei Huang and Daniël Paulusma: Bounding Clique-width via Perfect Graphs Ryszard Janicki, Jetty Kleijn, Maciej Koutny and Łukasz Mikulski: Order Structures for Subclasses of Generalised Traces Friday, March 6 9:00 - 9:50 Johann A. Makowsky and Nadia Labai: Hankel Matrices: From Words to Graphs - Invited Lecture 9:50 - 10:05 Break 10:05 - 11:20 Golnaz Badkobeh, Gabriele Fici and Zsuzsanna Lipták: On the Number of Closed Factors in a Word Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre and Élise Prieur-Gaston: Online Computation of Abelian Runs Guilhem Gamard and Gwenaël Richomme: Coverability in Two Dimensions 11:20 - 11:50 Coffee Break 11:50 - 13:05 Jana Hadravová and Štěpán Holub: Equation xiyjxk=uivjuk in Words Łukasz Mikulski, Marcin Piątkowski and Wojciech Rytter: Square-free Words over Partially Commutative Alphabets Ananda Chandra Nayak and Kalpesh Kapoor: On the Language of Primitive Partial Words 13:05 - 13:15 Closing --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com From announce at cs.ucy.ac.cy Sat Feb 7 12:25:38 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 7 Feb 2015 13:25:38 +0200 Subject: LAST MILE: The 20th IEEE Symposium on Computers and Communications (ISCC 2015) Message-ID: <2KIWZEFC-43TW-AFGG-SB0R-FPKG2PAU4PXC@cs.ucy.ac.cy> *** Last Mile *** The 20th IEEE Symposium on Computers and Communications (ISCC 2015) 6-9 July 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://ieee-iscc.org/2015 *** Final Submission Deadline: February 16th, 2015 (firm) *** ISCC 2015, in its 20th anniversary, will provide an insight into the unique world stemming from the interaction between the fields of computers and communications. ISCC 2015 will provide an international technical forum for experts from industry and academia to exchange ideas and present results of ongoing research in most state-of-the-art areas of computer and communications. This year, special focus will be on the challenging issues and opportunities related to the computing, sensing and communication in the era of the Internet of Things, Cloud Computing and Big Data. You are invited to submit a full paper or a proposal for a panel/invited session or a tutorial, related to the following topics of interest. Topics of interest include, but are not limited to, the following: * ACCESS NETWORKS * DIGITAL MEDIA TECHNOLOGIES * BIOINFORMATICS AND MEDICAL INFORMATICS * MODELING AND SIMULATION * BIG DATA, DATA MINING AND DATABASE * APPLICATIONS * DIGITAL SATELLITE COMMUNICATIONS SERVICE * NETWORK DESIGN, OPTIMIZATION, AND MANAGEMENT * NEXT GENERATION NETWORKS INFRASTRUCTURES AND MANAGEMENT * DISTRIBUTED SYSTEMS ARCHITECTURE AND MANAGEMENT * NETWORK RELIABILITY, QUALITY OF SER-VICE AND QUALITY OF EXPERIENCE * ECONOMIC AND REGULATORY ISSUES * OPTICAL NETWORKING * E-COMMERCE AND E-SERVICES * FAULT-TOLERANCE AND ERROR RECOVERY * PEER-TO-PEER COMPUTING * REAL TIME COMMUNICATION SERVICES * GRID, CLUSTER AND CLOUD COMPUTING * ROUTING AND MULTICAST * HUMAN LANGUAGE TECHNOLOGIES * IMAGE PROCESSING AND VISUALIZATION * SECURITY, CRYPTOGRAPHY AND PRIVACY * SOFTWARE ENGINEERING * INTERNET SERVICES AND APPLICATIONS * STANDARDS EVOLUTION * ADVANCES IN INTERNET PROTOCOLS * MANAGEMENT OF TELECOMMUNICATIONS AND NETWORKS * COGNITIVE RADIO NETWORKING * SENSOR NETWORKS AND MOBILE SENSING * DISTRIBUTED AND MOBILE MIDDLEWARE * OVERLAY AND PROGRAMMABLE NETWORKS * WEB SERVICES AND SERVICE ORIENTED ARCHITECTURES * WIRELESS, CELLULAR AND MOBILE COMMUNICATIONS * GREEN NETWORKING AND SMART GRID * CLOUD COMPUTING * INTERNET OF THE FUTURE * BIO-INSPIRED COMPUTING IN COMMUNICATIONS * COMMUNICATIONS SERVICES AND MANAGEMENT * INTERNET OF THINGS AND SMART CITIES * ARTIFICIAL INTELLIGENT SYSTEMS * SOCIAL NETWORKS AND CROWDSOURCING * SERVICES AND SUPPORT FOR SMART CITIES * WIRELESS BODY AREA NETWORKS AND WIRELESS HEALTH Review manuscripts should describe original work and should be no more than 8 pages in the IEEE double column proceedings format including tables, figures and references. Note that accepted papers up to 6 pages will be published with no additional charge. Exceeding pages will be charged an additional fee. Extended versions of selected best papers will be recommended for publication in a special Issue of a prestigious international journal. Papers must be submitted electronically, in PDF format, on-line via the EDAS system: http://edas.info/N18819 Paper Submission Deadline: February 16th, 2015 (firm) Notification of Paper Acceptance: March 27th, 2015 Submission of Camera-Ready Paper: April 17th, 2015 General Co-Chairs Andreas Pitsillides, University of Cyprus, Cyprus Mahmoud Daneshmand, Stevens Institute of Technology, USA Technical Program Co-Chairs Vasos Vassiliou, University of Cyprus, Cyprus Honggang Wang, University of Massachusetts, Dartmouth, USA Local Arrangement Co-Chairs George Pallis, University of Cyprus, Cyprus George Papadopoulos, University of Cyprus, Cyprus Finance and Registration Co-Chairs Reda Ammar, University of Connecticut, USA Christos Douligeris, University of Piraeus, Greece Publication Co-Chairs Josephine Antoniou, University of Central Lancanshire, Cyprus Nicos Komninos, City University London, UK Keynote Speakers Co-Chairs Panayiotis Kolios, University of Cyprus, Cyprus Marios Lestas, Frederick University, Cyprus Workshop Co-Chairs Periklis Chatzimisios, Alexander Technological Educational Institute of Thessaloniki, Greece Andreas Kamilaris, University of Cyprus, Cyprus Massimo Villari, University of Messina, Italy Publicity Co-Chairs Habib M. Ammari, Univ. of Michigan-Dearborn, USA Chrysostomos Chrysostomou, Frederick University, Cyprus Mario Dantas, Universidade Federal de Santa Catarina, Brazil Salil Kanhere, University of New South Wales, Australia Ahmet Sekercioglu, Monash University, Australia Qing Yang, Montana State University, USA Steering Committee Reda Ammar, University of Connecticut, USA Antonio Corradi, University of Bologna, Italy Mahmoud Daneshmand, Stevens Institute of Technology, USA Christos Douligeris, Univ. of Piraeus, Greece Adel S. Elmaghraby, Univ. of Louisville, USA Hussein Mouftah, University of Ottawa, Canada Sartaj Sahni, University of Florida, USA Ahmed Tantawy, IBM, USA -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ruy at cin.ufpe.br Sat Feb 7 19:51:32 2015 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Sat, 7 Feb 2015 15:51:32 -0300 Subject: WoLLIC 2015 - EXTENDED DEADLINE : Feb 15 Message-ID: *EXTENDED DEADLINE: Feb 15* [Please circulate. Apologies for cross-postings.] WoLLIC 2015 22nd Workshop on Logic, Language, Information and Computation July 20th-23rd, 2015 Bloomington, IN, USA SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Indiana University, USA Program in Pure and Applied Logic, Indiana University, USA Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Computer Science, Indiana University, USA CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-second WoLLIC will be held at the Department of Computer Science Indiana University, from July 20th to 23rd, 2015. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2015 EasyChair website. (Please go to http://wollic.org/wollic2015/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Feb 8, 2015, and the full paper by Feb 15, 2015 (firm date). Notifications are expected by Mar 22, 2015, and final papers for the proceedings will be due by Apr 5, 2015 (firm date). PROCEEDINGS The proceedings of WoLLIC 2015, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2015 issue of Mathematical Structures in Computer Science, CUP (to be confirmed). INVITED SPEAKERS Adriana Compagnoni (Stevens Institute, USA) Nina Gierasimczuk (ILLC, U Amsterdam, The Netherlands) John Harrison (Intel, USA) Peter Jipsen (Chapman U, USA) Andre Joyal (U du Québec à Montreal, Canada) Chung-chieh Shan (Indiana U, USA) Alexandra Silva (Radboud U Nijmegen, The Netherlands) Mehrnoosh Sadrzadeh (Queen Mary, UK) STUDENT GRANTS ASL sponsorship of WoLLIC 2015 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2015). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES *Feb 15, 2015*: Paper title and abstract deadline *(EXTENDED)* *Feb 22, 2015*: Full paper deadline *(EXTENDED)* Mar 22, 2015: Author notification Apr 5, 2015: Final version deadline (firm) PROGRAMME COMMITTEE Juliana Küster Filipe Bowles (U St Andrews, Scotland) Robin Cooper (U Gothenburg, Sweden) Martín Escardó (U Birmingham, UK) Nikos Galatos (U Denver, USA) Achim Jung (U Birmingham, UK) Sara Kalvala (U Warwick, UK) Elham Kashefi (Edinburgh U, Scotland) Peter Lefanu Lumsdaine (Institute for Advanced Study, USA) Ian Mackie (U Sussex, UK) Gerard de Melo (Tsinghua University, China) Vivek Nigam (Federal U of Paraíba, Brazil) Catarina Dutilh Novaes (U Groningen, The Netherlands) Valeria de Paiva (Nuance Comm, USA) (CHAIR) Luiz Carlos Pereira (PUC-Rio, Brazil) Elaine Pimentel (Federal U of Rio Grande do Norte, Brazil) Alexandra Silva (Radboud Nijmegen U, The Netherlands) Carolyn Talcott (SRI International, USA) Josef Urban (Radboud Nijmegen U, The Netherlands) Laure Vieu (IRIT-Toulouse, France) Renata Wasserman (U São Paulo, Brazil) Anna Zamansky (U Haifa, Israel) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Daniel Leivant (Indiana U) (Local co-chair) Larry Moss (Indiana U) (Local co-chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE www.indiana.edu/~iulg/wollic -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From herzig at irit.fr Mon Feb 9 22:00:09 2015 From: herzig at irit.fr (Andreas Herzig) Date: Mon, 09 Feb 2015 22:00:09 +0100 Subject: 2nd CFP: LAMAS @ AAMAS 2015 (extended deadline) Message-ID: <54D91FD9.9000104@irit.fr> 2nd CFP: Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2015 @ AAMAS 2015 *** new deadline for submissions: February 20, 2015 *** http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm Istanbul, May 4 or 5, 2015 The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools. The workshop is planned to serve two mutually supporting purposes. Primarily, it will be a mini-conference, hosting talks and discussions, and facilitating exchange of information, research ideas, and publication of original research papers on issues listed below. Secondly, the workshop will provide a meeting forum for the research community working on various logical aspects of MAS. The participants will discuss how the community can support coordination of research and dissemination of results. The main technical issues that the workshop will address are: - Logical systems for specification, analysis, and reasoning about MAS - logic-based modeling of MAS - Deductive systems and decision procedures for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Logic-based tools for MAS - Applications of logics in MAS SUBMISSION FORMAT Three types of submissions are allowed: - Regular papers up to 15 pages, describing original unpublished research. Position papers and visionary work in progress can also be submitted in this category. Simultaneous submission to another venue is not allowed. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Extended abstracts of 2-5 pages reporting interesting and relevant work that has been published (or accepted for publication) in the last 12 months. Submissions should be anonymous. Each submission will be reviewed by at least 2 program committee members. Papers must be in PDF format and prepared according to the Springer LNCS format (http://www.springer.de/comp/lncs/authors.html). Please submit via the Easychair (https://easychair.org/conferences/?conf=lamas2015). IMPORTANT DATES February 20, 2015: paper submission deadline March 10, 2015: author notification March 19, 2015: Camera-ready version May 4 or 5, 2015: workshop PROCEEDINGS AND POST-PROCEEDINGS Workshop notes including all accepted papers will be distributed to AAMAS 2015 registrants in electronic form. Printed workshop notes will NOT be made available to workshop participants. Depending on the quality of the submissions, we also plan to edit workshop post-proceedings as a journal special issue of the Journal of Applied Non-Classical Logics (JANCL). The submissions to that special issue will be subject to a proper reviewing and selection process. PROGRAM COMMITTEE Chairs: Andreas Herzig and Emiliano Lorini (University of Toulouse and CNRS, IRIT) From muh_sidd at encs.concordia.ca Mon Feb 9 23:21:57 2015 From: muh_sidd at encs.concordia.ca (Muhammad Umair Siddique) Date: Mon, 09 Feb 2015 17:21:57 -0500 Subject: CICM 2015 Doctoral Programme [Call for Applications] Message-ID: <20150209172157.jxmk5lbugwkw88sg@mail.encs.concordia.ca> CALL FOR APPLICATIONS CICM 2015 Doctoral Programme 13-17 July 2015 Washington DC, USA http://www.cicm-conference.org/2015/cicm.php The CICM conferences Calculemus, DML, and MKM bring together researchers from the areas of Artificial Intelligence, computer algebra, automated deduction, and mathematical publishing who are interested in intelligent mathematical computation. It provides students an excellent opportunity to get an overview of ongoing research, challenges and meet established researchers. The Doctoral Programme provides a dedicated forum for PhD students to present and discuss their ideas, ongoing or planned research, and achieved results in an open atmosphere. It will consist of presentations by the PhD students to get constructive feedback, advice, and suggestions from the research advisory board, researchers, and other PhD students. Each PhD student will be assigned to an experienced researcher from the research advisory board who will act as a mentor and who will provide detailed feedback and advice on their intended and ongoing research. APPLICATIONS Students at any stage of their PhD can apply and should submit the following documents: * A two-page abstract of your thesis describing your research questions, research plans, completed and remaining research, evaluation plans and publication plans; * A two-page CV that includes background information (name, university, supervisor), education (degree sought, year/status of degree, previous degrees), employments, relevant research experience (publications, presentations, attended conferences or workshops, etc.) Acceptance of applications will be based on relevance with respect to the topics of the CICM conference. A limited number of student grants will be available for the conference. To apply, please indicate this when submitting your proposal including a short explanation why you need a grant. The decision for the grants will be based on necessity and merit. IMPORTANT DATES Submission of applications: May 4, 2015 Notification of acceptance: May 25, 2015 For any further questions please contact Umair Siddique (muh_sidd at ece.concordia.ca) From didac.busquets at imperial.ac.uk Tue Feb 10 10:30:43 2015 From: didac.busquets at imperial.ac.uk (Didac Busquets) Date: Tue, 10 Feb 2015 09:30:43 +0000 Subject: Deadline extension: CFP - AAMAS Workshop on Multiagent Foundations for Social Computing Message-ID: <54638697-D0D1-4DCE-9D6B-E13C75E57BE6@ic.ac.uk> (Apologies for cross-posting) Please note the deadline extension for paper submission to Feb 16! ------------------------------------------------------------------------------------------ Second International Workshop on Multiagent Foundations of Social Computing http://www.lancaster.ac.uk/staff/chopraak/mfsc-2015/index.html Co-located with AAMAS 2015 (http://www.aamas2015.com/) 4-8 May, 2015, Istanbul, Turkey ------------------------------------------------------------------------------------------ Social computing broadly refers to computing-supported approaches that facilitate interactions among people and organizations. Social computing has emerged as an exciting multidisciplinary area of research, driven by the wealth of easily available information and the success of online social networks and social media. Social computing applications are characterized by high interactivity among users, user-generated content, and in cases such as Wikipedia, more open governance structures. Much of the recent excitement in social computing is driven by data analytics and business models. The aim of this workshop is to promote a deeper conceptual understanding of social computing -- e.g., relating to its conceptual bases, information and abstractions, design principles, and platforms. We invite original thought-provoking papers that take an explicitly multiagent approach in addressing these gaps. We encourage well-argued position papers and vision papers. We also invite papers that present novel multiagent abstractions, methodologies, architecture, and techniques for social computing. Topics include but are not limited to: - Governance - Security and privacy - Models of social interaction - Social expectations and norms - Accountability - Social middleware - Crowdsourcing - Collective intelligence - Social intelligence - Human computation - Information models and data analytics - Provenance - Social sensing - Applications such as healthcare and smart cities - Participatory decision-making - Argumentation - Organizations - Teamwork ***************** Tutorial ***************** Presenter: Dr. Alexander Artikis, NCSR "Demokritos", Greece Title: Real-time reasoning in multi-agent systems The tutorial will introduce complex event recognition techniques and apply them to real-time reasoning about contracts and commitments in very large MAS. ***************** Important Dates ***************** - Paper submission: February 16, 2014 - Decision notification: March 10, 2014 - Camera-ready submission: March 19, 2014 ******************** Organizing Committee ******************** Amit K. Chopra, Lancaster University a.chopra1 at lancaster.ac.uk Harko Verhagen, Stockholm University verhagen at dsv.su.se Didac Busquets, Imperial College London didac.busquets at imperial.ac.uk *********************** Submission Instructions *********************** Authors should submit papers in PDF format through Easychair (https://easychair.org/conferences/?conf=mfsc15). The papers should be formatted according to the Springer LNCS style and should be no more than 12 pages in length. Each submitted paper will be reviewed by three program committee members. Details about the committee will become available shortly. No formal proceedings are planned. Our motivation behind this is to make this workshop primarily a forum for discussion. Dr. Didac Busquets Research Associate Intelligent Systems and Networks group Department of Electrical and Electronic Engineering Room 1009d EEE Building Imperial College London Exhibition Road, South Kensington Campus, SW7 2BT London, UK didac.busquets at imperial.ac.uk Connect with me at LinkedIn See my ResearchGate profile Tel. +44 (0)207 594 6298 Fax. +44 (0)207 594 6274 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From martin.kronegger at dbai.tuwien.ac.at Tue Feb 10 23:39:14 2015 From: martin.kronegger at dbai.tuwien.ac.at (Martin Kronegger) Date: Tue, 10 Feb 2015 23:39:14 +0100 Subject: PhDs in Logic VII -- May 14-16, 2015 -- Deadline extension and final call for abstracts Message-ID: <54DA8892.9040700@dbai.tuwien.ac.at> [apologies for cross-posting] PhDs in Logic VII May 14-16th, 2015 VIENNA, AUSTRIA http://phdsinlogic.logic-cs.at The submission deadline is extended to February 19, 2015. FINAL CALL FOR ABSTRACTS AND PARTICIPATION PhDs in Logic is an annual graduate conference in logic. Each year we invite four established researchers in various branches of logic to do a tutorial on their work in two 45-minute sessions. We also give PhD students the opportunity to do a twenty-minute presentation on (a) their own work or (b) an overview of some topic in their field. The conference includes the following tutorial speakers. Thomas Eiter (Vienna University of Technology) Michael Moortgat (Universiteit Utrecht) Revantha Ramanayake (Vienna University of Technology) Torsten Schaub (University Potsdam) PhD students in logic with a background in philosophy, computer science, mathematics or linguistics are the intended audience for these tutorials. They are also the type of students we have in mind for our thirty-minute student sessions. Students interested in doing a talk should send a 500-1000 word blinded abstract to https://easychair.org/conferences/?conf=pil2015 by February 19th, 2015. The selection of the talks will follow a double-blind review process. Please make sure that your name and affiliation are not included in the abstract. We welcome students to participate in PhDs in Logic VII regardless of whether they want to do a presentation. We also invite master students in logic, first year postdocs, and logicians from disciplines other than philosophy, computer science, mathematics and linguistics to apply. Students interested in participating without giving a talk should contact us at phdsinlogic at gmail.com. For more information, visit our website at http://phdsinlogic.logic-cs.at. In case you have any questions, please do not hesitate to contact us via phdsinlogic at gmail.com. Organizing Committee: Ronald de Haan, Martin Kronegger. Scientific Committee: Agata Ciabattoni, Jan van Eijck, Chris Fermüller, Nina Gierasimczuk, Thomas Icard, Eric Pacuit, Jakub Szymanik, Anna Zamansky. Advisory Board: Stefan Szeider, Helmut Veith. Sponsors: Vienna Center for Logic and Algorithms, Doctoral Program Logical Methods in Computer Science. From K.V.Hindriks at tudelft.nl Wed Feb 11 13:53:11 2015 From: K.V.Hindriks at tudelft.nl (Koen Hindriks - EWI) Date: Wed, 11 Feb 2015 12:53:11 +0000 Subject: Third AAMAS Workshop on Cognitive Agents and Virtual Environments (CAVE) Message-ID: [Apologies for cross-posting] NEWS! *** Submission DEADLINE EXTENDED to February 20, 2015 *** ------------------------------------------------------------------- CAVE2015: Third AAMAS Workshop on Cognitive Agents and Virtual Environments (CAVE) Workshop website: http://comp.mq.edu.au/~richards/CAVE15/index.htm Extended Submission deadline: February 20, 2015 Notification of acceptance: March 10, 2015 Camera-ready copy of papers: March 19, 2015 Co-located with AAMAS 2015 (http://www.aamas2015.com) Workshop date: May 4 or 5, 2015, Istanbul, Turkey ---------------------------------------------------- This is the Third AAMAS Workshop on Cognitive Agents and Virtual Environments (CAVE) where the main issue has been to incorporate elements of agent technology in games and similar virtual environments such as 3D training and educational applications to create more flexible and realistic game play. This workshop builds upon previous AAMAS workshops (including AGS 2009/10, EduMAS 2009/10, AEGS 2011, MASEIE 2011 and CAVE 2012/13). Although some of the technical issues have been overcome and middleware (such as Pogamut, EIS and CIGA) has been developed to connect agent platforms to games like Unreal Tournament there are a number of fundamental challenges both on the technical as well as on conceptual and design level. This is particularly true when agent-based games are used in the educational context and need to provide motivation, support and ensure certain outcomes are achieved by the human. We intend to bring people working on virtual characters together with those working on agent platforms and languages and cognitive architectures. All three communities have important parts of solutions for creating agents for games and similar applications, but very little is currently being done to combine these solutions. Thus the workshop will encourage all submissions that connect the different communities and show the benefits from this combination. This workshop directly supports the special track on Virtual Agents and Humans and will allow researchers to discuss current issues in more depth than is possible in the main conference. Also, there is an option to submit rejected AAMAS papers for fast track reviewing for presentation only at the workshop, allowing discussion of the ideas at an AAMAS venue without publication. Areas (from the main conference CFP) that will be emphasized include: Human-agent interaction Teamwork in human-agent mixed networks Virtual agents in games and education Virtual agents for improving human activities Competitions among agents and humans There is a wide range of activity within the agent community considering various aspects of multi-agent systems, both theoretical as well as practical. This includes communication, team work, coordination and cooperation of agents. We want to explore how these results might be used in the context of games and other virtual applications that require interaction with real users and perhaps identify any additional requirements that should be imposed for these contexts. In particular, we seek to better understand the constraints imposed when agents are used in virtual learning environments and serious games and how the balance between learning, motivation and enjoyment can be achieved. To gain this understanding we also want to explore similarities between solutions developed within the agent community with those used by people studying cognitive architectures. Finally, we would like to promote the testing and evaluation of suitable frameworks such that it will be clear which works best for the various types of game or application of gaming. To this end, creation of a testbed or environment for developing and evaluating games and simulations with agents will be explored at the workshop. Issues of concern at this workshop include: • How can we create in a principled and effective way agents that are able to react to events in the environment in real time. This mean that they need to balance reactive and pro-active behavior in a realistic way. • Which (cognitive) agent architectures are particularly suited for Real Time Systems(RTS)? Can we build them on BDI architectures or are cognitive architectures like ACT-R more suitable? Do these architectures allow us to create complex agents for real time systems and games i.e. agents that can reason about their mental states and the mental states of other agents and the user, agents that have emotions, social awareness and that can learn from their experiences? • Can we use the theories about teamwork produced by agent research to create effective teams of agents in real time systems and games? What aspects, such as communication, are important in this environment and how can solutions integrate with existing work? • How do we evaluate the use of agent platforms in games? Can we create test beds? If different tools and languages are used to support different aspects of real time systems and games with agents, how programmable is the combination? • What technical advances are made to make it easier to use agent platforms for games? i.e. is the middleware ready to support the connection or should more work be done? What techniques are suitable for agents that are incorporated in educational contexts, games and simulations and what are the issues for information flow and long term interactions? How do we balance intelligence (e.g. believability and sociability) and efficiency (learning)? • How to handle scalability issues when applying agent technology e.g. how to use a kind of cognitive Level of Detail approach such that agents that are not currently in the focus of the game or simulation take less processing power. How do we manage the transition into and out of focus so that the allocation of processing power and other resources is optimized and what are the criteria to be used for such optimization? The topics of the workshop include but are not limited to: • Methodologies for designing agent-based game environments • Real-time reactive behaviour • Balancing reactive and pro-active behaviour • Cognitive approaches to agents for real-time systems (RTS) and games • BDI-based agents for RTS and games • Cognitive architectures used in the context of RTS and games • Intelligent Virtual Agents (IVA) • Spatial and Cognitive maps for games • Ontologies for RTS and games • Episodic memory for agents in games and RTS • Interfacing agent platforms and cognitive architectures to real-time systems and games • Design of Level of Detail of agent-gaming interfaces • Scalability of agent technology and cognitive architectures • Integrating agent architectures, cognitive architectures and IVA architectures • Gaming middleware • Approaches and methods for evaluating the agent platforms for RTS and games • Benchmarks and test beds for evaluating agent technology for games • Programmability of complex systems of agents interfaced with RTS and games • Development and Design tools for engineering agents for RTS and games • Teamwork approaches for agents in RTS and games • Management and achievement of pedagogical goals and shared human/agent goals in the context of an educational or serious game • Communication and coordination approaches for multi-agent systems for RTS and games We welcome both theoretical papers that indicate how the theory can be used in practice as well as practical and empirical papers that provide solutions for theoretical issues. However, theoretical papers should indicate how the theory discussed can be actually used in practice and practical and empirical papers should indicate the theoretical issues solved or learned. We also welcome in particular any papers that discuss experiences and lessons learned related to the application of agent technology in real-time systems and games. Both successes and "failures" are welcome as they both can help us to better understand the key issues in combining agents with real-time systems and games. Papers will undergo the normal review process and are selected on the basis of quality. However, when choices have to be made we will try to spread the accepted papers over the main themes of the workshop. Interesting ideas are more important in this respect than detailed results on fringe topics. We aim to publish the proceedings as an LNCS volume as in previous years. Depending on the quality and number of submissions we might additionally publish a special issue of a journal in game technology. ---------------------------------- Formatting guidelines for publishable papers: ---------------------------------- We encourage participants to submit a paper (15 pages max), describing their work on one or more of the topics mentioned above. All submissions must include the author's name(s), affiliation, complete mailing address, phone number, fax number and email address. Please use the LNCS format for formatting your paper. All accepted submissions and position statements will be published in the workshop proceedings. ---------------------------------- Presentation-only papers: ---------------------------------- You may submit your rejected AAMAS paper for fast-track review for consideration for presentation only at the workshop. Please retain the AAMAS formatting to indicate this choice. ------------------- Submission procedure: ------------------- Submissions should be made through the EasyChair system at http://www.easychair.org/conferences/?conf=CAVE2015 in PDF format. The deadline for receipt of submissions is February 20, 2015 (extended). ------------------- Workshop Organizers ------------------- 1 Deborah Richards, Macquarie University, Australia 2 Frank Dignum, Utrecht University,The Netherlands 3 Koen Hindriks, Delft University of Technology, The Netherlands 4 Martin Beer, Sheffield University, United Kingdom Please direct any questions concerning this Call for Papers or the workshop to deborah.richards at mq.edu.au ------------------- Program Committee: Ruth Aylett, Heriot-Watt University (UK) Martin Beer, Sheffield Hallam University (UK) Cyril Brom, Charles University (Czech Republic) Andre Campos, UFRN (Brazil) Lawrence Cavedon, RMIT University Vincent Corruble, LIP6, Universite Pierre et Marie Curie (Paris 6) Yves Demazeau, CNRS - Laboratoire LIG (France) Frank Dignum, Utrecht University (NL) Hiromitsu Hattori, Kyoto University (Japan) Koen Hindriks, Delft University of Technology (NL) Stefan Kopp, University of Bielefeld (Germany) Simon Lynch, University of Teesside (UK) Joost Van Oijen, Utrecht University (NL) Michael Papasimeon Orkin DSTO (Australia) Rui Prada, Superior Tecnico, Universidade de Lisboa Deborah Richards, Macquarie University (Australia) Avi Rosenfeld, Jerusalem College of Technology (JCT) (Israel) Ilias Sakellariou, University of Macedonia (Macedonia) David Sarne, Bar-Ilan University (Israel) Demosthenes Stamatis, Alexander TEI of Thessaloniki (Greece) Ioanna Stamatopoulou, CITY College, University of Sheffield (UK) From ijcai2015.publicity at gmail.com Wed Feb 11 19:22:28 2015 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Wed, 11 Feb 2015 15:22:28 -0300 Subject: IJCAI 2015 Video Competition - CALL FOR VIDEOS Message-ID: [Apology for cross-postings] ************************************************************************************************* IJCAI-15 Video Competition CALL FOR VIDEOS We are pleased to present the first call for videos to the upcoming IJCAI 2015 Video Competition. In the spirit of earlier AI Video Competitions, the intention is to provide researchers with a forum for demonstrating how exciting and interesting Artificial Intelligence can be. The results of the competition will be presented at the IJCAI 2015 conference (July 25–31,2015, in Buenos Aires, Argentina), where the best videos will be revealed. All videos will also be made available online. Key dates are as follows: - Submission of videos: May 10, 2015 - Notification of acceptance and award nominations: June 8, 2015 - Final version due: June 21, 2015 Video Contents. A wide range of videos related to artificial intelligence can be submitted to the competition, varying along a number of distinct dimensions. The topic of a video might for example be a general or specific area of AI, the work of a particular researcher or group (yourselves or others), or a concrete application that depends on one or several AI techniques and that may be based entirely on software or partly on hardware. A video may concern work with different levels of maturity, from introducing something new and interesting, through describing known but ongoing research, to summarizing a mature area or application and showing its impact on society. The intended audience of a video can be students learning about a topic in a classroom, researchers interested in learning more about subfields outside their own, or the general public. Specific Awards. In keeping with the above, several distinct awards will be given. The following categories are envisioned, but may change depending on the submissions received. - Best long video (up to 5 minutes) - Best short video (up to 1 minute) - Best application video (demonstrating a particular use of AI) - Most entertaining video (illustrating AI in an amusing or interesting way) - Most educational video (for students learning about a topic) - Most societally beneficial video (showing the public what AI can do and does for them) In all cases, keeping the viewer interested and engaged is essential. The best videos of earlier AI video competitions have often achieved this through the use of humor, background music, and movies / animations. To ensure that the videos are comprehensible to a wide audience, they must be narrated or subtitled in English. Requirements. The following criteria must be satisfied by all participating videos. - The video must be relevant to the area of Artificial Intelligence. - The video must be submitted in a widely supported encoding and container format. For example, MPEG-2, Xvid or H.264 encoding in an AVI or MKV container could be used. We reserve the right to recode videos before placing them online. - The authors must hold the copyright for all materials used, such as music, video, sounds and images, or have explicit written permission from the copyright holders to use and distribute this material. - The video must not be offensive or advertise/promote commercial products. Review Process. After the submission deadline, all submitted videos satisfying the requirements stated above will be reviewed by the video competition program committee (to be announced) according to the following criteria. - Excitement: How interesting and exciting is the actual technology, research area, application, or other work being presented? - Educational content: To what extent can other AI researchers, students, or the general public can learn about artificial intelligence from the video? - Entertainment value: How entertaining and captivating is the video to watch? - Presentation quality: How well is the video produced, what is the quality of the narration and soundtrack, etc.? The best videos will be nominated for awards, and the winners decided by the committee will be revealed during IJCAI 2015. Submissions. Detailed submission information will be provided in the second call. Note that attending the IJCAI conference is not required. For further information about participation in the competition, please contact Jonas Kvarnström (jonas.kvarnstrom at liu.se) or Juan-Antonio Rodriguez Aguilar (jar at iiia.csic.es). Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From geoff at cs.miami.edu Wed Feb 11 23:22:01 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 11 Feb 2015 17:22:01 -0500 (EST) Subject: CADE-25 Workshops- Calls for Papers Message-ID: <20150211222201.7E8A8121446@mcclellan.cs.miami.edu> ================================================================ Joint Call for Papers of Associated Workshops at the 25th International Conference of Automated Deduction (CADE-25) 1-7 August 2015, Berlin http://cade-25.info ================================================================ Workshops - Bridging the Gap between Human and Automated Reasoning (Bridging) - Automated Theorem Proving meets Interactive Theorem Proving (AMI) - International Workshop on Confluence (IWC) - Deduktionstreffen 2015 (DT) - The Fourth International Workshop on Proof eXchange for Theorem Proving (PxTP) - International Workshop on Quantification (QUANTIFY 2015) - The 2nd Vampire Workshop (Vampire) - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP) - CADE-25 Poster Session and Task-Force towards an Encyclopedia of Proof Systems (EPS) ****************************************************************************** Bridging the Gap between Human and Automated Reasoning (Bridging) ================================================================= http://ratiolog.uni-koblenz.de/bridging.html Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. There are a lot of findings which are based on experimental data about reasoning tasks, among others models for the Wason selection task or the suppression task discussed by Byrne and others. This research is supported also by brain researchers, who aim at localizing reasoning processes within the brain. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. And indeed there is tremendous success during the last decades. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human reasoning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research. This workshop is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. Topics of interest include, but are not limited to the following: - limits and differences between automated and human reasoning - psychology of deduction - common sense reasoning - logics modeling human cognition - modeling human reasoning using automated reasoning systems - non-monotonic, defeasible, and classical reasoning and possible explanations for human reasoning - application fields of automated reasoning in the interaction with human reasoners IMPORTANT DATES =============== Submission deadline: May 1, 2015 Notification: May 22, 2015 Final Submission: June 5, 2015 Workshop: Aug 1, 2015 For more details see: http://ratiolog.uni-koblenz.de/bridging.html ****************************************************************************** Automated Theorem Proving meets Interactive Theorem Proving (AMI) ================================================================= http://ami2015.it.uu.se/ AIMS AND SCOPE ============== The AMI workshop provides an informal platform for researchers interested in automated theorem proving (ATP) and interactive theorem proving (ITP), for instance, developers and users of ATP, SMT and similar systems, and developers and users of ITP systems such as Coq, HOL, Isabelle or Mizar. Its aim is the exchange of experiences and ideas for pushing these technologies further into the mainstream: to explore methods or tools from ATP that could be benefit ITP and vice versa; to advance the integration and convergence of these technologies, e.g. by considering tools and techniques from mathematics, programming languages or AI; to bring ATP and ITP work flows closer to mathematical and engineering practice. WORKSHOP TOPICS include ======================= - proof automation for ITP: from tactics and decision procedures via FOL to fragments of CoC and HOL; ATP with types and data types; - ATP with large data sets (as generated by ITP systems): machine learning and other AI approaches, proof management; - theory hierarchies in ITP/ATP systems: their design and management; - ideas and techniques from mathematics and programming; - use and user experience: ATP/ITP uses and integrations in fields like formalised mathematics or hardware/software verification. SUBMISSIONS =========== To foster discussions, we ask for submissions of extended abstracts of 2 to 4 pages as well as for full papers of at most 15 pages. If submissions are based on previously published material that should be stated clearly. Presentations will be selected based on the quality of their contribution and their relevance to the workshop. All accepted submissions will be published online at the workshop web site. Quality of submissions permitting, we are planning their considation for a journal special issue after the workshop. Papers must be submitted via EasyChair. IMPORTANT DATES =============== Abstract submission: May 7 2015 Paper submission: May 14 2015 Notification: June 16 2015 Final Version: June 25 2015 Workshop: August 2 2015 PROGRAMME COMMITTEE =================== Christoph Benzmueller (FU Berlin, Germany) Nicolai Bjorner (Microsoft Research) Simon Foster (University of York, UK) Mike Gordon (University of Cambridge, UK) Tim Griffin (University of Cambridge, UK) Sebastiaan Joosten (TU Eindhoven/RU Nijmegen, Netherlands) Chantal Keller (Microsoft Research/MSR-Inria) Gerwin Klein (NICTA/UNSW, Australia) Assia Mahboubi (Inria/MSR-Inria, France) Andrei Paskevich (LRI/Universite Paris Sud, France) Stephan Schulz (DHBW, Germany) INVITED SPEAKERS (joint with the PxTP workshop) =============================================== Bart Jacobs (KU Leuven, Belgium) Georges Gonthier (Microsoft Research - Inria) ORGANISERS ========== Damien Pous (ENS Lyon, France) Georg Struth (University of Sheffield, UK) Tjark Weber (Uppsala University, Sweden) ****************************************************************************** International Workshop on Confluence (IWC) ========================================== http://www.csl.sri.com/users/tiwari/iwc2015/ Confluence provides a general notion of determinism and has been conceived as one of the central properties of rewriting systems. Confluence relates to many topics of rewriting (completion, modularity, termination, commutation, etc.) and had been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, constraint rewriting, conditional rewriting, etc. Recently there is a renewed interest in confluence research, resulting in new techniques, tool support, confluence competition, and certification as well as in new applications. The scope of the workshop is all these aspects of confluence and related topics. The goal of the workshop is to provide a forum for researchers interested in the topic of confluence to exchange and share new developments in the field. The workshop will enable discussion on theoretical results, new problems, applications, implementations and benchmarks, and share the current state-of-the-art on the development of confluence tools. Specific topics of interest include: - confluence and related properties (unique normal forms, commutation, ground confluence) - completion - critical pair criteria - decidability issues - complexity issues - system descriptions - certification - applications of confluence Submission May 15, 2015 Notification June 12, 2015 Final version July 3, 2015 Workshop August 2, 2015 ****************************************************************************** Deduktionstreffen 2015 (DT) =========================== http://conference.mi.fu-berlin.de/cade-25/DT The 'Deduktionstreffen' is the annual meeting of the section 'Deduction Systems' of the German Informatics Society (Gesellschaft fuer Informatik e.V. (GI)). It is a friendly and informal meeting with a familiar atmosphere. All members and friends of the German Deduction Community are invited to present, discuss and share their latest research results and ideas at the event. A particular focus of the 'Deduktionstreffen' is on young researchers and students, which are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is stimulate networking effects and to foster collaborative research projects. The format of the event is as follows: Accepted abstracts are presented as 5min teaser talks followed by a poster presentation. The 'Deduktionstreffen 2015' is associated with the 25th Conference of Automated Deduction (CADE-25; http://cade-25.info). Submission of Presentation Abstracts ==================================== Please submit your presentation abstract (max. 1 page) via Easychair: https://easychair.org/conferences/?conf=deduktionstreffen201. The (preliminary) submission deadline is May 1, 2015. Notification is planned for mid May. Invited Speakers ================ Renate Schmidt, University of Manchester tba Program Committee ================= Serge Autexier, DFKI Bremen Bernhard Beckert, KIT Christoph Benzmueller, FU Berlin (co-chair) Christian Blanchette, TU Muenchen Ulrich Furbach, Universitaet Koblenz Juergen Giesl, RWTH Aachen Matthias Horbach, Universitaet Koblenz/MPII (co-chair) Dieter Hutter, DFKI Bremen Manfred Kerber, University of Birmingham Christoph Kreitz, Universitaet Potsdam Jens Otten, Universitaet Potsdam Florian Rabe, Jacobs University Bremen Stephan Schulz, DHBW Stuttgart Viorica Sofronie-Stokkermans, Universitaet Koblenz/MPII Volker Sorge, University of Birmingham Christoph Weidenbach, MPII Saarbruecken Local Organisation ================== Christoph Benzmueller, FU Berlin Alexander Steen, FU Berlin Max Wisniewski, FU Berlin ****************************************************************************** The Fourth International Workshop on Proof eXchange for Theorem Proving (PxTP) ============================================================================== http://pxtp15.lri.fr Background ========== The PxTP workshop brings together researchers working on various aspects of communication, integration, and cooperation between reasoning systems and formalisms. The progress in computer-aided reasoning, both automated and interactive, during the past decades, made it possible to build deduction tools that are increasingly more applicable to a wider range of problems and are able to tackle larger problems progressively faster. In recent years, cooperation of such tools in larger verification environments has demonstrated the potential to reduce the amount of manual intervention. Examples include the Sledgehammer tool providing an interface between Isabelle and (untrusted) automated provers, and also collaboration of the HOL Light and Isabelle systems in the formal proof of the Kepler conjecture. Cooperation between reasoning systems relies on availability of theoretical formalisms and practical tools to exchange problems, proofs, and models. The PxTP workshop strives to encourage such cooperation by inviting contributions on suitable integration, translation and communication methods, standards, protocols, and programming interfaces. The workshop welcomes the interested developers of automated and interactive theorem proving tools, developers of combined systems, developers and users of translation tools and interfaces, and producers of standards and protocols. We are interested both in success stories and in descriptions of the current bottlenecks and proposals for improvement. Topics ====== Topics of interest for this workshop include all aspects of cooperation between reasoning tools, whether automatic or interactive. More specifically, some suggested topics are: - applications that integrate reasoning tools (ideally with certification of the result); - translations between logics, proof systems, models; - distribution of proof obligations among heterogeneous reasoning tools; - algorithms and tools for checking and importing (replaying, reconstructing) proofs; - proposed formats for expressing problems and solutions for different classes of logic solvers (SAT, SMT, QBF, first-order logic, higher-order logic, typed logic, rewriting, etc.); - meta-languages, logical frameworks, communication methods, standards, protocols, and APIs connected to problems, proofs, and models; - comparison, refactoring, and optimization of proofs; - practical experiences, case studies, feasibility studies; - applications relying on importing proofs from automatic theorem provers, such as certified static analysis, proof-carrying code, or certified compilation; - data structures and algorithms for improved proof production in solvers (e.g., efficient proof representations). Submissions =========== Researchers interested in participating are invited to submit either an extended abstract (up to 8 pages) or a regular paper (up to 15 pages). Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Short submissions that could stimulate fruitful discussion at the workshop are particularly welcome. We expect that one author of every accepted paper will present their work at the workshop. Submitted papers should describe previously unpublished work, and must be prepared using the LaTeX EPTCS class (http://style.eptcs.org/). Papers will be submitted via EasyChair, at the PxTP'2015 workshop page (http://www.easychair.org/conferences/?conf=pxtp2015). Accepted full papers will appear in an EPTCS volume. Important dates =============== - Abstract submission: Thu, May 7, 2015 - Paper submission: Thu, May 14, 2015 - Notification: Tue, June 16, 2015 - Camera ready versions due: Thu, June 25, 2015 - Workshop: August 2-3, 2015 Invited speakers (joint with the AMI 2015 workshop) =================================================== - Georges Gonthier (Microsoft Research) - Bart Jacobs (KU Leuven) Program committee ================= - Jesse Alama (Vienna University of Technology) - Peter Baumgartner (NICTA) - Jasmin Blanchette (TU Muenchen) - Guillaume Burel (CEDRIC, ENSIIE) - Evelyne Contejean (LRI, CNRS, Universite Paris Sud) - Cezary Kaliszyk (University of Innsbruck), co-chair - Ramana Kumar (University of Cambridge) - Dale Miller (Inria / LIX, Ecole polytechnique) - Bruno Woltzenlogel Paleo (Vienna University of Technology) - Andrei Paskevich (LRI, Universite Paris Sud), co-chair - Damien Pous (LIP, CNRS, ENS Lyon) - Geoff Sutcliffe (University of Miami) - Laurent Thery (Inria) - Cesare Tinelli (University of Iowa) - Josef Urban (Radboud University Nijmegen) Previous PxTP editions ====================== - PxTP 2011 (http://pxtp2011.loria.fr/), affiliated with CADE-23 - PxTP 2012 (http://pxtp2012.inria.fr/), affiliated with IJCAR 2012 - PxTP 2013 (http://www.cs.ru.nl/pxtp13/), affiliated with CADE-24 ****************************************************************************** International Workshop on Quantification (QUANTIFY 2015) ======================================================== http://fmv.jku.at/quantify15/ Quantifiers play an important role in language extensions of many logics. The use of quantifiers often allows for a more succinct encoding as it would be possible without quantifiers. However, the introduction of quantifiers affects the complexity of the extended formalism in general. Consequently, theoretical results established for the quantifier-free formalism may not directly be transferred to the quantified case. Further, techniques successfully implemented in reasoning tools for quantifier-free formulas cannot directly be lifted to a quantified version. The goal of the 2nd International Workshop on Quantification (QUANTIFY 2015) is to bring together researchers who investigate the impact of quantification from a theoretical as well as from a practical point of view. Quantification is a topic in different research areas such as in SAT in terms of QBF, in CSP in terms of QCSP, in SMT, etc. This workshop has the aim to provide an interdisciplinary forum where researchers of various fields may exchange their experiences. IMPORTANT DATES =============== Please follow http://fmv.jku.at/quantify15/ for any updates. May 8 2015: paper submission May 29 2015: notification of acceptance June 23 2015: camera-ready version of papers August 1 2015: workshop TOPICS OF INTEREST ================== The workshop is concerned with all theoretical and practical aspects of quantification in logics such as QBF, QCSP, SMT, and theorem proving. The topics of interest include (but are not limited to): - Complexity results - Encodings with and without quantification and comparisons thereof - Applications of quantification - Implementations of reasoning tools - Case studies and experimental results - Intersections between the different research communities working on quantification - Surveys of state-of-the-art approaches to handling quantification SUBMISSION OF EXTENDED ABSTRACTS ================================ Submissions of extended abstracts are solicited and will be managed via Easychair: https://easychair.org/conferences/?conf=quantify15 Submitted papers should be formatted in either LNCS format or a standard LaTeX article format (paper size A4, font size 11pt). We solicit two types of submissions: 1. Talk abstracts (maximum two pages, excluding references) describing already published results. 2. Full papers (maximum 14 pages, excluding references) on novel, unpublished work. The talk abstracts of category 1 should include a relevant bibliography of related work and an outline of the planned talk. For this category, we explicitly advocate talks which survey results already published, maybe in multiple articles or presentations capturing the commonalities and differences of various quantification approaches (perhaps even interdisciplinary). Each submission will be assessed by the program committee and the workshop organizers with respect to novelty, originality, and scope. Submissions related to completed work as well as work in progress are welcome. Authors are encouraged to provide additional material such as source code of tools, experimental data, benchmarks and related publications in an appendix or a related webpage. The additional material will be considered at the discretion of the reviewers. Previously published work or extensions thereof may be submitted to the workshop but that case has to be explicitly stated in the submitted paper. This regulation also applies to work which is currently under review elsewhere. Since the workshop does not have official proceedings, work related to accepted submissions can be resubmitted to other venues without restrictions. Authors of accepted abstracts and papers are expected to give a talk at the workshop. PROGRAM CHAIRS ============== Hubie Chen, Universidad del Pais Vasco and Ikerbasque Florian Lonsing, Vienna University of Technology, Austria Martina Seidl, Johannes Kepler University Linz, Austria ****************************************************************************** The 2nd Vampire Workshop (Vampire) ================================== http://easychair.org/smart-program/Vampire2015/index.html IMPORTANT DATES =============== Submission deadline: June 15, 2015 Notification of acceptance: June 20, 2015 Final paper submission: June 30, 2015 Workshop day: August 2, 2015 WORKSHOP AIM ============ The workshop aims at discussing the development and use of the first-order theorem prover Vampire. The workshop will address the newest trends in implementing first-order theorem provers, and focus on new challenges and application areas. Workshop participants will include both Vampire developers and users and provides a convenient opportunity for interesting discussions between tool developers and users. The users can learn more about Vampire and its recent developments. The developers can learn more about the use of Vampire, its efficiency in various application areas and needs of the users. The workshop is going to to shed the light on on problems such as - what is essential for substantial progress in theorem proving tools; - what are the best implementation principles to be used; - what are the best heuristics and strategies, depending on application areas; - both successful and unsuccessful case studies; - missing features in modern theorem provers. The workshop will also overview the most recent advances made in Vampire. PAPER SUBMISSION ================ We seek submissions reporting on theory, application, case studies, experiments and work-in-progress using Vampire and other theorem provers in various applications. Submissions can be in any form, ranging from work in progress to completed work. For example, the users can submit: - extended abstracts or full papers; - theoretical papers; - experimental papers and case studies - or in general any papers that can benefit tool developers and users. Papers can be of any length, ranging from 2-page abstracts to full papers up to 20 pages in length. The papers should use the EasyChair LaTeX, Microsoft Word, or ODT templates, which can be found at: http://www.easychair.org/publications/epic-templates. Submissions should be made using EasyChair, via the link: https://easychair.org/conferences/?conf=vampire2015 The workshop proceedings will be published in the EasyChair EPiC series. PROGRAM COMMITEE ================ Laura Kovacs (Chalmers University of Technology) - chair Andrei Voronkov (University of Manchester) - chair ****************************************************************************** International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP) ================================================================ http://lfmtp.org/workshops/2015/ Logical frameworks and meta-languages form a common substrate for representing, implementing, and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design and implementation and their use in reasoning tasks ranging from the correctness of software to the properties of formal computational systems have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors, and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressivity and lucidity of the reasoning process. LFMTP 2015 will provide researchers a forum to present state-of-the art techniques and discuss progress in areas such as the following: - Encoding and reasoning about the meta-theory of programming languages and related formally specified systems. - Theoretical and practical issues concerning the treatment of variable binding, especially the representation of, and reasoning about, datatypes defined from binding signatures. - Logical treatments of inductive and co-inductive definitions and associated reasoning techniques. - New theory contributions: canonical and substructural frameworks, contextual frameworks, proof-theoretic foundations supporting binders, functional programming over logical frameworks, homotopy type theory. - Applications of logical frameworks, e.g., in proof-carrying architectures such as proof-carrying authorization. - Techniques for programming with binders in functional programming languages such as Haskell, OCaml, or Agda and logic programming languages such as lambda Prolog or Alpha- Prolog. Program / Invited Speakers ========================== TBA Registration ============ Registration for LFMTP is open and early registration ends on TBA. Please see the CADE-25 registration page for more details. Important Dates - Friday, April 30th: Abstract submission deadline - Friday, May 7th: Submission deadline - Friday June, 12th: Notification to authors - Friday July, 3rd: Final version due - Saturday August, 1st: Workshop date Submission ========== In addition to regular papers, we also solicit "work in progress" reports, in a broad sense. Those do not need to report fully polished research results, but should be interesting for the community at large. Submitted papers should be in PDF, formatted using the ACM SIGPLAN style guidelines. The length is restricted to 8 pages for regular papers and 4 pages for "Work in Progress" papers. Submission is via EasyChair. Submit to LFMTP15 now! Proceedings =========== TBA Program Committee ================= - Iliano Cervesato (Carnegie Mellon University, co-chair) - Kaustuv Chaudhuri (Inria & LIX/Ecole polytechnique, co-chair) The rest of the program committee will be finalized shortly. ****************************************************************************** CADE-25 Poster Session and Task-Force towards an Encyclopedia of Proof Systems (EPS) ====================================================================== http://proofsystem.github.io/Encyclopedia Aims and Scope ============== In this jubilee edition of CADE, we shall commemorate the multitude of proof systems that form the theoretical foundations for automated deduction. To achieve this goal, this alternative workshop proposes to bring the whole community together in a task-force to produce a concise encyclopedia of proof systems. Every entry in this encyclopedia will follow a given template and will preferably be exactly one page long, displaying the inference rules of the proof system and possibly a few clarifying remarks. The one-page encyclopedia entries will be displayed as posters during CADE (the Conference on Automated Deduction). Submission Instructions ======================= Please visit the task-force's website for instructions: http://proofsystem.github.io/Encyclopedia Participation in CADE is not required for submission, but is strongly encouraged. Important Dates =============== - Submission Deadline: 19th of April 2015 - Notification: 15th of May 2015 (Submit early!!) Publication Plans ================= When the encyclopedia reaches a broad coverage of various proof systems, its publication as a book will be sought. However, this is not yet guaranteed and details are still undefined. Organization ============ Bruno Woltzenlogel Paleo (bruno at logic.at) ****************************************************************************** From bernard.merialdo at eurecom.fr Fri Feb 13 15:07:12 2015 From: bernard.merialdo at eurecom.fr (Bernard Merialdo) Date: Fri, 13 Feb 2015 15:07:12 +0100 Subject: [CBMI 2015] Submission deadline extension - 26 February 2015 Message-ID: <54DE0510.2020005@eurecom.fr> (apologies for multiple postings) *** due to numerous requests, the submission deadline is postponed to *** 26th February 2015 *** * note that student travel grants are available http://siret.ms.mff.cuni.cz/cbmi2015/index.php?src=Grants ************************************************************************************ CBMI 2015 13th International Workshop on Content-Based Multimedia Indexing June 10.-12. 2015, Prague, Czech Republic http://siret.ms.mff.cuni.cz/cbmi2015/ *** Call for papers and demos *** * Full paper submission deadline: February 26, 2015 * Demo paper submission deadline: March 7, 2015 * Special session on Medical Multimedia Processing submission deadline: March 7, 2015 * Special session on High Performance Multimedia Indexing submission deadline: March 7, 2015 Following the twelve successful previous events of CBMI (Toulouse 1999, Brescia 2001, Rennes 2003, Riga 2005, Bordeaux 2007, London 2008, Chania 2009, Grenoble 2010, Madrid 2011, Annecy 2012, Veszprem 2013, and Klagenfurt 2014), it is our pleasure to welcome you to CBMI 2015, the 13th International Content Based Multimedia Indexing Workshop, in Prague, Czech Republic on June 10-12 2015. The 13th International CBMI Workshop aims at bringing together the various communities involved in all aspects of content-based multimedia indexing, retrieval, browsing and presentation. The scientific program of CBMI 2015 will include invited keynote talks and regular, special and demo sessions with contributed research papers. ================================================== * Special session on Medical Multimedia Processing A special session on Medical Multimedia Processing will be organized. Topics of the special session include, but are not limited to: * Visual indexing of medical image collections or video archives * Medical multimedia retrieval * Browsing and presentation of medical multimedia data * Endoscopic video processing * Human computation for medical multimedia processing ========================================================= * Special session on High Performance Multimedia Indexing A special session on High Performance Multimedia Indexing will be organized. Topics of the special session include, but are not limited to: * Vectorized algorithms for multimedia indexing * GPU and many-core implementations of multimedia indexing * Cache-aware and cache-oblivious algorithms for content-based multimedia retrieval * Parallel and NUMA-aware algorithms for multimedia indexing * Distributed and heterogeneous implementations of multimedia indexing algorithms From miguelangel.abanades at urjc.es Fri Feb 13 15:48:40 2015 From: miguelangel.abanades at urjc.es (=?UTF-8?B?TWlndWVsIMOBLiBBYsOhbmFkZXM=?=) Date: Fri, 13 Feb 2015 15:48:40 +0100 Subject: =?UTF-8?Q?Extended_Deadline=3A_Call_for_Papers=2C_ADG_2014=EF=BB=BF?= Message-ID: ---------------------------------------------------------------- Call for Papers  Post-conference Proceedings Extended deadline: 2015/03/01 Automated Deduction in Geometry (ADG 2014) http://www.uc.pt/en/congressos/adg/adg2014 -------------------------------------------------------------------- *OVERVIEW* ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. The post-conference proceedings of ADG 2014 will be published in the LNCS/LNAI series by Springer-Verlag. You are invited to submit original research papers (of 10-20 pages) for possible publication. Your contributions have to be within the scope of ADG, but their contents do not necessarily have to be related to the presentations made at ADG 2014. Moreover, contributions from authors who were not present at ADG 2014 are also welcome. All submissions will be formally reviewed according to the usual standard of international conferences. *SCOPE* Relevant topics include (but are not limited to): polynomial algebra, invariant and coordinate-free methods, probabilistic, synthetic, and logical approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics; symbolic and numeric methods for geometric computation, geometric constraint solving, automated generation/reasoning and manipulation with diagrams; design and implementation of geometry software, special-purpose tools, automated theorem provers, experimental studies; applications of ADG to mechanics, geometric modelling, CAGD/CAD, computer vision, robotics, and education. *SUBMISSION GUIDELINES* We invite the submission of full papers up to 20 pages. The submissions should follow the standard LaTeX2e format for Springer LNCS Proceedings and Other Multiauthor Volumes available here; Electronic submission is required via EasyChair (Easychair track, ADG 2014 post-proceedings). Note that submissions go through a new Easychair track, ADG 2014 post-proceedings. Please, do not remove your old submission, if any. If you have any problems with the submission of your paper, or questions concerning ADG 2014 or EasyChair, please contact any of the editors. *IMPORTANT DATES* Submission: abstract submission or contact editors: 2015/02/15 extended deadline (full paper): 2015/03/01 Reviews sent to authors: 2015/04/5 Revised papers due: 2015/04/12 Final Decision: 2015/05/10 Camera ready copies due: 2015/05/17 *EDITORS* * Francisco Botana, University of Vigo, Spain. * Pedro Quaresma, University of Coimbra, Portugal. *PROGRAM COMMITTEE* * Francisco Botana, University of Vigo, Spain (Chair) * Hirokazu Anai, Fujitsu Laboratories Ltd/Kyushu University, Japan * Xiaoyu Chen, Beihang University, China * Giorgio Dalzotto, ISI N. Machiavelli, Italy. * Jacques Fleuriot, University of Edinburgh, UK * Xiao-Shan Gao, Chinese Academy of Sciences, China * Tetsuo Ida, University of Tsukuba, Japan * Predrag Janicic, University of Belgrade, Serbia * Ulrich Kortenkamp, Martin-Luther-Universität Halle-Wittenberg, Germany * Shuichi Moritsugu, University of Tsukuba, Japan * Julien Narboux, University of Strasbourg, France * Pavel Pech, University of South Bohemia, Czech Republic * Pedro Quaresma, University of Coimbra, Portugal * Eugenio Roanes-Lozano, Complutense University of Madrid, Spain * Pascal Schreck, University of Strasbourg, France * Meera Sitharam, University of Florida, USA * Thomas Sturm, Max Planck Institute, Germany * Dingkang Wang, Chinese Academy of Sciences, China * Dongming Wang, Beihang University, China and UPMC-CNRS, France -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From marcello.dibello at gmail.com Fri Feb 13 16:49:52 2015 From: marcello.dibello at gmail.com (Marcello Di Bello) Date: Fri, 13 Feb 2015 10:49:52 -0500 Subject: CFP -- ICAIL 2015 workshop -- Studying Evidence in the Law: Formal, Computational and Philosophical Methods Message-ID: Call for papers for ICAIL 2015 workshop STUDYING EVIDENCE IN THE LAW: FORMAL, COMPUTATIONAL AND PHILOSOPHICAL METHODS When: June 12, 2015 Where: University of San Diego School of Law, USA https://icail2015evidence.wordpress.com/ This workshop is held in conjunction with 2015 ICAIL and aims to bring together an interdisciplinary group of researchers in law, artificial intelligence, philosophy and psychology to discuss whether (and if so how) formal, computational and philosophical methods can help us understand key ideas in civil and criminal procedure. We invite submissions that make progress in our understanding of the following: 1. The purpose and meaning of evidentiary standards and standards of proof, including, but not limited to, proof beyond a reasonable doubt, preponderance of the evidence, clear and convincing evidence, probable cause; 2. The role of evidentiary devices and trial practices for facilitating the legal fact-finding process, including, but not limited to, the rules of discovery, the exclusionary rules, rebuttable presumptions, the presumption of innocence, the compulsory process, cross examination; 3. The nature of reasoning in the law, including, but not limited to, evidential and causal argumentation, inference to the best explanation, scenario construction and comparison, the role of probability. We welcome contributions that address the topics above by applying formal, computational and philosophical methods, broadly construed, to the study of the law. Important Dates: - Deadline for abstract submission: March 25, 2015 - Accept/reject notification: April 15, 2015 - Deadline for paper submission: May 31, 2015 Submissions: - Abstracts should be at least 300 words and no more than 500 words - Final papers should be 10-15 page long - Abstracts and papers should be submitted in PDF format - Authors should send abstracts and papers to marcello.dibello AT lehman.cuny.edu Workshop organizers: Marcello Di Bello, Lehman College - City University of New York Bart Verheij, University of Groningen Please send inquiries to marcello.dibello AT lehman.cuny.edu From epontell at cs.nmsu.edu Sun Feb 15 05:32:36 2015 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Sat, 14 Feb 2015 21:32:36 -0700 Subject: CFP: Practical Aspects of Declarative Languages (PADL 2015) Message-ID: <49B61D40-4330-4456-AF53-11E4CA2E5CD4@cs.nmsu.edu> Call for Papers =============== 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015) http://www.cs.nmsu.edu/padl15 Portland, Oregon, June 18-19, 2015 Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2015 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2015 will be co-located with the ACM Federated Computing Research Conferences, in Portland, Oregon. Important Dates and Submission Guidelines ========================================= Paper Submission: February 28, 2015 Notification: March 31, 2015 Camera-ready: April 15, 2015 Symposium: June 18-19, 2015 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2015 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2015 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL’15 will appear in the LNCS series of Springer Verlag. Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Enrico Pontelli and Son Cao Tran New Mexico State University, USA Email: epontell | tson cs nmsu edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From V.Sorge at cs.bham.ac.uk Sun Feb 15 18:20:44 2015 From: V.Sorge at cs.bham.ac.uk (Volker Sorge) Date: Sun, 15 Feb 2015 17:20:44 +0000 Subject: ARW'15: Call for Abstracts and Grant Applications Message-ID: <20150215172048.8F2211803FB@selket.rz.tu-clausthal.de> ------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------ 22nd Automated Reasoning Workshop (ARW'15) 9-10 April 2015 University of Birmingham http://www.cs.bham.ac.uk/go/sdag/arw15/ CALL FOR ABSTRACTS AND STUDENT TRAVEL GRANT APPLICATIONS GENERAL INFORMATION The 22nd Automated Reasoning Workshop (ARW 2015) will be held at the University of Birmingham on 9-10 April 2015. SCOPE The workshop provides an informal forum for the automated reasoning community to discuss recent work, new ideas and applications, and current trends. It aims to bring together researchers from all areas of automated reasoning in order to foster links among researchers from various disciplines; among theoreticians, implementers and users alike. Topics include but are not limited to: - Theorem proving in classical and non-classical logics; - Interactive theorem proving, logical frameworks, proof assistants, proof planning - Reasoning methods: * Saturation-based, instantiation-based, tableau, SAT * Equational reasoning, unification * Constraint satisfaction * Decision procedures, SMT * Combining reasoning systems * Non-monotonic reasoning, commonsense reasoning, * Abduction, induction * Model checking, model generation, explanation - Formal methods to specifying, deriving, transforming and verifying computer systems, requirements and software - Logic-based knowledge representation and reasoning: * Ontology engineering and reasoning * Domain specific reasoning (spatial, temporal, epistemic,agents, etc) - Logic and functional programming, deductive databases - Implementation issues and empirical results, demos - Practical experience and applications of automated reasoning The workshop will be highly interactive, giving all attendees an opportunity to participate. There will be sessions for displaying posters and presenting system demonstrations, and open discussion sessions organised around specific topics: Inference and Systems Biology and Verification of Quantum Protocols The discussion sessions will follow the invited lectures devoted to these topics. INVITED SPEAKERS Oliver Ray University of Bristol Florian Kammueller Middlesex University London and TU Berlin SUBMISSIONS We invite the submission of camera-ready, two-page extended abstracts about recent work, work in progress, or a system description. The abstract can describe work that has already been published elsewhere. The main objective of the abstracts is to spread information about recent work in our community, and we expect to accept most on-topic submissions, but we may ask for revisions. Please send you submission via Easychair at https://www.easychair.org/conferences/?conf=arw15 To prepare your submission, please use the ARW LaTeX style file provided from the workshop website. Each submission should include the names and complete addresses (including email) of all authors. For the final versions we require all sources (tex file and any input files). PUBLICATION DETAILS Abstracts will be published in informal workshop notes and will be made available on the workshop page. PRESENTATIONS Each workshop participant will be asked to give a short talk (5-10 minutes) to introduce their research. Each participant will also be allocated space in a poster session (poster size up to A0), where they can further present and discuss their work. Please prepare posters for the event. STUDENT GRANTS We have a limited number of grants available to support PhD students in attending the event. If you are interested submit an application by 27 February. Please refer to the workshop website for details. IMPORTANT DATES 27 Feb 2015 Student grant application deadline 9 Mar 2015 Abstract submission deadline 13 Mar 2015 Abstract notification 20 Mar 2015 Final version due 9/10 Apr 2015 Workshop ARW ORGANISING COMMITTEE Alexander Bolotov Simon Colton David Crocker Louise Dennis Clare Dixon Jacques Fleuriot Ullrich Hustadt Mateja Jamnik Katya Komendantskaya Alice Miller Renate Schmidt Volker Sorge LOCAL ORGANISERS Volker Sorge CONTACT Please address any queries about the workshop to arw15 at easychair.org. From giacomo.cabri at unimore.it Mon Feb 16 09:48:37 2015 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Mon, 16 Feb 2015 09:48:37 +0100 Subject: CfP: 1st Workshop on Distributed Adaptive Systems Message-ID: <54E1AEE5.2010508@unimore.it> Call for Papers 1st Workshop on Distributed Adaptive Systems Tuesday 7th July 2015 @ ICAC 2015, Grenoble, F Paper Submission April 13, 2015 Notification May 15, 2015 Camera Ready May 22, 2015 Workshops July 07, 2015 Workshop website: http://www.agentgroup.unimore.it/DAS2015/ Conference website: http://icac2015.imag.fr On the account of the recent advances in technology, computational systems have to be thought as ever growing distributed artificial environments in which requirements, constituent components and user needs dynamically change in unpredictable ways. Coping with such uncertainties represents an interesting challenge for the designer of these systems, specifically regarding how to guarantee adaptivity towards both functional and non-functional requirements, as well as autonomously handling coordination and collaboration aspects among constituent units that have to act as autonomous and heterogeneous agents. These agents more often rely on incomplete information regarding the whole system in which they are integrated, but yet, in order to foster their Self-* properties, they need to discover, learn and evolve their behavior by taking into account how other agents are performing within the considered environment. The purpose of this workshop is therefore to create an useful forum of discussion on how Self-* properties and design & implementation concepts that are nowadays considered in Autonomic Computing literature can be extended and exploited in case of distributed autonomous systems , hence how to create adaptivity as a whole by starting from single autonomous units. Practitioners and researchers are therefore invited to submit interesting contributions both in theoretical work and real world applications so to create a fruitful discussion regarding the presented challenges and the following related topics: * Distributed learning and experience sharing among agents * Advances in Multi-Agent System coordination * Formal methods and languages for distributed adaptive systems * Modelling distributed adaptive systems * Collectivism in distributed adaptive systems * Optimization in distributed adaptive systems * Framework and design patterns for distributed adaptive systems * Bio-inspired and evolutionary approaches to distributed adaptive systems * Tools and simulation software for distributed adaptive systems * Case studies and real world applications. All papers must represent original and unpublished work that is not currently under review. Papers will be judged on originality, significance, interest, correctness, clarity, and relevance to the broader community. Papers are strongly encouraged to report on experiences, measurements, user studies, and provide an appropriate quantitative evaluation if at all possible. The maximum number of allowed pages is 6. Author Kit/Submission Instructions can be found at: http://www.ieee.org/conferences_events/conferences/publishing/templates.html The submission of paper can be done by EasyChair at: https://easychair.org/conferences/?conf=dasicac2015 Accepted papers will be included in the ICAC Workshop 2015 Proceedings, which will be published in IEEE Xplore. At least one author of each accepted paper is expected to attend the workshop. Program Chairs Antonio Bucchiarone, Fondazione Bruno Kessler, Trento, Italy bucchiarone at fbk.eu Giacomo Cabri, Università di Modena e Reggio Emilia, Modena, Italy giacomo.cabri at unimore.it Nicola Capodieci, Università di Modena e Reggio Emilia, Modena, Italy nicola.capodieci at unimore.it Haibin Zhu, Nipissing University, Canada haibinz at nipissingu.ca -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Associate Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From publicity at ecmlpkdd2015.org Mon Feb 16 11:39:49 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Mon, 16 Feb 2015 10:39:49 -0000 Subject: Subject: ECMLPKDD 2015 : Call for Papers, Tutorials and Workshops Message-ID: <003001d049d4$e5a89730$b0f9c590$@ecmlpkdd2015.org> The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD) will take place in Porto, Portugal, from September 7th to 11th, 2015 (http://www.ecmlpkdd2015.org). This event is the leading European scientific event on machine learning and data mining and builds upon a very successful series of 25 ECML and 18 PKDD conferences, which have been jointly organized for the past 14 years. ECMLPKDD 2015 will host three tracks, tutorials and a set of workshops. Therefore, we invite all researchers and practitioners from different communities to submit papers and/or present tutorial and workshop proposals. ************************* CALL FOR PAPERS ************************* JOURNAL TRACK ********************* Articles for this track are submitted all year long directly to either Machine Learning or Data Mining and Knowledge Discovery, and are reviewed like regular journal articles. Accepted articles appear in full in the journal and the authors are given a presentation slot at the conference. Articles deemed insufficiently mature for journal publication may be accepted for inclusion in the proceedings. Submissions to the journal track will be managed by the Guest Editorial Board. Paper Submission: Cut-off dates for the bi-weekly batches are 18 Jan, 1 Feb, 15 Fev, 1 Mar, 15 Mar, 29 Mar, 12 Apr, 26 Apr of 2015 Web Page: http://www.ecmlpkdd2015.org/submission/journal-track RESEARCH PROCEEDINGS TRACK ******************************************* The research proceedings track, which is organized in the traditional way. Accepted papers will be published in the Lecture Notes in Artificial Intelligence (LNCS/LNAI) of Springer, after reviewing by the programme committee. Abstract Submission Deadline: March 26, 2015 Paper Submission Deadline: April 2, 2015 Paper Acceptance Notification: June 1, 2015 Paper Camera Ready Submission: June 15, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/research-proceedings-track INDUSTRIAL, GOVERNMENTAL & NON-GOVERNMENTAL PROCEEDINGS TRACK **************************************************************************** ************************** The NEW industrial, governmental & non-governmental (NGO) proceedings track is independent and distinct from the Research Track. Submissions to this track should solve real-world problems and focus on engineering systems, applications, and challenges. Accepted papers will be published in the Lecture Notes in Artificial Intelligence (LNCS/LNAI) of Springer, after reviewing by the programme committee. Abstract Submission Deadline: March 26, 2015 Paper Submission Deadline: April 2, 2015 Paper Acceptance Notification: June 1, 2015 Paper Camera Ready Submission: June 15, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/industrial-proceedings-track ***************************************************************** CALL FOR TUTORIAL AND WORKSHOP PROPOSALS ***************************************************************** TUTORIALS ************** The tutorials are intended to provide a comprehensive introduction to established or emerging research topics of interest for the machine learning and the data mining community. These topics include related research fields or applications. The ideal tutorial should attract a wide audience. It should be broad enough to provide a basic introduction to the chosen research area, but it should also cover the most important topics in depth. We welcome half day workshop proposals. Proposal Deadline: March 2, 2015 Proposal Acceptance Notification: March 23, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/call-for-tutorials WORKSHOPS **************** The workshops will be on relevant and current topics in Machine Learning and Data Mining. The scope of the proposal should be consistent with the conference themes as described in the ECMLPKDD 2015 Call for Papers (http://www.ecmlpkdd2015.org/submission). Interdisciplinary workshops that bring together researchers and practitioners from different communities are especially welcome. We encourage workshops that bridge the gap between theoretical advances and important and/or innovative applications of machine learning and data mining. We welcome both full and half day workshop proposals. Proposal Deadline: March 2, 2015 Proposal Acceptance Notification: March 23, 2015 Workshop Websites and Call for Papers Online: March 27, 2015 Workshop Proceedings (Camera-ready): August 3, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/call-for-workshop-proposals Hope to see you all soon in Porto, Portugal!!! The publicity chairs of the ECMLPKDD 2015, Carlos Abreu Ferreira Ricardo Campos --- Este e-mail foi verificado em termos de vírus pelo software antivírus Avast. http://www.avast.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon Feb 16 16:04:23 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 16 Feb 2015 10:04:23 -0500 (EST) Subject: ARW'15: Call for Abstracts and Grant Applications Message-ID: <20150216150423.4CDC61214C3@mcclellan.cs.miami.edu> ------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------ 22nd Automated Reasoning Workshop (ARW'15) 9-10 April 2015 University of Birmingham http://www.cs.bham.ac.uk/go/sdag/arw15/ CALL FOR ABSTRACTS AND STUDENT TRAVEL GRANT APPLICATIONS GENERAL INFORMATION The 22nd Automated Reasoning Workshop (ARW 2015) will be held at the University of Birmingham on 9-10 April 2015. SCOPE The workshop provides an informal forum for the automated reasoning community to discuss recent work, new ideas and applications, and current trends. It aims to bring together researchers from all areas of automated reasoning in order to foster links among researchers from various disciplines; among theoreticians, implementers and users alike. Topics include but are not limited to: - Theorem proving in classical and non-classical logics; - Interactive theorem proving, logical frameworks, proof assistants, proof planning - Reasoning methods: * Saturation-based, instantiation-based, tableau, SAT * Equational reasoning, unification * Constraint satisfaction * Decision procedures, SMT * Combining reasoning systems * Non-monotonic reasoning, commonsense reasoning, * Abduction, induction * Model checking, model generation, explanation - Formal methods to specifying, deriving, transforming and verifying computer systems, requirements and software - Logic-based knowledge representation and reasoning: * Ontology engineering and reasoning * Domain specific reasoning (spatial, temporal, epistemic,agents, etc) - Logic and functional programming, deductive databases - Implementation issues and empirical results, demos - Practical experience and applications of automated reasoning The workshop will be highly interactive, giving all attendees an opportunity to participate. There will be sessions for displaying posters and presenting system demonstrations, and open discussion sessions organised around specific topics: Inference and Systems Biology and Verification of Quantum Protocols The discussion sessions will follow the invited lectures devoted to these topics. INVITED SPEAKERS Oliver Ray University of Bristol Florian Kammueller Middlesex University London and TU Berlin SUBMISSIONS We invite the submission of camera-ready, two-page extended abstracts about recent work, work in progress, or a system description. The abstract can describe work that has already been published elsewhere. The main objective of the abstracts is to spread information about recent work in our community, and we expect to accept most on-topic submissions, but we may ask for revisions. Please send you submission via Easychair at https://www.easychair.org/conferences/?conf=arw15 To prepare your submission, please use the ARW LaTeX style file provided from the workshop website. Each submission should include the names and complete addresses (including email) of all authors. For the final versions we require all sources (tex file and any input files). PUBLICATION DETAILS Abstracts will be published in informal workshop notes and will be made available on the workshop page. PRESENTATIONS Each workshop participant will be asked to give a short talk (5-10 minutes) to introduce their research. Each participant will also be allocated space in a poster session (poster size up to A0), where they can further present and discuss their work. Please prepare posters for the event. STUDENT GRANTS We have a limited number of grants available to support PhD students in attending the event. If you are interested submit an application by 27 February. Please refer to the workshop website for details. IMPORTANT DATES 27 Feb 2015 Student grant application deadline 9 Mar 2015 Abstract submission deadline 13 Mar 2015 Abstract notification 20 Mar 2015 Final version due 9/10 Apr 2015 Workshop ARW ORGANISING COMMITTEE Alexander Bolotov Simon Colton David Crocker Louise Dennis Clare Dixon Jacques Fleuriot Ullrich Hustadt Mateja Jamnik Katya Komendantskaya Alice Miller Renate Schmidt Volker Sorge LOCAL ORGANISERS Volker Sorge CONTACT Please address any queries about the workshop to arw15 at easychair.org. From announce at cs.ucy.ac.cy Mon Feb 16 19:32:57 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 16 Feb 2015 20:32:57 +0200 Subject: Last Mile: The 14th International Symposium on Parallel and Distributed Computing (ISPDC 2015) Message-ID: <4N6RCVR-2ZA7-1DB-71H2-2SBWCH4KTRKI@cs.ucy.ac.cy> *** Last Mile *** The 14th International Symposium on Parallel and Distributed Computing (ISPDC 2015) 29 June - 2 July, 2015, St. Raphael Resort 5*, Limassol, Cyprus http://www.cyprusconferences.org/ispdc2015/ *** Submission Deadline: 22 February 2015 *** Following very successful previous editions since 2002, the 14th ISPDC conference will be hosted in Limassol, a beautiful coastal Mediterranean city on the south coast of Cyprus. The conference will be devoted to a highly selective program with papers describing original and unpublished research advancing the state of the art in the field of Parallel and Distributed Computing paradigms and applications. The goal is to provide an interactive and friendly, yet professional forum, for original research contributions describing novel ideas, groundbreaking results and/or experiences. We kindly invite you to submit original contributions to ISPDC 2015 on topics including, but not limited to: System Architectures for Parallel and Distributed Computing - Multi-Cores, Virtualization - Clusters and Grid Computing - Methods and Tools for Parallel and Distributed Programming - Embedded, Mobile and Networking Environments - System Architecture and System Software for In-Memory Computing - Innovative System Architecture for Big Data Processing - System Architecture for Graph Computing/Processing - Interconnect Architecture for HPC and Data Centers High Performance Computing and Large Scale Applications - Tools and Environments for Parallel Program Design/Analysis - Scalable Algorithms and Applications - Urban Networks and Applications, Vehicular Networks - Parallel, Distributed and Mobile big-Data Management Parallel Computing and Algorithms - Parallel Programming Paradigms and APIs - GPU Programming - Bio-inspired Parallel Algorithms - Big Data and Graph Analytics - Algorithms, Models and Formal Verification Cloud Computing - Cloud Resource Provisioning and Allocation - Pricing of Cloud Resources - Cloud Performance, and Capacity Management - Green Cloud Computing - Mobile Clouds - Security and Privacy in Clouds - Cloud Computing Techniques for Big Data - Storage Architectures for Clouds and Big Data Processing Distributed and Embedded Computing - Collaborative Computing, P2P Computing - Mobile and Ubiquitous Computing - Web Services and Internet Computing - Distributed Software Components, Multi-agent Systems - Parallel Embedded Systems Programming - Highly Embedded Parallel Systems Support for Programming - FPGA and SoC Solutions Performance Modeling, Management and Optimization - Scheduling and Load Balancing - Performance Modeling, Analysis and Evaluation - Optimisation, Security and Dependability Interactivity - Real-time Distributed and Parallel Systems - Visualisation of Massively Parallel Data - IoT, Social Networks You are invited to submit original papers of up to 10 pages, written in English and compliant with the IEEE standard (8.5"x11", two-column). The IEEE Computer Society Press will publish the proceedings. A best paper award will be presented to paper(s) receiving the highest quality rating from the reviewers and the PC. Key Dates Submission of full papers: 22 February, 2015 (firm extended deadline) Notification of authors: 15 March, 2015 Camera ready papers: 30 March, 2015 Authors and early registration deadline: 6 May, 2015 Symposium dates: 29 June - 2 July, 2015 General Chair George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Co-Chairs Daniel Grosu, Wayne State University, USA Hai Jin, Huazhong University of Science and Technology, China Steering Committee Ioana Banicescu, Mississippi State University, USA Hans-Joachim Bungartz, Technische Universität München, Germany Valentin Cristea, University Politehnica of Bucharest, Romania Bertil Folliot, University of Paris, France Dan Grigoras, University College Cork, Ireland John Morrison, University College Cork, Ireland Traian Muntean, Aix Marseille University, France Dana Petcu, Western Univ. of Timisoara and e-Austria, Timisoara, Romania Marek Tudruj, Polish Acad. of Sciences and PJIIT, Warsaw, Poland Program Committee http://www.cyprusconferences.org/ispdc2015/committees.html -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dietmar.jannach at tu-dortmund.de Tue Feb 17 08:51:20 2015 From: dietmar.jannach at tu-dortmund.de (Dietmar Jannach) Date: Tue, 17 Feb 2015 08:51:20 +0100 Subject: CfP: IJCAI 2015 Workshop on Intelligent Personalization (IP 2015) Message-ID: <01bc01d04a86$84bdd1d0$8e397570$@tu-dortmund.de> ====================================================================== CALL FOR PAPERS IJCAI 2015 Workshop in INTELLIGENT PERSONALIZATION (IP'2015) Joint Workshop on Constraints and Preferences for Configuration and Recommendation (CPCR) / Intelligent Techniques for Web Personalization (ITWP) Held in conjunction with IJCAI 2015, 25-27 July 2015, Buenos Aires, Argentina http://ls13-www.cs.uni-dortmund.de/homepage/ip2015/index.shtml Submission Deadline: April 27, 2015 ====================================================================== WORKSHOP GOALS =================== Finding the information or product that matches your needs and preferences on the Web can be challenging. Modern search engines can help in many situations, but they are based on one-shot query interactions and limited with respect to their personalization capabilities. Recommender Systems (RS) have proved to be helpful tools for various information seeking and filtering tasks and are nowadays ubiquitous on the Web. The most prominent classes of such systems are based on the detection of preference patterns in larger user communities (collaborative filtering) or on the automatic construction of content-based preference profiles for individual users (content-based filtering). For some application domains in e-commerce, relying on such pattern or model learning approaches alone can be insufficient because explicit and detailed short term interest or preference profiles are required to determine the most suitable product. This is for example the case when (a) the products themselves are configurable and can be tailored to the specific needs of a user or (b) the selection of the right product is based on user-specified explicit constraints, e.g., when purchasing a digital camera or smartphone. Going beyond collaborative and content-based techniques, such knowledge-based approaches therefore often require more complex user interfaces which support interactive preference elicitation or explanations as well as explicitly encoded domain knowledge. The aim of the workshop is to bring together researchers and practitioners working on topics related to the use of Artificial Intelligence techniques in the areas of recommendation systems, electronic commerce, personalized web tools, and interactive configurator systems. We are specifically interested in contributions which aim to combine explicit preference and constraint models with machine learning techniques. TOPICS OF INTEREST =================== We invite original contributions in a variety of areas related to Recommendation, Configuration and Web Personalization: * Preference Elicitation and User Modeling: Interactive Elicitation, Explicit and Implicit Feedback, Social/Semantic Web Mining for Personalization, Preference Learning, Collaborative and Content-based Filtering * User Interaction: Conversational Approaches, Explanations, Constraint Relaxation, Context-Aware Approaches, Personalized Information Filtering * Knowledge Representation and Reasoning: Constraint Programming, Preference Handling, Machine Learning, Satisfiability Testing, Logic-based Approaches, Developing, Testing and Debugging of Knowledge Bases * Evaluation Methodology, Metrics, and Case Studies; Implementation Architectures Keywords: * Recommender Systems * Product Configuration and Mass Customization * Constraint Reasoning * Preference Handling and Preference Learning * Web Personalization PAPER SUBMISSION AND PARTICIPATION =================== Papers must be formatted according to the IJCAI 2015 style guide (http://ijcai-15.org/downloads/FormattingGuidelinesIJCAI-15.zip) and submitted electronically as PDF through EasyChair at this URL: https://easychair.org/conferences/?conf=ip2015. We solicit the following types of papers as well as research demos * Long Papers (usually 6 pages + references, extra pages are possible) present original research work. * Short Papers (4 pages) report on work in progress or describe demo systems. * Research Highlights (1 page): Research highlights summarize relevant manuscripts which have recently been accepted for publication or appeared within the last 6 months in a peer-reviewed journal or which are currently under review. * Position Papers (1 page): Discuss open challenges or present early-stage research ideas. The workshop proceedings will be archived as citable proceedings with a permanent URL, e.g., using CEUR-WS. IMPORTANT DATES =================== * 27 April: Paper submission deadline * 20 May: Author notification * 30 May: Camera-ready versions due * 25/26 or 27 July: Workshop held WORKSHOP ORGANIZERS =================== Dietmar Jannach, Department of Computer Science, TU Dortmund, Germany dietmar.jannach at tu-dortmund.de Jerome Mengin, IRIT, University of Toulouse, France Jerome.Mengin at irit.fr Bamshad Mobasher, School of Computer Science, DePaul University, Chicago, USA mobasher at cs.depaul.edu Andrea Passerini, University of Trento, Italy passerini at disi.unitn.it Paolo Viappiani, CNRS and University Pierre and Marie Curie, France paolo.viappiani at lip6.fr From francesco.amigoni at polimi.it Tue Feb 17 10:11:31 2015 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Tue, 17 Feb 2015 09:11:31 +0000 Subject: RoboCup 2015 Virtual Robot Competition: Final Call for Participation Message-ID: ********************************************************************************************** Final Call for Participation RoboCup 2015 Virtual Robot Competition July 17-23, 2015 (Hefei, China) http://www.robocup2015.org/ We would like to invite all robot rescue teams to participate in the 2015 RoboCup Rescue Simulation League World Championship. If you are interested to participate please take the time to pre-register your team for the RoboCup 2015 Virtual Robot Competition. ***** Deadline for pre-registration: February 20, 2015 ***** ***** NEW!!! ***** The RoboCup Federation is pleased to introduce a waiver of the team fee for the 2015 international RoboCup competition for NEW teams in the major leagues. A NEW team is defined as a team all of whose team members have never participated in an annual international RoboCup competition. The waiver concerns only the team fee and does not imply any waiver of fees for team members. ***** 1) RoboCup Rescue Simulation League and Virtual Robot Competition --------------------- The RoboCup Rescue Simulation League is a socially relevant part of RoboCup event. Its main purpose is to provide emergency decision support by integration of disaster information, prediction, planning, and human interface. A generic urban disaster simulation environment is constructed on network computers. Heterogeneous intelligent agents such as fire fighters, commanders, victims, volunteers, etc. conduct search and rescue activities in this virtual disaster world. Real-world interfaces such as helicopter images synchronize the virtuality and the reality by sensing data. Mission-critical human interfaces such as PDAs support disaster managers, disaster relief brigades, residents, and volunteers to decide their action to minimize the disaster damage. Addressing this problem involves advanced and interdisciplinary research themes. As AI/robotics research, for example, behavior strategy (e.g., multi-agent planning, realtime/anytime planning, heterogeneity of agents, robust planning, mixed-initiative planning) is a challenging problem. For disaster researchers, RoboCup Rescue works as a standard basis in order to develop practical comprehensive simulators adding necessary disaster modules. The Virtual Robot competition is based on USARSim, a high fidelity simulator. Within USARSim users can simulate multiple agents whose capabilities closely mirror those of real robots. USARSim currently features wheeled, tracked, and air robots, as well as a wide range of sensors and actuators. Moreover, users can easily develop models of new robotic platforms, sensors, and test environments. See for more information http://wiki.robocup.org/wiki/Rescue_Simulation_League 2) Pre-registration ------------------- For the pre-registration please send before ***February 20, 2015*** an email to A.Visser at uva.nl with as attachment the following form filled in: http://home.deib.polimi.it/amigoni/IntentVirtual2015.txt 3) Qualification material ------------------------- Besides the pre-registration please prepare before ***February 28, 2015*** the following qualification material: A Team Description Paper describing the most innovative contributions or scientific results. The TDP is limited to 8 pages and must be formatted according to the LNCS format: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The Team Description Paper is an overview of the methodologies you used and intent to use to control your robots inside the Virtual Robot Competition. If applicable, include a reference to your latest publications. The qualification material should be placed on a dedicated web page on the team's home page. Please include the link to the qualification material on the pre-registration information. 4) Important dates ----------- - Deadline for pre-registration Virtual Robot Competition: February 20, 2015 - Deadline for qualification material Virtual Robot Competition: February 28, 2015 - Team qualification notification: March 5, 2015 5) Rules -------- The rules for the RoboCup 2015 Virtual Robot Competition will be published at: http://www.robocuprescue.org/wiki/index.php?title=VRCompetitions#Rules The latest version currently available is 1.0, January, 2015. It will be finalized with minor changes, also according to the input from the participating teams. We hope to see you all in China! With kind regards, Sanaz Taleghani, Masaru Shimizu, and Francesco Amigoni 2015 RoboCup Rescue Simulation Virtual Robot Competition Technical committee ********************************************************************************************** --------------------------------------------------------- Francesco Amigoni, Ph.D. Associate Professor Artificial Intelligence and Robotics Laboratory Dipartimento di Elettronica, Informazione e Bioingegneria Politecnico di Milano Piazza Leonardo da Vinci, 32 I-20133 Milano (MI), Italy Voice: +39 02 2399-3475 Fax: +39 02 2399-3411 Email: francesco.amigoni at polimi.it Web: http://www.deib.polimi.it/people/amigoni --------------------------------------------------------- From aamas2014publicity at gmail.com Tue Feb 17 11:04:05 2015 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Tue, 17 Feb 2015 10:04:05 +0000 Subject: Call for IFAAMAS-14 Victor Lesser Distinguished Dissertation Award nominations Message-ID: Please take note of this opportunity! Nominations are invited for the 2014 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org) and to be presented at AAMAS-2015 (http://www.aamas2015.com/). Eligible doctoral dissertations are those defended between January 1, 2014 and December 31, 2014 in the area of Autonomous Agents or Multiagent Systems. This award includes a certificate and a 1500EUR payment. The selection of the dissertation will be based on the originality, significance, and impact of the work. Evidence of such impact include publications at highly selective conferences and journals in the field with due importance given to the AAMAS conference series and JAAMAS. Research output that resulted primarily from the student's initiative will be considered more favourably. The selection committee will be the final arbiter in the decision process. The selection committee might decide to consult external assessors and reserves the right to not award the prize if the nominations do not meet the expected quality level. The dissertation must be nominated by the thesis supervisor and must be supported by the following documents (the documents must be placed on a web page and only a link to this page e-mailed to Michael Winikoff, michael.winikoff at otago.ac.nz, on or before February 28, 2015): 1. A PDF file of the dissertation. If the dissertation is not written in English, the nomination must include a substantial manuscript in English, with the nominee as the first author, published in a journal or a prestigious conference. 2. A list of citations to published papers based primarily on this dissertation with links to corresponding PDF files. 3. A recommendation from the dissertation supervisor, on departmental letterhead, nominating the dissertation for the IFAAMAS-14 Victor Lesser Distinguished Dissertation Award. The recommendation should argue the merit of the dissertation and highlight, where relevant, how the work resulted from the initiative of the student. This document, not to exceed 500 words, should also certify the eligibility of the PhD by asserting that the PhD was defended in calendar year 2014. 4. The names, email addresses, and affiliations of at most three referees, familiar with the research of the candidate and experts in the pertinent research area, who will directly email their recommendations for the candidate to the chair of the selection committee. It is the responsibility of the dissertation supervisor to contact the referees and ensure that the letters are submitted by the deadline. A reference letter should be no more than 500 words in length and should be on official letterhead, signed and emailed as scanned PDF file. NOTE: IT IS THE RESPONSIBILITY OF THE DISSERTATION SUPERVISOR TO CONTACT THE REFEREES AND ENSURE THAT LETTERS (max 500 words, signed, and on letterhead) ARE SUBMITTED BY THE DEADLINE. Though the nomination is to be submitted by the nominee's dissertation supervisor, it is required that the nominee has consented that the dissertation be considered for this award and, if selected for the award, commits to attend the AAMAS-2015 conference, where he/she will receive the award, and will give an hour-long presentation in a special session of the conference on the work contained in the dissertation. The cost of attending the conference is not covered by the award. From ijcai2015.publicity at gmail.com Tue Feb 17 17:59:14 2015 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Tue, 17 Feb 2015 13:59:14 -0300 Subject: =?UTF-8?Q?IJCAI_2015_Doctoral_Consortium_=2D_FINAL_CALL_FOR_APPL?= =?UTF-8?Q?ICATIO=E2=80=8BNS?= Message-ID: [Apology for cross-postings] ************************************************************************************************* IJCAI 2015 - Doctoral Consortium Final Call for Applications Students are invited to apply for admission to the doctoral consortium to be held at the IJCAI conference, Buenos Aires, Argentina, 25 July-1 August 2015. The doctoral consortium provides an opportunity for Ph.D. students to discuss their research interests and career objectives with established researchers in AI, network with other participants, and receive mentoring about career planning and career options. The doctoral consortium will expose students to different areas of research within AI and help building professional connections within the international community of AI researchers. We also welcome applications of students who recently obtained their Ph.D. (after August 31st, 2014) provided that they do not have a faculty position. Deadline for applications: February 26, 2015 Notification of acceptance: April 16, 2015 Perspective applicants should submit: 1. a two-page extended abstract on their thesis, formatted following the IJCAI requirements. Accepted abstracts will be included in the IJCAI Proceedings and be presented briefly at the doctoral consortium. Acceptance for publication is not a requirement for admission to the doctoral consortium, but submission is required to apply to the doctoral consortium. Accepted extended abstracts will be published in the IJCAI Proceedings. 2. a curriculum vitae (2 pages) with background (name, university), education (degree sought, year/status in degree, previous degrees), employment, and relevant experience in research (publications, presentations, conferences attended, etc). 3. a personal statement (1-2 pages max) with answers to the following questions: a. Is this the first time you attend IJCAI DC? If not, have you attended other DC? Please say which one(s) and what was most useful to you. b. Have you submitted an article to IJCAI and/or IJCAI workshops? c. When do you expect to graduate? d. What type of job do you desire after graduation (research, teaching, development, etc)? 4. a letter of support from the advisor For details visit http://ijcai15.org/. Submissions to: https://easychair.org/conferences/?conf=ijcai2015dc Some funding will be available to cover in part travel costs. IJCAI will offer additional travel grants to student authors of accepted papers. Details will be available later. For additional information and questions contact: Maria Gini (Univ. of Minnesota, USA) Silvia Schiaffino (ISISTAN, UNCPBA, Argentina) Co-chairs, Doctoral Consortium, IJCAI 2015 email: ijcai15dc at cs.umn.edu Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From geoff at cs.miami.edu Wed Feb 18 15:27:33 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 18 Feb 2015 09:27:33 -0500 (EST) Subject: LPAR-20 in Fiji - Call for Papers Message-ID: <20150218142733.CE09212146D@mcclellan.cs.miami.edu> The 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR-20 University of the Pacific, Suva, Fiji http://www.LPAR-20.org CALL FOR PAPERS The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 20th LPAR will be held at the University of the South Pacific, Suva, Fiji in 2015 (see dates below). ==Topics New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: + Abduction and interpolation methods + Automated reasoning + Constraint programming + Decision procedures + Description logics + Foundations of security + Hardware verification + Implementations of logic + Interactive theorem proving + Knowledge representation and reasoning + Logic and computational complexity + Logic and databases + Logic and games + Logic and machine learning + Logic and the web + Logic and types + Logic in artificial intelligence + Logic of distributed systems + Logic programming + Logical aspects of concurrency + Logical foundations of programming + Modal and temporal logics + Model checking + Non-monotonic reasoning + Ontologies and large knowledge bases + Probabilistic and fuzzy reasoning + Program analysis + Rewriting + Satisfiability checking + Satisfiability modulo theories + Software verification + Specification using logic + Unification theory ==Submission Details Submissions of two kinds are welcome: - Regular papers that describe solid new research results. They can be up to 15 pages long in LNCS style, including figures and references, but excluding appendices (that reviewers are not required to read). - Experimental and tool papers that describe implementations of systems, report experiments with implemented systems, or compare implemented systems. They can be up to 8 pages long in the LNCS style. Both types of papers must be electronically submitted in PDF via EasyChair: https://easychair.org/conferences/?conf=lpar20 ==Participation Prospective authors are required to register a title and an abstract a week before the paper submission deadline (see below). Authors of accepted papers are required to ensure that at least one of them will be present at the conference. More details about the venue and organisation can be found on the conference website: http://www.LPAR-20.org ==Important Dates Abstract Submission: 30 June Paper Submission: 7 July Notification: 23 August Workshops: 23 November Conference: 24-28 November From ijv at acm.org Wed Feb 18 23:38:32 2015 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Wed, 18 Feb 2015 20:38:32 -0200 Subject: Second call for papers: DARe at IJCAI 2015 Message-ID: <951DB9AA-3851-4E0D-A80A-095E5B107AA8@acm.org> * Please accept our apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at IJCAI 2015 Date: TBC (one day between 25 and 27 July 2015) Buenos Aires, Argentina *** Deadline: 27 April 2015 *** ============================== The Second International Workshop on "Defeasible and Ampliative Reasoning" (DARe) http://dare2015.yolasite.com held at the International Joint Conference on Artificial Intelligence (IJCAI 2015) -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypothesis in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on nonmonotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, nonmonotonic reasoning, nonmonotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the IJCAI 2015 LaTeX style (which can be found at http://ijcai-15.org/index.php/call-for-papers) and should be no longer than 6 pages excluding references and in PDF format. The list of references is limited to one page. Please submit to: https://easychair.org/conferences/?conf=dare15 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. Please check the IJCAI 2015 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 27 April 2015 - Notification: 20 May 2015 - Camera ready: 30 May 2015 - Early registration: [TBA] - Late registration: [TBA] - Workshop date: [TBA] -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth (Mahasarakham University, Thailand) - Giovanni Casini (Centre for AI Research and University of Pretoria, South Africa) - Szymon Klarman (Brunel University London, United Kingdom) - Gilles Richard (Université Paul Sabatier, France) - Ivan Varzinczak (Universidade Federal do Rio de Janeiro, Brazil) -- Program Committee -- - Natasha Alechina (University of Nottingham, UK) - Ofer Arieli (Academic College of Tel-Aviv, Israel) - Guillaume Aucher (University of Rennes 1 - INRIA, France) - Christoph Beierle (FernUniversitaet Hagen, Germany) - Mario Benevides (Federal University of Rio de Janeiro, Brazil) - Antonis Bikakis (University College London, UK) - Alexander Bochman (Holon Institute of Technology, Israel) - Katarina Britz (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - Jim Delgrande (Simon Fraser University, Canada) - Marcelo Finger (Universidade de São Paulo, Brazil) - Nina Gierasimczuk (University of Amsterdam, Netherlands) - Patrick Girard (University of Auckland, New Zealand) - Sven Ove Hansson (Royal Institute of Technology, Sweden) - Andreas Herzig (IRIT CNRS, France) - Aaron Hunter (British Columbia Institute of Technology, Canada) - Souhila Kaci (Université Montpellier 2, France) - Antonis Kakas (University of Cyprus) - Gabriele Kern-Isberner (TU Dortmund, Germany) - Simon Kramer (SK-R&D, Switzerland) - Willem Labuschagne (University of Otago, New Zealand) - Michael Maher (University of New South Wales, Australia) - João Marcos (Universidade Federal do Rio Grande do Norte, Brazil) - Thomas Meyer (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - François Schwarzentruber (ENS Rennes/IRISA) - Sonja Smets (University of Amsterdam, Netherlands) - Umberto Straccia (CNR, Italy) - Mirek Truszczynski (University of Kentucky, USA) - Joost Vennekens (K.U. Leuven, Belgium) - Peter Verdée (Universiteit Gent, Belgium) - Petrucio Viana (Universidade Federal Fluminense, Brazil) - Heinrich Wansing (Ruhr-Universitaet Bochum, Germany) - Renata Wassermann (Universidade de São Paulo, Brazil) - Anna Zamansky (University of Haifa, Israel) -- Further Information -- Please note that according to IJCAI policy all workshop participants are required to register for the workshop. IJCAI reserves the right to cancel a workshop if not enough participants register. Please visit the workshop website (http://dare2015.yolasite.com) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan José Varzinczak Department of Computer Science - Institute of Mathematics Federal University of Rio de Janeiro, Brazil Homepage: http://en.varzinczak.net16.net Google scholar profile: http://tinyurl.com/varzinczak From lpulina at uniss.it Thu Feb 19 09:40:34 2015 From: lpulina at uniss.it (Luca Pulina) Date: Thu, 19 Feb 2015 09:40:34 +0100 Subject: RR 2015 -- 2nd CALL FOR PAPERS Message-ID: <54E5A182.2080805@uniss.it> [apologies for any cross-posting] ****************************************************************** 2nd CALL FOR PAPERS The 9th International Conference on Web Reasoning and Rule Systems (RR 2015) Berlin, Germany, August 4-6, 2015 http://www.csw.inf.fu-berlin.de/RR2015/ ****************************************************************** The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2015 is colocated with the following events: - 11th Reasoning Web Summer School (RW 2015) Berlin, Germany, July 31 - August 4, 2015. http://www.csw.inf.fu-berlin.de/rw2015/ - The 25th International Conference on Automated Deduction (CADE 2015). Berlin, Germany, August 1 - August 7, 2015. http://conference.mi.fu-berlin.de/cade-25/home - The 9th International Web Rule Symposium (RuleML 2015). Berlin, Germany, August 3-5, 2015 http://2015.ruleml.org RR 2015 also hosts a doctoral consortium, which will provide PhD students with an opportunity to present and discuss their research directions, to be involved in discussions on the state-of-the-art research, and to establish fruitful collaborations. In particular, the doctoral consortium will include a mentoring lunch and a poster session, organized jointly with the 9th International Web Rule Symposium (RuleML 2015). Further details on the RR doctoral consortium will be communicated by means of a separate Call for Papers, as well as on the RR 2015 website. == TOPICS AND SUBMISSION INSTRUCTIONS == The scale and the heterogenous nature of web data poses many challenges, and turns basic tasks such as query answering and data transformations into complex reasoning problems. Rule-based systems have found many applications in this area. The RR conference welcomes original research from all areas of Web Reasoning and Rule Systems. Topics of particular interest are: - Rule-based languages for intelligent information access and for the semantic web - Ontology-based data access - Data management, and data interoperability for web data - Distributed agent-based systems for the web - Scalability and expressive power of logics for the semantic web - Reasoning with incomplete, inconsistenct and uncertain data - Non-monotonic, commonsense, and closed-world reasoning for web data - Constraint programming, inductive logic programming for web data - Streaming data and complex event processing - Rule-based approaches to machine learning, knowledge extraction and information retrieval - Rule-based approaches to natural language processing - System descriptions, applications and experiences There are two submission formats: - Full papers (up to 15 pages in LNCS style) - Technical Communications (up to 6 pages in LNCS style) Submitted full papers should present original and significant research results. They must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed, like for instance the DL 2014 workshop. Technical communications are intended for promising but possibly preliminary work, position papers, system descriptions, and applications descriptions (which may be accompanied by a demo). The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS), and all submissions must be prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html). Submissions are now open via EasyChair: https://www.easychair.org/conferences/?conf=rr2015 == IMPORTANT DATES == - Title and Abstract submission: March 3, 2015 - Full papers submission: March 10, 2015 - Notification of acceptance: April 15, 2015 - Camera-ready submission: May 15, 2015 For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies. == BEST PAPER AND BEST STUDENT PAPER AWARDS == Awards for Best Paper and Best Student Paper will be presented to the corresponding author(s) at the conference. The best student paper will be selected among the ones mainly only by students (i.e., authors a PhD as of the paper submission deadline). To qualify for the Best Student Paper award, the authors must indicate their eligibility upon submission at easychair. The program committee reserves the right to not give out a Best Student Paper award, or to split the award among multiple submissions. == INVITED SPEAKERS == - Michael Genesereth (Stanford University) - Benny Kimelfeld (Technion & LogicBlox) - Lora Aroyo (Free University of Amsterdam) == ORGANIZATION == General Chair: - Wolfgang Faber (University of Huddersfield) Doctoral Consortium Chair: - Marco Montali (Free Universiy of Bozen-Bolzano) Local Organization Chair: - Adrian Paschke (Free University of Berlin) Sponsorship Chair: - Marco Maratea (University of Genova) Publicity Chair: - Luca Pulina (University of Sassari) Web Chair: - Ralph Schaefermeier (Free University of Berlin) Program Committee: - Balder ten Cate (LogicBlox, USA) - co-chair - Alessandra Mileo (DERI, Ireland) - co-chair - Darko Anicic (Siemens AG, Germany) - Marcelo Arenas (Pontificia Universidad Catolica de Chile, Chile) - Marcello Balduccini (Drexel University, USA) - Leopoldo Bertossi (Carleton University, Canada) - Meghyn Bienvenu (Universite Paris Sud, France) - Fernando Bobillo (University of Zaragoza, Spain) - Daniel Deutsch (Tel Aviv, Israel) - Agostino Dovier (Università degli Studi di Udine, Italy) - Thomas Eiter (TU Vienna, Austria) - Sergio Flesca (University of Calabria, Italy) - Paul Fodor (Stony Brook University, USA) - Andres Freitas (INSIGHT NUI Galway, Ireland) - Andre Hernich (Liverpool, UK) - Stijn Heymans (SRI, USA) - Aidan Hogan (National University of Ireland, Galway, Ireland) - Benny Kimelfeld (Technion, Israel & LogicBlox, Inc) - Roman Kontchakov (Birkbeck College, UK) - Markus Krötzsch (University of Oxford, UK) - Georg Lausen (Universitaet Freiburg, Germany) - Joohyung Lee (Arizona State University, USA) - Domenico Lembo (Sapienza Universita di Roma, Italy) - Carsten Lutz (Universität Bremen, Germany) - Thomas Meyer (CSIR Meraka Institute, South Africa) - Boris Motik (Oxford University, UK) - Marco Montali (Free University of Bozen-Bolzano, Italy) - Marie-Laure Mugnier (LIRMM/INRIA, Montpellier, France) - Matthias Nickels (NUI Galway, Ireland) - Magdalena Ortiz (TU Vienna, Austria) - Giorgio Orsi (University of Oxford, UK) - Jeff Z. Pan (University of Aberdeen) - Adrian Paschke (Freie Universität Berlin, Germany) - Axel Polleres (WU-Vienna, Austria) - Lucian Popa (IBM Almaden, USA) - Francesco Ricca (University of Calabria, Italy) - Riccardo Rosati (Sapienza Universita di Roma, Italy) - Sebastian Rudolph (TU Dresden, Germany) - Luciano Serafini (FBK Trento, Italy) - Evgeny Sherkhonov (University of Amsterdam, Netherlands) - Steffen Staab (University of Koblenz-Landau, Germany) - Umberto Straccia (ISTI-CNR, Pisa, Italy) -- Luca Pulina, Ph.D. Assistant Professor of Computer Science POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies University of Sassari e-mail lpulina at uniss.it http://sites.google.com/site/lpulina -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From leon.vandertorre at uni.lu Thu Feb 19 10:10:32 2015 From: leon.vandertorre at uni.lu (Leon VAN DER TORRE) Date: Thu, 19 Feb 2015 10:10:32 +0100 Subject: PhD candidate in Collective Reasoning Message-ID: <54E5A888.6010300@uni.lu> The Individual and Collective Reasoning (ICR) Group at the University of Luxembourg, and the Department of Ethics, Social and Political Philosophy (ESPP) at the University of Groningen is looking for a: *Doctoral candidate (PhD student) in Collective Reasoning* (M/F). * Ref:F1-070075 * 2+2-year fixed-term contract, full-time (40h/week) * Beginning earliest May, 2015 Area: Collective reasoning Your Role The successful candidate will participate in the activities of the ICR Group (icr.uni.lu) led by Prof. Leon van der Torre at the University of Luxembourg (year 1 and 2), and in the Department of ESPP at the University of Groningen led by Prof. Frank Hindriks (year 3 and 4). You will obtain a joint degree from both institutions (cotutelle). The goal of the PhD project is to develop and evaluate a conceptual, formal and computational framework for the analysis of collective reasoning and decision-making. The aim is to advance understanding of mutually beneficial and normatively appropriate choices in cooperative settings. Applications can concern expert panels and committee decision-making in general, and, for instance, central bank monetary policy committees, climate panels, medical ethical committees, and parliamentary committees in particular. Within this goal, the candidate is asked to submit a work plan, explaining how philosophy and artificial intelligence can benefit from each other. Whereas philosophers focus on the interaction between notions such as intentions, goals, beliefs, reasons, obligations and values - aimed at articulating an account of rational action - computer scientists address the overall architecture of an intelligent agent involving similar notions. The research statement must address these issues at the collective level and focus on notions such as joint intentions, collective rationality, collective obligations, and shared valuing. It may draw on theories such as judgment aggregation, team reasoning, and shared valuing as used in social ontology, and it may employ tools from deontic logic and normative multi-agent systems. The tasks for the PhD student will be to: * Write a doctoral dissertation * Disseminate results through scientific publications * Assist the professors in their teaching activities For further inquiries please contact: Prof. Leon van der Torre, leon.vandertorre at uni.lu or Prof. Frank Hindriks f.a.hindriks at rug.nl Your Profile * A Master degree in Philosophy, Computer Science or a related discipline * A proven interest in Interest in interdisciplinary research, and both conceptual and formal aspect * Background in practical reasoning, knowledge representation, applied logic, multi-agent systems, or social ontology, * Strong analytical capacities, creativity, and commitmen * Excellent written and oral English skills. We offer A 2+2-year contract, full-time (40 hours/week). The first two years will be mainly spent in Luxembourg, and the last two years will be mainly spent in Groningen. Universities offer competitive salaries and are equal opportunity employers. You will work in an exciting international environment and will have the opportunity to participate in two excellent research environments. Further Information Applications should be written in English and include the following documents: * An introduction letter indicating your motivation, * A detailed Curriculum vitae * A transcript of the grades you received in your Bachelor and Master * A short description of your master thesis * A work plan proposal of 800 words. Interested candidates are invited to send their complete application including CV and copies of diploma ON LINE before March 31, 2015. Follow the link at the bottom of the following webpage: *http://emea3.mrted.ly/lli8* -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From idsistworkshops at gmail.com Thu Feb 19 10:15:33 2015 From: idsistworkshops at gmail.com (AIM@EPIA-2015) Date: Thu, 19 Feb 2015 09:15:33 +0000 Subject: [EPIA-2015]: Artificial Intelligence in Medicine - 2nd Call For Papers (with updates) | Deadline for paper submission: March 9, 2015 In-Reply-To: <54E5A8ED.9070601@gmai.com> References: <54E5A8ED.9070601@gmai.com> Message-ID: <54E5A9B5.40700@gmai.com> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From adrian.paschke at gmx.de Thu Feb 19 10:24:15 2015 From: adrian.paschke at gmx.de (Adrian Paschke) Date: Thu, 19 Feb 2015 10:24:15 +0100 Subject: Submit your rule research to the 9th International Web Rule Symposium (RuleML 2015) Message-ID: <000e01d04c25$de5c3470$9b149d50$@gmx.de> Dear Colleagues, I would like to encourage you to submit your to RuleML 2015 (http://2015.ruleml.org). It is an excellent opportunity for a high impact conference publication in the area or rule technologies (http://en.wikipedia.org/wiki/RuleML_Symposium; e.g., RuleML is in the top 100 venues for impact factor in CiteSeerX http://citeseerx.ist.psu.edu/stats/venues). Also note, that there are several additional collocated events, e.g., the Recommender Systems for the Web of Data Challenge (http://2015.ruleml.org/recsysrules-2015.html), the Doctoral Consortium (http://2015.ruleml.org/DoctoralConsortium.html), the 9th International Rules Challenge with competitive prizes for the best rule base, the Reasoning Web Summer School, RR 2015 and the Workshop on Formal Ontologies meet Industry (http://www.csw.inf.fu-berlin.de/fomi2015/), as well as the 25th CADE 2015. If you are doing your Phd in this field I would like to point you to the Reasoning Web Summer School (http://www.csw.inf.fu-berlin.de/rw2015/) and the joint RuleML/RR Doctoral Consortium (http://2015.ruleml.org/DoctoralConsortium.html), where you can submit your PhD paper. Accepted RuleML PhD papers and demo papers will be published in the Challenge proceedings which are listed in DBLP (http://dblp1.uni-trier.de/db/conf/ruleml/) and fully indexed e.g. in Scopus. And, further interesting things will happen at RuleML 2015, such as an ISO Common Logic, OMG API4KB and OASIS LegalRuleML face-to-face meeting. We will also have a Berlin Semantic Web Meetup during RuleML on August 4th. Details will follow soon on the Meetup website: http://www.meetup.com/The-Berlin-Semantic-Web-Meetup-Group/. Please help to distribute the below CfP to your colleagues. Thank you and hope to see you in Berlin, Germany in August, Adrian Paschke (General Chair RuleML 2015) Prof. Dr. Adrian Paschke AG Corporate Semantic Web Freie Universitaet Berlin Germany http://www.mi.fu-berlin.de/en/inf/groups/ag-csw/ **** DEADLINE - Paper Submission March 4th **** Call for Papers: The 9th International Web Rule Symposium (RuleML 2015) ======================================================================== August 2-5, 2015, Freie Universitaet Berlin, Berlin, Germany http://2015.ruleml.org ++++++++++++ News ++++++++++++++++ - Keynotes by Michael Genesereth on FOL Herbrand Semantics and Thom Fruewirth on Constraint Handling Rules - Tutorial Day http://2015.ruleml.org/tutorials.html - Industry Track http://2015.ruleml.org/industrytrack.html - 9th International Rule Challenge http://2015.ruleml.org/challenge.html - with challenge track "Rule-based Recommender Systems for the Web of Data" http://2015.ruleml.org/recsysrules-2015.html - and RuleML Rulebase Competition Award and Demo Award http://2015.ruleml.org/challenge.html - 5th Doctoral Consortium http://2015.ruleml.org/DoctoralConsortium.html - Student Travel support http://2015.ruleml.org/student-travel-support.html - Co-located with: CADE 2015, RR 2015, Reasoning Web 2015, FOMIS 2015 and further CADE workshops - Sponsors and Partners: ECCAI, AAAI, W3C, OMG, OASIS LegalXML, Association for Logic Programming, IEEE Technical Committee on Semantic Computing, IFCoLog, Signavio, Model Systems, Coherent Knowledge, Binarypark, ShareLatex, Corporate Semantic Web, Springer LNCS, Athan Services The annual International Web Rule Symposium (RuleML) is the leading international event in the field of rules and their applications. RuleML 2015, the ninth event in this series, will be held in Berlin, Germany, August 3-5 in conjunction with the Conference on Automated Deduction (CADE), the Workshop on Formal Ontologies meet Industry (FOMI), the Conference on Web Reasoning and Rule Systems (RR) and the Reasoning Web Summer School (RW). RuleML 2015 will host multiple tracks on Complex Event Processing, Existential Rules and Datalog+/-, Industry, Legal Rules and Reasoning and Rule Learning, as well as hosting the 9th International Rule Challenge, the 5th RuleML Doctoral Consortium, the RuleML tutorial day, and the 7th Workshop on Formal Ontologies meets Industry. Objectives ---------- RuleML 2015 will bring together practitioners, interested in the theory and applications of rules in academic research, industry, engineering, business and other diverse application areas. It will provide a forum for stimulating co-operation and cross-fertilization between the many different communities focused on the research and development of rule-based systems. The symposium's areas of research and development have helped drive rapid progress in technologies for practical rule and event processing in distributed enterprise, intranets, and open distributed environments. Industry practitioners, rule-system providers, users of rules, technical experts and developers, and researchers who are exploring foundational issues, developing systems and applications, or using rule- based systems are invited to share ideas, results, and experiences. Topics ------ The conference will have 5 special tracks, as well as general sessions. The tracks are: * Complex Event Processing * Existential Rules and Datalog+/- * Legal Rules and Reasoning * Rule Learning * Industry We invite high-quality submissions related (but not limited) to the special tracks and within the general theme of the conference. Track Topics ------------ Complex Event Processing (Main theme: Uncertainty Handling in Complex Event Processing) - Scalable CEP under uncertainty - Visual analytics for CEP systems - Distributed CEP under uncertainty - Real-world applications of CEP - Event forecasting under uncertainty - Privacy issues in CEP - Multi-scale temporal aggregation of events - Benchmarks and testbeds for CEP - Machine learning for event processing and forecasting Existential Rules and Datalog+/ - Decidability paradigms for existential rules - Consistent query answering - Reasoning and querying - Query Rewriting - Nonmonotonic reasoning - Query Optimization - Probabilistic reasoning - Ontology Languages - Data and knowledge integration and exchange - Ontology-based Data Access System - Conceptual modeling - Descriptions and applications - Semi-structured data, graph databases and (Semantic) Web data Legal Rules and Reasoning - Learning from legal texts - Modeling normative rules - Reguratory compliance by rules - Modeling legislation - XML, standards for legal documents - Legal ontology - Semantic Web in Legal Domain - Legal Open Data and Rules - Reasoning about normative rules - Normative rules extraction by natural language processing Rule Learning - Inductive rule learning - Classification rules - Association rules - Learning rules for the semantic web - Preference rules - Rule-based recommender systems - Relational learning - Learning business rules - Descriptive rule learning - Predictive rule learning Industry Track The RuleML 2015 Industry Track targets businesses and the private sector interested in sharing, exploring, and learning about the use of rules and rule technologies for solving real life business problems. For further information about the Industry Track topics and submission see: http://2015.ruleml.org/industrytrack.html Generel Topics (not limited to) - Rules and automated reasoning - Rule-based policies, reputation, and trust - Reaction rules - Rules and the Web - Rule discovery from data - Fuzzy rules and uncertainty - Logic programming and nonmonotonic reasoning - Non-classical logics and the Web (e.g modal, especially deontic and epistemic, logics) - Hybrid methods for combining rules and statistical machine learning techniques (e.g., conditional random fields, Probabilistic Soft Logic) - Rule transformation and extraction - Vocabularies, ontologies, and business rules - Rule markup languages and rule interchange formats - Rule-based distributed/multi-agent systems - Rules, agents, and norms - Rule-based communication, dialogue, and argumentation models - Rule-based data integration - Vocabularies and ontologies for pragmatic primitives (e.g. speech acts and deontic primitives) - Pragmatic web reasoning and distributed rule inference / rule execution - Rules in online market research and online marketing - Applications of rule technologies in health care and life sciences - Rules and Human Language Technology - Industrial applications of rules - Rules and business process compliance checking - Standards activities related to rules - Rules and social media - General rule topics Student Travel Support ---------------------- Student Travel Support of EUR 500 will be provided for the two best student (first author) submissions. For a paper to be considered, its first author must be a student. Proof of studentship will be required at time of registration. More detailed information on how to apply will be sent to authors of accepted papers through Easychair. Important Dates --------------- Abstract Submission February 25, 2015 Paper Submission March 4, 2015 Notification May 4, 2015 Camera Ready May 18, 2015 Symposium Dates August 3-5, 2015 Submission guidelines --------------------- (except for the Industry Track - the guidelines for the Industry Track can be found at http://2015.ruleml.org/industrytrack.html) Papers must be original contributions written in English and must be submitted at EasyChair (https://easychair.org/conferences/?conf=ruleml2015) as: For all Tracks and general topics: # Full Papers (15 pages in the proceedings) # Short Papers (8 pages in the proceedings) For submission to a particular track please select that particular track/category. To submit under the general topics simply select the "General RuleML track" category. All papers must have at least three keywords identifying the main topics of the paper. Please upload all submissions in LNCS format (http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0). To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Selected papers, including those accepted for the special tracks will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series (http://www.springer.com/computer/lncs?SGWID=0-164-0-0-0). Short papers may contain 1 extra page maximum for which there is a charge of US$200, while for long papers you are allowed 2 extra pages maximum for EACH of which there is a charge of US$200. More information ---------------- Website: http://2015.ruleml.org Twitter hashtag: #ruleml2015 (https://twitter.com/search/?q=%23ruleml2015) Blog: http://blog.ruleml.org Call for papers: http://2015.ruleml.org/calls.html Sponsoring: http://2015.ruleml.org/sponsorship.html -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From xrambous at aurora.fi.muni.cz Thu Feb 19 12:05:41 2015 From: xrambous at aurora.fi.muni.cz (TSD 2015) Date: Thu, 19 Feb 2015 12:05:41 +0100 Subject: TSD 2015 - First Call for Papers Message-ID: ************************************************************************** TSD 2015 - FIRST CALL FOR PAPERS ************************************************************************** Eighteenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2015) Plzen (Pilsen), Czech Republic, 14-17 September 2015 http://www.tsdconference.org TSD HIGHLIGHTS * Keynote speakers: Hermann Ney, Dan Roth, Björn W. Schuller, Peter D. Turney, and Alexander Waibel. * TSD is traditionally published by Springer-Verlag and regularly listed in all major citation databases: Thomson Reuters Conference Proceedings Citation Index, DBLP, SCOPUS, EI, INSPEC, COMPENDEX, etc. * TSD offers high-standard transparent review process - double blind, final reviewers discussion. * TSD is officially recognized as an INTERSPEECH 2015 satellite event. * TSD will take place in Pilsen, the European Capital of Culture 2015. * TSD provides an all-service package (conference access and material, all meals, one social event, etc) for an easily affordable fee starting at 270 EUR for students and 330 EUR for full participants. IMPORTANT DATES March 31, 2015 ............ Submission of full papers May 10, 2015 .............. Notification of acceptance May 31, 2015 .............. Final papers (camera ready) and registration September 14-17, 2015 ....... Conference date TSD SERIES TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. The TSD proceedings are regularly indexed by Thomson Reuters Conference Proceedings Citation Index. LNAI series are listed in all major citation databases such as DBLP, SCOPUS, EI, INSPEC, or COMPENDEX. The contributions to the conference will be published in proceedings that will be made available on a CD to participants at the time of the conference. TOPICS Keynote topic: Challenges of Modern Era in Speech and Language Processing 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 (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) PROGRAM COMMITTEE Elmar Noeth, Germany (general chair) Eneko Agirre, Spain Genevieve Baudoin, France Vladimir Benko, Slovakia Paul Cook, Australia Jan Cernocky, Czech Republic Simon Dobrisek, Slovenia Kamil Ekstein, Czech Republic Karina Evgrafova, Russia Darja Fiser, Slovenia Eleni Galiotou, Greece Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, United Kingdom Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Yannis Haralambous, France Hynek Hermansky, USA Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Maria Khokhlova, Russia Daniil Kocharov, Russia Miloslav Konopik, Czech Republic Ivan Kopecek, Czech Republic Valia Kordoni, Germany Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Bernardo Magnini, Italy Vaclav Matousek, Czech Republic France Mihelic, Slovenia Roman Moucek, Czech Republic Hermann Ney, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Maciej Piasecki, Poland 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, United Kingdom Marcin Wolinski, Poland Victor Zakharov, Russia OFFICIAL LANGUAGE The official language of the event will be English. However, papers on processing of languages other than English are strongly encouraged. CONFERENCE FEES The conference fee depends on the date of payment and on your status. It includes one copy of the conference proceedings, refreshments/coffee breaks, opening dinner, welcome party, mid-conference social event admissions, and organizing costs. In order to lower the fee as much as possible, the accommodation and the conference trip are not included. Full participant: early registration by May 31, 2015 - CZK 9.000 (approx. 330 EUR) late registration by August 1, 2015 - CZK 10.000 (approx. 370 EUR) on-site registration - CZK 10.700 (approx. 390 EUR) Student (reduced): early registration by May 31, 2015 - CZK 7.400 (approx. 270 EUR) late registration by August 1, 2015 - CZK 9.000 (approx. 330 EUR) on-site registration - CZK 10.000 (approx. 370 EUR) LOCATION The city of Plzeň (Pilsen) is situated in Western Bohemia at the confluence of four rivers. With its 170,000 inhabitants it is the fourth largest city in the Czech Republic and an important industrial, commercial, and administrative centre. It is also the capital of the Pilsen Region. In addition, Pilsen won the title of the European Capital of Culture for the upcoming year 2015. Pilsen is well-known for its brewing tradition. The trademark Pilsner-Urquell has a good reputation all over the world thanks to the traditional recipe, high quality hops and good groundwater. Beer lovers will also appreciate a visit to the Brewery Museum or the Brewery itself. Apart from its delicious beer, Pilsen hides lots of treasures in its core. The city can boast the second largest synagogue in Europe. The dominant of the old part of the city center is definitely the 13th-century Gothic cathedral featuring the highest church tower in Bohemia (102.34 m). It is possible to go up and admire the view of the city. Not far from the cathedral is the splendid Renaissance Town Hall from 1558 and plenty of pleasant cafes and pubs are situated on and around the main square. There is also the beautiful Pilsen Historical Underground - under the city center, a complex network of passageways and cellars can be found. They are about 14 km long and visitors can see the most beautiful part of this labyrinth during the tour. It is recommended to visit the City Zoological Garden, having the second largest space for bears in Europe and keeping several Komodo dragons, large lizards which exist only in a few zoos in the world. The University of West Bohemia in Pilsen provides a variety of courses for both Czech and international students. It is the only institution of higher education in this part of the country which prepares students for careers in engineering (electrical and mechanical), science (computer science, applied mathematics, physics, and mechanics), education (both primary and secondary), economics, philosophy, politics, archeology, anthropology, foreign languages, law and public administration, art and design. ABOUT CONFERENCE The conference is organized by the Faculty of Applied Sciences, University of West Bohemia, Pilsen, and the Faculty of Informatics, Masaryk University, Brno. The conference is supported by International Speech Communication Association (ISCA). Venue: Plzeň (Pilsen), Parkhotel Congress Center Plzeň, Czech Republic ADDRESS All correspondence regarding the conference should be addressed to: Ms Anna Habernalová, TSD2015 Conference Secretary E-mail: tsd2015 at tsdconference.org Phone: (+420) 724 910 148 Fax: +420 377 632 402 - Please, mark the faxed material with capitals 'TSD' on top. TSD 2015 conference web site: http://www.tsdconference.org/tsd2015 From serge.autexier at dfki.de Thu Feb 19 15:04:53 2015 From: serge.autexier at dfki.de (Serge Autexier) Date: Thu, 19 Feb 2015 15:04:53 +0100 (CET) Subject: CFP CICM 2015 - Deadline Extension Message-ID: <20150219140453.B767A25B9FD8@mbp-autexier.informatik.uni-bremen.de> [Apologies if you have received multiple copies of this announcement] Following a number of requests we have extended the submission deadlines for CICM 2015 as follows: OLD NEW Abstract submission deadline: Mon, 16 Feb Wed, 25 Feb Submission deadline: Mon, 23 Feb Mon, 2 Mar Kind regards, Manfred Kerber -------------------------------------------------------------------------------- Call for Papers Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014). This is a (short version of the) call for papers for CICM 2015, which will be held in Washington, D.C., 13-17 July 2015. The full version of the CFP is available from the conference web page at http://cicm-conference.org/2015/cicm.php ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe Publicity chair is Serge Autexier. The local arrangements will be coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme will be organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). As in previous years, it is anticipated that there will be a number co-located workshops, including one to mentor doctoral students giving presentations. We also solicit for project descriptions and work-in-progress papers. ********************************************************************** Important Dates ********************************************************************** Conference submissions: Abstract submission deadline: 25 February 2015 Submission deadline: 2 March 2015 Reviews sent to authors: 6 April 2015 Rebuttals due: 9 April 2015 Notification of acceptance: 13 April 2015 Camera ready copies due: 27 April 2015 Conference: 13-17 July 2015 Work-in-progress and Doctoral Programme submissions: Submission deadline: (Doctoral: Abstract+CV) 4 May 2015 Notification of acceptance: 25 May 2015 Camera ready copies due: 1 June 2015 More detailed information, e.g. on submission via EasyChair, can be found on http://cicm-conference.org/2015/cicm.php From moreno.falaschi at unisi.it Thu Feb 19 15:28:17 2015 From: moreno.falaschi at unisi.it (FALASCHI MORENO) Date: Thu, 19 Feb 2015 15:28:17 +0100 Subject: LOPSTR 2015: 2nd Call for Papers Message-ID: <0a2ba023519cbde344c65d07852fe909@unisi.it> ============================================================ 25th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2015 Special Issue of Formal Aspects of Computing http://alpha.diism.unisi.it/lopstr15/ University of Siena, Siena, IT, July 13-15, 2015 (co-located with PPDP 2015) DEADLINES Abstract submission: April 6, 2015 Paper/Extended abstract submission: April 13, 2015 ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015) will be held at the University of Siena, Siena, Italy; previous symposia were held in Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2015 will be co-located with PPDP 2015 (International Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: April 6, 2015 Paper/Extended abstract submission: April 13, 2015 Notification: May 25, 2015 Camera-ready (for electronic pre-proceedings): June 15, 2015 Symposium: July 13-15, 2015 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2015, which can be accessed through the website of LOPSTR 2015. Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Special journal issue After the symposium, a selection of the best papers will be invited to a special issue of the 'Formal Aspects of Computing' journal. The submissions to the special issue must be substantial extensions of the proceedings versions and will undergo the usual journal reviewing process. Invited speakers Patrick Cousot, New York University, USA (Jointly with PPDP) Gilles Barthe, IMDEA Software Institute, Spain Dale Miller, INRIA and LIX/Ecole Polytechnique, France Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Demis Ballis, University of Udine, Italy Olaf Chitil, University of Kent, UK Michael Codish, Ben-Gurion University, Israel Moreno Falaschi, University of Siena, Italy (Program Chair) Jerome Feret, INRIA and ENS, France Maurizio Gabbrielli, University of Bologna, Italy Jurgen Giesl, RWTH Aachen University, Germany Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Arnaud Gotlieb, SIMULA Research Laboratory, Norway Gopal Gupta, University of Texas at Dallas, USA Manuel Hermenegildo, IMDEA, Spain Viktor Kuncak, EPFL Lausanne, Switzerland Luigi Liquori, INRIA Sophia-Antipolis Mediterranee, France Alexei Lisitsa, University of Liverpool, UK Narciso Marti-Oliet, Universidad Complutense de Madrid, Spain Jorge Navas, NASA, USA Kazuhiro Ogata, JAIST, Japan Carlos Olarte, ECT, Univ. Federal do Rio Grande do Norte, Brasil Catuscia Palamidessi, INRIA and Ecole Polytechnique, France Maurizio Proietti, IASI-CNR, Italy Albert Rubio, Universitat Politecnica de Catalunya, Barcelona, Spain Wim Vanhoof, University of Namur, Belgium Program and Symposium Chair: Moreno Falaschi, Dept. of Information Engineering and Mathematics, Univ. of Siena, Italy (moreno.falaschi at unisi.it) Organizing Committee Monica Bianchini, DIISM, Univ. of Siena, Italy Sara Brunetti, DIISM, Univ. of Siena, Italy Andrea Machetti, DIISM, Univ. of Siena, Italy Simonetta Palmas, DIISM, Univ. of Siena, Italy Maurizio Proietti, IASI-CNR, Italy Simone Rinaldi, DIISM, Univ. of Siena, Italy Elisa Tiezzi, DIISM, Univ. of Siena, Italy Sara Ugolini, Dip. Informatica, Univ. of Pisa From moreno.falaschi at unisi.it Thu Feb 19 15:32:40 2015 From: moreno.falaschi at unisi.it (FALASCHI MORENO) Date: Thu, 19 Feb 2015 15:32:40 +0100 Subject: PPDP 2015: 2nd call for papers Message-ID: <1d67d8e2dc3f3344de9be5278a34ab03@unisi.it> ====================================================================== Call for papers 17th International Symposium on Principles and Practice of Declarative Programming PPDP 2015 Special Issue of Science of Computer Programming (SCP) Siena, Italy, July 14-16, 2015 (co-located with LOPSTR 2015) http://costa.ls.fi.upm.es/ppdp15 ====================================================================== SUBMISSION DEADLINE: 20 MARCH, 2015 PPDP 2015 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to * Functional programming * Logic programming * Answer-set programming * Functional-logic programming * Declarative visual languages * Constraint Handling Rules * Parallel implementation and concurrency * Monads, type classes and dependent type systems * Declarative domain-specific languages * Termination, resource analysis and the verification of declarative programs * Transformation and partial evaluation of declarative languages * Language extensions for security and tabulation * Probabilistic modeling in a declarative language and modeling reactivity * Memory management and the implementation of declarative systems * Practical experiences and industrial application This year the conference will be co-located with the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015). The conference will be held in Siena, Italy. Previous symposia were held at Canterbury (UK), Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). You might have a look at the contents of past PPDP symposia. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 30% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a special issue of SCP with a target publication date by Elsevier of 2016. Important Dates Abstract Submission: 14 March, 2015 Paper submission: 20 March, 2015 Notification: 14 May, 2015 Camera-ready: To be announced Symposium: 14-16 July, 2015 Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted to the submission website for PPDP 2015. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist the program committee in selecting appropriate reviewers for the paper. Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. ----------------------------------------------------------------------- INVITED SPEAKERS Patrick Cousot, New York University, USA (Jointly with LOPSTR) Martin Hofmann, LMU Munich, Germany ----------------------------------------------------------------------- Program Committee Michael Adams, University of Utah, USA Puri Arenas, Complutense University of Madrid, Spain Amir Ben-Amram, Tel-Aviv Academic College, Israel Ines Castro, Universidade do Porto, Portugal Patrick Cousot, New York University, USA Gregory Duck, National University of Singapore, Singapore Fabio Fioravanti, University of Chieti-Pescara, Italy Thom Frühwirth, University of Ulm, Germany Roberto Giacobazzi, University of Verona, Italy Michael Hanus, CAU Kiel, Germany Andy King, University of Kent, UK F. López-Fraguas, Complutense University of Madrid, Spain Ian Mackie, University of Sussex, UK Dale Miller, INRIA and LIX/Ecole Polytechnique, France Torsten Schaub, University of Potsdam, Germany Tom Schrijvers KU Leuven, Belgium Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France German Vidal, Universitat Politecnica de Valencia, Spain Marina Vos, University of Bath, UK Nobuko Yoshida, Imperial College London, UK Program Chair Elvira Albert Complutense University of Madrid C/ Profesor Garcia Santesmases E-28040 Madrid, Spain Email: elvira at sip.ucm.es Symposium Chair Moreno Falaschi Department of information engineering and mathematics University of Siena, Italy Email: moreno.falaschi at unisi.it From geoff at cs.miami.edu Thu Feb 19 19:49:53 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 19 Feb 2015 13:49:53 -0500 (EST) Subject: TABLEAUX 2015 - Call for Papers Message-ID: <20150219184954.09D6012144A@mcclellan.cs.miami.edu> FIRST CALL FOR PAPERS TABLEAUX 2015 23rd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Wroclaw, Poland, September 21-24, 2015 http://tableaux2015.ii.uni.wroc.pl/ GENERAL INFORMATION TABLEAUX 2015 is the 23rd in the series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods, and will be held in Wroclaw, Poland, during September 21-24, 2015. TABLEAUX 2015 will be co-located with the 10th International Symposium on Frontiers of Combining Systems (FroCoS 2015). The computer science institute of Wroclaw has a large experience in hosting international conferences. It has hosted the IEEE Symposium on Logic in Computer Science (LICS 2007), the 23rd International Conference on Automated Deduction (CADE 2011), and the 22nd European Symposium on Algorithms (ALGO 2014). TOPICS Tableaux methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableaux methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis. The conference series aims to bring together researchers interested in all aspects of tableaux - theoretical foundations, applications, and implementation techniques. * tableaux methods for classical and non-classical logics (e.g. modal, temporal, description, intuitionistic, substructural, fuzzy, paraconsistent logics) and their proof theoretic foundations. * related methods (model elimination, model checking, connection methods, resolution, BDDs). * sequent calculi for classical and non-classical logics, as tools for proof search and proof representation. * flexible, easily extendable, light weight methods for theorem proving. * novel types of calculi for theorem proving and verification in classical and non-classical logics. * systems, tools, implementations and applications (provers, logical frameworks, model checkers, ... ). * implementation techniques (data structures, efficient algorithms, performance measurement, extendibility, ... ). * extensions of tableaux procedures with conflict-driven learning, generation of proofs; compact (or humanly readable) representation of proofs. * decision procedures, theoretically optimal procedures. * applications of automated deduction to mathematics, software development, protocol verification, or teaching. TABLEAUX 2015 also welcomes papers describing applications of tableaux procedures to real world examples. Such papers should be tailored to the tableaux community and should focus on the role of reasoning, and logical aspects of the solution. SUBMISSIONS Submissions are invited in two categories: A Research papers, which describe original theoretical research, original algorithms, or applications, with length up to 15 pages. B System descriptions, with length up to 10 pages. Submissions will be reviewed by the PC, possibly will help of external reviewers, taking into account readability, relevance and originality. For category A, theoretical results and algorithms must be original, and not submitted for publication elsewhere. Submissions will be reviewed taking into account correctness, theoretical prettyness, and possible implementability. For category B submissions, a working implementation must be available on the internet, which includes sources. The aim of a system description is to make the system available in such a way that users can use it, understand it, and build on it. Accepted papers in both categories will be published in the conference proceedings (within the LNAI series of Springer). For accepted papers in both of the categories, at least one author is required to attend the conference and present the paper. Further information and instructions about submissions can be found on the conference website http://tableaux2015.ii.uni.wroc.pl IMPORTANT DATES Abstract submission deadline: May 8th, 2015 Paper submission deadline: May 15th, 2015 Author Notification: July 1st, 2015 Final Version: July 17th 2015 Conference: September 21st-24th, 2015 PROGRAM COMMITTEE ----------------- Marc Bezem, University of Bergen, Norway Agata Ciabattoni, Vienna University of Technology, Austria David Delayahe, National Conservatory of Arts and Professions, Paris, France Ulrich Furbach, University of Koblenz, Germany Didier Galmiche, Universite de Lorraine, Nancy, France Silvio Ghilardi, Universita degli Studi di Milano, Italy Rajeev Gore, Australian National University, Canberra, Australia Stephane Graham-Lengrand, Ecole Polytechnique, Palaiseau, France Reiner Haehnle, Darmstadt University of Technology, Germany Konstantin Korovin, University of Manchester, UK George Metcalfe, University of Bern, Switzerland Dale Miller, INRIA Saclay-Ile-de-France, France Barbara Morawska, Technische Universitaet Dresden, Germany Boris Motik, University of Oxford, UK Claudia Nalon, University of Brasilia, Brasil Sara Negri, University of Helsinki, Finland Linh Anh Nguyen, University of Warsaw, Poland Hans de Nivelle (chair), University of Wroclaw, Poland Jens Otten, University of Potsdam, Germany Andrei Popescu, Middlesex University London, UK Renate Schmidt, University of Manchester, UK Luca Vigano, King's College, London, UK Bruno Woltzenlogel-Paleo, Vienna University of Technology, Austria WORKSHOPS AND TUTORIALS ------------------------ Workshops have been solicited in separate call, which can be found on http://tableaux2015.ii.uni.wroc.pl or http://frocos2015.ii.uni.wroc.pl Tutorials for FroCoS/TABLEAUX will be solicited in a separate call, which will be published later. From geoff at cs.miami.edu Fri Feb 20 16:00:16 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 20 Feb 2015 10:00:16 -0500 (EST) Subject: TESTS AND PROOFS - Deadline extended Message-ID: <20150220150016.7CAC21214A6@mcclellan.cs.miami.edu> **************************************************** * * 9th International Conference * on * TESTS AND PROOFS (TAP 2015) * * http://tap2015.in.tum.de/ * * Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015 * http://www.disim.univaq.it/staf2015/ * **************************************************** * * Call for Papers * * Abstract submission: February 23, 2015 (extended) * Paper submission: February 27, 2015 (extended) * **************************************************** Scope ===== The TAP conference is devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. Testing and proving seem to be orthogonal techniques: Once a program has been proven to be correct then additional testing seems pointless; however, when such a proof in not feasible, then testing the program seems to be the only option. This view has dominated the research community for a long time, and has resulted in distinct communities pursuing the different research areas. The development of both approaches has led to the discovery of common issues and to the realization of potential synergy. Perhaps the use of model checking in testing was one of the first signs that a counterexample to a proof may be interpreted as a test case. Recent breakthroughs in deductive techniques such as satisfiability modulo theories, abstract interpretation, and interactive theorem proving have paved the way for new and practically effective methods of powering testing techniques. Moreover, since formal, proof-based verification is costly, testing invariants and background theories can be helpful to detect errors early and to improve cost effectiveness. Summing up, in the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of incompatibility and taking instead the best of what each of these software engineering domains has to offer. The TAP conference aims to bring together researchers and practitioners working in the converging fields of testing and proving by offering a generous forum for the presentation of ongoing research, for tutorials on established technologies and for informal discussions. Topics of Interest ================== Topics of interest cover theory definitions, tool constructions and experimentations, and include among others: - Bridging the gap between concrete and symbolic techniques, e.g. using proof search in satisfiability modulo theories solvers to enhance various testing techniques - Transfer of concepts from testing to proving (e.g., coverage criteria) and from proving to testing - Program proving with the aid of testing techniques - Verification and testing techniques combining proofs and tests - Generation of test data, oracles, or preambles by deductive techniques such as: theorem proving, model checking, symbolic execution, constraint logic programming - Model-based testing and verification - Generation of specifications by deduction - Automatic bug finding - Debugging of programs combining static and dynamic analysis - Case studies combining tests and proofs - Domain specific applications of testing and proving to new application domains such as validating security protocols, vulnerability detection of programs, security - Testing of verification environments and reasoning engines like solvers and theorem provers - New approaches such as crowd-sourcing and serious games to infer intended semantics and assess correctness - Formal frameworks - Tool descriptions and experience reports Important Dates: ================ Abstract submission: February 23, 2015 (extended) Paper submission: February 27, 2015 (extended) Notification: April 13, 2015 Camera-ready version: May 3, 2015 STAF conferences: July 20-24, 2015 Program Co-Chairs: =============== Jasmin C. Blanchette (TU Muenchen, Inria) Nikolai Kosmatov (CEA LIST) Program Committee: ================== Bernhard K. Aichernig Dirk Beyer Nikolaj Bjorner Jasmin C. Blanchette Achim D. Brucker Koen Claessen Robert Clariso Marco Comini Catherine Dubois Juhan Ernits Gordon Fraser Angelo Gargantini Christoph Gladisch Martin Gogolla Arnaud Gotlieb Reiner Haehnle Bart Jacobs Thierry Jeron Jacques Julliand Gregory Kapfhammer Nikolai Kosmatov Victor Kuliamin Panagiotis Manolios Karl Meinke Alexandre Petrenko Andrew Reynolds Martina Seidl Nikolai Tillmann T.H. Tse Margus Veanes Luca Vigano Burkhart Wolff Fatiha Zaidi Submission: =========== Please submit your papers via EasyChair: https://www.easychair.org/conferences/?conf=tap2015 From christian.guttmann at gmail.com Fri Feb 20 20:29:13 2015 From: christian.guttmann at gmail.com (Christian Guttmann) Date: Fri, 20 Feb 2015 20:29:13 +0100 Subject: FINAL CFP **EXTENDED DEADLINE** Sixth International Workshop on Collaborative Agents -- Research & Development (CARE) 2015 In-Reply-To: <979C628B-56B9-4D91-A822-086EDB2B05E2@me.com> References: <979C628B-56B9-4D91-A822-086EDB2B05E2@me.com> Message-ID: <54E78B09.20409@gmail.com> ************************************************************** FINAL CALL FOR PAPERS Sixth International Workshop on Collaborative Agents -- Research & Development (CARE) 2015 ** CARE for Social Apps and Ubiquitous Computing ** http://care-workshops.org/care2015 Istanbul, Turkey, May 4th, 2015 ************************************************************** The Collaborative Agents -- Research & Development, CARE for Social Apps and Ubiquitous Computing, will held in conjunction with the International Autonomous Agents and Multiagent Systems (AAMAS 2015) Important Dates =============== Deadline submission: February 23rd, 2015 (*) Notification of Acceptance: March 2nd, 2015 Workshop: Monday May 4th, 2015 (*) Please, enter title and abstract into Easychair the soonest. Workshop Organisers ================== Dr. Fernando Koch, SAMSUNG Research Institute, Brazil (fkoch at acm.org) Dr. Christian Guttmann, UNSW, Australia & IVBAR, Sweden & Karolinska Institute, Sweden (christian.guttmann at gmail.com) Summary ================ "CARE for Social Apps and Ubiquitous Computing" aims to discuss computational models of innovative social computing. Social Apps aim to promote social connectedness, user friendliness through natural interfaces, contextualisation, personalisation, and the ideal of invisible computing. We seek contributions of members in the industry and applied research in academia. The contributions shall apply AI and agent technology, including distributed AI, situatedness, local interaction, user profiling, social simulation, and others. The application domains include (not an exhaustive list): smart education, urban intelligence, emergency scenarios, continuous healthcare, coordination of large events, intelligent transportation, and others. The one day workshop will feature a mixture of invited talks, discussions and submitted contributions describing current work or work in progress in collaborative agent research and technology. The workshop environment fosters open discussions among all participants, particularly encouraging students to discuss their research topics and seek feedback from senior agent researchers. Previous workshop proceedings have been published by Springer as LNCS and CCIS. We intend to repeat this tradition from the fine contributions in this workshop. Research Questions ================== CARE is of interest to an academic and industrial research community that uses and extends AI and multi-agent systems. Topics of interest include with no limitation: - How to apply agents for the next generation Social Apps and Ubiquitous computing scenarios, including Ambient Intelligence, Urban Intelligence, Regulation of Social Behaviour, Collaborative Tasks, and others? - How to build a model of the features of individuals and groups in Social Apps environments? - How to construct agent-based models equipped to better perform in Social Apps environment? - How to construct agent-based models of social behaviour, aiming to understand, model, and influence complex behaviour, group behaviour, and the impact of micro-macro actions upon the system? - How can we make team members follow agreed procedures (Incentives? Or more fundamental, by designing a new market?) - How to build an effective monitoring-recognition-intervention framework in Social Apps? - How can we support/guide collaborative teams. How can we offer flexibility in how teams execute plans? - How can we make team members follow agreed procedures? Incentives? Or more fundamental, by designing a new market? - How to enable agents to form and follow joint agreements, guidelines and contracts in complex organisational and market driven domains (agreement adherence)? - How can adherence and variation be achieved under uncertain and incomplete information (comprehensive formation/maintenance framework)? - How to enable an effective communication infrastructure for collaborative care (possibly including humans and agents)? - How can transaction costs influence the social outcome of the system which is further influenced by the organisational context under which the collaboration takes place? Submission and Publication ========================== Submission is done electronically at Easychair: https://www.easychair.org/conferences/?conf=care2015. Submissions should be formatted according to LNCS specification and submitted as a PDF file. Instructions and templates can be found at: www.springer.de/comp/lncs/authors.html. CARE 2015 seeks three types of submissions: - Full paper of 8-12 pages. - Short paper of 4-6 pages (such as position and early result papers) are welcome with the option of extending it to a full paper for the post-proceedings. - Demo paper of 4-6 pages describing a demonstration. This work will then be presented in the demo session of the workshop. Submissions will be peer-reviewed by, at least, three reviewers per paper. Selection criteria will include relevance, significance, impact, originality, technical soundness, quality of presentation. Some preference may also be given to papers which address emergent trends or important common themes, or which enhance balance of workshop topics. From announce at cs.ucy.ac.cy Sat Feb 21 14:41:39 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 21 Feb 2015 15:41:39 +0200 Subject: LAST MILE: 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015) Message-ID: <3VN1PI5S-NSCB-T656-AOQ6-HRLWPNLBFNG3@cs.ucy.ac.cy> *** LAST MILE *** 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015) 15-17 June 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://www.cyprusconferences.org/wetice2015/ *** Firm Submission Deadline: 28 February 2015 *** The IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) is an international forum for the state-of-the-art research in enabling technologies for collaboration, consisting of a number of related conference tracks. The conference proceedings are published by IEEE Computer Society and are also available online through the IEEE's Xplore digital library. The proceedings will be submitted for indexing through INSPEC, Scopus, Compendex, Thomson Reuters, DBLP, Google Scholar and EI Index. The 24th WETICE edition, held on June 15-17, 2015 in Larnaca (Cyprus), consists of a set of self-contained and self-managed tracks. The Program Committee solicits the submission of papers to the following tracks: · ACEC - Adaptive Computing (and Agents) for Enhanced Collaboration · AROSA - Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures · CAGing - Collaborative and Autonomic Green Computing · CDCGM - Convergence of Distributed Clouds, Grids and their Management · COPECH - Collaboration tools for Preservation of Environment and Cultural Heritage · CPS - Capacity driven Processes and Services for Cyber Physical Society · CSP - Collaborative Software Processes · FISA - Future Internet Services and Applications (formerly PASCS and PROMASC) · FVSBS - Formal Verification of Service Based Systems · MADYNE - Management of Dynamic Networked Enterprises · VSC - Validating Software for Critical Systems · Web2Touch - Modeling the Collaborative Web Knowledge Prospective authors are invited to use the links available at the List of Tracks page of the WETICE 2015 main website (www.wetice.org) to get detailed information about the list of topics addressed by each single track. The paper submission procedure is carried out using the EasyChair conference management system; the link for submission is: https://easychair.org/conferences/?conf=wetice2015 IMPORTANT DATES · Submission deadline: February 28th, 2015 (firm) · Notification of acceptance: March 27th, 2015 · Camera-ready submission: April 10th, 2015 Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template, which is available at the link: http://www.ieee.org/conferences_events/conferences/publishing/templates.html Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. At least one author for each accepted paper should register and attend WETICE 2015 to have the paper published in the proceedings. Please contact the Program Chairs for any additional information or request. Andrea D'Ambrogio (dambro at uniroma2.it) Khalil Drira (khalil at laas.fr) WETICE 2015 Program Chairs -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sun Feb 22 08:50:42 2015 From: grlmc at urv.cat (GRLMC) Date: Sun, 22 Feb 2015 08:50:42 +0100 Subject: InfoSec 2015: registration deadline 3 March Message-ID: <91D0744C7619450FB3155F98B643166C@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************** INTERNATIONAL SUMMER SCHOOL ON INFORMATION SECURITY InfoSec 2015 Bilbao, Spain (please notice the change of location) July 6-10, 2015 Organized by Deusto University Rovira i Virgili University http://grammars.grlmc.com/InfoSec2015/ ********************************************************************** --- 3rd registration deadline: March 3, 2015 --- ********************************************************************** AIM: InfoSec 2015 will be a major research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of information security, which covers a large spectrum of current exciting academic research and industrial innovation. It refers to procedures to defend information from unauthorized access, use, modification, recording or destruction, with a critical role to play in order to avoid or minimize risks in the digital world. Renowned academics and industry pioneers will lecture and share their views with the audience. Most information security subareas will be displayed, namely: computer security, cryptography, privacy, cyber security, mobile security, network security, world wide web security, fraud prevention, data protection, etc. Main challenges of information security will be identified through 4 keynote lectures, 32 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. ADDRESSED TO: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific background knowledge may be required for some of them. InfoSec 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 4 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: InfoSec 2015 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be: DeustoTech, School of Engineering Deusto University Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Jan Camenisch (IBM Research, Zurich), Privacy in a Digital World: a Lost Cause? Hao Chen (University of California, Davis), (In)security of Mobile Apps in Untrusted Networks Jennifer Seberry (University of Wollongong), The Global Village: the Beginning of the Need for Computer Security [via videoconference] Gene Tsudik (University of California, Irvine), Off-line Proximity-based Social Networking PROFESSORS AND COURSES: N. Asokan (Aalto University), [intermediate] Mobile Security: Overview of Hardware Platform Security and Considerations of Usability Jan Camenisch (IBM Research, Zurich), [introductory/intermediate] Technologies to Protect Online Privacy Hao Chen (University of California, Davis), [intermediate/advanced] Security of the Mobile App Ecosystem Nicolas T. Courtois (University College London), [introductory/intermediate] Security of ECDSA in Bitcoin and Crypto Currency Claude Crépeau (McGill University, Montréal), [introductory/intermediate] Quantum Computation, Cryptography and Cryptanalysis Joan Daemen (ST Microelectronics Belgium, Diegem), [introductory/intermediate] Sponge Functions, Keccak and SHA-3 Sajal K. Das (Missouri University of Science and Technology, Rolla), [intermediate/advanced] Securing Cyber-Physical Systems: Challenges and Opportunities Sabrina De Capitani di Vimercati (University of Milan), [introductory/intermediate] Security and Privacy in the Cloud Hervé Debar (Télécom SudParis), [introductory/intermediate] Detection and Reaction to Attacks: from Intrusion Detection to Cyber-Defense David Evans (University of Virginia, Charlottesville), [introductory/intermediate] Secure Multiparty Computation: Techniques, Theory, and Tools for Building Privacy-Preserving Applications Rosario Gennaro (City University of New York), [intermediate/advanced] A Survey of Verifiable Delegation of Computation Trent Jaeger (Pennsylvania State University, University Park), [intermediate/advanced] How to Add Security Enforcement to Legacy Programs Somesh Jha (University of Wisconsin, Madison), [intermediate/advanced] Analysis Techniques in Information Security Antoine Joux (Pierre et Marie Curie University, Paris), [introductory/intermediate] Discrete Logarithms in Finite Fields Marc Joye (Technicolor R&I, Los Altos), [introductory/intermediate] Secure Public-Key Cryptosystems Lars R. Knudsen (Technical University of Denmark, Lyngby), [introductory/intermediate] Block Ciphers: the Workhorses in Cryptography Songwu Lu (University of California, Los Angeles), [introductory/intermediate] Cellular Network Security: Issues and Defenses Catherine Meadows (Naval Research Laboratory, Washington DC), [introductory/intermediate] Formal Analysis of Cryptographic Protocols Nasir Memon (New York University), [introductory/intermediate] User Authentication Ethan L. Miller (University of California, Santa Cruz), [intermediate/advanced] Securing Stored Data in a Connected World Stefano Paraboschi (University of Bergamo), [introductory/intermediate] Data Protection in Network-enabled Systems Bart Preneel (KU Leuven), [introductory/intermediate] Cryptology: State of the Art and Research Challenges Jean-Jacques Quisquater (Catholic University of Louvain), [introductory/intermediate] The History of RSA: from Babylon to Smart Cards Shantanu Rane (Palo Alto Research Center), [introductory/intermediate] Privacy-preserving Data Analytics: Problems, Solutions and Challenges Mark Ryan (University of Birmingham), [introductory/intermediate] Designing Security Protocols: Electronic Voting, and Electronic Mail Rei Safavi-Naini (University of Calgary), [introductory/intermediate] Information-theoretically Secure Communication Stefan Saroiu (Microsoft Research, Redmond), [advanced] Protecting Data on Smartphones and Tablets Using Trusted Computing Milind Tambe (University of Southern California, Los Angeles), [introductory/intermediate] Introduction to the Emerging Science of Security Games Gene Tsudik (University of California, Irvine), [intermediate/advanced] Security and Privacy in Candidate Future Internet Architectures Yang Xiao (University of Alabama, Tuscaloosa), [introductory/advanced] Security in Smart Grids Wenyuan Xu (University of South Carolina, Columbia), [intermediate] Security and Privacy Analysis of Embedded Systems Yuliang Zheng (University of North Carolina, Charlotte), [introductory] Cryptography and the Future of Money ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Martín-Vide (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/InfoSec2015/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be provided in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat ACKNOWLEDGEMENTS: Deusto University Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com From idsistworkshops at gmail.com Mon Feb 23 12:42:44 2015 From: idsistworkshops at gmail.com (HSP@HCIST'2015) Date: Mon, 23 Feb 2015 11:42:44 +0000 Subject: Fwd: Fwd: HSP@HCIST'2015 - Healthy and Secure People - Call For Papers In-Reply-To: <54E45297.4060106@gmai.com> References: <54E45297.4060106@gmai.com> Message-ID: <54EB1234.9070003@gmail.com> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon Feb 23 14:05:11 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 23 Feb 2015 08:05:11 -0500 (EST) Subject: LPAR-20 Call for Workshops Message-ID: <20150223130511.6E79E1214F6@mcclellan.cs.miami.edu> The 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR-20 University of the South Pacific, Suva, Fiji http://www.LPAR-20.org CALL FOR WORKSHOPS LPAR-20 workshops will be held either as one-day or half-day events. If you would like to propose a workshop for LPAR-20, please contact the workshop chair via email (Peter.Baumgartner at nicta.com.au), by the proposal deadline. To help planning, workshop proposals should contain the following data: - Name of the workshop. - Brief description of the workshop, including workshop topics. - Valid web address of the workshop. - Contact information of the workshop organizers. - An estimate of the audience size. - Proposed format of the workshop (for example, regular talks, tool demos, poster presentations, etc.). - Duration of the workshop (one-day or half-day). - Potential invited speakers (if any). - Procedures for selecting papers and participants. - Special technical or AV needs. Important dates --------------- Workshop proposals submission deadline: May 15, 2015 Notification of acceptance: June 1, 2015 Workshops: November 23, 2015 From schon at uni-koblenz.de Tue Feb 24 15:17:04 2015 From: schon at uni-koblenz.de (Claudia Schon) Date: Tue, 24 Feb 2015 15:17:04 +0100 Subject: CFP Bridging 2015 Message-ID: <2212CB6F-7AD1-4101-A62C-8F19DB5F4E2E@uni-koblenz.de> CALL FOR PAPERS [Apologies if you receive multiple copies of this announcement] [Please kindly help forward it to potentially interested attendees] Workshop on: Bridging the Gap between Human and Automated Reasoning located at CADE-25, Berlin, Germany, Aug 1, 2015 http://ratiolog.uni-koblenz.de/bridging.html Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. There are a lot of findings which are based on experimental data about reasoning tasks, among others models for the Wason selection task or the suppression task discussed by Byrne and others. This research is supported also by brain researchers, who aim at localizing reasoning processes within the brain. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. And indeed there is tremendous success during the last decades. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human reasoning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research. This workshop is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. Topics of interest include, but are not limited to the following: - limits and differences between automated and human reasoning - psychology of deduction - common sense reasoning - logics modeling human cognition - modeling human reasoning using automated reasoning systems - non-monotonic, defeasible, and classical reasoning and possible explanations for human reasoning - application fields of automated reasoning in the interaction with human reasoners The workshop will be held in conjunction with CADE-25. IMPORTANT DATES Submission deadline: May 1, 2015 Notification: May 22, 2015 Final Submission: June 5, 2015 Workshop: Aug 1, 2015 SUBMISSION AND CONTRIBUTION FORMAT Papers, including the description of work in progress are welcome and should be formatted according to the Springer LNCS guidelines. The length should not exceed 15 pages. All papers must be submitted in PDF. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.htm. The EasyChair submission site is available at: https://easychair.org/conferences/?conf=bridging15. PROGRAM COMITTEE/ORGANIZERS Ulrich Furbach, University of Koblenz Steffen Hölldobler, University of Dresden Gabriele Kern-Isberner, TU Dortmund University Kai-Uwe Kuehnberger, University of Osnabrück Marco Ragni, University of Freiburg Claudia Schon, University of Koblenz Natarajan Shankar, SRI International Keith Stenning, Edinburgh University Frieder Stolzenburg, Harz University of Applied Sciences Contact: Claudia Schon schon at uni-koblenz.de From idsistworkshops at gmail.com Wed Feb 25 08:54:00 2015 From: idsistworkshops at gmail.com (ISA@CSCC'2015) Date: Wed, 25 Feb 2015 07:54:00 +0000 Subject: =?UTF-8?B?SVNBQENTQ0PigJkyMDE1IC0gSW50ZWxsaWdlbnQgU3lzdGVtcyBhbmQ=?= =?UTF-8?B?IEFwcGxpY2F0aW9ucyAtIENhbGwgRm9yIFBhcGVycw==?= In-Reply-To: <54EB0FCB.4090604@dsi.uminho.pt> References: <54EB0FCB.4090604@dsi.uminho.pt> Message-ID: <54ED7F98.1060608@gmai.com> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From asdm at fi.upm.es Thu Feb 26 12:40:59 2015 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Thu, 26 Feb 2015 12:40:59 +0100 (CET) Subject: Tenth Advanced Statistics and Data Mining Summer School (Madrid, June 29th - July 10th, 2015) Message-ID: <125993742.7.1424950769486.JavaMail.Bojan@neurolab> Dear colleagues, The Technical University of Madrid (UPM) will once more organize the 'Advanced Statistics and Data Mining' summer school. The summer school will be held in Boadilla del Monte, near Madrid, from June 29th to July 10th. This year's edition comprises 12 week-long courses (15 lecture hours each), given during two weeks (six courses each week). Attendees may register in each course independently. No restrictions, besides those imposed by timetables, apply on the number or choice of courses. Early registration is now *OPEN*. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM Please, forward this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larranaga, Concha Bielza, Bojan Mihaljevic and Laura Anton-Sanchez. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 29th - July 3rd, 2015) * 1st session: 9:45-12:45 Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: GeNIe, Weka, Bayesia, R. Course 2: Time Series(15 h) Basic concepts in time series. Descriptive methods for time series. Linear models for time series. Extensions. Practical demonstration: R. 2nd session: 13:45-16:45 Course 3: Supervised Pattern Recognition (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Course 4: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and Hierarchical models. Model selection. Practical demonstration: R and WinBugs. 3rd session: 17:00 - 20:00 Course 5: Neural Networks and Deep Learning (15 h) Introduction. Training algorithms. Learning and Optimization. MLPs in practice. Deep Networks. Course 6: Unsupervised Pattern Recognition (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advise. Practical session: R. * Week 2 (July 6th - July 10th, 2015) * 1st session: 9:45-12:45 Course 7: Statistical Inference(15 h) Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrap methods. Introduction to Robust Statistics. Practical demonstration: R. Course 8: Bayesian Classifiers (15 h) Discrete predictors. Gaussian Bayesian networks-based classifiers. Other Bayesian classifiers. Bayesian classifiers for: positive and unlabeled data, semi-supervised learning, data streams, temporal data. Practical session: R. 2nd session: 13:45-16:45 Course 9: Text Mining (15 h) Introduction. Fundamentals. Language Modeling. String Processing. Text Classification. Information Extraction. Practical session: GATE (optionally, python). Course 10: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Advanced topics. Practical session: R and Weka. 3rd session: 17:00-20:00 Course 11: Support Vector Machines and Convex Optimization (15 h) Introduction. SVM models. SVM learning algorithms. Convex non differentiable optimization. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. From Christian.Kuster at gt-arc.com Fri Feb 27 10:25:51 2015 From: Christian.Kuster at gt-arc.com (Christian Kuster) Date: Fri, 27 Feb 2015 09:25:51 +0000 Subject: CfW: ICTH 2015 (Deadline extended to March 15th, 2015) Message-ID: <28636e31cdb14314878b871e9fd40abb@birke.dai-lab.de> *** Apologies if you receive multiple copies of this message *** ----------------- Call for Workshops Proposals ------------------------ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) 27-30 September, 2015 Berlin, Germany http://icth-15.dai-labor.de/ ------------------------------------------------------------------------------- Important Dates =============== - Workshop Proposal Due: March 15th, 2015 (extended) The ICTH-2015 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of ICTH-2015 and its related areas. All papers accepted for workshops will be included in the ICTH-2015 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in ICTH-2015 Website. The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues. Proposal Format =============== - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft Call for paper of the workshop - Tentative list of TPC members Workshops Chair =============== Dr. Zahoor Khan, Higher Colleges of Technology, UAE Email: zahoor.khan at hct.ac.ae -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaevent.org Fri Feb 27 10:35:30 2015 From: invitation at iariaevent.org (INTERNET 2015) Date: Fri, 27 Feb 2015 04:35:30 -0500 Subject: 2nd CfP: INTERNET 2015 || October 11 - 16, 2015 - St. Julians, Malta Message-ID: <1425029730806.3439@iariaevent.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 INTERNET 2015. The submission deadline is May 12, 2015. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== INTERNET 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS INTERNET 2015, The Seventh International Conference on Evolving Internet October 11 - 16, 2015 - St. Julians, Malta General page: http://www.iaria.org/conferences2015/INTERNET15.html Call for Papers: http://www.iaria.org/conferences2015/CfPINTERNET15.html Submission page: http://www.iaria.org/conferences2015/SubmitINTERNET15.html Contributions: - regular papers [in the proceedings, digital library] - short papers (work in progress) [in the proceedings, digital library] - ideas: two pages [in the proceedings, digital library] - extended abstracts: two pages [in the proceedings, digital library] - posters: two pages [in the proceedings, digital library] - posters: slide only [slide-deck posted at www.iaria.org] - presentations: slide only [slide-deck posted at www.iaria.org] - demos: two pages [posted at www.iaria.org] - doctoral forum submissions: [in the proceedings, digital library] Proposals for: - mini symposia: see http://www.iaria.org/symposium.html - workshops: see http://www.iaria.org/workshop.html - tutorials: [slide-deck posed on www.iaria.org] - panels: [slide-deck posed on www.iaria.org] Submission deadline: May 12, 2015 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org 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 INTERNET 2015 Topics (topics and submission details: see CfP on the site) Future Internet Architecture Architectures for the Internet of Things; Web of Things; Web of Things and Semantic; Internet of Things and Clouds internetworking; Network media, content and service orientation; Embedded Web Services (CoAP / Lightweight SOAP); Mobility and Future Internet; Pervasive Internet of Things; User-oriented, context-aware Internet of Things services; Location and discovery of things on the Internet; Crowd-sourcing and things; Trust, security and privacy in Internet of Things; Lightweight implementations of cryptographic stacks; Experiences with Open Platforms and hardware within Internet of Things; Internet of Vehicle (IOV) Advanced Internet mechanisms Access: call admission control vs. QoE vs. structural QoS / capability-based access control vs. role-based access control vs. attribute-based access control; Routing and pricing models: BGP, pricing peering agreements using microeconomics, topological routing vs. table-based routing vs. network coding, power-efficient routing; Optimization in P2P/CDN networks: peer placement for streaming P2P, analysis of P2P networks; Traffic engineering: estimating traffic matrices, constrained routing, exponentially bounded burstness; Behavioral traffic recognition: identifying applications from traffic behavior; Traffic analysis: methods for analysis and visualization of multidimensional measurements, characterizing protocols; Software defined radio networks: low power signal processing methods, applications of machine learning; Cognitive radio: medium access, spatiotemporality, complexity, spectrum sharing and leasing, channel selection, multi-stage pricing, cyclostationary signatures, frame synchronization; Streaming video: learning from video, techniques for in-network modulation; Location: statistical location, partial measurements, delay estimation Graph theory/topology/routing Internet support Information theory: distributed network coding, Shannon's entropy, Nash equilibrium; Optimization: LP, NLP, NeuroP, quadratic, convex programming, compressed sensing; Graph theory: random graphs, spectra graph theory, percolations and phase transitions, methods from statistical physics, geometric random graphs; Algebraic techniques: tensor analysis, matrix decomposition; Processing: signal processing techniques, equalization, point-process, source coding vs. network coding, recoverability; Statistical machine learning: probabilistic graphical models, classification, clustering, regression, classification, neural networks, support vector machines, decision forests; Game Theory/Microeconomic theory: social choice theory, equilibria, arbitrage and incentive oriented distributed mechanism design, cooperative games, and games on graphs; Stochastic network calculus; Fractal behavior and stability mechanisms; Kolmogorov complexity for performance evaluation; Complexity theory Internet security mechanisms Cryptography: design and analysis of cryptographic algorithms, applied cryptography, cryptographic protocols and functions; Specification, validation design of security and dependability: security and trust models, semantics and computational models for security and trust, business models in security management, security policies models, security architectures, formal methods for verification and certification, multi-level security specification; Vulnerabilities, attacks and risks: methods of detection, analysis, prevention, intrusion detection, tolerance, response and prevention, attacks and prevention of on-line fraud, denial of services attacks and prevention methods; Access Control: authentication and non-repudiation, accounting and audit, anonymity and pseudonymity; identity and trust management, biometric methods; Anti-malware techniques: detection, analysis, prevention; Cyber-crime response: anti-phishing, anti-spam, anti-fraud methods Internet trust, security, and dependability levels Network and transport level security; Network edge security controls: firewalls, packet filters, application gateways; Wireless and mobile network security: risks of wireless insecurity, wireless vulnerabilities and intrusion detection, WLAN and WMAN MAC layer security technologies, key management mechanisms and protocols, security in ad hoc, sensor, mesh and personal communication networks; Security of Internet protocols: routing security, naming, network management, signaling security, transport layer security; Network security policies: specification, implementation, deployment and management; Security of P2P and overlay/middleware systems; Security for multiple domains, large-scale systems and critical infrastructures; Applications and high level services security: Web-based applications and services, VoIP, multimedia streaming services, VoD and IPTV, collaborative applications (conferencing), electronic commerce and eBusiness, eVoting, grid computing, security of eGovern ment; Intellectual property protection: digital rights management, licensing, metering, watermarking, information hiding, implementations; Security services integration in complex architectures; Tradeoffs between security and efficiency, usability, reliability and cost. Internet performance Performance degradation and anomaly detection mechanisms; User-oriented performance metrics; Network and service provider-oriented performance metrics; Hybrid (chip and network) performance calculi; Intrusive and non-intrusive performance measurement mechanisms; Mechanisms for performance degradation-tolerant applications; Mechanisms for application performance and network performance; Performance enhancement mechanisms; Performance and traffic entropy algorithms; Performance prediction algorithms Internet AQM/QoS Buffer sizing, majorization, QoS routing, finite buffer queue vs. infinite buffer queue and performance; Control theoretic framework for modeling of TCP and AQM schemes; Discrete mathematics to model buffer occupancy at queues of a network (given workloads); Game theoretic modeling of AQMs (mathematics to model selfish traffic); Fairness models (proportional fairness, max-min fairness, low state global fairness); Optimization framework for congestion control, fairness and utility maximization; Modeling and simulation of large network scenarios using queuing theory Internet monitoring and control Visualization mechanisms; Sub-network/device isolation mechanisms; Control feedback mechanisms (limited feedback, delay and disruption tolerance, optimal and adaptive feedback); Optimal control; Adaptive behavior control; Network resiliency; Self-adaptable and tunable performance; Mechanisms for anticipative measurements and control Internet and wireless Capacity of wireless networks; Potential based routing; Algebraic techniques to mine patterns from wireless networks; QoS/QoE translation; Wireless ad hoc / mesh networks: MAC protocols, routing, congestion control, P2P CDNs on wireless meshes Internet and data streaming/mining algorithms Mathematics for clustering massive data streams; Randomized algorithms etc and impossibility results; Dimension reduction in metric spaces; Tensor and multidimensional algebraic techniques; Non linear dimension reduction; Optimal collector positioning; Data fusion and correlation algorithms Internet and sensor-oriented networks/algorithms Optimal sensor placement; Inference models for sensing; Congestion control; Resource allocation; Mathematics to model different diffusion processes and applications to routing; Algorithms for data fusion; Algorithms for computing dormant/active sending periods; Energy-driven adaptive communication protocols Internet challenges Future Internet architecture and design; Next generation Internet infrastructure; Internet cross-layer design and optimization; Internet security enforcement and validation; Future cross-Internet computing; Configurable Internet protocols; Internet-scale overlay content hosting; Internet citizen-centric services; End-user customizable Internet; Mobile Internet; Internet imaging; Internet coding; Internet resilience; Internet QoS/QoE; Context-aware, ambient, and adaptive Internet; Virtualization and Internet; Privacy Enhancing Technologies - PETs Access networks Next generation access technologies; Femtocells-based access; Broadband wireless; nternet access; Optical access networks; Mobile wireless access; Dynamic and cognitive access; Hybrid optical and wireless access networks; Copper Access; Giga/Tera Access; Access Control; Neutral Access Networks; Legal aspects on network and service access Committee: http://www.iaria.org/conferences2015/ComINTERNET15.html ================================================ To stop receiving notices about INTERNET, please reply with "DROP INTERNET 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 epontell at cs.nmsu.edu Fri Feb 27 11:51:16 2015 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Fri, 27 Feb 2015 03:51:16 -0700 Subject: EXTENDED DEADLINE: Practical Aspects of Declarative Languages (PADL'15) Message-ID: ================================== EXTENDED DEADLINE: MARCH 8th, 2015 ================================== Call for Papers =============== 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015) http://www.cs.nmsu.edu/padl15 Portland, Oregon, June 18-19, 2015 Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2015 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2015 will be co-located with the ACM Federated Computing Research Conferences, in Portland, Oregon. Important Dates and Submission Guidelines ========================================= Paper Submission: March 8, 2015 Notification: March 31, 2015 Camera-ready: April 15, 2015 Symposium: June 18-19, 2015 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2015 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2015 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL’15 will appear in the LNCS series of Springer Verlag. Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Enrico Pontelli and Son Cao Tran New Mexico State University, USA Email: epontell | tson cs nmsu edu From paliourg at iit.demokritos.gr Fri Feb 27 16:27:40 2015 From: paliourg at iit.demokritos.gr (George Paliouras) Date: Fri, 27 Feb 2015 17:27:40 +0200 Subject: BioASQ new tasks about to start Message-ID: <20ee01d052a1$ec82c5f0$c58851d0$@iit.demokritos.gr> BioASQ challenge on large-scale biomedical semantic indexing and question answering (part of the CLEF 2015 QA track to take place in Toulouse, France, 8-11 September, 2015) Web site: http://bioasq.org/ twitter: https://twitter.com/bioasq CLEF-QA site: http://nlp.uned.es/clef-qa/ The BioASQ challenge consists of two different tasks (Task 3a and Task 3b). If you are interested in any of the following areas: * Large-scale and hierarchical classification * Machine learning * Semantic Indexing, semantic similarity then you may want to participate in BioASQ Task 3a (large-scale biomedical semantic indexing). More information at http://bioasq.org/participate/challenges#Task3a. If you are working in any of the following areas: * Question answering from unstructured and structured data * Single and multi-document summarization * Information retrieval and passage retrieval * Semantic indexing, semantic similarity and reasoning * Machine learning, classification, learning to rank * Named-entity recognition and disambiguation * Information extraction, fact checking, relation extraction * Textual entailment * Natural-language generation then BioASQ Task 3b (biomedical semantic QA) is relevant to your work and you are invited to participate. Important dates: * Task 3a: Second batch is starting on March 9, 2015. New data sets will be released weekly and you can join anytime. * Task 3b: Starting in March 11, 2015 and releasing a new batch of test questions every two weeks. Detailed schedule at http://bioasq.org/participate/schedule Training data for both tasks available at http://participants-area.bioasq.org/ From publicity at ecmlpkdd2015.org Fri Feb 27 16:27:58 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Fri, 27 Feb 2015 15:27:58 -0000 Subject: ECMLPKDD 2015 : Call for Papers, Tutorials and Workshops Message-ID: <04f301d052a1$f9b9cca0$ed2d65e0$@ecmlpkdd2015.org> The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD) will take place in Porto, Portugal, from September 7th to 11th, 2015 (http://www.ecmlpkdd2015.org). This event is the leading European scientific event on machine learning and data mining and builds upon a very successful series of 25 ECML and 18 PKDD conferences, which have been jointly organized for the past 14 years. ECMLPKDD 2015 will host three tracks, tutorials and a set of workshops. Therefore, we invite all researchers and practitioners from different communities to submit papers and/or present tutorial and workshop proposals. ************************* CALL FOR PAPERS ************************* JOURNAL TRACK ********************* Articles for this track are submitted all year long directly to either Machine Learning or Data Mining and Knowledge Discovery, and are reviewed like regular journal articles. Accepted articles appear in full in the journal and the authors are given a presentation slot at the conference. Articles deemed insufficiently mature for journal publication may be accepted for inclusion in the proceedings. Submissions to the journal track will be managed by the Guest Editorial Board. Paper Submission: Cut-off dates for the bi-weekly batches are 18 Jan, 1 Feb, 15 Fev, 1 Mar, 15 Mar, 29 Mar, 12 Apr, 26 Apr of 2015 Web Page: http://www.ecmlpkdd2015.org/submission/journal-track RESEARCH PROCEEDINGS TRACK ******************************************* The research proceedings track, which is organized in the traditional way. Accepted papers will be published in the Lecture Notes in Artificial Intelligence (LNCS/LNAI) of Springer, after reviewing by the programme committee. Abstract Submission Deadline: March 26, 2015 Paper Submission Deadline: April 2, 2015 Paper Acceptance Notification: June 1, 2015 Paper Camera Ready Submission: June 15, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/research-proceedings-track INDUSTRIAL, GOVERNMENTAL & NON-GOVERNMENTAL PROCEEDINGS TRACK **************************************************************************** ************************** The NEW industrial, governmental & non-governmental (NGO) proceedings track is independent and distinct from the Research Track. Submissions to this track should solve real-world problems and focus on engineering systems, applications, and challenges. Accepted papers will be published in the Lecture Notes in Artificial Intelligence (LNCS/LNAI) of Springer, after reviewing by the programme committee. Abstract Submission Deadline: March 26, 2015 Paper Submission Deadline: April 2, 2015 Paper Acceptance Notification: June 1, 2015 Paper Camera Ready Submission: June 15, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/industrial-proceedings-track ***************************************************************** CALL FOR TUTORIAL AND WORKSHOP PROPOSALS ***************************************************************** TUTORIALS ************** The tutorials are intended to provide a comprehensive introduction to established or emerging research topics of interest for the machine learning and the data mining community. These topics include related research fields or applications. The ideal tutorial should attract a wide audience. It should be broad enough to provide a basic introduction to the chosen research area, but it should also cover the most important topics in depth. We welcome half day workshop proposals. Proposal Deadline: March 2, 2015 Proposal Acceptance Notification: March 23, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/call-for-tutorials WORKSHOPS **************** The workshops will be on relevant and current topics in Machine Learning and Data Mining. The scope of the proposal should be consistent with the conference themes as described in the ECMLPKDD 2015 Call for Papers (http://www.ecmlpkdd2015.org/submission). Interdisciplinary workshops that bring together researchers and practitioners from different communities are especially welcome. We encourage workshops that bridge the gap between theoretical advances and important and/or innovative applications of machine learning and data mining. We welcome both full and half day workshop proposals. Proposal Deadline: March 2, 2015 Proposal Acceptance Notification: March 23, 2015 Workshop Websites and Call for Papers Online: March 27, 2015 Workshop Proceedings (Camera-ready): August 3, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/call-for-workshop-proposals Hope to see you all soon in Porto, Portugal!!! The publicity chairs of the ECMLPKDD 2015, Carlos Abreu Ferreira Ricardo Campos --- Este e-mail foi verificado em termos de vírus pelo software antivírus Avast. http://www.avast.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Fri Feb 27 19:10:04 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 27 Feb 2015 13:10:04 -0500 (EST) Subject: Description Logics 2015 - Call for Papers Message-ID: <20150227181005.13A1A121469@mcclellan.cs.miami.edu> DL 2015: the 28th International Workshop on Description Logics, DL 2015 ======================================================================= The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The workshop will be held in Athens from June 7th to June 10th, 2015. Submission of papers under review for a conference with a double-blind submission policy ====================================================================== Extended abstracts of papers that are currently under revision for a conference with a double-blind submission policy (e.g., IJCAI) should be submitted anonymously, i.e., without names in the pdf file, to avoid violations of the double-blind submission policy. The names of the authors of such papers will not be revealed to the DL 2015 reviewers handling them. All other papers should list the author names in the pdf file, as usual for DL. Extended deadline ============== Paper registration deadline: March 9, 2015 (extended from March 2, 2015) Paper submission deadline: March 16, 2015 (extended from March 9, 2015) Notification of acceptance: April 17, 2015 Camera-ready copies: May 8, 2015 Workshop: June 7-10, 2015 Workshop Scope ============= We invite contributions on all aspects of description logics, including but not limited to: * Foundations of description logics: decidability and complexity of reasoning, expressive power, novel inference problems, inconsistency management, reasoning techniques, and modularity aspects * Extensions of description logics: closed-world and nonmonotonic reasoning, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, query answering, reasoning over dynamic information * Integration of description logics with other formalisms: object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems * Applications and use areas of description logics: ontology engineering, ontology languages, databases, ontology-based data access, semi-structured data, graph structured data, linked data, document management, natural language, learning, planning, Semantic Web, and cloud computing * Systems and tools around description logics: reasoners, software tools for and using description logic reasoning (e.g. ontology editors, database schema design, query optimisation, and data integration tools), implementation and optimisation techniques, benchmarking, evaluation, modelling Invited Speakers ============= * Carsten Lutz (TU Bremen) * Axel Polleres (TU Wien) * Maarten de Rijke (University of Amsterdam) Submissions ========== * Submissions may be either full papers of up to 11 pages (excluding references) presenting original research or extended abstracts of at most 3 pages (excluding references). There is no page limit on the list of references. * All submissions must be formatted in the Springer LNCS style. * Extended abstracts of papers under review for a conference with a double-blind submission policy should be submitted anonymously. * Extended abstracts are designed only for authors who wish to announce results that have been published elsewhere, or which the authors intend to submit or have already submitted to a venue with an incompatible prior / concurrent publication policy. Papers presenting original research should be submitted as regular submissions. * A clearly marked appendix (e.g., with additional proofs or evaluation data) may optionally be appended. It will be read at the discretion of the reviewers and not included in the proceedings. It does not need to be in LNCS format. * Authors submitting extended abstracts are encouraged to include such an appendix, with sufficient material (e.g. copy of the already published paper or technical report) to judge the scientific merit of the work described in the extended abstract. * Submission page: http://www.easychair.org/conferences/?conf=dl2015 * Accepted papers and extended abstracts will be made available electronically in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/). * Accepted submissions, be they full papers or extended abstracts, will be selected for either oral or poster presentation at the workshop. Submissions will be judged solely based upon their content, and the type of submission will have no bearing on the decision between oral and poster presentation. Organisation ========== * Diego Calvanese, Free University of Bozen-Bolzano (Programme co-Chair) * Boris Konev, University of Liverpool (Programme co-Chair) * Giorgos Stamou, National Technical University of Athens (Workshop co-Chair) * Giorgos Stoilos, National Technical University of Athens (Workshop co-Chair) Resources ========= * Information about submission, registration, travel information, etc., is available on the DL 2015 homepage: http://dl2015.image.ntua.gr * Enquiries about the DL 2015 workshop can be made by contacting the organising committee. * The official description logic homepage is at http://dl.kr.org/ From invitation at iariainfo.org Fri Feb 27 20:32:54 2015 From: invitation at iariainfo.org (ICWMC 2015) Date: Fri, 27 Feb 2015 11:32:54 -0800 Subject: 2nd CfP: ICWMC 2015 || October 11 - 16, 2015 - St. Julians, Malta Message-ID: <1425065574907.138@iariainfo.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 ICWMC 2015. The submission deadline is May 12, 2015. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICWMC 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICWMC 2015, The Eleventh International Conference on Wireless and Mobile Communications October 11 - 16, 2015 - St. Julians, Malta General page: http://www.iaria.org/conferences2015/ICWMC15.html Call for Papers: http://www.iaria.org/conferences2015/CfPICWMC15.html Submission page: http://www.iaria.org/conferences2015/SubmitICWMC15.html Contributions: - regular papers [in the proceedings, digital library] - short papers (work in progress) [in the proceedings, digital library] - ideas: two pages [in the proceedings, digital library] - extended abstracts: two pages [in the proceedings, digital library] - posters: two pages [in the proceedings, digital library] - posters: slide only [slide-deck posted at www.iaria.org] - presentations: slide only [slide-deck posted at www.iaria.org] - demos: two pages [posted at www.iaria.org] - doctoral forum submissions: [in the proceedings, digital library] Proposals for: - mini symposia: see http://www.iaria.org/symposium.html - workshops: see http://www.iaria.org/workshop.html - tutorials: [slide-deck posed on www.iaria.org] - panels: [slide-deck posed on www.iaria.org] Submission deadline: May 12, 2015 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org 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 ICWMC 2015 Topics (topics and submission details: see CfP on the site) Wireless Communications Basics Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Transform-domain communication; Multiple access algorithms and schemes; Antenna and RF subsystems; Smart antennas, adaptive antennas, MIMO and beam forming; MIMO and OFDM Based PHY Layer technologies; CDMA Systems Radio Interfaces and Systems Radio communications systems; Radio resource management; Radio transmission technologies; Power and interference control; Interference Cancellation for Wireless Mobile Systems; Power management for small terminals; Energy map; Channel Measurement and Characterization Spectrum Allocation and Management Spectrum efficiency analyses; Dynamic spectrum access networks; Spectrum management; Interference mitigation and management techniques Circuits for Wireless Communications Wireless ASICs; Wireless technologies; RF Design issues Wireless and Mobility Mobility management; Location-based services and positioning; Micro and macro-mobility; Mobility, location and handoff management; Mobile and wireless IP; Wireless broadband mobile access; Routing in multihop, ad hoc and sensor networks; Wireless multicasting; Wireless mesh networks; Topology control in wireless Protocols for wireless and mobility Wireless protocols, architectural and design concepts; Protocols for air interfaces and networks; Wireless MAC protocols: Design and analysis; Transport layer issues in mobile and wireless networks; Middleware for handhelds and mobile services nodes; Proxies and middleware for wireless networks Traffic and congestion control, QoS, Resource Management Traffic Modeling and Analysis; 3G/4G Bandwidth on Demand; QoS and mobility; End-to-end QoS; QoS profiling and pricing; Traffic Engineering; Congestion and admission control Wireless and mobile technologies Micro-mobility and macro-mobility; Wireless LANs; Home and Personal Area Networks: Bluetooth, ZigBeee, etc; Wireless MANs:802.16, 802.20; Wireless WANs: 2G/3G/4G; Mobile ad hoc networks and multi-hop wireless; Sensor networks and applications; Ultra-wideband and short-range networks; High altitude platforms and satellites; Emergency wireless communications; Wireless real-time communications; RFID systems (including readers and transponders in LF, HF and UHF bands) Performance Evaluation, Simulation and Modeling of wireless networks and systems Performance and QoS in wireless networks; Radio channel modeling (wave propagation and measurements); Mobile/wireless networks modeling and simulation; Performance of end-to-end protocols over wireless networks Management of wireless and mobile networks Mobility and QoS management; Billing technologies and tools; Policy Based Management in wireless LANS and MANs; Wireless and Mobile Network Planning; Mobile Database Access and Design Security in wireless and mobile environment Security and robustness in wireless networks; Privacy, Authentication Authorization and Accounting (AAA); Encryption and Cryptography; Key Management Protocols; Digital Rights Management and Multimedia Protection Networks convergence and integration 2G/3G/4G integration; Convergence of 3G wireless and Internet cross-layer design in wireless networks; WLAN/3G/4G integration; Wireless-wireline convergence; Heterogeneous Networks (WAN, Wireless MAN, WLAN); IP Multimedia subsystems (IMS); Next Generation Network Architecture- mobility issues; Coexistence of mobile radio networks; End to End QoS in Heterogeneous environment; Signaling for integrated wireline/wireless networks Applications and services based on wireless infrastructures Mobile & Wireless applications & services; Service discovery: protocols and frameworks; Personalized services and applications; Audio-visual and mobile multimedia applications; Media and content distribution over wireless networks Standardization and regulations Position on standards & fora on wireless and mobile networks; Wireless Networks Standards and Protocols; Communications regulations; 802.11 WLAN Standards; 802.16 WMAN Standards; 3GPP and 3GPP2 standards; HSDPA Technology and Standards; Next Generation Network standards Design and implementation Emerging wireless technologies; Cross-layer optimizations in wireless networks; Design and implementation of mobile information systems; Software defined radio and re-configurability; Joint PHY/MAC design Wireless and mobile network deployment Business models on wireless networks; Market trends and regional developments; M-commerce; Lessons learnt for wireless deployment in schools Lessons learnt for wireless deployment in special regions; Specialized wireless networks; Heterogeneous wireless network deployment (e.g., combining 802.11, 802.16 and 3G networks) Cooperative and Cognitive Vehicular Networks Architectures and platforms of cognitive vehicular network; Distributed artificial intelligence techniques for cognitive networks; Cognitive vehicular routing metrics and supporting protocols; Reduced complexity cognitive networks; Physical and MAC layer issues; Protocols design for cognitive vehicular networks; Cross-layer optimization in cognitive networks; Security issues for vehicular and cognitive networks; Testbed experiment, applications and new advances; Cooperative vehicular networks; QoS provisioning in heterogeneous networks ; Managing vertical handover; Multihoming; IPv6 GeoNetworking; Vehicular network architectures and protocols ; Cross-layer design and optimization for vehicular networks and cognitive networks; Mobility management and topology control; Standardization and Development of vehicular networks Convergence and social mobility Convergence of mobile networks with the Web 2.0; Convergence on architecture and services; Open service capabilities; Open exposure of telco capabilities; Open Web APIs, SOA and SDP); Interworking strategies; Mobile terminals as sources for User-generated content; Architecture and services for user-generated content; Auto-description and metadata synthesis for telecom-generated for user-generated content; Social mobile networks; User behavior profiling; Social connections (social graphs, contacts, etc); Services and architectures/solutions for social mobile services Committee: http://www.iaria.org/conferences2015/ComICWMC15.html ================================================ To stop receiving notices about ICWMC, please reply with "DROP ICWMC 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 grlmc at urv.cat Sat Feb 28 17:56:49 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 28 Feb 2015 17:56:49 +0100 Subject: AlCoB 2015: extended submission deadline 9 March Message-ID: <85382F7A518D485088EF3C918BE2440D@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: March 9 ***** ---------------------------------------------------------------------------- **************************************************************************** ****** 2nd INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2015 Mexico City, Mexico August 4-6, 2015 Organized by: Centre for Complexity Sciences (C3) School of Sciences Institute for Research in Applied Mathematics and Systems (IIMAS) Graduate Program in Computing Science and Engineering National Autonomous University of Mexico Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/alcob2015/ **************************************************************************** ****** AIMS: AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction. The conference will address several of the current challenges in computational biology by investigating algorithms aimed at: 1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species. Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career. VENUE: AlCoB 2015 will take place in Mexico City, the oldest capital city in the Americas and the largest Spanish-speaking city in the world. The venue will be the main campus of the National Autonomous University of Mexico. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks ... Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics ... Microbiome analysis Systems biology STRUCTURE: AlCoB 2015 will consist of: invited lectures peer-reviewed contributions INVITED SPEAKERS: Julio Collado-Vides (National Autonomous University of Mexico, Cuernavaca), >From Curation of Information to Knowledge Encoding Gaston Gonnet (Swiss Federal Institute of Technology, Zurich), Human-Dog-Mouse, Probably and Provable Non-trivial Evolution Close to the Root of the Mammalian Clade Peter D. Karp (SRI International, Menlo Park), Algorithms for Metabolic Route Search and Determination of Reaction Atom Mappings PROGRAMME COMMITTEE: Stephen Altschul (National Center for Biotechnology Information, Bethesda, USA) Yurii Aulchenko (Russian Academy of Sciences, Novosibirsk, Russia) Pierre Baldi (University of California, Irvine, USA) Daniel G. Brown (University of Waterloo, Canada) Yuehui Chen (University of Jinan, China) Keith A. Crandall (George Washington University, Washington, USA) Joseph Felsenstein (University of Washington, Seattle, USA) Michael Galperin (National Center for Biotechnology Information, Bethesda, USA) Susumu Goto (Kyoto University, Japan) Igor Grigoriev (DOE Joint Genome Institute, Walnut Creek, USA) Martien Groenen (Wageningen University, The Netherlands) Yike Guo (Imperial College, London, UK) Javier Herrero (University College London, UK) Karsten Hokamp (Trinity College Dublin, Ireland) Hsuan-Cheng Huang (National Yang-Ming University, Taipei, Taiwan) Ian Korf (University of California, Davis, USA) Nikos Kyrpides (DOE Joint Genome Institute, Walnut Creek, USA) Mingyao Li (University of Pennsylvania, Philadelphia, USA) Yun Li (University of North Carolina, Chapel Hill, USA) Jun Liu (Harvard University, Cambridge, USA) Rodrigo López (European Bioinformatics Institute, Hinxton, UK) Andrei N. Lupas (Max Planck Institute for Developmental Biology, Tübingen, Germany) B.S. Manjunath (University of California, Santa Barbara, USA) Carlos Martín-Vide (chair, Rovira i Virgili University, Tarragona, Spain) Tarjei Mikkelsen (Broad Institute, Cambridge, USA) Henrik Nielsen (Technical University of Denmark, Lyngby, Denmark) Zemin Ning (Wellcome Trust Sanger Institute, Hinxton, UK) Christine Orengo (University College London, UK) Modesto Orozco (Institute for Research in Biomedicine, Barcelona, Spain) Christos A. Ouzounis (Centre for Research & Technology Hellas, Thessaloniki, Greece) Manuel Peitsch (Philip Morris International R&D, Neuchâtel, Switzerland) David A. Rosenblueth (National Autonomous University of Mexico, Mexico City, Mexico) Julio Rozas (University of Barcelona, Spain) Alessandro Sette (La Jolla Institute for Allergy and Immunology, USA) Peter F. Stadler (University of Leipzig, Germany) Guy Theraulaz (Paul Sabatier University, Toulouse, France) Alfonso Valencia (Spanish National Cancer Research Centre, Madrid, Spain) Kai Wang (University of Southern California, Los Angeles, USA) Lusheng Wang (City University of Hong Kong, Hong Kong) Zidong Wang (Brunel University, Uxbridge, UK) Harel Weinstein (Cornell University, New York, USA) Jennifer Wortman (Broad Institute, Cambridge, USA) Jun Yu (Chinese Academy of Sciences, Beijing, China) Mohammed J. Zaki (Rensselaer Polytechnic Institute, Troy, USA) Louxin Zhang (National University of Singapore, Singapore) Hongyu Zhao (Yale University, New Haven, USA) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Francisco Hernández-Quiroz (Mexico City) Carlos Martín-Vide (Tarragona, co-chair) David A. Rosenblueth (Mexico City, co-chair) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=alcob2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference. A special issue of the Journal of Computational Biology (Thomson Reuters 2013 impact factor: 1.670) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/alcob2015/Registration.php DEADLINES: Paper submission: March 9, 2015 (23:59 CET) – EXTENDED – Notification of paper acceptance or rejection: April 10, 2015 Final version of the paper for the LNCS/LNBI proceedings: April 19, 2015 Early registration: April 19, 2015 Late registration: July 21, 2015 Submission to the journal special issue: November 6, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: AlCoB 2015 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: National Autonomous University of Mexico Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com From announce at cs.ucy.ac.cy Sat Feb 28 15:41:35 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 28 Feb 2015 16:41:35 +0200 Subject: The 20th IEEE Symposium on Computers and Communications (ISCC 2015): Call for Workshop Papers Message-ID: *** Call for Workshop Papers *** The 20th IEEE Symposium on Computers and Communications (ISCC 2015) 6-9 July 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://ieee-iscc.org/2015 *** Final Submission Deadline: March 30th, 2015 (firm) *** ISCC 2015, in its 20th anniversary, will provide an insight into the unique world stemming from the interaction between the fields of computers and communications. ISCC 2015 will provide an international technical forum for experts from industry and academia to exchange ideas and present results of ongoing research in most state-of-the-art areas of computer and communications. This year, special focus will be on the challenging issues and opportunities related to the computing, sensing and communication in the era of the Internet of Things, Cloud Computing and Big Data. The ISSC 2015 workshops cover topics such as 5G, Internet of Things, Software-Defined Networking, Big Data, Cloud Computing, M2M communications or Smart Grid. The purpose of these workshops is to provide a platform for presenting novel ideas in a less formal and possibly more sharply focused way than at the conference itself. All papers included in the ISCC 2015 workshops, will be submitted for inclusion in the conference proceedings published by IEEE. ISCC 2015 will feature the following workshops: · Management of Cloud and Smart city systems (MoCS 2015) · Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures (PEDISWESA 2015) · Smart City and Ubiquitous Computing Applications (SCUCA 2015) · Distributed Mobile Systems & Services (DMSS 2015) · A 5G Wireless Odyssey: 2020 (5G) · Security and Forensics in Communication Systems (SFCS 2015) More information about each workshop and submission guidelines can be found at each workshop's web site, accessible from the conference web site. Important Dates Paper Submission Deadline: March 30th, 2015 (firm) Notification of Paper Acceptance: April 12th, 2015 Submission of Camera-Ready Papers Due: April 17th, 2015 Day of Workshops: July 6th, 2015 General Co-Chairs Andreas Pitsillides, University of Cyprus, Cyprus Mahmoud Daneshmand, Stevens Institute of Technology, USA Technical Program Co-Chairs Vasos Vassiliou, University of Cyprus, Cyprus Honggang Wang, University of Massachusetts, Dartmouth, USA Local Arrangement Co-Chairs George Pallis, University of Cyprus, Cyprus George Papadopoulos, University of Cyprus, Cyprus Finance and Registration Co-Chairs Reda Ammar, University of Connecticut, USA Christos Douligeris, University of Piraeus, Greece Publication Co-Chairs Josephine Antoniou, University of Central Lancanshire, Cyprus Nicos Komninos, City University London, UK Keynote Speakers Co-Chairs Panayiotis Kolios, University of Cyprus, Cyprus Marios Lestas, Frederick University, Cyprus Workshop Co-Chairs Periklis Chatzimisios, Alexander Technological Educational Institute of Thessaloniki, Greece Andreas Kamilaris, University of Cyprus, Cyprus Massimo Villari, University of Messina, Italy Publicity Co-Chairs Habib M. Ammari, Univ. of Michigan-Dearborn, USA Chrysostomos Chrysostomou, Frederick University, Cyprus Mario Dantas, Universidade Federal de Santa Catarina, Brazil Salil Kanhere, University of New South Wales, Australia Ahmet Sekercioglu, Monash University, Australia Qing Yang, Montana State University, USA Steering Committee Reda Ammar, University of Connecticut, USA Antonio Corradi, University of Bologna, Italy Mahmoud Daneshmand, Stevens Institute of Technology, USA Christos Douligeris, Univ. of Piraeus, Greece Adel S. Elmaghraby, Univ. of Louisville, USA Hussein Mouftah, University of Ottawa, Canada Sartaj Sahni, University of Florida, USA Ahmed Tantawy, IBM, USA -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: