From iclp08pub at cs.nmsu.edu Sun Jun 1 03:09:35 2008 From: iclp08pub at cs.nmsu.edu (ICLP 08) Date: Sat, 31 May 2008 19:09:35 -0600 Subject: ICLP'08 CFP: EXTENDED DEADLINES! Message-ID: <200806010109.m5119Zhw014635@pippo.cs.nmsu.edu> CALL FOR PAPERS ICLP'08 *** EXTENDED DEADLINES *** 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it CONFERENCE SCOPE ---------------- Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (techical papers, application papers, and posters) are sought in all areas of logic programming including but not restricted to: * Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. * Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. * Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling, Integration. * Language Issues: Extensions, Integration with Other Paradigms, Concurrency, Modularity, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. * Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. * Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics The three broad categories for submissions are: (1) Technical papers, providing novel research contributions, innovative perspectives on the field, and/or novel integrations across different areas; (2) Application papers, describing innovative uses of logic programming technology in real-world application domains; (3) Posters, ideal for presenting and discussing current work, not yet ready for publication, for PhD thesis summaries and research project overviews. A separate session dedicated to the celebration of the 20th anniversary of stable model semantics will also be part of the program. Accepted papers and posters will be allocated time for presentation during the conference (with posters having a considerably shorter time). At least one author of each accepted submission is expected to register and participate in the event. In addition to papers and posters, the technical program will include invited talks, advanced tutorials, specialized sessions, workshops, and a Doctoral Student Consortium. Details, as they become available will be posted at: http://iclp08.dimi.uniud.it PAPERS AND POSTERS ------------------ Papers and posters must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. Emphasis will be placed on the novelty and innovative nature of the results (even if not completely polished and refined). All submissions will be peer-reviewed by an international panel. Submissions MUST contain substantial original, unpublished material. All submissions must be written in English. Technical papers and application papers must not exceed 15 pages in the Springer LNCS format (see http://www.springeronline.com/lncs/) The limit for posters is 5 pages in the same format. 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 APPLICATION PAPERS ------------------ Within the scope of the general call for papers for the upcoming 24th International Conference on Logic Programming, we would like to draw the attention of researchers and practitioners on the opportunity to submit manuscripts to the Application Track of the conference. Application papers, are expected to describing complex and/or real-world applications that rely in an essential manner on the use of logic programming technology. Description of innovative applications as well as engineering solutions leveraging logic programming technology are solicited. Papers must describe original, previously unpublished results, and must not be simultaneously submitted for publication elsewhere. Submissions MUST contain substantial original, unpublished material. All submissions must be written in English. Application papers should be structured to emphasize: * the application domain, in terms understandable by a layman * the specific problem addressed within the application domain, stressing importance and complexity * a clear discussion of the unique need for logic programming technology to address the problem * a clear description of the application developed and its evaluation. PUBLICATION ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. All accepted papers and posters will be included in the proceedings. WORKSHOPS --------- The ICLP'08 program will include several workshops. They are perhaps the best place for the presentation of preliminary work, novel ideas, and new open problems to a more focused and specialized audience. Workshops also provide a venue for presenting specialised topics and opportunities for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas. DOCTORAL CONSORTIUM ------------------- The Doctoral Consortium (DC) on Logic Programming is the 4th Doctoral consortium to provide doctoral students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and word-renown experts in the field. The DC will also offer invited speakers and panel discussions. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in special session of the main ICLP conference. CELEBRATING 20th YEARS OF STABLE MODEL SEMANTICS ------------------------------------------------ The year 2008 marks the 20th anniversary of the publication that introduced the stable model semantics for logic programs with negation. The paper titled "The stable semantics for logic programs" by Michael Gelfond and Vladimir Lifschitz was presented at ICLP-1988. It was a momentous event that gave rise to a vibrant subfield of logic programming known now as the answer-set programming. Its distinguishing aspects are close connections to the fields of knowledge representation, satisfiability and constraint satisfaction, ever faster computational tools, and a growing list of successful applications. To celebrate the stable-model semantics, there will be a special session at ICLP 2008 dedicated to answer-set programming. The session will feature talks by Michael Gelfond and Vladimir Lifschitz. as well as by other major contributions to the field, presenting personal perspectives on the stable-model semantics, its impact and its future. There will be a panel discussion, and regular accepted ICLP papers falling into the answer-set programming area will complete the program. CONFERENCE VENUE ---------------- The conference will be held in the city of Udine, the capital of the historical region of Friuli, Italy. Located between the Adriatic sea and the Alps, close to Venice, Austria and Slovenia, Udine is a city of Roman origins, funded by Emperor Otto in 983. Rich of historical sites, Udine is also famous for its commercial and shopping opportunities and its outstanding wine and culinary traditions. SUPPORT SPONSORING AND AWARDS ----------------------------- The conference is sponsored by the Association for Logic Programming (ALP). The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two awards for ICLP 2008: for the best technical paper and for the best student paper. IMPORTANT DATES --------------- Papers Posters Abstract submission deadline June 6th n/a Submission deadline June 13th August 15th Notification of authors August 1st September 1st Camera-ready copy due September 15th September 15th 20 Years of Stable Models TBA Doctoral Consortium TBA Workshop Proposals June 2nd Early-bird Registration TBA Conference December 9-13, 2008 ICLP'2008 ORGANIZATION ---------------------- General Chair: Agostino Dovier (University of Udine) Program Co-Chairs: Maria Garcia de la Banda (Monash University) Enrico Pontelli (New Mexico State University) Workshop Chair: Tran Cao Son (New Mexico State University) Doctoral Student Consortium: David Warren (SUNY Stony Brook) Tom Schrijvers (K.U.Leuven) Publicity Co-Chairs: Marcello Balduccini (Kodak Research Labs) Alessandro Dal Palu' (University of Parma) Programming Competition Chair: Bart Demoen (K.U.Leuven) 20 Years of Stable Models: Mirek Truszczynski (University of Kentucky) Andrea Formisano (University of Perugia) Program Committee: Salvador Abreu Sergio Antoy Pedro Barahona Chitta Baral Gerhard Brewka Manuel Carro Michael Codish Alessandro Dal Palu' Bart Demoen Agostino Dovier John Gallagher Michael Gelfond Carmen Gervet Gopal Gupta Manuel Hermenegildo Andy King Michael Maher Juan Moreno Navarro Alberto Pettorossi Brigitte Pientka Gianfranco Rossi Fariba Sadri Vitor Santos Costa Tran Cao Son Paolo Torroni Frank Valencia Mark Wallace Web Master: Raffaele Cipriano Local Arrangements Committee: Alberto Casagrande Elisabetta De Maria Luca Di Gaspero Carla Piazza ---------------------------------------------------- For further information: iclp08 at cs.nmsu.edu http://iclp08.dimi.uniud.it From jeremy at rsise.anu.edu.au Mon Jun 2 07:11:42 2008 From: jeremy at rsise.anu.edu.au (Jeremy Dawson) Date: Mon, 02 Jun 2008 15:11:42 +1000 Subject: CATS 2009 -- Computing: The Australasian Theory Symposium In-Reply-To: References: Message-ID: <4843810E.6090002@rsise.anu.edu.au> First Call for Papers CATS 2009 -- Computing: The Australasian Theory Symposium January 20-23, 2009 Victoria University of Wellington, New Zealand http://velorum.ballarat.edu.au/~pmanyem/CATS09/ The 15th Computing: The Australasian Theory Symposium (CATS) will be held in Wellington, New Zealand, during January 20-23, 2009. Wellington is on the southern tip of the North Island of NZ. CATS is one of the two premier annual conferences in theoretical computer science in the Asia-Pacific. KEYNOTE SPEAKERS: ---------------------------------- Ian Foster, Argonne National Laboratory and the University of Chicago, USA Mark Guzdial, Georgia Tech, Atlanta, USA Ronald Fagin, IBM Almaden, California, USA Ross Anderson, Cambridge, UK Andy Hopper, Cambridge, UK New! From CATS 2009! There will be a discussion track! Accepted papers will be available online three months prior to the conference. Papers can be analysed and discussed online, so that the time at the actual conference (in Wellington) can be utilised in a much more productive manner. For further information, see http://velorum.ballarat.edu.au/~pmanyem/CATS09/discussion.html Authors are invited to submit papers that present original and unpublished research on topics including (but not limited to) the following areas: Algorithms and Data Structures, Complexity Theory, Graph Theory, Graph Algorithms and Combinatorics, Semantics of Programming Languages, Algorithms on Strings, Optimisation, Formal Program Specification and Transformation, Computational Algebra and Geometry, Computational Biology, Logic and Type systems, and New Paradigms of Computation. SUBMISSION ------------------- The deadline for paper submission is August 29, 2008 (abstracts should be submitted a week earlier). Submissions should be made electronically via http://www.easychair.org/conferences/?conf=cats2009 See submission details at: http://velorum.ballarat.edu.au/~pmanyem/CATS09/submission.html PUBLICATION --------------------- Submitted papers will be thoroughly refereed. Accepted papers will appear in the electronic proceedings at http://crpit.com. Papers that are presented at CATS will appear in the ACM Digital Library. Full details about the publication policy is available at the CRPIT website (http://crpit.com/AuthorsSubmitting.html and http://crpit.com/AuthorsAccepted.html). There will be a special issue of the Chicago Journal of Theoretical Computer Science (CJTCS) devoted to CATS 2009. For further information, see http://velorum.ballarat.edu.au/~pmanyem/CATS09 Program Committee Co-Chairs: ------------------------------------------- Rod Downey, Victoria University of Wellington, NZ (firstName.familyName at mcs.vuw.ac.nz), and Prabhu Manyem, University of Ballarat, Australia (p.familyName at ballarat.edu.au) From Christine.Paulin at lri.fr Mon Jun 2 08:36:31 2008 From: Christine.Paulin at lri.fr (Christine Paulin) Date: Mon, 02 Jun 2008 08:36:31 +0200 Subject: MPC 2008: SECOND CALL FOR PARTICIPATION Message-ID: SECOND CALL FOR PARTICIPATION 9th International Conference on Mathematics of Program Construction (MPC'08) Marseille (Luminy), France, July 15-18th 2008 http://mpc08.lri.fr IMPORTANT : accomodation at CIRM should be booked before June 10 PLEASE REGISTER NOW! We hereby invite you to participate to the MPC (Mathematics of Program Construction) conference held from July 15th to July 18th 2008 at the International Center for Mathematical Meetings (CIRM, http://www.cirm.univ-mrs.fr/web.ang). Online registration is opened on conference web site. Dealine registration is June 8th. INVITED SPEAKERS * Ralf Hinze, University of Oxford, UK. * Greg Morrisett, Harvard University, USA * Simon Peyton-Jones, Microsoft Research Cambridge, UK PROGRAMME The preliminary programme is available on the conference web site. VENUE The conference will be held in Marseille, the second largest city in France next to Paris. Its port is the most important in France, and opens the city to the world through the Mediterranean Sea. MPC'08 will be hosted by the International Center for Mathematical Meetings. The center is located inside the Campus of Luminy Faculty. It is close to the "Calanques", an astounding wild coastline composed of creeks stretching from Marseille to Cassis. PROGRAMME COMMITTEE Christine Paulin-Mohring INRIA-Universit� Paris-Sud, France (chair) Philippe Audebaud Ecole Normale Sup�rieure Lyon, France (co-chair) Ralph-Johan Back Abo Akademi University, Finland Eerke Boiten University of Kent, UK Venanzio Capretta University of Nijmegen, Netherlands Sharon Curtis Oxford Brookes University, UK Jules Desharnais Universit� Laval, Qu�bec, Canada Peter Dybjer Chalmers University of Technology, Sweden Jeremy Gibbons University of Oxford, UK Lindsay Groves Victoria University of Wellington, New Zealand Ian Hayes University of Queensland, Australia Eric Hehner University of Toronto, Canada Johan Jeuring Utrecht University, Netherlands Dexter Kozen Cornell University, USA Christian Lengauer Universit�t Passau, Germany Lambert Meertens University of Utrecht, Netherlands Bernhard M�ller Universit�t Augsburg, Germany Carroll Morgan University of New South Wales, Australia Shin-Cheng Mu Academia Sinica, Taiwan Jose Nuno Oliveira Universidade do Minho, Portugal Tim Sheard Portland State University, USA Tarmo Uustalu Institute of Cybernetics Tallin, Estonia LOCAL ORGANIZERS MPC 2008 is organized with the support of INRIA. The local organizers are Philippe Audebaud, Christine Paulin-Mohring and Marie-Ren�e Donnadieu. Enquiries regarding the programme (submission etc.) should be addressed to mpc08(at)lri.fr From nbassili at csd.auth.gr Mon Jun 2 12:22:17 2008 From: nbassili at csd.auth.gr (Nick Bassiliades) Date: Mon, 02 Jun 2008 13:22:17 +0300 Subject: RuleML-2008: Deadline extension Message-ID: <4843C9D9.4070700@csd.auth.gr> [ our apologies should you receive this message more than one time ] ===================================================================== Due to a number of requests we have to decided to extend the submission deadline by 2 weeks. NEW deadline for paper/demo submission: June 16 ===================================================================== 2008 International RuleML Symposium on Rule Interchange and Applications (RuleML-2008) October 30-31, 2008, Orlando, Florida http://2008.ruleml.org -------------------------------------------------------------------- RuleML-2008 Highlights: - Keynote speakers: * Michael Kifer (State University of New York at Stony Brook, USA), on "Rule Interchange Format: Not Just Syntax". Joint keynote between RuleML-2008 and RR2008. * David Luckham (Stanford University, USA) on complex event processing. * Paul Haley (Haley Ltd) on business rules. * Benjamin Grosof (Vulcan Inc, USA) on the SILK KRR system of the HALO project. (Details at: http://2008.ruleml.org/keynote.php ) - Joint Lunch Panel with the Business Rules Forum about "Rules on the Web" - RuleML-2008 Challenge with prestigious prices (Details at: http://2008.ruleml.org/challenge.php ) (Submissions at: http://ruleml-challenge.cs.nccu.edu.tw/ ) - Lightning talks / Highlight talks Accepted papers will be published in Springer LNCS proceedings and a journal special issue (IEEE TKDE pending) is forthcoming. PRESS RELEASES: http://www.targetwire.com/vpo/rm/ -------------------------------------------------------------------- Call for Papers Collocated with the 11th International Business Rules Forum, the 2008 International Symposium on Rule Interchange and Applications (RuleML-2008) is the second symposium (after last year's highly successful RuleML-2007 - http://2007.ruleml.org/) devoted to work on practical distributed rule technologies and rule-based applications which need language standards for rules operating in the context of, e.g., the Semantic Web, Intelligent Multi- Agent Systems, Event-Driven Architectures and Service-Oriented Computing Applications. The RuleML symposium is a new kind of event where the Web Rules and Logic community joins the established, practically oriented Forum of the Business Rules community (http://www.businessrulesforum.com) to help cross- fertilizing between Web and Business Logic technology. The goal of RuleML-2008 is to bring together rule system providers, representatives of, and participants in, rule standardization efforts (e.g., SBVR, RuleML, RIF, PRR, CL) and open source rules communities (e.g., jBoss Rules, CLIPS/Jess, Prova, OO jDrew, Mandarax, XSB, XQuery), practitioners and technical experts, developers, users, and researchers. They will be offered an exciting venue to exchange new ideas, practical developments and experiences on issues pertinent to the interchange and application of rules in open distributed environments such as the Web. The Symposium gives emphasis on practical issues such as technical contributions and show case demonstrations of effective, practical, deployable rule-based technologies, rule interchange formats and applications as well as discussions of lessons learned that have to be taken into account when employing rule-based technologies in distributed, (partially) open, heterogeneous environments. We also welcome groundwork that helps to build an effective, practical, and deployable rule standard, improve rule technology, provide better understanding of the integration and interchange of rules, and make the current generation of rule engines and rule technology more usable for advanced Web and Service Oriented Architectures. More details in: http://2008.ruleml.org/cfp.pdf -------------------------------------------------------------------- RuleML-2008 Challenge The RuleML-2008 Challenge is one of the highlights of RuleML-2008. It addresses the system demonstration for practical use of rule technologies in distributed and/or Web-based environments. The focus of the challenge is on rule technologies (including rule languages and engines), interoperation and interchange. The challenge offers participants the chance to demonstrate their commercial and open source tools, use cases, and applications. Prizes will be awarded to the two best applications. All accepted demos will be presented in a special Challenge Session. More details in: http://2008.ruleml.org/challenge.php -------------------------------------------------------------------- Important Dates - Paper Submissions due June 16, 2008 (EXTENDED) - Notification of acceptance July 22, 2008 - Final submissions due August 13, 2008 - Symposium date October 30-31, 2008 - RuleML Challenge October 30, 2008 -------------------------------------------------------------------- Submission Site is open: http://www.easychair.org/conferences/?conf=ruleml2008 Submission guidelines: http://2008.ruleml.org/submissions.php Topics of Interest: http://2008.ruleml.org/topics.php Organizing Committee: http://2008.ruleml.org/oc.php Program Committee: http://2008.ruleml.org/pc.php ===================================================================== Co-located with: The 11th International Business Rules Forum http://www.businessrulesforum.com ===================================================================== Sponsored by: Gold level : Vulcan Inc (pending) Silver level: Model Systems Bronze level: STI Innsbruck, ruleCore, JBoss Sponsoring opportunities: http://2008.ruleml.org/sponsoring/ ===================================================================== In Co-operation with: AAAI, W3C, BPM-Forum, Business Rules Forum , ECCAI, OASIS, OMG, Dallas Rules Group, Belgium Business Rules Forum, MIT Sloan CIO Symposium, ACM, ACM SIGART, ACM SIGMIS, ACM SIGWEB, Open Research Society, IEEE Systems Man and Cybernetics Society IEEE SMCS TC on Intelligent Internet Systems IEEE SMCS TC on Distributed Intelligent Systems IEEE Computer Society TC on Autonomous and Autonomic Systems ===================================================================== Media Partners: Springer LNCS, MoDo Marketing ===================================================================== From paolo.torroni at unibo.it Mon Jun 2 13:58:37 2008 From: paolo.torroni at unibo.it (Paolo Torroni) Date: Mon, 02 Jun 2008 13:58:37 +0200 Subject: ICLP'08 CFP: EXTENDED DEADLINES! Message-ID: <4843E06D.8050800@unibo.it> CALL FOR PAPERS ICLP'08 *** EXTENDED DEADLINES *** 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it NEW DATES --------------- Papers Abstract submission deadline June 6th Submission deadline June 13th CONFERENCE SCOPE ---------------- Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (techical papers, application papers, and posters) are sought in all areas of logic programming including but not restricted to: * Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. * Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. * Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling, Integration. * Language Issues: Extensions, Integration with Other Paradigms, Concurrency, Modularity, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. * Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. * Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics The three broad categories for submissions are: (1) Technical papers, providing novel research contributions, innovative perspectives on the field, and/or novel integrations across different areas; (2) Application papers, describing innovative uses of logic programming technology in real-world application domains; (3) Posters, ideal for presenting and discussing current work, not yet ready for publication, for PhD thesis summaries and research project overviews. A separate session dedicated to the celebration of the 20th anniversary of stable model semantics will also be part of the program. Accepted papers and posters will be allocated time for presentation during the conference (with posters having a considerably shorter time). At least one author of each accepted submission is expected to register and participate in the event. In addition to papers and posters, the technical program will include invited talks, advanced tutorials, specialized sessions, workshops, and a Doctoral Student Consortium. Details, as they become available will be posted at: http://iclp08.dimi.uniud.it PAPERS AND POSTERS ------------------ Papers and posters must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. Emphasis will be placed on the novelty and innovative nature of the results (even if not completely polished and refined). All submissions will be peer-reviewed by an international panel. Submissions MUST contain substantial original, unpublished material. All submissions must be written in English. Technical papers and application papers must not exceed 15 pages in the Springer LNCS format (see http://www.springeronline.com/lncs/) The limit for posters is 5 pages in the same format. 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 APPLICATION PAPERS ------------------ Within the scope of the general call for papers for the upcoming 24th International Conference on Logic Programming, we would like to draw the attention of researchers and practitioners on the opportunity to submit manuscripts to the Application Track of the conference. Application papers, are expected to describing complex and/or real-world applications that rely in an essential manner on the use of logic programming technology. Description of innovative applications as well as engineering solutions leveraging logic programming technology are solicited. Papers must describe original, previously unpublished results, and must not be simultaneously submitted for publication elsewhere. Submissions MUST contain substantial original, unpublished material. All submissions must be written in English. Application papers should be structured to emphasize: * the application domain, in terms understandable by a layman * the specific problem addressed within the application domain, stressing importance and complexity * a clear discussion of the unique need for logic programming technology to address the problem * a clear description of the application developed and its evaluation. PUBLICATION ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. All accepted papers and posters will be included in the proceedings. WORKSHOPS --------- The ICLP'08 program will include several workshops. They are perhaps the best place for the presentation of preliminary work, novel ideas, and new open problems to a more focused and specialized audience. Workshops also provide a venue for presenting specialised topics and opportunities for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas. DOCTORAL CONSORTIUM ------------------- The Doctoral Consortium (DC) on Logic Programming is the 4th Doctoral consortium to provide doctoral students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and word-renown experts in the field. The DC will also offer invited speakers and panel discussions. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in special session of the main ICLP conference. CELEBRATING 20th YEARS OF STABLE MODEL SEMANTICS ------------------------------------------------ The year 2008 marks the 20th anniversary of the publication that introduced the stable model semantics for logic programs with negation. The paper titled "The stable semantics for logic programs" by Michael Gelfond and Vladimir Lifschitz was presented at ICLP-1988. It was a momentous event that gave rise to a vibrant subfield of logic programming known now as the answer-set programming. Its distinguishing aspects are close connections to the fields of knowledge representation, satisfiability and constraint satisfaction, ever faster computational tools, and a growing list of successful applications. To celebrate the stable-model semantics, there will be a special session at ICLP 2008 dedicated to answer-set programming. The session will feature talks by Michael Gelfond and Vladimir Lifschitz. as well as by other major contributions to the field, presenting personal perspectives on the stable-model semantics, its impact and its future. There will be a panel discussion, and regular accepted ICLP papers falling into the answer-set programming area will complete the program. CONFERENCE VENUE ---------------- The conference will be held in the city of Udine, the capital of the historical region of Friuli, Italy. Located between the Adriatic sea and the Alps, close to Venice, Austria and Slovenia, Udine is a city of Roman origins, funded by Emperor Otto in 983. Rich of historical sites, Udine is also famous for its commercial and shopping opportunities and its outstanding wine and culinary traditions. SUPPORT SPONSORING AND AWARDS ----------------------------- The conference is sponsored by the Association for Logic Programming (ALP). The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two awards for ICLP 2008: for the best technical paper and for the best student paper. IMPORTANT DATES --------------- Papers Posters Abstract submission deadline June 6th n/a Submission deadline June 13th August 15th Notification of authors August 1st September 1st Camera-ready copy due September 15th September 15th 20 Years of Stable Models TBA Doctoral Consortium TBA Workshop Proposals June 2nd Early-bird Registration TBA Conference December 9-13, 2008 ICLP'2008 ORGANIZATION ---------------------- General Chair: Agostino Dovier (University of Udine) Program Co-Chairs: Maria Garcia de la Banda (Monash University) Enrico Pontelli (New Mexico State University) Workshop Chair: Tran Cao Son (New Mexico State University) Doctoral Student Consortium: David Warren (SUNY Stony Brook) Tom Schrijvers (K.U.Leuven) Publicity Co-Chairs: Marcello Balduccini (Kodak Research Labs) Alessandro Dal Palu' (University of Parma) Programming Competition Chair: Bart Demoen (K.U.Leuven) 20 Years of Stable Models: Mirek Truszczynski (University of Kentucky) Andrea Formisano (University of Perugia) Program Committee: Salvador Abreu Sergio Antoy Pedro Barahona Chitta Baral Gerhard Brewka Manuel Carro Michael Codish Alessandro Dal Palu' Bart Demoen Agostino Dovier John Gallagher Michael Gelfond Carmen Gervet Gopal Gupta Manuel Hermenegildo Andy King Michael Maher Juan Moreno Navarro Alberto Pettorossi Brigitte Pientka Gianfranco Rossi Fariba Sadri Vitor Santos Costa Tran Cao Son Paolo Torroni Frank Valencia Mark Wallace Web Master: Raffaele Cipriano Local Arrangements Committee: Alberto Casagrande Elisabetta De Maria Luca Di Gaspero Carla Piazza ---------------------------------------------------- For further information: iclp08 at cs.nmsu.edu http://iclp08.dimi.uniud.it From robert at grid.chu.edu.tw Mon Jun 2 14:59:20 2008 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Mon, 2 Jun 2008 20:59:20 +0800 Subject: IEEE APSCC\'08 Announcement Message-ID: <200806021259.m52CxKCP032228@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jja at di.fct.unl.pt Mon Jun 2 13:03:34 2008 From: jja at di.fct.unl.pt (Jose Julio Alferes) Date: Mon, 2 Jun 2008 12:03:34 +0100 Subject: Confirmation Request (0635236148) In-Reply-To: References: Message-ID: On Jun 2, 2008, at 11:28 AM, 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: 0635236148, > 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 ambra.molesini at unibo.it Tue Jun 3 12:21:37 2008 From: ambra.molesini at unibo.it (Ambra Molesini) Date: Tue, 03 Jun 2008 12:21:37 +0200 Subject: subscribe Message-ID: ***************************************************************** Dott. Ing. Ambra Molesini, Ph.D Alma Mater Studiorum Università di Bologna DEIS - Viale Risorgimento 2, 40136 Bologna (I) phone : +39 051 2093541 fax : +39 051 2093073 mail: ambra.molesini at unibo.it web : http://www.lia.deis.unibo.it/Staff/AmbraMolesini/ http://www.apice.unibo.it/xwiki/bin/view/AmbraMolesini/ From ambra.molesini at unibo.it Tue Jun 3 14:35:44 2008 From: ambra.molesini at unibo.it (Ambra Molesini) Date: Tue, 03 Jun 2008 14:35:44 +0200 Subject: ACM SAC 2009 - Special Track on AOSE Methodologies and Processes Message-ID: [Please accept our apologies if you received multiple copies of this call] --------------------------------------------------------------------------------- CALL FOR PAPER AOMP: Agent-Oriented Software Engineering Methodologies and Processes Track of the 24th Edition ACM Symposium on Applied Computing Honolulu, Hawaii, USA, March 8 -12, 2009 http://www.apice.unibo.it/xwiki/bin/view/AOMP/ http://www.acm.org/conferences/sac/sac2009/ -------------------------------------------------------------------------------------------- AOSE methodologies have been studied since 2000. Traditionally the focus was only onto one of the methodologies’characteristics: workproducts. Investigations on another fundamental characteristic – the process - have been proposed only recently. The aims of this track are the deeper investigations of AOSE methodologies and their underpinned processes. The investigation has started from the idea that an ideal general-purpose AOSE methodology and an ideal general-purpose AOSE process do not exist. The AOSE methodologies proposed in literature in the last years typically are special purpose methodologies with the aim of engineering specific kinds of complex system, and no general purpose AOSE methodology was proposed. Now there is the need to build new methodologies for new kinds of applications domain (like for example the self-* domain), but the constructions of a new methodology from scratch is a very complex and time-consuming task. So, the reuse of portions of well-tested and well-known methodologies has become very important. Moreover, key factors for the success of new methodologies can often be found in the clear definition of their scope, in the identification of a precise application and development context and in the adoption of a proper formalisation of the approach. In this track we aim at studying all the elements that affect the construction of a new design process from the features it aims to exhibit to the final evaluation of the result also including adopted modelling languages, techniques and specific methods. TOPICS OF INTEREST The list of most relevant topics includes, but it is not limited to: * Methodologies for agent-oriented analysis and design * Agent-Oriented Software Engineering * Design of software development processes * Situational Method Engineering techniques for AOSE design processes * Relationships between MAS meta-models and their relative AOSE methodologies * Relationships between AOSE processes and the other traditional processes (e.g. OO) * Relationship between AOSE methodologies (processes) and MAS Infrastructures * Meta-modelling techniques * Software development process models * Fragment definitions and descriptions * Integration of agent-oriented methodologies and processes * Approaches for AOSE methodologies: design patterns, components, and architectures * MAS Product Lines * Supporting tools for AOSE methodologies/processes construction and enactment * Standardisation for AOSE methodologies and processes * Self-* approaches in AOSE methodologies and processes Important Dates: Aug. 16, 2008 (strict): Paper submissions Oct. 11, 2008: Author notification Oct. 25, 2008: Camera-Ready Copy Paper Publication All papers will be fully refereed and undergo a blind review process by at least three referees. The conference proceedings will be published by ACM. Hence, all accepted papers should be submitted in ACM 2-column camera-ready format for publication in the symposium proceedings. Authors are allowed up to 8 pages according to the template, but more than 5 pages in the camera ready will be charged with 80USD per extra page. Please follow the rules in the web site. Organising Committee: Massimo Cossentino, Italy Ambra Molesini, Italy Andrea Omicini, Italy Valeria Seidita, Italy ***************************************************************** Dott. Ing. Ambra Molesini, Ph.D Alma Mater Studiorum Università di Bologna DEIS - Viale Risorgimento 2, 40136 Bologna (I) phone : +39 051 2093541 fax : +39 051 2093073 mail: ambra.molesini at unibo.it web : http://www.lia.deis.unibo.it/Staff/AmbraMolesini/ http://www.apice.unibo.it/xwiki/bin/view/AmbraMolesini/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fvalenci at lix.polytechnique.fr Tue Jun 3 15:37:01 2008 From: fvalenci at lix.polytechnique.fr (Frank Valencia) Date: Tue, 3 Jun 2008 15:37:01 +0200 (CEST) Subject: SOFSEM'09 Call for Papers Message-ID: <20080603133702.28911F5B16@argos.lix.polytechnique.fr> [Apologies for multiple copies of this message] Dear colleague, Please find below the call for papers and other relevant information for SOFSEM'09, the 35th International Conference on Current Trends in Theory and Practice of Computer Science. January 24-30, 2009 Hotel Arnika, Spindleruv mlyn, Czech Republic, Best wishes, Catuscia Palamidessi and Frank D. Valencia (Chairs for the Foundations of Computer Science Track of SOFSEM'09). SOFSEM'09 ------------------ - URL http://www.ksi.mff.cuni.cz/sofsem09/index.php - CfP http://www.ksi.mff.cuni.cz/sofsem09/cfp.php From ambra.molesini at unibo.it Tue Jun 3 14:01:26 2008 From: ambra.molesini at unibo.it (Ambra Molesini) Date: Tue, 03 Jun 2008 14:01:26 +0200 Subject: Confirmation Request (1081314635) In-Reply-To: References: Message-ID: At 13.49 03/06/2008, you 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: 1081314635, > 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 ***************************************************************** Dott. Ing. Ambra Molesini, Ph.D Alma Mater Studiorum Università di Bologna DEIS - Viale Risorgimento 2, 40136 Bologna (I) phone : +39 051 2093541 fax : +39 051 2093073 mail: ambra.molesini at unibo.it web : http://www.lia.deis.unibo.it/Staff/AmbraMolesini/ http://www.apice.unibo.it/xwiki/bin/view/AmbraMolesini/ From MFisher at liverpool.ac.uk Wed Jun 4 12:23:55 2008 From: MFisher at liverpool.ac.uk (Michael Fisher) Date: Wed, 04 Jun 2008 11:23:55 +0100 Subject: CFP: 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) Message-ID: <48466D3B.8000902@liverpool.ac.uk> [ Please could you distribute this - thanks ] --------------------------------------------------------------------- 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. 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 chris at ags.uni-sb.de Mon Jun 2 20:30:24 2008 From: chris at ags.uni-sb.de (Christoph Benzmueller) Date: Mon, 02 Jun 2008 11:30:24 -0700 Subject: Doctoral Programme at CICM'08 in Birmingham (Some Student Grants Available!) Message-ID: <48443C40.3060309@ags.uni-sb.de> Doctoral Programme at CICM'08 in Birmingham http://events.cs.bham.ac.uk/cicm08/doctoral/ (Some Student Grants Available!) A Doctoral Programme will be organized as part of the CICM'08: Conferences on Intelligent Computer Mathematics in Birmingham. The CICM'08 Doctoral Programme will enable graduate students to discuss and present their research and ideas, and gain feedback from respected researchers within the areas of Mathematics, Computer Science and Artificial Intelligence. It will also promote contacts between participating students and provide information on careers opportunities in academia, research and industry. Moreover, tutorials from experienced researchers are planned as well as a social programme including some sports event. Some financial support for travel and attendance are available to support some students attending CICM'08 and its Doctoral Programme. Application Ph.D. students at any level, working on a research topic related to the CICM'08 conferences (http://events.cs.bham.ac.uk/cicm08/ ) may apply for participation in the Doctoral Programme. Application documents shall be send to chris at ags.uni-sb.de and they should consist of: * A brief (max. 1 page) summary of the PhD topic * A short letter of recommendation from the supervisor * A statement whether the student applies for a grant or not On the basis of this information, the programme committee and the Junior Advisory Board will invite eligible students to participate in the Doctoral Programme and award financial support. Dates Application Deadline: June 19 Acceptance Notification: June 23 Programme Committee Christoph Benzmueller (Saarland University) Jacques Fleuriot (The University of Edinburgh) William Farmer (Master University) Mateja Jamnik (Cambridge University) Joerg Siekmann (DFKI Saarbruecken and Saarland University) Junior Advisory Board: Josef Baker (The University of Birmingham) Christine Mueller (Jacobs University Bremen) Marc Wagner (Saarland University) From michael.koester at tu-clausthal.de Thu Jun 5 14:28:23 2008 From: michael.koester at tu-clausthal.de (Michael =?utf-8?q?K=C3=B6ster?=) Date: Thu, 5 Jun 2008 14:28:23 +0200 Subject: subscribe Message-ID: <200806051428.33537.michael.koester@tu-clausthal.de> -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : signature.asc Dateityp : application/pgp-signature Dateigröße : 835 bytes Beschreibung: This is a digitally signed message part. URL : From michael.koester at tu-clausthal.de Thu Jun 5 14:33:08 2008 From: michael.koester at tu-clausthal.de (Michael =?iso-8859-1?q?K=F6ster?=) Date: Thu, 5 Jun 2008 14:33:08 +0200 Subject: Confirmation Request (1257575350) In-Reply-To: References: Message-ID: <200806051433.09418.michael.koester@tu-clausthal.de> Am Donnerstag 05 Juni 2008 14:28:38 schrieben Sie: > 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: 1257575350, > 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 -- Michael Köster Department of Informatics Clausthal University of Technology Am Regenbogen 15 D-38678 Clausthal-Zellerfeld Germany Phone: +49-(0)5323-72 7190 Mail: michael.koester at tu-clausthal.de -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : signature.asc Dateityp : application/pgp-signature Dateigröße : 835 bytes Beschreibung: This is a digitally signed message part. URL : From c.mueller at jacobs-university.de Fri Jun 6 14:48:44 2008 From: c.mueller at jacobs-university.de (Christine =?ISO-8859-1?Q?M=FCller?=) Date: Fri, 06 Jun 2008 14:48:44 +0200 Subject: Call for Participation to SCooP Message-ID: <1212756524.7638.5.camel@battlestar> (apologies for cross-postings) 2nd Workshop on Scientific Communities of Practice (SCooP) on June 27th 2008 at Jacobs University Bremen. http://jem-thematic.net/seminar/scoop2008 CALL FOR PARTICIPATION Come join us for the 2nd Workshop on Scientific Communities of Practice (SCooP) on June 27th at the Jacobs University Bremen. We are very proud to announce our invited speakers: David Chavalarias, researcher at the Paris Ile-de-France Complex Systems Institute (http://iscpif.fr) focusing on social cognition and social systems modeling. His talk will be about reconstructing and representing the evolution of a field of science at different levels by extracting structure from a large publication corpus of the complex systems community. A series of methods as well as visualization will be presented. Florian Rabe, Ph.D. at the Jacobs University Bremen will give an overview over the history of logic and the foundations of mathematics and analyzes it from the point of view of communities of practice. This year's exciting program includes talks in the following fields: * The Power of Semantic Markup for CoP services such as the propagation of changes and visualization of interrelation of a CoP's repertoire * Wiki surveys and prototypes for Capturing and Refactoring CoP knowledge as well as to facilitate participation * User group modeling to facilitate intelligent tutoring * Authoring and Management tools for CoPs NOW IT IS UP TO YOU - REGISTRATION IS OPEN NOW - Please register at http://jem-thematic.net/seminar/scoop2008 (bottom of the page; you need to log in to see the registration field) Registration fee is 10 Euros. Contact c.mueller at jacobs-university.de for further questions. - FURTHER LINKS - * SCooP Mailing List: http://lists.jacobs-university.de/mailman/listinfo/project-scoop * SCooP Interest Group at http://jem-thematic.net/sig/scoop The workshop is funded by the Joining Educational Mathematics Network http://jem-thematic.net/ From csoares at fep.up.pt Fri Jun 6 17:18:43 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Fri, 06 Jun 2008 16:18:43 +0100 Subject: [Fwd: Paper Submission Deadline of ICTAI 2008 is extended to June 23] Message-ID: <48495553.5030201@fep.up.pt> -------- Original Message -------- Subject: Paper Submission Deadline of ICTAI 2008 is extended to June 23 Date: Wed, 28 May 2008 13:41:39 -0700 From: soon.chung at wright.edu To: csoares at fep.up.pt Dear Dr. Soares, The paper submission deadline of the Int'l Conference on Tools with Artificial Intelligence (ICTAI 2008) is extended to June 23, as specified on the conference website at: http://dblab.cs.wright.edu/ictai2008/ We request you to consider submitting papers, and we’d like to ask you to publicize the conference as much as possible among your colleagues in related fields. As we informed you before, you can access your account created to perform paper reviews at the following URL of the START Conference Manager: https://www.softconf.com/starts/ICTAI2008/ If you haven’t received your username and password for this site yet, click on the following URL: https://www.softconf.com/starts/ICTAI2008/login/scmd.cgi?scmd=getPassword&_Xemail=csoares at fep.up.pt Then, your account access information will be e-mailed to you. Thank you very much for your consideration and help. Best regards, Prof. Soon M. Chung Dept. of Computer Science and Engineering Wright State University Dayton, Ohio 45435 USA (office) 937-775-5119 soon.chung at wright.edu www.cs.wright.edu/~schung From csoares at fep.up.pt Fri Jun 6 17:20:39 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Fri, 06 Jun 2008 16:20:39 +0100 Subject: CORRECTED [Fwd: Paper Submission Deadline of ICTAI 2008 is extended to June 23] Message-ID: <484955C7.9000009@fep.up.pt> Please replace the previous message with this one. Best regards, Carlos The paper submission deadline of the Int'l Conference on Tools with Artificial Intelligence (ICTAI 2008) is extended to June 23, as specified on the conference website at: http://dblab.cs.wright.edu/ictai2008/ From calvanese at inf.unibz.it Sat Jun 7 02:46:36 2008 From: calvanese at inf.unibz.it (Diego Calvanese) Date: Sat, 7 Jun 2008 02:46:36 +0200 Subject: PhD positions at KRDB Centre - Free Univ. of Bozen-Bolzano, Italy Message-ID: ====================================================== CALL FOR INTEREST PhD opportunities at the KRDB Research Centre Faculty of Computer Science Free University of Bozen-Bolzano, Italy ====================================================== The Faculty of Computer Science of the Free University of Bozen-Bolzano (Italy) offers regular openings for studentships for its PhD program. Up-to-date information about how to apply for the PhD program and the studentship - including deadlines, number of positions and necessary documents - can be found in the university PhD web page (see "Public Competition Announcement for PhD courses - 24th cycle") and in the faculty PhD web page . The grant amounts roughly to 45,000 Euro over the three years of the PhD. Substantial extra funding is available for participation in international conferences, schools, and workshops. The faculty of Computer Science and its PhD program are entirely based on the English language. RESEARCH TOPICS The KRDB Research Centre for Knowledge and Data of the faculty of Computer Science invites applicants to the PhD program to get in touch with the research group, in order to have a better understanding of the possible research activities in which prospective students may be involved. Relevant research topics in the centre are the following: * Computational Logic and Deductive Databases * Computational Logic and Constraint Programming * Data and Information Integration * Description Logics and Ontology Languages * Efficient Reasoning Algorithms for Description Logics * Intelligent Access to Web Resources * Logic Based Approaches to Natural Language Understanding * Logic-Based Modelling of Biological Knowledge * Natural Language Processing * Ontology Development and Evaluation * P2P Database Integration * Query Answering in Distributed Environments * Semistructured Data Management * Temporal Logics and Temporal Databases Other research topics are listed in the personal web pages of the members of the KRDB Centre, see . The research activities in the KRDB research centre require good knowledge of Logic and of Foundations of Databases, and some knowledge of Artificial Intelligence and of Knowledge Representation. Good knowledge of English is also preferred. THE KRDB RESEARCH CENTRE In recent years, knowledge and data base applications have progressively converged towards integrated technologies which try to overcome the limits of each single discipline. To be useful in realistic applications, a modern knowledge representation and reasoning system must be able to handle large data sets, and to provide expressive query languages. On the other hand, the information stored on the Web, in digital libraries, and in data warehouses is now very complex and with deep semantic structures, thus requiring more intelligent modelling languages and methodologies, and reasoning services on those complex representations to support design, management, flexible access, and integration. The KRDB Research Centre was founded in 2002, and it now comprises 12 research staff and 9 PhD students. The centre aims at being an international centre of excellence in basic and applied research on KRDB technologies and at proposing to selected enterprises innovative ideas and technologies based on the developed research. The KRDB centre participated in national and international projects, it is currently involved in two European projects and three European Networks of Excellence, and it is a member of the Advisory Committee of the World Wide Web Consortium (W3C). The international prestige of the centre is evidenced by the participation of its members as conference and PC chairs, editors of international journals, invited speakers at international events, and by their publication score in international journals and conferences. CONTACTS To get in contact with the KRDB Research Centre, send an email to: Prof. Diego Calvanese Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani, 3 I-39100 Bolzano, Italy Email: calvanese at inf.unibz.it Phone: +39-0471-016-160 Fax: +39-0471-016-009 To get in touch with the current PhD students, see . From mdrozda at sim.uni-hannover.de Fri Jun 6 19:06:19 2008 From: mdrozda at sim.uni-hannover.de (Martin Drozda) Date: Fri, 06 Jun 2008 19:06:19 +0200 Subject: subscribe Message-ID: <48496E8B.10200@sim.uni-hannover.de> From sadighim at gmail.com Sun Jun 8 12:01:36 2008 From: sadighim at gmail.com (Mohsen Sadighi) Date: Sun, 8 Jun 2008 03:01:36 -0700 Subject: WARNING! (3142569372) In-Reply-To: References: Message-ID: On 6/7/08, 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: 3142569372, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mdrozda at sim.uni-hannover.de Fri Jun 6 19:32:46 2008 From: mdrozda at sim.uni-hannover.de (Martin Drozda) Date: Fri, 06 Jun 2008 19:32:46 +0200 Subject: Confirmation Request (1226013265) In-Reply-To: References: Message-ID: <484974BE.3010000@sim.uni-hannover.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: 1226013265, > 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 sadighim at gmail.com Sun Jun 8 18:04:17 2008 From: sadighim at gmail.com (Mohsen Sadighi) Date: Sun, 8 Jun 2008 09:04:17 -0700 Subject: Confirmation Request (2516455161) In-Reply-To: References: Message-ID: On 6/8/08, 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: 2516455161, > 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 kostas at cs.rhul.ac.uk Sun Jun 8 23:33:39 2008 From: kostas at cs.rhul.ac.uk (Kostas Stathis) Date: Sun, 08 Jun 2008 22:33:39 +0100 Subject: 1st CFP: Thematic Issue on Algorithmic Reinforcement Learning Message-ID: <484C5033.9040704@cs.rhul.ac.uk> [ Apologies for cross-posting] Call For Papers: Thematic issue on "Algorithmic Reinforcement Learning" Journal of Algorithms: Cognition, Informatics and Logic, Elsevier Kostas Stathis, Artur d’Avilla Garcez, Robert Givan (Guest Editors) Url: http://www.cs.rhul.ac.uk/~kostas/arl/cfp.html This thematic issue of the Journal of Algorithms seeks to celebrate the increasingly multidisciplinary nature of reinforcement learning and, in line with the Journal's manifesto, it proposes to study and present the subject from an algorithmic perspective that we refer to as Algorithmic Reinforcement Learning (ARL). It is hoped that in this way this thematic volume will serve as a reference in the area and will help organize and promote the research across sub-areas. We welcome the submission of innovative and mature results in specifying, developing and experimenting with ARL. Approaches that relate, compare and contrast, combine or integrate different areas of reinforcement learning are particularly encouraged. Papers describing innovative developments in the area are also encouraged. Areas of interest include, but are not limited to the following topics: • Multi-agent reinforcement learning • Relational reinforcement learning • Neuro-symbolic reinforcement learning • Bayesian reinforcement learning • Reinforcement learning and logic/ILP • Reinforcement learning with background knowledge • Robust reinforcement learning • Reinforcement learning in game theory and bounded rationality • Applications Important Dates & Submission details Submission Deadline: 1st Oct 2008 Acceptance Notice: 20th Jan 2009 Final Manuscript: 1st March 2009 Expected Publication Date: Summer 2009 -- Kostas Stathis kostas.stathis at rhul.ac.uk Department of Computer Science +44(0)1784 443698 (Tel) Royal Holloway, University of London +44(0)1784 439786 (Fax) Egham, Surrey TW20 0EX, UK http://www.cs.rhul.ac.uk/~kostas From ilona.zaremba at sti2.at Mon Jun 9 12:42:09 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Mon, 09 Jun 2008 12:42:09 +0200 Subject: Call for Participation: 2nd Asian Semantic Web School (ASWS2008), Bangkok, Thailand, Dec 1-6, 2008 Message-ID: <484D0901.9020202@sti2.at> ******************************************************************** * 2nd Asian Semantic Web School (ASWS2008) * * Jointly located with ASWC2008 * * Bangkok, Thailand, Dec 1-6, 2008 (http://www.asws2008.org/) * ******************************************************************** The 2nd Asian Semantic Web School aims to teach its attendees how to apply semantic technologies in their own projects and environments. The school is targeted at young researchers and other interested parties affiliated to academia or industry. It is particularly our goal to bring together international experts in the field and to invite the leading research groups in Korea to be part of the program. Course Topics -------------------------------------------------------------------- Presentations by international experts in the field will introduce the core technologies of semantic computing: - Standard knowledge representation languages such as Resource Description Framework (RDF) or Web Ontology Language (OWL), including tools for exploiting their reasoning capabilities. - Methodologies, methods and tools to build and manage ontologies. - The current directions in Semantic Web Services, in particular the Web Service Modeling Ontology (WSMO) and the related Web Service Modeling Language (WSML) and Web Service Execution Environment (WSMX). Tutorials, hands-on sessions and exercices -------------------------------------------------------------------- Tutorials, hands-on sessions and exercises will provide additional insights into the aforementioned topics and guide the students in applying the technologies in specific situations. These learning modules will be complemented by invited talks which report on the deployment of semantic technologies in real-world business scenarios, handed over by representatives of well-known international companies. The participants will be involved in projects, in which they will develop prototypical Semantic Web applications in small teams on the basis of a pre-defined scenario specification. Co-located events -------------------------------------------------------------------- The school will be co-located with the Asian Semantic Web Conference (ASWC2008) in Bangkok, Thailand. It will take place one week prior to the main conference. Important Dates -------------------------------------------------------------------- If you want to participate in ASWS2008, please register at http://www.asws2008.org/index.php?id=6 and fill in the required information. The deadline for submission is July, 31 and we will notify you by August, 7. The successful applicants will be expected to pay the registration fee, 500 euros, before September, 30. The fee covers all tuition, teaching materials, hands-on sessions, use of computers, room and board, from Sunday evening (November, 30) to Saturday lunch (December, 6), an excursion, and a social dinner. * June, 9: Application opens * July, 31: Application closes * August, 7: Notification of acceptance * August, 7: Registration opens * September, 30: Registration fees paid * November, 30: Arrival of participants * December, 1: First day of school * December, 6: Last day of the school * December, 8: ASWC 2008 Organizing Committee --------------------------------------------------------------------- Elena Simperl, STI Innsbruck, University of Innsbruck, Austria Marco Ronchetti, University of Trento, Italy Vilas Wuwongse, Asian Institute of Technology, Thailand Invited Speakers and Tutors (to be completed) --------------------------------------------------------------------- Peter Haase, Institute AIFB, University of Karlsruhe Michael Kerrigan, STI Innsbruck Devika P. Madalli, Indian Statistical Institute Peter Mika, Yahoo!Research Daniel Olmedilla, L3S Research Center & Hannover University Marco Ronchetti, University of Trento Pavel Shvaiko, University of Trento Elena Simperl, STI Innsbruck Katharina Siorpaes, STI Innsbruck Denny Vrandecic, Institute AIFB, University of Karlsruhe Sponsoring ---------------------------------------------------------------------- The Asian Semantic Web School is supported by the EASTWEB project (http://latemar.science.unitn.it/EASTWEB). A limited amount of fellowships is available for Asian students. The fellowships cover the school's fees. Interested students should apply sending their CV per email to Marco Ronchetti at marco.ronchetti at unitn.it by July, 31, and will be notified by August, 7. Contact ---------------------------------------------------------------------- For any further information, please visit http://www.asws2008.org/ or send an email to Elena Simperl at elena.simperl at sti2.at. From soleimani_730 at yahoo.com Mon Jun 9 04:06:23 2008 From: soleimani_730 at yahoo.com (Masoud Soleimani) Date: Sun, 8 Jun 2008 19:06:23 -0700 (PDT) Subject: subscribe Message-ID: <270228.97153.qm@web31813.mail.mud.yahoo.com>   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From soleimani_730 at yahoo.com Mon Jun 9 04:59:47 2008 From: soleimani_730 at yahoo.com (Masoud Soleimani) Date: Sun, 8 Jun 2008 19:59:47 -0700 (PDT) Subject: Confirmation Request (1022850411) In-Reply-To: Message-ID: <838258.94437.qm@web31807.mail.mud.yahoo.com> --- On Sun, 6/8/08, event administration <event-subscribe at in.tu-clausthal.de> wrote: From: event administration <event-subscribe at in.tu-clausthal.de> Subject: Confirmation Request (1022850411) To: "Masoud Soleimani" <soleimani_730 at yahoo.com> Date: Sunday, June 8, 2008, 10:13 PM This is an automated message from the <event at in.tu-clausthal.de> mailing list manager Somebody (probably you) have requested the subscribe operation for your <soleimani_730 at yahoo.com> 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: 1022850411, the reply is directed to <event-subscribe at in.tu-clausthal.de>, and the 'From' address of your reply is <soleimani_730 at yahoo.com>. If you do not want to confirm the requested operation, simply do nothing All requests about this mailing list should be sent to <event-request at in.tu-clausthal.de> -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ilona.zaremba at sti2.at Mon Jun 9 13:13:44 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Mon, 09 Jun 2008 13:13:44 +0200 Subject: [Fwd: Call for Posters: 3rd Asian Semantic Web Conference, Pathumthani, Thailand] Message-ID: <484D1068.7050603@sti2.at> ======================================================================= Call for Posters: 3rd Asian Semantic Web Conference ======================================================================= 08 - 11 December 2008 Pathumthani (Thailand) http://aswc2008.ait.ac.th The Asian Semantic Web conference is meanwhile recognized as the yearly conference on theoretical foundations, technological building blocks and practical applications of semantic technologies on the Asian continent. Targeted at both academia and industry, the conference will present the latest research and development of the Semantic Web and its related technologies. It will bring together researchers in relevant disciplines such as artificial intelligence, knowledge modeling, logic, databases, social networks, Web services, distributed computing, Web engineering, information systems, natural language processing, multimedia, and human-computer interaction. As integral part of this conference the poster track is an opportunity for researchers and developers to present late-breaking achievements, ongoing projects, and innovative early ideas. It should provide authors and attendees a forum for exchanging experiences and establishing potential future collaborations. We welcome different types of submissions, ranging from descriptions of completed research and work in progress to more technical topics and practical applications. Submissions Authors must submit a two-page abstract formatted according to the information for LNCS authors. The topics of the poster track are fully aligned with the program of the main conference and include: Semantic Web Technologies * Query Languages and Optimization for the Semantic Web * Rule Languages, Logics and Scalable Reasoning on the Semantic Web * Tools and Methodologies for Large Scale Semantic Web Data - Management * Machine learning and human language technologies for the Semantic Web * Semantic Web Content Creation * Database Technologies for the Semantic Web Semantic Web Services * Languages, Tools and Methodologies for Semantic Web Services (description, discovery, invocation, composition, choreography) * Semantic Descriptions of Enterprise Processes * Semantics Applied to Mashups and Adhoc Service Aggregations Semantic Web Applications * Applications of Semantic Web (e-Business, e-Science, e-Health, e-Government, e-Learning, e-Culture) * Case Studies of Semantic Web Applications * Personalization and User Modeling * Semantics in P2P Computing and the Grid * Semantic Web-based Knowledge Management * Semantic Web, Multimedia, and Human Computer Interaction Social Semantic Web * Semantic Web and Social Networks and Processes * Semantic Web Technologies for Collaboration and Cooperation Trust, Provenance, Security, Privacy, Identity and the Semantic Web Ontologies * Ontology Modeling * Ontology Management (creation, evolution, evaluation) * Ontology Alignment (mapping, matching, merging, mediation and reconciliation) * Ontology Learning and Metadata Generation * Ontology Searching and Ranking Submissions will be evaluated for acceptability by a committee of independent reviewers. Decisions about acceptance will be based on relevance to the call, originality, potential impact and quality of the presentation. Full papers rejected in the other tracks, notably the research track of ASWC2008, will not automatically be considered for the poster track. A separate poster submission must be made. A poster can be provided in addition to a paper accepted for presentation in the research track or can be used to present work that was insufficiently mature to be accepted there. Submission and reviewing of posters will be electronic by sending an email to the poster chair elena.simperl at sti2.at. Posters must be submitted in PDF (Adobe's Portable Document Format) format. Papers that exceed the 2 pages limit, do not follow the LNCS guidelines or are not submitted as PDF documents will be automatically rejected without a review. Important Dates Submission of poster descriptions: 15 September, 2008 Notification: 30 September, 2008 Camera Ready: 15 October, 2008 ASWC 2008 Poster Chair: Elena Simperl, Semantic Technology Institute STI Innsbruck, University of Innsbruck, Austria ASWC 2008 Poster Programme Committee (to be extended) Raul Garcia-Castro, UPM Tom Heath, Talis Information Ltd Reto Krummenacher, STI Innsbruck Adrian Mocan, STI Innsbruck Malgorzata Mochol, FU Berlin Barry Norton, Open University Daniel Oberle, SAP Research Rob Shearer, Oxford University Max Völkel, Universität Karlsruhe (TH) Denny Vrandecic, Universität Karlsruhe (TH) -- Ilona Zaremba STI Innsbruck University of Innsbruck Technikerstrasse 21a A-6020 Innsbruck Tel.: +43/512/507/96851 Fax +43/512/507/9872 E-mail: ilona.zaremba at sti2.at From ilona.zaremba at sti2.at Mon Jun 9 13:52:25 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Mon, 09 Jun 2008 13:52:25 +0200 Subject: Call for Papers: Modeling, Design, and Analysis for Service-oriented Architectures Workshop (mda4soa'08) Message-ID: <484D1979.40409@sti2.at> ***Apologies for multiple postings*** ---------------------------------------------------------------------- Modeling, Design, and Analysis for Service-oriented Architectures Workshop; 3rd edition (mda4soa'08) ---------------------------------------------------------------------- ==== SUBMISSION DEADLINE: 13 June 2008 ==== http://events.deri.at/mda4soa2008/ co-located with the 12th Enterprise Computing Conference (EDOC 2008) 17 September 2008, München , Germany GENERAL OVERVIEW A new paradigm – service-orientation – is currently emerging for distributed computing and e-business processing; it has evolved from object-oriented and component-based computing to enable building agile networks of collaborating business applications distributed within and across organizational boundaries. This new paradigm utilizes services (autonomous platform-independent computational elements that can be described, published, discovered and accessed over the Internet using standard protocols) as fundamental elements for developing applications/solutions; services will be important for customers and not the specific software or hardware component that is used to implement the services. In this context, services become the next level of abstraction in the process of creating systems that would enable automation of e-businesses. This paradigm shift is changing the way the computer software is developed and used (designed, architected, delivered, consumed, and analysed), and this way of reorganizing software applications and infrastructure into a set of interacting services is usually referred to as Service-oriented Architecture s (SOA). In recent years, various forms of service-oriented architectures have appeared; amongst them, Web services, Grid services, Semantic Web Services, and e-Services are the most important. Although they share some of the principles of service-oriented architectures, they differ in many other aspects, which is an undesirable situation in the context of service-oriented architectures. Since standard protocols are a basic principle of SOA, this undesirable situation is partly due also to the fact that there are currently no mature methodologies and techniques to support analysis for service-oriented architectures. Moreover, all these forms of service-oriented architectures have developed different conceptual models, resulting in different methodologies for modelling and designing service-oriented architectures. In this context, this workshop aims to tackle the research problems (as well as practical experiences) around methods, concepts, models, languages and technology that enable computing in service-oriented environments. Of particular interest are the architectural, technical, and developmental foundations of service-oriented architectures, and showing how they combine synergistically to enable distributed computing on the scale required by today's Internet-connected enterprise. The focus of the workshop is broader than, but includes, the OMG MDA (Model Driven Architecture) approach for service oriented architectures. MDA was for the first international workshop, mda4soa'06, used as short for Modeling, Design and Analysis. The workshop aims to bring together researchers and industry practitioners (e.g. leading modelers, architects, system vendors, open-source projects, developers, and end-users) addressing many of these issues (including recent developments in tools and techniques, and real-world implementations of service-oriented distributed applications), and promote and foster a greater understanding of how service-oriented architectures can assist business to business and enterprise application integration, thus helping people develop and manage business processes more efficiently and effectively. TOPICS The following indicates the general focus of the workshop. However, related contributions are welcome as well. * case studies for service-oriented architectures and systems * analysis methodologies for service-oriented architectures and systems * languages and methods for service-oriented architectures * specification of service-oriented architecture * MDA (OMG Model Driven Architecture) for service-oriented architectures * DSL (Domain Specific Languages) for service-oriented architectures * modeling and simulation of service-oriented architectures * verification and validation of service-oriented architectures * evaluation of service-oriented architectures * analysis and design of mobile service-oriented architectures * patterns in modelling, design, and analysis for service-oriented architectures * guidelines for developing service-oriented applications * techniques for integrating service-oriented architectures * semantic aspects and ontologies for service-oriented architectures * formal models for service-oriented architectures; reasoning with service-oriented architectures * quality of services (QoS) analysis and modelling in service-oriented architectures * services level agreements (SLAs) modelling and negotiation in service-oriented architectures * analysis and modelling of security, privacy, and trust in service-oriented architectures * policy-based service-oriented architectures * methods for migrating legacy systems to service-oriented architectures * discovery, composition, execution, monitoring, and mediation in service-oriented architectures * adaptability and recovery strategies in service-oriented architectures * models for governance in service-oriented architectures * specifications and models for service-oriented architectures: Web services, Grid services, Semantic Web Services, and e-Services * standards for modeling, specification, design and analysis of service-oriented architectures * tools, environments and factories for modelling, design and analysis of service-oriented architectures WORKSHOP FORMAT AND ATTENDANCE The program will occupy a full day, and will include presentations of papers selected from the full papers category (see 'submissions' below). Please note that at least one author of each accepted submission must attend the workshop. The EDOC 2008 conference formalities are applied for fees and respective organizational aspects. Submission of a paper is not required for attendance at the workshop. However, in the event that the workshop cannot accommodate all who would like to participate, those who have submitted a paper (in any category) will be given priority for registration. SUBMISSIONS The workshop invites different types of contributions: * Papers * Demos * Posters / Position papers Papers:The papers should not exceed 8 pages and should have the IEEE layout. Demos: Detailed description plus sufficient number of screenshots or a video of the demo are required. For paper-based submissions, please follow the IEEE layout. Please note that at the workshop itself no technical support is provided except possibly Internet connection and power (to be confirmed). Posters/Position papers: The posters/position papers should not exceed 4 pages and should have the IEEE layout. All contributions will be peer reviewed by a program committee that will incorporate well recognized experts in the area of service-oriented architectures. All submissions should be formatted in the IEEE layout, and should be submitted in electronic format using the link: http://www.easychair.org/conferences/?conf=MDA4SOA2007. All accepted full papers and all position papers of attendees will be published in the proceedings of the workshop. Workshop proceedings will be published with IEEE Computer Society Press and will be available at the workshop. IMPORTANT DATES * Paper submission deadline: 13 June 2008 * Paper acceptance notification: 18 July 2008 * Camera ready of papers: 28 July 2008 * Workshops day: 17 September 2008 ORGANIZING COMMITTEE Jim Amsden, IBM, USA Michael Bell, Methodologies Corporation, USA Arne J. Berre, SINTEF, Norway Dumitru Roman, Semantic Technologies Institute, Austria PROGRAM COMMITTEE Mikio Aoyama, Nanzan University, Japan Ali Arsanjani, IBM, USA Siegfried Benkner, University of Vienna, Austria Thomas Erl, SOA Systems Inc., Canada Jeffrey A. Estefan, Jet Propulsion Laboratory, USA Juan Miguel Gómez, Universidad Carlos III de Madrid, Spain Roy Grønmo, SINTEF, Norway Sung-Kook Han, Wonkwang University, South Korea Martin Henkel, Royal Institute of Technology, Sweden Martin Hepp, STI Innsbruck, Austria Rania Khalaf, IBM, USA Jacek Kopecký, STI Innsbruck, Austria Ken Laskey, MITRE, USA Yen-Jen Lee, Google, USA Lin Liu, Tsinghua University, China Mihhail Matskin, Royal Institute of Technology, Sweden Francis McCabe, Fujitsu Laboratories of America Limited, USA Barry Norton, Open University, UK Guadalupe Ortiz, University of Extremadura, Spain Stefano de Panfilis, Engineering, Italy Claus Pahl, Dublin City University, Ireland Cesare Pautasso, University of Lugano, Switzerland Brahmananda Sapkota, DERI, Ireland Anne-Marie Sassen, EU Commission, Belgium Ioan Toma, STI Innsbruck, Austria Aphrodite Tsalgatidou, NKUA, Greece Weider Yu, San Jose State University, USA Liang-Jie Zhang, IBM, USA Andrea Zisman, City University, UK From ilona.zaremba at sti2.at Mon Jun 9 14:07:10 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Mon, 09 Jun 2008 14:07:10 +0200 Subject: Call for Papers: International Workshop On Semantic Extensions to Middleware: Enabling Large Scale Knowledge Applications (SEMELS '08) Message-ID: <484D1CEE.1070201@sti2.at> ======================================================================== C A L L F O R P A P E R S ======================================================================== International Workshop On Semantic Extensions to Middleware: Enabling Large Scale Knowledge Applications (SEMELS '08) http://www.cs.rmit.edu.au/fedconf/index.html?page=semels2008cfp At the OnTheMove (OTM) Federated Conferences and Workshops http://www.cs.rmit.edu.au/fedconf/ November 9 - 14, 2008, Monterrey, Mexico ======================================================================== WORKSHOP INTRODUCTION AND OBJECTIVES ==================================== In large scale systems, data and program heterogeneity have been a classical problem, to which semantic technologies are often presented as a solution. The classical solution to non-semantic integration has been middleware systems, which provide functionality for data and process mediation, coordination and composition. As semantics become more of a part of the underlying data and process layers of large scale systems, extensions are also required in the middleware layer to not only support knowledge mediation and coordination but to provide new functionalities not previously possible due to the introduction of machine processability of the data and processes being integrated at the middleware. As knowledge is becoming more and more ubiquitous in the Internet, we expect millions, even billions of knowledge and service providers and consumers to interact, integrate and coordinate on the emerging, open Semantic Web just as today millions of clients exchange data and perform work over the existing Web infrastructure. This produces the need for scalable and dynamic systems that support collaborative work with distributed and heterogeneous knowledge. With this workshop we address the need to extend existing middleware layers with semantic technologies to support future knowledge-centred information systems and their Web-based collaboration with other systems, abstracted from data and process models. Such semantically extended middleware can be applied in any context which involves large scale knowledge-based collaboration, such as in the biomedical and life sciences field or emergency planning, as well as facilitate new forms of intelligent Web-scale coordination of processes (a step towards the Service Web) which are currently not envisioned precisely because such a semantically-capable middleware layer is not existent. We plan to dedicate one session to the application of semantic extensions of middleware to life science, healthcare or emergency management applications. In these application areas the use of semantic technologies shows some of the most advanced progress. Researchers in these domains deal with large scale data integration and service cooperation on all levels and stages of their work. This more application-driven view on the requirements and solutions to semantic middleware approaches allows for advanced insights in the work of related fields. This is an important issue on the way towards semantic extensions to middleware for large and complex networked knowledge systems. TOPICS AND APPLICATIONS ======================= We welcome original academia and industry papers or project descriptions that propose innovative approaches to extend middleware systems to support semantically-expressed data and processes. The topics of interest of this workshop include but are not limited to: * Extensions of existing middleware such as Web services, Grid systems, tuplespaces, message oriented middleware etc. with semantic technologies * Development and engineering of semantic extensions to middleware * Ontologies and metadata schemes for use with semantic extensions to capture aspects of middleware layer functionality * Reasoning approaches to efficiently support the functionality of semantic extensions * Scalable solutions to support large scale mediation, collaboration and coordination of heterogeneous data and processes * Practical experiences in using semantic extensions of middleware to realize large scale knowledge systems * Studies on the potential uptake of semantic extensions to current middleware and backwards compatibility * Semantic middleware solutions for life science, healthcare and emergency management * Experience reports on semantic approaches to large scale life science, healthcare and emergency management applications IMPORTANT DATES =============== Abstract Submission Deadline June 15, 2008 Paper Submission Deadline June 30, 2008 Acceptance Notification August 15, 2008 Camera Ready Due August 25, 2008 Registration Due August 25, 2008 OTM Conferences November 9 - 14, 2008 SUBMISSION AND PROCEEDINGS ========================== All submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of expression. All submissions must be in English. Submissions should be in PDF format and must not exceed 10 pages in the final camera-ready format. Detailed formatting instructions can be found at: http://www.springer.de/comp/lncs/authors.html The final proceedings will be published by Springer Verlag as LNCS. Failure to commit to presentation at the conference automatically excludes a paper from the proceedings. Papers submitted to SEMELS’08 must not have been accepted for publication elsewhere or be under review for another workshop or conference. Failure to comply with the formatting instructions for submitted papers will lead to the outright rejection of the paper without review. The paper submission site is located at: http://www.cs.rmit.edu.au/fedconf/semels/2008/papers/ ORGANIZERS ========== Elena Simperl, Semantic Technology Institute, University of Innsbruck, Austria Reto Krummenacher, Semantic Technology Institute, University of Innsbruck, Austria Lyndon Nixon, Dept. Computer Science, Free University Berlin, Germany Emanuele Della Valle, CEFRIEL - Politecnico di Milano, Italy Ronaldo Menezes, Florida Institute of Technology, Melbourne, FL, USA CONTACT ======= Reto Krummenacher University of Innsbruck (Semantic Technology Institute) Technikerstr. 21a, 6020 Innsbruck, Austria E reto.krummenacher at sti-innsbruck.at T +43 512 507 6452 F +43 512 507 9872 From Thomas.Lukasiewicz at kr.tuwien.ac.at Mon Jun 9 22:23:29 2008 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Mon, 09 Jun 2008 21:23:29 +0100 Subject: SUM 2008: LAST CALL FOR POSTERS AND DEMOS Message-ID: <484D9141.6000008@kr.tuwien.ac.at> LAST CALL FOR POSTERS AND DEMOS Second International Conference on Scalable Uncertainty Management (SUM 2008) October 1-3, 2008 Naples, Italy http://www.kr.tuwien.ac.at/staff/lukasiew/sum08/ Originally, managing uncertainty and inconsistency has especially been explored in Artificial Intelligence. During the recent years, especially with the availability of massive amounts of data in different repositories and the possibility of integrating and exploiting these data, technologies for managing uncertainty and inconsistency have started to play a key role in databases and the Web. Some of the most prominent such technologies are probably the ranking algorithms standing behind web search engines. Techniques for handling uncertainty and inconsistency are expected to play a similarly important role in the context of the Semantic Web. The annual International Conference on Scalable Uncertainty Management (SUM) has grown out of this very large interest on managing uncertainty and inconsistency in databases, the Web, the Semantic Web, and AI. It aims at bringing together all those interested in the management of large volumes of uncertainty and inconsistency, irrespective of whether they are in databases, the Web, the Semantic Web, or in AI. The very successful First International Conference on Scalable Uncertainty Management (SUM 2007) was held in Washington DC, USA, October 10-12, 2007 (see http://www.umiacs.umd.edu/conferences/sum2007/). The Second International Conference on Scalable Uncertainty Management (SUM 2008) will be held in Naples, Italy, October 1-3, 2008. Submissions are solicited in all areas of massive uncertainty and inconsistency, including (but not restricted to) the topics listed below: probability logic fuzzy logic annotated logic Bayesian models Markov models possibilistic logic paraconsistent logic semantics of uncertain data formal models of uncertain data reasoning with uncertain and inconsistent information managing uncertain and imprecise information spatio-temporal uncertainty management probabilistic databases inconsistent databases uncertainty and inconsistency in the Web uncertainty and inconsistency in the Semantic Web uncertain database algebras query optimization with uncertainty query caching for uncertain databases indexing methods for uncertainty uncertain aggregate queries uncertainty in view management skyline query processing top-k queries and ranking approximate query processing uncertainty in data integration and exchange uncertainty in data streams uncertainty in information retrieval data sharing and uncertainty approximate schema and ontology mapping similarity in ontology languages similarity search and extraction information extraction data mining and machine learning vision and uncertainty audio processing and uncertainty multimedia and uncertainty text and uncertainty mobile systems and uncertainty image, speech, multimedia, and text information retrieval mining image, speech, multimedia, and text data personalization and user preferences mining in social networks uncertainty and trust issues ranking in information retrieval matchmaking and negotiation recommender systems implemented systems commercial systems novel applications We especially want to encourage submissions from uncertainty and inconsistency management in databases, as well as from uncertainty and inconsistency handling in the Web and the Semantic Web. We seek both theoretical and practical works. PUBLICATION The proceedings will be published by Springer in the Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence (LNCS/ LNAI) series (http://www.springer.com/lncs/) and will be available at the conference. After the conference, we are also planning to bring out a special issue of a journal with selected papers from the conference. SUBMISSION OF POSTERS/DEMOS Submissions must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (see http://www.springer.com/ comp/lncs/Authors.html). The length should not exceed 4 pages for posters and 6 pages for system descriptions (for system demos at the conference). Posters and system descriptions should be clearly marked as such in the title and in the easychair submission system. Submissions which deviate substantially from these guidelines may be rejected without review. Submissions will especially be judged for originality and scientific quality. All accepted posters and system descriptions will be included in the proceedings. IMPORTANT DATES Poster/demo submission deadline: June 12, 2008 Accept/reject decisions: July 8, 2008 Camera ready posters/demos due: July 18, 2008 Last day for early registration fee: July 18, 2008 GENERAL CHAIR Antonio Picariello (University of Naples, Italy) PROGRAM CHAIRS Sergio Greco (University of Calabria, Italy) Thomas Lukasiewicz (Oxford University, UK; TU Vienna, Austria) PROGRAM COMMITTEE Chitta Baral (Arizona State University, USA) Leopoldo Bertossi (Carleton University, Canada) Bir Bhanu (University of California-Riverside, USA) Fabio Gagliardi Cozman (University of Sao Paulo, Brazil) Michael I. Dekhtyar (Tver State University, Russia) Debabrata Dey (University of Washington, USA) Juergen Dix (TU Clausthal, Germany) Francesco Donini (University of Tuscia, Italy) Didier Dubois (IRIT, France) Thomas Eiter (TU Vienna, Austria) Nicola Fanizzi (University of Bari, Italy) Filippo Furfaro (University of Calabria, Italy) Avigdor Gal (Technion, Israel) John Grant (Towson University, USA) Pascal Hitzler (University of Karlsruhe, Germany) Eyke Huellermeier (University of Marburg, Germany) Edward Hung (Hong Kong Polytechnic University) Anthony Hunter (University College London, UK) Gabriele Kern-Isberner (University of Dortmund, Germany) Christoph Koch (Cornell University, USA) Laks V.S. Lakshmanan (University of British Columbia, Canada) Nicola Leone (University of Calabria, Italy) Mounia Lalmas (Queen Mary, University of London, UK) Kathryn Blackmond Laskey (George Mason University, USA) Weiru Liu (Queen's University Belfast, UK) Serafin Moral (University of Granada, Spain) Simon Parsons (City University of New York, USA) Gabriella Pasi (University of Milan, Italy) Michael Pittarelli (State University of New York, USA) Henri Prade (IRIT, France) Andrea Pugliese (University of Calabria, Italy) Luc de Raedt (K.U. Leuven, Belgium) Emad Saad (Abu Dhabi University, UAE) Domenico Sacca (ICAR-CNR, Italy) Maria Luisa Sapino (University of Turin, Italy) Umberto Straccia (ISTI-CNR, Italy) Heiner Stuckenschmidt (University of Mannheim, Germany) V.S. Subrahmanian (University of Maryland, USA) Maurice van Keulen (University of Twente, The Netherlands) Peter Vojtas (Charles University, Czech Republic) Nic Wilson (University College Cork, Ireland) Carlo Zaniolo (UCLA, USA) INVITED SPEAKERS Prabhakar Raghavan (Yahoo! Research, USA) Dan Suciu (University of Washington, USA) TUTORIALS Jan Chomicki (University at Buffalo, USA) FURTHER INFORMATION For further information refer to the SUM 2008 web site at http://www.kr.tuwien.ac.at/staff/lukasiew/sum08/ From iclp08pub at cs.nmsu.edu Mon Jun 9 22:51:50 2008 From: iclp08pub at cs.nmsu.edu (ICLP 08) Date: Mon, 9 Jun 2008 14:51:50 -0600 Subject: 2008 ICLP Doctoral Consortium Message-ID: <200806092051.m59Kpoh8008100@pippo.cs.nmsu.edu> ********************************************************************** International Conference on Logic Programming Fourth Doctoral Consortium Udine, Italy December 9-13, 2008 http://www.cs.kuleuven.be/~toms/DC2008/ ----------- The 2008 ICLP Doctoral Consortium (DC) is the fourth international doctoral consortium to be offered as part of the International Conference on Logic Programming. The DC will take place during ICLP 2008 in Udine, Italy. The Doctoral Consortium is designed for doctoral students working in areas related to logic programming, as well as Master's students interested in pursuing doctoral degrees in the field of logic programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedback from peers as well as world-renowned experts in the field. The Doctoral Consortium will also offer invited speakers and panel discussions. ------------ The Doctoral Consortium is held the during the regular activities of the ICLP 2008 Conference. The aims of the Doctoral Consortium are: * To provide doctoral students working in the field of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback * To provide students with relevant information about important issues for doctoral candidates and future academics * To develop a supportive community of scholars and a spirit of collaborative research. * To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to): * Theoretical Foundations of Logic and Constraint Logic Programming * Sequential and Parallel Implementation Technology * Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification * Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) * Innovative Applications of Logic Programming The Consortium allows participants to interact with established researchers and with other students, through presentations, question- answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. The Doctoral Consortium will be held on a date to be determined, in parallel with the regular activities of the ICLP 2008 conference; the ICLP conference will run from December 9th to December 9th, 2008. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2008 conference proceedings. Discussants: Several renowned faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. The list of the discussants will be published at a later date. -------- Detailed submission instructions can be found in the ICLP 2008 Doctoral Consortium web site, at: http://www.cs.kuleuven.be/~toms/DC2008/ -------- Important Dates Submission Deadline: August 25, 2008 (strict) Acceptance Notification: September 5, 2008 Last Date to Update Research Summary: September 15, 2008 (strict) Doctoral Consortium: December 9-13, 2008 (TBA) ICLP 2008 Conference: December 9-13, 2008 ------------ Doctoral Consortium Chairs: David S. Warren Tom Schrijvers Department of Computer Science Departement of Computer Science State University of New York Catholic University of Leuven Stony Brook, NY, USA Leuven, Belgium warren _a_t_ cs.sunysb.edu tom.schrijvers _a_t_ cs.kuleuven.be From ilona.zaremba at sti2.at Mon Jun 9 13:14:32 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Mon, 09 Jun 2008 13:14:32 +0200 Subject: Call for Participation: 2nd Asian Semantic Web School (ASWS2008), Bangkok, Thailand, Dec 1-6, 2008 In-Reply-To: References: <484D0901.9020202@sti2.at> Message-ID: <484D1098.3060401@sti2.at> Thank you for contacting me. I have resend the call once again. Regards, Ilona Administrator of mailing lists of CIG wrote: > Dear Mrs. Zaremba, > when sorting spam out of the Event at CIG list approval folder I mistakenly > deleted one of your announcements. I am sorry for this :-(. > > In the case you would like to resend it, please feel free to do so. > > Best regards, > > Peter Novak, Event at CIG administrator and moderator. > > > On Mon, 09 Jun 2008 12:42:09 +0200 > Ilona Zaremba wrote: >> ******************************************************************** >> * 2nd Asian Semantic Web School (ASWS2008) * >> * Jointly located with ASWC2008 * >> * Bangkok, Thailand, Dec 1-6, 2008 (http://www.asws2008.org/) * >> ******************************************************************** >> >> The 2nd Asian Semantic Web School aims to teach its >> attendees how to apply semantic technologies in their own projects >> and environments. The school is targeted at young researchers and >> other interested parties affiliated to academia or industry. It is >> particularly our goal to bring together international experts in the >> field and to invite the leading research groups in Korea to be part >> of the program. >> >> Course Topics >> -------------------------------------------------------------------- >> Presentations by international experts in the field will >> introduce the core technologies of semantic computing: >> >> - Standard knowledge representation languages such as Resource >> Description Framework (RDF) or Web Ontology Language (OWL), including >> tools for exploiting their reasoning capabilities. >> - Methodologies, methods and tools to build and manage ontologies. >> - The current directions in Semantic Web Services, in particular the >> Web Service Modeling Ontology (WSMO) and the related Web Service >> Modeling Language (WSML) and Web Service Execution Environment (WSMX). >> >> Tutorials, hands-on sessions and exercices >> -------------------------------------------------------------------- >> Tutorials, hands-on sessions and exercises will provide additional >> insights into the aforementioned topics and guide the students in >> applying the technologies in specific situations. These learning >> modules will be complemented by invited talks which report on the >> deployment of semantic technologies in real-world business scenarios, >> handed over by representatives of well-known international companies. >> The participants will be involved in projects, in which they will >> develop prototypical Semantic Web applications in small teams on the >> basis of a pre-defined scenario specification. >> >> Co-located events >> -------------------------------------------------------------------- >> The school will be co-located with >> the Asian Semantic Web Conference (ASWC2008) in Bangkok, Thailand. >> It will take place one week prior to the main conference. >> >> Important Dates >> -------------------------------------------------------------------- >> If you want to participate in ASWS2008, please register at >> http://www.asws2008.org/index.php?id=6 and fill in the required >> information. >> The deadline for submission is July, 31 and we will notify you by >> August, 7. The successful applicants will be expected to pay the >> registration fee, 500 euros, before September, 30. The fee covers all >> tuition, teaching materials, hands-on sessions, use of computers, >> room and board, from Sunday evening (November, 30) to Saturday lunch >> (December, 6), an excursion, and a social dinner. >> >> * June, 9: Application opens >> * July, 31: Application closes >> * August, 7: Notification of acceptance >> * August, 7: Registration opens >> * September, 30: Registration fees paid >> * November, 30: Arrival of participants >> * December, 1: First day of school >> * December, 6: Last day of the school >> * December, 8: ASWC 2008 >> >> >> Organizing Committee >> --------------------------------------------------------------------- >> Elena Simperl, STI Innsbruck, University of Innsbruck, Austria >> Marco Ronchetti, University of Trento, Italy >> Vilas Wuwongse, Asian Institute of Technology, Thailand >> >> Invited Speakers and Tutors (to be completed) >> --------------------------------------------------------------------- >> Peter Haase, Institute AIFB, University of Karlsruhe >> Michael Kerrigan, STI Innsbruck >> Devika P. Madalli, Indian Statistical Institute >> Peter Mika, Yahoo!Research >> Daniel Olmedilla, L3S Research Center & Hannover University >> Marco Ronchetti, University of Trento >> Pavel Shvaiko, University of Trento >> Elena Simperl, STI Innsbruck >> Katharina Siorpaes, STI Innsbruck >> Denny Vrandecic, Institute AIFB, University of Karlsruhe >> >> >> Sponsoring >> ---------------------------------------------------------------------- >> The Asian Semantic Web School is supported by the EASTWEB >> project (http://latemar.science.unitn.it/EASTWEB). A limited amount >> of fellowships is available for Asian students. The fellowships cover >> the school's fees. Interested students should apply sending their CV >> per email to Marco Ronchetti at marco.ronchetti at unitn.it by July, >> 31, and will be notified by August, 7. >> >> Contact >> ---------------------------------------------------------------------- >> For any further information, please visit http://www.asws2008.org/ or >> send an email to Elena Simperl at elena.simperl at sti2.at. >> > > > -- Ilona Zaremba STI Innsbruck University of Innsbruck Technikerstrasse 21a A-6020 Innsbruck Tel.: +43/512/507/96851 Fax +43/512/507/9872 E-mail: ilona.zaremba at sti2.at From adrian.paschke at biotec.tu-dresden.de Tue Jun 10 20:13:52 2008 From: adrian.paschke at biotec.tu-dresden.de (Adrian Paschke) Date: Tue, 10 Jun 2008 20:13:52 +0200 Subject: RuleML-2008: One week left for submissions! In-Reply-To: <4805F394.1050502@sti2.at> Message-ID: <20080610181342.63F4570000D9@mailserver.biotec.tu-dresden.de> [ our apologies should you receive this message more than one time ] 2008 International RuleML Symposium on Rule Interchange and Applications (RuleML-2008) October 30-31, 2008, Orlando, Florida http://2008.ruleml.org Latest news: -------------------------------------------------------------------- Deadlines are approaching: June 16 (one week left!) - RuleML-2008 Keynote speakers: * Michael Kifer (State University of New York at Stony Brook, USA), on "Rule Interchange Format: Not Just Syntax". Joint keynote between RuleML-2008 and RR2008. * David Luckham (Stanford University, USA) on complex event processing. * Paul Haley (Haley Ltd) on business rules. * Benjamin Grosof (Vulcan Inc, USA) on the SILK KRR system of the HALO project. - Joint Lunch Panel with the Business Rules Forum about "Rules on the Web" - RuleML-2008 Challenge with prestigious prices - Lightning talks / Highlight talks Accepted papers will be published in Springer LNCS proceedings and a journal special issue (IEEE TKDE pending) is forthcoming. PRESS RELEASE: http://www.targetwire.com/vpo/rm/ -------------------------------------------------------------------- Call for Papers: http://2008.ruleml.org/cfp.pdf Submission Site: http://www.easychair.org/conferences/?conf=ruleml2008 Submission guidelines: http://2008.ruleml.org/submissions.php Topics of Interest: http://2008.ruleml.org/topics.php Organizing Committee: http://2008.ruleml.org/oc.php Program Committee: http://2008.ruleml.org/pc.php ===================================================================== Co-located with: The 11th International Business Rules Forum http://www.businessrulesforum.com ===================================================================== Sponsored by: Gold level : Vulcan Inc Silver level: Model Systems Bronze level: STI Innsbruck, ruleCore, JBoss Sponsoring opportunities: http://2008.ruleml.org/sponsoring/ ===================================================================== In Co-operation with: AAAI, W3C, BPM-Forum, Business Rules Forum , ECCAI, OASIS, OMG, Dallas Rules Group, Belgium Business Rules Forum, MIT Sloan CIO Symposium, ACM, ACM SIGART, ACM SIGMIS, ACM SIGWEB, Open Research Society, IEEE Systems Man and Cybernetics Society IEEE SMCS TC on Intelligent Internet Systems IEEE SMCS TC on Distributed Intelligent Systems IEEE Computer Society TC on Autonomous and Autonomic Systems ===================================================================== Media Partners: Springer LNCS, MoDo Marketing ===================================================================== -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ttj at tcs.hut.fi Tue Jun 10 21:26:24 2008 From: ttj at tcs.hut.fi (Tomi Janhunen) Date: Tue, 10 Jun 2008 22:26:24 +0300 Subject: NMR'08 Special Session on Applications (CFP) Message-ID: CALL FOR PAPERS The 12th International Workshop on NONMONOTONIC REASONING Sydney, Australia, September 13-15, 2008 SPECIAL SESSION ON APPLICATIONS A number of systems which implement nonmonotonic reasoning (NMR) or make extensive use of NMR techniques have been developed in the past decade. The efficiency of such systems has been boosted by the increasing performance of computer hardware as well as advances in algorithm design. The current performance level is already sufficient to enable industrial applications of nonmonotonic reasoning. Indeed, a wide range of applications has emerged along with the development of NMR systems. This special session aims to attract researchers who have interest and/or practical experience in significant applications of NMR. The aim is to share views about the current state of the art and to look for new emerging areas of application. The session on applications is a one-day event and the technical program forms a part of the Twelfth Nonmonotonic Reasoning Workshop (NMR2008), to be held in Sydney, Australia, and collocated with the KR'2008 conference. Authors are invited to submit papers on applications of NMR. Submissions relevant to the following general issues are welcome: - The role of nonmonotonicity in applications - Application enabling technologies - Methodologies of representing knowledge in NMR languages - Systems that embed nonmonotonic reasoning techniques - Scalability aspects and benchmarking - Future challenges TOPICS The list of topics of interest includes but is not limited to: - Emerging applications of NMR logics and formalisms, including action languages, answer set programming, ID-logic, uncertainty frameworks; - NMR in planning, reasoning with preferences, argumentation, belief revision and update; - NMR in bioinformatics, security, games, semantic web; - experimental studies of NMR formalisms. SESSION CO-CHAIRS Tomi Janhunen, Helsinki Univ. of Technology, (Tomi dot Janhunen at tkk dot fi) Eugenia Ternovska, Simon Fraser Univ., (ter at cs dot sfu dot ca) PROGRAM COMMITTEE Leopoldo Bertossi, Carleton University, Canada Jim Delgrande, Simon Fraser University, Canada Wolfgang Faber, University of Calabria, Italy Michael Fink, Vienna University of Technology, Austria Paolo Liberatore, University of Rome "La Sapienza", Italy Leora Morgenstern, Stanford University, USA Pascal Nicolas, University of Angers, France Simona Perri, University of Calabria, Italy Jussi Rintanen, NICTA, Australia Riccardo Rosati, University of Rome "La Sapienza", Italy Torsten Schaub, University of Potsdam, Germany Mirek Truszczynski, University of Kentucky, USA Mary-Anne Williams, University of Technology Sydney, Australia Jia You, University of Alberta, Canada SUBMISSION DETAILS All NMR-08 sessions have the same submission requirements. Submissions are are limited to 9 pages using the KR paper format. Please send a PDF file of the submission to each of the organizers by e-mail. IMPORTANT DATES Submission of papers: 22 June 2008 Notification of acceptance: 15 July 2008 Camera ready copy (PDF File): 15 August 2008 From calvanese at inf.unibz.it Wed Jun 11 03:54:34 2008 From: calvanese at inf.unibz.it (Diego Calvanese) Date: Wed, 11 Jun 2008 03:54:34 +0200 Subject: RR 2008 - Last CfP - 3 days left for abstract submission Message-ID: [ Apologies for cross-postings. Please forward to anyone interested. ] RR 2008 The Second International Conference on Web Reasoning and Rule Systems http://www.rr-conference.org/RR2008 Karlsruhe, Germany, October 31 - November 2, 2008 Call for Papers ---------------------------------------------------------------------- Deadlines approaching: Abstract submission: June 14, 2008 Paper submission: June 21, 2008 submission url: http://www.easychair.org/conferences/?conf=rr2008 ---------------------------------------------------------------------- The International Conference on Web Reasoning and Rule Systems (RR) aims to be the major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2008 builds on the success of The First International Conference on Web Reasoning and Rule Systems RR 2007, which received enthusiastic support from the Web Rules community. In 2008, RR will continue the excellence of the new series and aim to attract the best Web Reasoning and Rules researchers from all over the world. The reasoning landscape features theoretical areas such as knowledge representation (KR) and algorithms; design aspects of rule markup; design of ontology languages; engineering of engines, translators, and other tools; efficiency considerations and benchmarking; standardization efforts, such as the Rules Interchange Format activity at W3C; and applications. Of particular interest is also the use of rules to facilitate ontology modeling, and the relationships and possible interactions between rules and ontology languages like RDF and OWL, as well as ontology reasoning related to RDF and OWL, or querying with SPARQL. Suggested topics include the following, which is not to be considered as an exhaustive list: * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Standardization * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the web * Semantic Web Services modeling and applications * Web and Semantic Web applications LOCATION: The conference is co-located with ISWC 2008 (http://iswc2008.semanticweb.org/), the International Semantic Web Conference. SUBMISSION DETAILS: RR 2008 welcomes original research and application papers dealing with web reasoning and rule systems, with particular attention to the topics listed above. Submitted papers are limited in length to fifteen (15) pages, including title, abstract, and list of references, and should be formatted according to the Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html). Submitted papers must be in PDF format. The full paper submission must be preceded by the submission of an abstract. Submission is via EasyChair, at http://www.easychair.org/conferences/?conf=rr2008 Papers may be accepted as: - full papers (15 pages in the proceedings) - short papers (8 pages in the proceedings) - posters (2 pages in the proceedings) Accepted papers will be published by Springer Verlag in the LNCS series. The best papers may also be considered for publication in a prestigious international journal. IMPORTANT DATES: Abstract submission deadline: June 14, 2008 Paper submission deadline: June 21, 2008 Notification of acceptance decisions: July 21, 2008 Camera-ready papers due: Aug. 15, 2008 RR 2008 conference: Oct. 31 - Nov. 2, 2008 GENERAL CHAIR: Thomas Eiter, TU Vienna (AT) PROGRAM CO-CHAIRS: Diego Calvanese, Free University of Bozen-Bolzano (IT) Georg Lausen, University of Freiburg (DE) PROGRAM COMMITTEE: Jose Alferes, Universidade Nova de Lisboa (PT) Jürgen Angele, Ontoprise GmbH, Karlsruhe (DE) Gregoris Antoniou, University of Crete (GR) Marcelo Arenas, Pontificia Universidad Catolico de Chile (CL) Uwe Assmann, Technische Universität Dresden (DE) Chitta Baral, Arizona State University (US) Leopoldo Bertossi, Carleton University, Ottawa (CA) Jos de Bruijn, Free University of Bozen-Bolzano (IT) Christoph Bussler, BEA Systems, Inc. (US) Andrea Cali, University of Oxford (UK) Mike Dean, BBN Technologies (US) Hendrik Decker, Ciudad Politécnica de la Innovación, Valencia (ES) Jürgen Dix, Universität Clausthal (DE) Christine Golbreich, University of Versailles Saint-Quentin (FR) John Goodwin, Ordnance Survey (UK) Gianluigi Greco, Università della Calabria (IT) Claudio Gutierrez, University of Chile, Santiago (CL) Giovambattista Ianni, Università della Calabria (IT) Manolis Koubarakis, Nat. and Kapodistrian University of Athens (GR) Domenico Lembo, Sapienza Università di Roma (IT) Francesca A. Lisi, Università di Bari (IT) Bertram Ludaescher, University of California, Davis (US) Thomas Lukasiewicz, Sapienza University of Rome (IT) Carsten Lutz, Technische Universität Dresden (DE) Jan Maluszynski, University of Linköping (SE) Wolfgang May, University of Göttingen (DE) Ralf Möller, Technische Universität Hamburg (DE) Boris Motik, University of Oxford (UK) Wolfgang Nejdl, LS3 and University of Hannover (DE) Daniel Oberle, SAP AG (DE) P.F. Patel-Schneider, Bell Labs (US) Axel Polleres, National University of Ireland, Galway (IE) Guilin Qi, University of Karlsruhe (DE) Dave Reynolds, HP Labs (UK) Marie-Christine Rousset, University of Grenoble (FR) Ulrike Sattler, University of Manchestor (UK) Sebastian Schaffert, Salzburg Research Forschungsgesellschaft (AT) Roman Schindlauer, TU Wien (AT) Michael Sintek, DFKI GmbH, Kaiserslautern (DE) Giorgos Stamou, National Technical University of Athens (GR) Umberto Straccia, ISTI - C.N.R Pisa (IT) Heiner Stuckenschmidt, University of Mannheim (DE) York Sure, SAP AG (DE) Sergio Tessaris, Free University of Bozen-Bolzano (IT) Rodney Topor, University of Griffith (AUS) Dirk Vermeir, University of Brussels (BE) David Warren, SUNY at Stony Brook (US) P.T. Wood, University of London (UK) Guizhen Yang, SRI (US) LOCAL ORGANIZATION: Sebastian Rudolph, University of Karlsruhe (DE) From alessandra.mileo at nomadis.unimib.it Wed Jun 11 10:06:24 2008 From: alessandra.mileo at nomadis.unimib.it (Alessandra Mileo) Date: Wed, 11 Jun 2008 10:06:24 +0200 Subject: AI-HEALTH2008 - 2nd Call For Participation Message-ID: <484F8780.20006@nomadis.unimib.it> [** Apologies for multiple copies **] Dear All, AI-Health 2008 workshop is approaching!!! There are still few possibilities to participate. For those of you that are interested in attending this 1-day workshop, please register by sending email to infonomadis at unimib.it within Friday 13th 2008. Best, Alessandra ============================================================= ** CALL FOR PARTICIPATION ** AI-HEALTH2008 New AI Techniques and Methodologies for Dynamic, Knowledge-intensive Domains 18th June 2008 Università degli Studi di Milano-Bicocca Milano, Italy ============================================================= In recent years there has been an increasing interest in the application of Artificial Intelligent techniques to health sciences. As a consequence, there are many interesting new research trends in the field of AI, involving bioinformatics, activity recognition, health monitoring, context-aware systems and more. All of these domains can be very complex to represent, since they are mainly related to observing and understanding natural systems, human behaviours or dynamic environments. Making intelligent choices in such domains can be very difficult because effects of actions may not be known a priori (partial knowledge), and significative features may not always be visible (partial observation). Thus, Knowledge representation and reasoning in this context remains a key issue. This one-day workshop wants to be a discussion forum for researchers in knowledge representation and reasoning formalisms and technologies for dynamic, knowledge intensive domains. This initiative gives an opportunity to compare different AI approaches and solutions, to study opportunities for synergy and integration, to formulate future challenges and opportunities and to discuss specific technical problems. PROGRAM ------------------------- Invited speakers: S. Bandini -- Univ. Milano Bicocca; C. Bobda -- Univ. Potsdam; A. Cesta -- CNR Rome; T. Eiter -- TU Wien; A. Hunter -- Univ. College London; A. Mileo -- Univ. Milano Bicocca; T. Schaub -- Univ. Potsdam; The full program of the workshop is available at: http://www.nomadis.unimib.it/flex/cm/pages/ServeBLOB.php/L/EN/IDPagina/197 REGISTRATION ------------------------- Registration is free, but you have to register by sending email to infonomadis at unimib.it. IMPORTANT DATES ------------------------- Workshop: 18th June 2008 CHAIRS ------------------------- Alessandra Mileo, Roberto Bisiani, Davide Merico ORGANIZATION ------------------------- Alessandra Latini, Alessandra Mileo SPONSORS ------------------------- Nomadis Research Lab, Qua_SI (www.nomadis.unimib.it) From areces at pluton.loria.fr Wed Jun 11 14:45:29 2008 From: areces at pluton.loria.fr (Carlos Areces) Date: Wed, 11 Jun 2008 14:45:29 +0200 Subject: AiML 2008: Registration now open Message-ID: <200806111245.m5BCjT61032190@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 --- REGISTRATION IS NOW OPEN --- 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, The University of Queensland http://www.itee.uq.edu.au/~guido/ 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 tews at cs.ru.nl Wed Jun 11 15:22:22 2008 From: tews at cs.ru.nl (Hendrik Tews) Date: Wed, 11 Jun 2008 15:22:22 +0200 Subject: CFP: JAR Special Issue On Operating Systems Verification Message-ID: <18511.53646.23048.236336@tandem.cs.ru.nl> [apologies for crossposting, sent on behalf the guest editors -- Hendrik] Call for Papers Special Issue On Operating Systems Verification Journal of Automated Reasoning Industrial-strength software analysis and verification has advanced in recent years through the introduction of model checking, automated and interactive theorem proving, static analysis techniques, as well as correctness by design. However, many techniques are working under restrictive assumptions which are invalidated by complex (embedded) system software such as operating system kernels, low-level device drivers or microcontroller code. This special issue will be devoted to the formal verification of operating systems and similar low-level systems code. The emphasis is on techniques and methods that provide real solutions to real software problems. A real solution is one that is applicable to the problem in industry and not one that only applies to an abstract, academic toy version of it. Submissions are encouraged, but not limited to, the following topics and their application to operating systems or low-level systems code: * model checking * automated and interactive theorem proving * embedded systems development * programming languages * verifying compilers * software certification Manuscripts should be unpublished works and not submitted elsewhere. Revised and enhanced versions of papers published in conference proceedings that have not appeared in archival journals are eligible for submission. All submissions will be reviewed according to the usual standards of scholarship and originality. Papers should be in pdf format, following the JAR guidelines for authors, and be submitted via EasyChair at: http://www.easychair.org/conferences/?conf=jarosv08 Please do not use the Springer online submission system for the special issue at this stage, but EasyChair instead. To encourage a speedy review cycle, it will be expected that authors of submissions also serve as referees. For more information, please see http://www.cse.unsw.edu.au/~kleing/JAR-OSV-08/ Guest Editors Gerwin Klein, NICTA, Australia, gerwin.klein at nicta.com.au Ralf Huuck, NICTA, Australia, ralf.huuck at nicta.com.au Bastian Schlich, RWTH Aachen, Germany, schlich at cs.rwth-aachen.de Important Dates Sep 15 2008 Submission Deadline Dec 15 2008 Notification of accepted papers Jan 15 2009 Final version From hr at sti2.at Wed Jun 11 15:17:35 2008 From: hr at sti2.at (Birgit Leiter) Date: Wed, 11 Jun 2008 15:17:35 +0200 Subject: Software Developers Wanted In-Reply-To: <4805F394.1050502@sti2.at> References: <46B036DB.1060002@deri.org> <46D3E047.5030103@deri.org> <46FB61E4.4000607@deri.org> <4805F394.1050502@sti2.at> Message-ID: <484FD06F.30305@sti2.at> Software Developers Wanted The Semantic Technology Institute (STI) Innsbruck is involved in all areas of research related to Semantics, particularly in the context of the World Wide Web and Web 2.0, and is looking for a number of enthusiastic software developers to join an established and successful international team. *_Senior Positions_* Candidates should have at least 4 years commercial experience involving all aspects of the project life-cycle, solid Java skills, and team-leadership/project management experience. *_Junior Positions_* Candidates should have a minimum of 2 years java experience, preferably in a commercial setting. All candidates must have a good understanding of object-oriented approaches to software engineering, excellent English skills and a flexible attitude. Experience with Web-technologies and Semantics is not essential, rather the candidate's desire to learn, ability to communicate, and professional approach are more important. To apply for a position, please contact: hr at sti2.at For more information regarding these positions, please visit www.sti-innsbruck.at From alexander.friedmann at uqam.ca Wed Jun 11 19:55:22 2008 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Wed, 11 Jun 2008 19:55:22 +0200 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On 6/8/08, 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: 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 > > -- ================== Alex Friedmann Tel: +1 514 987-3000 ext. 3219# Departement d'Informatique Fax: +1 514 987-8477 Universite du Quebec a Montreal CP 8888 Centre Ville Montreal, H3C 3P8, Canada E-mail: alexander.friedmann at uqam.ca -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tews at cs.ru.nl Wed Jun 11 22:21:18 2008 From: tews at cs.ru.nl (Hendrik Tews) Date: Wed, 11 Jun 2008 22:21:18 +0200 Subject: CFP: JAR Special Issue On Operating Systems Verification Message-ID: [apologies for crossposting, sent on behalf the guest editors -- Hendrik] Call for Papers Special Issue On Operating Systems Verification Journal of Automated Reasoning Industrial-strength software analysis and verification has advanced in recent years through the introduction of model checking, automated and interactive theorem proving, static analysis techniques, as well as correctness by design. However, many techniques are working under restrictive assumptions which are invalidated by complex (embedded) system software such as operating system kernels, low-level device drivers or microcontroller code. This special issue will be devoted to the formal verification of operating systems and similar low-level systems code. The emphasis is on techniques and methods that provide real solutions to real software problems. A real solution is one that is applicable to the problem in industry and not one that only applies to an abstract, academic toy version of it. Submissions are encouraged, but not limited to, the following topics and their application to operating systems or low-level systems code: * model checking * automated and interactive theorem proving * embedded systems development * programming languages * verifying compilers * software certification Manuscripts should be unpublished works and not submitted elsewhere. Revised and enhanced versions of papers published in conference proceedings that have not appeared in archival journals are eligible for submission. All submissions will be reviewed according to the usual standards of scholarship and originality. Papers should be in pdf format, following the JAR guidelines for authors, and be submitted via EasyChair at: http://www.easychair.org/conferences/?conf=jarosv08 Please do not use the Springer online submission system for the special issue at this stage, but EasyChair instead. To encourage a speedy review cycle, it will be expected that authors of submissions also serve as referees. For more information, please see http://www.cse.unsw.edu.au/~kleing/JAR-OSV-08/ Guest Editors Gerwin Klein, NICTA, Australia, gerwin.klein at nicta.com.au Ralf Huuck, NICTA, Australia, ralf.huuck at nicta.com.au Bastian Schlich, RWTH Aachen, Germany, schlich at cs.rwth-aachen.de Important Dates Sep 15 2008 Submission Deadline Dec 15 2008 Notification of accepted papers Jan 15 2009 Final version From robert at grid.chu.edu.tw Fri Jun 13 03:26:01 2008 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Fri, 13 Jun 2008 09:26:01 +0800 Subject: Call-For-Papers: Workshops of the 3rd IEEE Asia Pacific Service Computing Conference (IEEE APSCC 2008) Message-ID: <200806130126.m5D1Q1Qq029102@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dwijesek at gmu.edu Thu Jun 12 02:46:08 2008 From: dwijesek at gmu.edu (Duminda Wijesekera) Date: Wed, 11 Jun 2008 19:46:08 -0500 Subject: CALL FOR PAPERS: ONTOLOGIES FOR THE INTELLIGENCE COMMUNITY (OIC 2008) Message-ID: Call for Papers OIC 2008: ONTOLOGIES FOR THE INTELLIGENCE COMMUNITY Towards Effective Exploitation and Integration of Intelligence Resources George Mason University, Fairfax, Virginia December 3-4, 2008 (A classified event is scheduled for December 5 for those with TS/SCI clearances only. For further information contact: oic-2008-ts-sci at cox.net) The tasks of collecting, analyzing, and disseminating intelligence grow more complex with every year, the emergence of new technologies and new types of threats. New approaches are required to enable greater flexibility, precision, timeliness and automation of analysis in response to rapidly evolving threats. Ontology-based technology as applied in areas such as bioinformatics has demonstrated the possibility of gains along all of these dimensions. The time is ripe to extend these gains to other spheres. This conference will bring together experts on ontology-based technology with particular experience in the problems facing the intelligence community. It will feature invited talks from prominent ontologists and intelligence community leaders, as well as submitted papers focusing especially on the creation of public-domain ontology resources to support the work of intelligence analysts. Submissions are invited of short papers in pdf format (up to 1500 words) designed to serve as the basis for 20-minute oral presentations at the conference. Accepted papers will be published (at speaker discretion) in the proceedings, in both an online version and a printed version to be distributed at the meeting. The authors of selected papers will be invited to submit longer versions for publication in Volume 2 of the series on Semantic Technology, Information Sharing and Intelligence Analysis. Papers may address a wide variety of issues addressing the ontology needs of the intelligence community. We are especially interested in papers on the following topics: - Ontologies and reasoning under conditions of uncertainty - Ontological issues related to source credibility and evidential pedigree - Ontological issues related to the use of images and other kinds of sensing devices - Creating an interoperable suite of public-domain ontologies relevant to intelligence analysis covering areas such as: * Social networks * Ethnicity, religion and politics * Spatial and temporal phenomena * Conditions that foster or inhibit outbreak of violence * Infrastructure with * Biology and health * Emergency Response - Usability issues relating to ontology technology Important dates: Submissions due: July 27, 2008 Notification of acceptance: August 29, 2008 Camera-ready papers due: October 31, 2008 Further information will be provided in due course at http://c4i.gmu.edu/OIC08 For inquiries please write to the conference co-chairs: Kathryn Blackmond Laskey C4I Center and SEOR Department 4400 University Drive, MS 4B5 George Mason University Fairfax, VA 22030-4444 klaskey at gmu.edu Duminda Wijesekera Department of Computer Science 4400 University Drive, MS 4A5 George Mason University Fairfax, VA 22030-4444 dwijesek at gmu.edu Preliminary Scientific Committee Bill Andersen (Ontology Works) Selmer Bringsjord (Rensselaer Polytechnic University) Dennis Buede (Innovative Decisions, Inc.) Werner Ceusters (University at Buffalo) Randall Dipert (University at Buffalo) Kathleen Stewart Hornsby (University of Iowa) Terry Janssen (Lockheed Martin Corporation) Kathryn Blackmond Laskey (George Mason University, co-chair) Kevin Lynch (CIA) Dan Maxwell (Innovative Decisions, Inc.) Leo Obrst (MITRE Corporation) Steven Robertshaw (UK Defence Science and Technology Laboratory) Barry Smith (University at Buffalo) Duminda Wijesekera (George Mason University, co-chair) -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : dwijesek.vcf Dateityp : text/x-vcard Dateigröße : 330 bytes Beschreibung: Card for Duminda Wijesekera URL : From uwe.keller at sti2.at Fri Jun 13 11:45:19 2008 From: uwe.keller at sti2.at (Uwe Keller) Date: Fri, 13 Jun 2008 11:45:19 +0200 Subject: NEFORS2008 - call for papers Message-ID: <485241AF.9070202@sti2.at> ** Apologies for possible cross-posting ** ========================= CALL FOR PAPERS ========================= Second International Workshop: "New forms of reasoning for the Semantic Web: scaleable, tolerant and dynamic" http://nefors08.larkc.eu Co-located with the 3rd Asian Semantic Web Conference (ASWC 2008) http://www.aswc2008.org/ Pathumthani, Thailand, 8th-11th December 2008 =================================================================== Workshop Objectives =================== The Semantic Web is the vision of a Web of data usable for both humans but also machines. This web, consists of inter-connected instance data annotated with possibly expressive ontologies. Therefore a tremendous amount of information becomes available that should be processed based on formal semantics attached to it. The Semantic Web community has developed a number of languages (such as RDF, RDF Schema, OWL) that deploy logic for this purpose. Impressive progress has been made on scalable storage, querying and inference for these languages, and they are successfully being deployed on large intranets and medium-scale web-applications. However existing reasoning techniques often fail to live up to the expectations put into them in this context. They can often neither deal with high number of instances, the expressiveness of the ontologies describing them or the inherent inconsistency and incompleteness of data on the Web. This workshop is intended to focus on these problems of scalability and robustness of reasoning on the Web, and furthermore to investigate alternative reasoning methods, which take incompleteness and distribution of data and knowledge as inherent properties into account. NeForS08 is the follow-up of the first international workshop on "New forms of reasoning for the Semantic Web: scalable, tolerant and dynamic", which took place in Busan, Korea in November 2007 and was co-located with the 6th International Semantic Web Conference (ISWC 2007) and 2nd Asian Semantic Web Conference (ASWC 2007). Topics of Interest ================== We welcome all research contributions that address one or more of the following topics: * Reasoning for the Web * Querying and searching * Scalability to the Web level * Efficient storage of structured data that scale to a very large size We also aim to attract participants from scientific fields not typically seen at Semantic Web events: * Economics can tell us about cost-benefit trade-off models, sunk-cost theory and the role of negotiation in obtaining near-optimal results under bounded resources * Cognitive Science can tell us about strategies of human memory and human reasoning which is so succesful in reaching good enough conclusion in limited time-spans, using methods such as priming, attention scoping, recency-based self-optimising memory, etc. * Computational Learning Theory has contributions to make with their notions of Probably Approximately Correct (PAC) computing, and strategies for abstraction and compression of information. * Combinatorial Search has made recent breakthroughs in handling massive search-spaces with heuristics based on Monte Carlo simulations. Event Information ================= The workshop will take place during the 3rd Asian Semantic Web Conference (ASWC2008) as a full-day event. It will be organized as a full day event and include an invited talk by Kyung-il Tony Lee, president and CEO of Saltlux Inc. on the industrial view on semantic technologies and the need for large-scale reasoning. Please note that for every accepted paper at least one of the authors must attend the workshop and must register for the workshop and the main conference. Submission of a paper is not required for attendance at the workshop. However, in the event that the workshop cannot accommodate all who would like to participate, those who have submitted a paper will be given priority. Submissions =========== The workshop invites full papers (up to 15 pages) as well as short papers (up to 5 pages). All contributions will be peer reviewed by the program commitee (see http://nefors08.larkc.eu) and accepted submissions will be published in a dedicated book. The number of accepted papers will be kept deliberately low in order to leave sufficient time for discussion after presentations. Additionally we are considering a special issue in a journal on semantic computing for extended versions of selected, high quality submissions. Submitted papers must be written in English and one of the following format must be used for the first submission: PDF, PS, DOC. For submissions please follow LNCS formatting instructions (see http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0 for details) to prepare your paper and consider using the camera ready format even for the first submission. Furthermore papers need to be submitted electronically through the EasyChair using the following link: http://www.easychair.org/conferences?conf=nefors08 Important Dates =============== * September 15, 2008: Submission of papers * September 30, 2008: Notification of acceptance * October 15, 2008: Camera-ready version due * December 8, 2008: Workshop Organizers ========== Zhisheng Huang, Vrije Universiteit Amsterdam, The Netherlands Uwe Keller, Semantic Technology Institute, University of Innsbruck, Austria Ning Zhong, Maebashi Institute of Technology, Japan and The International WIC Institute/BJUT, China Program Committee ================= Ruzica Piskac, EPFL, Lausanne, Switzerland Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands Lael Schooler, MPI for Human Development, Berlin, Germany Pascal Hitzler, Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruhe, Germany Yue Pan, IBM Research Laboratory, Beijing, China Xiaoping Chen, University of Science and Technology of China, Hefei, China Emanuele Della Valle, CEFRIEL, Milano, Italy Stefania Galizia, Knowledge Media Institute, The Open University, Milton Keynes, United Kingdom Guilin Qi, Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruhe, Germany Michael Witbrock, Cycorp, Austin, Texas, USA Juanzi Li, Tsinghua University, Beijing, China Ilya Zaihrayeu, University of Trento, Trento, Italy Steering Committee =================== Dieter Fensel, Semantic Technology Institute, University of Innsbruck, Austria Frank van Harmelen, Vrije Universiteit Amsterdam, The Netherlands Contact ======= Florian Fischer Semantic Technology Institute, University of Innsbruck, Austria Technikerstr. 21a, 6020 Innsbruck, Austria E florian.fischer at sti2.at From ilona.zaremba at sti2.at Fri Jun 13 16:35:02 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Fri, 13 Jun 2008 16:35:02 +0200 Subject: INSEMTIVE 2008: Call for Papers Message-ID: <48528596.8070802@sti2.at> ====== Call for Papers ===== INSEMTIVE 2008 1st Workshop on Incentives for the Semantic Web http://km.aifb.uni-karlsruhe.de/ws/insemtive2008/ Located at the 7th International Semantic Web Conference ISWC2008 October 27th, 2008 (Workshop day) Karlsruhe, Germany Deadline for submissions: July 25, 2008 (11:59 PM CET) Supported by the EU project Active www.active-project.eu ------------------------------------------------------------------------ --- Objectives --- "The original Scientific American article on the Semantic Web appeared in 2001. It described the evolution of a Web that consisted largely of documents for humans to read to one that included data and inforation for computers to manipulate. The Semantic Web is a Web of actionable information derived from data through a semantic theory for interpreting the symbols. The semantic theory provides an account of meaning in which the logical connection of terms establishes interoperability between systems. This simple idea, however, remains largely unrealized." (Nigel Shadbolt, Wendy Hall, Tim Berners-Lee (2006). The Semantic Web Revisited, IEEE Intelligent Systems.) One of the reasons for this state of affairs, almost seven years after the publication of the seminal article on the Semantic Web, has been always considered to be the lack of high quality semantic content. A critical mass of semantically annotated Web pages, semantically enhanced multimedia repositories, as well as business?relevant, widely?accepted ontologies would provide a feasible basis for the development of semantic applications of immediate added value for it users, and for the adoption of semantic technologies at industrial level. Despite a mature set of techniques, tools, and methods for authoring semantic content, one can observe very limited user involvement. The lack of semantic content and the missing engagement of users can be traced back to the missing incentive models incorporatd by semantic technology. This is very contrary to the Web 2.0 movement which lives great popularity and a huge amount of user contributions. Even though, there are also many failing Web 2.0 tools, applications like Wikipedia, Del.icio.us, Flickr, YouTube, Facebook or LinkedIn generate enormous user interest and massive amounts of data. Each of those applications implements an incentive that motivates people to contribute their time and human intelligence. --- Programme --- The workshop will be organized as a full-day event. It is meant as a forum for presenting novel research achievements and their prototypical implementation, as well as for intensive discussions and exchange of ideas. The workshop program will hence consist of presentations (for full papers and short/position papers), demos, and enough time for an open closing discussion. --- Topics of Interest --- The workshop addresses incentives for building the Semantic Web, i.e. achieving tasks, such as ontology construction, semantic annotation, and ontology alignment. It is intended as a networking event for discussing and brainstorming ideas for motivating people to contribute to semantic cotent creation. The workshop also seeks for original academic work in the respective field including: * Incentives for the Semantic Web * Motivations and incentives of 2.0 applications * Suggestions how those motivations can be applied in Semantic Web applications * Incentive structures both within enterprise intranets and the open Web * Games for knowledge creation and maintenance * Tools exploiting collective intelligence and the Wisdom of Crowds * Monetary and non-monetary rewards for semantic content authoring tasks * Empirical studies on the usage of Web 2.0 or social Semantic Web applications --- Organising Committee --- * Katharina Siorpaes, STI Innsbruck, University of Innsbruck,Austria * Elena Simperl, STI Innsbruck, University of Innsbruck, Austria * Denny Vrandecic, Institut AIFB, Universität Karlsruhe (TH), Germany --- Program Committee (confirmed, to be extended) --- * Chris Bizer, Freie Universität Berlin, Germany * Dan Brickley, Joost, UK * Peter Haase, AIFB, Germany * Tom Heath, Talis, UK * Eyal Oren, VU Amsterdam, The Netherlands * Valentina Presutti, Institute of Cognitive Sciences and Technology (CNR), Italy * Marta Sabou, Open University, UK * Sebastian Schaffert, Salzburg Research, Austria * Andreas Schmidt, FZI, Germany * Hideaki Takeda, NII and University Tokyo, Japan * Tania Tudorache, Stanford University, USA * Ilya Zaihrayeu, University of Trento, Italy * Valentin Zacharias, FZI, Germany --- Submission and Proceedings --- We aim at three different kind of submissions: (1) research papers of the length of 12 pages presenting mature work, prototypes and methodologies, (2) position papers of the length of 6 pages presenting early work and elaborated ideas, and (3) demo outlines of the length of 2 pages. Independently of the type of submission, all papers should be formatted according to the Springer Lecture Notes in Computer Science (LNCS) format. For complete details on this issue see Springer's Author Instructions at http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0. The submission system will be EasyChair (URL will be published on the workshop Website soon). All accepted papers will be published online as *CEUR Workshop Proceedings*. In case there are enough high quality contributions, we will pursue the publication of the best rated papers as a *journal special issue*. --- Important Dates --- * Deadline for submissions: July 25, 2008 (11:59 PM CET) * Notification of acceptance: September 5, 2008 * Camera-ready versions: September 26, 2008 * Workshop: October 27, 2008 Please do not hesitate to contact Katharina Siorpaes (katharina.siorpaes at sti2.at) with any questions you have! From Thomas.Lukasiewicz at kr.tuwien.ac.at Sun Jun 15 00:45:25 2008 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Sat, 14 Jun 2008 23:45:25 +0100 Subject: CFP: 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008) Message-ID: <48544A05.7090305@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 calimeri at mat.unical.it Sun Jun 15 14:10:30 2008 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Sun, 15 Jun 2008 14:10:30 +0200 Subject: RCRA 2008: First Call for Papers Message-ID: <00ac01c8cee0$cf5c7bc0$6e157340$@unical.it> [apologies for multiple postings] * ______________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) http://www.dis.uniroma1.it/~rcra organises the 15th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion http://www.dis.uniroma1.it/~rcra08 rcra08 at dis.uniroma1.it * ______________________________________________________________________ *con preghier This workshop follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meeting, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in artificial intelligence. *** Workshop post-proceedings will be published in the Elsevier *** *** Journal of Algorithms in Logic, Informatics and Cognition. *** * ______________________________________________________________________ * DATES Two days in December 2008, co-located with ICLP 2008 (9-13 December 2008) (exact dates to be announced) VENUE Udine, Italy AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridised with techniques in other areas. Artificial Intelligence tools often exploit or hybridise techniques developed by other research communities, such as Operations Research. In recent years, research in AI has more and more focussed on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilisation of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modelling, and ease of development. Topics of interest include, but are not limited to: o knowledge representation o automated reasoning o planning o scheduling o agents and distributed systems o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o constraint satisfaction o quantified boolean formulae and quantified constraints o modal logics o logic programming o disjunctive logic programming o temporal reasoning o combinatorial optimization Contributions are solicited about (the list is not exhaustive): * Experimental evaluation of algorithms * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridisation * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. Although the spirit of the workshop is informal, a second formal stage is expected, with a second round of reviews for the selection of extended versions of the papers to appear in a special issue of the Elsevier Journal of Algorithms in Logic, Informatics and Cognition. WORKSHOP CHAIRS * Marco Gavanelli, Università degli Studi di Ferrara, Italy * Toni Mancini, Sapienza Università di Roma, Italy PROGRAM COMMITTEE Gilles Audemard, Université d'Artois, France Matteo Baldoni, Università di Torino, Italy Francesco Buccafurri, Università Mediterranea di Reggio Calabria, Italy Francesco Calimeri, Università della Calabria, Italy Stefania Costantini, Università dell'Aquila, Italy Luca Di Gaspero, Università di Udine, Italy Khalil Djelloul, Université d'Orléans, France Marco Gavanelli, Università di Ferrara, Italy Daniel Le Berre, Université d'Artois, France Ines Lynce, Universidade Técnica de Lisboa, Portugal Toni Mancini, Sapienza Università di Roma, Italy Marco Maratea, Università di Genova, Italy Joao Marquez-Silva, University of Southampton, UK Pedro Meseguer, Consejo Superior de Investigaciones Científicas, Spain Nicola Policella, European Space Agency, Germany Steve Prestwich, Cork Constraint Computation Centre, Ireland Luca Pulina, Università di Genova, Italy Francesco Ricca, Università della Calabria, Italy Fabrizio Riguzzi, Università di Ferrara,Italy Daniel Singer, Université de Metz, France Kostas Stathis, Royal Holloway, University of London, UK Kostas Stergiou, University of the Aegean, Greece Mirek Truszczynski, University of Kentucky, USA Richard Wallace, Cork Constraint Computation Centre, Ireland HOST ORGANIZATION Università di Udine, Italy LOCAL COMMITTEE Luca Di Gaspero, Università degli Studi di Udine, Italy Stefano Benedettini, Università degli Studi di Udine, Italy Sara Ceschia, Università degli Studi di Udine, Italy Andrea Schaerf, Università degli Studi di Udine, Italy SUBMISSIONS Authors are invited to submit either original papers, or papers that appear on conference proceedings. At the time of submission, authors are requested to clearly specify whether their submission is original or already published. All submissions must be in PDF format, do not exceed 10 pages, and should be written in Latex, using the standard Article style, 11pt. All submissions will be reviewed by at least three members of the program committee. Papers accepted at the workshop will be electronically published on the workshop web site. Final and detailed submission instructions will be available on the workshop web site soon. SELECTION FOR THE POST-PROCEEDINGS Few weeks after the workshop, authors of accepted papers will have the opportunity to participate in the selection for the post-proceedings by submitting an extended version of their work. Workshop post-proceedings will appear in a special issue of the Elsevier Journal of Algorithms in Logic, Informatics and Cognition. All candidate articles must be original: they cannot have already been published in journals, and must contain significant additional material with respect to any previous version already published in formal conference proceedings. Such papers will go through a second formal selection process, and will be reviewed by at least three reviewers. The selection process will be kept very short, and at most one re-submission stage will be allowed (cf. important dates). Hence, authors are invited to work on their paper mainly before the workshop date. IMPORTANT DATES * Abstract submission deadline: 1 September 2008 * Papers submission deadline: 15 September 2008 * Notification of acceptance/reject: 25 October 2008 * Final version due: 15 November 2008 * Workshop: Around 9-13 December 2008 SELECTION FOR POST-PROCEEDINGS (special issue of Elsevier J. of Algorithms in Logic, Informatics and Cognition) * Extended papers submission deadline: 15 January 2009 * Notification of reviews of the 1st round: 28 February 2009 * Re-submission deadline (for papers not accepted with minor rev.): 15 April 2009 * Final notification of acceptance: 1 May 2009 * Final version due: 15 May 2009 ------------------------------------ Department of Mathematics, Università della Calabria Francesco Calimeri Ricercatore (Researcher - Tenured Assistant Professor) calimeri at mat.unical.it fcalimeri at gmail.com Ponte Pietro Bucci, cubo 30b 87036 Rende (CS) ITALY tel: +39 0984 49 6478 fax: +39 0984 49 6410 mobile: +39 329 0029951 IM: kali at freemail.it http://www.mat.unical.it/calimeri ------------------------------------ From calimeri at mat.unical.it Sun Jun 15 14:05:10 2008 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Sun, 15 Jun 2008 14:05:10 +0200 Subject: Kein Betreff Message-ID: <00a801c8cee0$1061a510$3124ef30$@unical.it> [apologies for multiple postings] * ______________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) http://www.dis.uniroma1.it/~rcra organises the 15th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion http://www.dis.uniroma1.it/~rcra08 rcra08 at dis.uniroma1.it * ______________________________________________________________________ *con preghier This workshop follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meeting, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in artificial intelligence. *** Workshop post-proceedings will be published in the Elsevier *** *** Journal of Algorithms in Logic, Informatics and Cognition. *** * ______________________________________________________________________ * DATES Two days in December 2008, co-located with ICLP 2008 (9-13 December 2008) (exact dates to be announced) VENUE Udine, Italy AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridised with techniques in other areas. Artificial Intelligence tools often exploit or hybridise techniques developed by other research communities, such as Operations Research. In recent years, research in AI has more and more focussed on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilisation of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modelling, and ease of development. Topics of interest include, but are not limited to: o knowledge representation o automated reasoning o planning o scheduling o agents and distributed systems o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o constraint satisfaction o quantified boolean formulae and quantified constraints o modal logics o logic programming o disjunctive logic programming o temporal reasoning o combinatorial optimization Contributions are solicited about (the list is not exhaustive): * Experimental evaluation of algorithms * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridisation * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. Although the spirit of the workshop is informal, a second formal stage is expected, with a second round of reviews for the selection of extended versions of the papers to appear in a special issue of the Elsevier Journal of Algorithms in Logic, Informatics and Cognition. WORKSHOP CHAIRS * Marco Gavanelli, Università degli Studi di Ferrara, Italy * Toni Mancini, Sapienza Università di Roma, Italy PROGRAM COMMITTEE Gilles Audemard, Université d'Artois, France Matteo Baldoni, Università di Torino, Italy Francesco Buccafurri, Università Mediterranea di Reggio Calabria, Italy Francesco Calimeri, Università della Calabria, Italy Stefania Costantini, Università dell'Aquila, Italy Luca Di Gaspero, Università di Udine, Italy Khalil Djelloul, Université d'Orléans, France Marco Gavanelli, Università di Ferrara, Italy Daniel Le Berre, Université d'Artois, France Ines Lynce, Universidade Técnica de Lisboa, Portugal Toni Mancini, Sapienza Università di Roma, Italy Marco Maratea, Università di Genova, Italy Joao Marquez-Silva, University of Southampton, UK Pedro Meseguer, Consejo Superior de Investigaciones Científicas, Spain Nicola Policella, European Space Agency, Germany Steve Prestwich, Cork Constraint Computation Centre, Ireland Luca Pulina, Università di Genova, Italy Francesco Ricca, Università della Calabria, Italy Fabrizio Riguzzi, Università di Ferrara,Italy Daniel Singer, Université de Metz, France Kostas Stathis, Royal Holloway, University of London, UK Kostas Stergiou, University of the Aegean, Greece Mirek Truszczynski, University of Kentucky, USA Richard Wallace, Cork Constraint Computation Centre, Ireland HOST ORGANIZATION Università di Udine, Italy LOCAL COMMITTEE Luca Di Gaspero, Università degli Studi di Udine, Italy Stefano Benedettini, Università degli Studi di Udine, Italy Sara Ceschia, Università degli Studi di Udine, Italy Andrea Schaerf, Università degli Studi di Udine, Italy SUBMISSIONS Authors are invited to submit either original papers, or papers that appear on conference proceedings. At the time of submission, authors are requested to clearly specify whether their submission is original or already published. All submissions must be in PDF format, do not exceed 10 pages, and should be written in Latex, using the standard Article style, 11pt. All submissions will be reviewed by at least three members of the program committee. Papers accepted at the workshop will be electronically published on the workshop web site. Final and detailed submission instructions will be available on the workshop web site soon. SELECTION FOR THE POST-PROCEEDINGS Few weeks after the workshop, authors of accepted papers will have the opportunity to participate in the selection for the post-proceedings by submitting an extended version of their work. Workshop post-proceedings will appear in a special issue of the Elsevier Journal of Algorithms in Logic, Informatics and Cognition. All candidate articles must be original: they cannot have already been published in journals, and must contain significant additional material with respect to any previous version already published in formal conference proceedings. Such papers will go through a second formal selection process, and will be reviewed by at least three reviewers. The selection process will be kept very short, and at most one re-submission stage will be allowed (cf. important dates). Hence, authors are invited to work on their paper mainly before the workshop date. IMPORTANT DATES * Abstract submission deadline: 1 September 2008 * Papers submission deadline: 15 September 2008 * Notification of acceptance/reject: 25 October 2008 * Final version due: 15 November 2008 * Workshop: Around 9-13 December 2008 SELECTION FOR POST-PROCEEDINGS (special issue of Elsevier J. of Algorithms in Logic, Informatics and Cognition) * Extended papers submission deadline: 15 January 2009 * Notification of reviews of the 1st round: 28 February 2009 * Re-submission deadline (for papers not accepted with minor rev.): 15 April 2009 * Final notification of acceptance: 1 May 2009 * Final version due: 15 May 2009 ------------------------------------ Department of Mathematics, Università della Calabria Francesco Calimeri Ricercatore (Researcher - Tenured Assistant Professor) calimeri at mat.unical.it fcalimeri at gmail.com Ponte Pietro Bucci, cubo 30b 87036 Rende (CS) ITALY tel: +39 0984 49 6478 fax: +39 0984 49 6410 mobile: +39 329 0029951 IM: kali at freemail.it http://www.mat.unical.it/calimeri ------------------------------------ From jleite at di.fct.unl.pt Sun Jun 15 15:26:08 2008 From: jleite at di.fct.unl.pt (Joao Leite) Date: Sun, 15 Jun 2008 14:26:08 +0100 Subject: NMR'08: **Extended deadline** Special Session on Declarative Programming Paradigms and Systems for NMR Message-ID: ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ CALL FOR PAPERS The 12th International Workshop on NONMONOTONIC REASONING Sydney, Australia, September 13-15, 2008 Special Session on Declarative Programming Paradigms and Systems for NMR ** New submission deadline: June 22nd ** ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ For many years now, formalisms rooted in the research area of Nonmonotonic Reasoning have been used as the theoretical foundation for declarative programming paradigms. These programming paradigms provide expressive languages to represent nonmonotonic concepts besides other knowledge, and systems that are implemented to automate nonmonotonic reasoning. For instance, one of the most successful of such paradigms is Answer Set Programming. Some of the existing NMR systems are reaching a level of maturity where *serious* real-world applications can be -- and are being -- developed. At the same time, we are still witnessing an impressive research effort in creating, developing and extending (nonmonotonic) declarative languages to meet the (new) needs of specific application domains (e.g., Multi-Agent Systems, Semantic Web, Web Services, Textual Entailment, Computational Biology). The aim of this session is to facilitate interactions among researchers interested in the design and implementation of such declarative knowledge representation languages and systems, researchers interested in the applicability of such declarative programming paradigms and NMR systems to real-world applications, and researchers who work in the areas of knowledge representation and automated reasoning. The session on declarative programming paradigms and systems for NMR is a one-day event and the technical program forms a part of the Twelfth Nonmonotonic Reasoning Workshop (NMR08), to be held in Sydney, Australia, collocated with the KR/CP/ICAPS 2008 conferences. Authors are invited to submit original papers on declarative programming paradigms and systems for NMR. The list of topics of interest includes, but is not limited to: Answer set programming Logic programming for NMR Declarative agent languages Declarative programming languages for dynamic domains NMR formalisms Representation and programming methodologies for NMR Comparison of programming paradigms for NMR Answer set solvers Reasoning systems based on action languages Cognitive robotics systems Description logic reasoners for NMR Language extensions to NMR systems Algorithms and data structures for NMR systems Optimization techniques needed in NMR systems Computational complexity analysis Program development environments in NMR systems Integration of NMR systems with SAT/SMT/PBO/QBF/CP/ILP solvers Benchmarking for NMR systems Comparison of NMR systems Applications using NMR systems (e.g., Semantic Web, Multi-Agent Systems) Embedded NMR systems: Systems using NMR systems Future challenges for NMR systems Session Co-Chairs Esra Erdem (Sabanci University, Turkey) Joao Leite (New University of Lisbon, Portugal) Program Committee Jose Alferes (New University of Lisbon, Portugal) Marcello Balduccini (Kodak Research Labs, USA) Chitta Baral (Arizona State University, USA) Marina de Vos (University of Bath, UK) Jürgen Dix (TU Clausthal, Germany) Thomas Eiter (Vienna University of Technology, Austria) Paolo Ferraris (Google, USA) Michael Fink (Vienna University of Technology, Austria) Norman Foo (NICTA, University of New South Wales, Australia) Alfredo Gabaldon (NICTA, University of New South Wales, Australia) Martin Gebser (University of Potsdam, Germany) Michael Gelfond (Texas Tech University, USA) Giovambattista Ianni (University of Calabria, Italy) Joohyung Lee (Arizona State University, USA) Nicola Leone (University of Calabria, Italy) Yuliya Lierler (University of Texas at Austin, USA) Fangzhen Lin (Hong Kong University of Science and Technology, Hong Kong) Marco Maratea (University of Genoa, Italy) Ilkka Niemelae (Helsinki University of Technology, Finland) Enrico Pontelli (New Mexico State University, USA) Chiaki Sakama (Wakayama University, Japan) Ken Satoh (National Institute of Informatics, Japan) Torsten Schaub (University of Potsdam, Germany) Tran Cao Son (New Mexico State University, USA) Terrance Swift (XSB Inc., USA) Mirek Truszczynski (University of Kentucky, USA) Submission Details Submissions are limited to 9 pages using KR paper format. Your submission in PDF should be lodged using the following link to Easychair (DPPS08): http://www.easychair.org/conferences/?conf=dpps08 Important Dates Submission of papers: June 22, 2008 Notification of acceptance: July 15, 2008 Camera ready copy (PDF file): August 15, 2008 From csoares at fep.up.pt Mon Jun 16 14:13:39 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Mon, 16 Jun 2008 09:13:39 -0300 Subject: [Fwd: Web and Text Intelligence (WTI08) - last week for paper submission] Message-ID: <485658F3.1060601@fep.up.pt> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calvanese at inf.unibz.it Mon Jun 16 19:20:02 2008 From: calvanese at inf.unibz.it (Diego Calvanese) Date: Mon, 16 Jun 2008 19:20:02 +0200 Subject: RR 2008 - extended deadlines Message-ID: <8987289D-32BE-4729-B0F8-C653621CE5C1@inf.unibz.it> [ Apologies for cross-postings. Please forward to anyone interested. ] RR 2008 The Second International Conference on Web Reasoning and Rule Systems http://www.rr-conference.org/RR2008 Karlsruhe, Germany, October 31 - November 2, 2008 Call for Papers ---------------------------------------------------------------------- EXTENDED DEADLINES: Abstract submission: June 21, 2008 Paper submission: June 28, 2008 submission url: http://www.easychair.org/conferences/?conf=rr2008 ---------------------------------------------------------------------- The International Conference on Web Reasoning and Rule Systems (RR) aims to be the major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2008 builds on the success of The First International Conference on Web Reasoning and Rule Systems RR 2007, which received enthusiastic support from the Web Rules community. In 2008, RR will continue the excellence of the new series and aim to attract the best Web Reasoning and Rules researchers from all over the world. The reasoning landscape features theoretical areas such as knowledge representation (KR) and algorithms; design aspects of rule markup; design of ontology languages; engineering of engines, translators, and other tools; efficiency considerations and benchmarking; standardization efforts, such as the Rules Interchange Format activity at W3C; and applications. Of particular interest is also the use of rules to facilitate ontology modeling, and the relationships and possible interactions between rules and ontology languages like RDF and OWL, as well as ontology reasoning related to RDF and OWL, or querying with SPARQL. Suggested topics include the following, which is not to be considered as an exhaustive list: * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Standardization * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the web * Semantic Web Services modeling and applications * Web and Semantic Web applications LOCATION: The conference is co-located with ISWC 2008 (http://iswc2008.semanticweb.org/), the International Semantic Web Conference. SUBMISSION DETAILS: RR 2008 welcomes original research and application papers dealing with web reasoning and rule systems, with particular attention to the topics listed above. Submitted papers are limited in length to fifteen (15) pages, including title, abstract, and list of references, and should be formatted according to the Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html). Submitted papers must be in PDF format. The full paper submission must be preceded by the submission of an abstract. Submission is via EasyChair, at http://www.easychair.org/conferences/?conf=rr2008 Papers may be accepted as: - full papers (15 pages in the proceedings) - short papers (8 pages in the proceedings) - posters (2 pages in the proceedings) Accepted papers will be published by Springer Verlag in the LNCS series. The best papers may also be considered for publication in a prestigious international journal. IMPORTANT DATES: Abstract submission deadline: June 21, 2008 Paper submission deadline: June 28, 2008 Notification of acceptance decisions: July 21, 2008 Camera-ready papers due: Aug. 15, 2008 RR 2008 conference: Oct. 31 - Nov. 2, 2008 GENERAL CHAIR: Thomas Eiter, TU Vienna (AT) PROGRAM CO-CHAIRS: Diego Calvanese, Free University of Bozen-Bolzano (IT) Georg Lausen, University of Freiburg (DE) PROGRAM COMMITTEE: Jose Alferes, Universidade Nova de Lisboa (PT) Jürgen Angele, Ontoprise GmbH, Karlsruhe (DE) Marcelo Arenas, Pontificia Universidad Catolico de Chile (CL) Uwe Assmann, Technische Universität Dresden (DE) Chitta Baral, Arizona State University (US) Leopoldo Bertossi, Carleton University, Ottawa (CA) Jos de Bruijn, Free University of Bozen-Bolzano (IT) Christoph Bussler, BEA Systems, Inc. (US) Andrea Cali, University of Oxford (UK) Mike Dean, BBN Technologies (US) Hendrik Decker, Ciudad Politécnica de la Innovación, Valencia (ES) Jürgen Dix, Universität Clausthal (DE) Christine Golbreich, University of Versailles Saint-Quentin (FR) John Goodwin, Ordnance Survey (UK) Gianluigi Greco, Università della Calabria (IT) Claudio Gutierrez, University of Chile, Santiago (CL) Giovambattista Ianni, Università della Calabria (IT) Manolis Koubarakis, Nat. and Kapodistrian University of Athens (GR) Domenico Lembo, Sapienza Università di Roma (IT) Francesca A. Lisi, Università di Bari (IT) Bertram Ludaescher, University of California, Davis (US) Thomas Lukasiewicz, Sapienza University of Rome (IT) Carsten Lutz, Technische Universität Dresden (DE) Jan Maluszynski, University of Linköping (SE) Wolfgang May, University of Göttingen (DE) Ralf Möller, Technische Universität Hamburg (DE) Boris Motik, University of Oxford (UK) Wolfgang Nejdl, LS3 and University of Hannover (DE) Daniel Oberle, SAP AG (DE) P.F. Patel-Schneider, Bell Labs (US) Axel Polleres, National University of Ireland, Galway (IE) Guilin Qi, University of Karlsruhe (DE) Dave Reynolds, HP Labs (UK) Marie-Christine Rousset, University of Grenoble (FR) Ulrike Sattler, University of Manchestor (UK) Sebastian Schaffert, Salzburg Research Forschungsgesellschaft (AT) Roman Schindlauer, TU Wien (AT) Michael Sintek, DFKI GmbH, Kaiserslautern (DE) Giorgos Stamou, National Technical University of Athens (GR) Umberto Straccia, ISTI - C.N.R Pisa (IT) Heiner Stuckenschmidt, University of Mannheim (DE) York Sure, SAP AG (DE) Sergio Tessaris, Free University of Bozen-Bolzano (IT) Rodney Topor, University of Griffith (AUS) Dirk Vermeir, University of Brussels (BE) David Warren, SUNY at Stony Brook (US) P.T. Wood, University of London (UK) Guizhen Yang, SRI (US) LOCAL ORGANIZATION: Sebastian Rudolph, University of Karlsruhe (DE) From geoff at cs.miami.edu Tue Jun 17 11:38:31 2008 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 17 Jun 2008 05:38:31 -0400 (EDT) Subject: IJCAR 2008 in Australia Message-ID: <20080617093831.28CA311F9C0@mcclellan.cs.miami.edu> ------------------------------------------------------------------------------- IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning Sydney, Australia, 10th - 15th August, 2008 http://2008.IJCAR.org ------------------------------------------------------------------------------- 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 + 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) ------------------------------------------------------------------------------- Invited Speakers ---------------- + Hubert Comon-Lundh Challenges in the Automated Verification of Security Protocols + Nachum Dershowitz Canonicity + Aarti Gupta Software Verification: Roles and Challenges for Automatic Decision Procedures + Carsten Lutz Query Answering in Description Logics ------------------------------------------------------------------------------- Workshops, Tutorials -------------------- There will be four workshops and four tutorials before IJCAR, 10th and 11th August. See their individual WWW pages, linked from the IJCAR WWW pages for more information. + Workshops - The 5th International Verification Workshop (VERIFY'08) - Practical Aspects of Automated Reasoning/ Evaluation of Systems for Higher Order Logic (PAAR/ESHOL) - Complexity, Expressibility, & Decidability in Automated Reasoning (CEDAR'08) - Constraints in Formal Verification + Tutorials - Introduction to Nominal Isabelle - Christian Urban - Formal Methods in Use at Galois, Inc. - Joe Hurd - SMT Solvers in Program Analysis and Verification - Nikolaj Bjorner and Leonardo de Moura - Coalgebraic Logics and Applications (COALA) - Dirk Pattinson ------------------------------------------------------------------------------- Social Events ------------- + Welcome reception at the conference hotel. + Excursion to the amazing Blue Mountains + Conference banquet + CASQ-J4 - the CADE Squash Competition All are included in the conference package, as well as refreshment breaks and lunches for all main conference days. ------------------------------------------------------------------------------- Student Travel Awards --------------------- Two award schemes that provide sponsorhips to support student attendance at IJCAR are available. See the IJCAR 2008 WWW pages for details. We are also organizing room sharing at the conference hotel. ------------------------------------------------------------------------------- Contact: Peter Baumgartner (conference chair) Peter.Baumgartner at nicta.com.au ------------------------------------------------------------------------------- From ilona.zaremba at sti2.at Tue Jun 17 13:38:28 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Tue, 17 Jun 2008 13:38:28 +0200 Subject: mda4soa'08 Workshop - extended deadline for paper submissions: June 30 Message-ID: <4857A234.3030707@sti2.at> ==== SUBMISSION DEADLINE EXTENDED: 30 June 2008 ==== Modeling, Design, and Analysis for Service-oriented Architectures Workshop; 3rd edition (mda4soa'08) http://events.deri.at/mda4soa2008/ co-located with the with the 12th Enterprise Computing Conference (EDOC 2008) 17 September 2008, München , Germany GENERAL OVERVIEW A new paradigm – service-orientation – is currently emerging for distributed computing and e-business processing; it has evolved from object-oriented and component-based computing to enable building agile networks of collaborating business applications distributed within and across organizational boundaries. This new paradigm utilizes services (autonomous platform-independent computational elements that can be described, published, discovered and accessed over the Internet using standard protocols) as fundamental elements for developing applications/solutions; services will be important for customers and not the specific software or hardware component that is used to implement the services. In this context, services become the next level of abstraction in the process of creating systems that would enable automation of e-businesses. This paradigm shift is changing the way the computer software is developed and used (designed, architected, delivered, consumed, and analysed), and this way of reorganizing software applications and infrastructure into a set of interacting services is usually referred to as Service-oriented Architecture s (SOA). In recent years, various forms of service-oriented architectures have appeared; amongst them, Web services, Grid services, Semantic Web Services, and e-Services are the most important. Although they share some of the principles of service-oriented architectures, they differ in many other aspects, which is an undesirable situation in the context of service-oriented architectures. Since standard protocols are a basic principle of SOA, this undesirable situation is partly due also to the fact that there are currently no mature methodologies and techniques to support analysis for service-oriented architectures. Moreover, all these forms of service-oriented architectures have developed different conceptual models, resulting in different methodologies for modelling and designing service-oriented architectures. In this context, this workshop aims to tackle the research problems (as well as practical experiences) around methods, concepts, models, languages and technology that enable computing in service-oriented environments. Of particular interest are the architectural, technical, and developmental foundations of service-oriented architectures, and showing how they combine synergistically to enable distributed computing on the scale required by today's Internet-connected enterprise. The focus of the workshop is broader than, but includes, the OMG MDA (Model Driven Architecture) approach for service oriented architectures. MDA was for the first international workshop, mda4soa'06, used as short for Modeling, Design and Analysis. The workshop aims to bring together researchers and industry practitioners (e.g. leading modelers, architects, system vendors, open-source projects, developers, and end-users) addressing many of these issues (including recent developments in tools and techniques, and real-world implementations of service-oriented distributed applications), and promote and foster a greater understanding of how service-oriented architectures can assist business to business and enterprise application integration, thus helping people develop and manage business processes more efficiently and effectively. TOPICS The following indicates the general focus of the workshop. However, related contributions are welcome as well. * case studies for service-oriented architectures and systems * analysis methodologies for service-oriented architectures and systems * languages and methods for service-oriented architectures * specification of service-oriented architecture * MDA (OMG Model Driven Architecture) for service-oriented architectures * DSL (Domain Specific Languages) for service-oriented architectures * modeling and simulation of service-oriented architectures * verification and validation of service-oriented architectures * evaluation of service-oriented architectures * analysis and design of mobile service-oriented architectures * patterns in modelling, design, and analysis for service-oriented architectures * guidelines for developing service-oriented applications * techniques for integrating service-oriented architectures * semantic aspects and ontologies for service-oriented architectures * formal models for service-oriented architectures; reasoning with service-oriented architectures * quality of services (QoS) analysis and modelling in service-oriented architectures * services level agreements (SLAs) modelling and negotiation in service-oriented architectures * analysis and modelling of security, privacy, and trust in service-oriented architectures * policy-based service-oriented architectures * methods for migrating legacy systems to service-oriented architectures * discovery, composition, execution, monitoring, and mediation in service-oriented architectures * adaptability and recovery strategies in service-oriented architectures * models for governance in service-oriented architectures * specifications and models for service-oriented architectures: Web services, Grid services, Semantic Web Services, and e-Services * standards for modeling, specification, design and analysis of service-oriented architectures * tools, environments and factories for modelling, design and analysis of service-oriented architectures WORKSHOP FORMAT AND ATTENDANCE The program will occupy a full day, and will include presentations of papers selected from the full papers category (see 'submissions' below). Please note that at least one author of each accepted submission must attend the workshop. The EDOC 2008 conference formalities are applied for fees and respective organizational aspects. Submission of a paper is not required for attendance at the workshop. However, in the event that the workshop cannot accommodate all who would like to participate, those who have submitted a paper (in any category) will be given priority for registration. SUBMISSIONS The workshop invites different types of contributions: * Papers * Demos * Posters / Position papers Papers:The papers should not exceed 8 pages and should have the IEEE layout. Demos: Detailed description plus sufficient number of screenshots or a video of the demo are required. For paper-based submissions, please follow the IEEE layout. Please note that at the workshop itself no technical support is provided except possibly Internet connection and power (to be confirmed). Posters/Position papers: The posters/position papers should not exceed 4 pages and should have the IEEE layout. All contributions will be peer reviewed by a program committee that will incorporate well recognized experts in the area of service-oriented architectures. All submissions should be formatted in the IEEE layout, and should be submitted in electronic format using the link: http://www.easychair.org/conferences/?conf=MDA4SOA2007. All accepted full papers and all position papers of attendees will be published in the proceedings of the workshop. Workshop proceedings will be published with IEEE Computer Society Press and will be available at the workshop. IMPORTANT DATES * Paper submission deadline (extended): 30 June 2008 * Paper acceptance notification: 18 July 2008 * Camera ready of papers: 28 July 2008 * Workshops day: 17 September 2008 ORGANIZING COMMITTEE Jim Amsden, IBM, USA Michael Bell, Methodologies Corporation, USA Arne J. Berre, SINTEF, Norway Dumitru Roman, Semantic Technologies Institute, Austria PROGRAM COMMITTEE Mikio Aoyama, Nanzan University, Japan Ali Arsanjani, IBM, USA Siegfried Benkner, University of Vienna, Austria Thomas Erl, SOA Systems Inc., Canada Jeffrey A. Estefan, Jet Propulsion Laboratory, USA Juan Miguel Gómez, Universidad Carlos III de Madrid, Spain Roy Grønmo, SINTEF, Norway Sung-Kook Han, Wonkwang University, South Korea Martin Henkel, Royal Institute of Technology, Sweden Martin Hepp, STI Innsbruck, Austria Rania Khalaf, IBM, USA Jacek Kopecký, STI Innsbruck, Austria Ken Laskey, MITRE, USA Yen-Jen Lee, Google, USA Lin Liu, Tsinghua University, China Mihhail Matskin, Royal Institute of Technology, Sweden Francis McCabe, StarView Technologies, USA Barry Norton, Open University, UK Guadalupe Ortiz, University of Extremadura, Spain Stefano de Panfilis, Engineering, Italy Claus Pahl, Dublin City University, Ireland Cesare Pautasso, University of Lugano, Switzerland Brahmananda Sapkota, DERI, Ireland Anne-Marie Sassen, EU Commission, Belgium Ioan Toma, STI Innsbruck, Austria Aphrodite Tsalgatidou, NKUA, Greece Weider Yu, San Jose State University, USA Liang-Jie Zhang, IBM, USA Andrea Zisman, City University, UK From ilona.zaremba at sti2.at Tue Jun 17 14:00:32 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Tue, 17 Jun 2008 14:00:32 +0200 Subject: CALL FOR PAPERS: Second International Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web (at ISWC 2008) Message-ID: <4857A760.5010901@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 26 or 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, 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 robert at grid.chu.edu.tw Tue Jun 17 14:33:01 2008 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Tue, 17 Jun 2008 20:33:01 +0800 Subject: IEEE APSCC-08 submission deadline extended Message-ID: <200806171233.m5HCX1qY029999@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ilona.zaremba at sti2.at Wed Jun 18 14:57:56 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Wed, 18 Jun 2008 14:57:56 +0200 Subject: CALL FOR PARTICIPATION: 10th International Conference on Electronic Commerce, August 19-22, Innsbruck, Austria Message-ID: <48590654.1010807@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 c.mueller at jacobs-university.de Thu Jun 19 19:07:30 2008 From: c.mueller at jacobs-university.de (Christine =?ISO-8859-1?Q?M=FCller?=) Date: Thu, 19 Jun 2008 19:07:30 +0200 Subject: SCooP - Final Call for Participation; Agenda is online Message-ID: <1213895250.13995.33.camel@galactica> (apologies for cross-postings) 2nd Workshop on Scientific Communities of Practice (SCooP) on June 27th 2008 at Jacobs University Bremen. http://jem-thematic.net/seminar/scoop2008 CALL FOR PARTICIPATION Come join us for the 2nd Workshop on Scientific Communities of Practice (SCooP) on June 27th at the Jacobs University Bremen. We are very proud to announce our invited speakers: David Chavalarias, researcher at the Paris Ile-de-France Complex Systems Institute (http://iscpif.fr) focusing on social cognition and social systems modeling. His talk will be about reconstructing and representing the evolution of a field of science at different levels by extracting structure from a large publication corpus of the complex systems community. A series of methods as well as visualization will be presented. Florian Rabe, Ph.D. at the Jacobs University Bremen will give an overview over the history of logic and the foundations of mathematics and analyzes it from the point of view of communities of practice. Please see the agenda online. Proceedings will be published soon in the JEM Portal and at http://kwarc.info/events/scoop/scoop2.html NOW IT IS UP TO YOU - REGISTRATION IS OPEN - Please register at http://jem-thematic.net/seminar/scoop2008 (bottom of the page; you need to log in to see the registration field) Registration fee is 10 Euros. - DIRECTIONS - The workshop will take place in West Hall 2 on campus of Jacobs University Bremen see the following map http://kwarc.info/events/papers/directions.pdf - FURTHER LINKS - * SCooP Mailing List: http://lists.jacobs-university.de/mailman/listinfo/project-scoop * SCooP Interest Group at http://jem-thematic.net/sig/scoop The workshop is funded by the Joining Educational Mathematics Network http://jem-thematic.net/ From nbassili at csd.auth.gr Fri Jun 20 15:08:11 2008 From: nbassili at csd.auth.gr (Nick Bassiliades) Date: Fri, 20 Jun 2008 16:08:11 +0300 Subject: RuleML-2008: Call for Lightning/Highlight Talks & Fast Abstracts Message-ID: <485BABBB.7020305@csd.auth.gr> [ our apologies should you receive this message more than one time ] ===================================================================== Due to a number of requests we have decided to extend the submission deadline for challenge/demo papers by 2 weeks. NEW deadline for challenge/demo paper submission: July 2 Accepted demo papers are published in Springer LNCS Proceedings. ===================================================================== 2008 International RuleML Symposium on Rule Interchange and Applications (RuleML-2008) October 30-31, 2008, Orlando, Florida http://2008.ruleml.org =================================================== Call for Lightning/Highlight Talks & Fast Abstracts =================================================== Lightning Talks --------------- A lightning talk is a five-minute presentation on any topic of interest to the RuleML community; it can be a new idea, a technology, an evaluation, an observation, a complaint, an explanation, a suggestion, a report of success or failure, a call to action, a description of a technique, or a lament. In general, it is supposed to be a short visionary talk which should initiate discussion. If you are a rule developer working on an exciting project and you do not have the time to submit a full paper, Lightning talks are a great way to interact with the RuleML community and receive feedback on your ideas. Lightning talks are presented back-to-back with a strictly enforced five minute limit, so make sure that you can fit your presentation within this time span. People interested at giving a lightning talk during RuleML-2008 should show their their interest by sending an email to ruleml2008 at easychair.org by August 13, 2008, including a title and a 250-word abstract of their intended talk. Decisions will be notified by September 1st. Highlight Talks --------------- We invite the submission of outstanding full papers that have been published between 2007 and the submission deadline (August 13,2008). Publications that are "in press" and already linked on the journal web site are also welcome. A group of experts will select the papers to be presented at the meeting considering the impact of the work on the field, the likelihood that the work makes a good presentation, and the relevance for the topics of RuleML-2008, in general. Submissions should be sent directly to the RuleML-2008 chairs at ruleml2008 at easychair.org by August 13, 2008, and must include the following: * Name/affiliation/email of submitter (assumed to be the presenter; note that the presenter cannot change because the identity and ability to present of that person will be an essential selection criterion). * Names/affiliations/email of ALL coauthors (note: any name appearing on a published paper has to be added here). Note that all co-authors have to agree to the submission and that it is the responsibility of the submitter to guarantee that all co- author email addresses are correct (email notifications of the submission will be sent to all co-authors). * Additional contact information (for presenter). * A 250-word abstract-like argument that explains how the submitted paper(s) suit the goal of presenting highlights that impacted the field. * Sources of original publication(s) (Year, Journal, Vol., pages). * PDF with paper(s) (note: in case of the submission of 2 papers, both have to be merged into one single PDF; all reviews will be based on the content of this PDF). * Optional: link to Google Video demonstrating presentation skills of presenter. * Note that we will need PDF submissions; the system will neither be able to handle ASCII, nor Word, nor LaTeX, nor anything other than standard PDF. It is the responsibility of the submitter to verify that the PDF is completely viewable/printable by all major operating systems (LINUX, MacOS, Windows). * Each presenter can submit a maximum of one application to present a highlight. The maximal number of submissions per author/co-author is 5. All submissions will be evaluated by a group of reviewers. Reviewers will consider the following criteria: * Relevance, interest, and value of the topic to RuleML-2008 attendees, * Impact of the paper(s) on rules (while the impact of papers on science is not fully reflected by ISI/Google-like impact factors or high number of downloads, high values in such factors will clearly stand as a strong argument for acceptance), * "Presentability" of the work to a large, diverse audience, * Quality of oral presentations by the submitter (if none). These "soft" criteria attempt to capture the underlying concept, namely the presentation of exciting and thought-provoking seminars that will both contribute to the success and attraction-value of RuleML-2008 and to the impact the meeting has on advancing rule interchange and applications. The criterion of "presentability" accounts for the fact that some papers that will completely change the field, or will become citation records may not translate to exciting seminars. The selected Highlights will be presented in a special track during the RuleML-2008 Symposium. All presentations will have to be completed within 20 minutes and will be followed by 5-minute discussions. While presenters are expected to focus mostly on the chosen paper(s), short infusions of more recent data are welcome. Decisions will be notified by September 1st. Fast Abstracts -------------- Fast Abstracts at RuleML-2008 are short presentations, either on new ideas or work in progress, or radical opinions that can address any issue relevant to RuleML-2008. Fast Abstracts provide an opportunity to receive early feedback from the community. Contributions are particularly solicited from industrial practitioners and academics that may not have been able to prepare full papers, but seek an opportunity to engage with the RuleML community. Fast Abstracts should be 4-pages long, and must be formatted in LNCS format (http://www.springer.de/comp/lncs/authors.html). The submission deadline is August 13, 2008. Submissions should be sent directly by email to ruleml2008 at easychair.org, and they will be refereed on the relevance to RuleML 2008, but also on their novelty of idea and/oor on their capacity to stimulate and intrigue the reader. Accepted contributions will be published in electronic form (at the Symposium's Web site and on CD), and an author will deliver a short talk in the Fast Abstracts track at the conference. Decisions will be notified by September 1st. Authors of accepted fast abstracts must provide the camera ready version by September 15. At least one author of each accepted Fast Abstract is expected to register to the conference before or on September 15. ------------------------------------------------------------------------- ========================= The RuleML-2008 Symposium ========================= Collocated with the 11th International Business Rules Forum, the 2008 International Symposium on Rule Interchange and Applications (RuleML-2008) is the second symposium (after last year's highly successful RuleML-2007 - http://2007.ruleml.org/) devoted to work on practical distributed rule technologies and rule-based applications which need language standards for rules operating in the context of, e.g., the Semantic Web, Intelligent Multi-Agent Systems, Event-Driven Architectures and Service-Oriented Computing Applications. The RuleML symposium is a new kind of event where the Web Rules and Logic community joins the established, practically oriented Forum of the Business Rules community ( http://www.businessrulesforum.com) to help cross- fertilizing between Web and Business Logic technology. The goal of RuleML-2008 is to bring together rule system providers, representatives of, and participants in, rule standardization efforts (e.g., SBVR, RuleML, RIF, PRR, CL) and open source rules communities (e.g., jBoss Rules, CLIPS/Jess, Prova, OO jDrew, Mandarax, XSB, XQuery), practitioners and technical experts, developers, users, and researchers. They will be offered an exciting venue to exchange new ideas, practical developments and experiences on issues pertinent to the interchange and application of rules in open distributed environments such as the Web. The Symposium gives emphasis on practical issues such as technical contributions and show case demonstrations of effective, practical, deployable rule-based technologies, rule interchange formats and applications as well as discussions of lessons learned that have to be taken into account when employing rule-based technologies in distributed, (partially) open, heterogeneous environments. We also welcome groundwork that helps to build an effective, practical, and deployable rule standard, improve rule technology, provide better understanding of the integration and interchange of rules, and make the current generation of rule engines and rule technology more usable for advanced Web and Service Oriented Architectures. -------------------------------------------------------------------- RuleML-2008 Highlights * Keynote speakers: o Michael Kifer (State University of New York at Stony Brook), on WC3's Rule Interchange Format (RIF). Joint keynote between RuleML-2008 and RR2008. o David Luckham (Stanford University, USA) on complex event processing. o Paul Haley (Haley Systems, Inc) on business rules. o Benjamin Grosof (Vulcan, Inc.) on the SILK KRR system of the HALO project. * Joint Lunch Panel held in conjunction with the co-located Business Rules Forum on "Rules on the Web". * Lightning talks/Highlight talks * A RuleML-2008 Challenge with prizes to demonstrate tools, use cases, and applications. * Industry, demo and scientific research & development papers and presentations advancing and assessing the state of the art in event and rule-based systems selected in a peer-reviewed fashion by an international program committee. * Papers will be published as a Springer LNCS proceedings. A special issue (IEEE TKDE pending) will be forthcoming. * Social events to promote networking among the symposium delegates in an informal setting. -------------------------------------------------------------------- RuleML-2008 Challenge The RuleML-2008 Challenge is one of the highlights of RuleML-2008. It addresses the system demonstration for practical use of rule technologies in distributed and/or Web-based environments. The focus of the challenge is on rule technologies (including rule languages and engines), interoperation and interchange. The challenge offers participants the chance to demonstrate their commercial and open source tools, use cases, and applications. Prizes will be awarded to the two best applications. All accepted demos will be presented in a special Challenge Session. Submissions to the RuleML Challenge 2008 consist of a demo paper (up to 8 pages), describing the demo show case, and a link to more information about the demo/show case, e.g. a project site, an online demonstration, a presentation, or a download site. Demo papers should contain a substantial presentation of the system to enable a proper evaluation of the techniques used. The content of papers should be sufficiently substantial for publication in the conference proceedings. The demo paper should be submitted through EasyChair, while the demo link should be submitted through the Challenge Website, after which it will be publicly available immediately. NEW deadline for challenge/demo paper submission: July 2 More details in: http://2008.ruleml.org/challenge.php -------------------------------------------------------------------- ===================================================================== Co-located with: The 11th International Business Rules Forum http://www.businessrulesforum.com ===================================================================== Sponsored by: Gold level : Vulcan Inc Silver level: Model Systems Bronze level: STI Innsbruck, ruleCore, JBoss Sponsoring opportunities: http://2008.ruleml.org/sponsoring/ ===================================================================== In Co-operation with: AAAI, W3C, BPM-Forum, Business Rules Forum , ECCAI, OASIS, OMG, Dallas Rules Group, Belgium Business Rules Forum, MIT Sloan CIO Symposium, ACM, ACM SIGART, ACM SIGMIS, ACM SIGWEB, Open Research Society, IEEE Systems Man and Cybernetics Society IEEE SMCS TC on Intelligent Internet Systems IEEE SMCS TC on Distributed Intelligent Systems IEEE Computer Society TC on Autonomous and Autonomic Systems ===================================================================== Media Partners: Springer LNCS, MoDo Marketing ===================================================================== From mpavone at dmi.unict.it Sat Jun 21 11:54:32 2008 From: mpavone at dmi.unict.it (Mario Pavone) Date: Sat, 21 Jun 2008 11:54:32 +0200 Subject: International School of Natural Computation - *Extended* Deadline July 16th, 2008 Message-ID: <20080621115432.zabzf0xxcw4sco4c@mbox.dmi.unict.it> * Our apologies if you receive multiple copies of this announcement * * Please pass this Call for Partecipation to interested Colleagues * Bertinoro International Summer School of Natural Computation - BNC 2008 University Residential Center - Bertinoro (Forlì-Cesena), Italy September 20-27, 2008 http://www.dmi.unict.it/~bnc/ The International Summer School of Natural Computing is devoted to disseminate the various branches of Natural Computing. The school will gather leading specialists from several horizons lecturing and discussing on the achievements and perspectives both fundamental and applied, non excluding junior scientists and PhD students. List of topics: Self-Organizing Systems; DNA, BioMolecular and Chemistry Computing; Artificial Immune Systems; Metabolic Systems and Artificial Biochemistry; Bio-Inspired Robotics; Rule-Based Modeling of Biochemical Systems; Synthetic Biology for Natural Computing vs. Synthetic Biology for Bioengineering. The school is interdisciplinary in nature, and can be seen both as a School for advanced students, and as a Workshop for researchers. Leading world-renowned researchers in various research areas of Natural Computing will hold tutorials on their subject area, while new ideas will be presented in poster sessions, discussions and short seminars. The school is structured in lectures in the morning and poster/seminar sessions and informal discussion in the afternoon. Students in different area of computer science, natural sciences and mathematics are particularly encouraged to apply. Accepted students may submit a poster and/or a seminar to present their recent research activities. The main goal of this International school is to develop the mutual interaction between specialists from natural computing scientists and biologists. For the students, the prime objective is to learn state-of-art methodologies, algorithms and problems in Natural Computing. The School is supported by BiCi with its Leonardo Melandri Program, University of Cambridge and University of Catania. Speakers "Modeling aging within bacterial populationu sing a probabilistic p-calculus", Bruno Apolloni, University of Milan, Italy "Biological-inspired Robotics", Paolo Arena, University of Catania, Italy "Genetic networks underlying neural stem cell behaviour", Andrea Brand, University of Cambridge, UK "Molecules as Automata", Luca Cardelli, Microsoft Research, Cambridge, UK "Nature-Inspired Approach applied to Game Theory", Vincenzo Cutello, University of Catania, Italy "Formal Methods, Concurrency and Rule-based Modeling in System Biology (part 4/4)", Troels Damgaard, University of Copenhagen, Denmark "Formal Methods, Concurrency and Rule-based Modeling in System Biology (part 2/4)", Vincent Danos, CNRS, Universite Denis Diderot, France "Executable Models for Synaptic Plasticity", Pierpaolo Degano, University of Pisa, Italy. "Formal Methods, Concurrency and Rule-based Modeling in System Biology (part 1/4)", Walter Fontana, Harvard University, USA "Perspectives in synthetic Biology", Jim Haseloff, University of Cambridge, UK "Formal Methods, Concurrency and Rule-based Modeling in System Biology: Simulation and Causality in rule based modeling of bio molecular pathways (part 3/4)", Jean Krivine, Ecole Polytechnique, Palaiseau Cedex, France "Systems Biology: Combining Formal and Statistical Approaches", Pietro Liò, University of Cambridge, UK "Mathematical Aspects of Information Storage", Lakshminarayanan Mahadevan, Harvard University, USA "Metabolic Systems", Vincenzo Manca, University of Verona, Italy "Combinatorial optimization by natural processes, with a special eye to ants", Vittorio Maniezzo, University of Bologna, Italy "DNA Computing", Giancarlo Mauri, University of Milan Bicocca, Italy "Optimization and Design using Nature-Inspire Computing", Giuseppe Nicosia, University of Catania, Italy "The BlenX programming language: a biology encoder", Corrado Priami, Microsoft Research - University of Trento CoSBi, Italy "Natural Computation", Grzegorz Rozenberg, Leiden University, The Netherlands "Engineering Immunity: From Natural and Artificial Immune Systems", Jon Timmis, York University, UK. "Body and Cognition in Organismal Architectures: from Organelles to Embryo", Luca Zammataro, Cnr, Italy Seminars There will be several seminars complementing the topics treated in the course. "TBA", Paolo Bellavista, University of Bologna, Italy "TBA", Tammy Cheng, University of Cambridge, UK "TBA", Eric Yu-En Lu, University of Cambridge, UK "Bio-inspired and spatial abstractions for pervasive computing", Marco Mamei, University of Modena, Italy "A spatial model and simulator for metabolic pathways", Emanuela Merelli, University of Camerino, Italy Registrations Close: July 16th, 2008 (*entended* deadline) The registration fee for the School is 990 Euro (resp. 1190 Euro) and includes all local expenses from the evening of Saturday September 20th to morning on Saturday September 27th including * all meals (breakfast, lunch, dinner), * on-site lodging in double-occupancy (resp. single) rooms, * all Courses, * Lecture Notes, * Coffee Breaks, * Computer rooms and Internet Connection, * Social Tour to Bologna, and * Social Tour to Ravenna. Attendance is limited to 60 students (M.Sc students, Ph.D. students, Post-Doc) and will be allocated on a first-come-first-served basis. All applicants must complete a Registration Form by Wednesday, July 16th 2008. After this is complete, they should pay, following the instructions, as soon as possible, and before July 30th, 2008 (Applications are considered complete only after the payment has been received). The form is available on the official web site. Follow instructions from the form, in order to complete the registration. You will receive a confirmation email. The *extended* registration deadline is: Wednesday July 16th, 2008 Past this deadline, the Bertinoro Center will accept registrations on a space availability basis. For any questions regarding registration, accomodations, accompanying persons, etc. please contact Eleonora Campori at ecampori at ceub.it. For any question please send email to bnc at dmi.unict.it Best Regards, Mario Pavone - Publicity Chair -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383038 fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone ------------------------------------------------ ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program. From demis at dimi.uniud.it Sat Jun 21 13:54:02 2008 From: demis at dimi.uniud.it (demis at dimi.uniud.it) Date: 21 Jun 08 13:54:02 +0200 Subject: CfPart: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) Message-ID: <20080621115400.33FC63FC210@sole.dimi.uniud.it> WFLP 2008 - CALL FOR PARTICIPATION !!! Early registration deadline: JUNE 25, 2008 !!! =================================================================== WFLP 2008 17th International Workshop on Functional and (Constraint) Logic Programming Siena, Italy, July 3-4, 2008 http://wflp08.dimi.uniud.it/ co-located with WWV'08 http://wwv08.dimi.uniud.it/ =================================================================== WFLP'08 will be held in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ SCOPE The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the integration of the two paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The WFLP'08 program includes 14 regular papers and an invited talk by Dale Miller (Ecole Polytechnique Paris, France). From Belaid.Benhamou at cmi.univ-mrs.fr Sat Jun 21 16:14:30 2008 From: Belaid.Benhamou at cmi.univ-mrs.fr (benhamou) Date: Sat, 21 Jun 2008 16:14:30 +0200 Subject: Second CFP of SymCon'08 In-Reply-To: <467543AB.5040804@cmi.univ-mrs.fr> References: <200601291711.k0THB45e018819@birkhoff.cas.mcmaster.ca> <458C0FEC.4030407@cmi.univ-mrs.fr> <45BA3081.6040905@cmi.univ-mrs.fr> <464469EC.5060402@cmi.univ-mrs.fr> <467543AB.5040804@cmi.univ-mrs.fr> Message-ID: <485D0CC6.2070104@cmi.univ-mrs.fr> We apologize for multiple copies of this Call. ================================================================ Call for Papers SymCon'08 The Seventh International Workshop on Symmetry in Constraint Satisfaction Problems (http://www.aloul.net/symcon) To be held at the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008) Sidney, Australia September 15th 2008 ================================================================ WORKSHOP DESCRIPTION -------------------- SymCon'08 is the 8th in a series of workshops affiliated with the CP conference, and focuses on the investigation of symmetry and symmetry breaking techniques for Constraint Satisfaction Problems (CSPs). Symmetries occur frequently in CSPs. When undetected, they cause thrashing during traditional backtracking search by redundantly exploring symmetric parts of the search space. The topic was discussed as far back as 1874 by Glaisher, and new techniques to detect and/or break symmetry have been proposed in recent years. However, many outstanding problems remain. For instance, the detection and exploitation of local, dynamic, and weak forms of symmetry remains a challenge. The workshop is a forum for researchers to present advances in symmetry breaking techniques and to discuss the above or other open problems. Additionally, the workshop welcomes the presentation of applications and case studies that exhibit some form of symmetry. The workshop is relevant to the computational group theory (CGT) community because CGT is often the theory underlying many symmetry breaking techniques. Importantly, the organizers welcome submissions from researchers working in other areas of Artificial Intelligence who feel that their work would be of interest to the CP community. Such areas include planning, model checking, QBF formulas, finite model search, and theorem proving in FOL. Workshop topics include, but are not limited to: - Symmetry definition: semantic symmetry, syntactic symmetry, constraint symmetry, solution symmetry - Automatic symmetry detection: static approaches and dynamic approaches - Global symmetry detection and elimination - Dynamic symmetry detection and elimination - Combining symmetry breaking techniques - Exploiting weak forms of symmetries like "dominance" and "almost-symmetries" - Case studies of problems that exhibit interesting symmetries - Application of computational group theory techniques to symmetry breaking - Heuristics that use information about symmetry to guide search - Elimination and avoidance of symmetry by re-modelling - Dynamic avoidance of symmetric states during search - Complexity analysis of symmetry breaking techniques - Application of CSPs to symmetry and related algebraic problems - Comparing symmetry breaking techniques in constraint programming with techniques for dealing with symmetry in other search domains - Symmetry in CNF formulas and OBF formulas - Symmetry in finite model search in first order logic - Novel exploitation of symmetry in varied search domains of interest to the CP community ATTENDANCE ---------- The workshop is open to all members of the CP community. At least one author of each submission accepted for presentation must attend the workshop and present the contribution. All workshop attendees must pay the workshop fee. PAPER SUBMISSION ---------------- To submit a paper to the workshop, please e-mail a PS or PDF file in IJCAI03 style to symcon2008 at cril.fr. Style files can be obtained at http://www.aloul.net/symcon Papers must be formated in IJCAI requirements and can be of any length but should not exceed 8 pages. All submissions must be received by June 29th, 2008. The Program Committee Chairs will acknowledge all submissions. If a submitted paper is not acknowledged in 2 working days, the authors are kindly requested to contact one of the chairs. SELECTION PROCESS ----------------- All submissions will be reviewed. Those that present a significant contribution to the workshop topics will be accepted for publication in the workshop proceedings. The proceedings will be available electronically at the workshop web-page and in hardcopy at CP 2008. If necessary, for time reasons, only a subset of the papers will be presented. A selection will then be made by the Program Committee Chairs. Post-publication of the proceedings is currently under negotiation. IMPORTANT DATES --------------- Submission deadline: Sunday, 29th June 2008 Notification of acceptance: Thursday, 17th July 2008 Camera ready deadline: Sunday, 3rd August 2008 Workshop: Monday, 15th September 2008 PROGRAM COMMITTEE CHAIRS ------------------------ - Fadi Aloul American University of Sharjah, UAE Email: faloul at aus.edu - Belaid Benhamou University of Provence (Aix-Marseille I) LSIS-CMI, 39 F. Joliot-Curie 13453 Marseille Cedex13 France. Email: Belaid.Benhamou at cmi.univ-mrs.fr - Lakhdar Sais University of Artois Rue Jean Souvraz SP-18 F-62307 Lens Cedex 3, France E-mail : sais at cril.fr PROGRAM COMMITTEE (Provisional List) ----------------- - Anbulagan, NICTA Ltd, Australia - Gilles Audemard, Université d'Artois, France. - Rolf Backofen, Albert-Ludwigs-University, Germany - Brendan D. McKay, Australian National University, Australia - Berthe Y. Choueiry, University of Nebraska-Lincoln Lincoln, USA - Pierre Flener, Sabanci University, Turkey and Uppsala University, Sweden - Brahim Hnich, Izmir University of Economics Sakarya Caddesi, Izmir, Turkey - Ines Lynce, Instituto Superior Tecnico INESC-ID Lisboa, Portugal - Zeynep Kiziltan, University of Bologna, Italy - Derek Long, University of Strathclyde, Glasgow, UK - Igor Markov, University of Michigan, U.S.A. - Pedro Meseguer, Universitat Autonoma de Barcelona, Spain. - Michela Milano, University of Bologna, Italy - Karen Petrie, Oxford University, UK - Steve Prestwich, University College Cork, Ireland - Pierre Seigel, University of Provence, Aix-Marseille I, France - Meinolf Sellmann, Brown University, U.S.A. - Barbara Smith, Cork Constraint Computation Centre, Irland. - Pascal Van Hentenryck, Brown University, U.S.A. - Toby Walsh, University of New South Wales, Australia - Jian Zhang, Chinese Academy of Sciences, China From csoares at fep.up.pt Sat Jun 21 21:38:29 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Sat, 21 Jun 2008 16:38:29 -0300 Subject: [Fwd: Web and Text Intelligence (WTI08) - submission deadline extended for technical reasons] Message-ID: <485D58B5.3080407@fep.up.pt> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From csoares at fep.up.pt Mon Jun 16 14:15:43 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Mon, 16 Jun 2008 09:15:43 -0300 Subject: CORRECTED [Fwd: Paper Submission Deadline of ICTAI 2008 is extended to June 23] In-Reply-To: References: <484955C7.9000009@fep.up.pt> Message-ID: <4856596F.5060606@fep.up.pt> Dear Peter, I apologize for the mistake. I only noticed the problem after pressing the send button. Best regards, Carlos Administrator of mailing lists of CIG wrote: > Dear Carlos, > if you want to have the post through the Event at CIG list, > please send a correct *plain* announcement without private parts. > > Thank you for using the Event at CIG list. > > Best regards, > > Peter Novak, Event at CIG administrator. > > On Fri, 06 Jun 2008 16:20:39 +0100 > Carlos Soares wrote: >> Please replace the previous message with this one. >> Best regards, >> Carlos >> >> >> The paper submission deadline of the Int'l Conference on Tools with >> Artificial Intelligence (ICTAI 2008) is extended to June 23, as >> specified on the conference website at: >> http://dblab.cs.wright.edu/ictai2008/ >> >> >> >> > > > From hra at pixel.cviog.uga.edu Sun Jun 22 03:12:25 2008 From: hra at pixel.cviog.uga.edu (Hamid R. Arabnia) Date: Sat, 21 Jun 2008 21:12:25 -0400 Subject: Call For Participation: WORLDCOMP'08 Congress (CS and CE conferences), July 14-17, 2008, Las Vegas Message-ID: <20080622011225.9E4B8224558D@pixel.cviog.uga.edu> Call For Participation WORLDCOMP'08 The 2008 World Congress in Computer Science, Computer Engineering, and Applied Computing Date and Location: July 14-17, 2008, Las Vegas, USA http://www.world-academy-of-science.org/worldcomp08/ws This is an invitation to attend WORLDCOMP'08 Congress. WORLDCOMP'08 is composed of a number of tracks (joint-conferences, tutorials, and workshops); all will be held simultaneously, same location and dates: July 14-17, 2008. Attendees will have full access to all conferences' sessions, tracks, and tutorials. See below for: the complete list of joint-conferences, list of sponsors, registration information, hotel information, and some highlights. LIST OF JOINT-CONFERENCES: o BIOCOMP'08: Bioinformatics & Computational Biology o CDES'08: Computer Design o CGVR'08: Computer Graphics & Virtual Reality o CIC'08: Communications in Computing o CSC'08: Scientific Computing o DMIN'08: Data Mining o EEE'08: e-Learning, e-Business, Enterprise Information Systems, & e-Government o ERSA'08: Engineering of Reconfigurable Systems & Algorithms o ESA'08: Embedded Systems & Applications o FCS'08: Foundations of Computer Science o FECS'08: Frontiers in Education: CS and CE o GCA'08: Grid Computing & Applications o GEM'08: Genetic & Evolutionary Methods o ICAI'08: Artificial Intelligence o ICOMP'08: Internet Computing o ICWN'08: Wireless Networks o IKE'08: Information & Knowledge Engineering o IPCV'08: Image Processing, Computer Vision, & Pattern Recognition o ITSL'08: Information Theory & Statistical Learning o MLMTA'08: Machine Learning; Models, Technologies & Applications o MSV'08: Modeling, Simulation & Visualization Methods o PDPTA'08: Parallel & Distributed Processing Techniques & Applications o SAM'08: Security & Management o SERP'08: Software Engineering Research & Practice o SWWS'08: Semantic Web & Web Services SPONSORS: (partial list) ACADEMIC/TECHNICAL Co-Sponsors: (a partial list) o Computational Biology and Functional Genomics Laboratory, Harvard University, Cambridge, Massachusetts, USA o International Society of Intelligent Biological Medicine o Horvath Lab., University of California, Los Angeles (UCLA), USA o Minnesota Supercomputing Institute, University of Minnesota, USA o Functional Genomics Laboratory, University of Illinois at Urbana-Champaign, USA o BioMedical Informatics & Bio-Imaging Laboratory, Georgia Institute of Technology and Emory University, Atlanta, Georgia, USA o Intelligent Data Exploration and Analysis Laboratory, University of Texas at Austin, Austin, Texas, USA o Biomedical Cybernetics Laboratory, HST of Harvard University and MIT, USA o Center for the Bioinformatics and Computational Genomics, Georgia Institute of Technology, Atlanta, Georgia, USA o Harvard Statistical Genomics and Computational Laboratory, Harvard University, Cambridge, Massachusetts, USA o Bioinformatics & Computational Biology Program George Mason University, Virginia, USA o Hawkeye Radiology Informatics, Department of Radiology, College of Medicine, University of Iowa, Iowa, USA o Medical Image HPC & Informatics Lab (MiHi Lab), University of Iowa, Iowa, USA o The University of North Dakota, Grand Forks, North Dakota, USA o PSU - Prince Sultan University o Institute for Informatics Problems of the Russian Academy of Sciences, Moscow, Russia. o NEMO/European Union at Institute of Discrete Mathematics and Geometry, TU Vienna CORPORATE Co-Sponsors: (a partial list) o Google, Inc. o Salford Systems o Synplicity o NIIT Technologies OTHER Co-Sponsors: (a partial list) o High Performance Computing for Nanotechnology (HPCNano) o International Technology Institute (ITI) o GridToday o HPCwire o Hodges' Health (H2CM), UK CONFERENCE SCHEDULE/PROGRAM: The complete WORLDCOMP'08 schedule/program is available at: http://www.world-academy-of-science.org/worldcomp08/ws/program REGISTRATION INFORMATION: To attend the congress, use the following online registration link: http://www.world-academy-of-science.org/worldcomp08/ws/registration HOTEL RESERVATION: WORLDCOMP'08 will be held in the Monte Carlo hotel, Las Vegas, Nevada, USA (with any overflows at other near-by hotels). This is a mega hotel with excellent conference facilities and over 3,000 rooms. It is minutes from the airport with 24-hour shuttle service to and from the airport. This hotel has many recreational attractions, including: waterfalls, spa, pools, sunning decks, Easy River, wave pool, lighted tennis courts, health spa, nightly shows, a number of restaurants, ... The hotel is within walking distance from most other attractions (recreational destinations, Golf courses, ...). You are to reserve your hotel room directly by calling Monte Carlo Resort at 1-702-730-7000 or 1-702-730-7777. Make sure that you mention the Group Code "XWRLD8" (XWRLD8 is the keyword that the hotel will use to handle the reserved block of rooms for the Congress). You should reserve your room as soon as possible since our block is very close to being fully booked. There are also many other hotels nearby. KEYNOTE LECTURES: (this is a partial list) o The Parallel Computing Landscape: A Berkeley View 2.0 Prof. David A. Patterson Pardee Prof. of CS; Director, RAD Lab & Par Lab; Past President, ACM; Member, National Academy of Engineering; Member, National Academy of Sciences; Fellow of IEEE, ACM, & AAAS; University of California at Berkeley. o Searching in the "Real World" Prof. Ophir Frieder The Royden B. Davis, SJ, Chair in Interdisciplinary Studies at Georgetown University; IITRI Chair Professor of CS at Illinois Institute of Technology; Director, Information Retrieval lab; Fellow of IEEE, ACM, and AAAS o Achieving your Dreams Anousheh Ansari CEO, Chairman and Co-founder of Prodea Systems, Inc., USA; and Space Ambassador o Dimensions in Reconfigurable Computing: A New Wave in Electronic System Designs Chris Phillips Vice President of Engineering at ElementCXI, USA o The Burgeoning Field of Network Science Dr. Frederick I. Moxley Department of Defense Fellow & Visiting Professor, Director of Research and Deputy Director of the Network Science Center; Electrical Engineering & Computer Science Department; United States Military Academy, West Point, New York, USA o High Performance Computing and Computational Intelligence: Link to the Translational Medicine and Personalized Healthcare Dr. Jack Y. Yang and Dr. Mary Qu Yang Harvard University, Massachusetts, USA and National Human Genome Research Institute, NIH, Bethesda, USA o The Emerging Field of Translational Bioinformatics - A National Perspective Prof. Brian D. Athey Professor, Bioinformatics and Computational Biology, Departments of Psychiatry and Internal Medicine; Associate Director, U-M Center for Computational Medicine and Biology (CCMB); Director, Biomedical Informatics Program (BIP), Michigan Institute for Clinical and Health Research; Principal Investigator, NIH National Center for Integrative Biomedical Informatics; The University of Michigan Medical School, USA o Unfoldomics" of Human Diseases Prof. Vladimir N. Uversky Senior Research Professor, Indiana University School of Medicine, Indianapolis, Indiana, USA and Russian Academy of Sciences, Russia PLANNED TUTORIALS (this is a partial list): Tutorial attendance is free to registered attendees of worldcomp and all its associated conferences (most are 3 1/2 hours long): o Robust Resource Allocation for Heterogeneous Parallel & Distributed Computing Systems Prof. H. J. Siegel Abell Endowed Chair Distinguished Prof. of ECE & Prof. of CS; Director, CSU Information Science & Technology Center (ISTeC), Colorado State University, Fort Collins, Colorado, USA o Developing Enterprise Web Services and Mobile/Wireless Systems Dr. Sandeep Chatterjee Chief Technology Officer & Vice President, Source Trace Systems, Inc., USA o Sensor Networks - Technologies, Protocols and Algorithms Prof. Anura P. Jayasumana Colorado State University, Fort Collins, Colorado, USA o Fuzzy Logic Theory and Applications in Data Mining Ashu M. G. Solo Principal/R&D Engineer, Maverick Technologies America Inc., USA o A Tour of Advanced Data Mining Methodologies Mikhail Golovnya Senior Scientist, Salford Systems, USA o Exploration of Quantum Cryptography in Network Security Mehrdad S. Sharbaf Nova Southeastern University, Florida, USA o Introduction to Asynchronous Circuits and NULL Convention Logic (NCL) Scott C. Smith, Waleed K. Al-Assadi, and Jia Di University of Arkansas, Arkansas, USA; Missouri University of Science & Technology, Missouri, USA -> gratefully acknowledge the support from the National Science Foundation under (NSF) CCLI grants DUE-0536343, DUE-0717572, & DUE-0717767. o Cryptographic Features and Applications in Java (and possibly in C++) Prof. Ray Kresman Bowling Green State University, Bowling Green, Ohio, USA o Parallel-Coordinate-Plots at Age 30: Why and How GeoDa Software Works as a Powerful and Intuitive Method for Geovisualizing Demographic Data Prof. J. Kevin Byrne Minneapolis College of Art & Design, Minneapolis, Minnesota, USA & St. Mary's University of Minnesota, Minnesota, USA o Teaching Graph Algorithms Using Java Online Package IAPPGA Prof. Mingshen Wu University of Wisconsin-Stout, Menomonie, Wisconsin, USA o Introduction to Digital Forensics Research Prof. Robert F. Erbacher Utah State University, Utah, USA o Ontological Engineering: Analyzing, Designing and Implementing a Real-World Semantic Web Ontology Dr. Dan Dunne, Ontological Consultant, USA o Processing Geo-Semantic Knowledge and Visuals David Dodds Director, Open-Meta Computing Inc, Canada o Parallel Input/Output Techniques in High-Performance Computing Systems Prof. Jesus Carretero Universidad Carlos III de Madrid, Spain If you would like to opt out from this list, reply with subject "opt out". From csoares at fep.up.pt Mon Jun 23 02:27:29 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Sun, 22 Jun 2008 21:27:29 -0300 Subject: [Fwd: Paper Submission Deadline of ICTAI 2008 is extended to June 30] Message-ID: <485EEDF1.2040009@fep.up.pt> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From demis at dimi.uniud.it Mon Jun 23 10:01:32 2008 From: demis at dimi.uniud.it (demis at dimi.uniud.it) Date: 23 Jun 08 10:01:32 +0200 Subject: CfPart: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) Message-ID: <20080623080131.04FA63FC0FC@sole.dimi.uniud.it> WWV 2008 - CALL FOR PARTICIPATION !!! Early registration deadline: JUNE 25, 2008 !!! ******************************************************************* 4th International Workshop on Automated Specification and Verification of Web Sites (WWV'08) July 4, 2008, Siena (Italy) http://wwv08.dimi.uniud.it co-located with WFLP'08 http://wflp08.dimi.uniud.it/ ******************************************************************* WWV'08 will be held in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications have turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. The WWV 2008 provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. The WWV'08 program includes 6 regular papers and two invited talks by Rosario Pugliese (University of Florence, Italy) and I.V. Ramakrishnan (Stony Brook University, USA). From nza at Cs.Nott.AC.UK Mon Jun 23 13:08:50 2008 From: nza at Cs.Nott.AC.UK (nza at Cs.Nott.AC.UK) Date: 23 Jun 2008 12:08:50 +0100 Subject: British Logic Colloquium 2008 Message-ID: <200806231208.ab21438@pat.Cs.Nott.AC.UK> Call for participation The British Logic Colloquium 2008 will be held on September 4-6, 2008 on the Jubilee Campus of the University of Nottingham. See http://www.cs.nott.ac.uk/~nza/blc08/ for more details. Invited speakers include: * Michael Benedikt (Oxford University) * Ulrich Kohlenbach (Technische Universit\303\244t Darmstadt) * Dexter Kozen (Cornell University) * Hannes Leitgeb (University of Bristol) * Peter Milne (University of Stirling) * Michael Moortgat (Utrecht Institute of Linguistics OTS) * Alan Weir (University of Glasgow) * Mikhail Zakharyaschev (Birkbeck College) Organiser: Natasha Alechina, University of Nottingham, email nza (at) cs.nott.ac.uk Contributed Talks: We invite contributed talks on any aspect of logic. Please send submissions to the organiser. Deadline: 31 July 2008. Grants for students: There is a limited number of grants available for students who wish to attend. A grant covers the conference fee and accommodation in Nottingham. Applications for grants should be accompanied by a CV, a letter of recommendation (normally from the student's supervisor) and will be allocated on the basis of proven ability in logic. Deadline: the 1st of July. ~ This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From zkulpa at ippt.gov.pl Mon Jun 23 16:49:11 2008 From: zkulpa at ippt.gov.pl (Zenon Kulpa) Date: Mon, 23 Jun 2008 16:49:11 +0200 Subject: unsubscribe Message-ID: <485FB7E7.4060209@ippt.gov.pl> From zkulpa at ippt.gov.pl Mon Jun 23 18:00:27 2008 From: zkulpa at ippt.gov.pl (Zenon Kulpa) Date: Mon, 23 Jun 2008 18:00:27 +0200 Subject: Confirmation Request (2887179827) In-Reply-To: References: Message-ID: <485FC89B.1090403@ippt.gov.pl> 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: 2887179827, > 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 mokhtar.beldjehem at polymtl.ca Tue Jun 24 19:33:30 2008 From: mokhtar.beldjehem at polymtl.ca (Mokhtar Beldjehem) Date: Tue, 24 Jun 2008 13:33:30 -0400 Subject: NASTEC 2008 (Mc Gill University, Montreal, Canada)CfP-Extended Message-ID: <1214328810.48612fea02704@www.imp.polymtl.ca> Dear colleague! Hi! You are warmly invited to make a contribution to NASTEC'08 conference that will help you and the other participants to learn more about Intelligent Hybrid Soft Computing(SC) Technologies in connections with Modeling and Simulations(M&S), Software Engineering(SE) and Web Computing and about the ways they are designed and applied to resolve a large spectrum of Real-world problems. For further information concerning NASTEC'08, feel free to browse the following NASTEC'08 link(URL): http://www.eurosis.org/cms/?q=taxonomy/term/145 The NASTEC 2008 provides a forum for researchers from the communities of Simulation and Modeling, Fuzzy and Soft Computing, Machine Learning, Databases,Software Engineering, and Web Computing research to facilitate the cross-fertilization of ideas and the advancement of Synergistic Hybrid Soft Computing methods that combine these areas that can be effectively used to resolve a large spectrum of Real-Wold problems. Looking forward to meeting you at NASTEC'08. Cordially, -- Mokhtar Beldjehem, B.Ing., M.Sc., Ph.D. General Conference Chair NASTEC'2008 NASTEC'08 URL: http://www.eurosis.org/cms/?q=taxonomy/term/145 NASTEC'2008 Motto: To nurture the spirit of cooperation and strive to improve the quality of life in this global village through excellence in Hybrid Soft Computing Research and Education by Engineering of Next-Generation Intelligent Hybrid Soft Computing Systems for Modeling, Simulation,Vision Engineering, Pattern Recognition, Computational Linguistics, Software Engineering and Web Computing at the service and for benefits of the humankind. From paolo.torroni at unibo.it Tue Jun 24 21:12:40 2008 From: paolo.torroni at unibo.it (Paolo Torroni) Date: Tue, 24 Jun 2008 21:12:40 +0200 Subject: ABC 2008 deadline approaching Message-ID: <48614728.1020708@unibo.it> DEADLINE: 30 June 2008 Workshop on Agent Based Computing V (ABC'08) Wisla, Poland, October 20-22, 2008 http://2008.imcsit.org/?cont=88&type=page&page=69 Organized within the framework of the International Multiconference on Computer Science and Information Systems and co-located with the XXIV Autumn Meeting of the Polish Information Processing Society. Agent-based computing has been hailed as the next significant breakthrough in software development, with the potential to affect many aspects of computer science, from artificial intelligence to the technologies and models of distributed computation. Agent-based systems are capable of autonomous action in open, dynamically-changing environments. Agents are currently being applied in domains as diverse as business information systems, computer games and interactive cinema, information retrieval and filtering, user interface design and industrial process control. The aim of the ABC '08 is to bring together researchers and developers from industry and academia in order to report on the latest scientific and technical advances, discuss and debate the major issues, and showcase the latest systems. ABC Workshop welcomes submissions of original papers concerning all aspects of software agents. Submissions involving both implementation and theoretical issues are encouraged. Topics include but are not limited to: * Agent architectures * Agent-oriented software engineering * Agent-based simulations * Agent benchmarking and performances * Agent communication, coordination and cooperation * Agent languages * Agent learning and planning * Agent mobility * Agent modeling, calculi, and logics * Agent security * Agents and Service Oriented Computing * Agents in the Semantic Web * Applications and Experiences * Simulating and verifying agent systems * Multiagent Systems Product Lines * Multi-Agent Systems in Applications o Disaster Management o E-commerce o Workflow management and business processes o Other areas From Richard.Moot at labri.fr Wed Jun 25 13:45:15 2008 From: Richard.Moot at labri.fr (Richard Moot) Date: Wed, 25 Jun 2008 13:45:15 +0200 Subject: ESSLLI 2009 Call for Proposals Message-ID: <81B81C43-EC7E-416F-A349-12AA217AD904@labri.fr> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 21st European Summer School in Logic, Language and Information 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 Tübingen, Germany phone : +49-7071-29-74035 e-mail : um at sfs.uni-tuebingen 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 ambra.molesini at unibo.it Thu Jun 26 09:07:19 2008 From: ambra.molesini at unibo.it (Ambra Molesini) Date: Thu, 26 Jun 2008 09:07:19 +0200 Subject: AOMP SAC 2009 - Submission Open Message-ID: [Please accept our apologies if you received multiple copies of this call] Submission for AOMP SAC 2009 is now open! --------------------------------------------------------------------------------- AOMP Agent-Oriented Software Engineering Methodologies and Processes Track of the 24th Edition ACM Symposium on Applied Computing Honolulu, Hawaii, USA, March 8 -12, 2009 http://www.apice.unibo.it/xwiki/bin/view/AOMP/ http://www.acm.org/conferences/sac/sac2009/ -------------------------------------------------------------------------------------------- AOSE methodologies have been studied since 2000. Traditionally the focus was only onto one of the methodologies’characteristics: workproducts. Investigations on another fundamental characteristic – the process - have been proposed only recently. The aims of this track are the deeper investigations of AOSE methodologies and their underpinned processes. The investigation has started from the idea that an ideal general-purpose AOSE methodology and an ideal general-purpose AOSE process do not exist. The AOSE methodologies proposed in literature in the last years typically are special purpose methodologies with the aim of engineering specific kinds of complex system, and no general purpose AOSE methodology was proposed. Now there is the need to build new methodologies for new kinds of applications domain (like for example the self-* domain), but the constructions of a new methodology from scratch is a very complex and time-consuming task. So, the reuse of portions of well-tested and well-known methodologies has become very important. Moreover, key factors for the success of new methodologies can often be found in the clear definition of their scope, in the identification of a precise application and development context and in the adoption of a proper formalisation of the approach. In this track we aim at studying all the elements that affect the construction of a new design process from the features it aims to exhibit to the final evaluation of the result also including adopted modelling languages, techniques and specific methods. Important Dates: Aug. 16, 2008 (strict): Paper submissions Oct. 11, 2008: Author notification Oct. 25, 2008: Camera-Ready Copy Submission: In order to submit your paper to the track * access the submission site * click the link to submit the abstract of your paper * select the name of the track: Agent-Oriented Software Engineering Methodologies and Processes * fill the required fields: paper title, two keywords (at least), and the abstract, then submit * you'll receive a confirmation email, from which you can proceed Paper templates (Word, PDF, Latex) can be downloaded from SAC 2009 Website N.B. 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. ***************************************************************** Dott. Ing. Ambra Molesini, Ph.D Alma Mater Studiorum Università di Bologna DEIS - Viale Risorgimento 2, 40136 Bologna (I) phone : +39 051 2093541 fax : +39 051 2093073 mail: ambra.molesini at unibo.it web : http://www.lia.deis.unibo.it/Staff/AmbraMolesini/ http://www.apice.unibo.it/xwiki/bin/view/AmbraMolesini/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From c.orasan at wlv.ac.uk Thu Jun 26 17:42:09 2008 From: c.orasan at wlv.ac.uk (Constantin Orasan) Date: Thu, 26 Jun 2008 16:42:09 +0100 Subject: Job announcement: Lecturer/Senior Lecturer or Reader in Natural Language Processing Message-ID: <1214494929.12444.20.camel@dinel-work> ------------------------------------------------------------------ Lecturer/Senior Lecturer or Reader in Natural Language Processing Reference number: A5102 Application deadline: 14 July 2008 Salary range: Lecturer/Senior Lecturer 30,013 - 42,791 or Reader 44,075 - 51,095 pa Research Group in Computational Linguistics, Research Institute in Information and Language Processing, University of Wolverhampton ------------------------------------------------------------------ We are seeking a Lecturer/Senior Lecturer or Reader (depending on track record and qualifications) in Natural Language Processing with an excellent research track record and teaching experience in Computational Linguistics and Natural Language Processing. Applicants at Reader level should have an outstanding publication record, the ability to lead a research team and experience with grant applications and securing funding. In addition to managing a new Masters programme in Natural Language Processing and teaching on this programme, the successful candidate will also act as Project Manager of one ongoing research project. Other duties will include collaborative research and producing first class research/publications, grant applications and PhD student/researcher supervision. Programming experience in the area of NLP applications is desirable and commercial experience or involvement with industry would be an advantage. Applications should include a completed application form (available at http://www2.wlv.ac.uk/pers/jobs.htm), CV, and covering letter explaining your reasons for applying for the position, including the level of appointment, and giving details of your research interests/teaching experience and background. Applicants are encouraged to discuss the job specifics with Professor Ruslan Mitkov (Email R.Mitkov at wlv.ac.uk). The successful candidate will be expected to commence in this post as soon as possible and preferably no later than the end of September 2008. Applications to be sent to Personnel: Personnel Services, University of Wolverhampton, MX Building, Camp Street, Wolverhampton, WV1 1AD United Kindgom or by email per at wlv.ac.uk, quoting the job reference. Further details on the Research Group in Computational Linguistics can be obtained from http://clg.wlv.ac.uk. -- Constantin Orasan Senior Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton -- Scanned by iCritical. From heymans at kr.tuwien.ac.at Fri Jun 27 10:24:59 2008 From: heymans at kr.tuwien.ac.at (Stijn Heymans) Date: Fri, 27 Jun 2008 10:24:59 +0200 Subject: 2nd CFP: International Workshop on Fuzzy Logic on the Web - FLOW 2008 Message-ID: *******2nd Call for Papers - Submission deadline 30 July 2008 ********** !!Submission Site is Open Now!! http://wi-consortium.org/cyberchair/wiiat08/scripts/ws_submit.php 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, STI Innsbruck, Austria 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 Technische Universitaet Wien 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 TU Vienna & University Ghent http://www.kr.tuwien.ac.at/staff/heymans/ From c.mueller at jacobs-university.de Sat Jun 28 12:48:12 2008 From: c.mueller at jacobs-university.de (Christine =?ISO-8859-1?Q?M=FCller?=) Date: Sat, 28 Jun 2008 12:48:12 +0200 Subject: Online Proceedings of the 2nd SCooP Workshop 2008 Message-ID: <1214650092.6732.57.camel@battlestar> (apologies for cross postings) I am glad to announce that the Proceedings of the 2nd Workshop on Scientific Communities of Practice are online now. Please have a look at: http://jem-thematic.net/en/node/869 The workshop raised a lot of interesting discussions on scientific tools and methods that potentially can support the scientific community, in particular, the Science Technology Engineering and Mathematics disciplines. David Chavalarias presented his ideas on how to use occurrence and co-occurrence of keywords to reconstruct scientific communities on the micro, meso, and macro level. He pointed to applications that could improve existing browsing and navigation of scientific documents. Florian Rabe introduce the history of logics and pointed us to different communities that evolved throughout the last 100 years and lead to diverse logical foundations. Other talks addressed: * The collaboration and knowledge engineering of communities using Wikis * The change management and consistency challenge during collaboration * The potential modeling of virtual CoPs based on semantically marked up documents We are looking forward to further interesting contributions of the upcoming 3rd SCooP. If you feel that the topic of communities of practice in science is interesting, we encourage you to join the discussion (see below). Your suggestions, perspectives, and potential cooperations are highly appreciate. Best regards, Christine Müller Further information: * SCooP mailinglist http://lists.jacobs-university.de/mailman/listinfo/project-scoop * What's new on SCooP http://jem-thematic.net/en/taxonomy/term/102 * SCooP contact: c.mueller at jacobs-university.de -- Christine Müller Ph.D. Student of Computer Science Jacobs University Bremen Research 1, Room 79 Street Address: Campus Ring 1, 28759 Bremen, Germany Postal Address: P.O. Box 750 561, 28725 Bremen, Germany Tel: +49-(0)421-2003168 Fax: +49-(0)421-2003103 E-Mail: c.mueller at jacobs-university.de Web: http://www.kwarc.info/cmueller From csoares at fep.up.pt Mon Jun 30 00:44:38 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Sun, 29 Jun 2008 19:44:38 -0300 Subject: CFP: 2nd International Workshop on Domain Driven Data Mining Message-ID: <48681056.304@fep.up.pt> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From t.dinoia at gmail.com Sat Jun 28 09:19:48 2008 From: t.dinoia at gmail.com (Tommaso Di Noia) Date: Sat, 28 Jun 2008 09:19:48 +0200 Subject: WARNING! (2360384266) In-Reply-To: References: Message-ID: <4c714b490806280019t10fb3896sa0fe1b1bef52e60e@mail.gmail.com> 2008/6/28, event administration : > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2360384266, > 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 Sun Jun 29 15:33:08 2008 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Sun, 29 Jun 2008 09:33:08 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Fri, Jun 27, 2008 at 9:51 PM, 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. > > 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 > > -- ================== Alex Friedmann Tel: +1 514 987-3000 ext. 3219# Departement d'Informatique Fax: +1 514 987-8477 Universite du Quebec a Montreal CP 8888 Centre Ville Montreal, H3C 3P8, Canada E-mail: alexander.friedmann at uqam.ca -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Patricia.Lima at inesc-id.pt Mon Jun 30 16:06:09 2008 From: Patricia.Lima at inesc-id.pt (=?iso-8859-1?Q?Patr=EDcia_Lima?=) Date: Mon, 30 Jun 2008 15:06:09 +0100 Subject: Post-doctoral Research Position - IST/INESC-ID, Portugal Message-ID: <007501c8daba$722811e0$292914ac@inescvczmtnsar> Post-doctoral Research Position Intelligent Agents and Synthetic Characters Group, Instituto Superior Técnico and INESC-ID, Portugal Description: Applications are invited for a post-doctoral research post (from 1st September 2008 for 12 months with the possibility of extension up to 36 months) to work in the area of Intelligent Agents and Synthetic Characters. The aim is to investigate mechanisms that support dynamic models for agents that take into account aspects such as memory, reasoning, social relations and emotions. The research is funded by the EU Funded project LIREC, in the area of Cognitive Systems and Robotics. The LIREC project aims at establishing the scientific basis for developing artificial companions that users will want to interact with over a long term period in their own social settings. Applicants should have a good background in Artificial Intelligence and Intelligent Agents research, software design and implementation, together with the willingness to take on the challenge of relating cognitive and social psychology to the creation of intelligent behaviour in agents. Informal enquiries regarding the project may be obtained by contacting Prof. Ana Paiva (ana.paiva at inesc-id,pt). To apply for this job please send a CV and contact details of three referees to ana.paiva at inesc-id.pt and patricia.lima at inesc-id.pt. Deadline for applications: 15th of August, 2008. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : image002.jpg Dateityp : image/jpeg Dateigröße : 1852 bytes Beschreibung: nicht verfügbar URL : -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : image001.jpg Dateityp : image/jpeg Dateigröße : 72367 bytes Beschreibung: nicht verfügbar URL : From ci-listen at in.tu-clausthal.de Sun Jun 8 16:13:49 2008 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Sun, 08 Jun 2008 16:13:49 +0200 Subject: CORRECTED [Fwd: Paper Submission Deadline of ICTAI 2008 is extended to June 23] In-Reply-To: <484955C7.9000009@fep.up.pt> References: <484955C7.9000009@fep.up.pt> Message-ID: Dear Carlos, if you want to have the post through the Event at CIG list, please send a correct *plain* announcement without private parts. Thank you for using the Event at CIG list. Best regards, Peter Novak, Event at CIG administrator. On Fri, 06 Jun 2008 16:20:39 +0100 Carlos Soares wrote: > Please replace the previous message with this one. > Best regards, > Carlos > > > The paper submission deadline of the Int'l Conference on >Tools with Artificial Intelligence (ICTAI 2008) is >extended to June 23, as specified on the conference >website at: http://dblab.cs.wright.edu/ictai2008/ > > > > From ci-listen at in.tu-clausthal.de Sun Jun 8 16:15:59 2008 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Sun, 08 Jun 2008 16:15:59 +0200 Subject: Fwd: Confirmation Request (1226013265) Message-ID: --- the forwarded message follows --- -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: Martin Drozda Betreff: Re: Confirmation Request (1226013265) Datum: Fri, 06 Jun 2008 19:32:46 +0200 Größe: 3024 URL: From ci-listen at in.tu-clausthal.de Mon Jun 9 13:04:39 2008 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Mon, 09 Jun 2008 13:04:39 +0200 Subject: Call for Participation: 2nd Asian Semantic Web School (ASWS2008), Bangkok, Thailand, Dec 1-6, 2008 In-Reply-To: <484D0901.9020202@sti2.at> References: <484D0901.9020202@sti2.at> Message-ID: Dear Mrs. Zaremba, when sorting spam out of the Event at CIG list approval folder I mistakenly deleted one of your announcements. I am sorry for this :-(. In the case you would like to resend it, please feel free to do so. Best regards, Peter Novak, Event at CIG administrator and moderator. On Mon, 09 Jun 2008 12:42:09 +0200 Ilona Zaremba wrote: > ******************************************************************** > * 2nd Asian Semantic Web School (ASWS2008) > * > * Jointly located with ASWC2008 > * > * Bangkok, Thailand, Dec 1-6, 2008 >(http://www.asws2008.org/) * > ******************************************************************** > > The 2nd Asian Semantic Web School aims to teach its > attendees how to apply semantic technologies in their >own projects > and environments. The school is targeted at young >researchers and > other interested parties affiliated to academia or >industry. It is > particularly our goal to bring together international >experts in the > field and to invite the leading research groups in Korea >to be part > of the program. > > Course Topics > -------------------------------------------------------------------- > Presentations by international experts in the field will > introduce the core technologies of semantic computing: > > - Standard knowledge representation languages such as >Resource > Description Framework (RDF) or Web Ontology Language >(OWL), including > tools for exploiting their reasoning capabilities. > - Methodologies, methods and tools to build and manage >ontologies. > - The current directions in Semantic Web Services, in >particular the > Web Service Modeling Ontology (WSMO) and the related Web >Service > Modeling Language (WSML) and Web Service Execution >Environment (WSMX). > > Tutorials, hands-on sessions and exercices > -------------------------------------------------------------------- > Tutorials, hands-on sessions and exercises will provide >additional > insights into the aforementioned topics and guide the >students in > applying the technologies in specific situations. These >learning > modules will be complemented by invited talks which >report on the > deployment of semantic technologies in real-world >business scenarios, > handed over by representatives of well-known >international companies. > The participants will be involved in projects, in which >they will > develop prototypical Semantic Web applications in small >teams on the > basis of a pre-defined scenario specification. > > Co-located events > -------------------------------------------------------------------- > The school will be co-located with > the Asian Semantic Web Conference (ASWC2008) in Bangkok, >Thailand. > It will take place one week prior to the main >conference. > > Important Dates > -------------------------------------------------------------------- > If you want to participate in ASWS2008, please register >at > http://www.asws2008.org/index.php?id=6 and fill in the >required information. > The deadline for submission is July, 31 and we will >notify you by > August, 7. The successful applicants will be expected to >pay the > registration fee, 500 euros, before September, 30. The >fee covers all > tuition, teaching materials, hands-on sessions, use of >computers, > room and board, from Sunday evening (November, 30) to >Saturday lunch > (December, 6), an excursion, and a social dinner. > > * June, 9: Application opens > * July, 31: Application closes > * August, 7: Notification of acceptance > * August, 7: Registration opens > * September, 30: Registration fees paid > * November, 30: Arrival of participants > * December, 1: First day of school > * December, 6: Last day of the school > * December, 8: ASWC 2008 > > > Organizing Committee > --------------------------------------------------------------------- > Elena Simperl, STI Innsbruck, University of Innsbruck, >Austria > Marco Ronchetti, University of Trento, Italy > Vilas Wuwongse, Asian Institute of Technology, Thailand > > Invited Speakers and Tutors (to be completed) > --------------------------------------------------------------------- > Peter Haase, Institute AIFB, University of Karlsruhe > Michael Kerrigan, STI Innsbruck > Devika P. Madalli, Indian Statistical Institute > Peter Mika, Yahoo!Research > Daniel Olmedilla, L3S Research Center & Hannover >University > Marco Ronchetti, University of Trento > Pavel Shvaiko, University of Trento > Elena Simperl, STI Innsbruck > Katharina Siorpaes, STI Innsbruck > Denny Vrandecic, Institute AIFB, University of Karlsruhe > > > Sponsoring > ---------------------------------------------------------------------- > The Asian Semantic Web School is supported by the >EASTWEB > project (http://latemar.science.unitn.it/EASTWEB). A >limited amount > of fellowships is available for Asian students. The >fellowships cover > the school's fees. Interested students should apply >sending their CV > per email to Marco Ronchetti at marco.ronchetti at >unitn.it by July, > 31, and will be notified by August, 7. > > Contact > ---------------------------------------------------------------------- >For any further information, please visit >http://www.asws2008.org/ or > send an email to Elena Simperl at elena.simperl at >sti2.at. >