From pascal.hitzler at wright.edu Tue Jun 1 04:49:41 2010 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Mon, 31 May 2010 22:49:41 -0400 Subject: Journal 2nd CfP: Semantic Web Tools and Systems Message-ID: <4C047545.4090405@wright.edu> CALL FOR POSITION PAPERS AND PHD PROPOSALS 4th International Conference on Web Reasoning and Rule Systems (RR 2010) Bressanone/Brixen, Italy September 22-24, 2010 http://www.rr-conference.org/RR2010 Co-located with the Italian Workshop on Semantic Web Applications and Perspectives (SWAP) 2010. 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 2010 builds on the success of the first three International Conferences on Web Reasoning and Rule Systems (see http://www.rr-conference.org), held in Innsbruck, Austria (2007), Karlsruhe, Germany (2008), and Chantilly, Virginia, USA (2009), which received enthusiastic support from the Web Reasoning community. In 2010, RR will continue the excellence of the new series and aim to attract the best Web Reasoning and Rules researchers from all over the world. POSITION PAPERS submitted to the conference shall present a clearly defined and preferably controversial position concerning a topic of interest for the community. They shall stimulate discussion and critical assessment of the state of the art and of ongoing research trends. PHD PROPOSALS can only be submitted by PhD students and should contain either a PhD plan (for students at the beginning of their PhD research) or a summary of results achieved for a dissertation (for students at the end of their PhD research). In either case, the goal is to stimulate discussion with established researchers in the field as fruitful feedback to the student. Topics of interest include the following (but are not limited to): * Representation techniques for Web-based knowledge * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Foundations and applications related to relevant standardization bodies such as the W3C Rule Interchange Format (RIF), Web Ontology Language (OWL2) and SPARQL working groups, or the W3C Uncertainty Reasoning for the WWW Incubator Group, etc. * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the Web * Approximate reasoning techniques for the Web * Integration of statistical methods and symbolic reasoning * Stream reasoning * Semantic Web Services modeling and applications * Web and Semantic Web applications and experience papers SUBMISSION OF POSITION PAPERS AND PHD PROPOSALS Submissions must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (see http://www.springer.com/comp/lncs/Authors.html), and must be in PDF format. Submission is via EasyChair (http://www.easychair.org/conferences/?conf=rr2010). The length should not exceed 4 pages for position papers and PhD proposals. They should be clearly marked as such in the title and in the easychair submission system. Submissions that deviate substantially from these guidelines may be rejected without review. All accepted papers, posters, and system descriptions will be included in the proceedings. IMPORTANT DATES Submission deadline: June 8, 2010 Sccept/reject decisions: July 1, 2010 Camera-ready due: July 15, 2010 Last day for early registration fee: July 15, 2010 CONFIRMED INVITED SPEAKERS Georg Gottlob (Oxford University, UK) CONFIRMED TUTORIAL SPEAKER Axel Polleres (DERI Galway, Ireland) GENERAL CHAIR José Júlio Alferes (Universidade Nova de Lisboa, Portugal) PROGRAM CHAIRS Pascal Hitzler (Wright State University, USA) Thomas Lukasiewicz (Oxford University, UK) LOCAL ARRANGEMENTS Diego Calvanese (Free University of Bozen-Bolzano, Italy) Mariano Rodríguez-Muro (Free University of Bozen-Bolzano, Italy) SPONSORSHIP CHAIR Krzysztof Janowicz (Pennsylvania State University, USA) PROGRAM COMMITTEE Grigoris Antoniou (University of Crete, Greece) Marcelo Arenas (PUC Chile, Chile) Jie Bao (Rensselaer Polytechnic Institute, USA) Chitta Baral (Arizona State University, USA) Leopoldo Bertossi (Carleton University, Canada) Andrea Calì (Oxford University, UK) Vinay Chaudri (Stanford Research Institute, USA) Kendall Clark (Clark & Parsia, USA) Claudia d'Amato (University of Bari, Italy) Carlos Damasio (Universidade Nova de Lisboa, Portugal) Wlodek Drabent (IPI PAN Warszawa, Poland) Sergio Flesca (University of Calabria, Italy) Christine Golbreich (University of Versailles Saint-Quentin, France) Claudio Gutierrez (University of Chile, Chile) Stijn Heymans (TU Vienna, Austria) Rinke Hoekstra (VU Amsterdam, The Netherlands) Giovambattista Ianni (University of Calabria, Italy) Krzysztof Janowicz (Pennsylvania State University, USA) Natalya G. Keberle (Zaporozhye National University, Ukraine) Domenico Lembo (University of Rome "La Sapienza", Italy) Francesca A. Lisi (University of Bari, Italy) Gergely Lukácsy (DERI Galway, Ireland) Jan Maluszynski (University of Linköping, Sweden) Wolfgang May (University of Göttingen, Germany) Ralf Möller (TU Hamburg, Germany) Boris Motik (Oxford University, UK) Wolfgang Nejdl (LS3 and University of Hannover, Germany) Matthias Nickles (University of Bath, UK) Andrea Pugliese (University of Calabria, Italy) Guilin Qi (Southeast University, China) Sebastian Rudolph (University of Karlsruhe, Germany) Alan Ruttenberg (ScientificCommons, Switzerland) Michael Sintek (DFKI GmbH, Kaiserslautern, Germany) Umberto Straccia (ISTI-CNR Pisa, Italy) Heiner Stuckenschmidt (University of Mannheim, Germany) Terrance Swift (SUNY Stony Brook, USA) Sergio Tessaris (Free University of Bozen, Italy) Dirk Vermeir (University of Brussels, Belgium) Zhe Wu (Oracle, USA) FURTHER INFORMATION For further information refer to the RR 2010 web site at http://www.rr-conference.org/RR2010 -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From lorini at irit.fr Tue Jun 1 13:46:20 2010 From: lorini at irit.fr (lorini at irit.fr) Date: Tue, 1 Jun 2010 13:46:20 +0200 (CEST) Subject: Call for participation TIDIAD2010@ESSLLI2010 Message-ID: <49554.141.115.12.57.1275392780.squirrel@websecu.irit.fr> Call for Participation: TIDIAD2010 at ESSLLI2010, 16-20 August 2010, Copenaghen We cordially invite you to participate in the Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue (TIDIAD 2010) as part of the European Summer School on Logic, Language and Information ESSLLI 2010. All workshop participants will be required to register for ESSLLI 2010 through the ESSLLI website http://esslli2010cph.info/ The deadline for early registration to ESSLLI 2010 is June 1. A list of papers accepted to TIDIAD 2010 workshop is accessible through the workshop website http://www.irit.fr/~Laure.Vieu/Esslli10 The TIDIAD 2010 chairs, Emiliano Lorini and Laure Vieu From mhuertass at uoc.edu Tue Jun 1 20:47:41 2010 From: mhuertass at uoc.edu (Maria Antonia Huertas Sanchez) Date: Tue, 01 Jun 2010 20:47:41 +0200 Subject: PhD 3-year Scholarships Message-ID: <2024319868.5544351275418089217.JavaMail.root@vilafranca> PhD 3-year Scholarships Internet Interdisciplinary Institute (IN3) –Universitat Oberta de Catalunya in Barcelona The IN3 invites applications for its Interdisciplinary English-speaking PhD programme in the Society of Information and Communication in different itineraries: Network and Information Technologies e-Learning Successful applicants will be part of the IN3 and join a vibrant, internationally oriented research community specialized in the investigation of the network society, the knowledge economy or the e-leaning methodologies as well as in the study of network technologies and specific areas of software. Staff at IN3 is composed by full-time researchers, professors at the Open University of Catalonia and international visiting professors. For further information about the IN3, please visit http://in3.uoc.edu/web/IN3. Applicants having a minimum of 300 ECTS credits (60 must be at postgraduate level) can access directly the PhD programme with a 3-year scholarship. Further info: http://in3.uoc.edu/web/IN3/doctorat/convocatoria_acces/oferta_de_places.html Inquiries: ddoctorat at uoc.edu Deadline: 13th June 2010 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From robert at grid.chu.edu.tw Tue Jun 1 21:05:37 2010 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Wed, 2 Jun 2010 03:05:37 +0800 Subject: Call For Papers - TAAI 2010, November 18-20 (Taiwan) Message-ID: <201006011905.o51J5bDH000578@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jpms at ucd.ie Tue Jun 1 20:40:31 2010 From: jpms at ucd.ie (Joao Marques-Silva) Date: Tue, 01 Jun 2010 19:40:31 +0100 Subject: Post-Doc Positions at Univ. College Dublin. Message-ID: <4C05541F.2090306@ucd.ie> The Complex and Adaptive Systems Laboratory at University College Dublin is opening three post-doctoral positions in the area of Boolean-based constraint solving and optimization. The post-doctoral researchers will be involved in developing new decision and optimization procedures for Satisfiability Modulo Theories (SMT) and Boolean Satisfiability (SAT). Applicants should have a PhD degree in Computer Science or related discipline. Experience with tool development is desirable. The post-doctoral researcher appointments will be for either 1 or 3 years. The salary for post-doctoral researchers varies between 37750 EUR and 46255 EUR, depending on experience. More information is available at http://www.csi.ucd.ie/staff/jpms/vacancies/ and at http://www.ucd.ie/hr/jobvacancies/. The deadline for applications is June 11. Informal enquiries should be directed to Joao Marques-Silva (http://www.csi.ucd.ie/staff/jpms/). From bulling at in.tu-clausthal.de Wed Jun 2 07:03:16 2010 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Wed, 2 Jun 2010 07:03:16 +0200 Subject: CfP: IBERAMIA 2010 (Extended Deadline) Message-ID: <6F153602-1F95-4B7D-B91B-622D03888F0F@in.tu-clausthal.de> CALL FOR PAPERS IBERAMIA 2010 DUE TO NUMEROUS REQUESTS THE DEADLINE FOR PAPER ACCEPTANCE HAS BEEN EXTENDED AS FOLLOWS: Deadline for abstract submission: June 12, 2010 () Deadline for paper submission: June 19, 2010 Notification of acceptance: July 17, 2010 Deadline for camera-ready papers: July 27, 2010 PLEASE NOTICE THAT NO PAPERS WILL BE ACCEPTED UNLESS THEY SEND THE CORRESPONDING ABSTRACT ON THE SPECIFIED DATES. Info: http://cs.uns.edu.ar/iberamia2010/ IBERAMIA 2010 is the 12th edition of the Ibero-American Conference on Artificial Intelligence, a leading symposium where the Ibero-American AI community comes together to share research results and experiences with researchers in Artificial Intelligence from all over the world. IBERAMIA 2008 will be held in Bahía Blanca, Argentina, November 1-5,2010, organized by the Department of Computer Science and Engineering (DCSE-UNS), Universidad Nacional del Sur, Argentina. The conference is sponsored by the main Ibero-American Artificial Intelligence and Computer Science societies. IBERAMIA welcomes submissions on mainstream AI topics, as well as novel cross cutting work in related areas. Topics may include but are not limited to the following: * Cognitive modeling and human interaction * Commonsense reasoning * Constraint satisfaction * Evolutionary computation and Artificial Life * Game playing and interactive entertainment * Information integration and extraction * Knowledge acquisition and ontologies * Knowledge representation and reasoning * Machine learning and data mining * Model-based systems * Multiagent Systems * Argumentation * Natural language processing * Planning and scheduling * Probabilistic reasoning * Robotics, vision, and pattern Recognition * Search * Semantic web * Distributed AI * AI in Education * Uncertainty and Fuzzy Systems * Genetic Algorithms and Neural Networks Papers must be written in English, and will be reviewed on the basis of their relevance, significance of the contribution, originality, technical soundness, quality and clarity. As in previous years, accepted papers will be published in the series "Advances in Artificial Intelligence" of Springer-Verlag LNAI. PAPER SUBMISSION DETAILS ------------------------ Submitted papers must not exceed 10 pages, including all tables, figures, and references and are required to be formatted in the Springer LNCS format (see http://www.springer.de/comp/lncs/authors.html). Submissions over ten pages will be rejected without review. Papers must be submitted to EasyChair's administration address . All submissions will go through a peer review process, with three independent PC members reviewing each submission. Reviewing will be blind, so author names and affiliations must be omitted from the submission, using instead the unique tracking number assigned by the conference system at the time of submission. In addition, self-references in the text, like "in [Garcia 2004], we prove that" should be avoided, using instead references such as "in [Garcia 2004] has been proved that". Info: http://cs.uns.edu.ar/iberamia2010/ =============================================================== Steering Committee Francisco Garijo, Telefónica I+D, Spain Helder Coelho, University of Lisboa , Portugal Christian Lemaître, UAM, Mexico Federico Barber, AEPIA, Spain Jaime Sichman, SBC, Brazil Carlos Alberto Reyes García, SMIA, Mexico Program Committee Program Chair: Angel Kuri, ITAM, México Local Chair: Federico Simari WorkShop Chair: Guillermo Simari, Universidad Nacional del Sur, Argentina Student Chair: José Galaviz, UNAM, México From geoff at cs.miami.edu Wed Jun 2 15:03:20 2010 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 2 Jun 2010 09:03:20 -0400 (EDT) Subject: LPAR-17 extended submission deadlines Message-ID: <20100602130320.E307711FA08@mcclellan.cs.miami.edu> ============================================================ The 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ============================================================ Yogyakarta, Indonesia - October 10th-15th, 2010 http://www.computational-logic.org/lpar-17/Home.html EXTENDED DEADLINES --- EXTENDED DEADLINES --- EXTENDED DEADLINES ---------------------------------------- Abstract submission deadline - 14th June Paper submission deadline - 18th June ---------------------------------------- EXTENDED DEADLINES --- EXTENDED DEADLINES --- EXTENDED DEADLINES 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 17th LPAR will be held in Yogyakarta, Indonesia. Conference Chair: Steffen Hoelldobler Programme Chairs: Chris Fermueller, Andrei Voronkov Submissions of two kinds are welcome: * Regular papers that describe solid new research results. * Experimental and tool papers that describe implementations of systems, report experiments with implemented systems, or compare implemented systems. See the web site http://www.computational-logic.org/lpar-17/Home.html for all the details. =============================================================================== LPAR-17 WORKSHOPS October 10th, 2010 ============================================================ APS 5 - 5th International Workshop on Analytic Proof Systems ============================================================ http://www.logic.at/staff/chrisf/ws/LPAR-AS-5.html Analyticity is a topic that connects foundational issues in logic with applications, mainly in automated deduction and analysis of proofs. The workshop is primarily intended to enhance awareness for its topic and to promote corresponding discussions and contacts between experienced experts and younger colleagues. The submission deadline is 10th September. Organizers: Matthias Baaz, Christian Fermueller ========================================================================== IWIL 2010 - The 8th International Workshop on the Implementation of Logics ========================================================================== http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html IWIL has been unusually sucessful in bringing together many talented developers, and thus in sharing information about successful implementation techniques for automated reasoning systems and similar programs. We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. The submission deadline is 9th August. Organizers: Evgenia Ternovska, Stephan Schulz, Geoff Sutcliffe =============================================================================== From Thomas.Agotnes at infomedia.uib.no Wed Jun 2 15:55:44 2010 From: Thomas.Agotnes at infomedia.uib.no (=?ISO-8859-1?Q?Thomas_=C5gotnes?=) Date: Wed, 2 Jun 2010 15:55:44 +0200 Subject: CFP: Workshop on Logics for Resource-Bounded Agents (extended deadline) Message-ID: <767D2C04-DED1-428E-80CC-570492E137EA@infomedia.uib.no> CALL FOR PAPERS The Third Workshop on Logics for Resource-Bounded Agents (LRBA) (with special emphasis on awareness and limited reasoning) http://www.agents.cs.nott.ac.uk/events/lrba10 To be held as part of Multi-Agent Logics, Languages, and Organisations -- Federated Workshops (MALLOW 2010) in Domaine Valpr, Lyon, France, from the 30th of August to the 3rd of September, 2010 http://mallow2010.emse.fr/ AIMS AND SCOPE Formal models of knowledge and belief, as well as other attitudes such as desire or intention, have been extensively studied. However, most of the treatments of knowledge and belief make strong and idealised assumptions about the reasoners. For example, traditional epistemic logic say that agents know all logical consequences of their knowledge. Similarly, logics of action and strategic interaction are usually based on game theoretic models which assume perfect rationality. Models based on such assumptions can be used to describe ideal agents without bounds on resources such as time, memory, etc, but they fail to accurately describe non-ideal agents which are computationally bounded. The workshop aims to provide a forum for discussing possible solutions to the problem of formally capturing the properties of knowledge, belief, action, etc. of non-idealised resource-bounded agents. We are particularly interested in formal models of agents' limited reasoning and (un)awareness (there will be a publication on this topic following the workshop, see below). TOPICS Topics include, but are not limited to, logical models of: * limited awareness and unawareness * logically non-omniscient agents in general * explicit knowledge and belief * algorithmic knowledge * temporal logics of reasoning * active logics * knowledge and belief of reasoners with bounds on reasoning time, memory, or other resource bounds (e.g. bandwidth, sensing limitations) * other attitudes, such as desire, intention, etc., under bounded resources * paraconsistency * rational choice under bounded resources * games under bounded resources, e.g. bounded recall, incomplete information, limited awareness of the structure of the game IMPORTANT DATES Submission deadline: 21 June 2010 (extended) Notification of acceptance: 5 July 2010 Camera-ready: 2 August 2010 Workshop: 30 August - 3 September 2010 PUBLICATION Accepted papers will appear in informal pre-proceedings published by MALLOW. Following the workshop, authors are invited to submit extended revisions of their papers for publication in a volume in the Synthese Library series, on awareness and limited reasoning, edited by T. Agotnes, N. Alechina, B. Logan, and G. Sillari. SUBMISSION GUIDELINES Authors are invited to submit a full paper. Submissions should not exceed 15 pages in LaTeX 11pt article style. The following formats are accepted: pdf, ps. Please submit on line at http://www.easychair.org/conferences/?conf=lrba2010 Any equiries to lrba10 at cs.nott.ac.uk ORGANIZING COMMITTEE Thomas Agotnes (University of Bergen, Norway) Natasha Alechina (University of Nottingham, UK) Brian Logan (University Nottingham, UK) PROGRAMME COMMITTEE Thomas Agotnes (University of Bergen, Norway) Natasha Alechina (University of Nottingham, UK) Sergei Artemov (CUNY, USA) Nils Bulling (Clausthal University of Technology, Germany) Michael Fisher (University of Liverpool, UK) Chiara Ghidini (FBK-irst, Italy) Joe Halpern (Cornell University, USA) Paul Harrenstein (Ludwig Maximilians Universitat Munchen, Germany) Wiebe van der Hoek (University of Liverpool, UK) Brian Logan (University of Nottingham, UK) Rohit Parikh (Brooklyn College CUNY, USA) Burkhard Schipper (UC Davis, USA) Giacomo Sillari (University of Pennsylvania, USA) From robert at grid.chu.edu.tw Wed Jun 2 17:27:49 2010 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Wed, 2 Jun 2010 23:27:49 +0800 Subject: UIC 2010 Workshops - CFP (Xi\'an, China, 26-29 October) Message-ID: <201006021527.o52FRnH1013416@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.artikis at gmail.com Fri Jun 4 10:06:00 2010 From: a.artikis at gmail.com (Alexander Artikis) Date: Fri, 4 Jun 2010 11:06:00 +0300 Subject: 2nd CFP: ACM TIST Special Issue on Agent Communication Message-ID: Call for Papers Special Issue on Agent Communication ACM Transactions on Intelligent Systems and Technology Agent communication research seeks to address challenges in the development of applications involving multiple autonomous and heterogeneous agents. Agent communication differs from communication as studied in traditional distributed systems in its emphasis of high-level abstractions that enable flexible interaction yet support verifying compliance. Broad applications include business interactions, contracts and compliance, virtual enterprises, negotiation, argumentation and decision support, and so on. We invite quality submissions that develop new insights, high-level abstractions, patterns, languages, formal theories, reasoning, and methodologies for communication in multiagent systems. Broad topics include Protocols Dialogs and argumentation Virtual organizations, institutions Commitments, norms, and other social concepts Trust and deception Correctness properties and their verification Tying communication with agent design and execution strategies Architecture, middleware, patterns, and programming language support Standardization of communication primitives Application-specific modeling and insights Key Dates *July 25, 2010 - Submissions* October 15, 2010 - Decisions December 15, 2010 - Final versions Publication - Early 2011 Submission On-Line Submission (will be available before July 25, 2010): http://mc.manuscriptcentral.com/tist (please select Special Issue: Agent Communication as the manuscript type). Each paper will be reviewed by at least three expert reviewers. Details of the journal and manuscript preparation are available on at http://tist.acm.org/ Guest Editors Amit K. Chopra (also Contact editor) University of Trento, Italy chopra at disi.unitn.it Alexander Artikis National Centre for Scientific Research Demokritos, Greece a.artikis at iit.demokritos.gr Jamal Bentahar Concordia University, Canada bentahar at ciise.concordia.ca Frank Dignum Utrecht University, The Netherlands dignum at cs.uu.nl From Tina.Balke at uni-bayreuth.de Fri Jun 4 12:14:36 2010 From: Tina.Balke at uni-bayreuth.de (Tina Balke) Date: Fri, 4 Jun 2010 12:14:36 +0200 Subject: Call for submissions to the Student Session @ EASSS 2010 Message-ID: Apologies for multiple copies. Please Distribute this Call for Papers of European Agent Systems Summer School (EASSS) Student Session 12th European Agent Systems Summer Saint-Etienne, France August 23rd - 27th, 2010 Call for submissions to the Student Session All students are cordially invited to participate in the Student Session of EASSS'10. The European Agent Systems Summer School aims to offer a valuable forum for knowledge exchange between various research groups in its field for the benefit of students and researchers at both beginner and advanced level. The success of the summer school series is essential not only for the mutual benefit of research groups, but also in forming future generations of researchers to maintain the excellence of Agents research and development in Europe. EASSS attracts about 100 students each year. The school provides a wide range of state-of-the-art courses given by the most prominent researchers in the area. A typical course has 4 hours in total and they are broad enough to provide a general introduction to the chosen topic, whilst also covering the most important contributions in depth. Courses are expected to take a wide perspective of the research being done by various groups active in research on the specific topic of the course. Within this context, the Student Session is designed to encourage student interaction and feedback from the tutors. By providing the students with a conference-like setup, both in the presentation and in the review process, students have the opportunity to prepare their own submission, go through the selection process (peer review) and possibly present their work to themselves and their interests to their fellow students as well as internationally leading experts in the agent field, both from the theoretical and the practical sector. All submissions will be peer-reviewed and accepted paper submissions will be assigned a 20 minute slot for presentation. Typically a presentation will either detail the intended approach to a problem or ask a specific question, directed at the audience. In addition, selected submission authors will be given the opportunity to present their work in form of a poster that will be displayed at EASSS'10. Moreover, all accepted submissions will be published in online proceedings. As the goal is to provide the speakers with constructive feedback and a way to be introduced to the community, the competitive elements often found in conferences (best paper award, best presentation award) are intentionally omitted. The peer review will focus not on the magnitude of the presented material but on the clarity of the formulated material or whether or not the posed question is of relevance to a majority of students. Giving a good presentation is a difficult task, practicing it is the benefit of this session. The extent to which the audience has understood the details should be the criterion by which the presentations are judged. Deadlines: July 4th Sun: Abstract Submission (optional) July 6th Tue: Strict submissions deadline July 30th Fri: Notification to authors August 13th Fri: Camera-ready version due August 23rd Mon: Start Summer School Submission Details: - Topics are not limited but they should match with the scope of EASSS'10 Summer School. - Papers should describe student's works at student level. · Only students can be authors, supervisors are strongly encouraged to, motivate there students to participate and supervise the quality there works. - At least one of the authors will have to register as a participant at the EASSS 2010. - Submissions can be either long or short papers. · Short papers: must not exceed 4 pages including references and appendix. Accepted papers will be presented in a poster session. · Long papers: up to 8 pages including references and appendix. Accepted papers will be presented orally (20 minutes slot) and, optionally, in a poster session. - All accepted submissions will be published in online proceedings. - Submitted article must use the AAMAS style (see http://www.cse.yorku.ca/AAMAS2010/#content=camera_ready for more details) in either .pdf or .ps format. - Please use the EasyChair website (http://www.easychair.org/conferences/?conf=sseasss10) for your submission. If you're interested in promoting the EASSS'10 student Session at your institution feel free to forward or download, print and distribute the flyer. For any suggestion or further questions regarding the student session, email students-easss2010 at emse.fr. Please mention EASSS'10 in the subject. Regards Student Session PC Chairs Tina Balke Universität Bayreuth, Germany tina.balke at uni-bayreuth.de Reda Yaich Ecole des Mines de Saint-Etienne, France yaich at emse.fr -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From robert at grid.chu.edu.tw Sun Jun 6 05:28:48 2010 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Sun, 6 Jun 2010 11:28:48 +0800 Subject: IEEE CloudCom Call For Papers (Nov 30 ~ Dec 3, 2010, Indianapolis, Indiana, USA) Message-ID: <201006060328.o563SmAk008561@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From robert at grid.chu.edu.tw Sun Jun 6 15:51:37 2010 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Sun, 6 Jun 2010 21:51:37 +0800 Subject: IEEE GLOBECOM 2010 Workshop on Web and Pervasive Security (WPS\'10, Miami, USA, 6-10 December 2010) Message-ID: <201006061351.o56Dpb54014245@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bernhard.schandl at univie.ac.at Mon Jun 7 12:22:21 2010 From: bernhard.schandl at univie.ac.at (Bernhard Schandl) Date: Mon, 7 Jun 2010 12:22:21 +0200 Subject: Final Call for Submissions: Linked Data Triplification Challenge 2010 Message-ID: (sorry for cross-posting) * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Call for Submissions: Linked Data Triplification Challenge 2010 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * --- DEADLINE ONE WEEK AHEAD: June 14th, 2010 --- Patron: Tim Berners-Lee Sponsors: Wolters Kluwer Germany, The Semantic Universe The yearly organized Linked Data Triplification Challenge awards prizes to the most promising application demonstrations and approaches in three fields related to Linked Data. For the success of the Semantic Web it is from our point of view crucial to overcome the chicken-and-egg problem of missing semantic representations on the Web and the lack of their utilization within concrete applications, to solve real-world problems. The Triplification Challenge aims to expedite this process by raising awareness and showcasing best practices. 3,000 EUR in prize money will be awarded to the winners of the open track and the special Open Government Data track. The challenge is open to anyone interested in applying Semantic Web and Linked Data technologies. This might include students, developers, researchers, and people from industry. Individual or group submissions are both acceptable. Submission deadline is 14th June 2010. Submissions =========== 3,000 EUR in prize money will be given to the most promising applications, newly published datasets and methodological approaches built upon Linked Data. Participants can choose between an Open Track and a special Open Government Data Track. Open Track ---------- The Open Track is sponsored by Wolters Kluwer Germany and Semantic Universe. In the Open Track we envision submissions in three categories: * Novel data sets that are published as part of the Web of Data, according to Linked Data principles, and demonstrating potential benefit of use within applications; * Novel generic mechanisms, approaches, and technologies that convert certain types and formats of information into triples, interlink them to other data sets, and expose them as Linked Data; * Applications showcasing the benefits of Linked Data to end-users such as for information syndication, specialized search, browsing, or augmentation of content. Open Government Data Track -------------------------- Participants are to design and build a web application that makes use of open government datasets. Any dataset qualifies that is produced by any government in the world. These can relate i.e. to environmental data, cadastral and geographic data, traffic data, historical data, public speeches, laws, demographics, election data, campaigning, corporate spending on political messaging etc. The source need not be any particular national government nor any particular level of government (local, state, provincial, federal, etc). At least one source must adhere to the principles of Linked Open Data. Mashups of raw and linked data are allowed and welcome. Format ====== Submissions must be original and must not have been submitted for publication elsewhere. Articles should follow the ACM ICPS guidelines for formatting and must be submitted via the online submission system as PDF documents (other formats will not be accepted). For the camera-ready version, we will also need the source files (Latex, Word Perfect, Word). Submissions should not exceed 3 pages. The descriptions should be submitted electronically via the submission system by May 18th, 2010. Eligible descriptions submissions will be included in the proceedings of the I-Semantics conference. Nominations for the Triplification Challenge should be presented at the conference by their authors. Under certain circumstances (e.g. undergraduate student or open-source community contribution) the conference fee will be waived for a nominee on special request. Important Dates =============== * June 14th, 2010: Submission of descriptions * June 28th, 2010: Notification of nomination * July 12th, 2010: Camera-ready version * September 1st to 3rd, 2010: Main Conference Contact and Further Information =============================== Triplification Challenge Website: I-Semantics Website: Contact: Bernhard Schandl From nalon at unb.br Mon Jun 7 18:07:06 2010 From: nalon at unb.br (Claudia Nalon) Date: Mon, 07 Jun 2010 13:07:06 -0300 Subject: LSFA 2010 - Deadline extension Message-ID: <4C0D192A.5030307@unb.br> LSFA 2010 - 5th Workshop on Logical and Semantic Frameworks, with Applications Call for Papers Scope Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for formal specification of systems and programming languages, supporting tool development and reasoning. The objective of this one-day workshop is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side. In this fifth edition, the workshop will be in August the first, jointly with ICTAC (http://www.iist.unu.edu/ICTAC/ictac2010/) in Natal-Rn, Brazil. Topics of interest to this forum include, but are not limited to: * Logical frameworks * Proof theory * Type theory * Automated deduction * Semantic frameworks * Specification languages and meta-languages * Formal semantics of languages and systems * Computational and logical properties of semantic frameworks * Implementation of logical and/or semantic frameworks * Applications of logical and/or semantic frameworks LSFA'10 also aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. Submissions to the workshop will in the form of full papers. The proceedings are produced only after the meeting, so that authors can incorporate this feedback in the published papers. The publication of LSFA proceedings is planned to be a volume of ENTCS (under consideration by ENTCS editorial board). Selected papers, will be published in a special volume by ISTE (http://www.iste.co.uk/) Invited Speakers Natarajan Shankar (SRI International, USA) Ruy de Queiroz (CIN-UFPE, Brazil) Freek Wiedijk (Radboud University Nijmegen, Netherlands) Program Committee * Flávio Leonardo Cavalcanti de Moura (General Chair, UnB-Brazil) * Luis Farinas del Cerro (Program co-chair, IRIT, France) * Edward Hermann Haeusler (Program co-chair, PUC-Rio, Brazil) * Jonathan Seldin (Univ-Lethbridge , Canada) TBC * Maurício Ayala-Rincón (UnB, Brazil) * Christiano de Oliveira Braga (UFF, Brazil) * Mario Benevides (Coppe-UFRJ, Brazil) * Eduardo Bonelli ( UNLP, Argentina) * Marcelo Corrêa (IM-UFF, Brazil) * Clare Dixon (Liverpool, UK) * Gilles Dowek (Polytechnique-Paris, France) * William Farmer (Mcmaster, Canada) * Maribel Fernández (King's College, UK) * Marcelo Finger (IME-USP, Brazil) * Fairouz Kamareddine (Heriot-Watt Univ, UK) * Delia Kesner (Paris-Jussieu, France) * Luis da Cunha Lamb (UFRGS, Brazil) * Joao Marcos (UFRN, Brazil) * Ana Teresa Martins (UFC, Brazil) * Martin Musicante (UFRN, Brazil) * Cláudia Nalon (UnB, Brazil) * Luca Paolini (Universitá di Torino, Italy) * Elaine Pimentel (UFMG, Brazil) Important dates: * Submission 13th June 2010 (NEW) * Author's notification 8th July 2010 (NEW) * Camera-ready: 30th July * Workshop : 31st August Contributions should be written in English and submitted in the form full papers with at most 16 pages. They must be unpublished and not submitted simultaneously for publication elsewhere. The submission should be in the form of a PDF file uploaded to LSFA2010 page at EasyChair(https://www.easychair.org/account/signin.cgi?conf=lsfa10) until the submission deadline by midnight, Central European Standard Time (GMT+1). The papers should be prepared in latex using Elsevier ENTCS style. Please see the Instructions for Preparing Files for Preliminary Versions Instructions for styles and examples. Instructions and the Latex package used to format your submission can be found in http://www.entcs.org/prelim.html Organizing Committee * Flávio Leonardo Cavalcanti de Moura (General Chair, UnB-Brazil) * Martin Musicante (UFRN, Brazil) * Edward Hermann Haeusler (PUC-Rio, Brazil) * Cláudia Nalon (UnB, Brazil) * Marcelo Corrêa (IM-UFF, Brazil) -- Cláudia Nalon ---------------------------------------------------- Departamento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília Contato: +55 61 3107 6390 From marek at cs.uky.edu Sun Jun 6 12:55:16 2010 From: marek at cs.uky.edu (Victor Marek) Date: Sun, 6 Jun 2010 06:55:16 -0400 Subject: Please distribute Message-ID: <20100606105516.GA19445@cs.uky.edu> Colleagues, Please distribute the following. Thanks, VWM ======================= FINAL CALL FOR PAPERS 30 Years of Nonmonotonic Logic - International Conference Lexington, KY, USA October 22 (Friday) - October 25 (Monday), 2010. http://sites.google.com/site/nonmonat30/ The publication of the seminal issue on Nonmonotonic Logics by the Artificial Intelligence Journal in 1980 resulted in the new area of research in Knowledge Representation. This development changed the paradigm of logic originated in antiquity, created an important area of mathematical logic, and resulted in exciting discoveries of logical techniques creating new bridges between logic, knowledge representation and computation. The research contributed to mathematical logic, computer science and philosophy, and changed the perspective on applications of logic. This conference aims to sum up the experience of the first 30 years of nonmonotonic logics and map paths into the future. It will interleave longer invited talks covering all major research trends of the past 30 years with shorter technical presentations providing an account of the current research. Invited presentations will be published in an edited book by the College Publications (http://www.collegepublications.co.uk/). A special issue of the Journal of Artificial Intelligence Research (JAIR; http://www.jair.org/) will provide a venue for technical presentations (a detailed CFP for the special issue will be distributed at a later time; a rigorous peer review process in-line with JAIR quality standards will be followed). INVITED TALKS The following researchers will deliver invited presentations at the meeting: Chitta Baral Alexander Bochman James Delgrande Marc Denecker Thomas Eiter Dov Gabbay Michael Gelfond Georg Gottlob Michael Kaminski Daniel Lehmann Nicola Leone Vladimir Lifschitz Fangzhen Lin Jack Minker Ilkka Niemela David Pearce Teodor Przymusinski Jeffrey Remmel Eric Sandewall Torsten Schaub ORIGINAL TECHNICAL PAPERS We invite papers in all areas of nonmonotonic reasoning, and especially encourage submissions underlying the role of nonmonotonic reasoning in artificial intelligence and knowledge representation. PROGRAM COMMITTEE Gerhard Brewka (co-Chair) Eyal Amir Salem Benferhat Richard Booth Pedro Cabalar Yannis Dimopoulos Wolfgang Faber Norman Foo Martin Gebser Tony Hunter Tomi Janhunen Victor Marek (co-Chair) Tommie Meyer Maurice Pagnucco Henry Prakken Chiaki Sakama Ken Satoh Evgenia Ternovska Michael Thielscher Mirek Truszczynski (co-Chair) Joost Vennekens Stefan Woltran Mingyi Zhang ORGANIZATION G. Brewka (brewka at informatik.uni-leipzig.de) V. Marek (marek at cs.uky.edu) M. Truszczynski (mirek at cs.uky.edu) IMPORTANT DATES (for the original technical contributions track) Paper submission: July 11 (Monday) Acceptance Decision: September 6 (Monday) Final Version (for on-line proceedings): October 3 (Monday) FORMAT AND SUBMISSION Preferred format: pdf (prepared using LaTeX with llncs style), maximum length: 15 pages. Paper Submission by EasyChair: The name of the conference at EasyChair is: NonMon at 30. Conference page: http://sites.google.com/site/nonmonat30/ ============ Victor W. Marek Department of Computer Science marek at cs.uky.edu University of Kentucky marek at cs.engr.uky.edu Lexington, KY 40506-0046 859-257-3496 (office) 859-257-3961 (Dept) http://www.cs.uky.edu/~marek 859-323-1971 (FAX) From wjamroga at in.tu-clausthal.de Tue Jun 8 09:57:25 2010 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Tue, 08 Jun 2010 09:57:25 +0200 Subject: CfP: Special issue of JANCL on Logical Aspects of MAS Message-ID: <4C0DF7E5.2000308@in.tu-clausthal.de> [With apologies for multiple copies] SPECIAL ISSUE OF THE JOURNAL OF APPLIED NON-CLASSICAL LOGICS ON LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS CALL FOR SUBMISSIONS The Journal of Applied Non-classical Logics (JANCL) invites high quality submissions of original research or survey papers to the special issue on Logical Aspects of Multi-Agent Systems, to be published in early 2011. TOPICS The following is a non-exclusive list of specific topics in the focus of the special issue: - Logical modeling of MAS - Logical systems for specification, analysis, and reasoning about MAS - Deductive systems and decision procedures for logics for MAS - Algorithmic methods for formal verification of MAS - Applications of logics in MAS. SUBMISSION INSTRUCTIONS The papers should be typeset in LATEX, using the JANCL style, obtainable from http://www.irit.fr/JANCL/. By default, each submission is limited to 25 pages. Should you need more space, please contact the guest editors of the special issue. The submissions must be sent electronically, as PDF files, to lamas at uni.lu . They should contain affiliations and contact details of the authors, and an abstract of up to 1 page. All submissions will be subjected to a standard refereeing procedure for JANCL. GUEST EDITORS OF THE SPECIAL ISSUE Valentin Goranko, Technical University of Denmark Wojciech Jamroga, University of Luxembourg DEADLINES Paper submission: September 15, 2010 Notification: November 30, 2010 Final version: January 15, 2011 ENQUIRIES For any questions regarding the special issue please contact the guest editors by sending email to lamas at uni.lu . -- Dr. habil. Wojciech Jamroga Faculty of Science, Technology and Communication University of Luxembourg http://www2.in.tu-clausthal.de/~wjamroga/ From georgev at aegean.gr Tue Jun 8 13:32:51 2010 From: georgev at aegean.gr (George Vouros) Date: Tue, 8 Jun 2010 14:32:51 +0300 Subject: Extended Deadline: COIN @ MALLOW 2010 References: Message-ID: Apologies for cross-postings. >News: Extended Deadline and Call for position papers Please find the CfP attached in PDF ========================= COIN at MALLOW 2010 CALL FOR PAPERS Coordination, Organization, Institutions and Norms in Multi-Agent Systems @ MALLOW 2010 (COIN at MALLOW2010) Domaine Valpré in Lyon, France 30th August – 2nd September, 2010 http://ai-lab-webserver.aegean.gr/coin at mallow2010/index.htm AIMS and SCOPE The development of complex AI systems with heterogeneous and diverse knowledge is a challenge. System components must interact, coordinate and collaborate to manage scale and complexity of task environments targeting persistency and maybe, evolution of systems. Managing scale and complexity requires organized intelligence; in particular intelligence manifested in organizations of components, by individual strategies or collective behaviour. System architects have to consider: the inter-operation of heterogeneously designed, developed or discovered components (agents, objects/artefacts, services provided in an open environment); inter-connection which cross legal, temporal, or organizational boundaries; the absence of global objects or centralised controllers; the possibility that components will not comply with the given specifications; and embedding in an environment which is likely to change, with possible impact on individual and collective objectives. The convergence of the requirement for intelligence with these operational constraints demands: coordination: the collective ability of heterogeneous and autonomous components to arrange or synchronise the performance of specified actions in sequential or temporal order; rational and open organization: a formal structure supporting or producing intentional forms of coordination, capable of managing changes in the environment in which it operates; institution: an organization where (inter alia) the performance of designated actions by empowered agents produces conventional outcomes; and norms: standards or patterns of behaviour in an institution established by decree, agreement, emergence, and so on. The automation and distribution of intelligence is the subject of study in autonomous agents and multi-agent systems; the automation and distribution of intelligence for coordination, organization, institutions and norms is the specialised interest of COIN at MALLOW2010. The COIN at MALLOW 2010 workshop is part of the COIN series of workshops. WORKSHOP GOALS The goal of the workshop is to bring together researchers in autonomous agents and multi-agent systems and other related fields (like web services, semantic web and service oriented architectures), working on the scientific and technological aspects of organizational theory, electronic institutions, norms and computational economies from an organizational or institutional perspective. We seek to attract high-quality papers addressing all mathematical, logical and computational perspectives of, modelling, animation and simulation techniques for these types of multi-agent systems, addressing also their actual implementation. Through various information and opinion exchange mechanisms before, during and after the workshop, we hope to generate new ideas, consolidate and develop an (already) active community, highlight future challenges and opportunities, and lead/define (at least part of) the future research agenda. TOPICS Topics of particular interest for COIN at MALLOW2010 will include: * Organizations, institutions and norms for managing scale, openness and complexity * Organizations, institutions and norms and Service Oriented Computing/ Architectures; * Logics, languages and tools for specifying coordination and norms, implementing or simulating organizations and institutions; * Formal lifecycle models: formation, maintenance, and dissolution of organizations and institutions; * Law of electronic institutions: regulatory compliance, penalty and sanctions, dispute resolution and conflict prevention; * Agent environments: physical and institutional 'resources' for physical capability and institutional power; * Formal methods for specifying coordination and organizational structures; models for verification, validation and visualisation; * Non-normative behaviour, error-recovery, and reliable computing with unreliable components; * Frameworks and protocols for organised and organisational adaptation; * Discovery, openness and inter-operation in organizations and institutions; * Analysis of issues in the emergence, evaluation (as fit-for- purpose), compliance to and evolution of norms; * Mixed human-agent coordination and institutions in embedded systems and virtual worlds. NEW>> Given that we would like to have a very interactive workshop where authors can compare and discuss their ideas we invite also the submission of "position papers" on COIN topics (please add a footnote in the title of the paper to state that it is a position paper). These papers will be included in the preliminary proceedings distributed at the meeting. Revised and extended versions of those papers may be submitted in order to go through another round of the review process and being considered for the 2010 COIN Volume that will be published in the Springer LNCS series. VENUE The workshop will be part of the MALLOW2010 (Autonomous Agents and Multi-Agent Systems) workshop programme, and will take place at Domaine Valpré in Lyon, France. Full details are available at http://mallow2010.emse.fr/index.html. PROCEEDINGS Preliminary proceedings will be available at the workshop. As with previous COIN workshops, revised and extended versions of the papers of both the two 2010 workshops (this one an COIN at AAMAS2010 ) will be published in a single Springer LNCS volume. Those revised versions must take into account the discussion held during the workshop, hence, only those papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. IMPORTANT DATES • June 16, 2010: Submission of Papers (Extended) • July 08, 2010: Notification of Acceptance/ Rejection • July 30, 2010: Submission of Camera-Ready Copies • 30 Aug – 02 Sept, 2010: Workshop INSTRUCTIONS FOR AUTHORS Given that the post-proceedings will be published in Springer LNC the papers should be formatted following Springer-Verlag's guidelines, available here. The length of each paper including figures and references should not exceed 16 pages. All papers must be written in English and submitted in PDF format. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the workshop to present the work. For submission of papers, please use: http://www.easychair.org/conferences/?conf=coinMALLOW2010 WORKSHOP OFFICIALS Workshop Chairs: Nicoletta Fornara (University of Lugano, Switzerland) George Vouros (University of the Aegean, Greece) Programme Committee: Alexander Artikis (National Centre for Scientific Research Demokritos, Greece) Guido Boella (University of Torino, Italy) Olivier Boissier (ENS Mines Saint-Etienne, France) Rafael Bordini (Federal University of Rio Grande do Sul, Brazil) Amit Chopra (University of Trento, Italy) Antonio Carlos da Rocha Costa (Univ. Federal do Rio Grande FURG, Brazil) Marina De Vos (University of Bath, UK) Virginia Dignum (Delft University of Technology, The Netherlands) Jomi Fred Hubner (Federal University of Santa Catarina, Brazil) Christian Lemaitre (Universidad Autonoma Metropolitana, Mexico) Henrique Lopes Cardoso (Universidade do Porto, Portugal) Eric Matson (Purdue, USA) John-Jules Meyer (Utrecht University, The Netherlands) Pablo Noriega (IIIA-CSI, Spain) Eugenio Oliveira (Universidade do Porto, Portugal) Andrea Omicini (Universita di Bologna) Sascha Ossowski (URJC, Spain) Julian Padget (University of Bath, UK) Jeremy Pitt (Imperial College, London) Juan Antonio Rodriguez Aguilar (IIIA-CSIC, Spain) Jaime Sichman (University of Sao Paulo, Brazil) Munindar P. Singh (North Carolina State University, USA) Viviane Torres da Silva (Universidade Federal Fluminente, Brazil) Kostas Stathis (Royal Holloway, University of London, UK) Paolo Torroni (University of Bologna, Italy) Leon van der Torre (University of Luxembourg, Luxembourg) Birna van Riemsdijk (Delf University of Technology, The Netherlands) Wamberto Vasconcelos (University of Aberdeen, UK) Javier Vazquez-Salceda (University Politecnica de Catalunya, Spain) Mario Verdicchio (University of Bergamo) Danny Weyns (Katholieke Universiteit Leuven) Pinar Yolum, Bogazici University, Turkey Coin Steering Committee: Guido Boella (University of Torino, Italy) Olivier Boissier (ENS Mines Saint-Etienne, France) Nicoletta Fornara (University of Lugano, Switzerland) Christian Lemaitre (Universidad Autonoma Metropolitana, Mexico) Eric Matson (Purdue University, USA) Pablo Noriega (Artficial Intelligence Research Institute, Spain) Sascha Ossowski (Universidad Rey Juan Carlos, Spain) Julian Padget (University of Bath, UK) Jeremy Pitt (Imperial College London, UK) Jaime Sichman (University of Sao Paulo, Brazil) Wamberto Vasconcelos (University of Aberdeen, UK) Javier Vázquez Salceda (Universitat Politecnica de Catalunya, Spain) George Vouros (University of the Aegean, Greece) -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : cfp.pdf Dateityp : application/pdf Dateigröße : 149895 bytes Beschreibung: nicht verfügbar URL : -------------- nächster Teil -------------- From jean at ensma.fr Tue Jun 8 14:44:17 2010 From: jean at ensma.fr (=?ISO-8859-1?Q?St=E9phane_Jean?=) Date: Tue, 08 Jun 2010 14:44:17 +0200 Subject: Deadline extension - The 11th International Conference on Web Information Systems Engineering (WISE 2010) In-Reply-To: <4B5EF766.5000605@ensma.fr> References: <4B5EF766.5000605@ensma.fr> Message-ID: <4C0E3B21.4040406@ensma.fr> Apologies for multiple postings =========================================================================================== The 11th International Conference on Web Information Systems Engineering (WISE 2010) http://conference.cs.cityu.edu.hk/wise2010/ December 12-14, 2010 Hong Kong, China Hosted by: City University of Hong Kong, WISE Society CALL FOR PAPERS =========================================================================================== The aim of this eleventh edition of the conference series on Web Information Systems Engineering is to provide an international forum for researchers, professionals, and industrial practitioners to share their knowledge in the rapidly growing area of Web technologies, methodologies and applications. Previous WISE conferences were held in Hong Kong, China (2000), Kyoto, Japan (2001), Singapore (2002), Roma, Italy (2003), Brisbane, Australia (2004), New York, USA (2005), Wuhan, China (2006), Nancy, France (2007), Auckland, New Zealand (2008), and Poznan, Poland (2009). The proceedings of WISE 2010 will be published in 2 separate volumes by Springer in its Lecture Notes in Computer Science series, with best papers to be recommended for publication in special issues of international journals. Topics of interests include but not limited to: - Cloud, Grid Computing and P2P Systems; - Deep/Hidden Web; - Event Processing and Event-driven Systems; - Mobile Web and Location-based Services; - Rich Web UI; - Semantic Web; - Web Agents and Web Intelligence; - Web Data Integration; - Web Data Mashup; - Web Data Models; - Web Information Retrieval; - Web Metrics and Performance; - Web Mining and Web Warehousing; - Web Monitoring and Management; - Web Security and Trust Management; - Web-based Business Processes and Web Services; - Web-based Enterprise Systems and Transactions; - Web Tools and Languages; - Web Visualisation; - XML and Semi-structured Data; and - Web-based Applications (eg, Auction and Negotiation, e-Commerce, e-Government, e-Learning, etc.). Paper Submission ================ Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All papers will be refereed by at least three members of the program committee. All submitted papers MUST be formatted according to the author guidelines provided by Springer and MUST NOT be longer than 14 pages. Full Paper Submission Deadline:* June 30, 2010 (EXTENDED)* Conference Co-chairs ==================== Qing Li, City U of Hong Kong Karl Aberer, EPFL, Switzerland Dennis McLeod, USC, USA PC Co-chairs ============ Lei Chen, HKUST, Hong Kong Peter Triantafillou, U of Patras, Greece Torsten Suel, NYU Poly, USA Organization Chair ================== Hong Va Leong, PolyU, Hong Kong Workshop Co-chairs ================== Dickson Chiu, Dickson Computer Sys., HK Ladjel Bellatreche, ENSMA-Poitiers U, France Publicity Co-chairs =================== Hua Wang, U Southern Queesland, Australia Raymong Wong, HKUST, Hong Kong Stephane Jean, Poitiers U, France Feifei Li, Florida State U., USA Finance Chair ============= Xiaohua Jia, City U of Hong Kong Steering Committee Representatives ================================== Yanchun Zhang, Victoria U, Australia Xiaohua Jia, City U of Hong Kong -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From richard.booth at uni.lu Tue Jun 8 22:25:28 2010 From: richard.booth at uni.lu (Richard Booth) Date: Tue, 8 Jun 2010 22:25:28 +0200 Subject: Final Call for Papers - BNAIC 2010 Message-ID: Apologies for multiple postings ------------- FINAL CALL FOR PAPERS - BNAIC 2010 SUBMISSION DEADLINE JUNE 13 BNAIC 2010 The 22nd Benelux Conference on Artificial Intelligence Luxembourg, October 25-26 2010 http://bnaic2010.uni.lu Organised by: Computer Science and Communication Research Unit (CSC), University of Luxembourg Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg Centre de Recherche Public Henri Tudor Introduction BNAIC is an international scientific conference for research in Artificial Intelligence. The BNAIC conferences series was initiated in 1988 by the Netherlands Association for Artificial Intelligence (later incorporating Belgium and Luxembourg to become the Benelux Association for AI) in order to promote research in AI among Benelux AI researchers, scientists and engineers in related disciplines. This year we are delighted to bring BNAIC for the first time to the Grand Duchy of Luxembourg. According to the success of previous years, BNAIC 2010 will include invited speakers, research and industry presentations and project demonstrations. Invited speakers Jerome Lang (CNRS, Universite Paris-Dauphine, France) Michael Mateas (University of California, Santa Cruz, USA) Topics Authors are invited to submit papers on all aspects of artificial intelligence. Possible topics of submissions include, but are not limited to: * AI for Ambient Intelligence * AI for Games & Entertainment * Embodied Artificial Intelligence * Intelligent Agents & Multi-Agent Systems * Knowledge Representation * Ontologies * Semantic Web-Techniques & Technologies * Knowledge Management * Knowledge-based Systems * Logic in AI * Logic Programming * Natural Language Processing * Speech & Image Processing & Understanding * Cognitive Modelling * Reinforcement Learning * Planning & Scheduling * Knowledge Discovery and Data Mining * Machine Learning * Classification * Clustering * Pattern Discovery * Process Mining * Visualization * Case-Based Reasoning * Constraint Programming * Evolutionary Algorithms * Neural Networks * Verification & Validation * Search & Retrieval * Personalization & Adaptation * Recommender systems * Hybrid Intelligent Systems * AI in law, music, art, education, tutoring, medicine, bioinformatics, software, e-commerce, logistics, robotics, and other business & industry applications. Important Dates * Paper submissions: June 13, 2010 * Author notification: August 8, 2010 * Camera-ready papers: September 15, 2010 * Author registration: September 15, 2010 * Early registration: September 25, 2010 * Conference dates: October 25-26, 2010 Submission details Researchers are invited to submit unpublished original research, but high-quality research results possibly already published in international conferences or journals are also welcome. Three types of submissions are invited: Type A: REGULAR PAPERS Papers presenting new original work. Submitted papers should not exceed a length of 8 pages. These papers will be reviewed on overall quality and relevance. A-Papers can be accepted for either oral or poster presentation. All accepted papers will be fully published in the proceedings. Type B: COMPRESSED CONTRIBUTIONS Papers that have been accepted after June 1st, 2009 for AI-related refereed conferences or journals can be resubmitted and will be accepted as compressed contributions. Authors are invited to submit the officially published version (without page restriction) together with a one or two-page abstract. B-Papers will be accepted for either oral or poster presentation. The abstract of the paper will be published in the proceedings. Every author may submit at most one B-paper of which they are the corresponding author, and only if they do not submit any A-paper as corresponding author. Type C: DEMONSTRATIONS & APPLICATIONS Proposals for demonstrations will be evaluated based on submitted demonstration summaries stating the following: the purpose of the system to be demonstrated, its user groups, the organization or project for which it is developed, the developers, and the technology used. In addition, the system requirements and the duration of the demo (not exceeding 30 minutes) should be mentioned. Especially master students are encouraged to submit papers presenting their applications and experiences. The maximum size of demonstration summaries is 2 pages (in English). Papers and demonstration summaries should be submitted electronically via Easychair (http://www.easychair.org/conferences/?conf=bnaic2010) by June 13th, 2010. See http://bnaic2010.uni.lu/instructions.html for more details. Submission implies willingness of at least one author to register for BNAIC'10 and present the paper. For each paper, a separate author registration is required. Authors keep the copyright of their submissions. The BNAIC Proceedings are published under ISSN series number 1568-7805. General Chairs Pascal Bouvry (University of Luxembourg) Eric Dubois (CRP Henri Tudor, Luxembourg) Thibaud Latour (CRP Henri Tudor, Luxembourg) Leon van der Torre (University of Luxembourg) Program Chairs Richard Booth (University of Luxembourg) Gregoire Danoy (University of Luxembourg) Benjamin Gateau (CRP Henri Tudor, Luxembourg) Isabelle Jars (CRP Henri Tudor, Luxembourg) Djamel Khadraoui (CRP Henri Tudor, Luxembourg) Marcin Seredynski (University of Luxembourg) From marek at cs.uky.edu Wed Jun 9 01:15:44 2010 From: marek at cs.uky.edu (Victor Marek) Date: Tue, 8 Jun 2010 19:15:44 -0400 Subject: 30 years of Nonmonotonic Logic, Final CfP Message-ID: <20100608231544.GA28241@cs.uky.edu> FINAL CALL FOR PAPERS 30 Years of Nonmonotonic Logic - International Conference Lexington, KY, USA October 22 (Friday) - October 25 (Monday), 2010. http://sites.google.com/site/nonmonat30/ The publication of the seminal issue on Nonmonotonic Logics by the Artificial Intelligence Journal in 1980 resulted in the new area of research in Knowledge Representation. This development changed the paradigm of logic originated in antiquity, created an important area of mathematical logic, and resulted in exciting discoveries of logical techniques creating new bridges between logic, knowledge representation and computation. The research contributed to mathematical logic, computer science and philosophy, and changed the perspective on applications of logic. This conference aims to sum up the experience of the first 30 years of nonmonotonic logics and map paths into the future. It will interleave longer invited talks covering all major research trends of the past 30 years with shorter technical presentations providing an account of the current research. Invited presentations will be published in an edited book by the College Publications (http://www.collegepublications.co.uk/). A special issue of the Journal of Artificial Intelligence Research (JAIR; http://www.jair.org/) will provide a venue for technical presentations (a detailed CFP for the special issue will be distributed at a later time; a rigorous peer review process in-line with JAIR quality standards will be followed). INVITED TALKS The following researchers will deliver invited presentations at the meeting: Chitta Baral Alexander Bochman James Delgrande Marc Denecker Thomas Eiter Dov Gabbay Michael Gelfond Georg Gottlob Michael Kaminski Daniel Lehmann Nicola Leone Vladimir Lifschitz Fangzhen Lin Jack Minker Ilkka Niemela David Pearce Teodor Przymusinski Jeffrey Remmel Eric Sandewall Torsten Schaub ORIGINAL TECHNICAL PAPERS We invite papers in all areas of nonmonotonic reasoning, and especially encourage submissions underlying the role of nonmonotonic reasoning in artificial intelligence and knowledge representation. PROGRAM COMMITTEE Gerhard Brewka (co-Chair) Eyal Amir Salem Benferhat Richard Booth Pedro Cabalar Yannis Dimopoulos Wolfgang Faber Norman Foo Martin Gebser Tony Hunter Tomi Janhunen Victor Marek (co-Chair) Tommie Meyer Maurice Pagnucco Henry Prakken Chiaki Sakama Ken Satoh Evgenia Ternovska Michael Thielscher Mirek Truszczynski (co-Chair) Joost Vennekens Stefan Woltran Mingyi Zhang ORGANIZATION G. Brewka (brewka at informatik.uni-leipzig.de) V. Marek (marek at cs.uky.edu) M. Truszczynski (mirek at cs.uky.edu) IMPORTANT DATES (for the original technical contributions track) Paper submission: July 11 (Monday) Acceptance Decision: September 6 (Monday) Final Version (for on-line proceedings): October 3 (Monday) FORMAT AND SUBMISSION Preferred format: pdf (prepared using LaTeX with llncs style), maximum length: 15 pages. Paper Submission by EasyChair: The name of the conference at EasyChair is: NonMon at 30. Conference page: http://sites.google.com/site/nonmonat30/ Victor W. Marek Department of Computer Science marek at cs.uky.edu University of Kentucky marek at cs.engr.uky.edu Lexington, KY 40506-0046 859-257-3496 (office) 859-257-3961 (Dept) http://www.cs.uky.edu/~marek 859-323-1971 (FAX) From jeanneret at ifi.uzh.ch Wed Jun 9 09:23:47 2010 From: jeanneret at ifi.uzh.ch (=?ISO-8859-1?Q?C=E9dric_Jeanneret?=) Date: Wed, 09 Jun 2010 09:23:47 +0200 Subject: 1st CfP 5th International Workshop Models@run.time Message-ID: <4C0F4183.50003@ifi.uzh.ch> ******************************************************************************** 5th International Workshop Models at run.time In conjunction with MODELS 2010, OSLO, NORWAY, October 3-8, 2010 http://www.comp.lancs.ac.uk/computing/users/bencomo/MRT10/ ******************************************************************************** Motivation: We are witnessing the emergence of new classes of application that are highly complex, inevitably distributed, and operate in heterogeneous and rapidly changing environments. Examples of such applications include those from pervasive and Grid computing domains. These systems are required to be adaptable, flexible, reconfigurable and, increasingly, self-managing. Such characteristics make systems more prone to failure when executing and thus the development and study of appropriate mechanisms for runtime validation and monitoring is needed. In the model-driven software development area, research effort has focused primarily on using models at design, implementation, and deployment stages of development. This work has been highly productive with several techniques now entering the commercialisation phase. The use of model-driven techniques for validating and monitoring run-time behaviour can also yield significant benefits. A key benefit is that models can be used to provide a richer semantic base for run-time decision-making related to system adaptation and other run-time concerns. For example, one can use models to help determine when a system should move from a consistent architecture to another consistent architecture. Model-based monitoring and management of executing systems can play a significant role as we move towards implementing the key self-* properties associated with autonomic computing. Goal: The goal of this workshop is to look at issues related to developing appropriate model-driven approaches to managing and monitoring the execution of systems. We build on the previous events where we have succeeded in building a community and bringing about an initial exploration of the core ideas of Models at run.time and now seek: - experiences with actual implementations of the concept - rationalisation of the various concepts into overall architectural perspectives - to make explicit the specific roles that models play at runtime. - impact on software engineering methodologies - to continue to assemble a network of researchers in this emerging area, building on the results of the earlier editions. Workshop format: The workshop participants will be selected based on their experience and ideas related to this new and emerging field. You are invited to apply for attendance by sending a full-paper (8-12 pages) or a position paper (5-6 pages) in PDF. The paper must conform to the Springer LNCS formatting guidelines: http://www.springer.com/computer/lncs (it is the same format of the Conference, see conference website for more information). Submissions will be reviewed by at least 3 PC members. The authors will be notified about acceptance before the MODELS 2010 early registration deadline. Candidates for best papers (if finally chosen) can be just taken from the category of full-papers. A primary deliverable of the workshop is a report that clearly outlines (1) the research issues and challenges in terms of specific research problems in the area, and (2) a synopsis of existing model-based solutions that target some well-defined aspect of monitoring and managing the execution of systems. Potential attendees are strongly encouraged to submit position papers that clearly identify research issues and challenges, present techniques that address well-defined problems in the area, and are supported by small demos. The workshop aims to: - Integrate and combine research ideas from the areas cited above. - Provide a "state-of-the-research" assessment expressed in terms of research issues, challenges, and accomplishments. This assessment can be used to guide research in the area. - Continue to build a network of researchers in this area, building on the previous editions. - Plan and promote further events on these topics. We strongly encourage authors to address the following topics. Labelled research topics with (*) are crucially important: - What a runtime model looks like and how does it evolve? (*) - How can runtime models be maintained? (*) - How can runtime models be validated? - What abstractions over runtime phenomena are useful? - Role of requirement at runtime, requirements reflection (*) - How are the abstractions tied to the types of adaptations supported? (*) - How do these abstractions evolve over time? (*) - Are new abstractions created during runtime? (*) - How are the causal relationships with executing code realized? (*) - What is the role of reflection in maintaining the causal connection between models and runtime system? - The relevance and suitability of different model-driven approaches to monitoring and managing systems during runtime - Examples of how models can be used to validate and verify the behaviour of the system at runtime (*) - Compatibility (or tension) between different model-driven approaches - How do models at other phases of the SE lifecycle relate to the corresponding runtime models? - Small demos and tools that support the use of models at run.time (*) Organizers: Nelly Bencomo (main contact), Lancaster University, UK Gordon Blair, Lancaster University, UK Franck Fleury, SINTEF, Oslo, Norway Cedric Jeanneret, Universitat Zurich, Switzerland Important Dates: Deadline Submission: Friday July 30th Notification of acceptance: Friday August 20th (or before early registration at MODELS10) Workshop at MoDELS: TBA Program Committee: Uwe Assman, Dresden, Germany Franck Chauvel, Peking University, China Betty Cheng, Michigan State University, USA Peter J. Clark, Florida International University, USA Fabio Costa, Federal University of Goias, Brazil Jeff Gray, University. of Alabama, USA Holger Giese, Universität Potsdam, Germany Oystein Haugen, SINTEF, Norway Jozef Hooman, ESI, The Netherlands Gang Huang , Peking University, China Paola Inverardi, University of L'Aquila. Jean-Marc Jezequel, Triskell Team,IRISA, France Rui Silva Moreira, UFP & INESC, Portugal Flavio Oquendo, University of Brittany , France Arnor Solberg, SINTEF, Norway Thaís Vasconcelos Batista, UFRN, Brasil Further Information Web site: http://www.comp.lancs.ac.uk/computing/users/bencomo/MRT10/ Contact: Nelly Bencomo nelly at comp.lancs.ac.uk From bcseet at ieee.org Wed Jun 9 11:13:02 2010 From: bcseet at ieee.org (Boon-Chong Seet) Date: Wed, 9 Jun 2010 21:13:02 +1200 Subject: CFP: Sensor Networks and Ambient Intelligence (SeNAmI 2010) - Hong Kong SAR, China, December 2010 Message-ID: CALL FOR PAPERS 3rd International Workshop on Sensor Networks and Ambient Intelligence (SeNAmI 2010) In conjunction with IEEE/IFIP EUC 2010: http://www.euc2010.org Hong Kong SAR, China, December 11-13, 2010 Advances in low-cost embedded processors and wireless communications have fuelled the recent intense development of sensor networks, which has potential to offer unobtrusive and transparent personal and ambient sensing infrastructures that are vital to the creation of the envisioned ubiquitous computing fabric for ambient intelligence (AmI). The continued miniaturization and integration of sensors at unprecedented scale and density into our everyday objects and environments would soon enable the fine-grain capture of personal and ambient context information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with the ability to perceive, reason, learn, and react intelligently to their environments in order to make the most appropriate decisions or to take the best actions that concern the humans at the centre of their support or care. Following the success of the inaugural SeNAmI workshop in Dunedin, New Zealand in 2008, and the second SeNAmI workshop in Hiroshima, Japan, in 2009, this event once again aims to bring together researchers from academia and industry to present and discuss recent trends and advances in sensor networks and ambient intelligence, and from such engagement foster innovations towards technology maturity of sensor-based AmI systems and applications. Topics of interest include but are not limited to: - Cognitive wireless sensor networks - Sensor networking with context and ambient awareness - Nature or bio-inspired designs for ambient sensing and intelligence - Cross-layer design and optimization of sensor-based AmI systems - Reasoning and inference for sensor/RFID-based systems - Multi-modal sensor fusion for smart environments - Cyber-physical systems for human-centric applications - Ambient energy harvesting and energy-efficiency issues for sensor networks - Sensor or sensor-embedded object localization and target tracking - Cooperative in-network sensor information processing - Intelligent and mobile agents for embedded ubiquitous computing - Sensor networking in heterogeneous environments - Privacy, security, and trust management - AmI architectures, platforms, applications, and services - Prototypes, testbeds, and real-world deployments IMPORTANT DATES Paper submission due : July 15, 2010 Acceptance notification : September 10, 2010 Camera-ready due : October 10, 2010 Workshop date : TBA Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair. Please prepare your paper following the IEEE Computer Society proceedings guidelines. Maximum page length may be limited to 6 pages. Accepted papers will be included in the conference proceedings of the IEEE/IFIP EUC 2010, which will be published by IEEE Computer Society Press and digitally archived in IEEE Xplore library. Proceedings published by IEEE will be indexed by major indexing services such as IET INSPEC, Thomson ISI Proceedings (ISTP), and EI Compendex. For further details, please visit: http://iliad.aut.ac.nz/senami2010/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From farn at cc.ee.ntu.edu.tw Thu Jun 10 03:20:21 2010 From: farn at cc.ee.ntu.edu.tw (Farn Wang) Date: Thu, 10 Jun 2010 09:20:21 +0800 Subject: IEEE TASE 2010: Call for Participation Message-ID: <00db01cb083b$18b4b5e0$4a1e21a0$@ee.ntu.edu.tw> We apologize if you have received multiple copies of the messages. ** CALL FOR PARTICIPATION ** 4th IEEE Symposium on Theoretical Aspects of Software Engineering August 24 - 27, 2010, Taipei, Taiwan, ROC http://www.iis.sinica.edu.tw/tase2010/index.htm IEEE TASE 2010 aims to become a forum for the presentation and discussion of new fundamental ideas in software engineering of large-scale systems. Software engineering of such systems has usually been viewed as the study of principles, guidelines, and empirical rules. To manage the complexity of large-scale software projects, various theories have been proposed. The first three TASE conferences were held in Shanghai, China in June 2007; in Nanjing, China in June 2008; and in Tianjin, China in July 2009. This year, it will be moved to the beautiful campus of National Taiwan University. The technical program includes 3 keynote speeches, 22 technical papers, and two tutorials before the general sessions. Please consider visiting Taipei with this opportunity. For further information, please check out the IEEE TASE 2010 website or send emails to farn at cc.ee.ntu.edu.tw. Organizers: General Chair: Farn Wang (National Taiwan Univ.) Finance Chair: Hsu-Chun Yen (National Taiwan Univ.) Local Arrangement: Churn-Jung Liau (Academia Sinica) Program Cochairs: Jing Liu (East China Normal Univ.) Doron A. Peled (Bar Ilan Univ.) Bow-Yaw Wang (Academia Sinica) Steering Committee: Keijiro Araki (Kyushu Univ.) Jifeng He (East China Normal Univ.a) Michael Hinchey (Lero, IE, chair) Zhiming Liu (UNU/IIST) Huibiao Zhu (East China Normal Univ.) ==[IEEE TASE 2010 Preliminary Program]============================= August 24, 2010 (Tuesday) 1000 - 1600 Tutorials by Professors Raymond Abrial and Mike Hinchey. 1800 - 2000 Reception ---------------------------------------------------------------------------- --- August 25, 2010 (Wednesday) 0900 - 1000 Session I Invited talk Prof. Mike Hinchey 1000 - 1030 Coffee break 1030 - 1200 Session II Yongxin Zhao, Zheng Wang, Geguang Pu and Huibiao Zhu. A Formal Model for Service Choreography with Exception Handling and Finalization Chen-Wei Wang, Jim Davies and James Welch. A Guarded Workflow Language and its Formal Semantics Hung Ledang and Hubert Dubois. Proving Model Transformations 1200 - 1400 lunch 1400 - 1530 Session III Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang and Dawei Fan. A Certifying Compiler for Clike Subset of C Language Shengyi Wang, Zongyan Qiu, Shengchao Qin and Wei-Ngan Chin. Stack Bound Inference for Abstract Java Bytecode Liu Pan, Miao Huaikou and Mei Jia. Efficient Algorithms for Building the Sets P and W 1530 - 1600 Coffee break 1630 - 1800 Session IV Lin Zhao, Tao Tang, Jinzhao Wu and Tianhua Xu. Runtime Verification with Multi-Valued Formula Rewriting Xiaoxiao Yang. Axiomatic Interval Temporal Logic Verification Hong Zhu. On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic ---------------------------------------------------------------------------- --- August 26, 2010 (Thursday) 0900 - 1000 Session I Invited talk Prof. Raymond Abrial 1000 - 1030 Coffee break 1030 - 1200 Session II Kahloul Laid, Chaoui Allaoua and Djouani Karim. Modeling Reconfirgurable Systems Using Flexible Petri Nets Yunhe Wang, Bo Jiang and Li Jiao. Property Checking for 1-Place-Unbounded Petri Nets Haibin Zhang and Zhenhua Duan. Model Checking Rectangular Hybrid Systems With Timed Computation Tree Logic 1200 - 1400 Lunch 1400 - 1500 Session III Zining Cao. Bisimulations for Open Processes in Higher Order Pi-Calculus Moritz Kleine and Thomas Gothel. Specification, Verification and Implementation of Business Processes using CSP 1500 - 1530 Coffee break 1530 - 1630 Session IV Saddek Bensalem, Axel Legay, Thanh Hung Nguyen, Joseph Sifakis and Rongjie Yan. Incremental Invariant Generation for Compositional Design Fei He, He Zhu, William N. N. Hung, Xiaoyu Song and Ming Gu. Compositional Abstraction Refinement for Timed Systems 1630 - 1700 Coffee break 1700 - 1800 Session V Hai Wan, Xiaoyu Song and Ming Gu. Parameterized Specifying and Verifying PLC Systems in Coq Farn Wang. Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification Raghava Rao Mukkamala and Thomas Hildebrandt. >From Dynamic Condition Response Structures to Buechi Automata ---------------------------------------------------------------------------- --- August 27, 2010 (Friday) 0900 - 1000 Session I Invited talk (Not yet determined) 1000 - 1030 Coffee break 1030 - 1200 Session II Yongxin Zhao, Yanhong Huang, Jianwen Li and Huibiao Zhu. Probabilistic Model of System Survivability Jianjun Xu, Qingping Tan and Wanwei Liu. Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis Shengbo Chen. Towards Practical Modeling of Web Applications and Generating Tests 1200 - 1800 Lunch and excursion 1800 - Banquet -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Laurent.Vercouter at emse.fr Thu Jun 10 12:01:18 2010 From: Laurent.Vercouter at emse.fr (Laurent Vercouter) Date: Thu, 10 Jun 2010 12:01:18 +0200 Subject: EASSS 2010 - European Agent Systems Summer School - Call for participation Message-ID: <4C10B7EE.6060508@emse.fr> ============================================================ Call For Participation ** Registration is now open ** 12th European Agent Systems Summer School (EASSS 2010) Ecole des Mines de Saint-Etienne, France 23 - 27 August 2010 (week before MALLOW'10) Early Registration Deadline: 30st of June http://easss2010.emse.fr/ ============================================================ As its very successful predecessors, EASSS'10 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. EASSS consists of a mixture of introductory and advanced courses delivered by internationally leading experts in multi-agent systems, and it covers the full range of theoretical and practical aspects of multi-agent systems. EASSS'10 will comprise the following courses: * Introduction to Multiagent Systems * Agent-based negotiations and auctions * New Trends in Multi-Agent Planning * Engineering Norm-Governed Systems * Temporal Constraint Techniques for Autonomous Scheduling * Game Theory: strategic and cooperative games * Trust and Reputation in Multi-Agent Systems * Organizational modelling: principles and practice * Model Checking Temporal and Strategic Logics * Self-organisation and multi-agent systems * Argumentation technologies for agents and multiagent systems * Multiagent simulation * Multiagent programming * Documentation and Fragmentation of Agent Oriented This summer school is open to anyone from academia or industry. More information can be found at the webpage. Inquiries can be sent to easss2010 at emse.fr -- *Laurent Vercouter* Maitre-Assistant / Assistant Professor SMA Dpt/G2I Center, Ecole des Mines de St-Etienne, France Phone: +33 4 77 42 66 03 http://www.emse.fr/~vercouter From martin.lange at uni-kassel.de Thu Jun 10 14:41:13 2010 From: martin.lange at uni-kassel.de (Martin Lange) Date: Thu, 10 Jun 2010 14:41:13 +0200 Subject: PhD position in theoretical computer science at University of Kassel Message-ID: <4C10DD69.6030507@uni-kassel.de> ***please distribute among prospective applicants *** The Department of Electrical Engineering and Computer Science at the University of Kassel, Germany, announces an open full-time position in theoretical computer science at the research assistant / associate level (paid according to EG13 TV-H). The position is available immediately and should ideally be filled no later than October 1st, 2010. The successful candidate will join the newly formed research group "Formal Methods and Verification" headed by Prof. Martin Lange. Research of the group will focus on topics around computational logic with applications in program verification etc. An opportunity to study and work towards a PhD is given. Still, the position could also be filled at the post-doc level. The position is initially available for two years but is expected to continue to be funded through research projects afterwards. The position carries teaching commitments of 4 hours per week during term time (roughly amounting to assisting on 1-2 courses per semester). The successful candidate should - possess an MSc or equivalent diploma in computer science or related areas, or be very close to completion of such studies; - have a good background in theoretical computer science; - have the skills to study towards a PhD; - show interest in areas like computational logic, formal methods, program analysis and verification, etc.; - welcome the opportunity to help build up the research group. Knowledge of the German language prior to employment is not a formal requirement but some of the teaching will have to be done in German. Thus, the successful candidate should be able to quickly acquire a good knowledge of written and spoken German. Informal inquiries are welcome and should be directed to Martin Lange via "martin lange uni kassel de" or +49/0 561 804 6261. Applications should - clearly state the reference number 14089, - contain a CV, a statement explaining the candidate's research interests, and contact details of people who would be able to provide letters of recommendation, - be directed to " Präsident der Universität Kassel, 34109 Kassel, Germany" or electronically to pvabt3 at uni-kassel.de. Deadline for applications: July 16th, 2010 Official job announcement (in German): http://www.uni-kassel.de/pvabt3/stellen/extern/14089.ghk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Thu Jun 10 10:12:09 2010 From: serge.autexier at dfki.de (Serge Autexier) Date: Thu, 10 Jun 2010 10:12:09 +0200 (CEST) Subject: Workshop on Mathematically Intelligent Proof Search (MIPS) -- Call for Presentations Message-ID: <201006100812.o5A8C9bk025592@gemini.informatik.uni-bremen.de> [Apologies for Multiple Copies] CALL FOR PRESENTATIONS MIPS 2010 -International Workshop on Mathematically Intelligent Proof Search http://www.dfki.de/~serge/mips2010 CNAM, Paris, France, July 10th, 2010 MIPS explores the relationship between mathematical theory development and proof construction, both in formal and informal contexts. In either context, they are deeply connected as the choice of a language and a corresponding inference mechanism correlates with how effectively proofs can be obtained and how well mathematical arguments can be communicated. Thus languages can range from mathematical vernaculars that are close to natural languages to purely formal ones; inference mechanisms can structure arguments conceptually but may also be based on automated proof procedures that are mathematically intelligent. MIPS will bring together researchers from Computer Science, Linguistics, Mathematics and Philosophy who are interested in the whole subject or parts of it, in order to get an overview of the state of the art, present original results and discuss directions for future research. More information on MIPS can be found at http://www.dfki.de/~serge/mips2010. You are invited to submit a title and a short abstract proposing a presentation on state of the art, work in progress, original results or future directions of the workshop themes. Please submit title and abstract (up to 2-5 pages) in PDF format to http://www.easychair.org/conferences/?conf=mips2010 Deadlines ========= Submission of title and abstracts: 18 June 2010 Notification of acceptance: 24 June 2010 Organizing Committee: ===================== Serge Autexier (DFKI Bremen, Germany, Co-Organiser) Christoph Benzmueller (Articulate Software, USA) Fairouz Kamareddine (Heriot-Watt University, Scotland) Manfred Kerber (University of Birmingham, UK) Peter Koepke (University of Bonn, Germany, Co-Organiser) Michael Kohlhase (Jacobs University, Germany) Andrei Paskevich (University Paris-Sud, France) Dominique Pastre (University Paris Descartes, France) Larry Paulson (University of Cambridge, UK) Aarne Ranta (Chalmers University of Technology, Sweden) Claudio Sacerdoti-Coen (University of Bologna, Italy) Bernhard Schroeder (University of Duisburg-Essen, Germany, Co-Organiser) Wilfried Sieg (CMU, USA, Co-Organiser) Josef Urban (Radboud University, The Netherlands) Wolfgang Windsteiger (RISC, Austria) Claus Zinn (University of Konstanz, Germany) From serge.autexier at dfki.de Sat Jun 12 14:01:42 2010 From: serge.autexier at dfki.de (Serge Autexier) Date: Sat, 12 Jun 2010 14:01:42 +0200 (CEST) Subject: AISC'10 - Call for Participation Message-ID: <201006121201.o5CC1g7p024823@gemini.informatik.uni-bremen.de> [We apologise if you receive multiple copies] CALL FOR PARTICIPATION AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION CNAM, Paris, France, July 5th - July 6th, 2010 [http://cicm2010.cnam.fr/aisc/] as part of CICM 2010 - Conferences on Intelligent Computer Mathematics [http://cicm2010.cnam.fr/] ---------------------------------------------------------------------- Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical problem solving, and AISC is the conference on all topics related to applying Artificial Intelligence to Symbolic Computation or to applying Symbolic Computation to Artificial Intelligence. This year's AISC conference will consist of presentations of high-quality original research papers, short presentations and invited talks. As part of the Conferences on Intelligent Computer Mathematics it will be co-located with the 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus 2010) and 9th International Conference on Mathematical Knowledge Management (MKM 2010), and a number of workshops and a doctoral programme. For more information see http://cicm2010.cnam.fr/ Registration to the conference is now open and online at http://cicm2010.cnam.fr/registration.html Registration includes one hard-copy of the Springer LNAI proceedings of the CICM conferences and one social event. Information on accommodation and travelling is also available on the CICM 2010 web pages. For further information: aisc2010_0 at easychair.org http://cicm2010.cnam.fr/aisc/ --------------------------------------------------------------------- * AISC 2010 - Scientific Programme Invited Talks: - The Challenges of Multivalued "Functions" James Davenport - The Dynamic Dictionary of Mathematical Functions Bruno Salvy Keynote Talk: - A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence Jacques Calmet, John Campbell Research papers and short presentations: - I-terms in ordered resolution and superposition calculi: retrieving lost completeness Hicham Bensaid, Ricardo Caferra and Nicolas Peltier - Structured Formal Development with Quotient Types in Isabelle/HOL Maksym Bortin and Christoph Lueth - Instantiation of SMT problems modulo Integers Mnacho Echenim and Nicolas Peltier - On Krawtchouk Transforms Philip Feinsilver and Rene Schott - A mathematical model of the competition between acquired immunity and virus Mikhail Kolev - Some Notes upon "When does equal sat(T)?" Yongbin Li - How to correctly prune tropical trees Jean-Vincent Loddo and Luca Saiu - From matrix interpretations over the rationals to matrix interpretations over the naturals Salvador Lucas - Efficiency of Automating Problem Solving in Martin-Loef's Type Theory (short presentation) Gohar Marikyan - Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar Josef Urban and Geoff Sutcliffe ---------------------------------------------------------------------------- * Co-Located Events Conferences - 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus 2010) - 9th International Conference on Mathematical Knowledge Management (MKM 2010) Workshops - 3rd Workshop on Compact Computer Algebra (CCA) - 3rd Workshop, Towards a Digital Mathematics Library (DML) - 6th Workshop on Mathematical User-Interfaces (MathUI) - Workshop on Mathematically Intelligent Proof Search (MIPS) - 23rd Workshop on OpenMath (OpenMath) - 4th Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS) - Content Math Training Camp with Doctoral Programme (CMTC+DP) ---------------------------------------------------------------------------- * Social Events: - Conference reception with Wine & Cheese buffet - Conference Banquet at the "Cafe des Techniques" at the CNAM Museum From iris.scheuermann at kit.edu Sat Jun 12 23:28:57 2010 From: iris.scheuermann at kit.edu (Iris Scheuermann) Date: Sat, 12 Jun 2010 23:28:57 +0200 Subject: 1st Karlsruhe Summer School on Service Research Message-ID: <3F2357E32FD9ED4C9361DD5A698F876CE15485@RZ-EX-06.rz.uni-karlsruhe.de> FINAL CALL FOR PARTICIPATION (Apologies for cross-postings) *** Registration deadline extended until June 22th *** 1st Karlsruhe Summer School on Service Research Karlsruhe, Germany, July 18th to 22nd/23rd 2010 Web: http://www.service-summer.org Email: info at service-summer.org REGISTRATION DEADLINE: June 22th 2010 (extended) The Karlsruhe Service Research Institute (KSRI) is pleased to invite you to participate in the Karlsruhe Service Summer 2010. Through a connected series of events, the Karlsruhe Service Summer seeks to bring together experts from academia and industry as well as interested students in the field of Service Research. Specifically, the Karlsruhe Service Summer consists of the 1st Karlsruhe Summer School on Service Research (from July 18th to 22nd) which culminates in the 2nd Karlsruhe Service Summit (on July 23rd). 1st Karlsruhe Summer School on Service Research (July 18th-22nd 2010): The event will bring together international experts in the field of Service Research with PhD students, young scientists and practitioners from industry. Through lectures, tutorials and social events, the Summer School will provide a forum for participants to discuss and learn about Service Research. Participants can benefit from the expertise of the lecturers and share experience with fellow attendees. Furthermore, the Summer School will foster interdisciplinary research and collaboration opportunities among international students and researchers interested in the different fields within Service Research. The Summer School program combines lectures in the fields of: - Service Innovation - Service Design - Service Economics - Service Architecture - Service Semantics & Intelligence These will be complemented by further attractive offers such as lab sessions, interactive workshops, excursions, and social events. 2nd Karlsruhe Service Summit (July 23rd 2010): Summer School attendees are cordially invited to the 2nd Karlsruhe Service Summit on July 23, a recurring event where KSRI invites leading executives as well as experts from industry and academia to discuss the next steps towards a service-led economy. Summer School Speakers include up to now: - Bo Edvardsson (Karlstads University, Service Research Centre) - Nicola Guarino (Laboratory for Applied Ontology, Trento) - Willem-Jan van den Heuvel (Tilburg University) - Hans-Arno Jacobsen (University of Toronto) - Steven O. Kimbrough (University of Pennsylvania) - Stephen Kwan (San Jose State University) - Birgit Mager (Cologne International School of Design) - Orestis Terzidis (SAP Research) - Tuure Tuunanen (University of Auckland) The list is complemented by a set of high-profile speakers during an excursion to IBM Germany and at the Karlsruhe Service Summit. Keep an eye on for all events. Registration: The summer school is open to qualified and motivated candidates. Ph.D. students, post-docs, and practitioners from industry are encouraged to apply. The deadline for registration is June 22th 2010 (extended). Fees: Regular fee: 510EUR Special rates for participants from affiliated institutions. We further offer preconfigured registration packages that include accommodation at IBIS Hotel Karlsruhe. Contact: Karlsruhe Service Research Institute (KSRI) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sebastian.rudolph at aifb.uni-karlsruhe.de Mon Jun 14 11:40:57 2010 From: sebastian.rudolph at aifb.uni-karlsruhe.de (Sebastian Rudolph) Date: Mon, 14 Jun 2010 11:40:57 +0200 Subject: ISWC 2010 Call for Research, In-Use, and DC Submissions Message-ID: ISWC 2010 Call for Research, In-Use, and DC Submissions Abstracts for the Research Track of ISWC 2010, the Ninth International Semantic Web Conference, are due on June 21. Full papers for the Research Track, In-Use Track, and Doctoral Consortium are due on June 28. Further, information is available at http://iswc2010.semanticweb.org RESEARCH PAPERS Research papers must describe original, significant research on the Semantic Web or on Semantic Web technologies or systems. Authors of accepted papers may submit an accompanying poster or demo (see below). Note that abstracts must be submitted one week before the due date for submissions. Abstracts Due June 21, 2010 Submissions Due June 28, 2010 Notification August 16, 2010 SEMANTIC WEB IN USE In-use papers must present implemented Semantic Web applications or discuss or evaluate the use of Semantic Web techniques or use of other technologies in the Semantic Web. Of particular interest are comparisons between different technologies or approaches and lessons learned from applications. Papers on the use of the Semantic Web in China are specially welcome. Submissions Due June 28, 2010 Notification August 16, 2010 DOCTORAL CONSORTIUM The Doctoral Consortium is designed to allow doctoral students to present their work to members of the Semantic Web community and receive feedback on their research. Submissions to the Doctoral Consortium must describe work performed as part of an ongoing PhD degree. Submissions Due June 28, 2010 Notification August 16, 2010 _________________________________________________ Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone +49 721 608 - 7362 www.sebastian-rudolph.de fax +49 721 608 - 5998 From michael.koester at tu-clausthal.de Mon Jun 14 15:04:44 2010 From: michael.koester at tu-clausthal.de (=?ISO-8859-15?Q?Michael_K=F6ster?=) Date: Mon, 14 Jun 2010 15:04:44 +0200 Subject: Multi-Agent Programming Contest 2010 -- Second Call for Participation Message-ID: <4C1628EC.1010008@tu-clausthal.de> =================== Second Call for Participation ==================== Multi-Agent Programming Contest 2010 http://multiagentcontest.org ======================================================= Organizers: Tristan Behrens (Clausthal University of Technology) Jürgen Dix (Clausthal University of Technology) Jomi Hübner (Federal University of Santa Catarina) Michael Köster (Clausthal University of Technology) Steering Committee: Mehdi Dastani (Utrecht University) Jürgen Dix (Clausthal University of Technology) Peter Novak (Czech Technical University) 1. Aims and Scope This competition is an attempt to stimulate research in the area of multi-agent system development and programming by 1. identifying key problems, 2. collecting suitable benchmarks, and 3. gathering test cases which require and enforce coordinated action that can serve as milestones for testing multi-agent programming languages, platforms and tools. 2. Short Scenario Description The contest scenario consists of developing a multi-agent system to solve a cooperative task in a dynamic environment. The environment is a grid-like world in which virtual cows are moving around collectively in one or more herds exhibiting a swarm-like behavior. There are two corrals, each belongs to one of the two agent teams. The teams of agents compete to control the behavior of animals and lead them to their own corral. The winning agent team is the one that scores highest. A detailed scenario description of the scenario is available at http://multiagentcontest.org. 3. Participation Requirements The participation in this contest consists of these parts: 1. Declaring the intent to participate by registering to the mailing list. 2. Submission of the description of analysis, design and implementation of a multi-agent system for the above application. Thus registering to the contest officially. 3. Participation in the contest tournament by taking part on the final tournament. 4. Submitting the source-code of your application right after the tournament. 4. Important Dates Stating your intent to participate: *Now* Submission of the description and registration to the contest: *09 August 2010* Notification: After submission Camera-Ready of the description: After notification Testing phase: 09 August 2010 - 31 August 2010 Competition: *06 September 2010 - 10 September 2010* Submission of the source-code and winner announcement: 13 September 2010 4. Details 4.1 Intention to Participate Please announce your intention to attend the contest by subscribing to the mailing list. Participants and all interested colleagues are invited to subscribe to the mailing list agentcontest2010 [at] in.tu-clausthal.de All the important details and announcements including scenario and communication protocol specifications as well as software release announcements and bug reports will be announced and discussed via this list. To subscribe, send an e-mail to agentcontest2010-subscribe [at] in.tu-clausthal.de with the subject "subscribe". The confirmation request and welcome message will be sent to you shortly afterwards. Please follow the instructions in the automatic mailing list replies. 4.2 Packages The packages that we published include: 1. the protocol description that defines the communication scheme between agents and our server, 2. the scenario description that defines the environment, 3. the MASSim server, 4. the scenario itself, 5. template-agents implemented in Java, and 6. an EIS. 4.3 Submissions of the Short Descriptions We intend to handle the submissions of the short system-descriptions via EasyChair. We also aim at publishing in the CLIMA (@ECAI) post-proceedings (still in a planning phase). We will provide details in time. 4.4 Scenario The scenario will be *almost the same* as in 2010. The only thing that changed is the scoring schema. Please read the scenario description for more details. 4.5 Source Codes Obligation Note that the submission of the source-codes is obligatory in 2010. From tojo at jaist.ac.jp Mon Jun 14 14:52:11 2010 From: tojo at jaist.ac.jp (Satoshi Tojo) Date: Mon, 14 Jun 2010 21:52:11 +0900 Subject: [CFP] JURISIN 2010 Message-ID: Fourth International Workshop on Juris-informatics(JURISIN 2010) Nov. 18-19, 2010 Campus Innovation Center Tokyo Tokyo, Japan with a support of The Japanese Society for Artificial Intelligence in association with Second JSAI International Symposia on AI (JSAI-isAI 2010) http://ai-gakkai.or.jp/jsai-isai/2010/ Aims and scope Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop is to discuss both the fundamental and practical issues for juris-informatics among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. We solicit unpublished papers on theories, technologies and applications on juris-informatics. Topics Relevant topics include, but are not limited to, the following: * Legal reasoning * Argumentation/Argumentation agent * Legal term ontology * Formal legal knowledge-base/Intelligent management of legal knowledge-base * Translation of legal documents * Computer-aided law education * Use of Informatics and AI in law * Legal issues on ubiquitous computing/multi-agent system/the Internet * Social implications of use of informatics and AI in law Submissions We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form , which can be obtained from http://www.springeronline.com, and not exceed 12 pages including figures, references, etc. If you use a word file, please follow the instruction of the format, and then convert it into a pdf form and submit it to the designated page which will be announced later. If a paper is accepted, at least one author of the paper must register the workshop and present it. Proceedings A printed volume of the proceedings with ISBN will be available at the workshop. Post Proceedings We are now negotiating with Springer Verlag about publishing selected papers of the workshop as a volume of LNAI. If it is the case, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing. Note that the selected papers of the first and the second workshops have been published as volumes of LNAI4914 and LNAI5447 respectively and the selected papers of the third workshop is now under editing for LNAI publication. Financial Support for Students We have received some budget from JSAI for partial economical support for travelling costs for promising foreign students whose papers have been accepted to be presented at JURISIN2010. The amount of the whole support is 200,000 yen and we divide it to students who need a support. The actual support will vary based on the number of applicants and where students come from. Important Dates * Submission Deadline: September 13, 2010 * Notification: October 12, 2010 Camera Ready Copy due: October 19, 2010 JURISIN 2010: November 18-19, 2010 Workshop Chair Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Organizing Committee Members Katsumi Nitta, Tokyo Institute of Technology, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Seiichiro Sakurai, Meiji Gakuin University, Japan Programme Committee Members Phan Minh Dung, AIT, Thailand Guido Governatori, University of Queensland, Australia Tokuyasu Kakuta, Nagoya University, Japan Luong Chi Mai, IOIT, Vietnam Makoto Nakamura, Japan Advanced Institute of Science and Technology, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Shozo Ohta, University of Tokyo, Japan Henry Prakken, University of Utrecht & Groningen, The Netherlands Seiichiro Sakurai, Meiji Gakuin University, Japan Giovanni Sartor, European University Institute, Italy Ken Satoh, National Institute of Informatics and Sokendai, Japan Hajime Sawamura, Niigata University, Japan Akira Shimazu, Japan Advanced Institute of Science and Technology, Japan Nuanwan Soonthornphisaj, Ksetsart University, Thailand Fumihiko Takahashi, Meiji Gakuin University, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan Katsuhiko Toyama, Nagoya University, Japan John Zeleznikow, Victoria University, Australia Home page of JURISIN 2010: http://research.nii.ac.jp/~ksatoh/jurisin2010.html preivous JURISIN workshops JURISIN2007 http://research.nii.ac.jp/~ksatoh/jurisin.html JURISIN2008 http://www.ntt.dis.titech.ac.jp/jurisin2008/ JURISIN2009 http://research.nii.ac.jp/~ksatoh/jurisin2009.html For any inquiry, please send it to "jurisin2010 at nii.ac.jp". =========================================== From hr at sti2.at Tue Jun 15 10:39:15 2010 From: hr at sti2.at (HR) Date: Tue, 15 Jun 2010 10:39:15 +0200 Subject: Open position: PhD Researcher in EU FP7 project RENDER In-Reply-To: <003501cafbdd$2bd8e7a0$838ab6e0$@at> References: <46B036DB.1060002@deri.org> <46D3E047.5030103@deri.org> <4A093368.6010004@sti2.at> <4A0933D9.4090109@sti2.at> <4A27D6E4.1010401@sti2.at> <4B0554D8.4010503@sti2.at> <4B6C0262.8030803@sti2.at> <4B6C0284.8070601@sti2.at> <4BA8B8EC.2080101@sti2.at> <4BA8C8D8.5060201@sti2.at> <4BF65B42.6030807@sti2.at> <003501cafbdd$2bd8e7a0$838ab6e0$@at> Message-ID: <4C173C33.200@sti2.at> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bernhard.schandl at univie.ac.at Tue Jun 15 13:54:06 2010 From: bernhard.schandl at univie.ac.at (Bernhard Schandl) Date: Tue, 15 Jun 2010 13:54:06 +0200 Subject: 2nd Call for Papers - Workshop on Personal Semantic Data (PSD2010) at EKAW 2010 Message-ID: <2A429ADF-2F26-4306-ACE6-75E97C7918E7@univie.ac.at> Apologies if you receive multiple copies. Please consider to contribute and/or forward to interested colleagues and groups. Call for Papers 1st Workshop on Personal Semantic Data: PSD 2010 http://semanticweb.org/wiki/Personal_Semantic_Data co-located with EKAW 2010 11th - 15th October, Lisbon, Portugal Personal Semantic Data is scattered over several media, and while semantic technologies are already successfully deployed on the Web as well on the desktop, data integration is not always straightforward. The transition from the desktop to a distributed system for Personal Information Management (PIM) raises new challenges which need to be addressed. These challenges overlap areas related to human-computer interaction, privacy and security, information extraction, retrieval and matching. This workshop will bring together academics and industrial practitioners with the goal of fostering cross-domain collaborations to further advance the use of technologies from the Semantic Web and the Web of Data for PIM and to explore and discuss the challenges and approaches for improving PIM through the use of vast amounts of (semantic) information available online. At the same time we want to provide a platform for discussing research topics and challenges related to personal semantic data. == IMPORTANT DATES == 9 July 2010 - Submission deadline 9 August 2010 - Notification 27 August 2010 - Camera-ready version == TOPICS == The topics of interest include, but are not restricted to: * Bridging the gap between Semantic Desktop Data and Linked (Open) Data -Interlinking personal desktop data with Semantic Web data -Enriching desktop information with Web data -Publishing semantic personal data from the desktop to the Web, including trust and privacy issues -Mapping and synchronizing personal semantic data from heterogeneous sources -New forms of visualization of mashed and hybrid personal data from the desktop and Web * Managing personal data across heterogeneous social media sites -Mapping and synchronizing personal social data across heterogeneous social media and the desktop -Searching and browsing personal social data across heterogeneous data sources and using heterogeneous interfaces (e.g. mobile devices) -Modeling of semantic information for personal and social use * Generation of personal semantic data from novel sources -Semi-automatic and automatic generation of semantic data from personal information -Fusion of mobile and desktop environments -Interlinking newly generated semantic data with existing sources == SUBMISSION GUIDELINES == We encourage full papers (max 12 pages), short paper (max 6 pages) and short demo papers (max 2 pages) describing significant work in progress, late breaking results or ideas / challenges for the domain. Submissions should follow the LNCS guidelines. Papers should be submitted in pdf format to http://www.easychair.org/conferences/?conf=psd2010 no later than midnight Pacific Daylight Time on July 9, 2010. Accepted papers will be published in the workshop proceedings. == WORKSHOP ORGANIZERS == * Laura Dragan - Digital Enterprise Research Institute (DERI), National University of Ireland, Galway, Ireland * Bernhard Schandl - Department of Distributed and Multimedia Systems, University of Vienna, Austria * Charlie Abela - Department of Intelligent Computer Systems University of Malta, Malta * Tudor Groza - Digital Enterprise Research Institute (DERI), National University of Ireland, Galway, Ireland * Gunnar Grimnes - DFKI GmbH, Kaiserslautern, Germany * Stefan Decker - Digital Enterprise Research Institute (DERI), National University of Ireland, Galway, Ireland == FURTHER INFORMATION == Further information is available on the workshop website at http://semanticweb.org/wiki/Personal_Semantic_Data or by emailing the workshop organizers. Best regards, PSD 2010 Organizing Committee From organization at arcoe.org Thu Jun 17 12:53:06 2010 From: organization at arcoe.org (ARCOE) Date: Thu, 17 Jun 2010 18:53:06 +0800 Subject: ARCOE-10: early registration deadline Message-ID: ======================= CALL FOR Early Registration ARCOE-10 at ECAI-10 August 16-17, 2010 Lisbon, Portugal ======================= The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10) http://www.arcoe.org/2010/ held on August 16-17, 2010 at the European Conference on Artificial Intelligence (ECAI-10) http://ecai2010.appia.pt/ We would like to announce that the early registration deadline for ARCOE-10 (http://www.arcoe.org/2010/) is 25 June, 2010 ( http://ecai2010.appia.pt/index.php?option=com_content&task=view&id=72&Itemid=122 ). There are still some authors of accepted papers who have not confirmedntheir attendance. If you are among them, please do so asap. ARCOE 2010 -- Preliminary program DAY 1: August 16, 2010 09:30-10:30 : Invited talk by Tommie Meyer, Meraka Institute, South Africa 10:30-11:00 : Coffee break 11:00-11:30 : More About AGM Revision in Description Logics. Ribeiro, Wassermann. 11:30-12:00 : Context and intention in ontologies. Wallace, Naz. 12:00-12:30 : Uncertainty Reasoning through Similarity in Context. d'Amato, Fanizzi. 12:30-14:00 : Lunch break 14:00-14:30 : First Steps in the Computation of Root Justifications. Meyer, Moodley, Varzinczak. 14:00-15:00 : OML - Ontology Manipulation Language. Carvalho, Simões, Almeida. 15:00-15:30 : Ontology Debugging with Truth Maintenance Systems. Nguyen, Alechina, Logan. 15:30-16:00 : Coffee break 16:00-17:30 : Discussion DAY 2: August 17, 2010 09:30-10:30 : Invited talk by Fausto Giunchiglia, University of Trento, Italy 10:30-11:00 : Coffee break 11:00-11:30 : Reasoning with Embedded Formulas and Modalities in SUMO. Benzmueller, Pease. 11:30-12:00 : Ontology Archaeology: Mining a Decade of Effort on the Suggested Upper Merged Ontology. Pease, Benzmueller. 12:00-12:30 : Contextual Approach to Detection of Conflicting Ontologies. Chan, Lehmann, Bundy. 12:30-14:00 : Lunch break 14:00-15:30 : Qualitative Causal Analysis of Empirical Knowledge for Ontology Evolution in Physics. Lehmann, Chan, Bundy. 14:30-15:30 : Discussion 15:30-16:00 : Coffee break 16:00-17:30 : Business meeting -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mjw at liverpool.ac.uk Fri Jun 18 13:28:19 2010 From: mjw at liverpool.ac.uk (Wooldridge, Michael) Date: Fri, 18 Jun 2010 12:28:19 +0100 Subject: ECAI-2010: Call for Participation Message-ID: <4FCF05F7-9FBC-410C-A71C-0EB8681E5B27@liverpool.ac.uk> ###################################################################### ## ECAI-2010 ## Call for Participation ## ECAI-2010 ## ###################################################################### The Nineteenth European Conference on Artificial Intelligence 16-20 August 2010 ## Lisbon, Portugal http://ecai2010.appia.pt/ EARLY REGISTRATION DEADLINE: **** FRIDAY 25 JUNE 2010 **** ###################################################################### ## INTRODUCTION ## ###################################################################### The ECAI-2010 Programme Committee invites you to attend the nineteenth biennial European Conference on Artificial Intelligence. ECAI-2010 combines an outstanding program of 135 technical papers and nearly 100 short papers/posters in the main conference, world-leading plenary and tutorial speakers, a full range of workshops, the Prestigious Applications of Intelligent Systems (PAIS) conference, and the Starting AI Researchers (STAIRS) symposium. And of course, ECAI-2010 will be held in the beautiful and historic city of Lisbon, Portugal. With excellent opportunities for sightseeing and gastronomy, Lisbon promises to be a wonderful venue for a memorable conference. ###################################################################### ## INVITED PLENARY SPEAKERS ## ###################################################################### * Ian Horrocks (Oxford University, UK) OWL: a Reasonable Ontology Language? * Manuela Veloso (CMU, USA) Autonomous Mobile Robots Coexisting with Humans in Indoor Environments * Judea Pearl (UCLA, USA) The Logic of Causes and Counterfactuals * Christos Papadimitriou (UC Berkeley, USA) Computing Nash equilibria: The plot thickens ###################################################################### ## INVITED TUTORIAL SPEAKERS ## ###################################################################### * Sarit Kraus (Bar Ilan University, Israel) Automated agents that interact proficiently with people: cooperative and competitive settings * Joao Marques-Silva (University College Dublin, Ireland) Boolean Satisfiability & Optimization Algorithms & Applications * Paul E. Dunne (University of Liverpool, UK) Argumentation in AI * Rina Dechter (University of California, USA) Advances in Search and Inference for Graphical Models * Ulle Endriss (University of Amsterdam, The Netherlands) Computational Social Choice * Ilkka Niemelä (Aalto University, Finland) Answer set programming ###################################################################### ## ECAI/PAIS TECHNICAL PAPER SCHEDULE ## ###################################################################### The full schedule of ECAI/PAIS technical papers is available online: http://tinyurl.com/27dvw7o ###################################################################### ## WORKSHOPS ## ###################################################################### WS1 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) Monday and Tuesday, 16 and 17 August 2010 WS2 13th Workshop on Configuration (ConfWS) Monday, 16 August 2010 WS3 5th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF) Monday, 16 August 2010 WS4 6th International Workshop on Modelling and Reasoning in Context (MRC) Tuesday, 17 August 2010 WS5 2nd Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE) Monday and Tuesday, 16 and 17 August 2010 WS6 5th International Workshop on Explanation-aware Computing (ExaCt) Monday, 16 August 2010 WS8 10th International Workshop on Computational Models of Natural Argument (CMNA) Monday, 16 August 2010 WS9 3rd Planning to Learn Workshop (PlanLearn) Tuesday, 17 August 2010 WS10 3rd International Workshop on Evolutionary and Reinforcement Learning for Autonomous Robot Systems (ERLARS) Monday, 16 August 2010 WS11 Benchmarking Intelligent (Multi-)Robot Systems (BIMRS) Tuesday, 17 August 2010 WS12 Intelligent Engineering Techniques for Knowledge Bases (I-KBET) Tuesday, 17 August 2010 WS13 Ubiquitous Data Mining (UDM) Monday, 16 August 2010 WS14 Workshop on Computational Approaches to Subjectivity and Sentiment Analysis (WASSA) Tuesday, 17 August 2010 WS15 Artificial Intelligence for Simulation | Simulation for Artificial Intelligence (AISSAI) Tuesday, 17 August 2010 WS16 Language Technology for Cultural Heritage, Social Sciences, and Humanities (LaTeCH) Monday, 16 August 2010 WS17 Intelligent Agents and Technologies for e-Business (IAT4EB) Tuesday, 17 August 2010 WS19 2nd Workshop on Knowledge Representation for Health Care (KR4HC) Tuesday, 17 August 2010 WS20 Artificial Intelligence and Logistics (AILog) Tuesday, 17 August 2010 WS21 Spatio-Temporal Dynamics (STeDY) Monday, 16 August 2010 ###################################################################### ## REGISTRATION ## ###################################################################### Registration is via the ECAI web site: http://ecai2010.appia.pt/ Or go directly to: http://tinyurl.com/2f2jlw9 ###################################################################### From ruy at cin.ufpe.br Fri Jun 18 14:10:46 2010 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Fri, 18 Jun 2010 09:10:46 -0300 Subject: CFP - WoLLIC 2011, May 18-21, Philadelphia Message-ID: *WoLLIC 2011 18th Workshop on Logic, Language, Information and Computation * *May 18th to 21st, 2011 * *University of Pennsylvania Philadelphia, 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 )* *Sociedade Brasileira de Computação (SBC )* *Sociedade Brasileira de Lógica (SBL )* *Organisation* *Department of Mathematics , University of Pennsylvania , USA Centro de Informática , Universidade Federal de Pernambuco , Brazil * ------------------------------ Call for PapersWoLLIC 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 eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 21st, 2011. 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 Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). *Special Event* (tba) *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; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2011 EasyChair website. (Please go to http://wollic.org/wollic2011/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by January 1st, and the full paper by January 8 (firm date). Notifications are expected by February 21, and final papers for the proceedings will be due by March 1 (firm date). *Proceedings* The proceedings of WoLLIC 2011, 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 2011 issue of a scientific journal (soon to be announced). *Invited Speakers* (tba) *Student Grants* ASL sponsorship of WoLLIC 2011 will permit ASL student members to apply for a modest travel grant. See http://www.aslonline.org/studenttravelawards.html for details. *Important Dates* January 1, 2011: Paper title and abstract deadline January 8, 2011: Full paper deadline (firm) February 21, 2011: Author notification March 1, 2011: Final version deadline (firm) ** *Programme Committee* Krzysztof Apt (Amsterdam) (tbc) Sergei Artemov (New York) Jeremy Avigad (Pittsburgh) Arnold Beckman (Swansea) Lev Beklemishev (Moscow) (CHAIR) Alessandro Berarducci (Pisa) Andreas Blass (Ann Arbor) (tbc) Sam Buss (San Diego) Achim Jung (Birmingham) Benedikt Löwe (Amsterdam) Janos Makowski (Haifa) Michael Moortgat (Utrecht) Andrew Odlyzko (Minneapolis) (tbc) Vincent van Oostrom (Utrecht) Prakash Panangaden (Montréal) Rohit Parikh (New York) Fernando Pereira (Philadelphia) (tbc) Ruy de Queiroz (Recife) Alexander Shen (Marseilles and Moscow) Bas Spitters (Nijmegen) Helmut Veith (Wien) Yde Venema (Amsterdam) (tbc) Scott Weinstein (Philadelphia) Frank Wolter (Liverpool) * * *Organising Committee* Vivek Nigam (UPenn) Anjolina de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Andre Scedrov (UPenn) (co-chair) * * *Steering Committee* Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz. * Further information * * Contact one of the Co-Chairs of the Organising Committee. Web page http://wollic.org/wollic2011/ * -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pascal.hitzler at wright.edu Mon Jun 21 03:50:08 2010 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Sun, 20 Jun 2010 21:50:08 -0400 Subject: CfP: "Real-World Applications of OWL" SWJ special issue Message-ID: <4C1EC550.3090907@wright.edu> == journal special issue, call for papers == REAL-WORLD APPLICATIONS OF OWL = Description = The "Semantic Web" journal invites submissions for a special issue on "Real-world Applications of OWL." Submissions should consist of short papers describing deployed applications which use the Web Ontology Language OWL. The reports should be brief and pointed, indicating clearly, in what sense and to what extent OWL has been used in the application. These submissions will be reviewed along the following dimensions: (1) Quality, importance, and impact of the described application. (2) Clarity and readability of the describing paper, which shall convey to the reader the key ideas regarding the use of OWL in the application. Applications can cover all possible application areas. If you are uncertain if your application is suitable for this call, please direct your inquiry to the guest editors. = Important Dates = Submission Deadline: 15th of July, 2010. Acceptance Notification: 15th of September, 2010 Final Paper: 15th of October, 2010 = Submissions = Submissions should be 8-10 pages in length. Exceptions can be arranged, please contact the guest editors. Please see the submission information and guidelines at . When entering your manuscript into the review system, please state "OWL applications special issue" in the cover letter. Please also note the journal's open review process detailed at . = Guest Editors = Michel Dumontier, Carleton University, Canada Rinke Hoekstra, Universiteit van Amsterdam/Vrije Universiteit Amsterdam, The Netherlands Please direct all inquiries to the guest editors. = Guest Editorial Board = Ian Horrocks, Oxford University Ora Lassila, Nokia Thorsten Liebig, University of Ulm Mark Musen, Stanford Massimo Paolucci, NTT DoCoMo Lab Munich Bijan Parsia, University of Manchester Alan Ruttenberg, Science Commons Evren Sirin, Clark & Parsia online version of this call: http://www.semantic-web-journal.net/content/special-issue-real-world-applications-owl Please direct all inquiries to the guest editors. -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From A.P.Sexton at cs.bham.ac.uk Mon Jun 21 05:35:36 2010 From: A.P.Sexton at cs.bham.ac.uk (Alan P. Sexton) Date: Mon, 21 Jun 2010 04:35:36 +0100 Subject: MKM 2010: Call for Participation Message-ID: <201006210335.o5L3ZaqU032489@sis.cs.bham.ac.uk> CALL FOR PARTICIPATION The 9th International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT MKM 2010 http://cicm2010.cnam.fr/mkm/ CNAM, Paris, France, 8th-9th July 2010 as part of CICM 2010 - Conferences on Intelligent Computer Mathematics http://cicm2010.cnam.fr/ Mathematical Knowledge Management is an innovative field at the intersection of mathematics, computer science, library science, and scientific publishing. Its development is driven, on the one hand, by new technological possibilities which computer science, the Internet, and intelligent knowledge processing offer, and, on the other hand, by the increasing demand by engineers and scientists for new techniques to help in producing, transmitting, consuming, and managing sophisticated mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. More information about the MKM conference series can be found at the MKM Interest Group Webpage: http://www.mkm-ig.org/ As part of the Conferences on Intelligent Computer Mathematics, it will be co-located with the 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus 2010) and the 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010), and a number of workshops and a doctoral programme. For more information, see http://cicm2010.cnam.fr/ Registration to the conference is now open and online at http://cicm2010.cnam.fr/registration.html Registration includes one hard-copy of the Springer LNAI proceedings of the CICM conferences and one social event. Information on accommodation and travelling is also available on the CICM 2010 web pages. For further information: Email: mkm10 at easychair.org Website: http://cicm2010.cnam.fr/mkm/ Scientific Programme (MKM 2010) ==================== Invited Talks - Can we make Mathematics universal as well as fully reliable ? Pierre Cartier - Against Rigor Doron Zeilberger Research papers and presentations - Smart matching Andrea Asperti, Enrico Tassi - Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System Xiaoyu Chen - An OpenMath Content Dictionary for Tensor Concepts Joseph Collins - On Duplication in Mathematical Repositories Adam Grabowski, Christoph Schwarzweller - Adapting Mathematical Domain Reasoners Bastiaan Heeren, Johan Jeuring - Integrating multiple sources to answer questions in Algebraic Topology Jönathan Heras, Vico Pascual, Ana Romero, Julio Rubio - Towards Automatic Formalization of Informal Mathematics with MathNat Muhammad Humayoun and Christophe Raffalli - sTeXIDE: An Integrated Development Environment for sTeX Collections Constantin Jucovschi, Michael Kohlhase - Proofs, proofs, proofs, and proofs Manfred Kerber - Dimensions of Formality: A Case Study for MKM in Software Engineering Andrea Kohlhase, Michael Kohlhase, Christoph Lange - Towards MKM in the Large: Modular Representation and Scalable Software Architecture Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev - The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents Andriy Kovalchuk, Vyacheslav Levitsky, Igor Samolyuk, Valentyn Yanchuk - Notations Around the World: Census and Exploitation Paul Libbrecht - Evidence Algorithm and System for Automated Deduction: A Retrospective View Alexander Lyaletski, Konstantin Verchinine - On Building a Knowledge Base for Stability Theory Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller - Proviola: a Tool for Proof Re-animation Carst Tankink, James McKinna, Herman Geuvers, Freek Wiedijk - A Wiki for Mizar: Motivation, Considerations, and Initial Prototype Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers Co-Located Events ================= Conferences - 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus 2010) - 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010) Workshops - 3rd Workshop on Compact Computer Algebra (CCA) - 3rd Workshop, Towards a Digital Mathematics Library (DML) - 6th Workshop on Mathematical User-Interfaces (MathUI) - Workshop on Mathematically Intelligent Proof Search (MIPS) - 23rd Workshop on OpenMath (OpenMath) - 4th Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS) - Content Math Training Camp with Doctoral Programme (CMTC+DP) Social Events ============= - Conference reception with Wine & Cheese buffet - Conference Banquet at the "Cafe des Techniques" at the CNAM Museum From maudet at lamsade.dauphine.fr Mon Jun 21 14:55:07 2010 From: maudet at lamsade.dauphine.fr (maudet) Date: Mon, 21 Jun 2010 14:55:07 +0200 Subject: MALLOW-2010: registration now open Message-ID: <4C1F612B.9040809@lamsade.dauphine.fr> ================================================================= :: MALLOW-2010 :: The Multi-Agent Logics, Languages, and Organisations Federated Workshops :: http://mallow2010.emse.fr/ :: 30th of August -- 2nd of September :: Domaine Valpré, Lyon, France :: Early registration until 20th July The third edition of MALLOW will take place at the Domaine Valpré in Lyon, right after the EASSS summer school in Saint-Etienne (close to Lyon). Like its very successful predecessors (Durham, UK, 2007; Torino, Italy, 2009), MALLOW 2010 aims to offer a venue allowing to attend various workshops on different (but related) aspects of multi-agent systems. This year, the federated workshops are: * Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN) * Workshop of the FIPA Design Process Documentation and Fragmentation Working Group (DPDF WG) * Workshop on LAnguages, methodologies and Development tools for multi-agent systemS (LADS) * Workshop on Logics for Resource Bounded Agents (LRBA) * Workshop on Multi-Agent Systems and Simulation (MASS) :: http://mallow2010.emse.fr/ :: http://www.mallow-workshops.org/ ================================================================= From rendsvig at gmail.com Tue Jun 22 14:29:34 2010 From: rendsvig at gmail.com (Rasmus K. Rendsvig) Date: Tue, 22 Jun 2010 14:29:34 +0200 Subject: Call for Participation: ESSLLI 2010 Message-ID: CALL FOR PARTICIPATION ********************************** ESSLLI 2010 / UNIVERSITY OF COPENHAGEN / DENMARK / AUGUST 9-20, 2010 http://esslli2010cph.info/ The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. During two weeks,46 foundational, introductory and advanced courses + 6 workshops headed by some of the most prominent scholars in the fields are offered to the attendants, each of 1.5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks) and four evening lectures by senior scientists in the covered areas. In 2010, the venue for ESSLLI will be The University of Copenhagen, Denmark. Chair of the Program Committee is Valentin Goranko (The Technical University of Denmark), and Chair of the Organizing Committee is Vincent F. Hendricks (The University of Copenhagen). The registration for ESSLLI 2010 is open, see http://esslli2010cph.info/?page_id=40   * Student: 350€.   * Regular: 480€ Different accommodation packages are available, from 21€/night to 46€/night. All packages are currently available, but availability cannot be guaranteed. The rooms suggested are at Danhostel Copenhagen City, a mere 10 minute walk from the main venue. For more information and links to registration and accommodation pages, please visit the ESSLLI 2010 website: http://esslli2010cph.info/ Best regards, Rasmus K. Rendsvig, ESSLLI 2010 Organization Committee From Laurent.Vercouter at emse.fr Thu Jun 24 11:40:52 2010 From: Laurent.Vercouter at emse.fr (Laurent Vercouter) Date: Thu, 24 Jun 2010 11:40:52 +0200 Subject: 2nd CFP EASSS 2010 - European Agent Systems Summer School Message-ID: <4C232824.1010907@emse.fr> *ONLY 1 WEEK LEFT TO REGISTER WITH REDUCED EARLY REG. FEES AND FOR GRANT REQUESTS* ============================================================ Call For Participation 12th European Agent Systems Summer School (EASSS 2010) Ecole des Mines de Saint-Etienne, France 23 - 27 August 2010 (week before MALLOW'10) Early Registration Deadline: 30st of June http://easss2010.emse.fr/ ============================================================ As its very successful predecessors, EASSS'10 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. EASSS consists of a mixture of introductory and advanced courses delivered by internationally leading experts in multi-agent systems, and it covers the full range of theoretical and practical aspects of multi-agent systems. EASSS'10 will comprise the following courses: * Introduction to Multiagent Systems * Agent-based negotiations and auctions * New Trends in Multi-Agent Planning * Engineering Norm-Governed Systems * Temporal Constraint Techniques for Autonomous Scheduling * Game Theory: strategic and cooperative games * Trust and Reputation in Multi-Agent Systems * Organizational modelling: principles and practice * Model Checking Temporal and Strategic Logics * Self-organisation and multi-agent systems * Argumentation technologies for agents and multiagent systems * Multiagent simulation * Multiagent programming * Documentation and Fragmentation of Agent Oriented This summer school is open to anyone from academia or industry. More information can be found at the webpage. Inquiries can be sent to easss2010 at emse.fr ============================================================ -- *Laurent Vercouter* Maitre-Assistant / Assistant Professor SMA Dpt/G2I Center, Ecole des Mines de St-Etienne, France Phone: +33 4 77 42 66 03 http://www.emse.fr/~vercouter From C.Orasan at wlv.ac.uk Thu Jun 24 19:04:25 2010 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Thu, 24 Jun 2010 18:04:25 +0100 Subject: Master of Arts in Language and Information Processing: 12 months, University of Wolverhampton - UK (closing date July, 30 2010) Message-ID: <1277399065.23646.23.camel@dinel-desktop> [Apologies for multiple postings] -------------------------------------------------- Master of Arts in Language and Information Processing, University of Wolverhampton, UK Duration: 12 months Closing date July, 30 2010 URL: http://clg.wlv.ac.uk/teaching/lip.php -------------------------------------------------- The Research Institute in Information and Language Processing (RIILP), University of Wolverhampton invites applications for a Master of Arts course in Language and Information Processing with a start date of September 2010. The duration of the course is 12 months and gives students valuable hands-on experience through lab-based practical sessions as well as a solid theoretical grounding via lectures. The modules offered in this programme focus on different areas within Language and Information Processing, ranging from Computational Linguistics and Programming to Translation Tools and Cybermetrics. The course will cover module topics such as: Computational Linguistics, Programming for Corpus Linguistics, Machine Translation and other NLP Applications, Translation Tools for Professional Translators and Introduction to Cybermetrics. Students will also undertake an independent dissertation project and other research-related modules. As well as participating in the obligatory lectures students will have the opportunity to take part in a vibrant research environment and will be given the chance to become involved in various research projects. Attendance at seminars given by leading lights in the field, internal group reading sessions and various other research activities will support and enhance their studies. The Research Institute in Information and Language Processing brings together two complementary and interdisciplinary research teams that explore the potential of advanced computing technologies for ‘understanding’ human language (Research Group in Computational Linguistics - http://clg.wlv.ac.uk/) and social sciences (Statistical Cybermetrics Research Group - http://cybermetrics.wlv.ac.uk/), respectively. The Research Group in Computational Linguistics is highly successful and delivers cutting-edge research in a number of NLP areas such as anaphora resolution, automatic summarisation, question answering, information extraction, corpus linguistics and multilingual processing. The Statistical Cybermetrics Research Group carries out innovative research in blog analysis, hyperlink analysis, and web text analysis, particularly for academic, media and research-related issues. The results from the 2008 Research Assessment Exercise confirmed the Research Group in Computational Linguistics and Statistical Cybermetrics Research Group as top performers in UK research. The research groups were ranked 2nd and 3rd in the UK. Graduates will be specialists in Language and Information Processing and will be well placed to continue their academic/research careers by applying for PhD positions. They will also be able to access positions in industry within this field, as well as in related areas such as translation, software development and information and communication technologies. Required skills: - Undergraduate degree (2:1 or above) in a related subject such as Computational Linguistics, Linguistics, Translation, Languages, Computer Science, Mathematics. - For non native English speakers a language certificate showing a level of IELTS 6.0 or above is required unless you have a degree from a recognised UK university. Desirable Skills: - Some experience with linguistics or computational linguistics. - Knowledge of foreign languages (besides English) is a plus. Applications must include: - A CV indicating degrees obtained, courses covered, publications, relevant work experience and the names of two referees that could be contacted if necessary. - copy of university degree (in English). - copy of transcript listing all university marks (in English). - a covering letter in which candidates explain why they have applied for the Masters course, giving details of their research interests/experience, background, programming skills and an outline of any experience in Natural Language Processing or Linguistics. Please also state why you are interested in this course and why you consider your experience is relevant. Applications should be made by email to Erin Phillips (erin.phillips at wlv.ac.uk), course administrator. Please specify "MA LIP 2010 application" in the subject of your email. Deadline for applications is 30th July 2010. The short-listed applicants will be interviewed by email and telephone during the first week of August 2010. Informal inquiries and electronic applications can be sent by email to:Erin Phillips, Course administrator: erin.phillips at wlv.ac.uk More information about the programme can be found at http://clg.wlv.ac.uk/teaching/lip.php. -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton -- Scanned by iCritical. From bjwoodford at infoscience.otago.ac.nz Sun Jun 27 23:06:24 2010 From: bjwoodford at infoscience.otago.ac.nz (Brendon Woodford) Date: Mon, 28 Jun 2010 09:06:24 +1200 (NZST) Subject: Second CFP: The 13th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA2010) In-Reply-To: <15756082.1621274306944771.JavaMail.root@infos003.otago.ac.nz> Message-ID: <9525786.341277672784715.JavaMail.root@infos003.otago.ac.nz> Call for Papers The 13th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2010) [Formerly Pacific Rim International Workshop on Multi-Agents] November 12th -15th, 2010, Kolkata, India. http://www.prima2010.org/ PRIMA is a leading scientific conference for research on intelligent agent and multi-agent systems, attracting high quality, state-of-the-art research from all over the world. The conference endeavours to bring together researchers, developers, and academic and industry leaders, who are active and interested in agents and multi-agent systems, their practices and related areas. The conference has a strong focus on practice, and is focused on becoming the premier forum for prototype and deployed agent systems. Thus PRIMA particularly encourages reports on development of prototype and deployed agent and multi-agent systems, and experiments that demonstrate the capability of agents to handle real-world challenges. In order to facilitate the inclusion of system descriptions, which are often not served well by paper descriptions, PRIMA includes a Multimedia submission track. PRIMA offers an exceptional opportunity for presentation of original work, technological advances, practical problems and concerns of the research community. Papers addressing methodological or theoretical aspects or particular aspects of agent development are also encouraged. A broad range of topics are of interest but all papers should clearly identify how the contribution brings the promise of practical multi-agent systems closer and identify their scientific and/or technical contributions to the PRIMA community. In addition to the themes listed below, a key theme for PRIMA 2010 is agents and services, where the intent is to explore the connections between the agent technology and services (both in the sense of service science and service-oriented computing). We especially encourage papers that deal with the application of agent techniques to the challenges in the services area. There are clear relationships between the work in services and the work on agents, and there is increasing crossover between the two communities. Papers addressing methodological or theoretical aspects or particular aspects of agent development are also encouraged. A broad range of topics are of interest but all papers should clearly identify how their contribution brings the promise of practical multi-agent systems closer; and what their scientific and/or technical contribution is to the PRIMA community. PRIMA2010 will build on the success of its predecessor workshops and conferences held in Nagoya, Hanoi, Bangkok, Guilin, Kuala Lumpur, Auckland, Seoul, Tokyo, Taipei, Melbourne, Kyoto, and Singapore. Since 2007, due to the need for an additional high-quality forum for international researchers and practitioners to meet and share their work, the meeting has been expanded from a workshop to a full-fledged conference. Papers are double blind reviewed and the PRIMA proceedings will be published by the International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), which sponsors and publishes the proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). Selected papers accepted to PRIMA will be invited to be expanded and published as a special issue with the journal of Multiagent and Grid Systems (MAGS). Organization: General Chairs B.P. Sinha (Indian Statistical Institute, India) Chandan Mazumdar (Jadavpur University, India) Abdul Sattar (Griffith University, Australia) Program Chairs Nirmit Desai (IBM Research, India) Alan Liu (National Chung Cheng University, Taiwan) Michael Winikoff (University of Otago, New Zealand) Senior Program Committee (partial list): Monique Calisti, Whitestein Technologies, Switzerland Paolo Giorgini, University of Trento, Italy Ryszard Kowalczyk, Swinburne University of Technology, Australia Victor Lesser, University of Massachusetts Amherst, USA Michael Luck, King's College London, UK John-Jules Meyer, Utrecht University, Netherlands Paul Scerri, Carnegie Mellon University, USA Carles Sierra, IIIA - CSIC, Spain Munindar Singh, NCSU, USA Mary-Anne Williams, University of Technology Sydney, Australia Makoto Yokoo, Kyushu University, Japan Wiebe van-der-Hoek, University of Liverpool, UK Themes and Topics: Agent-based system development Agent-oriented software engineering Agent development environments Agent languages Case studies and implemented systems WWW and Semantic Web Agents Web-based agents Ontology agents Semantic Web agents Internet Bots Human Agent Interaction Agent Technologies for Service Computing Service composition with agent collaboration Service brokering and agency Personalized services with agent adaptation SLA definition and monitoring as agent goals Agent Reasoning Reasoning (single and multi-agent) Planning (single and multi-agent) Cognitive models Ontological reasoning Interface Agents Practices of Interface Agents Interface Multi-Agents Virtual Agents Collaborative Interface Agents Autonomous Interface Agents Agent societies and social networks Artificial social systems Trust and reputation Social and organizational structure Privacy, safety and security Ethical and legal issues Agent communication Communication languages Communication protocols Agent commitments Network structures and analysis Agent Cooperation and Negotiation Teamwork Cooperation Coalition formation Coordination Distributed problem solving Formal models for modeling other agents and self Argumentation Negotiation and Bargaining Persuasion Agent Systems Software agents Mobile agents Agent-Based Assistants Agent-Based Virtual Enterprise Embodied Agents and Agent-Based Systems Applications Socially Situated Planning Software and Pervasive Agents Real-world Robotics Coordination in multi-robot systems Modeling and analysis of multi-robot systems Tools that are relevant for multi-robot studies Applications of multi-robot systems to real-world problems Other Related Areas Collective intelligence Service science P2P, Grid computing Financial markets and algorithm trades Ubiquitous computing, ambient intelligence Programming Languages Knowledge and Data Intensive Systems Perceptive Animated Interfaces Scalability Tools and Standards Ubiquitous Software Services Virtual Humans Agent-based simulations Emergent behavior Simulation-specific issues Learning Learning (single and multi-agent) Computational architectures for learning Evolution, adaptation Important Dates: Workshop/Tutorial proposals June 1st, 2010 Workshop/Tutorial notifications June 15th, 2010 Multimedia: Submission: June 23rd, 2010 Notification: June 30th, 2010 Abstracts Due July 24th, 2010 Papers July 31st, 2010 Author Response Phase 19-22 August, 2010 Author notification September 10th, 2010 Camera-ready papers September 20th, 2010 Early registration deadline September 27th, 2010 Registration deadline November 1st, 2010 Workshops and Tutorials November 12th, 2010 Conference dates November 12th - 15th, 2010 From ic at sdiwc.net Tue Jun 29 15:33:34 2010 From: ic at sdiwc.net (The International Conference on Digital Information Processing and Communications(ICDIPC2011)) Date: Tue, 29 Jun 2010 08:33:34 -0500 Subject: CFP - ICDIPC - Czech Republic Message-ID: <8fcf82d694efe75d42a8e46a199a73c8.squirrel@cl51.justhost.com> The International Conference on Digital Information Processing and Communications (ICDIPC) VSB-Technical University of Ostrava, Czech Republic July 7-9, 2011 www.sdiwc.net/cz All the papers will be reviewed and the accepted papers in the conference will be published in the “Communications in Computer and Information Science” (CCIS) of Springer Lecture Notes Series (www.springer.com/series/7899), and will be indexed in many global databases including ISI Proceedings and Scopus. In addition, selected papers after complete modification and revision will be published in the special issues journals. =========================================================================== The proposed conference on the above theme will be held at the VSB-Technical University of Ostrava, Ostrava, Czech Republic from July 7-9, 2011 which aims to enable researchers build connections between different digital applications. The information processing still the base for most new technology applications. This includes the processing of the information on the web, mobile phones, networking information, and many other applications.The conference aims to show the cutting edge technology on the fields of information processing and its real applications in the field of Digital Information Technology. The conference covers the following topics, but it is not limited to them. They are: Information and Data Management Data Compression E-Technology E-Government E-Learning E-Technology Wireless Communications Mobile Networking, Mobility and Nomadicity Ubiquitous Computing, Services and Applications Data Mining Computational Intelligence Biometrics Technologies Forensics, Recognition Technologies and Applications Information Ethics Fuzzy and Neural Network Systems Signal Processing, Pattern Recognition and Applications Image Processing Distributed and parallel applications Internet Modeling User Interfaces,Visualization and Modeling XML-Based Languages Network Security Social Networks Information Content Security Mobile, Ad Hoc and Sensor Network Management Web Services Architecture, Modeling and Design Semantic Web, Ontologies Web Services Security Quality of Service, Scalability and Performance Self-Organizing Networks and Networked Systems Data Management in Mobile Peer-to-Peer Networks Data Stream Processing in Mobile/Sensor Networks Indexing and Query Processing for Moving Objects User Interfaces and Usability Issues form Mobile Applications Mobile Social Networks Peer-to-Peer Social Networks Sensor Networks and Social Sensing Social Search Embedded Systems and Software Real-Time Systems Multimedia Computing Software Engineeing Information Propagation on Social Networks Resource and Knowledge Discovery Using Social Networks Cloud Computing Grid Computing Green Computing Researchers are encouraged to submit their work electronically. Submitted paper should not exceed 15 pages, including illustrations. Papers should be submitted electronically. All papers will be fully refereed by a minimum of two specialized referees. Before final acceptance, all referees comments must be considered. Important Dates ============== Submission Date : Feb 25, 2011 Notification of acceptance: April 10, 2011 Camera Ready submission : April 30, 2011 Registration : April 30, 2011 Conference dates : July 7-9, 2011 From Wiebe.Van-Der-Hoek at liverpool.ac.uk Tue Jun 29 18:02:11 2010 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Tue, 29 Jun 2010 17:02:11 +0100 Subject: Postdoctoral Research Fellowship in Algorithms and Complexity, Liverpool (U.K.), Deadline: 23 Jul 2010 Message-ID: <66EBA9C6-BFB6-4C77-9728-68D4480856DA@liverpool.ac.uk> DEPARTMENT of COMPUTER SCIENCE, The UNIVERSITY of LIVERPOOL, UK POSTDOCTORAL RESEARCH FELLOW in ALGORITHMS AND COMPLEXITY (ALGORITHMIC GAME THEORY) A researcher is required to participate in the EPSRC-funded Research Project "Algorithmic Mechanism Design and Optimization Problems with Economic Applications". The research will be undertaken within the Economics and Computation Research Group in the Department of Computer Science at the University of Liverpool (UK), under the supervision of Dr Piotr Krysta. The aim of the project is to apply algorithmic and computational complexity tools to game theoretic problems motivated by concrete applications in electronic commerce and networks. In particular approximation algorithms techniques will be used. The project may involve collaboration with other staff members in the Department of Computer Science at the University of Liverpool. The successful candidate will have a PhD in the area of Algorithms and Complexity Theory. Knowledge and/or a PhD in the area of Algorithmic Game Theory will be highly appreciated. The post is available for 20 months, commencing August 2010, or as soon as possible thereafter, by negotiation; a further extension may be possible. The starting salary is GBP 30,747 - 31,671 pa. Informal enquiries may be sent to: Dr Piotr Krysta (mailto: P.Krysta at liverpool.ac.uk). http://www.csc.liv.ac.uk/~piotr Further particulars and details of the application procedure can be found at: http://www.liv.ac.uk/working/job_vacancies/research/ ** CLOSING DATE FOR APPLICATIONS: 23 July 2010 ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 79 47480/54292 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From sofronie at mpi-sb.mpg.de Wed Jun 30 12:11:10 2010 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Wed, 30 Jun 2010 12:11:10 +0200 (CEST) Subject: IJCAR 2010 - Final Call for Participation Message-ID: [Apologies for multiple copies of this announcement] --------------------------------------------------------------------------- IJCAR 2010 - The 5th International Joint Conference on Automated Reasoning Edinburgh, UK, July 16-19, 2010 http://www.floc-conference.org/IJCAR-home.html as part of FLoC 2010 - Federated Logic Conference http://www.floc-conference.org/ Call for Participation --------------------------------------------------------------------------- IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical programme will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2010 is a merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems), FTP (Workshop on First-order Theorem Proving), and TABLEAUX (Conference on Analytic Tableaux and Related Methods) Registration, accomodation, and travel/visa information for all FLoC conferences and workshops is on the FLoC 2010 web pages. DEADLINES (all deadlines are firm) * standard registration: 18 MAY 2010 - 30 JUNE 2010. * late registration: after 30 JUNE 2010. --------------------------------------------------------------------------- Scientific Program ------------------ + Presentation of 2 invited IJCAR talks + Presentation of 2 plenary/keynote FLoC invited talks + Presentation of 28 regular research papers + Presentation of 12 system abstracts + Presentation of the Herbrand Award to David Plaisted + 13 workshops, 2 competitions. --------------------------------------------------------------------------- Invited Speakers ---------------- + Invited IJCAR Speakers ---------------------- + Leonardo de Moura, Microsoft Research Redmond + Johan van Benthem, Stanford University and University of Amsterdam + Plenary and Keynote Invited Talks at FLoC ----------------------------------------- + David Basin, ETH Zurich + Deepak Kapur, University of New Mexico --------------------------------------------------------------------------- Workshops, Competitions ----------------------- There will be thirteen workshops and two system competitions associated with IJCAR. See their individual WWW pages, linked from the FLoC WWW pages for more information. + Workshops - AUTOMATHEO 2010: Workshop on Automated Mathematical Theory Exploration (Workshop affilliated to FLoC) (with ITP) - CLoDeM2010: International Workshop on Comparing Logical Decision Methods (with LICS) - EMSQMS 2010: Workshop on Evaluation Metods for Solvers, and Quality Metrics for Solutions (with CAV) - LfSA 2010: Logics for Systems Analysis (with LICS) - MLPA-10: 2nd Workshop on Module Systems and Libraries for Proof Assistants (with ITP) - PAAR-2010: Workshop on Practical Aspects of Automated Reasoning - SVARM 2010: Synthesis, Verification and Analysis of Rich Models (with CAV) - UITP10: 9th International Workshop On User Interfaces for Theorem Provers (with ITP) - UniDL10: 1st Workshop on Uncertainty in Description Logics - UNIF 2010: 24th International Workshop on Unification (with RTA) - VERIFY-2010: 6th International Verification Workshop - WING 2010: Workshop on Invariant Generation - WST 2010: 11th International Workshop on Termination (with RTA) + Competitions - CASC-J5: 5th IJCAR ATP System Competition - Termination 2010: 7th International Termination Competition --------------------------------------------------------------------------- Social Events ------------- + Welcome reception at the Scottish National Galleries. + Conference banquet at the luxurious Prestonfield Hotel. + CASQ-J5 - the CADE Squash Competition --------------------------------------------------------------------------- Proceedings ----------- At registration the proceedings of all FLoC conferences and workshops will be provided, at no additional cost, on a USB stick. Hard copy IJCAR 2010 proceedings are optionally available, for an additional cost. Remember to tick the hardcopy proceedings box when you register. Please note that hard copies are offered at appr. 50% discount during registration and will not be on sale later on or during the conference. --------------------------------------------------------------------------- Registration ------------ For online registration for IJCAR, please follow the link on the FLoC website at http://floc-conference.org/registration.html Registration is now open. The deadline for early registration was 17 May. Standard rates apply for those who register between 18 May and 30 June. For those who register after 30 June, late rates will apply. Note that it is possible to register early, and then add components (e.g., additional workshops, additional registration days, etc.) later on. --------------------------------------------------------------------------- Accomodation ------------ Very affordable accommodation has been booked at the University's Pollock Halls campus, about 15-minute walk from the conference site. Room types include single/double rooms with shared facilities/ensuite, and standard hotel rooms in a 3-star Victorian mansion. Alternatively, blocks of rooms have been booked at several hotels in the cite centre. For details, see http://floc-conference.org/accommodation.html --------------------------------------------------------------------------- For all enquiries about FLoC conferences email: floc-admin at inf.ed.ac.uk --------------------------------------------------------------------------- From cimatti at fbk.eu Wed Jun 30 15:54:04 2010 From: cimatti at fbk.eu (Alessandro Cimatti) Date: Wed, 30 Jun 2010 15:54:04 +0200 Subject: Postdoc positions available Message-ID: <20100630135404.GA2829@fbk.eu> [ Apologies for multiple copies of this message ] Post-Doc Positions Available Embedded System Research Unit Center for Information and Communication Technology Fondazione Bruno Kessler Trento, Italy !!! Application Deadline Approaching !!! The Embedded System Research Unit (http://es.fbk.eu) of the Information and Communication Technology Center of the Bruno Kessler Foundation, Trento, Italy, is seeking candidates for Post-Doc positions, to be hosted according to the call of proposal "Trentino - The Trentino programme of research, training and mobility of post-doctoral researchers", to be funded by the Autonomous Province of Trento, see: http://www.uniricerca.provincia.tn.it/binary/pat_uniricerca/news/call_1_post_doc_2010_incoming_en.1273589322.pdf Applications are invited in the broad field of formal verification and planning. Topics of interest include: - Model Checking - Safety Analysis - Schedulability - Planning and Run-time Monitoring Project proposals may have a duration of between two and three years. Candidate Profile ================= The ideal candidate should have a PhD degree in computer science, mathematics or electronic engineering, combine solid theoretical background and software development skills, and have some degree of autonomy. The candidate should be able to work in a collaborative environment, with a strong commitment to reaching research excellence and achieving assigned objectives. In depth previous experience in at least one of the following areas will be considered favorably: - Symbolic Model Checking - Propositional Satisfiability - Satisfiability Modulo Theory - Requirements Analysis - Constraint Solving and Optimization - Monitoring and Diagnosability - Software Verification - Safety Analysis (FTA, FMEA) We draw attention on the following requirements stated in the call for proposal. (1) The proposing researcher must have a PhD, obtained in Italy or abroad no more than three years before the deadline of this call. (2) The proposing researcher must not have had any working relationship (including any fellowship, scholarship, research grant, contract, cooperation) with any research organizations which have their registered office or operating centres inside Trento Province, longer than 30 days on the whole, during the two years before the deadline of this call. Applications and Inquiries ========================== Potential candidates should express their interest and/or inquire for further information by sending email to . Applications should contain a statement of interest, with a Curriculum Vitae, and the names of three reference persons. PDF format is strongly encouraged. Emails will be automatically processed and should have 'RIF: ES/postdoc' as subject. Potential candidates will be interviewed in order to define the objectives of the research activities and to obtain the endorsement of the hosting institution. If successful, they will be required to complete the application through the PAT site by July 13th, 2010. The applications will be evaluated by an independent team of experts. The Embedded System Research Unit ================================= The Embedded Systems Unit consists of about 15 persons, including researchers, post-Doc, PhD students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems. Current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink) * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis) * Model-based engineering and formal verification of aerospace systems using model checking techniques, on-board reasoning systems for autonomous vehicles using planning techniques * Formal Safety Analysis, based on the integration of traditional techniques (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques The unit develops and maintains several tools: * the NuSMV symbolic model checker (http://nusmv.fbk.eu) * the MathSAT SMT solver (http://mathsat.fbk.eu) * the Formal Safety Analysis Platform FSAP (http://fsap.fbk.eu) * the Requirements Analysis Tool RAT (http://rat.fbk.eu) The unit is currently involved in several research projects, funded by the European Union, the European Space Agency, the European Railway Agency, as well as in industrial technology transfer projects. The projects aim at applying research results to key application domains such as space, avionics, railways, hardware design and mobile embedded applications. A list of past and present projects, the unit has been involved in, include: - MISSA (http://es.fbk.eu/index.php?n=Projects.MISSA) - COCONUT (http://es.fbk.eu/index.php?n=Projects.COCONUT) - EURAILCHECK (https://es.fbk.eu/projects/eurailcheck/) - OMC-ARE (https://es.fbk.eu/index.php?n=Projects.OMCARE) - COMPASS (http://compass.informatik.rwth-aachen.de) The Embedded Systems (ES) Unit is part of the Information and Communication Technology (ICT) Center of Fondazione Bruno Kessler (FBK), formerly Istituto Trentino di Cultura, a private non-profit research centre established by the government of Autonomous Province of Trento (PAT) in 1976. The institute, through its ICT Center, is active in the areas of Information Technology, Microsystems, and Physical Chemistry of Surfaces and Interfaces. Today, FBK is an internationally recognized research institute, collaborating with industries, universities, and public and private laboratories in Italy and abroad. The institute's applied and basic research activities aim at resolving real-world problems, driven by the need for technological innovation in society and industry. Location ======== Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at http://www.trentino.to/home/index.html?_lang=en. Links ===== Autonomous Province of Trento, University and Scientific Research: http://www.uniricerca.provincia.tn.it/ Call for applications: http://www.uniricerca.provincia.tn.it/binary/pat_uniricerca/news/call_1_post_doc_2010_incoming_en.1273589322.pdf Fondazione Bruno Kessler: http://www.fbk.eu/ Center for Information Technology: http://cit.fbk.eu/ Embedded Systems Research Unit: https://es.fbk.eu/ Contact Persons =============== * Alessandro Cimatti mailto: http://es.fbk.eu/people/cimatti * Marco Bozzano mailto: http://es.fbk.eu/people/bozzano