From ahmed at fsegs.rnu.tn Tue Apr 1 12:35:02 2008 From: ahmed at fsegs.rnu.tn (Ahmed Hadj Kacem) Date: Tue, 01 Apr 2008 12:35:02 +0200 Subject: CFP: CRiSIS 2008 Message-ID: <6.1.1.1.2.20080401123305.0268d530@pop.rnu.tn> Dear Colleague, PLEASE ACCEPT OUR APOLOGIES IF YOU RECEIVE MULTIPLE COPIES Enclosed please find the CFP of the Third International Conference on Risks and Security of Internet and Systems, October 28-30, 2008, Tozeur, Tunisia. http://redcad.org/crisis2008. We cordially invite you to submit your paper before the deadline---April 30, 2008. Best regards, Ahmed Hadj Kacem CRiSIS'2008 Organizing Committee chair --------------------------------- CFP, CRiSIS'2008 ---------------------- CALL FOR PAPERS Third International Conference on Risks and Security of Internet and Systems (CRiSIS 2008) http://www.redcad.org/crisis2008/ October 28-30, 2008, Tozeur, Tunisia 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. Topics 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. They include, but are not limited to, the topics of interest below : * Models for specification, design and validation of security and dependability Security and trust models Models for security policies Formal methods, verification and certification UML and MDA for dependable systems Architectures for secure and dependable systems Self-protecting models and architectures Designing business models with security management * Management of security and dependability Management of risks, attacks and vulnerabilities Risk analysis, security and quality assurance Awareness of risks, attacks and vulnerabilities Metrology and security management Key management Infrastructure (PKI) and trust management Monitoring and management of faults Planning and executing of repair actions Adaptability management * Security and dependability techniques and mechanisms Authentication, authorization and audit Privacy protection and anonymization Intrusion detection and fraud detection Traceability and forensics Biometrics, watermarking, cryptography and security protocols Access and information flow controls Use of smartcards and personal devices Firewalls and intrusion detection systems Viruses, worms and malicious codes Attack data acquisition (honeypots) and network monitoring Adaptation of security policies * Secure and dependable systems Security and dependability of operating systems and network components Security of services oriented applications Security dependability of distributed and grid applications Fault tolerance of Internet applications Reflective middleware Security and safety of critical infrastructures Security and privacy of peer-to-peer system, wireless networks, VPN and embedded systems Security of new generation networks, security of Voice-over-IP and multimedia Self-protecting, self-stabilizing and self-healing systems * Secure and dependable applications Security in Electronic payment Security of electronic voting Security in e-health Dependability in e-learning Submission Details 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). Important Dates Paper Submission due: April 30, 2008 Notification of acceptance: May 31, 2008 Final paper submission and authors' registration: June 30, 2008 Conference Dates: October 28-30, 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 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 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, Dallas - USA Habib Youssef, ISIT - Sousse, Tunisia Belhassen Zouari, FS - Tunis, Tunisia Organizing Committee Chafik Aloulou, FSEG - Sfax, Tunisia Ahmed Hadj Kacem, FSEG - Sfax, Tunisia Mohamed Hadj Kacem, ISIM - Sfax, Tunisia Queries Queries may be directed to Chafik ALOULOU Tel: +(216) 74 278 777 (270) Fax:+(216) 74 279 139 E-mail: chafik.aloulou at fsegs.rnu.tn From chris at ags.uni-sb.de Tue Apr 1 14:45:22 2008 From: chris at ags.uni-sb.de (Christoph Benzmueller) Date: Tue, 01 Apr 2008 14:45:22 +0200 Subject: 2nd CFP: UITP'08 - User Interfaces for Theorem Provers Message-ID: <47F22E62.4080703@ags.uni-sb.de> [please apologize for multiple copies] UITP'08 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 9th, 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 Benzmüller, 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 Lüth, 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 ec2 at cis.udel.edu Tue Apr 1 22:37:38 2008 From: ec2 at cis.udel.edu (EC2) Date: Tue, 01 Apr 2008 16:37:38 -0400 Subject: (EC)^2: Final Call for Papers Message-ID: <47F29D12.5020300@cis.udel.edu> Call for Position Papers Exploiting Concurrency Efficiently and Correctly ((EC)^2) CAV 2008 Workshop July 7-8, 2008, Princeton, NJ http://www.cs.utah.edu/ec2/ Our ability to effectively harness the computational power of the next generation of multiprocessor and multicore architectures is predicated upon advances in programming languages and tools for developing concurrent software. This has resulted in a surge of concurrency-related research activity from different viewpoints, such as rethinking of programming abstractions and memory models; standardization and formalization of commonly used APIs (e.g., MPI, OpenMP); and new forms of hardware support for parallel processing. While developing tools for verifying and debugging concurrent systems has been an important theme at CAV, we believe that formal methods research can go beyond checking existing code/systems, and play a role in identifying the "right" abstractions for concurrency. The goal of this workshop is to bring together CAV researchers with experts who are involved in developing multicore architectures, programming languages, and concurrency libraries. Invited Speakers: Saman Amarsinghe, MIT Jim Larus, Microsoft Research Edward Lee, UC Berkeley Vivek Sarkar, Rice University Michael Scott, University of Rochester Format: The two-day workshop will include five invited talks and several panel sessions. Authors of position papers will be given an opportunity to present their ideas either as a short presentation or as a poster. A booklet consisting of all the position papers will be distributed to the workshop participants. We seek submissions of position statements between 2 and 4 pages. There are many possible themes for a position paper, including a survey of the authors' relevant recent research, a discussion of deficiencies in current languages and tools, challenges for future verification research, and/or a vision for change. Submissions on all topics relevant to the workshop title are welcome, including -- Transactional memory -- Programming constructs for concurrency -- Formalization of concurrency libraries -- Verification tools -- Hardware support for correctness -- Introducing concurrency in education Of particular interest are position statements from those engaged in significant case studies. Submission deadline: April 10, 2008 Notification of acceptance: April 25, 2008 Submission instructions: Prepare a 2-4 page position paper in PDF format using any tool you like. The title and the name of the authors should appear at the top of the first page. Email this PDF document to ec2 at cis.udel.edu. The position papers will be compiled into a booklet that will be handed out to all workshop participants on the first day of the workshop. The papers will not be published. At least one author of each position paper is expected to register and attend to present the same. For more information, visit http://www.cs.utah.edu/ec2/ Organizers: Rajeev Alur, University of Pennsylvania Ganesh Gopalakrishnan, University of Utah Vineet Kahlon, NEC Labs Stephen Siegel, University of Delaware From iclp08pub at cs.nmsu.edu Thu Apr 3 16:36:27 2008 From: iclp08pub at cs.nmsu.edu (ICLP 08) Date: Thu, 3 Apr 2008 08:36:27 -0600 Subject: ICLP'08 CALL FOR PAPERS Message-ID: <200804031436.m33EaRVA005036@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 calvanese at inf.unibz.it Thu Apr 3 20:24:43 2008 From: calvanese at inf.unibz.it (Diego Calvanese) Date: Thu, 3 Apr 2008 20:24:43 +0200 Subject: RR 2008 - 2nd Int. Conf. on Web Reasoning and Rule Systems - Call for Papers (revised) Message-ID: Apologies for cross-postings. Please forward this email to anyone interested. ------------------------------------------------------------------------ ----- RR 2008 The Second International Conference on Web Reasoning and Rule Systems http://www.rr-conference.org/RR2008 Karlsruhe, Germany, October 31 - November 2, 2008 Call for Papers The International Conference on Web Reasoning and Rule Systems (RR) aims to be the major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2008 builds on the success of The First International Conference on Web Reasoning and Rule Systems RR 2007, which received enthusiastic support from the Web Rules community. In 2008, RR will continue the excellence of the new series and aim to attract the best Web Reasoning and Rules researchers from all over the world. The reasoning landscape features theoretical areas such as knowledge representation (KR) and algorithms; design aspects of rule markup; design of ontology languages; engineering of engines, translators, and other tools; efficiency considerations and benchmarking; standardization efforts, such as the Rules Interchange Format activity at W3C; and applications. Of particular interest is also the use of rules to facilitate ontology modeling, and the relationships and possible interactions between rules and ontology languages like RDF and OWL, as well as ontology reasoning related to RDF and OWL, or querying with SPARQL. Suggested topics include the following, which is not to be considered as an exhaustive list: * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Standardization * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the web * Semantic Web Services modeling and applications * Web and Semantic Web applications LOCATION: The conference is co-located with ISWC 2008 (http:// iswc2008.semanticweb.org/), the International Semantic Web Conference. SUBMISSION DETAILS: RR 2008 welcomes original research and application papers dealing with web reasoning and rule systems, with particular attention to the topics listed above. Submitted papers are limited in length to fifteen (15) pages, including title, abstract, and list of references, and should be formatted according to the Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html). Submitted papers must be in PDF format. The full paper submission must be preceded by the submission of an abstract. Submission is via EasyChair, at http://www.easychair.org/conferences/?conf=rr2008 Papers may be accepted as: - full papers (15 pages in the proceedings) - short papers (8 pages in the proceedings) - posters (2 pages in the proceedings) Accepted papers will be published by Springer Verlag in the LNCS series. The best papers may also be considered for publication in a prestigious international journal. IMPORTANT DATES: Abstract submission deadline: June 14, 2008 Paper submission deadline: June 21, 2008 Notification of acceptance decisions: July 21, 2008 Camera-ready papers due: Aug. 15, 2008 RR 2008 conference: Oct. 31 - Nov. 2, 2008 GENERAL CHAIR: Thomas Eiter, TU Vienna (AT) PROGRAM CO-CHAIRS: Diego Calvanese, Free University of Bozen-Bolzano (IT) Georg Lausen, University of Freiburg (DE) PROGRAM COMMITTEE: Jose Alferes, Universidade Nova de Lisboa (PT) Jürgen Angele, Ontoprise GmbH, Karlsruhe (DE) Gregoris Antoniou, University of Crete (GR) Marcelo Arenas, Pontificia Universidad Catolico de Chile (CL) Uwe Assmann, Technische Universität Dresden (DE) Chitta Baral, Arizona State University (US) Leopoldo Bertossi, Carleton University, Ottawa (CA) Jos de Bruijn, Free University of Bozen-Bolzano (IT) Christoph Bussler, BEA Systems, Inc. (US) Andrea Cali, University of Oxford (UK) Mike Dean, BBN Technologies (US) Hendrik Decker, Ciudad Politécnica de la Innovación, Valencia (ES) Jürgen Dix, Universität Clausthal (DE) Christine Golbreich, University of Versailles Saint-Quentin (FR) John Goodwin, Ordnance Survey (UK) Gianluigi Greco, Università della Calabria (IT) Claudio Gutierrez, University of Chile, Santiago (CL) Giovambattista Ianni, Università della Calabria (IT) Manolis Koubarakis, National and Kapodistrian University of Athens (GR) Domenico Lembo, Sapienza Università di Roma (IT) Francesca A. Lisi, Università di Bari (IT) Bertram Ludaescher, University of California, Davis (US) Thomas Lukasiewicz, Sapienza University of Rome (IT) Carsten Lutz, Technische Universität Dresden (DE) Jan Maluszynski, University of Linköping (SE) Wolfgang May, University of Göttingen (DE) Ralf Möller, Technische Universität Hamburg (DE) Boris Motik, University of Oxford (UK) Wolfgang Nejdl, LS3 and University of Hannover (DE) Daniel Oberle, SAP AG (DE) P.F. Patel-Schneider, Bell Labs (US) Axel Polleres, National University of Ireland, Galway (IE) Guilin Qi, University of Karlsruhe (DE) Dave Reynolds, HP Labs (UK) Marie-Christine Rousset, University of Grenoble (FR) Ulrike Sattler, University of Manchestor (UK) Sebastian Schaffert, Salzburg Research Forschungsgesellschaft (AT) Roman Schindlauer, TU Wien (AT) Michael Sintek, DFKI GmbH, Kaiserslautern (DE) Giorgos Stamou, National Technical University of Athens (GR) Umberto Straccia, ISTI - C.N.R Pisa (IT) Heiner Stuckenschmidt, University of Mannheim (DE) York Sure, SAP AG (DE) Sergio Tessaris, Free University of Bozen-Bolzano (IT) Rodney Topor, University of Griffith (AUS) Dirk Vermeir, University of Brussels (BE) David Warren, SUNY at Stony Brook (US) P.T. Wood, University of London (UK) Guizhen Yang, SRI (US) LOCAL ORGANIZATION: Sebastian Rudolph, University of Karlsruhe (DE) From geoff at cs.miami.edu Fri Apr 4 11:03:04 2008 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 4 Apr 2008 05:03:04 -0400 (EDT) Subject: LPAR 2008 (Qatar) CFP Message-ID: <20080404090304.10FF111FB74@mcclellan.cs.miami.edu> ---------------------------------------------------------------------------- LPAR 2008 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Doha, Qatar November 22-27, 2008 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 * Interactive theorem proving * Implementations of logic * Proof assistants * Program and system verification * Model checking * Rewriting and unification * Logic programming * Constraint programming * Logic and databases * Modal and temporal logics * Proof-carrying code * Translation validation * Logic for the semantic web * Foundations of security * Description logics * Non-monotonic reasoning * Specification using logics * Logic in artificial intelligence * Lambda calculus * Constructive logic and type theory * Computional interpretations of logic * Logical foundations of programming * Logical aspects of concurrency * Logic and computational complexity * Knowledge representation and reasoning * Reasoning about actions * Proof planning * Effectively presented structures * 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) Other invited speakers will be announced soon 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 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. * Short papers are intended to report on interesting work in progress. They can be at most 5 pages long in the LNCS style. Papers can be electronically submitted by visiting http://www.easychair.org/conferences/?conf=3Dlpar2008 . 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 accepted regular papers of LPAR'08 will be published in Springer-Verlag's Lecture Notes in Computer Science series. They will be available at the conference. Programme Committe Chairs ------------------------- * Iliano Cervesato (Carnegie Mellon University, Qatar) * Helmut Veith (Technische Universit=E4t Darmstadt, Germany) * Andrei Voronkov (University of Manchester, UK) 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 LPAR'08 Workshops: 22 November 2008 LPAR 2008: 23-27 November 2008 From bit.precise.reasoning at gmail.com Mon Apr 7 07:05:03 2008 From: bit.precise.reasoning at gmail.com (Workshop BPR) Date: Sun, 6 Apr 2008 22:05:03 -0700 Subject: 2nd CFP - The 1st International Workshop on Bit-Precise Reasoning (BPR 2008) Message-ID: 2nd CALL FOR PAPERS BPR'08 - The 1st International Workshop on Bit-Precise Reasoning Location: Princeton, New Jersey. July 14th, 2008. (Affiliated with CAV 2008.) Website: http://www.bit-precise-reasoning.org/ Bit-Precise Reasoning is increasingly being used for the analysis of many real world hardware and software systems. Current applications include microcode validation, word-level model checking, software verification, equivalence checking, and random testcase generation. The continued success in these and other applications depends on the development of more efficient decision procedures for bit-precise reasoning, their combination with decision procedures for other theories (e.g. the theory of arrays), as well as domain-specific techniques to further increase the scalability of the analysis. The goal of this workshop is to bring together researchers in Bit-Precise Reasoning with industrial users. Topics of interest include, but are not limited to: * Case studies and applications * New decision procedures and novel implementation techniques * Combination with other theories * Theoretical results * Benchmarks and evaluation methodologies Paper Submission ---------------- * Original Papers that have not been previously published or submitted (simultaneous submissions are not allowed). Tutorial / survey papers are encouraged. Given the informal style of the workshop, work in progress will be welcome. Papers must be less than 12 pages long and will be published in the proceedings to be distributed to the participants. * Presentation-only Papers describing work recently published or submitted. These papers will not be published in the proceedings. Both kinds of submissions will be peer reviewed. Best Student BPR Paper Award ---------------------------- A 1000$ US award will be given to the best original paper that has at least one student co-author. The award is going to be split among all student co-authors. The winners will be asked to submit a proof of student status. The award is sponsored by Fortify Software. Deadlines --------- * Submission: April 28th, 2008 * Notification: June 2nd, 2008 * Final version: June 9th, 2008 * Workshop: July 14th, 2008 Invited Speaker --------------- Daniel Kroening, Oxford University Program Committee ----------------- Domagoj Babic (co-chair), University of British Columbia Amit Goel (co-chair), Intel Corporation Per Bjesse, Synopsys, Inc. Alessandro Cimatti, ITC-Irst, Trento Jim Grundy, Intel Corporation Ranjit Jhala, University of California, San Diego Pete Manolios, Northeastern University Leonardo de Moura, Microsoft Research Ofer Strichman, Technion - Israel Institute of Technology Karen Yorav, IBM Haifa Sponsors -------- Synopsys [ http://www.synopsys.com/ ] Fortify Software [ http://www.fortify.com/ ] From info at eurosis.org Mon Apr 7 12:29:14 2008 From: info at eurosis.org (info at eurosis.org) Date: Mon, 7 Apr 2008 12:29:14 +0200 Subject: [EUROSIS-AD] ESM'2008, October 27-29, 2008, Universite du Havre, Le Havre, France, 1ST CFP Message-ID: <200804071029.m37ATECh029066@www.eurosis.org> ------------ESM'2008, OCTOBER 27-29, 2008, UNIVERSITE DU HAVRE, LE HAVRE, FRANCE, 1ST CFP------------ FIRST CALL FOR PAPERS ESM2008 The 2008 European Simulation and Modelling Conference Le Havre, France October 27-29, 2008 MODELLING AND SIMULATION 2008 Methodology and Tools Simulation and AI High Performance and Large Scale Computing Simulation in Education and Graphics Visualization Simulation Simulation in the Environment, Ecology, Biology and Medicine Analytical and Numerical Modelling Techniques Web Based Simulation Agent Based Simulation Cosmological Simulation Simulation with Petri Nets Simulation with Bond Graphs DEVS Workshop Fluid Flow Modelling Simulation Complex Systems and Self-Organization Modelling Models and simulations for Emergency and Risk Management Complex Systems: Historical & Dynamical point of view Emotional dimensions of cognition and their modelling in problem-solving, learning and decision-making Artificial Society Simulation, Modelling and Data Management in Real-Time Systems Tutorials Student Papers, Poster Sessions Partners for Projects Sessions Exhibition Organised by The European Technology Institute and Sponsored by EUROSIS L'Universite du Havre For latest information see: www.eurosis.org or http://www.eurosis.org/cms/?q=taxonomy/term/129 AIM OF ESM 2008 The 22nd annual ESM 2008 (European Simulation and Modelling Conference) is the original European international conference concerned with state of the art technology in modelling and simulation. ESM 2008 aims to provide an overview of academic research in the field of computer simulation. A number of major tracks of simulation research are presented next to specific workshops, which capture the art and science of present-day simulation research. KEYNOTE: Multi-agent modelling and applications to robotics and cognition Aladdin Ayesh, De Montfort University, Leicester, United Kingdom All submissions will be peer reviewed by at least three members of the International Program Committee. Accepted papers will be published in the conference Proceedings (both print and electronic format on the web), that will be copyrighted and widely disseminated. All talks and tutorials, must be accompanied by a paper of between three to eight Proceedings pages. Contributions to the technical program are solicited in the following general areas; METHODOLOGY AND TOOLS METHODOLOGY Continuous, discrete and hybrid simulation methodology, Simulation environments, Multi-paradigm simulation, Simulation uncertainty, Simulation visualisation, Integration of simulation and geographical information systems, Object-oriented programming and Languages, Multi-paradigm Languages, Software comparisons. Numerical Methods for Simulation, Mathematical Analysis in Simulation, Parallel Simulation Methodology, Discrete Event Simulation, Simulation Fidelity and Performance Evaluation, Advanced Training and Simulation Concepts for Education, Multiparameter Sequential Optimization Methods in Simulation, Verification, Validation, and Control in Complex Systems Simulation, Distributed and Parallel Systems Simulation, Combined Continuous and Discrete Event Models, Symbol Analysis and Manipulation of Equation-Based Models, Simultaneous vs Modular Simulation Methods, Standardization Issues OBJECT ORIENTATION AND RE-USE Object-Oriented Modelling Languages, Modularity, Model Structuring, Inheritance, Model Re-use, Organization of Model Libraries TOOLS Simulation Tools, Statistical Output Evaluation Tools, Optimization Tools, Special Purpose Simulation Languages and Tools, Simulator Development Environments, Interfaces for Coupling with External Tools SIMULATION AND AI AI Based Simulation Languages, Special Architectures, Graphical Simulation Environments and Simulation Software Tools, Intelligent Simulation Environments, Parallel Processing Environments for Simulation, User Friendly Software Tools, Advanced Man-Machine Interfaces, Graphical Model Editors, Browsing Facilities, Database Management of Models and Results, Architecture of Modelling and Simulation Environments AI AND EXPERT SYSTEMS Expert Controllers and Genetic Algorithms in Simulation, Knowledge Based Simulation Tools, AI and Expert Systems in Simulation AI AND NEURAL NETWORKS Classification, Data analysis, Fault tolerance, Forecasting, Knowledge acquisition, Economics and Finance, Planning, Pre- treatment of data, Process control, Robotics, Speech and image recognition, Web intelligence, involving methodologies such as: Hybrid systems (GA, fuzzy, symbolic representation), Methods or tools for evaluating ANN performance, Reinforcement Learning, Simulation tools (research, education, development), Neural nets for simulation: modelling of parts (components) of the system simulated by neural networks, evaluation of simulation models using neural nets, decision support in simulation models by neural nets; Simulation of neural nets: systems of pre-designed neural networks, techniques and tools for simulation and programming of neural networks. AI AND FUZZY SYSTEMS Fuzzy Qualitative simulation, fuzzy rules and fault models. Classification, Data analysis, Fault tolerance, Forecasting, Knowledge acquisition, Economics and Finance, Planning, Pre-treatment of data, Process control, Robotics, Speech and image recognition, Web intelligence, involving methodologies such as: Hybrid systems (GA, fuzzy, symbolic representation), Methods or tools for evaluating ANN performance, Reinforcement Learning, Simulation tools (research, education, development). HIGH PERFORMANCE AND LARGE SCALE COMPUTING This track invites contributions on efficient Modelling and Simulation Algorithms and Computer-intensive Simulation Projects on High-performance Large Scale Computers and Distributed Platforms. Methods and techniques for parallel simulation (scheduling, synchronisation, load balancing), Performance of parallel and distributed simulation (experimental and comparative studies, performance models, benchmarks), High Level Architecture (HLA) and related standards (time management, model semantics, implementation issues), High Performance and Large Scale Systems for Computational Science (biological, chemical, physical, etc.) Application of parallel and distributed simulation (computer systems, manufacturing systems, etc.), Parallelisation of simulations (numerical methods, (Quasi-Monte-Carlo simulation), Simulation in Cluster, Multicluster, and Grid Computing, Simulation in Pervasive and Ubiquitous Computing (wireless, mobile, wearable, invisible) SIMULATION IN EDUCATION AND GRAPHICS VISUALIZATION SIMULATION This track covers; Simulation and e-learning, - Role Strategies) Management Games, Simulation with "man in the loop", Virtual Reality Systems, Realistic Presentation of Simulation, Results, Simulation for Training and Education, Web-based Simulation, Multi-site Group Simulation, Special Purpose Simulation Languages and Tools, Simulation Environments, Simulator Development Environments, Visual Modelling Tools, Multimedia, Visualisation and Animation Tools, Interfaces for Coupling with External Tools SIMULATION IN ENVIRONMENT, ECOLOGY, BIOLOGY AND MEDICINE The main goal is to enhance the trans-disciplinarity and to facilitate contacts and dialogs between computer scientists and specialists of Environmental Sciences. Since 10 years the modelling process took benefits from recent (and less recent) techniques of computer science : Object-Oriented Languages, Discrete Event Simulation, Concepts of Agent and Actor, Fuzzy Logic, UML, model - GIS interface, Web-based simulation, environment management, predictive models of forest growth, fishing, climate and other biological processes. Papers dealing with ecological modelling (in a wider sense) are welcome in the areas of: Applications: Environment managing, Waste managing, Ecosystem dynamics (terrestrial and oceanographic ecology) Population dynamics (diseases & epidemics, changes in biodiversity, genome, predator-prey relationships, fishing...), Population behaviour, Individual behaviour, involving methodologies such as: Artificial Intelligence, Distributed Interactive Simulation, High-Performance Computing, Languages, Modelling Techniques, Simulation Methodologies & Tools, Synthetic Environment, Virtual Reality, Petri nets, DEVS and Bond Graphs. Modelling and simulation have an important role in structuring biological, medical and ecological systems. The intrinsic complexity and non-linearity of these types of systems need continuous and discrete simulation methodology, soft computing methodology in order to handle the different degrees of uncertainty, as well as virtual reality methodology describing the time and space dependent complexity. SIMULATION IN BIOLOGICAL SYSTEMS Topics are biological systems, medical systems and ecosystems with the domain specific topics such as molecular modelling, genetic algorithms in biosystems, fuzzy sets and neural nets in biosystems, physiology, cardiology, anesthesia, cancer, circulatory system, respiratory system, renal system, biomechanics, agricultural production, simulation of global change, ecotechnology and eco- engineering, GIS, population dynamics, etc Simulation of Patient Care,Quality of Service, Hospital Logistics, Simulation of Disease Proliferation, Virtual Reality in Surgical Procedures, Simulating Biological Phenomena and Organs, Simulation as a Tool for Diagnosis, Simulation of Emergency Procedures (Disaster Gaming), General Medical Simulations, Pharmacometric Modelling, Physiological Simulations. ANALYTICAL AND NUMERICAL MODELLING TECHNIQUES Contributions based on exact and approximate methods as well as applications are encouraged but not restricted to the following topics: Techniques and Algorithms, Stochastic Petri Net Models, Queuing Systems and Network Models, Markov Models, Performance Optimization, Stochastic Process Algebras, Stochastic Precedence Graphs, Bounds and Theoretical Properties, Interconnection Networks, Evaluation Studies of Analytical and Numerical Modelling, Computer Systems, Manufacturing Systems, Workflow Management Systems, Communication Systems (LANs and Distributed Systems, ATM Switches, Mobile Radio,...), Workload modelling and Characterisation, Operating Systems, Client-Server Systems, Multimedia Systems, Measurements and Hybrid Techniques, Software Performance and Software Tools for Analytical and Numerical Modelling WBE BASED SIMULATION Web-based Simulation Environments (WSE), Web-based Distributed Interactive Simulation (WDIS) Sharing and reuse of simulation models and tools in WSE , Techniques and Standards for model integration, Communication interoperability in WSE and WDIS, WSE and WDIS applications to education, training and learning. , Simulation visualization/animation in WSE and WDIS, Web-based Distributed Simulation (distributed modelling via the Web, Java based, Federated, and so on) AGENT BASED SIMULATION Agent Based Simulation covers, Basic Methodologies, Agent Architectures, Model Specification and Languages, Mobile Agents, Multi Agent System Communication and Cooperation, Multi-Level Simulation and Emergence, decision making and Strategies, plus applications in Ecology and Environment (environment management, resource management, social and political impact on the environment, computer aided decision making, socio-eco systems modelling), psychology, Cognitive Science and AI, Economics and Market Systems, Business Process Management, Industry, Manufacturing and Logistics and Transport(control of Industrial Systems, scheduling, Planning, Supply Chain) and Health Care with the emphasis on simulation and modelling. COSMOLOGICAL SIMULATION Detailed computer simulations are a powerful tool to study one of the biggest challenges for theoretical cosmology: How did the galaxies we see in the universe today form out of the small fluctuations in matter density that were present in the primordial universe? Having carried out the largest cosmological simulations ever, scientists of astrophysics are able to follow the hierarchical galaxy formation process with unprecedented accuracy and detail, allowing new theoretical insights into dark matter dynamics, and novel tests of the cold dark matter theory for galaxy formation. Simulations in this area, at present can be categorized under: The Millenium Simulation, Galaxy Formations Simulation, First Objects, Mock Catalogues, Dark Matter Halos, Intergalactic Medium, Semi-Analytical Modelling and Hubble Volume Simulation, Star Formation etc... WORKSHOP SIMULATION WITH PETRI NETS Petri nets were introduced by C.A. Petri as a "finitary combinatorial model of event topology which, is in close correspondence with the models of modern physics, is capable of describing total information flow, and has proven superior to some conventional models both in construction and in analysis of systems of complex organization". Although many other models of concurrent and distributed systems have been developed, Petri nets are still considered "a central model for concurrent systems with respect to both the theory and the applications" due to the natural way they allow to represent reasoning on concurrent active objects which share resources and their changing states. The huge amount of work invested in making the modelling power of Petri nets formalism more and more intensive, led to a continuous evolution of this area, such that "Petri nets" is currently a generic name for a whole class of models divided into three main layers (ranging from Elementary Net Systems and Place/Transition nets to traditional High Level nets and High Level nets with abstract data types). For the performance evaluation of the modelled system, time execution and/or stochastic processes have also been considered, leading to important extensions to the above general Petri nets classification: Timed and Stochastic Petri nets. Petri nets are widely considered as an operational (rather than denotational) formalism for Discrete Event Systems. They have proven to be useful in solving difficult discrete-event problems in a variety of application domains such as in software engineering, operating systems, databases, communication and co-operation protocols in distributed systems, manufacturing systems, defence command and control, business processes and telecommunications, etc. As investigations in this area show, Petri nets also cover a large number of currently active research areas. Despite the great amount of work and achievements, much effort is still to be done to meet the applications requirements. This workshop is intended to provide a forum for the presentation and discussion of original ideas, recent results and achievements by researchers, students and system developers on issues and challenges related to the above domain. We invite to submit original contributions addressing, but not limited to one of the following topics: -- Simulation using Petri Net Systems, -- Place/Transition nets, -- High-level Petri nets, -- Timed and Stochastic Petri nets, -- Temporal and real-time logics with respect to Petri nets, -- Analysis methods of High Level nets and their time extensions, -- Modular Petri nets, -- Object-oriented Petri nets (OOPNs), -- Computer tools based on OOPNs, -- Applications of OOPNs. WORKSHOP MODELLING AND SIMULATION WITH BONDGRAPHS The Bond Graph Workshop will bring experts together for the purpose of discussing new concepts, methods, techniques, tools and applications of this energy-based modelling methodology. Papers dealing with all aspects of the use of bond graphs in system design, analysis, and control are welcome. The workshop will provide a forum for the presentation and discussion of recent research and applications of the Bond Graph methodology. Research papers are welcome in the following categories of presentation: Tutorials, Panel Discussions, Software and Tools, Bond Graph Theory, Advanced Bond Graph Methodology, Bond Graphs and Block Diagrams, Computer Graphics and Bond Graph Modelling, Qualitative Modelling, Mechatronics Systems, Mechanical Systems and Robotics, Electrical and Power Systems, Control Systems, Thermal and Chemical Systems, Biomechanics and Prosthetics, Ecological Systems, Biological and Medical Systems, Social and Economic Systems, Industrial Applications, Large, Nonlinear Models DEVS WORKSHOP The DEVS Workshop will cover: Extensions to the DEVS formalism, DEVS and Distributed DEVS frameworks, DEVS-based next generation VHDL, DEVS standardization, DEVS applications FLUID FLOW SIMULATION MODELLING WORKSHOP Papers are solicited in: Conventional fluid dynamics New developments in boundary tracking, adaptive multiscale meshes, algorithm stability, turbulence Atomistic methods Ab-initio and classical molecular dynamics, direct simulation Monte Carlo. Mesoscopic methods Lattice gases, lattice-Boltzmann, smoothed particle dynamics, dissipative particle dynamics, discrete simulation automata, etc. Hybrid methods Atomistic-mesoscopic and mesoscopic-continuum: direct simulation Monte Carlo, adaptive-mesh dissipative-particle dynamics, etc. Multidisciplinary and industrial applications Chemical and biomedical engineering, automotive, oil extraction and aeronautic industry, flow in porous media, Fluid Dynamics Simulation, Fluid Dynamics Simulation in Turbomachinery Flow Analysis of Pump Turbines, Water, air, vibration analysis through fluid flow modelling, Electromagnetic Field Simulation, Virtual Wind Tunnels, Structural analysis Statics (Stress, Deformation), Dynamics (Vibration), Eigen value, Fatigue, Thermal load Electric power plants, General plant components Computational fluid dynamics Compressible flow, Incompressible flow, Heat transfer, Multiphase/multi component flow, Combustion, Reaction,, Noise (Flow- induced sound) Gas turbines/Steam turbines,Combustors, Nuclear plant components, Hydro turbines, Pumps, Heat exchangers, Piping systems Computational electro-magnetics Static elecromagnetics, Eddy current, Electromagnetic wave, Electric circuit Nuclear fusion reactor, Transformers, Switch gear, Rotating machinery, Inverters/Converters Coupled problems Fluid-structure coupled analysis, (Flow-induced vibration), Fluid-electric field coupled analysis, (Insulation) Heat exchangers, Electric power transmission components MODELS AND SIMULATIONS FOR EMERGENCY AND RISK MANAGEMENT Multiple and unexpected failures but also catastrophes waiting to happen are built into our "society's complex systems". This is a matter of increasing concern. How should we understand, control or avoid such potential crisis on a local/global scale, where local interactions play a major role? Simulations are powerful tools in a context where risk is the product of probability of accident by the losses per accident. This risk can be major when it is collective, the occuring frequency is low, the impacts on humans or environment are very important. In this kind of risk, it is necessary to engage exceptional resources to prevent, to forsee and to help. This aspect is very important, but some crises have demonstrated that the problems can be in upstream and it is also necessary to consider the detection, the defects diagnosis and the supervision of risk systems. We solicit contributions on (not exhaustive): * Modeling risk (including technical, environmental and human factors) to prevent and to manage * Tools of analysis, detection and early diagnosis * Population flow before, during and after the crisis * Information flow for the emergency COMPLEX SYSTEMS: HISTORICAL & DYNAMICAL POINT OF VIEW Complex Systems is a contemporary topics and it is interesting to take a sight on it through both Historical and Dynamical point of view. So this session aims to propose a study of Complex Systems dealing with various domains such as Physics, Biology, Chemistry, Ecology... For example, Historical and Dynamical aspects of Van der Pol circuit or Predator-prey model should be highlighted through an overview of all studies already done and may be followed by a presentation of new ideas or concepts on the subject. EMOTIONAL DIMENSIONS OF COGNITION AND THEIR MODELLING IN PROBLEM-SOLVING, LEARNING AND DECISION-MAKING Cognition is studied from various approaches, both from a computable vision allowing to understand, reproduce the complexity of human brain functioning and from the human understanding vision linking with memory, behavior and feelings. Emotional dimensions have been studied in this context since only few decades because of the complexity to express and to define them and to explain their interaction with cognition, including problem-solving, learning and decision-making. In this session, we expect some contributions from computer sciences researchers for the modeling contribution and from psychologist researchers for the lightening of these complex interactions, including their fundamental knowledge on human behavior. The contribution from neuro-psychologist researchers will allow to root the cognitive and behavioral description on embodied knowledge, allowing to find relevant modeling dimensions. ARTIFICIAL SOCIETY This session focuses on the two complementary aspects: (1) modelling the society and its spatial systems according to their complexity and (2) to use the society as model for distributed artificial agents which contribute to solve problems using their social behaviour. The mixing of contribution from human sciences researchers and from computer sciences researchers are welcome and expected. The contributions on these topics can be based on swarm intelligence, social insect-based algorithms, cultural algorithms, cellular automata modelling. Community detection over graphs or over geographical information systems is also relevant contributions for this session. The understanding of the dynamical complex development of the human and animal society is one of the goals of innovative research for advancing geographical studies based on complexity approaches and for distributed artificial intelligence modelling. SIMULATION, MODELLING AND DATA MANAGEMENT IN REAL-TIME SYSTEMS (SMDM-RTS'2008) The SMDM-RTS'2008 session organized by the LITIS laboratory deals with all aspects of the simulation, Modelling and data management in real-time systems, including the management of quality of service. The aim of the session is to present the researches already done and current researches in this area. This will be done throughout invited papers on one hand, and on the presentations of research papers related to simulation and Modelling in systems combining both database systems aspects and real-time systems aspects. The relationships between these systems and their applications to many areas will be pointed out. The session deals also with papers related to mobility and real-time in geographic information systems, to all aspects of sensor databases, to applying real-time and mobility in intelligent/vehicles and transport systems, in stock trading, etc. Topics of interest include, but are not limited to: * Feedback Control Scheduling Architecture : simulation and Modelling * Modelling of real-time data and real-time transactions * Real-Time Applications for Intelligent Transport Systems (ITS) * Simulation and/or Modelling of Real-Time Multimedia Systems, Quality of Service management * Distributed Simulations for Real-Time Systems and Real-Time Databases * Management of real-time data * Sensor databases * Formal or unformal specifications of real-time database systems * Real-Time Geographic Systems * Real-time vision and perception in ITS * Modelling of Real-Time Component based Systems and Real-Time Design Pattern Systems We also encourage authors to present novel ideas, critique of existing work, and application examples, which demonstrate how real-time DBMSs technology could be effectively deployed and might be be better than existing systems. We also welcome practical work which applies real-time DBMSs in real-word applications. PhD works are welcome. TUTORIALS Tutorials can be proposed in the following three categories: T1- Introductory tutorials T2- State of the Art Tutorials T3- Software and Modelware Tutorials Tutorial proposals should be emailed to Philippe.Geril at eurosis.org POSTER SESSION The poster session only features work in progress. Next to the actual poster presentation, these submissions also feature as short papers in the Proceedings. STUDENTS SESSION This session is for students who want to present their work in progress or part of their doctoral thesis as a paper. Student papers are denoted by the fact that only the name of the student appears on the paper as an author. They are published as short papers in the Proceedings. DIVERSE ACTIVITIES For demonstrations or video sessions, please contact EUROSIS. Special session will be set up for vendor presentations in co- ordination with the scientific program. User Group meetings for simulation languages and tools can be organised the day before the conference. If you would like to arrange a meeting, please contact the Conference Chairs. We will be happy to provide a meeting room and other necessary equipment. Partners for projects session(s) will be organised by EUROSIS to give potential project teams or individuals the opportunity to present their research in order to link up with fellow researchers for future research projects. Those wishing to participate in this session need to send a proposal to EUROSIS. A EUROSIS TC Meeting and an EU Project update meeting EXHIBITION A special exhibition will be held during the conference focused on simulation tools. For more information please contact EUROSIS for further details. Email: Philippe.Geril at eurosis.org DEADLINES AND REQUIREMENTS Send all submissions in an ELECTRONIC FORM ONLY in zipped Microsoft Word format, PDF or Postscript format indicating the designated track and type of submission (full paper or an extended abstract) to the EUROSIS (Philippe.Geril at eurosis.org). Please provide your name, affiliation, full mailing address, telephone / fax number and Email address on all submissions as well. For submissions please put in the subject of your Email the following indications: ESM2007 and designated track or USE THE ABSTRACT SUBMISSION PAGE!! Only original papers, which have not been published elsewhere, will be accepted for publication REGISTRATION FEES Registration Fees Author EUROSIS Other Members Participants Pre-reg before 495 EURO 495 EURO 545 EURO September 30th 2008 Registration after Pre-registration 545 EURO 595 EURO September 30th 2008 required The registration fee includes one copy of the Conference Proceedings, coffee and tea during the breaks, all lunches, a welcome cocktail and a conference dinner. SOCIAL PROGRAMME Conference dinner in Honfleur (http://en.ot-honfleur.fr/Accueil,0,0,1.html) and visit to Mont Saint Michel (http://mont-saint-michel.monuments-nationaux.fr/en/) are envisaged PAPER SUBMISSION TYPES FULL PAPER (including abstract, conclusions, diagrams, references) During review, the submitted full papers can be accepted as a regular 5 page paper. If excellent, full papers can be accepted by the program committee as an extended (8-page) paper. Each submission will be reviewed by at least three members of the International Program Committee. EXTENDED ABSTRACT (at least five pages) Participants may also submit a 5 page extended abstract for a regular (5 pages) or short (3 pages) paper or poster, which will be reviewed by the International Program Committee. All accepted papers will be published in the ESM 2008 Conference Proceedings. SHORT ABSTRACT (at least three pages) Participants may also submit a 3 page abstract for a short paper or poster, which will be reviewed by the International Program Committee. All accepted papers will be published in the ESM 2008 Conference Proceedings. ONE PAGE ABSTRACTS ARE NOT ACCEPTED. CORRESPONDENCE ADDRESS Philippe Geril EUROSIS-ETI Greenbridge NV Wetenschapspark 1 Plassendale 1 B-8400 Ostend Belgium Tel: +32.59.255330 Fax: +32.59.255339 Email: philippe.geril at eurosis.org OUTSTANDING PAPER AWARD The 2008 European Simulation and Modelling Conference Committee will select the Outstanding Paper of the Conference. The author of this paper will be awarded a free registration for a EUROSIS conference. Only papers SUBMITTED AS FULL papers will be eligible for the Outstanding Paper Award. Selected papers are published in the following journal: International Journal of Computational Science and Engineering (IJCSE) to be published by InderScience: http://www.inderscience.com/catalogue/c/ijcse/indexijcse.html LANGUAGE The official conference language for all papers and presentations is English IMPORTANT DEADLINES EARLY BIRD SUBMISSION DEADLINE: MAY 30TH, 2008 SUBMISSION DEADLINE: JUNE 15TH, 2008 -JULY 25, 2008 June 15 - July 25, 2008: Submit contributed full-papers (5 to 8 proceedings pages) not previously published. These submissions, when accepted will be published as regular or extended papers, depending on their quality. June 15 - July 25, 2008: Submit extended abstracts (5 abstract pages) or short papers (3 abstract pages), reports of scientific projects and summaries of posters. These submissions, when accepted will be published as regular, of up to 5 proceedings page papers. June 15 - July 25, 2008: Submit one -to -three page proposals to present tutorials, to organise and chair panel sessions, to organise user meetings, vendor sessions or to exhibit software July 25, 2008: Submit abstracts for student and poster session LATE SUBMISSION DEADLINE JULY 25TH 2008 AUGUST 15, 2008: Notification of Acceptance or Rejection OCTOBER 1, 2008: Authors provide camera-ready manuscript October 27-29, 2008: Conference VENUE: Universite du Havre, Le Havre, France http://www.univ-lehavre.fr/internat/index_anglais.php REPLY CARD First Name: Surname: Occupation and/or Title: Affiliation: Mailing Address Zip code: City: Country. Telephone: Fax: E-Mail: Yes, I intend to attend the ESM 2008: [ ] Presenting a paper, by submitting a full paper [ ] Presenting a short paper (by submitting an extended abstract) [ ] Participating in the industrial program [ ] Organizing a vendor session [ ] Proposing a panel discussion (please mention names of panellists) [ ] Contributing to the exhibition [ ] Without presenting a paper The provisional title of my paper / exhibited tool is: With the following highlights: The paper belongs to the category (please tick only one): [ ] Modelling Methodology [ ] Modelling Simulation Tools [ ] Object-Orientation and Re-use [ ] Simulation and AI [ ] AI and Expert Systems [ ] AI and Neural Networks [ ] AI and Fuzzy Systems [ ] High Performance/Parallel and Large Scale Computing [ ] Simulation in Education and Graphics Visualization Simulation [ ] Simulation in Environmental Ecology, Biology and Medicine [ ] Analytical and Numerical Modelling Techniques [ ] Web Based Simulation [ ] Agent Based Simulation [ ] Cosmological Simulation [ ] SIMULA- Special 40th anniversary Track [ ] Simulation with Petri Nets [ ] Simulation with Bond Graphs [ ] DEVS [ ] Fluid Flow Modelling Simulation [ ] Complex Systems and Self-Organization Modelling [ ] Models and simulations for Emergency and Risk Management [ ] Complex Systems: Historical & Dynamical point of view [ ] Emotional dimensions of cognition and their modelling in problem-solving, learning and decision-making [ ] Artificial Society [ ] Simulation, Modelling and Data Management in Real-Time Systems [ ] Poster session [ ] Student Session Other colleague(s) interested in the topics of the conference is/are: Name: Address: Name: Address: Please send or fax this card immediately to: Philippe Geril, EUROSIS-ETI Greenbridge NV Wetenschapspark 1 Plassendale 1 B-8400 Ostend Belgium Tel: +32.59.255330 Fax: +32.59.255339 -- Unsubscribe from this newsletter: http://www.eurosis.org/cms/?q=newsletter/confirm/remove/4d67306f558885t86 From axel.polleres at deri.org Tue Apr 8 13:12:55 2008 From: axel.polleres at deri.org (Axel Polleres) Date: Tue, 08 Apr 2008 12:12:55 +0100 Subject: THE FOURTH REASONING WEB SUMMER SCHOOL (RW 2008): Call for participation Message-ID: <47FB5337.9070506@deri.org> ***APOLOGIES FOR MULTIPLE POSTINGS*** ======================================= THE FOURTH REASONING WEB SUMMER SCHOOL (RW 2008): Call for participation 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 3, 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. The application deadline is May 3. To ensure a high ratio between tutors and students the school will have a limited number of participants. A small number of scholarships will be available, details will be given soon 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 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. TO APPLY: Fill the application form at http://www.reasoningweb.org/2008/ (to appear soon) From mangel at uco.es Wed Apr 9 09:55:01 2008 From: mangel at uco.es (=?iso-8859-1?Q?Miguel_=C1ngel_G=F3mez-Nieto?=) Date: Wed, 9 Apr 2008 09:55:01 +0200 Subject: Call for Papers Message-ID: <00b501c89a17$042c5a40$a575d696@PCMangel> CALL FOR PAPERS Sixth International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2008) http://www.iccmse.org/ Hotel Belvedere Imperial, Hersonissos, Crete, Greece, 25-30 September 2008 Organised by: Professor T. E. Simos, Faculty of Sciences and Technology, University of Peloponnese, GR-221 00 Tripolis, Greece. E-mail: tsimos at mail.ariadne-t.gr and Professor George Maroulis, Computational Quantum Chemistry Research Group. Department of Chemistry, Department of Chemistry, University of Patras, GR-26500 Patras, Greece SYMPOSIUM on Computer Applications in Science, Engineering and Education Organised by: Irene Luque Ruiz and Miguel Ángel Gómez-Nieto. University of Córdoba. Department of Computing and Numerical Analysis. Campus de Rabanales. Albert Einstein Building. E-14071 Córdoba (Spain). Phone: 0034-957-212082, Fax: 0034-957-218630. Email address: iluque at uco.es (I. Luque Ruiz) and mangel at uco.es (M.A. Gómez-Nieto) Description The First International Symposium on Computer Applications in Science, Engineering and Education (CASEE 2008), to be held in conjunction with the Sixth International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2008), aims at bringing together researchers and teachers in the world working on the development of software devoted to support the investigations and high education in science and engineering areas. The development of software applications for the research and education is an activity that implies a high effort for researchers and teachers. The spread of these software resources and their sharing is a current demand for the investigation development and the improvement of the high education within the objectives of Bologna's declaration. In this symposium, all fundamental points are addressed to the current progress and research in the development of computer applications aimed to support the investigation and teaching; in order to create a frame for sharing experiences and results and providing a forum to present and discuss emerging ideas and trends. Scope and Interests CASEE 2008 is an international forum for presenting and discussing emerging ideas and trends in Computer Applications in Science, Engineering and Education from both the research community as well as the teachers of high education. We invite research submissions on all topics related to software development including, but not limited to, these listed below: - Computational Chemistry and Chemometric - Computational physics - Computational Biology - Bioinformatics - Medical Informatics - Engineering Applications - Mathematical software - New Technologies and Innovation in High Education Submission and Publication Information The Proceedings of ICCMSE 2008 will be published in the very famous AIP (American Institute of Physics) Conference Proceedings (http://scitation.aip.org/proceedings/). Detail of submission and templates with the paper format and procedure for submission can be found in: http://www.iccmse.org/abstract.htm. The author must send his/her paper for review to the e-mail address: iluque at uco.es with a carbon copy to the e-mail address: mangel at uco.es. Important Dates Please visit ICCMSE 2008 to know the dates of importance: http://www.iccmse.org/schedule.htm. Contact Please email inquiries concerning CASEE 2008 to any of the organizers: Prof. Dr. Irene Luque Ruiz. Email: iluque at uco.es. Prof. Dr. Miguel Ángel Gómez-Nieto. Email: mangel at uco.es ------------------------------------------------------------------------------------------ Prof. Dr. Miguel Ángel Gómez-Nieto University of Córdoba Department of Computer Science and Numerical Analysis Campus Universitario de Rabanales Albert Einstein Building E-14071 Córdoba (Spain) Tel: +34-957-212-082 Fax: +34-957-218-630 ------------------------------------------------------------------------------------------ **CONFIDENTIALITY NOTICE** This email communication and any attachments may contain confidential and privileged information for the sole use of the designated recipient named above. Distribution, reproduction or any other use of this transmission by any party other than the intended recipient is prohibited. If you are not the intended recipient please contact the sender and delete all copies. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wjamroga at in.tu-clausthal.de Thu Apr 10 17:00:01 2008 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Thu, 10 Apr 2008 17:00:01 +0200 Subject: KRAMAS CfP Message-ID: <47FE2B71.1050109@in.tu-clausthal.de> [Apologies if you receive multiple copies of this message] KNOWLEDGE REPRESENTATION FOR AGENTS AND MULTI-AGENT SYSTEMS (KRAMAS 2008) http://www.cs.uu.nl/events/kramas2008/kramas.html Workshop @ KR'08 (Sydney, July 2008) Call for Papers 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 (pending confirmation of the preliminary agreement we have with Springer). 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 1st Notification to Authors: July 1st Camera Ready due: July 15th Workshop: September 16-19 (exact date to be determined) 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 tazi at laas.fr Thu Apr 10 19:06:57 2008 From: tazi at laas.fr (Said Tazi) Date: Thu, 10 Apr 2008 19:06:57 +0200 Subject: IEEE-ICHSL.6:Call For Participation Message-ID: <7.0.1.0.2.20080410190611.03e831f8@laas.fr> >Call For Participation > >IEEE-ICHSL.6: 6th International Conference on Human System Learning >Common Innovation in e-learning, Machine Learning and Humanoid >http://www.laas.fr/ichsl6 >14-16 May 2008 – >Manufacture des Tabacs, University of Toulouse 1 >Toulouse, France > >Organised by: LAAS-CNRS >Registration is open >http://www.laas.fr/ichsl6/fees.htm -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From demis at dimi.uniud.it Fri Apr 11 17:45:52 2008 From: demis at dimi.uniud.it (demis at dimi.uniud.it) Date: 11 Apr 08 17:45:52 +0200 Subject: 2nd CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) Message-ID: <20080411154552.241FE3FC210@sole.dimi.uniud.it> *********************************************************************** 2nd Call For Papers 4th International Workshop on Automated Specification and Verification of Web Systems (WWV'08) Siena, Italy, July 4, 2008 http://wwv08.dimi.uniud.it/ co-located with WFLP'08 http://wflp08.dimi.uniud.it/ *********************************************************************** IMPORTANT DATES Abstract Submission April 20, 2008 Full Paper Submission April 27, 2008 Acceptance Notification May 27, 2008 Camera Ready June 11, 2008 Workshop July 4, 2008 SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. We solicit original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as: * rule-based approaches to Web site analysis, certification, specification, verification, and optimization * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * abstract interpretation and program transformation applied to the semantic Web * intelligent tutoring and advisory systems for Web specifications authoring * Web quality and Web metrics * Web usability and accessibility * Testing and evaluation of Web systems and applications The WWV series provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. The previous WWV editions were: WWV'07 (Venice, Italy), WWV'06 (Paphos, Cyprus), and WWV'05 (Valencia, Spain). LOCATION WWV'08 will be held in July in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ The workshop will be co-located with WFLP'08: http://wflp08.dimi.uniud.it/ WORKSHOP VENUE Siena is one of the nicest city in Italy. The historical centre is situated on top of a hill and is made of beautiful medieval buildings and churches, all surrounded by ancient walls. The countryside of Siena is worldwide famous for its beauty. The Palio of Siena is probably the most famous historical fair in Italy. The most important event of it is a horse race of medieval origins, which is held in the afternoon of July 2nd in 'Piazza del Campo' in the centre of Siena. For more information, please visit http://www.comune.siena.it/ SUBMISSION PROCEDURE Submissions must be received by April 27, 2008. In addition, an ASCII version of the title and abstract must have been submitted by April 20, 2008. Submitted papers should be at most 15 pages in the Electronic Notes in Theoretical Computer Science (ENTCS) style, and should include an abstract and the author's information. See the author's instructions of ENTCS style at http://www.entcs.org. Papers should be submitted electronically via the web-based submission site http://www.easychair.org/conferences/?conf=wwv08 PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. After the workshop, the final proceedings are going to be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). INVITED SPEAKERS Rosario Pugliese Università degli Studi di Firenze, Italy I.V. Ramakrishnan Stony Brook University, USA PROGRAM CO-CHAIRS Demis Ballis University of Udine, Italy Santiago Escobar Technical University of Valencia, Spain WORKSHOP CHAIR Michele Baggi University of Siena, Italy PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia, Spain Demis Ballis University of Udine, Italy Gilles Barthe INRIA Sophia-Antipolis, France Wlodzimierz Drabent IDA, Linköpings Universitet, Sweden IPI PAN, Polish Academy of Sciences, Poland Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy Mario Florido University of Porto, Portugal Thomas A. Henzinger EPFL, Switzerland Maria Jose Hidalgo University of Sevilla, Spain Temur Kutsia RISC, Linz, Austria Massimo Marchiori University of Padova, Italy Catherine Meadows Naval Research Laboratory, USA Antonio Vallecillo University of Malaga, Spain From mpc08 at lri.fr Mon Apr 14 10:14:17 2008 From: mpc08 at lri.fr (MPC'08 Organizers) Date: Mon, 14 Apr 2008 10:14:17 +0200 (CEST) Subject: [MPC'08] First call for participation Message-ID: <20080414081417.6E433A46F7@ext.lri.fr> FIRST CALL FOR PARTICIPATION 9th International Conference on Mathematics of Program Construction (MPC'08) Marseille (Luminy), France, July 15-18th 2008 http://mpc08.lri.fr We hereby invite you to participate to the MPC (Mathematics of Program Construction) conference held from July 15th to July 18th 2008 at the International Center for Mathematical Meetings (CIRM, http://www.cirm.univ-mrs.fr/web.ang). Online registration is opened on conference web site. Dealine registration is June 1th. INVITED SPEAKERS * Ralf Hinze, University of Oxford, UK. * Greg Morrisett, Harvard University, USA * Simon Peyton-Jones, Microsoft Research Cambridge, UK PROGRAMME The preliminary programme is available on the conference web site. VENUE The conference will be held in Marseille, the second largest city in France next to Paris. Its port is the most important in France, and opens the city to the world through the Mediterranean Sea. MPC'08 will be hosted by the International Center for Mathematical Meetings. The center is located inside the Campus of Luminy Faculty. It is close to the "Calanques", an astounding wild coastline composed of creeks stretching from Marseille to Cassis. PROGRAMME COMMITTEE Christine Paulin-Mohring INRIA-Universit� Paris-Sud, France (chair) Philippe Audebaud Ecole Normale Sup�rieure Lyon, France (co-chair) Ralph-Johan Back Abo Akademi University, Finland Eerke Boiten University of Kent, UK Venanzio Capretta University of Nijmegen, Netherlands Sharon Curtis Oxford Brookes University, UK Jules Desharnais Universit� Laval, Qu�bec, Canada Peter Dybjer Chalmers University of Technology, Sweden Jeremy Gibbons University of Oxford, UK Lindsay Groves Victoria University of Wellington, New Zealand Ian Hayes University of Queensland, Australia Eric Hehner University of Toronto, Canada Johan Jeuring Utrecht University, Netherlands Dexter Kozen Cornell University, USA Christian Lengauer Universit�t Passau, Germany Lambert Meertens University of Utrecht, Netherlands Bernhard M�ller Universit�t Augsburg, Germany Carroll Morgan University of New South Wales, Australia Shin-Cheng Mu Academia Sinica, Taiwan Jose Nuno Oliveira Universidade do Minho, Portugal Tim Sheard Portland State University, USA Tarmo Uustalu Institute of Cybernetics Tallin, Estonia LOCAL ORGANIZERS MPC 2008 is organized with the support of INRIA. The local organizers are Philippe Audebaud, Christine Paulin-Mohring and Marie-Ren�e Donnadieu. Enquiries regarding the programme (submission etc.) should be addressed to mpc08(at)lri.fr From demis at dimi.uniud.it Mon Apr 14 12:07:25 2008 From: demis at dimi.uniud.it (demis at dimi.uniud.it) Date: 14 Apr 08 12:07:25 +0200 Subject: 2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) Message-ID: <20080414100725.A08533FC210@sole.dimi.uniud.it> =================================================================== 2nd Call For Papers WFLP 2008 17th International Workshop on Functional and (Constraint) Logic Programming Siena, Italy, July 3-4, 2008 http://wflp08.dimi.uniud.it/ co-located with WWV'08 http://wwv08.dimi.uniud.it/ =================================================================== IMPORTANT DATES Abstract Submission April 20, 2008 Full Paper Submission April 27, 2008 Acceptance Notification May 27, 2008 Camera Ready June 11, 2008 Workshop July 3-4, 2008 SCOPE The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the integration of the two paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The previous WFLP editions are: WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). LOCATION WFLP'08 will be held in July in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ The workshop will be co-located with WWV'08: http://wwv08.dimi.uniud.it/ WORKSHOP VENUE Siena is one of the nicest city in Italy. The historical centre is situated on top of a hill and is made of beautiful medieval buildings and churches, all surrounded by ancient walls. The countryside of Siena is worldwide famous for its beauty. The Palio of Siena is probably the most famous historical fair in Italy. The most important event of it is a horse race of medieval origins, which is held in the afternoon of July 2nd in 'Piazza del Campo' in the centre of Siena. For more information, please visit http://www.comune.siena.it/ TOPICS WFLP'08 solicits papers in all areas of functional and (constraint) logic programming, including but not limited to: * Foundations: formal semantics, rewriting and narrowing, constraint solving, dynamics, type theory * Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, objects * Implementation: abstract machines, parallelism, compile-time and run-time optimizations, interfacing with external languages * Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, meta-programming * Software Engineering: design patterns, specification, verification and validation, debugging, test generation * Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming * Applications: declarative programming in education and industry, domain-specific languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, deductive databases, advanced programming environments and tools SUBMISSIONS and PROCEEDINGS Authors are invited to submit papers of at most 15 pages (pdf or postscript formats) presenting original, not previously published works. Submission categories include regular research papers, short papers (not more than 8 pages) describing on-going work, and system descriptions. Papers should be submitted electronically via the web-based submission site http://www.easychair.org/conferences/?conf=wflp2008 Preliminary proceedings will be available at the workshop. Selected authors will be invited to submit a full version of their papers after the workshop. Accepted contributions are going to be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). INVITED SPEAKER Dale Miller Ecole Polytechnique, Paris (France) PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia (Spain) Marco Comini University of Udine (Italy) Rachid Echahed CNRS,laboratoire LIG, Grenoble (France) Moreno Falaschi (Chair) University of Siena (Italy) Michael Hanus Christian-Albrechts-UniversitŠt zu Kiel (Germany) Tetsuo Ida University of Tsukuba (Japan) Herbert Kuchen Westfalische Wilhelms-Universitat Munster (Germany) Francisco Lopez Fraguas Universidad Complutense de Madrid (Spain) Wolfgang Lux Westfalische Wilhelms-Universitat Munster (Germany) Mircea Marin University of Tsukuba (Japan) Juan J. Moreno-Navarro Universidad Politecnica de Madrid (Spain) Alicia Villanueva Technical University of Valencia (Spain) ORGANIZING COMMITTEE Michele Baggi University of Siena, Italy Demis Ballis University of Udine, Italy Tommaso Flaminio University of Siena, Italy Maddalena Poneti University of Siena, Italy Elisa Tiezzi (Chair) University of Siena, Italy ==================================================================== From manfred.hauswirth at deri.org Mon Apr 14 15:43:09 2008 From: manfred.hauswirth at deri.org (Manfred Hauswirth) Date: Mon, 14 Apr 2008 14:43:09 +0100 Subject: ESWC 2008: Call for participation, accepted papers, and program Message-ID: <48035F6D.8010906@deri.org> Call for Particiation --------------------- 5th European Semantic Web Conference (ESWC 2008) 1-5 June 2008 Tenerife, Spain http://www.eswc2008.org/ Conference program: http://www.eswc2008.org/main_program.html Registration: http://www.eswc2008.org/formulario-registro.jsf Early registration ends April 21, 23:59 CET. ESWC 2008 statistics: 51 research papers, 3 keynotes, 2 panels, 26 demos, PhD symposium, 12 workshops, 7 tutorials ESWC 2008 is the latest in a series of annual, international events focusing on dissemination and discussion of the latest research and applications of Semantic Web technologies. The call for papers saw over 270 submissions and the program committee selected 51 papers to be presented at the conference (see below, also available at http://www.eswc2008.org/papers.html). ESWC 2008 keynotes: ------------------- Garlik: Semantic Technology for the Consumer Nigel Shadbolt (Garlik Ltd. and University of Southampton) >From Capturing Semantics to Semantic Search: A Virtuous Cycle Ricardo Baeza-Yates (Yahoo! Research, Barcelona) Foundations of RDF Databases Claudio Gutierrez (Universidad de Chile) ESWC 2008 will feature 2 high-profile panels: --------------------------------------------- Panel 1: Does the Semantic Web Need Web Science? * Moderator: Wendy Hall (Univeristy of Southampton, UK) * Panelists: o Stefan Decker, DERI, Galway o Frank van Harmelen, Free University Amsterdam o Kieron O'Hara, University of Southampton, UK o Nigel Shadbolt, University of Southampton, UK o Guus Schreiber, Free University Amsterdam Panel 2: Social Network Portability: Is the Semantic Web Ready? * Moderator: Harry Halpin (University of Edinburgh, UK) * Panelists: o Dan Brickley, ASemantics o Danny Ayers, Talis o Stefan Decker, DERI, National University of Ireland o Kingsley Idehen, OpenLink o Peter Mika, Yahoo! Inc o Alexandre Passant, LaLIC, University Paris-Sorbonne In addition to the technical research paper track, a system demo track is included, with its own review process. Twenty-six demo papers were selected for presentation during the conference. The following 12 workshops are co-located with ESWC 2008: --------------------------------------------------------- * ESWC-08 Workshop on Advancing Reasoning on the Web: Scalability and Commonsense * International Workshop on Ontologies: Reasoning and Modularity (WORM-08) * 1st international workshop on Identity and Reference on the Semantic Web (IRSW2008) * 1st International Workshop on Knowledge Reuse and Reengineering over the Semantic Web * ESWC-08 Workshop on Semantic Search * 1st International Workshop on Semantic Metadata Management and Applications * 6th International Workshop on Evaluation of Ontology-based tools and the Semantic Web Service Challenge (EON & SWS-Challenge 2008) * 3rd Semantic Wiki Workshop * 4th Workshop on Scripting for the Semantic Web * 1st International Workshop on Collective Semantics: Collective Intelligence & the Semantic Web (CISWeb 2008) * 3rd international Workshop on Semantic Business Process Management * First Workshop on Semantic Interoperability in the European Digital Library ESWC 2008 tutorials: -------------------- * Pattern-based Ontology Design * What Semantic Web researchers need to know about Machine Learning * Linking Social Networks, Microformats, and the Semantic Web using GRDDL * Ontology Engineering and Plug-in Development with the NeOn Toolkit * Transitioning Legacy Applications to Ontologies: A Hands-on Tutorial * Semantic Wikis * Semantic Web Rule Languages and Rule Interchange on the Web Accepted papers: ---------------- (see also http://www.eswc2008.org/papers.html) * Andre Bolles, Marco Grawunder and Jonas Jacobi. Streaming SPARQL - Extending SPARQL to process data streams * Glen Hart, Martina Johnson and Catherine Dolbear. Rabbit: Developing a Control Natural Language for Authoring Ontologies * Yolanda Blanco-Fernandez, José J. Pazos-Arias, Alberto Gil-Solla, Manuel Ramos-Cabrer and Martin Lopez-Nores. Semantic Reasoning: A Path To New Possibilities of Personalization * Edoardo Pignotti, Peter Edwards, Alun Preece, Nick Gotts and Gary Polhill. Enhancing Workflow with a Semantic Description of Scientist's Intent * Boontawee Suntisrivaraporn. Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies * Christoph Kiefer, Abraham Bernstein and André Locher. Adding Data Mining Support to SPARQL via Statistical Relational Learning Methods * Caecilia Zirn, Vivi Nastase and Michael Strube. Distinguishing between Instances and Classes in the Wikipedia Taxonomy * Jun Zhao, Graham Klyne and David Shotton. Building a Semantic Web Image Repository for Biological Research Images * Idoia Berges, Jesus Bermudez, Alfredo Goñi and Arantza Illarramendi. Semantic Web technology for Agent Communication Protocols * Yannis Tzitzikas, Yannis Theoharis and Dimitris Andreou. On Storage Policies for Semantic Web Repositories that Support Versioning * Eero Hyvönen, Kim Viljanen, Jouni Tuominen and Katri Seppälä. Building a National Semantic Web Ontology and Ontology Service Infrastructure-The FinnONTO Approach * Zhe Wang, Kewen Wang, Rodney Topor and Jeff Z. Pan. Restricting and forgetting in DL-Lite * Haofen Wang, Kang Zhang, Qiaoling Liu, Duc Thanh Tran and Yong Yu. Q2Semantic: A Lightweight Keyword Interface to Semantic Search * Kay-Uwe Schmidt, Jörg Dörflinger, Tirdad Rahmani, Mehdi Sahbi, Susan Thomas and Ljiljana Stojanovic. An User Interface Adaptation Architecture for Rich Internet Applications * Silvana Castano, Alfio Ferrara, Davide Lorusso, Tobias Henrik Näth and Ralf Moeller. Mapping Validation by Probabilistic Reasoning * Tomi Kauppinen, Jari Väätäinen and Eero Hyvönen. Creating and Using Geospatial Ontology Time Series in a Semantic Cultural Heritage Portal * Vassilis Spiliopoulos, Alexandros Valarakos and George Vouros. CSR: Discovering Subsumption Relations for the Alignment of Ontologies * Ravish Bhagdev, Sam Chapman, Fabio Ciravegna, Vitaveska Lanfranchi and Daniela Petrelli. Hybrid Search: Effectively Combining Keywords and Ontology-based Searches * Naiwen Lin, Ugur Kuter and Evren Sirin. Web Service Composition with User Preferences * Waseem Akhtar, Jacek Kopecky, Thomas Krennwallner and Axel Polleres. XSPARQL: Traveling between the XML and RDF worlds and avoiding the XSLT Pilgrimage * Reinhard Pichler, Axel Polleres, Fang Wei and Stefan Woltran. dRDF: Entailment for Domain-restricted RDF * Heeryon Cho, Toru Ishida, Toshiyuki Takasaki and Satoshi Oyama. Assisting Pictogram Selection with Semantic Interpretation * Christoph Kiefer and Abraham Bernstein. The Creation and Evaluation of iSPARQL Strategies for Matchmaking * Matthias Bräuer and Henrik Lochmann. An Ontology for Software Models and its Practical Implications for Semantic Web Reasoning * Katharina Siorpaes and Martin Hepp. OntoGame: Weaving the Semantic Web by Online Games * Aurona Gerber, Alta Van der Merwe and Andries Barnard. A Functioal Semantic Architecture * VinhTuan Thai, Siegfried Handschuh and Stefan Decker. IVEA: An Information Visualization Tool for Personalized Exploratory Document Collection Analysis * Bastian Quilitz and Ulf Leser. Querying Distributed RDF Data Sources with SPARQL * Stefan Dietze, Alessio Gugliotta and John Domingue. Conceptual Situation Spaces for Semantic Situation-Driven Processes * Antoine Isaac, Henk Matthezing, Lourens van der Meij, Stefan Schlobach, Shenghui Wang and Claus Zinn. Putting ontology alignment in context: usage scenarios, deployment and evaluation in a library case * Valentin Tablan, Danica Damljanovic and Kalina Bontcheva. A Natural Language Query Interface to Structured Information * Kinga Schumacher, Michael Sintek and Leo Sauermann. Combining Fact and Document Retreival with Spreading Activation for Semantic Desktop Search * Tudor Groza, Siegfried Handschuh, Knud Möller and Stefan Decker. KonneX-SALT: First Steps towards a Semantic Claim Federation Infrastructure * Dumitru Roman, Michael Kifer and Dieter Fensel. WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic * Andreas Langegger, Wolfram Wöß and Martin Blöchl. A Semantic Web middleware for Virtual Data Integration on the Web * Paolo Bouquet, Heiko Stoermer and Barbara Bazzanella. An Entity Naming System (ENS) for the Semantic Web * Gunnar Grimnes, Peter Edwards and Alun Preece. Istance Based clustering of Semantic Web Resources * Claudia d'Amato, Nicola Fanizzi and Floriana Esposito. Query Answering and Ontology Population: an Inductive Approach * Anthony Ventresque, Sylvie Cazalens, Philippe Lamarre and Patrick Valduriez. Improving interoperability using query interpretation in semantic vector spaces * Ernesto Jimenez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider and Rafael Berlanga-Llavori. Safe and Economic re-use of ontologies: a logic-based methodology and tool support * Nicola Fanizzi, Claudia d'Amato and Floriana Esposito. Conceptual Clustering and its Application to Concept Drift and Novelty Detection * Tomas Vitvar, Jacek Kopecky, Jana Viskova and Dieter Fensel. WSMO-Lite Annotations for Web Services * Mauricio Espinoza, Asunción Gómez-Pérez and Eduardo Mena. Enriching an Ontology with Multilingual Information* Riccardo Rosati. Finite model reasoning in DL-Lite * Carlos Pedrinaci, John Domingue and Ana Karla Alves de Medeiros. A Core Ontology for Business Process Analysis * Sebastian Dietzold, Jörg Unbehauen and Sören Auer. xOperator - Interconnecting the Semantic Web and Instant Messaging Networks * Simon Scerri, Siegfried Handschuh and Stefan Decker. Semantic Email as a communication medium for the Social Semantic Desktop * Angela Maduko, Kemafor Anyanwu, Amit Sheth and Paul Schliekelman. Graph Summaries for Subgraph Frequency Estimation * Laura Hollink, Mark van Assem, Antoine Isaac, Shenghui Wang and Guus Schreiber. Two Variations on Ontology Alignment Evaluation: Methodological Issues * Richard Cyganiak, Renaud Delbru, Holger Stenzhorn, Giovanni Tummarello and Stefan Decker. Semantic Sitemaps: Efficient and Flexible Access to Datasets on the Semantic Web * Dimitrios Kourtesis and Iraklis Paraskakis. Combining SAWSDL, OWL-DL and UDDI for Semantically Enhanced Web Service Discovery _______________________________________________ Please do not post msgs that are not relevant to the database community at large. Go to www.cs.wisc.edu/dbworld for guidelines and posting forms. To unsubscribe, go to https://lists.cs.wisc.edu/mailman/listinfo/dbworld From lidingpku at gmail.com Mon Apr 14 16:35:30 2008 From: lidingpku at gmail.com (lidingpku) Date: Mon, 14 Apr 2008 10:35:30 -0400 Subject: 2nd CFP - [Semantic Web in Use Track] [7th International Semantic Web Conference][ISWC2008] Message-ID: <48036BB2.6080205@gmail.com> --------------------------------------------------------------------- CFP: ISWC 2008 SEMANTIC WEB IN USE TRACK http://iswc2008.semanticweb.org/calls/cfp-semantic-web-in-use/ To be held as part of 7th International Semantic Web Conference (ISWC 2008) 26-30 October 2008, Karlsruhe, Germany --------------------------------------------------------------------- The Semantic Web has emerged from the laboratory into the business environment. A number of companies already market products that are based on semantic web technology; others are developing new solutions based on semantic technologies. These solutions, ranging from search to data integration to Web service communication enabled by the application of semantic technologies, are expected to lead to improved business processes, savings in cost and time and heightened efficiency and competitiveness. General Information -------------------------- The Semantic Web In-Use Track is a forum dedicated to these experiences, where the participants discuss the benefits of applying semantic technology in industry as well as the problems that are encountered, with the objective of reaching an interested industrial audience. For this purpose, the Semantic Web In-Use Track solicits the submission of original, principled papers on the following topics: * Applications of semantic technology to solve business problems and benefit business processes. * Tools to ease the deployment of such applications within company IT systems. * Business cases and problems in industry, government, science and society for which semantic technology could provide a solution. Papers describing applications of semantic technologies should address some or all of the following problems. * A good clear description of an implemented application of semantic technology. Applications are welcome in any area - industry, government, science or society. * An assessment of the pros and cons of using semantic technology to solve a particular business problem. Are extensions beyond the existing standards necessary? What advantages does a semantic approach have over traditional approaches to the application? * An assessment of the costs - e.g. time and cost of implementation, ease of deployment, integration with legacy IT systems - and benefits of this application - e.g. a user study, a return-on-investment analysis, demonstration of new results, demonstration of user acceptance. * Evidence and assessment of deployment and use of the application. Papers describing tools should describe the contribution of their tools by highlighting some or all of the following aspects. * A good clear description of an implemented toolset to support the deployment of semantic technology in business. * A demonstration that the toolset offers functionality that addresses crucial problems encountered by applying semantic web technology. * An assessment of the benefits of the toolset to the user community. * Evidence and assessment of the toolset being used in the industrial deployment of semantic technologies. Papers describing business cases should present interesting and challenging use cases. * Analyse the problem and argue for the appropriateness of semantic technology, and provide an outline of possible solutions. * Highlight competing approaches using conventional technology and describe where semantic technology provides a crucial advantage. * Provide evidence that Semantic technology can address the problem identified providing a superior solution than existing technologies Important Dates ----------------------------- * May 16, 2008 (11:59 pm Hawaii time): paper submissions * July 11, 2008: paper acceptance notification * August 15, 2008: camera-ready papers due * October 26-30, 2008: ISWC 2008 Technical Program Submission Information ----------------------------- Paper submissions must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For complete details, see Springer's Author Instructions. Submit papers at the Conference Submission Page. Papers must be submitted in PDF (Adobe's Portable Document Format) format. Papers will not be accepted in any other format. Formatted papers must be no longer than 14 pages. Papers that exceed this limit will be rejected without review. ISWC2008 will not accept papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference. Authors of accepted papers will be required to provide semantic annotations for the abstract of their submission for the Semantic Web (help will be provided for this task). Details will be provided on the conference Web page at the time of acceptance. Semantic Web In Use Track Co-Chairs ----------------------------- Mike Dean, BBN, USA Massimo Paolucci, DoCoMo, Germany From lidingpku at gmail.com Mon Apr 14 16:36:51 2008 From: lidingpku at gmail.com (lidingpku) Date: Mon, 14 Apr 2008 10:36:51 -0400 Subject: 2nd CFP - [Tutorial Proposals] [7th International Semantic Web Conference][ISWC2008] Message-ID: <48036C03.4040508@gmail.com> --------------------------------------------------------------------- CFP: 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 lidingpku at gmail.com Mon Apr 14 16:37:27 2008 From: lidingpku at gmail.com (lidingpku) Date: Mon, 14 Apr 2008 10:37:27 -0400 Subject: 2nd CFP - [Doctoral Consortium] [7th International Semantic Web Conference][ISWC2008] Message-ID: <48036C27.6040006@gmail.com> --------------------------------------------------------------------- CFP: ISWC 2008 Doctoral Consortium http://iswc2008.semanticweb.org/calls/call-for-doctoral-consortium-papers/ To be held as part of 7th International Semantic Web Conference (ISWC 2008) 26-30 October 2008, Karlsruhe, Germany --------------------------------------------------------------------- The 7th International Semantic Web Conference 2008 will take place in Karlsruhe, Germany. In addition to its plenary scientific sessions, the conference will include a doctoral consortium. Alongside the great opportunity for the scientific exchange and presentation of high quality research in all aspects of Semantic Web, this forum will allow doctoral students to present their work and obtain guidance from mentors as well as to get in contact with other postgraduate students. The goal of the doctoral consortium is to create an opportunity for doctoral students to test their research ideas, present their current progress and future plans, and most of all to receive constructive criticism and insights related to their future work and career perspectives. Mentors (peer researchers and experts in the field) will be assigned to each student to provide individual feedback and advice on the paper, the focus of the work and further developments. Students who are submitting papers on specific portions of their work to the main conference are also invited to apply to the PhD Consortium. In this case, the short paper for the PhD Consortium must give an overview of the student's dissertation research, and the paper for the main conference should focus on a specific piece of this work. All papers submitted to the Doctoral Consortium stream will undergo a thorough reviewing process with a view to providing detailed and constructive feedback. The best submissions will be selected for presentation at the ISWC 2008 Doctoral Consortium sessions. Full papers (5 pages) will be published in the main ISWC proceedings. Topics --------------------- The Doctoral Consortium track of ISWC 2008 solicits submission of PhD research papers dealing with foundational and core issues, application domains and practical aspects of Semantic Web research. Topics include, but are not limited to: - Applications of the Semantic Web - Applications with clear lessons learned - Evaluations of Semantic Web technologies - Semantic Web for e-business, e-science, e-government, and 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 Submission Details --------------------- Doctoral Consortium papers should include a clear presentation of the PhD research direction, sound situation of the PhD research in the context of Semantic Web and related fields, a report on the work done so far and a plan of further research. All submissions should be no longer than 6 pages, in the same format as is used for the main conference papers. Paper submissions must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For complete details, see Springer's Author Instructions http://www.springer.com/east/home/computer/lncs?SGWID=5-164-7-72376-0 Papers must be submitted electronically through the conference submission site. Papers must be submitted in PDF (Adobe's Portable Document Format) format. Papers will not be accepted in any other format. ISWC 2008 will not accept research papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference. Authors of accepted papers will be required to provide semantic annotations for the abstract of their submission for the Semantic Web (help will be provided for this task). Details will be provided on the conference Web page at the time of acceptance. Important Dates --------------------- * May 16, 2007 (11:59pm Hawaii time, GMT-10): Doctoral consortium paper submissions due * July 11, 2007: Doctoral consortium paper acceptance notification * August 15, 2007: Doctoral consortium camera-ready papers due * October 26-30 2007: ISWC 2008 (exact date of DC to be decided) Further information --------------------- For further information and for any questions regarding the event or submissions, please contact the Doctoral Consortium Chair: Diana Maynard From lidingpku at gmail.com Mon Apr 14 16:38:11 2008 From: lidingpku at gmail.com (lidingpku) Date: Mon, 14 Apr 2008 10:38:11 -0400 Subject: 2nd CFP - [Poster & Demo] [7th International Semantic Web Conference][ISWC2008] Message-ID: <48036C53.5020701@gmail.com> --------------------------------------------------------------------- CFP: ISWC 2008 POSTERS AND DEMONSTRATIONS http://iswc2008.semanticweb.org/calls/call-for-posters-and-demonstrations/ To be held as part of 7th International Semantic Web Conference 26-30 October 2008, Karlsruhe, Germany --------------------------------------------------------------------- ISWC 2008 will hold combined poster and demonstration sessions. The Poster/Demo Session is an opportunity for presenting late-breaking results, ongoing research projects, and speculative or innovative work in progress. Posters and demos are intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Technical posters, reports on Semantic Web software systems, descriptions of completed work, and work in progress are all welcome. Demonstrations are intended to showcase innovative Semantic Web related implementations and technologies. Important Dates -------------------------- * July 25, 2008: Deadline for submissions * September 5, 2008: Notification of acceptance * September 19, 2008: Camera ready abstracts due (time: 23:59 pm GMT-10 (Hawaii)) Submission Information ----------------------------- Authors must submit a two-page paper with a short abstract for evaluation. The abstract must clearly demonstrate relevance to the Semantic Web. Submissions will be evaluated for acceptability by the reviewers. Decisions about acceptance will be based on relevance to the Semantic Web, originality, potential significance, topicality and clarity. If a poster will be accompanied by a live software demonstration, authors are requested to submit an additional one-page explanation of the demo, which will not be included in the poster/demo notes. Submit the demo explanation as the third page of your two-page paper. A detailed list of suggested topics can be found in the calls for papers both for the Research Track and for the Semantic Web In Use track. Posters and demos are intended to convey a scientific result or work in progress and are not intended as advertisements for software packages. Authors submitting a full paper to another track in ISWC 2008 may also submit the same work for consideration in the Demo/Poster track, either before or after result notification for the full paper. For example, a demo can be provided for an accepted paper, or a poster can be used to present work that was insufficiently mature for the research track. At least one of the Poster/Demo authors must be a registered participant at the conference, and attend the Poster/Demo Session to present the work. The abstracts for all accepted posters and demos will be given to all conference attendees and published on the conference web site. They will not be included in the formal proceedings. Poster and demo abstracts must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For complete details, see Springer’s Author Instructions. Abstracts must be submitted in PDF format. Abstracts will not be accepted in any other format. Abstracts that exceed the page limit will be rejected without review. Please submit papers at the ISWC 2008 submission page. Copyright forms will be required for all accepted papers. Details will be sent with notifications of acceptance. Further Information -------------------------- For further information and for any questions regarding the event or submissions, please contact the Posters and Demonstration co-chairs Chris Bizer and Anupam Joshi. Posters and Demonstrations co-chairs -------------------------- Chris Bizer, Free University of Berlin, Germany Anupam Joshi, University of Maryland, Baltimore County, USA From dingl at cs.rpi.edu Mon Apr 14 16:53:46 2008 From: dingl at cs.rpi.edu (Li Ding) Date: Mon, 14 Apr 2008 10:53:46 -0400 Subject: 2nd CFP - [Doctoral Consortium] [7th International Semantic Web Conference][ISWC2008] Message-ID: <48036FFA.6040804@cs.rpi.edu> --------------------------------------------------------------------- CFP: ISWC 2008 Doctoral Consortium http://iswc2008.semanticweb.org/calls/call-for-doctoral-consortium-papers/ To be held as part of 7th International Semantic Web Conference (ISWC 2008) 26-30 October 2008, Karlsruhe, Germany --------------------------------------------------------------------- The 7th International Semantic Web Conference 2008 will take place in Karlsruhe, Germany. In addition to its plenary scientific sessions, the conference will include a doctoral consortium. Alongside the great opportunity for the scientific exchange and presentation of high quality research in all aspects of Semantic Web, this forum will allow doctoral students to present their work and obtain guidance from mentors as well as to get in contact with other postgraduate students. The goal of the doctoral consortium is to create an opportunity for doctoral students to test their research ideas, present their current progress and future plans, and most of all to receive constructive criticism and insights related to their future work and career perspectives. Mentors (peer researchers and experts in the field) will be assigned to each student to provide individual feedback and advice on the paper, the focus of the work and further developments. Students who are submitting papers on specific portions of their work to the main conference are also invited to apply to the PhD Consortium. In this case, the short paper for the PhD Consortium must give an overview of the student's dissertation research, and the paper for the main conference should focus on a specific piece of this work. All papers submitted to the Doctoral Consortium stream will undergo a thorough reviewing process with a view to providing detailed and constructive feedback. The best submissions will be selected for presentation at the ISWC 2008 Doctoral Consortium sessions. Full papers (5 pages) will be published in the main ISWC proceedings. Topics --------------------- The Doctoral Consortium track of ISWC 2008 solicits submission of PhD research papers dealing with foundational and core issues, application domains and practical aspects of Semantic Web research. Topics include, but are not limited to: - Applications of the Semantic Web - Applications with clear lessons learned - Evaluations of Semantic Web technologies - Semantic Web for e-business, e-science, e-government, and 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 Submission Details --------------------- Doctoral Consortium papers should include a clear presentation of the PhD research direction, sound situation of the PhD research in the context of Semantic Web and related fields, a report on the work done so far and a plan of further research. All submissions should be no longer than 6 pages, in the same format as is used for the main conference papers. Paper submissions must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For complete details, see Springer's Author Instructions http://www.springer.com/east/home/computer/lncs?SGWID=5-164-7-72376-0 Papers must be submitted electronically through the conference submission site. Papers must be submitted in PDF (Adobe's Portable Document Format) format. Papers will not be accepted in any other format. ISWC 2008 will not accept research papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference. Authors of accepted papers will be required to provide semantic annotations for the abstract of their submission for the Semantic Web (help will be provided for this task). Details will be provided on the conference Web page at the time of acceptance. Important Dates --------------------- * May 16, 2007 (11:59pm Hawaii time, GMT-10): Doctoral consortium paper submissions due * July 11, 2007: Doctoral consortium paper acceptance notification * August 15, 2007: Doctoral consortium camera-ready papers due * October 26-30 2007: ISWC 2008 (exact date of DC to be decided) Further information --------------------- For further information and for any questions regarding the event or submissions, please contact the Doctoral Consortium Chair: Diana Maynard From dingl at cs.rpi.edu Mon Apr 14 16:54:11 2008 From: dingl at cs.rpi.edu (Li Ding) Date: Mon, 14 Apr 2008 10:54:11 -0400 Subject: 2nd CFP - [Tutorial Proposals] [7th International Semantic Web Conference][ISWC2008] Message-ID: <48037013.3020302@cs.rpi.edu> --------------------------------------------------------------------- CFP: 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 dingl at cs.rpi.edu Mon Apr 14 16:53:19 2008 From: dingl at cs.rpi.edu (Li Ding) Date: Mon, 14 Apr 2008 10:53:19 -0400 Subject: 2nd CFP - [Semantic Web in Use Track] [7th International Semantic Web Conference][ISWC2008] Message-ID: <48036FDF.7060006@cs.rpi.edu> --------------------------------------------------------------------- CFP: ISWC 2008 SEMANTIC WEB IN USE TRACK http://iswc2008.semanticweb.org/calls/cfp-semantic-web-in-use/ To be held as part of 7th International Semantic Web Conference (ISWC 2008) 26-30 October 2008, Karlsruhe, Germany --------------------------------------------------------------------- The Semantic Web has emerged from the laboratory into the business environment. A number of companies already market products that are based on semantic web technology; others are developing new solutions based on semantic technologies. These solutions, ranging from search to data integration to Web service communication enabled by the application of semantic technologies, are expected to lead to improved business processes, savings in cost and time and heightened efficiency and competitiveness. General Information -------------------------- The Semantic Web In-Use Track is a forum dedicated to these experiences, where the participants discuss the benefits of applying semantic technology in industry as well as the problems that are encountered, with the objective of reaching an interested industrial audience. For this purpose, the Semantic Web In-Use Track solicits the submission of original, principled papers on the following topics: * Applications of semantic technology to solve business problems and benefit business processes. * Tools to ease the deployment of such applications within company IT systems. * Business cases and problems in industry, government, science and society for which semantic technology could provide a solution. Papers describing applications of semantic technologies should address some or all of the following problems. * A good clear description of an implemented application of semantic technology. Applications are welcome in any area - industry, government, science or society. * An assessment of the pros and cons of using semantic technology to solve a particular business problem. Are extensions beyond the existing standards necessary? What advantages does a semantic approach have over traditional approaches to the application? * An assessment of the costs - e.g. time and cost of implementation, ease of deployment, integration with legacy IT systems - and benefits of this application - e.g. a user study, a return-on-investment analysis, demonstration of new results, demonstration of user acceptance. * Evidence and assessment of deployment and use of the application. Papers describing tools should describe the contribution of their tools by highlighting some or all of the following aspects. * A good clear description of an implemented toolset to support the deployment of semantic technology in business. * A demonstration that the toolset offers functionality that addresses crucial problems encountered by applying semantic web technology. * An assessment of the benefits of the toolset to the user community. * Evidence and assessment of the toolset being used in the industrial deployment of semantic technologies. Papers describing business cases should present interesting and challenging use cases. * Analyse the problem and argue for the appropriateness of semantic technology, and provide an outline of possible solutions. * Highlight competing approaches using conventional technology and describe where semantic technology provides a crucial advantage. * Provide evidence that Semantic technology can address the problem identified providing a superior solution than existing technologies Important Dates ----------------------------- * May 16, 2008 (11:59 pm Hawaii time): paper submissions * July 11, 2008: paper acceptance notification * August 15, 2008: camera-ready papers due * October 26-30, 2008: ISWC 2008 Technical Program Submission Information ----------------------------- Paper submissions must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For complete details, see Springer's Author Instructions. Submit papers at the Conference Submission Page. Papers must be submitted in PDF (Adobe's Portable Document Format) format. Papers will not be accepted in any other format. Formatted papers must be no longer than 14 pages. Papers that exceed this limit will be rejected without review. ISWC2008 will not accept papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference. Authors of accepted papers will be required to provide semantic annotations for the abstract of their submission for the Semantic Web (help will be provided for this task). Details will be provided on the conference Web page at the time of acceptance. Semantic Web In Use Track Co-Chairs ----------------------------- Mike Dean, BBN, USA Massimo Paolucci, DoCoMo, Germany From dingl at cs.rpi.edu Mon Apr 14 16:52:40 2008 From: dingl at cs.rpi.edu (Li Ding) Date: Mon, 14 Apr 2008 10:52:40 -0400 Subject: 2nd CFP - [7th International Semantic Web Conference] [ISWC2008] Message-ID: <48036FB8.6090406@cs.rpi.edu> --------------------------------------------------------------------- The 7th International Semantic Web Conference (ISWC 2008) 26-30 October 2008, Karlsruhe, Germany http://iswc2008.semanticweb.org/ --------------------------------------------------------------------- The Web continues to grow and new technologies, modes of interactions, and applications are being developed. Building on this growth, Semantic Web technologies aim at providing a shared semantic information space, changing qualitatively our experiences on the Web. As Semantic Web technologies mature and permeate more and more application areas, new research challenges are coming to the fore and some unsolved ones are becoming more acute. These issues include creating and managing Semantic Web content, making Semantic Web applications robust and scalable, organizing and integrating information from different sources for novel uses, making semantics explicit in order to improve our overall experience with information technologies, and thus enabling us to use the wealth of information that is currently available in digital form for addressing our everyday tasks. To foster the exchange of ideas and collaboration, ISWC brings together researchers in relevant disciplines such as artificial intelligence, databases, social networks, distributed computing, web engineering, information systems, natural language processing, soft computing, and human-computer interaction. General Information ----------------------------- ISWC 2008 calls for papers to its research track. The research track solicits the submission of original, principled research papers dealing with both analytical theoretical and practical aspects of Semantic Web research. Papers of the latter type are encouraged to present repeatability of their experiments, and share with the community their data and test harnesses. Topics include, but are not limited to, the following. * Applications of the Semantic Web - Applications with clear lessons learned or evaluations - Semantic Web for large scale applications, desktops or personal information management - Semantic Web technologies for multimedia, sensors, and situational awareness - Semantic Web technologies for P2P, services, agents, grids and middleware * Management of Semantic Web Data - Languages, tools and methodologies for representing and managing Semantic Web data - Database, IR and AI technologies for the Semantic Web - Search, query, integration, and analysis on the Semantic Web - Robust and scalable knowledge management and reasoning on the Web - Machine learning and information extraction for the Semantic Web - Cleaning, assurance, trust, provenance of Semantic Web data, services and processes * Ontologies - Ontology modeling, reuse, extraction, and evolution - Ontology mapping, merging, and alignment - Searching and ranking ontologies - Ontology evaluation * Social Semantic Web - Social networks and processes on the Semantic Web - Semantic Web technologies for collaboration and cooperation - Representing and reasoning about trust, privacy, and security * User Interfaces - Visualization of and interacting with Semantic Web data - Semantic Web content creation and annotation - Mashing up Semantic Web data and processes general questions can be send to iswc2008'at'gmail.com ('at'=@) Important Dates (research track) ----------------------------- * Abstracts due: May 9 * Submissions: May 16 * Rebuttal phase: June 14-16 * Notification: July 11 * Camera ready: August 15 Organization ----------------------------- General chair Tim Finin, US Program chairs Amit Sheth, US Steffen Staab, DE Vice Chairs Abraham Bernstein, CH Vassilis Christophides, GR Thomas Eiter, AT Yolanda Gil, US Vasant Honavar, US Anupam Joshi, US David Karger, US Craig Knoblock, US Riichiro Mizoguchi, JP Enrico Motta, UK Wolfgang Nejdl, DE Natasha Noy, US Uli Sattler, UK Guus Schreiber, NL Luciano Serafini, IT Umberto Straccia, IT Gerd Stumme, DE Frank van Harmelen, NL Kunal Verma, US From dingl at cs.rpi.edu Mon Apr 14 16:54:38 2008 From: dingl at cs.rpi.edu (Li Ding) Date: Mon, 14 Apr 2008 10:54:38 -0400 Subject: 2nd CFP - [Poster & Demo] [7th International Semantic Web Conference][ISWC2008] Message-ID: <4803702E.4080500@cs.rpi.edu> --------------------------------------------------------------------- CFP: ISWC 2008 POSTERS AND DEMONSTRATIONS http://iswc2008.semanticweb.org/calls/call-for-posters-and-demonstrations/ To be held as part of 7th International Semantic Web Conference 26-30 October 2008, Karlsruhe, Germany --------------------------------------------------------------------- ISWC 2008 will hold combined poster and demonstration sessions. The Poster/Demo Session is an opportunity for presenting late-breaking results, ongoing research projects, and speculative or innovative work in progress. Posters and demos are intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Technical posters, reports on Semantic Web software systems, descriptions of completed work, and work in progress are all welcome. Demonstrations are intended to showcase innovative Semantic Web related implementations and technologies. Important Dates -------------------------- * July 25, 2008: Deadline for submissions * September 5, 2008: Notification of acceptance * September 19, 2008: Camera ready abstracts due (time: 23:59 pm GMT-10 (Hawaii)) Submission Information ----------------------------- Authors must submit a two-page paper with a short abstract for evaluation. The abstract must clearly demonstrate relevance to the Semantic Web. Submissions will be evaluated for acceptability by the reviewers. Decisions about acceptance will be based on relevance to the Semantic Web, originality, potential significance, topicality and clarity. If a poster will be accompanied by a live software demonstration, authors are requested to submit an additional one-page explanation of the demo, which will not be included in the poster/demo notes. Submit the demo explanation as the third page of your two-page paper. A detailed list of suggested topics can be found in the calls for papers both for the Research Track and for the Semantic Web In Use track. Posters and demos are intended to convey a scientific result or work in progress and are not intended as advertisements for software packages. Authors submitting a full paper to another track in ISWC 2008 may also submit the same work for consideration in the Demo/Poster track, either before or after result notification for the full paper. For example, a demo can be provided for an accepted paper, or a poster can be used to present work that was insufficiently mature for the research track. At least one of the Poster/Demo authors must be a registered participant at the conference, and attend the Poster/Demo Session to present the work. The abstracts for all accepted posters and demos will be given to all conference attendees and published on the conference web site. They will not be included in the formal proceedings. Poster and demo abstracts must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For complete details, see Springer’s Author Instructions. Abstracts must be submitted in PDF format. Abstracts will not be accepted in any other format. Abstracts that exceed the page limit will be rejected without review. Please submit papers at the ISWC 2008 submission page. Copyright forms will be required for all accepted papers. Details will be sent with notifications of acceptance. Further Information -------------------------- For further information and for any questions regarding the event or submissions, please contact the Posters and Demonstration co-chairs Chris Bizer and Anupam Joshi. Posters and Demonstrations co-chairs -------------------------- Chris Bizer, Free University of Berlin, Germany Anupam Joshi, University of Maryland, Baltimore County, USA From lidingpku at gmail.com Mon Apr 14 16:33:08 2008 From: lidingpku at gmail.com (lidingpku) Date: Mon, 14 Apr 2008 10:33:08 -0400 Subject: 2nd CFP - [7th International Semantic Web Conference] [ISWC2008] Message-ID: <48036B24.5050806@gmail.com> --------------------------------------------------------------------- The 7th International Semantic Web Conference (ISWC 2008) 26-30 October 2008, Karlsruhe, Germany http://iswc2008.semanticweb.org/ --------------------------------------------------------------------- The Web continues to grow and new technologies, modes of interactions, and applications are being developed. Building on this growth, Semantic Web technologies aim at providing a shared semantic information space, changing qualitatively our experiences on the Web. As Semantic Web technologies mature and permeate more and more application areas, new research challenges are coming to the fore and some unsolved ones are becoming more acute. These issues include creating and managing Semantic Web content, making Semantic Web applications robust and scalable, organizing and integrating information from different sources for novel uses, making semantics explicit in order to improve our overall experience with information technologies, and thus enabling us to use the wealth of information that is currently available in digital form for addressing our everyday tasks. To foster the exchange of ideas and collaboration, ISWC brings together researchers in relevant disciplines such as artificial intelligence, databases, social networks, distributed computing, web engineering, information systems, natural language processing, soft computing, and human-computer interaction. General Information ----------------------------- ISWC 2008 calls for papers to its research track. The research track solicits the submission of original, principled research papers dealing with both analytical theoretical and practical aspects of Semantic Web research. Papers of the latter type are encouraged to present repeatability of their experiments, and share with the community their data and test harnesses. Topics include, but are not limited to, the following. * Applications of the Semantic Web - Applications with clear lessons learned or evaluations - Semantic Web for large scale applications, desktops or personal information management - Semantic Web technologies for multimedia, sensors, and situational awareness - Semantic Web technologies for P2P, services, agents, grids and middleware * Management of Semantic Web Data - Languages, tools and methodologies for representing and managing Semantic Web data - Database, IR and AI technologies for the Semantic Web - Search, query, integration, and analysis on the Semantic Web - Robust and scalable knowledge management and reasoning on the Web - Machine learning and information extraction for the Semantic Web - Cleaning, assurance, trust, provenance of Semantic Web data, services and processes * Ontologies - Ontology modeling, reuse, extraction, and evolution - Ontology mapping, merging, and alignment - Searching and ranking ontologies - Ontology evaluation * Social Semantic Web - Social networks and processes on the Semantic Web - Semantic Web technologies for collaboration and cooperation - Representing and reasoning about trust, privacy, and security * User Interfaces - Visualization of and interacting with Semantic Web data - Semantic Web content creation and annotation - Mashing up Semantic Web data and processes general questions can be send to iswc2008'at'gmail.com ('at'=@) Important Dates (research track) ----------------------------- * Abstracts due: May 9 * Submissions: May 16 * Rebuttal phase: June 14-16 * Notification: July 11 * Camera ready: August 15 Organization ----------------------------- General chair Tim Finin, US Program chairs Amit Sheth, US Steffen Staab, DE Vice Chairs Abraham Bernstein, CH Vassilis Christophides, GR Thomas Eiter, AT Yolanda Gil, US Vasant Honavar, US Anupam Joshi, US David Karger, US Craig Knoblock, US Riichiro Mizoguchi, JP Enrico Motta, UK Wolfgang Nejdl, DE Natasha Noy, US Uli Sattler, UK Guus Schreiber, NL Luciano Serafini, IT Umberto Straccia, IT Gerd Stumme, DE Frank van Harmelen, NL Kunal Verma, US From sean.bechhofer at manchester.ac.uk Mon Apr 14 16:37:01 2008 From: sean.bechhofer at manchester.ac.uk (Sean Bechhofer) Date: Mon, 14 Apr 2008 15:37:01 +0100 Subject: Call for Participation: Fifth European Semantic Web Conference Message-ID: [APOLOGIES FOR MULTIPLE/CROSS POSTING] Call for Particiation --------------------- 5th European Semantic Web Conference (ESWC 2008) 1-5 June 2008 Tenerife, Spain http://www.eswc2008.org/ Conference program: http://www.eswc2008.org/main_program.html Registration: http://www.eswc2008.org/formulario-registro.jsf Early registration ends April 21, 23:59 CET. ESWC 2008 statistics: 51 research papers, 3 keynotes, 2 panels, 26 demos, PhD symposium, 12 workshops, 7 tutorials ESWC 2008 is the latest in a series of annual, international events focusing on dissemination and discussion of the latest research and applications of Semantic Web technologies. The call for papers saw over 270 submissions and the program committee selected 51 papers to be presented at the conference (see below, also available at http://www.eswc2008.org/papers.html). ESWC 2008 keynotes: ------------------- Garlik: Semantic Technology for the Consumer Nigel Shadbolt (Garlik Ltd. and University of Southampton) From Capturing Semantics to Semantic Search: A Virtuous Cycle Ricardo Baeza-Yates (Yahoo! Research, Barcelona) Foundations of RDF Databases Claudio Gutierrez (Universidad de Chile) ESWC 2008 will feature 2 high-profile panels: --------------------------------------------- Panel 1: Does the Semantic Web Need Web Science? * Moderator: Wendy Hall (Univeristy of Southampton, UK) * Panelists: o Stefan Decker, DERI, Galway o Frank van Harmelen, Free University Amsterdam o Kieron O'Hara, University of Southampton, UK o Nigel Shadbolt, University of Southampton, UK o Guus Schreiber, Free University Amsterdam Panel 2: Social Network Portability: Is the Semantic Web Ready? * Moderator: Harry Halpin (University of Edinburgh, UK) * Panelists: o Dan Brickley, ASemantics o Danny Ayers, Talis o Stefan Decker, DERI, National University of Ireland o Kingsley Idehen, OpenLink o Peter Mika, Yahoo! Inc o Alexandre Passant, LaLIC, University Paris-Sorbonne In addition to the technical research paper track, a system demo track is included, with its own review process. Twenty-six demo papers were selected for presentation during the conference. The following 12 workshops are co-located with ESWC 2008: --------------------------------------------------------- * ESWC-08 Workshop on Advancing Reasoning on the Web: Scalability and Commonsense * International Workshop on Ontologies: Reasoning and Modularity (WORM-08) * 1st international workshop on Identity and Reference on the Semantic Web (IRSW2008) * 1st International Workshop on Knowledge Reuse and Reengineering over the Semantic Web * ESWC-08 Workshop on Semantic Search * 1st International Workshop on Semantic Metadata Management and Applications * 6th International Workshop on Evaluation of Ontology-based tools and the Semantic Web Service Challenge (EON & SWS-Challenge 2008) * 3rd Semantic Wiki Workshop * 4th Workshop on Scripting for the Semantic Web * 1st International Workshop on Collective Semantics: Collective Intelligence & the Semantic Web (CISWeb 2008) * 3rd international Workshop on Semantic Business Process Management * First Workshop on Semantic Interoperability in the European Digital Library ESWC 2008 tutorials: -------------------- * Pattern-based Ontology Design * What Semantic Web researchers need to know about Machine Learning * Linking Social Networks, Microformats, and the Semantic Web using GRDDL * Ontology Engineering and Plug-in Development with the NeOn Toolkit * Transitioning Legacy Applications to Ontologies: A Hands-on Tutorial * Semantic Wikis * Semantic Web Rule Languages and Rule Interchange on the Web Accepted papers: ---------------- (see also http://www.eswc2008.org/papers.html) * Andre Bolles, Marco Grawunder and Jonas Jacobi. Streaming SPARQL - Extending SPARQL to process data streams * Glen Hart, Martina Johnson and Catherine Dolbear. Rabbit: Developing a Control Natural Language for Authoring Ontologies * Yolanda Blanco-Fernandez, José J. Pazos-Arias, Alberto Gil-Solla, Manuel Ramos-Cabrer and Martin Lopez-Nores. Semantic Reasoning: A Path To New Possibilities of Personalization * Edoardo Pignotti, Peter Edwards, Alun Preece, Nick Gotts and Gary Polhill. Enhancing Workflow with a Semantic Description of Scientist's Intent * Boontawee Suntisrivaraporn. Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies * Christoph Kiefer, Abraham Bernstein and André Locher. Adding Data Mining Support to SPARQL via Statistical Relational Learning Methods * Caecilia Zirn, Vivi Nastase and Michael Strube. Distinguishing between Instances and Classes in the Wikipedia Taxonomy * Jun Zhao, Graham Klyne and David Shotton. Building a Semantic Web Image Repository for Biological Research Images * Idoia Berges, Jesus Bermudez, Alfredo Goñi and Arantza Illarramendi. Semantic Web technology for Agent Communication Protocols * Yannis Tzitzikas, Yannis Theoharis and Dimitris Andreou. On Storage Policies for Semantic Web Repositories that Support Versioning * Eero Hyvönen, Kim Viljanen, Jouni Tuominen and Katri Seppälä. Building a National Semantic Web Ontology and Ontology Service Infrastructure- The FinnONTO Approach * Zhe Wang, Kewen Wang, Rodney Topor and Jeff Z. Pan. Restricting and forgetting in DL-Lite * Haofen Wang, Kang Zhang, Qiaoling Liu, Duc Thanh Tran and Yong Yu. Q2Semantic: A Lightweight Keyword Interface to Semantic Search * Kay-Uwe Schmidt, Jörg Dörflinger, Tirdad Rahmani, Mehdi Sahbi, Susan Thomas and Ljiljana Stojanovic. An User Interface Adaptation Architecture for Rich Internet Applications * Silvana Castano, Alfio Ferrara, Davide Lorusso, Tobias Henrik Näth and Ralf Moeller. Mapping Validation by Probabilistic Reasoning * Tomi Kauppinen, Jari Väätäinen and Eero Hyvönen. Creating and Using Geospatial Ontology Time Series in a Semantic Cultural Heritage Portal * Vassilis Spiliopoulos, Alexandros Valarakos and George Vouros. CSR: Discovering Subsumption Relations for the Alignment of Ontologies * Ravish Bhagdev, Sam Chapman, Fabio Ciravegna, Vitaveska Lanfranchi and Daniela Petrelli. Hybrid Search: Effectively Combining Keywords and Ontology-based Searches * Naiwen Lin, Ugur Kuter and Evren Sirin. Web Service Composition with User Preferences * Waseem Akhtar, Jacek Kopecky, Thomas Krennwallner and Axel Polleres. XSPARQL: Traveling between the XML and RDF worlds and avoiding the XSLT Pilgrimage * Reinhard Pichler, Axel Polleres, Fang Wei and Stefan Woltran. dRDF: Entailment for Domain-restricted RDF * Heeryon Cho, Toru Ishida, Toshiyuki Takasaki and Satoshi Oyama. Assisting Pictogram Selection with Semantic Interpretation * Christoph Kiefer and Abraham Bernstein. The Creation and Evaluation of iSPARQL Strategies for Matchmaking * Matthias Bräuer and Henrik Lochmann. An Ontology for Software Models and its Practical Implications for Semantic Web Reasoning * Katharina Siorpaes and Martin Hepp. OntoGame: Weaving the Semantic Web by Online Games * Aurona Gerber, Alta Van der Merwe and Andries Barnard. A Functioal Semantic Architecture * VinhTuan Thai, Siegfried Handschuh and Stefan Decker. IVEA: An Information Visualization Tool for Personalized Exploratory Document Collection Analysis * Bastian Quilitz and Ulf Leser. Querying Distributed RDF Data Sources with SPARQL * Stefan Dietze, Alessio Gugliotta and John Domingue. Conceptual Situation Spaces for Semantic Situation-Driven Processes * Antoine Isaac, Henk Matthezing, Lourens van der Meij, Stefan Schlobach, Shenghui Wang and Claus Zinn. Putting ontology alignment in context: usage scenarios, deployment and evaluation in a library case * Valentin Tablan, Danica Damljanovic and Kalina Bontcheva. A Natural Language Query Interface to Structured Information * Kinga Schumacher, Michael Sintek and Leo Sauermann. Combining Fact and Document Retreival with Spreading Activation for Semantic Desktop Search * Tudor Groza, Siegfried Handschuh, Knud Möller and Stefan Decker. KonneX-SALT: First Steps towards a Semantic Claim Federation Infrastructure * Dumitru Roman, Michael Kifer and Dieter Fensel. WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic * Andreas Langegger, Wolfram Wöß and Martin Blöchl. A Semantic Web middleware for Virtual Data Integration on the Web * Paolo Bouquet, Heiko Stoermer and Barbara Bazzanella. An Entity Naming System (ENS) for the Semantic Web * Gunnar Grimnes, Peter Edwards and Alun Preece. Istance Based clustering of Semantic Web Resources * Claudia d'Amato, Nicola Fanizzi and Floriana Esposito. Query Answering and Ontology Population: an Inductive Approach * Anthony Ventresque, Sylvie Cazalens, Philippe Lamarre and Patrick Valduriez. Improving interoperability using query interpretation in semantic vector spaces * Ernesto Jimenez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider and Rafael Berlanga-Llavori. Safe and Economic re-use of ontologies: a logic-based methodology and tool support * Nicola Fanizzi, Claudia d'Amato and Floriana Esposito. Conceptual Clustering and its Application to Concept Drift and Novelty Detection * Tomas Vitvar, Jacek Kopecky, Jana Viskova and Dieter Fensel. WSMO-Lite Annotations for Web Services * Mauricio Espinoza, Asunción Gómez-Pérez and Eduardo Mena. Enriching an Ontology with Multilingual Information* Riccardo Rosati. Finite model reasoning in DL-Lite * Carlos Pedrinaci, John Domingue and Ana Karla Alves de Medeiros. A Core Ontology for Business Process Analysis * Sebastian Dietzold, Jörg Unbehauen and Sören Auer. xOperator - Interconnecting the Semantic Web and Instant Messaging Networks * Simon Scerri, Siegfried Handschuh and Stefan Decker. Semantic Email as a communication medium for the Social Semantic Desktop * Angela Maduko, Kemafor Anyanwu, Amit Sheth and Paul Schliekelman. Graph Summaries for Subgraph Frequency Estimation * Laura Hollink, Mark van Assem, Antoine Isaac, Shenghui Wang and Guus Schreiber. Two Variations on Ontology Alignment Evaluation: Methodological Issues * Richard Cyganiak, Renaud Delbru, Holger Stenzhorn, Giovanni Tummarello and Stefan Decker. Semantic Sitemaps: Efficient and Flexible Access to Datasets on the Semantic Web * Dimitrios Kourtesis and Iraklis Paraskakis. Combining SAWSDL, OWL- DL and UDDI for Semantically Enhanced Web Service Discovery From c.mueller at jacobs-university.de Tue Apr 15 08:30:57 2008 From: c.mueller at jacobs-university.de (Christine =?ISO-8859-1?Q?M=FCller?=) Date: Tue, 15 Apr 2008 08:30:57 +0200 Subject: 2nd Call for Papers: SCooP Message-ID: <1208241057.5894.11.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? Papers (including position papers and research proposals) on the theoretic aspects of scientific and educational CoPs as well as system descriptions and demonstrations of respective systems, prototypes, and mock ups are welcome! == Important dates == * Submission of title and abstract: May 16th (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 == * Accommodation is available on campus at Jacobs University Bremen, please contact c.mueller at jacobs-university.de for details * Registration via 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 csoares at fep.up.pt Mon Apr 14 18:13:31 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Mon, 14 Apr 2008 17:13:31 +0100 Subject: subscribe Message-ID: <480382AB.9030306@fep.up.pt> From mgasto1 at cs.umbc.edu Tue Apr 15 02:41:24 2008 From: mgasto1 at cs.umbc.edu (Matthew Gaston) Date: Mon, 14 Apr 2008 20:41:24 -0400 Subject: Unsubscribe me! Message-ID: <4803F9B4.5090204@cs.umbc.edu> From mgasto1 at cs.umbc.edu Tue Apr 15 03:11:04 2008 From: mgasto1 at cs.umbc.edu (Matthew Gaston) Date: Mon, 14 Apr 2008 21:11:04 -0400 Subject: Confirmation Request (2885484015) In-Reply-To: References: Message-ID: <480400A8.8090207@cs.umbc.edu> event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the unsubscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2885484015, > 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 klusch at dfki.de Tue Apr 15 10:27:22 2008 From: klusch at dfki.de (Matthias Klusch) Date: Tue, 15 Apr 2008 10:27:22 +0200 Subject: Final CFP: CIA 2008 - Cooperative Information Agents Message-ID: <480466EA.0@dfki.de> *** Apologies for multiple copies due to cross-posting *** VERY LAST CALL FOR PAPERS ********************************************* Twelfth International Workshop on Cooperative Information Agents (CIA 2008) September 10 - 12, 2008 Czech Technical University Prague, Czech Republic ********************************************* http://www.dfki.de/~klusch/cia2008 In cooperation with the ACM - Association for Computing Machinery Special Interest Groups on AI (SIGART), Hypertext, Hypermedia and Web (SIGWEB), Knowledge Discovery in Data (SIGKDD) Co-sponsored by Whitestein Technologies IEEE FIPA Rockwell Automation CERTICON Corp. DERI Galway US Air Force Research Lab ------------------------------------------- IMPORTANT DATES Submission of papers: APRIL 21, 2008 *** Extended *** Notification of authors: May 25, 2008 Camera-ready papers: June 22, 2008 ------------------------------------------- AIMS & SCOPE ============ An intelligent information agent is a computational software entity that is capable of accessing one or multiple, heterogeneous and distributed information sources, proactively searching for, mediating, and maintaining relevant information or services on behalf of its human users, or other collaborating agents, at any time and anywhere. One key challenge of the development of intelligent and cooperative information system is to balance the autonomy of networked data, information, and knowledge sources with the potential payoff of leveraging them by the appropriate use of such agents. Research on intelligent information agents and systems is inherently cross disciplinary covering themes from domains such as AI, HCI, Internet and Web technologies, information systems, information retrieval, P2P computing, and multiagent system technologies. The objective of the international workshop series on cooperative information agents (CIA), since its establishment in 1997, is to provide a small but distinguished, interdisciplinary forum for researchers, programmers, and managers to get informed about, present, and discuss latest high quality results in research and development of agent-based intelligent and cooperative information systems, and applications for the Internet and Web. INVITED SPEAKERS ================ * Katia Sycara (Carnegie Mellon University, USA) * Manfred Hauswirth (DERI Galway, Ireland) * James H. Lawton (US Air Force Research, USA) * Heiko Schuldt (University of Basel, Switzerland) * Sascha Ossowski (Universidad Rey Juan Carlos, Spain) TOPICS ====== Topics of interest are but not exclusive: Systems and Applications of Information Agents Architectures of information agents. Prototypes and fielded systems of information agents. Recommender systems; collaborative cases. Issues of programming information agents. Information Agents and Grid Computing Agent-based grid computing services and infrastructure Agent-based grid computing applications Advanced Means of Collaboration and Coordination Social filtering, cooperative search, group forming, negotiation, etc. Cooperation in real-time and open environments. Self-organising information agent systems. Capability-based mediation between information agents. Collaboration in peer-to-peer networks. Agent-Based Knowledge Discovery Agent-based distributed data mining. Distributed information retrieval, text, and Web mining. Information Agents, Web Services, and the Semantic Web Agent-based information search in the semantic web. Agent-based service discovery and composition. Agent-based service matchmaking and brokering Agent-based distributed ontology mapping and learning. Mobile Information Agents Mobile information agents for distributed information retrieval. Engineering of mobile information agents. Cooperative mobile information agents. Information Agents for Pervasive Computing Environments Visions, applications, surveys; collaborative cases. Rational Information Agents for E-Business Models of economic rationality. Trust and reputation. Issues of privacy of communication, data security, and jurisdiction for agent-mediated trading. Coalition and team formation algorithms. Intelligent Interfaces for Information Agents Human-agent interaction for (systems of) information agents. Life-like characters and avatars. Information agents for/applied to digital cities. Advanced, personalized 3-d visualizations of information spaces. Personalization; collaborative cases. Adaptive Information Agents Adaptive information retrieval; collaborative cases. Reasoning with imperfect information: collaborative cases. Multi-strategy and meta-learning for cooperative information agents. PROCEEDINGS =========== The proceedings of the CIA workshop series are regularly published as volume of the Springer LNCS subseries LNAI (Lecture Notes on Artificial Intelligence). Former volumes of the series are CIA-1997: LNAI 1202, CIA-1998: LNAI 1435, CIA-1999: LNAI 1652, CIA-2000: LNAI 1860, CIA-2001: LNAI 2182, CIA-2002: LNAI 2446, CIA-2003: LNAI 2782, CIA 2004: LNAI 3191, CIA 2005 (MATES 2005): LNAI 3550, CIA-2006: LNAI 4149, CIA-2007: LNAI 4676 The proceedings of the CIA 2008 workshop will be available to the participants of the workshop at the registration desk. JOURNAL SPECIAL ISSUE ===================== Extended versions of selected best papers are planned to be published in a special issue of the International Journal for Multiagent and Grid Systems (IOS Press). SUBMISSION ========== For preparation of (camera-ready) papers to be submitted please follow the instructions for authors available at the Springer LNCS Web page: http://www.springer.de/comp/lncs/authors.html For those not using the Springer LNCS style files: The paper must be formatted in A4 size using 10 point Times. (If Times is not available, please use one of the similar fonts widely used in phototypesetting.) Printing area should be 12.2 x 19.3 cm, and the interline distance should be arranged in such a way that some 42 to 45 lines occur on a full-text page. The length of each paper should not exceed 15 pages. All papers must be written in English. Please submit your paper online at http://www.easychair.org/conferences/?conf=cia2008 In case of problems, please contact us immediately for assistance! Submission of full paper including all figures and references is either in POSTSCRIPT or PDF format only. In any case, please check whether the file is really printable on a postscript-level-2 printer before submitting it. Double Submission Policy ------------------------ Papers submitted to other workshops or conferences with reasonable amount of modified content can be submitted to this workshop. In this case, we would highly appreciate a respective notification by email. CIA 2008 will NOT accept FULL exact copies of papers that are published elsewhere. Papers not conforming to the above requirements may be rejected without review. Submissions will be reviewed for quality, correctness, sufficient originality, and relevance as usual. STUDENT SUPPORT =============== There will be limited financial support provided to a limited number of students as (co-)authors of accepted papers to present their work at the CIA 2008 workshop. AWARDS ====== The CIA 2008 workshop issues both a BEST PAPER award, and a SYSTEM INNOVATION award to acknowledge and honor highly innovative research and development, respectively, in the area of intelligent information agents for the Internet, Web, and semantic Web. The CIA 2008 BEST PAPER AWARD is sponsored by the workshop series. The prize money is 300 euros. The CIA 2008 SYSTEM INNOVATION AWARD is sponsored by Whitestein Technologies. The prize money is 500 euros. Nominations for the CIA 2008 SYSTEM INNOVATION AWARD can be done either by means of regular paper submission, or through an explicit request for nomination by submitting a brief (max. 4 pages, 10pt Times) description of the system in terms of its core functionalities, main techniques used to implement them, and (publicly available reference to) experimental results, as well as a summary of the innovative features in comparison to other existing systems. After confidential voting by the PC, chairs, and sponsors of the award the top ranked nominees will be requested to publicly demonstrate a running prototype of their system at the workshop to all participants and the jury for a final public voting. Both awards will be given during the workshop. ORGANISATION ============ Matthias Klusch (DFKI Saarbruecken, Germany) Michal Pechoucek (CTU Prague, Czech Republic) Axel Polleres (DERI Galway, Ireland) PROGRAM COMMITTEE ================= Wolfgang Benn (TU Chemnitz, Germany) Felix Brandt (U Munich, Germany) Monique Calisti (Whitestein Technologies, Switzerland) Jorge Cardoso (UMA Madeira, Portugal) William Cheung (Hongkong Baptist U, China) Philippe Cudre-Mauroux (MIT, USA) Frank Dignum (U Utrecht, The Netherlands) John Domingue (The Open U, UK) Boi Faltings (EPF Lausanne, Switzerland) Michael Fink (TU Vienna, Austria) Vladimir Gorodetsky (RAS St. Petersburg, Russia) Francesco Guerra (U Modena, Italy) Manfred Hauswirth (DERI Galway, Ireland) Michael Huhns (U South Carolina, USA) Toru Ishida (Kyoto U, Japan) Catholijn Jonker (TU Delft, The Netherlands) Ryszard Kowalczyk (Swinburne U, Australia) Manolis Koubarakis (TU Crete, Greece) Sarit Kraus (Bar-Ilan U, Israel) Victor Lesser (U Massachusetts, USA) Stefano Lodi (U Bologna, Italy) Werner Nutt (FU Bozen-Bolzano, Italy) Sascha Ossowski (U Rey Juan Carlos Madrid, Spain) Aris Ouksel (U Illinois at Chicago, USA) Massimo Paolucci (NTT DoCoMo Europe, Germany) Michael Rovatsos (U Edinburgh, UK) Jeffrey Rosenschein (Hebrew U, Israel) Heiko Schuldt (U Basel, Switzerland) Onn Shehory (IBM Research, Israel) Katia Sycara (Carnegie Mellon U, USA) Walt Truszkowski (NASA Goddard Space Flight Center, USA) Rainer Unland (U Duisburg-Essen, Germany) Frank van Harmelen (VU Amsterdam, The Netherlands) Gottfried Vossen (U Muenster, Germany) Gerhard Weiss (SCCH, Austria) CONTACT ======= Please do not hesitate to contact us, if you have any question regarding this event. Matthias Klusch klusch at dfki.de Michal Pechoucek pechouc at labe.felk.cvut.cz Axel Polleres axel at polleres.net ------------------------------------------------ From ss.datics at gmail.com Tue Apr 15 19:01:45 2008 From: ss.datics at gmail.com (SS DATICS) Date: Tue, 15 Apr 2008 18:01:45 +0100 Subject: Extended deadline: DATICS 2008 - Design, Analysis and Tools for Integrated Circuits and Systems In-Reply-To: <1a9944e10804110252j52595e60w3bb72af3590db40b@mail.gmail.com> References: <1a9944e10804110252j52595e60w3bb72af3590db40b@mail.gmail.com> Message-ID: <1a9944e10804151001p36e468dbr572e4871492b79f8@mail.gmail.com> Apologies for any multiple copies received. We would appreciate it if you could distribute the following call for papers to any relevant mailing lists you know of. CALL FOR PAPERS =============================================================================== Special session: Design, Analysis and Tools for Integrated Circuits and Systems DATICS 2008 July 22-24, 2008 (Crete Island, Greece) http://digilander.libero.it/systemcfl/datics =============================================================================== Aims and Scope -------------- The main target of the Special Session: DATICS 2008 of the WSEAS CSCC multi-conference (http://www.wseas.org/conferences/2008/greece/icc/) is to bring together software/hardware engineering researchers, computer scientists, practitioners and people from industry to exchange theories, ideas, techniques and experiences related to all areas of design, analysis and tools for integrated circuits (e.g. digital, analog and mixed-signal circuits) and systems (e.g. real-time, hybrid and embedded systems). The special session also focuses on the field of formal methods and low power design methodologies for integrated circuits. Topics ------ Topics of interest include, but are not limited to, the following: * digital, analog, mixed-signal designs and test * RF design and test * design-for-testability and built-in self test methodologies * reconfigurable system design * high-level synthesis * EDA tools for design, testing and verification * low power design methodologies * network and system on-a-chip * application-specific SoCs * specification languages: SystemC, SystemVerilog and UML * all areas of modelling, simulation and verification * formal methods and formalisms (e.g. process algebras, petri-nets, automaton theory and BDDs) * real-time, hybrid and embedded systems * software engineering (including real-time Java, real-time UML and performance metrics) Industrial Collaborators ------------------------ DATICS 2008 is partnered with: * CEOL: Centre for Efficiency-Oriented Languages "Towards improved software timing", University College Cork, Ireland ( http://www.ceol.ucc.ie) * International Software and Productivity Engineering Institute, USA ( http://www.intspei.com ) * Intelligent Support Ltd., United Kingdom (http://www.isupport-ltd.co.uk) * Minteos, Italy (http://www.minteos.com) * M.O.S.T., Italy (http://www.most.it) * Electronic Center, Italy (http://www.el-center.com) DATICS 2008 is sponsored by: 1. LS Industrial Systems, South Korea (http://eng.lsis.biz) 2. Solari, Hong Kong (http://www.solari-hk.com) Technical Program Committee --------------------------- * Prof. Vladimir Hahanov, Kharkov National University of Radio Electronics, Ukraine * Prof. Paolo Prinetto, Politecnico di Torino, Italy * Prof. Alberto Macii, Politecnico di Torino, Italy * Prof. Joongho Choi, University of Seoul, South Korea * Prof. Wei Li, Fudan University, China * Prof. Michel Schellekens, University College Cork, Ireland * Prof. Franco Fummi, University of Verona, Italy * Prof. Jun-Dong Cho, Sung Kyun Kwan University, South Korea * Prof. AHM Zahirul Alam, International Islamic University Malaysia, Malaysia * Prof. Gregory Provan, University College Cork, Ireland * Dr. Emanuel Popovici, University College Cork, Ireland * Dr. Jong-Kug Seon, Telemetrics Lab., LG Industrial Systems Co. Ltd., South Korea * Dr. Umberto Rossi, STMicroelectronics, Italy * Dr. Graziano Pravadelli, University of Verona, Italy * Dr. Vladimir Pavlov, International Software and Productivity Engineering Institute, USA * Dr. Jinfeng Huang, Philips & LiteOn Digital Solutions Netherlands, Advanced Research Centre, The Netherlands * Dr. Thierry Vallee, Georgia Southern University, Statesboro, Georgia, USA * Dr. Menouer Boubekeur, University College Cork, Ireland * Dr. Ana Sokolova, University of Salzburg, Austria * Dr. Sergio Almerares, STMicroelectronics, Italy * Ajay Patel (Director), Intelligent Support Ltd, United Kingdom * Monica Donno (Director), Minteos, Italy * Alessandro Carlo (Manager), Research and Development Centre of FIAT, Italy * Yui Fai Lam (Manager), Microsystems Packaging Institute, Hong Kong University of Science and Technology, Hong Kong Important Dates --------------- May 1, 2008: Deadline for submission of completed papers May 15, 2008: Notification of acceptance/rejection to authors Please visit our web-site for further information on the hosting conference of DATICS, submission guidelines, proceedings and publications and international technical reviewers. Best regards, General Chair of DATICS: Dr. K.L. Man (University College Cork, Ireland) and Organising Committee Chair: Miss Maria O'Keeffe (University College Cork, Ireland) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From amilcar at dei.uc.pt Wed Apr 16 03:11:33 2008 From: amilcar at dei.uc.pt (=?UTF-8?Q? F._Am=C3=ADlcar_Cardoso ?=) Date: Wed, 16 Apr 2008 02:11:33 +0100 Subject: =?UTF-8?Q?Postdoctoral_research_positions_=285-year_contracts=29?= =?UTF-8?Q?_=E2=80=93_deadline_19_April_2008?= Message-ID: <05388F43-3E20-46C4-952F-3156341435F3@dei.uc.pt> [Please provide to whom you think that might be interested. We appologize for cross-posting ] ------------------------------------------------------------------------ ----------------------------------- Postdoctoral research positions (5-year contracts) – deadline 19 April 2008 CISUC Centre for Informatics and Systems University of Coimbra Portugal Applications are invited for Senior Researcher positions in the thematic areas of “Cognitive and Media Systems” and others, including a broad area of "Informatics". The positions offered are for a 5-year contract to carry out research work at our research institution, in the University of Coimbra. The research activities involve several Projects, national and International ones, including the possibility of performing research within European Projects. To consult detailed information, official posts and instructions on how to apply, please follow this link: From hermann at lix.polytechnique.fr Wed Apr 16 11:37:16 2008 From: hermann at lix.polytechnique.fr (Miki Hermann) Date: Wed, 16 Apr 2008 11:37:16 +0200 Subject: CFP: CEDAR 2008 workshop Message-ID: <4805C8CC.8060801@lix.polytechnique.fr> *********************************************************************** * * * 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 or 11 August 2008: Workshop Contact For further informations please send an e-mail to Viorica Sofronie-Stokkermans (sofronie [at] mpi-inf.mpg.de) From hr at sti2.at Wed Apr 16 14:39:48 2008 From: hr at sti2.at (Birgit Leiter) Date: Wed, 16 Apr 2008 14:39:48 +0200 Subject: Job ad: Scientific Programmer In-Reply-To: <46FB61E4.4000607@deri.org> References: <46B036DB.1060002@deri.org> <46D3E047.5030103@deri.org> <46FB61E4.4000607@deri.org> Message-ID: <4805F394.1050502@sti2.at> Scientific Programmer for EU FP6 Project MUSING (half time) *Position Summary* The Scientific Programmer will be responsible to provide software development in ongoing and future implementation projects of our institute. The challenge is to develop intelligent software that will be an implementation of the research work conducted at our institute, as well as for demonstrating the scientific results achieved at our institute through such implementations. The scope of your principal implementation tasks will focus on optimizing existing and further development of new tools and applications. The candidate must be detail-oriented and intensely focused, yet maintain flexibility and the ability to express her/his formulated objective view. Due to our international environment, excellent communication skills and fluency in both written and spoken English will be required on a daily basis. *Tasks* * Participation as scientific programmer in the highly renowned EU funded project on semantics enabled business intelligence (MUSING) at STI Innsbruck * Implementation of Reasoning Modules for semantic applications based on Logic Programming (F-Logic) and Description Logics * Development of domain ontologies with integration of probabilistic models. ork on technical documentation, deliverables, and directives. * Work on technical feedback to research and development teams in order to collaboratively improve their skills, abilities and knowledge. * Basic project management responsibilities may also be required, such as project plan maintenance. * Limited travel may be required. *Job Requirements* * Academic degree in computer science, statistics, mathematics or business information * Extensive Java experience, preferably covering Java EE * Strong background in development tools (e.g., Eclipse) and ethodologies, at least basic familiarity with UML * Knowledge about OWL, Experience with ontology editors (e.g., Protege, OntoStudio, WSMT-Studio) * Background in statistics and uncertainty management in AI * Particularly useful would be knowledge on Bayesian Networks * Experience with Logic Programming tools (e.g., XSB, Flora2) * Semantic and Web Service technologies * Proven ability to work independently or in a team environment. * The applicant should be creative and enthusiastic, with excellent communication skills. For further information regarding this position and our institute, please visit the *website of our institute* . We invite you to submit your application to hr at sti2.at . Please include a current resume, a list of publications, and digital versions of your most relevant works. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From gardent at loria.fr Wed Apr 16 19:19:31 2008 From: gardent at loria.fr (Claire Gardent) Date: Wed, 16 Apr 2008 13:19:31 -0400 (EDT) Subject: PhD Studentship in Nancy (France) Message-ID: <20080416171931.A5EBD57A93@loria1.loria.fr> [Apologies for cross-postings] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ PHD STUDENTSHIP NATURAL LANGUAGE GENERATION Closing date: 15th May 2008 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The Research Group in Computational Linguistics, Talaris/inria Nancy Grand Est invites applications for a three-year-funded PhD studentship in Computational Linguistics. The successful candidate is expected to carry out research in the domain of natural language generation. We are looking for candidates with a good honours degree in Computational Linguistics, Computer Science or Information Sciences, with programming skills and some experience in Natural Language Processing. Required skills: - Master's degree in Computational Linguistics or Computer Science - experience in Natural Language Processing - good command of the English language Desirable skills: - experience in natural language generation - familiarity with Haskell and/or Prolog Further particulars and details of how to apply are available at: http://www.inria.fr/travailler/opportunites/doc.en.html The official closing date is May 15, 2008. For further information/queries, please contact: Claire Gardent, Claire.Gardent at loria.fr From ahmed at fsegs.rnu.tn Thu Apr 17 07:42:50 2008 From: ahmed at fsegs.rnu.tn (Ahmed Hadj Kacem) Date: Thu, 17 Apr 2008 07:42:50 +0200 Subject: CFP: CRiSIS 2008 Message-ID: <6.1.1.1.2.20080417073913.02914310@pop.rnu.tn> Dear Colleague, PLEASE ACCEPT OUR APOLOGIES IF YOU RECEIVE MULTIPLE COPIES Enclosed please find the CFP of the Third International Conference on Risks and Security of Internet and Systems, October 28-30, 2008, Tozeur, Tunisia. http://redcad.org/crisis2008. We cordially invite you to submit your paper before the deadline---April 30, 2008. Best regards, Ahmed Hadj Kacem CRiSIS'2008 Organizing Committee chair --------------------------------- CFP, CRiSIS'2008 ---------------------- CALL FOR PAPERS Third International Conference on Risks and Security of Internet and Systems (CRiSIS 2008) http://www.redcad.org/crisis2008/ October 28-30, 2008, Tozeur, Tunisia 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. Topics 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. They include, but are not limited to, the topics of interest below : * Models for specification, design and validation of security and dependability Security and trust models Models for security policies Formal methods, verification and certification UML and MDA for dependable systems Architectures for secure and dependable systems Self-protecting models and architectures Designing business models with security management * Management of security and dependability Management of risks, attacks and vulnerabilities Risk analysis, security and quality assurance Awareness of risks, attacks and vulnerabilities Metrology and security management Key management Infrastructure (PKI) and trust management Monitoring and management of faults Planning and executing of repair actions Adaptability management * Security and dependability techniques and mechanisms Authentication, authorization and audit Privacy protection and anonymization Intrusion detection and fraud detection Traceability and forensics Biometrics, watermarking, cryptography and security protocols Access and information flow controls Use of smartcards and personal devices Firewalls and intrusion detection systems Viruses, worms and malicious codes Attack data acquisition (honeypots) and network monitoring Adaptation of security policies * Secure and dependable systems Security and dependability of operating systems and network components Security of services oriented applications Security dependability of distributed and grid applications Fault tolerance of Internet applications Reflective middleware Security and safety of critical infrastructures Security and privacy of peer-to-peer system, wireless networks, VPN and embedded systems Security of new generation networks, security of Voice-over-IP and multimedia Self-protecting, self-stabilizing and self-healing systems * Secure and dependable applications Security in Electronic payment Security of electronic voting Security in e-health Dependability in e-learning Submission Details 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). Important Dates Paper Submission due: April 30, 2008 Notification of acceptance: May 31, 2008 Final paper submission and authors' registration: June 30, 2008 Conference Dates: October 28-30, 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 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 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, Dallas - USA Habib Youssef, ISIT - Sousse, Tunisia Belhassen Zouari, FS - Tunis, Tunisia Organizing Committee Chafik Aloulou, FSEG - Sfax, Tunisia Ahmed Hadj Kacem, FSEG - Sfax, Tunisia Mohamed Hadj Kacem, ISIM - Sfax, Tunisia Queries Queries may be directed to Chafik ALOULOU Tel: +(216) 74 278 777 (270) Fax:+(216) 74 279 139 E-mail: chafik.aloulou at fsegs.rnu.tn From csoares at fep.up.pt Thu Apr 17 09:28:42 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Thu, 17 Apr 2008 08:28:42 +0100 Subject: [Fwd: CFP - 2nd Planning to Learn Workshop at ICML-08] Message-ID: <4806FC2A.7000703@fep.up.pt> -------- Original Message -------- Subject: CFP - 2nd Planning to Learn Workshop at ICML-08 Date: Mon, 07 Apr 2008 17:54:39 +0100 From: Pavel Brazdil To: 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 including the Call for papers for the 2nd Planning to Learn (PlanLearn) workshop that will be associated with ICML-08 and other co-located conferences (COLT, UAI). Could you please distribute it to your colleagues, contacts and possibly also lists you may have access to? Regards Pavel Brazdil (also for Avi Bernstein and Larry Hunter) ************************************************ *** 2nd PLANNING TO LEARN (PlanLearn) Workshop *** Call for Papers 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 2, 2008 Acceptance notification: May 19, 2008 Final Paper: June 20, 2008 Invited Speakers Ray Mooney, University of Texas at Austin, USA Aswin 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 Aswin 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 diana.soares at gmail.com Thu Apr 17 20:23:45 2008 From: diana.soares at gmail.com (Diana Soares) Date: Thu, 17 Apr 2008 19:23:45 +0100 Subject: subscribe Message-ID: <8f63a60b0804171123p6371f0e1l36057cc57fd37529@mail.gmail.com> -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From diana.soares at gmail.com Thu Apr 17 20:24:45 2008 From: diana.soares at gmail.com (Diana Soares) Date: Thu, 17 Apr 2008 19:24:45 +0100 Subject: Confirmation Request (0316477816) In-Reply-To: References: Message-ID: <8f63a60b0804171124w238bd971q5e6ced73783adeb7@mail.gmail.com> On Thu, Apr 17, 2008 at 7:23 PM, event administration < event-subscribe at in.tu-clausthal.de> wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 0316477816, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alexander.friedmann at uqam.ca Fri Apr 18 05:11:43 2008 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Thu, 17 Apr 2008 23:11:43 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Thu, Apr 17, 2008 at 10:08 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. > \ ================== 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 galk at cs.biu.ac.il Fri Apr 18 09:41:42 2008 From: galk at cs.biu.ac.il (Gal Kaminka) Date: Fri, 18 Apr 2008 10:41:42 +0300 Subject: WARNING! (2985872973) In-Reply-To: References: Message-ID: <200804181041.42758.galk@cs.biu.ac.il> On Friday 18 April 2008, you wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2985872973, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to -- ----------------------------------------------------------------------- Gal A. Kaminka, Ph.D. http://www.cs.biu.ac.il/~galk Assistant Professor Computer Science Dept. Bar Ilan University Only those who see the invisible can do the impossible "Death is an engineering problem." -- Bart Kosko, "Fuzzy Thinking" "But life is not an engineering task." -- Gal A. Kaminka From diwt2008 at dirf.org Sat Apr 19 21:15:56 2008 From: diwt2008 at dirf.org (diwt2008 at dirf.org) Date: Sun, 20 Apr 2008 00:45:56 +0530 Subject: Invitation to submit a paper to ICADIWT2008 - Czech Republic Message-ID: <20080420004556.nnihlzpzfoso88o0@202.54.156.184> The First IEEE International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2008) Ostrava, Czech Republic, August 4-6, 2008 http://www.dirf.org/diwt2008/ ======================================================================== Sponsored by IEEE. All the ICADIWT 2008 papers will be published by IEEE and indexed in IEEE Xplore and EI. The First International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2008) is a forum for scientists, engineers, and practitioners to present their latest research results, ideas, developments and applications in all areas of Computer and Information Sciences, Artificial Intelligence, Mobile Computing, Networking, Web Content Mining, Health Informatics, Bioinformatics and IT Applications across disciplines. The ICADIWT 2008 will include presentations of contributed papers and state-of-the-art lectures by invited keynote speakers. This conference welcomes papers focusing on, but not limited to, the following research topics: Information Retrieval Wireless network Signal processing, pattern recognition and applications Digital image processing Speech processing Parallel and distributed computing and networks Information retrieval and internet applications Software engineering E-technology Artificial intelligence and applications Databases and applications Genetic algorithms Data mining Real time systems Computer and network security E-commerce and E-applications Programming languages Multi-Agent systems Each submission undergoes review for originality, technical merit, methods, experiments etc. Modified versions of the selected papers of the conference will be published in the following peer reviewed journals. 1. Journal of Digital Information Management (ISSN 0972 7272) (http://www.dirf.org/jdim) 2. International Journal of Autonomic Computing (IJAC) http://www.inderscience.com/browse/index.php?journalID=110 ) 3. Journal of Information Assurance and Security (http://www.dynamicpublishers.com/JIAS/openconf.php) 4. Neural Network World (http://www3.cs.cas.cz/nnw) There will be special sessions on the following topics. SPECIAL SESSION Session Name: Business Intelligence and Knowledge Management Session Chair: Ezendu Ariwa London Metropolitan University, United Kingdom Email e.ariwa at londonmet.ac.uk Session Name: Social Information Retrieval Session Chair: Dion Goh Nanyang Technological University Singapore Email ashlgoh at ntu.edu.sg LOCATION : ICADIWT 2008 will be organized by VSB- Technical University of Ostrava, located in Czech Republic in cooperation with the Digital Information Research Foundation (DIRF) located in India. All the activities of the conference will take place at the Czech Republic. IMPORTANT DATES : Submission of papers deadline: April 25, 2008 Notification of acceptance: May 15, 2008 Camera-ready submission and registration: June 15, 2008 Conference date: August 4-6, 2008 COMMITTEES: General Chairs: Vaclav Snasel, VSB-Technical University of Ostrava, Czech Republic Jaroslav Pokorny, Charles University in Prague, Czech Republic Program Chairs Ajith Abraham, Norwegian University of Science and Technology, Norway Khalid Saeed, Faculty of Computer Science, Bialystok University of Technology, Poland Dusan Husek, Institute of Computer Science, Academy of Science, Czech Republic Publicity Chair Pit Pichappan, Al Imam Saud Bin University, Saudi Arabia Proceedings Chair Eyas El-Qawasmeh, Applied Science University, Jordan Organising Committee Jan Martinovi - Faculty of Electrical Engineering and Computer Science, VSB-TU Ostrava,Czech Republic All submissions are online at: http://www.dirf.org/diwt2008/submission.asp _______________________________________________ From lobrst at mitre.org Sat Apr 19 19:39:26 2008 From: lobrst at mitre.org (Obrst, Leo J.) Date: Sat, 19 Apr 2008 13:39:26 -0400 Subject: Final Call for Participation: 2008 Ontology Summit, NIST, Gaithersburg, MD, April 28-29, 2008: Towards an Open Ontology Repository Message-ID: <9F771CF826DE9A42B548A08D90EDEA8003085EF0@IMCSRV1.MITRE.ORG> Apologies for cross-postings. Final Call for Participation: 2008 Ontology Summit, NIST, Gaithersburg, MD, April 28-29, 2008: Towards an Open Ontology Repository Monday, April 21st is the closing day for registration for the Summit if you plan to attend in person. This is because the meeting is being held at a government facility where preregistration is required. Go to http://www.mel.nist.gov/div826/msid/sima/interopweek/meetings.htm to register. From: Steve Ray [mailto:ray at xxxxxxxxxxxx] Sent: Monday, March 17, 2008 10:13 AM To: 'ontolog-invitation at xxxxxxxxxxxxxxxx' On behalf of the Ontolog Forum, the National Center for Ontological Research, and NIST, I would like to invite you to participate in this year's Ontology Summit face-to-face workshop, which is scheduled for April 28-29, 2008, as part of NIST's annual "Interoperability Week" dedicated to a spectrum of issues surrounding effective exchange of information. The theme of the 2008 Ontology Summit this year is the vision of an Open Ontology Repository. This vision forms the basis of the Open Ontology Repository community, and this year's summit will support their effort to produce such a repository (or set of repositories) by serving as a venue - both virtual and face-to-face - in which many of the issues relating to the design, implementation, and ongoing use of an ontology repository can be discussed and ultimately resolved. In particular, these issues will include the themes of the 2006 and 2007 Ontology Summits (Upper Ontologies, and a framework for classification of ontologies, respectively), and this year's summit will thus also provide an opportunity to revisit the conclusions reached at those two prior meetings. Because NIST is a government facility, pre-registration for the physical meeting is required. Please visit http://www.mel.nist.gov/div826/msid/sima/interopweek/meetings.htm before April 21st to register. There is no registration fee. We have already begun addressing the issues through an on-line discussion, which you can catch up with at http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2008. The workshop on April 28th is simply the culmination of this process, so please jump in right away. Steven R. Ray - Ontology Summit host Email: ray at xxxxxxxx Web: http://www.nist.gov/msid -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From demis at dimi.uniud.it Mon Apr 21 16:19:44 2008 From: demis at dimi.uniud.it (demis at dimi.uniud.it) Date: 21 Apr 08 16:19:44 +0200 Subject: DEADLINE EXTENSION: (WWV'08) 4th Int'l Workshop on Automated Specification and Verification of Web Systems Message-ID: <20080421141944.0564AC4723@sole.dimi.uniud.it> *********************************************************************** (DEADLINE EXTENSION) 4th International Workshop on Automated Specification and Verification of Web Systems (WWV'08) Siena, Italy, July 4, 2008 http://wwv08.dimi.uniud.it/ co-located with WFLP'08 http://wflp08.dimi.uniud.it/ *********************************************************************** IMPORTANT DATES Abstract Submission May 5, 2008 <--- EXTENDED! Full Paper Submission May 12, 2008 <--- EXTENDED! Acceptance Notification June 13, 2008 <--- EXTENDED! Camera Ready June 20, 2008 <--- EXTENDED! Workshop July 4, 2008 SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. We solicit original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as: * rule-based approaches to Web site analysis, certification, specification, verification, and optimization * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * abstract interpretation and program transformation applied to the semantic Web * intelligent tutoring and advisory systems for Web specifications authoring * Web quality and Web metrics * Web usability and accessibility * Testing and evaluation of Web systems and applications The WWV series provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. The previous WWV editions were: WWV'07 (Venice, Italy), WWV'06 (Paphos, Cyprus), and WWV'05 (Valencia, Spain). LOCATION WWV'08 will be held in July in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ The workshop will be co-located with WFLP'08: http://wflp08.dimi.uniud.it/ WORKSHOP VENUE Siena is one of the nicest city in Italy. The historical centre is situated on top of a hill and is made of beautiful medieval buildings and churches, all surrounded by ancient walls. The countryside of Siena is worldwide famous for its beauty. The Palio of Siena is probably the most famous historical fair in Italy. The most important event of it is a horse race of medieval origins, which is held in the afternoon of July 2nd in 'Piazza del Campo' in the centre of Siena. For more information, please visit http://www.comune.siena.it/ SUBMISSION PROCEDURE Submissions must be received by May 12, 2008. In addition, an ASCII version of the title and abstract must have been submitted by May 5, 2008. Submitted papers should be at most 15 pages in the Electronic Notes in Theoretical Computer Science (ENTCS) style, and should include an abstract and the author's information. See the author's instructions of ENTCS style at http://www.entcs.org. Papers should be submitted electronically via the web-based submission site http://www.easychair.org/conferences/?conf=wwv08 PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. After the workshop, the final proceedings are going to be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). PROGRAM CO-CHAIRS Demis Ballis University of Udine, Italy Santiago Escobar Technical University of Valencia, Spain WORKSHOP CHAIR Michele Baggi University of Siena, Italy INVITED SPEAKERS Rosario Pugliese Università degli Studi di Firenze, Italy I.V. Ramakrishnan Stony Brook University, USA PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia, Spain Demis Ballis University of Udine, Italy Gilles Barthe INRIA Sophia-Antipolis, France Wlodzimierz Drabent IDA, Linköpings Universitet, Sweden IPI PAN, Polish Academy of Sciences, Poland Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy Mario Florido University of Porto, Portugal Thomas A. Henzinger EPFL, Switzerland Maria Jose Hidalgo University of Sevilla, Spain Temur Kutsia RISC, Linz, Austria Massimo Marchiori University of Padova, Italy Catherine Meadows Naval Research Laboratory, USA Antonio Vallecillo University of Malaga, Spain From paul-workshop at tcs.inf.tu-dresden.de Tue Apr 22 12:25:04 2008 From: paul-workshop at tcs.inf.tu-dresden.de (PAuL 2008) Date: Tue, 22 Apr 2008 12:25:04 +0200 Subject: PAuL 2008 CfP Deadline Extension Message-ID: <480dbd00.NDQaSo2yC0vJm4xj%paul-workshop@tcs.inf.tu-dresden.de> [Apologies for multiple copies] *************************************************************************** DEADLINE EXTENSION: 28th of April CALL FOR PAPER Third International Workshop on Probabilistic Automata and Logics (PAuL 2008) Affiliated with ICALP 2008 July, 6th, 2008, Reykjavik, Iceland http://wwwtcs.inf.tu-dresden.de/~groesser/PAuL08/index_paul08.html *************************************************************************** SCOPE There is a recent trend to study probabilistic extensions of traditional concepts of automata-theory and logics. The applications of such probabilistic formalisms cover the analysis of randomized protocols, biological systems, multi-agent systems with uncertainties, security protocols, speech recognition, logic programming, description logics for the semantic web, and many more. The goal of this workshop is to bring together researchers that are interested in the foundations of probabilistic automata and probabilistic logics and their applications. The topics of interests include * probabilistic finite or omega-automata as language-acceptors (composition operators, algorithms, minimization, efficiency, learning algorithms, etc.) * probabilistic automata and variants thereof as formal models for systems with randomization, stochastic assumptions, or uncertainties, (specification techniques, modelling languages, equivalences and preorders, composition operators, verification algorithms, etc.) * logics to reason about probabilistic phenomena such as randomized behaviors, probabilistic knowledge, uncertainties, etc. (algorithms and proof systems for satisfiablity, axiomatization, model checking, expressiveness, etc.) * stochastic games * applications of probabilistic automata or logics PROGRAM COMMITEE Christel Baier, co-chair (Technische Universitaet Dresden, Germany) Marcus Groesser, co-chair (Technische Universitaet Dresden, Germany) Joseph Halpern (Cornell University, USA) Marek Karpinski (Universitaet Bonn, Germany) Antonin Kucera (Masaryk University, Czech Republic) Annabelle McIver (Macquarie University, Sydney, Australia) Catuscia Palamidessi (LIX, Ecole Polytechnique, France) INVITED SPEAKERS N.N. SUBMISSIONS Submissions are encouraged in two categories, namely regular papers and presentation papers. * A regular paper submission has to be original, previously unpublished work. It must not be submitted elsewhere and must not exceed 15 pages. * A presentation paper submission is a report on recent or ongoing work. There is no restriction as for previous/future publication of the content of a presentation. A presentation submission should consist of at least 4 and at most 12 pages. One author of each accepted paper will be expected to present it at the workshop. For submissions please use the PAuL08 submission page at http://www.easychair.org/conferences/?conf=paul08 handled by the EasyChair conference system. All submissions will be refereed at standard. PUBLICATION The revised version of accepted regular papers will be published online in an Elsevier ENTCS volume devoted to the ICALP 2008 workshops. The accepted presentation papers will not be published. IMPORTANT DATES Paper Submission: April 28, 2008 Author Notification: June 02, 2008 Final Version: June 22, 2008 Workshop: July 6, 2008 Final ENTCS Version due: July 31, 2008 (only regular papers) CONTACT See the workshop homepage http://wwwtcs.inf.tu-dresden.de/~groesser/PAuL08/index_paul08.html for further information. Please send all correspondence regarding the workshop to the organizers Christel Baier: baier at tcs.inf.tu-dresden.de Marcus Groesser: groesser at tcs.inf.tu-dresden.de From axel.polleres at deri.org Tue Apr 22 13:56:33 2008 From: axel.polleres at deri.org (Axel Polleres) Date: Tue, 22 Apr 2008 12:56:33 +0100 Subject: [dip-all] 4TH REASONING WEB SUMMER SCHOOL (RW 2008): Call for participation (online applications open now!) Message-ID: <480DD271.1050103@deri.org> ***APOLOGIES FOR MULTIPLE POSTINGS*** ======================================= 4TH REASONING WEB SUMMER SCHOOL (RW 2008): Call for participation (online applications open now!) 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. _______________________________________________ dip-all mailing list dip-all at lists.deri.org http://lists.deri.org/mailman/listinfo/dip-all From esslli2008 at science.uva.nl Tue Apr 22 20:04:46 2008 From: esslli2008 at science.uva.nl (ESSLLI 2008) Date: Tue, 22 Apr 2008 20:04:46 +0200 (MEST) Subject: Early Registration Deadline: 1 May 2008. ESSLLI 2008, Hamburg (Germany), 4-15 August 2008 Message-ID: ESSLLI 2008 European Summer School in Logic, Language and Information Freie und Hansestadt Hamburg, Germany 4 - 15 August 2008 http://www.illc.uva.nl/ESSLLI2008/ EARLY REGISTRATION DEADLINE: 1 MAY 2008 ! ESSLLI is the annual meeting point for the whole community of Logic, Language and Information: the leading figures of our field are teaching courses and presenting their research in workshops; publishers are not only unveiling their newest books and journals but also scouting for future authors of publications; and junior and senior scientists meet for joint work on hard problems. Many logicians have met their future PhD supervisor or employer at an ESSLLI. ESSLLI 2008 in Hamburg is particularly good value-for-money: the relatively low (early) registration rate of 324 EUR for students, the cheap accommodation options (the lowest at around 250 EUR for the full two weeks), and an excellent connectivity by bus, train and budget airlines will make Hamburg 2008 affordable for young researchers who could not come to other ESSLLIs before. The early registration deadline is THURSDAY 1 MAY 2008. If you register and pay before the deadline, you will benefit from the early registration rate of 324 EUR for students or 399 EUR for non-students. Also keep in mind that the most attractive accommodation options will be booked very early. We hope to see many of you in Hamburg next August. If there are any further questions, don't hesitate to send an e-mail to esslli2008 at science.uva.nl. If you wish to subscribe to the ESSLLI 2008 Newsletter, please check http://www.illc.uva.nl/ESSLLI2008/Newsletter/ From saras_vady at yahoo.com Wed Apr 23 11:21:04 2008 From: saras_vady at yahoo.com (p. sarasvady) Date: Wed, 23 Apr 2008 02:21:04 -0700 (PDT) Subject: First IEEE IACDIWT -Final CFP Message-ID: <354307.55109.qm@web52608.mail.re2.yahoo.com> Final Call for Papers The First IEEE International Conference on the Application of Digital Information and Web Technologies (ICADIWT 2008) The First IEEE International Conference on the Application of Digital Information and Web Technologies (ICADIWT 2008) is a forum for scientists, engineers, and practitioners to present their latest research results, ideas, developments and applications in all areas of Computer and Information Sciences, Artificial Intelligence, Mobile Computing, Networking, Web Content Mining, Health Informatics, Bioinformatics and IT Applications across disciplines. The ICADIWT 2008 will include presentations of contributed papers and state-of-the-art lectures by invited keynote speakers. The proceedings willl be published by IEEE and indexed by Xplore. This conference welcomes papers focusing on, but not limited to, the following research topics: Information Retrieval Wireless network Signal processing, pattern recognition and applications Digital image processing Speech processing Parallel and distributed computing and networks Information retrieval and internet applications Software engineering E-technology Artificial intelligence and applications Databases and applications Genetic algorithms Data mining Real time systems Computer and network security E-commerce and E-applications Programming languages Multi-Agent systems LOCATION : ICADIWT 2008 will be organized by VSB- Technical University of Ostrava, located in Czech Republic in cooperation with the Digital Information Research Foundation (DIRF) located in India. All the activities of the conference will take place at the Czech Republic. IMPORTANT DATES : Submission of papers deadline: May 05, 2008 Notification of acceptance: May 25, 2008 Camera-ready submission and registration: June 15, 2008 Conference dates: August 4-6, 2008 COMMITTEES: General Chairs: Vaclav Snasel, VSB-Technical University of Ostrava, Czech Republic Jaroslav Pokorny, Charles University in Prague, Czech Republic Program Chairs Ajith Abraham, Norwegian University of Science and Technology, Norway Khalid Saeed, Faculty of Computer Science, Bialystok University of Technology, Poland Dusan Husek, Institute of Computer Science, Academy of Science, Czech Republic Publicity Chair Pit Pichappan, India Proceedings Chair Eyas El-Qawasmeh, Applied Science University, Jordan Organising Committee Jan Martinovi - Faculty of Electrical Engineering and Computer Science, VSB-TU Ostrava,Czech Republic Submission : All submissions at http://www.dirf.org/diwt2008/submission.asp ------------------------------------------------------------- --------------------------------- Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it now. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From demis at dimi.uniud.it Wed Apr 23 18:01:36 2008 From: demis at dimi.uniud.it (demis at dimi.uniud.it) Date: 23 Apr 08 18:01:36 +0200 Subject: DEADLINE EXTENSION: (WFLP'08) 17th Int'l Workshop on Functional and (Constraint) Logic Programming Message-ID: <20080423160136.315D83FC210@sole.dimi.uniud.it> =================================================================== (DEADLINE EXTENSION) WFLP 2008 17th International Workshop on Functional and (Constraint) Logic Programming Siena, Italy, July 3-4, 2008 http://wflp08.dimi.uniud.it/ co-located with WWV'08 http://wwv08.dimi.uniud.it/ =================================================================== IMPORTANT DATES Abstract Submission May 2, 2008 <-- EXTENDED! Full Paper Submission May 7, 2008 <-- EXTENDED! Acceptance Notification May 27, 2008 Camera Ready June 11, 2008 Workshop July 3-4, 2008 SCOPE The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the integration of the two paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The previous WFLP editions are: WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). LOCATION WFLP'08 will be held in July in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ The workshop will be co-located with WWV'08: http://wwv08.dimi.uniud.it/ WORKSHOP VENUE Siena is one of the nicest city in Italy. The historical centre is situated on top of a hill and is made of beautiful medieval buildings and churches, all surrounded by ancient walls. The countryside of Siena is worldwide famous for its beauty. The Palio of Siena is probably the most famous historical fair in Italy. The most important event of it is a horse race of medieval origins, which is held in the afternoon of July 2nd in 'Piazza del Campo' in the centre of Siena. For more information, please visit http://www.comune.siena.it/ TOPICS WFLP'08 solicits papers in all areas of functional and (constraint) logic programming, including but not limited to: * Foundations: formal semantics, rewriting and narrowing, constraint solving, dynamics, type theory * Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, objects * Implementation: abstract machines, parallelism, compile-time and run-time optimizations, interfacing with external languages * Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, meta-programming * Software Engineering: design patterns, specification, verification and validation, debugging, test generation * Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming * Applications: declarative programming in education and industry, domain-specific languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, deductive databases, advanced programming environments and tools SUBMISSIONS and PROCEEDINGS Authors are invited to submit papers of at most 15 pages (pdf or postscript formats) presenting original, not previously published works. Submission categories include regular research papers, short papers (not more than 8 pages) describing on-going work, and system descriptions. Papers should be submitted electronically via the web-based submission site http://www.easychair.org/conferences/?conf=wflp2008 Preliminary proceedings will be available at the workshop. Selected authors will be invited to submit a full version of their papers after the workshop. Accepted contributions are going to be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). INVITED SPEAKER Dale Miller Ecole Polytechnique, Paris (France) PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia (Spain) Marco Comini University of Udine (Italy) Rachid Echahed CNRS,laboratoire LIG, Grenoble (France) Moreno Falaschi (Chair) University of Siena (Italy) Michael Hanus Christian-Albrechts-UniversitŠt zu Kiel (Germany) Tetsuo Ida University of Tsukuba (Japan) Herbert Kuchen Westfalische Wilhelms-Universitat Munster (Germany) Francisco Lopez Fraguas Universidad Complutense de Madrid (Spain) Wolfgang Lux Westfalische Wilhelms-Universitat Munster (Germany) Mircea Marin University of Tsukuba (Japan) Juan J. Moreno-Navarro Universidad Politecnica de Madrid (Spain) Alicia Villanueva Technical University of Valencia (Spain) ORGANIZING COMMITTEE Michele Baggi University of Siena, Italy Demis Ballis University of Udine, Italy Tommaso Flaminio University of Siena, Italy Maddalena Poneti University of Siena, Italy Elisa Tiezzi (Chair) University of Siena, Italy ==================================================================== From easss08 at gmail.com Wed Apr 23 18:13:55 2008 From: easss08 at gmail.com (EASSS'08) Date: Wed, 23 Apr 2008 17:13:55 +0100 Subject: EASSS'08 - European Agent Systems Summer School - Registration Deadline Approaching! Message-ID: ============================================================ Final Call For Participation ** Last Chance to Resgister with a Discount ** 10th European Agent Systems Summer School (EASSS 2008) New University of Lisbon, Portugal 5 - 9 May 2008 (week before AAMAS'08) Late Registration Deadline: 25th of April Sponsors: IFAAMAS, FCT, CENTRIA and APPIA. http://centria.di.fct.unl.pt/events/easss08/ ============================================================ As its very successful predecessors, EASSS'08 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. EASSS consists of a mixture of introductory and advanced courses delivered by internationally leading experts in multi-agent systems, and it covers the full range of theoretical and practical aspects of multi-agent systems. EASSS'08 will comprise the following courses: * Introduction to Multiagent Systems * Logics for Multiagent Systems * Trust and Reputation in Multiagent Systems * Service Oriented Agents * Introduction to Game Theory and Mechanism Design * Foundations of Institutions * Agents and Arguments * Computational Complexity in Multiagent Systems * Planning in Multiagent Systems * What Coalitions Can Achieve * Agent Oriented Software Engineering * Automated Negotiations in Electronic Markets * Agent Based Simulation for Social Studies * Normative Multiagent Systems * Wireless Sensor Networks and Multiagent Systems * Agent Swarms Generating Short-term Forecasts and Increasing Situational Awareness This summer school is open to anyone from academia or industry. More information can be found at the webpage. Inquiries can be sent to easss08 at gmail.com ============================================================ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Nuno.David at iscte.pt Wed Apr 23 21:33:39 2008 From: Nuno.David at iscte.pt (Nuno David) Date: Wed, 23 Apr 2008 20:33:39 +0100 Subject: CFP IBERAMIA 2008, 14-17 October, Lisbon, Portugal Message-ID: <030201c8a578$f85f41b0$45220a0a@b> ********************************************************************** IBERAMIA 2008 - SECOND CALL FOR PAPERS The 11th edition of the Ibero-American Conference on Artificial Intelligence October 14-17, 2008 Lisbon University Institute - ISCTE, Lisbon, Portugal http://www.adetti.pt/events/IBERAMIA2008 ********************************************************************** NEWS * Submission to Iberamia is via the ConfMaster System, which will be available online in the next few days. * Funded by APPIA and AEPIA, Iberamia will give student best papers award. Eligible papers must have a student as first author. * AEPIA will offer a number of scholarships for students having acepted papers to attend the conference. It covers registration, travel and other expenses. * Christian Lemaitre (LANIA, México), R. Michael Young (NCSU, USA) and Miguel Dias (Microsoft LDMC, Lisbon) are IBERAMIA 2008 invited speakers * see the call for papers: http://adetti.iscte.pt/events/IBERAMIA2008/Main.php?contents=call.htm Deadline for paper submission: 19th MAY 2008 * see the call for workshop proposals: http://adetti.iscte.pt/events/IBERAMIA2008/Main.php?contents=call_workshop_proposals.htm Deadline for workshop proposals: 12th May 2008 * Visit Lisbon! http://adetti.iscte.pt/events/IBERAMIA2008/Main.php?contents=visit_lisbon.htm -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Nuno.David at iscte.pt Thu Apr 24 01:47:25 2008 From: Nuno.David at iscte.pt (Nuno David) Date: Thu, 24 Apr 2008 00:47:25 +0100 Subject: CFP EPOS 2008 - EPISTEMOLOGICAL PERSPECTIVES ON SIMULATION - Lisbon Message-ID: <004301c8a59c$89c85d30$b64c0a0a@b> ************************************************************** FINAL CALL FOR PAPERS - E P O S 2008 III Edition of Epistemological Perspectives on Simulation - A Cross-Disciplinary Workshop October 2-3, 2008 Lisbon University Institute - ISCTE, Portugal http://epos2008.dcti.iscte.pt *************************************************************** IMPORTANT DATES May 1 - Submission of papers or extended abstracts June 15 - Notification of acceptance August 31 - Receipt of full papers October 2-3 - Workshop, Lisbon, Portugal SUBMISSION Prospective authors are requested to send either extended abstracts (about 1,000 words) or papers (about 5,000-8,000 words), to Nuno.David at iscte.pt by 1st of May 2008. Authors should include all the details about surname, first name, affiliation, mailing address, country, and e-mail inside the e-mail text (but not inside the abstract or paper). Each contribution will be reviewed by the program committee, according to a blind reviewing process. See the full call for papers at the workshop web page: http://epos2008.dcti.iscte.pt PROGRAM COMMITTEE Alex Smajgl, CSIRO Sustainable Ecosystems - Australia Alexis Drogoul, Pôle Intelligence Artificielle, Paris VI - France Camile Roth, Department of Sociology of the University of Surrey - France/UK Carlos Gershenson, Center Leo Apostel for Interdisciplinary Studies - Belgium Edmund Chattoe, Department of Sociology, University of Oxford - UK Flaminio Squazzoni, Department of Social Sciences, University of Brescia - Italy Frédéric Amblard, Université Toulouse 1 Sciences Sociales - France Helder Coelho, Department of Informatics, University of Lisbon - Portugal Jaime Simão Sichman, University of São Paulo - Brazil Johannes Lenhard, Center for Interdisciplinary Research, Universität Bielefeld - Germany José Castro Caldas, Center for Social Studies, University of Coimbra - Portugal Keith Sawyer, Deparment of Education, Washington University in St. Louis - USA Klaus G. Troitzsch, Universität Koblenz-Landau - Germany László Gulyás, Hungarian Academy of Science - Hungary Matteo Richiardi, LABORatorio Riccardo Revelli, Centre for Employment Studies - Italy Nick Gotts, The Macaulay Institute, Aberdeen, Scotland - UK Nicole Saam, Universität Erfurt, Faculty of Economics, Law, and Social Sciences - Germany Nigel Gilbert, Department of Sociology, University of Surrey - UK Nuno David, Lisbon University Institute, ISCTE - Portugal Olga Pombo, Center for the Philosophy of Sciences, University of Lisbon - Portugal Petra Ahrweiler, National Institute of Technology Management, University College Dublin, Ireland Pierre Livet, Département de Philosophie, Université de Provence - France Pietro Terna, Facoltà di Economia - Università di Torino - Italy Riccardo Boero, University of Torino - Italy Rosaria Conte, Istituto di Psicologia del CNR - Italy Scott Moss, Centre for Policy Modelling, Manchester Metropolitan University Business School - UK Ulrich Frank, Duisburg-Essen University - Germany Wander Jager, University of Groningeng - Netherlands From ruy at cin.ufpe.br Sun Apr 27 18:55:13 2008 From: ruy at cin.ufpe.br (ruy at cin.ufpe.br) Date: Sun, 27 Apr 2008 13:55:13 -0300 (BRT) Subject: WoLLIC 2008 - Call for Participation Message-ID: <38539.189.1.6.77.1209315313.squirrel@webmail.cin.ufpe.br> [** sincere apologies for duplicates **] Call for Participation 15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008) http://wollic.org/wollic2008/ Heriot-Watt University Edinburgh, Scotland July 1-4, 2008 >>>>>> SPECIAL: There will be a screening of George Csicsery's "JULIA ROBINSON AND HILBERT'S TENTH PROBLEM" http://zalafilms.com/films/juliarobinson.html with kind permission of the film director EARLY REGISTRATION DEADLINE: 15 May 2008 WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Fifteenth WoLLIC will be held in the campus of Heriot-Watt Univ, Edinburgh, Scotland, from July 1 to July 4, 2008. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira de Logica (SBL). SCIENTIFIC PROGRAMME Research contributions will be presented on all pertinent subjects, with particular emphasis in cross-disciplinary topics: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. INVITED SPEAKERS Olivier Danvy (BRICS) Anuj Dawar (Cambridge, UK) Makoto Kanazawa (Nat Inst of Informatics, Japan) Sam Lomonaco (U Maryland Baltimore) Mark Steedman (Edinburgh U) Henry Towsner (CMU) Nikolay Vereshchagin (Moscow) PROGRAMME COMMITTEE Lev Beklemishev (Utrecht) Eli Ben-Sasson (Technion) Xavier Caicedo (U Los Andes, Colombia) Mary Dalrymple (Oxford) Martin Escardo (Birmingham) Wilfrid Hodges (Queen Mary, U London) (Chair) Achim Jung (Birmingham) Louis Kauffman (Maths, U Ill at Chicago) Ulrich Kohlenbach (Darmstadt) Leonid Libkin (Edinburgh U) Giuseppe Longo (Ecole Normal Superieure, Paris) Michael Moortgat (Utrecht) Valeria de Paiva (PARC, USA) Andre Scedrov (Maths, U Penn) Valentin Shehtman (Inst for Information Transmission Problems, Moscow) Joe Wells (Heriot-Watt U, Scotland) ORGANISING COMMITTEE Mauricio Ayala-Rincon (U Brasilia, Brazil) Fairouz Kamareddine (Heriot-Watt U, Scotland, co-chair) Anjolina de Oliveira (U Fed Pernambuco, Brazil) Ruy de Queiroz (U Fed Pernambuco, Brazil, co-chair) STEERING COMMITTEE S. Abramsky, J. van Benthem, J. Halpern, W. Hodges, D. Leivant, A. Macintyre, G. Mints, R. de Queiroz WEB PAGE wollic.org/wollic2008/ INVITED TALKS Inter-Deriving Semantic Artifacts for Object-Oriented Programming Olivier Danvy and Jaco Johannsen On the Descriptive Complexity of Linear Algebra Anuj Dawar Talks on Quantum Computing Sam Lomonaco On game semantics of the affine and intuitionistic logics Ilya Mezhirov and Nikolay Vereshchagin The Grammar of Scope Mark Steedman CONTRIBUTED TALKS Conjunctive Grammars and Alternating Pushdown Automata Tamar Aizikowitz and Michael Kaminski Expressive Power and Decidability for Memory Logics Carlos Areces, Diego Figueira, Santiago Figueira and Sergio Mera Reasoning with Uncertainty by Nmatrix-Metric Semantics Ofer Arieli and Anna Zamansky A Propositional Dynamic Logic for CCS Programs Mario Benevides and Luis Menasche Schechter Towards Ontology Evolution in Physics Alan Bundy and Michael Chan Interval Additive Generators of Interval T-Norms Gracaliz Dimuro, Benjamin Bedregal, Renata Reiser and Regivan Nunes PDL as a Logic of Belief Revision Jan van Eijck and Yanjing Wang Time Complexity and Convergence Analysis of Domain Theoretic Picard Method Amin Farjudian and Michal Konecny Matching and Alpha-Equivalence for Nominal Terms with Variables and Permutations Christophe Calves and Maribel Fernandez On the formal semantics of IF-like logics Santiago Figueira, Daniel Gorin and Rafael Grimson On a graph calculus for algebras of relations Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso and Petrucio Viana One-and-a-halfth order terms: Curry-Howard and incomplete derivations Murdoch Gabbay and Dominic Mulligan Labelled calculi for Lukasiewicz logics Didier Galmiche and Yakoub Salhi On Characteristic Constants of Theories Defined by Kolmogorov Complexity Shingo Ibuka, Makoto Kikuchi and Hirotaka Kikyo An infinitely-often one-way function based on an average-case assumption Edward Hirsch and Dmitry Itsykson Adversary lower bounds for nonadaptive quantum algorithms Pascal Koiran, Juergen Landes Natacha Portier and Penghui Yao On Second-Order Monadic Groupoidal Quantifiers Juha Kontinen and Heribert Vollmer Using alpha-CTL to specify complex planning goals Silvio Lago Pereira and Leliane Nunes de Barros Hyperintensional Questions Carl Pollard Inference Processes for Quantified Predicate Knowledge Jeff Paris and Soroush Rafiee Rad Skolem theory and Generalized Quantifiers Livio Robaldo --- From ahmed at fsegs.rnu.tn Mon Apr 28 08:13:41 2008 From: ahmed at fsegs.rnu.tn (Ahmed Hadj Kacem) Date: Mon, 28 Apr 2008 08:13:41 +0200 Subject: Extended submission deadline of CRiSIS'2008 Message-ID: <6.1.1.1.2.20080427213608.02480dd0@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 mpavone at dmi.unict.it Mon Apr 28 12:17:29 2008 From: mpavone at dmi.unict.it (Mario Pavone) Date: Mon, 28 Apr 2008 12:17:29 +0200 Subject: International School of Natural Computation - Registration Deadline Friday May 16th, 2008 Message-ID: <20080428121729.j05geuo000skk0ok@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 Mon Apr 28 12:18:55 2008 From: mpavone at dmi.unict.it (Mario Pavone) Date: Mon, 28 Apr 2008 12:18:55 +0200 Subject: International Summer School of Functional Genomics, July 5-19, 2008 - Registration Deadline: April 30th Message-ID: <20080428121855.lgxwepswro44csg4@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 Registration *Deadline*: April 30th, 2008 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 week: "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 April 30, 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 April 30, 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* April 30, 2008. Early payment due: before April 30, 2008. Late payment due after April 30, 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. 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 rza at Cs.Nott.AC.UK Mon Apr 28 12:53:45 2008 From: rza at Cs.Nott.AC.UK (rza at Cs.Nott.AC.UK) Date: 28 Apr 2008 11:53:45 +0100 Subject: subscribe Message-ID: <200804281153.ab12102@pat.Cs.Nott.AC.UK> This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From event-request at in.tu-clausthal.de Mon Apr 28 14:23:30 2008 From: event-request at in.tu-clausthal.de (event Report) Date: Mon, 28 Apr 2008 14:23:30 +0200 Subject: Subscriber niveacf@csc.liv.ac.uk Failed Message-ID: niveacf at csc.liv.ac.uk failed and it has been unsubscribed from the 'event' list From rza at Cs.Nott.AC.UK Mon Apr 28 15:10:20 2008 From: rza at Cs.Nott.AC.UK (rza at Cs.Nott.AC.UK) Date: 28 Apr 2008 14:10:20 +0100 Subject: Confirmation Request (0606979825) Message-ID: <200804281410.aa28873@pat.Cs.Nott.AC.UK> On Apr 28 2008, event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 0606979825, > 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 > > This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From alexander.friedmann at uqam.ca Mon Apr 28 18:14:14 2008 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Mon, 28 Apr 2008 12:14:14 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Sun, Apr 27, 2008 at 10:09 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 dingl at cs.rpi.edu Tue Apr 29 19:00:57 2008 From: dingl at cs.rpi.edu (Li Ding) Date: Tue, 29 Apr 2008 13:00:57 -0400 Subject: CFP - [7th International Semantic Web Conference] [ISWC2008] -- deadline approaching Message-ID: <48175449.30805@cs.rpi.edu> --------------------------------------------------------------------- CFP: The 7th International Semantic Web Conference (ISWC 2008) 26-30 October 2008, Karlsruhe, Germany http://iswc2008.semanticweb.org -------------------------------------------------------------------- Deadlines are approaching: May 9 * Research paper abstract due May 16 * Research Track * Semantic Web in Use Track * Tutorial Proposals * Doctoral Consortium Submission Site is open: (http://iswc2008.semanticweb.org/calls/submissions/) -------------------------------------------------------------------- ISWC 2008 is the 7th International Semantic Web Conference. The purpose of this conference is to promote research and applications of Semantic Web theories, technologies and practices. ISWC 2008 has the following programs: research track, semantic web in use track, poster and demo program, doctoral consortium, semantic web challenge, tutorials, and collocated workshops. ISWC 2008 solicits the submission of original, principled papers dealing with both theoretical and practical aspects of Semantic Web. Papers of the latter type are encouraged to present repeatability of their experiments, and share with the community their data and test harnesses. Topics include, but are not limited to, the following. * Applications of the Semantic Web - Applications with clear lessons learned or evaluations - Semantic Web for large scale applications, - Semantic Web desktops or personal information management - Semantic Web for multimedia and situational awareness - Semantic Web for P2P, services, grids and middleware * Management of Semantic Web Data - Database, IR, AI and machine learning for the Semantic Web - Information extraction for the Semantic Web - Languages for representing Semantic Web data - Tools and methodologies for managing Semantic Web data - Search, query, integration, analysis of Semantic Web data - Scalable knowledge management and reasoning on the Web - Cleaning, assurance, provenance of Semantic Web data * Ontologies - Ontology modeling, reuse, extraction, search and evolution - Ontology mapping, merging, and alignment - Ontology evaluation and ranking * 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 * User Interfaces - Visualization of and interacting with Semantic Web data - Semantic Web content creation and annotation - Mashing up Semantic Web data and processes general questions can be send to iswc2008'at'gmail.com ('at'=@) From Amit1.Goel at intel.com Tue Apr 29 22:17:55 2008 From: Amit1.Goel at intel.com (Goel, Amit1) Date: Tue, 29 Apr 2008 13:17:55 -0700 Subject: BPR 2008: Deadline Extension Message-ID: <36D9DB17C6DE9E40B059440DB8D95F52050BE30F@orsmsx418.amr.corp.intel.com> Dear colleague, The deadline for paper submission to the Bit-Precise Reasoning Workshop, BPR2008, (http://www.bit-precise-reasoning.org/) has been extended to May 5th. We apologize if you receive multiple copies of this email. Regards, Amit Goel and Domagoj Babic From chris at ags.uni-sb.de Wed Apr 30 19:53:32 2008 From: chris at ags.uni-sb.de (Christoph Benzmueller) Date: Wed, 30 Apr 2008 18:53:32 +0100 Subject: Final CFP: UITP'08 - User Interfaces for Theorem Provers Message-ID: <4818B21C.5080308@ags.uni-sb.de> [please apologize for multiple copies] UITP'08 (Final 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 9th, 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 Benzmüller, 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 Lüth, 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/].