From axel.polleres at deri.org Tue May 1 01:53:05 2007 From: axel.polleres at deri.org (Axel Polleres) Date: Tue, 01 May 2007 00:53:05 +0100 Subject: CfP: 2nd Int'l Workshop on Applications of LP in the Web, Semantic Web and Semantic Web Services (ALPSWS2007) Message-ID: <46368161.9070007@deri.org> ************************************************************************* 2nd International Workshop on Applications of Logic Programming in the Web, Semantic Web and Semantic Web Services (ALPSWS2007) http://www.bd.cesma.usb.ve/alpsws07 co-located with the International Conference on Logic Programming (ICLP2007) Porto, Portugal, 8-13 September 2007. ************************************************************************* Description: The advent of the Semantic Web promises machine-readable semantics and a machine-processable next generation of the Web. The first step in this direction is the annotation of static data on the Web with machine-processable information about knowledge and its structure, by means of ontologies. The next step in this direction is the annotation of dynamic applications and services invocable over the Web in order to facilitate automation of discovery, selection and composition of semantically described services and data sources on the Web by intelligent methods, which are called (Semantic) Web Services. In this workshop we want to advance the applications of Logic Programming as a paradigm for declarative knowledge representation and reasoning for the Web. The idea is to bring together the body of work related to applications of LP to the Web, Semantic Web and Web Services. We solicit contributions focusing on both practical applications and theoretical aspects of logic programming based approaches to Web related topics including (but not limited to): -Reasoning about Semantic Web languages such as RDF, RDFS, OWL, RuleML, WSML, OWL-S, SA-SWDL, SPARQL, RIF, etc. -Logic Programming based rule languages for the Semantic Web -Deductive query answering in a Semantic Web context -Ontology modeling and mediation using Logic Programming -Reasoning over large-scale ontologies -Reasoning with large instance data in the presence of ontologies -Combinations of Logic Programming and Description Logics -Modeling of and reasoning about Web Services -Applications of reasoning about actions and dynamics in the context of Web Services discovery and composition -Interactions of Logic Programming with other technologies such as agents, constraint programming, etc. in a (Semantic) Web context -Applications, use cases, experimental results and benchmarks -Extensions of Logic Programming engines for Semantic Web applications Important Dates: -8 June 2007, Submission of papers -6 July 2007, Notification of acceptance -20 July 2007, Camera-ready versions due -8 September 2007, Workshop Submissions and Proceedings: We invite two forms of submission to this workshop: full papers and short papers. Format required for submissions: Full papers shall be up to 16 pages length, short papers 6 pages which could include position papers, system descriptions or preliminary work. The workshop content will be made available in separate workshop proceedings. Please use the Springer LNCS format for the papers. Find submission details on ther workshop Webpage at: http://www.bd.cesma.usb.ve/alpsws07 We plan to invite authors of the best papers to submit revised and extended versions of their papers for an edited book on Applications of LP in the Web, Semantic Web and Web Services. Workshop Organization: The workshop will be organized in part around talks presenting research results in the intersection of the Semantic Web and Logic Programming selected from the accepted submissions. Another important part of the workshop will be to identify next steps and provide an opportunity for new ideas and initiatives. A part of the workshop will be dedicated towards discussion using the open-space methodology which facilitates and enables effective on site agenda building and execution. Organizing Committee: ---------------------------- Stijn Heymans, DERI, Leopold-Franzens Universitaet Innsbruck Axel Polleres, DERI Galway, National University of Ireland, Galway Gopal Gupta, University of Texas at Dallas, USA Edna Ruckhaus, Universidad Simon Bolivar, Caracas, Venezuela David Pearce, Universidad Rey Juan Carlos, Madrid, Spain Maria Esther Vidal, Universidad Simon Bolivar, Caracas, Venezuela Program Committee: ------------------------- Stefan Decker, DERI Galway Jos de Bruijn, DERI, Leopold-Franzens Universitaet Innsbruck Lukacsy Gergely, Budapest University of Technology and Economics Giovambattista Ianni, University of Calabria Hans Tompits, Vienna University of Technology Gerd Wagner, Brandenburg University of Technology From A.M.King at kent.ac.uk Tue May 1 11:40:35 2007 From: A.M.King at kent.ac.uk (A.M.King) Date: Tue, 01 May 2007 10:40:35 +0100 Subject: LOPSTR 2007 Call for Papers Message-ID: Call for papers International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2007 22-24 August 2007, Kongens Lyngby, Denmark (co-located with SAS 2007) url: http://www.cs.kent.ac.uk/events/conf/2007/lopstr/ email: lopstr-2007 at kent.ac.uk Objectives: The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium, so authors can incorporate this feedback in the published papers. Topics: Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Papers describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: specification synthesis verification transformation analysis optimisation composition security reuse applications and tools component-based software development software architectures agent-based software development program refinement Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Submission information and Special Issue: Submissions can either be (short) extended abstracts or (full) papers whose length should not exceed 9 and 15 pages respectively. Submissions must be formatted in the Lecture Notes in Computer Science style (excluding bibliography and well-marked appendices not intended for publication). Referees are not required to read the appendices, and thus papers should be intelligible without them. Short papers may describe work-in-progress or tool demonstrations. Both accepted short and full papers will appear in the pre-proceedings. The full papers will automatically appear in the formal proceedings that will be published by Springer-Verlag in the Lecture Notes in Computer Science series. In addition, after the symposium, the programme committee will select those short papers to be considered for formal publication. These authors will be invited to revise and extend their submissions in the light of the feedback solicited at the meeting. Then after another round of reviewing, these revised papers will be also published in the formal proceedings. The very best papers will additionally be invited to submit for a special issue or special track of the journal Higher-Order and Symbolic Computation, provided there are sufficient high-quality submissions. Papers should be submitted either in PostScript or PDF format and they should be interpretable by Ghostscript or Acrobat Reader. Invited Speaker: Michael Codish (Ben-Gurion University of the Negev, Israel) Program Committee: Elvira Albert (Universidad Complutense Madrid, Spain) John Gallagher (University of Roskilde, Denmark) Michael Hanus (Christian-Albrechts-Universitaet zu Kiel, Germany) Jacob Howe (City University, UK) Andy King (University of Kent, UK) Michael Leuschel (Heinrich-Heine-Universitaet Duesseldorf, Germany) Mario Ornaghi (Universita degli Studi di Milano, Italy) Etienne Payet (Universite de La Reunion, France) Alberto Pettorossi (Universita di Roma Tor Vergata, Italy) Carla Piazza (Universita degli Studi di Udine, Italy) C. R. Ramakrishnan (SUNY Stony Brook, USA) Abhik Roychoudhury (National University of Singapore, Singapore) Peter Schneider-Kamp (RWTH Aachen, Germany) Alexander Serebrenik (Technische Universiteit Eindhoven, Netherlands) Josep Silva (Technical University of Valencia, Spain) Wim Vanhoof (University of Namur, Belgium) Important dates: Submission of paper/extended abstract June 8, 2007 Notification July 13, 2007 Revised version (for pre-proceedings) August 7, 2007 Symposium August 22-24, 2007 Camera-ready version (for post-proceedings) December 14, 2007 From jleite at di.fct.unl.pt Tue May 1 16:58:53 2007 From: jleite at di.fct.unl.pt (=?iso-8859-1?Q?Jo=E3o_Leite?=) Date: Tue, 1 May 2007 15:58:53 +0100 Subject: LADS'007 - Second Call for Papers - Workshop on Languages, methodologies Message-ID: <005601c78c01$44fd85f0$66608b55@mydomain> ************************************************************************ SECOND CALL FOR PAPERS Submission deadline: June 1, 2007 Springer LNAI Post-Proceedings LADS'007 - First Workshop on Languages, methodologies and Development tools for multi-agent Systems http://lia.deis.unibo.it/confs/lads/ Part of MALLOW'007, a federation of workshops on Multi-Agent Logics, Languages, and Organisations September 3-7, 2007 Durham, United Kingdom ************************************************************************ Aim and Scope: This workshop is dedicated to formal approaches, programming languages, tools and techniques that support the development of multi-agent systems. LADS'007 aims to address both theoretical and practical issues related to developing and deploying multi-agent systems and promotes the discussion and exchange of ideas concerning concepts, methodologies, techniques and principles that are important for multi-agent programming technology, and application in areas such as the electronic institutions, semantic web, web services, security, grid computing, ambient intelligence, pervasive computing, and electronic contracting. This workshop welcomes submissions of original papers concerning all aspects of multi-agent development and deployment. Topics include but are not limited to: - 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 Paper Submission and Publication: Papers should be written in English, formatted according to the Springer LNCS style, and they should not exceed sixteen (16) pages including title page, figures, references, etc. Print and electronic post-proceedings of selected and revised LADS'007 papers will be published by Springer in the Lecture Notes in Artificial Intelligence series. Important dates: - Submission: 1 June 2007 - Notification: 6 July 2007 - Camera-ready: 20 July 2007 - Workshop: 4-6 September 2007 Organising Committee: - Mehdi Dastani - Amal El Fallah Seghrouchni - João Leite - Paolo Torroni All enquiries should be sent to lads2007 at easychair.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fs at doc.ic.ac.uk Tue May 1 21:11:18 2007 From: fs at doc.ic.ac.uk (F Sadri) Date: Tue, 01 May 2007 20:11:18 +0100 Subject: CLIMA VIII 2007 - Second Call for Papers (extended deadline May 14) Message-ID: <463790D6.5000102@doc.ic.ac.uk> Second Call for Papers (extended deadline) 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII) http://research.nii.ac.jp/climaVIII 10 and 11 September 2007, Porto, Portugal Co-located with the International Conference on Logic Programming (ICLP 07) http://www.dcc.fc.up.pt/iclp07/ NEW Important Dates submission deadline May 14 notification date June 14 camera ready July 5 CLIMA VIII: 10-11 September 2007 For any inquiry, please send it to "clima-viii at nii.ac.jp". Topics: All with focus on agents or multi-agent systems logical foundations extensions of logic programming modal logic approaches logic-based programming languages non-monotonic reasoning decision theory hypothetical reasoning and learning knowledge and belief representation and updates operational semantics and execution agent models model checking algorithms, tools, and applications for (multi-)agent logics semantics of interaction and agent communication languages distributed constraint satisfaction temporal reasoning distributed theorem proving logic-based implementations specification and verification of formal properties Submissions We invite submissions of 2 kinds: 1. Submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 16 pages including figures, references, etc. Each paper should include some examples illustrating the proposed techniques. 2. Submissions of system descriptions, to be presented at the workshop as demos. In this category papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 5 pages including figures, references, etc. Each paper should describe a working system illustrating its objectives and the implementation techniques. For submission details see: http://research.nii.ac.jp/climaVIII Proceedings A printed volume of the proceedings will be available at the workshop. We will publish a selection of extended workshop papers in Post-Proceedings in the Springer Verlag LNAI series as the previous publications, LNAI 3487 for CLIMA V, LNAI 3900 for CLIMA VI, and LNAI4371 for CLIMA VII. From nza at Cs.Nott.AC.UK Wed May 2 15:29:25 2007 From: nza at Cs.Nott.AC.UK (nza at Cs.Nott.AC.UK) Date: 02 May 2007 14:29:25 +0100 Subject: CFP Workshop on Logics for Resource-Bounded Agents Message-ID: <200705021429.aa19299@pat.Cs.Nott.AC.UK> SECOND CALL FOR PAPERS Workshop on Logics for Resource-Bounded Agents To be held as part of Multi-Agent Logics, Languages, and Organisations -- Federated Workshops (MALLOW'007) in Durham, 3-7 September 2007 http://www.dur.ac.uk/durham.agents007/MALLOW007 AIMS AND SCOPE Logics 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. TOPICS Topics include, but are not limited to, logical models of: * 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 * knowledge and belief of reasoners with bounded memory * knowledge and belief of reasoners with other resource bounds (e.g. bandwidth, sensing limitations) * other attitudes, such as desire, intention, etc., under bounded resources * limited awareness * paraconsistency * rational choice under bounded resources * games under bounded resources, e.g., o games with bounded recall o resource bounded reasoning about the structure of the game o incomplete information due to bounded resources IMPORTANT DATES Submission deadline: 1 June 2007 Notification of acceptance: 6 July 2007 Camera-ready: 20 July 2007 Workshop: 3-4 September 2007 PUBLICATION Accepted papers will appear in pre-proceedings published by MALLOW. We aim to publish a selection of revised and expanded papers as a journal special issue. (We are currently working on a special issue of the Journal of Logic, Language and Information based on LRBA 06 held as part of ESSLLI 2006 in Malaga). SUBMISSION GUIDELINES Authors are invited to submit a full original 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/LRBA07 Any equiries to lrba07 at cs.nott.ac.uk. ORGANIZING COMMITTEE Thomas Agotnes (Bergen University College, Norway) Natasha Alechina (University of Nottingham, UK) Brian Logan (University Nottingham, UK) PROGRAM COMMITTEE Johan van Benthem (University of Amsterdam, The Netherlands) Michael Fisher (University of Liverpool, UK) Joseph Halpern (Cornell University, USA) Paul Harrenstein (Ludwig-Maximilians-Universitat Munchen, Germany) Wiebe van der Hoek (University of Liverpool, UK) Jacek Malec (Lund University, Sweden) Rohit Parikh (Brooklyn College, CUNY, USA) Luciano Serafini (ITC-irst, Trento, Italy) Elias Thijsse (University of Tilburg, The Netherlands) This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From tiwari at csl.sri.com Wed May 2 19:09:43 2007 From: tiwari at csl.sri.com (Ashish Tiwari) Date: Wed, 2 May 2007 10:09:43 -0700 Subject: ADDCT'07: LAST CFP: Abstract Submission Deadline May 4 Message-ID: <200705021709.l42H9h3Z019372@aryabhata.csl.sri.com> LAST CALL FOR PAPERS Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07) Workshop affiliated with CADE-21 Bremen, Germany, 15 July, 2007 For complete information- http://www.mpi-inf.mpg.de/~sofronie/addct07.html Important Dates --------------- 4 May 2007: Abstract submission 9 May 2007: Paper submission 5 June 2007: Notification 15 July 2007: Workshop Topics of interest for ADDCT include (but are not restricted to): ----------------------------------------------------------------- - Decidability: - decision procedures based on logical calculi such as: resolution, rewriting, tableaux, sequent calculi, or natural deduction - decidability in combinations of logical theories - Complexity: - complexity analysis for fragments of first- (or higher) order logic - complexity analysis for combinations of logical theories (including parameterized complexity results) - Tractability (in logic, automated reasoning, algebra, ...) - Application domains for which complexity issues are essential (verification, security, databases, ontologies, ...) Submissions are encouraged in one of the following categories: -------------------------------------------------------------- - Original research papers (up to 15 pages, LNCS style, including bibliography); - Work in progress (up to 6 pages, LNCS style, without bibliography). - Presentation-only papers Submission of papers is via EasyChair at http://www.easychair.org/ADDCT2007/ Organizers and Chairs --------------------- Silvio Ghilardi (U. Milano) Ulrike Sattler (U. Manchester) Viorica Sofronie-Stokkermans (MPI,Saarbr�cken) Ashish Tiwari (Menlo Park) Program Committee ----------------- Matthias Baaz (T.U.Wien) Maria Paola Bonacina (U. Verona) Christian Ferm�ller (T.U.Wien) Silvio Ghilardi (U. Milano) Reiner Haehnle (Chalmers U.) Felix Klaedtke (ETH Zurich) Sava Krstic (Intel Corporation) Viktor Kuncak (EPFL Lausanne) Carsten Lutz (TU Dresden) Christopher Lynch,(Clarkson U.) Silvio Ranise (LORIA/INRIA-Lorraine) Ulrike Sattler (U. Manchester) Renate Schmidt (U. Manchester) Viorica Sofronie-Stokkermans (MPI,Saarbr�cken) Ashish Tiwari (SRI) Luca Vigano (U. Verona) Contact For further informations please send an e-mail to Viorica Sofronie-Stokkermans sofronie at mpi-inf.mpg.de From a.artikis at gmail.com Thu May 3 13:10:16 2007 From: a.artikis at gmail.com (Alexander Artikis) Date: Thu, 3 May 2007 14:10:16 +0300 Subject: 3rd CFP: ESAW 07 Message-ID: <130ef5930705030410v6edff766jc5c9983861e82f16@mail.gmail.com> Apologies for cross-posting. ---------------------------------------------------------------------------------------------------------- CALL FOR PAPERS ---------------------------------------------------------------------------------------------------------- Eighth International Workshop "Engineering Societies in the Agents World" (ESAW 07), October 22-24 2007, National Centre for Scientific Research (NCSR) "Demokritos", Athens, Greece http://esaw07.iit.demokritos.gr ---------------------------------------------------------------------------------------------------------- AIMS & SCOPE: The sequel to successful editions since 2000, ESAW 07 remains committed to the use of the notion of multi-agent system as seed for animated, constructive, and highly inter-disciplinary discussions about technologies, methodologies, and tools for the engineering of complex distributed applications. While the workshop places an emphasis on practical engineering issues and applications, it also welcomes theoretical, philosophical, and empirical contributions, provided that they clearly document their connection to the core applied issues. Prospective papers about new paradigms, theories, models are also appreciated. Topics of interest include, but are not limited to: - analysis, design, development and verification of agent societies - open, large-scale multi-agent systems - models of complex distributed systems with agents and societies - interaction-coordination patterns in agent societies - inter-disciplinary approaches for agent societies engineering - engineering of social intelligence in multi-agent systems - self-organisation and self regulation in agent societies - autonomy and self-design of agent societies in an environment - security, trust and norms in agent societies - middleware infrastructures for agent societies - tools and models for agent societies management - studies of information ecosystems - experiences in building and maintaining large agent societies - evolution of institutions in agent societies - insightful analyses of negative results ---------------------------------------------------------------------------------------------------------- IMPORTANT DATES: * Submission Deadline: June 8, 2007 * Acceptance/Rejection Notification: July 27, 2007 * Revised Papers for Workshop Notes: September 15, 2007 ---------------------------------------------------------------------------------------------------------- INVITED SPEAKERS: * Marek Sergot, Imperial College London, UK * Robert Axtell, The Brookings Institution, USA * Tim Norman, Univeristy of Aberdeen, UK ---------------------------------------------------------------------------------------------------------- SUBMISSION: The ESAW post-proceedings are typically published by Springer in the LNAI series. Papers should not exceed 16 pages and should be formatted according to the Springer LNAI guidelines. ---------------------------------------------------------------------------------------------------------- ORGANISERS: - Alexander Artikis, (NCSR "Demokritos", Greece) - Gregory O'Hare, (University College Dublin, Ireland) - Kostas Stathis, (Royal Holloway, University of London, UK) - George Vouros, (University of the Aegean, Greece) STEERING COMMITTEE: - Marie-Pierre Gleizes, (IRIT Universite Paul Sabatier, France) - Andrea Omicini, (DEIS Universita di Bologna, Italy) - Paolo Petta, (Austrian Research Institute for AI, Austria) - Jeremy Pitt, (Imperial College London, UK) - Robert Tolksdorf, (Free University of Berlin, Germany) - Franco Zambonelli, (Universita di Modena e Reggio Emilia, Italy) PROGRAMME COMMITTEE: - Grigoris Antoniou, (University of Crete, Greece) - Federico Bergenti, (Universita di Parma, Italy) - Carole Bernon, (IRIT Universite Paul Sabatier, France) - Guido Boella, (Universita degli Studi di Torino, Italy) - Olivier Boissier, (Ecole Nationale Superieure des Mines de Paris, France) - Jeff Bradshaw, (IHMC, USA) - Monique Calisti, (Whitestein Technologies, Switzerland) - Jacques Calmet, (University of Karlsruhe, Germany) - Cristiano Castelfranchi, (ISTC-CNR, Italy) - Luca Cernuzzi, (Universidad Catolica "Nuestra Senora de la Asuncion", Paraguay) - Helder Coelho, (University of Lisbon, Portugal) - Rem Collier, (University College Dublin, Ireland) - Dan Corkill, (University of Massachusetts at Amherst, USA) - R. Scott Cost, (University of Maryland Baltimore County, USA) - Aspassia Daskalopulu, (University of Thessaly, Greece) - Mehdi Dastani, (Utrecht University, The Netherlands) - Paul Davidsson, (Blekinge Institute of Technology, Sweden) - Keith Decker, (University of Delaware, USA) - Oguz Dikenelli, (Ege University, Turkey) - Riza Cenk Erdur, (Ege University, Turkey) - Rino Falcone, (ISTC-CNR, Italy) - Paul Feltovich, (IHMC, USA) - Jean-Pierre George, (IRIT Universite Paul Sabatier, France) - Paolo Giorgini, (University of Trento, Italy) - Michael O'Grady, (University College Dublin, Ireland) - Frank Guerin, (University of Aberdeeen, UK) - Salima Hassas, (Universite Claude Bernard Lyon 1, France) - Lloyd Kamara, (Imperial College London, UK) - Anthony Karageorgos, (University of Thessaly, Greece) - Manolis Koubarakis, (University of Athens, UK) - Michael Luck, (University of Southampton, UK) - Fabien Michel, (Universite de Reims, France) - Tim Miller, (University of Liverpool, UK) - Pavlos Moraitis, (Paris-Descartes University, France) - Pablo Noriega, (IIIA, Spain) - Sascha Ossowski, (Univesidad Rey Juan Carlos, Spain) - Julian Padget, (University of Bath, UK) - Juan Pavon Mestras, (Universidad Complutense de Madrid, Spain) - Paolo Petta, (Austrian Research Institute for AI, Austria) - Jeremy Pitt, (Imperial College London, UK) - Alessandro Ricci, (Universita di Bologna, Italy) - Giovanni Rimassa, (Whitestein Technologies, Switzerland) - Juan Antonio Rodriguez Aguilar, (IIIA, Spain) - Fariba Sadri, (Imperial College London, UK) - Maarten Sierhuis, (RIACS/NASA Ames Research Center, USA) - Tiberiu Stratulat, (LIRMM, France) - Robert Tolksdorf, (Free University of Berlin, Germany) - Leon Van der Torre, (University of Luxembourg, Luxembourg) - Luca Tummolini, (ISTC-CNR, Italy) - Paul Valckenaers, (Katholieke Universiteit Leuven, Belgium) - Wamberto Vasconcelos, (University of Aberdeeen, UK) - Mirko Viroli, (Universita di Bologna, Italy) - Marina De Vos, (University of Bath, UK) - Danny Weyns, (Katholieke Universiteit Leuven, Belgium) - Pinar Yolum, (Bogazici University, Turkey) - Franco Zambonelli, (Universita di Modena e Reggio Emilia, Italy) From A.Elrhalibi at ljmu.ac.uk Thu May 3 18:37:46 2007 From: A.Elrhalibi at ljmu.ac.uk (El Rhalibi, Abdennour) Date: Thu, 3 May 2007 17:37:46 +0100 Subject: IEEE CCNC 2008 CFWP References: Message-ID: Dear Colleagues Please find attached and below a Call for Workshop proposal for IEEE CCNC 2008. Please consider applying, and please help us advertising the CFWP. --------------------------------------------------------------- CALL FOR WORKSHOP PROPOSALS CCNC 2008, The 5th IEEE Consumer Communications & Networking Conference 10 - 12 January, 2008 in Las Vegas, Nevada. The 5th IEEE Consumer Communications & Networking Conference (CCNC 2008 ) will be held in Las Vegas, Nevada from 10th to 12th January 2008. CCNC provides a conference centred on communication and networking for consumer applications and services designed for industry leaders and practitioners within the communications engineering design, research, development, sales and marketing principles. CCNC 2008 will focus on today's growing population of connected individuals and the developing strong market for integrated voice, video and computer communications that can inter-work with entertainment devices, home security/surveillance systems, games, and home appliances, all with transparent functionality to the mobile environment. Proposals are invited for workshops to be affiliated with CCNC 2008 and sponsored by IEEE . These workshops should be more informal and focused than CCNC itself, include sessions that enable interaction among the workshop attendees. The preference is for one-day workshops, but other schedules can also be considered. The workshops themselves will be held on 12th January 2008. Visit the conference website for further information about CCNC 2008 , and last year conference CCNC 2007 website, to find out the workshops which have successfully run in previous years. Submission details Deadline for submission: 20th May 2007 Notification of acceptance: 30th May 2007 Prospective workshop organisers are invited to submit a completed workshop proposal form (attached) in plain text format to the CCNC 2008 workshop co-chairs Dr Stefano Bregni (bregni at elet.polimi.it) and Dr Abdennour El Rhalibi (a.elrhalibi at ljmu.ac.uk), via email by 20th May 2007. Please note that this is a firm deadline. Organisers will be notified if their proposal is accepted by 30th May 2007. Selection committee The workshop proposals will be evaluated by a committee comprising the following members of the CCNC 2008 organising committee, together with the members of the Conference Steering Committee . Stefano Bregni Politecnico di Milano, Italy bregni at elet.polimi.it Abdennour El Rhalibi Liverpool John Moores University, UK a.elrhalibi at ljmu.ac.uk Bin Wei AT&T Research Lab, USA bw at research.att.com Heather Yu, Panasonic, USA heathery at research.panasonic.com Further information Any queries regarding CCNC 2008 workshop proposals should be addressed, via email, to the workshops co-chairs Stefano Bregni (bregni at elet.polimi.it) and Abdennour El Rhalibi (a.elrhalibi at ljmu.ac.uk). ----------------------------------------------------- Regards, Abdennour Faculty of Technology and Environment Dr Abdennour El Rhalibi BA, BSc(Hons), MSc, PhD Principal Lecturer in Computing, Academic Manager School of Computing and Mathematical Sciences James Parsons Building, Byrom Street, Liverpool, UK, L3 3AF t: +44 (0) 151 231 2106 f: +44 (0) 151 207 4594 e: a.elrhalibi at ljmu.ac.uk w: www.ljmu.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : image001.gif Dateityp : image/gif Dateigröße : 2597 bytes Beschreibung: image001.gif URL : -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : IEEE-CCNC-2008-CFWP.pdf Dateityp : application/pdf Dateigröße : 76697 bytes Beschreibung: IEEE-CCNC-2008-CFWP.pdf URL : -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : CFWP-ApplicationForm.doc Dateityp : application/msword Dateigröße : 28160 bytes Beschreibung: CFWP-ApplicationForm.doc URL : From Thomas.Lukasiewicz at dis.uniroma1.it Fri May 4 11:05:10 2007 From: Thomas.Lukasiewicz at dis.uniroma1.it (Thomas Lukasiewicz) Date: Fri, 04 May 2007 11:05:10 +0200 Subject: URSW 2007 Call for Papers Message-ID: <463AF746.2020603@dis.uniroma1.it> CALL FOR PAPERS ******************************************************************************** 3rd Workshop on Uncertainty Reasoning for the Semantic Web http://c4i.gmu.edu/ursw2007 In conjunction with the 6th International Semantic Web Conference Busan - Korea November 12, 2007 ******************************************************************************** You are invited to participate in the upcoming workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 6th International Semantic Web Conference (ISWC) in November of 2007 in Busan - Korea. ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Uncertainty Reasoning Workshop is an exciting opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle uncertainty is extremely limited. Recently, there has been a groundswell of demand for uncertainty reasoning technology among Semantic Web researchers and developers. This surge of interest creates a unique opening to bring together two communities with a clear commonality of interest but little history of interaction. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision. AUDIENCE The intended audience for this workshop includes the following * Researchers in uncertainty reasoning technologies with interest in Semantic Web and Web-related technologies * Semantic web developers and researchers * People in the knowledge representation community with interest in the Semantic Web * Ontology researchers and ontological engineers * Web services researchers and developers with interest in the Semantic Web * Developers of tools designed to support semantic web implementation, e.g., Jena developers, Protege and Protege-OWL developers TOPIC LIST We intend to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web. Therefore, the following list should be just an initial guide. * Syntax and semantics for extensions to Semantic Web languages to enable representation of uncertainty * Logical formalisms to support uncertainty in Semantic Web languages * Probability theory as a means of assessing the likelihood that terms in different ontologies refer to the same or similar concepts * Architectures for applying plausible reasoning to the problem of ontology mapping * The concept of a probabilistic ontology and its relevance to the Semantic Web * Best practices for representing uncertain, incomplete, ambiguous, or controversial information in the Semantic Web * The role of uncertainty as it relates to Web services * Interface protocols with support for uncertainty as a means to improve interoperability among Web services * Uncertainty reasoning techniques applied to trust issues in the Semantic Web * Existing implementations of uncertainty reasoning tools in the context of the Semantic Web * Issues and techniques for integrating tools for representing and reasoning with uncertainty * The future of uncertainty reasoning for the Semantic Web IMPORTANT DATES July 25, 2007 Paper submissions due September 12, 2007 Paper acceptance notification October 02, 2007 Camera-ready papers due November 12, 2007 3rd Workshop on Uncertainty Reasoning for the Semantic Web SUBMISSION DETAILS The URSW will be accepting submissions of technical papers and position papers. Each submission will be evaluated for acceptability by at least three members of the Program Committee. Decisions about acceptance will be based on relevance to the above topic list, originality, potential significance, topicality and clarity. Since all accepted papers will be presented at the workshop, we require that at least one of the submitting authors must be a registered participant at the ISWC 2007 Conference, and committed to attend the URSW Workshop. Submissions to the Workshop are only accepted in electronic format and should be sent via the workshop's submission site: http://c4i.gmu.edu/ursw2007/files/submission.html#submit. Papers must be submitted in PDF format, and follow the same submission format used by the ISWC 2007 Conference, the Springer Publications format for Lecture Notes in Computer Science (LNCS), available at http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html. Technical papers submitted to the URSW Workshop must not exceed 12 pages, including figures. Submissions exceeding this limit will not be reviewed. Position papers consist of a summary of ideas, projects, or any research efforts that are relevant to the URSW Workshop and must not exceed 2 pages. Following the general acceptance rules of the ISWC 2007 conference, papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference will not be accepted to the URSW workshop. PRESENTATION AND PUBLICATION All papers accepted to the URSW will be presented during the workshop and published in the workshop proceedings, which will be available as a separate publication after the Conference. Authors of accepted technical papers will have 20 minutes to present their work, while authors of accepted position papers will have a 5-minute slot to share their ideas. In addition, both technical and position papers will be published in the URSW Workshop proceedings, to be available after the ISWC 2007 Conference. PROGRAM COMMITTEE The program committee is as follows (in alphabetical order): * Ameen Abu-Hanna - Universiteit van Amsterdam, the Netherlands. * Fernando Bobillo - University of Granada, Spain. * Paulo C. G. Costa - George Mason University, USA. * Fabio G. Cozman - Universidade de Sao Paulo, Brazil. * Claudia d'Amato - University of Bari, Italy. * Ernesto Damiani - University of Milan, Italy. * Nicola Fanizzi - University of Bari, Italy. * Francis Fung - Information Extraction & Transport, Inc., USA. * Ivan Herman - C.W.I., the Netherlands. W3C Activity Lead for the Semantic Web. * Kathryn B. Laskey - George Mason University, USA. * Kenneth J. Laskey - MITRE Corporation, USA. Member of the W3C Advisory Board. * Thomas Lukasiewicz - Universit? di Roma "La Sapienza", Italy. * Anders L. Madsen - Hugin Expert A/S, Denmark. * Trevor Martin - University of Bristol, UK. * Bill McDaniel - DERI, Ireland. * Matthias Nickles - Technical University of Munich, Germany. * Leo Obrst - MITRE Corporation, USA. * Yung Peng - University of Maryland, Baltimore County, USA. * Michael Pool - Convera, Inc., USA. * Livia Predoiu - Universit?t Mannheim, Germany. * Dave Robertson - University of Edinburgh, UK. * Daniel S?nchez - University of Granada, Spain. * Elie Sanchez - Universit? de La M?diterran?e Aix-Marseille II , France. * Oreste Signore - Istituto di Scienza e Technologie dell'Informazione "A. Faedo", Italy. Manager of the W3C Office in Italy. * Nematollaah Shiri - Concordia University, Canada. * Sergej Sizov - University of Koblenz-Landau, Germany. * Pavel Smrz - Brno University of Technology, Czech Republic. * Umberto Straccia - Istituto di Scienza e Technologie dell'Informazione "A. Faedo", Italy. * Heiner Stuckenschmidt - Universit?t Mannheim, Germany. * Masami Takikawa - Cleverset, Inc., USA. * Peter Vojtas - Charles University, Czech Republic. ORGANIZING COMMITTEE The organizing committee is as follows (in alphabetical order): * Fernando Bobillo - University of Granada, Spain. * Paulo C. G. Costa - George Mason University, USA. * Claudia d'Amato - University of Bari, Italy. * Nicola Fanizzi - University of Bari, Italy. * Francis Fung - Information Extraction & Transport, Inc., USA. * Thomas Lukasiewicz - Universita di Roma "La Sapienza", Italy. * Trevor Martin - University of Bristol, UK. * Matthias Nickles - Technical University of Munich, Germany. * Yung Peng - University of Maryland, Baltimore County, USA. * Michael Pool - Convera, Inc., USA. * Pavel Smrz - Brno University of Technology, Czech Republic. * Peter Vojtas - Charles University, Czech Republic. We are looking forward to seeing you in Busan! From treinen at lsv.ens-cachan.fr Fri May 4 13:39:12 2007 From: treinen at lsv.ens-cachan.fr (Ralf Treinen) Date: Fri, 4 May 2007 13:39:12 +0200 Subject: RDP'07 First Call for Participation Message-ID: <200705041139.l44BdCnE008458@avocat.lsv.ens-cachan.fr> RDP 2007 - Call for Participation Federated Conference on Rewriting, Deduction, and Programming June 25 to 29, Paris, France http://www.rdp07.org ======================================================================== Online Registration is open unil May, 31. ======================================================================== RDP'07 is the fourth edition of the International Conference on Rewriting, Deduction, and Programming, consisting of two main conferences * Rewriting Techniques and Applications (RTA'07) * Typed Lambda Calculi and Applications (TLCA'07) a colloquium * From Type Theory to Morphologic Complexity: a Colloquium in Honor of Giuseppe Longo as well as the following workshops: * Higher Order Rewriting (HOR) * Proof Assistants and Types in Education (PATE) * Rule-Based Programming (RULE) * Security and Rewriting Techniques (SecReT) * Unification (UNIF) * Functional and (Constraint) Logic Programmming (WFLP) * Reduction Strategies in Rewriting and Programming (WRS) * Termination (WST) Invited Speakers: ================= Joint RTA/TLCA: * Frank Pfenning (Carnegie Mellon University) TLCA: * Patrick Baillot (CNRS, University Paris 13) * Greg Morrisett (Harvard University) RTA: * Xavier Leroy (INRIA Rocquencourt) * Robert Nieuwenhuis (Technical University of Catalonia) Celebratation of the 75th anniversary of the lambda calculus: * Henk Barendregt (Nijmegen University) Registration: ============= http://www.rdp07.org/registration.html Student Travel Grants: ====================== A limited number of travel grants for students is available. A call for applications will be issued separately. Information about travel grants will also be published on http://www.rdp07.org/grants. From treinen at lsv.ens-cachan.fr Fri May 4 17:19:41 2007 From: treinen at lsv.ens-cachan.fr (Ralf Treinen) Date: Fri, 4 May 2007 17:19:41 +0200 Subject: RDP'07 Student Travel Grants Message-ID: <200705041519.l44FJfWg010274@avocat.lsv.ens-cachan.fr> RDP'07 Student Travel Grants Call for Applications ********************************************************************** RDP'07 is the fourth edition of the International Conference on Rewriting, Deduction and Programming, to be held June 25 to 29 in Paris, France. Please consult the RDP'07 web page http://www.rdp07.org for more information. A limited number of travel grants is available for students who would not otherwise have resources to attend RDP'07, and whose attendance would benefit both the applicant and the conference. The number of grants and the per-grant amount will be established on a case by case basis, depending on the applicant's need and the total amount of funds available for the program. Applicants should note that a grant is limited, and that costs in excess of the grant will not be reimbursed. Grants will be awarded based on the evaluating committee's assessment of the applicant's genuine financial need, the potential benefit to the applicant's education, research, and career, and the potential benefit to the conference or workshop. Among those applicants who genuinely could not attend the conference without a grant, the evaluating committee gives priority to (co-)authors of accepted papers. Applications should explain - the current status of the applicant - the kind of participation of the applicant in RDP - a breakdown of the estimated amount needed Applications should be send by May 20, midnight UT time zone, by email to registration at rdp07.org. Applicants should have their supervisor send a recommendation email to the same address and by the same deadline. This letter should describe the student's work, the benefit to that work of attending the conference, and an assessment of the student's financial need. Timeline: - Sunday, May 20, midnight UT Deadline for applications and recommendation letters - Thursday, May 24 Notification about acceptance or rejection - Thursday, May 31 Deadline for RDP'07 registration From ajp at inf.ed.ac.uk Sun May 6 11:16:21 2007 From: ajp at inf.ed.ac.uk (ajp at inf.ed.ac.uk) Date: Sun, 06 May 2007 10:16:21 +0100 Subject: WARNING! (2952922846) In-Reply-To: References: Message-ID: <20070506101621.dd4qjy77k00cco8g@mail.inf.ed.ac.uk> Quoting event administration : > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2952922846, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > From hra at pixel.cviog.uga.edu Mon May 7 07:30:55 2007 From: hra at pixel.cviog.uga.edu (Hamid R. Arabnia) Date: Mon, 07 May 2007 01:30:55 -0400 Subject: Call For Papers: Worldcomp'07 Congress, Las Vegas, June 25-28, conferences in Computer Science, Computer Engineering, and Applied Computing Message-ID: <20070507053055.3734722458CE@pixel.cviog.uga.edu> Call For Papers - Deadline: May 14, 2007 WORLDCOMP'07 The 2007 World Congress in Computer Science, Computer Engineering, and Applied Computing Date and Location: June 25-28, 2007, Las Vegas, USA http://www.worldacademyofscience.org/worldcomp07/ws You are invited to submit a paper (see instructions below.) Please note that only good quality papers will be considered - the overall paper acceptance rate has been about 28% so far (for regular papers). WORLDCOMP'07 is composed of a number of tracks (joint-conferences, tutorials, and workshops); all will be held simultaneously, same location and dates: June 25-28, 2007. See below for the complete list of joint-conferences. This is a Call For Papers for publication in the Final Edition of the conference proceedings. All papers submitted in response to this announcement will be evaluated for publication in the Final Edition of the proceedings which will go to press soon after the conference. This announcement is ONLY for those who missed the opportunity to submit their papers in response to earlier announcements (authors who have already been notified that their papers have been accepted/not-accepted should ignore this announcement.) Important Dates: Please note that these new deadlines (shown below) are not reflected on the main conference web sites (this allows us to limit the number of submissions.) May 14, 2007: Submission of full/draft papers (about 5 to 8 pages) May 23, 2007: Notification of acceptance/rejection June 3, 2007: Registration June 25-28, 2007: WORLDCOMP'07 Congress July 10, 2007: Camera-Ready Papers Due Sponsors: (partial list) Academic Co-Sponsors include: - Massachusetts Institute of Technology (MIT) Media Laboratory, MIT (Cambridge, Massachusetts) - Statistical Genomics and Computational Biology Laboratory, Department of Statistics, Harvard University (Cambridge, Massachusetts) - Texas Advanced Computing Center, The University of Texas at Austin (Austin, Texas) - Statistical and Computational Intelligence Laboratory of Purdue University (West Lafayette, Indiana) - Center for Computational Biology & Bioinformatics of Indiana University - Purdue University Indianapolis (Indiana) - University of Iowa's Medical Imaging HPC Lab (Iowa City, Iowa) - BioMedical Informatics & Bio-Imaging Laboratory (Georgia Institute of Technology & Emory University, Georgia) - Institute for Informatics Problems of the Russian Academy of Sciences (Moscow, Russia) - University of North Dakota (Grand Forks, North Dakota) Corporate Sponsors include: - Google, Inc., USA - Intel Corporation, USA Submission of Papers: Prospective authors are invited to submit their papers (no more than 8 pages, single spaced and font size of 10 to 12 - all reasonable typesetting formats are acceptable) to: hra at cs.uga.edu Authors should write the following in the subject header of their email: "Submission to Final Edition of Proceedings" + name of conference. Papers should be attached to emails and must be either in Word Doc or PDF formats. Papers must not have been previously published or currently submitted for publication elsewhere. The first page of the paper should include: title of the paper, name, affiliation, postal address, and email address for each author. The first page should also include the name of the conference the paper is being submitted to (the list of conferences appears below.) Accepted papers will be published in the final edition of the respective proceedings/books. All submissions will be evaluated for originality, significance, clarity, and soundness. Each paper will be refereed by two researchers in the topical area. The authors of accepted papers will later be asked to follow a particular typing instructions to prepare their final paper for publication. List of Joint-Conferences: o Parallel and Distributed Processing Techniques and Applications (PDPTA'07) o Grid Computing and Applications (GCA'07) o Computer Design (CDES'07) o Scientific Computing (CSC'07) o Artificial Intelligence (ICAI'07) o Genetic and Evolutionary Methods (GEM'07) o Machine Learning; Models, Technologies and Applications (MLMTA'07) o Bioinformatics and Computational Biology (BIOCOMP'07) o Software Engineering Research and Practice (SERP'07) o Wireless Networks (ICWN'07) o Image Processing, Computer Vision, and Pattern Recognition (IPCV'07) o Modeling, Simulation and Visualization Methods (MSV'07) o Computer Graphics and Virtual Reality (CGVR'07) o Multimedia Systems and Applications (MSA'07) o Internet Computing (ICOMP'07) o Semantic Web and Web Services (SWWS'07) o Security and Management (SAM'07) o Data Mining (DMIN'07) o Information and Knowledge Engineering (IKE'07) o e-Learning, e-Business, Enterprise Information Systems, & e-Government (EEE'07) o Embedded Systems and Applications (ESA'07) o Frontiers in Education: Computer Science & Computer Engineering (FECS'07) o Foundations of Computer Science (FCS'07) o Engineering of Reconfigurable Systems and Algorithms (ERSA'07) o Communications in Computing (CIC'7) Keynote Lectures: (this is only a partial list) o. Prof. Ruzena Bajcsy University of California, Berkeley, USA Humans in Real and Virtual Space o. Prof. John H. Holland University of Michigan, Ann Arbor, USA Innovation o. Dr. Jack Y. Yang and Dr. Mary Qu Yang Harvard University, Massachusetts, USA National Human Genome Research Institute, NIH, Bethesda, USA Data Mining and Knowledge Discovery of Human Genome and Competitive Genomes, Past, Future, and the Impact on the Science and Medicine o. Prof. A. K. Dunker Indiana University and Purdue University, USA Protein Intrinsic Disorder, Cell Signaling, Drug Discovery, and Alternative Splicing o. Prof. Jun Liu MIT and Harvard University, Massachusetts, USA Unraveling the Mystery of How Genes are Turned on and off Using Various Statistical and Computer Techniques o. Prof. Joydeep Ghosh University of Texas at Austin, Austin, Texas, USA Schlumberger Distinguished Centennial Chair Professor Simultaneous Clustering and Modeling for Large Scale Data Mining Applications o. Steve Leibson Tensilica, Inc. Challenges in Consumer Electronics for 21st Century Partial list of planned tutorials appears below (tutorial attendance is free to registered attendees of worldcomp and all its associated conferences): o. Robust Resource Allocation for Heterogeneous Parallel and Distributed Computing Systems Prof. H. J. Siegel Abell Endowed Chair Distinguished Professor of ECE and Professor of CS, Director, CSU Information Science and Technology Center (ISTeC) Colorado State University, Fort Collins, Colorado, USA Date: June 25, 2007 (6:00pm - 9:00pm) o. Developing Enterprise Web Services and Mobile/Wireless Systems Dr. Sandeep Chatterjee Chief Executive Officer, Cyndeo LLC, USA Date: June 25, 2007 (6:00pm - 9:00pm) o. Introduction to Uncertainty and Fuzzy Logic with Data Mining Applications Ashu M. G. Solo Principal/R&D Engineer, Maverick Technologies America Inc., USA Date: June 25, 2007 (5:00pm - 6:00pm) o. Systems Biology in present day Bioinformatics: Tools, Tricks, Ticks and Traps Prashanth Suravajhala Roskilde University, Greater Copenhagen, Denmark o. Real-Time Image and Video Processing: From Research to Reality Prof. Nasser Kehtarnavaz University of Texas at Dallas, Texas, USA Date: June 26, 2007 (6:00pm - 9:30pm) o. Moving On, Moving Online That Is: An Introduction to Teaching Online Dr. Michael L. Nelson School of Technology Graduate Program Director International College, Ft. Myers, Florida, USA Date: June 26, 2007 (6:00pm - 9:30pm) o. Computational Challenges in RNAi Gene Silencing Amanda Birmingham Dharmacon, Thermo Fisher Scientific, Bioinformatics Manager, USA Date: June 26, 2007 (6:00pm - 9:30pm) o. Introduction to Game Programming Lakshmi Prayaga University of West Florida, Pensacola, Florida, USA Date: June 26, 2007 (6:00pm - 9:30pm) o. Factor Graphs for Advanced Algorithm Design in Wireless Communications Dr. Henk Wymeersch Massachusetts Institute of Technology, Cambridge, Massachusetts, USA Date: June 27, 2007 (6:00pm - 9:30pm) o. Data Mining in Time Series and Multimedia Databases Dr. Eamonn Keogh University of California - Riverside, California, USA Date: June 27, 2007 Time: 6:00pm - 9:00pm o. Cryptographic Features and Applications in Java (and C++) Prof. Ray Kresman Bowling Green State University, USA Date: June 27, 2007 (6:00pm - 9:30pm) o. Mobile Terminal Software Architecture - Present and Future S. Vijay Anand General Manager, SASKEN Communication Technologies Limited - CTO Team, India Date: June 27, 2007 (6:00pm - 9:30pm) From WiebevanderHoek at csc.liv.ac.uk Mon May 7 13:00:53 2007 From: WiebevanderHoek at csc.liv.ac.uk (Wiebe van der Hoek) Date: Mon, 7 May 2007 12:00:53 +0100 (BST) Subject: Postdoc in Logics for Mechanism design in Liverpool Message-ID: The UNIVERSITY of LIVERPOOL -- DEPARTMENT of COMPUTER SCIENCE POSTDOCTORAL RESEARCHER: LOGIC for AUTOMATED MECHANISM DESIGN Applications are invited for a post-doctoral research position in the use of logic for the specification and verification of economic mechanisms such as social choice procedures. The project will investigate the logical foundations, complexity, and applications of these technqiues, and will for example study the use of model checking for verifying economic mechanisms. The project will be undertaken within the Agent ART group under the supervision of Professor Mike Wooldridge and Professor Wiebe van der Hoek, in collaboration with Dr Christian List (London School of Economics). This is an opportunity to carry out research on a topic at the intersection of computer science, logic, and game theory, in a highly research active and rapidly expanding group. The post is funded by EPSRC for 3 years. Informal enquiries may be sent to: Prof Michael Wooldridge mailto:mjw at csc.liv.ac.uk Prof Wiebe van der Hoek mailto:wiebe at csc.liv.ac.uk ... but please note applications MUST be submitted through the university's formal application procedure; see below. ** Quote Ref: B/005 ** Closing date for applications: 1 June 2007 ** Salary to GB pounds 27,465 pa For full details, or to request an application pack, visit http://www.liv.ac.uk/university/jobs.html or e-mail mailto:jobs at liv.ac.uk or tel 0151 794 2210 (24 hr answerphone). ** Please quote Ref: B/005 in all enquiries ** --------------------------------------------------------------- Prof. Wiebe van der Hoek http://www.csc.liv.ac.uk/~wiebe/ Department of Computer Science tel (+44 151) 79 47480/54292 University of Liverpool fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom wiebe at csc.liv.ac.uk _______________________________________________ Siksleden mailing list Siksleden at cs.uu.nl https://mail.cs.uu.nl/mailman/listinfo/siksleden From miroslav_velev at yahoo.com Tue May 8 10:57:05 2007 From: miroslav_velev at yahoo.com (Miroslav Velev) Date: Tue, 8 May 2007 01:57:05 -0700 (PDT) Subject: CFV'07 Call for Papers Message-ID: <105309.56803.qm@web32409.mail.mud.yahoo.com> Call for Papers CFV'07: Fourth International Workshop on Constraints in Formal Verification Bremen, Germany, July 16, 2007 A satellite event of the 21st Conference on Automated Deduction (CADE-21) CFV'07 web site: http://www.miroslav-velev.com/cfv07.html Submission deadline: May 15, 2007 Overview ------------------------ Formal verification is of crucial significance in the development of hardware and software systems. In the last few years, tremendous progress was made in both the speed and capacity of constraint technology. Most notably, SAT solvers have become orders of magnitude faster and capable of handling problems that are orders of magnitude bigger, thus enabling the formal verification of more complex computer systems. As a result, the formal verification of hardware and software has become a promising area for research and industrial applications. The main goals of the Constraints in Formal Verification workshop are to bring together researchers from the CSP/SAT and the formal verification communities, to describe new applications of constraint technology to formal verification, to disseminate new challenging problem instances, and to propose new dedicated algorithms for hard formal verification problems. This workshop will be of interest to researchers from both academia and industry, working on constraints or on formal verification and interested in the application of constraints to formal verification. Scope ------------------------ The scope of the workshop includes topics related to the application of constraint technology to formal verification, namely: - application of constraint solvers to hardware verification; - application of constraint solvers to software verification; - dedicated solvers for formal verification problems; \u003cbr /\>\u003cbr /\>Delivery\u003cbr /\>------------------------\u003cbr /\>The workshop is scheduled for a full day on July 16, 2007. It will be\u003cbr /\>structured to allow ample time for discussion and demonstration of new\u003cbr /\>tools and new problem instances.\u003cbr /\>\u003cbr /\>\u003cbr /\>Submissions\u003cbr /\>------------------------\u003cbr /\>Submissions should be in the LNCS format and in one of the following types:\u003cbr /\>- a regular paper of up to 15 pages;\u003cbr /\>- a short paper of up to 4 pages, describing an industrial experience.\u003cbr /\>Workshop papers should be submitted electronically in pdf format.\u003cbr /\>Papers should be formatted using the Lecture Notes in Computer Science\u003cbr /\>(LNCS) style.\u003cbr /\>Paper submissions should be e-mailed to the workshop chair at: \u003ca onclick\u003d\"return top.js.OpenExtLink(window,event,this)\" href\u003d\"mailto:mvelev at gmail.com\"\>mvelev at gmail.com\u003c/a\>\u003cbr /\>\u003cbr /\>\u003cbr /\>Important Dates\u003cbr /\>------------------------\u003cbr /\>The important dates for the workshop are as follows:\u003cbr /\>- paper submission deadline: May 15\u003cbr /\>- notification of acceptance: May 31\u003cbr /\>- camera-ready version deadline: June 15\u003cbr /\>- workshop Date: July 16\u003cbr /\>\u003cbr /\>\u003cbr /\>Invited Speakers\u003cbr /\>------------------------\u003cbr /\>Alessandro Cimatti, ITC-IRST, Italy\u003cbr /\>Talk title: Satisfiability Modulo the Theory of Bit Vectors\u003cbr /\>\u003cbr /\>Ulfar Erlingsson, Microsoft Research, Silicon Valley, U.S.A.\u003cbr /\>Talk title: Verifiable Enforcement of Control-Flow-Based Security Policies\u003cbr /\>\u003cbr /\>\u003cbr /\>Workshop Chair\u003cbr /\>------------------------\u003cbr /\>Miroslav Velev, Consultant, U.S.A.\u003cbr /\>Email: \u003ca onclick\u003d\"return top.js.OpenExtLink(window,event,this)\" href\u003d\"mailto:mvelev at gmail.com\"\>mvelev at gmail.com\u003c/a\>\u003cbr /\>\u003cbr /\>\u003cbr /\>Program Committee\u003cbr /\>------------------------\u003cbr /\>Armin Biere, Johannes Kepler University, Austria\u003cbr /\>Roderick Bloem, Graz University of Technology, Austria\u003cbr /\>Louise Dennis, University of Liverpool, U.K.\u003cbr /\>Masahiro Fujita, University of Tokyo, Japan\u003cbr /\>Priyank Kalla, University of Utah, U.S.A.\u003cbr /\>Oliver Kullmann, Swansea University, U.K.\u003cbr /\>Wolfgang Kunz, Technical University of Kaiserslautern, Germany\u003cbr /\>Marius Minea, "Politehnica" University of Timisoara, Romania\u003cbr /\>John Moondanos, Intel, U.S.A.\u003cbr /\>Andreas Veneris, University of Toronto, Canada\u003cbr /\>Chao Wang, NEC Research Labs, U.S.A.\u003cbr /\>Li-C. Wang, University of Santa Barbara, U.S.A.\u003cbr /\>\u003c/div\>",0] ); //--> - challenging formal verification problems. Delivery ------------------------ The workshop is scheduled for a full day on July 16, 2007. It will be structured to allow ample time for discussion and demonstration of new tools and new problem instances. Submissions ------------------------ Submissions should be in the LNCS format and in one of the following types: - a regular paper of up to 15 pages; - a short paper of up to 4 pages, describing an industrial experience. Workshop papers should be submitted electronically in pdf format. Papers should be formatted using the Lecture Notes in Computer Science (LNCS) style. Paper submissions should be e-mailed to the workshop chair at: mvelev at gmail.com Important Dates ------------------------ The important dates for the workshop are as follows: - paper submission deadline: May 15 - notification of acceptance: May 31 - camera-ready version deadline: June 15 - workshop Date: July 16 Invited Speakers ------------------------ Alessandro Cimatti, ITC-IRST, Italy Talk title: Satisfiability Modulo the Theory of Bit Vectors Ulfar Erlingsson, Microsoft Research, Silicon Valley, U.S.A. Talk title: Verifiable Enforcement of Control-Flow-Based Security Policies Workshop Chair ------------------------ Miroslav Velev, Consultant, U.S.A. Email: mvelev at gmail.com Program Committee ------------------------ Armin Biere, Johannes Kepler University, Austria Roderick Bloem, Graz University of Technology, Austria Louise Dennis, University of Liverpool, U.K. Masahiro Fujita, University of Tokyo, Japan Priyank Kalla, University of Utah, U.S.A. Oliver Kullmann, Swansea University, U.K. Wolfgang Kunz, Technical University of Kaiserslautern, Germany Marius Minea, "Politehnica" University of Timisoara, Romania John Moondanos, Intel, U.S.A. Andreas Veneris, University of Toronto, Canada Chao Wang, NEC Research Labs, U.S.A. Li-C. Wang, University of Santa Barbara, U.S.A. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From iclp07-publicity at di.uevora.pt Tue May 8 11:12:40 2007 From: iclp07-publicity at di.uevora.pt (ICLP07 publicity) Date: Tue, 8 May 2007 10:12:40 +0100 Subject: Deadline extention: ICLP 2007 Doctoral Consortium Message-ID: <5C07DC1C-F2F4-4C4E-9538-7ED4E24EF777@di.uevora.pt> (apologies if you receive multiple copies) ---------------------------------------------------------------------- International Conference on Logic Programming Third Doctoral Consortium Porto, Portugal September 8-13, 2007 http://www.cs.nmsu.edu/~epontell/DC2007 ----------- The 2007 ICLP Doctoral Consortium (DC) is the third international doctoral consortium to be offered as part of the International Conference on Logic Programming. The DC will take place during ICLP 2007 in Porto, Portugal. The Doctoral Consortium is designed for doctoral students working in areas related to logic programming, as well as Master's students interested in pursuing doctoral degrees in the field of logic programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedbacks from peers as well as world-renown experts in the field. The Doctoral Consortium will also offer invited speakers and panels discussions. ------------ The Doctoral Consortium is held the during the regular activities of the ICLP 2007 Conference. The aims of the Doctoral Consortium are: * To provide doctoral students working in the field of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback * To provide students with relevant information about important issues for doctoral candidates and future academics * To develop a supportive community of scholars and a spirit of collaborative research. * To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). The Consortium is for students at any stage of their doctoral studies are welcome to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to): * Theoretical Foundations of Logic and Constraint Logic Programming * Sequential and Parallel Implementation Technology * Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification * Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) * Innovative Applications of Logic Programming The Consortium allows participants to interact with established researchers and with other students, through presentations, question- answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. The Doctoral Consortium will be held on a date to be determined, in parallel with the regular activities of the ICLP 2007 conference; the ICLP conference will run from September 8th to September 13th, 2007. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2007 conference proceedings. Discussants: Several renowned faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. The list of the discussants will be published at a later date. -------- Detailed submission instructions can be found in the ICLP 2007 Doctoral Consortium web site, at: http://www.cs.nmsu.edu/~epontell/DC2007 -------- Important Dates Submission Deadline: May 16th, 2007 (extended deadline!) Acceptance Notification: May 28th, 2007 (extended) Last Date to Update Research Summary: June 11th, 2007 (extended!) Doctoral Consortium: September 8-13, 2007 (TBA) ICLP 2006 Conference: September 8-13, 2007 ------------ Doctoral Consortium Chairs: Enrico Pontelli Ines de Castro Dutra Department of Computer Science COPPE/Sistemas New Mexico State University Universidade Federal do Rio MSC CS, Box 30001 de Janeiro Las Cruces, NM 88003, USA Rio de Janeiro, Brasil epontell _a_t_ cs.nmsu _dot_ edu ines _a_t_ cos.ufrj _dot_ br From dix at tu-clausthal.de Tue May 8 12:11:17 2007 From: dix at tu-clausthal.de (Prof. Dr. Juergen Dix) Date: Tue, 08 May 2007 12:11:17 +0200 Subject: Fwd: Invitation to Montenegro, Japan, Croatia, and Italy; c/bb In-Reply-To: References: Message-ID: <46404CC5.5010200@tu-clausthal.de> Administrator of mailing lists of CIG at TUC schrieb: > > What about this one received at Event at CIG??? Remove ... J From jv at imm.dtu.dk Tue May 8 15:44:59 2007 From: jv at imm.dtu.dk (Joergen Villadsen) Date: Tue, 8 May 2007 15:44:59 +0200 Subject: Doctorial Consortium at CONTEXT 07, cfp Message-ID: <20070508134459.C88588A0082@pfepc.post.tele.dk> ** CONTEXT 07, doctorial consortium ** August 20, 2007, Roskilde, Denmark http://context-07.ruc.dk/dc.html The CONTEXT07 conference will host a doctorial consortium where PhD students will have the opportunity to present their ongoing work and have it assessed and discussed by leading scholars in different disciplines contribution to the research area of CONTEXT. The objectives of the Doctoral Consortium are: - provide a setting for mutual feedback on participants' current research, and guidance on future research directions; - to develop a supportive community of scholars and a spirit of collaborative research; and - to contribute to the conference goals through interaction with other researchers and participation in other conference events. TOPICS include but are not limited to the ones listed in the CFP of the main CONTEXT conference which is available at http://context07.ruc.dk/cfp.html SUBMISSION AND FORMAT See details at http://context-07.ruc.dk/dc.html IMPORTANT DATES Deadline for paper submissions (strict) June 1, 2007 Notification of acceptance June 17, 2007 Camera ready due (strict deadline) July 12, 2007 Doctoral consortium August 20, 2007 Main Conference and Workshops August 20-24, 2007 DOCTORIAL CONSORTIUM CHAIR Paolo Bouquet, University of Trento, Italy REGISTRATION must made through the CONTEXT conference website http://context-07.ruc.dk --------------------------------------------------------------------- Henning Christiansen professor of Computer Science, ph.d. Research group PLIS: Programming, Logic and Intelligent Systems Department of Communication, Business and Information Technologies Roskilde University P.O.Box 260, DK-4000 Roskilde, DENMARK http://www.ruc.dk/~henning --------------------------------------- CONTEXT conference at Roskilde: http://context-07.ruc.dk From Camilla.Schwind at lif.univ-mrs.fr Tue May 8 16:13:31 2007 From: Camilla.Schwind at lif.univ-mrs.fr (Camilla Schwind) Date: Tue, 08 May 2007 16:13:31 +0200 Subject: Tableaux workshop DEADLINE EXTENSION!! AGENTS, LOGIC AND THEOREM PROVING Message-ID: <4640858B.1010801@lif.univ-mrs.fr> DEADLINE EXTENSION!! DEADLINE EXTENSION!! DEADLINE EXTENSION!! CALL FOR PAPERS AGENTS, LOGIC AND THEOREM PROVING Tableaux'2007 Workshop July 3, 2007 Aix-en-Provence Aims and Scope Over the recent years, the agent paradigm gained popularity, due to its applicability to many domains, from search engines to educational aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to cite only some. Multi-Agent Systems are systems composed of multiple interacting problem-solving entities known as agents. They perceive and act upon their environments to achieve individual as well as joint goals. The work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computer science. Logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for individual agents and multi-agent systems. The predominant approach for reasoning about multiagent systems has been modal logics. They are especially suited as a tool for a formal description of agents. They have widely been used to characterize mental states of agents and their interaction. On the other hand, analytic tableaux are one of the favorite proof methods for modal logics. Therefore it seems that modal logic is on the cross roads of agents and tableaux theorem proving. The objective of this workshop is to bring together these two communities: agent community and tableaux community. In particular, the purposes of this workshop are: * to present research, based on tableaux and aimed at representing, programming and reasoning about agents and multi-agent systems in a formal way * to promote tableaux for multi-agent systems * to compare and evaluate existing formalisms, * to identify the most important open problems and research questions and * to identify possibilities of solution transfer between the two domains. Relevant topics include, but are not limited to * logical foundations of (multi-)agent systems * modal logic approaches to (multi-)agent systems * non-monotonic reasoning in (multi-)agent systems * agent and multi-agent hypothetical reasoning and learning * theory and practice of argumentation for agent reasoning and interaction * knowledge and belief representation and updates in (multi-)agent systems * model checking algorithms, tools, and applications for (multi-)agent logics * semantics of interaction and agent communication languages * temporal reasoning for (multi-)agent systems * distributed theorem proving for multi-agent systems * logic-based implementations of (multi-)agent systems * specification and verification of interaction protocols in (multi-)agent systems Submission Details The goal of this workshop is to enhance cooperation between participants with an agent background and the tableaux community. Contributors should be willing to interact between the different workshop areas. The programm committee will care to have a balanced number of participants from the different areas concerned. To encourage an atmosphere appropriate for a workshop, we plan to: * have a 15 mn discussion at the end of each session, * have a panel on future directions of logic and tableaux proving for agent systems * have system demos Submission format We welcome short papers (max 4 pages), describing projects or ongoing research and long papers (max. 8 pages), that relate more established results. Important Dates Submission: May 1, 2007 Notification: June 5, 2007 Final version due: June 15, 2007 Workshop: July 3, 2007 Programm Committee * Leila Amgoud, IRIT, Toulouse, France * Juergen Dix, Technische Universitaet Clausthal, Germany * Thomas Eiter, Technische Universitaet Wien, Austria * Laura Giordano, Universita del Piemonte orientale, Alessandria, Italy laura at mfn.unipmn.it * Marc-Philippe Huget, LISTIC, Universite de Savoie, Annecey, France * John-Jules Meyer, Universiteit Utrecht, Netherlands * Camilla Schwind, LIF CNRS, Universite de la Mediterranee, Marseille, France * Cees Witteveen, Technical University Delft, The Netherlands -- Camilla Schwind LIF (Laboratoire d'Informatique Fondamentale) Parc Scientifique et Technologique de Luminy 163, avenue de Luminy - Case 901 F-13288 Marseille Cedex 9 Tel: +33 (0)4 91 82 94 96 Tel: +33 (0)4 91 82 90 70 (Secretariat) Fax: +33 (0)4 91 82 92 75 e-mail: Camilla.Schwind at lif.univ-mrs.fr http://www.lif-sud.univ-mrs.fr/~schwind/ From mehdi at cs.uu.nl Tue May 8 18:59:58 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Tue, 08 May 2007 18:59:58 +0200 Subject: EUMAS 2007: Call for Papers Message-ID: <4640AC8E.4070705@cs.uu.nl> ======================================================================= The Fifth European Workshop On Multi-Agent Systems Hammamet, Tunisia 13-14 December, 2007 http://www.atia.rnu.tn/eumas/ ======================================================================= In the last two decades, we have seen a significant increase of interest in agent-oriented technology. It is crucial that both academics and industrialists have access to a forum at which current agent-based research and application are presented and discussed. Following the tradition of past EUMAS editions (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006), the aim of this fifth European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems. This workshop is a European forum, aimed at dissemination of the most important work being done in Europe currently. SUBMISSIONS Submission of papers describing relevant preliminary or completed work are invited. EUMAS’07 welcomes also papers that are under submission or already presented at a workshop, or are an improvement of a published proceedings or journal paper. Submissions should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. The workshop has no formal proceedings; it is intended primarily as a forum for interaction and discussion. The workshop will provide an electronic proceedings on CD containing original papers and abstracts of previously published papers. Delegates who want a hard copy can indicate this on the registration form and pay separately for it. We intend to invite a selection of the unpublished submissions to be included in relevant journal special issues. See the conference web page for details. IMPORTANT DATES Submission Deadline: 1st October Notification to Authors: 31st October Camera Ready due: 16th November Early Registration: 20th November Late Registration: 10th December Workshop: 13th and 14th December TOPICS OF INTEREST Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence, Applications, Argumentation, Autonomy, Cognitive Models, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, E-Commerce, Economic Models, Emergence, Emotion, Game Theoretic Models, Grid Computing, Institutions, Logical Models, Methodologies, Negotiation, Organisations and Institutions, P2P Computing, Proactivity, Protocols, Reactivity, Robotics, Self-organisation, Semantic Web, Service Oriented Computing, Social Ability, Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing. CONFERENCE CHAIRS General Chair: Mehdi Dastani Program Chair: Rafael Bordini Local Chairs: Khaled Ghedira, Walid Chainbi Finance Chair: Moez Hammami Publicity Chairs: Chiraz Trabelsi, Meriam Kefi From einarj at ifi.uio.no Wed May 9 09:18:11 2007 From: einarj at ifi.uio.no (Einar Broch Johnsen) Date: Wed, 9 May 2007 09:18:11 +0200 Subject: Oslo: PhD Position in Formal Methods for Sensor Networks Message-ID: <20070509071811.GC13471@rovato.ifi.uio.no> ======================================================== Oslo: PhD Position in Formal Methods for Sensor Networks ======================================================== 1 PhD position available at the Interventional Centre at Rikshospitalet and the Department of Informatics, University of Oslo within the research project: CONNECT: Active Behavioral Interfaces for Seamless Network Integration The main objective of the CONNECT project is to develop a framework for the modeling and analysis of heterogeneous networks in which devices may connect seamlessly in a semantically meaningful way. The project involves an extended case study of biomedical sensor networks for patient monitoring. More information on the CONNECT project can be found at the following webpage: http://www.ifi.uio.no/forskning/grupper/pma/connect The candidate is expected to work on the design and application of behavioral interfaces as a construct for seamless adaptation in heterogeneous networks. The candidate will collaborate closely with the staff at the Interventional Centre at Rikshospitalet in the development of a case study on heterogeneous nets for patient monitoring. The candidate is also expected to participate in the development of a formal model for active behavioral interfaces and on techniques for validating objects with respect to active behavioral interfaces, in collaboration with researchers at the Department of Informatics. The candidate should have a background in either software engineering, concurrency, and formal methods, or in signal processing and sensor networks, and will be expected to acquire knowledge in the other discipline. The PhD candidate should have at least a master degree in computer science. Terms of employment ------------------- The position is available for 3 years from August 1, 2007, or as soon as possible after this date. Pay grade: 43-48 (NOK 325 800 - 355 200) (Norwegian LTR scale, depending on qualifications) Further details --------------- For further information, please contact Professor Ilangko Balasingham, email: ilangkob at ulrik.uio.no, associate professor Einar Broch Johnsen, email: einarj at ifi.uio.no, or professor Olaf Owe, email: olaf at ifi.uio.no How to apply ------------ Applications must include complete information about education at both bachelor and master level, and documented scientific experience. All employees must satisfy the entrance requirements for the doctoral degree programme at the Faculty of Mathematics and Natural Sciences. Women are especially encouraged to apply. To apply, please send a statement of your interest, together with curriculum vitae, and complete information about your education (both bachelor and master level) with transcripts of grades, job experience, scientific publications, and at least two academic references (name, email, and phone no), and possibly a list of publications to University of Oslo, Faculty of Mathematics and Natural Sciences att. Grete Andresen (ref 07/5502) PO Box 1032 Blindern, NO-0315 Oslo, NORWAY Applications may also be submitted electronically to Einar Broch Johnsen, email: einarj at ifi.uio.no Deadline for applications: June 1, 2007 The formal announcement of the position is available from http://heim.ifi.uio.no/~einarj/ConnectStip2.pdf Application papers will not be returned, with the exception of original publications. From mehdi at cs.uu.nl Wed May 9 10:31:58 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Wed, 09 May 2007 10:31:58 +0200 Subject: EASSS 2007: Call for Participation Message-ID: <464186FE.4020603@cs.uu.nl> ============================================================ *** Registration is now open! *** Call For Participation 9th European Agent Systems Summer School (EASSS 2007) Durham, UK, 27 - 31 August 2007 http://www.dur.ac.uk/durham.agents007/EASSS07/ ============================================================ As its very successful predecessors, EASSS-2007 offers a valuable forum for knowledge exchange between various research groups in the area multi-agent systems for the benefit of students and researchers. EASSS 2007 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in multi-agent systems, and it covers the full range of theoretical and practical aspects of multi-agent systems. The final programme is available on the EASSS'07 website. This summer school is open to anyone from academia or industry. A modest registration fee will be charged to cover costs such as proceedings, lunch, social dinner, and welcome reception. There are several cheap connections from European cities to Durham. Please see the EASSS-2007 website for further information about registration, travel, and accommodation. Although there is no early registration deadline, we strongly recommend registering early as there is a limited number of available places. From azuki at search.di.uminho.pt Wed May 9 17:19:43 2007 From: azuki at search.di.uminho.pt (Rui Mendes - Dep. Informatica) Date: Wed, 9 May 2007 16:19:43 +0100 (WEST) Subject: MAP-I doctoral programme Message-ID: <20070509151943.7EEB6D48F2@search.di.uminho.pt> The MAP-I Doctoral Programme in Computer Science (http://www.map.edu.pt/i/) is a joint venture of Universidade do Minho, Universidade de Aveiro and Universidade do Porto (MAP), three top Portuguese Universities. The programme represents a fusion of the doctoral offers in Computer Science in the three institutions and constitutes a unified effort to prepare highly qualified human resources in Computer Science. It becomes the sole initiative of its type in the north west of Portugal, a region with nearly 4 million inhabitants. The programme is supported by an academic staff of more that 150 Ph.D.s, whose research and development activities cover a wide range of topics, ranging from theoretical and fundamental aspects to the experimental and applied areas of Computer Science, and comprehend wide-ranging collaborative work with leading industries in this country and abroad. The MAP-I Doctoral Programme in Computer Science targets both Portuguese and international audiences and is designed for excellence and competitiveness at the international level. It aims to prepare selected students for leadership in research and development careers in industry, academia and independent entrepreneurial initiatives. The MAP Consortium is also taking part in the CMU-Portugal partnership between Carnegie Mellon University and the Portuguese Government, implemented through ICTI: Information and Communication Technologies Institute. The doctoral research will be carried out both in Portugal and in the United States, co-advised by CMU faculty and CMU-accredited Portuguese faculty. Successful students can be awarded with the PhD degree from CMU and the Doctorate from the MAP Consortium. In this case, the doctoral research will be carried out both in Portugal and in the United States, co-advised by CMU faculty and CMU-accredited Portuguese faculty. Please consult http://www.map.edu.pt/i/prospective-students/admissions if you are interested in this program. From Stephan.Merz at loria.fr Wed May 9 21:56:09 2007 From: Stephan.Merz at loria.fr (Stephan Merz) Date: Wed, 09 May 2007 21:56:09 +0200 Subject: Special Issue of Formal Aspects of Computing: Formal Modeling and Verification of Critical Systems Message-ID: <46422759.9070301@loria.fr> Call For Papers Journal on Formal Aspects of Computing Special Issue on Formal Modeling and Verification of Critical Systems This special issue is devoted to the scope of two international workshops: the Workshop on Automated Verification of Critical Systems (AVoCS 2006) and the Verification Workshop (VERIFY'06), which took place during September 2006 in Nancy (France) and during August 2006 in Seattle (USA), respectively. Topics of interest include automated verification (abstract interpretation, model checking, theorem proving, ...), formal development methodologies (compositional and modular reasoning, refinement, stepwise development, ...), formal modeling techniques (architectural modeling, behavioral modeling, generic security models, ...), and case studies (academic as well as industrial). Possible application areas include safety-critical, security-critical, and performance-critical systems. Submission to this special issue is completely open. We expect original articles (typically 15-30 pages) that present high-quality contributions that have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. Submissions must comply with FAC's author guidelines (see http://www.springer.com/journal/00165/submission), be written in English, and be formatted using LaTeX. Submission to this special issue are hereby encouraged via the EasyChair submission system at http://www.easychair.org/AVOCSVERIFYJFAC07. The deadline for submissions is June 1st, 2007. Guest editors: Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow Useful websites: * Special issue: http://www.dfki.de/~serge/AVOCS-VERIFY-07 * Submission Webpage: http://www.easychair.org/AVOCSVERIFYJFAC07 * AVOCS'06 Webpage: http://avocs06.loria.fr/ * VERIFY'06 webpage: http://www.easychair.org/FLoC-06/VERIFY.html * Journal homepage: http://www.bcs-facs.org/journal * Author guidelines: http://www.springer.com/journal/00165/submission -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : Stephan.Merz.vcf Dateityp : text/x-vcard Dateigröße : 325 bytes Beschreibung: nicht verfügbar URL : From R.Bordini at durham.ac.uk Thu May 10 10:56:21 2007 From: R.Bordini at durham.ac.uk (Rafael H Bordini) Date: Thu, 10 May 2007 09:56:21 +0100 Subject: Durham Agents'007 = MALLOW'007 + EASSS'07 Message-ID: <4AB97731-18E6-4D37-A32D-F826252D445A@durham.ac.uk> ================================================================= Durham Agents 2007 ------------------ http://www.dur.ac.uk/durham.agents007/ MALLOW'007 - Multi-Agent Logics, Languages, and Organisations Federated Workshops EASSS'07 - 9th European Agent Systems Summer School Durham University, UK 27th August - 7th of September, 2007 ================================================================= MALLOW news: - invited speakers have been announced (see below) - submission deadline for all workshops is 1st of June 2007 EASSS news: - courses and schedule now available (see website) Durham Agents'007 news: - registration is now open (see website) MALLOW'007 ---------- Invited Speakers: - Munindar Singh (NCSU, USA) - Wiebe van der Hoek (Liverpool, UK) - Andrzej Szalas (Linkoping, Sweden) - Dave Robertson (Edinburgh, UK) Workshops: - Languages, Methodologies and Development Tools for Multi-Agent Systems (LADS) - Coordination, Organization, Institutions and Norms in Agent Systems (COIN) - Formal Approaches to Multi-Agent Systems (FAMAS) - Logics for Resource-Bounded Agents (LRBA) - Agents, Web-Services, and Ontologies - Integrated Methodologies (AWESOME) Activities: - Summer Garden Party - Excursion to Raby Castle (http://www.rabycastle.com/) - Four-Course Dinner From spa at di.uevora.pt Thu May 10 20:25:05 2007 From: spa at di.uevora.pt (Salvador Abreu) Date: Thu, 10 May 2007 19:25:05 +0100 Subject: CFP: CICLOPS 2007 Message-ID: <70CADF0F-7250-4B96-B4C6-7FF852309C5A@di.uevora.pt> (apologies if you receive multiple copies) ======================================================================= Call For Papers CICLOPS 2007 Colloquium on Implementation of Constraint LOgic Programming Systems http://www.di.uevora.pt/ciclops07/ October 8/13, 2007 To be held in conjunction with ICLP 2007 - 23nd International Conference on Logic Programming Porto, Portugal ====================================================================== Overview ======== The last years have witnessed continuous progress in the technology available both for academic and commercial computing environments. Examples include more processor performance, increased memory capacity and bandwidth, faster networking technology, operating system support for cluster computing and the generalized use of mutiprocessor systems, including in particular multicore microprocessors. These improvements, combined with recent advances in compilation and implementation technologies, are causing high-level languages to be regarded as good candidates for programming complex, real world applications. Techniques aiming at achieving flexibility in the language design make powerful extensions easier to implement; on the other hand, implementations which reach good performance in terms of speed and memory consumption make declarative languages and systems amenable to develop non-trivial applications. Logic Programming and Constraint Programming, in particular, seem to offer one of the best options, as they couple a high level of abstraction and a declarative nature with an extreme flexibility in the design of their implementations and extensions and of their execution model. This adaptability is key to, for example, the implicit exploitation of alternative execution strategies tailored for different applications (e.g., for domain-specific languages) without unnecessarily jeopardizing efficiency. CICLOPS 2007 continues a tradition of successful workshops on Implementations of Logic Programming Systems, previously held with in Budapest (1993) and Ithaca (1994), the Compulog Net workshops on Parallelism and Implementation Technologies held in Madrid (1993 and 1994), Utrecht (1995) and Bonn (1996), the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages (ParImp) held in Port Jefferson (1997), Manchester (1998), Las Cruces (1999), and London (2000), and more recently the Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS) in Paphos (Cyprus, 2001), Copenhagen (2002), Mumbai (2003), Saint-Malo (France, 2004), Sitges (Spain, 2005), Seattle (USA, 2006), and the CoLogNet Workshops on Implementation Technology for Computational Logic Systems held in Madrid (2002), Pisa (2003) and Saint-Malo (France, 2004). Workshop Description ==================== The workshop aims at discussing and exchanging experience on the design, implementation, and optimization of logic and constraint (logic) programming systems, or systems intimately related to logic as a means to express computations. Preference will be given to the analysis and description of implemented (or under implementation) systems and their associated techniques, problems found in their development or design, and steps taken towards the solutions. The workshop topics include, but are not limited to: - Implementation of standard/alternative sequential models (generalization and modification of the WAM, translation to lower-level and/or general-purpose languages, etc.); - Implementation of parallel/concurrent models; - Interaction between high-level optimizations/transformations and lower-level issues; - Compile-time analysis and its application to code generation; - Balance between compile-time effort and run-time machinery; - Memory management, indexing, and garbage collection issues; - Profiling tools and performance evaluation; - Implementation techniques for declarative programming paradigms with basis on, or extending, logic and constraint programming, such as non-monotonic reasoning, inductive logic programming, natural language processing systems, etc; - Software design with and for (C)LP systems: components, patterns, etc.; - Design and implementation of programming environments; - Experiences from using systems in real-life applications. Workshop Format =============== The workshop will emphasize discussion and cross-fertilization, so presentations will be balanced with discussion time. In this direction, the workshop is seeking high quality papers that address cutting-edge research in this field, and that can contribute to the discussion. The agenda will include paper presentations, a panel discussion, and possibly an invited speaker. At least one author of each accepted submission is expected to attend the workshop. Important Dates =============== Paper Submission Deadline: July 1st, 2007 (strict) Notifications to Authors: August 1st, 2007 Camera-ready Version Deadline: August 20th, 2007 CICLOPS 2007 Workshop: September 8 or 13, 2007 (TBA) Submission Guidelines ===================== Participants should submit a paper (maximum 15 pages, PDF format), describing their work in topics relevant to the workshop. Accepted papers will be presented during the workshop. At least one author of an accepted contribution is expected to register for the workshop, and present the paper. All submissions should include the author's name(s), affiliation, complete mailing address, and email address. Authors are requested to prepare their submissions, following the LNCS/LNAI Springer format. Please see: http://www.springer.de/comp/lncs/authors.html for further details. The submission should be submitted through the electronic submission site, accessible via the workshop web page. The deadline for receipt of submissions is July 1, 2007. Papers received after this date may not be reviewed. Eligible papers will be peer-reviewed by at least three members of the Program Committee. Authors will be notified via email of the results by August 1, 2007. Authors of accepted papers are expected to improve their paper based on reviewers' comments and to send a camera ready version of their manuscripts by August 20, 2007. Accepted papers will be included in the workshop proceedings, which will be distributed to the participants. Questions about submissions may be directed to spa di.uevora.pt Organizing Committee ==================== Salvador Abreu, Universidade de …vora, Portugal Vitor Santos Costa, Universidade do Porto, Portugal Program Committee ================= Bart Demoen, K.U. Leuven, Belgium David Scott Warren, State University of New York at Stony Brook, USA Enrico Pontelli, New Mexico State University, USA Gopal Gupta, University of Texas at Dallas, USA Hai-Feng Guo, University of Nebraska at Omaha, USA InÍs Dutra, Universidade Federal do Rio de Janeiro, Brazil Kostis Sagonas, Uppsala University, Sweden Manuel Carro, Universidad Politecnica de Madrid, Spain Mats Carlsson, SICS, Sweden Michael Leuschel, Heinrich-Heine-Universitat Duesseldorf, Germany Michel Ferreira, Universidade do Porto, Portugal Neng-Fa Zhou, City University of New York, USA Paul Tarau, University of North Texas, USA Paulo Moura, Universidade da Beira Interior, Portugal Ricardo Rocha, Universidade do Porto, Portugal Salvador Abreu, Universidade de Evora, Portugal Tom Schrijvers, K.U. Leuven, Belgium Vitor Santos Costa, Universidade do Porto, Portugal Contact Information =================== Salvador Abreu Universidade de Evora Departamento de Informatica Largo dos Colegiais, 2 7004-516 Evora - PORTUGAL spa di.uevora.pt Vitor Santos Costa Universidade do Porto Departamento de Ciencia da Computacao Rua Campo Alegre, 1021/1055, 4169-007 Porto - PORTUGAL vsc dcc.fc.up.pt From samt2007 at ge.imati.cnr.it Fri May 11 09:33:45 2007 From: samt2007 at ge.imati.cnr.it (samt2007 at ge.imati.cnr.it) Date: Fri, 11 May 2007 09:33:45 +0200 (CEST) Subject: SAMT 2007 : call for papers Message-ID: <2082.192.168.0.129.1178868825.squirrel@samba.ge.imati.cnr.it> [Apologies for cross-postings. Please forward this mail to anyone interested.] DEADLINE FOR PAPER SUBMISSION IS JUNE 4TH ------------------------------------------------------------------------------------ CALL FOR PAPERS Second international conference on Semantics And digital Media Technology (SAMT 2007) Former European Workshop on the Integration of knowledge, semantic and digital Media Technologies (EWIMT) December 5-7, 2007 Genova, Italy http://samt2007.ge.imati.cnr.it/ ------------------------------------------------------------------------------------ OBJECTIVES ---------- The international conference on Semantics And digital Media Technologies (SAMT) targets to narrow the large disparity between the low-level descriptors that can be computed automatically from multimedia content and the richness and subjectivity of semantics in user queries and human interpretations of audiovisual media - The Semantic Gap. SAMT started out as two workshops, EWIMT 2004 and EWIMT 2005, that quickly achieved enormous success in attracting high-quality papers and over 100 participants from across Europe and beyond. Last year EWIMT turned into the full-fledged conference SAMT, addressing integrative research on new knowledge-based forms of digital media systems. SAMT brings together those forums, projects, institutions and individuals investigating the integration of knowledge, semantics and low-level multimedia processing, and links them with industrial research and development engineers who exploit the underlying emerging technology. In cooperation with the European Commission DG Information Society, the third day of the conference will feature keynote talks from EC representatives. TOPICS ------ Topics of interest include, but are not limited to: * Integration of multimedia processing and Semantic Web technologies * Multimedia ontologies and infrastructures * Knowledge assisted multimedia analysis and access * Knowledge based inference for semi-automatic semantic media annotation * Integration of content-based multimedia analysis with natural language and speech processing * Multimodal techniques, high dimensionality reduction and low-level feature fusion * Revelance feedback for finding semantics * Semantic-driven multimedia indexing and retrieval * Metadata management for multimedia * Browsing large multimedia archives * Scalable, semantic-driven multimedia content adaptation and summarization * Interfaces and personalisation for interaction with large multimedia repositories * Social tagging, ontologies and multimedia content * Semantics-driven multimedia presentation generation * Context, user, network and semantics-aware media engineering * Standards bridging the multimedia and knowledge domains PAPER SUBMISSION ----------------- Original contributions should be submitted electronically according to the instructions that will be posted to the conference web site. The conference proceedings will be published by Springer Verlag in the Lecture Notes of Computer Science series (LNCS). Full papers are expected to be 12-14 A4 pages and should present previously unpublished original results that are not simultaneously submitted elsewhere. The accepted full paper contributions will be presented during the plenary sessions and will appear in the conference proceedings. Short papers are expected to be 4 A4 pages at most. The accepted short papers will be included in the proceedings as extended abstract and presented as posters during the conference. Prospective contributors are invited to submit their papers on-line according to the guidelines at http://samt2007.ge.imati.cnr.it. Information for LNCS Authors at http://www.springer.com/east/home/computer/lncs?SGWID=5-164-7-72376-0 Submissions will open in May 2007. IMPORTANT DATES --------------- 20 April Special Sessions Submission 4 May Notification for Special Sessions 21 May Tutorials & Workshops Proposals 4 June Paper Submission 31 July Paper Notification 10 Sept Camera-ready Papers for information, please contact samt07-chairs at ge.imati.cnr.it ORGANIZING COMMITTEE -------------------- General Conference Chairs: Bianca Falcidieno, IMATI-CNR, Italy Yannis Avrithis, National Technical University of Athens, Greece Technical Programme Chairs: Michela Spagnuolo, IMATI-CNR, Italy Yiannis Kompatsiaris, Informatics and Telematics Institute, Greece Paul Buitelaar, DFKI, Germany Special Sessions Chair: Werner Haas, JOANNEUM RESEARCH, Austria Workshops Chair Catherine Houstis, Informatics and Telematics Institute, Greece Tutorials Chair Noel O'Connor, Dublin City University, Ireland PROGRAMME COMMITTEE ----------------- Technical Programme Committee Bruno Bachimont, Institut National de Audiovisuell, France Wolf-Tilo Balke, University of Hannover, Germany Jenny Benois-Pineau, University of Bordeaux, France Patrick Bouthemy, IRISA, France Andrea Cavallaro, Queen Mary University of London, UK Stavros Christodoulakis, Technical University of Crete, Greece Philipp Cimiano, AIFB Universitat Karlsuhe, Germany Fabio Ciravegna, University of Sheffield, UK Thierry Declerck, DFKI, Germany Touradj Ebrahimi, Swiss Federal Institute of Technology, CH Christophe Garcia, France Telecom, France Gregory Grefenstette, LIC2M, CEA-LIST William I. Grosky, University of Michigan, US Werner Haas, Joanneum Research, Austria Siegfried Handschuh, DERI Galway, Ireland Paola Hobson, Motorola Labs, UK Andreas Hotho, University of Kassel, Germany Antoine Isaac, Vrije Universiteit, The Netherlands Ebroul Izquierdo, Queen Mary University of London, UK Franciska de Jong, University of Twente, The Netherlands Joemon Jose, University of Glasgow, UK Hyoung Joong Kim, Korea University, Korea Stefanos Kollias, National Technical University of Athens, Greece Paul Lewis, University of Southampton, UK Simone Marini, IMATI-GE / CNR, Italy Ferran Marques, Technical University of Catalonia, Spain Jose Martinez, GTI-UAM, Spain Adrian Matellanes, Motorola Labs, UK Bernard Merialdo, EURECOM, France Ralph Moller, Hamburg Institute of Technology, Germany Frank Nack, LIRIS - University Claude Bernard, Lion, France Milind Naphade, IBM, US Jan Nesvadba, Philips Research Laboratories, Endhoven Noel O'Connor, Dublin City University, Ireland Jacco van Ossenbruggen, CWI Amsterdam, The Netherlands Jeff Pan, University of Aberdeen, UK Thrasyvoulos Pappas, Northwestern University, US Dietrich Paulus, University of Koblenz, Germany Ewald Quak, Tallinn University of Technology, Estonia Fausto Rabitti, ISTI-CNR, I Andrew Salway, University of Surrey, UK Mark Sandler, Queen Mary, University of London Simone Santini, Universidad Autonoma de Madrid, Spain Francis Schmitt, CNRS, France Sergej Sizov, University of Koblenz-Landau, Germany Alan Smeaton, Dublin City University, Ireland Steffen Staab, University of Koblenz-Landau, D Giorgos Stamou, National Technical University of Athens, Greece Vojtech Svatek, University of Economic, Prague, Czech Republic Raphael Troncy, CWI, NL Manolis Vavalis, ITI, GR Remco Veltkamp, Utrecht University, NL Anne Verroust, INRIA, France Paulo Villegas, Telefonica I+D, Spain Li-Qun Xu, British Telecom, UK ------------------------------------------------------------------------------------ TO BE REMOVED FROM THIS LIST You are receiving this email because you have participated in a previous EWIMT or SAMT related event. If you would like to be removed from the SAMT publicity email list, please send a message with the word 'REMOVE' in the SUBJECT LINE. This email should be addressed to: samt07 at ge.imati.cnr.it. You will be removed from this list when we receive your reply. From franconi at inf.unibz.it Fri May 11 10:53:58 2007 From: franconi at inf.unibz.it (Enrico Franconi) Date: Fri, 11 May 2007 10:53:58 +0200 Subject: Description Logics workshop: registration open Message-ID: *20th* International Workshop on Description Logics (DL'07) Brixen-Bressanone (near Bozen-Bolzano), Italy 8-10 June 2007 http://dl.kr.org/dl2007/ The 2007 edition of the DL workshop will take place from the 8th to the 10th of June 2007 in Brixen-Bressanone (near Bozen-Bolzano), Italy. This is 80 Km south of Innsbruck (where the ESWC-07 conference will take place immediately before); direct train connections run every hour between Innsbruck and Brixen-Bressanone. Arrived this year to its 20th edition, DL is the major annual event of the description logics research community. The workshop is thought as a gathering forum to meet, discuss and exchange experiences among all those, both in the academy and industry, who are interested in description logics and in all their broad range of applications. Participants in the workshop will enjoy the invited talks by: * Hector Levesque * Alex Borgida * Renee J. Miller You can find the list of accepted papers on the workshop web site. The registration to the workshop is now open: * Early registration fee (before 25th May 2007): 220 EUR * Late registration fee (after 25th May 2007): 250 EUR The registration fee includes: participation to the workshop sessions from Friday to Sunday, coffee breaks and lunches at the restaurant from Friday to Sunday, welcome reception on Friday evening, social banquet on Saturday evening. Participants can register and book the accommodation via the workshop web site. We offer a limited number of student travel awards to help young researchers attend the workshop. Check the workshop web site for details; please note the very close deadline. ---------------------------------------------------------------------- VENUE The workshop will take place in the charming town of Brixen- Bressanone, near Bozen-Bolzano in South Tyrol at the heart of the Dolomites - the pink mountains of the Alps. Like Bozen-Bolzano, Brixen-Bressanone has always been a crossroads of various cultures and it is distinguished by its mediaeval Gothic architecture. The mediaeval alleys and the wealth of historical references are an ideal starting point for excursions into the countryside and for practising a whole variety of sports and leisure activities. Leaving directly from the town centre delegates can set off on their bikes or on foot for excursions into the surrounding hills and mountains. Brixen-Bressanone is on the main arterial road between Austria/Germany and Italy and it is easily accessible from everywhere by train, car, bus or plane. ---------------------------------------------------------------------- From areces at loria.fr Fri May 11 15:11:20 2007 From: areces at loria.fr (Carlos Areces) Date: Fri, 11 May 2007 15:11:20 +0200 Subject: Doctoral Consortium at the Eurolan 2007 Summer School: Last CFP Message-ID: <46446B78.7040804@loria.fr> ********************* Apologies for multiple postings | Please distribute! ********************* Doctoral Consortium at the 8th EUROLAN Summer School * Last Call for Participation * http://eurolan.info.uaic.ro/2007/DC/ July 30 - August 2, 2007, Iasi, Romania Doctoral Consortium - Call for Papers Submission Deadline: May 14, 2007 1. General Information The Doctoral Consortium at EUROLAN-2007 will provide an opportunity for graduate students (PhD and MSc heading towards PhD studies) investigating topics in Computational Linguistics and Natural Language Processing to present their current work and receive constructive feedback and guidance on future research, both from the general audience and the invited lecturers at the Summer School. The Doctoral Consortium will be held as a workshop during 3 or 4 consecutive evenings (1.5 hour slots) in the second week of the EUROLAN 2007 Summer School, July 30 - August 2, 2007. The final version of the accepted papers will be published in the Proceedings of the EUROLAN 2007 Doctoral Consortium, at the University Al. I. Cuza Publishing House. During the Summer School the students will present their work, will receive constructive comments wrt. to current and future research directions from a panel of established researchers, and will benefit from the collaborative climate established among all participants, thus enhancing future joint work among them. Students will also prepare a poster which will be on display throughout the Summer School. We invite all interested graduate students to submit their work to the Consortium. As the main goal of the Consortium is for the authors to receive feedback, the emphasis is on work in progress. The research being presented can be from any topic area within Computational Linguistics and Natural Language Processing, including but not limited to: * phonetics, phonology, and morphology; * pragmatics, discourse, semantics, syntax, and the lexicon; * text understanding and generation; * computational semantics; * ontology enriched NLP applications; * multilingual NLP; * multilingual question answering; * machine translation; * corpus-based language processing; * electronic dictionaries; * written and spoken natural language interfaces; * knowledge acquisition; * terminology; * text summarisation; * text classification; * computer-aided language learning; * human computer interaction; * language resources; * evaluation, assessment and standards in language engineering; * theoretical and application-oriented papers related to NLP of every kind. Well-known researchers from these areas will be invited lecturers of the school and therefore available for interesting discussions. 2. Submission Requirements The submissions should describe original work, still in progress. The submissions may have more than one author; however, all of them MUST be students (PhD and MSc heading towards PhD). The paper should include: * the problem(s) that the proposed research is addressing; * the main contribution(s) of the research to the CL & NLP field; * the proposed solution(s), including a brief description of the methodology adopted; * the future research plan. 3. Submission Procedure Submission must be electronic. The only format acceptable is PDF (.pdf). Submissions should not exceed 8 pages, including references and annexes and should follow the two-column format of ACL proceedings. The papers will be uploaded on a special page, http://www.easychair.org/EUROLAN2007DC/ , announced on the web page of the Doctoral Consortium, where more submission guidelines are available. 4. Important Dates * Paper submissions deadline: May 14, 2007 * Notification of acceptance: June 4, 2007 * Camera ready papers due: June 25, 2007 * Doctoral Consortium: July 30 - August 2, 2007 * Summer School dates: July 23 - August 3, 2007 5. Registration Authors of accepted papers must register for the Summer School and present their work at the EUROLAN 2007 Doctoral Consortium. No supplementary fee will be required above the EUROLAN fee. The authors will benefit of early registration fee regardless of the date they register. Participation in the Doctoral Consortium is open to all EUROLAN 2007 attendants. 6. Travel Grants A limited number of registration and accommodation discounts/waivers will be available. The authors of accepted papers with reduced possibilities to support their participation to the Doctoral Consortium and the Summer School will have to send a motivation letter, a CV and a recommendation letter from their Ph.D./research advisor to the organizers. More details will be posted at the appropriate time on the webpage of the event. 7. Program Committee * Galia Angelova, Institute for Parallel Processing, Bulgarian Academy of Sciences, Bulgaria * Carlos Areces, LORIA, INRIA, Nancy, France * Patrick Blackburn, LORIA, INRIA, Nancy, France * Antonio Branco, University of Lisbon, Portugal * Dan Cristea, University Al.I. Cuza of Iasi, Romania * Corina Forascu, University Al.I. Cuza of Iasi, Romania * Claire Gardent, LORIA, CNRS, Nancy, France * Maria Georgescul, ISSCO/TIM/ETI, University of Geneva, Switzerland * Udo Hahn, Jena University Language & Information Engineering Lab, Germany * Jerry Hobbs, ISI – University of Southern California, US * Nancy Ide, Vassar College, USA * Diana Inkpen, University of Ottawa, Canada * Alex Killing, Swiss Federal Institute of Technology, Zürich, Switzerland * Zornitsa Kozareva, University of Alicante, Spain * Lothar Lemnitzer, Tübingen University, Department of Linguistics, Germany * Rada Mihalcea, Dept. of Computer Science and Engineering, Univ. of North Texas, US * Paola Monachesi, Uil-OTS, Utrecht Univ., The Netherlands * Enrico Motta, Knowledge Media Institute, Open University, Milton Keynes, UK * Vivi Nastase, EML Research GmbH, Germany * Nicolas Nicolov , Umbria Inc., Boulder, US * Constantin Orasan, Research Group in Computational Linguistics, University of Wolverhampton, UK * Petya Osenova, Institute for Parallel Processing, Bulgarian Academy of Sciences, Bulgaria * Ted Pedersen, University of Minnesota in Duluth, US * Livia Polanyi, Powerset Inc., US * Oana Postolache, ISI – University of Southern California, US * Adam Przepiorkowski, Institute of Computer Science, Polish Academy of Sciences, Poland * Georgiana Puscasu, University of Wolverhampton, UK * Mike Rosner, University of Malta, CSAI and Institute of Linguistics, Malta * Violeta Seretan, University of Geneva, Switzerland * Kiril Simov, Institute for Parallel Processing, Bulgarian Academy of Sciences, Bulgaria * Oliviero Stock, Istituto per la Ricerca Scientifica e Tecnologica, Trento, Italy * Carlo Strapparava, Istituto per la Ricerca Scientifica e Tecnologica, Trento, Italy * Amalia Todirascu, Marc Bloch University, Strasbourg, France * Dan Tufis, Research Institute for Artificial Intelligence, Romanian Academy, Bucharest, Romania * Dusko Vitas, University of Belgrade, Serbia * Cristina Vertan, University of Hamburg, Germany * Walter von Hahn, University of Hamburg, Germany * Jan Wiebe, Dept. of Computer Science, Univ. of Pittsburgh, US * Mickael Zock, Computer Science Laboratory, University of Provence, Marseille, France 8. Contact Information If you need to contact the organizers of the Doctoral Consortium, please use the e-mail: eurolan-dc-oc AT info DOT uaic DOT ro. An e-mail sent to this address will be forwarded to all organizers of the Doctoral Consortium. 9. Organizing Committee * Corina Forascu, University Al.I. Cuza of Iasi, Romania * Oana Postolache, ISI – University of Southern California, USA * Georgiana Puscasu, University of Wolverhampton, UK * Cristina Vertan, University of Hamburg, Germany ================================================================== Carlos Areces phone : +33 (0)3 54 95 84 90 INRIA Researcher fax : +33 (0)3 83 41 30 79 e-mail: carlos.areces at loria.fr INRIA Lorraine. www : http://www.loria.fr/~areces Equipe TALARIS - Batiment B 615, rue du Jardin Botanique 54600 Villers les Nancy Cedex, France From Belaid.Benhamou at cmi.univ-mrs.fr Fri May 11 15:04:44 2007 From: Belaid.Benhamou at cmi.univ-mrs.fr (benhamou) Date: Fri, 11 May 2007 15:04:44 +0200 Subject: First CFP of SymCon'07 In-Reply-To: <45BA3081.6040905@cmi.univ-mrs.fr> References: <200601291711.k0THB45e018819@birkhoff.cas.mcmaster.ca> <458C0FEC.4030407@cmi.univ-mrs.fr> <45BA3081.6040905@cmi.univ-mrs.fr> Message-ID: <464469EC.5060402@cmi.univ-mrs.fr> We apologize for multiple copies of this Call. ================================================================ First Call for Papers SymCon'07 The Seventh International Workshop on Symmetry and Constraint Satisfaction Problems (http://www.cmi.univ-mrs.fr/~benhamou/symcon07/) To be held at the Thirteenth International Conference on Principles and Practice of Constraint Programming (CP 2007) Providence, RI, USA September 23rd 2007 ================================================================ WORKSHOP DESCRIPTION -------------------- SymCon'07 is the 7th in a series of workshops affiliated with the CP conference, and focuses on the investigation of symmetry and symmetry breaking techniques for Constraint Satisfaction Problems (CSPs). Symmetries occur frequently in CSPs. When undetected, they cause thrashing during traditional backtracking search by redundantly exploring symmetric parts of the search space. The topic was discussed as far back as 1874 by Glaisher, and new techniques to detect and/or break symmetry have been proposed in recent years. However, many outstanding problems remain. For instance, the detection and exploitation of local, dynamic, and weak forms of symmetry remains a challenge. The workshop is a forum for researchers to present advances in symmetry breaking techniques and to discuss the above or other open problems. Additionally, the workshop welcomes the presentation of applications and case studies that exhibit some form of symmetry. The workshop is relevant to the computational group theory (CGT) community because CGT is often the theory underlying many symmetry breaking techniques. Importantly, the organizers welcome submissions from researchers working in other areas of Artificial Intelligence who feel that their work would be of interest to the CP community. Such areas include planning, model checking, QBF formulas, finite model search, and theorem proving in FOL. Workshop topics include, but are not limited to: - Symmetry definition: semantic symmetry, syntactic symmetry, constraint symmetry, solution symmetry - Automatic symmetry detection: static approaches and dynamic approaches - Global symmetry detection and elimination - Dynamic symmetry detection and elimination - Combining symmetry breaking techniques - Exploiting weak forms of symmetries like "dominance" and "almost-symmetries" - Case studies of problems that exhibit interesting symmetries - Application of computational group theory techniques to symmetry breaking - Heuristics that use information about symmetry to guide search - Elimination and avoidance of symmetry by re-modelling - Dynamic avoidance of symmetric states during search - Complexity analysis of symmetry breaking techniques - Application of CSPs to symmetry and related algebraic problems - Comparing symmetry breaking techniques in constraint programming with techniques for dealing with symmetry in other search domains - Symmetry in CNF formulas and OBF formulas - Symmetry in finite model search in first order logic - Novel exploitation of symmetry in varied search domains of interest to the CP community ATTENDANCE ---------- The workshop is open to all members of the CP community. At least one author of each submission accepted for presentation must attend the workshop and present the contribution. All workshop attendees must pay the workshop fee. PAPER SUBMISSION ---------------- To submit a paper to the workshop, please e-mail a PS or PDF file in IJCAI03 style to symcon07 at cmi.univ-mrs.fr. Style files can be obtained at http://www.cmi.univ-mrs.fr/~benhamou/symcon07/ Papers can be of any length but should not exceed 8 pages. All submissions must be received by June 22nd, 2007. The Program Committee Chairs will acknowledge all submissions. If a submitted paper is not acknowledged in 2 working days, the authors are kindly requested to contact one of the chairs. SELECTION PROCESS ----------------- All submissions will be reviewed. Those that present a significant contribution to the workshop topics will be accepted for publication in the workshop proceedings. The proceedings will be available electronically at the workshop web-page and in hardcopy at CP 2007. If necessary, for time reasons, only a subset of the papers will be presented. A selection will then be made by the Program Committee Chairs. Post-publication of the proceedings is currently under negotiation. IMPORTANT DATES --------------- Submission deadline: Friday, 22nd June 2007 Notification of acceptance: Tuesday, 17th July 2007 Camera ready deadline: Friday, 3rd August 2007 Workshop: Monday, 23rd September 2007 PROGRAM COMMITTEE CHAIRS ------------------------ - Belaïd Benhamou Université de Provence (Aix-Marseille I) LSIS-CMI, 39 F. Joliot-Curie 13453 Marseille Cedex13 France. Email: Belaid.Benhamou at cmi.univ-mrs.fr - Berthe Y. Choueiry 256 Avery Hall Constraint Systems Laboratory CSE--University of Nebraska-Lincoln Lincoln, NE, 68588-0115, USA Email: choueiry at cse.unl.edu - Brahim Hnich Faculty of Computer Sciences Izmir University of Economics Sakarya Caddesi No:156, 35330 balcova Izmir, Turkey Email: brahim.hnich at ieu.edu.tr PROVISIONAL PROGRAM COMMITTEE ----------------------------- - Fadi A. Aloul, American University of Sharjah, U.S.A - Gilles Audemard, Université d'Artois, France. - Rolf Backofen, Albert-Ludwigs-University, Germany - Pierre Flener, Sabanci University, Turkey and Uppsala University, Sweden - Zeynep Kiziltan, University of Bologna, Italy - Igor Markov, University of Michigan, U.S.A. - Pedro Meseguer, Universitat Autonoma de Barcelona, Spain. - Michela Milano, University of Bologna, Italy - Justin Pearson, Uppsala University, Sweden - Karen Petrie, Oxford University, UK - Steve Prestwich, University College Cork, Ireland - Jean-François Puget, ILOG, France - Lakhdar Sais, Université d'Artois, France. - Pierre Seigel, University of Provence, Aix-Marseille I, France - Meinolf Sellmann, Brown University, U.S.A. - Barbara Smith, Cork Constraint Computation Centre, Irland. - Pascal van Hentenryck, Brown University, U.S.A. - Toby Walsh, University of New South Wales, Australia From ruy at cin.ufpe.br Sat May 12 16:08:27 2007 From: ruy at cin.ufpe.br (ruy at cin.ufpe.br) Date: Sat, 12 May 2007 11:08:27 -0300 (BRT) Subject: WoLLIC'2007 - Call for Participation Message-ID: <1219.189.1.6.77.1178978907.squirrel@webmail.cin.ufpe.br> [** sincere apologies for duplicates **] Call for Participation 14th Workshop on Logic, Language, Information and Computation (WoLLIC'2007) Rio de Janeiro, Brazil July 2-5, 2007 (a satellite event to Brazilian Computer Society Conference - CSBC'07) WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Fourteenth WoLLIC will be held in Rio de Janeiro, Brazil, from July 2 to July 5, 2007, in conjunction with the 27th Brazilian Computer Society Conference. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira de Logica (SBL). PROCEEDINGS The proceedings of WoLLIC'2007, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's Lecture Notes in Computer Science. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC'2007 special issue of the journal Information and Computation. INVITED SPEAKERS Alex Borgida (Rutgers) Alessandra Carbone (Paris) Martin Escardo (Birmingham) Philippa Gardner (Imperial Coll) Achim Jung (Birmingham) Louis Kauffman (U Illinois Chicago) Michael Moortgat (Utrecht) Paulo Oliva (London/QM) John Reif (Duke) Yde Venema (Amsterdam) TUTORIAL LECTURES Stone duality, by A. Jung Quantum topology and quantum computation, by L. Kauffman Biological computing, by J. Reif INVITED TALKS Description Logics: formal foundations and applications, by A. Borgida Group Theory and Classical Proofs, by A. Carbone Algorithmic Topology of Program Types, by M. Escardo Contex Logic and Tree Update, by Ph. Gardner On the interplay of logic and information: A topological analysis, by A. Jung Spin networks in quantum computation, by L. Kauffman Symmetries in natural language syntax and semantics: the Lambek-Grishin calculus, by M. Moortgat Computational Interpretations of Classical Linear Logic, by P. Oliva Autonomous programmable biomolecular devices using self-assembled DNA nanostructures specifying properties of data DNA Nanostructures, by J. Reif A modal distributive law, by Y. Venema BOOK EXHIBITION The following publishers are expected to be exhibiting various books from their catalogue, prospectuses, journal samples, etc., and there will be a chance to order items at promotional prices: The MIT Press Springer-Verlag A K Peters Cambridge Univ Press CSLI Publications (Stanford Univ) Oxford Univ Press World Scientific It is likely that a few other international publishers will also take part in the book exhibit. PROGRAM COMMITTEE Samson Abramsky (U Oxford) Michael Benedikt (Bell Labs) Lars Birkedal (ITU Copenhagen) Andreas Blass (U Michigan) Thierry Coquand (Chalmers U, Goteborg) Jan van Eijck (CWI, Amsterdam) Marcelo Finger (U Sao Paulo) Rob Goldblatt (Victoria U, Wellington) Yuri Gurevich (Microsoft Redmond) Hermann Haeusler (PUC Rio) Masami Hagiya (Tokyo U) Joseph Halpern (Cornell U) John Harrison (Intel UK) Wilfrid Hodges (U London/QM) Phokion Kolaitis (IBM Almaden Research Center) Marta Kwiatkowska (U Birmingham) Daniel Leivant (Indiana U) (Chair) Maurizio Lenzerini (U Rome) Jean-Yves Marion (LORIA Nancy) Dale Miller (Polytechnique Paris) John Mitchell (Stanford U) Lawrence Moss (Indiana U) Peter O'Hearn (U London/QM) Prakash Panangaden (McGill, Montreal) Christine Paulin-Mohring (Paris-Sud, Orsay) Alexander Razborov (Steklov, Moscow) Helmut Schwichtenberg (Munich U) Jouko Vaananen (U Helsinki) ORGANISING COMMITTEE Marcelo da Silva Correa (U Fed Fluminense) Renata P. de Freitas (U Fed Fluminense) Ana Teresa Martins (U Fed Ceara') Anjolina de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco, co-chair) Petrucio Viana (U Fed Fluminense, co-chair) WEB PAGE www.cin.ufpe.br/~wollic/wollic2007 --- From ines at sat.inesc-id.pt Mon May 14 11:26:34 2007 From: ines at sat.inesc-id.pt (Ines Lynce) Date: Mon, 14 May 2007 10:26:34 +0100 (WEST) Subject: CFP - EPIA 2007 Workshop on Search Techniques for Constraint Satisfaction Message-ID: <40730.213.63.67.114.1179134794.squirrel@sat.inesc-id.pt> EPIA 2007 13th Portuguese Conference on Artificial Intelligence http://epia2007.appia.pt ** Workshop on Search Techniques for Constraint Satisfaction ** Call for Papers December 3-7, Guimaraes, Portugal Search is essential for solving combinatorial problems in AI. For the usual case where inference based methods are incomplete, search provides the core engine for applications such as hardware verification, planning, or protein folding. Recent advances in Constraint Programming (CP) and Boolean algorithms for Propositional Satisfiability (SAT), Pseudo-Boolean Optimization (PBO), Satisfiability-Modulo Theories (SMT) and Quantified Boolean Formulas (QBF) have allowed current solvers to perform several orders of magnitude faster than previous ones. This workshop aims at bringing together researchers and practitioners from these communities, in order to learn from each other, develop common understandings, and inspire new applications, algorithms and approaches. TOPICS OF INTEREST The topics of the workshop span practical and theoretical research on search techniques for constraint satisfaction and include but are not limited to: Complete and local search algorithms Analysis of search algorithms Search heuristics Search space pruning techniques Problem encodings for combinatorial problems using constraint programming and propositional satisfiability Novel applications using constraint satisfaction components Implementation techniques for constraint satisfaction and combinatorial optimization search algorithms Distributed and parallel algorithms for constraint satisfaction Case studies and empirical results SUBMISSION Authors should submit full papers with a maximum of 12 pages using Springer LNCS format. Submission is double blind. A selection of the workshop accepted full papers will be published by Springer LNAI sub-series. All the other accepted papers will be published in the workshop proceedings. IMPORTANT DATES Submission Deadline: 30.June.2007 Notification of acceptance: 28.July.2007 Workshop and EPIA 2007: 3-7.December.2007 ORGANISING COMMITTEE Francisco Azevedo, New University of Lisbon, Portugal Ines Lynce, Technical University of Lisbon, Portugal Vasco Manquinho, Technical University of Lisbon, Portugal PROGRAM COMMITTEE Pedro Barahona, Universidade Nova de Lisboa, Portugal Lucas Bordeaux, Microsoft Research, UK Carla Gomes, Cornell University, USA Zeynep Kiziltan, Università di Bologna, Italy Oliver Kullmann, University of Wales Swansea, UK Daniel Le Berre, Université d'Artois, France Felip Manyà, Universitat de Lleida, Spain João Marques-Silva, University of Southampton, UK Pedro Meseguer, IIIA-CSIC Barcelona, Spain Steven Prestwich, University College Cork, Ireland Olivier Roussel, Université d'Artois, France Carsten Sinz, University of Tübingen, Germany Barbara Smith, Cork Constraint Computation Centre, Ireland Armando Tachella, Università di Genova, Italy Mark Wallace, Monash University, Australia From walid.chainbi at lycos.com Tue May 15 10:23:23 2007 From: walid.chainbi at lycos.com (Walid Chainbi) Date: Tue, 15 May 2007 04:23:23 -0400 (EDT) Subject: ATAC'2007: Submission due extended to May 22 (firm deadline) Message-ID: <20070515042323.HM.0000000000000hb@walid.chainbi.bos-mail-wwl17.lycos.com> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From paschke at in.tum.de Tue May 15 21:48:55 2007 From: paschke at in.tum.de (Adrian Paschke) Date: Tue, 15 May 2007 21:48:55 +0200 Subject: CfP RuleML-2007, October 26/27, Orlando, Florida Message-ID: <464A0EA7.9080501@in.tum.de> [ our apologies should you receive this message more than one time ] The International RuleML Symposium on Rule Interchange and Applications (RuleML-2007) October 25-26, 2007, Orlando, Florida http://2007.ruleml.org ===================================================================== Co-located with: The 10th International Business Rules Forum http://www.businessrulesforum.com ===================================================================== Call for Papers Co-located with the 10th International Business Rules Forum, the International Symposium on Rule Interchange and Applications (RuleML-2007) is the first symposium devoted to work on practical distributed rule technologies and rule-based applications which need language standards for rules operating in the context of, e.g., the Semantic Web, Intelligent Multi-Agent Systems, Event-Driven Architectures and Service-Oriented Computing Applications. After a series of successful RuleML workshops and then conferences (e.g. http://2006.ruleml.org), this is a new kind of event where the Web Logic community joins the established, practically oriented Forum of the Business Rules community (http://www.businessrulesforum.com) to help cross-fertilizing between Web and Business Logic technology. The goal of RuleML-2007 is to bring together rule system providers, representatives of, and participants in, rule standardization efforts (e.g., RuleML, RIF, PRR, CL, SBVR) and open source rules communities (e.g., jBoss Rules , Jess, Prova, OO jDrew, Mandarax, XSB, XQuery), practitioners and technical experts, developers, users, and researchers. They will be offered an exciting venue to exchange new ideas, practical developments and experiences on issues related to the engineering, management, integration, interoperation and interchange of rules in open distributed environments such as the Web. A particular focus will be on practical issues such as technical contributions and show case demonstrations of effective, practical, deployable rule-based technologies, rule interchange formats and applications as well as discussions of lessons learned that have to be taken into account when employing rule-based technologies in distributed, (partially) open, heterogeneous environments. We also welcome theoretical contributions that help to build an effective, practical, and deployable rule standard, improve rule technology, provide better understanding of the integration and interchange of rules, and make the current generation of rule engines and rule technology more usable for advanced Web and Service Oriented Architectures. Topics of Interest ------------------ We invite to share their ideas, results, and experiences: industry practitioners, rule system providers, technical experts and developers, rule users, and researchers who are exploring foundations (especially in the area of system interoperability and rule interchange), are developing systems and applications, or are using rule-based systems. We invite submissions related (but not limited to) to one or more of the following topics: - Representation and meta-annotation of rules and rule sets (modules) for publication and interchange purposes - Collaborative authoring, modeling and engineering of rule specifications and rule repositories - Heterogeneous and homogenous information integration of external data and domain knowledge into rules including object-oriented data representations, databases, Web resources, meta-data repositories and Semantic Web ontologies - Homogeneous and heterogeneous integration of rules and ontologies - Hybrid rule systems combining, e.g. declarative rules and object-oriented programming or forward-reasoning production rules and backward-reasoning derivation rules - Management and maintenance of distributed rule bases and rule repositories during their lifecycle - Interchange and refactoring of rule bases in heterogeneous execution environments - Verification and validation of interchanged rule bases in heterogeneous execution environments - Contributions on effective, practical, and deployable Web standards on rules as well as special purpose, vertical domain rule languages - Communication between rule based systems using interchange formats and processing / communication middleware such as Event Processing Networks (EPN), and Enterprise Service Bus (ESB) and Event Driven Architectures (EDA) - Applications, products, research, and development in rule-based, distributed complex event processing (CEP), event communication and reaction rules (e.g., ECA rules, production rules, trigger rules) - Event-driven/action rule languages and models - Practical solutions tackling the real-world Software Engineering requirements of rule-based systems in open, distributed environments such as the Web - Modeling of executable rule specifications and tool support (e.g. development environments, editors, compilers, interpreters, translators/transformations, rule code generators) - Execution models, rule engines, and environments - Compilation vs. interpretation approaches of rules - Rules interchange standards and related industry interchange formats, e.g. SBVR, PRR, XBRL,FIX/FPL, FpML, MISMO, ACORD, RuleML, RIF, SWRL, etc. - Applications and integration of rules in web standards, e.g., semantic web services (SWS), WS-standards, BPEL, security (e.g. XRML), meta data processing (e.g. personal information management DC, vCard, FOAF, vCalendar etc.) - Rule-based software agents and (web) services - Applications of rules in the Semantic Web and Pragmatic Web (e.g. negotiation of ontology meaning or communication within a pragmatic context) - Comparing and advancing the state of current business rules engines (BRE) and business rules management system (BRMS) tools - Practical interoperation between different rule formats such as business rules, decision tables, decision trees, reactive rules, derivation rules, logical formulas, constraints, association rules, transformation rules and ontological domain conceptualization including meaning negotiation and practical use of agreed rules and vocabularies - Applications based on (Semantic) Web rule standardization or standards-proposing efforts - Translation of interchangeable and domain-independent rule formats and rule models into executable technical rule specifications - Extraction and reengineering of platform-independent, interchangeable rules and rule models from existing platform-specific resources and information - Natural-language processing of rules - Graphical processing, modelling and rendering of rules - Incorporation of rules technology into distributed enterprise application architectures such as such as Real-Time Enterprise (RTE), Business Activity Management (BAM), Business Performance Management (BPM), Business Process Management, Enterprise Workflow Systems, Database Management Systems or Supply Chain Management Solutions and related areas such as Service-based Architectures (Service Oriented Architectures (SOA) / Service Oriented Computing (SOC) / Service Component Architectures (SCA) ), Semantic Web Services (SWS), IT Service Management (ITSM) and IT Service Level Management (IT SLM) , and Policy solutions - Rule-based policies and electronic contracts: their specification, execution, and management - Languages for exchanging and processing information through the web, e.g. common base event, WS-standards, ebXML etc. - E-contracting and automated negotiations with rule-based declarative strategies - Applications of rules in e.g. legal reasoning, compliance rules, security, IT government, security, risk management, trust and proof reasoning, etc. - Rule-based (multi-valued) reasoning with and representing uncertain and fuzzy information - Rule-based reasoning with non-monotonic negation, modalities, deontic, temporal, priority, scoped or other rule qualifications RuleML-2007 Challenge --------------------- To place emphasis on the practical use of rule technologies in distributed Web-based environments there will be a RuleML-2007 Challenge with a focus on rule interoperation and interchange. The challenge offers participants the chance to demonstrate their commercial and open source tools, use cases, and applications. Prizes will be awarded to the two best applications. All accepted demos will be presented in a highly publicized Challenge Session, first sequentially for the RuleML-2007 plenary, and then in more detail on demand. The two award-winning ones will be presented in special time slots. Intentionally, this year's challenge does not define a specific task, data set, application domain, or technology to be used because the potential applicability of rules is very broad. Important Dates --------------- - Abstract Submission due June 15, 2007 - Paper Submissions due June 29, 2007 - Notification of acceptance July 23, 2007 - Final submissions due August 17, 2007 - Symposium date October 25-26, 2007 - RuleML Challenge October 25, 2007 Symposium Proceedings and Submission Details -------------------------------------------- Authors are invited to submit original contributions of practical relevance and technical rigor in the field, experience reports and show case / use case demonstrations of effective, practical, deployable rule-based technologies or applications in distributed environments. Papers must be in English and may be submitted as: - Full Papers (15 pages in the proceedings) - Short Papers (8 pages in the proceedings) - RuleML-2007 Challenge Demo Show Cases (1-5 pages in the proceedings) Please upload all submissions as PDF files in LNCS format (http://www.springer.de/comp/lncs/authors.html). All submissions must be done electronically via http://www.easychair.org/RuleML2007/. To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Authors are requested to upload the abstracts of their papers by June 15, 2007 and to upload their complete papers by June 29, 2007. The selected papers will be published as symposium proceedings to be produced in book form available for the event along with a CD with demo software and documents. The best paper from all submissions will be determined by the PC and a Best Paper Award will be handed over at the Symposium by a Sponsor. A number of selected papers will be invited for extension and publication in a special issue of a journal. Submissions to the RuleML Challenge 2007 consist of a paper of 3-5 pages and a link to a demonstration or download site for a demonstration. In case of product demos, the link can be password-protected: please submit a password for anonymous login from any Web browser, giving us the permission to pass the password on to 3 PC members. The demos will be evaluated by the RuleML-2007 Program Committee and prizes will be awarded to the first two best applications, sponsored by the RuleML Inc. non-profit organization. Please do not hesitate to email to the appropriate Symposium Chair(s), if you have any questions. Program Committee ----------------- - Asaf Adi, IBM Research Laboratory Haifa, Israel - Arun Ayachitula, IBM TJ Watson Research Center, USA - Sidney Bailin, Knowledge Evolution, USA - Claudio Bartolini, HP Labs Palo Alto, USA - Nick Bassiliades, Aristotle University of Thessaloniki, Greece - Bernhard Bauer, University of Augsburg, Germany - Lepoldo Bertossi, Carleton University, Canada - Loreto Bravo, University of Edinburgh, UK - Donald Chapin, Business Semantics Ltd, UK - Jorge Cuellar, Siemens AG, Germany - Mike Dean, BBN Technologies, USA - Stan Devitt, Agfa Healthcare, Canada - Jens Dietrich, Massey University, New Zeeland - Scharam Dustdar, Vienna University of Technology, Austria - Andreas Eberhart, HP, Germany - Opher Etzion, IBM Research Laboratory Haifa, Israel - Tim Finin, University of Maryland Baltimore County, USA - Dragan Gasevic, Athabasca University, Canada - Allen, Ginsberg, MITRE, USA - Robert Golan, DBmind Technologies, USA - Guido Governatori, University of Queensland, Australia - Gary Hallmark, Oracle, USA - David Hirtle, University of Waterloo, Canada - Christian Huemer, University of Vienna, Austria - Matthias Klusch, DFKI GmbH, Saarbrücken, Germany - Heiko Ludwig, IBM TJ Watson Research Center, USA - Christopher Matheus, Vistology, Inc., USA - Mala Mehrota, Pragati Research, USA - Jing Mei, Peking University, China - Jang Minsu, E&T Research Institute, Korea - Leora Morgenstern, Stanford University, USA - Joerg Mueller, TU Clausthal, Germany - Matthias Nickles, Technical University Munich, Germany - Bart Orriens, Tilburg University, Netherlands - Cheyne Patterson, USAchurch, USA - Alun Preece, University of Aberdeen, UK - Axel Polleres, DERI Galway, Irland - Jeff Pollock, Oracle, USA - Girish R Ranganathan, University of New Brunswick, Canada - Kai Simon, Albert-Ludwigs University Freiburg, Germany - Giorgos Stoilos, NTU Athens, Greece - Terrance Swift, XSB, Inc., USA - Paul Vincent, TIBCO Software, Inc., USA - Kewen Wang, Griffith University, Australia - Guizhen Yang, SRI, USA Organizing Committee -------------------- General Chair Said Tabet, Inferware Corp. stabet AT ruleml.org Program Co-Chairs Adrian Paschke, Technical University Munich, Germany paschke AT in.tum.de Yevgen Biletskiy, University of New Brunswick, Canada biletski AT unb.ca Challenge Co-Chairs Alexander Kozlenkov, Betfair Ltd., London, UK alex.kozlenkov AT betfair.com Ralph Hodgson, TopQuadrant, Inc., Mountain View, USA rhodgson AT topquadrant.com Panel Chair John Hall, Model Systems, UK john.hall AT modelsys.com Publicity Chair Suzette Stoutenburg, MITRE Corporation, USA suzette AT mitre.org (Sponsoring levels: http://2007.ruleml.org/sponsoring/) From axel.polleres at deri.org Sun May 27 19:33:22 2007 From: axel.polleres at deri.org (Axel Polleres) Date: Sun, 27 May 2007 19:33:22 +0200 Subject: 2nd CfP: ALPSWS2007 - 2nd Int'l Workshop on Applications of LP in the Web, Semantic Web and Semantic Web Services Message-ID: <4659C0E2.5080009@deri.org> *** 2nd call. Deadline approaching! *** *** Apologies for cross-posting *** ************************************************************************* 2nd International Workshop on Applications of Logic Programming in the Web, Semantic Web and Semantic Web Services (ALPSWS2007) http://www.bd.cesma.usb.ve/alpsws07 co-located with the International Conference on Logic Programming (ICLP2007) Porto, Portugal, 8-13 September 2007. ************************************************************************* Description: The advent of the Semantic Web promises machine-readable semantics and a machine-processable next generation of the Web. The first step in this direction is the annotation of static data on the Web with machine-processable information about knowledge and its structure, by means of ontologies. The next step in this direction is the annotation of dynamic applications and services invocable over the Web in order to facilitate automation of discovery, selection and composition of semantically described services and data sources on the Web by intelligent methods, which are called (Semantic) Web Services. In this workshop we want to advance the applications of Logic Programming as a paradigm for declarative knowledge representation and reasoning for the Web. The idea is to bring together the body of work related to applications of LP to the Web, Semantic Web and Web Services. We solicit contributions focusing on both practical applications and theoretical aspects of logic programming based approaches to Web related topics including (but not limited to): -Reasoning about Semantic Web languages such as RDF, RDFS, OWL, RuleML, WSML, OWL-S, SA-SWDL, SPARQL, RIF, etc. -Logic Programming based rule languages for the Semantic Web -Deductive query answering in a Semantic Web context -Ontology modeling and mediation using Logic Programming -Reasoning over large-scale ontologies -Reasoning with large instance data in the presence of ontologies -Combinations of Logic Programming and Description Logics -Modeling of and reasoning about Web Services -Applications of reasoning about actions and dynamics in the context of Web Services discovery and composition -Interactions of Logic Programming with other technologies such as agents, constraint programming, etc. in a (Semantic) Web context -Applications, use cases, experimental results and benchmarks -Extensions of Logic Programming engines for Semantic Web applications Important Dates: -8 June 2007, Submission of papers -6 July 2007, Notification of acceptance -20 July 2007, Camera-ready versions due -8 September 2007, Workshop Submissions and Proceedings: We invite two forms of submission to this workshop: full papers and short papers. Format required for submissions: Full papers shall be up to 16 pages length, short papers 6 pages which could include position papers, system descriptions or preliminary work. The workshop content will be made available in separate workshop proceedings. Please use the Springer LNCS format for the papers. Find submission details on ther workshop Webpage at: http://www.bd.cesma.usb.ve/alpsws07 We plan to invite authors of the best papers to submit revised and extended versions of their papers for an edited book on Applications of LP in the Web, Semantic Web and Web Services. Workshop Organization: The workshop will be organized in part around talks presenting research results in the intersection of the Semantic Web and Logic Programming selected from the accepted submissions. Another important part of the workshop will be to identify next steps and provide an opportunity for new ideas and initiatives. A part of the workshop will be dedicated towards discussion using the open-space methodology which facilitates and enables effective on site agenda building and execution. Organizing Committee: ---------------------------- Stijn Heymans, DERI, Leopold-Franzens Universitaet Innsbruck Axel Polleres, DERI Galway, National University of Ireland, Galway Gopal Gupta, University of Texas at Dallas, USA Edna Ruckhaus, Universidad Simon Bolivar, Caracas, Venezuela David Pearce, Universidad Rey Juan Carlos, Madrid, Spain Maria Esther Vidal, Universidad Simon Bolivar, Caracas, Venezuela Program Committee: ------------------------- Stefan Decker, DERI Galway Jos de Bruijn, Free University of Bozen-Bolzano Lukacsy Gergely, Budapest University of Technology and Economics Gopal Gupta, University of Texas Giovambattista Ianni, University of Calabria Zoé Lacroix, University of Arizona Enrico Pontelli, New Mexico State University Hans Tompits, Vienna University of Technology Alejandro Vaisman, University of Toronto María Esther Vidal, Universidad Simón Bolívar Gerd Wagner, Brandenburg University of Technology From jleite at di.fct.unl.pt Fri May 25 09:56:20 2007 From: jleite at di.fct.unl.pt (=?iso-8859-1?Q?Jo=E3o_Leite?=) Date: Fri, 25 May 2007 08:56:20 +0100 Subject: LADS'007 - Deadline Extension Message-ID: <004801c79ea2$32632f40$d9608b55@mydomain> ************************************************************************ DEADLINE EXTENSION **** New Submission deadline: June 15, 2007 **** Springer LNAI Post-Proceedings LADS'007 - First Workshop on Languages, methodologies and Development tools for multi-agent Systems http://lia.deis.unibo.it/confs/lads/ Part of MALLOW'007, a federation of workshops on Multi-Agent Logics, Languages, and Organisations September 3-7, 2007 Durham, United Kingdom ************************************************************************ Aim and Scope: This workshop is dedicated to formal approaches, programming languages, tools and techniques that support the development of multi-agent systems. LADS'007 aims to address both theoretical and practical issues related to developing and deploying multi-agent systems and promotes the discussion and exchange of ideas concerning concepts, methodologies, techniques and principles that are important for multi-agent programming technology, and application in areas such as the electronic institutions, semantic web, web services, security, grid computing, ambient intelligence, pervasive computing, and electronic contracting. This workshop welcomes submissions of original papers concerning all aspects of multi-agent development and deployment. Topics include but are not limited to: - 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 Paper Submission and Publication: Papers should be written in English, formatted according to the Springer LNCS style, and they should not exceed sixteen (16) pages including title page, figures, references, etc. Print and electronic post-proceedings of selected and revised LADS'007 papers will be published by Springer in the Lecture Notes in Artificial Intelligence series. Important dates: - Submission: 15 June 2007 - Notification: 20 July 2007 - Camera-ready: 3 August 2007 - Workshop: 4-6 September 2007 Organising Committee: - Mehdi Dastani - Amal El Fallah Seghrouchni - João Leite - Paolo Torroni All enquiries should be sent to lads2007 at easychair.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From A.M.King at kent.ac.uk Fri May 25 11:31:07 2007 From: A.M.King at kent.ac.uk (A.M.King) Date: Fri, 25 May 2007 10:31:07 +0100 Subject: LOPSTR 2007 Final Call for Papers Message-ID: Call for papers International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2007 22-24 August 2007, Kongens Lyngby, Denmark (co-located with SAS 2007) url: http://www.cs.kent.ac.uk/events/conf/2007/lopstr/ email: lopstr-2007 at kent.ac.uk Objectives: The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium, so authors can incorporate this feedback in the published papers. Topics: Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Papers describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: specification synthesis verification transformation analysis optimisation composition security reuse applications and tools component-based software development software architectures agent-based software development program refinement Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Submission information and Special Issue: Submissions can either be (short) extended abstracts or (full) papers whose length should not exceed 9 and 15 pages respectively. Submissions must be formatted in the Lecture Notes in Computer Science style (excluding bibliography and well-marked appendices not intended for publication). Referees are not required to read the appendices, and thus papers should be intelligible without them. Short papers may describe work-in-progress or tool demonstrations. Both accepted short and full papers will appear in the pre-proceedings. The full papers will automatically appear in the formal proceedings that will be published by Springer-Verlag in the Lecture Notes in Computer Science series. In addition, after the symposium, the programme committee will select those short papers to be considered for formal publication. These authors will be invited to revise and extend their submissions in the light of the feedback solicited at the meeting. Then after another round of reviewing, these revised papers will be also published in the formal proceedings. The very best papers will additionally be invited to submit for a special issue or special track of the journal Higher-Order and Symbolic Computation, provided there are sufficient high-quality submissions. Papers should be submitted either in PostScript or PDF format and they should be interpretable by Ghostscript or Acrobat Reader. Invited Speaker: Michael Codish (Ben-Gurion University of the Negev, Israel) Program Committee: Elvira Albert (Universidad Complutense Madrid, Spain) John Gallagher (University of Roskilde, Denmark) Michael Hanus (Christian-Albrechts-Universitaet zu Kiel, Germany) Jacob Howe (City University, UK) Andy King (University of Kent, UK) Michael Leuschel (Heinrich-Heine-Universitaet Duesseldorf, Germany) Mario Ornaghi (Universita degli Studi di Milano, Italy) Etienne Payet (Universite de La Reunion, France) Alberto Pettorossi (Universita di Roma Tor Vergata, Italy) Carla Piazza (Universita degli Studi di Udine, Italy) C. R. Ramakrishnan (SUNY Stony Brook, USA) Abhik Roychoudhury (National University of Singapore, Singapore) Peter Schneider-Kamp (RWTH Aachen, Germany) Alexander Serebrenik (Technische Universiteit Eindhoven, Netherlands) Josep Silva (Technical University of Valencia, Spain) Wim Vanhoof (University of Namur, Belgium) Important dates: Submission of paper/extended abstract June 8, 2007 Notification July 13, 2007 Revised version (for pre-proceedings) August 7, 2007 Symposium August 22-24, 2007 Camera-ready version (for post-proceedings) December 14, 2007 From gelevdp at cablebg.net Fri May 25 12:43:28 2007 From: gelevdp at cablebg.net (Dimitar P. Guelev) Date: Fri, 25 May 2007 13:43:28 +0300 Subject: 15 YEARS OF DURATION CALCULUS Message-ID: <006701c79eb9$888367c0$a3058255@ddns.cablebg.net> *** 3 weeks to the submission deadline; apologies for cross-postings *** Call for Papers 15 YEARS OF DURATION CALCULUS 22-23 September, 2007 - UNU/IIST, Macau SAR, China, Workshop affiliated with ICTAC 2007 During the 15 years since its introduction in 1991 the Duration Calculus has become an established formal method for the specification and verification of real-time systems. The fitness of DC for the study of real-time systems has been confirmed by numerous case studies. The needs of applications have made DC a topic of intense research and brought to life several variants and extensions of DC and the development of model-checking and automated proof-search tools. DC is the extension of Interval Temporal Logic by real-valued measurements of the duration of state. The connections between DC and other formalisms for modelling various measurements over timed behaviour remains an important area of investigation too. PURPOSE AND SCOPE The purpose of this workshop is to promote the study of the fundamental and practical aspects of DC, ITL and the related formal methods and to provide a forum for scientific exchange in the area of DC, interval temporal logics and other related systems. Countibutions should present original unpublished work on DC and its variants, ITLs and related formalisms. Particular topics of the workshop include: o modelling of system requirements in ITLs and DC o variants and extensions of ITLs and DC and their expressive power o non-determinism and probability in ITLs and DC o model-checking, decision procedures and complexity o proof systems and proof search o interval algebras and spatio-temporal reasoning o planning with temporal constraints o tools, case studies and applications o ITLs, DC and timed automata o connections between ITLs, DC and other formal approaches to real-time o applications to temporal representation in AI PROGRAMME COMMITTEE: Henning Dierks, OFFIS, Oldenburg, Germany; Catalin Dima, University of Paris 12, France; Martin Fraenzle, Oldenburg University, Germany; Valentin Goranko, University of the Witwatersrand, South Africa; Dimitar Guelev, IMI/BAS, Bulgaria (co-chair); Dang Van Hung, UNU-IIST, Macao (co-chair); Yassine Lakhnech, Verimag, France; Xuandong Li, Nanjing University, China; Angelo Montanari, University of Udine, Italy; Ben Moszkowski, De Montfort University, UK; Gethin Norman, University of Birmingham, UK; Paritosh Pandya, TIFR, India (co-chair); Arun K Pujari, University of Hyderabad, India; Alexander Rabinovich, Tel Aviv University, Israel; Anders P. Ravn, Aalborg University, Denmark; Ji Wang, Changsha, China; Yi Wang, Uppsala University, Sweden; James Worrell, Oxford University Computing Laboratory, UK; Qiwen Xu, UoM, Macao; Naijun Zhan, IoS, China SUBMISSION GUIDELINES You are invited to contribute a talk to the workshop. Manuscripts should be prepared using the LaTeX style of ENTCS (available from www.entcs.org) and submitted electronically at the workshop website, in either .ps or .pdf. The length of submissions should not exceed 10 A4 pages, including the list of references. Additional pages can be used for an appendix of proofs, but the understanding of the main part should not depend on that. At least one of the authors of accepted papers will be required to register for the workshop and present their contribution. PUBLICATION OF PROCEEDINGS The workshop proceedings will be published as an issue of the ENTCS journal, Elsevier. A preliminary version will be made available at the workshop, and the final version will be published online. IMPORTANT DATES Deadline for submissions: 18 June, 2007 Notification of acceptance: 25 July, 2007 Camera-ready copy: 15 August, 2007 Provisional programme: 20 August, 2007 Final programme: 5 September, 2007 Workshop dates: 22-23 September, 2007 CORRESPONDENCE AND FURTHER INFORMATION Send all correspondence to the workshop organizers at: dvh at iist.unu.edu gelevdp at math.bas.bg pandya at tifr.res.in More information can be found at the workshop website: http://www.iist.unu.edu/15yearsofDC/ Dang Van Hung, Dimitar P. Guelev, Paritosh K. Pandya From nza at Cs.Nott.AC.UK Fri May 25 12:11:32 2007 From: nza at Cs.Nott.AC.UK (nza at Cs.Nott.AC.UK) Date: 25 May 2007 11:11:32 +0100 Subject: Logics for resource-bounded agents workshop - extended deadline Message-ID: <200705251111.aa12982@pat.Cs.Nott.AC.UK> FINAL CALL FOR PAPERS: deadline extended! Workshop on Logics for Resource-Bounded Agents To be held as part of Multi-Agent Logics, Languages, and Organisations -- Federated Workshops (MALLOW'007) in Durham, 3-7 September 2007 http://www.dur.ac.uk/durham.agents007/MALLOW007 AIMS AND SCOPE Logics 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. TOPICS Topics include, but are not limited to, logical models of: * 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 * knowledge and belief of reasoners with bounded memory * knowledge and belief of reasoners with other resource bounds (e.g. bandwidth, sensing limitations) * other attitudes, such as desire, intention, etc., under bounded resources * limited awareness * paraconsistency * rational choice under bounded resources * games under bounded resources, e.g., o games with bounded recall o resource bounded reasoning about the structure of the game o incomplete information due to bounded resources IMPORTANT DATES Submission deadline: 15 June 2007 Notification of acceptance: 20 July 2007 Camera-ready: 3 August 2007 Workshop: 3-4 September 2007 PUBLICATION Accepted papers will appear in pre-proceedings published by MALLOW. We aim to publish a selection of revised and expanded papers as a journal special issue. (We are currently working on a special issue of the Journal of Logic, Language and Information based on LRBA 06 held as part of ESSLLI 2006 in Malaga). SUBMISSION GUIDELINES Authors are invited to submit a full original 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/LRBA07 Any equiries to lrba07 at cs.nott.ac.uk. ORGANIZING COMMITTEE Thomas Agotnes (Bergen University College, Norway) Natasha Alechina (University of Nottingham, UK) Brian Logan (University Nottingham, UK) PROGRAM COMMITTEE Johan van Benthem (University of Amsterdam, The Netherlands) Michael Fisher (University of Liverpool, UK) Joseph Halpern (Cornell University, USA) Paul Harrenstein (Ludwig-Maximilians-Universitat Munchen, Germany) Wiebe van der Hoek (University of Liverpool, UK) Jacek Malec (Lund University, Sweden) Rohit Parikh (Brooklyn College, CUNY, USA) Luciano Serafini (ITC-irst, Trento, Italy) Elias Thijsse (University of Tilburg, The Netherlands) This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From Belaid.Benhamou at cmi.univ-mrs.fr Fri May 25 17:11:02 2007 From: Belaid.Benhamou at cmi.univ-mrs.fr (benhamou) Date: Fri, 25 May 2007 17:11:02 +0200 Subject: Call for participation: TABLEAUX 2007 In-Reply-To: <4636257B.5040500@cmi.univ-mrs.fr> References: <200601291711.k0THB45e018819@birkhoff.cas.mcmaster.ca> <458C0FEC.4030407@cmi.univ-mrs.fr> <45BA3081.6040905@cmi.univ-mrs.fr> <4636257B.5040500@cmi.univ-mrs.fr> Message-ID: <4656FC86.7080109@cmi.univ-mrs.fr> We apologize for multiple copies of this CFP ------------------------------------------------------------ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Call for Participation %% %% %% %% TABLEAUX 2007 %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% International Conference TABLEAUX 2007 Automated Reasoning with Analytic Tableaux and Related Methods Aix en Provence, France 3-6 July 2007 http://tableaux2007.univ-cezanne.fr/ GENERAL INFORMATION This conference is the 16th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. TOPICS Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods. INVITED SPEAKERS: Piero Bonatti, Università di Napoli John-Jules Meyer, Utrecht University Cesare Tinelli, University of Iowa TUTORIALS: The Tableau Work Bench: Theory and Practice (P. Abate, R. Goré) Tableau Methods for Interval Temporal Logics (V. Goranko, A. Montanari) Semistructured Databases and Modal Logic (S. Cerrito) COLOCATED WORKSHOP: AGENTS, LOGIC AND THEOREM PROVING 3 July 2007, http://www.lif-sud.univ-mrs.fr/~schwind/Agentws.html ON-LINE REGISTRATION is now open at: http://tableaux2007.univ-cezanne.fr Due to the very high turistic actvity in Aix in July, the availability of hotel rooms is not guaranteed. We strongly suggest anybody who is interested in participating in the Conference to make his/her own hotel reservation as soon as possible, following the directions for accommodations found in the web site of the conference. Belaïd Benhamou Publicity Chair From treinen at lsv.ens-cachan.fr Thu May 24 16:29:50 2007 From: treinen at lsv.ens-cachan.fr (Ralf Treinen) Date: Thu, 24 May 2007 16:29:50 +0200 Subject: RDP'07 Registration open until May 31 Message-ID: <200705241429.l4OETonj022610@avocat.lsv.ens-cachan.fr> RDP 2007 - 2nd Call for Participation Federated Conference on Rewriting, Deduction, and Programming June 25 to 29, Paris, France http://www.rdp07.org ======================================================================== Regular registrations are open until May, 31. After that date there will be only limited possibilities for late registration for an elevated fee. Details of that will be posted on the web page. ======================================================================== RDP'07 is the fourth edition of the International Conference on Rewriting, Deduction, and Programming, consisting of two main conferences * Rewriting Techniques and Applications (RTA'07) * Typed Lambda Calculi and Applications (TLCA'07) a colloquium * From Type Theory to Morphologic Complexity: a Colloquium in Honor of Giuseppe Longo as well as the following workshops: * Higher Order Rewriting (HOR) * Proof Assistants and Types in Education (PATE) * Rule-Based Programming (RULE) * Security and Rewriting Techniques (SecReT) * Unification (UNIF) * Functional and (Constraint) Logic Programming (WFLP) * Reduction Strategies in Rewriting and Programming (WRS) * Termination (WST) Invited Speakers: ================= Joint RTA/TLCA: * Frank Pfenning (Carnegie Mellon University) TLCA: * Patrick Baillot (CNRS, University Paris 13) * Greg Morrisett (Harvard University) RTA: * Xavier Leroy (INRIA Rocquencourt) * Robert Nieuwenhuis (Technical University of Catalonia) Celebration of the 75th anniversary of the lambda calculus: * Henk Barendregt (Nijmegen University) Registration: ============= http://www.rdp07.org/registration.html From baldoni at di.unito.it Thu May 24 22:56:01 2007 From: baldoni at di.unito.it (Matteo Baldoni) Date: Thu, 24 May 2007 22:56:01 +0200 Subject: CFP: AWESOME@MALLOW'007 - new deadline - Message-ID: <4655FBE1.1090707@di.unito.it> [Please accept our apologies if you receive multiple postings.] ***************************************************************** Submission deadline: June 15th, 2007 (now open!) Submission deadline: June 15th, 2007 (now open!) Agents, Web-Services, and Ontologies Integrated Methodologies (MALLOW-AWESOME'007) International Workshop Durham, Uk, September 6th - 7th, 2007 Federated workshop of MALLOW'007: Multi-Agent Logics, Languages, and Organizations URL: http://awesome007.disi.unige.it/ Submission deadline: June 15th, 2007 (now open!) Submission deadline: June 15th, 2007 (now open!) ***************************************************************** CALL FOR PAPERS ***************************************************************** MALLOW-AWESOME'007 wants to stimulate discussion among resear- chers working on Agents, Web Services, and Ontologies, in order to help the identification and the definition of Methodologies for integrating them. The realisation of distributed, open, dyn- amic, and heterogeneous software systems is, in fact, a challe- nge that involves many facets, from formal theories to softwa- re engineering and practical applications. Scientists in various research areas, such as Semantic Web, Web Services, Agents, On- tologies, are attacking this problem from different perspectives. MALLOW-AWESOME'007 attempts to provide a discussion forum for collecting and comparing such diverse experiences with the aim of fostering cross fertilization. Topics of interest are all tho- se concerned with integrated and/or cross-field approaches for engineering Agents, Web Services, Ontologies. They include, but are not limited to: * Semantic Web Agents and Semantic Web Services * Integrated Methodologies, Notations, Infrastructures for Agen- ts, WSs, Ontologies * Enhancement of communication among Agents/WSs by means of Onto- logies * Formal aspects for Agents, WSs and Ontologies * Service-Oriented Multiagent systems * Implementing agents with WS technologies * Agent-inspired Declarative Approaches to WSs or SOA * Exploiting AOSE for engineering WSs and Ontologies * Orchestrations, choreographies, and Interaction Protocols: languages, theory and practice * Formal Description of contracts and negotiation policies * Tools for Semantic Web Services/Agents * Applications of Semantic Web Services/Agents ***************************************************************** IMPORTANT DATES ***************************************************************** Submission deadline: June 15th, 2007 (now open!) Notification of acceptance: July 20th, 2007 Final version due: August 3rd, 2007 Workshop: September 6th - 7th, 2007 ***************************************************************** SUBMISSION INSTRUCTIONS ***************************************************************** We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publica- tion elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 16 pages. Paper submission is electronic via the conference home page. ***************************************************************** WORKSHOP PROCEEDINGS ***************************************************************** Accepted papers will appear in pre-proceedings published by MALLOW and available at the workshop. Selected and expanded papers will be published as a special issue of the Multiagent and Grid Systems International Journal. ***************************************************************** ORGANISING COMMITTEE ***************************************************************** * Matteo Baldoni, University of Torino, Italy * Cristina Baroglio, University of Torino, Italy * Viviana Mascardi, University of Genova, Italy ***************************************************************** PROGRAMME COMMITTEE ***************************************************************** * Mario Bravetti, University of Bologna, Italy * Antonio Brogi, University of Pisa, Italy * Thomas Eiter, TU Vienna, Austria * Laura Giordano, University of Piemonte Orientale, Italy * Georg Gottlob, Oxford University Computing Laboratory, UK * Pilar Herrero, Universidad Politecnica de Madrid, Spain * Benjamin Hirsch, TU Berlin, Germany * Paola Mello, University of Bologna, Italy * Peter Massuthe, University Humboldt, Berlin, Germany * Andrea Omicini, University of Bologna, Italy * Viviana Patti, University of Torino, Italy * Adam Pease, Articulate Software, California, USA * Marco Pistore, ITC-Irst, Trento, Italy * Laurent Prevot, Academia Sinica in Taipei, Taiwan * Paolo Rosso, Universidad Politécnica de Valencia, Spain * Munindar Singh, North Carolina State University, USA * Leon Sterling, University of Melbourne, Australia * Birna van Riemsdijk, Ludwig-Maximilians-Universitaet Muenchen, Germany * Chris Walton, Slam Games, UK * Amal El Fallah Seghrouchni, University of Paris 6, France * Michael Winikoff, RMIT University, Australia * Yuhong Yan, National Research Council Institute for Information, Canada * Nobuko Yoshida, Imperial College, London, UK * Gianluigi Zavattaro, University of Bologna, Italy ***************************************************************** MALLOW'007 ORGANIZERS ***************************************************************** Rafael H. Bordini, University of Durham, UK Berndt Fawer, University of Durham, UK Patricia Shaw, University of Durham, UK Remark: if you are looking for the 3rd OTM International Workshop On Agents and Web Services in Distributed Environments (AWeSOMe '07), you are in the wrong place. Please look: http://www.cs.rmit.edu.au/fedconf/index.html?page=awesome2007cfp. From r.bordini at durham.ac.uk Wed May 23 07:34:26 2007 From: r.bordini at durham.ac.uk (Rafael H Bordini) Date: Wed, 23 May 2007 06:34:26 +0100 Subject: MALLOW'007: change of all important dates Message-ID: <1179898465.4653d262002b9@webmailimpa.dur.ac.uk> ================================================================= MALLOW'007 ---------- Multi-Agent Logics, Languages, and Organisations Federated Workshops http://www.dur.ac.uk/durham.agents007/MALLOW007/ ================================================================= MALLOW important news: ---------------------- Due to many requests during AAMAS-2007, the organisers of the MALLOW workshops decided to postpone all important dates by two weeks. Deadline for submission (for all workshops) has been postponed from 1st to 15th of June. See the webpage for more details. ================================================================= From jv at imm.dtu.dk Wed May 23 07:57:53 2007 From: jv at imm.dtu.dk (Joergen Villadsen) Date: Wed, 23 May 2007 07:57:53 +0200 Subject: Final call for papers: CSLP@Context07 - EXTENDED DEADLINE Message-ID: <20070523055753.7FE558A001C@pfepc.post.tele.dk> Final call for papers: CSLP at Context07 4th International Workshop on Constraints and Language Processing 20-21 August 2007, Roskilde, Denmark http://control.ruc.dk/CSLP2007.html Affiliated with CONTEXT07, http://context-07.ruc.dk DEADLINE for submissions: May 29, 2007 - EXTENDED The CSLP at Context07 workshop considers the role of constraints in the representation of language and the implementation of language processing. This theme should be interpreted inclusively: contributions from linguistics, computer science, psycholinguistics and related areas are welcome, and an interdisciplinary perspective is of particular interest. The collocation with the CONTEXT07 conference underlines the application of constraints for context comprehension and discourse modelling. Motivation ---------- Constraints are widely used in linguistics, computer science, and psychology. How they are used, however, varies widely according to the research domain: knowledge representation, cognitive modelling, problem solving mechanisms, etc. These different perspectives are complementary, each one adding a piece to the puzzle. For example, linguistics proposes in-depth descriptions implementing constraints in order to filter out structures by means of description languages, constraint ranking, etc. The constraint programming paradigm, on the other hand, shows that constraints have to be taken as a systematic whole and can thus play a role in building the structures (or can even replace structures). Finally, psycholinguistics investigates the role of constraint systems for cognitive processes in comprehension and production as well as addressing how they can be acquired. Invited speakers: ----------------- 2 or 3 distinguished researchers will be announced on the workshop web pages. Topics ------ The workshop seeks contributions from different areas working with constraints in relation to language including, but not limited to the topics . Constraints in human language comprehension and production . Context modelling and discourse interpretation . Acquisition of constraints . Constraints and learning . Cross-theoretical view of the notion of constraint . New advances in constraint-based linguistic theories . Constraint satisfaction (CS) technologies for NLP . Linguistic analysis and linguistic theories biased towards CS or constraint logic programming (CLP) . Application of CS or CLP for NLP . CS and CLP for other than textual or spoken languages, e.g., sign languages and biological, multimodal human-computer interaction, visual languages, . Probabilistic constraint-based reasoning Submissions ----------- Authors are invited to submit extended abstract or a full paper of up to 12 pages. Papers should be prepared as PDF files using the format for Springer's LNCS/LNAI series, http://www.springer.de/comp/lncs/authors.html Each submission will be commented by two or three reviewers. Preliminary proceedings are distributed at the workshop and, depending on number and quality of submissions, a volume of revised and selected papers are under considerations at an international publisher. Please submit papers as PDF files, following the guidelines at http://control.ruc.dk/CSLP2007.html Important dates --------------- Submission deadline May 29, 2007 - EXTENDED Notification June 14, 2007 Final version July 5, 2007 Workshop 20 and-or 21 August 2007 Registration ------------ Registration is done through the CONTEXT conference website, and the fee covers the conference and all workshops. http://context-07.ruc.dk At least one author of each accepted paper must register and present the paper at the workshop. Program Committee ----------------- Philippe Blache (Provence University, France) Henning Christiansen (Roskilde University, Denmark), co-chair Veronica Dahl (Simon Fraser University, Canada) Denys Duchier (INRIA, France) John Gallagher (Roskilde University, Denmark) Claire Gardent (University of Nancy, France) Barbara Hemforth (Provence University, France) Jerry Hobbs (University of Southern California, USA) M. Dolores Jiménez-López (Tarragona, Spain) Michael Johnston (AT&T, USA) Lars Konieczny (Freiburg university, Germany) Shalom Lappin (King's College, UK) Detmar Meurers (Ohio State University, USA) Véronique Moriceau (Université Paul Sabatier, Toulouse, France) Gerald Penn (University of Toronto, Canada) Kiril Simov (Bulgarian Academy of Sciences, Bulgaria) Jørgen Villadsen (Technical University of Denmark), co-chair Eric Villemonte de la Clergerie (INRIA, France) Organizing committee --------------------- Philippe Blache (Provence University, France) Henning Christiansen (Roskilde University, Denmark), co-chair Veronica Dahl (Simon Fraser University, Canada) Jørgen Villadsen (Technical University of Denmark), co-chair Inquiries --------- For any questions related to the workshop, do not hesitate to write to workshop co-chair Henning Christiansen, henning at ruc.dk More information at http://control.ruc.dk/CSLP2007.html From m.kohlhase at jacobs-university.de Fri May 18 14:39:16 2007 From: m.kohlhase at jacobs-university.de (Michael Kohlhase) Date: Fri, 18 May 2007 14:39:16 +0200 Subject: CADE-21 Woody Bledsoe Travel Awards (Call for Nominations) Message-ID: <464D9E74.5070502@jacobs-university.de> CADE-21 Woody Bledsoe Student Travel Award: Call for Nominations http://www.cadeconference.org/meetings/cade21/ The Woody Bledsoe Student Travel Award was created to honor the memory of Woody Bledsoe, for his contributions to mathematics, artificial intelligence, and automated theorem proving, and for his dedication to students. The award is intended to enable selected students to attend the International Conference on Automated Deduction (CADE) or the International Joint Conference on Automated Reasoning (IJCAR), whichever is scheduled for the year, by covering much of their expenses. In 2007, CADE will take place July 15-20, in Bremen, Germany. The winners of the 2007 Travel Award will be partially reimbursed for their conference registration, transportation, and accomodation expenses. Past awards have varied but have typically been 150 - 600 Euro, depending on the degree of active participation and the distance that needs to be traveled. Preference will be given to students who will play an active role in the conference, including satellite workshops, and do not have alternative funding. However, also students in other situations are very much encouraged to apply. A nomination consists of a recommendation letter of up to 300 words from the student's supervisor. Nominations for CADE-21 should be sent by e-mail to Michael Kohlhase, CADE-21 Conference Chair (m.kohlhase at iu-bremen.de) Nominations must arrive no later than June 1 and the winners will be notified by June 10. The awards will be presented at CADE; in case a winner does not attend, the chairs and trustees may transfer the award to another nominee or give no award. From m.kohlhase at jacobs-university.de Fri May 18 14:36:34 2007 From: m.kohlhase at jacobs-university.de (Michael Kohlhase) Date: Fri, 18 May 2007 14:36:34 +0200 Subject: CFParticipation CADE21, Bremen July 17-20 (Early Bird: June 10) Message-ID: <464D9DD2.4090402@jacobs-university.de> CADE-21 21st International Conference on Automated Deduction Jacobs University, Bremen, Germany July 17-20, 2007 (workshops July 15-16) http://www.cadeconference.org/meetings/cade21 Call for Participation CADE is the major forum for the presentation of research in all aspects of automated deduction. - Logics of interest include propositional, first-order, equational, higher-order, classical, intuitionistic, constructive, modal, temporal, many-valued, substructural, description, and meta-logics, logical frameworks, type theory and set theory. - Methods of interest include resolution, tableaux, term rewriting, induction, unification, constraint solving, SAT solving, decision procedures, saturation, model generation, model checking, natural deduction, sequent calculi, proof planning, proof presentation, proof checking, and explanation. - Applications of interest include hardware and software development, systems analysis and verification, deductive databases, functional and logic programming, computer mathematics, natural language processing, computational linguistics, robotics, planning, knowledge representation, and other areas of AI. Invited speakers: Peter Baumgartner, NICTA and Australian National University Rustan Leino, Microsoft Research Colin Stirling, University of Edinburgh Ashish Tiwari, SRI International Affiliated workshops (July 15-16, 2007): ADDCT - Automated Deduction: Decidability, Complexity, Tractability CVF - Fourth International Workshop on Constraints in Formal Verification DISPROVING - Workshop on Disproving: Non-Theorems, Non-Validity, Non-Provability ESARLT - Empirically Successful Automated Reasoning in Large Theories ISABELLE-WS - Isabelle Workshop LFMTP - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice VERIFY - 4th International Verification Workshop Woody Bledsoe student travel awards: Nominations must be made by June 1; details available at http://www.cadeconference.org/meetings/cade21/calls/bledsoe-award.txt Registration is open at http://www.cadeconference.org/meetings/cade21/registration.html Important dates: Early Bird Registration: until June 10, 2007 Workshops and tutorials: July 15-16, 2007 Conference: July 17-20, 2007 Conference Chair: Michael Kohlhase (Jacobs Univ.) Workshop and Tutorial Chair: Christoph Benzmueller (Cambridge) Program Chair: Frank Pfenning (CMU) -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62 Professor of Computer Science Campus Ring 12, School of Engineering & Science D-28759 Bremen, Germany Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase skype: m.kohlhase * International University Bremen until Feb. 2007 ---------------------------------------------------------------------- From basili at info.uniroma2.it Wed May 16 16:54:32 2007 From: basili at info.uniroma2.it (Roberto Basili) Date: Wed, 16 May 2007 16:54:32 +0200 Subject: AI*IA07 - WS CfP: ""Cooperative Construction of Linguistic Knowledge Bases"" Message-ID: <5.2.1.1.0.20070516165252.01ebb070@mail.disp.uniroma2.it> Workshop "Cooperative Construction of Linguistic Knowledge Bases" at AI*IA 2007 (http://aiia.info.uniroma2.it/) Rome, Italy, September 10, 2007 WS URL: www.senso-comune.it/pages/aiia2007/workshop.html Call for Papers Key to the "Semantic Web" vision is the intuition that in order for the Web s content to be fully exploited, automatic systems must be given the ability to interpret words as carriers of meaning, rather than just tags. As a global place where people and systems talk each other, the Web reflects today the complexity of natural language. Hence, the Web's development is necessarily heavily tied to natural language semantics. Linguistic ontologies are usually regarded as knowledge bases for enabling automatic systems performing crucial tasks such as information extraction and semantic search. Thus the problem of acquiring, maintaining and enhancing these knowledge bases is one of the most relevant tasks for the Web community. Natural languages exist in use, and they belong to their users. They are a social product and their main strength is the consensus of the speakers. The usual approach to the development of linguistic ontologies, however, is merely authoritative. This approach reveals two major drawbacks: on one hand, the volume of natural language senses, along with their relationships, overwhelms the capability of any singular authority; on the other hand, the continuous creation of sense within concrete communities can hardly be framed by highly structured regulation activities. A novel promising approach to the acquisition of linguistic knowledge bases starts from the idea of a direct exploitation of human communities. Huge encyclopedic resources such as Wikipedia have been freely built by large communities, thus it is reasonable to pose the question whether a community-based approach can be applied to the creation of linguistic knowledge. Topics A number of relevant issues are to be addressed when approaching the cooperative construction of linguistic knowledge bases: Formalization * Formal representation of linguistic resources * Natural language semantics and foundational ontologies * Reasoning tasks and reasoning techniques for the construction of linguistic knowledge bases Content * Acquisition and enrichment of lexical resources * Interoperability with lexical databases * Learning, evaluation, and revision of linguistic knowledge bases * Methodologies for the cooperative construction of linguistic knowledge bases * Human interfaces for the rapid creation of linguistic knowledge bases Paper Submission Format We encourage submissions of long (12 pages) papers describing completed and ongoing research, as well as short (8 pages) papers describing tools. There will also be a demo session where tools can be presented. Standing the page limits defined above, please follow the main AIIA submission format (http://aiia.info.uniroma2.it/submission.html) when preparing your paper . Submissions are due in PDF format attached to an email sent to the following email address: segreteria at senso-comune.it Important Dates * Deadline for paper submission: June 11th 2007 * Notification of workshop paper acceptance: July 6th 2007 * Camera-ready workshop papers: July 20, 2007 Please note that this is a satellite event, and we are therefore bound to hard deadlines set by the main conference organisers. No deadline extensions can be granted. Organizers The founders of the Senso Comune association: * Tullio De Mauro (Università di Roma "LA Sapienza") * Aldo Gangemi (ISTC-CNR, Roma) * Nicola Guarino (ISTC-CNR, Trento) * Maurizio Lenzerini (Università di Roma "LA Sapienza") * Malvina Nissim (Università di Bologna) * Guido Vetere (IBM, Roma) Contacts: e-mail: segreteria at senso-comune.it ------------------------------------------------------------------------------------ Roberto BASILI Department of Computer Science, Systems and Production AI Research Group University of Roma, Tor Vergata Via del Politecnico 1 00133 Roma, Italy Tel. +39-06-72597391. Lab. +39-06-72597332, Fax. +39-06-72597460 URL: ai-nlp.info.uniroma2.it/basili ------------------------------------------------------------------------------------ From L.C.Verbrugge at rug.nl Wed May 16 22:01:22 2007 From: L.C.Verbrugge at rug.nl (Rineke Verbrugge) Date: Wed, 16 May 2007 22:01:22 +0200 Subject: FAMAS 2007: Second Call for Papers In-Reply-To: <7F76E3FE-C8DC-11DB-85FD-000A957C0F6E@ai.rug.nl> References: <7F76E3FE-C8DC-11DB-85FD-000A957C0F6E@ai.rug.nl> Message-ID: <4A7646F8-DC83-4A8C-8C35-A81AF23B211C@rug.nl> -We apologize for multiple copies- ------------------------------------------------------------ Second Call for papers Formal Approaches to Multi-agent Systems (FAMAS'007) Durham, UK Thursday and Friday 6 and 7 September, 2007 http://www.mimuw.edu.pl/MAS/FAMAS007/ Part of MALLOW'007, 3-7 September, 2007 Submission deadline: Friday 1 June, 2007 -------------------------------------------------------------- -------------------- Description of FAMAS -------------------- In recent years, multi-agent systems have come to form one of the key technologies for software development. The third edition of the FAMAS workshop series, after the success of FAMAS'03 affiliated to ETAPS'03 in Warsaw and FAMAS'06 affiliated with ECAI'06 in Riva del Garda, aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. Suggested, but not exclusive, topics of interest for the workshop are: * logics for multi-agent systems; * formal methods for verification of multi-agent systems; * formal models of teamwork; * formal approaches to communication, coordination and negotiation; * logical analysis of games; * computational social choice; * logical approaches to protocols ensuring privacy and security; * reasoning with uncertainty in a distributed environment; * approximate reasoning in a multi-agent environment. ----------------------- Submission instructions ----------------------- Submissions should be written in English, unpublished, and not simultaneously submitted for publication elsewhere. Papers should be formatted according to the Springer LNCS style and not exceed 15 pages. (See the Springer LNCS homepage: http://www.springer.de/comp/ lncs/authors.html ) Please send your paper in Portable Document Format (PDF) to both rineke at ai.rug.nl and keplicz at mimuw.edu.pl. --------------- Important dates --------------- Friday 1 June 2007 Submission of papers Friday 6 July 2007 Notification of acceptance Friday 20 July 2007 Camera-ready copies due Thursday and Friday 6-7 September 2007 FAMAS Workshop ----------- Proceedings ----------- Informal workshop proceedings will be available at the workshop. A special issue of Fundamenta Informaticae, namely vol. 63 (2-3), 2004, collected new versions of the best papers of FAMAS'03. In 2008, a special issue of JAAMAS will come out that includes extended versions of the best papers of FAMAS'06. For the 2007 edition as well, authors of selected papers will be invited to submit an extended version of approximately 20 to 30 pages for a special issue of an appropriate journal. Further details will be announced at FAMAS'007. ---------------- Venue ---------------- The workshop will be part of this year's Multi-Agent Logics, Languages, and Organisations federated Workshops, MALLOW'007, hosted by the Department of Computer Science and St. Chad's College, University of Durham, U.K. Participants in the FAMAS workshop are urged to participate in the co- located workshops. For more details of MALLOW, please see http:// www.dur.ac.uk/durham.agents007/MALLOW007/ . Registration is already open at http://www.dur.ac.uk/durham.agents007/daRegist.php MALLOW'007 is preceded by this year's edition of the European Agent Systems Summer School in Durham, taking place 27-31 August 2007, see http://www.dur.ac.uk/durham.agents007/EASSS07/ The MALLOW'007 format will allow us to host a two-day meeting with longer presentations that have not been feasible in previous editions of FAMAS. ---------------- Invited speakers ---------------- Four invited lectures will take place in the week of 3-7 September as the joint part of MALLOW'007. The invited speakers are: -Dave Robertson (University of Edinburgh), Monday 3 September; -Wiebe van der Hoek (University of Liverpool), Tuesday 4 September; -Munindar Singh (North Carolina State University), Wednesday 5 September; -Andrzej Szalas (Linköping University, Warsaw University), Friday 7 September). Prof. Andrzej Szalas is the speaker invited by FAMAS. He will present new research directions in approximate methods for multi-agent environments. ------------------ Program committee ------------------ Barbara Dunin-Keplicz, Warsaw University and Polish Academy of Sciences, Poland (chair) Rineke Verbrugge, University of Groningen, The Netherlands (chair) Hans van Ditmarsch, University of Otago, New Zealand Amal El Fallah-Seghrouchni, University of Paris 6, France Andreas Herzig, Universite Paul Sabatier, France Wiebe van der Hoek, University of Liverpool , UK Wojtek Jamroga, Clausthal University of Technology, Germany Michael Luck, University of Southampton, UK John-Jules Meyer, Utrecht University, The Netherlands Tim Norman, University of Aberdeen, UK David Robertson, University of Edinburgh, UK Jeff Rosenschein, The Hebrew University of Jerusalem, Israel Onn Shehory, IBM - Haifa Research Labs, Israel Carles Sierra, IIIA, Spanish Research Council, Spain ------------------- Workshop organizers ------------------- Barbara Dunin-Keplicz - keplicz at mimuw.edu.pl Institute of Informatics, Warsaw University and Institute of Computer Science, Polish Academy of Sciences http://www.mimuw.edu.pl/~keplicz/ Rineke Verbrugge - rineke at ai.rug.nl Institute of Artificial Intelligence, University of Groningen http://www.ai.rug.nl/~rineke From ivan.varzinczak at gmail.com Thu May 24 10:37:32 2007 From: ivan.varzinczak at gmail.com (=?ISO-8859-1?Q?Ivan_Jos=E9_Varzinczak?=) Date: Thu, 24 May 2007 10:37:32 +0200 Subject: subscribe Message-ID: <3dc5ef7e0705240137g10cff162vbc0fa28d81980ef6@mail.gmail.com> -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mustafajarrar at gmail.com Mon May 28 02:57:11 2007 From: mustafajarrar at gmail.com (mustafa jarrar) Date: Mon, 28 May 2007 02:57:11 +0200 Subject: OnToContent 2007 (Call1) Message-ID: <05bc01c7a0c3$21de1d60$a8000e0a@starpc30> - OnToContent 2007 - Workshop on Ontology Content and Evaluation in Enterprise -With two tracks on eHealth and Human Resources- http://www.starlab.vub.ac.be/staff/mustafa/OnToContent07 ****************************************************************** *** Proceedings published by Springer LNCS *** Invited Speaker: To be announced *** Submission Deadline: July 14, 2007 *** Topics: Ontology Content, Evaluation, standardization, eHealth *** Enterprise, Human Resources ****************************************************************** In conjunction of the International Federated Conferences (OTM '07) Oct 28 - Nov 2 2007, Algarve, Portugal This workshop is organized by the Ontology Outreach Advisory (OOA). The OOA is an international not-for-profit association that consists of industry, government, and research leaders and innovators with respect to ontology development, use, or education. The general mission of the OOA is to develop strategies for ontology recommendation and standardization, and promote the ontology technology to industry. Current trends within the Semantic Web research are mainly concerned with technological issues, such as language capabilities, inference services, etc. Yet less attention has been given to ontology content and its quality. This workshop aims to focus on content issues, such as methodologies and tools concerned with modeling good ontologies, approaches to ontology content evaluation, quality measures, ontology content management (e.g. metadata, libraries, and registration), ontology documentation, etc. The workshop also aims to give a special attention to ontology content issues in two industrial sectors: human resources and employment, and healthcare and life sciences. We welcome papers and (past/planned) project descriptions that discuss ontology modeling and evaluation aspects, particularly: * Research papers presenting theoretical solutions, but with a clear illustration on how these solutions can be applied in industry. * Position papers presenting opinions on some aspect of ontology practice, or describing work that is still in progress, but sufficiently mature to warrant attention. * Business experience and case studies specifying requirements, challenges, or opportunities of modeling and applying ontologies in industry. Workshop Structure The workshop consists of three tracks: Ontology Evaluation, Ontologies in Human Resources and Employment, and ontologies in Healthcare and life sciences: Methods and tools for ontology evaluation: * Ontological evaluation. * Logical evaluation. * Usability/usefulness evaluation. * Ontology compliance to standards. * Ontology standardization and recommendation scenarios. * Ontology metadata, and libraries. * Ontology documentation. * Ontology registration and certification. * Ontology interoperability. * Consensus reaching. * Business cases studies. Ontologies in Human Resources * Modeling and representation of: Jobs, CVs, Competencies, Skills, Employees, People, Organizations, Social Events, etc. * HR upper level concepts. * Semantics of HR-XML. * Semantic metadata for HR applications. * Semantics in job matching. * Semantics is learning technologies. * Multilinguality in human resources ontologies. * Best practice and semantic patterns in ontology modeling and evaluation. Ontologies for Healthcare and Life sciences * Ontologies in Biomedicine and bioinformatics. * Ontologies of diseases, nursing, therapeutics, drug, etc. * Upper level concepts of healthcare and life sciences ontologies. * Semantic metadata for Clinical Data Interchange. * Semantics of medical XML standards and vocabularies. * Multilinguality in Biomedicine and bioinformatics ontologies. * Best practice and semantic patterns in ontology modeling and evaluation Submissions We invite (A) research papers describing original studies of no more than 12 pages; (B)Position papers presenting opinions or work in progress of no more than 6 pages; and (C) Business experience and case studies of no more than 8 pages. Submitted papers will be fully refereed based on the originality and significance of the ideas presented as well as on technical aspects. Each paper will be reviewed by at least one expert from academia, and at least one expert from industry. The final 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 The paper submission site is located at: http://www.cs.rmit.edu.au/fedconf/ontocontent/2007/papers Important dates * Abstract Submission Deadline: July 14, 2007 * Paper Submission Deadline: July 22, 2007 * Acceptance Notification: September 1, 2007 * Camera Ready Due: September 10, 2007 * OTM Conferences: November 25 - 30, 2007 Organizers and program chairs * Mustafa Jarrar, STARLab, Vrije Universiteit Brussel, Belgium * Andreas Schmidt, FZI, Germany * Claude Ostyn, IEEE-LTSC, USA * Werner Ceusters, University of Buffalo, USA Program Committee (To be confirmed) * Adil Hameed, Catalysoft, UK * Alain Leger, FranceTelecom, France * Aldo Gangemi, Laboratory for Applied Ontology, ISTC-CNR, Rome, Italy * AlessandroOltramari, LAO, ISTC-CNR, Trento, Italy * André Valente, Knowledge Systems Ventures, USA * Andrew Stranieri, JUSTSYS, Ballarat, Australia * Armando Stellato, University of Roma, Italy * Avigdor Gal, Technion - Israel Institute of Technology, Ilsrael * Barry Smith, State University of New York at Buffalo, USA * Bill Andersen, Ontology Works, USA * Bob Colomb, The University of Queensland, Australia * Christiane Fellbaum, Princeton University, USA * Christine Kunzmann, Kompetenzorientierte Personalentwicklung, Germany * Christopher Brewster, University of Sheffield, UK * ChristopheRoche, Université de Savoie, France * Ernesto Damiani, Milan University, Italy * ErnestoDamiani, University of Milan, Italy * Ernst Biesalski, SAP AG, Germany * Fausto Giunchiglia, University of Trento, Italy * Francesco Danza, Expert System SpA, Italy * Francky Trichet, IRIN - Computer Science Research Institute, France * Giancarlo Guizzardi, University of Twente, The Netherlands * Hans Akkermans, Vrije Universiteit Amsterdam, The Netherlands * Jeff Pan, University of Aberdeen, UK * Jens Lemcke, SAP, Germany * John Domingue, The Open University, UK * John Sowa, IBM, USA * Joost Breuker, University of Amsterdam, The Netherlands * Karl Stroetmann, Empirica, Germany * KeithBaker, University of Reading, UK * Kewen Wang, Griffith University, Australia * LukVervenne, Synergetics, Belgium * MichaelBrown, Skillsnet.Com * Miguel-Angel Sicilia, University of Alcal?, Spain * Mohand-Said Hacid, University Claude Bernard Lyon 1 LIRIS, France * Nikolay Mehandjiev, University of Manchester, UK * Paolo Bouquet, University of Trento, Italy * Paul Piwek, Open university, UK * Pavel Shvaiko, University of Trento, Italy * Robert Meersman, STARLAb, Vrije Universiteit Brussel, Belgium * Robert Tolksdorf, Free university of Berlin, Germany * Sergio Tessaris, Free University of Bozen-Bolzano, Italy * Silvie Spreeuwenberg, LibRT, The Netherlands * Stefanie Lindstaedt, Know-Center Graz, Austria * Stephen McGibbon, Microsoft, UK * StijnHeymans, University of Innsbruck, Austria * Theo Hensen, CWI, The Netherlands * Yannick Legré, CNRS, France * Yannis Charalabidis, National Technical University of Athens, Greece * Yaser Bishr, Image Matters, USA From jap at cs.bath.ac.uk Mon May 28 13:00:26 2007 From: jap at cs.bath.ac.uk (Julian Padget) Date: Mon, 28 May 2007 12:00:26 +0100 Subject: Third CFP: Coordination, Organizations, Institutions and Norms (COIN) @ Durham Message-ID: <1180350026.7052.7.camel@jap-lap2> ***Extension of submission deadline to June 15th*** ***Submission now open*** With the usual apologies for cross-posts --Pablo Noriega and Julian Padget. -------------------------------------------------------------------------------------- The MALLOW Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN) http://www.cs.bath.ac.uk/COIN2007 Durham, UK 3rd-4th September, 2007 An international workshop of the COIN series AIMS AND SCOPE In recent years, social and organizational aspects of agency have become a major issue in MAS research. Recent applications of MAS in Web Services, Grid Computing and Ubiquitous Computing make clear the need to take into account social, legal, economic and technological dimensions of agent interactions in order to ensure social order within these environments. The MAS research community has addressed that need from different perspectives that have gradually become more cohesive around the four notions that give title to the workshop: coordination, organization, institutions and norms. COIN at MALLOW07 provides a space for presentation and debate for researchers active in these areas. TOPICS OF INTEREST INCLUDE: Ontologies, methodologies, tools and standards for regulated MAS. Social science background for regulated MAS: Roles, authority, motivation, social power and other social relationships and attitudes. Languages for norms: expressiveness vs. efficiency. Electronic institutions and virtual organizations. Coordination and interaction conventions, technologies and artifacts. Institutional aspects of peer to peer interactions. Dynamic, adaptive and emergent organizational structures. Issues in regulatory dynamics (creation, evolution, change, disappearance). Issues in regulated MAS implementation. Examples of significant regulated environments. Simulation, analysis and verification of regulated MAS. We particularly encourage authors to submit innovative and original papers that report on: Software frameworks, tools, and methodologies; Applications, case studies, and experimental work; Formal and theoretical models. Papers describing ongoing work and position papers are welcome as well. VENUE The workshop will be part of this year's Multi-Agent Logics, Languages, and Organisations federated Workshops, MALLOW'007 hosted by the Department of Computer Science and St. Chad's College, University of Durham, U.K.. Participants in the COIN workshop are urged to participate in the co-located workshops. For more details of MALLOW, please see http://www.dur.ac.uk/durham.agents007/MALLOW007/ The MALLOW'007 format will allow us to host a two-day meeting with longer presentations, round tables and discussions that have not been feasible in previous editions of COIN. PROCEEDINGS Proceedings will be available at the workshop. As with previous COIN workshops, revised and extended versions of the papers of the two 2007 workshops will be published in a single Springer LNCS volume (confirmation pending). Those revised versions must take into account the discussion held during the workshop, hence, only those papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. IMPORTANT DATES Paper submission deadline: June 15 Notifications of acceptance/rejection: July 21 Camera-ready copies due: August 3 Workshop Dates: September 3 and 4 PREPARATION AND SUBMISSION OF PAPERS For preparation of papers to be submitted please follow the instructions for authors available at the Springer LNCS Web page:http://www.springer.de/comp/lncs/authors.html. The length of each paper including figures and references may not exceed 12 pages. All papers must be written in English and submitted in PDF format. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the conference to present the work. You may submit your paper via e-mail to pablo_ at _iiia_.csic._es (remove the "_") PROGRAM COMMITTEE Guido Boella (Torino, IT) Olivier Boissier (Saint-Etienne, FR) Christiano Castelfranchi (IST-CNR, IT) Stephen Cranefield (Otago, NZ) Marina de Vos (Bath, UK) Virginia Dignum (Utrecht, NL) Marc Esteva (UT Sydney, AU) Nicoletta Fornara (Lugano, CH) Carl Hewitt (MIT, US) Christian Lemaitre (UAM, MX) Victor Lesser (UMASS, USA) Gabriela Lindemann (Humboldt U. Berlin, DE) Fabiola López (BUAP, MX) Michael Luck (King's College London, UK) Eric Matson (Wright, US) Tim Norman (Aberdeen, UK) Eugénio Oliveira (Porto, PT) Andrea Omicini (Bologna, IT) Sascha Ossowski (URJC, ES) Juan Antonio Rodríguez (IIIA. ES) Marek Sergot (Imperial, UK) Carles Sierra (IIIA, ES) Mario Verdicchio (Politecnico di Milano, IT) Wamberto Vasconcelos (Aberdeen, UK) Javier Vazquez-Salceda (UPC, ES) ORGANIZATION WORKSHOP CHAIRS Pablo Noriega, IIIA-CSIC, Campus UAB, Bellaterra; Barcelona 08193 (ES) tel. +34 93 580 9570 Fax. +34 93 580 9661 e-mail: pablo_ at _iiia_.csic.es (remove the "_") Julian Padget, Department of Computer Science, University of Bath, Bath BA2 7AY (UK) tel. +44 1225 386971 Fax: +44 1225 383493 e-mail: jap_ at _cs.bath.ac.uk (remove the "_") COIN STEERING COMMITTEE Guido Boella, Italy Olivier Boissier, France Virginia Dignum, The Netherlands Victor Lesser, USA Pablo Noriega, Spain Andrea Omicini, Italy Sascha Ossowski, Spain Julian Padget, UK Jaime Sichman, Brazil From aldini at sti.uniurb.it Mon May 28 13:55:24 2007 From: aldini at sti.uniurb.it (Alessandro Aldini) Date: Mon, 28 May 2007 13:55:24 +0200 (CEST) Subject: FOSAD 2007: final cfp Message-ID: (Apologies for multiple copies) ** Application Deadline: June 14, 2007 ** %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % SEVENTH INTERNATIONAL SCHOOL ON % % FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN % % ============================================== % % % % FOSAD 2007 % % http://www.sti.uniurb.it/events/fosad07 % % % % 9-15 September 2007, Bertinoro, Italy % % % % *** Announcement *** % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% General Information ^^^^^^^^^^^^^^^^^^^ Security in computer systems and networks emerged as one of the most challenging research areas. The International School on Foundations of Security Analysis and Design (FOSAD) has been one of the foremost events established with the goal of disseminating knowledge in this critical area. The main aim of the FOSAD school is to offer a good spectrum of current research in foundations of security - ranging from programming languages to analysis of protocols, from cryptographic algorithms to access control policies and trust management - that can be of help for graduate students and young researchers from academia or industry that intend to approach the field. The seventh edition of FOSAD alternates monographic courses of 3 to 5 hours and special sessions dedicated to presentations given by those participants that intend to take advantage of the audience for discussing their current research in the area. Programme: * Ross Anderson (University of Cambridge, UK) API Security and Security Economics * Ulfar Erlingsson (Microsoft Research, USA) Low-level Software Security * Cathy Meadows (Naval Research Laboratory, USA) Application of Formal Methods to Cryptographic Protocol Analysis * Chris Mitchell (Royal Holloway, University of London, UK) Trusted Mobile Platforms * George Necula (University of California, Berkeley, USA) Language-Based Security * Bart Preneel (KU Leuven, Belgium) Cryptographic Algorithm Engineering and Provable Security * Jean-Jacques Quisquater (UCL, Belgium) Embedded Systems Security and Cryptographic Coprocessors * Roberto Segala (University of Verona, Italy) Quantitative Aspects in the Analysis of Crypographic Protocols Proocedings of the lectures will appear as a volume in the tutorial series of Springer LNCS. The volume will also collect material presented at FOSAD 2006. Location ^^^^^^^^ The school is organized at the University Residential Center of Bertinoro, situated in Bertinoro, a small village on a scenic hill with a wonderful panorama, in between Forli' and Cesena (about 50 miles south-east of Bologna, 15 miles to the Adriatic sea). The cheapest way to travel is by plane to Forli' airport (the secondary airport of Bologna), which is daily connected to, e.g., London and Frankfurt AM through the low fares airline Ryanair. Organisation ^^^^^^^^^^^^ Scientific Committee: - Roberto Gorrieri director (University of Bologna) - Martin Abadi (University of California at Santa Cruz, USA) - Alessandro Aldini (University "Carlo Bo" of Urbino) - Sandro Etalle (Twente University, The Netherlands) - Javier Lopez (University of Malaga) - Fabio Martinelli (CNR-IIT, Pisa) - Catherine Meadows (U.S. Naval Research Laboratory) Administrative staff: - Andrea Bandini, director (University Residential Centre of Bertinoro) - Eleonora Campori (University Residential Centre of Bertinoro) Important Dates ^^^^^^^^^^^^^^^ Prospective participants should apply through the web site by June 14, 2007. Notification of accepted applicants will be posted by June 18, 2007. Registration to the school is due by July 24, 2007. Fees ^^^^ Accommodation fee is 350 Euros and covers costs for 6 nights (starting from Sunday 9 September, 2007) in double room, half board (breakfast and lunch, dinner of 9 September 2007 included, lunch of 15 September 2007 excluded). Registration fee is 350 Euros and includes didactical material from the lectures. Grants ^^^^^^ A limited amount of grants will be provided to cover part of the expenses. Please, include your request with the application. Further Information ^^^^^^^^^^^^^^^^^^^ More detailed information available at URL http://www.sti.uniurb.it/events/fosad/ http://www.sti.uniurb.it/events/fosad07 Sponsors ^^^^^^^^ * ARTIST 2 Network of Excellence on Embedded Systems Design * CNR-IIT, Pisa * SENSORIA Software Engineering for Service-Oriented Overlay Computers * University of Bologna Under the auspices of: * EATCS - IT * EEF * ERCIM STM WG * IFIP WG 1.7 From geoff at cs.miami.edu Mon May 28 16:47:22 2007 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 28 May 2007 10:47:22 -0400 (EDT) Subject: LPAR 2007 (Yerevan, Armenia) - submission deadline June 4th Message-ID: <20070528144722.2DC86B028@sherman.cs.miami.edu> ----------------------------------------------------------------------- LPAR 2007 Yerevan, Armenia 15th-19th October 2007 http://www.lpar.net/2007/ Call For Papers The 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2007) will be held 15th-19th October 2007, in Yerevan, Armenia, Submission of papers for presentation at the conference is now invited. Submission ----------------- Details on how to submit can be found at http://www.lpar.net/2007/call.html. Questions related to submission may be sent to the programme chairs. Proceedings ----------------- The full paper proceedings of LPAR 2007 will be published by Springer-Verlag in the LNAI series. Authors of accepted full papers will be required to sign a form transferring copyright of their contribution to Springer-Verlag. The short paper proceedings of LPAR 2007 will be published by the conference. Program Chairs ----------------- Nachum Dershowitz Tel Aviv University Andrei Voronkov University of Manchester Dates and Deadlines ----------------------- + Submission of full paper abstracts June 4 + Submission of full papers June 11 + Notification of acceptance of full papers July 23 + Camera ready versions of full papers due August 6 + Submission of short papers TBA + Notification of acceptance of short papers TBA + Camera ready versions of short papers due TBA + Conference October 15-19 Other information can be found at the conference Web page http://www.lpar.net/2007/ From dvnieuwe at vub.ac.be Mon May 28 01:41:08 2007 From: dvnieuwe at vub.ac.be (Davy Van Nieuwenborgh) Date: Mon, 28 May 2007 01:41:08 +0200 Subject: Kein Betreff Message-ID: -- Mvg, Davy Van Nieuwenborgh ------------------------------------------------------------ Dr. Davy Van Nieuwenborgh email: dvnieuwe at vub.ac.be Member of the Theoretical Computer Science laboratory (TINF) Department of Computer Science (DINF) Vrije Universiteit Brussel (VUB) From dvnieuwe at vub.ac.be Mon May 28 01:41:46 2007 From: dvnieuwe at vub.ac.be (Davy Van Nieuwenborgh) Date: Mon, 28 May 2007 01:41:46 +0200 Subject: Confirmation Request (2902022844) In-Reply-To: References: Message-ID: On 5/28/07, event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the unsubscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2902022844, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > -- Mvg, Davy Van Nieuwenborgh ------------------------------------------------------------ Dr. Davy Van Nieuwenborgh email: dvnieuwe at vub.ac.be Member of the Theoretical Computer Science laboratory (TINF) Department of Computer Science (DINF) Vrije Universiteit Brussel (VUB) From torben at ruc.dk Mon May 28 09:53:44 2007 From: torben at ruc.dk (torben at ruc.dk) Date: Mon, 28 May 2007 09:53:44 +0200 Subject: Kein Betreff Message-ID: <1180338824.465a8a880c1d2@webmail.ruc.dk> From torben at ruc.dk Mon May 28 11:18:46 2007 From: torben at ruc.dk (torben at ruc.dk) Date: Mon, 28 May 2007 11:18:46 +0200 Subject: Confirmation Request (2945739956) In-Reply-To: References: Message-ID: <1180343926.465a9e768862d@webmail.ruc.dk> Quoting event administration : > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the unsubscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2945739956, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > From Patrick.Wambacq at esat.kuleuven.be Tue May 29 19:48:07 2007 From: Patrick.Wambacq at esat.kuleuven.be (Patrick.Wambacq at esat.kuleuven.be) Date: Tue, 29 May 2007 19:48:07 +0200 (CEST) Subject: INTERSPEECH 2007 registration is now open Message-ID: (apologies for multiple copies) CALL FOR PARTICIPATION INTERSPEECH 2007 August 27-31, 2007 Antwerp, Belgium On-line Registration, Housing and Practical Information is now available at www.interspeech2007.org ISCA, together with the Interspeech 2007 organizing committee, would like to invite you to participate in the upcoming conference. Interspeech 2007 is organized by the Belgian and Dutch speech communities. It is the 10th biennial Eurospeech conference and the 8th in the annual series of Interspeech events organized by the International Speech Communication Association (ISCA), after Beijing, Aalborg, Denver, Geneva, Jeju, Lisbon and Pittsburgh. The conference will be held August 27-31 in Antwerp, Belgium. The main conference (August 28-31) will take place in the Flanders Congress and Concert Centre(FCCC) and the adjacent Astrid Park Plaza Hotel. The FCCC is one of the historic conference centres of Europe; it connects to the Antwerp zoo and is located right in the city centre. Antwerp is a lively midsize town with a well preserved medieval center, keeping conference centre and most hotels and social event venues within comfortable walking distance. Antwerp was the home town of the famous painter Rubens and is today well known as an international centre of diamonds. It also hosts one of the largest harbors in the world. The Technical Program will include in parallel 3 oral, 3 poster and 1 special session, totaling 745 papers, selected from 1268 submitted full papers. For the first time in INTERSPEECH history, a standard of 3 reviews per paper was used to evaluate the submissions. KEYNOTE SPEAKERS: - Tuesday 28th: ISCA Medalist: Victor Zue (MIT) "On Organic Interfaces" - Wednesday 29th: Sophie Scott (Univ. College London) "How the Brain Decodes Speech - Some Perspectives from Functional Imaging" - Thursday 30th: Alex Waibel (CMU and Univ. of Karlsruhe) "Computer-Supported Human-Human Multilingual Communication" - Friday 31th: TBA TUTORIALS: Tutorials for Interspeech 2007 are organized by internationally recognized experts in their fields and will be held on Monday, August 27 on premises of the city centre campus of the University of Antwerp. Morning tutorials: - Voice Quality in Vocal Communication presenter: Christophe d'Alessandro - The Modulation Spectrum and Its Application to Speech Science and Technology presenters: Les Atlas, Steven Greenberg and Hynek Hermansky - Spoken Language Processing by Mind and Machine presenters: Roger K. Moore and Anne Cutler - Processing Morphologically-Rich Languages presenters: Katrin Kirchhoff and Ruhi Sarikaya Afternoon tutorials: - Voice Transformation, presenter: Yannis Stylianou - A Mathematical Theory of Speech Signals - Beyond the Linear Model presenters: Gernot Kubin and Erhard Rank - Talking to Computers: from Speech Sounds to Human Computer Interaction presenters: Giuseppe Riccardi and Sebastian Varges - Machine Learning for Text and Speech Processing, presenters: Antal van den Bosch and Walter Daelemans REGISTRATION: The online registration for the conference is now open. Authors of accepted papers should make sure that at least one of its authors has registered by the early registration deadline of June 22, 2007. Papers without any author registration will be removed from the final program. ACCOMMODATION: A large number of rooms has been reserved in several hotels of which most are within a 5-10' walking distance from the conference centre. An online hotel reservation form is available on the conference website. TRAVEL: Antwerp is easily reached from the international airports of Brussels and Amsterdam. FURTHER INFORMATION: For up to date information on the technical and social program and for practical arrangements please visit the conference website www.interspeech2007.org If you can't find an essential piece of information there, please send an email to info at interspeech2007.org We hope to welcome you in Antwerp in August ! Dirk Van Compernolle, General Chair Lou Boves, General Chair Jean-Pierre Martens, Technical Program Chair Helmer Strik, Technical Program Chair Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From stefan.brass at informatik.uni-halle.de Tue May 29 12:09:48 2007 From: stefan.brass at informatik.uni-halle.de (Stefan Brass) Date: Tue, 29 May 2007 12:09:48 +0200 Subject: Confirmation Request (3602073986) In-Reply-To: References: Message-ID: <465BFBEC.3020601@informatik.uni-halle.de> event administration wrote: >This is an automated message from the > mailing list manager > >Somebody (probably you) have requested the subscribe operation > for your address > >If you want to confirm this operation, > use the Reply command in your mailer. > >Check that the Subject of the reply message contains > the confirmation ID: 3602073986, > the reply is directed to , > and the 'From' address of your reply is . > >If you do not want to confirm the requested operation, simply do nothing > >All requests about this mailing list > should be sent to > > > From jdubrovi at cc.hut.fi Wed May 30 13:44:36 2007 From: jdubrovi at cc.hut.fi (Jori Dubrovin) Date: Wed, 30 May 2007 14:44:36 +0300 (EEST) Subject: subscribe Message-ID: -- jdubrovi at cc.hut.fi From jdubrovi at cc.hut.fi Wed May 30 14:29:43 2007 From: jdubrovi at cc.hut.fi (Jori Dubrovin) Date: Wed, 30 May 2007 15:29:43 +0300 (EEST) Subject: Confirmation Request (3706123772) In-Reply-To: References: Message-ID: On Wed, 30 May 2007, event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 3706123772, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > -- jdubrovi at cc.hut.fi From fs at doc.ic.ac.uk Wed May 30 16:41:16 2007 From: fs at doc.ic.ac.uk (fs) Date: Wed, 30 May 2007 15:41:16 +0100 Subject: CFP - The Computer Journal Special Issue on Artificial Societies for Ambient Intelligence Message-ID: <465D8D0C.8010007@doc.ic.ac.uk> Dear All, We would like to draw your attention to the CFP for the The Computer Journal Special Issue on Artificial Societies for Ambient Intelligence. Details can be found at http://asami07.cs.rhul.ac.uk/cj-cfp.html. *Important Dates* Submission Deadline: January 21, 2008 Acceptance Notice: April 7, 2008 Final Manuscript: May 2, 2008 Publication Date: 2nd Quarter, 2008 (Tentative) Fariba Sadri and Kostas Stathis Guest Editors From mailer-daemon at hades.rz.tu-clausthal.de Thu May 31 09:14:47 2007 From: mailer-daemon at hades.rz.tu-clausthal.de (Mail Delivery System) Date: Thu, 31 May 2007 09:14:47 +0200 (CEST) Subject: Undelivered Mail Returned to Sender Message-ID: <20070531071447.4A98D20734E@hades.rz.tu-clausthal.de> This is the mail system at host hades.rz.tu-clausthal.de. I'm sorry to have to inform you that your message could not be delivered to one or more recipients. It's attached below. For further assistance, please send mail to If you do so, please include this problem report. You can delete your own text from the attached returned message. The mail system : host finch.doc.ic.ac.uk[146.169.1.194] said: 550 Invalid From/Sender/Reply-To header (in reply to end of DATA command) -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: Administrator of mailing lists of CIG at TUC Betreff: Re: CFP - The Computer Journal Special Issue on Artificial Societies for Ambient Intelligence Datum: Thu, 31 May 2007 09:14:46 +0200 Größe: 2625 URL: From m.kohlhase at jacobs-university.de Thu May 31 17:43:46 2007 From: m.kohlhase at jacobs-university.de (Michael Kohlhase) Date: Thu, 31 May 2007 17:43:46 +0200 Subject: CfP OpenMath/MathML/JEM Workshop (deadline monday) Message-ID: <465EED32.5010408@jacobs-university.de> [Apologies for double posing] 8th OpenMath Meeting (joint with JEM) *RISC, Schloss Hagenberg, University of Linz* *June 25-26th, 2007* Details: http://www.openmath.org/meetings/linz2007/ The 8th OpenMath Workshop is a meeting place for developers and users of the OpenMath standard. The recent developments and applications of OpenMath are presented at this yearly event. OpenMath is a standard for communicating semantically-rich representations of mathematical objects between all kinds of computer programs. The communication can take place between software packages and on the World Wide Web. The associated tools will permit the display, manipulation and access of mathematical information stored electronically. Scope The main themes of this year's meeting will be the Alignment with MathML3 and the use of OpenMath in Education. The program will consist of tutorials and contributed talks, and will be organized into two one-day tracks. The W3C has chartered the Math Working Group with revising the MathML2 standard until Spring 2008. In this endeavor, the Math working group is revising the content-MathML sublanguage to be isomorphic with OpenMath. This will greatly enhance interoperability of content communication for math software systems. We will start off the track by an OpenMath/MathML tutorial, and a presentation of the current content MathML3 working draft. The main topic will be discussions on technical issues of the alignment, possible changes to OpenMath, and perspectives for content Mathematics. The JEM, Joining Educational Mathematics, thematic network is promoting contributions that highlight new developments and use of semantic markup in digital content designed for eLearning. The possibility to manipulate and communicate mathematical objects without loss of information allows for rich, interactive materials that are ideal in education. New technologies, software libraries and tools, case studies, comparative surveys, and success stories related to semantic markup such e.g. OpenMath, Content MathML, MathBook-MathDox, OMDoc, MathQTI, PhysML, are also welcome. Related Events The workshop takes place as part of the RISC Summer 2007 , directly before the Workshop on Mathematical Interfaces (MathUI) , the 6th Conference on Mathematical Knowledge Management (MKM2007) , and the Calculemus Symposium . Registration will be handled by the RISC summer. On June 25. 2007 the annual general meeting of the OpenMath Society will be held. More information will be posted as available on the OpenMath Society web pages. Call for contributions We are calling for contributed talks on these topics. Contributed Talks and papers should be submitted by e-mail to the Organizers along with one-page html-formatted abstract until June 3rd 2007. Proceedings The workshop will have electronic proceedings. Organizers * Olga Caprotti, Helsinki University: olga.caprotti at helsinki.fi * Michael Kohlhase, Jacobs University:m.kohlhase at jacobs-university.de * Paul Libbrecht, DFKI paul at activemath.org. -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62 Professor of Computer Science Campus Ring 12, School of Engineering & Science D-28759 Bremen, Germany Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase skype: m.kohlhase * International University Bremen until Feb. 2007 ---------------------------------------------------------------------- From mailer-daemon at hades.rz.tu-clausthal.de Thu May 31 09:14:47 2007 From: mailer-daemon at hades.rz.tu-clausthal.de (Mail Delivery System) Date: Thu, 31 May 2007 09:14:47 +0200 (CEST) Subject: Undelivered Mail Returned to Sender Message-ID: <20070531071447.4A98D20734E@hades.rz.tu-clausthal.de> This is the mail system at host hades.rz.tu-clausthal.de. I'm sorry to have to inform you that your message could not be delivered to one or more recipients. It's attached below. For further assistance, please send mail to If you do so, please include this problem report. You can delete your own text from the attached returned message. The mail system : host finch.doc.ic.ac.uk[146.169.1.194] said: 550 Invalid From/Sender/Reply-To header (in reply to end of DATA command) -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: Administrator of mailing lists of CIG at TUC Betreff: Re: CFP - The Computer Journal Special Issue on Artificial Societies for Ambient Intelligence Datum: Thu, 31 May 2007 09:14:46 +0200 Größe: 2625 URL: From AdministratorofmailinglistsofCIG at TUC Tue May 8 12:07:18 2007 From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC) Date: Tue, 08 May 2007 12:07:18 +0200 Subject: Fwd: Invitation to Montenegro, Japan, Croatia, and Italy; c/bb Message-ID: What about this one received at Event at CIG??? Best, Peter. P.S. I already ignore the whole Al Arabnia bunch ;-). --- the forwarded message follows --- -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: IPSI Conferences Betreff: Invitation to Montenegro, Japan, Croatia, and Italy; c/bb Datum: Tue, 8 May 2007 09:47:59 +0200 (CEST) Größe: 4413 URL: From AdministratorofmailinglistsofCIG at TUC Thu May 31 09:14:46 2007 From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC) Date: Thu, 31 May 2007 09:14:46 +0200 Subject: CFP - The Computer Journal Special Issue on Artificial Societies for Ambient Intelligence In-Reply-To: <465D8D0C.8010007@doc.ic.ac.uk> References: <465D8D0C.8010007@doc.ic.ac.uk> Message-ID: Dear Fariba, we are glad to receive your post to Event at CIG list. It is certainly relevant and interesting for our audience. However, I am afraid I cannot let it through to the list in the form it is in now. Our moderation policy is such that we want only self-contained posts, i.e. such which in full text explain the corresponding event, or announcement. We strongly discourage announcements which are just mere links to some websites. For more information on our moderation policy, please consult the list website at http://cig.in.tu-clausthal.de/event/. I suggest you to reformulate your post (e.g. take the page text it points to and put it into the body of your post - however no HTML please!!!) and post it to Event at CIG again. Then I will let it through asap. Thanks for understanding. Best regards, Peter Novak, Event at CIG administrator. On Wed, 30 May 2007 15:41:16 +0100 fs wrote: > Dear All, > > We would like to draw your attention to the CFP for the >The Computer Journal Special Issue on Artificial >Societies for Ambient Intelligence. > > Details can be found at > http://asami07.cs.rhul.ac.uk/cj-cfp.html. > > *Important Dates* > Submission Deadline: January 21, 2008 > Acceptance Notice: April 7, 2008 >Final Manuscript: May 2, 2008 > Publication Date: 2nd Quarter, 2008 (Tentative) > > >Fariba Sadri and Kostas Stathis > Guest Editors