From V.Sorge at cs.bham.ac.uk Thu May 1 02:11:07 2008 From: V.Sorge at cs.bham.ac.uk (Volker Sorge) Date: Thu, 01 May 2008 01:11:07 +0100 Subject: Call for Presentations at AISC'08 and Calculemus 2008 Message-ID: <20080501011342.CD4DF2EB81C@sphinx.rz.tu-clausthal.de> ------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------ Call For Presentations ====================== jointly for AISC'08 -- Artificial Intelligence and Symbolic Computation and Calculemus 2008 -- Integrating Symbolic Computation and Mechanised Reasoning held as part of the Conferences on Intelligent Computer Mathematics (CICM '08). July 30 -- August 2, 2008 University of Birmingham, UK You are invited to submit a title and a short abstract proposing a talk on work that addresses the main conference themes: the Integration and Combination of Symbolic Computation with Artificial Intelligence and Automated Reasoning. Proposals for talks on both mature work and work in progress are welcome. For more information on the topics of interest please see: http://events.cs.bham.ac.uk/cicm08/aisc08 http://events.cs.bham.ac.uk/cicm08/calculemus08 Please submit title and abstract (one page or less) to: aisc08 at easychair.org or calculemus08 at easychair.org Deadlines ========= Submission of title and abstracts: 23 May Notification of acceptance 30 May The accepted work should be presented at the conference. The abstracts of the accepted presentations will be distributed as internal proceedings at the conference. Authors of accepted presentations will be invited to submit to a special issue in the Annals of Math and AI after the conference. From johthan at cs.rmit.edu.au Thu May 1 07:01:27 2008 From: johthan at cs.rmit.edu.au (John T) Date: Thu, 01 May 2008 15:01:27 +1000 Subject: Postdoctoral Research Fellow Position - Closing 5th June 2008 Message-ID: <48194EA7.2040504@cs.rmit.edu.au> http://www.cs.rmit.edu.au/agents/postdocad.pdf ---- Keywords : Component Based Architectures, Virtual Agent Dialogue, Java Programming Applications close 5th June 2008 The Intelligent Agents Group in the School of Computer Science and IT at RMIT University in Melbourne Australia is inviting expressions of interest for a 3-year Postdoctoral Researcher position, commencing as soon as possible. The Postdoctoral Researcher will participate in a new project, undertaken with an industry partner, to design and build agent-based architectures for interactive toys. This is a multi-disciplinary international project, involving researchers from multiple institutions and companies in Australia and the USA. The research goals of the project involve extending current agent-oriented architectures to allow easy extensibility of interactive characters via plug-in components capturing emotions and personality, spoken dialogue capabilities, "experiential memories", etc.. In addition to the particular application, the work will contribute to research on complex modular and component based systems by increasing understanding of how to architect such systems. The industry partner is interested in future commercial development of the project outcomes. The Postdoctoral Researcher will work with software engineers and other project research staff to build prototypes demonstrating the architectural capabilities, e.g. using virtual agents. The Postdoctoral Researcher will also be encouraged to collaborate with other researchers in the Intelligent Agents Group on work related to that being undertaken in the project. Key selection criteria: · demonstrated commitment to quality research and publication · demonstrated interest in a key research area of the project, including (but not limited to): Architectures for intelligent agents, agent-oriented software engineering, embodied conversational agents, agent emotions and personality. · demonstrated ability to work collaboratively in a research team. Other desirable criteria: · solid programming skills, particularly in Java. · previous experience in a multi-disciplinary project or environment. · exposure to and interest in BDI-agents. RMIT has a large computer science department with a well established and internationally recognized research group in the area of Intelligent Agents (http://www.cs.rmit.edu.au/agents/). Research areas within the group currently include BDI architectures and planning, Agent Oriented Software Engineering, Open agent systems, and agent reasoning about goals. The group has 4 permanent staff, 3 postdoctoral Researchers or Research Associates, 15 PhD students and 4 part-time programmers. Melbourne is a hub for a significant amount of research and development in Intelligent Agents and their applications and is the home of ”Agents Victoria” a group of industry, government and university groups, involved in agent research and applications. For information regarding how to submit an application for this position, go to http://www.rmit.edu.au/YOURCAREER. (please use internet explorer or safari) Click onto the Career Search link on the left hand side of the page which will take you to the 'Career Search' page. Enter the position number 443032 in the 'Keyword Search' box. You will then be able to download details of the position as well as obtain information on how to submit your application on line (scroll down the page). Please refer to the 'Frequently asked questions' link on the 'Your Career at RMIT' page which provides details on submitting an online application. Interested applicants who will be attending AAMAS 2008 in Portugal are also encouraged to contact and meet with Lin Padgham (lin.padgham at rmit.edu.au), or John Thangarajah (johnt at rmit.edu.au) in regards to this position as they will be at AAMAS. You may also contact them via the conference message board, directly under this flyer at AAMAS. -- Dr. John Thangarajah RMIT, School of Computer Science and Information Technology GPO Box 2476v, Melbourne VIC 3001, AUSTRALIA Tel: +61 3 9925 9535 Fax: +61 3 9662 1617 CRICOS provider code: 00122A http://www.cs.rmit.edu.au/~johthan/ From geoff at cs.miami.edu Thu May 1 14:09:59 2008 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 1 May 2008 08:09:59 -0400 (EDT) Subject: IJCAR Calls and Awards Message-ID: <20080501120959.9EF8211FA53@mcclellan.cs.miami.edu> ------------------------------------------------------------------------------- IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning Sydney, Australia, 10th - 15th August, 2008 http://2008.IJCAR.org Calls for Participation, Calls for Workshop Papers, Student Travel Awards ------------------------------------------------------------------------------- Call for Participation ---------------------- Information about IJCAR's astounding program of invited speakers, technical papers, workshops, tutorials, competitions, and social events, is available from the IJCAR WWW pages - 2008.IJCAR.org. There are 101 reasons to attend IJCAR, which are enumerated on the WWW site. Registration, accomodation, and travel/visa information is there too. Book your flight to Sydney today! ------------------------------------------------------------------------------- Calls for Workshop Papers, Tutorial Participation ------------------------------------------------- There will be six workshops and four tutorials before IJCAR, 10th and 11th August. See their individual WWW pages, linked from the IJCAR WWW pages, for submission and participation information. + Workshops - The 5th International Verification Workshop (VERIFY'08) - Practical Aspects of Automated Reasoning (PAAR-2008) - Evaluation of Systems for Higher Order Logic (ESHOL) - Complexity, Expressibility, & Decidability in Automated Reasoning (CEDAR'08) - Constraints in Formal Verification - Combining Systems for Efficient and Scalable Reasoning (CoSyScaRe 08) + 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 ------------------------------------------------------------------------------- Student Travel Awards --------------------- Two award schemes that provide sponsorhips to support student attendance at IJCAR are available. See the IJCAR WWW pages for details. ------------------------------------------------------------------------------- From geoff at cs.miami.edu Thu May 1 14:57:54 2008 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 1 May 2008 08:57:54 -0400 (EDT) Subject: Automated Reasoning in Mathematics Message-ID: <20080501125754.7551A11F8B3@mcclellan.cs.miami.edu> ------------------------------------------------------------------------------- The CICM Workshop on Empirically Successful Automated Reasoning for Mathematics (ESARM) Call for Papers - Submission Deadline - Monday 5th May ------------------------------------------------------ The CICM 2008 Workshop on Empirically Successful Automated Reasoning for Mathematics (ESARM) will be held as part of the Conferences on Intelligent Computer Mathematics, in Birmingham, United Kingdom, 26th July - 2nd August, 2008. See the WWW page ... http://www.cs.miami.edu/~geoff/Conferences/ESARM/ This workshop will bring together practioners and researchers who are concerned with the development and application of automated reasoning for mathematics. The workshop will discuss only "really running" systems and applications, and not theoretical ideas that have not yet been translated into working software. More details are on the WWW page. Submission of papers for presentation at the workshop, and proposals for system and application demonstrations at the workshop, are now invited. Submissions will be refereed, and a balanced program of high-quality contributions will be selected. The selected contributions will be printed as workshop proceedings, and will also be published electronically. The submission deadline is 5th May, notification of acceptance is on 13th June, and final versions are due 7th July. Submission details are on the WWW page. We hope that you will submit a paper, and be part of ESARM. ------------------------------------------------------------------------------- From dml2008 at easychair.org Sat May 3 01:16:09 2008 From: dml2008 at easychair.org (dml2008 at easychair.org) Date: Sat, 3 May 2008 01:16:09 +0200 (CEST) Subject: CFP: DML 2008--Towards Digital Mathematics Library Message-ID: <20080502231609.8C9901D33BD@anxur.fi.muni.cz> CFP: Towards Digital Mathematics Library (DML 2008) July 27th, 2008, Birmingham, UK c/o MKM 2008 Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2008.xhtml Deadlines: May 31st: abstract submissions Jun 1st: paper submissions Jun 20th: paper acceptance/rejection decision Jun 27th: versions for the proceedings due Jul 27th: workshop date, proceedings on site Submissions: http://www.easychair.org/conferences?conf=dml2008 Submissions will be refereed on the basis of technical quality, novelty, potential impact for building DML, and clarity. Papers must conform to the Springer LNCS style, preferably using LaTeX2e and the Springer llncs class files. Submission categories: Full paper: 4-12 LNCS pages Short paper/poster/work in progress report: 1-4 LNCS pages Overview: Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked and validated/verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The workshop's objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects, asking such questions as: # What technologies, standards, algorithms and formats should be used and what metadata should be shared? # What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? # Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? # What is the best practice for * retrodigitized mathematics (from images via OCR to MathML and/or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML and/or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow [CEDRAM model])? Proceedings: will be published by Masaryk University and will be available on site, with best papers chosen for postconference proceedings published by renowned publisher or for journal. Keynote: Thierry Bouche (Universite de Grenoble I, CNRS, Institut Fourier & Cellule Mathdoc): CEDRICS: when CEDRAM meets Tralics Topics: (include, but are not limited to) o search, indexing and retrieval of mathematical documents o ranking of mathematical papers, similarity of mathematical documents o math OCR with MathML/TeX output o document conversions from/to MathML, OpenMath, LaTeX, PostScript and [tagged] PDF o conversions between various mathematical formalisms o mathematical document compression o processing of scanned images o algorithms for crosslinking of bibliographical items, intext citations search o mathematical document classification, MSC 2010 o mathematical text mining o mathematical documents metadata exchange via OAI-PMH and/or OAI-ORE o long term archiving, data migration o reports and experience from math digitization projects o math publishing with long term archival goal o software for creating, handling MathML, OMDoc, OpenMath documents, and displaying them in WWW browsers Programme Committee: (other members upon approval) Jose Borbinha (Technical University of Lisbon, IST, PT) Thierry Bouche (University Grenoble, Cellule Mathdoc, FR) David Carlisle (Numerical Algorithms Group, NAG, UK) Thomas Fischer (Goettingen University, Digitization Center, DE) Vaclav Hlavac (Czech Technical University, Faculty of Engineering, Prague, CZ) Janka Chlebikova (Comenius University, MFF, Bratislava, SK) Jiri Rakosnik (Academy of Sciences, Mathematical Institute, Prague, CZ) Eugenio Rocha (University of Aveiro, Dept. of Mathematics, PT) David Ruddy (Cornell University, Library, US) Petr Sojka (Masaryk University, Faculty of Informatics, Brno, CZ) [chair] Masakazu Suzuki (Kyushu University, Faculty of Mathematics, JP) Bernd Wegner (Zentralblatt MATH, Berlin, DE) Organizing Committee: Adam Rambousek, Michal Ruzicka, Petr Sojka, Volker Sorge Questions/inquiries: to dml2008 at easychair.org CFP distribution: Please, distribute at your place, if possible. Apologies for multiple postings! From robert at grid.chu.edu.tw Sat May 3 04:39:02 2008 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Sat, 3 May 2008 10:39:02 +0800 Subject: CFP: IEEE APSCC-08 Message-ID: <200805030239.m432d2h0002311@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From iclp08pub at cs.nmsu.edu Mon May 5 16:39:12 2008 From: iclp08pub at cs.nmsu.edu (ICLP 08) Date: Mon, 5 May 2008 08:39:12 -0600 Subject: ICLP'08 CALL FOR PAPERS Message-ID: <200805051439.m45EdC5d017039@pippo.cs.nmsu.edu> CALL FOR PAPERS ICLP'08 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 (papers, position 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. 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 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 2nd n/a Submission deadline June 9th 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 Thomas.Lukasiewicz at kr.tuwien.ac.at Mon May 5 17:12:23 2008 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Mon, 05 May 2008 17:12:23 +0200 Subject: 2nd CFP: 2nd International Conference on Scalable Uncertainty Management (SUM 2008) Message-ID: <481F23D7.5010506@kr.tuwien.ac.at> CALL FOR PAPERS Second International Conference on Scalable Uncertainty Management (SUM 2008) October 1-3, 2008 Napoli, 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 Napoli, Italy, October 1-3, 2008. Papers 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 PAPERS Papers 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 14 pages. Submissions which deviate substantially from these guidelines may be rejected without review. Submissions will especially be judged for originality and scientific quality. IMPORTANT DATES Abstract submission deadline: May 15, 2008 Paper submission deadline: May 22, 2008 Paper accept/reject decisions: July 1, 2008 Camera ready papers due: July 15, 2008 Last day for early registration fee: July 15, 2008 GENERAL CHAIR Antonio Picariello (University of Napoli, 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 Torino, 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 hermann at lix.polytechnique.fr Mon May 5 21:52:45 2008 From: hermann at lix.polytechnique.fr (Miki Hermann) Date: Mon, 5 May 2008 21:52:45 +0200 Subject: CFP: Workshop CEDAR 2008 Message-ID: <200805051952.m45Jqjpf019367@mailhost.lix.polytechnique.fr> Appologies for multiple copies *********************************************************************** * * * Complexity, Expressibility, and Decidability in Automated Reasoning * * (CEDAR'08) * * http://www.mpi-inf.mpg.de/~sofronie/cedar08.html * * * * Affiliated with IJCAR 2008 Sydney, Australia, 10-15 August 2008 * * http://www.ijcar.org/2008/ * * * *********************************************************************** Decidability, and especially complexity and tractability of logical theories is extremely important for a large number of applications. Although general logical formalisms (such as predicate logic or number theory) are undecidable, decidable theories or decidable fragments thereof (sometimes even with low complexity) often occur in mathematics, in program verification, in the verification of reactive, real time or hybrid systems, as well as in databases and ontologies. It is therefore important to identify such decidable fragments and design efficient decision procedures for them. It is equally important to have uniform methods (such as resolution, rewriting, tableaux, sequent calculi, ...) which can be tuned to provide algorithms with optimal complexity. The goal of CEDAR is to bring together researchers interested in problems that are in the interface between automated reasoning and computational complexity, in particular in: - identifying (fragments of) logical theories which are decidable, identifying fragments thereof which have low complexity, and analyzing possibilities of obtaining optimal complexity results with uniform tools; - analyzing decidability in combinations of theories and possibilities of combining decision procedures; - efficient implementations for decidable fragments; - application domains where decidability resp. tractability are crucial. Topics Topics of interest for CEDAR 2008 include (but are not restricted to): - Complexity: - complexity analysis for fragments of first- (or higher) order logic - complexity analysis for combinations of logical theories (including parameterized complexity results) - Expressibility (in logic, automated reasoning, algebra, ...) - Decidability: - decision procedures based on logical calculi such as: resolution, rewriting, tableaux, sequent calculi, or natural deduction - decidability in combinations of logical theories - Application domains for which complexity issues are essential (verification, security, databases, ontologies, ...) The goal of CEDAR is to bring together researchers interested in exploring the topics above, both at a theoretical level and motivated by applications, and to enhance the interaction between automated reasoning and computational complexity through invited and contributed talks. The ultimate aim is to expand the horizons of this area of research, deepen the interactions, sensibilize other people from the automated reasoning community to the complexity problems, and last but not least, offer persons working in research and development centers of software companies the possibility to get an overview of the problems. Invited speaker - Carsten Lutz (TU Dresden) Program and Workshop Chairs - Franz Baader (TU Dresden) - Silvio Ghilardi (U. Milano) - Miki Hermann (Ecole Polytechnique, Palaiseau) - Ulrike Sattler (U. Manchester) - Viorica Sofronie-Stokkermans (MPI, Saarbr�cken) Program Committee - Carlos Areces (INRIA Nancy) - Franz Baader (TU Dresden) - Matthias Baaz (TU Wien) - Maria Paola Bonacina (U. Verona) - Sebastian Brandt (U. Manchester) - Christian Ferm�ller (TU Wien) - Silvio Ghilardi (U. Milano) - Reiner Haehnle (Chalmers U.) - Miki Hermann (Ecole Polytechnique, Palaiseau) - Felix Klaedtke (ETH Zurich) - Sava Krstic (Intel Corporation) - Christopher Lynch (Clarkson U.) - Bijan Parsia (U. Manchester) - Silvio Ranise (LORIA/INRIA-Lorraine) - Ulrike Sattler (U. Manchester) - Renate Schmidt (U. Manchester) - Viorica Sofronie-Stokkermans (MPI,Saarbr�cken) - Lidia Tendera (U. Opole) - Ashish Tiwari (SRI International) - Luca Vigano (U. Verona) - Frank Wolter (U. Liverpool) Submission and selection procedure: We plan to accept three types of papers: - Original papers (up to 15 pages, LNCS style, including bibliography); should describe original research and contain sufficient detail to assess the merits and relevance of the contribution. Simultaneous submission of material is prohibited. - Work in progress (up to 6 pages, LNCS style, without bibliography). - Presentation-only papers (please submit an abstract of up to 3 pages, LNCS style + a link to the already published paper): may describe work previously published. The abstracts of accepted presentation-only papers will appear in the informal proceedings to be distributed at the workshop (full papers in this category will not be inserted in the proceedings). We are allowing the submission of previously published work in order to allow researchers to communicate good ideas that the attendees may not be aware of. Given the informal style of the workshop, the submission of papers presenting student's work and work in progress is encouraged. Publication: The final versions of the selected contributions will be collected in a volume to be distributed at the workshop. These informal proceedings will also be made accessible on the web. Important Dates - 19 May 2008: Submission deadline - 19 June 2008: Notification - 10 July 2008: Final version - 10 August 2008: Workshop Contact For further informations please send an e-mail to Viorica Sofronie-Stokkermans (sofronie [at] mpi-inf.mpg.de) From dingl at cs.rpi.edu Tue May 6 01:48:38 2008 From: dingl at cs.rpi.edu (Li Ding) Date: Mon, 05 May 2008 19:48:38 -0400 Subject: Call for Participation: the Sixth Semantic Web Challenge: Open Track and Billion Triples Track Message-ID: <481F9CD6.3010709@cs.rpi.edu> Call for the Sixth Semantic Web Challenge Open Track and Billion Triples Track at the International Semantic Web Conference ISWC 2008 Karlsruhe, Germany November 11-15th, 2007 http://challenge.semanticweb.org/ **************************************************************************** We invite submissions to the sixth annual Semantic Web Challenge, the premiere event for demonstrating practical progress towards achieving the vision of the Semantic Web. The central idea of the Semantic Web is to extend the current human-readable web by encoding some of the semantics of resources in a machine-processable form. Moving beyond syntax opens the door to more advanced applications and functionality on the Web. Computers will be better able to search, process, integrate and present the content of these resources in a meaningful, intelligent manner. As the core technological building blocks are now in place, the next challenge is to show off the benefits of semantic technologies by developing integrated, easy to use applications that can provide new levels of Web functionality for end users on the Web or within enterprise settings. Applications submitted should demonstrate clear practical value that goes above and beyond what is possible with conventional web technologies alone. Unlike in previous years, the Semantic Web Challenge of 2008 will consist of two tracks: the Open Track and the Billion Triples Track. The key difference between the two tracks is that the Billion Triples Track requires the participants to make use of the data set --a billion triples-- provided by the organizers. The Open Track has no such restrictions. As before, the Challenge is open to everyone from academia and industry. The authors of the best applications will be awarded prizes and featured prominently at special sessions during the conference. GOALS ----- The overall goal of this event is to advance our understanding of how semantic technologies can be exploited to produce useful applications for the Web. Semantic Web applications should integrate, combine, and deduce information from various sources to assist users in performing specific tasks. The specific goal of the Billion Triples Track is to demonstrate the scalability of applications as well as to encourage the development of applications that can deal with Web data. We stress that the goal of this is not to be a benchmarking effort between triple stores, but rather to demonstrate applications that can scale to a Web scale using realistic Web-quality data. Minimal Requirements -------------------- Submissions for the Semantic Web Challenge must meet the following minimum requirements: For the Open Track: ~~~~~~~~~~~~~~~~~~~ 1. The meaning of data has to play a central role. * Meaning must be represented using formal descriptions. * Data must be manipulated/processed in interesting ways to derive useful information and * this semantic information processing has to play a central role in achieving things that alternative technologies cannot do as well, or at all; 2. The information sources used * should be under diverse ownership or control * should be heterogeneous (syntactically, structurally, and semantically), and * should contain substantial quantities of real world data (i.e. not toy examples). 3. The application has to be an end-user application, i.e. an application that provides a practical value to domain experts. Although we expect that most applications will use RDF, RDF Schema, or OWL this is not a requirement. What is more important is that whatever semantic technology is used, it plays a central role in achieving interesting new levels of functionality or performance. It is required that all applications assume an open world, i.e. that the information is never complete. Additional Desirable Features ----------------------------- In addition to the above minimum requirements, we note other desirable features that will be used as criteria to evaluate submissions. - The application provides an attractive and functional Web interface (for human users) - Rigorous evaluations have taken place that demonstrate the benefits of semantic technologies, or validate the results obtained. - The application should be scalable (in terms of the amount of data used and in terms of distributed components working together) - Novelty, in applying semantic technology to a domain or task that have not been considered before - Functionality is different from or goes beyond pure information retrieval - The application has clear commercial potential and/or large existing user base - Contextual information is used for ratings or rankings - Multi-media documents are used in some way - There is a use of dynamic data (e.g. workflows), perhaps in combination with static information - The results should be as accurate as possible (e.g. use a ranking of results according to context) - There is support for multiple languages and accessibility on a range of devices For the Billion Triples Track: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1. The primary goal is to for submissions to show how they add value to the very large triple store. This can involved anything from helping people figure out what is in the store via browsing, visualization, etc; could include inferencing that adds information not directly queriable in the original dataset; could involve showing how ontological information could be tied to part(s) or the whole of the dataset; etc. 2. The tool or application has to make use of at least a significant portion of the data provided by the organizers. 3. The tool or application is allowed to use other data that can be linked to the target dataset, but there is still an expectation that the primary focus will be on the data provided. 4. The tool or application does not have to be specifically an end-user application, as defined for the Open Track Challenge, but usability is a concern. The key goal is to demonstrate an interaction with the large data-set driven by a user or an application. However, given the scale of this challenge, solutions that can be justified as leading to such applications, or as crucial to the success of future applications, will be considered. It is desired that all applications assume an open world, i.e. that the information is never complete. However, applications that can show useful ways to "close the world" for sections of the very large dataset will be considered. Additional Desirable Features ----------------------------- In addition to the above minimum requirements, we note other desirable features that will be used as criteria to evaluate submissions. - The application should do more than simply store/retrieve large numbers of triples - The application or tool(s) should be scalable (in terms of the amount of data used and in terms of distributed components working together) - The application or tool(s) should show the use of the very large, mixed quality data set - The application should either function in real-time or, if pre-computation is needed, have a real-time realization (but we will take a wide view of "real time" depending on the scale of what is done) How to participate ------------------ Visit http://challenge.semanticweb.org in order to participate and register for the Semantic Web Challenge by submitting the required information as well as a link to the application on the online registration form. The form will be open until October 1, 2008, 12am CET. The requirements of this entry are: 1) Abstract: no more than 200 words. 2) Description: The description will show details of the system including why the system is innovative, which features or functions the system provides, what design choices were made and what lessons were learned. Papers should not exceed eight pages and must be formatted according to the same guidelines as the papers in the Research Track (see http://iswc2008.semanticweb.org) 3) Web access: The application should be accessible via the web. If the application is not publicly accessible, passwords should be provided. We also ask to provide a (short) instruction on how to start and use the application. Descriptions will be published in the form of an online proceedings. Prizes ------ A prize in money will be provided to the winners along with publicity for their work. The winners will also be asked to give a live demonstration of their application at the ISWC 2008 conference. The best applications will also have a chance to appear as full papers in the Journal of Web Semantics. In the event that one of the tracks receive less than a minimal number of submissions, the organizers reserve the right to merge the two tracks of the competition. IMPORTANT DATES --------- ----- October 1, 2008 Submissions due October 26-30, 2008 ISWC 2008 Technical Program SWC Co-Chairs ------------- Jim Hendler (Rensselaer Polytechnic Institute) Peter Mika (Yahoo! Research Barcelona) SWC Advisory Board ------------------- Dean Allemang (TopQuadrant) Jürgen Angele (Ontoprise) Mike Dean (BBN Technologies) Stefan Decker (DERI, Galway) Jérôme Euzenat (INRIA Rhone-Alpes) Ian Horrocks (University of Manchester) Atanas Kiryakov (OntoText) Michel Klein (Vrije Universiteit, Amsterdam) Deborah McGuinness (Stanford University) Rob Shearer (University of Manchester) Amit Sheth (Wright State University) York Sure (University of Karlsruhe) Hideaki Takeda (National Institute of Informatics, Tokyo) Ubbo Visser (University of Bremen) Contact: -------- Peter Mika Yahoo! Research Barcelona Ocata 1 08001 Barcelona, Spain Tel: +34 935 421 165 Fax: +34 935 421 150 Email: pmika at yahoo-inc.com Web: http://www.cs.vu.nl/~pmika/ From dingl at cs.rpi.edu Tue May 6 01:51:45 2008 From: dingl at cs.rpi.edu (Li Ding) Date: Mon, 05 May 2008 19:51:45 -0400 Subject: 3rd CFP - Call for Tutorial Proposals [7th International Semantic Web Conference][ISWC2008] Message-ID: <481F9D91.5020509@cs.rpi.edu> --------------------------------------------------------------------- CALL FOR ISWC 2008 TUTORIAL PROPOSALS http://iswc2008.semanticweb.org/calls/call-for-tutorial-proposals-for-iswc-2008/ 7th International Semantic Web Conference (ISWC 2008) 26-30 October 2008, Karlsruhe, Germany --------------------------------------------------------------------- In addition to the regular research and workshop program, ISWC 2008 invites tutorials on various topics. A tutorial should present the state of the art of a Semantic Web area enabling attendees to fully appreciate the current issues, main schools of thought, and possible application areas. General Information -------------------------- The topics of interest for tutorials include, but are not limited to the following: * Applications based on Semantic Web technologies * Evaluation of Semantic Web technologies * Semantic Web for e-business, e-science, e-government e-learning, or other application domains * Semantic Web technologies for multimedia content * Personal Information Management * Management of Semantic Web Data * Languages, tools and methodologies for representing and managing Semantic Web data * Database technologies for the Semantic Web * Search, query, and visualization of the Semantic Web * Robust and scalable knowledge management and reasoning on the Web * Machine learning and human language technologies for the Semantic Web * Semantic Web content creation, annotation, and extraction * Ontologies * Ontology creation, extraction, and evolution * Ontology mapping, merging, and alignment * Evaluation and tanking of ontologies * Ontology search * Semantic Web Architecture * Semantic Web middleware * Semantic Web services * Agents on the Semantic Web * Semantics in peer-to-peer systems and grids * Social Semantic Web * Social networks and processes on the Semantic Web * Semantic web technology for collaboration and cooperation * Representing and reasoning about trust, privacy, and security Important Dates -------------------------- * May 16, 2008: Tutorial proposals due * June 6, 2008: Notification of proposal acceptance * July 16, 2008: Deadline for receipt of URL for tutorial web page * September 25, 2008: Deadline for sending the tutorial notes (handouts) to the tutorial chair for reproduction (PDF preferred) * 26-27 October, 2008: Presentation of Tutorial Program Submission Information -------------------------- ISWC 2008 tutorials may be either for a full day or for a half day. Although tutorials may focus entirely on theoretical aspects, we encourage tutorial presenters to incorporate hands-on sessions where appropriate. Tutorial proposals should not exceed 5 pages in Springer LNCS format and should contain the following information: * an abstract (200 words maximum; to be published on ISWC 2008 website) * a brief description of tutorial, including aims, overview of content, presentation style, target audience, and prerequisite knowledge * an indication of full- or half-day, and a draft outline of the tutorial content and schedule * a justification of the tutorial, including relevance to ISWC 2008 * audio-visual or technical requirements and any special room requirements * for a hands-on tutorial, please briefly describe the software that will be used for the hands-on activities, the planned procedure to allow the participants to install the software on their computers, and any special technical requirements related to these activities. Please note that any software needed for hands-on activities, and download sites for the software, must be provided by the tutorial presenters. * information on presenters (name, affiliation, contact info, expertise, experiences in teaching and in tutorial presentation). Please indicate which presenter is the primary contact. The presenters of accepted tutorials will be required to create a tutorial website which gives an overview of the tutorial and includes other relevant information. Additionally we may require tutorial meta-data according to the ISWC 2008 ontology. Please submit tutorial proposals by email to David Martin at martin at ai.sri.com. Tutorial Presenters' Responsibilities -------------------------- Presenters of accepted tutorials are responsible for preparing and maintaining a Web site that describes the tutorial and provides any required materials. Submit the URL for your tutorial site to the tutorial chair by July 16, 2008. The description should make it clear that the tutorial is open to all members of the ISWC community. It should also mention that all tutorial participants must pay the ISWC 2008 conference registration fee, as well as the tutorial fee. Presenters are also responsible for the production and distribution of all technical material to be used for teaching the tutorial slides, notes, technical papers, etc. except for the reproduction of hard copies of printed materials, which will be handled by ISWC. In the case of a hands on tutorial requiring software, it is strongly recommended that the presenters provide CDs from which the participants can install the software needed on their computers. (It is not realistic to expect tutorial attendees to download the software at the beginning of the tutorial!) Tutorial presenters will need to submit the material for printed hand-outs to the tutorial presenters for pre-printing. (The deadline for this is given in important dates section.) The ISWC 2008 Organizing Committee will be responsible for the following: * Providing publicity for the tutorial as a whole on the conference's web page. The ISWC 2008 page will include the tutorial abstract and provide a link to the tutorial's local page. * Providing logistic support and a meeting place for the tutorial. * In conjunction with the tutorial presenters, determining the tutorial date and time. * Production of sufficient copies of printed tutorial materials provided by the tutorial presenters. Tutorial Chairs -------------------------- David Martin, SRI International, USA (martin at ai.sri.com) Lalana Kagal, MIT, USA (lkagal at csail.mit.edu) From csoares at fep.up.pt Tue May 6 16:14:08 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Tue, 06 May 2008 15:14:08 +0100 Subject: [Fwd: 2nd annoucement of NN2008] Message-ID: <482067B0.6050209@fep.up.pt> -------- Mensagem Original -------- Assunto: 2nd annoucement of NN2008 Data: Tue, 6 May 2008 15:00:43 +0100 De: alexandra Para: alexandra Apologies for multiple copies. We appreciate if you can forward this Announcement to potential candidates. ============================================================= SUMMER SCHOOL NN2008 NEURAL NETWORKS in CLASSIFICATION, REGRESSION and DATA MINING July 7-11, 2008, Porto, Portugal ============================================================= http://www.nn.isep.ipp.pt email: nn-2008 at isep.ipp.pt GENERAL INFORMATION The Summer School will be held at Porto, Portugal, jointly organized by the Polytechnic School of Engineering of Porto (ISEP) and the Faculty of Engineering, Porto University (FEUP). Following last year experience, this year's edition also includes a POSTER/WORKSHOP SESSION providing a discussion forum where the participants can obtain peer guidance for their projects. PROGRAMME COMMITTEE • Alexander Zien (Research Scientist at the Friedrich Miescher Laboratory, Germany) • Carlos Soares (Assistant Professor, Faculty of Economy, University of Porto, Portugal) • Christopher Bishop (Deputy Managing Director at Microsoft Research Laboratory in Cambridge and Chair of Computer Science at the University of Edinburgh, UK) • Igor Aizenberg (Assistant Professor at the Department of Computer and Information Sciences, Texas A&M University-Texarkana, USA) • Joaquim Marques de Sá (Full Professor, Dept. Electr. and Comp. Engineering, Fac. of Engineering, University of Porto, Portugal) • Jorge Santos(Assistant Professor, Engineering Polythecnic Institute, Porto, Portugal) • Mark Embrecht (Associate Professor, Rensselaer Polytechnic Institute, RPI Troy, New York, U.S.A.) • Noelia Sánchez Maroño (Assistant Professor, Coruna University, Spain) • Paulo Cortez (Assistant Professor, University of Minho, Portugal) • Petia Georgieva (Assistant Professor, University of Aveiro, Portugal) • Yann Guermeur (Scientific Director of the Laboratoire Lorrain de Recherche en Informatique et ses Applications, France) COURSE CONTENTS Neural networks (NN) have become a very important tool in classification and regression tasks. The applications are nowadays abundant, e.g. in the engineering, economy and biology areas. The Summer School on NN is dedicated to explain relevant NN paradigms, namely multilayer perceptrons (MLP), radial basis function networks (RBF) and support vector machines (SVM) used for classification and regression tasks, illustrated with applications to real data. Specific topics are also presented, namely Multi-Valued and UB Neurons , Functional Networks , MLP's with Entropic Criteria and Data Mining using NN. Classes include practical sessions with appropriate software tools. The trainee has, therefore, the opportunity to apply the taught concepts and become conversant with a broad range of NN topics and applications. A special workshop session will provide a discussion forum where the participants can obtain peer guidance for their projects. PRELIMINARY PROGRAMME A preliminary programme and further information about the classes are available at the school webpage (http://www.nn.isep.ipp.pt) IMPORTANT DEADLINES Early Registration: 18 May 2008 Poster Submission: 15 June 2008 Hotel booking : 15 June 2008 Summer School: 7-11 July 2008 All participants are required to register prior to the start of the School - until the June 15 - even if you choose to pay the late registration fee at the registration desk. Please note that only a LIMITED number of participants can be accepted. REGISTRATION In order to attend the School you must fill in the registration form, available at the School web page. Please note that if you have any guests who would like to take part in the social programme, you must register them as well, by filling in the corresponding field in the registration form. SCHOOL FEES The registration fee for participants amounts to: - Early registration fee (paid before the 18th of May) * 350 Euro (students, ISEP and FEUP staff) * 400 Euro (all other participants) - Late registration fee (paid after the 18th of May) * 400 Euro (students, ISEP and FEUP staff) * 450 Euro (all other participants) The registration fee includes: * school package (manuscripts, lecture's notes, CD) * coffee breaks * daily lunch * welcome reception * school banquet NOTE: The registration fee for those who attended previous editions amounts to 25/30 euro per lecture and includes the school package and coffee-breaks. Please, contact the LOC for further details. LOCAL ORGANIZING COMMITTEE (LOC) - Helena Brás Silva – Assistant Professor, Dept. Mathematics, ISEP, Portugal - Jorge M. Santos - Assistant Professor, Dept. Mathematics, ISEP, Portugal - Rui Chibante - Assistant Professor, Dept. Mathematics, ISEP, Portugal CONTACT ADDRESS Local Organizing Committee (LOC) - Summer School NN2008 A/C Jorge M. Santos Departamento de Matemática Instituto Superior de Engenharia do Porto Rua Dr. António Bernardino de Almeida 431 4200-072 PORTO / PORTUGAL Email: nn-2008 at isep.ipp.pt NN2008 Secretariat Ms. Gabriela Afonso Email: gafonso at fe.up.pt Programme Chair: Prof. Joaquim Marques de Sá Tel. +351 225081828 - Email: jmsa at fe.up.pt ======================================== From mpavone at dmi.unict.it Tue May 6 17:01:00 2008 From: mpavone at dmi.unict.it (Mario Pavone) Date: Tue, 06 May 2008 17:01:00 +0200 Subject: International School of Natural Computation - Registration Deadline Friday May 16th, 2008 Message-ID: <20080506170100.mktdudz00s0wscws@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/index.html 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. List of Speakers Paolo Arena, University of Catania, Italy Andrea Brand, University of Cambridge, UK Luca Cardelli, Microsoft Research, Cambridge, UK Troels Damgaard, University of Copenhagen, Denmark Vincent Danos, CNRS, Universite Denis Diderot, France Pierpaolo Degano, University of Pisa, Italy Walter Fontana, Harvard University, USA Jim Haseloff, University of Cambridge, UK Jean Krivine, Ecole Polytechnique, Palaiseau Cedex, France Pietro Liò, University of Cambridge, UK Lakshminarayanan Mahadevan, Harvard University, USA Vincenzo Manca, University of Verona, Italy Vittorio Maniezzo, University of Bologna, Italy Giuseppe Nicosia, University of Catania, Italy Corrado Priami, Microsoft Research - University of Trento CoSBi, Italy Ehud Shapiro, Weizmann Institute of Science, Israel Jon Timmis, York University, UK Luca Zammataro, Cnr, Italy Seminars: There will be several seminars complementing the topics treated in the course. Paolo Bellavista, University of Bologna, Italy Marco Mamei, University of Modena, Italy Emanuela Merelli, University of Camerino, Italy Registrations Close: May 16th, 2008 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 Friday May 16th 2008. After this is complete, they should pay, following the instructions, as soon as possible, and before May 30th, 2008 (Applications are considered complete only after the payment has been received). The form is available here. Follow instructions from the form, in order to complete the registration. You will receive a confirmation email. The registration deadline is: Friday May 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 or Pietro Liò pl219 at cam.ac.uk, Giuseppe Nicosia nicosia at dmi.unict.it http://www.dmi.unict.it/~bnc/index.html -- 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 mpavone at dmi.unict.it Tue May 6 17:01:08 2008 From: mpavone at dmi.unict.it (Mario Pavone) Date: Tue, 06 May 2008 17:01:08 +0200 Subject: International Summer School of Functional Genomics, July 5-19, 2008 - Registration Deadline: May 20th Message-ID: <20080506170108.5mui3aiom8g4ggc8@mbox.dmi.unict.it> * Apologize for Multiple Postings * * Please pass this Call for Partecipation to interested Colleagues & * * students * INTERNATIONAL SUMMER SCHOOL OF FUNCTIONAL GENOMICS Baia Samuele Conference Centre, Scicli, Sicily, Italy July 5th-19th 2008 http://www.functional-genomics.it/school Due to numerous requests we decided to extend the Registration deadline. Registration *Deadline*: May 20th, 2008 The International School of Functional Genomics consists of two modules. Each module is one week long. Participants may register for one or both modules. First week: "Cutting edge genomic technologies" (July 5-12, 2008) "Lectio Magistralis" Rita Levi-Montalcini, Nobel Laureate, Italy "In-CheckTM platform: a highly integrated solution for rapid and accurate Nucleic Acid testing" Enrico Alessi, STMicroelectronics, Italy "Magnetic strategies for biosensors" Salvatore Baglio, University of Catania, Italy "System neurobiology: from a reductionistic to an olistic approach" Pietro Calissano, European Brain Research Institute, Italy and Institute of Neurobiology and Molecular Medicine, CNR, Italy "New technologies and products for healthcare" Salvo Coffa, STMicroelectronics, Italy "Executable models for synaptic plasticity and VICE: a virtual cell" Pierpaolo Degano, University of Pisa, Italy "Practical course on pathway analysis and gene expression" Mark Hughes, MetaCore, UK "Practical Course on gene ontologies and pathway analysis" Carsten Lederer, Telethon Institute for Gene Therapy, Italy "Linkage and association studies using markers and SNP arrays" Ben Oostra, Erasmus University, The Netherlands "Microarray data analysis" John Quackenbush, Harvard School of Public Health, Harvard University, USA "Integrating glycomics and genomics" Shiladitya Sengupta, Harvard Medical School, Harvard-MIT Division of Health Sciences and Technology, USA "Practical course on DNA microarray analysis" Massimo Tifi, Abel, Italy Second module: "Application of genomic technologies to the biomedical field" (July 12-19, 2008) "Introduction to neuroinformatics and computational neuroanatomy" Giorgio Ascoli, Krasnow Institute for Advanced Study, George Mason University, USA "Forensic DNA" Lucia Bianchi, Lawyer, Italy "Genomics: at the intersection of neuronal life and death" Sebastiano Cavallaro, ISN CNR, Italy "Applying genomic profiling to enable personalized medicine" Femke de Snoo, Agendia, The Netherlands "Pharmacogenetics, pharmacogenomics and individualized therapies" Filippo Drago, University of Catania, Italy "A web-based architecture for parallel computation of molecular pathway models" C. Forbes Dewey, Jr. MIT, USA "Functional genomics: new frontiers in drug discovery" Gerald Fisher, Wyeth, USA "Practical course on biological pathways analysis simulation" Andrew Koo, MIT, USA "Methods and models in computational genomics" Pietro Liò, Computer Laboratory, University of Cambridge, UK "Computational systems biology: a programming language approach" Corrado Priami, Microsoft Research - University of Trento COSBI, Italy "Tumor classification by genomic analysis" John Quackenbush, Harvard School of Public Health, Harvard University, USA "Gene expression profiling of advanced ovarian cancer" Claudio Schneider, University of Udine, Italy "Careers in science publishing" Magdalena Skipper, Nature Publishing Group, UK "Toxicogenomics" Elisabetta Tendi, Wyeth, Italy SCHOOL VENUE The School will be hosted by Hotel Village Baia Samuele, Scicli, (RG), Sicily: http://www.baiasamuele.it/ Scicli is one the Late Baroque Towns of the Val di Noto in the South-Eastern Sicily. The Val di Noto area is included in the UNESCO World Heritage List http://whc.unesco.org/en/list/1024/documents/ The eight towns in south-eastern Sicily: Caltagirone, Militello Val di Catania, Catania, Modica, Noto, Palazzolo, Ragusa and Scicli, were all rebuilt after 1693 on or beside towns existing at the time of the earthquake which took place in that year. They represent a considerable collective undertaking, successfully carried out at a high level of architectural and artistic achievement. Keeping within the late Baroque style of the day, they also depict distinctive innovations in town planning and urban building. SCHOOL FEES & DEADLINES * Early Registration before May 20, 2008: o One Week Student Registration (M.Sc. and Ph.D. Students): 350 Euro. o One Week Registration: 600 Euro. o Both Weeks Student Registration: 650 Euro. o Both Weeks Registration: 1100 Euro. * Late Registration after May 20, 2008: o One Week Late Student Registration (M.Sc. and Ph.D. Students): 450 Euro. o One Week Late Registration: 800 Euro. o Both Weeks Late Student Registration: 750 Euro. o Both Weeks Late Registration: 1500 Euro. The application should be done *before* May 20, 2008. Early payment due: before May 20, 2008. Late payment due after May 20, 2008 The fee will include, all Courses, Lecture Notes, Coffee Breaks, Bus service from Catania Airport to School Venue and vice-versa, WiFi Internet Connection, Two Social Tours. Accepted students may submit a poster and/or a seminar to present their recent research activities. Participants are responsible for arranging their own hotel accommodation Download, complile and send by FAX the accomodation bill form - Deadline May 20th http://www.functional-genomics.it/school/BaiaSamuele.pdf School Director: Sebastiano Cavallaro, CNR, Italy Scientific Committee: Sebastiano Cavallaro, CNR, Italy. Pietro Liò, University of Cambridge, UK. Giuseppe Nicosia, University of Catania, Italy. Enrico Rizzarelli, University of Catania, Italy For more information, please send an email to: school at functional-genomics.it -- 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 csoares at fep.up.pt Tue May 6 19:31:50 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Tue, 06 May 2008 18:31:50 +0100 Subject: [Fwd: CFP - 2nd Planning to Learn Workshop at ICML-08 - Extended Deadline] Message-ID: <48209606.4070901@fep.up.pt> -------- Mensagem Original -------- Assunto: CFP - 2nd Planning to Learn Workshop at ICML-08 - Extended Deadline Data: Tue, 06 May 2008 17:51:48 +0100 De: Pavel Brazdil Para: ashwin at cc.gatech.edu, Carlos Soares , cgc at cs.byu.edu, Luc.DeRaedt at cs.kuleuven.be, maarten at science.uva.nl, oli.ray at gmail.com, Peter.Flach at bristol.ac.uk, vilalta at cs.uh.edu, Filip Zelezny , Rui Leite , Saso Dzeroski , Tom Mitchell , Vojtech Svatek CC: Abraham Bernstein , Pavel Brazdil , Larry Hunter Dear Colleagues, I am not sure whether you got this information yesterday from Avi B., and so, to be sure, I am including it here. This email includes the 2nd Call for papers for the 2nd Planning to Learn (PlanLearn) workshop with extended deadline to May 13. The workshop will be associated with ICML-08 and other co-located conferences (COLT, UAI). Could you please distribute it to your colleagues, contacts and/or lists you may have access to? Many thanks! Regards Pavel Brazdil (also for Avi Bernstein and Larry Hunter) PS. Besides 2 invited talks we have a reasonable number of submissions (6), so the workshop will go ahead. However, we have space for a couple more, should there still someone interested. This is why we are sending this email. ************************************************ *** 2nd PLANNING TO LEARN (PlanLearn) Workshop *** Call for Extended Abstracts Workshop co-located with ICML / COLT / UAI 2008 July 9, 2008, Helsinki, Finland http://www.ifi.uzh.ch/ddis/events/planlearn08/ Important Dates: Abstract submission due: May 13, 2008 <- Extended Acceptance notification: May 26, 2008 <- Extended Final Paper: June 20, 2008 Invited Speakers Ray Mooney, University of Texas at Austin, USA Ashwin Ram, Georgia Tech, USA Motivation The task of constructing composite systems, that is systems composed of more than one part, can be seen as interdisciplinary area which builds on expertise in different domains. The aim of this workshop is to explore the possibilities of constructing such systems with the aid of Machine Learning and exploiting the know-how of Data Mining. One way of producing composite systems is by inducing the constituents and then by putting the individual parts together. For instance, a text extraction system may be composed of various subsystems, some oriented towards tagging, morphosyntactic analysis or word sense disambiguation. This may be followed by selection of informative attributes and finally generation of the system for the extraction of the relevant information. Machine Learning techniques may be employed in various stages of this process. The problem of constructing complex systems can thus be seen as a problem of planning to resolve multiple (possibly interacting) tasks. So, one important issue that needs to be addressed is how these multiple learning processes can be coordinated. Each task is resolved using certain ordering of operations. Meta-learning can be useful in this process. It can help us to retrieve previous solutions conceived in the past and re-use them in new settings. The aim of the workshop is to explore the possibilities of this new area, offer a forum for exchanging ideas and experience concerning the state-of-the art, permit to bring in knowledge gathered in different but related and relevant areas and outline new directions for research. Of particular interest are methods and proposals that address the following issues: Planning to construct composite systems, Exploitation of ontologies of tasks and methods, Representation of learning goals and states in learning, Control and coordination of learning processes, Recovering / adapting sequences of DM operations, Meta-learning and exploitation of meta-knowledge, Layered learning, Multi-task learning, Transfer learning, Multi-predicate learning (and other relevant ILP methods), Combining induction and abduction, Multi-strategy learning, Learning to learn. Other areas may be covered, provided they are relevant towards the overall aims of the workshop. Organization Workshop organizers (Program Chair /Co-Chairs) Pavel Brazdil, LIAAD-INESC L.A., University of Porto, pbrazdil AT liaad.up.pt Abraham Bernstein, University of Zurich, Switzerland mail Larry Hunter, Univ. of Colorado at Denver and Health Sciences Center, USA Program Committee Abraham Bernstein, University of Zurich, Switzerland Pavel Brazdil, LIAAD, University of Porto, Portugal Christophe Giraud-Carrier, Brigham Young University, USA Saso Dzeroski, IJS, Ljubljana Peter Flach, Univ. of Bristol, Great Britain Larry Hunter, Univ. of Colorado at Denver and Health Sciences Center, USA Rui Leite, LIAAD, University of Porto, Portugal Tom Mitchell, Carnegie-Mellon Univ., USA (advisory role) Oliver Ray, Univ. of Bristol, Great Britain Ashwin Ram, Georgia Tech, USA Luc de Raedt, University of Leuven, Belgium Carlos Soares, LIAAD, University of Porto, Portugal Maarten van Someren, University of Amsterdam, The Netherlands Vojtech Svatek, Univ. of Economics, Prague, Czech Republic Ricardo Vilalta, University of Houston, USA. Filip Zelezny, Czech Technical University, Czech Republic From cimca at canberra.edu.au Wed May 7 13:52:53 2008 From: cimca at canberra.edu.au (cimca) Date: Wed, 7 May 2008 21:52:53 +1000 Subject: CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08 Message-ID: CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08 CALL FOR PAPERS International Conference on Computational Intelligence for Modelling, Control and Automation 10-12 December 2008 - Vienna, Austria http://community.ise.canberra.edu.au/conference/cimca08/ Jointly with International Conference on Intelligent Agents, Web Technologies and Internet Commerce - IAWTIC08 http://community.ise.canberra.edu.au/conference/iawtic08/ International Conference on Innovation in Software Engineering - ISE08 http://community.ise.canberra.edu.au/conference/ise08/ Honorary Chair: Lotfi A. Zadeh, University of California, USA Stephen Grossberg, Boston University, USA Important Dates: 29 August 2008 Submission of papers to the conference 26 September 2008 Notification of acceptance 17 October 2008 Deadline for camera-ready copies of accepted papers 10 - 12 December 2008 Conference sessions Collaborators and sponsors: European Society for Fuzzy Logic and Technology - EUFLAT International Association for Fuzzy Set in Management and Economy - SIGEF Japan Society for Fuzzy Theory and Intelligent Informatics - SOFT Taiwan Fuzzy Systems Association - TFSA World Wide Web Business Intelligence - W3BI Hungarian Fuzzy Association - HFA University of Canberra IEEE - Conference Proceedings will be published by IEEE in USA The international conference on computational intelligence for modelling, control and automation will be held in Vienna, Austria on 10-12 December 2008. The conference provides a medium for the exchange of ideas between theoreticians and practitioners to address the important issues in computational intelligence, modelling, control and automation. The conference will consist of both plenary sessions and contributory sessions, focusing on theory, implementation and applications of computational intelligence techniques to modelling, control and automation. For contributory sessions, papers (4 pages or more) are being solicited. Several well-known keynote speakers will address the conference. Conference Proceedings will be published as books by IEEE (The Institute of Electrical and Electronic Engineering) in USA and will be index world wide. All papers will be peer reviewed by at least two reviewers. Topics of the conference include, but are not limited to, the following areas: Modern and Advanced Control Strategies: Neural Networks Control, Fuzzy Logic Control, Genetic Algorithms and Evolutionary Control, Model-Predictive Control, Adaptive and Optimal Control, Intelligent Control Systems, Robotics and Automation, Fault Diagnosis, Intelligent agents, Industrial Automations, Modelling, Simulation Hybrid Systems: Fuzzy Evolutionary Systems, Fuzzy Expert Systems, Fuzzy Neural Systems, Neural Genetic Systems, Neural-Fuzzy-Genetic Systems, Hybrid Systems for Optimisation Data Analysis, Prediction and Model Identification: Signal Processing, Prediction and Time Series Analysis, System Identification, Data Fusion and Mining, Knowledge Discovery, Intelligent Information Systems, Image Processing, and Image Understanding, Parallel Computing applications in Identification & Control, Pattern Recognition, Clustering and Classification Decision Making and Information Retrieval: Case-Based Reasoning, Decision Analysis, Intelligent Databases & Information Retrieval, Dynamic Systems Modelling, Decision Support Systems, Multi-criteria Decision Making, Qualitative and Approximate-Reasoning Paper Submission Papers will be selected based on their originality, significance, correctness, and clarity of presentation. Papers (4 pages or more) should be submitted to the following e-mail or through conference website: E-mail: cimca at canberra.edu.au CIMCA'2008 Secretariat School of Information Sciences and Engineering University of Canberra, Canberra, 2616, ACT, Australia Electronic submission of papers (either by E-mail or through conference website) is preferred. Papers should present original work, which has not been published or being reviewed for other conferences. Important Dates 29 August 2008 Submission of papers to the conference 26 September 2008 Notification of acceptance 17 October 2008 Deadline for camera-ready copies of accepted papers 10 - 12 December 2008 Conference sessions Special Sessions and Tutorials Special sessions and tutorials will be organised at the conference. The conference is calling for special sessions and tutorial proposals. All special session proposals should be sent to the conference chair (by email to: masoud.mohammadian at canberra.edu.au) on or before 4th of August 2006. CIMCA'06 will also include a special poster session devoted to recent work and work-in-progress. Abstracts are solicited for this session. Abstracts (3 pages limit) may be submitted up to 30 days before the conference date. Visits and social events Sightseeing visits will be arranged for the delegates and guests. A separate program will be arranged for companions during the conference. Further Information For further information either contact cimca at canberra.edu.au or see the conference homepage at: http://community.ise.canberra.edu.au/conference/cimca08/ Organising Committee: Canada and USA Liaison: J. D. Pinter, J. D. Pinter, PCS Inc. & Dalhousie University, Canada Asia Liaison: Christina Meier, W3BI, Australia R. Amin Sarker, ADFA, Australia Europe Liaison: Frank Zimmer, ASTRA - Luxembourg Nasser Jazdi, Institut für Automatisierungs- und Softwaretechnik, Germany Andreas S. Andreou, University of Cyprus,Cyprus Publication: Masoud Mohammadian, University of Canberra, Australia International Programme Committee J. Liu, Hong Kong Baptist University, Hong Kong A. Namatame, National Defense Academy, Japan A. Agah, The University of Kansas, USA J. P. Bigus, IBM T.J. Watson Research Center, USA E. André, Universität Augsburg, Germany K. Sycara, Carnegie Mellon University, USA H. Adeli, The Ohio State University, USA B. Kosko, University of Southern California, USA A. Kandel, University of South Florida, USA T. Fukuda, Nagoya University, Japan T. Baeck, Informatic Centrum Dortmund, Germany J.Bezdek, University of West Florida, USA M. Mohammadian University of Canberra, Australia K. Hirota, Tokyo Institute of Technology, Japan E. Oja, Helsinki University of Technology, Finland W. Pedrycz, University of Manitoba, Canada X. Yao, The University of New South Wales, ADFA, Australia H. R. Berenji, NASA Ames Research Center, USA R. C. Eberhart, Purdue University,USA T. Shibata, MITI, Ministry of International Trade and Industry, Japan H. Liljenstrom, Royal Institute of Technology, Sweden A. Y. Zomaya, University of Western Australia, Australia F. Herrera, University of Granada, Spain A Jafari, Indiana University Purdue University Indianapolis, IUPUI, USA A. Bulsari, AB Nonlinear Solutions OY, Finland B. Ruhul Sarker, University of New South Wales (ADFA), Australia J. D. Pinter, Dalhousie University, Canada T. Furuhashi, Nagoya University, Japan A. Aamodt, Norwegian University of Science and Technology, Norway J. Fernandez de Cañete, University of Malaga, Spain W. Duch, Nicholas Copernicus,University, Poland E. Tulunay, Middle East Technical University, Turkey L. Guan, University of Sydney, Australia C. Kuroda, Tokyo Institute of Technology, Japan T. Yamakawa, Kyushu Institute of Technology, Japan From dingl at cs.rpi.edu Wed May 7 15:45:50 2008 From: dingl at cs.rpi.edu (Li Ding) Date: Wed, 07 May 2008 09:45:50 -0400 Subject: ISWC 2008 deadlines this week and next Message-ID: <4821B28E.6060807@cs.rpi.edu> Deadlines for submitting papers, doctoral consortium applications and tutorial proposals for the 7th International Semantic Web Conference are fast approaching. Note that titles and abstracts for research papers should be registered by this Friday, May 9. Key upcoming dates are: * Research papers: due May 9 (abstract) & 16 (paper) * Semantic Web in Use papers: due May 16 * Tutorial proposals: due May 16 * Doctoral Consortium applications: due May 16 * Posters & Demo proposals: due July 25 * Workshops papers (13 workshops): mid-summer * Semantic Web & Billion Triples challenge: Oct 1 * ISWC 2008, Karlie's, DE: 26-30 October See http://iswc2008.semanticweb.org/ for CFPs and other details. Inquires about specific tracks should be sent to the appropriate chairs. Send general questions and suggestions for panel topics, invited speakers, birds of a feather meetings, etc. to ISWC08 at GMAIL.COM . -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From thor at informatik.uni-leipzig.de Thu May 8 08:50:17 2008 From: thor at informatik.uni-leipzig.de (Andreas Thor) Date: Thu, 08 May 2008 08:50:17 +0200 Subject: Call for Participation - WAIM08 - Web-Age Information Management, Zhangjiajie, China In-Reply-To: <4731D49A.4090500@informatik.uni-leipzig.de> References: <4731D49A.4090500@informatik.uni-leipzig.de> Message-ID: <4822A2A9.5000108@informatik.uni-leipzig.de> You are cordially invited to attend The Ninth International Conference on Web-Age Information Management to be held in Zhangjiajie, China from July 20 to July 22, 2008. The registration is now open at http://waim2008.nudt.edu.cn/index.html. Email: waim2008 at nudt.edu.cn WAIM'08 will continue the fine tradition of the previous WAIM conferences in providing an international forum for researchers and practitioners in the Web and database communities to share and exchange new ideas, results, experience, techniques and tools related to all aspects of Web data management. The conference invites original research and industrial papers on the theory, design and implementation of Web-based information systems, as well as proposals for demonstrations, tutorials and panels. WAIM'08 will be held in Zhangjiajie, one of the most beautiful areas in China. The highlights of the WAIM 2008 program are as follows: Two Keynote Presentations: Speaker: Jiawei Han, University of Illinois at Urbana-Champaign Title: From Graph Mining to Information Network Mining Speaker: Xuemin Lin, University of New South Wales Title: Skyline Computation Three Tutorials: Topic: Managing Changes to XML Data: The State-Of-The-Art Speakers: Sourav S. Bhowmick, Sanjay Madria, Erwin Leonardi Topic: Data Mining for Social Network Analysis Speakers: Jaideep Srivastava, Muhammad A. Ahmad Topic: Data Mining Algorithms in Bioinformatics: Down and Emerging Trends Speaker: Jinyan Li Sixty-Five Technical Paper Presentations Three Workshops We look forward to seeing you at WAIN 2008 in Zhangjiajie! WAIM 2008 Organizing Committee From alexander.friedmann at uqam.ca Thu May 8 05:51:41 2008 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Wed, 7 May 2008 23:51:41 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Wed, May 7, 2008 at 10:39 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 bonatti at na.infn.it Fri May 9 14:13:50 2008 From: bonatti at na.infn.it (Piero Bonatti) Date: Fri, 9 May 2008 14:13:50 +0200 Subject: 4TH REASONING WEB SUMMER SCHOOL (RW 2008): Call for participation (DEADLINE IS APPROACHING!) Message-ID: <2963EA51-C107-49BF-A79E-43BA486BBB07@na.infn.it> ***APOLOGIES FOR MULTIPLE POSTINGS*** ======================================= 4TH REASONING WEB SUMMER SCHOOL (RW 2008): Call for participation **THE APPLICATION DEADLINE IS APPROACHING!** http://www.reasoningweb.org/2008/ VENUE San Servolo Island, Venice (in front of S. Marco Square). DATE 7-11 September, 2008 DEADLINE FOR APPLICATIONS *** May 16, 2008 *** INTRODUCTION Reasoning Web 2008 is the fourth edition of a successful series of summer schools devoted to semantic web reasoning and applications, supported by the Network of Excellence REWERSE until 2007. In 2008 the school will cover basic foundational material and will survey a range of successful applications. The program will include tutorials as well as hands-on activities. The school is meant to help the participants to identify which Semantic Web ideas and techniques have actually been adopted so far, which weren't (and why), and which application needs are still waiting to be tackled with semantic techniques. To ensure a high ratio between tutors and students the school will have a limited number of participants (see application details below). A small number of scholarships will be available, details can be found on the summer school web page. PROGRAM 1. Foundations of Knowledge representation and Reasoning - T. Eiter, A. Polleres, U. Straccia 2. Representing Knowledge with Controlled Natural Language Processing - N. Fuchs 3. Semantic Multimedia - S. Staab 4. Semantic techniques for Social Networks - J. G. Breslin, S. Decker, S. Schaffert 5. Semantic techniques for Bioinformatics - P. Romano, A. Splendiani 6. Semantic Web Services - J. Cardoso ORGANIZING COMMITTEE P. A. Bonatti (Program chair), bonatti at na.infn.it M. Marchiori (Local organization), massimo at math.unipd.it C. Baroglio (PC member) J. Maluszynski (PC member) A. Polleres (PC member) S. Schaffert (PC member) REGISTRATION FEE: 750 EUR Covers: - the volume of LECTURE NOTES published by Springer, - accommodation at San Servolo Island, - all meals, - social event. APPLICATION/REGISTRATION: To apply, fill the application form at http://www.reasoningweb.org/2008/ Applications need to be made by 16 May 2008. The details on how to register will be included in the answer to accepted applicants. Registration is possible from 30 May 2008 until 15 June 2008. From ilona.zaremba at sti2.at Fri May 9 16:10:58 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Fri, 09 May 2008 16:10:58 +0200 Subject: CFP: Semantics4ws & BPM2.0 - Advances in Semantics for Web services (3rd edition) Message-ID: <48245B72.30400@sti2.at> *** Call for Papers *** =================================== SUBMISSION DEADLINE: 23 May 2008 =================================== -------------------------------------------------------- Advances in Semantics for Web services Workshop (semantics4ws'08) http://www.knoesis.org/semantics4ws2008/ Theme: “BPM 2.0 - Semantic Web and Web 2.0 Meet BPM: Semantics in Business and Scientific Processes” at the Sixth International Conference on Business Process Management (BPM 2008) http://emma.polimi.it/emma/showEvent.do?idEvent=22 Milan, Italy, 1-4 September 2008 -------------------------------------------------------- GENERAL OVERVIEW Web services have added a new level of functionality to the current Web by taking a first step towards seamless integration of distributed software components using Web standards. Current Web service technologies around SOAP, WSDL and UDDI operate at a syntactic level and, therefore, although they support interoperability (i.e. interoperability between the many diverse application development platforms that exist today) through common standards, they still require human interaction to a large extent. For example, both the process of finding a relevant service or of mediating data that needs to be exchanged between the services require significant manual work. To address these and other limitations, a community of researchers have been working on Semantic Web Services (SWS) since 2001. This research draws upon a variety of fields such as Semantic Web, knowledge representation, formal methods, software engineering, process modelling, workflow, and software agents. A key objective of SWS has been to automate Web services-related tasks, like discovery, publication, selection, composition, mediation, monitoring, invocation, and adaptation, whereby the use of semantics increases the degree of automation. SWS community has been enriched by a number of large group projects and initiatives, like OWL-S, METEOR-S, WSMO, WSDL-S, IRS, has resulted in four submissions to W3C and the first W3C recommendation on semantics for Web services, Semantic Annotations for WSDL (SAWSDL). This is complemented by an increasing number of open source tools, use cases and prototypical applications. At least 10 workshops related to SWS have been held at ICWS, BPM, ICSOC, WWW and other conferences. In fact, this proposal is for the fifth workshop in a series. This workshop will provide a forum in which to focus on selected core technical challenges for deployment of Semantic Web Services and SAWSDL and reach a better understanding of the relationships between commercial Web service standards, SAWSDL, current SWS research efforts, recent proposals of SA-REST and semantic policy descriptions, and the ultimate requirements for full-scale deployment of these technologies. More specifically, this workshop aims to tackle the research problems (as well as recent practical experiences) around methods, concepts, models, languages and technology that enable semantics in the context of Web services, as well as discussing recent advances in semantics for Web services. Of particular interest are the architectural, technical, and developmental foundations of SWS, and showing how they combine synergistically to enable service automation on the scale required by today’s Internet-connected enterprises. The workshop will in particular solicit work that elaborates on the use of collaborative approaches in the annotation or ranking of services or other usages of the Web 2.0 paradigm in the the BPM community. We assume that the very same approach that we know from Web 2.0 – to work collaboratively – could enhance the results of process modeling. This proposed workshop aims to bring together researchers and industry practitioners (e.g. leading modellers, 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 SWS applications), and promote and foster a greater understanding of how semantics can assist automation in Web services, thus helping people develop and manage services more efficiently and effectively. TOPICS The following indicates the general focus of the workshop. However, related contributions are welcome as well. - tools, middleware, case studies and applications involving or supporting SWS ontologies, modelling and descriptions of quality of services (QoS), services level agreements (SLAs), and non-functional properties (NFPs) of Web services, policies, agreements and contracts related to SWS - formal languages for describing SWS and related aspects including QoS, SLAs, and NFPs - Web 2.0 techniques related to BPM - reasoning tasks and their complexity in SWS - validation and verification for Web services, - advertising, discovery, matchmaking, selection, brokering and data/process/protocol mediation in SWS and processes - composition, planning, and re-planning with SWS - execution and lifecycle management of SWS - monitoring, adaptability, and recovery strategies for SWS - semantics for Grid services and e-Services 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 BPM 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 12 pages and should have the Springer Lecture Notes of Computer Science (LNCS) layout. Demos: Detailed description plus sufficient number of screenshots or a video of the demo are required. For paper-based submissions, please follow the Springer LNCS 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 5 pages and should have the Springer LNCS layout. All contributions will be peer reviewed by a program committee that will incorporate well recognized experts in the area of semantic technologies and Web services. All submissions should be formatted in Springer's LNCS style, should be submitted in electronic format using the link: http://www.easychair.org/conferences/?conf=Semantics4WS. 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 Springer LNCS and will be available at the workshop. IMPORTANT DATES Paper submission deadline: 23 May 2008 Notification of acceptance: 27 June 2008 Camera ready: 6 July 2008 (strict deadline) ORGANIZING COMMITTEE Workshop Co-chairs: - Steven Battle (Hewlett-Packard Labs, UK), - John Domingue (The Open University, UK), - Martin Hepp (University of the German Federal Armed Forces, Germany) - Dumitru Roman (STI Innsbruck, Austria) Steering Committee: - Witold Abramowicz (Poznan University of Economics, Poland) - David Martin (SRI International, USA) - Amit Sheth (Wright State University, USA) - chair Workshop Proceedings Chair: - Agata Filipowska (Poznan University of Economics, Poland) Publicity Chair: - Ajith Ranabahu (Wright State University, USA) PROGRAM COMMITTEE (to be extended) - Rama Akkiraju, IBM, USA - Jorge Cardoso, University Mediera, Portugal - Sanjay Chaudhary, DA-IICT, India - Emilia Cimpian, STI Innsbruck, Austria - Marin Dimitrov, Ontotext, Bulgaria - Dieter Fensel, STI, Austria - Karthik Gomadam, Wright State University, USA - Juan Miguel Gómez, Universidad Carlos III de Madrid, Spain - Michael Gruninger, University of Toronto, Canada - Sung-Kook Han, Won Kwang University, South Korea - Jacek Kopecky, STI Innsbruck, Austria - Michael Maximilien, IBM, USA - Brahim Medjahed, University of Michigan, USA - Adrian Mocan, STI Innsbruck, Austria - Massimo Paolucci, DoCoMo Euro-Labs, Germany - Marc Richardson, BT, UK - Brahmananda Sapkota, DERI Galway, Ireland - Tony Shan, Bank of America, USA - Monika Solanki, De Montfort University, UK - Ioan Toma, STI Innsbruck, Austria - Stuart Williams, HP Bristol, UK - ... Previous Workshops of the Series - http://events.deri.at/semantics4ws2007/ - http://events.deri.at/semantics4ws2006/ From ilona.zaremba at sti2.at Fri May 9 16:24:26 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Fri, 09 May 2008 16:24:26 +0200 Subject: ICEC08: Call for Demos and Posters Message-ID: <48245E9A.1060405@sti2.at> ========== ICEC08: Call for Demos and Posters ========== =================== Extended Deadline ==================== ICEC08 – Demo and Poster Track Tenth International Conference on Electronic Commerce August 19-22, 2008, Innsbruck, Austria Call for Demos and Posters 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. The conference focuses on the following areas of interest: • Business-to-business e-commerce: trends, problem areas, and solutions with emphasis on emerging markets; • Business-to-consumer e-commerce: adoption of IOS, technologies for interoperable processes, and e-collaboration for global reach; • 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; • Business/Enterprise Architectures: state-of-the-art and strategies for unifying extended enterprise resource base; • Mobile and pervasive commerce: alternative interaction metaphors that facilitate context aware, geo-spatially relevant services to users in novel environments; • 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; • 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. ICEC hosts a demo track providing a stage for demonstrating cutting edge applications in the fields mentioned above. Demo applications may comprise academic prototypes as well as commercial innovations from industry. The demo track takes place on one afternoon during the conference. Instructions for Authors Submissions should describe the application in no more than 2 pages. Accepted authors are expected to prepare a poster depicting the application's functionality. In case of any question please contact Marco Zapletal at icec08_demo at ec.tuwien.ac.at Important Dates: Demo proposal submission: Extended until May 23, 2008 Demo notification of acceptance: June 13, 2008 Associated events: August 19, 2008 Conference dates: August 20-22, 2008 All submissions must be submitted electronically via e-mail to icec08_demo at ec.tuwien.ac.at Organization Conference Co-Chairs • Dieter Fensel, DERI, Leopold-Franzens University Innsbruck, Austria • Hannes Werthner, Technical University of Vienna, Austria Academic Program Co-Chairs • Jukka Heikkila, Department of Computer Science & Information Systems, University of Jyvaskyla, Finland • Terry Payne, School of Electronics & Computer Science, University of Southampton, UK Demo and Poster Chair • Marco Zapletal, Vienna University of Technology, Austria From iclp08pub at cs.nmsu.edu Fri May 9 16:26:26 2008 From: iclp08pub at cs.nmsu.edu (ICLP 08) Date: Fri, 9 May 2008 08:26:26 -0600 Subject: ICLP'08 CALL FOR APPLICATION PAPERS Message-ID: <200805091426.m49EQQ1J013421@pippo.cs.nmsu.edu> ICLP'08 Solicitation for Application Papers 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it 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. SUBMISSION: ----------- 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. Application papers must not exceed 15 pages in the Springer LNCS format (see http://www.springeronline.com/lncs/) The primary means of submission will be electronic, through the Easychair submission system. The submission page is available at: http://www.easychair.org/conferences/?conf=ICLP08 REVIEW PROCESS: --------------- All submissions will be peer-reviewed by an international panel. Application papers will be reviewed separately from regular technical papers. Accepted papers will be allocated time for presentation during the conference. At least one author of each accepted submission is expected to register and participate in the event. 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. IMPORTANT DATES --------------- Abstract submission deadline June 2nd Submission deadline June 9th Notification of authors August 1st Camera-ready copy due September 15th Early-bird Registration TBA Conference December 9-13, 2008 --- For further information: iclp08 at cs.nmsu.edu http://iclp08.dimi.uniud.it From sean.bechhofer at manchester.ac.uk Fri May 9 16:59:42 2008 From: sean.bechhofer at manchester.ac.uk (Sean Bechhofer) Date: Fri, 9 May 2008 15:59:42 +0100 Subject: Final Call for Participation: Fifth European Semantic Web Conference Message-ID: <1FAA6389-BE3D-4A1D-927E-281A48046B35@manchester.ac.uk> [APOLOGIES FOR MULTIPLE/CROSS POSTING] Final Call for Participation --------------------- 5th European Semantic Web Conference (ESWC 2008) 1-5 June 2008 Tenerife, Spain http://www.eswc2008.org/ Late Registration still available until **May 25th**. On-site Registration fees apply from **May 26th**. Conference program: http://www.eswc2008.org/main_program.html Registration: http://www.eswc2008.org/formulario-registro.jsf From chris at ags.uni-sb.de Fri May 9 18:21:49 2008 From: chris at ags.uni-sb.de (Christoph Benzmueller) Date: Fri, 09 May 2008 09:21:49 -0700 Subject: UITP'08: Deadline Extension (25 May) Message-ID: <48247A1D.1030906@ags.uni-sb.de> [please apologize for multiple copies] Due to multiple requests the submisssion deadline for UITP'08 has been extended to Sunday, 25 May 2008. UITP'08 (Extended CFP) The 8th International Workshop on User Interfaces for Theorem Provers [http://www.ags.uni-sb.de/~omega/workshops/UITP08/] (TPHOLS'08 Satellite Workshop) Friday, 22nd August 2008, Montréal, Québec, Canada The User Interfaces for Theorem Provers workshop series brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are not limited to: * Application-specific interaction mechanisms or designs for prover interfaces * Experiments and evaluation of prover interfaces * Languages and tools for authoring, exchanging and presenting proof * Implementation techniques (e.g. web services, custom middleware, DSLs) * Integration of interfaces and tools to explore and construct proof * Representation and manipulation of mathematical knowledge or objects * Visualisation of mathematical objects and proof * System descriptions UITP 2008 is a one-day workshop to be held on Friday, August 22nd 2008 in Montreal, Canada, as a TPHOLS'08 workshop [http://users.encs.concordia.ca/~tphols08/TPHOLs2008/] FORMAT OF THE WORKSHOP The proposed format of the workshop is one day of presentations of accepted regular papers and system demonstrations of accepted system descriptions. In addition the program might include an invited talk. SUBMISSION Submissions are encouraged in one of the following two categories: - Regular paper: Submissions in this category should describe previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. Papers should be formated following the ENTCS [http://www.entcs.org/prelim.html] guidelines and up to 15 pages long (please find the additional UITP'08-specific macro file at [http://www.entcs.org/files/uitp08/prentcsmacro.sty]. - System description: Submissions in this category are intended to describe existing systems. Papers should be formated following the ENTCS [http://www.entcs.org/prelim.html] guidelines and up to 5 pages long (please find here the additional UITP'08-specific ENTCS macro file [http://www.entcs.org/files/uitp08/prentcsmacro.sty]). Submission of papers is via the EasyChair conference system [http://www.easychair.org/conferences/?conf=uitp08]. All submissions will be peer reviewed and final versions of accepted submissions will be published in an ENTCS [http://www.elsevier.com/locate/entcs] volume. In addition, printed workshop proceedings will be distributed at the workshop. Final versions of accepted papers have to be prepared with LaTeX. IMPORTANT DATES * Submission deadline: May 25th, 2008 * Acceptance notification: June 27th, 2008 * Camera-ready copy: July 11th, 2008 PROGRAMME COMMITTEE * David Aspinall, University of Edinburgh, Scotland * Serge Autexier, Saarland University and DFKI Saarbrücken, Germany (Co-Chair) * Chris Benzmueller, Saarland University, Germany (Co-Chair) * Yves Bertot, INRIA Sophia-Antipolis, France * William Billingsley, University of Cambrigde, England * Paul Cairns, University College London, England * Ewen Denney, NASA Ames Research Center, USA * Herman Geuvers, Radboud University Nijmegen, The Netherlands * Christoph Lueth, University of Bremen and DFKI Bremen, Germany * Michael Norrish, NICTA, Australia * Claudio Sacerdoti-Coen, University of Bologna, Italy * Gem Stapleton, University of Brighton, England * Geoff Sutcliffe, University of Miami, USA * Makarius Wenzel, TU Munich, Germany If you have any questions about the workshop, please contact the organizers: uitp08 at ags.uni-sb.de More information about the workshop series can be found at the UITP Interest Group webpage: http://www.informatik.uni-bremen.de/uitp/ From andreas.haupt at tu-clausthal.de Fri May 9 17:48:57 2008 From: andreas.haupt at tu-clausthal.de (Andreas Haupt) Date: Fri, 9 May 2008 17:48:57 +0200 Subject: Kein Betreff Message-ID: From andreas.haupt at tu-clausthal.de Fri May 9 17:49:36 2008 From: andreas.haupt at tu-clausthal.de (Andreas Haupt) Date: Fri, 9 May 2008 17:49:36 +0200 Subject: AW: Confirmation Request (1969820427) In-Reply-To: Message-ID: -----Ursprüngliche Nachricht----- Von: event administration [mailto:event-unsubscribe at in.tu-clausthal.de] Gesendet: Freitag, 9. Mai 2008 17:49 An: Andreas Haupt Betreff: Confirmation Request (1969820427) 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: 1969820427, 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 mangel at uco.es Sat May 10 10:32:53 2008 From: mangel at uco.es (=?iso-8859-1?Q?Miguel_Angel_G=F3mez-Nieto?=) Date: Sat, 10 May 2008 10:32:53 +0200 Subject: Call for contributions Message-ID: <2D7117D5C47447D29BD025F5F464494C@PCMangel> [Apologies for multiple/cross posting] -------------------------------------------------------------------------------- SYMPOSIUM on Computer Applications in Science, Engineering and Education CASEE 2008 http://www.uco.es/iscbd/casee2008 -------------------------------------------------------------------------------- Organised by: ------------------ Irene Luque Ruiz and Miguel Angel Gomez-Nieto University of Cordoba. Department of Computing and Numerical Analysis. Campus de Rabanales. Albert Einstein Building. E-14071 Cordoba (Spain). Phone: 0034-957-212082, Fax: 0034-957-218630 ======================================== The International Symposium on Computer Applications in Science, Engineering and Education (CASEE 2008), to be held in conjunction with the Sixth International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2008), aims at bringing together researchers and teachers in the world working on the development of software devoted to support the investigations and high education in science and engineering areas. The Conference will be held in Hotel Belvedere Imperial, Hersonissos, Crete, Greece, 25 - 30 September, 2008. We invite to participate in this event where specialists can have exposure to diverse fields and participate in special sessions different from but still close to their own interests. Description --------------- The First International Symposium on Computer Applications in Science, Engineering and Education (CASEE 2008), to be held in conjunction with the Sixth International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2008), aims at bringing together researchers and teachers in the world working on the development of software devoted to support the investigations and high education in science and engineering areas. The development of software applications for the research and education is an activity that implies a high effort for researchers and teachers. The spread of these software resources and their sharing is a current demand for the investigation development and the improvement of the high education within the objectives of Bologna´s declaration. In this symposium, all fundamental points are addressed to the current progress and research in the development of computer applications aimed to support the investigation and teaching; in order to create a frame for sharing experiences and results and providing a forum to present and discuss emerging ideas and trends. Scope and Interest ------------------------ CASEE 2008 is an international forum for presenting and discussing emerging ideas and trends in Computer Applications in Science, Engineering and Education from both the research community as well as the teachers of high education. We invite research submissions on all topics related to software development including, but not limited to, these listed below: · Computational Chemistry and Chemometric · Computational physics · Computational Biology · Bioinformatics · Medical Informatics · Engineering Applications · Mathematical software · New Technologies and Innovation in High Education Call for Papers ------------------- The Proceedings of ICCMSE 2008 will be published in the very famous AIP (American Institute of Physics) Conference Proceedings (http://scitation.aip.org/proceedings/). Conference format ------------------------ Plenary lectures (only after invitation). Original papers (selection based on short papers of 3-4 A4 pages). Posters (selection similar to original papers). Plenary lectures --------------------- Will cover major accomplishments, trends, and technical challenges in computational methods in sciences and engineering. Duration: 1 hour. Presentation of papers ----------------------------- Accepted papers will be divided into several sessions. The full program will be announced later. Duration: 20 minutes, followed by 10 minutes discussion. Papers in the form of short papers (3-4 pages) should be send to the Symposium organizers not lather that 15th July 2008 Proceedings of ICCMSE 2008 ------------------------------------- Extended abstracts will be published in a Special Volume of the very famous AIP Conference Proceedings. The American Institute of Physics (AIP) Conference Series is a very well known series of Conference Proceedings, which is Included in the leading databases of scientific & engineering literature including Inspec (an IEE product), Scitation, ISI Web of Knowledge, MathSciNet, etc and in the past had been included in SCIE. Each participant of ICCMSE 2008 will receive 2 Volumes of the Proceedings of ICCMSE 2008. The First Volume contains the papers of Invited Lecturers and Second Volume contains the short papers of the participants. The journals in which selected Proceedings of ICCMSE 2008 will be published are (until now): · Journal of Computational Methods in Sciences and Engineering - JCMSE (IOS Press) · Journal of Mathematical Chemistry (Springer-Verlag) · MATCH (Communications in Mathematical and in Computer Chemistry) · Applied Mathematics and Computation (Elsevier Science Publishers) · Molecular Simulation (Taylor & Francis) · International Journal of Quantum Chemistry (Wiley & Sons) · The Journal of Supercomputing (Kluwer Academic Publishers) · Mathematical and Computer Modelling (Elsevier Science Publishers) · Computing Letters (VSP/Brill) Instructions to the authors ---------------------------------- Instructions for contributions and templates can be found at http://www.uco.es/iscbd/casee2008 Important dates --------------------- Registration Early Registration ends: April 30, 2008 Normal Registration ends: June 15, 2008 Late Registration ends: August 1, 2008 Submission · Submission of Extended Abstract: July 25, 2008 - Final Date. · Notification of acceptance: July 31, 2008. · Camera Ready Form of the Accepted Papers and AIP Copyright Transfer Agreement: 25 September 2008. · Submission of the source files of the camera ready extended abstracts to AIP: 15 October 2008 - Final Date. · Submission of the full paper for consideration for publication in the journals: October 15, 2008 - February 28, 2009. Contact ---------- Please email inquiries concerning CASEE 2008 to any of the organizers: Prof. Dr. Irene Luque Ruiz. Email: iluque at uco.es Prof. Dr. Miguel Ángel Gómez-Nieto. Email: mangel at uco.es ------------------------------------------------------------------------------------------ Prof. Dr. Miguel Ángel Gómez-Nieto University of Córdoba Department of Computer Science and Numerical Analysis Campus Universitario de Rabanales Albert Einstein Building E-14071 Córdoba (Spain) Tel: +34-957-212-082 Fax: +34-957-218-630 ------------------------------------------------------------------------------------------ **CONFIDENTIALITY NOTICE** This email communication and any attachments may contain confidential and privileged information for the sole use of the designated recipient named above. Distribution, reproduction or any other use of this transmission by any party other than the intended recipient is prohibited. If you are not the intended recipient please contact the sender and delete all copies. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From paolo.torroni at unibo.it Sat May 10 15:41:02 2008 From: paolo.torroni at unibo.it (Paolo Torroni) Date: Sat, 10 May 2008 15:41:02 +0200 Subject: ABC08 - 2nd CfP Message-ID: <4825A5EE.1070400@unibo.it> IMPORTANT NEWS: * All accepted and presented IMCSIT papers will be included in the IEEE Xplore Digital Library, therefore the format of the submission was changed to 8 pages of IEEE style http://www.submit.imcsit.org/. * Deadline for paper submission: 15.06.2008 * Paper Submission System is now open ---------------------------------------------------------------------------- Call for Papers Workshop on Agent Based Computing V (ABC'08) Wisla, Poland, October 20-22, 2008 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 Important dates 15.06.2008 - Full paper submission 14.07.2008 - Notification of acceptance 01.09.2008 - Camera-ready version of the accepted paper Papers Submission * Authors should submit draft papers (as Postscript, PDF of MSWord file). * The total length of a paper should not exceed 8 pages (IEEE style). IEEE style templates are available here. * Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop. * Accepted and Presented paper will be published a paper in the Conference Proceedings and included in the IEEE Xplore® database. * Authors of selected papers accepted and presented during the ABC V Workshops will be invited to submit extended versions of their contributions to Special Issues of Multiagent and Grid Systems - An International Journal, and Scalable Computing; Practice and Experience International Programme Committee Myriam Abramson, Naval Research Laboratory, USA Stanislaw Ambroszkiewicz, Institute of Computer Science, Polish Academy of Sciences, Poland Costin Badica, University of Craiova, Romania Giacomo Cabri, Università di Modena e Reggio Emilia, Italy Radovan Cervenka, Whitestein Technologies AG, Slovakia Krzysztof Cetnarowicz, AGH - University of Science and Technology, Poland Walter Binder, University of Lugano, Switzerland Bengt Carlsson, Blekinge Institute of Technology, Sweden Vladimir Gorodetsky, SPII RAS, Russia Dominic Greenwood, Whitestein Technologies AG, Switzerland Henry Hexmoor, Southern Illinois University, USA Tomas Klos, Delft University of Technology, The Netherlands Zofia Kruczkiewicz, Wroclaw University of Technology, Poland Michele Loreti, Università di Firenze, Italy Beniamino di Martino, Seconda Università di Napoli, Italy Viorel Negru, Western University of Timisoara, Romania Ngoc-Thanh Nguyen, Wroclaw University of Technology, Poland Benno Overeinder, Vrije Universiteit Amsterdam, The Netherlands Myon Woong Park, Korea Institute of Science and Technology, Korea Michal Pechouczek, Czech Technical University, Czech Republic Joaquin Pena, University of Seville, Spain Volker Roth, FX Palo Alto Laboratory, Inc. , USA Jarogniew Rykowski, Poznan University of Economics, Poland Sattar B. Sadkhan, University of Babylon, Iraq Stanislaw Stanek, Katowice University of Economics, Poland Paolo Torroni, University of Bologna, Italy Walt Truszkowski, NASA - Goddard Space Flight Center, USA Rainer Unland, University of Duisburg-Essen, Germany Andrzej Uszok, Florida Institute for Humane and Machine Cognition, USA Tatyana Yakhno, Dokuz Eylul University, Turkey Yu Zhang, Trinity University, USA -- Best International IT / CS Conference in Poland in 2008 Check: http://www.imcsit.org See you in Wisla in October From ahmed at fsegs.rnu.tn Mon May 12 16:01:06 2008 From: ahmed at fsegs.rnu.tn (Ahmed Hadj Kacem) Date: Mon, 12 May 2008 16:01:06 +0200 Subject: Extended submission deadline of CRiSIS'2008 Message-ID: <6.1.1.1.2.20080512155331.024be670@pop.rnu.tn> =============== EXTENDED DEADLINE OF CRiSIS'2008 ========== [Please accept our apologies if you get multiple copies of this message] ================= Submission Deadline is extended to 19 May 2008 ================ CFP: Third International Conference on Risks and Security of Internet and Systems (CRiSIS 2008) October 28-30, 2008 Tozeur, Tunisia ------------------------------------------------------------------------ Conference web site: http://www.redcad.org/crisis2008/ ------------------------------------------------------------------------ The Internet has become essential for the exchange of information. Many user groups from different backgrounds and with different objectives depend on it to perform their daily tasks. Various activities are carried out via the Internet: between companies (B2B), between businesses and consumers (B2C), or between individuals who create their own virtual communities. Moreover, many companies are interconnecting their Information Technologies systems, including SCADA (Supervisory Control And Data Acquisition) systems, directly or indirectly to the Internet. At the same time, the use of the Internet is facing increasing risks regarding safety, reliability, privacy and security, in particular due to vulnerabilities induced by the increasing complexity of Internet-related applications. Therefore, new security and dependability mechanisms and techniques should be deployed to achieve an assurance level acceptable for critical domains such as transportation, health, defence, banking, critical infrastructures, etc. In this context, dependability, security and privacy become a priority that should be addressed by all actors in research, industry, services and governments. These issues will be studied from different view points: research results, practical experiment and deployment, applications and case studies, etc. Different application domains are concerned: telemedicine, e-government, e-learning, e-commerce, critical infrastructures, etc. CRiSIS’2008 will be a forum for the participants to broaden professional contacts and for technical discussions on security and dependability issues. The topics addressed by CRiSIS’2008 range from the analysis of faults, risks, attacks and vulnerabilities to system survivability and adaptability, passing through security policies and models, security and dependability mechanisms and privacy enhancing technologies. The authors are invited to submit research results as well as practical experiments or deployment reports. Industrial papers about applications or case studies are also welcomed in different domains. ------------------------------------------------------------------------ SUBMISSION OF PAPERS Papers must be written in English or French, and must be submitted electronically in PDF format. Maximum paper length will be 8 printed pages for full papers or 4 pages for short papers, including figures in IEEE 2-columns style. Papers submissions must be received via the CRiSIS’2008 web site. A selection of the best conference papers will be revised and published in a special issue of the International Journal of Information and Computer Security (IJICS). ------------------------------------------------------------------------ AUTHOR'S DEADLINES Paper Submission due: May 19, 2008 Notification of acceptance: June 25, 2008 Final paper submission and authors' registration: July 15, 2008 Conference Dates: October 28-30, 2008 ======================================================================== CRiSIS'2008 Honorary Chair Claude Kirchner, INRIA - Bordeaux, France ------------------------------------------------------------------------ CRiSIS'2008 Program Chairs Mohamed Mosbah, LaBRI - Bordeaux, France Mohamed Jmaiel, ENI - Sfax, Tunisia ------------------------------------------------------------------------ CRiSIS'2008 Program Committee Anas Abou El Kalem, IRIT - Toulouse, France Nadjib Badache, LSI, USTHB, Algeria Kamel Barkaoui, CNAM ­ Paris, France Abdelfettah Belguith, ENSI ­ Tunis, Tunisia Hanene Ben Abdallah, FSEG ­ Sfax, Tunisia Samir Ben Ahmed, INSA ­ Tunis, Tunisia Rahma Ben Ayed, ENI ­ Tunis, Tunisia Adel Bouhoula, Sup’Com ­ ¬Tunis, Tunisia Frédéric Cuppens, ENST - Bretagne, France Hervé Debar, France Télécom R&D, France Sabrina De Capitani, University of Milano, Italy Khalil Drira, LAAS - Toulouse, France Rachida Dssouli, Concordia Univ, Canada Dieter Gollmann, TU - Hamburg, Germany Ahmed Hadj Kacem, FSEG ­ Sfax, Tunisia Florent Jacquemard, INRIA ­ Paris, France Farouk Kamoun, ENSI - Manouba,Tunisia Catherine Meadows, N. R. Laboratory, USA Abdallah Mhamed, INT - Evry, France Riadh Robbana, EP - Tunis, Tunisia Gilles Trouessin, Oppida, France Laurent Vigneron, LORIA - Nancy, France Eric Wong, Univ. of Texas ­ Dallas, USA Habib Youssef, ISIT - Sousse, Tunisia Belhassen Zouari, FS - Tunis, Tunisia ------------------------------------------------------------------------- CRiSIS'2008 Local Organization Committee Chafik Aloulou, FSEG - Sfax, Tunisia Ahmed Hadj Kacem, FSEG - Sfax, Tunisia Mohamed Hadj Kacem, ISIM - Sfax, Tunisia ======================================================================== -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nbassili at csd.auth.gr Mon May 12 19:34:40 2008 From: nbassili at csd.auth.gr (Nick Bassiliades) Date: Mon, 12 May 2008 20:34:40 +0300 Subject: 2nd CFP: RuleML-2008 (2008 International RuleML Symposium on Rule Interchange and Applications) Message-ID: <48287FB0.6010004@csd.auth.gr> [ 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 -------------------------------------------------------------------- Deadlines are approaching: June 2 Proceedings published by Springer LNCS Submission Site is open: http://www.easychair.org/conferences/?conf=ruleml2008 PRESS RELEASE: http://www.targetwire.com/vpo/rm/ Sponsoring opportunities: http://2008.ruleml.org/sponsoring/ -------------------------------------------------------------------- ===================================================================== Co-located with: The 11th International Business Rules Forum http://www.businessrulesforum.com ===================================================================== Sponsored by: Silver level: Model Systems Bronze level: STI Innsbruck, ruleCore, JBoss ===================================================================== In Co-operation with: AAAI, W3C, BPM-Forum, Business Rules Forum , ECCAI, OASIS, OMG, European Business Rules Conference, 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 ===================================================================== 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. RuleML-2008 highlights include: - Plenary keynotes, highlight/lightning session, and a joint Boxed Lunch Panel about "Rules on the Web" together with the Business Rules Forum featuring prominent and visionary speakers. - Keynote speakers: * Michael Kifer (State University of New York at Stony Brook, USA), on W3C's Rule Interchange Format (RIF). Joint keynote between RuleML-2008 and RR2008. * David Luckham (Stanford University, USA) on complex event processing. * 3rd keynote speaker from industry. - 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 - Invited talks given by leaders from industry and world-class experts featuring practical topics on event and rule-based computing and industry success stories - Social events to promote networking among the symposium delegates in an informal setting. Topics of Interest ------------------ We invite industry practitioners, rule system providers, technical experts and developers, rule users, and researchers who are using rule-based systems, developing systems and applications, or exploring problems and best practices (especially in the areas of system interoperability, rule interchange, or business agility), to share their ideas, results, and experiences. We invite submissions related (but not limited to) to one or more of the following topics: - Representation and meta-annotation of rules and rule sets (modules) for publication and interchange - Collaborative authoring, modeling and engineering of rule specifications and rule repositories - Information integration of external data and domain knowledge into rules - Homogeneous and heterogeneous integration of rules and ontologies - Rules in Web 2.0 and Web 3.0 - Rules in Semantic Web Technologies - Rules in Web Intelligence Research - Hybrid rule systems - Management and maintenance of distributed rule bases and rule repositories during their lifecycle - Interchange and refactoring of rule bases in heterogeneous execution environments - Verification and validation of interchanged rule bases in heterogeneous execution environments - Contributions on effective, practical, and deployable Web standards on rules as well as special purpose, vertical domain rule languages - Rule-based agility and its role in middleware - Communication between rule based systems using interchange formats and processing / communication middleware - Applications, products, research, and development in rule-based, distributed complex event processing, event communication and reaction rules - Event-driven/action rule languages and models - Rule-based Event Processing Languages and rule-based CEP - Rule patterns and CEP patterns - Practical solutions tackling the real-world Software Engineering requirements of rule-based systems in open, distributed environments - Modeling of executable rule specifications and tool support - Execution models, rule engines, and environments - Compilation vs. interpretation approaches of rules - Applications and integration of rules in web standards - Rule-based software agents and (web) services - Applications of rules in the Semantic Web and Pragmatic Web - Comparing and advancing the state of current business rules engines and management system tools - Rule interchange standards and related industry interchange formats - Interoperation between different rule formats and ontological domain conceptualization - Applications based on (Semantic) Web rule standardization or standards- proposing efforts - Translation of interchangeable and domain-independent rule formats and rule models into executable technical rule specifications - Extraction and reengineering of platform-independent, interchangeable rules and rule models from existing platform-specific resources - Natural-language processing of rules - Graphical processing, modelling and rendering of rules - Incorporation of rule technology into distributed enterprise application architectures - Rule-based policies and electronic contracts: their specification, execution and management - Languages for exchanging and processing information through the web - E-contracting and automated negotiations with rule-based declarative strategies - Applications of rules in e.g. legal reasoning, compliance rules, security, IT government, security, risk management, trust and proof reasoning, etc. - Rule-based (multi-valued) reasoning with and representing uncertain and fuzzy information - Rule-based reasoning with non-monotonic negation, modalities, deontic, temporal, priority, scoped or other rule qualifications - Rule-based default reasoning with default logic, defeasible logic, and answer set programming 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. A submission to RuleML challenge has to meet the requirement that declarative rules explicitly play a central role in the application. Basically this means that: - Rules are explicitly represented in a declarative format and they are decoupled from the application (rather than being compiled or hard-coded into the application logic). - Rules are used in interesting and practically relevant ways to, e.g., derive useful information, transform knowledge, provide decision support, provide automated rule-based monitoring, enforcement, validation or management of the behavioural logic of the application. The demo should preferably (but not necessarily) be embedded into a web-based or distributed environment so that there will be a need for features related to the RuleML conference topics, as listed in the call for papers. For more details please consult the RuleML-2008 Challenge website (http://ruleml-challenge.cs.nccu.edu.tw). Important Dates --------------- - Paper Submissions due June 2, 2008 - Notification of acceptance July 18, 2008 - Final submissions due August 9, 2008 - Symposium date October 30-31, 2008 - RuleML Challenge October 30, 2008 Symposium Proceedings and Submission Details -------------------------------------------- Authors are invited to submit original contributions of practical relevance and technical rigor in the field, experience reports and show case / use case demonstrations of effective, practical, deployable rule-based technologies or applications in distributed environments. Papers must be in English and may be submitted at http://www.easychair.org/conferences/?conf=ruleml2008 as: - Full Papers (15 pages in the proceedings) - Short Papers (8 pages in the proceedings) - RuleML-2008 Challenge Demo Paper + Show Cases (up to 8 pages in the proceedings) Please upload all submissions as PDF files in LNCS format (http://www.springer.de/comp/lncs/authors.html). To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Authors are requested to upload their complete papers by June 2, 2008. The selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series along with a CD with demo software and documents. The best paper from all submissions will be determined by the PC and a Best Paper Award will be handed over at the Symposium by a Sponsor. All submissions must be done electronically via http://www.easychair.org/conferences/?conf=ruleml2008. We will pursue the publication of a selection of revised papers to a special issue of a high- quality journal. Submissions to the RuleML Challenge 2008 consist of a demo paper of 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 at http://www.easychair.org/conferences/?conf=ruleml2008, while the demo link should be submitted at http://ruleml-challenge.cs.nccu.edu.tw/, and it will be immediately publicly available. If the link is password-protected, then please submit a password for anonymous login from any Web browser, giving us the permission to pass the password on to 3 PC members. The submissions should satisfy the minimal requirements defined in the topics of interest. The demos will be evaluated during RuleML-2008 and prizes will be awarded to the first two best applications. Please do not hesitate to email to the appropriate Symposium Chair(s), if you have any questions. Organizing Committee -------------------- General Chair Adrian Paschke, Technical University Dresden, Germany adrian.paschke AT biotec.tu-dresden.de Program Co-Chairs Nick Bassiliades, Aristotle University of Thessaloniki, Greece nbassili AT csd.auth.gr Guido Governatori, University of Queensland, Australia guido AT itee.uq.edu.au Challenge Co-Chairs Costin Badica, University of Craiova, Romania badica_costin AT software.ucv.ro Yuh-Jong Hu, National Chengchi University, Taiwan hu AT cs.nccu.edu.tw Panel Co-Chairs John Hall, Model Systems, UK john.hall AT modelsys.com Axel Polleres, DERI Galway, Ireland axel AT polleres.net Liaison Co-Chairs Mark Proctor, JBoss Rules, UK mproctor AT redhat.com Rainer von Ammon, CITT GmbH, Germany vonammon AT t-online.de Jan Vanthienen, Katholieke Universiteit Leuven, Belgium Jan.Vanthienen AT econ.kuleuven.be Publicity Co-Chairs Matthias Nickles, University of Bath, UK M.L.Nickles AT cs.bath.ac.uk Tracy Bost, Valocity, USA tbost AT valocity.com (Sponsoring levels: http://2008.ruleml.org/sponsoring/) Web Chair Suzanne Embury, University of Manchester, UK Suzanne.Embury AT manchester.ac.uk Program Committee -------------------- - Asaf Adi, IBM, Israel - Grigoris Antoniou, University of Crete-FORTH, Greece - Sidney Bailin, Knowledge Evolution, USA - Matteo Baldoni, University of Torino, Italy - Cristina Baroglio, University of Torino, Italy - Claudio Bartolini, HP Labs - Tim Bass, SilkRoad Inc. - Bernhard Bauer, University of Augsburg, Germany - Mikael Berndtsson, University of Skovde, Sweden - Leopoldo Bertossi, Carleton University, Canada - Pedro Bizarro, University of Coimbra, Portugal - Peter Bollen, University of Maastricht, Netherlands - Christian Brelage, SAP Research, Germany - Donald Chapin, Business Semantics Ltd, UK - Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan - Jorge Cuellar, Siemens, Germany - Mike Dean, BBN Technologies, USA - Stan Devitt, Agfa Healthcare, Ontario, Canada - Jens Dietrich, Massey University, New Zeeland - Jurgen Dix, Technische Universitaet Clausthal, Germany - Schahram Dustdar, Vienna University of Technology, Austria - Andreas Eberhart, fluid Operations, Germany - Opher Etzion, IBM Research Laboratory Haifa, Israel - Dieter Fensel, DERI Innsbruck, Austria - Dragan Gasevic, Athabasca University, Canada - Adrian Giurca, Brandenburg University of Technology at Cottbus, Germany - Stijn Goedertier, Katholieke Universiteit Leuven, Belgium - Robert Golan, DBmind Technologies, USA - Christine Golbreich, University of Versailles, France - Tom Gordon, Fraunhofer Institute for Open Communication Systems, Germany - Marek Hatala, Simon Fraser University, Canada - Ioannis Hatzilygeroudis, University of Patras, Greece - Martin Hepp, University of Innsbruck, Austria - Elisa Kendall, Sandpiper Software, USA - Yiannis Kompatsiaris, Informatics and Telematics Institute, Greece - Manolis Koubarakis, National and Kapodistrian University of Athens, Greece - Alex Kozlenkov, Betfair Ltd., UK - Holger Lausen, DERI Innsbruck, Austria - John Lee, Polytechnic University, Hong Kong - Mark Linehan, IBM Research, USA - Heiko Ludwig, IBM Watson Research, USA - Mirko Malekovic, University of Zagreb, Croatia - Christopher J. Matheus, Vistology, USA - Craig McKenzie, Science Applications International, USA - Jing Mei, IBM Research Lab China, China - Zoran Milosevic, Deontik Inc, Australia - Jang Minsu, E&T Research Institute, Korea - Leora Morgenstern, Stanford, USA - Gero Muehl, Technische Universitat Berlin, Germany - Jorg Muller, TU Clausthal, Germany - Chieko Nakabasami, Toyo University, Japan - Ilkka Niemela, Helsinki University of Technology, Finland - Bart Orriens, Tilburg University, Netherlands - Jeff Pan, University of Aberdeen, UK - Paula-Lavinia Patranjan, Skytec AG, Germany - Jon Pellant, Pega Systems Inc., USA - Jeff Pollock, Oracle, USA - Alun Preece, Cardiff University, UK - Maher Rahmouni, HP Labs - Girish Ranganathan, University of New Brunswick, Canada - Dave Reynolds, HP, England - Graham Rong, MIT Sloan School of Management, USA - Antonio Rotolo, CIRSFID, University of Bologna, Italy - Norman Sadeh, Carnegie Mellon University, USA - Christian de Sainte Marie, ILOG, France - Marco Seirio, ruleCore, Sweden - Timos Sellis, Institute for the Management of Information Systems and National Technical University of Athens, Greece - Michael Sintek, DFKI, Germany - Silvie Spreeuwenberg, LibRT, The Netherlands - Giorgos Stamou, National Technical University of Athens, Greece - Giorgos Stoilos, National Technical University of Athens, Greece - Terrance Swift, XSB Inc., USA - Kuldar Taveter, University of Melbourne, Australia - James Taylor, Fair Isaac Corp., USA - Vagan Terziyan, University of Jyvaskyla, Finland - Paul Vincent, TIBCO Software, USA - George Vouros, University of the Aegean, Greece - Kewen Wang, Griffith University, Australia - Mehmet Emre Yegen, Ygntec Inc., USA From heymans at kr.tuwien.ac.at Tue May 13 11:51:17 2008 From: heymans at kr.tuwien.ac.at (Stijn Heymans) Date: Tue, 13 May 2008 11:51:17 +0200 Subject: Call for Papers: First International Workshop on Fuzzy Logic On the Web (FLOW 2008) Message-ID: ********************************** Call for Papers **************************************** FLOW 2008 First International Workshop on Fuzzy Logic On the Web http://www.cwi.ugent.be/flow2008/ 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 (link will be added soon). 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 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 and Computational Web Intelligence Dept. of Applied Mathematics and Computer Science Ghent University 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) From aldini at sti.uniurb.it Tue May 13 06:20:52 2008 From: aldini at sti.uniurb.it (Alessandro Aldini) Date: Tue, 13 May 2008 06:20:52 +0200 (CEST) Subject: 3rd VODCA Workshop: Views On Designing Complex Architectures Message-ID: [ We apologise for multiple copies of this message! ] =================================================================== L A S T C A L L F O R P A P E R S 3rd International Workshop on Views On Designing Complex Architectures (VODCA'08) Bertinoro, Italy 30-31 August, 2008 http://coba.dc.fi.udc.es/vodca ------------------------------------------------------------------- NEW | The deadline for paper submission is extended by 1 week!!! | NEW | Funding is available to support the attendance of both | NEW | VODCA and FOSAD for students with an accepted paper!!! | ------------------------------------------------------------------- IMPORTANT DATES Submission of abstracts: 26 May, 2008 Submission of papers: 2 June, 2008 Notification of acceptance: 1 July, 2008 Camera-ready version due: 22 July, 2008 VODCA workshop: 30-31 August, 2008 AIMS and SCOPE Security and management of information are key issues in informatics, and are among its fast-developing fields. This workshop seeks to bring together junior researchers in the areas of information security and information management, and to provide a platform for the exchange of ideas and experiences. Hence, we invite researchers to submit papers according to the following, non-exhaustive list of topics: Information Security Information Management * Security protocols * Knowledge management * Database security * Data and knowledge sharing * Information flow * Component-based design * Access control policies * Service-oriented computing * Intrusion detection * Workflow management strategies * CSCW and groupware systems * Mobile secure code * Intelligent information * Formal methods for security systems * Language-based security * Information retrieval * Network security * Distributed systems * Low-level software security * Identity and trust management * Model-driven security * Fault-tolerance * Verification of security * Business process management properties SUBMISSION OF PAPERS Authors are invited to submit an extended abstract of their paper, presenting an original contribution to the theme of the workshop. Submissions must be in English, should not exceed 15 pages and should not be under consideration for publication elsewhere. See the website for further details. Preproceedings will be available at the workshop. The final proceedings of VODCA 2008 will be published as a volume in the ENTCS (Electronic Notes in Theoretical Computer Science) series, as was the case for the proceedings of VODCA 2004 (ENTCS vol. 142) and those of VODCA 2006 (ENTCS vol. 168). Authors are thus advised to follow the ENTCS guidelines (see http://www.entcs.org/) when preparing their paper. Authors of selected papers will be invited to prepare a proper extension of their paper for inclusion in vol. 6 of the series Architecting Dependable Systems to be published by Springer in the Lecture Notes in Computer Science as a State-of-the-Art Survey. This volume will contain papers selected from both DSN 2008 WADS and VODCA 2008. GENERAL INFORMATION AND REGISTRATION The workshop will take place immediately after FOSAD 2008 (the 8th International School on Foundations of Security Analysis and Design). For further information, please visit http://www.sti.uniurb.it/events/fosad08/. Some funding is available to support the attendance of both VODCA and FOSAD for students with an accepted paper at VODCA. To apply for a grant, please email an application letter to Fabio Gadducci (gadducci at di.unipi.it). Your letter should include a description of your interests in the area of the workshop, details of financial support you have obtained or hope to obtain from elsewhere, and a short summary of your educational background. Applications for financial support open on July 1, 2008 (the Notification of Acceptance date). Participants of FOSAD will receive a discount on VODCA's registration fee. INVITED SPEAKERS Rogerio De Lemos (University of Kent, UK) Reiko Heckel (University of Leicester, UK) ORGANISING COMMITTEE Alessandro Aldini (University of Urbino, Italy) Maurice ter Beek (ISTI-CNR, Pisa, Italy) Fabio Gadducci (University of Pisa, Italy) Jose Ramon Parama Gabia (University of A Coruna, Spain) PROGRAMME COMMITTEE Alessandro Aldini (CHAIR, University of Urbino, Italy) Aslan Askarov (Chalmers University, Gothenburg, Sweden) Maurice ter Beek (ISTI-CNR, Pisa, Italy) Stefano Bistarelli (University of Pescara/IIT-CNR, Pisa, Italy) Alejandra Cechich (University of Comahue, Neuquen, Argentina) Nathan Clarke (University of Plymouth, UK) Cas Cremers (ETH Zurich, Switzerland) Cristina Gacek (Newcastle University, UK) Fabio Gadducci (University of Pisa, Italy) Stefanie Lindstaedt (Know-Center, Graz, Austria) Javier Lopez (University of Malaga, Spain) Jose Ramon Parama Gabia (University of A Coruna, Spain) Leila Ribeiro (Univ. Rio Grande do Sul, Porto Alegre, Brazil) Erik de Vink (Eindhoven University, The Netherlands) FURTHER INFORMATION See the website of VODCA'08: http://coba.dc.fi.udc.es/vodca From aldini at sti.uniurb.it Tue May 13 06:18:15 2008 From: aldini at sti.uniurb.it (Alessandro Aldini) Date: Tue, 13 May 2008 06:18:15 +0200 (CEST) Subject: FOSAD 2008: International School on Foundations of Security Analysis and Design Message-ID: ========================================================================= (Apologies for multiple copies) ** APPLICATION DEADLINE: JUNE 14, 2008 ** %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % EIGHTH INTERNATIONAL SCHOOL ON % % FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN % % ============================================== % % % % FOSAD 2008 % % http://www.sti.uniurb.it/events/fosad08 % % % % 25-30 August, 2008 % % Bertinoro, Italy % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Security in computer systems and networks emerged as one of the most challenging research areas. The International School on Foundations of Security Analysis and Design (FOSAD) has been one of the foremost events established with the goal of disseminating knowledge in this critical area. The main aim of FOSAD is to offer a good spectrum of current research in foundations of security - ranging from programming languages to analysis of protocols, from cryptographic algorithms to access control policies and trust management - that can be of help for graduate students and young researchers from academia or industry that intend to approach the field. Programme: * Gilles Barthe (INRIA Sophia-Antipolis, France) Language-based Methods for Mobile Code Security * David Chadwick (University of Kent, UK) Modular Authorisation Infrastructures and Identity Management * Bart Jacobs (Radboud University Nijmegen, The Netherlands) Practical Issues in Electronic Voting * Andrew Ker (Oxford University, UK) Information Hiding and Covert Communication * Gavin Lowe (Oxford University, UK) Analysis of security protocols * Kai Rannenberg (Frankfurt University, Germany) Privacy and Multilateral Security in Mobile Communications: Protecting Identity and Location Information in Mobile Communications * Pierangela Samarati (Universit� degli Studi di Milano, Italia) Privacy and Data Protection * Steve Zdancewic (University of Pennsylvania, USA) Language-based Security Participants are also invited to give a contribution by giving a short presentation (up to 30 min including discussion) of their ongoing work at the open session of FOSAD. Since the available time is quite limited, the interested participants should send a talk proposal (title and abstract) attached with their application form. Location The school is organized at the University Residential Center of Bertinoro: http://www.ceub.it/ Scientific Committee - Roberto Gorrieri director (University of Bologna) - Martin Abadi (University of California at Santa Cruz, USA) - Alessandro Aldini (University "Carlo Bo" of Urbino) - Sandro Etalle (Twente University, The Netherlands) - Javier Lopez (University of Malaga) - Fabio Martinelli (CNR-IIT, Pisa) - Catherine Meadows (U.S. Naval Research Laboratory) Important Dates Prospective participants should apply through the web site by June 14, 2008. Notification of accepted applicants will be posted by June 18, 2008. Registration to the school is due by July 31, 2008. Fees The fee is 800 Euros and covers registration and accommodation costs for the period 24-31 August (7 nights) in double room (to be shared with another participant), half board (breakfast and lunch, dinner of 24 August 2008 included). Grants A limited amount of grants will be provided to cover part of the expenses. Please, include your request with the application. Satellite Workshop 30-31 August 2008 3rd VODCA: Views On Designing Complex Architectures http://coba.dc.fi.udc.es/vodca/ Further Information More detailed information available at URL http://www.sti.uniurb.it/events/fosad/ http://www.sti.uniurb.it/events/fosad08 Sponsors * CNR-IIT, Pisa * SENSORIA Software Engineering for Service-Oriented Overlay Computers Under the auspices of: * EATCS - It * EEF * ERCIM STM WG * IEEE Computer Society - It * IFIP WG 1.7 From soh at nii.ac.jp Mon May 12 13:09:27 2008 From: soh at nii.ac.jp (Takehide SOH) Date: Mon, 12 May 2008 20:09:27 +0900 Subject: subscribe Message-ID: <77c269980805120409m2e4d58d2u14aa9e39fb2cd690@mail.gmail.com> -- Takehide Soh Email: soh at nii.ac.jp From soh at nii.ac.jp Mon May 12 14:58:02 2008 From: soh at nii.ac.jp (Takehide SOH) Date: Mon, 12 May 2008 21:58:02 +0900 Subject: Confirmation Request (1370242751) In-Reply-To: References: Message-ID: <77c269980805120558u516bbb3es4ae06ef81d6dcc69@mail.gmail.com> 2008/5/12 event administration : > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 1370242751, > 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 > > -- Takehide Soh Email: soh at nii.ac.jp From hi_jk2000 at yahoo.com Tue May 13 11:05:36 2008 From: hi_jk2000 at yahoo.com (Mrs Khuram) Date: Tue, 13 May 2008 02:05:36 -0700 (PDT) Subject: subscribe Message-ID: <299868.59835.qm@web56312.mail.re3.yahoo.com> ____________________________________________________________________________________ Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it now. http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ From hi_jk2000 at yahoo.com Tue May 13 11:29:40 2008 From: hi_jk2000 at yahoo.com (Mrs Khuram) Date: Tue, 13 May 2008 02:29:40 -0700 (PDT) Subject: Confirmation Request (1979472914) In-Reply-To: Message-ID: <959049.61706.qm@web56309.mail.re3.yahoo.com> --- On Tue, 5/13/08, event administration wrote: > From: event administration > Subject: Confirmation Request (1979472914) > To: "Mrs Khuram" > Date: Tuesday, May 13, 2008, 2:12 PM > 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: 1979472914, > 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 > ____________________________________________________________________________________ Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it now. http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ From Nuno.David at iscte.pt Wed May 14 02:01:48 2008 From: Nuno.David at iscte.pt (Nuno David) Date: Wed, 14 May 2008 01:01:48 +0100 Subject: CFP IBERAMIA 2008 - Lisbon Message-ID: <00d001c8b555$bb60a5a0$45220a0a@b> ********************************************************************** IBERAMIA 2008 October 14-17, 2008 Lisbon University Institute - ISCTE, Lisbon, Portugal http://www.adetti.pt/events/IBERAMIA2008 ********************************************************************** Due to multiple requests that we have been receiving during this week, the deadline for submission to IBERAMIA has been extended for one week. Note that the deadline is strict for everyone. The submission system will close on Monday, May 26, 08h00 AM GMT. The new dates are as follows: Deadline for paper submission: 26th MAY 2008, 08h00 AM GMT Notification of acceptance: 7th July 2008 Deadline for camera-ready papers: 14th July 2008 For more information, see http://www.adetti.pt/events/IBERAMIA2008. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From robert at grid.chu.edu.tw Thu May 15 10:11:25 2008 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Thu, 15 May 2008 16:11:25 +0800 Subject: IEEE APSCC-08 CFP Message-ID: <200805150811.m4F8BPYt009505@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From csoares at fep.up.pt Thu May 15 16:42:36 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Thu, 15 May 2008 15:42:36 +0100 Subject: CFP: KDD Workshop on Data Mining for Business Applications Message-ID: <482C4BDC.2070609@fep.up.pt> Please distribute. Best regards, Carlos x apologies for multiple postings x ** KDD Workshop on Data Mining for Business Applications To be held with KDD 2008: ACM International Conference on Data Mining and Knowledge Discovery Las Vegas, NV August 24, 2008 * MORE INFORMATION http://labs.accenture.com/kdd2008_workshop/ * ORGANIZERS Rayid Ghani, Accenture Technology Labs, rayid.ghani[at]accenture.com Carlos Soares, University of Porto, csoares[at]liaad.up.pt Francoise Soulie Fogelman, KXEN Patrick Gallinari, University Pierre & Marie Curie Katharina Probst, Accenture Technology Labs * DESCRIPTION Data Mining in various forms is becoming a major component of how businesses operate. Almost every business process today involves some form of data mining. Customer Relationship Management, Supply Chain Optimization, Demand Forecasting, Assortment Optimization, and Business Intelligence are just some examples of business functions that have been impacted by data mining techniques. More recently, data mining has become prominent on the Web (ads & key-words, e-commerce ...) and is now making its way into new applications : fraud, security, quality, industrial processes monitoring. The challenge of integrating massive amounts of data from new sources (text, video, social networks) will shape the data mining applications of to- morrow. Even though data mining has become critical to businesses, most of the academic research in data mining is mostly conducted on publicly available data sources. This is mainly due to two reasons: 1) the unavailability of large, new, and interesting sources of data to academic researchers. 2) limited access to domain experts who can provide a practical perspective on existing problems and provide a new set of research problems. Corporations are typically wary of releasing their internal data to academic and in most cases, there is limited interaction between industry practitioners and academic researchers working on related problems in similar domains. Companies that are involved in using leading-edge data mining often do not have any incentives or opportunities to present their work in venues where academic researchers are present. This is often the case because the requirements for presenting in these venues are often not suitable for industry practitioners. We believe that the lack of this interaction is detrimental to both parties – academic researchers and industry practitioners. * GOALS The goals of this workshop are: 1. Bring together researchers (from both academia and industry) as well as practitioners from different fields to talk about their different perspectives and to share their latest problems and ideas. 2. Attract business professionals who have access to interesting sources of data and business problems but not the expertise in data mining to solve them effectively. This group would otherwise not attend KDD and we believe through our personal experiences that it is essential for KDD research community to interact with them. * TOPICS OF INTEREST The list of topics includes but is not limited to: -fielded applications of data mining technology -data mining applications as components of business processes -how to sell data mining technology/projects inside your organization or to your customers -integration of data mining technologies with other kind of technologies -lessons learned from practice -new classes of research problems motivated by real-world business problems -new challenges in integrating unstructured data sources * SUBMISSION Submissions should be sent by May 19, 2008, in electronic form as a PDF (or Word) file, to rayid.ghani at accenture.com. * IMPORTANT DATES Papers Due: May 19 Notification: June 9 Final Version Due: June 16 Workshop: August 24 From Thomas.Lukasiewicz at kr.tuwien.ac.at Fri May 16 20:44:36 2008 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Fri, 16 May 2008 20:44:36 +0200 Subject: DEADLINES EXTENDED: 2nd International Conference on Scalable Uncertainty Management (SUM 2008) Message-ID: <482DD614.8050701@kr.tuwien.ac.at> DEADLINES EXTENDED! CALL FOR PAPERS Second International Conference on Scalable Uncertainty Management (SUM 2008) October 1-3, 2008 Napoli, 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 Napoli, Italy, October 1-3, 2008. Papers 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 PAPERS Papers 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 14 pages for full papers and 9 pages for short papers. Submissions which deviate substantially from these guidelines may be rejected without review. Submissions will especially be judged for originality and scientific quality. IMPORTANT DATES Abstract submission deadline: May 29, 2008 Paper submission deadline: June 5, 2008 Paper accept/reject decisions: July 8, 2008 Camera ready papers due: July 18, 2008 Last day for early registration fee: July 18, 2008 GENERAL CHAIR Antonio Picariello (University of Napoli, 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 Torino, 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 c.mueller at jacobs-university.de Sat May 17 08:52:01 2008 From: c.mueller at jacobs-university.de (Christine =?ISO-8859-1?Q?M=FCller?=) Date: Sat, 17 May 2008 08:52:01 +0200 Subject: SCooP: Final Call for Papers - EXTENDED DEADLINE May 23rd Message-ID: <1211007121.5984.30.camel@battlestar> Apologies for cross-postings. == Call for Contributions == 2nd Workshop on Scientific Communities of Practice (SCooP) on June 27th 2008 at Jacobs University Bremen. http://jem-thematic.net/seminar/scoop2008 == Overview == Communities of Practice (CoPs) group people from all around the globe around a common concern, a common set of problems, which is tackled by exchanging knowledge, ideas, and expertise. CoPs also exist in science, although scientific communities of practice are more heterogeneous than their corporate counterparts, as members come from a variety of backgrounds and disciplines. Yet, it is exactly for this interdisciplinarity that these groupings are valuable for a for deepening knowledge and learning. In this context, SCooP aims at joining people from different fields, such as mathematics, computer science, chemistry, physics, biology etc., who share a common interest -- Communities of Practice. The workshop thus wants to facilitate the exchange of experiences and implementations, and will in particular address questions such as: * What are scientific or educational practices in educational and scientific communities? * Can these practice be automatically detected/ collected/ or modeled? * What are implementations for CoPs? * Which features make these tools so attractive and how do they support (practices of) CoPs? The workshop welcomes contributions in the following formats. * Paper contributions (including position papers and research proposals): Max. 300 word abstract; paper submission * Demonstration and Presentations of systems, prototypes, and mock ups: 200-300 word abstract (presentation during the workshop, paper is optional) == Important dates == * _NEW_ submission deadline for abstracts: May 23rd (via email to c.mueller at jacobs-university.de ) * Submission of papers: May 30th * Notification of acceptance: June 6th * Camera ready copies due: June 20th (approximately) * Workshop in Bremen: June 27th == Registration and Accommodation == * Registration via http://jem-thematic.net/seminar/scoop2008 * Accommodation at http://jem-thematic.net/seminar/scoop2008 == 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 behrens at in.tu-clausthal.de Sat May 17 10:22:21 2008 From: behrens at in.tu-clausthal.de (Tristan Marc Behrens) Date: Sat, 17 May 2008 10:22:21 +0200 Subject: SUM 2008: DEADLINES EXTENDED! Message-ID: <482E95BD.8040908@in.tu-clausthal.de> DEADLINES EXTENDED! CALL FOR PAPERS Second International Conference on Scalable Uncertainty Management (SUM 2008) October 1-3, 2008 Napoli, 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 Napoli, Italy, October 1-3, 2008. Papers 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 PAPERS Papers 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 14 pages for full papers and 9 pages for short papers. Submissions which deviate substantially from these guidelines may be rejected without review. Submissions will especially be judged for originality and scientific quality. IMPORTANT DATES Abstract submission deadline: May 29, 2008 Paper submission deadline: June 5, 2008 Paper accept/reject decisions: July 8, 2008 Camera ready papers due: July 18, 2008 Last day for early registration fee: July 18, 2008 GENERAL CHAIR Antonio Picariello (University of Napoli, 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 Torino, 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 hra at pixel.cviog.uga.edu Sat May 17 15:39:44 2008 From: hra at pixel.cviog.uga.edu (Hamid R. Arabnia) Date: Sat, 17 May 2008 09:39:44 -0400 Subject: Call For Papers: Extended deadline: June 1, 2008 - WORLDCOMP'08 Congress (CS and CE Conferences - July 2008, USA) Message-ID: <20080517133944.0C4D72245F01@pixel.cviog.uga.edu> Call For Papers - Deadline: June 1, 2008 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/ You are invited to submit a paper (see instructions below.) 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. See http://www.world-academy-of-science.org/ for the complete list of joint-conferences. This is a Call For Papers for publication in the Final Edition of the conference proceedings. All papers submitted in response to this announcement will be evaluated for publication in the Final Edition of the proceedings which will go to press soon after the conference (publication date: late August 2008). This announcement is ONLY for those who missed the opportunity to submit their papers in response to earlier announcements (authors who have already been notified that their papers have been accepted/not-accepted should ignore this announcement.) IMPORTANT DATES: June 1, 2008: Submission of full papers (less than 8 pages) June 14, 2008: Notification of acceptance June 27, 2008: Registration July 14-17, 2008: WORLDCOMP'08 Congress (all joint-conferences) July 20, 2008: Camera-Ready Papers Due for publication in the Final Edition of the proceedings. SUBMISSION OF PAPERS: Prospective authors are invited to submit their papers to hra at cs.uga.edu (no more than 7 pages, single spaced and font size of 10 to 12 - all reasonable typesetting formats are acceptable). Authors should write the following in the subject header of their email: "Submission for Consideration in Final Edition of Proceedings" + name of conference that the paper is being submitted to. Papers should be attached to emails and must be either in Word Doc or PDF formats. Papers must not have been previously published or currently submitted for publication elsewhere. The first page of the paper should include: title of the paper, name, affiliation, postal address, and email address for each author. The first page should also include the name of the conference the paper is being submitted to (the list of conferences appears below.) Accepted papers will be published in the final edition of the respective proceedings/books. All submissions will be evaluated for originality, significance, clarity, and soundness. Each paper will be refereed by two researchers in the topical area. The authors of accepted papers will later be asked to follow a particular typing instructions to prepare their final paper for publication. LIST OF CONFERENCES: PDPTA: Parallel and Distributed Processing Techniques and Applications GCA: Grid Computing and Applications CDES: The 2008 International Conference on Computer Design CSC: Scientific Computing ICAI: Artificial Intelligence GEM: Genetic and Evolutionary Methods MLMTA: Machine Learning; Models, Technologies and Applications BIOCOMP: Bioinformatics and Computational Biology SERP: Software Engineering Research and Practice ICWN: Wireless Networks IPCV: Image Processing, Computer Vision, and Pattern Recognition MSV: Modeling, Simulation and Visualization Methods CGVR: Computer Graphics and Virtual Reality ICOMP: Internet Computing SWWS: Semantic Web and Web Services SAM: Security and Management DMIN: Data Mining IKE: Information and Knowledge Engineering EEE: e-Learning, e-Business, Enterprise Information Systems, and e-Government ESA: Embedded Systems and Applications FECS: Frontiers in Education: Computer Science and Computer Engineering FCS: Foundations of Computer Science CIC: Communications in Computing PLANNED TUTORIALS: See the following web site for a partial list: http://www.world-academy-of-science.org/worldcomp08/ws/tutorials KEYNOTE LECTURES: See the following web site for a partial list: http://www.world-academy-of-science.org/worldcomp08/ws/keynotes LOCATION OF CONFERENCE: WORLDCOMP 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: spa, pools, sunning decks, Easy River, wave pool, lighted tennis courts, nightly shows, a number of restaurants, ... The negotiated room rate for conference attendees is very reasonable. The hotel is within walking distance from most other attractions. SPONSORS: Academic/Technical Co-Sponsors: (a partial list) --> Computational Biology and Functional Genomics Laboratory, Harvard University, Cambridge, Massachusetts, USA --> International Society of Intelligent Biological Medicine --> Horvath Lab., University of California, Los Angeles (UCLA), USA --> Minnesota Supercomputing Institute, University of Minnesota, USA --> Functional Genomics Laboratory, University of Illinois at Urbana-Champaign, USA --> BioMedical Informatics & Bio-Imaging Laboratory, Georgia Institute of Technology and Emory University, Atlanta, Georgia, USA --> Intelligent Data Exploration and Analysis Laboratory, University of Texas at Austin, Austin, Texas, USA --> Biomedical Cybernetics Laboratory, HST of Harvard University and MIT, USA --> Center for the Bioinformatics and Computational Genomics, Georgia Institute of Technology, Atlanta, Georgia, USA --> Harvard Statistical Genomics and Computational Laboratory, Harvard University, Cambridge, Massachusetts, USA --> Bioinformatics & Computational Biology Program George Mason University, Virginia, USA --> Hawkeye Radiology Informatics, Department of Radiology, College of Medicine, University of Iowa, Iowa, USA --> Medical Image HPC & Informatics Lab (MiHi Lab), University of Iowa, Iowa, USA --> The University of North Dakota, Grand Forks, North Dakota, USA --> PSU - Prince Sultan University --> Institute for Informatics Problems of the Russian Academy of Sciences, Moscow, Russia. --> NEMO/European Union at Institute of Discrete Mathematics and Geometry, TU Vienna Corporate Co-Sponsors: (a partial list) --> Google, Inc. --> Salford Systems --> Synplicity --> NIIT Technologies Other Co-Sponsors: (a partial list) --> High Performance Computing for Nanotechnology (HPCNano) --> International Technology Institute (ITI) --> GridToday - enewsletter focused on Grid, SOA, Virtualization, Storage, Networking and Service-Oriented IT --> HPCwire - The Leading Source for Global News and Information Covering the Ecosystem of High Productivity Computing --> Hodges' Health (H2CM), UK From csoares at fep.up.pt Mon May 19 16:40:36 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Mon, 19 May 2008 15:40:36 +0100 Subject: [Extended deadline] CFP: KDD Workshop on Data Mining for Business Applications Message-ID: <48319164.30408@fep.up.pt> Please distribute. Best regards, Carlos x apologies for multiple postings x [SUBMISSION DEADLINE EXTENDED: May 26] ** KDD Workshop on Data Mining for Business Applications To be held with KDD 2008: ACM International Conference on Data Mining and Knowledge Discovery Las Vegas, NV August 24, 2008 * MORE INFORMATION http://labs.accenture.com/kdd2008_workshop/ * ORGANIZERS Rayid Ghani, Accenture Technology Labs, rayid.ghani[at]accenture.com Carlos Soares, University of Porto, csoares[at]liaad.up.pt Francoise Soulie Fogelman, KXEN Patrick Gallinari, University Pierre & Marie Curie Katharina Probst, Accenture Technology Labs * DESCRIPTION Data Mining in various forms is becoming a major component of how businesses operate. Almost every business process today involves some form of data mining. Customer Relationship Management, Supply Chain Optimization, Demand Forecasting, Assortment Optimization, and Business Intelligence are just some examples of business functions that have been impacted by data mining techniques. More recently, data mining has become prominent on the Web (ads & key-words, e-commerce ...) and is now making its way into new applications : fraud, security, quality, industrial processes monitoring. The challenge of integrating massive amounts of data from new sources (text, video, social networks) will shape the data mining applications of to- morrow. Even though data mining has become critical to businesses, most of the academic research in data mining is mostly conducted on publicly available data sources. This is mainly due to two reasons: 1) the unavailability of large, new, and interesting sources of data to academic researchers. 2) limited access to domain experts who can provide a practical perspective on existing problems and provide a new set of research problems. Corporations are typically wary of releasing their internal data to academic and in most cases, there is limited interaction between industry practitioners and academic researchers working on related problems in similar domains. Companies that are involved in using leading-edge data mining often do not have any incentives or opportunities to present their work in venues where academic researchers are present. This is often the case because the requirements for presenting in these venues are often not suitable for industry practitioners. We believe that the lack of this interaction is detrimental to both parties – academic researchers and industry practitioners. * GOALS The goals of this workshop are: 1. Bring together researchers (from both academia and industry) as well as practitioners from different fields to talk about their different perspectives and to share their latest problems and ideas. 2. Attract business professionals who have access to interesting sources of data and business problems but not the expertise in data mining to solve them effectively. This group would otherwise not attend KDD and we believe through our personal experiences that it is essential for KDD research community to interact with them. * TOPICS OF INTEREST The list of topics includes but is not limited to: -fielded applications of data mining technology -data mining applications as components of business processes -how to sell data mining technology/projects inside your organization or to your customers -integration of data mining technologies with other kind of technologies -lessons learned from practice -new classes of research problems motivated by real-world business problems -new challenges in integrating unstructured data sources * SUBMISSION Submissions should be sent by May 19, 2008, in electronic form as a PDF (or Word) file, to rayid.ghani at accenture.com. * IMPORTANT DATES Papers Due: May 26 Notification: June 9 Final Version Due: June 16 Workshop: August 24 From dml2008 at easychair.org Mon May 19 19:30:12 2008 From: dml2008 at easychair.org (dml2008 at easychair.org) Date: Mon, 19 May 2008 19:30:12 +0200 (CEST) Subject: CFP2: DML 2008--Towards Digital Mathematics Library Message-ID: <20080519173012.5295522B184@anxur.fi.muni.cz> Second Call for papers: Towards Digital Mathematics Library (DML 2008) July 27th, 2008, Birmingham, UK c/o MKM 2008 Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2008.xhtml Deadlines: May 31st: abstract submissions Jun 1st: paper submissions Jun 20th: paper acceptance/rejection decision Jun 27th: versions for the proceedings due Jul 27th: workshop date, proceedings on site Submissions: http://www.easychair.org/conferences?conf=dml2008 Submissions will be refereed on the basis of technical quality, novelty, potential impact for building DML, and clarity. Papers must conform to the Springer LNCS style, preferably using LaTeX2e and the Springer llncs class files. Submission categories: Full paper: 4-12 LNCS pages Short paper/poster/work in progress report: 1-4 LNCS pages Overview: Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked and validated/verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The workshop's objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects, asking such questions as: # What technologies, standards, algorithms and formats should be used and what metadata should be shared? # What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? # Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? # What is the best practice for * retrodigitized mathematics (from images via OCR to MathML and/or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML and/or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow [CEDRAM model])? Proceedings: will be published by Masaryk University and will be available on site, with best papers chosen for postconference proceedings published by renowned publisher or for journal. Keynote: Thierry Bouche (Universite de Grenoble I, CNRS, Institut Fourier & Cellule Mathdoc): CEDRICS: when CEDRAM meets Tralics Topics: (include, but are not limited to) o search, indexing and retrieval of mathematical documents o ranking of mathematical papers, similarity of mathematical documents o math OCR with MathML/TeX output o document conversions from/to MathML, OpenMath, LaTeX, PostScript and [tagged] PDF o conversions between various mathematical formalisms o mathematical document compression o processing of scanned images o algorithms for crosslinking of bibliographical items, intext citations search o mathematical document classification, MSC 2010 o mathematical text mining o mathematical documents metadata exchange via OAI-PMH and/or OAI-ORE o long term archiving, data migration o reports and experience from math digitization projects o math publishing with long term archival goal o software engineering aspects of creating, handling MathML, OMDoc, OpenMath documents, and displaying them in web browsers Programme Committee: (other members approval pending) Jose Borbinha (Technical University of Lisbon, IST, PT) Thierry Bouche (University Grenoble, Cellule Mathdoc, FR) David Carlisle (Numerical Algorithms Group, NAG, UK) Thomas Fischer (Goettingen University, Digitization Center, DE) Vaclav Hlavac (Czech Technical University, Faculty of Engineering, Prague, CZ) Janka Chlebikova (Comenius University, MFF, Bratislava, SK) Enrique Macias-Virgos (University of Santiago de Compostella, ES) Jiri Rakosnik (Academy of Sciences, Mathematical Institute, Prague, CZ) Eugenio Rocha (University of Aveiro, Dept. of Mathematics, PT) David Ruddy (Cornell University, Library, US) Petr Sojka (Masaryk University, Faculty of Informatics, Brno, CZ) [chair] Masakazu Suzuki (Kyushu University, Faculty of Mathematics, JP) Bernd Wegner (Zentralblatt MATH, Berlin, DE) Organizing Committee: Adam Rambousek, Michal Ruzicka, Petr Sojka, Volker Sorge Registration, Travel, Accomodation: see MKM web pages http://events.cs.bham.ac.uk/cicm08/ Questions/inquiries: mail to dml2008 at easychair dot org CFP distribution: Please, distribute at your place. Apologies for multiple postings! From mpavone at dmi.unict.it Tue May 20 10:53:31 2008 From: mpavone at dmi.unict.it (Mario Pavone) Date: Tue, 20 May 2008 10:53:31 +0200 Subject: 3rd International Workshop on Nature Inspired Cooperative Strategies for Optimization - deadline: September 1, 2008 Message-ID: <20080520105331.08a9n1iyj4cs40so@mbox.dmi.unict.it> ============================================================= (Apologies for multiple postings) S E C O N D CALL FOR PAPERS NICSO 2008 International Workshop on Nature Inspired Cooperative Strategies for Optimization Puerto Palace Hotel Puerto de La Cruz, Tenerife 12-14 November 2008 http://www.gci.org.es/nicso2008 (pre-registration available) nicso2008 at gci.org.es NICSO 2008 is the third edition of the International Workshop on Nature Inspired Cooperative Strategies for Optimization. Its aims are (1) to foster a deeper understanding of "cooperativity" in computational optimisation systems, and (2) to encourage a vigorous exchange of ideas about emerging research areas in cooperative problem solving strategies. The accepted papers will be published in the Springer book series on Studies in Computational Intelligence. The authors of the best accepted papers will be invited to revise and expand their contributions for publication in a special issue in the Memetic Computing Journal (Springer) shortly after the event. IMPORTANT DATES: ? Deadline for Submission: September, 1 ? Notification of Acceptance: September, 30 ? Deadline for Camera-ready: October, 20 All submissions (only pdf file) must be sent at nicso2008 at gci.org.es. The length of each contribution will not exceed 12 pages. Produce a camera ready copy using NICSO2008 latex style found at http://www.gci.org.es/nicso2008. Each contribution must providing original results, insights and experimental innovations. All submitted papers will be blind reviewed and acceptance will be based on originality, significance, technical soundness and clarity. WORKSHOP-CHAIR: ? José Andrés Moreno Pérez, University of La Laguna STEERING COMMITTEE: ? David A. Pelta, University of Granada ? Natalio Krasnogor, University of Nottingham ORGANIZING COMMITTEE MEMBERS ? J. Marcos Moreno, University of La Laguna ? Belén Melíán, University of La Laguna ? Julio Brito, University of La Laguna ? Clara Campos, University of La Laguna ? F. Javier Martínez, University of La Laguna ? David Beltrán, University of La Laguna ? José Luis González, University of La Laguna TOPICS OF INTEREST (but not limited to them): ? Adaptive Behaviour ? Ants Colonies ? Amorphous Computing ? Artificial Li fe ? Artificial Immune Systems ? Coevolution ? Distributed Computing ? Evolutionary Robotics ? Evolvable Systems ? Genetic Algorithms ? Genetic Programming ? Membrane Computing ? Quantum Computing ? Software Self Assembly ? Swarm Intelligence Cooperative Strategies for: ? Numerical Optimization ? Combinatorial Optimization ? Non Linear Optimization ? Dynamic Optimization ? Noisy Optimization ? Bioinformatics and Systems Biology ? Game Theory ? Complex Systems ? Optimal Adaptable Control SECOND CALL FOR PAPERS in pdf format at: http://www.gci.org.es/NICSO2008/documentos/NICSO2008_2ndCFP.pdf -- 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 luis.moniz.pereira at gmail.com Tue May 20 11:33:14 2008 From: luis.moniz.pereira at gmail.com (Luis Moniz Pereira) Date: Tue, 20 May 2008 10:33:14 +0100 Subject: Urgent: EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC Message-ID: <052901c8ba5c$8c5075e0$a4f161a0$@fct.unl.pt> * PLEASE DISTRIBUTE URGENTLY * ------------------------------------------------------------------------------------------------------------------------------------------ *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC *** http://ssdi.di.fct.unl.pt/masters/mcl/ The Department of Computer Science at Universidade Nova de Lisboa, Portugal, is offering the European Masters Program in Computational Logic as part of its Bologna 2nd cycle offer. It is an international distributed Master of Science course (MSc.), in cooperation with the computer science departments in the following universities: * Universidade Nova de Lisboa, Portugal * Free University of Bozen-Bolzano, Italy * Technische Universitaet Dresden, Germany * Technische Universitaet Wien, Austria * Universidad Politecnica de Madrid, Spain This program, entirely in English, involves studying one year at the Universidade Nova de Lisboa, and possibly completing the second year with a stay in one of the partner universities. After this, the student will obtain, together with the European degree, two Master of Science degrees: the Mestrado em Lógica Computacional degree from the Universidade Nova de Lisboa, with legal value in Portugal, and the respective Master of Science degree from the visited university, with legal value in its country. NEXT APPLICATION DEADLINES: - 31 May 2008: deadline for all European and non-European students (notification of acceptance: 15 July 2008) - 01 September 2008: last deadline only for European students starting at the Universidade Nova de Lisboa, Portugal (notification of acceptance: 10 September 2008) SCHOLARSHIPS & MONEY SUPPORT: There will be 12 consortium scholarships to waive the tuition fee of 3.000 € for students without a scholarship, on the basis of their academic merit. Every year 10 EMCL students with European citizenship can visit Australia (Canberra, Sydney, Melbourne or Brisbane) up to 3 months to work on a research project, sponsored by the European Master. The study period in Australia is part of the study programme and it is fully recognised by the European Master's Program in Computational Logic. The guaranteed scholarship is of 3,100 € and it covers the travel and living expenses in Australia. APPLICATION: Check this web page for detailed info on applications: http://ssdi.di.fct.unl.pt/masters/mcl/content/prospective/how_to_apply.html THE STUDY PROGRAMME: The European Masters Program in Computational Logic is designed to meet the demands of industry and research in this rapidly growing area. Based on a solid foundation in mathematical logic, theoretical computer science, artificial intelligence and declarative programming students will acquire in-depth knowledge necessary to specify, implement and run complex systems as well as to prove properties of these systems. In particular, the focus of instruction will be in deduction systems, knowledge representation and reasoning, artificial intelligence, formal specification and verification, syntax directed semantics, logic and automata theory, logic and computability. This basic knowledge is then applied to areas like logic and natural language processing, logic and the semantic web, bioinformatics, information systems and database technology, software and hardware verification. Students will acquire practical experience and will become familiar in the use of tools within these applications. In addition, students will be prepared for a future PhD, they will come in contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills. Applicants should have a Bachelor degree (Bologna 1st cycle or equivalent) in Computer Science, Computer Engineering, Logic, or other relevant disciplines; special cases will be considered. The programme is part of the Master in Computational Logic (Mestrado em Lógica Computacional) and it has various strengths that make it unique amongst Portuguese and European universities: * Curriculum taught entirely in English: The programme is open to the world and prepares the students to move on the international scene. * Possibility of a strongly research-oriented curriculum. * Possibility for project-based routes to obtain the degree and extensive lab facilities. * International student community. * Direct interaction with the local and international industry and research centres, with the possibility of practical and research internships that can lead to future employment. * Excellent scholarship opportunities and student accommodations. The European Masters Program in Computational Logic is one of the few European Masters awarded by the European Union's Erasmus Mundus programme from its first year of existence in 2004. The Erasmus Mundus programme is a co-operation and mobility programme in the field of higher education which promotes the European Union as a centre of excellence in learning around the world. It supports European top-quality Masters Courses and enhances the visibility and attractiveness of European higher education in third-countries. It also provides EU-funded scholarships for third-country nationals participating in these Masters Courses, as well as scholarships for EU-nationals studying in third-countries. The European Masters Program in Computational Logic is sponsored scientifically by the European Network of Excellence on Computational Logic (CoLogNET), the European Association of Logic, Language and Information (FoLLI), the European Coordinating Committee for Artificial Intelligence (ECCAI), the Italian Association for Artificial Intelligence (AI*IA), the Italian Association for Informatics (AICA, member of the Council of European Professional Informatics Societies), the Italian Association for Logic and its Applications (AILA), and the Portuguese Association for Artificial Intelligence (APPIA). FURTHER INFORMATION: Prof. Luis Moniz Pereira, at lmp at di.fct.unl.pt Departamento de Informática Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa 2829-516 Caparica Portugal Phone: +351 21 294 8536 (Secretary) Fax: +351 21 294 8541 European MSc in Computational Logic site: http://ssdi.di.fct.unl.pt/masters/mcl/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From broersen at cs.uu.nl Tue May 20 15:05:44 2008 From: broersen at cs.uu.nl (Jan Broersen) Date: Tue, 20 May 2008 15:05:44 +0200 Subject: Final CFP (NO EXTENSION POSSIBLE): KR-workshop on knowledge representation for agents and MAS (Sydney, July 2008) Message-ID: <4832CCA8.6000903@cs.uu.nl> This is the final call for papers (due to a tight schedule there will be NO EXTENSION) for a workshop on KNOWLEDGE REPRESENTATION FOR AGENTS AND MULTI-AGENT SYSTEMS (KRAMAS 2008) http://www.cs.uu.nl/events/kramas2008/kramas.html To enhance cross-fertilization between the KR (Knowledge Representation and Reasoning) and agent communities, this year's edition of KR features a one-day workshop on knowledge representation theories and techniques for agent-based systems. Papers are welcomed on KR-related work as applied to either single agent or multi-agent systems. POSSIBLE TOPICS (non-exhaustive list) - Knowledge Representation & Reasoning aspects of agent systems (languages, ontologies, techniques) - Reasoning about (actions of) agents - Reasoning methods (such as non-monotonic reasoning, abduction, argumentation, diagnosis, planning, decision-making under uncertainty, reasoning about preference, ...) applied to agents and multi-agent systems (MAS) - Theory of negotiation, communication, cooperation, group decision-making, game theory for MAS - Cognitive robotics - Representations of other agents / opponent models - Logics for intelligent agents and MAS - Specification and verification techniques for agents - Automated reasoning techniques for agent-based systems - Logical foundations of agent-based systems, normative MAS and e-institutions - Formal semantics of agent programming languages - Formal techniques for agent-oriented programming and agent-oriented software engineering PROCEEDINGS Informal pre-proceedings will be distributed at the workshop. All good quality papers will be included in the post-proceedings to be published in the Springer Lecture Notes series. SUBMISSION DETAILS Submission of papers describing relevant preliminary or completed but unpublished work are invited. Submissions should be formatted using Springer's LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. Authors can submit their abstracts and papers through the Cyberchair URL un the web site http://www.cs.uu.nl/events/kramas2008/kramas.html IMPORTANT DATES Submission Deadline: June 1 Notification to Authors: July 1 Camera Ready due: July 15 Workshop: September 17 PROGRAM CHAIR John-Jules Meyer WORKSHOP CHAIRS John-Jules Meyer (Utrecht University, The Netherlands) Jan Broersen (Utrecht University, The Netherlands) PROGRAM COMMITTEE Thomas Agotnes (Berghen, Norway) Natasha Alechina (Nottingham, UK) Jamal Bentahar (Montreal, Canada) Rafael Bordini (Durham, UK) Jan Broersen (Utrecht, Netherlands) Mehdi Dastani (Utrecht, Netherlands) Giuseppe De Giacomo (Rome, Italy) Hans van Ditmarsch (Otago, New Zealand) Jurgen Dix (Clausthal, Germany) Andreas Herzig (Toulouse, France) Wiebe van der Hoek (Liverpool, UK) Wojciech Jamroga (Clausthal, Germany) Catholijn Jonker (Delft, Netherlands) Yves Lesperance (York Univ., Toronto, Canada) Alessio Lomuscio (London, UK) Timothy Norman (Aberdeen, UK) Henry Prakken (Utrecht, Netherlands) Alessandro Ricci (Cesena, Italy) Renate Schmidt (Manchester, UK) Carles Sierra (Barcelona, Spain) Francesca Toni (London, UK) Rineke Verbrugge (Groningen, Netherlands) From gardent at loria.fr Tue May 20 15:38:20 2008 From: gardent at loria.fr (Claire Gardent) Date: Tue, 20 May 2008 09:38:20 -0400 (EDT) Subject: Postdoc position in NL Generation, Nancy, France Message-ID: <20080520133820.0549A57B6C@loria1.loria.fr> Postdoctoral Position at INRIA Nancy (France) Field: Computational Linguistics Topic: Natural Language Generation Deadline for application: May 30, 2008. Employer: INRIA (French National Institute for Research in Computer Science) Nancy Grand Est (France) Job Description: The Lorraine Laboratory of IT Research and its Applications (Nancy, France) has a position for a Postdoctoral fellow to work on the development of a surface realiser for French. Applicants must have a ** recent doctoral degree ** (PhD viva held in May 2007 or later) or defend their PhD before the end of 2008. They must have expertise in an area relevant to the project (linguistics, computational linguistics, computer science), strong hands-on experience in Natural Language Processing and a particular interest in NL generation. Further particulars and details of how to apply are available at: http://www.inria.fr/travailler/opportunites/postdoc/postdoc.en.html http://www.inria.fr/travailler/mrted/en/postdoc/details.html?id=PNGFK026203F3VBQB6G68LOE1&LOV5=4508&LOV2=4490&LG=EN&Resultsperpage=20&nPostingID=1882&nPostingTargetID=4851&option=52&sort=DESC&nDepartmentID=19 Contact: Claire Gardent From wjamroga at in.tu-clausthal.de Tue May 20 22:43:29 2008 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Tue, 20 May 2008 22:43:29 +0200 Subject: ECOM & EGOV'08: Call for Papers Message-ID: <483337F1.10900@in.tu-clausthal.de> *** Apologies for cross-posting *** ------------------------------------------------------------------- ECOM&EGOV'08 - Call for Papers (deadline: 15 June 2008) ------------------------------------------------------------------- 8th International Interdisciplinary Conference on e-Commerce and e-Government "ECOM&EGOV'08" *** Wisla, Poland, October 20-22, 2008 *** http://www.imcsit.org/?cont=112&type=page&page=93 ------------------------------------------------------------------- Organized within the framework of the International Multiconference on Computer Science and Information Technology and co-located with the XXIV Autumn Meeting of the Polish Information Processing Society. ------------------------------------------------------------------- We would like to invite original papers on all aspects of electronic commerce, electronic government and related issues. The conference is meant to address the academic community as well as representatives of business, industry, government, NGOs and information technology sector. Thus - apart from research papers - practical presentations of existing solutions are very welcome, too. This year we specifically added the EGOV component as we would like to explore the e-government research and applications. The areas of e-Commerce, e-Governance, e-Government etc. are interdisciplinary by nature: they involve people with their background in economy, management, artificial intelligence, computer science, sociology, psychology, law and so on. We feel that a meeting of specialists in those areas may help to cross the boundaries between the traditional disciplines, but also between the communities of theorists and practitioners. And to create a better understanding of the mechanisms underlying electronic markets, electronic administrations and networked organizations. The general list of topics includes: - electronic markets and electronic marketing - business models and processes in e-Commerce and e-Government - languages and models for e-Commerce and e-Government - Artificial Intelligence in e-Commerce and e-Government - electronic contracting and public procurement - legal aspects of e-Commerce and e-Government - electronic interaction and negotiation - Virtual Enterprises and Knowledge Management - technology for e-Commerce and e-Government - Internet computing, networked enterprises and networked governments - social aspects of e-Commerce and e-Government - futurology of e-Commerce and e-Government - e-Inclusion and its influence on e-Commerce and e-Government - national and cross-boarder e-Government services - productivity and efficiency in e-Commerce and e-Government You can also have a look at the more detailed list available at: http://www.imcsit.org/?cont=129&type=page&page=117. Please note that, however long and detailed, this list is not exhaustive. Interesting papers on related topics are also welcome. ------------------------------------------------------------------- *** Paper Submission and Publication *** ------------------------------------------------------------------- Authors should submit draft papers (as Postscript, PDF of MSWord file). The total length of a paper should not exceed 10 pages (LNCS style). LNCS style templates are available at the conference web page. Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop. Accepted and presented papers will be included in the conference proceedings and published on a CD (ISSN 1896-7094). Extended versions of selected papers presented during the conference will be published in a special issue of a journal to be announced later. Extended versions of papers accepted for ECOM'07 have been invited to be published in a special sssue of the IADIS International Journal on Computer Science and Information Systems (IJCSIS). ------------------------------------------------------------------- *** Important dates *** ------------------------------------------------------------------- - 15 June 2008 - Full paper submission - 14 July 2008 - Notification of acceptance - 1 September 2008 - Camera-ready version of the accepted paper ------------------------------------------------------------------- *** Organization, Contact and More *** ------------------------------------------------------------------- The conference is organized by the Interfaculty E-Commerce Group, Gdansk University of Technology, Poland, in cooperation with the Faculty of Management and Economics of the Gdansk University of Technology responsible for the e-Commerce part and with the Institute of Innovation and Information Society Ltd. responsible for the e-Government part. For more up-to-date information please refer to the conference web page at http://www.imcsit.org/?cont=112&type=page&page=93 If you have any further questions, please contact: ECOM Chair: Jacek Wachowicz - jacek.wachowicz (at) zie.pg.gda.pl Gdansk University of Technology Faculty of Management and Economics ul. Narutowicza 11/12 80-952 Gdansk Poland phone: (+48 58) 347 23 75 EGOV Chair: Borys Czerniejewski - borys.czerniejewski (at) insi.pl Institute of Innovation and Information Technology Ltd. ul. Wita Stwosza 7 40-954 Katowice Poland phone: (+48 603) 891 961 We hope to see you in Wisla! Yours, Jacek Wachowicz and Borys Czerniejewski From Mailer-Daemon at fallback1.mail.ox.ac.uk Wed May 21 11:18:33 2008 From: Mailer-Daemon at fallback1.mail.ox.ac.uk (Mail Delivery System) Date: Wed, 21 May 2008 10:18:33 +0100 Subject: Mail delivery failed: returning message to sender Message-ID: This message was created automatically by mail delivery software. A message that you sent could not be delivered to one or more of its recipients. This is a permanent error. The following address(es) failed: sm at acl.icnet.uk retry time not reached for any host after a long failure period ------ This is a copy of the message, including all the headers. ------ Return-path: Received: from relay8.mail.ox.ac.uk ([129.67.1.171]) by fallback1.mail.ox.ac.uk with esmtp (Exim 4.68) (envelope-from ) id 1JykSv-0000HQ-5A for sm at acl.icnet.uk; Wed, 21 May 2008 10:18:33 +0100 Received: from hades.rz.tu-clausthal.de ([139.174.2.20]) by relay8.mail.ox.ac.uk with esmtp (Exim 4.69) (envelope-from ) id 1JykSs-00023j-SW for sm at acl.icnet.uk; Wed, 21 May 2008 10:18:33 +0100 Received: from hades.rz.tu-clausthal.de (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id CD879208A51; Wed, 21 May 2008 11:18:28 +0200 (CEST) Received: from tu-clausthal.de (poseidon [139.174.2.21]) by hades.rz.tu-clausthal.de (Postfix) with ESMTP id 3D2832088A4; Wed, 21 May 2008 11:18:26 +0200 (CEST) X-ListServer: CommuniGate Pro LIST 5.2.3 List-Unsubscribe: List-ID: List-Archive: Precedence: list Message-ID: Sender: "Event at CIG" To: event at in.tu-clausthal.de Date: Wed, 21 May 2008 11:18:25 +0200 X-Original-Message-ID: From: Wojtek Jamroga MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Subject: [Event at CIG] ECOM & EGOV'08: Call for Papers X-Virus-Scanned: by PureMessage V5.4 at tu-clausthal.de X-Oxmail-Spam-Status: score=0.0 tests=none X-Oxmail-Spam-Level: *** Apologies for cross-posting *** ------------------------------------------------------------------- ECOM&EGOV'08 - Call for Papers (deadline: 15 June 2008) ------------------------------------------------------------------- 8th International Interdisciplinary Conference on e-Commerce and e-Government "ECOM&EGOV'08" *** Wisla, Poland, October 20-22, 2008 *** http://www.imcsit.org/?cont=112&type=page&page=93 ------------------------------------------------------------------- Organized within the framework of the International Multiconference on Computer Science and Information Technology and co-located with the XXIV Autumn Meeting of the Polish Information Processing Society. ------------------------------------------------------------------- We would like to invite original papers on all aspects of electronic commerce, electronic government and related issues. The conference is meant to address the academic community as well as representatives of business, industry, government, NGOs and information technology sector. Thus - apart from research papers - practical presentations of existing solutions are very welcome, too. This year we specifically added the EGOV component as we would like to explore the e-government research and applications. The areas of e-Commerce, e-Governance, e-Government etc. are interdisciplinary by nature: they involve people with their background in economy, management, artificial intelligence, computer science, sociology, psychology, law and so on. We feel that a meeting of specialists in those areas may help to cross the boundaries between the traditional disciplines, but also between the communities of theorists and practitioners. And to create a better understanding of the mechanisms underlying electronic markets, electronic administrations and networked organizations. The general list of topics includes: - electronic markets and electronic marketing - business models and processes in e-Commerce and e-Government - languages and models for e-Commerce and e-Government - Artificial Intelligence in e-Commerce and e-Government - electronic contracting and public procurement - legal aspects of e-Commerce and e-Government - electronic interaction and negotiation - Virtual Enterprises and Knowledge Management - technology for e-Commerce and e-Government - Internet computing, networked enterprises and networked governments - social aspects of e-Commerce and e-Government - futurology of e-Commerce and e-Government - e-Inclusion and its influence on e-Commerce and e-Government - national and cross-boarder e-Government services - productivity and efficiency in e-Commerce and e-Government You can also have a look at the more detailed list available at: http://www.imcsit.org/?cont=129&type=page&page=117. Please note that, however long and detailed, this list is not exhaustive. Interesting papers on related topics are also welcome. ------------------------------------------------------------------- *** Paper Submission and Publication *** ------------------------------------------------------------------- Authors should submit draft papers (as Postscript, PDF of MSWord file). The total length of a paper should not exceed 10 pages (LNCS style). LNCS style templates are available at the conference web page. Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop. Accepted and presented papers will be included in the conference proceedings and published on a CD (ISSN 1896-7094). Extended versions of selected papers presented during the conference will be published in a special issue of a journal to be announced later. Extended versions of papers accepted for ECOM'07 have been invited to be published in a special sssue of the IADIS International Journal on Computer Science and Information Systems (IJCSIS). ------------------------------------------------------------------- *** Important dates *** ------------------------------------------------------------------- - 15 June 2008 - Full paper submission - 14 July 2008 - Notification of acceptance - 1 September 2008 - Camera-ready version of the accepted paper ------------------------------------------------------------------- *** Organization, Contact and More *** ------------------------------------------------------------------- The conference is organized by the Interfaculty E-Commerce Group, Gdansk University of Technology, Poland, in cooperation with the Faculty of Management and Economics of the Gdansk University of Technology responsible for the e-Commerce part and with the Institute of Innovation and Information Society Ltd. responsible for the e-Government part. For more up-to-date information please refer to the conference web page at http://www.imcsit.org/?cont=112&type=page&page=93 If you have any further questions, please contact: ECOM Chair: Jacek Wachowicz - jacek.wachowicz (at) zie.pg.gda.pl Gdansk University of Technology Faculty of Management and Economics ul. Narutowicza 11/12 80-952 Gdansk Poland phone: (+48 58) 347 23 75 EGOV Chair: Borys Czerniejewski - borys.czerniejewski (at) insi.pl Institute of Innovation and Information Technology Ltd. ul. Wita Stwosza 7 40-954 Katowice Poland phone: (+48 603) 891 961 We hope to see you in Wisla! Yours, Jacek Wachowicz and Borys Czerniejewski ------------------------------------------------------------------------ This e-mail was delivered to you by event [at] in.tu-clausthal.de, what is a moderated list run by Computational Intelligence Group of Clausthal University of Technology, Germany. In the case of any requests, questions, or comments, do not hesitate and contact the list administrator event-request [at] in.tu-clausthal.de ASAP. For all the information on the list, please visit our website http://cig.in.tu-clausthal.de/event/ where you can also find an archive of this list. To unsubscribe, E-mail to: To switch to the DIGEST mode, E-mail to To switch to the INDEX mode, E-mail to Send administrative queries to Computational Intelligence Group, Department of Computer Science Clausthal University of Technology Germany, http://cig.in.tu-clausthal.de/ From Mailer-Daemon at platon.etsii.urjc.es Wed May 21 11:18:47 2008 From: Mailer-Daemon at platon.etsii.urjc.es (Mail Delivery System) Date: Wed, 21 May 2008 11:18:47 +0200 Subject: Mail delivery failed: returning message to sender Message-ID: This message was created automatically by mail delivery software. A message that you sent could not be delivered to one or more of its recipients. This is a permanent error. The following address(es) failed: axel at platon.etsii.urjc.es retry timeout exceeded ------ This is a copy of the message, including all the headers. ------ Return-path: Received: from antonio.urjc.es ([193.147.184.24]:53478) by platon.etsii.urjc.es with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.63) (envelope-from ) id 1JykT9-0001I4-IJ for axel at platon.etsii.urjc.es; Wed, 21 May 2008 11:18:47 +0200 Received: from vulcano.urjc.es (vulcano.urjc.es [193.147.184.23]) by antonio.urjc.es with ESMTP id m4L9Ict8002876 for ; Wed, 21 May 2008 11:18:38 +0200 Received: from vulcano.urjc.es (localhost [127.0.0.1]) by vulcano.urjc.es with ESMTP id m4L9Ibli003414 for ; Wed, 21 May 2008 11:18:37 +0200 Received: (from axel.polleres at localhost) by vulcano.urjc.es (8.13.8/8.13.8/Submit) id m4L9IbMw003412 for axel at platon.escet.urjc.es; Wed, 21 May 2008 11:18:37 +0200 X-Authentication-Warning: vulcano.urjc.es: axel.polleres set sender to SRS0=svJ3q6xl=WE=in.tu-clausthal.de=event-report at urjc.es using -f Received: from antonio.urjc.es (antonio.urjc.es [193.147.184.24]) by vulcano.urjc.es with ESMTP id m4L9IaHO003402 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Wed, 21 May 2008 11:18:37 +0200 Received: from antonio.urjc.es (antonio.urjc.es [127.0.0.1]) by antonio.urjc.es with ESMTP id m4L9Ib4n002862 for ; Wed, 21 May 2008 11:18:38 +0200 Received: from hades.rz.tu-clausthal.de (hades.rz.tu-clausthal.de [139.174.2.20]) by antonio.urjc.es with ESMTP id m4L9Ibqb002844 for ; Wed, 21 May 2008 11:18:37 +0200 Received: from hades.rz.tu-clausthal.de (localhost [127.0.0.1])by localhost (Postfix) with SMTP id 6E586208C1C;Wed, 21 May 2008 11:18:29 +0200 (CEST) Received: from tu-clausthal.de (poseidon [139.174.2.21])by hades.rz.tu-clausthal.de (Postfix) with ESMTP id 3D2832088A4;Wed, 21 May 2008 11:18:26 +0200 (CEST) X-ListServer: CommuniGate Pro LIST 5.2.3 List-Unsubscribe: List-ID: List-Archive: Precedence: list Message-ID: Sender: "Event at CIG" To: event at in.tu-clausthal.de Date: Wed, 21 May 2008 11:18:25 +0200 X-Original-Message-ID: From: Wojtek Jamroga MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Subject: [Event at CIG] ECOM & EGOV'08: Call for Papers X-Virus-Scanned: by PureMessage V5.4 at tu-clausthal.de X-Greylist: Default is to whitelist mail, not delayed by milter-greylist-2.0.2 (antonio.urjc.es [193.147.184.24]); Wed, 21 May 2008 11:18:37 +0200 (CEST) X-imss-version: 2.050 X-imss-result: Passed X-imss-scanInfo: M:B L:E SM:2 X-imss-tmaseResult: TT:1 TS:-35.0080 TC:1F TRN:83 TV:5.5.1026(15922.006) X-imss-scores: Clean:100.00000 C:0 M:0 S:0 R:0 X-imss-settings: Baseline:1 C:1 M:1 S:1 R:1 (0.0000 0.0000) *** Apologies for cross-posting *** ------------------------------------------------------------------- ECOM&EGOV'08 - Call for Papers (deadline: 15 June 2008) ------------------------------------------------------------------- 8th International Interdisciplinary Conference on e-Commerce and e-Government "ECOM&EGOV'08" *** Wisla, Poland, October 20-22, 2008 *** http://www.imcsit.org/?cont=112&type=page&page=93 ------------------------------------------------------------------- Organized within the framework of the International Multiconference on Computer Science and Information Technology and co-located with the XXIV Autumn Meeting of the Polish Information Processing Society. ------------------------------------------------------------------- We would like to invite original papers on all aspects of electronic commerce, electronic government and related issues. The conference is meant to address the academic community as well as representatives of business, industry, government, NGOs and information technology sector. Thus - apart from research papers - practical presentations of existing solutions are very welcome, too. This year we specifically added the EGOV component as we would like to explore the e-government research and applications. The areas of e-Commerce, e-Governance, e-Government etc. are interdisciplinary by nature: they involve people with their background in economy, management, artificial intelligence, computer science, sociology, psychology, law and so on. We feel that a meeting of specialists in those areas may help to cross the boundaries between the traditional disciplines, but also between the communities of theorists and practitioners. And to create a better understanding of the mechanisms underlying electronic markets, electronic administrations and networked organizations. The general list of topics includes: - electronic markets and electronic marketing - business models and processes in e-Commerce and e-Government - languages and models for e-Commerce and e-Government - Artificial Intelligence in e-Commerce and e-Government - electronic contracting and public procurement - legal aspects of e-Commerce and e-Government - electronic interaction and negotiation - Virtual Enterprises and Knowledge Management - technology for e-Commerce and e-Government - Internet computing, networked enterprises and networked governments - social aspects of e-Commerce and e-Government - futurology of e-Commerce and e-Government - e-Inclusion and its influence on e-Commerce and e-Government - national and cross-boarder e-Government services - productivity and efficiency in e-Commerce and e-Government You can also have a look at the more detailed list available at: http://www.imcsit.org/?cont=129&type=page&page=117. Please note that, however long and detailed, this list is not exhaustive. Interesting papers on related topics are also welcome. ------------------------------------------------------------------- *** Paper Submission and Publication *** ------------------------------------------------------------------- Authors should submit draft papers (as Postscript, PDF of MSWord file). The total length of a paper should not exceed 10 pages (LNCS style). LNCS style templates are available at the conference web page. Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop. Accepted and presented papers will be included in the conference proceedings and published on a CD (ISSN 1896-7094). Extended versions of selected papers presented during the conference will be published in a special issue of a journal to be announced later. Extended versions of papers accepted for ECOM'07 have been invited to be published in a special sssue of the IADIS International Journal on Computer Science and Information Systems (IJCSIS). ------------------------------------------------------------------- *** Important dates *** ------------------------------------------------------------------- - 15 June 2008 - Full paper submission - 14 July 2008 - Notification of acceptance - 1 September 2008 - Camera-ready version of the accepted paper ------------------------------------------------------------------- *** Organization, Contact and More *** ------------------------------------------------------------------- The conference is organized by the Interfaculty E-Commerce Group, Gdansk University of Technology, Poland, in cooperation with the Faculty of Management and Economics of the Gdansk University of Technology responsible for the e-Commerce part and with the Institute of Innovation and Information Society Ltd. responsible for the e-Government part. For more up-to-date information please refer to the conference web page at http://www.imcsit.org/?cont=112&type=page&page=93 If you have any further questions, please contact: ECOM Chair: Jacek Wachowicz - jacek.wachowicz (at) zie.pg.gda.pl Gdansk University of Technology Faculty of Management and Economics ul. Narutowicza 11/12 80-952 Gdansk Poland phone: (+48 58) 347 23 75 EGOV Chair: Borys Czerniejewski - borys.czerniejewski (at) insi.pl Institute of Innovation and Information Technology Ltd. ul. Wita Stwosza 7 40-954 Katowice Poland phone: (+48 603) 891 961 We hope to see you in Wisla! Yours, Jacek Wachowicz and Borys Czerniejewski ------------------------------------------------------------------------ This e-mail was delivered to you by event [at] in.tu-clausthal.de, what is a moderated list run by Computational Intelligence Group of Clausthal University of Technology, Germany. In the case of any requests, questions, or comments, do not hesitate and contact the list administrator event-request [at] in.tu-clausthal.de ASAP. For all the information on the list, please visit our website http://cig.in.tu-clausthal.de/event/ where you can also find an archive of this list. To unsubscribe, E-mail to: To switch to the DIGEST mode, E-mail to To switch to the INDEX mode, E-mail to Send administrative queries to Computational Intelligence Group, Department of Computer Science Clausthal University of Technology Germany, http://cig.in.tu-clausthal.de/ From tommiemeyer at gmail.com Wed May 21 11:28:18 2008 From: tommiemeyer at gmail.com (Tommie Meyer) Date: Wed, 21 May 2008 11:28:18 +0200 Subject: KROW@KR2008: Final Call for Papers Message-ID: <3025BACB-3B62-41A0-AFD0-B20F248B958B@meraka.org.za> Apologies for cross-postings: ------------------------------------------------------------------------ --------------------- Knowledge Representation Ontology Workshop (KROW 2008) September 17, 2008 Final Call for Papers A KR 2008 Workshop September 16 - 19, 2008 Sydney, Australia http://www.cse.unsw.edu.au/~kr2008/krow.html KROW 2008 is one of two workshops forming an integral part of the program of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR2008). It is a continuation of the Australasian Ontology Workshop series: http://www.comp.mq.edu.au/conferences/aow/. The primary aim of the workshop is to bring together active researchers in the broad area of ontologies. Topics of interest include, but are not limited to: - Ontology models and theories - Ontologies and the Semantic Web - Interoperability in ontologies - Ontologies and Multi-agent systems - Description logics for ontologies - Reasoning with ontologies - Ontology harvesting on the web - Ontology of agents and actions - Ontology visualisation - Ontology engineering and management - Ontology-based information extraction and retrieval - Ontology merging, alignment and integration - Web ontology languages - Formal concept analysis and ontologies The proceedings of the three workshops in the AOW series were published as volumes 58, 72, and 85 of the Conferences in Research and Practice in Information Technology (CRPIT) series (http://crpit.com/), and the KROW 2008 proceedings will be published as volume 90 of the same series. Extended versions of selected papers will appear in a special issue of the journal Applied Artificial Intelligence. Submission information such as format etc. can be found on the CRPIT website: http://crpit.com/AuthorsSubmitting.html. The page limit is 10 pages. Important Dates Paper submission deadline: June 1, 2008 Notification of acceptance: July 1, 2008 Camera-ready copies due: July 15, 2008 KROW 2008: September 17, 2008 Papers must be submitted via the EasyChair system at http://www.easychair.org/conferences/?conf=krow2008 Workshop Chairs Thomas Meyer Meraka Institute, South Africa tommie.meyer at meraka.org.za Mehmet Orgun Macquarie University, Australia mehmet at ics.mq.edu.au Program Committee Franz Baader (TU Dresden, Germany) Mike Bain (UNSW, Australia) Richard Booth (Mahasarakham University, Thailand) Arina Britz (Meraka Institute, South Africa) Longbing Cao (UTS, Australia) Werner Ceusters (SUNY Buffalo, USA) Anne Cregan (UNSW, Australia) Attila Elci (Eastern Mediterranean University, Turkey) Aurona Gerber (Meraka Institute, South Africa) Manolis Gergatsoulis (Ionian University, Greece) Dennis Hooijmaijers (University of South Australia, Australia) Bo Hu (University of Southampton, UK) Renato Iannella (NICTA, Australia) Marijke Keet (Free University of Bolzano, Italy) Ken Kaneiwa (NII, Japan) Kevin Lee (NICTA and UNSW, Australia) Laurent Lefort (CSIRO, Australia) Costas Mantratzis (University of Westminster, UK) Lars Moench (University of Hagen, Germany) Deshendran Moodley (University of KwaZulu Natal, South Africa) Maurice Pagnucco (UNSW, Australia) Anet Potgieter (University of Cape Town, South Africa) Debbie Richards (Macquarie University, Australia) Rolf Schwitter (Macquarie University, Australia) Murat Sensoy (Bogazici University, Turkey) Barry Smith (SUNY Buffalo, USA) Boontawee Suntisrivaraporn (TU Dresden, Germany) Kerry Taylor (CSIRO, Australia) Sergio Tessaris (Free University of Bolzano, Italy) Kewen Wang (Griffith University, Australia) Mary-Anne Williams (UTS, Australia) Pinar Yolum (Bogazici University, Turkey) From geoff at cs.miami.edu Wed May 21 13:44:03 2008 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 21 May 2008 07:44:03 -0400 (EDT) Subject: LPAR Call for Papers Message-ID: <20080521114403.AD3BF11F9BB@mcclellan.cs.miami.edu> CALL FOR PAPERS LPAR'08 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning November 23-27, 2008 Carnegie Mellon University Doha, Qatar http://www.qatar.cmu.edu/lpar08 The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 2008 edition will be held in Doha, Qatar, on the premises of the Qatar campus of Carnegie Mellon University. Logic is a fundamental organizing principle in nearly all areas in Computer Science. It runs a multifaceted gamut from the foundational to the applied. At one extreme, it underlies computability and complexity theory and the formal semantics of programming languages. At the other, it drives billions of gates every day in the digital circuits of processors of all kinds. Logic is in itself a powerful programming paradigm but it is also the quintessential specification language for anything ranging from real-time critical systems to networked infrastructures. It is logical techniques that link implementation and specification through formal methods such as automated theorem proving and model checking. Logic is also the stuff of knowledge representation and artificial intelligence. Because of its ubiquity, logic has acquired a central role in Computer Science education. New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: * Automated reasoning * Description logics * Interactive theorem proving * Non-monotonic reasoning * Implementations of logic * Specification using logics * Proof assistants * Logic in artificial intelligence * Program and system verification * Lambda calculus * Model checking * Constructive logic and type theory * Rewriting and unification * Computional interpretations of logic * Logic programming * Logical foundations of programming * Constraint programming * Logical aspects of concurrency * Logic and databases * Logic and computational complexity * Modal and temporal logics * Knowledge representation and reasoning * Proof-carrying code * Reasoning about actions * Translation validation * Proof planning * Logic for the semantic web * Effectively presented structures * Foundations of security * Logic of distributed systems Invited Speakers ---------------- It has been a tradition of LPAR to invite some of the most influential researchers in the focus areas to discuss their work and their vision for their fields. We are honored that the following members of the community have accepted this invitation. * Edmund Clarke, Carnegie Mellon University (USA) * Amir Pnueli, New York University (USA) * Michael Backes, Saarland University and MPI-SWS (Germany) * Thomas Eiter, Technical University of Vienna (Austria) Submission Instructions ----------------------- Submissions must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers should be submitted in Postscript or Portable Document Format (PDF); papers submitted in a proprietary word processor format such as Microsoft Word cannot be considered. Submissions can be of two types: * Regular papers are meant to describe solid new research results. They can be up to 15 pages long in LNCS style, including figures, bibliography and appendices. * Experimental and tool papers are intended to describe implementations of systems, to report experiments with implemented systems, or to compare implemented systems. They can be at most 8 pages long in the LNCS style. Both types of papers can be electronically submitted by visiting http://www.easychair.org/conferences/?conf=lpar2008. Prospective authors are required to register a title and an abstract a week before the paper submission deadline (see below). As with the previous editions, the proceedings of LPAR'08 will be published in Springer-Verlag's Lecture Notes in Computer Science series. They will be available at the conference. In keeping with the tradition of LPAR, researchers and practioners are encouraged to report on interesting work in progress by submitting abstracts of up to 5 LNCS pages, to be selected for a short-paper session. These abstracts will not be printed in the proceedings of LPAR'08 and they have a separate submission deadline (see below). Participation ------------- Authors of accepted papers are required to ensure that at least one of them will be present at the conference. Papers that do not adhere to this policy will be removed from the proceedings. Important Dates --------------- Abstract submission deadline: 26 May 2008 Paper submission deadline: 06 June 2008 Notification of acceptance: 29 August 2008 Camera-ready papers: 19 September 2008 Short paper submission deadline: 26 September 2008 LPAR'08 Workshops: 22 November 2008 LPAR 2008: 23-27 November 2008 Program Committee ----------------- * Franz Baader, TU Dresden (Germany) * Matthias Baaz, TU Vienna (Austria) * Peter Baumgartner, National ICT (Australia) * Josh Berdine, MSR Cambridge (UK) * Armin Biere, Johannes Kepler University (Austria) * Iliano Cervesato, Carnegie Mellon University (Qatar) - chair * Sagar Chaki, Carnegie Mellon SEI (US) * Hubert Comon-Lundh, ENS Cachan (France) * Javier Esparza, TU Munich (Germany) * Orna Grumberg, Technion (Israel) * Thomas Henzinger, EPFL (Switzerland) * Joxan Jaffar, NUS (Singapore) * Juergen Giesl, RWTH Aachen (Germany) * Claude Kirchner, INRIA & LORIA (France) * Stephan Kreutzer, Oxford University (UK) * Orna Kupferman, Hebrew University (Israel) * Alexander Leitsch, TU Vienna (Austria) * Nicola Leone, University of Calabria (Italy) * Cathy Meadows, Naval Research Laboratory (US) * Heiko Mantel, TU Darmstadt (Germany) * John Mitchell, Stanford University (US) * Aart Middeldorp, University of Innsbruck (Austria) * Andreas Podelski, University of Freiburg (Germany) * Sanjiva Prasad, IIT Delhi (India) * Alexander Razborov, Russian Academy of Sciences (Russia) * Andrey Rybalchenko, MPI-SWS (Germany) * Ulrike Sattler, University of Manchester (UK) * Carsten Schuermann, IT University of Copenhagen (Denmark) * Helmut Seidl, TU Munich (Germany) * Henny Sipma, Stanford University (US) * Geoff Sutcliffe, University of Miami (US) * Ashish Tiwari, SRI (US) * Helmut Veith, TU Darmstadt (Germany) - chair * Andrei Voronkov, University of Manchester (UK) - chair Contact Information ------------------- Email: lpar08 at qatar.cmu.edu Web page: http://www.qatar.cmu.edu/lpar08 From Paolo.Torroni at UniBO.it Thu May 22 11:02:28 2008 From: Paolo.Torroni at UniBO.it (Paolo Torroni) Date: Thu, 22 May 2008 11:02:28 +0200 Subject: CfP: Collective Intelligence in Semantic Web and Social Networks (CISWSN 2008) Message-ID: <483536A4.5080509@UniBO.it> 2nd Workshop on Collective Intelligence in Semantic Web and Social Networks (CISWSN 2008) IEEE/WIC/ACM Joint International Conference on Web Intelligence and Intelligent Agent Technology 2008, Sydney, Australia, 9-12 December 2008 http://datamining.it.uts.edu.au/wi08/html/wi/ Scope of the Workshop Semantic web environment has been evolving. Its emerging environment is characterised by intensive collaboration, cooperation and knowledge processing activities with formation of complex social and economical networks in the background. Various knowledge processing techniques are being used to address data portability and Web information discovery problems. Collective intelligence is a key issue to collaboratively share knowledge and even generate new knowledge. Many Web 2.0 platforms (e.g., blogs and wikis) have been developed to exchange meaningful information and support user-centered tasks on a variety of domains (e.g., e-learning, e-commerce, and e-government). Local knowledge is annotated into a large repositories of content including not only simple documents but also multimedia data. For example, collaborative tagging (e.g., del.icio.us) can play an important role in knowledge (or information) sharing between people on social networks. Modelling the dynamics and evolution of such complex systems, involving knowledge processing with intelligent information agents acting on behalf of thousands of users, is a new and promising research area with many practical applications. The aim of this workshop is to bring together researchers and practitioners in areas of knowledge and intelligence, semantics, agents and grid computing to share their visions, research achievements and solutions, to resolve the challenge issues and to establish worldwide cooperative research and development. We also want to provide a platform for discussing research topics underlying the concepts of Social Semantics for Linked Data by contacting members of different communities that share the common interest on social semantic collaborative intelligence on the web for developing methods and tools: - Semantic Web researchers who use social semantic techniques for modeling collaboration and intelligence on the web. - Members of the Linked Open Data initiative who provide means for publishing and using linked open data on the web. - Members of the Intelligent Agent community who develop agents and algorithms for collaboration and intelligence on the web. This will give an opportunity to push further the discussion upon the potential of social semantic collaborative intelligence across these communities. Important dates: Paper submission deadline: July 30, 2008 Notification of paper acceptance: September 3, 2008 Camera-ready of accepted papers: September 30, 2008 Workshop day: - to be announced Topics of interests - Ontology mapping and merging - Context and ontologies - Semantic and knowledge grids - Applications and case studies for Semantic Web or Semantic Grid - Data Portability and Linked Data - Open Linked Data sets (e.g. Health or Environmental domains) - Harvesting and integration of open linked data sets - Applications that publish, interlink, and query the Web of Data - Collective Intelligence - Collaborative tagging on Web 2.0 - Collaborative filtering and personalization - Community mining techniques - Trend detection - Innovative social media applications - Evolution of complex Web-based social systems - Online Social Networks on the Web - Argumentation on the web Instructions for Authors Potential participants are invited to submit full papers, not exceeding 4 pages in length, using the IEEE Computer Society's 2-column conference proceedings format. The formatting instructions and author guidelines can be found at http://www.computer.org/portal/pages/ieeecs/publications. The manuscripts should be submitted electronically using the WI-IAT 2008 Cyberchair electronic submission system. Each submission will be reviewed by at least two program committee members. Authors of accepted papers will be notified by September 3, 2008. Proceedings and Post-workshop Publications Accepted papers will be published in the conference proceedings by the IEEE Computer Society Press that is indexed by EI. In addition, extended versions of selected papers may be published in chosen prospective journals and in an edited book (TBA): - International Journal of Intelligent Information and Database Systems - Journal of Universal Computer Science - International Journal of Virtual Communities and Social Networking A number of papers will be selected to be published in a special issue of Computing and Informatics journal. Steering Committee Jason J. Jung , Yeungnam University, Korea Tudor Groza , DERI, National University of Ireland, Galway, Ireland Hak Lae Kim , DERI, National University of Ireland, Galway, Ireland Krzysztof Juszczyszyn , Wroclaw University of Technology, Poland Ngoc Thanh Nguyen , Wroclaw University of Technology, Poland Paolo Torroni , DEIS, Universita di Bologna, Italy Siegfried Handschuh , DERI, National University of Ireland, Galway, Ireland David Peterson , BoaB Interactive, Australia John Breslin , DERI, National University of Ireland, Galway, Ireland Hong Gee Kim , Bio-Medical Knowledge Engineering Lab, Seoul National University, South Korea Organization Committee Jason J. Jung, Yeungnam University, Korea Tudor Groza, DERI, National University of Ireland, Galway, Ireland Hak Lae Kim, DERI, National University of Ireland, Galway, Ireland Program Committee Cecile Bothorel, Frace Telecom R&D, France Longbing Cao, UTS, Australia Subhasish Dasgupta, George Washington University, USA Fred Freitas, Universidade Federal de Pernambuco, Brazil Daniela Godoy, Unicen University, Argentina Jennifer Golback, University of Maryland, USA Adam Jatowt, Kyoto University, Japan Dariusz Krol, Wroclaw University of Technology, Poland Peter Mika, Yahoo Research, Spain Heiko Stoermer, University of Trento, Italy Iwan Tabakow, Wroclaw University of Technology, Poland Anna V. Zhdanova, FTW, Austria Dan Brickley, FOAF Project, World Alexandre Passant, LaLIC, Universite Paris-Sorbonne, France Richard Cyganiak, DERI, NUI Galway, Ireland Sergio Fernandez, Fundacion CTIC, Spain Sungin Lee, Seoul National University, Korea Kingsley Idehen, OpenLink Software, USA Hyoil Han, Drexel University, USA Hideaki Takeda, National Institute of Informatics, Japan Soeren Auer, Leipzig University, Germany Alan Ruttenberg, Science Commons, USA Gus Gollings, Globalism Institute, RMIT University, Australia Paolo Bouquet, Department of Information and Communication Technology, University of Trento, Italy Other information: For information on conference venue, accommodation, registration and fee, etc. please refer to the WI/IAT conference site. -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : Paolo_Torroni.vcf Dateityp : text/x-vcard Dateigröße : 278 bytes Beschreibung: nicht verfügbar URL : From mpavone at dmi.unict.it Thu May 22 11:21:04 2008 From: mpavone at dmi.unict.it (Mario Pavone) Date: Thu, 22 May 2008 11:21:04 +0200 Subject: 3rd International Workshop on Nature Inspired Cooperative Strategies for Optimization - deadline: September 1, 2008 Message-ID: <20080522112104.v6owe7p0o0oww4oo@mbox.dmi.unict.it> ============================================================= (Apologies for multiple postings) S E C O N D CALL FOR PAPERS NICSO 2008 International Workshop on Nature Inspired Cooperative Strategies for Optimization Puerto Palace Hotel Puerto de La Cruz, Tenerife 12-14 November 2008 http://www.gci.org.es/nicso2008 (pre-registration available) nicso2008 at gci.org.es NICSO 2008 is the third edition of the International Workshop on Nature Inspired Cooperative Strategies for Optimization. Its aims are (1) to foster a deeper understanding of "cooperativity" in computational optimisation systems, and (2) to encourage a vigorous exchange of ideas about emerging research areas in cooperative problem solving strategies. The accepted papers will be published in the Springer book series on Studies in Computational Intelligence. The authors of the best accepted papers will be invited to revise and expand their contributions for publication in a special issue in the Memetic Computing Journal (Springer) shortly after the event. IMPORTANT DATES: ? Deadline for Submission: September, 1 ? Notification of Acceptance: September, 30 ? Deadline for Camera-ready: October, 20 All submissions (only pdf file) must be sent at nicso2008 at gci.org.es. The length of each contribution will not exceed 12 pages. Produce a camera ready copy using NICSO2008 latex style found at http://www.gci.org.es/nicso2008. Each contribution must providing original results, insights and experimental innovations. All submitted papers will be blind reviewed and acceptance will be based on originality, significance, technical soundness and clarity. WORKSHOP-CHAIR: ? José Andrés Moreno Pérez, University of La Laguna STEERING COMMITTEE: ? David A. Pelta, University of Granada ? Natalio Krasnogor, University of Nottingham ORGANIZING COMMITTEE MEMBERS ? J. Marcos Moreno, University of La Laguna ? Belén Melíán, University of La Laguna ? Julio Brito, University of La Laguna ? Clara Campos, University of La Laguna ? F. Javier Martínez, University of La Laguna ? David Beltrán, University of La Laguna ? José Luis González, University of La Laguna TOPICS OF INTEREST (but not limited to them): ? Adaptive Behaviour ? Ants Colonies ? Amorphous Computing ? Artificial Li fe ? Artificial Immune Systems ? Coevolution ? Distributed Computing ? Evolutionary Robotics ? Evolvable Systems ? Genetic Algorithms ? Genetic Programming ? Membrane Computing ? Quantum Computing ? Software Self Assembly ? Swarm Intelligence Cooperative Strategies for: ? Numerical Optimization ? Combinatorial Optimization ? Non Linear Optimization ? Dynamic Optimization ? Noisy Optimization ? Bioinformatics and Systems Biology ? Game Theory ? Complex Systems ? Optimal Adaptable Control SECOND CALL FOR PAPERS in pdf format at: http://www.gci.org.es/NICSO2008/documentos/NICSO2008_2ndCFP.pdf -- 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 mileo at dico.unimi.it Thu May 22 17:02:25 2008 From: mileo at dico.unimi.it (Alessandra Mileo) Date: Thu, 22 May 2008 17:02:25 +0200 Subject: AI-HEALTH2008 - Call For Participation Message-ID: <48358B01.8020005@dico.unimi.it> [** Apologies for multiple copies **] Please forward this announcement to your colleagues. ============================================================= ** 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 REGISTRATION DEADLINE: June 4, 2008 ============================================================= 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 before June 4, 2008. IMPORTANT DATES ------------------------- Registration: 4th June 2008 Notification: 6th June 2008 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 V.Sorge at cs.bham.ac.uk Thu May 22 19:05:44 2008 From: V.Sorge at cs.bham.ac.uk (Volker Sorge) Date: Thu, 22 May 2008 18:05:44 +0100 Subject: Final Call for Presentations at AISC'08 and Calculemus 2008 Message-ID: <20080522170543.2A35D25BC36@selket.rz.tu-clausthal.de> ------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------ Call For Presentations ====================== jointly for AISC'08 -- Artificial Intelligence and Symbolic Computation and Calculemus 2008 -- Integrating Symbolic Computation and Mechanised Reasoning held as part of the Conferences on Intelligent Computer Mathematics (CICM '08). July 30 -- August 2, 2008 University of Birmingham, UK You are invited to submit a title and a short abstract proposing a talk on work that addresses the main conference themes: the Integration and Combination of Symbolic Computation with Artificial Intelligence and Automated Reasoning. Proposals for talks on both mature work and work in progress are welcome. For more information on the topics of interest please see: http://events.cs.bham.ac.uk/cicm08/aisc08 http://events.cs.bham.ac.uk/cicm08/calculemus08 Please submit title and abstract (one page or less) to: aisc08 at easychair.org or calculemus08 at easychair.org Deadlines ========= Submission of title and abstracts: 23 May Notification of acceptance 30 May The accepted work should be presented at the conference. The abstracts of the accepted presentations will be distributed as internal proceedings at the conference. Authors of accepted presentations will be invited to submit to a special issue in the Annals of Math and AI after the conference. From iclp08pub at cs.nmsu.edu Sat May 24 20:03:07 2008 From: iclp08pub at cs.nmsu.edu (ICLP 08) Date: Sat, 24 May 2008 12:03:07 -0600 Subject: ICLP'08 CALL FOR WORKSHOP PROPOSALS Message-ID: <200805241803.m4OI37F3002797@pippo.cs.nmsu.edu> *** CALL FOR WORKSHOP PROPOSALS *** ICLP'08 24rd International Conference on Logic Programming December 9-13, 2008 Udine, Italy URL: http://iclp08.dimi.uniud.it/ ICLP'08, the 24rd International Conference on Logic Programming, will be held in Udine (Italy), from December 9 to 13, 2008. Workshops co-located with international conferences are one of the best venue for the presentation and discussion of preliminary work or novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP'08 can cover any areas related to logic programming, (e.g., theory, implementation, environments, language issues, alternative paradigms, applications) including cross-disciplinary areas. However, any workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time must be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP'08 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years * The (preliminary) required number of half-days allotted to the workshop and an estimate of the number of expected attendees. * The names, affiliation and contact details (email, web page, phone, fax) of the workshop organizer(s) together with a designated contact person. * The previous experiences of the workshop organizing committee in workshop/conference organization. Proposals are expected in ASCII or PDF format. All proposals should be submitted to the Workshop Chair (Tran Cao Son) by email (tson at cs.nmsu.edu) by June 2nd, 2008. Reviewing Process: ================== Each submitted proposal is reviewed by the Workshops Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by June 15, 2008. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting place and can print the workshop proceedings, whose LaTeX preparation is however in charge to the workshop organizers. The workshop registration fees will be handled together with the conference fees. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the net and/or other means. Please provide a web page URL which can be linked into the ICLP'08 home page by July 15th, 2008. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the workshop chair. * Sending workshop program and workshop proceedings in pdf format to the workshop chair for printing (deadline to be defined) * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly suggested (see http://www.logicprogramming.org/ [Guidelines for electronic publishing of proceedings]) Location: ========= All workshops will take place in the city of Udine at the site of the main conference. See the ICLP'08 web site for location details. Important Dates: ================ June 2, 2008: Proposal submission deadline June 15, 2008: Notification July 15, 2008: Deadline for receipt of CFP and URL for workshop web page November 1, 2008: Deadline for preliminary proceedings December 9-13, 2008: ICLP'08 workshops Workshop Chair: =============== Tran Cao Son [tson AT cs dot nmsu dot edu] (www.cs.nmsu.edu/~tson) ========================================================================= From kfullam at lips.utexas.edu Sun May 25 22:53:49 2008 From: kfullam at lips.utexas.edu (Fullam, Karen K) Date: Sun, 25 May 2008 15:53:49 -0500 Subject: Kein Betreff Message-ID: <40CA3CCBB49FA44E896E00D12302425656C7003891@MAIL04.austin.utexas.edu> From kfullam at lips.utexas.edu Sun May 25 23:36:11 2008 From: kfullam at lips.utexas.edu (Fullam, Karen K) Date: Sun, 25 May 2008 16:36:11 -0500 Subject: Confirmation Request (2883425131) In-Reply-To: References: Message-ID: <40CA3CCBB49FA44E896E00D12302425656C7003892@MAIL04.austin.utexas.edu> ________________________________________ From: event administration [event-unsubscribe at in.tu-clausthal.de] Sent: Sunday, May 25, 2008 1:57 PM To: Fullam, Karen K Subject: Confirmation Request (2883425131) 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: 2883425131, 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 Bertram.Fronhoefer at inf.tu-dresden.de Fri May 23 14:43:09 2008 From: Bertram.Fronhoefer at inf.tu-dresden.de (Bertram =?iso-8859-1?Q?Fronh=C3=B6fer?=) Date: Fri, 23 May 2008 14:43:09 +0200 Subject: EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC Message-ID: <20080523124309.GA564@janeway.inf.tu-dresden.de> *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC *** european.computational-logic.org/ The European Masters Program in Computational Logic is a distributed MSc program which is offered by the following universities: * Universidade Nova de Lisboa, Portugal * Free University of Bozen-Bolzano, Italy * Technische Universitaet Dresden, Germany * Technische Universitaet Wien, Austria * Universidad Politecnica de Madrid, Spain Students select two out of the five partner universities, study for one year at each of the selected universities and will receive a double MSc-degree from the selected universities. NEXT APPLICATION DEADLINES: - 31 May 2008: deadline for all European and non-European students (notification of acceptance: 15 July 2008) SCHOLARSHIPS & MONEY SUPPORT: There will be 12 consortium scholarships to waive one year's tuition fee of 3.000 ? for students who newly enroll in the winter semester 2008 and do not receive any other scholarship. These scholarships will be given on the basis of academic merit. Every year 10 EMCL students with European citizenship can visit Australia (Canberra, Sydney, Melbourne or Brisbane) up to 3 months to work on a research project, sponsored by the European Master. The study period in Australia is part of the study programme and it is fully recognised by the European Master's Program in Computational Logic. The guaranteed scholarship is of 3,100 ? and it covers the travel and living expenses in Australia. APPLICATION: Check this web page for detailed info on applications: http://european.computational-logic.org/ THE STUDY PROGRAMME: The European Masters Program in Computational Logic is designed to meet the demands of industry and research in this rapidly growing area. Based on a solid foundation in mathematical logic, theoretical computer science, artificial intelligence and declarative programming students will acquire in-depth knowledge necessary to specify, implement and run complex systems as well as to prove properties of these systems. In particular, the focus of instruction will be in deduction systems, knowledge representation and reasoning, artificial intelligence, formal specification and verification, syntax directed semantics, logic and automata theory, logic and computability. This basic knowledge is then applied to areas like logic and natural language processing, logic and the semantic web, bioinformatics, information systems and database technology, software and hardware verification. Students will acquire practical experience and will become familiar in the use of tools within these applications. In addition, students will be prepared for a future PhD, they will come in contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills. Applicants should have a Bachelor degree (Bologna 1st cycle or equivalent) in Computer Science, Computer Engineering, Logic, or other relevant disciplines; special cases will be considered. The program has various strength that make it unique among European universities: * Curriculum taught entirely in English: The program is open to the world and prepares the students to move on the international scene. * Possibility of a strongly research-oriented curriculum. * Possibility for project-based routes to obtain the degree and extensive lab facilities. * International student community. * Direct interaction with the local and international industry and research centres, with the possibility of practical and research internships that can lead to future employment. * Excellent scholarship opportunities and student accommodations. The European Masters Program in Computational Logic is one of the few European Masters awarded by the European Union's Erasmus Mundus programme from its first year of existence in 2004. The Erasmus Mundus programme is a co-operation and mobility programme in the field of higher education which promotes the European Union as a centre of excellence in learning around the world. It supports European top-quality Masters Courses and enhances the visibility and attractiveness of European higher education in third-countries. It also provides EU-funded scholarships for third-country nationals participating in these Masters Courses, as well as scholarships for EU-nationals studying in third-countries. The European Masters Program in Computational Logic is sponsored scientifically by the European Network of Excellence on Computational Logic (CoLogNET), the European Association of Logic, Language and Information (FoLLI), the European Coordinating Committee for Artificial Intelligence (ECCAI), the Italian Association for Artificial Intelligence (AI*IA), the Italian Association for Informatics (AICA, member of the Council of European Professional Informatics Societies), the Italian Association for Logic and its Applications (AILA), and the Portuguese Association for Artificial Intelligence (APPIA). FURTHER INFORMATION: http://european.computational-logic.org/ Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: sh at iccl.tu-dresden.de From nbassili at csd.auth.gr Mon May 26 14:26:50 2008 From: nbassili at csd.auth.gr (Nick Bassiliades) Date: Mon, 26 May 2008 15:26:50 +0300 Subject: RuleML-2008 news: One week left for submissions! Message-ID: <483AAC8A.5080607@csd.auth.gr> [ 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 2 (one week left!) 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. - 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 RELEASE: http://www.targetwire.com/vpo/rm/ -------------------------------------------------------------------- Call for Papers: http://2008.ruleml.org/cfp.pdf 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: 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 ilona.zaremba at sti2.at Mon May 26 15:45:59 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Mon, 26 May 2008 15:45:59 +0200 Subject: Advances in Semantics for Web services Workshop (semantics4ws'08) - Extended submission deadline: June 4th, 2008 Message-ID: <483ABF17.7030804@sti2.at> ========================================== EXTENDED SUBMISSION DEADLINE: June 4, 2008 ========================================== -------------------------------------------------------- Advances in Semantics for Web services Workshop (semantics4ws'08) http://www.knoesis.org/semantics4ws2008/ Theme: “BPM 2.0 - Semantic Web and Web 2.0 Meet BPM: Semantics in Business and Scientific Processes” at the Sixth International Conference on Business Process Management (BPM 2008) http://emma.polimi.it/emma/showEvent.do?idEvent=22 Milan, Italy, September 1, 2008 -------------------------------------------------------- GENERAL OVERVIEW Web services have added a new level of functionality to the current Web by taking a first step towards seamless integration of distributed software components using Web standards. Current Web service technologies around SOAP, WSDL and UDDI operate at a syntactic level and, therefore, although they support interoperability (i.e. interoperability between the many diverse application development platforms that exist today) through common standards, they still require human interaction to a large extent. For example, both the process of finding a relevant service or of mediating data that needs to be exchanged between the services require significant manual work. To address these and other limitations, a community of researchers have been working on Semantic Web Services (SWS) since 2001. This research draws upon a variety of fields such as Semantic Web, knowledge representation, formal methods, software engineering, process modelling, workflow, and software agents. A key objective of SWS has been to automate Web services-related tasks, like discovery, publication, selection, composition, mediation, monitoring, invocation, and adaptation, whereby the use of semantics increases the degree of automation. SWS community has been enriched by a number of large group projects and initiatives, like OWL-S, METEOR-S, WSMO, WSDL-S, IRS, has resulted in four submissions to W3C and the first W3C recommendation on semantics for Web services, Semantic Annotations for WSDL (SAWSDL). This is complemented by an increasing number of open source tools, use cases and prototypical applications. At least 10 workshops related to SWS have been held at ICWS, BPM, ICSOC, WWW and other conferences. In fact, this proposal is for the fifth workshop in a series. This workshop will provide a forum in which to focus on selected core technical challenges for deployment of Semantic Web Services and SAWSDL and reach a better understanding of the relationships between commercial Web service standards, SAWSDL, current SWS research efforts, recent proposals of SA-REST and semantic policy descriptions, and the ultimate requirements for full-scale deployment of these technologies. More specifically, this workshop aims to tackle the research problems (as well as recent practical experiences) around methods, concepts, models, languages and technology that enable semantics in the context of Web services, as well as discussing recent advances in semantics for Web services. Of particular interest are the architectural, technical, and developmental foundations of SWS, and showing how they combine synergistically to enable service automation on the scale required by today’s Internet-connected enterprises. The workshop will in particular solicit work that elaborates on the use of collaborative approaches in the annotation or ranking of services or other usages of the Web 2.0 paradigm in the the BPM community. We assume that the very same approach that we know from Web 2.0 – to work collaboratively – could enhance the results of process modeling. This proposed workshop aims to bring together researchers and industry practitioners (e.g. leading modellers, 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 SWS applications), and promote and foster a greater understanding of how semantics can assist automation in Web services, thus helping people develop and manage services more efficiently and effectively. TOPICS The following indicates the general focus of the workshop. However, related contributions are welcome as well. - tools, middleware, case studies and applications involving or supporting SWS ontologies, modelling and descriptions of quality of services (QoS), services level agreements (SLAs), and non-functional properties (NFPs) of Web services, policies, agreements and contracts related to SWS - formal languages for describing SWS and related aspects including QoS, SLAs, and NFPs - Web 2.0 techniques related to BPM - reasoning tasks and their complexity in SWS - validation and verification for Web services, - advertising, discovery, matchmaking, selection, brokering and data/process/protocol mediation in SWS and processes - composition, planning, and re-planning with SWS - execution and lifecycle management of SWS - monitoring, adaptability, and recovery strategies for SWS - semantics for Grid services and e-Services 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 BPM 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 12 pages and should have the Springer Lecture Notes of Computer Science (LNCS) layout. Demos: Detailed description plus sufficient number of screenshots or a video of the demo are required. For paper-based submissions, please follow the Springer LNCS 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 5 pages and should have the Springer LNCS layout. All contributions will be peer reviewed by a program committee that will incorporate well recognized experts in the area of semantic technologies and Web services. All submissions should be formatted in Springer's LNCS style, should be submitted in electronic format using the link: http://www.easychair.org/conferences/?conf=Semantics4WS. 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 Springer LNCS and will be available at the workshop. IMPORTANT DATES Paper submission deadline: June 4, 2008 Notification of acceptance: 27 June 2008 Camera ready: 6 July 2008 (strict deadline) ORGANIZING COMMITTEE Workshop Co-chairs: - Steven Battle (Hewlett-Packard Labs, UK), - John Domingue (The Open University, UK), - Martin Hepp (University of the German Federal Armed Forces, Germany) - Dumitru Roman (STI Innsbruck, Austria) Steering Committee: - Witold Abramowicz (Poznan University of Economics, Poland) - David Martin (SRI International, USA) - Amit Sheth (Wright State University, USA) - chair Workshop Proceedings Chair: - Agata Filipowska (Poznan University of Economics, Poland) Publicity Chair: - Ajith Ranabahu (Wright State University, USA) PROGRAM COMMITTEE (to be extended) - Rama Akkiraju, IBM, USA - Jorge Cardoso, University Mediera, Portugal - Sanjay Chaudhary, DA-IICT, India - Emilia Cimpian, STI Innsbruck, Austria - Marin Dimitrov, Ontotext, Bulgaria - Dieter Fensel, STI, Austria - Karthik Gomadam, Wright State University, USA - Juan Miguel Gómez, Universidad Carlos III de Madrid, Spain - Michael Gruninger, University of Toronto, Canada - Sung-Kook Han, Won Kwang University, South Korea - Jacek Kopecky, STI Innsbruck, Austria - Michael Maximilien, IBM, USA - Brahim Medjahed, University of Michigan, USA - Adrian Mocan, STI Innsbruck, Austria - Massimo Paolucci, DoCoMo Euro-Labs, Germany - Marc Richardson, BT, UK - Brahmananda Sapkota, DERI Galway, Ireland - Tony Shan, Bank of America, USA - Monika Solanki, De Montfort University, UK - Ioan Toma, STI Innsbruck, Austria - Stuart Williams, HP Bristol, UK Previous Workshops of the Series - http://events.deri.at/semantics4ws2007/ - http://events.deri.at/semantics4ws2006/ From iclp08pub at cs.nmsu.edu Mon May 26 17:39:15 2008 From: iclp08pub at cs.nmsu.edu (ICLP 08) Date: Mon, 26 May 2008 09:39:15 -0600 Subject: ICLP'08 CALL FOR PAPERS Message-ID: <200805261539.m4QFdFRk021679@pippo.cs.nmsu.edu> CALL FOR PAPERS ICLP'08 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 (papers, position 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. 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 2nd n/a Submission deadline June 9th 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 sofronie at mpi-sb.mpg.de Tue May 27 10:54:07 2008 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Tue, 27 May 2008 10:54:07 +0200 (CEST) Subject: CEDAR 2008: submission deadline extended to June 2, 2008 Message-ID: <47400.139.19.24.5.1211878447.squirrel@mail.mpi-inf.mpg.de> [please apologize for multiple copies] *********************************************************************** * DEADLINE EXTENSION * *********************************************************************** * Complexity, Expressibility, and Decidability in Automated Reasoning * * (CEDAR'08) * * http://www.mpi-inf.mpg.de/~sofronie/cedar08.html * * * * Affiliated with IJCAR 2008 Sydney, Australia, 10-15 August 2008 * * http://www.ijcar.org/2008/ * * * *********************************************************************** The submission deadline for the workshop CEDAR'2008 has been extended to June 2, 2008. The goal of CEDAR is to bring together researchers interested in problems that are at the interface between automated reasoning and computational complexity, in particular in: - identifying decidable logical theories and fragments thereof which have low complexity, and analyzing possibilities of obtaining optimal complexity results with uniform tools; - analyzing decidability in combinations of theories and possibilities of combining decision procedures; - efficient implementations for decidable fragments; - application domains where decidability resp. tractability are crucial. For details see: http://www.mpi-inf.mpg.de/~sofronie/cedar08.html From alexander.friedmann at uqam.ca Wed May 28 22:46:23 2008 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Wed, 28 May 2008 16:46:23 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Wed, May 28, 2008 at 3:39 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 shilov at iis.nsk.su Thu May 29 04:41:02 2008 From: shilov at iis.nsk.su (shilov at iis.nsk.su) Date: Thu, 29 May 2008 09:41:02 +0700 Subject: WARNING! (3519295298) In-Reply-To: References: Message-ID: <676178795.20080529094102@iis.nsk.su> Hello event, Wednesday, May 28, 2008, 7:40:04 PM, you wrote: ea> This is an automated message from the ea> mailing list manager ea> List messages sent to your address have bounced. ea> If you read this message, your mail system has been probably fixed. ea> To clear the bounce counter and to prevent automatic cancelation of ea> your subscription, use the Reply command in your mailer. ea> Check that the Subject of the reply message contains ea> the confirmation ID: 3519295298, ea> and the reply is directed to ea> , ea> and the 'From' address of your reply is . ea> All requests about this mailing list ea> should be sent to -- Best regards, shilov mailto:shilov at iis.nsk.su From alexander.friedmann at uqam.ca Thu May 29 04:27:59 2008 From: alexander.friedmann at uqam.ca (Alex Friedmann) Date: Wed, 28 May 2008 22:27:59 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: <6bplrs$691ugr@toip5.srvr.bell.ca> At 03:39 PM 5/28/2008, you wrote: >This is an automated message from the > mailing list manager From geoff at cs.miami.edu Thu May 29 23:43:05 2008 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 29 May 2008 17:43:05 -0400 (EDT) Subject: LPAR submission deadline extended Message-ID: <20080529214306.00D0E11FA06@mcclellan.cs.miami.edu> 2nd CALL FOR PAPERS LPAR'08 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning November 23-27, 2008 Carnegie Mellon University Doha, Qatar http://www.qatar.cmu.edu/lpar08 ---------------------------- SUBMISSION DEADLINE EXTENDED ---------------------------- The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 2008 edition will be held in Doha, Qatar, on the premises of the Qatar campus of Carnegie Mellon University. Logic is a fundamental organizing principle in nearly all areas in Computer Science. It runs a multifaceted gamut from the foundational to the applied. At one extreme, it underlies computability and complexity theory and the formal semantics of programming languages. At the other, it drives billions of gates every day in the digital circuits of processors of all kinds. Logic is in itself a powerful programming paradigm but it is also the quintessential specification language for anything ranging from real-time critical systems to networked infrastructures. It is logical techniques that link implementation and specification through formal methods such as automated theorem proving and model checking. Logic is also the stuff of knowledge representation and artificial intelligence. Because of its ubiquity, logic has acquired a central role in Computer Science education. New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: * Automated reasoning * Logic of distributed systems * Computional interpretations of logic * Logic programming * Constraint programming * Modal and temporal logics * Constructive logic and type theory * Model checking * Decision procedures * Non-monotonic reasoning * Description logics * Ontologies * Foundations of security * Program and system verification * Implementations of logic * Proof assistants * Interactive theorem proving * Proof-carrying code * Knowledge representation and reasoning * Proof planning * Lambda calculus * Proof theory * Logic and automata * Propositional satisfiability * Logic and computational complexity * Reasoning about actions * Logic and databases * Rewriting and unification * Logic and games * Satisfiability modulo theories * Logic for the semantic web * Static analysis of programs * Logical aspects of concurrency * Specification using logics * Logical foundations of programming * Translation validation * Logic in artificial intelligence Invited Speakers ---------------- It has been a tradition of LPAR to invite some of the most influential researchers in the focus areas to discuss their work and their vision for their fields. We are honored that the following members of the community have accepted this invitation. * Edmund Clarke, Carnegie Mellon University (USA) * Amir Pnueli, New York University (USA) * Michael Backes, Saarland University and MPI-SWS (Germany) * Thomas Eiter, Technical University of Vienna (Austria) Submission Instructions ----------------------- Submissions must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers should be submitted in Postscript or Portable Document Format (PDF); papers submitted in a proprietary word processor format such as Microsoft Word cannot be considered. Submissions can be of two types: * Regular papers are meant to describe solid new research results. They can be up to 15 pages long in LNCS style, including figures and references but excluding appendices (that reviewers are not required to read). * Experimental and tool papers are intended to describe implementations of systems, to report experiments with implemented systems, or to compare implemented systems. They can be at most 8 pages long in the LNCS style. Both types of papers can be electronically submitted by visiting http://www.easychair.org/conferences/?conf=lpar2008. Prospective authors are required to register a title and an abstract a week before the paper submission deadline (see below). As with the previous editions, the proceedings of LPAR'08 will be published in Springer-Verlag's Lecture Notes in Computer Science series. They will be available at the conference. In keeping with the tradition of LPAR, researchers and practioners are encouraged to report on interesting work in progress by submitting abstracts of up to 5 LNCS pages, to be selected for a short-paper session. These abstracts will not be printed in the proceedings of LPAR'08 and they have a separate submission deadline (see below). Participation ------------- Authors of accepted papers are required to ensure that at least one of them will be present at the conference. Papers that do not adhere to this policy will be removed from the proceedings. Important Dates (updated) ------------------------- Abstract submission deadline: 06 June 2008 - STRICT! Paper submission deadline: 16 June 2008 - STRICT! Notification of acceptance: 29 August 2008 Camera-ready papers: 19 September 2008 Short paper submission deadline: 26 September 2008 LPAR'08 Workshops: 22 November 2008 LPAR 2008: 23-27 November 2008 Program Committee ----------------- * Franz Baader, TU Dresden (Germany) * Matthias Baaz, TU Vienna (Austria) * Peter Baumgartner, National ICT (Australia) * Josh Berdine, MSR Cambridge (UK) * Armin Biere, Johannes Kepler University (Austria) * Iliano Cervesato, Carnegie Mellon University (Qatar) - chair * Sagar Chaki, Carnegie Mellon SEI (US) * Hubert Comon-Lundh, ENS Cachan (France) * Javier Esparza, TU Munich (Germany) * Roberto Giacobazzi, University of Verona (Italy) * Jürgen Giesl, RWTH Aachen (Germany) * Orna Grumberg, Technion (Israel) * Thomas Henzinger, EPFL (Switzerland) * Joxan Jaffar, NUS (Singapore) * Claude Kirchner, INRIA & LORIA (France) * Stephan Kreutzer, Oxford University (UK) * Orna Kupferman, Hebrew University (Israel) * Alexander Leitsch, TU Vienna (Austria) * Nicola Leone, University of Calabria (Italy) * Heiko Mantel, TU Darmstadt (Germany) * Cathy Meadows, Naval Research Laboratory (US) * Aart Middeldorp, University of Innsbruck (Austria) * John Mitchell, Stanford University (US) * Andreas Podelski, University of Freiburg (Germany) * Sanjiva Prasad, IIT Delhi (India) * Alexander Razborov, Russian Academy of Sciences (Russia) * Andrey Rybalchenko, MPI-SWS (Germany) * Ulrike Sattler, University of Manchester (UK) * Torsten Schaub, University of Potsdam (Germany) * Carsten Schürmann, IT University of Copenhagen (Denmark) * Helmut Seidl, TU Munich (Germany) * Henny Sipma, Stanford University (US) * Geoff Sutcliffe, University of Miami (US) * Ashish Tiwari, SRI (US) * Helmut Veith, TU Darmstadt (Germany) - chair * Andrei Voronkov, University of Manchester (UK) - chair Contact Information ------------------- Email: lpar08 at qatar.cmu.edu Web page: http://www.qatar.cmu.edu/lpar08 From sescobar at dsic.upv.es Fri May 30 11:09:19 2008 From: sescobar at dsic.upv.es (Santiago Escobar) Date: Fri, 30 May 2008 11:09:19 +0200 Subject: SecReT 2008 - Reminder Message-ID: <9EFDCC4E-A44F-4419-B982-ED5FD6735BA7@dsic.upv.es> SecReT 2008 - CALL FOR PARTICIPATION !!! Early registration deadline: JUNE 1, 2008 !!! ******************************************************************** SecReT 2008 3rd International Workshop on Security and Rewriting Techniques http://www.dsic.upv.es/workshops/secret08 Sunday, June 22, 2008, Pittsburgh, USA Affiliated workshop of the 21st IEEE Computer Security Foundations Symposium (CSF) and the 23rd IEEE Symposium on Logic In Computer Science (LICS) The aim of this workshop is to bring together rewriting researchers and security experts, in order to foster their interaction and develop future collaborations in this area, provide a forum for presenting new ideas and work in progress, and enable newcomers to learn about current activities in this area. The workshop focuses on the use of rewriting techniques in all aspects of security. Specific topics include: authentication, encryption, access control and authorization, protocol verification, specification of policies, intrusion detection, integrity of information, control of information leakage, control of distributed and mobile code, etc. The SecReT 2008 program includes 6 regular papers and two invited talks by Jonathan Millen (MITRE,USA) and Hubert Comon (Cachan, France). From Thomas.Lukasiewicz at kr.tuwien.ac.at Sat May 31 00:16:16 2008 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Sat, 31 May 2008 00:16:16 +0200 Subject: SUM 2008: LAST CALL FOR PAPERS / CALL FOR POSTERS AND DEMOS Message-ID: <48407CB0.6010904@kr.tuwien.ac.at> LAST CALL FOR PAPERS / 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 PAPERS/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 14 pages for full papers, 9 pages for short papers, 4 pages for posters, and 6 pages for system descriptions (for system demos at the conference). Short papers, 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 papers, posters, and system descriptions will be included in the proceedings. IMPORTANT DATES Paper submission deadline: June 5, 2008 Poster/demo submission deadline: June 12, 2008 Accept/reject decisions: July 8, 2008 Camera ready papers/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/