From christian.guttmann at gmail.com Thu Apr 1 01:24:49 2010 From: christian.guttmann at gmail.com (Christian Guttmann) Date: Thu, 01 Apr 2010 07:24:49 +0800 Subject: 2nd Call for Papers: Second International Workshop on Collaborative Agents -- REsearch and development (CARE) Message-ID: <4BB3D9C1.2060703@gmail.com> Apologies for multiple postings. ============================================================ Second INTERNATIONAL WORKSHOP on Collaborative Agents -- REsearch and Development (CARE) 2010 31st August 2010, York University, Toronto, Canada Abstract submission: April 14, 2010 Full paper submission: April 16, 2010 http://www.csse.monash.edu.au/~xtg/CARE2010/ ============================================================ The workshop is held in conjunction with the International Conference on Intelligent Agent Technology (IAT). http://www.yorku.ca/wiiat10/ Summary ======= Collaboration is required when multiple agents achieve complex goals that are difficult or impossible to attain for an individual agent. This collaboration takes place under conditions of incomplete information, uncertainty, and bounded rationality, much of which has been previously studied in economics and artificial intelligence. However, many real world domains are characterised by even greater complexity, including the possibility of unreliable and non-complying collaborators, complex market and incentive frameworks, and complex transaction costs and organisational structures. This workshop's thematic focus is on collaborative and autonomous agents that plan, negotiate, coordinate, and act under this complexity. This workshop aims to foster discussions on computational models of collaboration in distributed systems, addressing a range of theoretical and practical issues. We seek contributions of members in research and industry that use the agent paradigm to approach their problems. Some issues of interest of this workshop are: o How to enable agents to form and follow joint agreements and contracts in complex organisational and market driven domains. o How to develop a comprehensive contractual formation/maintenance framework applicable to many application domains. o How to build comprehensive customer lifecycle management systems for customers, including telecommunication consumers, students and patients. o How to deploy lifecycle management systems in real world applications, such as healthcare, telecommunication, and smart campuses. o How to design markets that are adequate for agents to act with incomplete and uncertain information of the behaviour of collaborating agents. o How to build MAS that work efficiently in partially regulated markets (where governance policy or partnership agreements govern part of the market). o What are the implications of partial regulation on the management of contractual relationships and service delivery. o How organisational structures influence the negotiation of agents and the distribution/execution of tasks. o How to cope with collaborators that exhibit unreliable and non-conformant behaviour, eg where agreements are made but are not always conformed with. o How can interventions and incentive structures assist in managing contractual relationships and service delivery. o How to assign transaction costs to actions in planning, assignment, and execution in organisational structures. o How can transaction costs influence the social outcome of the system which is further influenced by the organisational context under which the collaboration takes place. o Can lessons learnt in game theoretic computation inform collaborative agent settings. o What role does learning and adaptivity play in building organisational MAS. The one day workshop will feature a mixture of invited talks, discussions and submitted contributions describing current work or work in progress in collaborative agent research and technology. The workshop environment fosters open discussions among all participants, particularly encouraging students to discuss their research topics and seek feedback from senior agent researchers. Contact ======= CARE organisers christian.guttmann at gmail.com dignum at cs.uu.nl Important Dates =============== Abstract submission: April 14, 2010 Full paper submission: April 16, 2010 Notification: May 28, 2010 Camera ready: June 7, 2010 Topics of Interest include (but are not limited to): ==================================================== RESEARCH * Collaboration frameworks * Models of teamwork and joint action * Organisation/Institutes/Norms * Auctioning/Negotiation * Task/Resource allocation * Behaviour modelling/monitoring * Adherence/Intervention mechanisms * Incentive frameworks * Intervention mechanisms * Agreement technology * Contract networks/formation * Cloud computing APPLICATION AREAS * Collaborative care planning/management * Disaster planning/management * Traffic planning/management * Transport/Logistics * Applications in primary and preventative healthcare * Chronic disease planning/management * Epidemiological agent models * Unmanned air/land vehicles * Robotic soccer/Robotic rescues * Weather forecast * Artificial and natural immune systems * Social networks (e.g., LinkedIn, Facebook,...) * Smart grid network (e.g., electricity/gas metering) Submission and Publication ========================== Submission is to be done electronically at Cyberchair at: http://wi-consortium.org/cyberchair/wiiat10/scripts/ws_submit.php. CARE 2010 seeks 4-page submissions formatted according to IEEE specification. Style Files for Paper Submission IEEE Computer Society Proceedings Manuscript Formatting Guidelines: DOC: ftp://pubftp.computer.org/press/outgoing/proceedings/instruct8.5x11.doc PDF:ftp://pubftp.computer.org/press/outgoing/proceedings/instruct8.5x11.pdf PS: ftp://pubftp.computer.org/press/outgoing/proceedings/instruct.ps LaTex Formatting Macros: ftp://pubftp.computer.org/Press/Outgoing/proceedings/IEEE_CS_Latex8.5x11x2.zip Submissions will be peer-reviewed by two or three reviewers per paper. Selection criteria will include relevance, significance, impact, originality, technical soundness, quality of presentation. Some preference may also be given to papers which address emergent trends or important common themes, or which enhance balance of workshop topics. Post-Proceedings will be published with a major international publisher (most likely Springer as for the CARE 2009). Workshop Officials ================== GENERAL CHAIRS Christian Guttmann (Monash University, Australia) Frank Dignum (University Utrecht, Netherlands) PROGRAM COMMITTEE Wei Chen (Intelligent Automation, Inc., United States of America) Philippe Pasquier (Simon Fraser University, Canada) Michael Luck (King's College London, United Kingdom) Lawrence Cavedon (NICTA and RMIT University, Australia) Samin Karim (Accenture, Australia) Cees Witteveen (Delft University of Technology, Netherlands) Franziska Klügl (Örebro University, Sweden) Toby Walsh (NICTA and UNSW, Australia) Cristiano Castelfranchi (Institute of Cognitive Sciences and Technologies, Italy) Alexander Pokahr (University Hamburg, Germany) Lars Brauchbach (University Hamburg, Germany) Wayne Wobcke (University of New South Wales, Australia) Rainer Unland (University of Duisburg-Essen, Germany) Liz Sonenberg (Melbourne University, Australia) Kumari Wickramasinghe (Monash University, Australia) Simon Thompson (British Telecom Research Laboratories, United Kingdom) Gord McCalla (University of Saskatchewan, Canada) Andrew Gilpin (Hg Analytics, United States of America) David Morley (SRI International, United States of America) Marcelo Blois Ribeiro (Pontifical Catholic University of Rio Grande do Sul, Brazil) Simon Goss (Defence Science and Technology Organisation DSTO, Australia) -- Christian Guttmann, PhD http://www.csse.monash.edu.au/~xtg/ From smaus at informatik.uni-freiburg.de Thu Apr 1 13:46:55 2010 From: smaus at informatik.uni-freiburg.de (Jan-Georg Smaus) Date: Thu, 1 Apr 2010 13:46:55 +0200 (CEST) Subject: MoChArt 2010: Call for Papers (Deadline extended!) Message-ID: Sixth Workshop on MODEL CHECKING and ARTIFICIAL INTELLIGENCE (MoChArt 2010) At AAAI-2010, Twenty-Fourth AAAI Conference on Artificial Intelligence Atlanta, Georgia, USA, July 11-12, 2010 http://mochart.informatik.uni-freiburg.de/ CALL FOR PAPERS PLEASE NOTE: The submission deadline has been extended until April 8, 2010! INTRODUCTION Model checking is the process of determining whether a logic formula is satisfied by a model. For many logics of interest, model checking can be efficiently automated. This has led to widespread interest in model checking as a technique for verifying properties of systems, and the development of model checking tools (e.g., SMV, Uppaal, PHAVer, and SPIN). The success of model checking in the computer aided verification community has led to a growth of interest in the use of model checking in artificial intelligence. Automated verification technologies are increasingly relevant for safety and reliability of autonomous systems. There has been a strong interest in this area from, e.g. NASA, which has applied it in the context of the Mars rovers and other autonomous robotics systems. On the other hand, model checking, in particular if viewed in the wider context of system verification, falsification and development, has recently benefited from the use of AI techniques, e.g. search heuristics, abstraction techniques, and constraint satisfaction (particularly SAT solving, which underlies "bounded model checking"). One of the principal benefits of model checkers in verification is their ability to return error traces when the specification is false. Dually, such traces can be viewed as plans for falsifying the specification: this duality means that there is a close relationship with planning. In directed model checking, AI planning techniques are applied in the search for error traces. The MoChArt workshop brings together researchers from AI and model checking. Apart from presentations of accepted papers, the programme will include an invited talk. We expect around 25 participants. Previous editions of the workshop were held in Patras in 2008 (as a satellite workshop of ECAI), Riva del Garda in 2006 (ECAI), San Francisco in 2005 (CONCUR), Acapulco in 2003 (IJCAI), and Lyon in 2002 (ECAI). TOPICS OF INTEREST Topics of interest include (a more detailed list can be found on the workshop webpage): - Application of model checking techniques to AI problems. - Model Checking and AI logics. - Relations between different techniques used in the two fields for similar purposes (e.g., reducing state explosion). - New model checking techniques specifically for AI problems. - Exploitation of AI techniques in model checking. - Software tools for model checking in AI. - Model checking for verification of AI systems. Preliminary papers and papers on applications are strongly encouraged. IMPORTANT DATES Deadline for submissions: April 8, 2010 (EXTENDED) Notification: April 23, 2010 Camera-ready paper due: May 4, 2010 Workshop: July 11 or 12, 2010 SUBMISSION PROCEDURES Submissions must be no more than 15 pages in length. Papers must be submitted through the EasyChair web-based conference management system: follow the link from the workshop web page. All papers will be peer reviewed. PROCEEDINGS During the workshop, informal proceedings (working notes) will be available. As with previous editions of MoChArt, post-proceedings based on selected papers from the meeting (after a second round of reviewing) and invited papers will be published in the LNCS/LNAI series of Springer-Verlag. PARTICIPATION The workshop forms part of the AAAI-2010 workshop programme. For full information about AAAI-2010, including registration, travel & accomodation, see: http://www.aaai.org/Conferences/AAAI/aaai10.php INVITED SPEAKER to be anncounced PROGRAM CHAIRS AND ORGANISING COMMITTEE * Ron van der Meyden School of Computer Science and Engineering University of New South Wales meyden at cse.unsw.edu.au * Jan-Georg Smaus Institut für Informatik Albert-Ludwigs-Universität Freiburg smaus at informatik.uni-freiburg.de PROGRAM COMMITTEE Rajeev Alur, University of Pennsylvania Massimo Benerecetti, Università di Napoli "Federico II", Alessandro Cimatti, IRST, Trento Stefan Edelkamp, Universität Bremen Enrico Giunchiglia, Università di Genova Patrice Godefroid, Microsoft Research, Redmond Aarti Gupta, NEC Laboratories America, Princeton Klaus Havelund, NASA Jet Propulsion Laboratory & Caltech Orna Kupferman, Hebrew University Marta Kwiatkowska, University of Oxford Alessio Lomuscio, Imperial College London Charles Pecheur, Université Catholique de Louvain Doron Peled, Bar Ilan University Jussi Rintanen, NICTA & Australian National University Michael Wooldridge, University of Liverpool From bernhard.schandl at univie.ac.at Thu Apr 1 14:34:20 2010 From: bernhard.schandl at univie.ac.at (Bernhard Schandl) Date: Thu, 1 Apr 2010 14:34:20 +0200 Subject: Call for Submissions: Linked Data Triplification Challenge 2010 Message-ID: <140B7274-FB86-4A01-B799-48805CF48FE5@univie.ac.at> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Call for Submissions: Linked Data Triplification Challenge 2010 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Patron: Tim Berners-Lee Sponsors: The New York Times, 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 NYT 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 18 May 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 NYT 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. NYT Track --------- The NYT Track is sponsored by The New York Times. Participants are to design and build a web application that makes use of the Linked Data published at data.nytimes.com and one or more government datasets that relate to politics like demographics of election districts to campaign finance to corporate spending on political messaging. The source need not be any particular national government nor any particular level of Government (local, state, provincial, federal, etc). Any dataset qualifies that is produced by any government in the world that would be of interest to a constituent of that government. A reference example will be published soon on the Linked Open Data Blog of NYT. 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 =============== * May 18th, 2010: Submission of descriptions * May 25th, 2010: Notification of nomination * June 1st, 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 Y.Bi at ulster.ac.uk Thu Apr 1 16:37:02 2010 From: Y.Bi at ulster.ac.uk (Bi Yaxin) Date: Thu, 1 Apr 2010 15:37:02 +0100 Subject: 4th International Conference on Knowledge Science, Engineering and Management (KSEM`2010) Message-ID: <6F127AEF3EE0114BBFBC03241A8178440299FA5D@jnexc09.ad.ulster.ac.uk> ================================================ The deadline of submissions has been extended [please accept our apologies for cross-posting] ========================================== 4th International Conference on Knowledge Science, Engineering and Management (KSEM`2010) 1-3 September 2010, Belfast, Northern Ireland, UK http://www.ulster.ac.uk/ksem2010 =============================================== *Important dates Paper submission: 30 March, 2010 (extended to 3 May, 2010) Author notification: 15 May, 2010 (extended to 3 June, 2010) Camera-ready: 30 May, 2010 (extended to 15 June, 2010) Early registration: 30 May, 2010 (extended to 15 June, 2010) =============================================== =============================================== *Call for organizers for the following new special sessions (organizers are entitled to have a free registration with the conference): Data fusion for information retrieval Mining concept drift within financial time series data Knowledge processing in requirement engineering Discover knowledge from social networks DNA sequence analysis in bioinformatics Knowledge representation and reasoning under uncertainty in Ambient intelligence =============================================== *Student Grants The KSEM2010 will make several travel grants available to PhD students. The awards will be used to subsidize conference travel to present papers. The application procedure will be published in the conference web site very soon. *Conference venue Europa Hotel (there are several budget hotels being adjacent it) *Invited speakers Anthony Cohn (University of Leeds, UK) Ian Horrocks (Oxford University, UK) Thierry Denoeux (Université de Technologie de Compiègne, France) ============================================ KSEM is an international conference for research on knowledge science, engineering and management, which attracts high quality, state-of-the-art research papers from all over the world. The conference provides a forum for researchers, practitioners and developers to present original work, to share their views, to exchange ideas and to develop new insights into KSEM-related areas. KSEM2010 will be held in Belfast, Northern Ireland, and is the fourth in the conference series, following three successful events in Guilin, China (KSEM'06), Melbourne, Australia (KSEM'07) and Vienna, Austria (KSEM'09). You are invited to submit papers that are original and not yet published. The topics of interest include but are not limited to: *Special sessions Theory and Practice of Ontology for the Semantic Web Application of Data Mining to Seismic Data Analysis for Earthquake Study *Knowledge science Knowledge representation and reasoning Logics of knowledge Formal analysis of knowledge Knowledge complexity and knowledge metrics Reasoning about knowledge in the presence of inconsistency, incompleteness, context-dependency Commonsense knowledge and uncertainty in knowledge Cognitive foundations of knowledge Knowledge in complex systems and multi-agent systems Formal ontology *Knowledge engineering Knowledge extraction Knowledge integration Knowledge fusion Knowledge-based software engineering Knowledge-based systems in life sciences Conceptual modelling in knowledge-based systems Semantic database systems and semantic Web Content engineering and ontological engineering Implementation issues in KBS Knowledge-based systems in earthquake science *Knowledge management Knowledge creation and acquisition Knowledge verification and validation Knowledge dissemination Knowledge management systems Organizational ontology Data mining and knowledge discovery Organizational memory Organizational learning Knowledge management strategies and practices Knowledge management applications *Paper Submission: Prospective participants are requested to electronically submit full papers of their work (12 pages). In accordance with the previous conferences the organisers of KSEM'2010 will publish the conference proceedings with Springer in the Lecture Notes in Artificial Intelligence (LNAI) series. *General conference co-chairs Bryan Scotney, University of Ulster, Northern Ireland, UK Zhi Jin, Peking University, China *Programme co-chairs Yaxin Bi, University of Ulster, Northern Ireland, UK Mary-Anne Williams, University of Technology, Sydney, Australia *Local organization committee (University of Ulster) James Uhomoibhi (co-chair) Hui Wang (co-chair) Anna Jurek Juan C Augsto David Glass Jun Liu Shengli Wu Nicola Burns Jing Liao Haiying Wang *Steering committee members David Bell, Queen's University Belfast, UK Cungen Cao, Chinese Academy of Sciences, China Dimitris Karagiannis, University of Vienna, Austria Zhi Jin, Peking Univeristy, China Jérome Lang, University Paris-Dauphine, France Yoshiteru Nakamori, JAIST, Japan Jorg Siekmann, DFKI, Germany Eric Tsui, The Hong Kong Polytechnic University, Hong Kong Zongtuo Wang, Dalian Science and Technology University, China Kwok Kee Wei, City University of Hong Kong, Hong Kong Mingsheng Ying, Tsinghua University, China Zili Zhang (Secretary), Southwest University, China Ruqian Lu (Honorary Chair), Chinese Academy of Sciences, China Chengqi Zhang (Chair), University of Technology, Sydney, Australia *Contact details Email:ksem2010 at ulster.ac.uk website: http://www.ulster.ac.uk/ksem2010 Organization committee of KSEM2010 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From A.Lomuscio at imperial.ac.uk Thu Apr 1 18:25:44 2010 From: A.Lomuscio at imperial.ac.uk (Alessio Lomuscio) Date: Thu, 01 Apr 2010 17:25:44 +0100 Subject: Job: 2 Research positions at Imperial College London Message-ID: <4BB4C908.5010907@imperial.ac.uk> Imperial College London Department of Computing 1 X Research Associate Fixed Term for up to 36 months 1 X Research Assistant Fixed Term for 12 months with possible extension to 36 months in view to acquiring a PhD degree ============================================================================= Model Checking for Artifact-Based Environments Research Assistant salary: £26,720 - £29,700 per annum Research Associate salary: £30,520 - £38,930 per annum The Department of Computing is a leading department of Computer Science among UK Universities. It was rated 2nd in the 2008 Research Assessment Exercise (RAE) and achieved 5*, the top rating, in the 1996 and 2001 RAEs. It has consistently been rated "Excellent" in the national assessment of teaching quality. An opportunity has arisen for a Research Assistant (pre-doctoral level) and a Research Associate (post-doctoral level) to work on themes of model checking for services as part of the EU IST FP7 Strep Research Project ACSI ("artifact-centric service interoperations"). The purpose of the project is to develop techniques for the verification and synthesis of web services based on the idea of artifacts. The appointed researchers will be responsible for developing model-checking based techniques for the verification of artifact-based service environments. To apply you will need to have a strong computing or engineering background. You should have experience in one or more of the following areas: • Formal verification, especially model checking • Abstraction • Automata theory and synthesis • Modal Logic, including temporal logic, epistemic logic and ATL • Service-oriented computing • Implementation of model checkers For the Research Associate post you must have experience of independent research in an area related to formal methods, Artificial Intelligence, Logic in Computer Science. Research Assistant applicants must have a good first degree (or equivalent) or a Masters degree (or equivalent) in a relevant area, i.e., Computing, Mathematics or Engineering. Research Associate applicants must have a PhD (or equivalent) in a relevant area, i.e., Computing, Mathematics or Engineering. You must have excellent communication skills, ability to work in teams, ability to organise your own work with minimal supervision and to meet deadlines. Preference will be given to applicants with a proven research record and publications in relevant areas. All applicants must be fluent in spoken and written English. You will be part of the Logic and Artificial Intelligence Section based at the South Kensington campus. For further information on the group and related projects see: http://www.doc.ic.ac.uk/~alessio/ For informal inquires please contact Dr Alessio Lomuscio by email to: a.lomuscio at imperial.ac.uk Priority consideration will be given to staff at risk of redundancy. How to apply: Our preferred method of application is online via our website at: http://www3.imperial.ac.uk/employment (please select "job search" then enter the job title or vacancy reference number into "keywords"). Please complete and upload an application form as directed. Applications must include the following: • A college application form quoting job reference AL 04 10 • A full CV • A 2 page research statement indicating what you see are interesting research issues relating to the above post and why your expertise is relevant. Should you have any queries regarding the application process please contact Joanne Day by email: research.officer at doc.ic.ac.uk Closing Date: 22nd April 2010 Committed to equality and valuing diversity. We are also an Athena Silver SWAN Award winner and a Stonewall Diversity Champion. From marta.kwiatkowska at comlab.ox.ac.uk Thu Apr 1 20:26:36 2010 From: marta.kwiatkowska at comlab.ox.ac.uk (Marta Kwiatkowska) Date: Thu, 01 Apr 2010 19:26:36 +0100 Subject: Four positions on ERC VERIWARE project at Oxford Message-ID: <4BB4E55C.5080901@comlab.ox.ac.uk> [Apologies for multiple postings] Two Grade 7 postdoctoral positions, initially for 3 years http://www.comlab.ox.ac.uk/news/185-full.html Two doctoral studentships for 3.5 years http://www.comlab.ox.ac.uk/news/183-full.html Deadline for applications **early May 2010*** Professor Marta Kwiatkowska from the Oxford University Computing Laboratory (OUCL) has been awarded a five year ERC Advanced Investigator Grant for the project "VERIWARE: From software verification to everyware verification", to start on 1 May 2010. The goal of this project is the development of theoretical foundations and automated verification techniques for ‘everyware', i.e. sensor-based ubiquitous computing devices. In the context of this project, OUCL has openings for two doctoral and two post-doctoral research positions. See http://www.veriware.org/docs/Veriware.pdf for a non-technical description. The project covers a broad range of topics including the following: models for ubiquitous computing devices; abstraction, refinement and synthesis; software verification; probabilistic verification; quantitative verification for resource-constrained systems; online verification techniques, e.g. those based on machine learning or statistical inference; verification algorithms for agent-based cooperation and negotiation; and applications. The focus will be on developing theoretical foundations, algorithms, implementation techniques and prototype software tools. The VERIWARE team will be led by Professor Kwiatkowska and will include Dr David Parker, as well as the two postdoctoral researchers and two doctoral students advertised here. For more information on requirements for the posts, selection criteria and how to apply please see URLs below: Two Grade 7 postdoctoral positions, initially for 3 years http://www.comlab.ox.ac.uk/news/185-full.html Two doctoral studentships for 3.5 years http://www.comlab.ox.ac.uk/news/183-full.html Deadline for applications **early May 2010*** -- Professor Marta Kwiatkowska Fellow of Trinity College Director of Graduate Studies Oxford University Computing Laboratory Wolfson Building, Parks Road Oxford, OX1 3QD Tel: +44 (0)1865 283509 (office) Email: Marta.Kwiatkowska at comlab.ox.ac.uk URL: http://web.comlab.ox.ac.uk/people/Marta.Kwiatkowska/ From lorini at irit.fr Fri Apr 2 23:16:37 2010 From: lorini at irit.fr (lorini at irit.fr) Date: Fri, 2 Apr 2010 23:16:37 +0200 (CEST) Subject: "Theories of Information Dynamics and Interaction and their Applications to Dialogue", Copenhagen (Denmark), 16-20 August 2010 Message-ID: CALL FOR PAPERS Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue TIDIAD at ESSLLI2010 http://www.irit.fr/~Laure.Vieu/Esslli10 Workshop organized as part of the European Summer School on Logic, Language and Information ESSLLI 2010 (http://esslli2010cph.info/) August 16-20 (ESSLLI 2nd week) 2010, Copenhagen Workshop Purpose and Topics: ---------------------------- Theoretical approaches to communication and dialogue modeling are varied and often unrelated because separately focusing on different aspects of dialogue (speech acts, goals, beliefs, plans, questions, conventions, roles, cooperation, disputes, argumentation, reference, semantics-pragmatics interface...). On the other hand, the area of foundations of multi-agent systems is inducing new developments in logics of interaction and information dynamics, with a recent trend towards comparison and integration. Analyzing the impact of this trend on communication and dialogue modeling is timely. This workshop aims at discussing formal theories and logics of information dynamics and interaction and their applications to dialogue and communication modeling. It is intended to bring together logicians, linguists and computer scientists in order to provide a better understanding of the potentialities and limitations of formal methods for the analysis of dialogue and communication. Its scope includes not only the technical aspects of logics, but also multidisciplinary aspects from linguistics, philosophy of language, philosophy of social reality, social sciences (social psychology, economics). The following are some examples of formal theories and logics that are relevant to the workshop (no order): speech act theory, argumentation theory, game theory, public announcement logic, dynamic epistemic logic (DEL), logics of agency and power (e.g. STIT, ATL, Coalition Logic), theories of persuasion, theories of commitment, dynamic semantics, semantic approaches to interrogative clauses, rhetorical approaches to dialogue (e.g., Segmented Discourse Representation Theory). The focus of the workshop will be on recent developments, especially those that combine several approaches (e.g. dynamic epistemic logic and speech act theory, dynamic epistemic logic and segmented discourse representation theory, public announcement logic and commitment theories, STIT and dynamic epistemic logic, Coalition Logic and public announcement logic...) to deal with complex dialogue and communication phenomena. Invited speakers: ----------------- Patrick Blackburn, LORIA, INRIA Nancy Jeroen Groenendijk, ILLC, University of Amsterdam Workshop Organizers: -------------------- Emiliano Lorini ("lorini at irit.fr") and Laure Vieu ("vieu at irit.fr"), IRIT-CNRS, Toulouse Workshop Programme Committee: ----------------------------- Nicholas Asher, IRIT-CNRS, Toulouse Guillaume Aucher, Univ. of Luxembourg Alexandru Baltag, Oxford Univ. Anton Benz, ZAS, Berlin Patrick Blackburn, INRIA, Nancy Guido Boella, Univ. of Turin Jan Broersen, Univ. of Utrecht Cristiano Castelfranchi, ISTC-CNR, Rome Hans van Ditmarsch, Univ. of Otago & Univ. of Seville Raquel Fernández, Univ. of Amsterdam Jonathan Ginzburg, King's College, London Jeroen Groenendijk, Univ. of Amsterdam Davide Grossi, Univ. of Amsterdam Andreas Herzig, IRIT-CNRS, Toulouse Wiebe van der Hoek, Univ. of Liverpool Joris Hulstijn, Vrije Univ. of Amsterdam Andrew Jones, King's College, London Barteld Kooi, Univ. of Groningen Kepa Korta, Univ. of Basque Country, Donostia Alex Lascarides, Univ. Edinburgh Dominique Longin, IRIT-CNRS, Toulouse John-Jules Meyer, Univ. of Utrecht Paul Piwek, The Open Univ., Milton Keynes Henry Prakken, Univ. of Utrecht Leon van der Torre, Univ. of Luxembourg Submission Details: ------------------- Authors are invited to submit an extended abstract presenting work relevant to the area of information dynamics, interaction and dialogue. Extended abstracts should have a maximum of 6 pages, font size of at least 11pt, and margins of at least 2 cm. Papers should be in PDF format (Latex-generated papers are preferred, but not necessary), and uploaded by April 12 using Easychair at: http://www.easychair.org/conferences/?conf=tidiadesslli10 The submissions will be reviewed by the program committee and possibly additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. The format for the final versions will be made available in due course. A special issue of the journal Synthese is planned, based on selected papers presented at the workshop, of which full versions will be independently reviewed. Important dates: ---------------- Apr 12, 2010: Deadline for submission May 24, 2010: Notification June 1, 2010: Deadline for early registration to ESSLLI Jun 15, 2010: Deadline for final papers August 16-20, 2010: Workshop Local Arrangements: ------------------- All workshop participants including the presenters will be required to register for ESSLLI. Further Information: -------------------- About the workshop: http://www.irit.fr/~Laure.Vieu/Esslli10 About ESSLLI: http://esslli2010cph.info/ From iris.scheuermann at kit.edu Fri Apr 2 23:33:21 2010 From: iris.scheuermann at kit.edu (Iris Scheuermann) Date: Fri, 2 Apr 2010 23:33:21 +0200 Subject: 1st Karlsruhe Summer School on Service Research, Call for Participation Message-ID: <3F2357E32FD9ED4C9361DD5A698F876CCE595D@RZ-EX-06.rz.uni-karlsruhe.de> FIRST CALL FOR PARTICIPATION (Apologies for cross-postings) 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 APPLICATION DEADLINE: June 15th 2010 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). The Karlsruhe Service Summer is furthermore associated with the Dagstuhl Perspectives Workshop on Service Value Networks (from July 25th to 30th) and the 5th European Young Researchers Workshop on Service-Oriented Computing (on July 16th and 17th). *** 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 disparate 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 industry sessions, lab experiments, and panel sessions. *** 2nd Karlsruhe Service Summit (July 23rd 2010) *** Summer School attendees are cordially invited to the 2nd Karlsruhe Service Summit on July 23rd, 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: - John Davies (British Telecom) - Bo Edvardsson (Karlstads University, Service Research Centre) - Nicola Guarino (Laboratory for Applied Ontology, Trento) - Willem-Jan van den Heuvel (Tilburg University, European Research Institute of Services Science (ERISS)) - Stephen Kwan (San Jose State University) - Birgit Mager (Cologne International School of Design) - Orestis Terzidis (SAP Research) The list is complemented by a set of high-profile Service Summit speakers. Keep an eye on http://www.service-summer.org for updates on speakers for both events. Application: The summer school is open to qualified and motivated candidates. Ph. D. students, post-docs, and practitioners from industry are encouraged to apply. The application deadline is June 15th 2010. Fees: Regular fee: 510EUR Early Bird Registration Fee (until May 15th 2010): 450EUR Special rates are available for participants from IBM and KIT. We further offer preconfigured registration packages that include accommodation at IBIS Hotel Karlsruhe. Contact: Karlsruhe Service Research Institute (KSRI) http://www.ksri.kit.edu http://www.service-summer.org info at service-summer.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From V.Sorge at cs.bham.ac.uk Sat Apr 3 00:05:54 2010 From: V.Sorge at cs.bham.ac.uk (Volker Sorge) Date: Fri, 02 Apr 2010 23:05:54 +0100 Subject: CfP -- ACA 2010 Special Session on Computer Algebra in Knowledge Based Applications Message-ID: <20100402235811.E353825BCC2@selket.rz.tu-clausthal.de> ------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------ Announcement and Call for Presentations ACA 2010 Special Session on Computer Algebra in Knowledge Based Applications Held at the conference ACA'2010, June 24-27, 2010, in Vlore, Albania. Webpages: http://events.cs.bham.ac.uk/aca10 (Special Session) http://aca2010.info/index.php/aca2010/aca2010 (Conference) Overview: Symbolic Computation techniques are playing a significant role outside its traditional application areas in Computer Algebra. Over recent decades they have been successfully employed in several areas of traditional artificial intelligent systems such as automated reasoning, constraint solving or interactive tutoring. Conversely intelligent and knowledge based techniques have made their way into main stream symbolic computation such as the integration of equational reasoning into Computer Algebra systems. In this session we will be interested in a variety of application of symbolic computation in knowledge based artificial intelligence systems and vice versa of incorporation of AI techniques and mathematical knowledge into computer algebra. We will also be interested in representation issues arising from these combinations as well as in the role played by ontologies in linking symbolic computation and AI as illustrated by Wolfram|Alpha. The scope of the session therefore includes the following topics: -- System combinations and integrations -- Knowledge acquisition and representation -- Application areas Call for Contributions: If you are interested in giving a presentation at this session, please email an abstract to one of the organisers. Presentations will be up to 30 min in length, including time for discussion. Deadline: The tentative deadline for submissions is May 21st, 2010. Publication: Selected contributions will be considered for inclusion in a special issue of the Journal of Mathematics and Artificial Intelligence. Session Organisers: Volker Sorge, University of Birmingham, UK. V.Sorge at cs.bham.ac.uk Jacques Calmet, Universit�t Karlsruhe, Germany. calmet at ira.uka.de From j44zhang at cs.uwaterloo.ca Sat Apr 3 16:17:11 2010 From: j44zhang at cs.uwaterloo.ca (Jie Zhang) Date: Sat, 03 Apr 2010 10:17:11 -0400 Subject: Submission Deadline Extension for PST2010 (Privacy, Security and Trust) - April 25, 2010 In-Reply-To: <20100330175541.155424c1i3zk1c2s@www.nexusmail.uwaterloo.ca> References: <20100207222955.48694q9idjzfno74@www.nexusmail.uwaterloo.ca> <20100330175541.155424c1i3zk1c2s@www.nexusmail.uwaterloo.ca> Message-ID: <20100403101711.90385xwm3g9o0g4k@www.nexusmail.uwaterloo.ca> Please kindly note that the deadline for paper submission has been extended to * April 25, 2010 * due to numerous requests. We also allow up to 2 additional pages in each category with over-length charges. ******************************************************************** PST 2010 EIGHTH INTERNATIONAL CONFERENCE on PRIVACY, SECURITY, and TRUST Ottawa, Canada August 17-19, 2010 http://pstnet.unb.ca/pst2010 ******************************************************************** Preliminary Call for Papers The PST2010 International Conference on Privacy, Security and Trust (PST) is being held in Ottawa, Ontario, Canada, August 17-19, 2010. PST2010 is the eighth such annual conference focusing on PST technologies. PST2010 provides a forum for researchers world-wide to unveil their latest work in privacy, security and trust and to show how this research can be used to enable innovation. This year's theme is "Privacy, Security and Trust by Design: PbD - The Gold Standard." With the growth and ubiquity of data in today's hyper-networked world, the need for trust has become more critical than ever. We need new paradigms that seek to integrate and build privacy, security and trustworthiness directly into technologies and systems from the outset and by default. IMPORTANT DATES: ---------------- Paper submission due: April 25, 2010 Notification of acceptance: May 29, 2010 Final manuscripts due: June 26, 2010 PST2010 will include an Industry Day followed by two days of high-quality research papers whose topics include, but are NOT limited to, the following: - Privacy Preserving / Enhancing Technologies - Trust Technologies, Technologies for Building Trust in e-Business Strategy - Critical Infrastructure Protection - Observations of PST in Practice, Society, Policy and Legislation - Network and Wireless Security - Digital Rights Management - Operating Systems Security - Identity and Trust management - Intrusion Detection Technologies - PST and Cloud Computing - Secure Software Development and Architecture - Human Computer Interaction and PST - PST Challenges in e-Services - Implications of, and Technologies for, Lawful Surveillance - Network Enabled Operations - Biometrics, National ID Cards, Identity Theft - Advanced Training Tools - PST and Web Services / SOA - Information Filtering, Data Mining & Knowledge from Data - Privacy, Traceability, and Anonymity - National Security and Public Safety - Trust and Reputation in Self-Organizing Environments - Security Metrics - Anonymity and Privacy vs. Accountability - Recommendation, Reputation and Delivery Technologies - Access Control and Capability Delegation - Continuous Authentication - Representations and Formalizations of Trust in Electronic and Physical Social Systems High-quality papers in all PST related areas that, at the time of submission, are not under review and have not already been published or accepted for publications elsewhere are solicited. Accepted papers will be accepted as "regular" papers up to 8 pages and with oral presentations, or "short" papers of up to 2 pages with poster presentations. Up to 2 additional pages will be allowed in each category with over-length charges. The standard IEEE two-column conference format should be used for all submission. A copy of the IEEE Manuscript Templates for Microsoft Word or LaTeX and additional information about paper submission and conference topics and events can be found at the conference web site. All accepted papers will be published in the conference proceeding, and by IEEE* and will be accessible* via IEEE Xplore Digital Library. Best Paper and Best Student Paper awards will be presented. Some travel grants to students who are presenting their work in the conference will also be made available. For additional information please visit the conference web site: http://pstnet.unb.ca/pst2010 From Joost.Vennekens at cs.kuleuven.be Sat Apr 3 14:36:15 2010 From: Joost.Vennekens at cs.kuleuven.be (Joost Vennekens) Date: Sat, 3 Apr 2010 14:36:15 +0200 Subject: KR 2010 registration ends next week! Message-ID: <201004031236.o33CaF2v006717@brundij.cs.kuleuven.be.> Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt. Name: nicht verfügbar URL: From myv at cs.rice.edu Sun Apr 4 11:01:44 2010 From: myv at cs.rice.edu (MYV) Date: Sun, 4 Apr 2010 04:01:44 -0500 (CDT) Subject: Amir Pnueli Memorial Symposium - May 7-9, 2010 Message-ID: ======================================================================= Amir Pnueli Memorial Symposium New York University New York, New York, USA May 7-9, 2010 ======================================================================= Amir Pnueli was one of the most influential computer scientists of our time. He published more than 250 papers, many of them groundbreaking, including the 1977 paper, "The Temporal Logic of Programs," for which he won the 1996 ACM Turing Award. On November 2, 2009, Amir unexpectedly passed away. His loss is felt deeply by friends and colleagues around the world. The Amir Pnueli Memorial Symposium is an opportunity for the computer science community to remember Amir by revisiting the ideas and challenges which inspired and defined his life's work. It will feature talks by a select group of internationally acclaimed researchers, including colleagues and former students of Amir. The symposium will take place at New York University on May 7-9, 2010. It is open to all who wish to attend. For more information and to register, please visit http://www.cs.nyu.edu/acsys/pnueli. ================== Schedule ================== May 7, 4:00 - 6:00pm - Remembering Amir Pnueli, with tributes from his family, friends, colleagues, and students. May 8, 8:15am - 6:00pm - Symposium Day 1 May 9, 8:30am - 5:30pm - Symposium Day 2 Symposium Speakers ================== Rajeev Alur University of Pennsylvania Krzysztof Apt Centrum Wiskunde and Informatica Egon Brger Universit di Pisa Manfred Broy Technische Universitt Mnchen Patrick Cousot New York University Werner Damm Carl von Ossietzky Universitt Oldenburg Willem-Paul De Roever Christian-Albrechts-Universitt zu Kiel E. Allen Emerson The University of Texas at Austin Javier Esparza Technische Universitt Mnchen David Harel The Weizmann Institute of Science Tom Henzinger EPFL Robert Kurshan Cadence Design Systems Leslie Lamport Microsoft Research Oded Maler CNRS-Verimag Ken McMillan Cadence Research Labs Stephan Merz INRIA Lorraine, LORIA Jayadev Misra University of Texas at Austin Catuscia Palamidessi cole Polytechnique Krishna Palem Rice University Doron Peled Bar Ilan University Nir Piterman Imperial College London Roni Rosner Intel Labs Muli Safra Tel Aviv University Giora Slutzki Iowa State University Ofer Strichman Technion Moshe Vardi Rice University Lenore Zuck University of Illinois at Chicago From j44zhang at cs.uwaterloo.ca Sun Apr 4 12:10:25 2010 From: j44zhang at cs.uwaterloo.ca (Jie Zhang) Date: Sun, 04 Apr 2010 06:10:25 -0400 Subject: ICCLA 2011 - Call for Participation In-Reply-To: <20100403101832.83636csuwq9ynu4o@www.nexusmail.uwaterloo.ca> References: <20100207222955.48694q9idjzfno74@www.nexusmail.uwaterloo.ca> <20100330175541.155424c1i3zk1c2s@www.nexusmail.uwaterloo.ca> <20100403101832.83636csuwq9ynu4o@www.nexusmail.uwaterloo.ca> Message-ID: <20100404061025.20014oczbsy0v5ic@www.nexusmail.uwaterloo.ca> International Conference on Computational Learning for Aerospace 2011 (ICCLA?11) 10-14 January 2011 Biopolis, Singapore http://c2inet.sce.ntu.edu.sg/conference http://c2inet.sce.ntu.edu.sg/conference/CFP_ICCLA.pdf The conference addresses development of novel computational learning techniques for the analysis/application in aerospace and related industries. The goal is to identify prominent areas within the domain of aerospace where developments in computational learning can improve on current techniques and/or answer new interesting questions. The conference will bring together researchers from machine learning, data mining, optimization, and other computational learning topics, as well as researchers and engineers from industry to discuss problems in aerospace where computational learning may provide an edge over existing approaches. The conference also aims to promote discussion on recent progresses and challenges as well as on methodological issues and applied research problems. The em- phasis will be on practical problem solving involving novel algorithmic approaches. Call For Papers: Prospective authors are cordially invited to submit high-quality papers to ICCLA 2011. Accepted papers will be published in the conference proceedings. The conference topics include, but not limited to: ? Optimization Methods ? Autonomous Systems ? Intelligent Agents ? Reinforcement Learning ? Supervised and Semi-supervised Learning ? Bayesianand Generative Modeling ? Evolutionary Computing ? Memetic Computing ? Recurrentand State Space Models ? Kernel Methods ? Support Vector Machines ? Neural Networks ? SwarmIntelligence ? Boosting ? Multi-agent Simulation ? Multi-view/Multi-task Learning ? Online Methods ? Information Retrieval ? Multi-objective Design ? Robotics ? Radar ? Diagnostics ? Automation ? Surface Reconstruction Paper Submission: Manuscripts should be prepared according to the standard format of LNCS papers and be restricted to a maximum of 8 pages. All accepted papers will appear in the conference proceedings by Springer publisher. Please follow instruction on the submission page at the conference?s website http://c2inet.sce.ntu.edu.sg/conference . Important Dates Paper Submission: Jul 15, 2010 Decision Notification: Sep 15, 2010 Camera-ready Submission: Oct 15, 2010 Special Session/Tutorial/ Workshop Proposals: July 15, 2010 General Chair: Dr. David R. Hardoon Conference chairs: Dr. Ong Yew Soon Dr. Lim Meng Hiot Dr. Ivor Tsang Wai Hung Dr. Daisuke Sasaki Dr. Emilio Parrado-Hernandez Program Co-Chairs: Dr. Song Wenbin Dr. Partha S. Dutta Finance Chair Dr. Sintiani Dewi Teddy Publication & Publicity Chairs Dr. Dudy Lim Dr. Daisuke Sasaki Tutorial Chair Dr. Li Xiaoli Registration & Competition Chair Dr. Zhang Jie Local Chair Dr. Li Xiang Sponsors: Nanyang Technological University Boeing Phantom Works PASCAL Network of Excellence Global COE program at Institute of Fluid Science, Tohoku University Zhang Jie (Asst Prof) School of Computer Engineering Nanyang Technological University, Singapore From publicity at rv2010.org Sun Apr 4 21:36:39 2010 From: publicity at rv2010.org (RV 2010) Date: Sun, 4 Apr 2010 14:36:39 -0500 Subject: RV 2010 - 2nd Call for Papers and Tutorials Message-ID: <201004041936.o34JYxuc015259@fsl3.cs.uiuc.edu> [[Our apologies if you receive multiple copies of this message]] CALL FOR PAPERS AND TUTORIALS International Conference on Runtime Verification (RV 2010) November 1 - 4, 2010 Sliema, Malta http://www.rv2010.org/ Runtime verification (RV) is concerned with monitoring and analysis of software or hardware system executions. The field is often referred to under different names, such as runtime verification, runtime monitoring, runtime checking, runtime reflection, runtime analysis, dynamic analysis, symbolic dynamic analysis, trace analysis, log file analysis, etc. RV can be used for many purposes, such as program understanding, systems usage understanding, security or safety policy monitoring, debugging, testing, verification and validation, fault protection, behavior modification (e.g., recovery), etc. A running system can be abstractly regarded as a generator of execution traces, i.e., sequences of relevant states or events. Traces can be processed in various ways, e.g., checked against formalized specifications, analyzed with special algorithms, visualized, etc. Topics of interest include, but are not limited to: - program instrumentation techniques - specification languages for writing monitors - extraction of monitors from specifications; APIs for writing monitors - programming language constructs for monitoring - model-based monitoring and reconfiguration - the use of aspect oriented programming for dynamic analysis - algorithmic solutions to minimize runtime monitoring impact - combination of static and dynamic analysis; full program verification based on runtime verification - intrusion detection, security policies, policy enforcement - log file analysis - model-based test oracles - observation-based debugging techniques - fault detection and recovery, model-based integrated health management and diagnosis - program steering and adaptation - dynamic concurrency analysis - dynamic specification mining - metrics and statistical information gathered during runtime - program execution visualization The RV series of events started in 2001, as an annual workshop. The RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV proceedings have been published in LNCS. Starting with year 2010, RV is an international conference. Links to past RV events can be found at the permanent URL http://runtime-verification.org. INVITED SPEAKERS * Mike Barnett, Microsoft Research, USA * Rance Cleaveland, University of Maryland, USA * Matthew Dwyer, University of Nebraska, USA * Martin Odersky, EPFL, Switzerland * Wim de Pauw, IBM, USA * R. Sekar, Stony Brook University, USA Talk titles are available on RV 2010 web page. PAPER SUBMISSION RV will have two research paper categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. - Regular papers (up to 15 pages) should present original unpublished results. Applications of runtime verification are particularly welcome. A Best Paper Award (300 Euro) will be offered. Selected papers will be published in an issue of Formal Methods in System Design. - Short papers (up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (5-10 minutes) and poster sessions. In addition to short and regular papers, proposals for tutorials and tool demonstrations are welcome. Proposals should be up to 2 pages long. - Tutorial proposals on any of the topics above, as well as on topics at the boundary between RV and other domains, are welcome. Accepted tutorials will be allocated up to 15 pages in the conference proceedings. Tutorial presentations will be at least 2 hours. - Tool demonstration proposals should briefly introduce the problem solved by the tool and give the outline of the demonstration. Tool papers will be allocated 5 pages in the conference proceedings. A Best Tool Award (200 Euro) will be offered. Submitted tutorial and tool demonstration proposals will be evaluated by the corresponding chairs, with the help of selected reviewers. All accepted papers, including tutorial and tool papers, will appear in the LNCS proceedings. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'10 to present the paper. Papers must be submitted electronically using the EasyChair system. A link to the electronic submission page is available on the RV'10 web page. IMPORTANT DATES May 1, 2010 - Submission of tutorial proposals May 15, 2010 - Notification for tutorial proposals June 1, 2010 - Submission of regular and short papers June 15, 2010 - Submission of tool demonstration proposals July 13, 2010 - Notification for regular, short, and tool papers August 17, 2010 - Camera-ready versions of accepted papers are due ORGANIZERS General chairs: Howard Barringer (University of Manchester, UK) Klaus Havelund (NASA JPL, USA) Insup Lee (University of Pennsylvania, USA) Programme committee chairs: Grigore Rosu (University of Illinois at Urbana-Champaign, USA) Oleg Sokolsky (University of Pennsylvania, USA) Local organization chair: Gordon Pace (University of Malta, MT) Tutorials chair: Bernd Finkbeiner (Saarland University, DE) Tool demonstrations chair: Nikolai Tillmann (Microsoft Research, USA) Publicity chair: Ylies Falcone (INRIA Rennes, FR) PROGRAMME COMMITTEE Jamie Andrews (University of Western Ontario, Canada) Thomas Ball (Microsoft Research Redmond, USA) Saddek Bensalem (Verimag, France) Eric Bodden (Technical University Darmstadt, Germany) Rance Cleaveland (University of Maryland, USA) Mads Dam (KTH, SE) Matthew Dwyer (University of Nebraska, USA) Bernd Finkbeiner (Saarland University, Germany) Cormac Flanagan (University of California at Santa Cruz, USA) Jean Goubault-Larrecq (ENS Cachan, France) Patrice Godefroid (Microsoft Research Redmond, USA) Susanne Graf (Verimag, France) Radu Grosu (State University of New York at Stony Brook, USA) Lars Grunske (Swinburne University of Technology, Australia) Rajiv Gupta (University of California at Riverside, USA) John Hatcliff (Kansas State University, USA) Mats Heimdahl (University of Minnesota, USA) Sarfraz Khurshid (University of Texas at Austin, USA) Kim Larsen (Aalborg University, Denmark) Martin Leucker (Technical University Muenchen, Germany) Paul Miner (NASA Langley, USA) Brian Nielsen (Aalborg University, Denmark) Klaus Ostermann (University of Marburg, Germany) Corina Pasareanu (NASA Ames, USA) Doron Peled (Bar Ilan University, Israel) Martin Rinard (Massachussets Institute of Technology, USA) Greg Morrisett (Harvard University, USA) Wolfram Schulte (Microsoft Research Redmond, USA) Koushik Sen (University of California at Berkeley, USA) Peter Sestoft (University of Copenhagen, Denmark) Scott Smolka (State University of New York at Stony Brook, USA) Serdar Tasiran (Koc University, Turkey) Willem Visser (University of Stellenbosch, South Africa) Mahesh Viswanathan (University of Illinois at Urbana-Champaign, USA) Brian Williams (Massachusetts Institute of Technology, USA) From core at cic.ipn.mx Mon Apr 5 23:34:32 2010 From: core at cic.ipn.mx (core at cic.ipn.mx) Date: Mon, 5 Apr 2010 16:34:32 -0500 Subject: CORE 2010 - LAST EXTENDED DEADLINE: APRIL 8, 2010 Message-ID: <201004052134.o35LYWVV020888@sagitario.cic.ipn.mx> *********************************************************************************** We apologize in advance if you receive multiple copies of this CFP. *********************************************************************************** CORE 2010 10th Conference on Computing A new event of the series of international conferences CORE! www.cic.ipn.mx/core May 27-29, 2010 Mexico City PUBLICATION: Special issue of the journal "Research in Computing Science", ISSN 1870-4069. SUBMISSION GUIDELINES: Up to 12 pages, Springer LNCS format, in English. Please send your contribution by email to core at cic.ipn.mx TOPICS: Artificial Intelligence, Natural Language Processing, Fuzzy Logic, Computer Vision, Multi-agent Systems, Bioinformatics, Neural Networks, Evolutionary Algorithms, Cellular Automata, Knowledge Representation, Semantic Web, Database Systems, Data Mining, Software Engineering, Web Design, Compilers, Formal Languages, Operating Systems, Distributed Systems, Parallelism, Real Time Systems, Algorithm Theory, Scientific Computing, High-Performance Computing, Geoprocessing, Networks and Connectivity, Cryptography, Informatics Security, Digital Systems Design, Digital Signal Processing, Control Systems, Robotics, Virtual Instrumentation, Computer Architecture, etc. IMPORTANT DATES: Paper submission�EXTENDED deadline: April 8 Acceptance notification: April 24 Camera-ready deadline: May 30 AWARDS: Best Paper Award (1st, 2nd and 3rd place). Best Presentation Award. KEYNOTE SPEAKERS: To be announced. CULTURAL PROGRAM: To be announced. WORKING LANGUAGES: English REGISTRATION FEE: Author and public early / public on site: US$ 170 / 240 Full US$ 90 / 150 Student Free Author, researcher or student of CIC-IPN Entrance: Free CONFERENCE PLACE: National Polytechnic Institute Center for Computing Research Info: www.cic.ipn.mx/core core at cic.ipn.mx From r.bordini at acm.org Tue Apr 6 13:55:00 2010 From: r.bordini at acm.org (Rafael H Bordini) Date: Tue, 06 Apr 2010 08:55:00 -0300 Subject: CALL FOR TUTORIALS -- EASSS 2010 (deadline approaching!) Message-ID: <4BBB2114.4020107@acm.org> Apologies if you receive multiple copies ================================================================= !!! CALL FOR TUTORIALS -- EASSS 2010 !!! The twelfth edition of the European Agent Systems Summer School (EASSS 2010) will be in conjunction with MALLOW 2010 and take place at Ecole Nationale Supérieure des Mines de Saint-Etienne Saint-Etienne, France 23-27 August, 2010 http://easss2010.emse.fr Researchers and lecturers in the field of autonomous agents and multi-agent systems are invited to submit a proposal for a state-of-the-art course in the twelfth edition of the European Agent Systems Summer School. Like its very successful predecessors, EASSS 2010 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. The success of this summer school 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. Tutors are encouraged to submit a 1-page course proposal including: the topic and its importance for the field, intended audience and their required background knowledge, outline of the topics to be presented, how the course material will be prepared, the tutors and their experience, level of the course (beginners/advanced), duration (typically 4 or 6 hours), and any special equipment requirements. Proposals will be evaluated based on the importance and quality of the topic description, the quality of the presentation material, and the teaching ability of the proposed speakers. Deadline for proposals: April 18, 2010 Notification: May 24, 2010 material for reader (< 26 pp) July 4, 2010 A typical course has 4 hours in total, but variations are possible. Courses should be broad enough to provide a general introduction to the chosen topic, but it should also cover the most important contributions in depth. Courses are expected to take a wider perspective than one specific approach practised by an individual or group. For an impression, the courses given in 2001 are collected in a volume of Springer's LNAI series (No 2086), and programmes of previous editions of EASSS can be found via the webpage of EASSS09 (http://agents009.di.unito.it/EASSS.html). The summer schools attract about 100 students each year. We intend to give a modest contribution towards tutors' expenses by providing free accommodation, but EASSS would not normally cover tutors' travel costs. Please note that this year EASSS is in conjunction (but not co-located) with MALLOW 2010 for the third time and takes place one week before that event. MALLOW 2010 will be in Lyon (very close to Saint-Etienne). *** Submissions of tutorial proposals should be sent to *** Mehdi Dastani (mehdi at cs.uu.nl). The EASSS-2010 Committee members are: ===================================== Local Chairs: ------------- Olivier Boissier Saint-Etienne, France Gauthier Picard Saint-Etienne, France Laurent Vercouter Saint-Etienne, France Programme Committee: -------------------- Mehdi Dastani (chair) Utrecht, Netherlands Rafael Bordini INF-UFRGS, Brazil Catholijn Jonker Delft, Netherlands Barbara Keplicz Warszawa, Poland Nicolas Maudet Paris, France Andrea Omicini Bologna, Italy Michal Pechoucek Prague, Czech Republic For information about local organisation please contact Laurent Vercouter (easss2010 at emse.fr). Possible Topics (but not limited to): ===================================== * action selection and planning in multi-/agent systems * adaptation, evolution and learning in multi-/agent systems * agent-based simulation and modeling * agent communication, agent dialogues and agent argumentation * agents, ontologies, web services and semantic web * agent-oriented software engineering and development methodologies * agent programming languages and development tools * agent standardizations in industry and commerce * applications and deployment for agents and multi-agent systems * architectures for multi-agent systems * artificial market systems, auctions, trading agents and electronic commerce, electronic institutions * autonomous robots and robot teams * believability, human-like qualities of synthetic agents, humanoid and sociable robots * game theory and coalition formation for agents based systems * computational complexity in agent systems * conventions, commitments, norms, social laws and legal issues in multi-agent systems * coordination, cooperation, and collaboration in multi-agent systems * emergence, self-organisation and collective behavior in agent-based systems * foundational issues and theories of agency * information agents, routers, brokering and matchmaking * logics for specification, verification and validation of multi-agent systems * mobile agents * negotiation, task and resource allocation, and conflict handling in multi-agent systems * privacy, safety and security in multi-agent systems * scalability, robustness and dependability of multi-agent systems * social and cognitive models for agents * social and organizational structures of multi-agent systems * trust and reputation in multi-agent systems * Multi-agent systems and/for Web Intelligence * Multi-agent systems and/for Ambient Computing -- -------------------------------------------------------------------- Dr. Rafael H. Bordini Institute of Informatics P: +55 (51) 3308-7750 Federal University of Rio Grande do Sul F: +55 (51) 3308-7308 PO Box 15064 E: R.Bordini at inf.ufrgs.br 91501-970 Porto Alegre, RS - Brazil W: inf.ufrgs.br/~bordini From hak at ca.ibm.com Tue Apr 6 16:28:21 2010 From: hak at ca.ibm.com (Hassan Ait-Kaci) Date: Tue, 6 Apr 2010 07:28:21 -0700 Subject: [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010) Message-ID: DEADLINE IS APPROACHING: please forward as appropriate. Thank you very much. NB: This is a WORKSHOP: new, work-in-progress, and tutorial topics welcome!. ---------------------------------------------------------------------------. [Although we try avoiding cross-posting, we do apologize if that happens] ---------------------------------------------------------------------------. RULE 2010 ELEVENTH INTERNATIONAL WORKSHOP ON RULE-BASED SPECIFICATION AND PROGRAMMING. RULE-BASED PROGRAMMING IN INDUSTRY AND THE SEMANTIC WEB Edinburgh, UK July 14, 2010 http://www.di.uminho.pt/rule2010 IMPORTANT DATES: Submission deadline: Friday, April 16, 2010 PC meeting: Monday-Friday, May 24-28, 2010 Authors notified: Thursday, June 3, 2010 Final copies due: Friday, June 25, 2010 RULE 2010 Workshop: Wednesday, July 14, 2010, ---------------------------------------------------------------------------. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From amast-10 at kestrel.edu Tue Apr 6 18:23:35 2010 From: amast-10 at kestrel.edu (amast-10 at kestrel.edu) Date: Tue, 6 Apr 2010 09:23:35 -0700 (PDT) Subject: Final call: AMAST 2010 Message-ID: <20100406162335.0EF271646A8@egret.kestrel.edu> Dear Colleague, This is a final reminder that the postponed deadline for submissions to AMAST 2010 is this Friday, April 9. You can find details about the Call for Papers at the AMAST website http://mpc-amast2010.fsg.ulaval.ca/amast/ We welcome papers in all areas relating to the use of algebraic methods to help design and verify software, from theoretical developments to work relating experiences during implementation projects. Best regards, -- Mike Johnson and -- Dusko Pavlovic From core at cic.ipn.mx Tue Apr 6 21:18:15 2010 From: core at cic.ipn.mx (core at cic.ipn.mx) Date: Tue, 6 Apr 2010 14:18:15 -0500 Subject: CORE 2010 - LAST EXTENDED DEADLINE: APRIL 8, 2010 Message-ID: <201004061918.o36JIFJY027507@sagitario.cic.ipn.mx> *********************************************************************************** We apologize in advance if you receive multiple copies of this CFP. *********************************************************************************** CORE 2010 10th Conference on Computing A new event of the series of international conferences CORE! www.cic.ipn.mx/core May 27-29, 2010 Mexico City PUBLICATION: Special issue of the journal "Research in Computing Science", ISSN 1870-4069. SUBMISSION GUIDELINES: Up to 12 pages, Springer LNCS format, in English. Please send your contribution by email to core at cic.ipn.mx TOPICS: Artificial Intelligence, Natural Language Processing, Fuzzy Logic, Computer Vision, Multi-agent Systems, Bioinformatics, Neural Networks, Evolutionary Algorithms, Cellular Automata, Knowledge Representation, Semantic Web, Database Systems, Data Mining, Software Engineering, Web Design, Compilers, Formal Languages, Operating Systems, Distributed Systems, Parallelism, Real Time Systems, Algorithm Theory, Scientific Computing, High-Performance Computing, Geoprocessing, Networks and Connectivity, Cryptography, Informatics Security, Digital Systems Design, Digital Signal Processing, Control Systems, Robotics, Virtual Instrumentation, Computer Architecture, etc. IMPORTANT DATES: Paper submission�EXTENDED deadline: April 8 Acceptance notification: April 24 Camera-ready deadline: May 30 AWARDS: Best Paper Award (1st, 2nd and 3rd place). Best Presentation Award. KEYNOTE SPEAKERS: To be announced. CULTURAL PROGRAM: To be announced. WORKING LANGUAGES: English REGISTRATION FEE: Author and public early / public on site: US$ 170 / 240 Full US$ 90 / 150 Student Free Author, researcher or student of CIC-IPN Entrance: Free CONFERENCE PLACE: National Polytechnic Institute Center for Computing Research Info: www.cic.ipn.mx/core core at cic.ipn.mx From Thomas.Lukasiewicz at kr.tuwien.ac.at Thu Apr 8 01:11:07 2010 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Thu, 08 Apr 2010 00:11:07 +0100 Subject: UniDL'10: Deadline extension to 11th of April Message-ID: <4BBD110B.30904@kr.tuwien.ac.at> ------------------------------------------------------------------- Final Call for Papers New submission deadline: 11. of April ------------------------------------------------------------------- UniDL'10 First International Workshop on Uncertainty in Description Logics co-located with IJCAR 2010 at FLoC 2010 July 20, 2010 Edinburgh, UK http://lat.inf.tu-dresden.de/UniDL ------------------------------------------------------------------- During the recent decade, handling uncertainty has started to play an important role in ontology languages, especially in application areas like the Semantic Web, biomedicine, and artificial intelligence. For this reason, there is currently a strong research interest in description logics (DLs) that allow for dealing with uncertainty. The subject of the workshop is how to deal with uncertainty and imprecision in Description Logics (DLs). This encompasses approaches that enable probabilistic or fuzzy reasoning in DLs, but the workshop is also open for approaches based on other uncertainty formalisms. The workshop focusses on the investigation of reasoning problems and approaches for solving them, including especially tractable ones. For classical DL reasoning problems such as subsumption and satisfiability, algorithms that can handle uncertainty exist, but they are still less well-investigated than in the case of standard DLs without uncertainty. For novel reasoning services, such as query answering, computation of generalizations, modules, or explanations, it is not yet clear how to realize them in DLs that can express uncertainty. SPONSOR UniDL is sponsored by the Artificial Intelligence Journal (AIJ) INVITED SPEAKER Ralf Moeller, Hamburg University of Technology TOPICS OF INTEREST include but are not limited to: * Modeling of uncertain knowledge in DLs * Different formalisations of uncertainty for DLs * Formal semantics for uncertain information in DLs * Extensions of DL reasoning problems to uncertainty * Reasoning algorithms for DLs with uncertainty, in particular * Tableau algorithms for probabilistic DLs or fuzzy DLs * Tractable DLs with uncertainty * Complexity of uncertain reasoning * System descriptions for implemented reasoning algorithms in uncertain DLs * Novel applications of DLs with uncertainty * Open and future problems IMPORTANT DATES: *New* submission deadline: April 11, 2010 Notification: April 29, 2010 Final version: May 18, 2010 Workshop: July 20, 2010 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be - technical papers not exceeding 10 pages, - system descriptions not exceeding 6 pages, or - position papers on work in progress not exceeding 3 pages in LNCS. Submissions are via EasyChair at http://www.easychair.org/conferences/?conf=unidl10 . The workshop prceedings will be published as CEUR proceedings. We adopt the same double submission policy as the DL workshop, that is, we also welcome submissions of papers that have recently been published at other conferences and workshops (e.g., KR, AAAI, ECAI, DL, and URSW). WORKSHOP CHAIRS: - Thomas Lukasiewicz, Oxford University, UK - Rafael Penaloza, TU Dresden, Germany - Anni-Yasmin Turhan, TU Dresden, Germany PROGRAM COMMITTEE: - Eyal Amir, University of Illinois, Urbana-Champaign - Fernando Bobillo, University of Zaragoza - Simona Colucci, Technical University of Bari - Fabio G. Cozman, University of Sao Paulo - Manfred Jaeger, Aalborg University - Pavel Klinov, University of Manchester - Ralf Moeller, Hamburg University of Technology - Mathias Niepert, University of Mannheim - Stefan Schlobach, Vrije Universiteit Amsterdam - Luciano Serafini, IRS Trento - Giorgos Stoilos, Oxford University - Umberto Straccia, ISTI-CNR - Guilin Qi, Southeast University, China From berndt.farwer at durham.ac.uk Fri Apr 9 15:45:49 2010 From: berndt.farwer at durham.ac.uk (Berndt Farwer) Date: Fri, 9 Apr 2010 14:45:49 +0100 Subject: Extended Deadline for LAM'10 Message-ID: Please note that the by popular demand the submission deadline has been extended to 18 April 2010. --- Final Call for Papers 3rd International Workshop on Logics, Agents, and Mobility (LAM'10) http://www.dur.ac.uk/lam.10 15 July 2010, Edinburgh, Scotland, UK organised as satellite workshop at the Twenty-Fifth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2010), Edinburgh, Scotland, UK *************************************************************** NEWS: Deadline extended until 18 April Invited Speakers: Frank Pfenning, David Pym *************************************************************** Workshop Purpose: The aim of this series of workshops is to bring together active researchers in the areas of logics and other formal frameworks that can be used to describe and analyse dynamic or mobile systems. The main focus is on the field of logics and calculi for mobile agents, and multi-agent systems. Many notions used in the theory of agents are derived from philosophy, logics, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. The workshop intends to encourage discussion and work across the boundaries of the traditional disciplines. Outside of academia, distributed systems are a reality and agent programming is beginning established itself as a serious contender against more traditional programming paradigms. For example, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) raises a number of scientific and technological challenges for the modelling and programming of such large-scale, open and highly-dynamic distributed systems. The agent and multi-agent systems approach seems particularly adapted to tackle this challenge, but there are many issues remaining to be investigated. For instance, the agents must be location-aware since the actual services available to them may depend on their (physical or virtual) location. The quality and quantity of resources at their disposal is also largely fluctuant, and the agents must be able to adapt to such highly dynamic environments. Moreover, mobility itself raises a large number of difficult issues related to safety and security, which require the ability to reason about the software (e.g. for analysis or verification). Logics and type systems with temporal or other kinds of modalities (relating to location, resource and/or security-awareness) play a central role in the semantic characterisation and verification of mobile agent systems. In the past two or three years, some logics have been proposed that would be able to handle certain aspects of these requirements, but there are still many open problems and research questions in the theory of such systems. The workshop is intended to showcase results and current work being undertaken in the areas outlined above with a focus on logics and other formalisms for the specification and verification of dynamic, mobile systems. Scopes of Interest: The main topics of interest include - specification and reasoning about agents, MAS, and mobile systems - modal and temporal logics - model-checking - treatment of location and resources in logics - security - type systems and static analysis - logic programming - concurrency theory with a focus on mobility or dynamics in agent systems. Previous Workshops: LAM'08: 4--8 August 2008 at ESSLI in Hamburg, Germany LAM'09: 10 August 2009 at LICS in Los Angeles, USA Format of the Workshop: The workshop will be held as a one day event after LICS. There will be a short introduction and brief survey of the field by the organiser as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and a discussion session. The latter is will give the participants a chance to discuss informally research directions, open problems, and possible co-operations. Submission details: Authors are invited to submit a full paper of original work in the areas mentioned above. The workshop chair should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper will be expected to present it at the LAM’10 workshop. Submissions should not exceed 15 pages, preferably using the LaTeX article class. The following formats are accepted: PDF, PS. Please send your submission electronically via EasyChair (http://www.easychair.org/conferences/?conf=lam09) by the deadline listed below. The submissions will be reviewed by the workshop's programme committee and additional reviewers. Accepted papers will appear in electronic proceedings and authors will be encouraged to re-submit papers to formal proceedings to be published as a separate publication, e.g. as a special journal issue. Invited Speakers: Frank Pfenning (Carnegie Mellon University) David Pym (University of Bath and HP) Important Dates: Submission Deadline: 18 April 2010 Notification: 1 May 2010 Workshop: 15 July 2010 Programme Committee: Thomas Agotnes, Bergen, Norway Matteo Baldoni, Torino, Italy Marina De Vos, Bath, UK Louise Dennis, Liverpool, UK Jürgen Dix, Clausthal, Germany Berndt Farwer (chair), Durham, UK Michael Fisher, Liverpool, UK Didier Galmiche, Nancy, France James Harland, Melbourne, Australia Andreas Herzig, Toulouse, France Wojtek Jamroga, Clausthal, Germany Michael Köhler-Bußmeier, Hamburg, Germany João Leite, Lisbon, Portugal Alessio Lomuscio, London, UK Dale Miller, INRIA, France Frederic Peschanski, Paris, France Vladimiro Sassone, Southampton, UK Wamberto Vasconcelos, Aberdeen, UK Further Information: About the workshop: http://www.dur.ac.uk/lam.10 About LICS: http://www2.informatik.hu-berlin.de/lics/lics10/ From nguyen at mimuw.edu.pl Fri Apr 9 18:54:48 2010 From: nguyen at mimuw.edu.pl (Linh Anh Nguyen) Date: Fri, 9 Apr 2010 18:54:48 +0200 (CEST) Subject: SoICT 2010: Second Call for Papers Message-ID: *** Apologies if you have received this CFP more than once *** SoICT 2010 Symposium on Information and Communication Technology Hanoi, Vietnam, August 27-28, 2010 More details and up-to-date information at http://soict.hut.vn/~soict2010/ (Submission deadline 5th May 2010) ABOUT SoICT 2010 ================ SoICT is a scientific symposium for research in all major areas of computing. The aim of the symposium is to bring together researchers and practitioners from academia, industry and government to advance the state of the art and to scale up their application in industries. The symposium is organized by the School of Information and Communication Technology - Hanoi University of Technology, celebrating the 15th foundation anniversary of the school. Authors are invited to submit both research and tool papers. The scientific program will include keynote talks, paper presentations, tutorials and workshops. There will be a school preceding the conference aiming to postgraduate students and researchers from academia and industry. PUBLICATION =========== The proceedings of the symposium will be published in the ACM Digital Library as a volume with ISBN 978-1-4503-0105-3 in ACM International Conference Proceedings Series (ACM ICPS). The symposium language is English. All contributions should be original and not published elsewhere or intended to be published during the review period. Submitted papers should be prepared in ACM style and should not exceed 8 pages. IMPORTANT DATES =============== Submission deadline: May 5, 2010 Author notification: June 15, 2010 Camera-ready papers submission and author registration: July 30, 2010 Conference dates: August 27-28, 2010 RELEVANT TOPICS =============== The symposium solicits submission of research papers in all major areas of computing, organized into the following five scopes. Relevant topics of each scope include, but are not limited to: Innovative computing algorithms and paradigms: - Parallel/distributed computing algorithms - Grid computing - Mobile computing - Ubiquitous/pervasive computing - Cloud computing - Autonomous/self-management computing - Intelligent agents and multi-agent systems - Logic and constraint programming; ... Knowledge-based and information systems: - Database architecture and management - Data warehousing - Advanced database models and languages - Data mining and knowledge discovery - Decision support systems - Knowledge engineering - Machine learning - Neural networks - Natural language processing - Automated reasoning - Robotics - Bioinformatics; ... Computer and communication engineering: - Digital integrated circuits and systems - System architecture, simulation and modeling - Microprocessors, ASICs and FPGAs - Real-time and embedded systems - System testing and verification - Image/video processing - Computer vision - Multimedia data communication and processing - Human-Computer interaction - Network architectures and protocols - Next generation network - Network management, Network security - Network virtualization - Network performance and quality of services; ... Software engineering: - Requirements and specifications - Software architectures - Formal analysis and design methods - Software development techniques and tools - Software verification, testing and debugging - Distribution and maintenance - Reusable softwares - Advanced programming languages; ... Applications: - Web-based information systems (E-commerce, E-health, E-learning, E-Government, ...) - Enterprise integration systems - Digital content services - Mobile and ubiquitous systems - Smarthouse systems; ... SoICT 2010 Conference Committee =============================== Honorary Chair: Nguyen Trong Giang, Hanoi University of Technology, Vietnam General Chairs: Nguyen Thuc Hai, Hanoi University of Technology, Vietnam Huynh Quyet Thang, Hanoi University of Technology, Vietnam Program Chairs: Eric Castelli, MICA, France-Vietnam Linh Anh Nguyen, University of Warsaw, Poland Nguyen Thanh Thuy, Hanoi University of Technology, Vietnam Tran Dinh Khang, Hanoi University of Technology, Vietnam Organizing Chairs: Nguyen Kim Khanh, Hanoi University of Technology, Vietnam Ta Tuan Anh, Hanoi University of Technology, Vietnam Workshop Chair: Nguyen Khanh Van, Hanoi University of Technology, Vietnam Tutorial Chair: Tran Duc Khanh, Hanoi University of Technology, Vietnam Publicity Chair: Nguyen Nhat Quang, Hanoi University of Technology, Vietnam Program Committee: Andrzej Szalas, University of Warsaw, Poland Bae Doo Hwan, College of Information Science and Technology, KAIST, Korea Barbara Dunin-Keplicz, University of Warsaw, Poland Bertrand Meyer, ETH Zurich, Switzerland Brigitte Jaumard, Corcordia University, Canada Chui Chee Kong, National University of Singapore, Singapore Dao Thi Thu Ha, CNRS-Versailles University, France Duc Anh Duong, HCM University of Science, HCM VNU, Vietnam Duc Nghia Nguyen, Hanoi University of Technology, Vietnam Duong Hieu Phan, University of Paris 8, France Eric Castelli, MICA, France-Vietnam (co-chair) Helene Kirchner, INRIA, France Hung Son Nguyen, University of Warsaw, Poland Hong Quang Nguyen, Hanoi University of Technology, Vietnam James Cremer, Iowa University, USA James Won-Ki Hong, POSTECH, Korea Jean-Luc Baril, University of Burgundy, France Key-Sun Choi, CS Department, KAIST, Korea Khanh Van Nguyen, Hanoi University of Technology, Vietnam Linh Anh Nguyen, University of Warsaw, Poland (co-chair) Martin Nordio, ETH Zurich, Switzerland Masaru Fukushi, Tohoku University, Japan Michael Rusinowitch, INRIA, France Michel Toulouse, Oklahoma State University, USA Ngoc Thanh Nguyen, Wroclaw University of Technology, Poland Nguyen Thanh Thuy, Hanoi University of Technology, Vietnam (co-chair) Nguyen Thi Kim Anh, Hanoi University of Technology, Vietnam Nguyen Thi Hoang Lan, Hanoi University of Technology, Vietnam Nicolas Brunel, ENSIIE, France Pham Thi Ngoc Yen, MICA, Hanoi University of Technology, Vietnam Phuc Do, University of IT, HCM VNU, Vietnam Piero Fraternali, Politecnico di Milano, Italy Shin Nakajima, National Institute of Informatics, Japan Sinh Hoa Nguyen, Polish-Japanese Institute of Information Technology, Poland Thoai Nam, Ho Chi Minh City University of Technology, Vietnam Thu Tran Dan, HCM University of Science, HCM VNU, Vietnam Thomas Ottmann, University Freiburg, Germany Timo Knuutila, Turku University, Finland Tran Cao Son, New Mexico State University, USA Tran Dinh Khang, Hanoi University of Technology, Vietnam (co-chair) Trinh Van Loan, Hanoi University of Technology, Vietnam Van Chuyet Dang, Hanoi University of Technology, Vietnam Vincent Vajnovszki, University of Burgundy, France Vu Dinh Duc Anh, HCM University of Technology, HCM VNU, Vietnam Xiaohong Jiang, Tohoku University, Japan Organizing Committee: Huynh Thi Thanh Binh, Hanoi University of Technology, Vietnam Truong Thi Dieu Linh, Hanoi University of Technology, Vietnam Truong Thi Van Thu, Hanoi University of Technology, Vietnam From wism-aici2009 at shiep.edu.cn Sat Apr 10 23:38:42 2010 From: wism-aici2009 at shiep.edu.cn (wism-aici2010) Date: Sun, 11 Apr 2010 05:38:42 +0800 Subject: WISM'10-AICI'10--Call for Papers Message-ID: ** Our apologies if you receive multiple copies of this announcement * ---------------------------------------------------------------------- The 2010 International Conference on Web Information Systems and Mining (WISM'10) The 2010 International Conference on Artificial Intelligence and Computational Intelligence (AICI'10) ---------------------------------------------------------------------- 23-24 October 2010, Nanjing, China *** Submission Deadline: 10 May 2010 *** ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ http://wism-aici2010.njupt.edu.cn ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Call for Papers The 2010 International Conference on Web Information Systems and Mining (WISM'10) and the 2010 International Conference on Artificial Intelligence and Computational Intelligence (AICI'10) will be jointly held at Nanjing, China in 23-24 October 2010. WISM'10-AICI'10 aims to provide a high-level international forum for scientists and researchers to present the state of the art of web information systems, web mining, artificial intelligence, computational intelligence, with their applications for addressing world problems of various kinds. WISM '10-AICI'10 is multi-disciplinary in which a wide range of theory and methodologies are being investigated and developed to tackle complex and challenging problems. All accepted papers will appear in conference proceedings published by the Springer's LNCS/LNAI and the IEEE-CS, respectively. All accepted papers at WISM'10-AICI'10 are indexed by EI and ISTP. Selected good papers will be recommended for publication in SCI/EI indexed international journals. For more information, visit the conference web page or email the secretariat at wism-aici2010 at njupt.edu.cn Join us at this major event in scenic Nanjing !!! 2010-03-15 _____ wism-aici2010 -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From hak at ca.ibm.com Mon Apr 12 15:07:35 2010 From: hak at ca.ibm.com (Hassan Ait-Kaci) Date: Mon, 12 Apr 2010 06:07:35 -0700 Subject: [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010) Message-ID: DEADLINE IS IN 4 DAYS!! Please forward as appropriate. Thank you very much. NB: This is a WORKSHOP: new, work-in-progress, and tutorial topics welcome! --------------------------------------------------------------------------- [Although we try avoiding cross-posting, we do apologize if that happens] --------------------------------------------------------------------------- RULE 2010 ELEVENTH INTERNATIONAL WORKSHOP ON RULE-BASED SPECIFICATION AND PROGRAMMING RULE-BASED PROGRAMMING IN INDUSTRY AND THE SEMANTIC WEB Edinburgh, UK July 14, 2010 http://www.di.uminho.pt/rule2010 IMPORTANT DATES: Submission deadline: Friday, April 16, 2010 PC meeting: Monday-Friday, May 24-28, 2010 Authors notified: Thursday, June 3, 2010 Final copies due: Friday, June 25, 2010 RULE 2010 Workshop: Wednesday, July 14, 2010, --------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From walid.chainbi at gmail.com Mon Apr 12 17:41:22 2010 From: walid.chainbi at gmail.com (Walid Chainbi) Date: Mon, 12 Apr 2010 17:41:22 +0200 Subject: AWS'2010: Extended submission deadline to April 23 Message-ID: [Apologies if you receive this more than once] ****************************************** Call For Papers ********************************************** * First International Workshop on the Adaptation of Web Services (AWS'2010) * * August 31st, Toronto, Canada, 2010 * * http://www.uc.rnu.tn/aws2010.html * * within WI/IAT’2010 conference * ( SUBMISSION DEADLINE of AWS'2010 EXTENDED to April 23 ) AIMS AND SCOPE ++++++++++++++ Service-Oriented Computing (SOC) is a computing paradigm that utilizes Web services as the basic constructs to support the development of rapid, low-cost and easy composition of distributed applications even in heterogeneous environments. With the advent of SOC, computing environments have become open, and components are no longer under a single organization’s control. Consequently, Web services based applications are becoming difficult to adapt. Moreover, with the rapid growth of communication and information technologies, adaptation has gained a significant attention as it becomes a key feature of Web services allowing them to operate and evolve in highly dynamic environments. Adaptation mechanisms refer to different instantiations including configuration, healing, optimization, and protection. The primary objective of this workshop is to investigate ideas that may contribute to the adaptation of Web services. Theoretical as well as practical aspects are welcome. The workshop organizers welcome participation and contributions from those working or interested in the intersection of technologies such as agent technology and autonomic computing with SOC. TOPICS OF INTEREST ++++++++++++++++++ The topics of interest for AWS’2010 include, but are not limited to: * Adaptation solutions to Web services * Applications of adaptive Web services * Optimization of Web services * Configuration of Web services * Healing of Web services * Protection of Web Services * Self-* Web services * Agents vs. Web services * Agents for Web services * Design and management of self-* Web services. SUBMISSION PROCEDURE and FORMATTING GUIDELINES ++++++++++++++++++++++++++++++++++++++++++++++ Authors should submit their contributions electronically in PDF format by using the WI-IAT CyberChair system http://wi-consortium.org/cyberchair/wiiat10/scripts/ws_submit.php by the deadline given below. Papers should be written in English with a maximum of 15 pages. All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity. Accepted papers will be included in the Workshop Proceedings published by the IEEE Computer Society Press and will be available at the workshop. Depending on the quality of contributions, we are planning to publish a post-proceedings of the papers either as a book or a special issue of an international journal. WORKSHOP CHAIRS +++++++++++++++ Dr. Walid Chainbi Sousse National School of Engineers/ LI3, Sousse University, Tunisia E-mail: Walid.Chainbi at gmail.com Pr. Khaled Ghedira Institut Supérieur de Gestion de Tunis/LI3, Tunis University, Tunisia E-mail:Khaled.Ghedira at isg.rnu.tn PROGRAM COMMITTEE +++++++++++++++++ * Walt Truszkowski, NASA Goaddard Space Flight Center (USA) * Roy Sterritt, University of Ulster at Jordanstown (Northern Ireland) * Huaglory Tianfield, Glasgow Caledonian University (UK) * Jeffrey Kephart, IBM T.J. Watson Research Center (USA) * Walid Chainbi, Sousse National School of Engineers (Tunisia) * Rainer Unland, University of Duisburg-Essen (Germany) * Christoph Reich, Hochschule Furtwangen University (Germany) * Zakaria Maamar, Zaied University (UAE) * Giovanni Russello, Create-net (Italy) * ALi A. Ghorbani, University of New Brunswick (Canada) * David Chess, Thomas J. Watson Research Center, IBM Research Division (USA) * Manish Parashar, Rutgers, The State University of New Jersey (USA) * Hamid Motahari, Hewlett Packard Laboratories, Palo Alto (USA) * Mohand-Said Hacid, University Claude Bernard Lyon 1 (France) IMPORTANT DATES +++++++++++++++ * April, 23, submission due. * June, 7, notification of acceptance. * June, 21, camera-ready due. If you have any question or need clarification on any of the information in this CFP, please contact Dr. Walid Chainbi at: Walid.Chainbi at gmail.com. ****************************************************************************************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From csoares at fep.up.pt Mon Apr 12 17:55:15 2010 From: csoares at fep.up.pt (Carlos Soares) Date: Mon, 12 Apr 2010 16:55:15 +0100 Subject: DCAI 2010 - Third Call For Papers References: Message-ID: (We apologize for multiples copies) (Please distribute) ------------------------------ ------------------------------------------------------------------------ DCAI 2010 - Third Call For Papers International Symposium on Distributed Computing and Artificial Intelligence 2010 (DCAI’2010) (http://dcai.usal.es) 7th-10th September, 2010 in CEDI 2010 (http://www.congresocedi.es/) ------------------------------------------------------------------- The International Symposium on Distributed Computing and Artificial Intelligence 2010 is an annual forum that will bring together ideas, projects, lessons, etc.. associated with distributed computing, artificial intelligence and its applications in different themes. The workshop will be organized into CEDI 2010 (http:// www.congresocedi.es/) that will be held at the Polytechnic University of Valencia in September 7-10th, 2010. This symposium will be organized by the Biomedicine, Intelligent System and Educational Technology Reseach Group (http:// bisite.usal.es/) of the University of Salamanca. The technology transfer in this field is still a challenge and for that reason this type of contributions will be specially considered in this symposium. This conference is the forum in which to present application of innovative techniques to complex problems. The artificial intelligence is changing our society. Its application in distributed environments, such as the Internet, electronic commerce, mobile communications, wireless devices, distributed computing, and so on is increasing and is becoming an element of high added value and economic potential, both industrial and research. These technologies are changing constantly as a result of the large research and technical effort being undertaken in both universities and businesses. The exchange of ideas between scientists and technicians from both academic and business areas is essential to facilitate the development of systems that meet the demands of today's society. DCAI 2010 is sponsored by the IEEE Systems Man and Cybernetics Society Spain Section Chapter. The accepted papers included in DCAI 2010 proceedings (long papers, short papers and doctoral consortium papers) will be published by Springer Verlag in the Advances in Intelligent and Soft-Computing series of Springer. At least one of the authors will be required to register and attend the symposium to present the paper in order to include the paper in the conference proceedings. SUBMISSION INSTRUCTIONS ------------------------------------------------------------------- Anyone interested in participating and presenting his/her work in this workshop may do it by sending a contribution. The papers should be written in English. There are three possibilities: 1- Long papers: A maximum length of 8 pages. They must consist of original, relevant and previously unpublished sound research results related to any of the topics of the conference. 2- Short papers: A maximum length of 4 pages. They can be project report, a summary of a Ph.D. thesis, or work in progress. 3- Doctoral consortium: Ph.D. students are invited to present the topic and progress of their research, in order to obtain feedback from a panel of experts. The length of these papers should be no longer than 8 pages. Papers Format All papers must be formatted according to the Advances in Intelligent and Soft Computing Series Springer template. More information in http://dcai.usal.es . Publication The accepted papers included in DCAI 2010 proceedings (long papers, short papers and doctoral consortium papers) will be published by Springer Verlag in the Advances in Intelligent and Soft-Computing series of Springer. At least one of the authors will be required to register and attend the symposium to present the paper in order to include the paper in the conference proceedings. Submission In order to submit a paper you must register as an author at DCAI 2010 conference management system http://dcai.usal.es/conftoolDCAI2010/ IMPORTANT DATES ------------------------------------------------------------------- Paper submission deadline: 3rd May, 2010. Notification of acceptance: 22nd May, 2010. Camera-Ready papers due: 27th May, 2010. (DCAI 2010) celebration: 7h-10 September, 2010. TOPICS ------------------------------------------------------------------- • Distributed applications ICTs: trade, medicine, industry, the Internet, etc.. • Implementation of the AI Bioinformatics. • Implementation of the AI Biotechnology. • Implementation of AI in the development of mobile devices. • Networks. • Intelligence Environment. • distributed Algorithms. • Computer GRID. • Distributed databases. • Systems multimedia and animation distributed. • Distributed Operating Systems. • Real Time Systems. • Trade and Electronic Business. • Systems and fault-tolerant real-time systems. • Distributed Architectures. • Multiagent Systems. • High-performance Computing. • Languages, Compilers, planning, load balancing. • E-learning. • Technology for Internet. • Middleware. • Systems mobile and wireless. • Security. • Parallel Computing. • Software Engineering and Formal Methods. • Distributed Intelligent Information Systems Robotics and Control. • Satisfaction of restrictions. • Search heuristics. • Reasoning based on models. • Reasoning not monotonic. • Planning and scheduling tasks. • Qualitative Reasoning. • Reasoning with uncertainty. • Reasoning temporal and spatial. • Other models reasoning. • Reasoning based on cases. • Data Analysis. • Evolutionary Computation. • Networks of neurons. • Learning through reinforcement. • Other models of learning. • Applications of AI (TTIA). • Logic. • Systems support for the decision. • Intelligent Interaction. • Knowledge Management. • Knowledge Representation. • Ontologies and semantic web. • Natural Language Processing. • Perception (vision, speech recognition,…). • Other items (creativity, games,…). GENERAL CO-CHAIRS ------------------------------------------------------------------- Sigeru Omatu , Osaka Prefecture University (Japan). José M. Molina, Universidad Carlos III de Madrid (Spain). James Llinas, State University of New York (USA). Scientific Chair: Andre Ponce de Leon F. de Carvalho, University of Sao Paulo at Sao Carlos (Brazil). ORGANIZING COMMITTEE ------------------------------------------------------------------- Juan M. Corchado (Chair), Universidad de Salamanca (Spain). Sara Rodríguez-González (Cochair), Universidad de Salamanca (Spain). Juan F. De Paz (Cochair), Universidad de Salamanca (Spain). Email: dcai at usal.es Web Site: http://dcai.usal.es CFP: http://dcai.usal.es/CFP-DCAI2010.pdf _______________________________________________ Sbc-l mailing list Sbc-l at sbc.org.br https://grupos.ufrgs.br/mailman/listinfo/sbc-l From mike.rosner at um.edu.mt Tue Apr 13 20:25:18 2010 From: mike.rosner at um.edu.mt (Mike Rosner) Date: Tue, 13 Apr 2010 20:25:18 +0200 Subject: 2nd Workshop on Controlled Natural Language Message-ID: <4B751C05-EEE3-4821-9F05-0DD7E99DB3BF@um.edu.mt> ********************************************************************* Call for Extended Abstracts CNL 2010 2nd Workshop on Controlled Natural Languages http://staff.um.edu.mt/mros1/cnl2010 Marettimo Island, Sicily (Italy) 13-15 September 2010 ********************************************************************* Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. Traditionally, controlled languages fall into two major types: those that improve readability for human readers (e.g. non-native speakers), and those that enable reliable automatic semantic analysis of the language. Languages of the first type (often called "simplified" or "technical" languages), for example ASD Simplified Technical English, Caterpillar Technical English, IBM's Easy English, are used in industry to increase the quality of technical documentation, and possibly simplify the (semi-) automatic translation of the documentation. These languages restrict the writer by general rules such as "write short and grammatically simple sentences", "use nouns instead of pronouns", "use determiners", and "use active instead of passive". Languages of the second type have a formal logical basis, i.e. they have a formal syntax and semantics, and can be mapped to an existing formal language, such as first-order logic. Thus, those languages can be used as knowledge-representation languages, and writing of those languages is supported by fully automatic consistency and redundancy checks, query answering, etc. (en.wikipedia.org/wiki/Controlled_natural_language) TOPICS CNL 2010 will address issues connected to controlled natural languages including the following topics Nature and Purpose of CNLs: - design of CNLs and comparison between CNLs - lexical and Syntactic issues for CNLs - CNL semantics and knowledge representation - expressivity within CNLs - reasoning in CNLs - theoretical results for CNLs Applications: - CNLs for specifications - CNLs and the semantic web - CNLs for user interfaces - CNLs for interaction, communication and dialogue - CNL in the context of Linked Open Data (LOD) content creation and annotation - CNL and Information Extraction - tool support architectures for CNLs - linking text mining to CNLs - CNLs for business rules - CNLs and mobile computing - use cases of CNLs The workshop will be informal with plenty of time for presentations and discussions in the fashion of the seminars organised at Dagstuhl in Germany (www.dagstuhl.de/programm/dagstuhl-seminare). To ensure the informal atmosphere the number of participants will be limited. SUBMISSION DETAILS We invite researchers to submit extended abstracts of exactly 4 pages (including references). These extended abstracts will be intensively reviewed by several members of the programme committee. Authors of accepted extended abstracts will be invited to present their research at the workshop. Revised versions of the accepted abstracts will be published before the workshop as a technical report of the Department of Intelligent Computer Systems at the University of Malta. During the workshop authors will have ample time to present their work and to have it discussed by the participants. All authors are then invited to submit a full paper of up to 20 pages (including references) that takes the discussions during the workshop into account. Full papers will again be reviewed by the programme committee. Revised versions of the full papers will be published by Springer in their LNCS/LNAI series. Extended abstracts and full papers should use the Springer LNCS format. Extended abstracts must be submitted electronically in PDF format. For sub- missions we use EasyChair (http://www.easychair.org/conferences/? conf=cnl2010). VENUE The workshop will take place on the Italian island Marettimo at the Marettimo Residence (www.marettimoresidence.com/inglese/home.php) that consists of a set of two-storey houses within a beautiful garden. On top of the garden of the residence there is a large lecture hall with wireless internet. Marettimo is the outermost of the Egadian Islands to the west of Sicily, and is easily reached from the airports of Palermo and Trapani. Marettimo offers the simple and relaxed life of southern Italy, unspoilt landscape, stupendous views, hiking, swimming, diving, boat trips, and excursions on donkeys. There are several restaurants and bars, and some shops. What the island does not offer: traffic - there are practically no roads - fancy shops and restaurants, night life, and sandy beaches. REGISTRATION FEE There is no registration fee for CNL 2010. ACCOMMODATION The Marettimo Residence (www.marettimoresidence.com/inglese/home.php) offers one- and two-bedroom apartments with fully equipped kitchens. A number of apartments for the participants of CNL 2010 will be reserved until early July 2010 at a price 10% below the regular price. Parti- cipants should in time get into direct contact with the Marettimo Residence to organise their accommodation. Alternative accommodations on Marettimo can be found via the internet. WORKSHOP DINNER A workshop dinner will be arranged during the workshop, and will be paid individually by the participants. IMPORTANT DATES First call for abstracts 14 April 2010 Deadline for submissions of extended abstracts: 21 May 2010 Notification of acceptance of extended abstracts: 25 June 2010 Participants contact Marettimo Residence for accommodation: end of June 2010 Final versions of extended abstracts: 23 July 2010 Workshop: 13-15 September 2010 PROGRAM COMMITTEE Johan Bos (University of Rome "La Sapienza", Italy) Peter E. Clark (Boeing, Seattle, USA) *Hamish Cunningham (University of Sheffield, UK) Danica Damljanovic (University of Sheffield, UK) Norbert E. Fuchs (University of Zurich, Switzerland) Albert Gatt (University of Malta) Siegfried Handschuh (DERI, University of Galway) *Pat Hayes (IHMC, Florida) *Jerry R. Hobbs (USC/ISI, USA) Stefan Hoefler (University of Zurich) Kaarel Kaljurand (University of Zurich, Switzerland) *Peter Koepke (University of Bonn, Germany) Tobias Kuhn (University of Zurich, Switzerland) Paola Monachesi (University of Utrecht) Gordon Pace (University of Malta) *Stephen Pulman (University of Oxford, UK) Mike Rosner (University of Malta, Malta) (chair) Aarne Ranta (Chalmers University, Sweden) Rolf Schwitter (Macquarie University, Australia) Donia Scott (University of Sussex) Harold Somers (Dublin City University) *John Sowa (VivoMind, USA) Geoff Sutcliffe (University of Miami) Silvie Spreeuwenberg (LibRT, Amsterdam, Netherlands) Uta Schwertel (imc, Germany) Yorick Wilks (University of Sheffield, UK) Adam Wyner (University of London UK) *awaiting confirmation FURTHER INFORMATION http://staff.um.edu.mt/mros1/cnl2010/ ORGANISATION Michael Rosner (University of Malta) mike.rosner at um.edu.mt Norbert E. Fuchs (University of Zurich, Switzerland) fuchs at ifi.uzh.ch Michael Rosner Head, Dept Intelligent Computer Systems University of Malta, MSD2080, MALTA +356 2340 2519 (t) +356 2132 0539 (f) mike.rosner at um.edu.mt, staff.um.edu.mt/mros1 From kanazawa.makoto at gmail.com Wed Apr 14 13:35:49 2010 From: kanazawa.makoto at gmail.com (Makoto Kanazawa) Date: Wed, 14 Apr 2010 20:35:49 +0900 Subject: ESSLLI 2011 Call for Course and Workshop Proposals Message-ID: --------------------------------------------------------------------- 23rd European Summer School in Logic, Language and Information ESSLLI 2011 August 1-12, 2011 Ljubljana, Slovenia Call for Course and Workshop Proposals --------------------------------------------------------------------- The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main 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. For more information, visit the FoLLI website, as well as the ESSLLI 2010 website: http://esslli2010cph.info/. CALL FOR COURSE AND WORKSHOP PROPOSALS The ESSLLI 2011 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 23rd annual Summer School on important topics of active research in the broad interdisciplinary area connecting logic, linguistics, computer science and the cognitive sciences. All proposals should be submitted, using a prescribed form that will be available soon on the ESSLLI 2011 website, no later than: June 14, 2010 Authors of proposals will be notified of the committee's decision by September 15, 2010. GUIDELINES FOR SUBMISSION Proposers of courses and workshops should follow the guidelines below while preparing their submissions; proposals that do not conform with these guidelines may not be considered. Courses are taught by 1 or max. 2 lecturers, and workshops are organized by 1 or max. 2 organizers. Lecturers and organizers must have obtained a Ph.D. or an equivalent degree at the time of the submission deadline. Courses and workshops run over one week (Monday-Friday) and consist of five 90-minute sessions. Lecturers who want to offer a long, two-week course should submit two independent one-week courses (for example, an introductory course in the first week and an advance course in the second). The ESSLLI program committee has the right to select only one of the two proposed courses. FOUNDATIONAL COURSES These are strictly elementary courses not assuming any background knowledge. They are intended for people who wish to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses should have no special prerequisites, but may presuppose some experience with scientific methods and general appreciation of the field of the course. INTRODUCTORY COURSES Introductory courses are central to the activities of the Summer School. They are intended to provide an introduction to the (interdisciplinary) field for students, young researchers, and other non-specialists, and to equip them with a good understanding of the field's basic methods and techniques. Such courses should enable experienced researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Introductory courses in a topic at the interface of two fields can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if available). ADVANCED COURSES Advanced courses should be pitched at an audience of advanced Masters or Ph.D. students. Proposals for advanced courses should specify the prerequisites in detail. TIMETABLE FOR COURSE PROPOSAL SUBMISSION: Jun 14, 2010: Proposal Submission Deadline Sep 15, 2010: Notification Deadline Jun 1, 2011: Deadline for receipt of camera-ready course material by the ESSLLI 2011 local organizers WORKSHOPS The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well-defined theme, and workshop organizers should be specialists in the theme of the workshop. The proposals for workshops should justify the choice of topic, give an estimate of the number of attendants and expected submissions, and provide a list of at least 15 potential submitters working in the field of the workshop. The organizers are required to give a general introduction to the theme during the first session of the workshop. They are also responsible for various organizational matters, including soliciting submissions, reviewing, drawing up the program, taking care of expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for sending out a Call for Papers for the workshop and to organize the selection of the submissions by the deadlines specified below. The call for workshop submissions must make it clear that the workshop is open to all members of the ESSLLI community and should indicate that all workshop contributors must register for the Summer School. TIMETABLE FOR WORKSHOP PROPOSAL SUBMISSIONS: Jun 14, 2010: Proposal Submission Deadline Sep 15, 2010: Notification Deadline Oct 15, 2010: Deadline for submission of the Calls for Papers to ESSLLI 2011 PC chair Nov 1, 2010: Workshop organizers send out First Call for Papers Dec 15, 2010: Workshop organizers send out Second Call for Papers Jan 15, 2011: Workshop organizers send out Third Call for Papers Feb 15, 2011: Deadline for submissions to the workshops Apr 15, 2011: Suggested deadline for notification of workshop contributors Jun 1, 2011: Deadline for submission of camera-ready copy of workshop proceedings to the ESSLLI 2011 Local Organizers. Workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. FORMAT FOR PROPOSALS A form for submitting course and workshop proposals will be available soon on the ESSLLI 2011 web site: http://esslli2011.ijs.si/. The proposers are required to submit the following information: * Contact address and fax number * Name, email, affiliation, homepage of each lecturer / workshop organizer (at most two per course or workshop) * Title of proposed course/workshop * Abstract (abstract of the proposal, max 150 words) * Type (workshop, foundational, introductory, or advanced course) * Areas (one or more of: Computation, Language, Logic, or Other) * Description (describe the proposed contents of the course and substantiate timeliness and relevance to ESSLLI in at most one A4 page) * Tentative outline of the course / expected participation in the workshop * External funding (whether the proposers will be able to obtain external funding for travel and accommodation expenses) * Further particulars (e.g., course prerequisites, previous teaching experiences, etc.) FINANCIAL ASPECTS Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants' fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation expenses (up to fixed maximum amounts, which will be communicated to the lecturers upon notification). Lecturers and workshop organizers will have their registration fee waived. In case a course or workshop is to be taught/organized by two people, a lump sum will be reimbursed to cover travel and accommodation expenses for one of them; the splitting of the sum is up to the lecturers/organizers. It should be stressed that while proposals from all over the world are welcomed, the School cannot guarantee full reimbursement of travel costs, especially from destinations outside Europe. The local organizers would highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, as that would help us keep the cost of attending ESSLLI 2011 lower. ESSLLI 2011 PROGRAM COMMITTEE Chair: Makoto Kanazawa (National Institute of Informatics, Tokyo) Local Co-chair: Andrej Bauer (University of Ljubljana) Area specialists: Language and Computation: Markus Egg (Humboldt-Universitaet zu Berlin) Aline Villavicencio (Federal University of Rio Grande do Sul, Brazil) Language and Logic: Hans-Christian Schmitz (Fraunhofer FIT, Sankt Augustin) Louise McNally (UPF, Barcelona) Logic and Computation: Ralph Matthes (IRIT, CNRS and University of Toulouse) Eric Pacuit (Center for Logic and Philosophy of Science, Tilburg) ESSLLI 2011 ORGANIZING COMMITTEE: Chair: Darja Fiser (University of Ljubljana) ESSLLI 2011 website: http://esslli2011.ijs.si/ From stefano.borgo at gmail.com Wed Apr 14 16:09:00 2010 From: stefano.borgo at gmail.com (Stefano Borgo) Date: Wed, 14 Apr 2010 16:09:00 +0200 Subject: FOIS call for participation References: <1ABF2004-DA3B-4F18-97E5-F65337ECD2E9@gmail.com> Message-ID: <0AD79DE9-680C-447C-9CA2-CACD68E22E6C@loa-cnr.it> Call for Participation Please join us for the Sixth International Conference on Formal Ontology in Information Systems (FOIS 2010), to be held May 11-14, 2010 at The Sutton Place Hotel, in Toronto, Ontario, Canada. To register, please visit the online registration and information page http://www.aaai.org/Forms/torontoregistration-form.php FOIS 2010 will be co-located with AAMAS, ICAPS, KR, and NMR. Options for cross-registration are available. FOIS is intended to provide a meeting point for researchers with an interest in formal ontology, where both theoretical issues and concrete applications can be explored in a spirit of genuine interdisciplinarity. The FOIS 2010 program will feature invited talks by John Bateman (University of Bremen, Germany), Alan Rector (University of Manchester, UK), and Francis Jeffry Pelletier (Simon Fraser University, Canada), as well as two workshops on Modular Ontologies and Ontology Education. For complete conference information, please see http://fois2010.mie.utoronto.ca/ For inquiries regarding registration, please write to AAAI at toronto10 at aaai.org. We look forward to seeing you in Toronto this May! The FOIS 2010 Conference Committee -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mehdi at cs.uu.nl Wed Apr 14 16:55:10 2010 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Wed, 14 Apr 2010 16:55:10 +0200 Subject: [Fwd: [agents] CALL FOR TUTORIALS -- EASSS 2010 (deadline approaching!)] Message-ID: <4BC5D74E.7050904@cs.uu.nl> Apologies if you receive multiple copies ================================================================= !!! CALL FOR TUTORIALS -- EASSS 2010 !!! The twelfth edition of the European Agent Systems Summer School (EASSS 2010) will be in conjunction with MALLOW 2010 and take place at Ecole Nationale Supérieure des Mines de Saint-Etienne Saint-Etienne, France 23-27 August, 2010 http://easss2010.emse.fr Researchers and lecturers in the field of autonomous agents and multi-agent systems are invited to submit a proposal for a state-of-the-art course in the twelfth edition of the European Agent Systems Summer School. Like its very successful predecessors, EASSS 2010 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. The success of this summer school 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. Tutors are encouraged to submit a 1-page course proposal including: the topic and its importance for the field, intended audience and their required background knowledge, outline of the topics to be presented, how the course material will be prepared, the tutors and their experience, level of the course (beginners/advanced), duration (typically 4 or 6 hours), and any special equipment requirements. Proposals will be evaluated based on the importance and quality of the topic description, the quality of the presentation material, and the teaching ability of the proposed speakers. Deadline for proposals: April 18, 2010 Notification: May 24, 2010 material for reader (< 26 pp) July 4, 2010 A typical course has 4 hours in total, but variations are possible. Courses should be broad enough to provide a general introduction to the chosen topic, but it should also cover the most important contributions in depth. Courses are expected to take a wider perspective than one specific approach practised by an individual or group. For an impression, the courses given in 2001 are collected in a volume of Springer's LNAI series (No 2086), and programmes of previous editions of EASSS can be found via the webpage of EASSS09 (http://agents009.di.unito.it/EASSS.html). The summer schools attract about 100 students each year. We intend to give a modest contribution towards tutors' expenses by providing free accommodation, but EASSS would not normally cover tutors' travel costs. Please note that this year EASSS is in conjunction (but not co-located) with MALLOW 2010 for the third time and takes place one week before that event. MALLOW 2010 will be in Lyon (very close to Saint-Etienne). *** Submissions of tutorial proposals should be sent to *** Mehdi Dastani (mehdi at cs.uu.nl). The EASSS-2010 Committee members are: ===================================== Local Chairs: ------------- Olivier Boissier Saint-Etienne, France Gauthier Picard Saint-Etienne, France Laurent Vercouter Saint-Etienne, France Programme Committee: -------------------- Mehdi Dastani (chair) Utrecht, Netherlands Rafael Bordini INF-UFRGS, Brazil Catholijn Jonker Delft, Netherlands Barbara Keplicz Warszawa, Poland Nicolas Maudet Paris, France Andrea Omicini Bologna, Italy Michal Pechoucek Prague, Czech Republic For information about local organisation please contact Laurent Vercouter (easss2010 at emse.fr). Possible Topics (but not limited to): ===================================== * action selection and planning in multi-/agent systems * adaptation, evolution and learning in multi-/agent systems * agent-based simulation and modeling * agent communication, agent dialogues and agent argumentation * agents, ontologies, web services and semantic web * agent-oriented software engineering and development methodologies * agent programming languages and development tools * agent standardizations in industry and commerce * applications and deployment for agents and multi-agent systems * architectures for multi-agent systems * artificial market systems, auctions, trading agents and electronic commerce, electronic institutions * autonomous robots and robot teams * believability, human-like qualities of synthetic agents, humanoid and sociable robots * game theory and coalition formation for agents based systems * computational complexity in agent systems * conventions, commitments, norms, social laws and legal issues in multi-agent systems * coordination, cooperation, and collaboration in multi-agent systems * emergence, self-organisation and collective behavior in agent-based systems * foundational issues and theories of agency * information agents, routers, brokering and matchmaking * logics for specification, verification and validation of multi-agent systems * mobile agents * negotiation, task and resource allocation, and conflict handling in multi-agent systems * privacy, safety and security in multi-agent systems * scalability, robustness and dependability of multi-agent systems * social and cognitive models for agents * social and organizational structures of multi-agent systems * trust and reputation in multi-agent systems * Multi-agent systems and/for Web Intelligence * Multi-agent systems and/for Ambient Computing -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL: http://www.cs.uu.nl/~mehdi From Herve.Panetto at cran.uhp-nancy.fr Wed Apr 14 16:08:00 2010 From: Herve.Panetto at cran.uhp-nancy.fr (=?windows-1252?Q?Herv=E9_Panetto?=) Date: Wed, 14 Apr 2010 16:08:00 +0200 Subject: =?windows-1252?Q?Call_for_Papers=3A_5th_International_?= =?windows-1252?Q?Workshop_on_Enterprise_Integration=2C_Interoper?= =?windows-1252?Q?ability_and_Networking_=28EI2N=922010=29_-_Cr?= =?windows-1252?Q?ete_=28Greece=29_-_Oct=2E_27-28_2010?= Message-ID: <4BC5CC40.8040904@cran.uhp-nancy.fr> Please, appologize for multiple emails CALL FOR PAPERS 5th International Workshop on Enterprise Integration, Interoperability and Networking (EI2N’2010) Part of the On The Move Federated Conferences http://www.onthemove-conferences.org/index.php/ei2n2010 October 27-28, 2010, Hersonissou, Crete, Greece Supported by IFAC TC 5.3 on “Enterprise Integration and Networking” (http://www.ifac-tc53.org) IFIP TC 8 WG 8.1 on “Design and Evaluation of Information Systems” (http://home.dei.polimi.it/pernici/ifip81) SIG INTEROP Grande-Région on “Enterprise Systems Interoperability” (http://www.interop-grande-region.eu) French CNRS National Research Group GDR MACS (http://www.univ-valenciennes.fr/GDR-MACS) With a special plenary session on interoperability of collaborative information systems together with CoopIS’2010 (http://www.onthemove-conferences.org/index.php/coopis10) SCOPE It is a fact that enterprises need to collaborate in order to prosper in the current extreme dynamic and heterogeneous business environment. Enterprise integration, interoperability and networking are the major disciplines that have studied how to do companies to collaborate and communicate in the most effective way. These disciplines are well-established and are supported by international conferences, initiatives, groups, task forces and European projects where different domains of knowledge have been considered from different points of views and a variety of objectives (e.g., technological or managerial). Enterprise Integration involves breaking down organizational barriers to improve synergy within the enterprise so that business goals are achieved in a more productive and efficient way. Enterprise Modelling, Architecture, and Ontology are the pillars supporting the achievement of Enterprise Integration and Interoperability. This firth edition of the workshop is organised as a Venue of Experts, part of the OTM’2010 Federated Conferences (http://www.onthemove-conferences.org). It aims at identifying issues in Applications of Interoperability in Enterprise Integration and Networking that will be developed in future research projects. A keynote speaker and a plenary session will be jointly organized with CoopIS’2010 conference. TOPICS OF INTEREST The main goal of this workshop is to provide a forum for practitioners and researchers interested in enterprise integration, interoperability and networking to meet, and exchange research and implementation ideas and share the most exciting results. It offers for practitioners and researchers with diverse backgrounds, an opportunity to present research papers, share experiences, and participate in open discussions. Relevant topics include, but are not limited to, theoretical and/or empirical exploration of enterprise models, tools and theories, as well as case studies and practices related to: * Enterprise Integration Modelling, Approaches, and Methodologies * Interoperability of Enterprise Systems * Future Internet Enterprise Systems * Interoperability in the context of Internet of Things and Internet of Services * Model-Based Systems Engineering * Business Process Modelling and Languages * Business Process vs. Business Intelligence * Ontology for Interoperability of Enterprise Applications * Cloud Computing and Wireless Techniques in Enterprise Integration * Interoperability in the context of collaborative networked organisations * Enterprise reference models and their verification, validation, and accreditation * Service Science * Enterprise Interoperability as a Science * Case Studies in Enterprise Integration and Interoperability IMPORTANT DATES Abstract Submission Deadline June 15, 2010 Paper Submission Deadline June 30, 2010 Acceptance Notification July 30, 2010 Camera Ready Due August 13, 2010 Registration Due September 3, 2010 OTM Conferences October 25 - 29, 2010 SUBMISSION GUIDELINES Each submitted paper will be refereed by at least three members of the Workshop Program Committee, based on its originality, significance, technical soundness, and clarity of expression. Submissions must be in English, and may be of two types: Full Papers or Short Papers, both of which may discuss industrial experience or academic research. Full Papers should not exceed 5,000 words (excluding references and appendices), and should not exceed 10 pages in the final camera-ready format. Short papers should not exceed 5 pages in the final camera-ready format. Only electronic submissions in Adobe PDF format are acceptable. The final workshop proceedings will be published by Springer Verlag as LNCS (Lecture Notes in Computer Science). Author instructions can be found at: http://www.springer.de/comp/lncs/authors.html Additionally, extended versions of the best papers from the Workshop may be considered for a submission in a special issue of an International Journal. Failure to commit to presentation at the workshop automatically excludes a paper from the Conference Proceedings. The paper submission site will be announced shortly. WORKSHOP FORMAT ORGANISATION The Workshop Program will be scheduled for two days duration and it will be organised with oral presentations of papers followed by two rounds “group workshop café” on subjects related to the presented papers. At the end of the Workshop, a plenary panel will summarize the results, and a report will be prepared. WORKSHOP CO-CHAIRS Giuseppe Berio, Professor University of South Britain, France E-mail: Giuseppe.Berio at univ-ubs.fr Qing Li, Associate Professor Tsinghua University, P. R. China E-mail: liqing at tsinghua.edu.cn Kemafor Anyanwu, Assistant Professor North Carolina State University, USA E-mail: Anyanwu at csc.ncsu.edu Hervé Panetto, Professor Nancy-University, France E-mail: Herve.Panetto at cran.uhp-nancy.fr PROGRAM COMMITTEE Giuseppe Berio, University of South Britain, France Peter Bernus, Griffith University, Australia Nacer Boudjlida, Nancy-University, France Luis M. Camarinha-Matos, Univova, Portugal J. Cecil, Oklahoma State University, USA Vincent Chapurlat, EMA, France David Chen, University Bordeaux 1, France Adrian Curaj, National University Research Council, Romania Michele Dassisti, Politecnico di Bari, Italy Charlotta Johnsson, Lund University, Sweden Andres Garcia Higuera, University Castilla-La Mancha, Spain Ricardo Gonçalves, New University of Lisbon, Portugal Ted Goranson, Earl Research, USA John Gotze, Copenhagen Business School, Denmark Roland Jochem, University of Kassel, Germany Georgios Kapogiannis, The University of Salford, UK John Krogstie, ISI, NTNU, Norway Qing Li, Tsinghua University, P.R. China Peter Loos, DFKI, University of Sarre, Germany Juan-Carlos Mendez, AdN International, Mexico Istvan Mezgar, Hungarian Academy of Sciences, Hungary Arturo Molina, Tecnologico de Monterrey, Mexico Yannick Naudet, CRPHT, Luxemburg Ovidiu Noran, Griffith University, Australia Angel Ortiz, Politecnic University of Valencia, Spain Hervé Panetto, Nancy-University, France Jin Woo Park, Seoul National University, Korea Michaël Petit, University of Namur, Belgium Wolfgang Prinz, Fraunhofer FIT, Germany Czeslaw Smutnicki, Wroclaw University of Technology, Poland Aurelian M. Stanescu, Polytechnic University of Bucharest, Romania Michael Sobolewski, Texas Tech University, USA Janusz Szpytko, Technology University, Poland Pat Turner, ASPL, Australia Bruno Vallespir, University Bordeaux 1, France François B. Vernadat, European Court of Auditors, Luxemburg Georg Weichhart, University of Linz, Austria Lawrence Whitman, Wichita State University, USA Milan Zdravkovic, Faculty of mechanical engineering, Serbia Xuan Zhou, SAP China, P. R. China From lorini at irit.fr Wed Apr 14 19:38:47 2010 From: lorini at irit.fr (lorini at irit.fr) Date: Wed, 14 Apr 2010 19:38:47 +0200 (CEST) Subject: NEW deadline April 19! - TIDIAD@ESSLLI'10, Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue Message-ID: <53ac0c724d9c7f205748ed770123faf9.squirrel@websecu.irit.fr> Please circulate - Apologies for multiple copies - Please circulate LAST CALL FOR PAPERS **NEW Submission Deadline: April 19** Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue TIDIAD at ESSLLI2010 http://www.irit.fr/~Laure.Vieu/Esslli10 Workshop organized as part of the European Summer School on Logic, Language and Information ESSLLI 2010 (http://esslli2010cph.info/) August 16-20 (ESSLLI 2nd week) 2010, Copenhagen *** DUE TO SOME REQUESTS, SUBMISSION DEADLINE POSTPONED OF ONE WEEK *** Workshop Purpose and Topics: ---------------------------- Theoretical approaches to communication and dialogue modeling are varied and often unrelated because separately focusing on different aspects of dialogue (speech acts, goals, beliefs, plans, questions, conventions, roles, cooperation, disputes, argumentation, reference, semantics-pragmatics interface...). On the other hand, the area of foundations of multi-agent systems is inducing new developments in logics of interaction and information dynamics, with a recent trend towards comparison and integration. Analyzing the impact of this trend on communication and dialogue modeling is timely. This workshop aims at discussing formal theories and logics of information dynamics and interaction and their applications to dialogue and communication modeling. It is intended to bring together logicians, linguists and computer scientists in order to provide a better understanding of the potentialities and limitations of formal methods for the analysis of dialogue and communication. Its scope includes not only the technical aspects of logics, but also multidisciplinary aspects from linguistics, philosophy of language, philosophy of social reality, social sciences (social psychology, economics). The following are some examples of formal theories and logics that are relevant to the workshop (no order): speech act theory, argumentation theory, game theory, public announcement logic, dynamic epistemic logic (DEL), logics of agency and power (e.g. STIT, ATL, Coalition Logic), theories of persuasion, theories of commitment, dynamic semantics, semantic approaches to interrogative clauses, rhetorical approaches to dialogue (e.g., Segmented Discourse Representation Theory). The focus of the workshop will be on recent developments, especially those that combine several approaches (e.g. dynamic epistemic logic and speech act theory, dynamic epistemic logic and segmented discourse representation theory, public announcement logic and commitment theories, STIT and dynamic epistemic logic, Coalition Logic and public announcement logic...) to deal with complex dialogue and communication phenomena. Invited speakers: ----------------- Patrick Blackburn, LORIA, INRIA Nancy Jeroen Groenendijk, ILLC, University of Amsterdam Workshop Organizers: -------------------- Emiliano Lorini ("lorini at irit.fr") and Laure Vieu ("vieu at irit.fr"), IRIT-CNRS, Toulouse Workshop Programme Committee: ----------------------------- Nicholas Asher, IRIT-CNRS, Toulouse Guillaume Aucher, Univ. of Luxembourg Alexandru Baltag, Oxford Univ. Anton Benz, ZAS, Berlin Patrick Blackburn, INRIA, Nancy Guido Boella, Univ. of Turin Jan Broersen, Univ. of Utrecht Cristiano Castelfranchi, ISTC-CNR, Rome Hans van Ditmarsch, Univ. of Otago & Univ. of Seville Raquel Fernández, Univ. of Amsterdam Jonathan Ginzburg, King's College, London Jeroen Groenendijk, Univ. of Amsterdam Davide Grossi, Univ. of Amsterdam Andreas Herzig, IRIT-CNRS, Toulouse Wiebe van der Hoek, Univ. of Liverpool Joris Hulstijn, Vrije Univ. of Amsterdam Barteld Kooi, Univ. of Groningen Kepa Korta, Univ. of Basque Country, Donostia Alex Lascarides, Univ. Edinburgh Dominique Longin, IRIT-CNRS, Toulouse John-Jules Meyer, Univ. of Utrecht Paul Piwek, The Open Univ., Milton Keynes Henry Prakken, Univ. of Utrecht Leon van der Torre, Univ. of Luxembourg Submission Details: ------------------- Authors are invited to submit an extended abstract presenting work relevant to the area of information dynamics, interaction and dialogue. Extended abstracts should have a maximum of 6 pages, font size of at least 11pt, and margins of at least 2 cm. Papers should be in PDF format (Latex-generated papers are preferred, but not necessary), and uploaded by April 12 using Easychair at: http://www.easychair.org/conferences/?conf=tidiadesslli10 The submissions will be reviewed by the program committee and possibly additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. The format for the final versions will be made available in due course. A special issue of the journal Synthese is planned, based on selected papers presented at the workshop, of which full versions will be independently reviewed. Important dates: ---------------- **NEW** Apr 19, 2010: Deadline for submission May 24, 2010: Notification June 1, 2010: Deadline for early registration to ESSLLI Jun 15, 2010: Deadline for final papers August 16-20, 2010: Workshop Local Arrangements: ------------------- All workshop participants including the presenters will be required to register for ESSLLI. Further Information: -------------------- About the workshop: http://www.irit.fr/~Laure.Vieu/Esslli10 About ESSLLI: http://esslli2010cph.info/ _______________________________________________ PlanetKR mailing list PlanetKR at kr.org http://discuss.it.uts.edu.au/mailman/listinfo/planetkr From christian.guttmann at gmail.com Thu Apr 15 01:54:04 2010 From: christian.guttmann at gmail.com (Christian Guttmann) Date: Thu, 15 Apr 2010 07:54:04 +0800 Subject: Deadline Extension CARE 2010, Toronto, Canada --- April 23, 2010 Message-ID: <4BC6559C.5090107@gmail.com> Apologies for multiple postings. ============================================================ Second INTERNATIONAL WORKSHOP on Collaborative Agents -- REsearch and Development (CARE) 2010 31st August 2010, York University, Toronto, Canada EXTENDED Full Paper DEADLINE: April 23, 2010 Submission Format: 4-page IEEE http://www.csse.monash.edu.au/~xtg/CARE2010/ ============================================================ The workshop is held in conjunction with the International Conference on Intelligent Agent Technology (IAT). http://www.yorku.ca/wiiat10/ Summary ======= Collaboration is required when multiple agents achieve complex goals that are difficult or impossible to attain for an individual agent. This collaboration takes place under conditions of incomplete information, uncertainty, and bounded rationality, much of which has been previously studied in economics and artificial intelligence. However, many real world domains are characterised by even greater complexity, including the possibility of unreliable and non-complying collaborators, complex market and incentive frameworks, and complex transaction costs and organisational structures. This workshop's thematic focus is on collaborative and autonomous agents that plan, negotiate, coordinate, and act under this complexity. This workshop aims to foster discussions on computational models of collaboration in distributed systems, addressing a range of theoretical and practical issues. We seek contributions of members in research and industry that use the agent paradigm to approach their problems. Some issues of interest of this workshop are: o How to enable agents to form and follow joint agreements and contracts in complex organisational and market driven domains. o How to develop a comprehensive contractual formation/maintenance framework applicable to many application domains. o How to build comprehensive customer lifecycle management systems for customers, including telecommunication consumers, students and patients. o How to deploy lifecycle management systems in real world applications, such as healthcare, telecommunication, and smart campuses. o How to design markets that are adequate for agents to act with incomplete and uncertain information of the behaviour of collaborating agents. o How to build MAS that work efficiently in partially regulated markets (where governance policy or partnership agreements govern part of the market). o What are the implications of partial regulation on the management of contractual relationships and service delivery. o How organisational structures influence the negotiation of agents and the distribution/execution of tasks. o How to cope with collaborators that exhibit unreliable and non-conformant behaviour, eg where agreements are made but are not always conformed with. o How can interventions and incentive structures assist in managing contractual relationships and service delivery. o How to assign transaction costs to actions in planning, assignment, and execution in organisational structures. o How can transaction costs influence the social outcome of the system which is further influenced by the organisational context under which the collaboration takes place. o Can lessons learnt in game theoretic computation inform collaborative agent settings. o What role does learning and adaptivity play in building organisational MAS. The one day workshop will feature a mixture of invited talks, discussions and submitted contributions describing current work or work in progress in collaborative agent research and technology. The workshop environment fosters open discussions among all participants, particularly encouraging students to discuss their research topics and seek feedback from senior agent researchers. Contact ======= CARE organisers christian.guttmann at gmail.com dignum at cs.uu.nl Important Dates =============== EXTENDED Full Paper DEADLINE: April 23, 2010 Previous Deadline: Abstract submission: April 14, 2010 Full paper submission: April 16, 2010 Notification: May 28, 2010 Camera ready: June 7, 2010 Topics of Interest include (but are not limited to): ==================================================== RESEARCH * Collaboration frameworks * Models of teamwork and joint action * Organisation/Institutes/Norms * Auctioning/Negotiation * Task/Resource allocation * Behaviour modelling/monitoring * Adherence/Intervention mechanisms * Incentive frameworks * Intervention mechanisms * Agreement technology * Contract networks/formation * Cloud computing APPLICATION AREAS * Collaborative care planning/management * Disaster planning/management * Traffic planning/management * Transport/Logistics * Applications in primary and preventative healthcare * Chronic disease planning/management * Epidemiological agent models * Unmanned air/land vehicles * Robotic soccer/Robotic rescues * Weather forecast * Artificial and natural immune systems * Social networks (e.g., LinkedIn, Facebook,...) * Smart grid network (e.g., electricity/gas metering) Submission and Publication ========================== Submission is to be done electronically at Cyberchair at: http://wi-consortium.org/cyberchair/wiiat10/scripts/ws_submit.php. CARE 2010 seeks 4-page submissions formatted according to IEEE specification. Style Files for Paper Submission IEEE Computer Society Proceedings Manuscript Formatting Guidelines: DOC: ftp://pubftp.computer.org/press/outgoing/proceedings/instruct8.5x11.doc PDF:ftp://pubftp.computer.org/press/outgoing/proceedings/instruct8.5x11.pdf PS: ftp://pubftp.computer.org/press/outgoing/proceedings/instruct.ps LaTex Formatting Macros: ftp://pubftp.computer.org/Press/Outgoing/proceedings/IEEE_CS_Latex8.5x11x2.zip Submissions will be peer-reviewed by two or three reviewers per paper. Selection criteria will include relevance, significance, impact, originality, technical soundness, quality of presentation. Some preference may also be given to papers which address emergent trends or important common themes, or which enhance balance of workshop topics. Post-Proceedings will be published with a major international publisher (most likely Springer as for the CARE 2009). Workshop Officials ================== GENERAL CHAIRS Christian Guttmann (Monash University, Australia) Frank Dignum (University Utrecht, Netherlands) PROGRAM COMMITTEE Wei Chen (Intelligent Automation, Inc., United States of America) Philippe Pasquier (Simon Fraser University, Canada) Michael Luck (King's College London, United Kingdom) Lawrence Cavedon (NICTA and RMIT University, Australia) Samin Karim (Accenture, Australia) Cees Witteveen (Delft University of Technology, Netherlands) Franziska Klügl (Örebro University, Sweden) Toby Walsh (NICTA and UNSW, Australia) Cristiano Castelfranchi (Institute of Cognitive Sciences and Technologies, Italy) Alexander Pokahr (University Hamburg, Germany) Lars Brauchbach (University Hamburg, Germany) Wayne Wobcke (University of New South Wales, Australia) Rainer Unland (University of Duisburg-Essen, Germany) Liz Sonenberg (Melbourne University, Australia) Kumari Wickramasinghe (Monash University, Australia) Simon Thompson (British Telecom Research Laboratories, United Kingdom) Gord McCalla (University of Saskatchewan, Canada) Andrew Gilpin (Hg Analytics, United States of America) David Morley (SRI International, United States of America) Marcelo Blois Ribeiro (Pontifical Catholic University of Rio Grande do Sul, Brazil) Simon Goss (Defence Science and Technology Organisation DSTO, Australia) -- Christian Guttmann, PhD http://www.csse.monash.edu.au/~xtg/ From sofronie at mpi-sb.mpg.de Fri Apr 16 00:06:39 2010 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Fri, 16 Apr 2010 00:06:39 +0200 (CEST) Subject: IJCAR 2010 - 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. Book your trip to Edinburgh today! --------------------------------------------------------------------------- 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 + 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 is 17 May. Standard rates will 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 --------------------------------------------------------------------------- Student Travel Grants -------------------- FLoC has raised funds to help students with participating in the 2010 meeting. CADE is also funding the Woody Bledsoe Student Bursary scheme for students attending IJCAR 2010. Application deadline is May 3, 2010. The application form and further details are available on the conference website http://www.floc-conference.org/floc-student-grants.html --------------------------------------------------------------------------- For all enquiries about FLoC conferences email: floc-admin at inf.ed.ac.uk --------------------------------------------------------------------------- From beckert at kit.edu Fri Apr 16 10:17:27 2010 From: beckert at kit.edu (Bernhard Beckert) Date: Fri, 16 Apr 2010 10:17:27 +0200 Subject: 2nd CFP: International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010) Message-ID: <4BC81D17.7020409@kit.edu> FoVeOOS 2010 International Conference on Formal Verification of Object-Oriented Software June 28-30, 2010, Paris, France http://foveoos2010.cost-ic0701.org *CALL FOR PAPERS* SCOPE Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice (such as Java, C++, and C#) are object-oriented. The International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) aims to foster collaboration and interactions among researchers in this area. ORGANIZATION The conference is organised by COST Action IC0701 (http://www.cost-ic0701.org/) but it goes beyond the framework of this action. This conference is open to the whole scientific community around the following topics, and also encourages people close to industrial applications to submit papers and participate. The Action may provide travel grants (see the web page for details). TOPICS Topics include but are not limited to: * Logic-based methods for formal - verification - specification and description - construction, - analysis and validation, of object-oriented software * Technologies such as - logics - calculi - type systems for the formal verification of object-oriented software * Modularisation and verification of components * Verification of - adaptable and reusable - concurrent - distributed object-oriented software * Tool descriptions * Experience reports * Case studies * Teaching formal verification IMPORTANT DATES April 26, 2010 Abstract submission deadline May 3, 2010 Paper submission deadline May 31, 2010 Acceptance notification June 14, 2010 Final version due June 28-30, 2010 Conference SUBMISSIONS Submissions should describe previously unpublished work (completed or in progress). Contributions are invited in these categories: A Research papers (reporting original theoretical and/or experimental research or applications) B System descriptions C Experience reports, case studies D Position papers and brief reports on work in progress Papers must be written in English and (in all categories A-D) not exceed 15 pages in LNCS format (http://www.springer.de/comp/lncs/authors.html). All submissions will be reviewed by peers, typically members of the program committee. Submission of papers is via EasyChair at http://www.easychair.org/FoVeOOS2010/ PROCEEDINGS The conference will use a two-stage process for the publication of proceedings, allowing for a very brief period between submission of papers and the conference and, thus, a speedy dissemination of results. All accepted papers will appear in pre-proceedings published as a Technical Report that will be available at the conference. Post-conference proceedings are planned to be published within Springer's LNCS series (final approval pending). For this second stage, papers will be selected as follows: first, authors of papers that were definitely accepted in the first stage will submit a new version with minor revisions only; second, authors of papers that were only conditionally accepted (typically position papers) will be able to submit a new version with major revisions, which will be reviewed again. BEST STUDENT PRESENTATION AWARD Based on the comments given by the reviewers in the first stage of reviewing, and the presentation at the conference, the programme committee will give a best student presentation award. Eligible papers are those whose presentation is given by a PhD student. PROGRAM CO-CHAIRS Bernhard Beckert, Karlsruhe Institute of Technology, Germany Claude Marche, INRIA Saclay-Ile-de-France, France PROGRAMME COMMITTEE Gilles Barthe, IMDEA Software, Madrid, Spain Bernhard Beckert, Karlsruhe Institute of Technology, Germany Einar Broch Johnsen, U of Oslo, Norway Gabriel Ciobanu, U Alexandru Ioan Cuza, Romania Dave Clarke, Katholieke U Leuven, Belgium Mads Dam, KTH Stockholm, Sweden Ferruccio Damiani, U of Torino, Italy Sophia Drossopoulou, Imperial College, UK Paola Giannini, U Piemonte Orientale, Italy Dilian Gurov, KTH Stockholm, Sweden Reiner Haehnle, Chalmers U of Technology, Gothenburg, Sweden Marieke Huisman, U of Twente, The Netherlands Thomas Jensen, IRISA/CNRS, France Joe Kiniry, ITU Copenhagen, Denmark Viktor Kuncak, EPF Lausanne, Switzerland Dorel Lucanu, U Alexandru Ioan Cuza, Romania Maria del Mar Gallardo Melgarejo, U of Malaga, Spain Claude Marche, INRIA Saclay-Ile-de-France, France Julio Marino, U Politecnica de Madrid, Spain Marius Minea, Politehnica U of Timisoara, Romania Anders Moeller, U Aarhus, Denmark Rosemary Monahan, NUI Maynooth, Ireland Wojciech Mostowski, U Nijmegen, The Netherlands Peter Mueller, ETH Zurich, Switzerland James Noble, Victoria U of Wellington, New Zealand Bjarte M. Oestvold, Norwegian Computing Center, Norway Olaf Owe, U of Oslo, Norway Ernesto Pimentel Sanchez, U of Malaga, Spain Arnd Poetzsch-Heffter, U of Kaiserslautern, Germany Erik Poll, U of Nijmegen, The Netherlands Antonio Ravara, New University of Lisbon, Portugal Rene Rydhof Hansen, U of Aalborg, Denmark Peter H. Schmitt, Karlsruhe Institute of Technology, Germany Aleksy Schubert, U of Warsaw, Poland Gheorghe Stefanescu, U of Bucharest, Romania Bent Thomsen, U of Aalborg, Denmark Shmuel Tyszberowicz, U of Tel Aviv, Israel Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia Burkhart Wolff, U Paris-Sud (Orsay), France Wolfgang Reif, U of Augsburg, Germany Elena Zucca, U of Genova, Italy CONTACT Email: foveoos2010 at cost-ic0701.org Web: http://foveoos2010.cost-ic0701.org From Y.Bi at ulster.ac.uk Fri Apr 16 15:59:56 2010 From: Y.Bi at ulster.ac.uk (Bi Yaxin) Date: Fri, 16 Apr 2010 14:59:56 +0100 Subject: CfP: 4th International Conference on Knowledge Science, Engineering and Management (KSEM`2010) Message-ID: <6F127AEF3EE0114BBFBC03241A81784402B04716@jnexc09.ad.ulster.ac.uk> ================================================ The deadline of submissions has been extended [please accept our apologies for cross-posting] ========================================== 4th International Conference on Knowledge Science, Engineering and Management (KSEM`2010) 1-3 September 2010, Belfast, Northern Ireland, UK http://www.ulster.ac.uk/ksem2010 =============================================== *Important dates Paper submission: 30 March, 2010 (extended to 3 May, 2010) Author notification: 15 May, 2010 (extended to 3 June, 2010) Camera-ready: 30 May, 2010 (extended to 15 June, 2010) Early registration: 30 May, 2010 (extended to 15 June, 2010) =============================================== =============================================== *Call for organizers for the following new special sessions: Data fusion for information retrieval Mining concept drift within financial time series data Knowledge processing in requirement engineering Discover knowledge from social networks DNA sequence analysis in bioinformatics Knowledge representation and reasoning under uncertainty in Ambient intelligence =============================================== *Student Grants The KSEM2010 will make a number of travel grants available to PhD students. The awards will be used to subsidize conference travel to present papers. The application procedure will be published in the conference web site very soon. *Conference venue Europa Hotel (there are several budget hotels being adjacent it) *Invited speakers Anthony Cohn (University of Leeds, UK) Ian Horrocks (Oxford University, UK) Thierry Denoeux (Université de Technologie de Compiègne, France) ============================================ KSEM is an international conference for research on knowledge science, engineering and management, which attracts high quality, state-of-the-art research papers from all over the world. The conference provides a forum for researchers, practitioners and developers to present original work, to share their views, to exchange ideas and to develop new insights into KSEM-related areas. KSEM2010 will be held in Belfast, Northern Ireland, and is the fourth in the conference series, following three successful events in Guilin, China (KSEM'06), Melbourne, Australia (KSEM'07) and Vienna, Austria (KSEM'09). You are invited to submit papers that are original and not yet published. The topics of interest include but are not limited to: *Special sessions Theory and Practice of Ontology for the Semantic Web Application of Data Mining to Seismic Data Analysis for Earthquake Study *Knowledge science Knowledge representation and reasoning Logics of knowledge Formal analysis of knowledge Knowledge complexity and knowledge metrics Reasoning about knowledge in the presence of inconsistency, incompleteness, context-dependency Commonsense knowledge and uncertainty in knowledge Cognitive foundations of knowledge Knowledge in complex systems and multi-agent systems Formal ontology *Knowledge engineering Knowledge extraction Knowledge integration Knowledge fusion Knowledge-based software engineering Knowledge-based systems in life sciences Conceptual modelling in knowledge-based systems Semantic database systems and semantic Web Content engineering and ontological engineering Implementation issues in KBS Knowledge-based systems in earthquake science *Knowledge management Knowledge creation and acquisition Knowledge verification and validation Knowledge dissemination Knowledge management systems Organizational ontology Data mining and knowledge discovery Organizational memory Organizational learning Knowledge management strategies and practices Knowledge management applications *Paper Submission: Prospective participants are requested to electronically submit full papers of their work (12 pages). In accordance with the previous conferences the organisers of KSEM'2010 will publish the conference proceedings with Springer in the Lecture Notes in Artificial Intelligence (LNAI) series. *General conference co-chairs Bryan Scotney, University of Ulster, Northern Ireland, UK Zhi Jin, Peking University, China *Programme co-chairs Yaxin Bi, University of Ulster, Northern Ireland, UK Mary-Anne Williams, University of Technology, Sydney, Australia *Local organization committee (University of Ulster) James Uhomoibhi (co-chair) Hui Wang (co-chair) Anna Jurek Juan C Augsto David Glass Jun Liu Shengli Wu Nicola Burns Jing Liao Haiying Wang *Steering committee members David Bell, Queen's University Belfast, UK Cungen Cao, Chinese Academy of Sciences, China Dimitris Karagiannis, University of Vienna, Austria Zhi Jin, Peking Univeristy, China Jérome Lang, University Paris-Dauphine, France Yoshiteru Nakamori, JAIST, Japan Jorg Siekmann, DFKI, Germany Eric Tsui, The Hong Kong Polytechnic University, Hong Kong Zongtuo Wang, Dalian Science and Technology University, China Kwok Kee Wei, City University of Hong Kong, Hong Kong Mingsheng Ying, Tsinghua University, China Zili Zhang (Secretary), Southwest University, China Ruqian Lu (Honorary Chair), Chinese Academy of Sciences, China Chengqi Zhang (Chair), University of Technology, Sydney, Australia *Contact details Email:ksem2010 at ulster.ac.uk website: http://www.ulster.ac.uk/ksem2010 Organization committee of KSEM2010 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From organization at arcoe.org Sun Apr 18 05:21:39 2010 From: organization at arcoe.org (ARCOE) Date: Sun, 18 Apr 2010 11:21:39 +0800 Subject: 3rd CFP: Automated Reasoning about Context and Ontology Evolution (ARCOE-10) collocated with ECAI-2010 Message-ID: ======================= CALL FOR PARTICIPATION 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/ ARCOE-10 Highlights: We are pleased to announce that Prof. Tommie Meyer and Prof. Fausto Giunchiglia have agreed to give invited talks at ARCOE-10. -- Description of the workshop -- Methods of automated reasoning have solved a large number of problems in Computer Science by using formal ontologies expressed in logic. Over the years, though, each problem or class of problems has required a different ontology, and sometimes a different version of logic. Moreover, the processes of conceiving, controlling and maintaining an ontology and its versions have turned out to be inherently complex. All this has motivated much investigation in a wide range of disparate disciplines -- from logic-based Knowledge Representation and Reasoning to Software Engineering, from Databases to Multimedia -- about how to relate ontologies to one another. ARCOE-10 aims at bringing together researchers and practitioners from core areas of Artificial Intelligence (Knowledge Representation and Reasoning, Contexts, and Ontologies) to discuss these kinds of problems and relevant results. Historically, there have been at least three different, yet interdependent motivations behind this type of research: defining the relationship between an ontology and its context, providing support to ontology engineers, enhancing problem solving and communication for software agents. Ontology and Context. Most application areas have recognised the need for representing and reasoning about knowledge that is distributed over many resources. Such knowledge depends on its context, i.e., on the syntactic and/or semantic structure of such resources. Research on information integration, distributed knowledge management, the semantic web, multi-agent and distributed reasoning have pinned down different aspects of how ontologies relate to and/or develop within their context. Ontology Engineering. Ontology engineers are not supposed to succeed right from the beginning when (individually or collaboratively) developing an ontology. Despite their expertise and any assistance from domain experts, revision cycles are the rule. Research on the automation of the process of engineering an ontology has improved efficiency and reduced the introduction of unintended meanings by means of interactive ontology editors. Moreover, ontology matching has studied the process of manual, off-line alignment of two or more known ontologies. Problem Solving and Communication for Agents. Agents that communicate with one another without having full access to their respective ontologies or that are programmed to face new non-classifiable situations must change their own ontology dynamically at run-time -- they cannot rely on human intervention. Research on this problem has either concentrated on non-monotonic reasoning and belief revision or on changes of signature, i.e., of the grammar of the ontology's language, with a minimal disruption to the original theory. ARCOE-10 will provide a multi-disciplinary forum, where differences in methodologies, representation languages and techniques are over-arched and hopefully overcome. Accordingly, the workshop will be structured into four tracks: three of them will focus on specific areas, the fourth one will foster links and integration. Track 1: Context and Ontology This track will select and present works about Context and Ontology, a well-established research area that has mainly concentrated on the relationship between contexts and ontologies for distributed information and for the enhancement of software agents. Track 2: Common Sense and Non-Monotonic Reasoning for Ontologies This track will select and present works about logic-based Knowledge Representation and Reasoning, a classic area of AI, which since its origins has produced remarkable results on logic-based methods for supporting knowledge engineers and for enhancing software agents. Track 3: Automated Ontology Evolution This track will select and present works about Automated Ontology Evolution, an area which in recent years has been drawing the attention of Artificial Intelligence and Knowledge Representation and Reasoning on the automation of ontology evolution. Track 4: Links and integration This track will foster links and integration by means of invited talks and (panel) discussions. Topics that are likely to be covered are: the formalisation of software engineering concepts for ontology development; the relationship between automated reasoning and information retrieval; relationships between representation languages; relationships between canonical domains; relationships between contexts and ontology evolution and between Non-Monotonic Reasoning and ontology evolution. ARCOE-10 will bring the participants to position the various approaches with respect to one another. Hopefully, though, the workshop will also start a process of cross-pollination and set out the constitution of a truly interdisciplinary research-community dedicated to automated reasoning about contexts and ontology evolution. -- Topics -- Track 1: Context and Ontology Submissions are welcome on the role of context and ontology in areas that include but are not limited to the following ones: - Information Integration - The role of context and ontology in Distributed Reasoning and Knowledge Management - The role of context and ontology in Semantic Web - Multi-Agent Systems - Data Grid and Grid Computing - Pervasive Computing and Ambient Intelligence - Peer-to-peer Information Systems - Comparison of uses of contexts and ontologies Track 2: Common Sense and Non-Monotonic Reasoning Submissions are welcome on the role of common sense and non-monotonic reasoning for ontologies in areas that include but are not limited to the following ones: - Ontology Debugging, Update and Merging - Inconsistency Handling, Belief Revision and Theory Change for DL ontologies - Uncertainty Handling, Defeasible Reasoning and Argumentation in ontologies - Heuristic and Approximate Reasoning - Planning and Reasoning about Action and Change on the Semantic Web - Rules and Ontologies - Temporal and Spatial Reasoning Track 3: Automated Ontology Evolution Submissions are welcome on the role of automated ontology evolution in areas that include but are not limited to the following ones: - Ontology fault diagnosis and repair - Problem Solving - Agent Communication - Persistent Agents in Changing Environment - Multimedia on the Web - IT and Automated Reasoning -- Attendance -- Authors will be selected on significance of their submission and will be preferred to simple attendees. Attendees will be selected on a first-come-first-served basis. Please check http://ecai2010.appia.pt/ for registration procedure and fees. -- Submission Requirements and Dates -- ARCOE-10 will accept submissions of long abstracts, for both long presentations and poster presentations. The distinction during the selection-phase will be based on the significance and the quality of submissions as well as oriented towards fostering cross-pollination and discussions during the event. All selected abstracts will be included in the Working Notes. Authors are kindly requested to provide keywords upon submission. The format for submissions is the same as that of ECAI-10. Please check http://ecai2010.appia.pt/ for the style files. Submissions should be no longer than 2 pages and in PDF format. The possibility is being considered of publishing extended versions of the best works from the workshop in a special issue of a peer-reviewed journal. Abstract submission: May 7, 2010 Notification: June 7, 2010 Camera ready: June 21, 2010 Early registration: T.B.A. Late registration: T.B.A. Workshop: August 16-17, 2010 -- Submit to -- Please submit to https://www.easychair.org/login.cgi?conf=arcoe10 -- Workshop Co-Chairs -- Alan Bundy School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2716, Fax No.: +44-131-650-6899 Jos Lehmann (primary contact) School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2725, Fax No.: +44-131-650-6899 Guilin Qi School of Computer Science and Engineering, Southeast University, 211189, Jiangning District, Nanjing, China. Fax: +86-25-52090880 Ivan José Varzinczak Meraka Institute, Meiring Naude Road, CSIR, 0001 Pretoria, South Africa. Tel: +27-12-841-25-94 -- Program Committee -- - Grigoris Antoniou (FORTH, Greece) - Franz Baader (TU Dresden, Germany) - Richard Booth (University of Luxembourg and Mahasarakham University, Thailand) - Paolo Bouquet (University of Trento, Italy) - Jerome Euzenat (INRIA Grenoble Rhone-Alpes, France) - Giorgos Flouris (FORTH, Greece) - Chiara Ghidini (FBK Fondazione Bruno Kessler, Italy) - Deborah McGuinness (Rensselaer Polytechnic Institute, USA) - Thomas Meyer (Meraka Institute, South Africa) - Maurice Pagnucco (The University of New South Wales, Australia) - Valeria de Paiva (Cuil Inc., USA) - Jeff Pan (University of Aberdeen, UK) - Dimitris Plexousakis FORTH, Greece) - Luciano Serafini (FBK Fondazione Bruno Kessler, Italy) - Renata Wassermann (Universidade de Sao Paulo, Brazil) From Klinpratoom.Tho at stou.ac.th Sun Apr 18 22:14:26 2010 From: Klinpratoom.Tho at stou.ac.th (Klinpratoom Thongnak) Date: Mon, 19 Apr 2010 03:14:26 +0700 Subject: [DIGLIB] 3rd CFP: Automated Reasoning about Context and Ontology Evolution (ARCOE-10) collocated with ECAI-2010 In-Reply-To: References: Message-ID: <8941C9DDE960A946A9E31D8093D792A20EADC404C7@MAILBOX.stou.local> Dear All, May I apologise to cross post? Please be informed that Thai government and Royal Army plan to kill Thai People on Monday 19 April 2010 at 4.00 am. (GMT+7.00). Could you please help our people by inform the Reporters and your government agency. Klinpratoom Thongnak Librarian, University Library Sukhothai Thammathirat Open University Nonthaburi 11120, THAILAND Tel. + 668 5100 4077 ________________________________________ From: arcoe2009 at googlemail.com [arcoe2009 at googlemail.com] On Behalf Of ARCOE [organization at arcoe.org] Sent: Sunday, April 18, 2010 10:21 AM To: organization at arcoe.org; cadeinc at cs.albany.edu; diglib at infoserv.inist.fr; loom-forum at isi.edu; ontology at buffalo.edu; aiia at dis.uniroma1.it; aila at disi.unige.it; cl-adverts at janeway.inf.tu-dresden.de; colognet at ucy.ac.cy; digicult-forum at digicult.info; disa at cs.unitn.it; event at in.tu-clausthal.de; fg-db at informatik.uni-rostock.de; juris.borzovs at dati.lv; kaw at science.uva.nl; lilac at irit.fr; logic at math.uni-bonn.de; ontoquery at ruc.dk; pjm at doc.ic.ac.uk; reengineering at uni-koblenz.de; PlanetKR at KR.ORG; rpdmp at irit.fr; sw-ergo at gui-design.de; webmaster at aisb.org.uk; wi at aifb.uni-karlsruhe.de; TheReasoner at kent.ac.uk; andersen at ontologyworks.com; editor at knowledgeboard.com; kurt.godden at gm.com; topicmapmail at infoloom.com; conferences at computer.org; ecoop-info at ecoop.org; elsnet-list at elsnet.org; events_calendar at acm.org; linguist at linguistlist.org; ontolog-forum at ontolog.cim3.net; potokte at ornl.gov; project at aktors.org; public-owl-dev at w3.org; public-rif-wg at w3.org; public-semweb-lifesci at w3.org; semantic-web at w3.org; semanticweb at egroups.com; www-rdf-logic at w3.org; www-rdf-rules at w3.org; www-ws at w3.org; ehn at cs.cmu.edu; hovy at isi.edu; lih at nyack.edu; assourav at ntu.edu.sg; antje at ira.uka.de; avalente at ksventures.com; bella at lirmm.fr; bourcier at msh-paris.fr; brandon at comp.leeds.ac.uk; breuker at lri.jur.uva.nl; carlo.combi at univr.it; devedzic at fon.fon.bg.ac.yu; guido at di.unito.it; jaime.delgado at upf.edu; laurens at mommers.net; louk at mail.cir.ru; malerba at di.uniba.it; Max.Bramer at port.ac.uk; mjarrar at vub.ac.be; pgiorgio at dit.unitn.it; piero.fraternali at polimi.it; pompeu.casanovas at uab.es; pq at di.uevora.pt; tiscornia at ittig.cnr.it; winkels at lri.jur.uva.nl; a.sattar at griffith.edu.au; chengqi at it.uts.edu.au; debenham at it.uts.edu.au; flin at cs.ust.hk; h.nakashima at fun.ac.jp; ishizuka at miv.t.u-tokyo.ac.jp; nreed at hawaii.edu; pian at um.edu.my; wai.yeap at aut.ac.nz; winikoff at cs.rmit.edu.au; fred at cin.ufpe.br; araki at media.eng.hokudai.ac.jp; baader at tcs.inf.tu-dresden.de; dayzman at gmail.com; pdoran at liverpool.ac.uk; fischer at winf.tu-darmstadt.de; bassel.habib at lip6.fr; mom at cs.uns.edu.ar; kabura at media.eng.hokudai.ac.jp; tarek.sboui.1 at ulaval.ca; k.wang at griffith.edu.au Subject: [DIGLIB] 3rd CFP: Automated Reasoning about Context and Ontology Evolution (ARCOE-10) collocated with ECAI-2010 ======================= CALL FOR PARTICIPATION 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/ ARCOE-10 Highlights: We are pleased to announce that Prof. Tommie Meyer and Prof. Fausto Giunchiglia have agreed to give invited talks at ARCOE-10. -- Description of the workshop -- Methods of automated reasoning have solved a large number of problems in Computer Science by using formal ontologies expressed in logic. Over the years, though, each problem or class of problems has required a different ontology, and sometimes a different version of logic. Moreover, the processes of conceiving, controlling and maintaining an ontology and its versions have turned out to be inherently complex. All this has motivated much investigation in a wide range of disparate disciplines -- from logic-based Knowledge Representation and Reasoning to Software Engineering, from Databases to Multimedia -- about how to relate ontologies to one another. ARCOE-10 aims at bringing together researchers and practitioners from core areas of Artificial Intelligence (Knowledge Representation and Reasoning, Contexts, and Ontologies) to discuss these kinds of problems and relevant results. Historically, there have been at least three different, yet interdependent motivations behind this type of research: defining the relationship between an ontology and its context, providing support to ontology engineers, enhancing problem solving and communication for software agents. Ontology and Context. Most application areas have recognised the need for representing and reasoning about knowledge that is distributed over many resources. Such knowledge depends on its context, i.e., on the syntactic and/or semantic structure of such resources. Research on information integration, distributed knowledge management, the semantic web, multi-agent and distributed reasoning have pinned down different aspects of how ontologies relate to and/or develop within their context. Ontology Engineering. Ontology engineers are not supposed to succeed right from the beginning when (individually or collaboratively) developing an ontology. Despite their expertise and any assistance from domain experts, revision cycles are the rule. Research on the automation of the process of engineering an ontology has improved efficiency and reduced the introduction of unintended meanings by means of interactive ontology editors. Moreover, ontology matching has studied the process of manual, off-line alignment of two or more known ontologies. Problem Solving and Communication for Agents. Agents that communicate with one another without having full access to their respective ontologies or that are programmed to face new non-classifiable situations must change their own ontology dynamically at run-time -- they cannot rely on human intervention. Research on this problem has either concentrated on non-monotonic reasoning and belief revision or on changes of signature, i.e., of the grammar of the ontology's language, with a minimal disruption to the original theory. ARCOE-10 will provide a multi-disciplinary forum, where differences in methodologies, representation languages and techniques are over-arched and hopefully overcome. Accordingly, the workshop will be structured into four tracks: three of them will focus on specific areas, the fourth one will foster links and integration. Track 1: Context and Ontology This track will select and present works about Context and Ontology, a well-established research area that has mainly concentrated on the relationship between contexts and ontologies for distributed information and for the enhancement of software agents. Track 2: Common Sense and Non-Monotonic Reasoning for Ontologies This track will select and present works about logic-based Knowledge Representation and Reasoning, a classic area of AI, which since its origins has produced remarkable results on logic-based methods for supporting knowledge engineers and for enhancing software agents. Track 3: Automated Ontology Evolution This track will select and present works about Automated Ontology Evolution, an area which in recent years has been drawing the attention of Artificial Intelligence and Knowledge Representation and Reasoning on the automation of ontology evolution. Track 4: Links and integration This track will foster links and integration by means of invited talks and (panel) discussions. Topics that are likely to be covered are: the formalisation of software engineering concepts for ontology development; the relationship between automated reasoning and information retrieval; relationships between representation languages; relationships between canonical domains; relationships between contexts and ontology evolution and between Non-Monotonic Reasoning and ontology evolution. ARCOE-10 will bring the participants to position the various approaches with respect to one another. Hopefully, though, the workshop will also start a process of cross-pollination and set out the constitution of a truly interdisciplinary research-community dedicated to automated reasoning about contexts and ontology evolution. -- Topics -- Track 1: Context and Ontology Submissions are welcome on the role of context and ontology in areas that include but are not limited to the following ones: - Information Integration - The role of context and ontology in Distributed Reasoning and Knowledge Management - The role of context and ontology in Semantic Web - Multi-Agent Systems - Data Grid and Grid Computing - Pervasive Computing and Ambient Intelligence - Peer-to-peer Information Systems - Comparison of uses of contexts and ontologies Track 2: Common Sense and Non-Monotonic Reasoning Submissions are welcome on the role of common sense and non-monotonic reasoning for ontologies in areas that include but are not limited to the following ones: - Ontology Debugging, Update and Merging - Inconsistency Handling, Belief Revision and Theory Change for DL ontologies - Uncertainty Handling, Defeasible Reasoning and Argumentation in ontologies - Heuristic and Approximate Reasoning - Planning and Reasoning about Action and Change on the Semantic Web - Rules and Ontologies - Temporal and Spatial Reasoning Track 3: Automated Ontology Evolution Submissions are welcome on the role of automated ontology evolution in areas that include but are not limited to the following ones: - Ontology fault diagnosis and repair - Problem Solving - Agent Communication - Persistent Agents in Changing Environment - Multimedia on the Web - IT and Automated Reasoning -- Attendance -- Authors will be selected on significance of their submission and will be preferred to simple attendees. Attendees will be selected on a first-come-first-served basis. Please check http://ecai2010.appia.pt/ for registration procedure and fees. -- Submission Requirements and Dates -- ARCOE-10 will accept submissions of long abstracts, for both long presentations and poster presentations. The distinction during the selection-phase will be based on the significance and the quality of submissions as well as oriented towards fostering cross-pollination and discussions during the event. All selected abstracts will be included in the Working Notes. Authors are kindly requested to provide keywords upon submission. The format for submissions is the same as that of ECAI-10. Please check http://ecai2010.appia.pt/ for the style files. Submissions should be no longer than 2 pages and in PDF format. The possibility is being considered of publishing extended versions of the best works from the workshop in a special issue of a peer-reviewed journal. Abstract submission: May 7, 2010 Notification: June 7, 2010 Camera ready: June 21, 2010 Early registration: T.B.A. Late registration: T.B.A. Workshop: August 16-17, 2010 -- Submit to -- Please submit to https://www.easychair.org/login.cgi?conf=arcoe10 -- Workshop Co-Chairs -- Alan Bundy School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2716, Fax No.: +44-131-650-6899 Jos Lehmann (primary contact) School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2725, Fax No.: +44-131-650-6899 Guilin Qi School of Computer Science and Engineering, Southeast University, 211189, Jiangning District, Nanjing, China. Fax: +86-25-52090880 Ivan José Varzinczak Meraka Institute, Meiring Naude Road, CSIR, 0001 Pretoria, South Africa. Tel: +27-12-841-25-94 -- Program Committee -- - Grigoris Antoniou (FORTH, Greece) - Franz Baader (TU Dresden, Germany) - Richard Booth (University of Luxembourg and Mahasarakham University, Thailand) - Paolo Bouquet (University of Trento, Italy) - Jerome Euzenat (INRIA Grenoble Rhone-Alpes, France) - Giorgos Flouris (FORTH, Greece) - Chiara Ghidini (FBK Fondazione Bruno Kessler, Italy) - Deborah McGuinness (Rensselaer Polytechnic Institute, USA) - Thomas Meyer (Meraka Institute, South Africa) - Maurice Pagnucco (The University of New South Wales, Australia) - Valeria de Paiva (Cuil Inc., USA) - Jeff Pan (University of Aberdeen, UK) - Dimitris Plexousakis FORTH, Greece) - Luciano Serafini (FBK Fondazione Bruno Kessler, Italy) - Renata Wassermann (Universidade de Sao Paulo, Brazil) From robert at grid.chu.edu.tw Sun Apr 18 20:59:15 2010 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Mon, 19 Apr 2010 02:59:15 +0800 Subject: TAAI 2010 Call for Paper Message-ID: <201004181859.o3IIxFYC026907@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dave.e.reynolds at googlemail.com Mon Apr 19 10:19:24 2010 From: dave.e.reynolds at googlemail.com (Dave Reynolds) Date: Mon, 19 Apr 2010 09:19:24 +0100 Subject: CFP: RULE 2010 - Deadline Extension Message-ID: <4BCC120C.1050005@gmail.com> [Apologies for cross posting] Following requests the submission deadline for the RULE2010 Workshop has been extended by one week to Sunday April 26 2010. RULE 2010 ELEVENTH INTERNATIONAL WORKSHOP ON RULE-BASED SPECIFICATION AND PROGRAMMING RULE-BASED PROGRAMMING IN INDUSTRY AND THE SEMANTIC WEB Edinburgh, UK July 14, 2010 http://www.di.uminho.pt/rule2010 NB: This is a WORKSHOP: new, work-in-progress, and tutorial topics welcome. IMPORTANT DATES: Submission deadline: Sunday, April 26, 2010 PC meeting: Monday-Friday, May 24-28, 2010 Authors notified: Thursday, June 3, 2010 Final copies due: Friday, June 25, 2010 RULE 2010 Workshop: Wednesday, July 14, 2010 From bechir.zalila at enis.rnu.tn Mon Apr 19 10:56:53 2010 From: bechir.zalila at enis.rnu.tn (Bechir ZALILA) Date: Mon, 19 Apr 2010 09:56:53 +0100 (CET) Subject: NOTERE'2010: Call for tools demonstration and projects presentation Message-ID: <20100419085653.9DBC73CBD999@bechirzalila.dyndns.org> NOTERE'2010: Call for tools demonstration and projects presentation http://notere2010.redcad.org The organizing committee of NOTERE 2010 plans sessions of demonstrations during the conference, out of papers presentation sessions. These sessions will be an opportunity for research teams to present their developments (models, prototypes, and tools) but also their projects under development that likely may interest the scientific community of NOTERE. The presentations can be made in form of posters, models, prototypes or finalized tools. The accepted descriptions, in form of long abstract (from 1 to 4 pages) of presentations, will be published on a CD which will be distributed to the participants of conference NOTERE. Submission modalities: ====================== Proposals for demonstrations must provide, in 1 to 4 pages approximately, a clear description of the tool, environment or project. Descriptions may be written in French or English. The proposals for demonstrations should precise if hey their need specific materials and/or Internet connection. The proposals must be addressed by e-mail to mohamed.jmaiel at enis.rnu.tn no later than April 25th, 2010. Authors should mention, if necessary, if their tools and platforms to be presented may be put at the disposal of the community. The presentations will be reviewed by the members of the program committee and accepted according to the available places. Important dates: ================ - Deadline for proposal submissions : April 25th, 2010 - Notifications : before April 30th, 2010 From richard.booth at uni.lu Mon Apr 19 11:48:26 2010 From: richard.booth at uni.lu (Richard Booth) Date: Mon, 19 Apr 2010 11:48:26 +0200 Subject: First Call for Papers - BNAIC 2010 (Benelux Conference on AI) Message-ID: Apologies for multiple postings ---------------------- FIRST CALL FOR PAPERS: BNAIC 2010 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. 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 4, 2010 * Author notification: August 15, 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, 2010 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 4th, 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 jsabater at iiia.csic.es Mon Apr 19 13:13:59 2010 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Mon, 19 Apr 2010 13:13:59 +0200 Subject: [AAMAS-2010] - Call for participation Message-ID: <22686239440025505289@Galvatron> NINTH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS-2010) http://www.cse.yorku.ca/AAMAS2010/ May 10 - 14, 2010 Toronto, Canada You can find the a preliminary schedule of the conference at http://www.csc.liv.ac.uk/~wiebe/AAMAS/timetable.shtml Hotel booking information is available from: http://www.cse.yorku.ca/AAMAS2010/#content=accommodation --------------------------------------------- AAMAS is the leading scientific conference for research on autonomous agents and multiagent systems. This year, AAMAS-2010 has joined forces with DL, FOIS, ICAPS, KR, and NMR. This has materialized in the possibility to register for events jointly, and at AAMAS there will be KR/AAMAS and ICAPS/AAMAS paper sessions, as well as some joint combined invited talk sessions. PROGRAM: The list of accepted long and short papers is available through the website. Among the invited talks are KR/AAMAS talk: Ron Brachman and Hector Levesque, "Great moments in KR" ICAPS/AAMAS talk: Daniele Nardi, "Robotic Agents for Disaster Response Robotics". On top of this, the program will include talks of winners of the ACM/SIGART Award and the IFAAMAS Dissertation Award, demos, posters of all accepted papers, an industrial track session, sessions on virtual agents, and many others. While the main conference program is on May 12, 13, and 14, there are also opportunities to attend 13 tutorials, 30 workshops and a doctoral training consortium for PhD students on the days before. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jleite at di.fct.unl.pt Mon Apr 19 21:29:24 2010 From: jleite at di.fct.unl.pt (Joao Leite) Date: Mon, 19 Apr 2010 20:29:24 +0100 Subject: 2nd CFP: CLIMA XI- 11th Int'l Workshop on Computational Logic in Multi-Agent Systems Message-ID: [Please accept our apologies if you receive multiple postings.] ++++++++++++++++++++++++++++++++++++++++++++++++++++ Second Call for Papers CLIMA XI 11th International Workshop on Computational Logic in Multi-Agent Systems with special sessions on: * Norms and Normative Multi-Agent Systems. * Logics for Games and Strategic Reasoning. http://centria.di.fct.unl.pt/events/climaXI/ Lisbon, Portugal, August 16-17, 2010. Affiliated with ECAI'10. Submission deadline: May 7th. Proceedings: LNCS/LNAI volume (available at the workshop). AMAI Special Issue: Selected extended papers will be published in a Special Issue of Annals of Mathematics and Artificial Intelligence. ++++++++++++++++++++++++++++++++++++++++++++++++++++ The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous ten, very successful, editions, the 11th CLIMA will be affiliated with ECAI'10 and will take place in Lisbon, Portugal, on the 16th and 17th of August 2010. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions: * Norms and Normative Multi-Agent Systems * Logics for Games and Strategic Reasoning We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. AMAI Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of Annals of Mathematics and Artificial Intelligence. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXI/ Important dates: * Submission: May 7th * Notification: June 4th * Camera Ready: June 16th CLIMA XI Chairs: * Jürgen Dix, Technical University of Clausthal, Germany * João Leite, New University of Lisbon, Portugal Special Session Organisers: * Guido Governatori, NICTA, Australia (Norms and Normative Multi-Agent Systems) * Wojtek Jamroga, University of Luxembourg, Luxembourg (Logics for Games and Strategic Reasoning) Please send all enquiries about CLIMA XI to clima2010 at easychair.org. From invitation at iariaevent.org Tue Apr 20 04:52:59 2010 From: invitation at iariaevent.org (ComputationWorld 2010) Date: Mon, 19 Apr 2010 22:52:59 -0400 (EDT) Subject: 2nd CfP || ComputationWorld 2010: November 21-26, 2010 - Lisbon, Portugal Message-ID: <292534.30760.1271731979275.JavaMail.Onitza@IariaAnnounce> INVITATION Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events. The submission deadline is June 20, 2010. Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps ) Archived: IEEE CSDL (Computer Science Digital Library) and IEEE Xplore Submitted for indexing: Elsevier's EI Compendex Database, EI?s Engineering Information Index Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= ComputationWorld 2010: November 21-26, 2010 - Lisbon, Portugal see: http://www.iaria.org/conferences2010/ComputationWorld10.html ComputationWorld 2010 is a federated event focusing on advances topics concerning computation as it relates to different aspects of technology. ComputationWorld 2010 is now on its second edition after a successful event in Athens in 2009. Submission (full paper) new deadline: June 20, 2010. Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org) and in Special issues of different journals mentioned on the entry page of each conference. Submissions will be peer-reviewed, published by IEEE Computer Society Press, posted in IEEE Digital Library, and indexed via all the IEEE indexing agreements. All tracks/topics are open to both research and industry contributions. -- SERVICE COMPUTATION 2010, The Second International Conferences on Advanced Service Computing http://www.iaria.org/conferences2010/SERVICECOMPUTATION10.html -- CLOUD COMPUTING 2010, The First International Conference on Cloud Computing, GRIDs, and Virtualization http://www.iaria.org/conferences2010/CLOUDCOMPUTING10.html -- FUTURE COMPUTING 2010, The Second International Conference on Future Computational Technologies and Applications http://www.iaria.org/conferences2010/FUTURECOMPUTING10.html -- COGNITIVE 2010, The Second International Conference on Advanced Cognitive Technologies and Applications http://www.iaria.org/conferences2010/COGNITIVE10.html -- ADAPTIVE 2010, The Second International Conference on Adaptive and Self-Adaptive Systems and Applications http://www.iaria.org/conferences2010/ADAPTIVE10.html -- CONTENT 2010, The Second International Conference on Creative Content Technologies http://www.iaria.org/conferences2010/CONTENT10.html -- PATTERNS 2010, The Second International Conferences on Pervasive Patterns and Applications http://www.iaria.org/conferences2010/PATTERNS10.html -- COMPUTATION TOOLS 2010, The First International Conference on Computational Logics, Algebras, Programming, Tools and Benchmarking http://www.iaria.org/conferences2010/COMPUTATIONTOOLS10.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about ComputationWorld, please reply with "DROP ComputationWorld event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From dml2010 at easychair.org Wed Apr 21 22:24:55 2010 From: dml2010 at easychair.org (dml2010 at easychair.org) Date: Wed, 21 Apr 2010 22:24:55 +0200 (CEST) Subject: Last CFP: DML 2010--Towards a Digital Mathematics Library, Paris, Jul 7-8th Message-ID: <20100421202455.CFE1970092@anxur.fi.muni.cz> Call for papers: Towards a Digital Mathematics Library (DML 2010) July 7-8th, 2010, Paris, FR c/o CICM 2010 Web: http://www.fi.muni.cz/~sojka/dml-2010.html Deadlines: April 25th: abstract submissions April 28th: paper submissions May 15th: paper acceptance/rejection decision May 22nd: versions for the proceedings due Jul 7th: workshop date, proceedings on site Submissions: http://www.easychair.org/conferences?conf=dml2010 Submissions will be refereed on the basis of technical quality, novelty, potential impact for building DML, and clarity. Final paper versions should conform to the Springer LNCS (llncs class) style, preferably using LaTeX2e. Submission categories: Full paper: 4-12 LNCS pages Short paper/poster/work in progress report: 1-4 LNCS pages Overview: Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked and validated/verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The workshop's objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects (EuDML, NUMDAM, DML-CZ,...), asking such questions as: # What technologies, standards, algorithms and formats should be used and what metadata should be shared? # What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? # Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? # What is the best practice for * retrodigitized mathematics (from images via OCR to MathML and/or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML and/or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow)? Proceedings: will be published by Masaryk University Press and will be available on site in printed form and in digital form from DML-CZ repository. All previous DML proceedings have been indexed by Thomson Reuters in Conference Proceedings Citation Index CPCI and by Google Scholar and are available in digital form at http://dml.cz/handle/10338.dmlcz/702563 . Best papers will be chosen for a postconference book published by renowned publisher or for a journal special issue. Keynote (TBC): Masakazu Suzuki (Project Infty, Kyushu University, JP) Topics: (include, but are not limited to) o search, indexing and retrieval of mathematical documents o ranking of mathematical papers, similarity of mathematical documents o math OCR with MathML/TeX output o document conversions from/to MathML, OpenMath, LaTeX, PostScript and [tagged] PDF o conversions between various mathematical formalisms o mathematical document compression o processing of scanned images o algorithms for crosslinking of bibliographical items, intext citations search o mathematical document classification, MSC 2010 o mathematical text mining o mathematical documents metadata exchange via OAI-PMH and/or OAI-ORE o long term archiving, data migration o reports and experience from math digitization projects o math publishing with long term archival goal o software engineering aspects of creating, handling MathML, OMDoc, OpenMath documents, and displaying them in web browsers Programme Committee (some members approval pending): Jose Borbinha (Technical University of Lisbon, IST, PT) Thierry Bouche (University Grenoble, Cellule Mathdoc, FR) Michael Doob (University of Manitoba, Winnipeg, CA) Thomas Fischer (Goettingen University, Digitization Center, DE) Vaclav Hlavac (Czech Technical University, Faculty of Engineering, Prague, CZ) Janka Chlebikova (Comenius University, MFF, Bratislava, SK) Enrique Macias-Virgos (University of Santiago de Compostella, ES) Jiri Rakosnik (Academy of Sciences, Mathematical Institute, Prague, CZ) Eugenio Rocha (University of Aveiro, Dept. of Mathematics, PT) David Ruddy (Cornell University, Library, US) Volker Sorge (University of Birmingham, UK) Petr Sojka (Masaryk University, Faculty of Informatics, Brno, CZ) [chair] Masakazu Suzuki (Kyushu University, Faculty of Mathematics, JP) Organizing Committee: Petr Sojka, Michal Ruzicka, Renaud Rioboo, Laurence Rideau Registration, Travel, Accomodation: see CICM web pages http://cicm2010.cnam.fr/ Questions/inquiries: email to dml2010 at easychair dot org CFP distribution: Please, distribute at your institution. Apologies for multiple postings! From a.artikis at gmail.com Thu Apr 22 14:50:23 2010 From: a.artikis at gmail.com (Alexander Artikis) Date: Thu, 22 Apr 2010 15:50:23 +0300 Subject: 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 Potapov at liverpool.ac.uk Thu Apr 22 17:01:40 2010 From: Potapov at liverpool.ac.uk (Igor Potapov) Date: Thu, 22 Apr 2010 16:01:40 +0100 Subject: Reachability Problems 2010 (Extended Deadline: 11 May) Message-ID: <20100422150140.GA19157@ssh1.csc.liv.ac.uk> ================= Call for Papers ================= 4th WORKSHOP ON REACHABILITY PROBLEMS, RP'2010 (August 27-29, 2010, Masaryk University, Brno, Czech Republic) co-located with MFCS & CSL 2010 http://www.csc.liv.ac.uk/~rp2010/ --------------------------------------------------- Deadline for submissions is EXTENDED: May 11, 2010 Proceedings will be published in the Springer LNCS --------------------------------------------------- The Workshop on Reachability Problems will be hosted by the Faculty of Informatics, Masaryk University, Brno, Czech Republic and co-located with Joint MFCS and CSL 2010. RP'10 is the fourth in the series of workshops following three successful meetings at Ecole Polytechnique, France in 2009 at University of Liverpool, UK in 2008 and at Turku University, Finland in 2007. Scope: The Reachability Workshop is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in - Algebraic structures - Computational models - Hybrid systems - Logic and Verification Invited Speakers: ================= - Markus Holzer (Giessen University, Germany) - Kim Guldstrand Larsen (Aalborg University, Denmark) - Alexander Rabinovich (Tel Aviv University, Israel) - Philippe Schnoebelen (ENS Cachan, France) Important dates: ================= Submission: May 11, 2010 Notification: June 3, 2010 Final version: June 10, 2010 Conference dates: Aug. 27-29, 2010 Topics of interest: ====================== Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. Topics of interest include (but are not limited to): Reachability for infinite state systems, rewriting systems; Reachability analysis in counter/ timed/ cellular/ communicating automata; Petri-Nets; computational aspects of semigroups, groups and rings; Reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps and new computational paradigms The reachability problems are in the core of many questions of computer science and mathematics. This topic covers many aspects about the analysis of computational traces/paths in classical and unconventional computational models, logic, algebraic structures as well as in mathematical systems and control theory. The classical reachability can be formulated as follows: Given a computational system or model with a set of allowed transformations (functions). Decide whether a certain state of a system is reachable from a given initial state by a set of allowed transformations. The same questions can be asked not only about reachability of exact states of the system but also about a set of states expressed in term of some property as a parameterized reachability problem. Another set of predictability questions can be seen in terms of reachability of eligible traces of computations, their equivalence; unavoidability of some dynamics and a possibility to avoid undesirable dynamic using a limited control. Proceedings =========== The Conference Proceedings will be published as the volume of the Springer Verlag Lecture Notes in Computer Science (LNCS) series www.springer.com/lncs and distributed at the Conference. We plan also to publish selected papers in a special issue of a high quality journal following the regular referee procedure. Submissions: ============ Authors are invited to submit a draft of a full paper with at most 12 pages (in LaTeX, formatted according to LNCS guidelines) via the conference web page. Proofs omitted due to space constraints must be put into an appendix to be read by the program committee members at their discretion. Submissions deviating from these guidelines risk rejection. Electronic submissions should be formatted in postscript or pdf. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. Program Committee: ================== - Parosh Aziz Abdulla, Uppsala - Eugene Asarin, Paris - Christel Baier, Bonn - Bernard Boigelot, Liege - Olivier Bournez, Palaiseau - Cristian S. Calude, Auckland - Stephane Demri, Cachan - Javier Esparza, Munich - Laurent Fribourg, Cachan - Vesa Halava, Turku - Oscar Ibarra, Santa Barbara - Franjo Ivancic, Princeton - Juhani Karhumaki, Turku - Joost-Pieter Katoen, Aachen - Antonin Kucera, Brno - Michal Kunc, Brno - Alexander Kurz, Leicester - Slawomir Lasota, Warsaw - Alexei Lisitsa, Liverpool - Luke Ong, Oxford - Igor Potapov, Liverpool - Wolfgang Thomas, Aachen - Hsu-Chun Yen, Taipei Organizing Committee: ===================== - Antonin Kucera (Masaryk University) - Igor Potapov (University of Liverpool) Contact details: RP'2010 Faculty of Informatics, Masaryk University, Emails: Antonin Kucera tony at fi.muni.cz Igor Potapov potapov at liverpool.ac.uk From Ralf.Treinen at pps.jussieu.fr Thu Apr 22 17:40:11 2010 From: Ralf.Treinen at pps.jussieu.fr (Ralf Treinen) Date: Thu, 22 Apr 2010 17:40:11 +0200 Subject: Call for Participation: Mancoosi International Solver Competition Message-ID: <1271950811.956497.16541.nullmailer@vanadium.pps.jussieu.fr> The Mancoosi International Solver Competition (MISC) http://www.mancoosi.org/misc-2010/ Call for Participation The Mancoosi project (www.mancoosi.org) calls for the first international competition of solvers for package/component installation and upgrade problems. Instances of these problems are given by a set of currently installed or available software packages, with complex relations between them like dependencies, conflicts, and features. The problem instances used in the competition are expressed in a language called CUDF that allows to express relationships between components like they are known for instance in GNU/Linux distributions, or for Eclipse plugins. We are not only interested in finding some solution to such a problem, but in finding the best solution according to two different optimization criteria. For a detailed description please look at the competition web page http://www.mancoosi.org/misc-2010/ Participating solvers will be judged by the correctness of the solution, the quality of the solution according to the respective optimization criteria, and speed. The results of the competition will be announced on July 10 on the LoCoCo workshop at FLoC (http://lococo2010.mancoosi.org/). Timeline: - May 31: Registration of participants by email to misc-committee at sympa.mancoosi.univ-paris-diderot.fr - June 10: Submission of solvers - July 10: announcement of the results Organization Committee: Pietro Abate, University Paris-Diderot, France Roberto Di Cosmo, University Paris-Diderot, France (co-chair) Ralf Treinen, University Paris-Diderot, France (co-chair) Stefano Zacchiroli, University Paris-Diderot, France From nza at Cs.Nott.AC.UK Thu Apr 22 19:41:32 2010 From: nza at Cs.Nott.AC.UK (Natasha Alechina) Date: Thu, 22 Apr 2010 18:41:32 +0100 Subject: Call for papers: Workshop on Logics for Resource-Bounded Agents (LRBA) Message-ID: <4BD08A4C.9000008@cs.nott.ac.uk> 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/drupal/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: 7 June 2010 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 wjamroga at in.tu-clausthal.de Fri Apr 23 00:21:15 2010 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Fri, 23 Apr 2010 00:21:15 +0200 Subject: 2nd CfP: Logics for Games and Strategic Reasoning @ CLIMA XI Message-ID: <4BD0CBDB.6030505@in.tu-clausthal.de> [With apologies for multiple postings] ************************************************************************ Special session on ==Logics for Games and Strategic Reasoning== at CLIMA XI (Computational Logic in Multi-Agent Systems) Lisbon, Portugal, August 16-17, 2010 (colocated with ECAI'10) http://centria.di.fct.unl.pt/events/climaXI/sessions.html 2nd Call for Papers ************************************************************************ Submission deadline: May 7th. Proceedings: LNCS/LNAI volume (available at the workshop). Postproceedings: extended versions of selected papers will be published in a special issue of Annals of Mathematics and Artificial Intelligence. ************************************************************************ INTRODUCTION Strategic reasoning occurs in many multi-agent systems. This is especially evident in game-theoretical and decision-theoretical models of MAS, but also in more informal settings using the game metaphor (like computer games or social network services). Mathematical logic can contribute to this view in many ways by providing specifications, models, and/or algorithms for game-like scenarios. We invite papers that address how logic can contribute to our understanding, modeling and analysis of games, but also ones that investigate how the metaphor of games and strategies can help in constructing and using logical formalisms. The list of subjects includes (but is not limited to) the following topics: - Logics for reasoning about games and strategies - Modal logics of strategic ability - Logical foundations of game and decision theory - Logical approaches to rationality and bounded rationality - Solving games and verification of strategies by model checking - Logics for mechanism design - Game semantics for logics - Games in verification of logical specifications SUBMISSION We encourage submission of high quality, original papers which have not been accepted for publication nor are currently under review for another journal or conference. Submissions should not exceed 16 pages in the Springer LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html . Papers should be submitted electronically via EasyChair: http://www.easychair.org/conferences/?conf=clima2010 . PROCEEDINGS AND POST-PROCEEDINGS LNCS Proceedings: All the accepted papers (including special session papers) will be published by Springer as a volume in Lecture Notes in Computer Science, and will be available in time for the workshop. AMAI Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to a special issue of Annals of Mathematics and Artificial Intelligence. IMPORTANT DATES Paper submission: May 7, 2010 Author notification: June 4, 2010 Camera-ready deadline: June 16, 2010 Workshop: August 16-17, 2010 ORGANIZATION AND CONTACT The special session is organized by Wojtek Jamroga, University of Luxembourg. In case of questions, please do not hesitate to contact us at wojtek.jamroga at uni.lu . General questions about CLIMA XI should be sent to clima2010 at easychair.org . From robert at grid.chu.edu.tw Sat Apr 24 21:46:38 2010 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Sun, 25 Apr 2010 03:46:38 +0800 Subject: Call for Papers - IEEE GLOBECOM 2010 Workshop on Web and Pervasive Security (WPS 2010, 6 - 10 December 2010, Miami, USA) Message-ID: <201004241946.o3OJkclL010527@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From walid.chainbi at gmail.com Mon Apr 26 00:00:13 2010 From: walid.chainbi at gmail.com (Walid Chainbi) Date: Mon, 26 Apr 2010 00:00:13 +0200 Subject: AWS'2010: Final Extension of Submission Deadline to April 26 Message-ID: [FINAL EXTENSION OF SUBMISSION DEADLINE to APRIL 26] ****************************************** Call For Papers ********************************************** * First International Workshop on the Adaptation of Web Services (AWS'2010) * * August 31st, Toronto, Canada, 2010 * * http://www.uc.rnu.tn/aws2010.html * * within WI/IAT’2010 conference * ( EXTENDED SUBMISSION DEADLINE to April 26 ) AIMS AND SCOPE ++++++++++++++ Service-Oriented Computing (SOC) is a computing paradigm that utilizes Web services as the basic constructs to support the development of rapid, low-cost and easy composition of distributed applications even in heterogeneous environments. With the advent of SOC, computing environments have become open, and components are no longer under a single organization’s control. Consequently, Web services based applications are becoming difficult to adapt. Moreover, with the rapid growth of communication and information technologies, adaptation has gained a significant attention as it becomes a key feature of Web services allowing them to operate and evolve in highly dynamic environments. Adaptation mechanisms refer to different instantiations including configuration, healing, optimization, and protection. The primary objective of this workshop is to investigate ideas that may contribute to the adaptation of Web services. Theoretical as well as practical aspects are welcome. The workshop organizers welcome participation and contributions from those working or interested in the intersection of technologies such as agent technology and autonomic computing with SOC. TOPICS OF INTEREST ++++++++++++++++++ The topics of interest for AWS’2010 include, but are not limited to: * Adaptation solutions to Web services * Applications of adaptive Web services * Optimization of Web services * Configuration of Web services * Healing of Web services * Protection of Web Services * Self-* Web services * Agents vs. Web services * Agents for Web services * Design and management of self-* Web services. SUBMISSION PROCEDURE and FORMATTING GUIDELINES ++++++++++++++++++++++++++++++++++++++++++++++ Authors should submit their contributions electronically in PDF format by using the WI-IAT CyberChair system http://wi-consortium.org/cyberchair/wiiat10/scripts/ws_submit.php by the deadline given below. Papers should be written in English with a maximum of 15 pages. All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity. Accepted papers will be included in the Workshop Proceedings published by the IEEE Computer Society Press and will be available at the workshop. Depending on the quality of contributions, we are planning to publish a post-proceedings of the papers either as a book or a special issue of an international journal. WORKSHOP CHAIRS +++++++++++++++ Dr. Walid Chainbi Sousse National School of Engineers/ LI3, Sousse University, Tunisia E-mail: Walid.Chainbi at gmail.com Pr. Khaled Ghedira Institut Supérieur de Gestion de Tunis/LI3, Tunis University, Tunisia E-mail:Khaled.Ghedira at isg.rnu.tn PROGRAM COMMITTEE +++++++++++++++++ * Walt Truszkowski, NASA Goaddard Space Flight Center (USA) * Roy Sterritt, University of Ulster at Jordanstown (Northern Ireland) * Huaglory Tianfield, Glasgow Caledonian University (UK) * Jeffrey Kephart, IBM T.J. Watson Research Center (USA) * Walid Chainbi, Sousse National School of Engineers (Tunisia) * Rainer Unland, University of Duisburg-Essen (Germany) * Christoph Reich, Hochschule Furtwangen University (Germany) * Zakaria Maamar, Zaied University (UAE) * Giovanni Russello, Create-net (Italy) * ALi A. Ghorbani, University of New Brunswick (Canada) * David Chess, Thomas J. Watson Research Center, IBM Research Division (USA) * Manish Parashar, Rutgers, The State University of New Jersey (USA) * Hamid Motahari, Hewlett Packard Laboratories, Palo Alto (USA) * Mohand-Said Hacid, University Claude Bernard Lyon 1 (France) IMPORTANT DATES +++++++++++++++ * April, 26, submission due. * June, 7, notification of acceptance. * June, 21, camera-ready due. If you have any question or need clarification on any of the information in this CFP, please contact Dr. Walid Chainbi at: Walid.Chainbi at gmail.com. ****************************************************************************************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pascal.hitzler at wright.edu Mon Apr 26 05:25:18 2010 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Sun, 25 Apr 2010 23:25:18 -0400 Subject: Journal CfP: Semantic Web Tools and Systems Message-ID: <4BD5079E.2000301@wright.edu> == special call for papers on == SEMANTIC WEB TOOLS AND SYSTEMS = Description = The "Semantic Web" journal invites submissions of short papers describing mature Semantic Web related tools and systems. These reports should be brief and pointed, indicating clearly the capabilities of the described tool or system. It is strongly encouraged, that the described tools or systems are free, open, and accessible on the Web. If this is not possible, then they have to be made available to the reviewers. For commercial tools and systems, exceptions can be arranged through the editors. Submissions will be reviewed along the following dimensions: (1) Quality, importance, and impact of the described tool or system. (2) Clarity, illustration, and readability of the describing paper, which shall convey to the reader both the capabilities and the limitations of the tool. = Topics of Interest = We invite submissions on all kinds of tools and systems related to the semantic web, including, but not limited to, the following. * ontology editors * ontology engineering systems * Semantic Web development toolkits * ontology learning and acquistion tools * Annotation tools * ontology alignment and merging tools * ontology revision and evolution tools * ontology evaluation tools * RDF stores * RDF reasoners * OWL reasoners * RIF editors and reasoners * Semantic Wiki engines * Semantic Desktop systems * Semantic browsers * Semantic search tools * Semantic Mashup tools If you are uncertain if your tool or system is suitable for this call, please direct your inquiry to Pascal = Important Dates = Submission Deadline: 30th of June, 2010. Acceptance Notification: 31st of August, 2010 Final Paper: 30th of September, 2010 = Submissions = Submissions should be 8-10 pages in length. Exceptions can be arranged, please contact Pascal for inquiries. Please see the submission information and guidelines at . When entering your manuscript into the review system, please state "Tools and Systems" in the cover letter. Please also note the journal's open review process detailed at . = Contact = Pascal Hitzler, Kno.e.sis Center, Wright State University Krzysztof Janowicz, Pennsylvania State University Please direct all inquiries to Pascal = Editorial Board = Claudia d'Amato, Università degli Studi di Bari, Italy Sören Auer, Universität Leipzig, Germany Lora Aroyo, Free University of Amsterdam, The Netherlands Boyan Brodaric, Geological Survey of Canada, Canada Philipp Cimiano, Universität Bielefeld, Germany Oscar Corcho, Universidad Politécnica de Madrid, Spain Bernardo Cuenca-Grau, Oxford University, UK Michel Dumontier, Carleton University, Canada Mark Gahegan, University of Auckland, New Zealand Aldo Gangemi, ISTC-CNR Rome, Italy Giancarlo Guizzardi, Federal University of Espírito Santo, Brazil Manfred Hauswirth, DERI, National University of Ireland, Galway Tom Heath, Talis, UK Rinke Hoekstra, Universiteit van Amsterdam, The Netherlands Andreas Hotho, Universität Würzburg, Germany Eero Hyvönen, Aalto University, Finland Werner Kuhn, University of Muenster, Germany Thomas Lukasiewicz, Oxford University, UK Axel Polleres, DERI, National University of Ireland, Galway Martin Raubal, University of California, Santa Barbara, USA Marta Sabou, The Open University, UK Christoph Schlieder, University of Bamberg, Germany Paulo Pinheiro da Silva, The University of Texas at El Paso, USA Jie Tang, Tsinghua University Beijing, China Kunal Verma, Accenture, USA online version of this call: http://www.semantic-web-journal.net/content/special-call-semantic-web-tools-and-systems -- 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 fuchs at ifi.uzh.ch Mon Apr 26 11:11:35 2010 From: fuchs at ifi.uzh.ch (Norbert E. Fuchs) Date: Mon, 26 Apr 2010 11:11:35 +0200 Subject: CNL 2010: 2nd Workshop on Controlled Natural Languages (deadline postponed to 28 May 2010) Message-ID: ********************************************************************* 2nd Call for Extended Abstracts (deadline for submissions postponed to 28 May 2010) CNL 2010 2nd Workshop on Controlled Natural Languages http://staff.um.edu.mt/mros1/cnl2010 Marettimo Island, Sicily (Italy) 13-15 September 2010 ********************************************************************* Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. Traditionally, controlled languages fall into two major types: those that improve readability for human readers (e.g. non-native speakers), and those that enable reliable automatic semantic analysis of the language. Languages of the first type (often called "simplified" or "technical" languages), for example ASD Simplified Technical English, Caterpillar Technical English, IBM's Easy English, are used in industry to increase the quality of technical documentation, and possibly simplify the (semi-) automatic translation of the documentation. These languages restrict the writer by general rules such as "write short and grammatically simple sentences", "use nouns instead of pronouns", "use determiners", and "use active instead of passive". Languages of the second type have a formal logical basis, i.e. they have a formal syntax and semantics, and can be mapped to an existing formal language, such as first-order logic. Thus, those languages can be used as knowledge-representation languages, and writing of those languages is supported by fully automatic consistency and redundancy checks, query answering, etc. (en.wikipedia.org/wiki/Controlled_natural_language) TOPICS CNL 2010 will address issues connected to controlled natural languages including the following topics Nature and Purpose of CNLs: - design of CNLs and comparison between CNLs - lexical and Syntactic issues for CNLs - CNL semantics and knowledge representation - expressivity within CNLs - reasoning in CNLs - theoretical results for CNLs Applications: - CNLs for specifications - CNLs and the semantic web - CNLs for user interfaces - CNLs for interaction, communication and dialogue - CNL in the context of Linked Open Data (LOD) content creation and annotation - CNL and Information Extraction - tool support architectures for CNLs - linking text mining to CNLs - CNLs for business rules - CNLs and mobile computing - use cases of CNLs The workshop will be informal with plenty of time for presentations and discussions in the fashion of the seminars organised at Dagstuhl in Germany (www.dagstuhl.de/programm/dagstuhl-seminare). To ensure the informal atmosphere the number of participants will be limited. SUBMISSION DETAILS We invite researchers to submit extended abstracts of exactly 4 pages (including references). These extended abstracts will be intensively reviewed by several members of the programme committee. Authors of accepted extended abstracts will be invited to present their research at the workshop. Revised versions of the accepted abstracts will be published before the workshop as a technical report of the Department of Intelligent Computer Systems at the University of Malta. During the workshop authors will have ample time to present their work and to have it discussed by the participants. All authors are then invited to submit a full paper of up to 20 pages (including references) that takes the discussions during the workshop into account. Full papers will again be reviewed by the programme committee. Revised versions of the full papers will be published by Springer in their LNCS/LNAI series. Extended abstracts and full papers should use the Springer LNCS format. Extended abstracts must be submitted electronically in PDF format. For sub- missions we use EasyChair (http://www.easychair.org/conferences/?conf=cnl2010). VENUE The workshop will take place on the Italian island Marettimo at the Marettimo Residence (www.marettimoresidence.com/inglese/home.php) that consists of a set of two-storey houses within a beautiful garden. On top of the garden of the residence there is a large lecture hall with wireless internet. Marettimo is the outermost of the Egadian Islands to the west of Sicily, and is easily reached from the airports of Palermo and Trapani. Marettimo offers the simple and relaxed life of southern Italy, unspoilt landscape, stupendous views, hiking, swimming, diving, boat trips, and excursions on donkeys. There are several restaurants and bars, and some shops. What the island does not offer: traffic - there are practically no roads - fancy shops and restaurants, night life, and sandy beaches. REGISTRATION FEE There is no registration fee for CNL 2010. ACCOMMODATION The Marettimo Residence (www.marettimoresidence.com/inglese/home.php) offers one- and two-bedroom apartments with fully equipped kitchens. A number of apartments for the participants of CNL 2010 will be reserved until early July 2010 at a price 10% below the regular price. Participants should in time get into direct contact with the Marettimo Residence to organise their accommodation. Alternative accommodations on Marettimo can be found via the internet. WORKSHOP DINNER A workshop dinner will be arranged during the workshop, and will be paid individually by the participants. IMPORTANT DATES Deadline for submissions of extended abstracts: 28 May 2010 Notification of acceptance of extended abstracts: 25 June 2010 Participants contact Marettimo Residence for accommodation: end of June 2010 Final versions of extended abstracts: 23 July 2010 Workshop: 13-15 September 2010 PROGRAM COMMITTEE Johan Bos (University of Rome "La Sapienza", Italy) Peter E. Clark (Boeing, Seattle, USA) *Hamish Cunningham (University of Sheffield, UK) Danica Damljanovic (University of Sheffield, UK) Norbert E. Fuchs (University of Zurich, Switzerland) Albert Gatt (University of Malta) Alfio Gliozzo (CNRS Rome) Siegfried Handschuh (DERI, University of Galway) *Pat Hayes (IHMC, Florida) *Jerry R. Hobbs (USC/ISI, USA) Stefan Hoefler (University of Zurich) Kaarel Kaljurand (University of Zurich, Switzerland) *Peter Koepke (University of Bonn, Germany) Tobias Kuhn (University of Zurich, Switzerland) Paola Monachesi (University of Utrecht) Gordon Pace (University of Malta) Stephen Pulman (University of Oxford, UK) Mike Rosner (University of Malta, Malta) (chair) Aarne Ranta (Chalmers University, Sweden) Rolf Schwitter (Macquarie University, Australia) Donia Scott (University of Sussex) Harold Somers (Dublin City University) *John Sowa (VivoMind, USA) Geoff Sutcliffe (University of Miami) Silvie Spreeuwenberg (LibRT, Amsterdam, Netherlands) Uta Schwertel (imc, Germany) Yorick Wilks (University of Sheffield, UK) Adam Wyner (University of London UK) *awaiting confirmation FURTHER INFORMATION http://staff.um.edu.mt/mros1/cnl2010/ ORGANISATION Michael Rosner (University of Malta) mike.rosner at um.edu.mt Norbert E. Fuchs (University of Zurich, Switzerland) fuchs at ifi.uzh.ch From sofronie at mpi-sb.mpg.de Tue Apr 27 00:53:54 2010 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Tue, 27 Apr 2010 00:53:54 +0200 (CEST) Subject: Special JSC issue on First Order Theorem Proving Message-ID: <9f6b08e2d6fb6deda7ac5461272823fe.squirrel@mail.mpi-inf.mpg.de> [We apologize if you receive multiple copies of this announcement] ---------------------------------------------------------------- CALL FOR PAPERS Journal of Symbolic Computation Special Issue on First Order Theorem Proving http://www.mpi-inf.mpg.de/~sofronie/ftp-special-issue.html ---------------------------------------------------------------- Deadline for submissions **** May 1st, 2010 **** ----------------------------------------------------------------- This special issue is dedicated to the topics of FTP 2009, namely all aspects of First-Order Theorem Proving as a core theme of Automated Deduction. We welcome original contributions on various aspects of first-order theorem proving, including (but not restricted to): * theorem proving in first-order classical, many-valued, and modal logics, including: - satisfiability in propositional logic, - satisfiability modulo theories, - specialized decision procedures, - constraint reasoning, - equational reasoning, - term rewriting, - resolution, - paramodulation/superposition; * strategies and complexity of theorem proving procedures; * implementation techniques; * applications of first-order theorem provers to: - program verification, - model checking, - artificial intelligence, - mathematics, - computational linguistics. Guest editors: ============== Nicolas Peltier (CNRS - LIG, France) Viorica Sofronie-Stokkermans (MPI,Saarbruecken, Germany) Deadline ======== The deadline for submissions is **** May 1st, 2010 **** If you would like to submit a paper and need a deadline extension please send an e-mail to Viorica Sofronie-Stokkermans (e-mail: sofronie at mpi-inf.mpg.de) before May 1st, 2010. Submission procedure ==================== Submission to this special issue is completely open. We expect original articles (typically 15-30 pages; submission of larger papers will be evaluated depending on editorial constraints) that present high-quality contributions that have not been previously published in a journal and that must not be simultaneously submitted for publication elsewhere (extended and/or improved versions of conference papers are acceptable). * The introduction of the paper MUST explicitly address the following questions in succinct and informal manner: - What is the problem? - Why is the problem important? - What has so far been done on the problem? - What is the contribution of the paper on the problem? - Is the contribution original? Explain why. - Is the contribution non-trivial? Explain why. * All the main definitions, theorems and algorithms must be illustrated by simple but meaningful examples. Without these, the paper will not be considered. Submission to this special issue is via the EasyChair submission system http://www.easychair.org/conferences/?conf=ftpjsc2010. Submissions must comply with JSC's author guidelines. They must be written in English and should be prepared in LaTeX. The article should preferably be written using Elsevier's document class "elsarticle". The Elsevier LaTeX style file package (including detailed instructions for LaTeX preparation) can be obtained from http://www.elsevier.com/latex. It consists of the file: elsarticle.cls, complete user documentation for the class file, bibliographic style files in various styles, and template files for a quick start. An older version of the "Elsevier Article Class (elsart.cls)" with "JSC add-on style (yjsco.sty)" and "Harvard style references (elsart-harv.bst)" can be obtained as the package "JSC LaTex" (that contains all the necessary style files and a template) from http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2007_Mar_12.zip Contact ======= For further informations please send an e-mail to Viorica Sofronie-Stokkermans (e-mail: sofronie at mpi-inf.mpg.de) From Richard.Moot at labri.fr Tue Apr 27 14:09:17 2010 From: Richard.Moot at labri.fr (Richard Moot) Date: Tue, 27 Apr 2010 14:09:17 +0200 Subject: E.W. Beth Dissertation Award 2010 - deadline extended Message-ID: <35770D94-61B3-4EA8-869F-3BA5219AEA5A@labri.fr> E. W. Beth Dissertation Prize: 2010 call for nominations Deadline extended: May 16, 2010 !!! Since 2002, FoLLI (the Association for Logic, Language, and Information, http://www.folli.org) awards the E.W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree in the year 2009. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of three fields of Logic, Language, and Computation. Interdisciplinarity is an important feature of the theses competing for the E.W. Beth Dissertation Prize. Who qualifies. Nominations of candidates are admitted who were awarded a Ph.D. degree in the areas of Logic, Language, or Information between January 1st, 2009 and December 31st, 2009. There is no restriction on the nationality of the candidate or the university where the Ph.D. was granted. After a careful consideration, FoLLI has decided to accept only dissertations written in English. Dissertations produced in 2009 but not written in English or not translated will be allowed for submission, after translation, also with the call next year (for 2010). The present call for nominations for the E.W. Beth Dissertation Award 2010 will also accept nominations of full English translations of theses originally written in another language than English and defended in 2008 or 2009. Prize. The prize consists of: -a certificate -a donation of 2500 euros provided by the E.W. Beth Foundation -an invitation to submit the thesis (or a revised version of it) to the FoLLI Publications on Logic, Language and Information (Springer). For further information on this series see the FoLLI site. How to submit. Only electronic submissions are accepted. The following documents are required: 1. The thesis in pdf or ps format (doc/rtf not accepted); 2. A ten page abstract of the dissertation in ascii or pdf format; 3. A letter of nomination from the thesis supervisor. Self-nominations are not admitted: each nomination must be sponsored by the thesis supervisor. The letter of nomination should concisely describe the scope and significance of the dissertation and state when the degree was officially awarded; 4. Two additional letters of support, including at least one letter from a referee not affiliated with the academic institution that awarded the Ph.D. degree. All documents must be submitted electronically to buszko at amu.edu.pl. Hard copy submissions are not admitted. In case of any problems with the email submission or a lack of notification within three working days, nominators should write to buszko at amu.edu.pl. Important dates: Deadline for Submissions: April 30, 2010 (extended: May 16, 2010) Notification of Decision: July 20, 2010. Committee : Natasha Alechina (Nottingham) Lev Beklemishev (Moscow) Wojciech Buszkowski (chair) (Poznan) Didier Caucal (IGM-CNRS) Nissim Francez (Haifa) Alexander Koller (Saarbruecken) Alberto Policriti (Udine) Ian Pratt-Hartmann (Manchester) Rob van der Sandt (Nijmegen) Colin Stirling (Edinburgh) Rineke Verbrugge (Groningen) Heinrich Wansing (Dresden) From eoikarin at tcs.hut.fi Wed Apr 28 09:36:59 2010 From: eoikarin at tcs.hut.fi (Emilia Oikarinen) Date: Wed, 28 Apr 2010 10:36:59 +0300 (EEST) Subject: JELIA 2010 Final Call for Papers In-Reply-To: References: Message-ID: *** Apologies for receiving multiple copies *** JELIA 2010 FINAL CALL FOR PAPERS ================================ 12th European Conference on Logics in Artificial Intelligence Helsinki, Finland, September 13-15, 2010 http://jelia2010.tkk.fi/ Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle --- JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with English as the official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence series. In 2010 the conference is organized for the first time in Scandinavia, following previous meetings mainly taking place in Central and Southern Europe (see the general website http://www.jelia.eu/ for details). The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to AI. Aims and Scope ============== The aim of JELIA 2010 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence including: -- Abductive and inductive reasoning -- Answer set programming -- Applications and foundations of logic-based AI systems -- Argumentation systems -- Automated reasoning including satisfiability checking and its extensions -- Computational complexity and expressiveness -- Description logics and other logical approaches to semantic web and ontologies -- Hybrid reasoning systems -- Knowledge representation, reasoning, and compilation -- Logic programming and constraint programming -- Logics for uncertain and probabilistic reasoning -- Logics in machine learning -- Logics in multi-agent systems, games, and social choice -- Non-classical such as modal, temporal, spatial, paraconsistent, and hybrid logics -- Nonmonotonic reasoning, belief revision, and updates -- Planning and diagnosis based on logic -- Preferences -- Reasoning about actions and causality Important Dates =============== * Deadline for abstract submission: May 3, 2010 * Deadline for paper submission: May 7, 2010 * Notification of acceptance: June 11, 2010 * Camera ready copy: June 30, 2010 Paper Submission ================ Proceedings will be published by Springer-Verlag in the Lecture Notes on Artificial Intelligence series. Papers should be written in English, and should be formatted according to the standard Springer LNCS style. All submissions must be received by 23:59 GMT on May 3, 2010 (abstract) and May 7, 2010 (full paper), and should be electronically submitted via the link available on the JELIA 2010 web page. There are two categories for submissions: A. Regular papers Submissions should not exceed 13 pages including figures, references, etc., and should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere. B. System descriptions Submissions should not exceed 4 pages, and should describe an implemented system and its application area(s). A demonstration is expected to accompany a system presentation. Papers describing systems that have already been presented in JELIA before will be accepted only if significant and clear enhancements to the system are reported and implemented. Venue ===== The conference will be held in the main building of University of Helsinki, located in the center of Helsinki. Founded in 1550, Helsinki has been the Finnish capital since 1812, when it was rebuilt in the Empire style by the orders of the Czar of Russia, hence sharing architectural similarities with St. Petersburg even today. Located on the Baltic peninsula centrally between the east and the west, Helsinki "the Daughter of the Baltic" is a city full of contrasts: light and white in summer while dark but full of warmth in winter, with a combination of high-tech, contemporary design, and ever-present nature. Finnish design has made Helsinki world famous, and recently Helsinki was appointed World Design Capital 2012. Invited Speakers ================ Gerhard Brewka, University of Leipzig, Germany http://www.informatik.uni-leipzig.de/~brewka/ Adnan Darwiche, UCLA, USA http://www.cs.ucla.edu/~darwiche/ Stéphane Demri, CNRS, France http://www.lsv.ens-cachan.fr/~demri/ Programme Co-Chairs =================== Tomi Janhunen, Aalto University School of Science and Technology, Finland http://www.tcs.hut.fi/~ttj/ Ilkka Niemelä, Aalto University School of Science and Technology, Finland http://www.tcs.hut.fi/~ini/ Further Information =================== Conference web page: http://jelia2010.tkk.fi/ Co-located events ================= European Workshop on Probabilistic Graphical Models (PGM) http://www.helsinki.fi/pgm2010/ From axel.polleres at deri.org Wed Apr 28 11:57:29 2010 From: axel.polleres at deri.org (Axel Polleres) Date: Wed, 28 Apr 2010 11:57:29 +0200 Subject: Post-doctoral Fellowship in DERI Message-ID: <303C360B-9E8F-419A-B0D1-4DB050C887E1@deri.org> Post-doctoral Fellowship in Reasoning and Querying for the Semantic Web DERI, National University of Ireland, Galway The Reasoning and Querying Unit [1] at the Digital Enterprise Research Institute (DERI) of the National University of Ireland, Galway invites applications for a postdoctoral fellowship in the are of Reasoning and Querying for the Semantic Web. DERI, a leading research institute in semantic technologies, offers a stimulating, dynamic and multi-cultural research environment, excellent ties to research-groups worldwide and close collaboration with industrial partners. DERI's Unit for Reasoning and Querying focuses on improving the scalability and investigating the adequacy of traditional reasoning and query answering techniques for the Web, where several classical assumptions no longer hold as data is heterogeneous, distributed, possibly incomplete or contradictory, structured in different levels of granularity, varying in levels of trust and accessible only by following implicit or explicit security policies. Research is performed in collaboration with other DERI units and industrial partners. The Candidate Applicants should hold a PhD degree in a relevant discipline with a strong theoretical background and an excellent proven research record; industrial project experience being distinct advantage. We are looking for both experienced candidates and candidates who just finished their PhD, salaries will be determined based on experience, cf. [2] for salary scales. We expect: * a solid background and proven excellent research record in fields including (but not limited to) database theory, distributed databases, data integration, (deductive) reasoning, semi-structured data and XML technologies,policies and trust, Semantic Web languages and applications, knowledge representation, Web Services technologies * willingness to engage in proposals to secure future funding * a proactive attitude towards solving problems, and the ability to work in teams and guide younger researchers For more information about the research conducted in our group, please refer to [1]. Note that we strictly aim at broadening the expertise in our group, that is new/complementary areas of expertise are a distinct advantage. Application Applications should be sent by May 30th 2010 and include a CV, motivation letter, full publication list and contact details for three references. For further information please contact Dr. Axel Polleres axel.polleres at deri.org 1. http://urq.deri.ie/ 2. http://www.nuigalway.ie/payscales/index.php?name=POST^DOC^RESEARCHER_RESEARCH^ASSOCIATE From csoares at fep.up.pt Wed Apr 28 12:41:53 2010 From: csoares at fep.up.pt (Carlos Soares) Date: Wed, 28 Apr 2010 11:41:53 +0100 Subject: CFP: Planning to Learn workshop (PlanLearn-2010) References: <4BD80EE9.4090605@liaad.up.pt> Message-ID: <9116A0C7-21AA-4357-ABDA-E490D9027649@fep.up.pt> > *** Call for Papers (Reminder) *** > > *** 3rd PLANNING TO LEARN Workshop (PlanLearn) *** > at ECAI 2010, Lisbon > August 17, 2010 > > Of particular interest are methods and proposals that address the > following issues: > * Planning to construct composite systems, > * Exploitation of ontologies of tasks and methods, > * Representation of learning goals and states in learning, > * Control and coordination of learning processes, > * Recovering / adapting sequences of DM operations, > * Meta-learning and exploitation of meta-knowledge, > * Layered learning, > * Multi-task learning, > * Transfer learning, > * Multi-predicate learning (and other relevant ILP methods), > * Combining induction and abduction, > * Multi-strategy learning, > * Learning to learn. > > Important Dates > * Submission deadline: May 7, 2010 > (paper or extended abstract) > * Acceptance notification: June 7, 2010 > * Final Paper: June 20, 2010 > > Workshop organizers (Program Chair /Co-Chairs) > * Pavel Brazdil, LIAAD-INESC L.A., University of Porto > * Abraham Bernstein, University of Zurich, Switzerland > * Jörg-Uwe Kietz, University of Zurich, Switzerland > > More details can be found at: > http://www.ifi.uzh.ch/ddis/planlearn10.html, including: > * Motivation > * Programme Committee, > * Submitting instructions and emails of organizers, > * Registration details etc. > End > > > == Carlos Soares Faculdade de Economia do Porto - Prof. Auxiliar LIAAD-INESC Porto LA - Investigador csoares at fep.up.pt -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From hubner at emse.fr Wed Apr 28 14:47:14 2010 From: hubner at emse.fr (Jomi Fred Hubner) Date: Wed, 28 Apr 2010 09:47:14 -0300 Subject: CFP: LADS'010 Message-ID: Call for papers Third international Workshop on LAnguages, methodologies and Development tools for multi-agent systemS -- LADS'010 -- http://www.cs.uu.nl/lads2010 with special track on Agents, Web Services and Ontologies, Integrated Methodologies -- AWESOME'010 -- http://di.unito.it/awesome010 To be held with MALLOW 2010 (http://mallow2010.emse.fr/) August 30th - September 2nd, Lyon, France LADS'010 workshop aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. From a theoretical point of view, theories, methodologies, models and approaches are needed to facilitate the development of multi-agent systems ensuring their predictability and verifications. Moreover, formal declarative models and approaches have the potential of offering solutions satisfying the needs for specifying and design of multi-agent systems. From a practical point of view, LADS aims to address how multi-agent system specifications or designs can be effectively implemented and tested. To address such issues, the workshop promotes the discussion and exchange of ideas concerning concepts, methodologies, techniques and principles that are important for multi-agent programming technology. Moreover, contributions that combine theoretical aspects with practical ones are gaining more and more attention in important application areas such as the electronic institutions, semantic web, web services, security, grid computing, ambient intelligence, pervasive computing, and electronic contracting. We encourage the submission of original papers in any of the areas listed below. Topics of interest Topics of interest include, but are not limited to, the ones below: Programming languages for multi-agent systems Extensions of traditional languages for multi-agent programming Semantics for multi-agent programming languages Implementation of social and organisational aspects of MAS Modal and epistemic logics for agent modelling Model checking agents and multi-agent systems Algorithms for multi-agent issues (e.g., coordination, cooperation, negotiation, distributed constraint satisfaction) Declarative approaches to engineering agent systems Declarative models of agent beliefs and capabilities Declarative models of bounded rationality Declarative paradigms for the combination of heterogeneous agents Specification and verification logics Logic programming approaches to agent systems Methodologies for MAS analysis and design Agent-oriented requirements analysis and specification Theoretical and practical aspects of multi-agent programming Computational complexity of MAS High-level executable multi-agent specification languages Agent communication in multi-agent programming Implementation of social and organisational aspects of MAS Agent development tools and platforms Generic tools and infrastructures for multi-agent programming Interoperability and standards for MAS Programming of mobile agents Safety and security for mobile MAS deployment Fault tolerance and load balancing for mobile MAS Formal methods for specification and verification of MAS Verification tools for implementations of MAS Experimental analysis of declarative agent technologies Industrial experiences with (declarative) agent technologies Service-oriented multiagent systems Protocol specification and conformance checking Declarative description of contracts and negotiation policies Application areas for multi-agent programming languages Applications using legacy systems Programming MAS for Grid-based applications Programming MAS for the Semantic Web Deployed (industrial-strength) MAS Benchmarks and testbeds for comparing MAS languages and tools Test and debugging tools and techniques for MAS Electronic institutions * Important dates: Paper submission deadline: *7 June 2010* Notifications of acceptance/rejection: 6 July 2007 Workshop Date: 30 August 2010 - 2 September 2010 * Submission details Papers should be written in English, formatted according to the IEEEtran style [http://www.michaelshell.org/tex/ieeetran/], and they should not exceed seven (7) pages including title page, figures, references, etc. Authors can submit their papers via a conference management system Easychair http://www.easychair.org/conferences/?conf=lads010 Accepted papers will be published as a technical report and distributed among participants during the workshop. Post-proceedings of selected and revised LADS'010 papers will be published as a volume in Springer's Lecture Notes in Artificial Intelligence series. * Programme Committee: Marco Alberti, New University of Lisbon, Portugal José Júlio Alferes, New University of Lisbon, Portugal Matteo Baldoni, University of Torino, Italy Juan A. Botía, Murcia University, Spain Lars Braubach, University of Hamburg, Germany Yves Demazeau, Institut IMAG, Grenoble, France Juergen Dix, Clausthal University, Germany Paolo Giorgini, University of Trento, Italy Koen Hindriks, Delft University, The Netherlands Shinichi Honiden, NII, Tokyo, Japan Wojtek Jamroga, Clausthal University, Germany Peep Küngas, SOA Trader, Ltd., Tallin, Estonia Brian Logan, University of Nottingham, UK Alessio Lomuscio, Imperial College London, UK Viviana Mascardi, University of Genova, Italy John-Jules Meyer, Utrecht University, The Netherlands Alexander Pokahr, University of Hamburg, Germany Alessandro Ricci, University of Bologna, Italy Patrick Taillibert, Thales Airborne Systems, Elancourt, France Paolo Torroni, University of Bologna, Italy Leendert van der Torre, University of Luxembourg, Luxembourg M. Birna van Riemsdijk, Delft University, The Netherlands Pinar Yolum, Bogazici University, Istanbul, Turkey Yingqian Zhang, Delft University, The Netherlands * Organising Committee: Mehdi Dastani, Utrecht University, The Netherlands Amal El Fallah Seghrouchni, University of Paris VI, France Jomi Hübner, Federal University of Santa Catarina, Brazil João Leite, New University of Lisbon, Lisbon * Steering Committee: Mehdi Dastani, Utrecht University, The Netherlands Amal El Fallah Seghrouchni, University of Paris VI, France João Leite, New University of Lisbon, Lisbon Paolo Torroni, University of Bologna, Italy From nalon at unb.br Wed Apr 28 15:48:09 2010 From: nalon at unb.br (=?utf-8?b?Q2zDoXVkaWE=?= Nalon) Date: Wed, 28 Apr 2010 10:48:09 -0300 Subject: LSFA 2010 - 5th Workshop on Logical and Semantic Frameworks, with Applications Message-ID: <20100428104809.64086yalmlsb09sp@webmail.unb.br> Apologies for multiple posts. ------------------------------------------------ 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 on August 31st, jointly with ICTAC (http://www.iist.unu.edu/ICTAC/ictac2010/) in Natal-Rn, Brasil. 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 be 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/) Program Committee * Flávio Leonardo Cavalcanti de Moura (General Chair, UnB-Brasil) * Luis Farinas del Cerro (Program co-chair, IRIT, France) * Edward Hermann Haeusler (Program co-chair, PUC-Rio, Brasil) * Jonathan Seldin (Univ-Lethbridge , Canada) TBC * Maurício Ayala-Rincón (UnB, Brasil) * Christiano de Oliveira Braga (UFF, Brasil) * Mario Benevides (Coppe-UFRJ, Brasil) * Eduardo Bonelli ( UNLP, Argentina) * Marcelo Corrêa (IM-UFF, Brasil) * Clare Dixon (Liverpool, UK) * Gilles Dowek (Polytechnique-Paris, France) * William Farmer (Mcmaster, Canada) * Maribel Fernández (King's College, UK) * Marcelo Finger (IME-USP, Brasil) * Fairouz Kamareddine (Heriot-Watt Univ, UK) * Delia Kesner (Paris-Jussieu, France) * Luis da Cunha Lamb (UFRGS, Brasil) * Joao Marcos (UFRN, Brasil) * Ana Teresa Martins (UFC, Brasil) * Martin Musicante (UFRN, Brasil) * Cláudia Nalon (UnB, Brasil) * Luca Paolini (Universitá di Torino, Italy) * Elaine Pimentel (UFMG, Brasil) Important dates: * Submission 31th May 2010 * Author's notification 1st July * Camera-ready: 30th July * Workshop : 31 August Contributions should be written in English and submitted in the form of 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-Brasil) * Martin Musicante (UFRN, Brasil) * Edward Hermann Haeusler (PUC-Rio, Brasil) * Cláudia Nalon (UnB, Brasil) * Marcelo Corrêa (IM-UFF, Brasil) -- Cláudia Nalon Departamento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon From jleite at di.fct.unl.pt Thu Apr 29 23:51:09 2010 From: jleite at di.fct.unl.pt (Joao Leite) Date: Thu, 29 Apr 2010 22:51:09 +0100 Subject: Final CFP: CLIMA XI - 11th Int'l Workshop on Computational Logic in Multi-Agent Systems Message-ID: [Please accept our apologies if you receive multiple postings.] ++++++++++++++++++++++++++++++++++++++++++++++++++++ Final Call for Papers CLIMA XI 11th International Workshop on Computational Logic in Multi-Agent Systems with special sessions on: * Norms and Normative Multi-Agent Systems. * Logics for Games and Strategic Reasoning. http://centria.di.fct.unl.pt/events/climaXI/ Lisbon, Portugal, August 16-17, 2010. Affiliated with ECAI'10. Submission deadline: May 7th. Proceedings: LNCS/LNAI volume (available at the workshop). AMAI Special Issue: Selected extended papers will be published in a Special Issue of Annals of Mathematics and Artificial Intelligence. ++++++++++++++++++++++++++++++++++++++++++++++++++++ The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous ten, very successful, editions, the 11th CLIMA will be affiliated with ECAI'10 and will take place in Lisbon, Portugal, on the 16th and 17th of August 2010. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions: * Norms and Normative Multi-Agent Systems * Logics for Games and Strategic Reasoning We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. AMAI Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of Annals of Mathematics and Artificial Intelligence. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXI/ Important dates: * Submission: May 7th * Notification: June 4th * Camera Ready: June 16th CLIMA XI Chairs: * Jürgen Dix, Technical University of Clausthal, Germany * João Leite, New University of Lisbon, Portugal Special Session Organisers: * Guido Governatori, NICTA, Australia (Norms and Normative Multi-Agent Systems) * Wojtek Jamroga, University of Luxembourg, Luxembourg (Logics for Games and Strategic Reasoning) Please send all enquiries about CLIMA XI to clima2010 at easychair.org. From nguyen at mimuw.edu.pl Fri Apr 30 12:35:22 2010 From: nguyen at mimuw.edu.pl (Linh Anh Nguyen) Date: Fri, 30 Apr 2010 12:35:22 +0200 (CEST) Subject: SoICT 2010: Final Call for Papers Message-ID: SoICT 2010 Symposium on Information and Communication Technology Hanoi, Vietnam, August 27-28, 2010 More details and up-to-date information at http://soict.hut.vn/~soict2010/ (Submission deadline 5th May 2010) ABOUT SoICT 2010 ================ SoICT is a scientific symposium for research in all major areas of computing. The aim of the symposium is to bring together researchers and practitioners from academia, industry and government to advance the state of the art and to scale up their application in industries. The symposium is organized by the School of Information and Communication Technology - Hanoi University of Technology, celebrating the 15th foundation anniversary of the school. Authors are invited to submit both research and tool papers. The scientific program will include keynote talks, paper presentations, tutorials and workshops. There will be a school preceding the conference aiming to postgraduate students and researchers from academia and industry. PUBLICATION =========== The proceedings of the symposium will be published in the ACM Digital Library as a volume with ISBN 978-1-4503-0105-3 in ACM International Conference Proceedings Series (ACM ICPS). The symposium language is English. All contributions should be original and not published elsewhere or intended to be published during the review period. Submitted papers should be prepared in ACM style and should not exceed 8 pages. IMPORTANT DATES =============== Submission deadline: May 5, 2010 Author notification: June 15, 2010 Camera-ready papers submission and author registration: July 30, 2010 Conference dates: August 27-28, 2010 RELEVANT TOPICS =============== The symposium solicits submission of research papers in all major areas of computing, organized into the following five scopes. Relevant topics of each scope include, but are not limited to: Innovative computing algorithms and paradigms: - Parallel/distributed computing algorithms - Grid computing - Mobile computing - Ubiquitous/pervasive computing - Cloud computing - Autonomous/self-management computing - Intelligent agents and multi-agent systems - Logic and constraint programming; ... Knowledge-based and information systems: - Database architecture and management - Data warehousing - Advanced database models and languages - Data mining and knowledge discovery - Decision support systems - Knowledge engineering - Machine learning - Neural networks - Natural language processing - Automated reasoning - Robotics - Bioinformatics; ... Computer and communication engineering: - Digital integrated circuits and systems - System architecture, simulation and modeling - Microprocessors, ASICs and FPGAs - Real-time and embedded systems - System testing and verification - Image/video processing - Computer vision - Multimedia data communication and processing - Human-Computer interaction - Network architectures and protocols - Next generation network - Network management, Network security - Network virtualization - Network performance and quality of services; ... Software engineering: - Requirements and specifications - Software architectures - Formal analysis and design methods - Software development techniques and tools - Software verification, testing and debugging - Distribution and maintenance - Reusable softwares - Advanced programming languages; ... Applications: - Web-based information systems (E-commerce, E-health, E-learning, E-Government, ...) - Enterprise integration systems - Digital content services - Mobile and ubiquitous systems - Smarthouse systems; ... SoICT 2010 Conference Committee =============================== Honorary Chair: Nguyen Trong Giang, Hanoi University of Technology, Vietnam General Chairs: Nguyen Thuc Hai, Hanoi University of Technology, Vietnam Huynh Quyet Thang, Hanoi University of Technology, Vietnam Program Chairs: Eric Castelli, MICA, France-Vietnam Linh Anh Nguyen, University of Warsaw, Poland Nguyen Thanh Thuy, Hanoi University of Technology, Vietnam Tran Dinh Khang, Hanoi University of Technology, Vietnam Organizing Chairs: Nguyen Kim Khanh, Hanoi University of Technology, Vietnam Ta Tuan Anh, Hanoi University of Technology, Vietnam Workshop Chair: Nguyen Khanh Van, Hanoi University of Technology, Vietnam Tutorial Chair: Tran Duc Khanh, Hanoi University of Technology, Vietnam Publicity Chair: Nguyen Nhat Quang, Hanoi University of Technology, Vietnam Program Committee: Andrzej Szalas, University of Warsaw, Poland Bae Doo Hwan, College of Information Science and Technology, KAIST, Korea Barbara Dunin-Keplicz, University of Warsaw, Poland Bertrand Meyer, ETH Zurich, Switzerland Brigitte Jaumard, Corcordia University, Canada Chui Chee Kong, National University of Singapore, Singapore Dao Thi Thu Ha, CNRS-Versailles University, France Duc Duong Anh, HCM University of Science, HCM VNU, Vietnam Duc Nghia Nguyen, Hanoi University of Technology, Vietnam Duong Hieu Phan, University of Paris 8, France Eric Castelli, MICA, France-Vietnam (co-chair) Helene Kirchner, INRIA, France Hung Son Nguyen, University of Warsaw, Poland Hong Quang Nguyen, Hanoi University of Technology, Vietnam James Cremer, Iowa University, USA James Won-Ki Hong, POSTECH, Korea Jean-Luc Baril, University of Burgundy, France Key-Sun Choi, CS Department, KAIST, Korea Khanh Van Nguyen, Hanoi University of Technology, Vietnam Limsoon Wong, National University of Singapore, Singapore Linh Anh Nguyen, University of Warsaw, Poland (co-chair) Mai Luong Chi, Institute of Information Technology, VAST, Vietnam Martin Nordio, ETH Zurich, Switzerland Masaru Fukushi, Tohoku University, Japan Michael Rusinowitch, INRIA, France Michel Toulouse, Oklahoma State University, USA Ngoc Thanh Nguyen, Wroclaw University of Technology, Poland Nguyen Thanh Thuy, Hanoi University of Technology, Vietnam (co-chair) Nguyen Thi Kim Anh, Hanoi University of Technology, Vietnam Nguyen Thi Hoang Lan, Hanoi University of Technology, Vietnam Nicolas Brunel, ENSIIE, France Pham Thi Ngoc Yen, MICA, Hanoi University of Technology, Vietnam Pham Tuan Anh, The university of Aizu, Japan Phuc Do, University of IT, HCM VNU, Vietnam Piero Fraternali, Politecnico di Milano, Italy Shin Nakajima, National Institute of Informatics, Japan Sinh Hoa Nguyen, Polish-Japanese Institute of Information Technology, Poland Thoai Nam, HCM University of Technology, HCM VNU, Vietnam Thomas Ottmann, University Freiburg, Germany Thu Tran Dan, HCM University of Science, HCM VNU, Vietnam Timo Knuutila, Turku University, Finland Tran Cao Son, New Mexico State University, USA Tran Dinh Khang, Hanoi University of Technology, Vietnam (co-chair) Trinh Van Loan, Hanoi University of Technology, Vietnam Van Chuyet Dang, Hanoi University of Technology, Vietnam Vincent Vajnovszki, University of Burgundy, France Vinh Thai Quang, Institute of Information Technology, VAST, Vietnam Vu Dinh Duc Anh, HCM University of Technology, HCM VNU, Vietnam Wai-Man Pang, University of Aizu, Japan Xiaohong Jiang, Tohoku University, Japan Organizing Committee: Huynh Thi Thanh Binh, Hanoi University of Technology, Vietnam Truong Thi Dieu Linh, Hanoi University of Technology, Vietnam Truong Thi Van Thu, Hanoi University of Technology, Vietnam