From yy at nii.ac.jp Tue Jul 1 10:56:52 2008 From: yy at nii.ac.jp (Yoshitaka Yamamoto) Date: Tue, 01 Jul 2008 10:56:52 +0200 Subject: subscribe Message-ID: <4869F154.70102@nii.ac.jp> From yy at nii.ac.jp Tue Jul 1 11:02:04 2008 From: yy at nii.ac.jp (Yoshitaka Yamamoto) Date: Tue, 01 Jul 2008 11:02:04 +0200 Subject: Confirmation Request (0518692341) In-Reply-To: References: Message-ID: <4869F28C.4070909@nii.ac.jp> event administration さんは書きました: > 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: 0518692341, > 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 heymans at kr.tuwien.ac.at Wed Jul 2 06:58:46 2008 From: heymans at kr.tuwien.ac.at (Stijn Heymans) Date: Wed, 2 Jul 2008 06:58:46 +0200 Subject: CFP: 3rd International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services (ALPSWS 2008) Message-ID: *******Call for Papers - Submission deadline 26 August 2008 ********** ALPSWS 2008 Third International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services http://www.kr.tuwien.ac.at/events/alpsws2008/ Udine, Italy in conjunction with the 24th International Conference on Logic Programming (ICLP 2008) December 9-13 2008 http://iclp08.dimi.uniud.it/ ********************************************************************* One of the key challenges in making the static Web and dynamic applications such as Web services more intelligent is to introduce some form of automated reasoning. For example, the Semantic Web promises machine-readable semantics and a machine-processable Web through ontology-based annotation of static data on the Web and Web-based dynamic applications and services. Such annotation facilitates querying and aggregating data sources on the Web in a unified manner, as well as automating discovery, selection and composition of services. Reasoning technologies for services and data on the Web have typically focused on Description Logic (e.g., OWL DL) and Rule-based (RIF, RuleML) approaches and languages. In this workshop we focus on the latter with a particular focus on Logic Programming as a viable candidate paradigm for enabling intelligent and declarative Web applications. Many workshops and conferences that are dedicated to the Web arena deal mostly with generic topics and bring together people from a variety of research fields with different understandings of the topic. The plethora of these workshops and conferences make it hard to keep track of the various approaches of a particular technology such as Logic Programming in our case. We deliberately take a narrower focus to advance the application of LP as a paradigm for declarative knowledge representation and reasoning to the Web and Web services. Towards this aim we bring together researchers working on applications of LP to (Semantic) Web and Web services, as well as LP-based foundations for Semantic Web and Web service languages. ALPSWS 2008 is the 3rd workshop in its series, still following its original goals: - Bringing together people from different sub-disciplines of LP and focus on technological solutions and applications from LP to the problems of the Web. - Promoting further research in this interesting application field. Topics: ------- Possible topics include (but are not limited to): * Logic Programming based approaches for reasoning about Semantic Web languages such as RDF, RDFS, WSML, OWL, OWL-S, RuleML, SA-WSDL, SPARQL, RIF * Ontology Modeling and Mediation using Logic Programming * Deductive query answering in a Semantic Web context * Reasoning over large-scale ontologies * Reasoning with large instance data in the presence of ontologies * Logic-Programming based mashups for Linked Open Data * 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 service discovery and composition * Interaction of Logic Programming and 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 (service) applications * Extensions of Logic Programming paradigms to tackle Web challenges, e.g., fuzzy logic programming to deal with uncertainty on the Web * Logic Programming and the application of Semantic Web technologies to Semantic content Sumbission Details: ------------------- We invite two forms of submission to this workshop: full papers and short papers. Full papers shall be up to 14 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. Submitted papers will be reviewed by at least two members of the program committee. Papers must be submitted electronically in PDF format. For paper submission we use the EasyChair conference management system: http://www.easychair.org/conferences/?conf=alpsws2008 Important Dates: ---------------- Deadline for Submissions: August 26, 2008 Notification of acceptance: September 26, 2008 Camera-ready versions: October 10, 2008 Workshop: December 9, 2008 (to be confirmed) ICLP 2008 Conference: December 9 - 13, 2008 Program Committee: ------------------ Carlos Damasio, Universidade Nova de Lisboa, Portugal Thomas Eiter, TU Vienna, Austria Cristina Feier, TU Vienna, Austria Lukacsy Gergely, Budapest University of Technology and Economics, Hungary Gopal Gupta, University of Texas at Dallas, US Claudio Gutierrez, Universidad de Chile Giovambattista Ianni, University of Calabria, Italy Uwe Keller, STI Innsbruck, Austria Markus Kroetzsch, AIFB, University of Karlsruhe, Germany Zoe Lacroix, University of Arizona, US Wolfgang May, Göttingen University, Germany Enrico Pontelli, New Mexico State University, US Hans Tompits, TU Vienna, Austria Alejandro Vaisman, University of Toronto, Canada Maria Esther Vidal, Universidad Simon Bolivar, Venezuela Gerd Wagner, Brandenburg University of Technology, Germany Organization: ------------- Jos de Bruijn, Free University of Bozen-Bolzano, Italy debruijn at inf.unibz.it Stijn Heymans, Vienna University of Technology, Austria heymans at kr.tuwien.ac.at Axel Polleres, DERI, National University of Ireland, Galway axel.polleres at deri.org David Pearce, Universidad Rey Juan Carlos, Spain davidandrew.pearce at urjc.es Edna Ruckhaus, Universidad Simon Bolivar Caracas, Venezuela ruckhaus at ldc.usb.ve From mdv at cs.bath.ac.uk Wed Jul 2 12:44:00 2008 From: mdv at cs.bath.ac.uk (Marina De Vos) Date: Wed, 02 Jul 2008 11:44:00 +0100 Subject: [CfP] 1st Call for Papers: EUMAS'08 Message-ID: <1214995441.5722.14.camel@localhost.localdomain> ** Apologies for multiple copies due to cross-posting ************************************************************ THE SIXTH EUROPEAN WORKSHOP ON MULTI-AGENT SYSTEMS Bath, UK, 18th and 19th of December, 2008 http://eumas08.cs.bath.ac.uk/ Abstract Submission Deadline: Sept. 12th 2008 Full Submission Deadline: Sept. 15th 2008 Notification to Authors: Oct. 20th 2008 ************************************************************ 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 within Europe have access to a forum at which current research and application issues are presented and discussed. Following in the tradition of past EUMAS (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006 and Hammamet 2007), the aim of this sixth European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers and those interested in activities relating to research in the area of autonomous agents and multi-agent systems could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment. SUBMISSIONS Submission of papers describing relevant preliminary or completed work are invited. EUMAS’08 welcomes also papers that are under submission, will be presented or have already been presented at relevant international conferences. We specially invite submissions by students that we think will receive valuable feedback from the the discussion-oriented focus of the workshop. Preliminary student work is welcome; however it has to possess sufficient substance for serving as a discussion basis and therefore has to pass the review cycle in the same way as other work. All submissions should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. We request the submission of title and abstract prior or together with the paper submission for supporting the tight schedule of reviewing. The authors can submit their abstracts and papers through the following webpage: http://www.easychair.org/conferences/?conf=eumas2008. The workshop has no formal proceedings; it is intended primarily as a forum for interaction and discussion. The workshop will provide electronic (CD) proceedings. Printed proceedings will be available for an extra fee covering printing costs. Workshop notes will contain all original papers and abstracts of previously published papers. Depending on the quality, we intend to invite a selection of extended versions of unpublished submissions to be included in relevant journal special issues. TOPICS OF INTEREST Topics include but are not limited to: Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence, Applications, Argumentation, Autonomy, Bio-inspired Approaches to Agents and Multi-Agent Systems, Cognitive Models, Collective and Swarm Intelligence, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, E-* Applications, Economic Models, Emergence, Emotion, Formal Models, Game Theoretic Models, Grid Computing, Methodologies, Negotiation, Organisations and Institutions, Proactivity and Reactivity, Protocols, Robotics, Self-organisation, Semantic Web Agents, Agent-based Service Oriented Computing, Agent-oriented Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing, Verification,Virtual Agents VENUE EUMAS 2008 will be held at the University of Bath, whose buildings are set in an attractive campus on a hill above the centre of Bath, a World Heritage City. The weather in December is cold and often sunny - but don’t forget your umbrella! IMPORTANT DATES Abstract Submission Deadline: 12th September Full Paper Submission Deadline: 15th September Notification to Authors: 10th October Camera Ready due: 17th November Early Registration: 31th October Event: 18th and 19th of December CONTACT Franziska Kluegl kluegl[]informatik.uni-wuerzburg.de OFFICIALS GENERAL CHAIR Julian Padget Department of Computer Science University of Bath, UK PROGRAM CHAIR Franziska Kluegl Dept. of Artificial Ingelligence and Applied Computer Science University of Wuerzburg, Germany LOCAL CHAIRS: Marina De Vos Julian Padget Department of Computer Science University of Bath, UK From alexander.friedmann at uqam.ca Tue Jul 1 17:16:46 2008 From: alexander.friedmann at uqam.ca (Alex Friedmann) Date: Tue, 01 Jul 2008 11:16:46 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: <20080701151650.ZIJJ1721.tomts10-srv.bellnexxia.net@toip7.srvr.bell.ca> At 07:26 PM 6/17/2008, you wrote: >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: 2900068290, > 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 claudia.mueller at iits.uni-stuttgart.de Wed Jul 2 11:05:29 2008 From: claudia.mueller at iits.uni-stuttgart.de (Claudia Mueller) Date: Wed, 02 Jul 2008 11:05:29 +0200 Subject: Subscribe me! Message-ID: <486B44D9.106@iits.uni-stuttgart.de> From claudia.mueller at iits.uni-stuttgart.de Wed Jul 2 11:07:30 2008 From: claudia.mueller at iits.uni-stuttgart.de (Claudia Mueller) Date: Wed, 02 Jul 2008 11:07:30 +0200 Subject: 0603860169 In-Reply-To: References: Message-ID: <486B4552.7050300@iits.uni-stuttgart.de> From triebig at informatik.uni-wuerzburg.de Wed Jul 2 15:57:01 2008 From: triebig at informatik.uni-wuerzburg.de (Cornelia Triebig) Date: Wed, 02 Jul 2008 15:57:01 +0200 Subject: Subscribe me! Message-ID: <486B892D.1020208@informatik.uni-wuerzburg.de> -- Cornelia Triebig University of Wuerzburg - Department for Artificial Intelligence and Applied Computer Science mailto:triebig at informatik.uni-wuerzburg.de ICQ: 160054770 Tel: +49(0)931-888-6742 Fax: +49(0)931-888-6732 From triebig at informatik.uni-wuerzburg.de Wed Jul 2 16:30:29 2008 From: triebig at informatik.uni-wuerzburg.de (Cornelia Triebig) Date: Wed, 02 Jul 2008 16:30:29 +0200 Subject: Confirmation Request (0773700302) In-Reply-To: References: Message-ID: <486B9105.9050202@informatik.uni-wuerzburg.de> event administration schrieb: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe(digest) 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: 0773700302, > 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 > > -- Cornelia Triebig University of Wuerzburg - Department for Artificial Intelligence and Applied Computer Science mailto:triebig at informatik.uni-wuerzburg.de ICQ: 160054770 Tel: +49(0)931-888-6742 Fax: +49(0)931-888-6732 From beckert at uni-koblenz.de Wed Jul 2 21:55:11 2008 From: beckert at uni-koblenz.de (Bernhard Beckert) Date: Wed, 02 Jul 2008 21:55:11 +0200 Subject: CFP: JAR Special Issue on TESTS AND PROOFS Message-ID: <486BDD1F.3020603@uni-koblenz.de> Call for Papers Special Issue on TESTS AND PROOFS of the JOURNAL OF AUTOMATED REASONING GENERAL INFORMATION Proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using rather different techniques and tools. In the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of incompatibility and taking instead the best of what each of these software engineering domains has to offer. This special issue has its origins in the Second International Conference on Tests and Proofs (TAP 2008), which was held in Prato (Italy) in April 2008. It will be published by Springer within the Journal of Automated Reasoning. TOPICS Topics of interest include the following: * Generation of test data, oracles, or preambles by deductive techniques such as - theorem proving, - model checking, - symbolic execution, - constraint logic programming, etc. * Generation of specifications by deduction * Verification techniques combining proofs and tests * Program proving with the aid of testing techniques * Transfer of concepts from testing to proving (e.g., coverage criteria) * Automatic bug finding * Formal frameworks * Tool descriptions and experience reports * Case studies SUBMISSIONS This special issue welcomes original high-quality contributions that have been neither published in nor submitted to any journals or refereed conferences. Authors of papers presented at the TAP 2008 conference are welcome to submit extended and revised versions of their papers. However, contributions are not limited to those based on papers presented at TAP 2008; any other submissions related to Tests and Proofs are highly welcome. All submissions should be written in terms understandable by general readers of the journal. And all submissions will be refereed to usual journal standards. Submissions should be formatted according to JAR's author guidelines (see the link on the special issue's web page below), and preferably be written in LaTeX. A LaTeX style file can be obtained here: http://www.springeronline.com/authors/jrnlstylefiles To submit a paper to the JAR Special Issue on Tests and Proofs, please proceed as follows: Go to Springer's Editorial Manager at http://www.editorialmanager.com/jars/default.asp. If you do not yet have an account, please create one using the REGISTER button at the top. Once you are registered, please login with role "Author". Under the heading "New Submissions" there is a link for creating a new manuscript. Following this link, you are asked to specify the Article Type. It is essential to select "Special Issue Tests and Proofs" from the pull down menu. This will ensure that your article is processed correctly. After clicking "Next" you can fill in the remaining data and upload a PDF file with your manuscript. You can return to the Editorial Manager at any time to modify your personal data and to follow the progress of reviewing. PAPER SUBMISSIONS DEADLINE September 30, 2008 EDITORS Bernhard Beckert (University of Koblenz, Germany) Reiner Hähnle (Chalmers University, Gothenburg, Sweden) FURTHER INFORMATION For further information visit the web page: http://www.uni-koblenz.de/tap2008/jar.html Or send an email to one of us: tap2008 at uni-koblenz.de From beckert at uni-koblenz.de Wed Jul 2 21:51:09 2008 From: beckert at uni-koblenz.de (Bernhard Beckert) Date: Wed, 02 Jul 2008 21:51:09 +0200 Subject: subscribe Message-ID: <486BDC2D.8040505@uni-koblenz.de> -- Prof. Dr. Bernhard Beckert Institut für Informatik, Universität Koblenz-Landau http://www.uni-koblenz.de/~beckert From beckert at uni-koblenz.de Wed Jul 2 22:36:56 2008 From: beckert at uni-koblenz.de (Bernhard Beckert) Date: Wed, 02 Jul 2008 22:36:56 +0200 Subject: Confirmation Request (0152064229) In-Reply-To: References: Message-ID: <486BE6E8.8040108@uni-koblenz.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: 0152064229, > 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 > > -- Prof. Dr. Bernhard Beckert Institut für Informatik, Universität Koblenz-Landau http://www.uni-koblenz.de/~beckert From csoares at fep.up.pt Thu Jul 3 14:51:18 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Thu, 03 Jul 2008 09:51:18 -0300 Subject: Grants available - Project Rank! Message-ID: <486CCB46.3010101@fep.up.pt> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Masoud.Mohammadian at canberra.edu.au Fri Jul 4 00:39:30 2008 From: Masoud.Mohammadian at canberra.edu.au (Masoud.Mohammadian) Date: Fri, 4 Jul 2008 08:39:30 +1000 Subject: CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08 References: Message-ID: * Kindly forward to your colleagues or students who may be interested * * Our apologies if you receive multiple copies of this announcement. * CALL FOR PAPERS International Conference on Computational Intelligence for Modelling, Control and Automation 10-12 December 2008 - Vienna, Austria http://community.ise.canberra.edu.au/conference/cimca08/ Jointly with International Conference on Intelligent Agents, Web Technologies and Internet Commerce - IAWTIC08 http://community.ise.canberra.edu.au/conference/iawtic08/ International Conference on Innovation in Software Engineering - ISE08 http://community.ise.canberra.edu.au/conference/ise08/ Honorary Chair: Lotfi A. Zadeh, University of California, USA Stephen Grossberg, Boston University, USA Important Dates: 29 August 2008 Submission of papers to the conference 26 September 2008 Notification of acceptance 17 October 2008 Deadline for camera-ready copies of accepted papers 10 - 12 December 2008 Conference sessions Collaborators and sponsors: European Society for Fuzzy Logic and Technology - EUFLAT International Association for Fuzzy Set in Management and Economy - SIGEF Japan Society for Fuzzy Theory and Intelligent Informatics - SOFT Taiwan Fuzzy Systems Association - TFSA World Wide Web Business Intelligence - W3BI Hungarian Fuzzy Association - HFA University of Canberra IEEE - Conference Proceedings will be published by IEEE in USA The international conference on computational intelligence for modelling, control and automation will be held in Vienna, Austria on 10-12 December 2008. The conference provides a medium for the exchange of ideas between theoreticians and practitioners to address the important issues in computational intelligence, modelling, control and automation. The conference will consist of both plenary sessions and contributory sessions, focusing on theory, implementation and applications of computational intelligence techniques to modelling, control and automation. For contributory sessions, papers (4 pages or more) are being solicited. Several well-known keynote speakers will address the conference. Conference Proceedings will be published as books by IEEE (The Institute of Electrical and Electronic Engineering) in USA and will be index world wide. All papers will be peer reviewed by at least two reviewers. Topics of the conference include, but are not limited to, the following areas: Modern and Advanced Control Strategies: Neural Networks Control, Fuzzy Logic Control, Genetic Algorithms and Evolutionary Control, Model-Predictive Control, Adaptive and Optimal Control, Intelligent Control Systems, Robotics and Automation, Fault Diagnosis, Intelligent agents, Industrial Automations, Modelling, Simulation Hybrid Systems: Fuzzy Evolutionary Systems, Fuzzy Expert Systems, Fuzzy Neural Systems, Neural Genetic Systems, Neural-Fuzzy-Genetic Systems, Hybrid Systems for Optimisation Data Analysis, Prediction and Model Identification: Signal Processing, Prediction and Time Series Analysis, System Identification, Data Fusion and Mining, Knowledge Discovery, Intelligent Information Systems, Image Processing, and Image Understanding, Parallel Computing applications in Identification & Control, Pattern Recognition, Clustering and Classification Decision Making and Information Retrieval: Case-Based Reasoning, Decision Analysis, Intelligent Databases & Information Retrieval, Dynamic Systems Modelling, Decision Support Systems, Multi-criteria Decision Making, Qualitative and Approximate-Reasoning Paper Submission Papers will be selected based on their originality, significance, correctness, and clarity of presentation. Papers (4 pages or more) should be submitted to the following e-mail or through conference website: E-mail: cimca at canberra.edu.au CIMCA'2008 Secretariat School of Information Sciences and Engineering University of Canberra, Canberra, 2616, ACT, Australia Electronic submission of papers (either by E-mail or through conference website) is preferred. Papers should present original work, which has not been published or being reviewed for other conferences. Important Dates 29 August 2008 Submission of papers to the conference 26 September 2008 Notification of acceptance 17 October 2008 Deadline for camera-ready copies of accepted papers 10 - 12 December 2008 Conference sessions Special Sessions and Tutorials Special sessions and tutorials will be organised at the conference. The conference is calling for special sessions and tutorial proposals. All special session proposals should be sent to the conference chair (by email to: masoud.mohammadian at canberra.edu.au) on or before 4th of August 2006. CIMCA'06 will also include a special poster session devoted to recent work and work-in-progress. Abstracts are solicited for this session. Abstracts (3 pages limit) may be submitted up to 30 days before the conference date. Visits and social events Sightseeing visits will be arranged for the delegates and guests. A separate program will be arranged for companions during the conference. Further Information For further information either contact cimca at canberra.edu.au or see the conference homepage at: http://community.ise.canberra.edu.au/conference/cimca08/ Organising Committee: Canada and USA Liaison: J. D. Pinter, J. D. Pinter, PCS Inc. & Dalhousie University, Canada Asia Liaison: Christina Meier, W3BI, Australia R. Amin Sarker, ADFA, Australia Europe Liaison: Frank Zimmer, ASTRA - Luxembourg Nasser Jazdi, Institut für Automatisierungs- und Softwaretechnik, Germany Andreas S. Andreou, University of Cyprus,Cyprus Publication: Masoud Mohammadian, University of Canberra, Australia International Programme Committee J. Liu, Hong Kong Baptist University, Hong Kong A. Namatame, National Defense Academy, Japan A. Agah, The University of Kansas, USA J. P. Bigus, IBM T.J. Watson Research Center, USA E. André, Universität Augsburg, Germany K. Sycara, Carnegie Mellon University, USA H. Adeli, The Ohio State University, USA B. Kosko, University of Southern California, USA A. Kandel, University of South Florida, USA T. Fukuda, Nagoya University, Japan T. Baeck, Informatic Centrum Dortmund, Germany J.Bezdek, University of West Florida, USA M. Mohammadian University of Canberra, Australia K. Hirota, Tokyo Institute of Technology, Japan E. Oja, Helsinki University of Technology, Finland W. Pedrycz, University of Manitoba, Canada X. Yao, The University of New South Wales, ADFA, Australia H. R. Berenji, NASA Ames Research Center, USA R. C. Eberhart, Purdue University,USA T. Shibata, MITI, Ministry of International Trade and Industry, Japan H. Liljenstrom, Royal Institute of Technology, Sweden A. Y. Zomaya, University of Western Australia, Australia F. Herrera, University of Granada, Spain A Jafari, Indiana University Purdue University Indianapolis, IUPUI, USA A. Bulsari, AB Nonlinear Solutions OY, Finland B. Ruhul Sarker, University of New South Wales (ADFA), Australia J. D. Pinter, Dalhousie University, Canada T. Furuhashi, Nagoya University, Japan A. Aamodt, Norwegian University of Science and Technology, Norway J. Fernandez de Cañete, University of Malaga, Spain W. Duch, Nicholas Copernicus,University, Poland E. Tulunay, Middle East Technical University, Turkey L. Guan, University of Sydney, Australia C. Kuroda, Tokyo Institute of Technology, Japan T. Yamakawa, Kyushu Institute of Technology, Japan From schwarzs at informatik.uni-halle.de Sat Jul 5 15:17:44 2008 From: schwarzs at informatik.uni-halle.de (Sibylle Schwarz) Date: Sat, 05 Jul 2008 15:17:44 +0200 (CEST) Subject: WLP 2008 - Second Call for Papers Message-ID: <45272.84.185.220.192.1215263864.squirrel@hades.informatik.uni-halle.de> ====================================================================== SECOND CALL FOR PAPERS 22nd Workshop on (Constraint) Logic Programming (WLP 2008) http://nirvana.informatik.uni-halle.de/~schwarz/wlp2008/ Dresden, Germany September 30 - October 1, 2008 Co-located with JELIA 2008 and CLIMA IX ====================================================================== The workshops on (constraint) logic programming are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases and artificial intelligence. Previous workshops have been held in Germany, Austria, and Switzerland. In this year the workshop will be jointly organized with JELIA 2008 (11th European Conference on Logics in Artificial Intelligence) and CLIMA IX (9th International Workshop on Computational Logic in Multi-Agent Systems) in order to promote the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The technical program of the workshop will include invited talks, presentations of refereed papers, and demo presentations. Contributions are welcome on all theoretical, experimental, and application aspects of constraint programming (CP) and logic programming (LP), including, but not limited to (the order does not reflect priorities): * Foundations of Constraint/Logic Programming * Constraint Solving and Optimization * Extensions: Functional Logic Programming, Objects * Deductive Databases, Data Mining * Nonmonotonic Reasoning * Dynamics, Updates, States, Transactions * Interaction of CP/LP with other formalisms like Agents, XML, JAVA * Program Analysis, Program Transformation, Program Verification, Meta Pogramming * Parallelism and Concurrency * Answer-set Programming * Implementation Techniques * Software Techniques (e.g., Types, Modularity, Design Patterns) * Applications (e.g., in Production, Environment, Education, Internet) * Constraint/Logic Programming for Semantic Web Systems and Applications * Reasoning on the Semantic Web * Data Modelling for the Web, Semistructured Data, and Web Query Languages The primary focus is on new and original research results but submissions describing innovative products, prototypes under development or interesting experiments (e.g., benchmarks) are also encouraged. ---------------------------------------------------------------------- IMPORTANT DATES AND SUBMISSION GUIDELINES Paper Submission: July 20, 2008 Notification: August 15, 2008 Final Manuscript: August 31, 2008 Workshop: September 30 - October 1, 2008 Authors are invited to submit an extended abstract (no longer than 10 pages including figures and references) or a system description (no longer than 3 pages) in PDF or Postscript format (11pt). For submission of the paper, please use the easychair system at http://www.easychair.org/conferences/?conf=wlp2008. Submissions should include the title, authors' names, affiliations, addresses, and e-mail. All submissions must be written in English. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file. All submissions must be unpublished original work. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. All accepted papers will be published as a technical report. ---------------------------------------------------------------------- PROGRAM COMMITTEE Slim Abdennadher (German University Cairo) Christoph Beierle (FernUniv. Hagen) Stefan Brass (Univ. Halle) Jürgen Dix (Clausthal University of Technology) Tim Furche (LMU Muenchen) Ulrich Geske (Univ. Potsdam) Michael Hanus (CAU Kiel, Chair) Heinrich Herre (Univ. Leipzig) Petra Hofstedt (TU Berlin) Michael Leuschel (Univ. Düsseldorf) Georg Ringwelski (Hochschule Zittau/Görlitz) Torsten Schaub (Univ. Potsdam) Sibylle Schwarz (Univ. Halle) Dietmar Seipel (Univ. Wuerzburg) Michael Thielscher (TU Dresden) Hans Tompits (Vienna University of Technology) Armin Wolf (FhG FIRST) ---------------------------------------------------------------------- CONTACT For additional information about papers and submissions, please contact the Program Chair: Sibylle Schwarz PC Chair - WLP 2008 Institut für Informatik Martin-Luther-Universität Halle-Wittenberg 06120 Halle (Saale) email:schwarzs at informatik.uni-halle.de From luis.moniz.pereira at gmail.com Sun Jul 6 11:50:57 2008 From: luis.moniz.pereira at gmail.com (Luis Moniz Pereira) Date: Sun, 6 Jul 2008 10:50:57 +0100 Subject: AI RESEARCHER JOB OFFER CALL at UNL, Portugal - Open till 31 August 08 Message-ID: <004a01c8df4d$cf182100$6d486300$@fct.unl.pt> Dear colleague Please relay this information to interested parties and lists. Best regards, L M Pereira ----------------------------------------------- AI RESEARCHER JOB OFFER CALL at UNL, Portugal (Open till 31 August 08) Applications are invited for a RESEARCHER position (at least 3 years post-doctoral experience) in thematic areas of Artificial Intelligence. These positions offered are for a 5-year contract to work at our research institution, in the Lisbon area. In exceptional cases, duly justified, we may consider applicants with less than 3 years of post-doctoral experience. See http://alfa.fct.mctes.pt/apoios/contratacaodoutorados/edital2008 for further information. Any candidate must have a strong Computer Science background, and be knowledgeable in one or more of these areas (order irrelevant): Semantic Web; Knowledge Representation and Reasoning; Autonomous Agents and Multi-Agent Systems; Logic Programming; Machine Learning and Data Mining; Constraint Programming and Optimisation; Simulation (including artificial life); Bioinformatics; Cognitive Science; Ambient Intelligence; Computational Processing of Written Natural Language (Portuguese); Planning; Intelligent Information Systems; or other Artificial Intelligence areas. In addition to their integration in the research Centre for Artificial Intelligence (CENTRIA – http://centria.di.fct.unl.pt/), the candidates are expected to help with post-graduate teaching, including the supervision of post-graduate students, to write research papers as well as project and grant applications, and be able to interact with scientists within and outside the host Institution. Candidates will profit from the technical facilities and expertise available at CENTRIA, at the Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, where they will be stationed. The salary is about 3.101 €/month, 14 months a year, before 35% tax retention. The contract includes social benefits and retirement fund. Please send by email letter of intent, detailed curriculum vitae, and at most two reference letters to: Prof. Luís Moniz Pereira lmp at di.fct.unl.pt Director Centro de Inteligência Artificial Universidade Nova de Lisboa Quinta da Torre 2825-516 Caparica Portugal -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From klusch at dfki.de Mon Jul 7 11:15:06 2008 From: klusch at dfki.de (Matthias Klusch) Date: Mon, 07 Jul 2008 11:15:06 +0200 Subject: Call for Participation: CIA 2008 - Cooperative Information Agents Message-ID: <4871DE9A.6080600@dfki.de> +++ Apologies for multiple copies due to cross-postings +++ CALL FOR PARTICIPATION ********************************************* Twelfth International Workshop on Cooperative Information Agents (CIA 2008) September 10 - 12, 2008 Czech Technical University Prague, Czech Republic ********************************************* http://www.dfki.de/~klusch/cia2008 PROGRAM ======= http://www.dfki.de/~klusch/cia2008/html/program.html INVITED SPEAKERS ================ http://www.dfki.de/~klusch/cia2008/html/invited_talks.html * Katia Sycara (Carnegie Mellon University, USA) * Manfred Hauswirth (DERI Galway, Ireland) * Heiko Schuldt (University of Basel, Switzerland) * Sascha Ossowski (Universidad Rey Juan Carlos, Spain) * James H. Lawton (US Air Force Research, USA) PROCEEDINGS =========== The proceedings are published as LNAI volume 5180 by Springer, and are available to registered participants at the workshop. REGISTRATION ============ http://www.dfki.de/~klusch/cia2008/html/registration.html The registration fee includes: * one copy of the proceedings * participation in the scientific program * participation in the social program (thursday afternoon) and the welcome reception (wednesday evening) This event is organized in cooperation with the ACM - Association for Computing Machinery Special Interest Groups on AI (SIGART), Hypertext, Hypermedia and Web (SIGWEB), Knowledge Discovery in Data (SIGKDD) and co-sponsored by Whitestein Technologies IEEE FIPA Rockwell Automation CERTICON DERI Galway US Air Force Research Lab CONTACT ======= You are very cordially invited to join us at this event! Please do not hesitate to contact us, if you have any questions regarding CIA 2008. Matthias Klusch klusch at dfki.de Michal Pechoucek pechouc at labe.felk.cvut.cz Axel Polleres axel at polleres.net ------------------------------------------------ From MFisher at liverpool.ac.uk Mon Jul 7 23:41:10 2008 From: MFisher at liverpool.ac.uk (Michael Fisher) Date: Mon, 07 Jul 2008 22:41:10 +0100 Subject: CFP: 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) Message-ID: <48728D76.8030203@liverpool.ac.uk> [ Deadline soon -- please distribute ] --------------------------------------------------------------------- CALL FOR PAPERS 9th International Workshop on Computational Logic in Multi-Agent Systems [CLIMA-IX] Dresden, Germany 29th-30th September, 2008 [ co-located with JELIA'2008 ] [ http://www.csc.liv.ac.uk/~michael/clima08.html ] OVERVIEW -------- The 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IX) will be held in Dresden, Germany on the 29th and 30th September. CLIMA-IX will be co-located with JELIA 2008, the 11th European Conference on Logics in Artificial Intelligence, which runs from 28th September to 1st October, 2008. See http://www.jelia.eu/2008 Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many technologies and concepts from artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing, electronic commerce and trade, etc. Computational logic provides a well-defined, general, and rigorous framework for studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration amongst, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specifications to implementations, and for the verification of properties of individual agents, multi-agent systems and their implementations. In this workshop we aim to bring together researchers from all these areas to discuss and present their work. TOPICS ------ Relevant topics include, but are not limited to, the following (all with a focus on agents, multi-agent systems, or agent organisations): * 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 approaches using (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 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. Submissions must be made via http://www.easychair.org/conferences/?conf=clima9 Submissions will be reviewed and selected and a printed volume of the proceedings will be available at the workshop. We aim to publish a selection of extended workshop papers in a Post-Proceedings volume within the Springer Verlag LNAI series, as in previous years; see http://centria.di.fct.unl.pt/~clima IMPORTANT DATES --------------- Submission Deadline: 9th July 2008 Notification: 9th August 2008 Camera Ready Copy Due: 5th September 2008 CLIMA IX: 29th-30th September 2008 WORKSHOP CO-CHAIRS ------------------ Michael Fisher (Liverpool, UK) http://www.csc.liv.ac.uk/~michael Fariba Sadri (Imperial, UK) http://www.doc.ic.ac.uk/~fs Michael Thielscher (Dresden, DE) http://web.inf.tu-dresden.de/~mit PROGRAMME COMMITTEE ------------------- Natasha Alechina (Nottingham, UK) Jose Julio Alferes (Lisbon, PT) Rafael Bordini (Durham, UK) Gerhard Brewka (Leipzig, DE) Stefania Costantini (L'Aquila, IT) Mehdi Dastani (Utrecht, NL) Juergen Dix (Clausthal, NL) Chiara Ghidini (Trento, IT) James Harland (RMIT, AUS) Hisashi Hayashi (Toshiba, JP) Wiebe van der Hoek (Liverpool, UK) Katsumi Inoue (NII, JP) Joao Leite (Lisbon, PT) Fangzhen Lin (UST, HK) Viviana Mascardi (Genoa, IT) Paola Mello (Bologna, IT) John-Jules Meyer (Utrecht, NL) Leora Morgenstern (Stanford, USA) Naoyuki Nide (Nara, JP) Mehmet Orgun (Macquarie, AUS) Maurice Pagnucco (NSW, AUS) Jeremy Pitt (Imperial, UK) Enrico Pontelli (New Mexico, USA) Chiaki Sakama (Wakayama, JP) Ken Satoh (NII, JP) Renate Schmidt (Manchester, UK) Tran Cao Son (New Mexico, USA) Francesca Toni (Imperial, UK) Marina de Vos (Bath, UK) Cees Witteveen (Delft, NL) --------------------------------------------------------------------- -- -------------------------------------------------------------- | Michael Fisher http://www.csc.liv.ac.uk/~michael | | Dept. Computer Science MFisher at liverpool.ac.uk | | University of Liverpool tel: (+44) 151 795 4262 | | Liverpool L69 3BX, U.K. fax: (+44) 151 795 4235 | -------------------------------------------------------------- From franconi at inf.unibz.it Tue Jul 8 06:10:31 2008 From: franconi at inf.unibz.it (Enrico Franconi) Date: Tue, 8 Jul 2008 14:10:31 +1000 Subject: European Master in Computational Logic - scholarships for European students - last deadline Message-ID: *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC *** http://www.computational-logic.eu The Faculty of Computer Science at the Free University of Bozen- Bolzano (FUB), in Italy (at the heart of the Dolomites mountains in South-Tyrol), is offering the European Masters Program in Computational Logic as part of its Master of Science in Computer Science offer (Laurea Specialistica). The European Masters Program in Computational Logic is an international distributed Master of Science course, in cooperation with the computer science departments in the following universities: * Free University of Bozen-Bolzano, Italy * Technische Universitaet Dresden, Germany * Universidade Nova de Lisboa, Portugal * Technische Universitaet Wien, Austria * Universidad Politecnica de Madrid, Spain This program, completely in English, involves studying one year at the Free University of Bozen-Bolzano, and completing the second year with a stay in one of the partner universities. After this, the student will obtain, together with the European degree, two Master of Science degrees: the Laurea Specialistica degree from the Free University of Bozen-Bolzano, with legal value in Italy, and the respective Master of Science degree from the visited university, with legal value in its country. APPLICATION DEADLINE: - 22 August 2008: last deadline only for European students starting at the Free University of Bozen-Bolzano, Italy (notification of acceptance: 5 September 2008) SCHOLARSHIPS & MONEY SUPPORT: European citizens can apply to scholarships which are granted purely on the basis of the yearly income of the applicant and of her/his parents or husband/wife. This scholarship is only for the year of study at FUB and it may amount up to more than 6,000 EUR per academic year, plus support on the accommodation and reimbursement of the local enrolment fees. These scholarships are also available to non-European citizens with residence in Italy. European students will also get a LLP Socrates Erasmus scholarship for the second year of study abroad, which is 330 EUR per month. NEW! Several tuition fee waivers are granted by the European Master to students with good qualifications on a first come first served basis. All applicants will be considered for tuition fee waivers. NEW! Every year 10 students with European citizenship can visit Australia (Canberra, Sidney, Melbourne or Brisbane) up to 3 months to work on a research project, sponsored by the European Master. The study period in Australia is part of the study programme and it is fully recognised by the European Master's Program in Computational Logic. The guaranteed scholarship is of 3,100 EUR and it covers the travel and living expenses in Australia. The KRDB Research Centre offers the annual "IBM & KRDB" awards for the best thesis on a Computational Logic related topic, which is generously sponsored by the IBM Center for Advanced Studies; each winner will receive a laptop computer from IBM. In addition to that, the Italian site in Rome of the IBM Center for Advanced Studies supports scholarships of up to 2,400 EUR to work on a research project or on the thesis at their labs in Rome. Check the web page for detailed info on other available scholarships: http://www.computational-logic.eu THE STUDY PROGRAMME: The European Masters Program in Computational Logic is designed to meet the demands of industry and research in this rapidly growing area. Based on a solid foundation in mathematical logic, theoretical computer science, artificial intelligence and declarative programming students will acquire in-depth knowledge necessary to specify, implement and run complex systems as well as to prove properties of these systems. In particular, the focus of instruction will be in deduction systems, knowledge representation and reasoning, artificial intelligence, formal specification and verification, syntax directed semantics, logic and automata theory, logic and computability. This basic knowledge is then applied to areas like logic and natural language processing, logic and the semantic web, bioinformatics, information systems and database technology, software and hardware verification. Students will acquire practical experience and will become familiar in the use of tools within these applications. In addition, students will be prepared for a future PhD, they will come in contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills. Applicants should have a Bachelor degree (Laurea triennale) in Computer Science, Computer Engineering, or other relevant disciplines; special cases will be considered. The programme is part of the Master in Computer Science (Laurea Specialistica in Informatica) and it has various strengths that make it unique amongst Italian and European universities: * Curriculum taught entirely in English: The programme is open to the world and prepares the students to move on the international scene. * Possibility of a strongly research-oriented curriculum. * Possibility for project-based routes to obtain the degree and extensive lab facilities. * Other specialisations with streams in the hottest Computer Science areas, such as Web Technologies, Information and Knowledge Management, Databases and Software Engineering. * International student community. * Direct interaction with the local and international industry and research centres, with the possibility of practical and research internships that can lead to future employment. * Excellent scholarship opportunities and student accommodations. The European Masters Program in Computational Logic is sponsored scientifically by the European Network of Excellence on Computational Logic (CoLogNET), the European Association of Logic, Language and Information (FoLLI), the European Coordinating Committee for Artificial Intelligence (ECCAI), the Italian Association for Artificial Intelligence (AI*IA), the Italian Association for Informatics (AICA, member of the Council of European Professional Informatics Societies), the Italian Association for Logic and its Applications (AILA), and the Portuguese Association for Artificial Intelligence (APPIA). THE FREE UNIVERSITY OF BOZEN-BOLZANO: The Free University of Bozen-Bolzano, founded in 1997, boasts modern premises in the centre of Bozen-Bolzano. The environment is multilingual, South Tyrol being a region where three languages are spoken: German, Italian and Ladin. Studying in a multilingual area has shown that our students acquire the cutting edge needed in the international business world. Many of our teaching staff hails from abroad. Normal lectures are complemented with seminars, work placements and laboratory work, which give our students a vocational as well as theoretical training, preparing them for their subsequent professional careers. Studying at the Free University of Bozen-Bolzano means, first and foremost, being guided all the way through the student's educational career. Bozen-Bolzano, due to its enviable geographical position in the centre of the Dolomites, also offers our students a multitude of opportunities for spending their free-time. The city unites the traditional with the modern. Young people and fashionable shops throng the city centre where ancient mercantile buildings are an attractive backdrop to a city that is in continual growth. To the south there is the industrial and manufacturing area with prosperous small and medium-sized businesses active in every economic sector. Back in the 17th century Bozen-Bolzano was already a flourishing mercantile city that, thanks to its particular geographic position, functioned as a kind of bridge between northern and southern Europe. As a multilingual town and a cultural centre Bozen-Bolzano still has a lot to offer today. Its plethora of theatres, concerts with special programmes, cinemas and museums, combined with a series of trendy night spots that create local colour make Bozen-Bolzano a city that is beginning to cater for its increasingly demanding student population. And if you fancy a very special experience, go and visit the city's favourite and most famous resident - "Oetzi", the Ice Man of Similaun, housed in his very own refrigerated room in the recently opened archaeological museum. Bozen-Bolzano and its surroundings are an El Dorado for sports lovers: jogging on the grass alongside the River Talfer-Talvera, walks to Jenesien-S.Genesio and on the nearby Schlern-Sciliar plateau, excursions and mountain climbing in the Dolomites, swimming in the numerous nearby lakes and, last but not least, skiing and snowboarding in the surrounding ski areas. FURTHER INFORMATION: Sergio Tessaris (director) or Enrico Franconi at info at fub.computational-logic.eu European Masters Program in Computational Logic Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani, 3 I-39100 Bozen-Bolzano BZ, Italy Phone: +39 0471 016 000 Fax: +39 0471 016 009 Email: info at fub.computational-logic.eu Web site: http://www.computational-logic.eu From jeanneret at ifi.uzh.ch Tue Jul 8 07:38:43 2008 From: jeanneret at ifi.uzh.ch (=?ISO-8859-1?Q?C=E9dric_Jeanneret?=) Date: Tue, 08 Jul 2008 07:38:43 +0200 Subject: CfP - Models@Runtime Message-ID: <4872FD63.4080009@ifi.uzh.ch> ------------------------ CALL FOR PAPERS ------------------------ WORKSHOP Models at run.time http://www.comp.lancs.ac.uk/computing/users/bencomo/MRT At the ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems MODELS'08, 28 September - 3 October, Toulouse, France ********************************************************************** Important Dates: Submission deadline: Wednesday August 13th Notification of acceptance: September 7th (or before early registration deadline at MODELS08) Workshop at MODELS: Tuesday 30th September Program Committee Betty Cheng, Michigan State University, USA Fabio M. Costa, Federal University of Goias, Brazil Anthony Finkelstein, UCL, UK Jeff Gray, UAB, USA Oystein Haugen, SINTEF, Norway Jozef Hooman, ESI, The Netherlands Gang Huang, Peking University, China Paola Inverardi, University of L'Aquila P.F.Linington, University of Kent, UK Jean-Marc Jezequel, Triskell Team,IRISA, France Rui Silva Moreira, UFP, INESC Porto, Portugal Andrey Nechypurenko, Siemens, Germany Oscar Nierstrasz, University of Berne, Switzerland Eugenio Scalise, UCV, Venezuela Arnor Solberg, SINTEF, Norway Thaís Vasconcelos Batista, UFRN, Brazil Steffen Zschaler, T.U. Dresden, Germany Organizing Committee Nelly Bencomo (main contact), Gordon Blair, Lancaster University, UK Robert France, Colorado State University, USA Freddy Munoz, INRIA, France (Submissions) Cédric Jeanneret, University of Zurich, Switzerland (Publicity) Goal The goal of this workshop is to look at issues related to developing appropriate model-driven approaches to monitoring and managing the execution of systems. This is the first workshop to address this theme and its treatment requires the bringing together of a variety of communities including researchers working on model-driven software development, software architectures, reflection (including for example architectural reflection), and autonomic and self healing systems. Discussions in the workshop will address questions such as: What should a runtime model look like? How can the models be maintained at runtime? What are the best approaches to follow when developing runtime models? Workshop Format The workshop participants will be selected based on their experience and ideas related to this new and emerging field. You are invited to apply for attendance by sending a full-paper (8-10 pages) or a short paper (2-4 pages) in PDF or PS The paper must conform to the Springer LNCS formatting guidelines: http://www.springer.com/computer/lncs (it is the same format of the Conference, see conference website for more information). Submissions will be reviewed by at least 3 PC members. The authors will be notified about acceptance before the MoDELS 2008 early registration deadline. Candidates for best papers can be just taken from the category of full-papers. A primary deliverable of the workshop is a report that clearly outlines (1) the research issues and challenges in terms of specific research problems in the area, and (2) a synopsis of existing model-based solutions that target some well-defined aspect of monitoring and managing the execution of systems. Potential attendees are strongly encouraged to submit position papers that clearly identify research issues and challenges, present techniques that address well-defined problems in the area, and are supported by small demos. The first part of the workshop will focus on identifying the research issues and challenges and framing an initial set of research questions. The second part of the workshop will focus on discussing approaches for tackling the problems; in particular, the integration of runtime models with model-driven development approaches will be discussed. The workshop aims to: - Integrate and combine research ideas from the areas cited above. - Provide a "state-of-the-research" assessment expressed in terms of research issues, challenges, and accomplishments. This assessment can be used to guide research in the area. - Continue to build a network of researchers in this area, building on the initial event help last year. - Plan and promote further events on these topics. We strongly encourage authors to address the following topics. Labelled research topics with (*) are crucially important: - What a runtime model looks like and how does it evolve? (*) - How can runtime models be maintained? (*) - How can runtime models be validated? - What abstractions over runtime phenomena are useful? - How are the abstractions tied to the types of adaptations supported? (*) - How do these abstractions evolve over time? (*) - Are new abstractions created during runtime? (*) - How are the causal relationships with executing code realized? (*) - What is the role of reflection in maintaining the causal connection between models and run-time system? - The relevance and suitability of different model-driven approaches to monitoring and managing systems during runtime - Examples of how models can be used to validate and verify the behaviour of the system at runtime (*) - Compatibility (or tension) between different model-driven approaches - How do models at other phases of the software engineering lifecycle relate to the corresponding run-time models? - Small demos and tools that support the use of models at run.time (*) Cédric Jeanneret Department of Informatics, University of Zurich, Switzerland From pierre.kelsen at uni.lu Tue Jul 8 08:23:57 2008 From: pierre.kelsen at uni.lu (Pierre Kelsen) Date: Tue, 8 Jul 2008 08:23:57 +0200 Subject: Professor Position/System and Software Reliability/University of Luxembourg Message-ID: <9E3E177F-0477-4DF6-8B65-A5DC2A0E0F32@uni.lu> Open Position: Professor of Computer Science Area: System & Software Reliability Ref:F1-080001 "Computer security and reliability" is one of the strategic priorities of the University of Luxembourg. The professorship in system and software reliability is intended to complement and strengthen the existing research expertise in the Computer Science and Communication Unit of the Faculty of Science, Technology and Communication. We welcome candidates with an excellent research record in dependable systems and networks, especially in the field of system and software reliability. The area encompasses, among others, methods and tools for system safety and reliability assessment, fault identification and management, fault tolerance, system and software vulnerability assessment and testing, model-driven software development, rigorous techniques for dependable system design, architectures and middleware for dependability, autonomic computing, protocols and algorithms for communication reliability. Application areas of particular interest for Luxembourg include crisis and emergency management, and communication reliability in convergent networks. The new professor is expected to contribute to undergraduate and graduate teaching, in particular to the "Master of Science in Information and Computer Sciences" and the "Professional Master in the Management of Security of Information Systems " . Furthermore, he/she is expected to build and lead a team of PhD students and post-docs. The new professor will be offered a highly competitive salary and will be able to contribute in a very dynamic environment to the development of a young and fast growing university. Requirements Candidates have a PhD in computer science and at least five years of relevant work experience after their PhD. They have a strong affinity with the indicated research area, an excellent international scientific reputation, adequate experience in teaching and in managing research activities, and a past performance in obtaining externally funded research projects. We welcome industrial experience. Offer The University offers competitive salaries. The University of Luxembourg is an equal opportunity employer. Applications letters with clear referral to the concerned position and containing a detailed CV, the list of publications and a short research statement must be sent by ordinary mail to the Dean of the Faculty Prof. Massimo Malvetti Université du Luxembourg – Campus Kirchberg 6, rue Richard Coudenhove-Kalergi L-1359 Luxembourg Please include all application documents as pdf-documents on a CD-ROM as well. Applications are to be received no later than Tuesday, September 30th, 2008. For further information, please contact prof.dr. Leon van der Torre, responsible for the strategic priority on security and reliability of the University of Luxembourg, leon.vandertorre at uni.lu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jsachs at csee.umbc.edu Wed Jul 9 19:50:01 2008 From: jsachs at csee.umbc.edu (joel sachs) Date: Wed, 9 Jul 2008 13:50:01 -0400 (EDT) Subject: Announcement: Travel fellowships to ISWC 2008 Message-ID: Greetings all, and the usual apologies for multiple postings - We are happy to announce that two organizations have generously contributed funds to support participation by full-time students in ISWC 2008. The Semantic Web Science Association (SWSA) and the U.S. National Science Foundation (NSF) will provide 10,000 Euro and $20,000 respectively, with NSF funds being earmarked to support students attending U.S. Universities. We anticipate that the SWSA funds will support 10 awards of 1000 Euro, and that the NSF funds will support 13 awards of approximately $1500. Our goal is to encourage students who want to become part of the Semantic Web research community, and we hope that participation in ISWC 2008 will be a significant event in the graduate careers of the selected students. In selecting applications for travel support, preference will be given to students selected to participate in the doctoral consortium, followed by students who are first author on a paper accepted at the conference, followed by students who have other authorship on a conference or related workshop paper. Details on how to apply are at http://iswc2008.semanticweb.org/general-info/student-fellowships/ Applications are due August 15, with notification of success by Sept. 1. From Thomas.Lukasiewicz at kr.tuwien.ac.at Wed Jul 9 22:07:37 2008 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Wed, 09 Jul 2008 21:07:37 +0100 Subject: 2nd CFP: 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008) Message-ID: <48751A89.5040300@kr.tuwien.ac.at> CALL FOR PAPERS 4th International Workshop on Uncertainty Reasoning for the Semantic Web http://c4i.gmu.edu/ursw/2008 In conjunction with the 7th International Semantic Web Conference Karlsruhe - Germany October 26-27, 2008 You are invited to participate in the upcoming International Workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 7th International Semantic Web Conference (ISWC) in October of 2008 in Karlsruhe - Germany. ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The International Workshop on Uncertainty Reasoning for the Semantic Web 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, Protégé and Protégé-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 (including fuzzy theory, probability theory, and other approaches). 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 * Using fuzzy approaches to deal with imprecise concepts within ontologies * 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, 2008 Paper submissions due September 5, 2008 Paper acceptance notification September 26, 2008 Camera-ready papers due October 26-27, 2008 4th 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 2008 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://www.easychair. org/conferences/?conf=ursw2008. Papers must be submitted in PDF format, and follow the same submission format used by the ISWC 2008 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 2008 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 URSW 2008 will be a full day workshop divided into four sessions. Two of those sessions will be devoted to a specific theme, while the remaining sessions will be planned in a format that invites an open debate on the results, conclusions, recommendations, and follow-up work of the W3C Uncertainty Reasoning for the World Wide Web Incubator Group (http://www.w3.org/2005/Incubator/urw3/XGR-urw3/). 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 2008 Conference. We are also planning to publish revised versions of selected papers in an LNCS volume or a special issue of an international journal. Program Committee The program committee is still being formed. Currently, it 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 - Eduworks, Inc., USA. * Kathryn B. Laskey - George Mason University, USA. * Kenneth J. Laskey - MITRE Corporation, USA. Member of the W3C Advisory Board. * Thomas Lukasiewicz - Oxford University, UK. * Anders L. Madsen - Hugin Expert A/S, Denmark. * M. Scott Marshall - Adaptive Information Disclosure, Universiteit van Amsterdam, The Netherlands. * Trevor Martin - University of Bristol, UK. * Matthias Nickles - University of Bath, UK. * 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. * Nematollaah Shiri - Concordia University, Canada. * Oreste Signore - ISTI-CNR, Manager of the W3C Office, Italy. * Sergej Sizov - University of Koblenz-Landau, Germany. * Pavel Smrz - Brno University of Technology, Czech Republic. * Umberto Straccia - Istituto di Scienza e Tecnologie 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. * Kathryn Laskey - George Mason University, USA. * Ken Laskey - MITRE Corporation, USA. * Thomas Lukasiewicz - Oxford University, UK. * Trevor Martin - University of Bristol, UK. * Matthias Nickles - University of Bath, UK. * Michael Pool - Convera, Inc., USA. * Pavel Smrz - Brno University of Technology, Czech Republic. We are looking forward to seeing you in Karlsruhe! From leon.vandertorre at uni.lu Tue Jul 8 00:36:24 2008 From: leon.vandertorre at uni.lu (Leon Van Der Torre) Date: Tue, 8 Jul 2008 00:36:24 +0200 Subject: subscribe Message-ID: <48729A68.2070905@uni.lu> From seipel at informatik.uni-wuerzburg.de Tue Jul 8 15:09:30 2008 From: seipel at informatik.uni-wuerzburg.de (Dietmar Seipel) Date: Tue, 08 Jul 2008 15:09:30 +0200 Subject: WARNING! (2940308891) In-Reply-To: References: Message-ID: <4873670A.6020509@informatik.uni-wuerzburg.de> event administration wrote: > 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: 2940308891, > 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 alexander.friedmann at uqam.ca Tue Jul 8 16:29:09 2008 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Tue, 8 Jul 2008 10:29:09 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Tue, Jul 8, 2008 at 8:17 AM, event administration < event-subscribe at in.tu-clausthal.de> wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have > bounced. > > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From MFisher at liverpool.ac.uk Thu Jul 10 16:44:10 2008 From: MFisher at liverpool.ac.uk (Michael Fisher) Date: Thu, 10 Jul 2008 15:44:10 +0100 Subject: Extended Deadline: CLIMA International Workshop.... Message-ID: <4876203A.5090705@liverpool.ac.uk> [ ** NOTE: Deadline now extended to 16th July -- please distribute ** ] --------------------------------------------------------------------- CALL FOR PAPERS 9th International Workshop on Computational Logic in Multi-Agent Systems [CLIMA-IX] Dresden, Germany 29th-30th September, 2008 [ co-located with JELIA'2008 ] [ http://www.csc.liv.ac.uk/~michael/clima08.html ] OVERVIEW -------- The 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IX) will be held in Dresden, Germany on the 29th and 30th September. CLIMA-IX will be co-located with JELIA 2008, the 11th European Conference on Logics in Artificial Intelligence, which runs from 28th September to 1st October, 2008. See http://www.jelia.eu/2008 Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many technologies and concepts from artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing, electronic commerce and trade, etc. Computational logic provides a well-defined, general, and rigorous framework for studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration amongst, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specifications to implementations, and for the verification of properties of individual agents, multi-agent systems and their implementations. In this workshop we aim to bring together researchers from all these areas to discuss and present their work. TOPICS ------ Relevant topics include, but are not limited to, the following (all with a focus on agents, multi-agent systems, or agent organisations): * 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 approaches using (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 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. Submissions must be made via http://www.easychair.org/conferences/?conf=clima9 Submissions will be reviewed and selected and a printed volume of the proceedings will be available at the workshop. We aim to publish a selection of extended workshop papers in a Post-Proceedings volume within the Springer Verlag LNAI series, as in previous years; see http://centria.di.fct.unl.pt/~clima IMPORTANT DATES --------------- Submission Deadline: 16th July 2008 Notification: 9th August 2008 Camera Ready Copy Due: 5th September 2008 CLIMA IX: 29th-30th September 2008 WORKSHOP CO-CHAIRS ------------------ Michael Fisher (Liverpool, UK) http://www.csc.liv.ac.uk/~michael Fariba Sadri (Imperial, UK) http://www.doc.ic.ac.uk/~fs Michael Thielscher (Dresden, DE) http://web.inf.tu-dresden.de/~mit PROGRAMME COMMITTEE ------------------- Natasha Alechina (Nottingham, UK) Jose Julio Alferes (Lisbon, PT) Rafael Bordini (Durham, UK) Gerhard Brewka (Leipzig, DE) Stefania Costantini (L'Aquila, IT) Mehdi Dastani (Utrecht, NL) Juergen Dix (Clausthal, NL) Chiara Ghidini (Trento, IT) James Harland (RMIT, AUS) Hisashi Hayashi (Toshiba, JP) Wiebe van der Hoek (Liverpool, UK) Katsumi Inoue (NII, JP) Joao Leite (Lisbon, PT) Fangzhen Lin (UST, HK) Viviana Mascardi (Genoa, IT) Paola Mello (Bologna, IT) John-Jules Meyer (Utrecht, NL) Leora Morgenstern (Stanford, USA) Naoyuki Nide (Nara, JP) Mehmet Orgun (Macquarie, AUS) Maurice Pagnucco (NSW, AUS) Jeremy Pitt (Imperial, UK) Enrico Pontelli (New Mexico, USA) Chiaki Sakama (Wakayama, JP) Ken Satoh (NII, JP) Renate Schmidt (Manchester, UK) Tran Cao Son (New Mexico, USA) Francesca Toni (Imperial, UK) Marina de Vos (Bath, UK) Cees Witteveen (Delft, NL) --------------------------------------------------------------------- -- --------------------------------------------------------------- | Michael Fisher http://www.csc.liv.ac.uk/~michael | | Dept. of Computer Science MFisher at liverpool.ac.uk | | University of Liverpool tel: (+44) 151 795 4262 | | Liverpool L69 3BX, U.K. fax: (+44) 151 795 4235 | --------------------------------------------------------------- From Bertram.Fronhoefer at inf.tu-dresden.de Fri Jul 11 11:17:53 2008 From: Bertram.Fronhoefer at inf.tu-dresden.de (Bertram =?iso-8859-1?B?RnJvbmjDg8K2ZmVy?=) Date: Fri, 11 Jul 2008 11:17:53 +0200 Subject: JOB OPPORTUNITY Message-ID: <20080711091752.GA2729@janeway.inf.tu-dresden.de> JOB OPPORTUNITY at the Knowledge Representation and Reasoning Group headed by Prof. Hölldobler at the Faculty of Computer Science of the Technische Universität Dresden, Germany. The group (www.wv.inf.tu-dresden.de/) coordinates the “European Master’s Program in Computational Logic” (european.computational-logic.org/) and manages the “International Center for Computational Logic” (www.computational-logic.org/index.php). The group’s research orientation is strongly based on logic and formal methods, while the focus lies on the development of methods for knowledge representation and inference as well as on neural-symbolic integration. The open position is for a Ph.D. Student or Post-Doc. It is available from Aug. 1, 2008 with a duration of 3 years and the possibility of prolongation up to 2 years. The salary is based on E13 TV-L. The successful candidate is expected to do research in the area of Computational Logic (leading to a doctoral thesis in case of candidates without Ph.D. respectivly leading to a ‘Habilitation’ in case of Ph.D. holders), to do four hours teaching per week during lecturing periods, to assist in supervising the work of students, to provide assistance with administrative academic overhead and project acquisition in an international setting, and to play a substantial role in the administration and maintenance of the group's computer systems consisting of Linux and Apple computers. Applicants should have an excellent diploma or master degree in computer science or related subject (higher qualifications - e.g. Ph.D. - are also welcome), substantial knowledge in logic-oriented Artificial Intelligence and/or related subjects, proficiency in English, and a substantial acquaintance with German which promises to impove rapidly till spring 2009 such that it will suffice for teaching and dealing with administrative issues. Please send your application (CV, certificates, transcript of records, contact information of persons whom we can contact for references) to the address mentioned below before July 25, 2008. Please send only copies of your application documents. Electronic applications are accepted. Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: sh at iccl.tu-dresden.de From bcseet at ieee.org Sat Jul 12 05:04:29 2008 From: bcseet at ieee.org (Boon-Chong Seet) Date: Sat, 12 Jul 2008 11:04:29 +0800 Subject: CFP: 1st International Workshop on Sensor Networks and Ambient Intelligence Message-ID: <006901c8e3cc$01951480$454918d2@yourbbc104cd11> -------------------------------------------------------------------------------- CFP: 1st International Workshop on Sensor Networks and Ambient Intelligence -------------------------------------------------------------------------------- SeNAmI 2008 1st International Workshop on Sensor Networks and Ambient Intelligence In conjuction with PDCAT'08 http://www.cs.otago.ac.nz/pdcat08 December 1-4, 2008, Dunedin, New Zealand Call for Papers Sensor networks is an enabling technology of Ambient Intelligence. The pervasive nature of unobtrusive sensors distributed in the environment, either embedded or transportable by mobile carriers, enables fine-grain capture of environmental or ambient information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with capabilities to perceive, reason, learn, and react intelligently to their environment. Such systems in turn are envisioned to have wide ranging applications from intelligent wildlife and building structure monitoring, to humanistic and social endevours such as health and elderly care service provisioning. This workshop aims to bring together researchers from academia and industry to discuss recent research and technology advances in related areas, and from such engagement to foster or stimulate innovations in cross-disciplinary designs and methodologies in the fields of both sensor networks and ambient intelligence. Topics of interest include but are not limited to: - Cognitive wireless sensor networks - Cooperative and distributed sensor localization - Context-aware reasoning and inference for sensor/RFID-based systems - Intelligence support for sensor network management - Sensor networking in heterogeneous wireless environments - Sensor data fusion for ubiquitous embedded computing - Ambient intelligence system architectures, applications, and services - Testbed implementation and experimental trials Manuscript submission Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair. Please follow the IEEE Computer Society Press Proceedings Author Guidelines to prepare your papers. Maximum page length of accepted papers will be limited to 6 pages with main body text printed on 10 point font. All accepted papers will be included in conference proceedings of PDCAT'08, which will be published by IEEE Computer Society Press and automatically included in the IEEE Xplore digital library. The proceedings will also be cited by Engineering Information (EI). Selected best papers would be considered for publication in a special issue of the Inderscience International Journal of Autonomous and Adaptive Communication Systems. Important dates Paper submission due : July 21, 2008 (extended) Acceptance notification : August 25, 2008 Camera-ready due : September 1, 2008 Workshop date : TBA For further details, please visit: http://senami08.aut.ac.nz -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tommie.meyer at meraka.org.za Sat Jul 12 21:56:31 2008 From: tommie.meyer at meraka.org.za (Tommie Meyer) Date: Sat, 12 Jul 2008 21:56:31 +0200 Subject: FIRST CALL FOR PARTICIPATION: KROW@KR2008 Message-ID: [Apologies for cross and multiple postings] Knowledge Representation Ontology Workshop (KROW 2008) September 17, 2008 A KR 2008 Workshop September 16 - 19, 2008 Sydney, Australia http://www.cse.unsw.edu.au/~kr2008/krow.html First Call for Participation Early Registration Deadline: July 31, 2008 KROW 2008 is one of two workshops forming an integral part of the program of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR2008). It is a continuation of the Australasian Ontology Workshop series: http://www.comp.mq.edu.au/conferences/aow/. The primary aim of the workshop is to bring together active researchers in the broad area of ontologies. Registration for KR 2008 includes attendance of KROW 2008. Registration for KR 2008 is now open: http://www.cse.unsw.edu.au/~kr2008/registration.html Important Dates Early registration deadline: July 31, 2008 KROW 2008: September 17, 2008 Workshop Chairs Thomas Meyer Meraka Institute, South Africa tommie.meyer at meraka.org.za Mehmet Orgun Macquarie University, Australia mehmet at ics.mq.edu.au Program Committee Franz Baader (TU Dresden, Germany) Mike Bain (UNSW, Australia) Richard Booth (Mahasarakham University, Thailand) Arina Britz (Meraka Institute, South Africa) Longbing Cao (UTS, Australia) Werner Ceusters (SUNY Buffalo, USA) Anne Cregan (UNSW, Australia) Attila Elci (Eastern Mediterranean University, Turkey) Aurona Gerber (Meraka Institute, South Africa) Manolis Gergatsoulis (Ionian University, Greece) Dennis Hooijmaijers (University of South Australia, Australia) Bo Hu (University of Southampton, UK) Renato Iannella (NICTA, Australia) Marijke Keet (Free University of Bolzano, Italy) Ken Kaneiwa (NII, Japan) Kevin Lee (NICTA and UNSW, Australia) Laurent Lefort (CSIRO, Australia) Costas Mantratzis (University of Westminster, UK) Lars Moench (University of Hagen, Germany) Deshendran Moodley (University of KwaZulu Natal, South Africa) Maurice Pagnucco (UNSW, Australia) Anet Potgieter (University of Cape Town, South Africa) Debbie Richards (Macquarie University, Australia) Rolf Schwitter (Macquarie University, Australia) Murat Sensoy (Bogazici University, Turkey) Barry Smith (SUNY Buffalo, USA) Boontawee Suntisrivaraporn (TU Dresden, Germany) Kerry Taylor (CSIRO, Australia) Sergio Tessaris (Free University of Bolzano, Italy) Kewen Wang (Griffith University, Australia) Mary-Anne Williams (UTS, Australia) Pinar Yolum (Bogazici University, Turkey) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tommie.meyer at meraka.org.za Sat Jul 12 21:52:42 2008 From: tommie.meyer at meraka.org.za (Tommie Meyer) Date: Sat, 12 Jul 2008 21:52:42 +0200 Subject: FIRST CALL FOR PARTICIPATION: KR 2008 Message-ID: <399B1A78-EEA6-4FB3-B01B-340A71D48C06@meraka.org.za> [Apologies for cross and multiple postings] FIRST CALL FOR PARTICIPATION: KR 2008 Eleventh International Conference on Principles of Knowledge Representation and Reasoning Sydney, Australia, September 16 - 19, 2008 Tutorials and opening ceremony, September 15 Early registration deadline: July 31, 2008 Collocated with NMR-08, ICAPS-08, CP-08 The single registration fee includes attendance to most events for all conferences http://www.kr.org/KR2008/ Knowledge Representation and Reasoning (KR&R) is a vibrant and exciting field of human endeavour. KR&R techniques are key drivers of innovation in computer science, and they have led to significant advances in practical applications in a wide range of areas from Artificial Intelligence to Software Engineering. Explicit representations of knowledge manipulated by reasoning engines are an integral and crucial component of intelligent systems. Semantic Web technologies, the design of software agents and Bio-Informatics technologies, in particular, provide significant challenges for KR&R. KR2008 will be a forum for the exchange of new ideas, issues, and results among the community of researchers in the principles and practices of KR&R systems. KR Workshops: Knowledge Representation Ontology Workshop KROW 2008 @ KR 2008 http://www.cse.unsw.edu.au/~kr2008/krow.html Workshop on Knowledge Representation for Agents and Multi-Agent Systems KRAMAS 2008 @ KR 2008 http://www.cs.uu.nl/events/kramas2008/kramas.html Doctoral Consortium http://www.cse.unsw.edu.au/~kr2008/doctoral.html Important Dates: Early registration deadline: July 31, 2008 KR 2008 Conference: September, 16-19, 2008 Invited Speakers Ronen Brafman, Ben Gurion University (joint ICAPS-KR speaker) Adnan Darwiche, University of California Los Angeles (joint CP-KR speaker) Norman Foo, University of New South Wales (Great Moments in KR speaker) Joe Halpern, Cornell University Conference Chairs: General Chair: Patrick Doherty PC Chairs: Gerhard Brewka, Jerome Lang Local Chair: Maurice Pagnucco Doctoral Consortium Chair: Carsten Lutz Publicity Chair: Thomas Meyer -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dml2008 at easychair.org Sun Jul 13 03:28:20 2008 From: dml2008 at easychair.org (dml2008 at easychair.org) Date: Sun, 13 Jul 2008 03:28:20 +0200 (CEST) Subject: CFP: DML 2008--Towards Digital Mathematics Library, Birmingham, UK, Jul 27th Message-ID: <20080713012820.D72A522B1DC@anxur.fi.muni.cz> Call for participation: Towards Digital Mathematics Library (DML 2008) July 27th, 2008, Birmingham, UK c/o MKM 2008 Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2008.xhtml Registration: http://events.cs.bham.ac.uk/cicm08/registration.php Travel: http://events.cs.bham.ac.uk/cicm08/travel.php Accomodation: http://events.cs.bham.ac.uk/cicm08/accommodation.php Overview: Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked and validated/verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The workshop's objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects, asking such questions as: # What technologies, standards, algorithms and formats should be used and what metadata should be shared? # What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? # Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? # What is the best practice for * retrodigitized mathematics (from images via OCR to MathML and/or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML and/or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow [CEDRAM model])? Proceedings: (200+ pages) was published by Masaryk University and will be available on site. Papers and Posters selected for presentation at the workshop: Part I Towards Digital Mathematics Library * Some Thoughts on the Near-Future Digital Mathematics Library Thierry Bouche (Université de Grenoble I, France) * From Pixels and Minds to the Mathematical Knowledge in a Digital Library Petr Sojka (Masaryk University, Brno, Czech Republic) Jiří Rákosník (Institute of Mathematics AS CR, Praha, Czech Republic) * Mathematical Document Classification via Symbol Frequency Analysis Stephen M. Watt (University of Western Ontario, London Ontario, Canada) Part II Towards Mathematical OCR and Search * Lexical Error Compensation in Handwritten-based Mathematical Information Retrieval Seyed Ali Ahmadi (George Washington University, United States) Abdou Youssef (George Washington University, United States) * Extending Full Text Search Engine for Mathematical Content Jozef Mišutka (Charles University in Prague, Czech Republic) Leo Galamboš (Charles University in Prague, Czech Republic) * Mathematical Formulae Recognition Daniel Průša (Czech Technical University, Prague, Czech Republic) Václav Hlaváč (Czech Technical University, Prague, Czech Republic) * Extracting Precise Data on the Mathematical Content of PDF Documents Josef B. Baker (University of Birmingham, United Kingdom) Alan P. Sexton (University of Birmingham, United Kingdom) Volker Sorge (University of Birmingham, United Kingdom) Part III Digitization Reports * RusDML 2008 Bernd Wegner (Mathematisches Institut, TU Berlin, Germany) * Digitization of Mathematical Editions in Serbia Žarko Mijajlović (Faculty of Mathematics, Belgrade, Serbia) Zoran Ognjanović (Mathematical Institute, Belgrade, Serbia) * Current Status of Mathematical Publications in Japan Takao Namiki (Hokkaido University, Sapporo, Japan) * Small Scale Retrodigitization Michael Doob (The University of Manitoba, Canada) Part IV Digitization Technologies and Platforms * Building the Czech Digital Mathematics Library upon DSpace System Vlastimil Krejčíř (Masaryk University, Brno, Czech Republic) * Migration of the Mathematical Collection of Polish Virtual Library of Science to the YADDA Platform Katarzyna Zamlynska (University of Warsaw, Poland) Lukasz Bolikowski (University of Warsaw, Poland) Tomasz Rosiek (University of Warsaw, Poland) * A Language Engineering Architecture for Processing Informal Mathematical Discourse Magdalena Wolska (Saarland University, Germany) Part V Digitization Tools * DML-CZ Metadata Editor Miroslav Bartošek (Masaryk University, Brno, Czech Republic) Petr Kovář (Masaryk University, Brno, Czech Republic) Martin Šárfy (Masaryk University, Brno, Czech Republic) * CEDRICS: When CEDRAM Meets Tralics (Keynote) Thierry Bouche (Université de Grenoble I & CNRS, France) * Automated Processing of TEX-Typeset Articles for a Digital Library Michal Růžička (Masaryk University, Brno, Czech Republic) * Ideas from Oz, for New and Retro-Born Digital Mathematics Ross Moore (Macquarie University, Sydney, Australia) Workshop Overview: Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked and validated/verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The workshop's objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects, asking such questions as: # What technologies, standards, algorithms and formats should be used and what metadata should be shared? # What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? # Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? # What is the best practice for * retrodigitized mathematics (from images via OCR to MathML and/or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML and/or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow [CEDRAM model])? Topics: (include, but are not limited to) o search, indexing and retrieval of mathematical documents o ranking of mathematical papers, similarity of mathematical documents o math OCR with MathML/TeX output o document conversions from/to MathML, OpenMath, LaTeX, PostScript and [tagged] PDF o conversions between various mathematical formalisms o mathematical document compression o processing of scanned images o algorithms for crosslinking of bibliographical items, intext citations search o mathematical document classification, MSC 2010 o mathematical text mining o mathematical documents metadata exchange via OAI-PMH and/or OAI-ORE o long term archiving, data migration o reports and experience from math digitization projects o math publishing with long term archival goal o software engineering aspects of creating, handling MathML, OMDoc, OpenMath documents, and displaying them in web browsers Programme Committee: Jose Borbinha (Technical University of Lisbon, IST, PT) Thierry Bouche (University Grenoble, Cellule Mathdoc, FR) Thomas Fischer (Goettingen University, Digitization Center, DE) Vaclav Hlavac (Czech Technical University, Faculty of Engineering, Prague, CZ) Janka Chlebikova (Comenius University, MFF, Bratislava, SK) Enrique Macias-Virgos (University of Santiago de Compostella, ES) Jiri Rakosnik (Academy of Sciences, Mathematical Institute, Prague, CZ) Eugenio Rocha (University of Aveiro, Dept. of Mathematics, PT) David Ruddy (Cornell University, Library, US) Petr Sojka (Masaryk University, Faculty of Informatics, Brno, CZ) [chair] Volker Sorge (University of Birmingham, UK) Masakazu Suzuki (Kyushu University, Faculty of Mathematics, JP) Bernd Wegner (Technical University & Zentralblatt MATH, Berlin, DE) Organizing Committee: Adam Rambousek, Michal Ruzicka, Petr Sojka, Volker Sorge Questions/inquiries: mail to dml2008 at easychair dot org CFP distribution: Please, distribute at your place. And apologies for multiple postings! From wf at wfaber.com Mon Jul 14 12:41:46 2008 From: wf at wfaber.com (Wolfgang Faber) Date: Mon, 14 Jul 2008 12:41:46 +0200 Subject: CfP: ICLP Workshop on ASP and Other Computing Paradigms (ASPOCP 08) Message-ID: <1216032106.25710.25.camel@positron> [apologies if you receive multiple copies] ============================================================================ CALL FOR PAPERS ASPOCP 2008 Workshop on Answer Set Programming and Other Computing Paradigms http://www.mat.unical.it/ASPOCP08/ Collocated with the International Conference on Logic Programming 2008 Udine, Italy December 9-13, 2008 (exact day to be determined) ============================================================================ AIMS AND SCOPE Since its introduction in the 1990s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most studied relationship, the relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified boolean formulas (QBF), or first-order logic (FOL) is also the subject of active research. New methods of computing answer sets are being developed based on the relation between ASP and other paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, and FOL theorem provers. Furthermore, the practical application of ASP also fosters work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction. This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques, in combination with or inspired by other computing paradigms. TOPICS Topics of interests include (but are not limited to): - Relating ASP to classical logic formalisms (SAT/FOL/QBF/SMT/DL). - Relating ASP to constraint programming. - Relating ASP to other logic programming paradigms. - Relating ASP to other nonmonotonic languages. - New methods of computing answer sets using algorithms or systems of other paradigms. - ASP and probabilistic reasoning. - ASP and machine learning. - Language extensions to ASP. - ASP and multi-agent systems. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - Embedding ASP for challenging applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding / beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format . Paper submission will be handled electronically by means of the Easychair system. The submission page is available at http://www.easychair.org/conferences/?conf=aspocp08 . IMPORTANT DATES Submission Deadline: September 15, 2008 Notification: October 20, 2008 Camera-ready articles due: November 10, 2008 Workshop: December 9-13, 2008 (exact day to be determined) PROCEEDINGS The workshop contributions will be published electronically, using the Computing Research Repository (CoRR). Informal printed proceedings will be provided at the workshop. It is planned to publish significantly extended versions of selected contributions as post-proceedings, preferably as a special edition of a journal. The post-proceeding articles will be subject to a further peer-reviewing round. LOCATION The workshop will be held in Udine, Italy, collocated with the International Conference on Logic Programming (ICLP) 2008. WORKSHOP CO-CHAIRS Wolfgang Faber (University of Calabria, Italy) Joohyung Lee (Arizona State University, USA) PROGRAM COMMITTEE Chitta Baral (Arizona State University, USA) Gerhard Brewka (University of Leipzig, Germany) Pedro Cabalar (University of A Coruña, Spain) Marc Denecker (Katholieke Universiteit Leuven, Belgium) Nicola Leone (University of Calabria, Italy) Vladimir Lifschitz (University of Texas at Austin, USA) Fangzhen Lin (Hong Kong University of Science and Technology, China) Thomas Lukasiewicz (University of Oxford, UK) Ilkka Niemela (Helsinki University of Technology, Finland) Miroslaw Truszczynski (University of Kentucky, USA) Dirk Vermeir (Vrije Universiteit Brussel, Belgium) Stefan Woltran (Vienna University of Technology, Austria) Yan Zhang (University of Western Sydney, Australia) Yuanlin Zhang (Texas Tech University, USA) From bcseet at ieee.org Sat Jul 12 04:53:10 2008 From: bcseet at ieee.org (Boon-Chong Seet) Date: Sat, 12 Jul 2008 10:53:10 +0800 Subject: Subscribe me! Message-ID: <003e01c8e3ca$6cad8830$454918d2@yourbbc104cd11> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bcseet at ieee.org Sat Jul 12 05:02:24 2008 From: bcseet at ieee.org (Boon-Chong Seet) Date: Sat, 12 Jul 2008 11:02:24 +0800 Subject: Confirmation Request (1405145865) Message-ID: <006101c8e3cb$b6aa27d0$454918d2@yourbbc104cd11> ---------- Original message ---------- From: event administration Date: Sat, Jul 12, 2008 at 11:00 AM Subject: Confirmation Request (1405145865) To: Boon-Chong Seet This is an automated message from the mailing list manager Somebody (probably you) have requested the subscribe(digest) 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: 1405145865, 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 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alfredo at cse.unsw.edu.au Mon Jul 14 08:12:55 2008 From: alfredo at cse.unsw.edu.au (Alfredo Gabaldon) Date: Mon, 14 Jul 2008 16:12:55 +1000 Subject: Confirmation Request (0850124638) In-Reply-To: References: Message-ID: <983533DF-F710-4598-9241-09499486F485@cse.unsw.edu.au> On 14/07/2008, at 4:09 PM, 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: 0850124638, > 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 agabaldon at gmail.com Mon Jul 14 08:24:03 2008 From: agabaldon at gmail.com (Alfredo Gabaldon) Date: Mon, 14 Jul 2008 16:24:03 +1000 Subject: subscribe Message-ID: <9EF1D2C0-D2DD-4992-BBA5-625B653A495B@gmail.com> From agabaldon at gmail.com Mon Jul 14 08:27:17 2008 From: agabaldon at gmail.com (Alfredo Gabaldon) Date: Mon, 14 Jul 2008 16:27:17 +1000 Subject: Confirmation Request (1408177541) In-Reply-To: References: Message-ID: <02E1DC20-6BED-4939-8683-E01A9ABBB28B@gmail.com> On 14/07/2008, at 4:23 PM, 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: 1408177541, > 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 geoff at cs.miami.edu Tue Jul 15 13:24:14 2008 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 15 Jul 2008 07:24:14 -0400 (EDT) Subject: IJCAR in Australia, 1 month to go Message-ID: <20080715112414.3BC5A11FB5B@mcclellan.cs.miami.edu> ------------------------------------------------------------------------------- IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning Sydney, Australia, 10th - 15th August, 2008 http://2008.IJCAR.org ONLY ONE MONTH TO GO ... DOWN UNDER ------------------------------------------------------------------------------- Call for Participation ---------------------- IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of the following leading conferences and workshops: + CADE (Conference on Automated Deduction), + FroCoS (Symposium on Frontiers of Combining Systems), + FTP (Workshop on First-order Theorem Proving) + TABLEAUX (Conference on Analytic Tableaux and Related Methods) Registration, accomodation, and travel/visa information is on the IJCAR 2008 web pages. ----- Book your flight to Sydney today! ----- ------------------------------------------------------------------------------- Scientific Program ------------------ + Presentation of 4 invited talks - Hubert Comon-Lundh, Nachum Dershowitz, Aarti Gupta, Carsten Lutz + Presentation of 26 regular research papers + Presentation of 13 system descriptions + Presentation of the Herbrand Award to Prof. Edmund Clarke, CMU. + Four workshops, four tutorials, the CADE ATP System Competition (CASC-J4) ------------------------------------------------------------------------------- Social Events ------------- + Welcome reception at the conference hotel. + Excursion to the amazing Blue Mountains + Conference banquet + CASQ-J4 - the CADE Squash Competition ------------------------------------------------------------------------------- Contact: Peter Baumgartner (conference chair) Peter.Baumgartner at nicta.com.au ------------------------------------------------------------------------------- From Joost.Vennekens at cs.kuleuven.be Tue Jul 15 12:30:25 2008 From: Joost.Vennekens at cs.kuleuven.be (Joost Vennekens) Date: Tue, 15 Jul 2008 12:30:25 +0200 Subject: LaSh08: Last Call for Papers Message-ID: <200807151030.m6FAUPNo009273@dizz.cs.kuleuven.be> LaSh08 - WORKSHOP ON LOGIC AND SEARCH Computation of structures from declarative descriptions Final Call For Papers Leuven, Belgium, November 6-7, 2008 http://www.cs.kuleuven.be/~dtai/LaSh08 ................................................................ IMPORTANT DATES: Submission: August 15, 2008 Notification: September 15, 2008 Workshop: November 6-7, 2008 SCOPE: In many real-life problems, we search for objects of complex nature -- plans, schedules, assignments. Such objects are often represented as (finite) structures, which are implicitly specified by means of theories in some logic. Thus, languages are needed to describe structures, and algorithms to extract them from these implicit descriptions. Propositional Satisfiability (SAT), Constraint Programming (CP), and Answer Set Programming (ASP) are arguably the three most prominent areas that develop such languages and techniques. Each of these areas has been proposed as a declarative programming approach to solving NP-complete combinatorial problems. Such problems abound in computer science, engineering, operations research computational biology and other fields. In many cases, progress is limited by the difficulty of designing implicit representations of structures (modeling), which hinders common acceptance of the aproach, and the inability to solve sufficiently large instances of the problems in practical time bounds (search algorithms). Therefore, these three areas have as a major goal the development of practical modeling languages and methodologies that support the modeling, and algorithms and tools for efficient problem solving. Despite the similar goals of these areas, in many respects SAT, ASP and CP develop as three independent disciplines, focusing on rather different particular problems or questions. There are few, if any, researchers who are experts in all three areas. To date, we are not aware of any meeting which specifically aims at bringing these three areas together. Objectives ========== LaSh08 aims to offer a discussion forum for research in SAT, ASP and CP that focuses on the computation of structures from declarative descriptions. We invite contributions on modeling languages, methodologies, theoretical analysis, techniques, algorithms and systems. The forum is an occasion to exchange ideas on the state-of-the-art; to discuss specific technical problems; to formulate challenges and opportunities ahead; to analyse differences and simularities between the different areas; to study opportunities for synergy and integration. In particular, we would like to foster exchange at least on the following topics: -- integrations of SAT, ASP and/or CP technologies -- comparisons of modeling languages -- criteria for choice of modeling languages (for modeling convenience or efficiency) -- new algorithm directions -- efficient modeling strategies -- new applications -- complexity results, tractable subsets -- completeness results (e.g. capturing complexity classes) -- methods for taking advantage of tractability results -- SAT modulo theories -- solver implementation techniques, -- algorithms for grounding -- modeling languages and constructs (aggregates, global constraints,..) -- search control and heuristics in the context of model generation -- symmetry breaking in model construction -- optimisation problems in model construction: -- languages for optimality criteria; -- algorithms for computing optimal models Systems and Tools: =================== LaSh08 will also provide an opportunity for presentation of implemented systems and tools at a demo session. Thus, we invite submissions of systems and tools that reflect the above ideas, and aim at facilitating declarative problem solving, and making it practical and used. Workshop format: ================ The workshops objective is to create an informal, stimulating atmosphere for exchange of ideas. We invite also reports of work in progress. There will be informal proceedings. Invited speakers ================= * Pascal Van Hentenryck, Brown University, "Constraint Programming at Work ". * Robert Nieuwenhuis, Technical University of Catalonia, "The Barcelogic approach to search: fast and robust but expressive". Organizing Committee ==================== * Enrico Giunchiglia, University of Genova * Victor Marek, University of Kentucky * David Mitchell, Simon Fraser University * Eugenia Ternovska Simon Fraser University * Mirek Truzczynski, University of Kentucky * Marc Denecker, K.U.Leuven Program Chair ============= * Marc Denecker, K.U.Leuven Program Committee ================= * Peter Baumgartner, The Australian National University * Francesco Calimeri, University of Calabria * Koen Claessen, Chalmers University of Technology * Thomas Eiter, Vienna University of Technology * Wolfgang Faber, University of Calabria * Pierre Flener, Uppsala University * Alan Frisch, University of York * Enrico Giunchiglia, University of Genova * Daniel LeBerre, Universite d'Artois * Fangzen Lin, Hong kong University of Science and Technology * Ines Lynce, Universidade Tecnica de Lisboa * Tony Mancini, Sapienza Universita di Roma * Victor Marek, University of Kentucky * David Mitchell, Simon Fraser University * Pierre Marquis, Universite d'Artois * Ilkka Niemela, Helsinki University of Technology * Karem Sakallah, University of Michigan * Torsten Schaub, University of Potsdam * Barry O'Sullivan, University College Cork * Eugenia Ternovska Simon Fraser University * Mirek Truszcznski, University of Kentucky * Pascal Van Hentenryck, Brown University * Toby Walsh, University of New South Wales Local organisation ==================== * Marc Denecker, K.U.Leuven * Joost Vennekens, K.U.Leuven Location ========= The workshop will take place in the Beguinage of Leuven, Belgium. Leuven is an old flemish town, hosting the oldest university of the lower countries. The Beguinage is a medieval city in the city, where the beguines lived together to form a religious community. The Beguinage is recognized as a Unesco World Heritage site. From dingl at cs.rpi.edu Thu Jul 17 15:09:11 2008 From: dingl at cs.rpi.edu (Li Ding) Date: Thu, 17 Jul 2008 09:09:11 -0400 Subject: Deadline Approaching: ISWC 2008 Demo and Poster Message-ID: <487F4477.2050303@cs.rpi.edu> ***Apology for multiple copies*** http://iswc2008.semanticweb.org/calls/call-for-posters-and-demonstrations/ ISWC 2008 will hold combined poster and demonstration sessions. The Poster/Demo Session is an opportunity for presenting late-breaking results, ongoing research projects, and speculative or innovative work in progress. Posters and demos are intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Technical posters, reports on Semantic Web software systems, descriptions of completed work, and work in progress are all welcome. Demonstrations are intended to showcase innovative Semantic Web related implementations and technologies. *Important Dates* * July 25, 2008: Deadline for submissions * September 5, 2008: Notification of acceptance * September 19, 2008: Camera ready abstracts due (time: 23:59 pm GMT-10 (Hawaii)) *Submission *Authors must submit a two-page paper with a short abstract for evaluation. The abstract must clearly demonstrate relevance to the Semantic Web. *Updates * We’ve changed the required format for posters and demonstration papers from LNCS to ACM format. This allows authors to include more content in the two page papers. best, Li From k.v.hindriks at tudelft.nl Thu Jul 17 15:50:25 2008 From: k.v.hindriks at tudelft.nl (Koen Hindriks) Date: Thu, 17 Jul 2008 15:50:25 +0200 Subject: CfP HuCom 2008: First International Working Conference on Human Factors and Computational Models in Negotiation Message-ID: <000d01c8e814$10d16f10$0700000a@meije> ========================================== CALL FOR PAPERS ================================================= First International Working Conference on Human Factors and Computational Models in Negotiation (HuCom 2008) December 8 - 9, 2008 Delft, The Netherlands http://mmi.tudelft.nl/hucom08 ========================================= INVITED SPEAKERS ================================================ We are pleased to announce that Gregory Kersten and Carles Sierra will present invited talks at HuCom08. ============================================================================ =============================== IMPORTANT DATES: =============== October 17, 2008: Paper Submissions Due November 3, 2008: Notification of paper acceptance/rejection November 21, 2008: Camera-ready copies of accepted papers December 8 - 9, 2008: Working Conference on Human Factors and Computational Models in Negotiation December 10, 2008: Inaugural Lecture Catholijn Jonkers PUBLICATION: ============= We are pleased to solicit original and unpublished papers for publication and presentation in the Working Conference on Human Factors and Computational Models in Negotiation (http://mmi.tudelft.nl/hucom08). Articles describing novel ideas and applications in all areas related to human factors and computational models in negotiation are of interest. We also invite submissions of statements of interests or position papers. A selection of accepted papers will be considered for publication in the Group Decision and Negotiation Journal. AIMS AND SCOPE ============== Negotiation is a complex and sometimes emotional decision-making process aiming to reach an agreement to exchange goods or services. Although a daily activity, extensive research has shown that few people are effective negotiators. Current state of the art negotiation support systems can help make a significant improvement in negotiation performance. In particular, when the negotiation space is well-understood such systems can make a difference, partly because machines can much better deal with the computational complexity involved. However, the negotiation space can only be properly developed if the human parties jointly explore their interests. The inherent semantic problem and the emotional issues involved make that negotiation cannot be handled by artificial intelligence alone, and a human-machine collaborative system is required. Such systems are not only to support humans in providing strategic advice but also in coping with emotions and moods in human-human interactions. In order to develop human-machine collaborative negotiation support systems there is a need for the development of computational models, frameworks, and experimental, user-centred and ergonomic methods that enable the engineering of negotiation support systems. It is important for this purpose to study the role of human factors in negotiation as well as computational models to enable intelligent support for negotiation. To develop the next generation of negotiation support systems there are still many, diverse challenges: models of (qualitative, incomplete) preferences, preference change and strategies, preference elicitation, assessment methods for negotiation performance, learning and adaptativeness in negotiation, models of emotion and user awareness, the use and creation of domain knowledge, user interfaces for negotiation support, human-supported assessment of opponent, conflict handling styles, experimental methods. Topics covered include but are not limited to: . Negotiation strategies (bidding, acceptance) . Argumentation for negotiation . Negotiation interaction . Learning in negotiation . Negotiation domain knowledge . Case studies . Preference elicitation . Qualitative preferences . Incomplete preferences . Ontologies for negotiation (protocols, preferences, domain knowledge) . Negotiation Support Systems . User interfaces for Negotiation Support Systems . Human-machine negotiation . Negotiation, conflict handling, and experiments related to e.g. consensus building . Personality in negotiation (e.g. Big Five) . Emotions in negotiation . Cultural factors in negotiation . Negotiation bidding advice . Negotiation conflict styles . Trust in automatically generated negotiation advice . Negotiation applications . E-commerce . Methods and tools for negotiation tasks . Design and Evaluation of support systems . Conflict handling styles and consensus building . HCI aspects and human factors of negotiation PAPER SUBMISSION ================ Original papers from the above-mentioned or other related areas will be considered. All papers should represent original and previously unpublished work that are currently not under review in any conference or journal. Both basic and applied research papers are welcome. Each submitted paper will be fully refereed by at least three referees. Submit your paper electronically in either PDF or postscript format. Papers should not be more than 15 pages. Submission is entirely automated by a paper management tool, which is available from the main web site: http://www.easychair.org/conferences/?conf=hucom08. Authors must first register their own account by obtaining a password, and then follow the instructions. Authors of accepted papers must guarantee that their paper will be presented at the conference. ORGANIZERS ========== Willem-Paul Brinkman - Delft University of Technology, Delft, The Netherlands Koen Hindriks - Delft University of Technology, Delft, The Netherlands Dmytro Tykhonov - Delft University of Technology, Delft, The Netherlands Program Chairs ============== Koen Hindriks - Delft University of Technology, Delft, The Netherlands Catholijn Jonker - Delft University of Technology, Delft, The Netherlands Liz Sonenberg - The University of Melbourne, Australia PROGRAM COMMITTEE ================= Frank Dignum Utrecht University, The Netherlands Shaheen Fatima University of Liverpool, UK Kobi Gal Harvard University, US Gert-Jan Hofstede Wageningen University, The Netherlands Mark Hoogendoorn Vrije Universiteit, The Netherlands Takayuki Ito Nagoya Institute of Technology, Japan Gregory Kersten Concordia University, Canada Steve Love Brunel University, UK Tom McEwan Napier University, UK Mark Neerincx TNO, The Netherlands Avi Pfeffer Harvard University, US Iyad Rahwan British University in Dubai, United Arab Emirates Valentin Robu CWI, The Netherlands Pierre-Yves Schobbens University of Namur, Belgium Carles Sierra IIIA-CSIC, Spain Alexander Verbraeck Delft University of Technology, The Netherlands Rineke Verbrugge University of Groningen, The Netherlands Hans Weigand Tilburg University, The Netherlands Pinar Yolum Bogazici Bogazici University, Turkey INFORMATION =========== For further information please contact: k.v.hindriks at tudelft.nl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jan.hladik at sap.com Thu Jul 17 16:44:38 2008 From: jan.hladik at sap.com (Hladik, Jan) Date: Thu, 17 Jul 2008 16:44:38 +0200 Subject: PostDoc/PhD/Master postitions in semantic technologies at SAP Dresden Message-ID: At the SAP Research Center Dresden, http://www.sap.com/about/company/research/centers/dresden.epx , several positions are available for a BMBF-funded research project. Profile: -------- In addition to knowledge about semantic technologies, applicants should have experience in at least one the following areas: - User Interfaces/Human-Machine-Interaction - Information Extraction/Natural Language Processing - Business aspects/Integration of customer needs Since the deliverables and progress reports have to be written in German, German writing skills are required. The following positions are available: -------------------------------------- 1 PostDoc 3 PhD students 4 PostGraduates (i.e. with a completed Master/Diplom) For more information, please go to http://www.sap.com/germany/about/jobs/index.epx -> Schnellsuche -> enter the reference code DE-52099505-EN-08-001 Best regards, Jan Hladik -- Dr. Jan Hladik Researcher SAP AG SAP Research CEC Dresden Chemnitzer Str. 48 D-01187 Dresden, Germany P +49-351-4811-6151 E jan.hladik at sap.com http://www.sap.com/research Sitz der Gesellschaft/Registered Office: Walldorf, Germany Vorstand/SAP Executive Board: Henning Kagermann (Sprecher/Co-CEO), Léo Apotheker (Sprecher/Co-CEO), Werner Brandt, Erwin Gunst, Claus Heinrich, Bill McDermott, Gerhard Oswald, John Schwarz, Jim Hagemann Snabe, Peter Zencke Vorsitzender des Aufsichtsrats/Chairperson of the SAP Supervisory Board: Hasso Plattner Registergericht/Commercial Register Mannheim No HRB 350269 Diese E-Mail kann Betriebs- oder Geschäftsgeheimnisse oder sonstige vertrauliche Informationen enthalten. Sollten Sie diese E-Mail irrtümlich erhalten haben, ist Ihnen eine Kenntnisnahme des Inhalts, eine Vervielfältigung oder Weitergabe der E-Mail ausdrücklich untersagt. Bitte benachrichtigen Sie uns und vernichten Sie die empfangene E-Mail. Vielen Dank. This e-mail may contain trade secrets or privileged, undisclosed, or otherwise confidential information. If you have received this e-mail in error, you are hereby notified that any review, copying, or distribution of it is strictly prohibited. Please inform us immediately and destroy the original transmittal. Thank you for your cooperation. From luis.moniz.pereira at gmail.com Fri Jul 18 12:30:48 2008 From: luis.moniz.pereira at gmail.com (Luis Moniz Pereira) Date: Fri, 18 Jul 2008 11:30:48 +0100 Subject: Universities in Russia - please relay Message-ID: <006b01c8e8c1$5cc055a0$164100e0$@fct.unl.pt> Dear colleagues, We at the AI centre of Universidade Nova de Lisboa (UNL) are in the fold of a consortium between European and Russian universities, funded by the EU through its Erasmus Mundus External Cooperation Window program (EMECW). The consortium’s page is at http://tu-dresden.de/internationales/news/mundus_lot_russia, where detailed information can be found. The program aims at cooperation, via scholarships now open, for graduate, doctoral, postdoctoral, and staff exchange, both ways between the EU and Russia. I would much appreciate your help in making this information known to potentially interested parties, who may contact me for further information. Best regards, Luis Moniz Pereira lmp at di.fct.unl.pt Director Centro de Inteligência Artificial, UNL http://centria.di.fct.unl.pt/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Richard.Moot at labri.fr Fri Jul 18 15:14:10 2008 From: Richard.Moot at labri.fr (Richard Moot) Date: Fri, 18 Jul 2008 15:14:10 +0200 Subject: ESSLLI 2009 - Second Call for Course and Workshop Proposals Message-ID: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ESSLLI 2009 Monday, 20 July --- Friday, 31 July 2009 Bordeaux, France %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CALL FOR COURSE and WORKSHOP PROPOSALS -------------------------------------- The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. The ESSLLI 2009 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 21st annual Summer School in the broad interdisciplinary area connecting logic, linguistics, computer science and the cognitive sciences. The Summer School program is organized around the components. - Language and Computation - Language and Logic - Logic and Computation We also welcome proposals that do not exactly fit one of these there categories. PROPOSAL SUBMISSION: Proposals should be submitted through a web form available at http://www.folli.org/submission.php All proposals should be submitted no later than ******* Monday, September 1, 2008 ******* Authors of proposals will be notified of the committee's decision no later than Wednesday October 15, 2008. Proposers should follow the guidelines below while preparing their submissions; proposals that deviate can not be considered. GUIDELINES FOR SUBMISSION: Anyone interested in lecturing or organizing a workshop during ESSLLI-2009, please read the following information carefully. ALL COURSES: Courses consists of five sessions (a one-week course), each session lasting 90 minutes. Lecturers who want to offer a long, two-week course should submit two independent one-week courses (for example an introductory course in the first week of ESSLLI, and a more advanced course during the second). The ESSLLI program committee has the right to select only one of the two proposed courses. Timetable for Course Proposal Submission: Sept 1, 2008: Proposal Submission Deadline Oct 15, 2008: Notification June 1, 2009: Deadline for receipt of camera-ready course material (by ESSLLI Local Organizers) FOUNDATIONAL COURSES: These are strictly elementary courses not assuming any background knowledge. They are intended for people to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competences of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses may presuppose some experience with scientific methods in general, so as to be able to concentrate on the issues that are germane to the area of the course. INTRODUCTORY COURSES: Introductory courses are central to the activities of the Summer School. They are intended to equip students and young researchers with a good understanding of a field's basic methods and techniques. Introductory courses in, for instance, Language and Computation, can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if available). ADVANCED COURSES: Advanced courses should be pitched at an audience of advanced Masters or PhD students. Proposals for advanced courses should specify the prerequisites in detail. WORKSHOPS: The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well defined theme, and workshop organizers should be specialists in the theme of the workshop. It is a strict requirement that organizers give a general introduction to the theme during the first session of the workshop. They are also responsible for the organization and program of the workshop including inviting the submission of papers, reviewing, expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for sending out a Call for Papers for the workshop by November 17, 2008. The call must make it clear that the workshop is open to all members of the ESSLLI community. It should also note that all workshop contributors must register for the Summer School. Timetable for Workshop Proposal Submissions Sept 1, 2008: Proposal Submission Deadline Oct 15, 2008: Notification Nov 10, 2008: Deadline for receipt of Call for Papers (by ESSLLI PC chair) Nov 17, 2008: Workshop organizers send out (First) Call for Papers Jan 7, 2008: Workshop organizers send out Second Call for Papers Feb 2, 2008: Workshop organizers send out Third Call for Papers Feb 15, 2009: Deadline for Papers Apr 15, 2009: Notification of Workshop Contributors June 1, 2009: Deadline for receipt of camera-ready copy of Workshop Proceedings (by ESSLLI Local Organizers) Notice that workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. FORMAT FOR PROPOSALS: The web-based form for submitting course and workshop proposals is accessible at http://www.folli.org/submission.php. You will be required to submit the following information: * Name (name(s) of proposed lecturer(s)/organizer) * Address (contact addresses of proposed lecturer(s)/organizer; where possible, please include phone and fax numbers) * Title (title of proposed course/workshop) * Type (is this a workshop, a foundational course, an introductory course, or an advanced course?) * Section (does your proposal fit in Language & Computation, Language & Logic or Logic & Computation? name only one) * Description (in at most 150 words, describe the proposed contents and substantiate timeliness and relevance to ESSLLI) * External funding (will you be able to find external funding to help fund your travel and accommodation expenses? if so, how?) * Further particulars (any further information that is required by the above guidelines should be included here; in particular, indicate here your teaching experience in an interdisciplinary field as the one addressed by ESSLLI.) FINANCIAL ASPECTS: Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation (up to a fixed, maximum amount that will be notified to lecturers when courses are accepted). It should be stressed that while proposals from all over the world are welcomed, the Summer School cannot guarantee full reimbursement of travel costs, specially from destinations outside Europe. Please note the following: In case a course is to be taught by multiple lecturers, a lump sum is reimbursed to cover travel and accommodation expenses for one lecturer. The splitting of the sum is up to the lecturers. The local organizers highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, and such issues might be taken into account when selecting courses. PROGRAM COMMITTEE: Chair: Uwe Moennich (SfS, Tuebingen) Seminar fuer Sprachwissenschaft Universitat Tuebingen Arbeitsbereich Theoretische Computerlinguistik Wilhelmstrasse 19 D-72074 Tuebingen, Germany phone : +49-7071-29-74035 e-mail : um at sfs.uni-tuebingen.de www : http://tcl.sfs.uni-tuebingen.de/~um/ Local co-chair: Richard Moot (LaBRI, Bordeaux) Area Specialists: Marco Baroni and Claire Gardent (Language and Computation) Paul Egre and Kjell Johan Saeboe (Language and Logic) Alex Rabinovich and Ulrike Sattler (Logic and Computation) ORGANIZING COMMITTEE: Christian Retore FURTHER INFORMATION: The website for ESSLLI 2009 will become operational in the second half of 2008. For this year's summer school, please see the web site at http://www.illc.uva.nl/ESSLLI2008/. From tsd2008 at tsdconference.org Fri Jul 18 12:44:26 2008 From: tsd2008 at tsdconference.org (TSD 2008) Date: Fri, 18 Jul 2008 12:44:26 +0200 Subject: TSD 2008 Call for Demonstrations and Participation Message-ID: ********************************************************* TSD 2008 - CALL FOR DEMONSTRATIONS AND PARTICIPATION ********************************************************* Eleventh International Conference on TEXT, SPEECH and DIALOGUE (TSD 2008) Brno, Czech Republic, 8-12 September 2008 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic SUBMISSION OF DEMONSTRATION ABSTRACTS Authors are invited to present actual projects, developed software and hardware or interesting material relevant to the topics of the conference. The authors of the demonstrations should provide the abstract not exceeding one page as plain text. The submission must be made using an online form available at the conference www pages. The accepted demonstrations will be presented during a special Demonstration Session (see the Demo Instructions at www.tsdconference.org). Demonstrators can present their contribution with their own notebook with an Internet connection provided by the organisers or the organisers can prepare a PC computer with multimedia support for demonstrators. IMPORTANT DATES July 31 2008 ............. Submission of demonstration abstracts August 7 2008 ............ Notification of acceptance for demonstrations sent to the authors September 8-12 2008 ...... Conference date The demonstration abstracts will not appear in the Proceedings of TSD 2008 but they will be published electronically at the conference website. TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. TOPICS Topics of the conference will include (but are not limited to): text corpora and tagging transcription problems in spoken corpora sense disambiguation links between text and speech oriented systems parsing issues parsing problems in spoken texts multi-lingual issues multi-lingual dialogue systems information retrieval and information extraction text/topic summarization machine translation semantic networks and ontologies semantic web speech modeling speech segmentation speech recognition search in speech for IR and IE text-to-speech synthesis dialogue systems development of dialogue strategies prosody in dialogues emotions and personality modeling user modeling knowledge representation in relation to dialogue systems assistive technologies based on speech and dialogue applied systems and software facial animation visual speech synthesis Papers on processing languages other than English are strongly encouraged. PROGRAM COMMITTEE Frederick Jelinek, USA (general chair) Hynek Hermansky, Switzerland (executive chair) Eneko Agirre, Spain Genevieve Baudoin, France Jan Cernocky, Czech Republic Attila Ferencz, Romania Alexander Gelbukh, Mexico Louise Guthrie, GB Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Patrick Hanks, Czech Republic Ludwig Hitzenberger, Germany Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Ivan Kopecek, Czech Republic Steven Krauwer, The Netherlands Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Vaclav Matousek, Czech Republic Hermann Ney, Germany Elmar Noeth, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Vladimir Petkevic, Czech Republic Fabio Pianesi, Italy Josef Psutka, Czech Republic James Pustejovsky, USA Leon Rothkrantz, The Netherlands Ernst G. Schukat-Talamazzini, Germany Pavel Skrelin, Russia Pavel Smrz, Czech Republic Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Taras Vintsiuk, Ukraine Yorick Wilks, GB Victor Zakharov, Russia KEYNOTE SPEAKERS Jerry Hobbs, ISI USC, USA Deep Lexical Semantics Elizabeth Shriberg, SRI, USA Practical Prosody: Modeling Language Beyond the Words Graeme Hirst, University of Toronto, Canada The Future of Text-Meaning in Computational Linguistics FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. OFFICIAL LANGUAGE The official language of the conference is English. CONFERENCE FEES The conference fee depends on the date of payment and on your status. It includes one copy of the proceedings, refreshments, local transport, social events and organizing costs. The fee does not include accommodation. Full participant: Late payment (by August 15): CZK 10000 On-site payment: CZK 12000 Student: Late payment (by August 15): CZK 8500 On-site payment: CZK 10000 The payment may be refunded up until August 15, at the cost of CZK 1500. No refund is possible after this date. All costs are in Czech Crowns (Czech Koruna, CZK), see e.g. http://www.xe.com/ucc/ for the current exchange rate. ACCOMMODATION The organizing committee will arrange discounts on accommodation in the 3-star hotel at the conference venue. The current prices of the accommodation are available at the conference website. ADDRESS All correspondence regarding the conference should be addressed to Dana Hlavackova, TSD 2008 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 33 29 fax: +420-5-49 49 18 20 email: tsd2008 at tsdconference.org The official TSD 2008 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000. The city is the country's judiciary and trade-fair center. Brno is the capital of Moravia, which is in the south-east part of the Czech Republic. Brno had been a Royal City since 1347 and with its six universities it forms also a cultural center of the region. Brno can be reached easily by direct flights from London, Moscow, Barcelona and Prague and by trains or buses from Prague (200 km) or Vienna (130 km). For the participants with some extra time, some nearby places may also be of interest. Local ones include: Brno Castle now called Spilberk, Veveri Castle, the Old and New City Halls, the Augustine Monastery with St. Thomas Church and crypt of Moravian Margraves, Church of St. James, Cathedral of St. Peter & Paul, Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat designed by Mies van der Rohe along with other important buildings of between-war Czech architecture. For those willing to venture out of Brno, Moravian Karst with Macocha Chasm and Punkva caves, battlefield of Battle of three emperors (Napoleon, Russian Alexander and Austrian Franz - Battle by Austerlitz), Chateau of Slavkov (Austerlitz), Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice Chateau, Letovice Chateau, Mikulov with one of the largest Jewish cemeteries in Central Europe, Telc - a town on the UNESCO heritage list, and many others are all within easy reach. From prf at cs.uns.edu.ar Sat Jul 19 02:46:15 2008 From: prf at cs.uns.edu.ar (Pablo R. Fillottrani) Date: Fri, 18 Jul 2008 21:46:15 -0300 Subject: WARNING! (3893919926) In-Reply-To: References: Message-ID: <48813957.3080203@cs.uns.edu.ar> event administration escribió: > 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: 3893919926, > 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 grs at cs.uns.edu.ar Sat Jul 19 04:04:03 2008 From: grs at cs.uns.edu.ar (Guillermo R. Simari) Date: Fri, 18 Jul 2008 22:04:03 -0400 Subject: WARNING! (3712988297) In-Reply-To: References: Message-ID: On Fri, Jul 18, 2008 at 7:39 PM, event administration wrote: > 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: 3712988297, > 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 bcseet at ieee.org Sun Jul 20 06:16:32 2008 From: bcseet at ieee.org (Boon-Chong Seet) Date: Sun, 20 Jul 2008 12:16:32 +0800 Subject: Final CFP: Sensor Networks and Ambient Intelligence (July 21, 2008) Message-ID: <007001c8ea1f$65974f80$714d18d2@yourbbc104cd11> -------------------------------------------------------------------------------- CFP: 1st International Workshop on Sensor Networks and Ambient Intelligence -------------------------------------------------------------------------------- SeNAmI 2008 1st International Workshop on Sensor Networks and Ambient Intelligence In conjuction with PDCAT'08 http://www.cs.otago.ac.nz/pdcat08 December 1-4, 2008, Dunedin, New Zealand Call for Papers Sensor networks is an enabling technology of Ambient Intelligence. The pervasive nature of unobtrusive sensors distributed in the environment, either embedded or transportable by mobile carriers, enables fine-grain capture of environmental or ambient information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with capabilities to perceive, reason, learn, and react intelligently to their environment. Such systems in turn are envisioned to have wide ranging applications from intelligent wildlife and building structure monitoring, to humanistic and social endevours such as health and elderly care service provisioning. This workshop aims to bring together researchers from academia and industry to discuss recent research and technology advances in related areas, and from such engagement to foster or stimulate innovations in cross-disciplinary designs and methodologies in the fields of both sensor networks and ambient intelligence. Topics of interest include but are not limited to: - Cognitive wireless sensor networks - Cooperative and distributed sensor localization - Context-aware reasoning and inference for sensor/RFID-based systems - Intelligence support for sensor network management - Sensor networking in heterogeneous wireless environments - Sensor data fusion for ubiquitous embedded computing - Ambient intelligence system architectures, applications, and services - Testbed implementation and experimental trials Manuscript submission Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair. Please follow the IEEE Computer Society Press Proceedings Author Guidelines to prepare your papers. Maximum page length of accepted papers will be limited to 6 pages with main body text printed on 10 point font. All accepted papers will be included in conference proceedings of PDCAT'08, which will be published by IEEE Computer Society Press and automatically included in the IEEE Xplore digital library. The proceedings will also be cited by Engineering Information (EI). Selected best papers would be considered for publication in a special issue of the International Journal of Autonomous and Adaptive Communication Systems (IJAACS). Important dates Paper submission due : July 21, 2008 (extended) Acceptance notification : August 25, 2008 Camera-ready due : September 1, 2008 Workshop date : TBA For further details, please visit: http://senami08.aut.ac.nz -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Sun Jul 20 09:07:03 2008 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Sun, 20 Jul 2008 03:07:03 -0400 (EDT) Subject: LPAR'08 workshops Message-ID: <20080720070703.6D3FF11FA26@mcclellan.cs.miami.edu> -------------------------------------- LPAR'08 Workshops - 22nd November 2008 -------------------------------------- preceding LPAR'08, the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning November 23-27, 2008, Carnegie Mellon University, Doha, Qatar http://www.qatar.cmu.edu/lpar08 ------------------------------------------------------------------------------- 1. APS-4 - Analytic Proof Systems 4 Organizers: Matthias Baaz and Christian Fermueller Submission deadline: October 18, 2008 Submission: 1-2 pages abstract Web: http://www.logic.at/staff/chrisf/ws/LPAR-AS-4.html 2. ALICS - Applications of Logic in Computer Security Organizer: Catherine Meadows Submission deadline: October 18, 2008 Submission: 1-5 pages abstract Web: http://chacs.nrl.navy.mil/projects/ALICS08/ 3. IWIL - International Workshop on Implementations of Logic Organizers: Boris Konev, Renate Schmidt, and Stephan Schulz Submission deadline: September 21, 2008 Submission: 10 pages abstract Web: http://www.csc.liv.ac.uk/~konev/iwil2008/ 4. KEAPPA - Knowledge Exchange: Automated Provers and Proof Assistants Organizers: Piotr Rudnickiand Geoff Sutcliffe Submission deadline: October 18, 2008 Submission: 10 pages abstract Web: http://www.cs.ualberta.ca/~piotr/KEAPPA08/ ------------------------------------------------------------------------------- From k.v.hindriks at tudelft.nl Mon Jul 21 15:26:38 2008 From: k.v.hindriks at tudelft.nl (Koen Hindriks) Date: Mon, 21 Jul 2008 15:26:38 +0200 Subject: Job Openings: 3 Postdocs Applied Modal Logic Message-ID: <003501c8eb35$6780afa0$d39da182@meije> Job opening: 3 Postdocs in the following sections of the Faculty of Technology, Policy and Management of the Delft University of Technology in the Netherlands: (1) Philosophy, (2) Information and Communication Technology, (3) Systems Engineering. Delft University of Technology in the Netherlands is looking for candidates for 3 Postdoc positions in the area of Applied Modal Logic. JOB DESCRIPTION Concepts such as obligation, knowledge, action, delegation, strategy, collaboration, coordination and trust play an important role in the research which is being carried out at the faculty of Technology, Policy and Management TPM. A great deal of light has recently been shed on these notions by logicians, analytic philosophers and Artificial Intelligence researchers. The aim of this project is to apply this work in the field of TPM. Areas of interest include conceptual analysis, formalization of laws, policies and regulations, implementability, moral agents and software agents, multi-agent behavior and serious gaming. Three positions for post-doc researchers are available, each one for a period of one year. For more information, see http://www.tbm.tudelft.nl/live/pagina.jsp?id=4271b860-f8b1-4ef6-b67f-7a9714f 9d075 &lang=en. REQUIREMENTS Candidates have a PhD degree in logic, artificial intelligence or a related relevant discipline. For further details on these positions, please contact Dr G.J.C. Lokhorst, phone: +31152788485, email: g.j.c.lokhorst at tudelft.nl. General Information =================== HOW TO APPLY To apply to any of these positions, please send a detailed CV together with a letter of application, two references and two key publications before September 1, 2008, to vacature-tbm at tudelft.nl. TU Delft is an equal opportunity employer. When applying for this job always mention the vacancy number: 08.017. THE FACULTY OF TECHNOLOGY, POLICY AND MANAGEMENT Research at Technology, Policy and Management focuses on developing and disseminating generic, cross-domain knowledge about the principles of design and relationships within and between socio-technological systems (combined rationalities). The design and analytic character of TPM research and its close links with technology set it apart from other research traditions which have been developed in, for example, the social sciences. CONDITIONS OF EMPLOYMENT Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities. The appointee will be employed by TU Delft for a fixed period of one year. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From schwarzs at informatik.uni-halle.de Mon Jul 21 16:04:42 2008 From: schwarzs at informatik.uni-halle.de (Sibylle Schwarz) Date: Mon, 21 Jul 2008 16:04:42 +0200 (CEST) Subject: WLP 2008 - Submission deadline extended Message-ID: <43221.84.185.246.158.1216649082.squirrel@hades.informatik.uni-halle.de> ====================================================================== ---------------------------- SUBMISSION DEADLINE EXTENDED ---------------------------- FINAL CALL FOR PAPERS 22nd Workshop on (Constraint) Logic Programming (WLP 2008) http://nirvana.informatik.uni-halle.de/~schwarz/wlp2008/ Dresden, Germany September 30 - October 1, 2008 Co-located with JELIA 2008 and CLIMA IX ====================================================================== The workshops on (constraint) logic programming are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases and artificial intelligence. Previous workshops have been held in Germany, Austria, and Switzerland. In this year the workshop will be jointly organized with JELIA 2008 (11th European Conference on Logics in Artificial Intelligence) and CLIMA IX (9th International Workshop on Computational Logic in Multi-Agent Systems) in order to promote the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The technical program of the workshop will include invited talks, presentations of refereed papers, and demo presentations. Contributions are welcome on all theoretical, experimental, and application aspects of constraint programming (CP) and logic programming (LP), including, but not limited to (the order does not reflect priorities): * Foundations of Constraint/Logic Programming * Constraint Solving and Optimization * Extensions: Functional Logic Programming, Objects * Deductive Databases, Data Mining * Nonmonotonic Reasoning * Dynamics, Updates, States, Transactions * Interaction of CP/LP with other formalisms like Agents, XML, JAVA * Program Analysis, Program Transformation, Program Verification, Meta Pogramming * Parallelism and Concurrency * Answer-set Programming * Implementation Techniques * Software Techniques (e.g., Types, Modularity, Design Patterns) * Applications (e.g., in Production, Environment, Education, Internet) * Constraint/Logic Programming for Semantic Web Systems and Applications * Reasoning on the Semantic Web * Data Modelling for the Web, Semistructured Data, and Web Query Languages The primary focus is on new and original research results but submissions describing innovative products, prototypes under development or interesting experiments (e.g., benchmarks) are also encouraged. ---------------------------------------------------------------------- IMPORTANT DATES AND SUBMISSION GUIDELINES Paper Submission: August 10, 2008 Notification: August 19, 2008 Early Registration Deadline: August 20, 2008 Workshop: September 30 - October 1, 2008 Authors are invited to submit an extended abstract (no longer than 10 pages including figures and references) or a system description (no longer than 3 pages) in PDF or Postscript format (11pt). For submission of the paper, please use the easychair system at http://www.easychair.org/conferences/?conf=wlp2008. Submissions should include the title, authors' names, affiliations, addresses, and e-mail. All submissions must be written in English. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file. All submissions must be unpublished original work. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. All accepted papers will be published as a technical report. ---------------------------------------------------------------------- PROGRAM COMMITTEE Slim Abdennadher (German University Cairo) Christoph Beierle (FernUniv. Hagen) Stefan Brass (Univ. Halle) Jürgen Dix (Clausthal University of Technology) Tim Furche (LMU Muenchen) Ulrich Geske (Univ. Potsdam) Michael Hanus (CAU Kiel, Chair) Heinrich Herre (Univ. Leipzig) Petra Hofstedt (TU Berlin) Michael Leuschel (Univ. Düsseldorf) Georg Ringwelski (Hochschule Zittau/Görlitz) Torsten Schaub (Univ. Potsdam) Sibylle Schwarz (Univ. Halle) Dietmar Seipel (Univ. Wuerzburg) Michael Thielscher (TU Dresden) Hans Tompits (Vienna University of Technology) Armin Wolf (FhG FIRST) ---------------------------------------------------------------------- CONTACT For additional information about papers and submissions, please contact the Program Chair: Sibylle Schwarz PC Chair - WLP 2008 Institut für Informatik Martin-Luther-Universität Halle-Wittenberg 06120 Halle (Saale) email:schwarzs at informatik.uni-halle.de -- -- Sibylle Schwarz -- http://nirvana.informatik.uni-halle.de/~schwarz/ -- schwarzs at informatik.uni-halle.de -- phone/fax (+49) 345 55 24715/27009 From mitchell at cs.sfu.ca Mon Jul 21 21:56:33 2008 From: mitchell at cs.sfu.ca (David G Mitchell) Date: Mon, 21 Jul 2008 12:56:33 -0700 (PDT) Subject: Post-Doc in Logic and Optimization Message-ID: Logic and Optimization Post-Doctoral Position - Simon Fraser University Applications are invited for a Post-Doctoral Fellowship in Logic and Optimization, in the Computational Logic Laboratory at Simon Fraser University. Applicants should have a PhD in computing science or a related field, ability to work on problems in both logic and discrete optimization, and should enjoy working in both theoretical and applied settings. The successful candidate will play a central role in a project to extend a problem modelling and solving framework and system for search problems to handle optimization problems. Working within a dedicated team including two faculty members, several PhD students, and scientists employed by our industrial partner, he or she will help tackle significant theoretical and practical challenges. Interested applicants are encouraged to contact the project principals for further details on project plans and goals. For general project information see http://www.cs.sfu.ca/research/groups/mxp/. Knowledge or interest in several of the following would be of value: - integer linear programming and applications - finite model theory and descriptive complexity - logic and databases or database query processing - constraint or algebraic modelling languages - design and use of solvers for ILP/SAT/CSP/SMT/CLP - experimental evaluation of algorithms or solvers - knowledge representation or theorem proving Candidates should also expect to play a lead role in writing papers, should have sufficient C++ programming experience to take part in software development, and to supervise graduate students. The position is to commence as soon as possible after a candidate is chosen. Salary is to be between CDN $45,000 and $60,000, depending upon qualifications and experience. The initial appointment will be for one year, with possibility of extension. Simon Fraser University is located atop Burnaby Mountain in Vancouver, Canada. Vancouver thrives as a scenic waterfront city located just minutes away from the mountains and a wide range of outdoor activities. Vancouver's cultural and intellectual pursuits, leisure opportunities, favourable climate, and clean and safe environment are consistently cited as quality of life factors that make it one of the most desirable places in the world to live and work. Interested applicants should contact one of project leaders: Eugenia Ternovska ter at cs.sfu.ca David Mitchell mitchell at cs.sfu.ca For full consideration, application should be made by July 30, 2008. Please forward to any interested parties. ------------------------------------------------------ From tommie.meyer at meraka.org.za Mon Jul 21 22:17:15 2008 From: tommie.meyer at meraka.org.za (Tommie Meyer) Date: Mon, 21 Jul 2008 22:17:15 +0200 Subject: KR2008: Early registration deadline approaching: July 31 Message-ID: <626DDB9C-CE95-4C7C-A25A-7A973C437CEE@meraka.org.za> [Apologies for cross and multiple postings] CALL FOR PARTICIPATION: KR 2008 Eleventh International Conference on Principles of Knowledge Representation and Reasoning Sydney, Australia, September 16 - 19, 2008 Tutorials and opening ceremony, September 15 Early registration deadline: July 31, 2008 Collocated with NMR-08, ICAPS-08, CP-08 The single registration fee includes attendance to most events for all conferences http://www.kr.org/KR2008/ Knowledge Representation and Reasoning (KR&R) is a vibrant and exciting field of human endeavour. KR&R techniques are key drivers of innovation in computer science, and they have led to significant advances in practical applications in a wide range of areas from Artificial Intelligence to Software Engineering. Explicit representations of knowledge manipulated by reasoning engines are an integral and crucial component of intelligent systems. Semantic Web technologies, the design of software agents and Bio-Informatics technologies, in particular, provide significant challenges for KR&R. KR2008 will be a forum for the exchange of new ideas, issues, and results among the community of researchers in the principles and practices of KR&R systems. KR Workshops: Knowledge Representation Ontology Workshop KROW 2008 @ KR 2008 http://www.cse.unsw.edu.au/~kr2008/krow.html Workshop on Knowledge Representation for Agents and Multi-Agent Systems KRAMAS 2008 @ KR 2008 http://www.cs.uu.nl/events/kramas2008/kramas.html Doctoral Consortium http://www.cse.unsw.edu.au/~kr2008/doctoral.html Important Dates: Early registration deadline: July 31, 2008 KR 2008 Conference: September, 16-19, 2008 Invited Speakers Ronen Brafman, Ben Gurion University (joint ICAPS-KR speaker) Adnan Darwiche, University of California Los Angeles (joint CP-KR speaker) Norman Foo, University of New South Wales (Great Moments in KR speaker) Joe Halpern, Cornell University Conference Chairs: General Chair: Patrick Doherty PC Chairs: Gerhard Brewka, Jerome Lang Local Chair: Maurice Pagnucco Doctoral Consortium Chair: Carsten Lutz Publicity Chair: Thomas Meyer From tommie.meyer at meraka.org.za Mon Jul 21 22:17:28 2008 From: tommie.meyer at meraka.org.za (Tommie Meyer) Date: Mon, 21 Jul 2008 22:17:28 +0200 Subject: KROW2008: Early registration deadline approaching: July 31 Message-ID: <2BFE9A66-B55E-4173-A29D-B6ECDF0441B4@meraka.org.za> [Apologies for cross and multiple postings] Knowledge Representation Ontology Workshop (KROW 2008) September 17, 2008 A KR 2008 Workshop September 16 - 19, 2008 Sydney, Australia http://www.cse.unsw.edu.au/~kr2008/krow.html Call for Participation Early Registration Deadline: July 31, 2008 KROW 2008 is one of two workshops forming an integral part of the program of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR2008). It is a continuation of the Australasian Ontology Workshop series: http://www.comp.mq.edu.au/conferences/aow/. The primary aim of the workshop is to bring together active researchers in the broad area of ontologies. Registration for KR 2008 includes attendance of KROW 2008. Registration for KR 2008 is now open: http://www.cse.unsw.edu.au/~kr2008/registration.html Important Dates Early registration deadline: July 31, 2008 KROW 2008: September 17, 2008 Workshop Chairs Thomas Meyer Meraka Institute, South Africa tommie.meyer at meraka.org.za Mehmet Orgun Macquarie University, Australia mehmet at ics.mq.edu.au Program Committee Franz Baader (TU Dresden, Germany) Mike Bain (UNSW, Australia) Richard Booth (Mahasarakham University, Thailand) Arina Britz (Meraka Institute, South Africa) Longbing Cao (UTS, Australia) Werner Ceusters (SUNY Buffalo, USA) Anne Cregan (UNSW, Australia) Attila Elci (Eastern Mediterranean University, Turkey) Aurona Gerber (Meraka Institute, South Africa) Manolis Gergatsoulis (Ionian University, Greece) Dennis Hooijmaijers (University of South Australia, Australia) Bo Hu (University of Southampton, UK) Renato Iannella (NICTA, Australia) Marijke Keet (Free University of Bolzano, Italy) Ken Kaneiwa (NII, Japan) Kevin Lee (NICTA and UNSW, Australia) Laurent Lefort (CSIRO, Australia) Costas Mantratzis (University of Westminster, UK) Lars Moench (University of Hagen, Germany) Deshendran Moodley (University of KwaZulu Natal, South Africa) Maurice Pagnucco (UNSW, Australia) Anet Potgieter (University of Cape Town, South Africa) Debbie Richards (Macquarie University, Australia) Rolf Schwitter (Macquarie University, Australia) Murat Sensoy (Bogazici University, Turkey) Barry Smith (SUNY Buffalo, USA) Boontawee Suntisrivaraporn (TU Dresden, Germany) Kerry Taylor (CSIRO, Australia) Sergio Tessaris (Free University of Bolzano, Italy) Kewen Wang (Griffith University, Australia) Mary-Anne Williams (UTS, Australia) Pinar Yolum (Bogazici University, Turkey) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mangel at uco.es Tue Jul 22 12:12:28 2008 From: mangel at uco.es (=?iso-8859-1?Q?Miguel_Angel_G=F3mez-Nieto?=) Date: Tue, 22 Jul 2008 12:12:28 +0200 Subject: Call for contributions In-Reply-To: References: Message-ID: [Apologies for multiple/cross posting] -------------------------------------------------------------------------------- SYMPOSIUM on Computer Applications in Science, Engineering and Education CASEE 2008 http://www.uco.es/iscbd/casee2008 http://www.iccmse.org -------------------------------------------------------------------------------- Organised by: ------------------ Irene Luque Ruiz and Miguel Angel Gomez-Nieto University of Cordoba. Department of Computing and Numerical Analysis. Campus de Rabanales. Albert Einstein Building. E-14071 Cordoba (Spain). Phone: 0034-957-212082, Fax: 0034-957-218630 ======================================== The International Symposium on Computer Applications in Science, Engineering and Education (CASEE 2008), to be held in conjunction with the Sixth International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2008), aims at bringing together researchers and teachers in the world working on the development of software devoted to support the investigations and high education in science and engineering areas. The Conference will be held in Hotel Belvedere Imperial, Hersonissos, Crete, Greece, 25 - 30 September, 2008. We invite to participate in this event where specialists can have exposure to diverse fields and participate in special sessions different from but still close to their own interests. Description --------------- The First International Symposium on Computer Applications in Science, Engineering and Education (CASEE 2008), to be held in conjunction with the Sixth International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2008), aims at bringing together researchers and teachers in the world working on the development of software devoted to support the investigations and high education in science and engineering areas. The development of software applications for the research and education is an activity that implies a high effort for researchers and teachers. The spread of these software resources and their sharing is a current demand for the investigation development and the improvement of the high education within the objectives of Bologna´s declaration. In this symposium, all fundamental points are addressed to the current progress and research in the development of computer applications aimed to support the investigation and teaching; in order to create a frame for sharing experiences and results and providing a forum to present and discuss emerging ideas and trends. Scope and Interest ------------------------ CASEE 2008 is an international forum for presenting and discussing emerging ideas and trends in Computer Applications in Science, Engineering and Education from both the research community as well as the teachers of high education. We invite research submissions on all topics related to software development including, but not limited to, these listed below: · Computational Chemistry and Chemometric · Computational physics · Computational Biology · Bioinformatics · Medical Informatics · Engineering Applications · Mathematical software · New Technologies and Innovation in High Education Call for Papers ------------------- The Proceedings of ICCMSE 2008 will be published in the very famous AIP (American Institute of Physics) Conference Proceedings (http://scitation.aip.org/proceedings/). Conference format ------------------------ Plenary lectures (only after invitation). Original papers (selection based on short papers of 3-4 A4 pages). Posters (selection similar to original papers). Plenary lectures --------------------- Will cover major accomplishments, trends, and technical challenges in computational methods in sciences and engineering. Duration: 1 hour. Presentation of papers ----------------------------- Accepted papers will be divided into several sessions. The full program will be announced later. Duration: 20 minutes, followed by 10 minutes discussion. Papers in the form of short papers (3-4 pages) should be send to the Symposium organizers not lather that 15th July 2008 Proceedings of ICCMSE 2008 ------------------------------------- Extended abstracts will be published in a Special Volume of the very famous AIP Conference Proceedings. The American Institute of Physics (AIP) Conference Series is a very well known series of Conference Proceedings, which is Included in the leading databases of scientific & engineering literature including Inspec (an IEE product), Scitation, ISI Web of Knowledge, MathSciNet, etc and in the past had been included in SCIE. Each participant of ICCMSE 2008 will receive 2 Volumes of the Proceedings of ICCMSE 2008. The First Volume contains the papers of Invited Lecturers and Second Volume contains the short papers of the participants. The journals in which selected Proceedings of ICCMSE 2008 will be published are (until now): · Journal of Computational Methods in Sciences and Engineering - JCMSE (IOS Press) · Journal of Mathematical Chemistry (Springer-Verlag) · MATCH (Communications in Mathematical and in Computer Chemistry) · Applied Mathematics and Computation (Elsevier Science Publishers) · Molecular Simulation (Taylor & Francis) · International Journal of Quantum Chemistry (Wiley & Sons) · The Journal of Supercomputing (Kluwer Academic Publishers) · Mathematical and Computer Modelling (Elsevier Science Publishers) · Computing Letters (VSP/Brill) Instructions to the authors ---------------------------------- Instructions for contributions and templates can be found at http://www.uco.es/iscbd/casee2008 Important dates --------------------- Registration Early Registration ends: April 30, 2008 Normal Registration ends: June 15, 2008 Late Registration ends: August 1, 2008 Submission · Submission of Extended Abstract: July 25, 2008 - Final Date. · Notification of acceptance: July 31, 2008. · Camera Ready Form of the Accepted Papers and AIP Copyright Transfer Agreement: 25 September 2008. · Submission of the source files of the camera ready extended abstracts to AIP: 15 October 2008 - Final Date. · Submission of the full paper for consideration for publication in the journals: October 15, 2008 - February 28, 2009. Contact ---------- Please email inquiries concerning CASEE 2008 to any of the organizers: Prof. Dr. Irene Luque Ruiz. Email: iluque at uco.es Prof. Dr. Miguel Ángel Gómez-Nieto. Email: mangel at uco.es ------------------------------------------------------------------------------------------ Prof. Dr. Miguel Ángel Gómez-Nieto University of Córdoba Department of Computer Science and Numerical Analysis Campus Universitario de Rabanales Albert Einstein Building E-14071 Córdoba (Spain) Tel: +34-957-212-082 Fax: +34-957-218-630 ------------------------------------------------------------------------------------------ **CONFIDENTIALITY NOTICE** This email communication and any attachments may contain confidential and privileged information for the sole use of the designated recipient named above. Distribution, reproduction or any other use of this transmission by any party other than the intended recipient is prohibited. If you are not the intended recipient please contact the sender and delete all copies. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ilona.zaremba at sti2.at Tue Jul 22 15:46:28 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Tue, 22 Jul 2008 15:46:28 +0200 Subject: Call for Papers: Second Int. Workshop SMR2 2008 on Service Matchmaking and Resource Retrieval in the Semantic Web (at ISWC 2008) Message-ID: <4885E4B4.4080907@sti2.at> ========================= CALL FOR PAPERS ========================= Second International Workshop SMR2 2008 on Service Matchmaking and Resource Retrieval in the Semantic Web http://www-ags.dfki.uni-sb.de/~klusch/smr2-08/index.html Co-located with the 7th International Semantic Web Conference ISWC 2008 October 27, 2008 Karlsruhe, Germany + Aims & Scope: One challenge of service coordination in the semantic Web is concerned with how to best connect the ultimate service requester with the ultimate service provider? Like intermediaries in the physical economy, a special kind of software agents, so called middle-agents, is supposed to solve this problem based on the declarative characterization of the capabilities of both service requester and provider agents. In fact, the standard Web service interaction pattern includes a central role for a classical service matchmaking capability. More generally, resource retrieval extends the notion of service matchmaking to the process of discovering any kind of resource (services, data, information, knowledge, even persons and organizations) for given settings, participating entities, and purposes. It is at the core of several scenarios in the Semantic Web area, spanning from web-services, grid computing, and Peer-to-Peer computing, to applications such as e-commerce, human resource management, or social networks applications such as mating and dating services. The main objective of the SMR2 workshop is to bring together researchers and industry participants who tackle semantic service matchmaking and resource retrieval from various points of view, in order to not only further analyse these challenges and problems but moving towards their resolution. + Topics of interest include (but are not limited to): - Advanced searching of services and other resources in the semantic Web - Approaches to matchmaking and brokering in the semantic Web, with a particular emphasis on semantic web services - Semantic retrieval of resources and services in P2P and Grid networks - Matchmaking in e-commerce scenarios: auctions, e-marketplaces, supply chains - Matchmaking in other application scenarios: e-government, biopharma, etc. - Composition planning of semantic Web services - Negotiation of semantic Web services and resources - Interleaving of discovery, composition, and negotiation of semantic Web services - Semantic Web services selection - Formal description and handling of semantic Web services, queries, and resources - Non-functional service properties and their use for discovery (and composition) - Trust issues of semantic Web service discovery - Prototypes and tools for semantic Web services engineering - Practical and user-oriented issues and experiences of implementing SW service retrieval tools - Experimental comparative evaluation of implemented SW service retrieval tools + Going to Practice: The Second Semantic Service Selection (S3) Contest The SMR2 workshop also integrates the second edition of the open international contest on semantic service selection (S3). The S3 contest is executed in collaboration with the Semantic Web Service Challenge. More information on http://www-ags.dfki.uni-sb.de/~klusch/s3/html/2008.html + Important Dates: Submission deadline: July 25, 2008 Notification of acceptance: September 12, 2008 Camera-ready due: September 26, 2008 + Program co-chairs: Ruben Lara (Telefonica R&D, Spain) Tommaso Di Noia (TU Bari, Italy) Ioan Toma (STI Innsbruck, Austria) + Steering Committee: Abraham Bernstein (U. Zurich, Switzerland) Tommaso Di Noia (TU Bari, Italy) Takahiro Kawamura (Toshiba, Japan) Matthias Klusch (DFKI, Germany) Ulrich Küster (U. Jena, Germany) Ruben Lara (Telefonica R&D, Spain) Alain Leger (France Telecom, France) David Martin (SRI International, USA) Terry Payne (U. Southampton, UK) Axel Polleres (DERI, National University of Ireland, Galway) Massimo Paolucci (NTT DoCoMo Europe, Germany) Ioan Toma (STI, Austria) + Program Committee: Sudhir Agarwal (University of Karlsruhe, Germany) Rama Akkiraju (IBM, USA) Sinuhé Arroyo (U. Alcala de Henares, Spain) Djamal Benslimane (Université Claude Bernard Lyon, France) Gheorghe Cosmin Silaghi (Babes-Bolyai University Cluj-Napoca, Romania) Eugenio Di Sciascio (Technical University of Bari, Italy) Stephan Grimm (FZI Karlsruhe, Germany) Sung-Kook Han (Won Kwang University, Korea) Frank Kaufer (University of Potsdam, Germany) Uwe Keller (STI Innsbruck, Austria) Holger Lausen (seekda, Austria) Freddy Lecue (Orange-France Telecom, France) Ioan Alfred Letia (Technical University of Cluj-Napoca, Romania) Christophe Rey (ISIMA, University of Clermont Ferrand, France) Dumitru Roman (STI Innsbruck, Austria) Farouk Toumani (ISIMA, University of Clermont Ferrand, France) From iclp08pub at cs.nmsu.edu Tue Jul 22 16:29:20 2008 From: iclp08pub at cs.nmsu.edu (ICLP 08) Date: Tue, 22 Jul 2008 08:29:20 -0600 Subject: ICLP'08 CALL FOR POSTER SUBMISSIONS Message-ID: <200807221429.m6METKas022927@pippo.cs.nmsu.edu> ICLP'08 Call for Posters Submissions 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it DEADLINE: August 15th, 2008 Within the scope of the general call for papers for the upcoming 24th International Conference on Logic Programming, we would like to draw your attention on the opportunity to submit an extended abstract to the Posters Track of the conference. Posters are ideal for presenting work-in-progress, speculative, late-breaking results or for introducing the audience to new research directions, projects, and initiatives. Posters are intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Posters will be allocated a separate session during the conference, composed of a standing poster demonstration and a lightning talk presentation. SUBMISSION: ----------- Poster submissions are in the form of extended abstracts. They are expected to be succinct and clear, presenting the key ideas, possibly in an informal and widely understandable manner. All submissions must be written in English. Application papers must not exceed 5 pages in the Springer LNCS format (see http://www.springeronline.com/lncs/) The primary means of submission will be electronic, through the Easychair submission system. The submission page is available at http://www.easychair.org/conferences/?conf=ICLP08 REVIEW PROCESS: --------------- All submissions will be peer-reviewed by an international panel. Accepted extended abstracts will be allocated time for presentation during the conference. At least one author of each accepted submission is expected to register and participate in the event. Each accepted extended abstract will be allocated 5 pages in the conference proceedings. PUBLICATION ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. IMPORTANT DATES --------------- Abstract submission deadline August 15th (strict) Notification of authors September 1st Camera-ready copy due September 15th Early-bird Registration TBA Conference December 9-13, 2008 --- For further information: iclp08 at cs.nmsu.edu http://iclp08.dimi.uniud.it From cml at cs.uns.edu.ar Mon Jul 21 15:56:43 2008 From: cml at cs.uns.edu.ar (Carlos M Lorenzetti) Date: Mon, 21 Jul 2008 10:56:43 -0300 Subject: WARNING! (3733920571) In-Reply-To: References: Message-ID: <4884959B.5040706@cs.uns.edu.ar> event administration escribió: > 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: 3733920571, > 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 ilona.zaremba at sti2.at Thu Jul 24 12:56:12 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Thu, 24 Jul 2008 12:56:12 +0200 Subject: CALL FOR PARTICIPATION: 10th International Conference on Electronic Commerce, August 19-22, Innsbruck, Austria Message-ID: <48885FCC.9010207@sti2.at> *** CALL FOR PARTICIPATION *** Semantic technology moving towards interoperability: Join the 10th International Conference on Electronic Commerce ICEC08 brings together the top of the scientific research community in e-commerce and e-business from all over the world Innsbruck, Austria, August 19-22, 2008 http://www.icec08.org/ The adoption and ubiquity of modern Internet access provides rich and varied opportunities for innovation and improvement of businesses. Over recent years, developments have led to a shift in the way business is conducted, from providing new and innovative service frameworks for B2B, to increasingly sophisticated Web 2.0 services to improve the B2C user experience. Simultaneously, advances in the use of devices, as well as AI techniques have provided better and more varied access to e-commerce systems as well as facilitating greater autonomy in the way business is conducted. The Internet offers unique opportunities for individuals, businesses and governments to seek new ways of providing novel services, both qualitatively and quantitatively at substantially lower costs. Although many challenges remain, advances in Service Oriented Architectures and Semantic Web have opened up new models and avenues for research and exploitation. The International Conference on Electronic Commerce (ICEC) provides a forum to share invaluable experience of good practices and pitfalls in strategy planning, design, development, engineering and implementation of e-services. ICEC08 will be held in Innsbruck, Austria, and will feature: • invited keynote presentations • panels on topical issues on technology, business and public policy • paper presentations on emerging and continuing research issues • tutorial and workshop program • demonstrations and posters • doctoral consortium The conference is organized into several tracks, which focus on the latest developments and innovations in e-commerce in the following areas of interest: 1. Business-to-business e-commerce: adoption of IOS, technologies for interoperable processes, and e-collaboration for global reach; 2. Business-to-consumer e-commerce: trends, problem areas, and solutions with emphasis on emerging markets; 3. E-government, policy and law: state-of-the-art and future regulation of e-commerce, including public strategies in limiting illicit activities and copyright violations; 4. Business/Enterprise Architectures: state-of-the-art and strategies for unifying extended enterprise resource base; 5. Mobile and pervasive commerce: alternative interaction metaphors that facilitate context aware, geo-spatially relevant services to users in novel environments; 6. Electronic Markets and Multiagent Systems: autonomous, intelligent, decentralized systems, that utilized AI-based and game-theoretic approaches to facilitate both heuristic and theoretically sound decision making; 7. Semantic Web ontologies, rules and services: decentralized knowledge-based systems and methodologies that support the exchange of information (including workflows, policies, services and ontological knowledge) in dynamic and heterogeneous environments. All ICEC accepted papers are published in the ACM digital library. Organising Committee Conference Co-Chairs: Dieter Fensel, University of Innsbruck, Austria Hannes Werthner, Vienna University of Technology, Austria Academic Program Co-Chairs: Jups Heikkilä, University of Jyväskylä, Finland Terry R. Payne, University of Southampton, UK Workshop Chair: Marianna Sigala, University of Aegean, Greece Tutorial Chair: Manfred Hauswirth, University of Ireland, Galway, Ireland Demo and Poster Chair: Marco Zapletal, Vienna University of Technology, Austria Doctoral Consortium Chair: Elena Simperl, University of Innsbruck, Austria Local Organisation, Publicity and Sponsorship Chair Peter Mirski, MCI Innsbruck, Austria Venue: University of Innsbruck ICT Building Technikerstrasse 21a Innsbruck Austria Register at http://www.icec08.org/registration.html From heymans at kr.tuwien.ac.at Thu Jul 24 17:29:15 2008 From: heymans at kr.tuwien.ac.at (Stijn Heymans) Date: Thu, 24 Jul 2008 17:29:15 +0200 Subject: Last CFP: International Workshop on Fuzzy Logic on the Web - FLOW 2008 Message-ID: *******Last Call for Papers - Submission deadline 30 July 2008 ********** FLOW 2008 First International Workshop on Fuzzy Logic On the Web http://www.cwi.ugent.be/flow2008/ Sydney, Australia in conjunction with the IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology (WI-IAT 2008) http://datamining.it.uts.edu.au/wi08/html/ ********************************************************************* A lot of research on how to make the Web Intelligent is centered around the question of how to introduce a form of automated reasoning in Web-related activities. For example, an intelligent search would amount to posing queries that use deduction to obtain results instead of queries that return results based on the keywords of the query. An important subgoal of establishing this kind of automated reasoning is to make knowledge on the Web understandable by machines. As witnessed by approaches like the Semantic Web the traditional choice of establishing machine-understandability was obtained by formalizing knowledge using two-valued logics like Description Logics or Logic Programming. However, fuzzy logic is inherently better suited for expressing knowledge on the Web, i.e., knowledge that is uncertain, imprecise, and potentially inconsistent. Nonetheless, the take-up of fuzzy logic for making the Web more intelligent is a slow one, and a major issue is the lack of cross-fertilization between the world of fuzzy logic researchers and the world of Web researchers. Hence, the workhop's main goal will be to bring these two worlds closer together, and thus stimulate cross-over research between two different areas that are trying to make the Web more intelligent. The workshop will be an important part of events of the IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology which has been ranked at top 15 from 620 Artificial Intelligence / Machine Learning conferences in the following popular rankings: http://www.cs-conference-ranking.org/home.html Topics: ------- Applications of fuzzy logic to Web areas such as * Ontology languages * Intelligent Search * Knowledge management and reasoning * Ontology mapping, merging, and alignment * Web Service Description, Discovery, Composition * Information extraction / Multimedia retrieval * Collaborating agents * Social Network Analysis * Web-based recommender systems * Question answering systems * Geographic Information Retrieval * ... Sumbission Details: ------------------- All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity. All workshops are required to use the WI-IAT 2008 Cyberchair system for on-line paper submission and review process: http://wi-consortium.org/cyberchair/wiiat08/scripts/ws_submit.php. The length of accepted papers should NOT exceed 4 pages (IEEE-CS format, extra payment is only available for one more extra page). Accepted workshop papers will be published in the Proceedings of WI-IAT08 Workshops by IEEE-CS Press. Important Dates: ---------------- Deadline for Submissions: July 30, 2008 Notification of acceptance: September 3, 2008 Camera-ready versions: September 30, 2008 Workshop: December 9, 2008 WI-IAT 2008 Conference: December 9 - 12, 2008 Program Committee: ------------------ Paulo Cesar G. da Costa, George Mason University, USA Ernesto Damiani, Universita degli Studi di Milano, Italy Jos de Bruijn, Free University of Bolzano, Italy Pieter De Leenheer, Free University of Brussels, Belgium Cristina Feier, TU Vienna, Austria Martin Hepp, Bundeswehr University Munich, Germany Mustafa Jarrar, University of Cyprus, Cyprus Janusz Kacprzyk, Polish Academy of Sciences, Poland Anne Laurent, LIRMM, France Jie Lu, University of Technology Sydney, Australia Thomas Lukasiewicz, Oxford University / TU Vienna, U.K. / Austria Trevor Martin, University of Bristol, UK Jose Angel Olivas Varela, Universidad Castilla-La Mancha, Spain Gabriella Pasi, University of Milano, Italy Axel Polleres, DERI Galway, Ireland Giorgos Stamou, National Technical University of Athens, Greece Umberto Straccia, IST-C.N.R, Italy Ankur Teredesai, University of Washington, USA Peter Vojtas, Charles University Prague, Czech Republic Organization: ------------- Stijn Heymans Knowledge Based Systems Group Institute of Information Systems Vienna University of Technology Martine De Cock Computational Web Intelligence Dept. of Applied Mathematics and Computer Science Ghent University Dirk Vermeir Theoretical Computer Science Lab Dept. of Computer Science Vrije Universiteit Brussel Elie Sanchez Laboratoire d'Informatique Fondamentale Biomathematiques et Informatique Medicale Faculte de Medecine (Universite Aix-Marseille II) -- Dr. Stijn Heymans Vienna University of Technology http://www.kr.tuwien.ac.at/staff/heymans/ From Oege.de.Moor at comlab.ox.ac.uk Thu Jul 24 17:44:35 2008 From: Oege.de.Moor at comlab.ox.ac.uk (Oege.de.Moor at comlab.ox.ac.uk) Date: Thu, 24 Jul 2008 16:44:35 +0100 (BST) Subject: CC 2009: abstracts due Oct 2 Message-ID: <200807241544.m6OFiZOK026947@merc3.comlab.ox.ac.uk> >>> abstracts - Oct 2, full papers - Oct 9 <<< CC 2009 International Conference on Compiler Construction March 22-29, York, United Kingdom Invited Speaker: Vivek Sarkar (Rice University, US) Part of ETAPS 2009 http://www.cs.york.ac.uk/etaps09/Conf/conf.html#cc CC is a premier forum for presenting research on compilers in the broadest possible sense, including run-time techniques, programming tools, domain-specific languages, novel language constructs and so on. In recent years CC has seen a healthy increase in the number of submissions, in line with its broad outlook; its typical acceptance rate is 20-25%. CC is part of ETAPS, and this year it is held in York (UK), March 22-29 2009. The program committee would particularly welcome submissions from researchers in computational intelligence on any topic relating to intelligent techniques for guiding automatic optimisation Abstracts are due on October 2, and the deadline for full paper submission is October 9. Prospective authors are welcome to contact the program chairs, Michael Schwartzbach (mis at brics.dk) and Oege de Moor (oege at comlab.ox.ac.uk) with any queries they might have. From klusch at dfki.de Fri Jul 25 15:19:54 2008 From: klusch at dfki.de (Matthias Klusch) Date: Fri, 25 Jul 2008 15:19:54 +0200 Subject: Call for Participation: CIA 2008 Message-ID: <4889D2FA.7@dfki.de> +++ Apologies for multiple copies due to cross postings +++ FINAL CALL FOR PARTICIPATION ********************************************* Twelfth International Workshop on Cooperative Information Agents (CIA 2008) September 10 - 12, 2008 Czech Technical University Prague, Czech Republic ********************************************* http://www.dfki.de/~klusch/cia2008 http://www.dfki.de/~klusch/IWS-CIA-home.html PROGRAM ======= http://www.dfki.de/~klusch/cia2008/html/program.html INVITED SPEAKERS ================ http://www.dfki.de/~klusch/cia2008/html/invited_talks.html * Katia Sycara (Carnegie Mellon University, USA) * Manfred Hauswirth (DERI Galway, Ireland) * Heiko Schuldt (University of Basel, Switzerland) * Sascha Ossowski (Universidad Rey Juan Carlos, Spain) * James H. Lawton (US Air Force Research, USA) PROCEEDINGS =========== The proceedings are published as LNAI volume 5180 by Springer, and are available to registered participants at the workshop. REGISTRATION ============ http://www.dfki.de/~klusch/cia2008/html/registration.html The registration fee includes: * one copy of the proceedings * participation in the scientific program * participation in the social program (thursday afternoon) and the welcome reception (wednesday evening) This event is organized in cooperation with the ACM - Association for Computing Machinery Special Interest Groups on AI (SIGART), Hypertext, Hypermedia and Web (SIGWEB), Knowledge Discovery in Data (SIGKDD) and co-sponsored by Whitestein Technologies IEEE FIPA Rockwell Automation CERTICON DERI Galway US Air Force Research Lab CTU Prague CONTACT ======= You are very cordially invited to join us at this event! Please do not hesitate to contact us, if you have any questions regarding CIA 2008. Matthias Klusch klusch at dfki.de Michal Pechoucek pechouc at labe.felk.cvut.cz Axel Polleres axel at polleres.net ------------------------------------------------ From ciclops-org at clip.dia.fi.upm.es Fri Jul 25 17:56:30 2008 From: ciclops-org at clip.dia.fi.upm.es (ciclops-org at clip.dia.fi.upm.es) Date: Fri, 25 Jul 2008 17:56:30 +0200 Subject: CFP: CICLOPS 2008 Message-ID: <18569.63406.608674.412572@fi.upm.es> [Apologies for cross and multiple postings] ============================================================================== C A L L F O R P A P E R S ============================================================================== CICLOPS 2008 Colloquium on Implementation of Constraint and LOgic Programming Systems (URL: http://www.clip.dia.fi.upm.es/Conferences/CICLOPS-2008/) to be held in Udine (Italy) at the occasion of ICLP'08 December, 2008 Important dates and other relevant information ---------------------------------------------- * Abstract submission: September 1 * Paper submission: September 8 * Notification of acceptance: October 1 * Final version due: October 17 * Workshop dates: TBD Submission will be done through EasyChair using the URL http://www.easychair.org/conferences/?conf=ciclops08 . Topics of interest ------------------ This workshop aims at discussing and exchanging experience on the design, implementation, and optimization of logic, constraint (logic) programming systems, and systems intimately related to logic as a means to express computations. Experience backed up by real implementations and their evaluation will be given preference, as well as descriptions of work in progress in that direction. Topics include, but are not limited to: * Standard and alternative sequential implementation schemes (e.g., generalization / modification of the WAM, translation to lower-level and/or general-purpose languages, etc.) * Implementation of parallel and concurrent logic and constraint programming systems. * Compile-time analysis and its application to code generation. * Interaction between high-level optimizations / transformations / specialization and low-level issues. * Memory management, indexing, and garbage collection issues. * Balance between compile-time effort and run-time machinery. * Implementation techniques for declarative programming paradigms with basis on, or extending, logic and constraint programming, such as non-monotonic reasoning, inductive logic programming, co-inductive logic programming, contextual logic programming, etc. * Implementation of systems closely related to, or based on, logic, such as theorem provers and natural language processing systems. * Automatic performance evaluation of logic and constraint programming systems. * User-oriented tools for performance evaluation and enhancement. * Software design with / for LP/CP systems: components, code patterns and rules, etc. * Design and implementation of programming environments. * Experiences from using systems in real-life applications. Workshop Goals -------------- Our intent is to bring together, in an informal setting, people involved in research on sequential and parallel implementation technologies for logic and constraint programming languages and systems, in order to promote the exchange of ideas and feedback on recent developments. We hope that the workshop will provide a meeting point for people working on implementation technology for different aspects of logic and constraint-based languages and systems. Rationale and History --------------------- Progress in computing technology, including the now readily available multicore processors, increased memory capacity and bandwidth, faster networking technology, and O.S. support for cluster computing, combined with recent advances in compilation technologies and the wider adoption of alternative constraint/logic-based programming languages, are making high-level languages to be regarded as good candidates for programming complex, demanding applications. A witness of this very interesting trend is the interest of Intel with their sponsorship of the DAMP series of workshops. Logic Programming and Constraint Programming, in particular, offer one of the best alternatives, as they couple a very high level of abstraction and a declarative nature with flexibility its execution model, which can be adapted to different scenarios. An orthogonal but synergistic issue in the pursue of high-performance and high-level languages comes from advances in implementation techniques for logic and constraint languages. These techniques aim at achieving both design flexibility and good performance in terms of speed and memory consumption, thus making those languages and systems more amenable than ever for real world applications. Maintaining flexibility without unnecessarily sacrificing performance, and while retaining a high level which relieves the programmer from burdening tasks, requires sophisticated technology whose exploration and development is one the aims of this workshop. This workshop 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 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 in Paphos (Cyprus, 2001), Copenhagen (2002), Mumbai (2003), Saint Malo (France, 2004), Sitges (Spain, 2005), Seattle (U.S.A., 2006) and Porto (Portugal, 2007). Submission Information ---------------------- Authors are invited to submit papers written in English and not exceeding 12 pages and using LNCS format. Authors who wish to prepare papers in formats other than LaTeX are kindly requested to contact the organization beforehand in order to make sure that we have available the right tools to process the files (if needed), or in order to receive detailed format instructions otherwise. Organization ------------ Program Committee: * Slim Abdennadher (Egypt) * Roberto Bagnara (Italy) * Amadeo Casas (U.S.A.) * Henning Christiansen (Denmark) * Gregory Duck (Australia) * Hai-Feng Guo (U.S.A.) * Remy Haemmerle (Spain) * José F. Morales (Spain) * Ulrich Neumerkel (Austria) * Phuong-Lan Nguyen (France) * Ricardo Rocha (Portugal) * Tom Schrijvers (Belgium) * Paul Tarau (U.S.A.) * Jan Wielemaker (The Netherlands) * Manuel Carro (Spain) * Bart Demoen (Belgium) Workshop Coordinators: Manuel Carro Bart Demoen http://clip.dia.fi.upm.es/~mcarro http://www.cs.kuleuven.be/~bmd/ Phone: +34-91-3367455 Phone: +32 (0)16 327547 Please address any question regarding the workshop organization to the address ciclops-org =at= clip.dia.fi.upm.es Invited Speaker: TBD Proceedings ----------- We plan for the informal workshop proceedings to be available on-line at the Computing Research Repository after the workshop. An electronic copy will also be distributed during the conference. Acknowledgments and Support --------------------------- The organizers wish to thank the School of Computer Science of the UPM, the Computer Science Department of KU Leuven for their support, and the CLIP Lab of the UPM for the hosting and facilities provided. From areces at pluton.loria.fr Fri Jul 25 18:53:20 2008 From: areces at pluton.loria.fr (Carlos Areces) Date: Fri, 25 Jul 2008 18:53:20 +0200 Subject: AiML08: Preliminary Program now Available Message-ID: <200807251653.m6PGrK6c031935@pluton.loria.fr> ======================================================= Please circulate. Apologies for multiple copies []<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<> CALL FOR PARTICIPATION AiML-2008 ADVANCES in MODAL LOGIC 9-12 September 2008, LORIA, Nancy, France http://aiml08.loria.fr --- PRELIMINARY PROGRAM NOW ON-LINE --- http://aiml08.loria.fr/programme.php Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences. AiML-2008 is the seventh conference in the series. REGISTRATION Registration to AiML is now open at: http://aiml08.loria.fr/registration.php INVITED SPEAKERS Invited speakers at AiML-2008 will include the following: - Mai Gehrke, Radboud Universiteit Nijmegen http://www.math.ru.nl/~mgehrke/ Using duality theory to export methods from modal logic - Guido Governatori, NICTA, Australia http://www.governatori.net Labelled modal tableaux - Agi Kurucz, King's College London http://www.dcs.kcl.ac.uk/staff/kuag/ Axiomatising many-dimensional modal logics - Lawrence Moss, Indiana University http://www.indiana.edu/~iulg/moss/ Relational syllogistic logics, and other connections between modal logic and natural logic - Michael Zakharyaschev, Birkbeck College http://www.dcs.bbk.ac.uk/~michael/ Topology, connectedness, and modal logi Further information available at: http://aiml08.loria.fr/invited.php ACCEPTED PAPERS Complete list of accepted papers and abstracts is now available at: http://aiml08.loria.fr/accepted.php PROGRAMME COMMITTEE Alessandro Artale (Free University of Bolzano, Italy) Philippe Balbiani (IRIT, Toulouse, France) Alexandru Baltag (University of Oxford, UK) Guram Bezhanishvili (New Mexico State University, USA) Patrick Blackburn (LORIA, France) Stephane Demri (CNRS, Cachan, France) Melvin Fitting (City University of New York, USA) Guido Governatori (University of Queensland, Australia) Silvio Ghilardi (University of Milano, Italy) Valentin Goranko (University of the Witwatersrand, South Africa) Rajeev Gore (The Australian National University, Australia) Andreas Herzig (IRIT, Toulouse, France) Ian Hodkinson (Imperial College London, UK) Ramon Jansana (University of Barcelona, Spain) Alexander Kurz (University of Leicester, UK) Carsten Lutz (Dresden University of Technology, Germany) Edwin Mares (Victoria University of Wellington) Larry Moss (Indiana University, USA) Dirk Pattinson (Imperial College London, UK) Mark Reynolds (University of Western Australia, Australia) Ildiko Sain (Hungarian Academy of Sciences) Ulrike Sattler (University of Manchester, UK) Renate Schmidt (University of Manchester, UK) Jerry Seligman (University of Auckland, New Zealand) Valentin Shehtman (Moscow State University, Russia) Nobu-Yuki Suzuki (Shizuoka University, Japan) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Dresden University of Technology, Germany) Frank Wolter (University of Liverpool, UK) Michael Zakharyaschev (Birkbeck College, London, UK) PROGRAMME CO-CHAIRS Carlos Areces LORIA, Nancy carlos.areces(at)loria.fr Rob Goldblatt Victoria University of Wellington rob.goldblatt(at)mcs.vuw.ac.nz LOCAL ORGANIZER Patrick Blackburn LORIA, Nancy patrick.blackburn(at)loria.fr IMPORTANT DATES Submission deadline: 31 March 2008 Acceptance notification: 31 May 2008 Final version of full papers due: 30 June 2008 Conference: 9-12 September 2008 CONFERENCE LOCATION Advances in Modal Logic 2008 will be held at LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications) in Nancy, in the Lorraine, in the east of France. FURTHER INFORMATION Information about AiML-2008 will be available at the conference website: http://aiml08.loria.fr E-mail enquiries should be directed to the local organizer or the program co-chairs. Information about AiML itself can be obtained at http://www.aiml.net From blackbur at avril.loria.fr Fri Jul 25 20:08:29 2008 From: blackbur at avril.loria.fr (Patrick Blackburn) Date: Fri, 25 Jul 2008 20:08:29 +0200 Subject: Review of Symbolic Logic (RSL) Message-ID: <200807251808.m6PI8TnR021966@avril.loria.fr> The Association of Symbolic Logic (ASL) has just launched a new journal, the Review of Symbolic Logic (RSL). It is published by Cambridge University Press. The first issue has just appeared and you can see the table of contents and download articles from the journal's CUP homepage at: http://journals.cambridge.org/action/displayIssue?jid=RSL&volumeId=1&issueId=01# RSL is devoted to philosophical and non-classical logics and their applications, history and philosophy of logic, and philosophy and methodology of mathematics. Submissions are welcome. From beckert at uni-koblenz.de Sat Jul 26 17:05:48 2008 From: beckert at uni-koblenz.de (Bernhard Beckert) Date: Sat, 26 Jul 2008 17:05:48 +0200 Subject: Research positions on Modeling and Analyzing Software Adaptation Message-ID: <488B3D4C.4040106@uni-koblenz.de> Research positions on Modeling and Analyzing Software Adaptation University of Koblenz-Landau The department of Computer Science, University Koblenz-Landau, Campus Koblenz invites applications for 2 research positions, available initially for 2 years: * 1 PostDoc * 1 PhD student The corresponding funding is part of the state of Rhineland Palatinate's Research Initiative 2008-2011. The successful applicants will work on the research theme of "ADAPT: Modeling and Analyzing Software Adaptation". The objective of ADAPT is to relate, advance, combine, and challenge adaptation methods and associated methods of modeling and analyzing that are used by the communities of software engineering, programming languages, logic-based modeling, multi-agent systems, formal methods, SOA, web systems, and mobile, autonomous systems. Please consult the ADAPT home page for further details: http://adapt.uni-koblenz.de/ 9 research groups from the CS department in Koblenz (from several of its institutes) are associated with the theme. Also, the theme leverages collaboration with international partners at the CWI, Amsterdam, and Chalmers University of Technology, Göteborg. The successful applicants will research in the interdisciplinary context of ADAPT, and be actively involved in further building up and refining the research theme. Thus, the positions provide extra opportunities for qualified applicants to distinguish themselves, in addition to the research aspects and the possibility to work on a dissertation and habilitation thesis. The deadline for applications is 1 September 2008. Email applications are preferred. See the contact section on the ADAPT home page. Participants: * Bernhard Beckert (Formal Methods and AI, Spokesperson) * Jürgen Ebert (Software Engineering) * Ulrich Furbach (Artificial Intelligence, Spokesperson) * Rüdiger Grimm (IT Risk Management) * Ralf Lämmel (Software Languages, Spokesperson) * Dietrich Paulus (Active Vision) * Steffen Staab (IS and Semantic Web) * Klaus Troitzsch (Empirical Methods, Modeling and Simulation) * Dieter Zöbel (Real-Time Systems and Mobile Systems Eng.) From Richard.Chbeir at u-bourgogne.fr Sat Jul 26 20:34:54 2008 From: Richard.Chbeir at u-bourgogne.fr (CHBEIR Richard) Date: Sat, 26 Jul 2008 20:34:54 +0200 Subject: ACM SAC ASIIS track: Call For Papers Message-ID: <1217097294.488b6e4eb13fb@webmail.u-bourgogne.fr> ------ Call For Papers ------------------------------------------ The 24th ACM Symposium on Applied Computing (SAC 2009) March 8-12, 2009 , Waikiki Beach, Honolulu, Hawaii, USA ----------------------------------------------------------------- http://www.acm.org/conferences/sac/sac2009/ --------------------------------------------------------------------------- Track on ADVANCES IN SPATIAL AND IMAGE-BASED INFORMATION SYSTEMS (ASIIS 09) --------------------------------------------------------------------------- http://www.u-bourgogne.fr/DBconf/ASIIS/ -- Description Spatial and Image-based information systems are increasingly at the heart of novel applications, raising new challenges in complex spatial data modeling, spatial data and image sharing, emergent geo-spatial data semantics. ASIIS is a track of the ACM Symposium on Applied Computing (SAC 2009). For the past twenty years the ACM SAC symposium has been a primary and international forum for applied computer scientists, computer engineers and application developers to interact and present their work. The ASIIS track aims to foster interdisciplinary discussions and research in various aspects of spatial and image based information systems. The topics of interest should be related to spatial and image-based systems, they include but are not limited to: * Conceptual modeling for visual information systems * Image databases and mining * Geographical information systems * Spatial data modeling * Multiple representations * Spatial and spatio-temporal indexing * Spatial and Image based metadata & ontologies * Spatial reasoning * Semantic web and spatial data applications * Ontologies for spatial information systems * Grid computing for spatial and image-based IS * Retrieval and visualization systems * Features and index extraction * Interoperability and standards * Traffic telematics * Location-based services * Visual languages * Languages for metadata management * Query processing and optimization * Novel and challenging applications -- Submission guidelines The author(s) name(s) and address(es) must NOT appear in the body of the paper, and self-reference should be in the third person. This is to facilitate blind review. Only the title should be shown at the first page without the author's information." Authors should submit a full paper via electronic Submission. Each paper will undergo a formal peer review process on the basis of technical quality, originality, clarity,and relevance to the track topics above. Accepted papers will be included in the SAC 09 conference proceedings published by ACM. The final version of all accepted papers must be within 5 pages prepared using ACM two-column format. One of the authors of each accepted paper must attend the ACM SAC 09 symposium. Papers should be submitted using the electronic submission system (http://sac.cs.iupui.edu/SAC2009/SubmitAbstract.aspx?TrackID=85). Contact Richard CHBEIR if you encounter any problem when submitting. Selected papers will be considered for possible publication in several journals. -- Important Dates August 16, 2008: Submission of papers (revised) October 11, 2008: Notification of Acceptance/Rejection (revised) October 25, 2008: Camera-ready copy of accepted papers -- Track co-chairs Richard Chbeir, University of Bourgogne, France Ki-Joune Li, Pusan National University, Korea Kokou Yetongnon, University of Bourgogne, France -- Track Program Committee (to be completed) #################################################### # Richard CHBEIR, Ph.D. in Computer Science # # Associate Professor # # Laboratoire LE2I (UMR - CNRS) # # Bourgogne University # # Aile de l'Ingénieur # # Office GS 16 # # BP 47870 # # 21078 Dijon CEDEX France # # Tel.: +333 80 39 36 55 # # Fax: +333 80 39 68 69 # # Email: richard.chbeir at u-bourgogne.fr # # Web: http://www.le2I.com # #################################################### From Thomas.Lukasiewicz at kr.tuwien.ac.at Sun Jul 27 22:05:42 2008 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Sun, 27 Jul 2008 21:05:42 +0100 Subject: Final CFP: 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008) Message-ID: <488CD516.9060905@kr.tuwien.ac.at> FINAL CALL FOR PAPERS ******************************************************************************** 4th International Workshop on Uncertainty Reasoning for the Semantic Web http://c4i.gmu.edu/ursw/2008/ In conjunction with the 7th International Semantic Web Conference Karlsruhe - Germany October 26, 2008 !!!!! EXTENDED DEADLINE: August, 5 !!!!! ******************************************************************************** You are invited to participate in the upcoming International Workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 7th International Semantic Web Conference (ISWC) in October of 2008 in Karlsruhe - Germany. ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The International Workshop on Uncertainty Reasoning for the Semantic Web 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, Protégé and Protégé-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 (including fuzzy theory, probability theory, and other approaches). 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 * Using fuzzy approaches to deal with imprecise concepts within ontologies * 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 August 5, 2008 Paper submissions due September 5, 2008 Paper acceptance notification September 26, 2008 Camera-ready papers due October 26, 2008 4th 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 2008 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://www.easychair. org/conferences/?conf=ursw2008. Papers must be submitted in PDF format, and follow the same submission format used by the ISWC 2008 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 2008 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 URSW 2008 will be a full day workshop divided into four sessions. Two of those sessions will be devoted to a specific theme, while the remaining sessions will be planned in a format that invites an open debate on the results, conclusions, recommendations, and follow-up work of the W3C Uncertainty Reasoning for the World Wide Web Incubator Group (http://www.w3.org/2005/Incubator/urw3/XGR-urw3/). 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 2008 Conference. We are also planning to publish revised versions of selected papers in an LNCS volume or a special issue of an international journal. Program Committee * Ameen Abu-Hanna - Universiteit van Amsterdam, the Netherlands. * Fernando Bobillo - University of Granada, Spain. * Silvia Calegari - University of Milano-Bicocca, Italy. * 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 - Eduworks, Inc., USA. * Kathryn B. Laskey - George Mason University, USA. * Kenneth J. Laskey - MITRE Corporation, USA. Member of the W3C Advisory Board. * Thomas Lukasiewicz - Oxford University, UK. * Anders L. Madsen - Hugin Expert A/S, Denmark. * M. Scott Marshall - Adaptive Information Disclosure, Universiteit van Amsterdam, The Netherlands. * Trevor Martin - University of Bristol, UK. * Matthias Nickles - University of Bath, UK. * 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 - ISTI-CNR, Manager of the W3C Office, Italy. * Nematollaah Shiri - Concordia University, Canada. * Sergej Sizov - University of Koblenz-Landau, Germany. * Pavel Smrz - Brno University of Technology, Czech Republic. * Umberto Straccia - ISTI-CNR, Italy. * Heiner Stuckenschmidt - Universität Mannheim, Germany. * Masami Takikawa - Cleverset, Inc., USA. * Peter Vojtas - Charles University, Czech Republic. Organizing Committee * 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. * Kathryn Laskey - George Mason University, USA. * Ken Laskey - MITRE Corporation, USA. * Thomas Lukasiewicz - Oxford University, UK. * Trevor Martin - University of Bristol, UK. * Matthias Nickles - University of Bath, UK. * Michael Pool - Convera, Inc., USA. * Pavel Smrz - Brno University of Technology, Czech Republic. We are looking forward to seeing you in Karlsruhe! From julian at udc.es Sun Jul 27 15:27:50 2008 From: julian at udc.es (=?iso-8859-1?Q?Juli=E1n_Dorado?=) Date: Sun, 27 Jul 2008 15:27:50 +0200 Subject: Kein Betreff Message-ID: <00de01c8efec$91bc5ba0$b53512e0$@es> Saludos: Julián Dorado Dept. Tecnoloxías da Información e as Comunicacións Universidade da Coruña Tfno: +34-981-167000 Ext: 1239 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From julian at udc.es Sun Jul 27 16:16:58 2008 From: julian at udc.es (=?iso-8859-1?Q?Juli=E1n_Dorado?=) Date: Sun, 27 Jul 2008 16:16:58 +0200 Subject: Confirmation Request (2940660464) In-Reply-To: References: Message-ID: <00e301c8eff3$6e7434e0$4b5c9ea0$@es> Saludos: Julián Dorado Dept. Tecnoloxías da Información e as Comunicacións Universidade da Coruña Tfno: +34-981-167000 Ext: 1239 -----Mensaje original----- De: event administration [mailto:event-digest at in.tu-clausthal.de] Enviado el: domingo, 27 de julio de 2008 15:56 Para: Julián Dorado Asunto: Confirmation Request (2940660464) This is an automated message from the mailing list manager Somebody (probably you) have requested the subscribe(digest) 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: 2940660464, 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 sofsem09 at ksi.mff.cuni.cz Mon Jul 28 19:39:11 2008 From: sofsem09 at ksi.mff.cuni.cz (SOFSEM09) Date: Mon, 28 Jul 2008 19:39:11 +0200 Subject: SOFSEM 2009 - Call for Paper Message-ID: <488E205F.28712.1FBA248@sofsem09.ksi.mff.cuni.cz> := SOFSEM 2009: 35th Conference on Current Trends in Theory and Practice of Computer Science CALL FOR PAPERS January 24-30, 2009 Hotel Arnika, Spindleruv Mlyn, Czech Republic http://www.sofsem.cz [This information is being posted to multiple lists - we apologise if you get it several times. Please, pass the information to whom it may benefit. Thank You for understanding and cooperation. The organizers.] IMPORTANT DATES * Abstract Submission: August 17, 2008 * Paper Submission: August 24, 2008 * Notification: October 6, 2008 * Camera-Ready Papers: October 20, 2008 * Conference: January 24-30, 2009 An extended pdf version of this call can be found at http://www.ksi.mff.cuni.cz/sofsem09/printouts/Sofsem09CFP.pdf SOFSEM (SOFtware SEMinar) is the annual, international conference devoted to the theory and practice of computer science. Its aim is to foster cooperation among professionals from academia and industry working in all modern areas of computer science. SOFSEM 2009 Program Committee Chair: Mogens Nielsen, Aarhus, Denmark. INVITED SPEAKERS The invited speakers for SOFSEM will include: * Christian Attiogbe (University of Nantes, France) * Christel Baier (University of Bonn, Germany) * Josh Berdine (Microsoft Research, Cambridge, UK) * Nicole Immorlica (Northwestern University, USA) * Radovan Janecek (BTO, HP Software) * Marcin Jurdzinski (University of Warwick, UK) * Giuseppe Longo (Ecole Normale Superieure, Paris, France) * David Parkes (Harvard University, USA) CONFERENCE TRACKS For the SOFSEM 2009 the following 4 tracks have been chosen: * Foundations of Computer Science Chair: Catuscia Palamidessi (Paris, France) Co-chair: Frank Valencia (Paris, France) * Theory and Practice of Software Services Chair: Petr Tuma, Prague, Czech Republic * Game Theoretic Aspects of ecommerce Chair: Peter Bro Miltersen (Aarhus, Denmark) * Techniques and Tools for Formal Verification Chair: Antonin Kucera (Brno, Czech Republic) Moreover, for students, there is the * Student Research Forum Chair: Maria Bielikova (Bratislava, Slovakia) Details on each track and the Forum can be found on the conference web site. PROCEEDINGS Following the tradition of SOFSEM, the proceedings from SOFSEM 2009, including invited and contributed papers, will be published in the Lecture Notes in Computer Science Series by Springer-Verlag. Papers from the Student Research Forum will be published in local proceedings. The target paper size is 12 pages in LNCS format. Both proceedings will be distributed at the conference. LOCATION The venue of Sofsem 2009 will be OREA Hotel ARNIKA, Spindleruv Mlyn, Czech Republic. See www.sofsem.cz for further details. ******************************** FOUNDATIONS OF COMPUTER SCIENCE TOPICS: * algorithms and data structures including sequential, parallel, distributed, approximation, and number-theoretic algorithms * automata theory and languages * complexity theory, both computational and structural * foundations of security * concurrency theory * quantitative aspects of computing * discrete mathematics related to computer science * grammars and formal models * program semantics, logic, and verification PROGRAM COMMITTEE: * Luca Aceto (Reykjavik University, Iceland) * Frank de Boer (Leiden University, The Netherlands) * Roberto Bruni (University of Pisa, Italy) * Stefan Dantchev (Durham University, UK) * Pierpaolo Degano (University of Pisa, Italy) * Fedor Fomin (University of Bergen, Norway) * Rachid Guerraoui (EPFL, Switzerland) * Juraj Hromkovic (ETH Zurich, Switzerland) * Thore Husfeldt (IT University of Copenhagen, Denmark and Lund University, Sweden) * Giuseppe F. Italiano (Universita di Roma "Tor Vergata", Italy) * Riko Jacob (Technische Universitat München, Germany) * Thomas Jensen (IRISA/CNRS, France) * Juhani Karhumäki (University of Turku, Finland) * Joost-Pieter Katoen (Aachen University, Germany) * Evangelos Kranakis (Carleton University, Canada) * Stephan Merz (INRIA Nancy-Grand Est, France) * Mike Mislove (Tulane University, USA) * Catuscia Palamidessi (INRIA Saclay - Île-de-France and Ecole Polytechnique, France, co-chair) * Wojciech Penczek (IPI PAN and University of Podlasie, Poland) * Riccardo Pucella (Northeastern University, USA) * Branislav Rovan (Comenius University, Slovakia) * Geoffrey Smith (Florida International University , USA) * Jiri Srba (University of Aalborg, Denmark) * Frank Valencia (CNRS and École Polytechnique, France, co-chair) * Igor Walukiewicz (Université de Bordeaux, France) * Jirí Wiedermann (Academy of Sciences, Czech Republic) * Filip Zelezny (Czech Technical University in Prague, Czech Republic) ******************************** THEORY AND PRACTICE OF SOFTWARE SERVICES TOPICS: * software engineering of service oriented systems * formal methods for service oriented architectures * service ontologies, semantic service description * process modeling for service architectures * service orchestration and coordination * quality of service * service negotiation and SLA * service discovery and management * support for dynamic binding of services * platform specific services (web services, ESB, GRID, MANET, etc.) * middleware for service oriented architectures * security and trust issues in services * business models for service architectures * emerging service standards (W3C, OASIS, UN/CEFACT, etc.) * convergence of services and other technologies (components, semantic web, etc.) * experience reports PROGRAM COMMITTEE: * Marco Aiello (University of Groningen, Netherlands) * Grigoris Antoniou (University of Crete & FORTH, Greece) * Achim Baier (Itemis, Germany) * Walter Binder (University of Lugano, Switzerland) * Paul Brebner (NICTA & Australian National University, Australia) * Vadim Ermolayev (Zaporozhye State University, Ukraine) * Wilhelm Hasselbring (University of Oldenburg, Germany) * Matthias Holzl (Ludwig-Maximilian University, Germany) * Michael Huhns (University of South Carolina, USA) * Borka Jerman Blazic (Jozef Stefan Institute, Slovenia) * Paul Johanesson (Stockholm University & Royal Institute of Technology, Sweden) * Zhiming Liu (UNU IIST, China) * George Papadopoulos (University of Cyprus, Cyprus) * Andreas Rausch (Technical University Clausthal, Germany) * Dumitru Roman (University of Innsbruck, Austria) * Santosh Shrivastava (University of Newcastle upon Tyne, United Kingdom) * Bernhard Steffen (University of Dortmund, Germany) * Jos Trienekens (University of Technology Eindhoven, Netherlands) * Petr Tuma (Charles University, Czech Republic, chair) * Jian Yang (Macquarie University, Australia) * Christian Zirpins (University of Karlsruhe, Germany) ******************************** GAME THEORETIC ASPECTS OF E-COMMERCE TOPICS: * automated and algorithmic mechanism design, * computational pricing, * auction theory geared towards e*commerce, such as auctions for digital goods, sponsored search auctions and combinatorial auctions * game theoretic aspects of trading agent systems * game theoretic aspects of networks and network formation * game theoretic aspects of cryptographic protocols PROGRAM COMMITTEE: * Arne Andersson (Uppsala University and Trade Extensions, Sweden) * Felix Brandt (University of Munich, Germany) * Giorgos Christodoulou (MPII Saarbruecken, Germany) * Artur Czumaj (DIMAP, University of Warwick, UK) * Edith Elkind (University of Southampton, UK) * Rica Gonen (Yahoo! Research, USA) * Jason Hartline (Northwestern, USA) * Kamal Jain (Microsoft Research, USA) * Vangelis Markakis (CWI, The Netherlands) * Peter Bro Miltersen (University of Aarhus, Denmark, chair) * Martin Pal (Google, USA) * David Parkes (Harvard, USA) * Paolo Penna (Universita di Salerno, Italy) * Carmine Ventre (University of Liverpool, UK) ******************************** TECHNIQUES AND TOOLS FOR FORMAL VERIFICATION TOPICS: * formal models (process calculi, Petri nets, timed automata, message sequence charts, hybrid systems, domain theoretic models, probabilistic systems, etc.) * specification languages (temporal logics, semantic equivalences and preorders, etc.) * verification techniques (model checking, equivalence checking, abstract interpretation, race detection, static analysis, testing and run time analysis, theorem proving, true concurrency techniques, symbolic representation techniques, etc.) * software tools for automatic analysis, verification, and validation of computer systems (including case studies) PROGRAM COMMITTEE: * Patricia Bouyer (LSV, ENS de Cachan, France) * Javier Esparza (TU Munchen, Germany) * Jan Friso Groote (Eindhoven University of Technology, The Netherlands) * Keijo Heljanko (Helsinki University of Technology, Finland) * Thomas Henzinger (EPFL Lausanne, Switzerland) * Gabriel Juhas (Slovak University of Technology in Bratislava, Slovak Republic) * Marta Kwiatkowska (Oxford University, UK) * Antonin Kucera (Masaryk University, Czech Republic, chair) * Viktor Kuncak (EPFL Lausanne, Switzerland) * Kim Larsen (Aalborg University, Denmark) * Madhavan Mukund (Chennai Mathematical Institute, India) * Andreas Podelski (University of Freiburg, Germany) * Davide Sangiorgi (University of Bologna, Italy) * Tomas Vojnar (Brno University of Technology, Czech Republic) * Nobuko Yoshida (Imperial College London, UK) From mangel at uco.es Tue Jul 29 10:24:35 2008 From: mangel at uco.es (=?iso-8859-1?Q?Miguel_=C1ngel_G=F3mez-Nieto?=) Date: Tue, 29 Jul 2008 10:24:35 +0200 Subject: Call for Papers References: Message-ID: <019401c8f154$8964a340$a575d696@PCMangel> Apologizes for duplicate posting ========================== CALL FOR PAPERS ************************************************************** ****************** Extended deadline August 15 ********************* ************************************************************** Sixth International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2008) http://www.iccmse.org/ Hotel Belvedere Imperial, Hersonissos, Crete, Greece, 25-30 September 2008 Organised by: Professor T. E. Simos, Faculty of Sciences and Technology, University of Peloponnese, GR-221 00 Tripolis, Greece. E-mail: tsimos at mail.ariadne-t.gr and Professor George Maroulis, Computational Quantum Chemistry Research Group. Department of Chemistry, Department of Chemistry, University of Patras, GR-26500 Patras, Greece SYMPOSIUM on Computer Applications in Science, Engineering and Education Organised by: Irene Luque Ruiz and Miguel Ángel Gómez-Nieto. University of Córdoba. Department of Computing and Numerical Analysis. Campus de Rabanales. Albert Einstein Building. E-14071 Córdoba (Spain). Phone: 0034-957-212082, Fax: 0034-957-218630. Email address: iluque at uco.es (I. Luque Ruiz) and mangel at uco.es (M.A. Gómez-Nieto) Description The First International Symposium on Computer Applications in Science, Engineering and Education (CASEE 2008), to be held in conjunction with the Sixth International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2008), aims at bringing together researchers and teachers in the world working on the development of software devoted to support the investigations and high education in science and engineering areas. The development of software applications for the research and education is an activity that implies a high effort for researchers and teachers. The spread of these software resources and their sharing is a current demand for the investigation development and the improvement of the high education within the objectives of Bologna's declaration. In this symposium, all fundamental points are addressed to the current progress and research in the development of computer applications aimed to support the investigation and teaching; in order to create a frame for sharing experiences and results and providing a forum to present and discuss emerging ideas and trends. Scope and Interests CASEE 2008 is an international forum for presenting and discussing emerging ideas and trends in Computer Applications in Science, Engineering and Education from both the research community as well as the teachers of high education. We invite research submissions on all topics related to software development including, but not limited to, these listed below: - Computational Chemistry and Chemometric - Computational physics - Computational Biology - Bioinformatics - Medical Informatics - Engineering Applications - Mathematical software - New Technologies and Innovation in High Education Submission and Publication Information The Proceedings of ICCMSE 2008 will be published in the very famous AIP (American Institute of Physics) Conference Proceedings (http://scitation.aip.org/proceedings/). Detail of submission and templates with the paper format and procedure for submission can be found in: http://www.iccmse.org/abstract.htm. The author must send his/her paper for review to the e-mail address: iluque at uco.es with a carbon copy to the e-mail address: mangel at uco.es. Important Dates Please visit ICCMSE 2008 to know the dates of importance: http://www.iccmse.org/schedule.htm. Contact Please email inquiries concerning CASEE 2008 to any of the organizers: Prof. Dr. Irene Luque Ruiz. Email: iluque at uco.es. Prof. Dr. Miguel Ángel Gómez-Nieto. Email: mangel at uco.es ------------------------------------------------------------------------------------------ Prof. Dr. Miguel Ángel Gómez-Nieto University of Córdoba Department of Computer Science and Numerical Analysis Campus Universitario de Rabanales Albert Einstein Building E-14071 Córdoba (Spain) Tel: +34-957-212-082 Fax: +34-957-218-630 ------------------------------------------------------------------------------------------ **CONFIDENTIALITY NOTICE** This email communication and any attachments may contain confidential and privileged information for the sole use of the designated recipient named above. Distribution, reproduction or any other use of this transmission by any party other than the intended recipient is prohibited. If you are not the intended recipient please contact the sender and delete all copies. ----- Original Message ----- From: Miguel Ángel Gómez-Nieto To: event at in.tu-clausthal.de Sent: Wednesday, April 09, 2008 7:05 PM Subject: [Event at CIG] Call for Papers CALL FOR PAPERS Sixth International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2008) http://www.iccmse.org/ Hotel Belvedere Imperial, Hersonissos, Crete, Greece, 25-30 September 2008 Organised by: Professor T. E. Simos, Faculty of Sciences and Technology, University of Peloponnese, GR-221 00 Tripolis, Greece. E-mail: tsimos at mail.ariadne-t.gr and Professor George Maroulis, Computational Quantum Chemistry Research Group. Department of Chemistry, Department of Chemistry, University of Patras, GR-26500 Patras, Greece SYMPOSIUM on Computer Applications in Science, Engineering and Education Organised by: Irene Luque Ruiz and Miguel Ángel Gómez-Nieto. University of Córdoba. Department of Computing and Numerical Analysis. Campus de Rabanales. Albert Einstein Building. E-14071 Córdoba (Spain). Phone: 0034-957-212082, Fax: 0034-957-218630. Email address: iluque at uco.es (I. Luque Ruiz) and mangel at uco.es (M.A. Gómez-Nieto) Description The First International Symposium on Computer Applications in Science, Engineering and Education (CASEE 2008), to be held in conjunction with the Sixth International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2008), aims at bringing together researchers and teachers in the world working on the development of software devoted to support the investigations and high education in science and engineering areas. The development of software applications for the research and education is an activity that implies a high effort for researchers and teachers. The spread of these software resources and their sharing is a current demand for the investigation development and the improvement of the high education within the objectives of Bologna's declaration. In this symposium, all fundamental points are addressed to the current progress and research in the development of computer applications aimed to support the investigation and teaching; in order to create a frame for sharing experiences and results and providing a forum to present and discuss emerging ideas and trends. Scope and Interests CASEE 2008 is an international forum for presenting and discussing emerging ideas and trends in Computer Applications in Science, Engineering and Education from both the research community as well as the teachers of high education. We invite research submissions on all topics related to software development including, but not limited to, these listed below: - Computational Chemistry and Chemometric - Computational physics - Computational Biology - Bioinformatics - Medical Informatics - Engineering Applications - Mathematical software - New Technologies and Innovation in High Education Submission and Publication Information The Proceedings of ICCMSE 2008 will be published in the very famous AIP (American Institute of Physics) Conference Proceedings (http://scitation.aip.org/proceedings/). Detail of submission and templates with the paper format and procedure for submission can be found in: http://www.iccmse.org/abstract.htm. The author must send his/her paper for review to the e-mail address: iluque at uco.es with a carbon copy to the e-mail address: mangel at uco.es. Important Dates Please visit ICCMSE 2008 to know the dates of importance: http://www.iccmse.org/schedule.htm. Contact Please email inquiries concerning CASEE 2008 to any of the organizers: Prof. Dr. Irene Luque Ruiz. Email: iluque at uco.es. Prof. Dr. Miguel Ángel Gómez-Nieto. Email: mangel at uco.es ------------------------------------------------------------------------------------------ Prof. Dr. Miguel Ángel Gómez-Nieto University of Córdoba Department of Computer Science and Numerical Analysis Campus Universitario de Rabanales Albert Einstein Building E-14071 Córdoba (Spain) Tel: +34-957-212-082 Fax: +34-957-218-630 ------------------------------------------------------------------------------------------ **CONFIDENTIALITY NOTICE** This email communication and any attachments may contain confidential and privileged information for the sole use of the designated recipient named above. Distribution, reproduction or any other use of this transmission by any party other than the intended recipient is prohibited. If you are not the intended recipient please contact the sender and delete all copies. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wva at info.fundp.ac.be Thu Jul 31 19:39:50 2008 From: wva at info.fundp.ac.be (Wim Vanhoof) Date: Thu, 31 Jul 2008 19:39:50 +0200 Subject: 1 year fellowship for a doctoral researcher on program analysis Message-ID: <4891F8E6.3070407@info.fundp.ac.be> (apologies for multiple postings) --------------------------------------------------------------------- The University of Namur, Belgium, is seeking a young researcher (no PhD) for a 1 year research project entitled "Automatic program analysis for refactoring logic programs". A short description follows. Interested candidates should send their CV before September 15, 2008 to Wim Vanhoof (wva at info.fundp.ac.be). --------------------------------------------------------------------- Program refactoring [3] is the process of systematically changing the structure of a program without changing its semantics. The goal of refactoring is to improve the design of the code after it has been written, in order to facilitate maintenance (including further development) of the software. Emerged from the OO and XP communities, program refactoring has recently gained attention in the fields of functional [8] and logic programming [11]. Within the software engineering community, the process of refactoring is considered important and has been identified as central to software development and maintenance [3]. At the basis of the refactoring process is a catalogue of available source-to-source transformations - the so-called refactorings. For each refactoring, a set of conditions is specified under which the transformation is correct in the sense that it preserves the semantics of the program. The activity of refactoring consists then in repeatedly searching through the source code, looking for a code fragment of which the design could be improved by a particular refactoring from the catalogue. The refactoring is subsequently applied, and the whole process is repeated. Although each transformation can have an impact (positive or negative) on the performance of the program, the primary aim of each transformation is to improve the readability and maintainability of the code. Even if refactoring is basically a manual process that is performed by the programmer, the need for automation is recognized due to the time-consuming and error-prone nature of the refactoring activity [3, 8, 10]. Although tools do exist that aid the developer with performing a particular refactoring on a selected fragment of source code - an example being the Refactoring Browser that was developed for Smalltalk [10] - identifying where to perform (a particular) refactoring in the code remains essentially a non-trivial, creative and therefore manual process. Although a substantial number of different refactorings has been identified in the literature, the primary indication for where to perform refactoring seems to be the presence of duplicated code [3]. The notion of duplicated code is not limited to literally copied code, but refers to fragments of code that have the same input/output behaviour. The goal of refactoring is then to transform the source code in such a way that the duplication is removed. This generally requires to extract the duplicated input/output behaviour into a new subroutine (be it a method, function or predicate), which may require a generalisation of the concerned code fragments and a possible reorganisation of the code as a whole [3, 11]. Code duplication can be caused by a number of reasons. First of all, unfamiliarity of the developer with the existing code body may result in reimplementation of routines that already exist in the application under development. Second, the “copy and paste” technique is commonly used when the existing functionality has to be slightly adapted. Even if in this case one usually does not end up literally duplicating input/output behaviour, the changes introduced by adaptation are usually relatively minor and a generalization of the original and the adapted fragments could be often proposed. Finally, code duplication might result from a polyvariant program analysis. The problem of deciding whether two code fragments implement the same functionality is well-known to be undecidable. Nevertheless, automatic program analysis techniques have been developed, notably in the context of imperative and object-oriented languages, that are capable to detect such equivalence under particular circumstances and within a certain error margin, e.g. [1, 5, 6, 7, 9]. Also related is the work on plagiarism detection for programs written in such languages, e.g. [4, 14, 13]. In this project, we will investigate the automatic detection of duplicated code in declarative programming languages, in particular logic programming languages such as Prolog and Mercury. Declarative languages allow the developer to program at a much higher level of abstraction than it is the case with most imperative languages. In a declarative language, one describes properties of the desired solution rather than the actual algorithm that should be used to find the solution. We aim to develop an analysis that allows to find, without user intervention, duplicated code fragments into a logic program and we will study if and how the results of this analysis can be used to drive a number of refactorings to remove the unwanted duplication from the program. These refactorings include predicate extraction (replacing duplicated code fragments by a call to a newly defined predicate), the removal of predicates implementing the same relation as another predicate and the generalization of duplicated code fragments into calls to newly generated higher-order predicate [11, 12]. The development of such a duplicated code analysis for logic programs, and its integration with refactoring, presents some interesting research opportunities. Firstly, the declarative nature of logic programs makes it not straightforward to adapt the methods developed in an imperative (or object-oriented) setting. Secondly, the fact that logic programs have a small and formally well-defined semantics and use an explicit symbolic data representation makes the use of advanced analyses possible. Therefore it might well be possible to obtain more fine-grained results than is the case for imperative languages. Finally, it might be worthwhile to investigate how the developed analysis could be used in the context of plagiarism detection for logic programs. References ---------- [1] B. S. Baker. On finding duplication and near-duplication in large software systems. In Proc. Second IEEE Working Conference on Reverse Engineering, pages 86-95, July 1995. [2] F. Degrave and W. Vanhoof. Towards a normal form for Mercury programs. In A. King, ed. LOPSTR 2007, volume 4915 of Lecture notes in computer science, pages 43-58. Springer-Verlag, 2007. [3] M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts. Refactoring : Improving the Design of Existing Code. Object Technology Series. Addison-Wesley, 1999. [4] S. Horwitz. Identifying the semantic and textual differences between two versions of a program. ACM SIGPLAN Notices, 25(6) :234-245, 1990. [5] T. Kamiya, S. Kusumoto, and K. Inoue. Ccfinder : A multilinguistic token-based code clone detection system for large scale source code. IEEE Trans. Software Eng., 28(7): 654-670, 2002. [6] R. Komondoor and S. Horwitz. Using slicing to identify duplication in source code. In Static Analysis Symposium, pages 40-56, 2001. [7] K. Kontogiannis, R. de Mori, E. Merlo, M. Galler, and M. Bernstein. Pattern matching for clone and concept detection. Autom. Softw. Eng., 3(1/2) :77-108, 1996. [8] H. Li, C. Reinke, and S. Thompson. Tool support for refactoring functional programs. In J. Jeuring, editor, ACM SIGPLAN 2003 Haskell Workshop. ACM 2003. [9] J. Mayrand, C. Leblanc, and E. Merlo. Experiment on the automatic detection of function clones in a software system using metrics. In Intl. Conf. on Software Maintenance, pages 244-253, 1996. [10] D. Roberts, J. Brant, and R. E. Johnson. A refactoring tool for Smalltalk. Theory and Practice of Object Systems (TAPOS), 3(4) :253-263, 1997. [11] A. Serebrenik, T. Schrijvers and B. Demoen. Improving Prolog programs: Refactoring for Prolog. Theory and practice of logic programming (Accepted) 2008. [12] W. Vanhoof. Searching semantically equivalent code fragments in logic programs. In S. Etalle, editor, LOPSTR 2004, volume 3573 of Lecture notes in computer science, pages 1-18. Springer-Verlag, 2005. [13] J. Winstead and D. Evans. Towards differential program analysis. In Proceedings of the 2003 Workshop on Dynamic Analysis, 2003. [14] W. Yang. Identifying syntactic differences between two programs. Software Practice and Experience, 21(7): 739-755, 1991. From aldini at sti.uniurb.it Thu Jul 31 21:27:29 2008 From: aldini at sti.uniurb.it (Alessandro Aldini) Date: Thu, 31 Jul 2008 21:27:29 +0200 (CEST) Subject: VODCA 2008 call for participation Message-ID: [ We apologise for multiple copies of this message! ] =================================================================== C A L L F O R P A R T I C I P A T I O N 3rd International Workshop on Views On Designing Complex Architectures (VODCA'08) Bertinoro, Italy 30-31 August, 2008 http://coba.dc.fi.udc.es/vodca GENERAL INFORMATION AND REGISTRATION VODCA will take place at the University Residential Centre of Bertinoro (Italy) immediately after the 8th International School on Foundations of Security Analysis and Design (FOSAD 2008, http://www.sti.uniurb.it/events/fosad08/). VODCA Registration is now open. The fee is 150 euros and covers both registration and accommodation for the two days of the workshop. Please follow the instructions available at the web page and register by: 22 August, 2008. Participants of FOSAD will receive a 50% discount on VODCA's registration fee. INVITED SPEAKERS Rogerio De Lemos (University of Kent, UK) Architecting Fault Tolerance using Abstractions Reiko Heckel (University of Leicester, UK) The Hammer in the Making: Graph Transformation on Networks, Molecules, and Diagrams WORKSHOP PROGRAM * Saturday 30 August 2008 - 14:25 Welcome - 14:30 Invited talk Reiko Heckel - 15:30 Information Security Secure Web Service Workflow Execution Carsten Rudolph, Nicolai Kuntze, and Zaharina Velikova - 16:00-16:30 Break - 16:30 Information Security Design of architectures for proximity-aware services: Experiments in context-based authentication with Subjective Logic Gabriele Lenzini Towards information flow properties for distributed systems Fabio Martinelli, Ilaria Matteucci, and Roberto Gorrieri Transparent Process Monitoring in a Virtual Environment Daniele Sgandurra, Fabrizio Baiardi, Dario Maggiari, and Francesco Tamberi * Sunday 31 August 2008 - 09:30 Information Management Testing-based Process for Evaluating Components Replaceability Andres Flores and Macario Polo A Graph-based Design Framework for Global Computing Systems Antonio Bucchiarone, Gregory Dennis, and Stefania Gnesi Rank and select for succinct data structures Antonio Farina, Susana Ladra, Oscar Pedreira, and Angeles Places - 11:00-11:30 Break - 11:30 Invited talk Rogerio de Lemos - 12:30-14:30 Lunch - 14:30 Information Management A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation Stefano Bistarelli and Francesco Santini Strategies for solving constraints in type and effect systems Jurriaan Hage and Bastiaan Heeren SPONSORSHIP - Formal Methods Europe (FME) - U.S. Army International Technology Center-Atlantic Research Division (USAITC-A)