From robert at grid.chu.edu.tw Fri May 1 08:35:02 2009 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Fri, 1 May 2009 14:35:02 +0800 Subject: IEEE CSE 2009: Last CFP (April 30 --> May 3rd) Message-ID: <200905010635.n416Z29B003122@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Valentin.Goranko at wits.ac.za Sun May 3 16:16:29 2009 From: Valentin.Goranko at wits.ac.za (Valentin Goranko) Date: Sun, 3 May 2009 16:16:29 +0200 Subject: AutoTab'09: TABLEAUX'09 Workshop on tableaux vs automata: LAST CALL AND EXTENDED DEADLINE FOR SUBMISSIONS In-Reply-To: References: Message-ID: AutoTab'09: LAST CALL AND EXTENDED DEADLINE FOR SUBMISSIONS AutoTab'09 is a TABLEAUX'2009 workshop on "Tableaux versus automata as logical decision methods", to be held in Oslo on July 6, 2009. TOPIC AND OBJECTIVE: Terminating semantic tableaux have served for a long time as one of the practically most efficient types of decision procedures for a wide range of logical systems. On the other hand, automata-based methods for testing satisfiability and model checking for various modal and temporal logics of computations have gained very wide recognition and popularity over the past two decades, because they provide uniform, elegant, and often optimal decision procedures. Furthermore, a number of increasingly efficient automata-based tools have been implemented and used for academic and industrial purposes, and there seem to be a growing perception amongst the formal verification community that these tools are superior and preferable to the tableau-based tools. That perception, however, is not based on systematic comparative analysis, and some practical experience with well-designed tableau-based tools suggest that such perception can sometimes be misleading. Moreover, various optimization techniques, such as on-the-fly methods, draw automata-based algorithms very close to tableau-like procedures, thus strongly suggesting that tableaux and automata are closely related formalisms for deciding logical satisfiability. Yet, few formal technical results to that effect are known, and the scientific discussion on the pros and cons, similarities and differences, comparisons of applicability, efficiency, and performance between tableaux and automata has so far been rather sporadic. The purpose of the workshop is to provide an expert forum for such discussion, to provoke and foster debate between the automata and tableaux communities, and to stimulate further research on the topic. IMPORTANT DATES: Submissions EXTENDED DEADLINE: May 11, 2009 Notification deadline: May 30, 2009 Preliminary programme: June 5, 2009 Final programme: June 12, 2009 Workshop: July 6, 2009 SUBMISSIONS: Submissions for workshop talks are invited by means of extended abstracts within 5 A4 pages in PDF or PS format, using Springer LNCS style. Submissions may be based on new and original, or on already published or submitted work, but they should address the topic of the workshop. Submissions can be uploaded through the EasyChair submission site: https://www.easychair.org/login.cgi?conf=autotab09 The abstracts of the workshop talks will be included in informal proceedings. No formal proceedings are currently planned, but if the workshop attracts sufficiently many good and original contributions, a journal special issue will be organized after the event. WORKSHOP KEYNOTE SPEAKERS: Stephane Demri, CNRS, Cachan, France Rajeev Gore, The Australian National Univ., Canberra, Australia Martin Lange, University of Munich, Germany WORKSHOP PROGRAM COMMITTEE: Franz Baader, TU Dresden, Germany Stephane Demri, CNRS, Cachan, France Valentin Goranko, Univ. of the Witwatersrand, Johannesburg, South Africa Rajeev Gore, The Australian National Univ., Canberra, Australia Martin Lange, University of Munich, Germany Colin Stirling, University of Edinburgh, UK Pierre Wolper, Université de Liege, Belgium FURTHER INFORMATION: TABLEAUX'2009 website: http://heim.ifi.uio.no/martingi/Tableaux09 AutoTab'2009 Workshop website: http://www.maths.wits.ac.za/~goranko/TableauxAutomataWorkshop/TableauxAutomataWorkshop.html ENQUIRIES to: Valentin Goranko (Workshop organizer), goranko at maths.wits.ac.za.

This communication is intended for the addressee only. It is confidential. If you have received this communication in error, please notify us immediately and destroy the original message. You may not copy or disseminate this communication without the permission of the University. Only authorized signatories are competent to enter into agreements on behalf of the University and recipients are thus advised that the content of this message may not be legally binding on the University and may contain the personal views and opinions of the author, which are not necessarily the views and opinions of The University of the Witwatersrand, Johannesburg. All agreements between the University and outsiders are subject to South African Law unless the University agrees in writing to the contrary.

From nurcan at univ-paris1.fr Tue May 5 01:19:50 2009 From: nurcan at univ-paris1.fr (Selmin Nurcan) Date: Tue, 05 May 2009 01:19:50 +0200 Subject: CfP Workshop on Service oriented EA for Enterprise Engineering (EDOC'09) Message-ID: <4.2.0.58.20090505011825.013ca170@asterix.univ-paris1.fr> Dear Colleague, I will be grateful to you for advertising the First Workshop on Service oriented Enterprise Architecture for Enterprise Engineering (SoEA at EE'09), for submitting your work and inviting your colleagues and/or research students to submit their work. SoEA at EE'09 is organised in conjunction with the 13th International Enterprise Computing Conference (EDOC) on September 1st, 2009, Auckland, New Zealand. Proceedings of EDOC 2009 workshops will be published after the conference as ePub by the IEEE Computer Society Conference Publishing Services (CPS) and included in the IEEE Computer Society Digital Library (CSDL) and the IEEE Xplore. The goal of the SoEA at EE'09 workshop is to clarify the relationship between business process management and service provisioning. The objective is twofold: (i) To characterise the strong relationship existing between Business Process Management (BPM) and Service oriented Enterprise Architecture (SoEA) (ii) To develop concepts and methods to assist the engineering and the management of Service-Oriented Enterprise Architectures (SoEA) and their support systems. The Call for Papers can be downloaded from the SoEA at EE'09 Web site : http://crinfo.univ-paris1.fr/users/nurcan/SoEA at EE_2009/ Best regards, Selmin Nurcan SoEA at EE'09 co-organiser **************************************************************************** ******************* Call for Papers First International Workshop on Service oriented Enterprise Architecture for Enterprise Engineering (SoEA at EE) in conjunction with EDOC 2009 September 1st, 2009, Auckland, New Zealand Organizers: Selmin Nurcan – University Paris 1 Panthéon Sorbonne, France Rainer Schmidt – University of Applied Sciences, Aalen, Germany Papers submission deadline: May 31, 2009 Detailed Call for Papers is below. It is also available at http://crinfo.univ-paris1.fr/users/nurcan/SoEA at EE_2009/SoEA at EE_2009_flyer.pdf **************************************************************************** ******************* -------------8<-------------------8<-------------------8<------------------- 8<-------------------8<-------------------8<------------------- SoEA at EE 2009 CALL FOR PAPERS (http://crinfo.univ-paris1.fr/users/nurcan/SoEA at EE_2009/SoEA at EE_2009_flyer.pdf) First International Workshop on Service oriented Enterprise Architecture for Enterprise Engineering (SoEA at EE) in conjunction with EDOC 2009 September 1st, 2009, Auckland, New Zealand https://www.se.auckland.ac.nz/conferences/edoc2009/ Papers submission deadline: May 31, 2009 Organizers: Selmin Nurcan – University Paris 1 Panthéon Sorbonne, France Rainer Schmidt – University of Applied Sciences, Aalen, Germany SCOPE: Services have become an impressive factor for growth and the creation of jobs. 93% of the new jobs created in the U.S. between 1970 and 2000 are jobs in services . Leading enterprises in the U.S. derive more than 50% of their revenues from services. This applies not only to pure services such as transportation but also for material products that are augmented by services such as maintenance, consulting and training. Through services, enterprises stabilize their revenues. There is no accepted general definition of service, but many definitions contain the idea, that a service is “the application of specialized competences (knowledge and skills) for the benefit of another entity, rather than the production of units of output” . Services are more and more considered as part of a so-called service system. A service system is defined “as a value co-production configuration of people, technology, other internal and external service systems, and shared information (such as language, processes, metrics, prices, policies, and laws)”. Therefore it is no surprise that the term service has also become very popular in enterprise computing. However, the term service may have different meanings in enterprise computing. Three flavours of services can be differentiated: technology services, software-services, and business services. 1. Technology services are more hardware flavoured services which are provided using computers. They may have a human addressee but contain many infrastructure services such as providing computing power, storage etc. They are an important topic in management and practice collections such as ITILV3 or standards such as ISO/IEC 20000 have gained a high popularity. 2. Software services are managed in so-called Service-Oriented-Architectures that are a popular paradigm for creating enterprise software. A service in the context of SOA is a special kind of interface for an encapsulated unit of software. 3. Business services are services which directly support business processes. They may be further differentiated into those visible to the customer and those that are not. Business processes can also be developed dynamically (on-the-fly) using business services which are available in a repository for a given business domain. In the field of Information Systems and -in a broader sense- Enterprise Computing, the notion of “Enterprise modelling” refers to a collection of conceptual modelling techniques for describing different facets of the organisation including operational (IS), organisational (business processes, actors, flow of information etc), and teleological (purposes) considerations. Existing enterprise modelling frameworks stress the necessity of representing and structuring enterprise knowledge taking into account all these facets in order to develop IS and IT architectures that enterprises need. The contribution of the software systems to the realization of the business processes and consequently to the objectives of the company is of primary importance. A change in one of these facets of the organization implies multiple impacts on the two other facets. In other words, it seems unrealistic to consider an organizational change without any impact on the information system or an evolution of the IS which does not call into question the processes or even the objectives of the organization. An enterprise architecture,,defines the interactions and articulations between business and information technology and their alignment or congruence. A service-oriented enterprise architecture uses services to describe the articulations of business and information technology. It has to identify the business services needed to support the business processes of the enterprise, and to map the business services to technology and software services . Technology and software services are both called IT services in the following. The enterprise computing systems which shall manage Service-oriented Enterprise Architectures have to support the creation, administration and execution of services. Thus, they must be able to store the service definitions and make them available for a consumer in a service catalogue. The same applies to the so-called service-level agreements that define the quality of service agreed upon with consumers. Upon a service request from a consumer entity, the service support system has to monitor the fulfilment of the service-level agreements and also to provide remediation procedures which contain so-called escalation mechanisms. Furthermore, based on the monitoring, improvement procedures shall be established. GOALS: The goal of the workshop is to clarify the relationship between business process management and service provisioning. The objective of this workshop is twofold: (i) To characterise the strong relationship existing between Business Process Management (BPM) and Service oriented Enterprise Architecture (SoEA) (ii) To develop concepts and methods to assist the engineering and the management of Service-Oriented Enterprise Architectures (SoEA) and their support systems. TOPICS OF INTEREST: During the workshop we will discuss the following topics: 1. Service engineering - Do we need new paradigms to cope with service engineering? - How are business services discovered, defined, composed, adapted? - How are business services assigned to business processes? - How are technology-services discovered, defined, composed, adapted? - How are technology-services assigned to business services? - Are there design patterns for developing service-oriented systems? - How can the MDA/MDD techniques and methods be applied for engineering SoEA? - Which test methods exist for technology-services? - How are business services and technology-services rolled out? - Which change management procedures have to be applied during the deployment of SoEA? 2. Service management - Which benchmarks and key performance indicators should be applied to services? - Which information system architectures are adequate for services? - Which approaches exist for mastering the migration of legacy systems to SoEA? - Which triggers exist and what mechanisms should be applied for escalation? - Which approaches exist for the continual improvement of services? - Which evaluation and validation techniques can be applied for SoEA? 3. Alignment with business strategy - Which interdependencies exist between services and business strategy? - Which concepts and methods are necessary to align services with the business strategy? - Which new potentials to reengineer business processes are created by services? - How are services aligned with compliance requirements? - How are compliance and governance requirements enforced? SUBMISSION: Full papers (8-10 pages in the IEEE-CS format) describing mature results are sought. In addition, short papers (4 pages in the IEEE-CS format) may be submitted to facilitate discussion of recent research results and ongoing projects. The paper selection will be based upon the relevance of a paper to the main topics, as well as upon its quality and potential to generate relevant discussion. All papers published in the EDOC 2009 workshop proceedings must be in the IEEE Computer Society format (http://www.computer.org/portal/site/cscps/ information for authors). It is strongly recommended that all papers are already in this format when they are first submitted to workshops. This gives precise picture of the paper length and avoids rework if the paper is accepted. All papers will be peer reviewed based on the paper. Please submit your paper to Selmin.Nurcan. at univ-paris1.fr Proceedings of EDOC 2009 workshops will be published after the conference as ePub by the IEEE Computer Society Conference Publishing Services (CPS) and included in the IEEE Computer Society Digital Library (CSDL) and the IEEE Xplore. There will be one electronic volume containing proceedings from all workshops. At least one author of each accepted workshop paper will have to register for the whole EDOC 2009 conference and attend the workshop to present the paper. Analogously to previous years, there will be no workshop-only registration at EDOC 2009. If a paper is not presented in the workshop, it will be removed from the workshop proceedings published in the IEEE Xplore digital library. EXPECTED RESULTS: All papers will be published in the workshop wiki before the workshop, so that everybody can learn about the problems that are important for other participants. The workshop will consist of long and short paper presentations, brainstorming sessions and discussions. A workshop report will be created collaboratively using the workshop wiki. IMPORTANT DATES: Paper submission: May 31, 2009 Author notification: July 12, 2009 Camera-ready: July 24, 2009 PROGRAM COMMITTEE : João Paulo A. Almeida - Federal University of Espírito Santo, Brazil Karim Baïna - ENSIAS, Morocco Judith Barrios - Universidad de Los Andes, Venezuela Claudio Bartolini - Palo Alto HP Labs, USA Khalid Benali - Loria, Nancy, France Ilia Bider - IbisSoft, Sweden Remco Dijkman - Eindhoven University of Technology, The Netherlands Francois Habryn - KSRI, University Karlsruhe, Germany Sung-Kook Han - Won Kwang University, South Korea Dimka Karastoyanova - University Stuttgart, Germany Ron Kenett - KPA Ltd., Israel Peter Kueng - Crédit Suisse, Switzerland Lin Liu - Tsinghua University, Beijing, China Christof Lutteroth - University of Auckland, New Zealand Hui Ma - Victoria University of Wellington, New Zealand Selmin Nurcan - University Paris 1 Pantheon Sorbonne, France Hervé Pingaud - Ecole des Mines, Albi, France Gil Regev - EPFL & Itecor, Switzerland Sebastian Richly - University Dresden, Germany Shazia Sadiq - University of Queensland, Australia Rainer Schmidt - University of Applied Sciences, Aalen, Germany Pnina Soffer - University of Haifa, Israel Marco von Mevius - FZI Karlsruhe, Germany -------------8<-------------------8<-------------------8<------------------- 8<-------------------8<-------------------8<------------------- ---------------------------------------------------------------- Selmin NURCAN Maître de Conférences / Associate Professor ---------------------------------------------------------------- The University of Paris 1 Panthéon Sorbonne jointly with the Sorbonne Graduate Business School (IAE) has been running for the last 11 years, a highly successful 2-year Masters programme that is now open to Foreign students http://www.iksem.org ---------------------------------------------------------------- Submit a paper to the Second International Workshop on Business Process Management & Social Software (BPMS2'09) in conjunction with BPM'09 http://crinfo.univ-paris1.fr/users/nurcan/BPMS2_2009/ Deadline: May 22, 2009 All workshop papers will be published by Springer in the LNBIP (Lecture Notes in Business Information Processing) series ---------------------------------------------------------------- Submit a paper to the First International Workshop on Service oriented Architecture Enterprise for Enterprise Engineering (SoEA at EE'09) in conjunction with EDOC'09 http://crinfo.univ-paris1.fr/users/nurcan/SoEA at EE_2009/ Deadline: May 31, 2009 All workshop papers will be published in IEEE Computer Society Proceedings ---------------------------------------------------------------- Don't miss (BPMDS'09) in conjunction with CAISE'09 http://lams.epfl.ch/conference/bpmds09 ---------------------------------------------------------------- Université Paris 1 - Panthéon - Sorbonne Centre de Recherche en Informatique 90, rue de Tolbiac 75634 Paris cedex 13 FRANCE http://crinfo.univ-paris1.fr/users/nurcan Tel : 33 - 1 44 07 86 34 Fax : 33 - 1 44 07 89 54 mailto:nurcan at univ-paris1.fr ---------------------------------------------------------------- IAE de Paris Université Paris 1 - Panthéon - Sorbonne 21, rue Broca 75240 Paris cedex 05 FRANCE Tel : 33 - 1 53 55 27 13 (répondeur) Fax : 33 - 1 53 55 27 01 ---------------------------------------------------------------- To handle yourself, use your head. To handle others, use your heart. ---------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jleite at di.fct.unl.pt Tue May 5 03:59:17 2009 From: jleite at di.fct.unl.pt (Joao Leite) Date: Tue, 5 May 2009 02:59:17 +0100 Subject: LADS'009 - First Call For Papers In-Reply-To: References: Message-ID: ************************************************************************                    FIRST CALL FOR PAPERS               Submission deadline: June 10, 2009  LADS'009 - Second Workshop on Languages, methodologies and Development                  tools for multi-agent Systems              http://centria.di.fct.unl.pt/events/lads009/ Part of MALLOW'009, a federation of workshops on Multi-Agent Logics,                  Languages, and Organisations                      September 7-11, 2009                          Torino, Italy ************************************************************************ Aims and Scope LADS aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. >From a theoretical point of view, theories, methodologies, models and approaches are needed to facilitate the development of multi-agent systems ensuring their predictability and verifications. Moreover, formal declarative models and approaches have the potential of offering solutions satisfying the needs for specifying and design of multi-agent systems. >From a practical point of view, LADS aims to address how multi-agent system specifications or designs can be effectively implemented and tested. To address such issues, the workshop promotes the discussion and exchange of ideas concerning concepts, methodologies, techniques and principles that are important for multi-agent programming technology. Moreover, contributions that combine theoretical aspects with practical ones are gaining more and more attention in important application areas such as the electronic institutions, semantic web, web services, security, grid computing, ambient intelligence, pervasive computing, and electronic contracting. Following the success of LADS’007 (Proceedings published as LNAI 5118, Springer), LADS'009 will offer a rich forum for researchers that are interested in sharing their experiences about formal approaches, languages, engineering and technology aspects of multi-agent systems. This workshop welcomes submissions of original papers concerning all aspects of multi-agent development and deployment. Topics include but are not limited to: • Programming languages for multi-agent systems • Extensions of traditional languages for multi-agent programming • Semantics for multi-agent programming languages • Implementation of social and organisational aspects of MAS • Modal and epistemic logics for agent modelling • Model checking agents and multi-agent systems • Algorithms for multi-agent issues (e.g., coordination, cooperation, negotiation, distributed constraint satisfaction) • Declarative approaches to engineering agent systems • Declarative models of agent beliefs and capabilities • Declarative models of bounded rationality • Declarative paradigms for the combination of heterogeneous agents • Specification and verification logics • Logic programming approaches to agent systems • Methodologies for MAS analysis and design • Agent-oriented requirements analysis and specification • Theoretical and practical aspects of multi-agent programming • Computational complexity of MAS • High-level executable multi-agent specification languages • Agent communication in multi-agent programming • Implementation of social and organisational aspects of MAS • Agent development tools and platforms • Generic tools and infrastructures for multi-agent programming • Interoperability and standards for MAS • Programming of mobile agents • Safety and security for mobile MAS deployment • Fault tolerance and load balancing for mobile MAS • Formal methods for specification and verification of MAS • Verification tools for implementations of MAS • Experimental analysis of declarative agent technologies • Industrial experiences with (declarative) agent technologies • Service-oriented multiagent systems • Protocol specification and conformance checking • Declarative description of contracts and negotiation policies • Application areas for multi-agent programming languages • Applications using legacy systems • Programming MAS for Grid-based applications • Programming MAS for the Semantic Web • Deployed (industrial-strength) MAS • Benchmarks and testbeds for comparing MAS languages and tools • Test and debugging tools and techniques for MAS • Electronic institutions Submissions We encourage the submission of original papers in any of the areas above. We welcome submissions describing: Formal and declarative approaches to specify and design multi-agents systems, Programming languages, tools and techniques that provide effective programming constructs to facilitate the implementation of the essential concepts used in multi-agent systems, Aspects of agent-oriented software engineering such as methodologies, meta-models and software principles, and Multi-agent applications, showing clearly the added-value of multi-agent programming for designers and programmers both in academia and industry. Papers should be written in English, formatted according to the IEEEtran style [http://www.michaelshell.org/tex/ieeetran/], and they should not exceed seven (7) pages including title page, figures, references, etc. Submissions are managed using EasyChair (http://www.easychair.org/conferences/?conf=lads009). Proceedings and post-workshop activities Printed copies of the proceedings will be available at the workshop. We are planning print and electronic post-proceedings of selected and revised LADS'009 papers to be published either as a Springer book in the Lecture Notes in Artificial Intelligence, or a journal special issue. Important dates: - Submission: 10 June 2009 - Notification: 1 July 2009 - Camera-ready: 15 July 2009 - Workshop: 7-11 September 2009 Organising Committee: - Mehdi Dastani - Amal El Fallah Seghrouchni - João Leite - Paolo Torroni Further Enquiries All enquiries should be addressed to lads009 at easychair.org -- --------------------------------------------------------------- Joao Leite FCT-UNL - Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia, Departamento de Informatica e-mail: jleite at di.fc.ul.pt web: http://centria.di.fct.unl.pt/~jleite --------------------------------------------------------------- From dmitry at cs.wits.ac.za Mon May 4 16:12:43 2009 From: dmitry at cs.wits.ac.za (Dmitry Shkatov) Date: Mon, 4 May 2009 17:12:43 +0300 Subject: subscribe Message-ID: <20090504141212.M83515@cs.wits.ac.za>

This communication is intended for the addressee only. It is confidential. If you have received this communication in error, please notify us immediately and destroy the original message. You may not copy or disseminate this communication without the permission of the University. Only authorized signatories are competent to enter into agreements on behalf of the University and recipients are thus advised that the content of this message may not be legally binding on the University and may contain the personal views and opinions of the author, which are not necessarily the views and opinions of The University of the Witwatersrand, Johannesburg. All agreements between the University and outsiders are subject to South African Law unless the University agrees in writing to the contrary.

From dmitry at cs.wits.ac.za Mon May 4 16:59:03 2009 From: dmitry at cs.wits.ac.za (Dmitry Shkatov) Date: Mon, 4 May 2009 17:59:03 +0300 Subject: 1624759227 In-Reply-To: References: Message-ID: <20090504145803.M29307@cs.wits.ac.za> On Mon, 04 May 2009 16:49:49 +0200, 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: 1624759227, > 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 =============================================================== Dr. Dmitry Shkatov Lecturer & Honours and Postgraduate Coordinator School of Computer Science University of the Witwatersrand tel. +27 (0) 11 717 61 78 web: www.cs.wits.ac.za/~dmitry

This communication is intended for the addressee only. It is confidential. If you have received this communication in error, please notify us immediately and destroy the original message. You may not copy or disseminate this communication without the permission of the University. Only authorized signatories are competent to enter into agreements on behalf of the University and recipients are thus advised that the content of this message may not be legally binding on the University and may contain the personal views and opinions of the author, which are not necessarily the views and opinions of The University of the Witwatersrand, Johannesburg. All agreements between the University and outsiders are subject to South African Law unless the University agrees in writing to the contrary.

From aldini at sti.uniurb.it Tue May 5 18:54:50 2009 From: aldini at sti.uniurb.it (Alessandro Aldini) Date: Tue, 5 May 2009 18:54:50 +0200 (CEST) Subject: FOSAD - 9th International Summer School Message-ID: =========================================================================== (Apologies for multiple copies) ** Application Deadline: June 15, 2009 ** %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % NINTH INTERNATIONAL SCHOOL ON % % FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN % % ============================================== % % % % FOSAD 2009 % % http://www.sti.uniurb.it/events/fosad09 % % % % 30 August - 4 September 2009, Bertinoro, Italy % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% FOSAD has been one of the foremost events established with the goal of disseminating knowledge about foundations of security analysis and design to graduate students and young computer scientists from academia or industry. FOSAD 2009 is organized in collaboration with the EU Project IST-15905 Mobius. SCHOOL TOPICS> This year the aim of FOSAD is to offer a good spectrum of current research in cryptography, crypto-protocol analysis, logic in access control, security of Java-like programming languages, wireless network security, resource certification, trust based authorization, monoculture, independence and diversity. SCHOOL PROGRAMME> The 9th edition of FOSAD alternates monographic courses of 4 hours and special sessions dedicated to presentations given by participants who intend to take advantage of the audience for discussing their current research in the area. The lecturers of the monographic course are: * Martin Abadi (Microsoft Research and UCSC, USA) * Rustan Leino (Microsoft Research, USA) * Javier Lopez (University of Malaga, Spain) * Ueli Maurer (ETH Zurich, Switzerland) * David Pichardie (INRIA Rennes Bretagne Atlantique, France) * Erik Poll (Radboud University Nijmegen, The Netherlands) * German Puebla (Technical University of Madrid, Spain) * Fred Schneider (Cornell University, USA) * Luca Vigan� (University of Verona, Italy) Scientific Committee: Roberto Gorrieri (Chair) Sandro Etalle Martin Abadi Javier Lopez Alessandro Aldini Fabio Martinelli Gilles Barthe Catherine Meadows SCHOOL MATERIAL> Proocedings of the lectures will appear as a volume in the tutorial series of Springer LNCS. The volume will also collect material presented at FOSAD 2008. SCHOOL VENUE> The school is organized at the University Residential Center of Bertinoro, Italy. The host venue provides modern conference facilities with computing services and Internet access. SCHOOL DATES> Prospective participants should apply through the FOSAD web page by June 15, 2009. Notification of accepted applicants will be posted by June 18, 2009. Registration to the school is due by July 31, 2009. SCHOOL FEES> The full fee is 900 Euros and covers costs for 7 nights - starting from Sat 29 August 2009 - in double room, half board - breakfast and lunch, dinner of 29 August 2009 included, lunch of 5 September 2009 excluded. Registration includes didactical material from the lectures. SCHOOL GRANTS> A limited amount of grants will be provided to cover part of the expenses, particularly for young researchers from less favoured countries. SCHOOL SPONSORSHIP> We are grateful to: * CNR-IIT, Pisa * EU Project MOBIUS: Mobility, Ubiquity and Security * EU Project SENSORIA: Software Engineering for Service-Oriented Overlay Computers * University of Bologna * EATCS - IT * EEF * ERCIM STM WG * IEEE CS - IT * IFIP WG 1.7 SCHOOL SURROUNDINGS> Related events in the same period: * 12th International Conference on Information Security (ISC) Pisa, September 7-9, 2009 * 20th International Conference on Concurrency Theory (CONCUR) Bologna, September 1-4, 2009 * 7th Conference on Computational Methods in Systems Biology (CMSB) Bologna, August 31 - September 1, 2009 * 7th International Workshop on Security Issues in Concurrency (SecCo) Bologna, September 5, 2009 From k.v.hindriks at tudelft.nl Wed May 6 20:19:55 2009 From: k.v.hindriks at tudelft.nl (Koen Hindriks) Date: Wed, 6 May 2009 20:19:55 +0200 Subject: CfP EUMAS-09 Message-ID: <001401c9ce77$41c17f80$c5447e80$@v.hindriks@tudelft.nl> ***************************************************************** * CALL FOR PAPERS EUMAS-09 * * * * (We apologize if you receive multiple copies of this CfP) * ***************************************************************** Seventh European Workshop on Multi-Agent Systems (EUMAS 2009) Ayia Napa, Cyprus, 17th--18th December 2009 OVERVIEW In the last two decades, we have seen a significant increase of interest in agent-oriented technology. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. Following in the tradition of past EUMAS (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006, Hammamet 2007 and Bath 2008), the aim of this Seventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers and those interested in activities relating to research in the area of autonomous agents and multi-agent systems could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment. IMPORTANT DATES Abstracts due: 14th September 2009 Full papers due: 18th September 2009 Notification: 30th October 2009 Camera-ready submission: 20th November 2009 EUMAS 2009 workshop: 17th/18th December 2009 SUBMISSIONS Submission of papers describing relevant preliminary or completed work are invited. EUMAS 2009 also welcomes papers that are under submission, will be presented or have already been presented at relevant international conferences. We specially invite submissions by students that we think will receive valuable feedback from the the discussion-oriented focus of the workshop. Preliminary student work is welcome; however it has to possess sufficient substance for serving as a discussion basis and therefore has to pass the review cycle in the same way as other work. All submissions should be formatted using Springer LNCS style and have a maximum of 15 pages. We request the submission of title and abstract prior the paper submission for supporting the tight schedule of reviewing. The authors can submit their abstracts and papers through the EUMAS 2009 Easychair submission site: http://www.easychair.org/conferences/?conf=eumas09 The workshop has no formal proceedings; it is intended primarily as a forum for interaction and discussion. The workshop will provide electronic (CD) proceedings. Printed proceedings will be available for an extra fee covering printing costs. Workshop notes will contain all original papers and abstracts of previously published papers. Depending on the quality, we intend to invite a selection of extended versions of unpublished submissions to be included in relevant journal special issues. LOCATION The island of Cyprus is well known for the hospitality of its people and its good weather. The sun shines nearly every day of the year and at the heart of winter temperatures are generally mild, between 10-20 degrees Celsius. Cyprus has a long and very rich history stemming over more than 9000 years. Today, history and modern society are comfortably interwined on the island with world-class resorts within walking distance of well-preserved Greek and Roman archeological sites and other antiquities. Agia Napa is situated in the middle of the beautiful southeastern coastline of Cyprus. All beaches in Agia Napa have been awarded the EU blue flag for their level of cleanliness and facilities offered. Many visitors enjoy swimming in these beaches even during the wintertime. Ayia Napa has changed its image somewhat over the years, from a fishing village to a clubbers' paradise and now has found its place as a multi - cultural town. Cape Greco is a 10 minute drive from the center of Ayia Napa, and is considered one of the most beautiful places on the island offering site seeing, cliff jumping and a variety of other activities. Agia Napa is 30 minutes drive from the island's main international airport at Larnaca. This airport is well connected with most major cities in Europe via scheduled and chartered flights. TOPICS OF INTEREST Topics include but are not limited to: Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence, Applications, Argumentation, Autonomy, Bio-inspired Approaches to Agents and Multi-Agent Systems, Cognitive Models, Collective and Swarm Intelligence, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, E-* Applications, Economic Models, Emergence, Emotion, Formal Models, Game Theoretic Models, Grid Computing, Methodologies, Negotiation, Organisations and Institutions, Proactivity and Reactivity, Protocols, Robotics, Self-organisation, Semantic Web Agents, Agent-based Service Oriented Computing, Agent-oriented Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing, Verification,Virtual Agents. OFFICIALS General Chair Paul Davidsson, Blekinge Institute of Technology, Sweden Program Chair Jordi Sabater-Mir, IIIA-CSIC, Spain Local Organisation (contact: eumas09 at cs.ucy.ac.cy) Antonis Kakas, University of Cyprus, Cyprus George Samaras, University of Cyprus, Cyprus Dimos Dimosthenous, University of Cyprus, Cyprus From hr at sti2.at Wed May 6 13:20:39 2009 From: hr at sti2.at (HR) Date: Wed, 06 May 2009 13:20:39 +0200 Subject: Stellenausschreibung: Wissenschaftliche/r Mitarbeiter/in Kat. 2 Message-ID: <4A017287.3060900@sti2.at> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wjamroga at in.tu-clausthal.de Wed May 6 21:40:45 2009 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Wed, 06 May 2009 21:40:45 +0200 Subject: EUMAS-09 CfP Message-ID: <4A01E7BD.1050403@in.tu-clausthal.de> ***************************************************************** * CALL FOR PAPERS EUMAS-09 * * * * (We apologize if you receive multiple copies of this CfP) * ***************************************************************** Seventh European Workshop on Multi-Agent Systems (EUMAS 2009) Ayia Napa, Cyprus, 17th--18th December 2009 OVERVIEW In the last two decades, we have seen a significant increase of interest in agent-oriented technology. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. Following in the tradition of past EUMAS (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006, Hammamet 2007 and Bath 2008), the aim of this Seventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers and those interested in activities relating to research in the area of autonomous agents and multi-agent systems could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment. IMPORTANT DATES Abstracts due: 14th September 2009 Full papers due: 18th September 2009 Notification: 30th October 2009 Camera-ready submission: 20th November 2009 EUMAS 2009 workshop: 17th/18th December 2009 SUBMISSIONS Submission of papers describing relevant preliminary or completed work are invited. EUMAS 2009 also welcomes papers that are under submission, will be presented or have already been presented at relevant international conferences. We specially invite submissions by students that we think will receive valuable feedback from the the discussion-oriented focus of the workshop. Preliminary student work is welcome; however it has to possess sufficient substance for serving as a discussion basis and therefore has to pass the review cycle in the same way as other work. All submissions should be formatted using Springer LNCS style and have a maximum of 15 pages. We request the submission of title and abstract prior the paper submission for supporting the tight schedule of reviewing. The authors can submit their abstracts and papers through the EUMAS 2009 Easychair submission site: http://www.easychair.org/conferences/?conf=eumas09 The workshop has no formal proceedings; it is intended primarily as a forum for interaction and discussion. The workshop will provide electronic (CD) proceedings. Printed proceedings will be available for an extra fee covering printing costs. Workshop notes will contain all original papers and abstracts of previously published papers. Depending on the quality, we intend to invite a selection of extended versions of unpublished submissions to be included in relevant journal special issues. LOCATION The island of Cyprus is well known for the hospitality of its people and its good weather. The sun shines nearly every day of the year and at the heart of winter temperatures are generally mild, between 10-20 degrees Celsius. Cyprus has a long and very rich history stemming over more than 9000 years. Today, history and modern society are comfortably interwined on the island with world-class resorts within walking distance of well-preserved Greek and Roman archeological sites and other antiquities. Agia Napa is situated in the middle of the beautiful southeastern coastline of Cyprus. All beaches in Agia Napa have been awarded the EU blue flag for their level of cleanliness and facilities offered. Many visitors enjoy swimming in these beaches even during the wintertime. Ayia Napa has changed its image somewhat over the years, from a fishing village to a clubbers' paradise and now has found its place as a multi - cultural town. Cape Greco is a 10 minute drive from the center of Ayia Napa, and is considered one of the most beautiful places on the island offering site seeing, cliff jumping and a variety of other activities. Agia Napa is 30 minutes drive from the island's main international airport at Larnaca. This airport is well connected with most major cities in Europe via scheduled and chartered flights. TOPICS OF INTEREST Topics include but are not limited to: Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence, Applications, Argumentation, Autonomy, Bio-inspired Approaches to Agents and Multi-Agent Systems, Cognitive Models, Collective and Swarm Intelligence, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, E-* Applications, Economic Models, Emergence, Emotion, Formal Models, Game Theoretic Models, Grid Computing, Methodologies, Negotiation, Organisations and Institutions, Proactivity and Reactivity, Protocols, Robotics, Self-organisation, Semantic Web Agents, Agent-based Service Oriented Computing, Agent-oriented Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing, Verification,Virtual Agents. OFFICIALS General Chair Paul Davidsson, Blekinge Institute of Technology, Sweden Program Chair Jordi Sabater-Mir, IIIA-CSIC, Spain Local Organisation (contact: eumas09 at cs.ucy.ac.cy) Antonis Kakas, University of Cyprus, Cyprus George Samaras, University of Cyprus, Cyprus Dimos Dimosthenous, University of Cyprus, Cyprus From areces at pluton.loria.fr Wed May 6 22:53:36 2009 From: areces at pluton.loria.fr (Carlos Areces) Date: Wed, 6 May 2009 22:53:36 +0200 Subject: [CFP] Special Issue of the LJ-IGPL on Hybrid Logics Message-ID: <200905062053.n46KraDL028228@pluton.loria.fr> *************************************************************** Please excuse for multiple posts and distribute as widely as possible *************************************************************** CALL FOR PAPERS Logic Journal of the IGPL Special issue on Hybrid Logic DEADLINE FOR SUBMISSIONS: 31st May 2009 *************************************************************** Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications, as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic. But more generally, the topic of this special issue is not only standard hybrid-logical machinery (like nominals, satisfaction operators, binders, etc.) but also extensions of modal logic that increase its expressive power in one way or other. For more general background on hybrid logic, and many of the key papers, see the Hybrid Logics homepage (http://hylo.loria.fr/). The special issue will welcome papers in a wide range of topics, including description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. We welcome both theoretical work and work describing systems and applications on hybrid logics, broadly conceived. All submissions will be peer reviewed with respect to the usual journal criteria. Authors are invited to submit original, previously unpublished, research papers written in English. SUBMISSION DETAILS: Papers should not exceed 25 pages including references. Authors are required to prepare their submissions in latex, using the style available at http://hylo.loria.fr/content/SI/2009 Submissions should be sent as .pdf files to areces (at) loria.fr DEADLINE FOR SUBMISSIONS: 31st May 2009 GUEST EDITORS: Carlos Areces (INRIA Nancy Grand Est, areces at loria.fr) Patrick Blackburn (INRIA Nancy Grand Est, blackbur at loria.fr) From paolo.torroni at unibo.it Wed May 6 19:17:06 2009 From: paolo.torroni at unibo.it (Paolo Torroni) Date: Wed, 06 May 2009 19:17:06 +0200 Subject: CfP: The Uses of Computational Argumentation Message-ID: <4A01C612.1060709@unibo.it> [please distribute - apologies for cross-postings] The Uses of Computational Argumentation http://people.cs.uu.nl/henry/uses/ 5th-7th November 2009, Washington D.C. as part of the AAAI 2009 Fall Symposium Series Last updated 20-April-2009 Call for Papers We are interested in submissions in all areas relating to argumentation and computation, including, but not limited to: * Applications of argumentation systems * Implementations of argumentation systems * Argumentation and inconsistent information * Argumentation and uncertain information * Argumentation and decision making * Argumentation as an interaction mechanism * Multiagent argumentation * Formal models of argumentation We are particularly interested in hearing of new applications of argumentation, and new areas in which argumentation could be applied. Descriptions of work in progress are welcomed. Submission Details Papers should be submitted (PDF files only, please) to Simon Parsons (parsons at sci.brooklyn.cuny.edu). Submissions should be no more than 6 pages in AAAI format, but shorter position papers are also welcome. The deadline for submissions is Friday 3 July 2009 Info & CfP: http://people.cs.uu.nl/henry/uses/ From dix at tu-clausthal.de Thu May 7 13:42:09 2009 From: dix at tu-clausthal.de (Prof. Dr. Juergen Dix) Date: Thu, 07 May 2009 13:42:09 +0200 Subject: Stellenausschreibung: Wissenschaftliche/r Mitarbeiter/in Kat. 2 In-Reply-To: References: <4A017287.3060900@sti2.at> Message-ID: <4A02C911.6060109@tu-clausthal.de> Administrator of mailing lists of CIG h schrieb: > > Dear Sirs, > your announcement certainly is relevant for the audience of the > Event at CIG mailing list, however its language is German, while the list > language is English. In the case you would still like to distribute > the message via our channel, please repost it in English. > > Best regards, > > Peter Novak, Event at CIG administratot & moderator. > > > On Wed, 06 May 2009 13:20:39 +0200 > HR
wrote: >> Wir suchen ehest möglich auf 4 Jahre >> Wissenschaftliche/r Mitarbeiter/in Kat. 2 Organisationseinheit: >> Forschungsinstitut STI Hauptaufgaben: Konzeption Vorbereitung >> und Durchführung von Kursen (Vorlesungen Übungen Seminaren) >> Ausführung von Forschungsprojekten mit Schwerpunkt Semantic Web >> Betreuung von Studierenden und PraktikantInnen Erforderliche >> Qualifikation: Universitätsabschluss in Informatik >> Forschungsinteressen in Logik Ontology Languages Semantic Web >> Service Semantics in Business Information Systems oder ähnlichen >> Forschungsgebieten Die Bereitschaft formelle Forschung mit >> anwendungsorientierter Forschungsarbeit in nationalen und >> EU-Projekten zu verbinden Die Bereitschaft in einem sehr >> internationalen Team zu arbeiten Sehr gute Englischkenntnisse >> Bewerbung unter: Wir freuen uns auf Ihre schriftliche Bewerbung bis >> 27.05.2009 unter Angabe der Chiffre MIP-5533 am Briefumschlag: >> Universität Innsbruck >> Posteinlaufstelle der Zentralen Dienste >> Innrain 52 >> A-6020 Innsbruck > > Note: Sehr gute Englischkenntnisse Bewerbung unter: ..... J From rcra.aixia.09 at gmail.com Fri May 8 12:43:06 2009 From: rcra.aixia.09 at gmail.com (RCRA09) Date: Fri, 08 May 2009 12:43:06 +0200 Subject: RCRA@AI*IA2009: deadline in one week Message-ID: <4A040CBA.2000903@gmail.com> * ______________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) http://rcra.aixia.it organises the special RCRA session on "Experimentation of Combinatorial Algorithms" at the XI Conference of the Italian Association for Artificial Intelligence (AI*IA 2009) and the 16th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2009) Email: rcra.aixia.09 at gmail.com RCRA group web site: http://rcra.aixia.it/ Workshop web site: http://rcra.aixia.it/rcra2009 * ______________________________________________________________________ * These events follow the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in artificial intelligence. * ______________________________________________________________________ * NEWS!!! This year the RCRA working group organises two events: - RCRA Session @AI*IA 2009. A special session of the XI Conference of the Italian Association for Artificial Intelligence (AI*IA 2009), with formal proceedings published on Springer LNAI - RCRA 2009. The 16th International RCRA workshop with original and already published papers. As in previous editions, authors of papers presented at either event will have the opportunity to participate to the selection of a special issue that will appear on ***Elsevier Journal of Algorithms in Cognition, Informatics and Logic.*** DATES 11-12 december 2009, co-located with AI*IA 2009 http://www.aixia09.unimore.it/ VENUE Reggio Emilia, Italy AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridised with techniques in other areas. Artificial Intelligence tools often exploit or hybridise techniques developed by other research communities, such as Operations Research. In recent years, research in AI has more and more focussed on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilisation of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modelling, and ease of development. Topics of interest include, but are not limited to: * Experimental evaluation of algorithms for o knowledge representation o automated reasoning o planning o scheduling o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o constraint satisfaction o quantified boolean formulae and quantified constraints o modal logics o logic programming o disjunctive logic programming o temporal reasoning o combinatorial optimization * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridisation * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences WORKSHOP CHAIRS * Marco Gavanelli, Università degli Studi di Ferrara, Italy * Toni Mancini, Sapienza Università di Roma, Italy WORKSHOP PROGRAM COMMITTEE To Be Announced HOST ORGANIZATION Università di Modena e Reggio-Emilia, Italy LOCAL COMMITTEE * To be announced SUBMISSIONS This year RCRA will have a regular session in the conference AI*IA 2009, plus an informal workshop. Authors of papers appearing either in the RCRA session of AI*IA or in the RCRA workshop will be invited to submit to a special issue of the Elsevier Journal of Algorithms in Cognition, Informatics and Logic (cf. below). RCRA Session @AI*IA 2009 Authors interested in the RCRA session of AI*IA 2009 are encouraged to submit to AI*IA, indicating clearly that the main topic of the paper is "Experimentation of Combinatorial Algorithms". Papers must describe original work; deadline 15 May 2009. Submission details are available on http://www.aixia09.unimore.it/ Papers accepted to the AI*IA conference will be published as a volume of the Springer Lecture Notes in Artificial Intelligence series. RCRA Workshop Authors are invited to submit either original papers, or papers that appear on conference proceedings (different than AI*IA 2009). Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. At the time of submission, authors are requested to clearly specify whether their submission is original or already published. Workshop submissions must be in PDF format, do not exceed 15 pages, and should be written in LaTeX, using the RCRA 2009 style available on the workshop web site. Submissions will be reviewed by at least three members of the program committee. Papers accepted at the workshop will be electronically published on the workshop web site and as an issue of the CEUR Workshop Proceedings series. Final and detailed submission instructions will be available on the workshop web site soon. SELECTION FOR THE POST-PROCEEDINGS Few weeks after the workshop, authors of papers presented either at the RCRA workshop, or at the RCRA session of AI*IA will have the opportunity to participate to the selection for the post-proceedings by submitting an extended version of their work. Workshop post-proceedings will appear in a special issue of the Elsevier Journal of Algorithms in Cognition, Informatics and Logic, provided that a sufficient amount of high quality papers is collected. All candidate articles must be original: they cannot have already been published in journals, and must contain significant additional material with respect to any previous version already published in formal conference proceedings (including the proceedings of AI*IA 2009). Such papers will go through a second formal selection process, and will be reviewed by at least three reviewers. The selection process will be kept very short, and at most one re-submission stage will be allowed (cf. important dates). Hence, authors are invited to work on their paper mainly before the workshop date. IMPORTANT DATES * Submission to RCRA session @AI*IA: 15 May 2009 * Papers for RCRA workshop: 1 September 2009 * Notification of acceptance/reject: 15 October 2009 * Final version due: 15 November 2009 * RCRA session at AI*IA: 11 December 2009 * RCRA workshop: 12 December 2009 SELECTION FOR POST-PROCEEDINGS Elsevier Journal of Algorithms in Cognition, Informatics and Logic * Extended papers submission deadline: 15 January 2010 * Notification of reviews of the 1st round: 28 February 2010 * Re-submission deadline (for papers not accepted with minor rev.): 15 April 2010 * Final notification of acceptance: 1 May 2010 * Final version due: 15 May 2010 -- RCRA2009: Experimental evaluation of algorithms for solving problems with combinatorial explosion http://rcra.aixia.it/rcra2009 From marieke.huisman at ewi.utwente.nl Mon May 11 11:08:50 2009 From: marieke.huisman at ewi.utwente.nl (Marieke Huisman) Date: Mon, 11 May 2009 11:08:50 +0200 Subject: SAVCBS 2009 Final Call For Papers -- 8th Workshop on Specification and Verification of Component-based Systems (co-located with ESEC/FSE 2009) Message-ID: <4A07EB22.9050605@ewi.utwente.nl> [Please excuse for multiple posts] Call for Papers SAVCBS'09 Workshop at ESEC/FSE 2009, August 25, 2009 http://www.eecs.ucf.edu/SAVCBS/ The sixth workshop on specification and verification of component-based systems is affiliated with ESEC/FSE 2009 and will be held in Amsterdam, The Netherlands, August 25, 2009. Eight page papers are due May 15, 2009. Details on paper submission follow the general description of the workshop below. Theme and Topics of Interest SAVCBS is focused on using formal (i.e., mathematical) techniques to establish a foundation for the specification and verification of component-based systems. Specification techniques are urgently needed to support effective reasoning about systems composed from components. Component-based approaches also underscore the need for scaling advanced verification techniques such as extended static analysis and model checking to the size of real systems. The workshop will consider formalization of both functional and non-functional behavior (such as performance or reliability). Suggested research topics of interest include (but are not limited to): * Techniques for component-based verification or reasoning * Component-based specification languages * Static analysis of components and component compositions * Verification-oriented design methodologies for components * Dynamic checking techniques, including run-time assertion or property checking * Specification and verification of non-functional component behavior (performance, memory, concurrency, etc.) * Unifying formal descriptions of concurrency properties with model-based behavioral descriptions of components * Balancing tradeoffs (automatic/manual verification, soundness/completeness, static/dynamic verification, testing/formal verification, scalability/coverage, etc.) * Theories of component composition * Industrial experience, such as adoption issues, with formal techniques for component-based systems * Case studies of applying formal techniques to component based systems * Educational experience or tactics for formal approaches to component-based systems Submissions should outline the current state of research or practice, describe the most pressing shortcomings, and formulate goals for future development. Challenge Problem One session during the workshop will be devoted to presenting solutions (full or partial) to a challenge problem. This problem will present features that pose difficulties for current specification technologies. The session will be open both to presenters as well as participants of the workshop. Details on the challenge problem will be posted at http://www.eecs.ucf.edu/SAVCBS/2009/challenge.shtml. Solutions should illustrate innovative features of specification or verification as they pertain to this particular problem. Submissions Submissions must not exceed 8 pages. We encourage, but do not require, use of the ACM Conference format. We also suggest that you add page numbers to your submission, to make adding comments easier. Papers will be accepted in PDF or Postscript formats. Papers may be submitted on-line at http://www.easychair.org/conferences/?conf=savcbs09 . We are considering to invite best papers for submission to a journal special issue. Important dates: Paper submission deadline: May 15, 2009 Notification date: June 10, 2009 Final versions: June 20, 2009 See http://www.eecs.ucf.edu/SAVCBS/ for more details. Workshop Program Committee: Marieke Huisman - University of Twente, Netherlands (chair) Jonathan Aldrich - Carnegie Mellon University, USA Marsha Chechik - University of Toronto, Canada Jens Chr. Godskesen - IT University, Denmark Alex Groce - Nasa JPL, USA Dilian Gurov- KTH, Sweden Barbara Jobstmann - EPFL, Switzerland Florian Kammüller - Technical University of Berlin, Germany Joe Kiniry - University College Dublin, Ireland Darko Marinov - University of Illinois at Urbana-Champaign, USA Peter Müller - ETH Zurich, Switzerland John Penix - Google, USA Koushik Sen - University of California, Berkeley, USA Natasha Sharygina - University of Lugano, Switzerland/Carnegie Mellon University, USA Murali Sitaraman - Clemson University , USA From arcoe-09 at aifb.uni-karlsruhe.de Mon May 11 21:55:59 2009 From: arcoe-09 at aifb.uni-karlsruhe.de (ARCOE-09) Date: Mon, 11 May 2009 21:55:59 +0200 Subject: ARCOE-09 Call for Participation Message-ID: <52c479f40905111255q25b63e96nab6f0d0a8c44e68c@mail.gmail.com> ============================= ARCOE-09 at IJCAI-09 July 11-12, 2009 Pasadena, CA, USA CALL FOR EARLY REGISTRATION Register by May 15, 2009 on http://ijcai-09.org/ ============================= ============================= ARCOE-09 PRELIMINARY PROGRAM ** Day 1 (July 11th 2009) 8h30 to 9h: Registration 09h00 to 09h30: Introduction to ARCOE Track 1: COMMON SENSE AND NON-MONOTONIC REASONING 09h30 to 10h30: Invited talk: Small is again beautiful in Description Logics Baader ---Coffee Break (30min)--- 11h00 to 11h30: Inconsistent-Tolerant DL-Lite Reasoning: An Argumentative Approach Moguillansky, Wassermann 11h30 to 12h00: Forgetting for Knowledge Bases in DL-Lite_{bool} Wang, Wang, Topor ---Lunch (2h)--- 14h00 to 14h30: AGM Revision in Description Logics Ribeiro, Wasserman 14h30 to 15h00: First Steps in EL Contraction Booth, Meyer, Varzinczak 15h00 to 16h00: Panel discussion: Theme TBA ---Coffee Break (30min)--- Track 2: CONTEXT AND ONTOLOGY 16h30 to 17h00: Shifting Valence Helps Verify Contextual Appropriateness of Emotions Ptaszynski, Dybala, Shi, Rzepka, Araki 17h00 to 17h30: Context Discovery via Theory Interpretation Kutz, Normann 17h30 to 18h00: Contextualized OWL-DL KB for the management of OWL-S effects Redavid, Palmisano, Iannone, Doran (presentation) ** Day 2 (July 12th 2009) 09h to 10h00: Invited talk: Title TBA McGuinness 10h00 to 10h30: Modeling the External Quality of Context to Fine-tune Context Reasoning in Geo-spatial Interoperability Sboui, Bedard, Badard ---Coffee break (30min)--- 11h00 to 11h30: A Conflict-based Operator for Mapping Revision Qi, Ji, Haase Track 3: AUTOMATED ONTOLOGY EVOLUTION 11h30 to 12h00: Unite: A New Plan for Automated Ontology Evolution in Physics Bundy ---Lunch (2h)--- 14h00 to 14h30: An Architecture of GALILEO: A System for Automated Ontology Evolution in Physics Chan, Bundy 14h30 to 15h00: A Case Study of Ontology Evolution in Atomic Physics as the Basis of the Open Structure Ontology Repair Plan Lehmann 15h00 to 15h30: Atypicalities in Ontologies: Inferring New Facts from Topological Axioms Jouis, Habib, Liu ---Coffee break (30min)--- Track 4: LINKS AND INTEGRATION BETWEEN TRACKS 1 TO 3 16h00 to 17h00: Participants Scientific Discussion 17h00 to 18h00: Plenary Business Meeting, closing of the workshop followed by social activities ============================= Please note that: (1) IJCAI-09 Workshop Cancellation Policy states the following: "If it is necessary to cancel a workshop, IJCAI will refund the workshop fee to registered participants, or give them the option of transferring their workshop registration to another workshop. If at all possible, IJCAI or the workshop organiser will make an attempt to provide accepted workshop participants with an alternate workshop opportunity in which they can present their work.". (2) Preliminary Program may be subject to variations. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From hr at sti2.at Tue May 12 10:29:28 2009 From: hr at sti2.at (HR) Date: Tue, 12 May 2009 10:29:28 +0200 Subject: Job ad: PhD position In-Reply-To: <46D3E047.5030103@deri.org> References: <46B036DB.1060002@deri.org> <46D3E047.5030103@deri.org> Message-ID: <4A093368.6010004@sti2.at> Dear All, STI Innsbruck, University of Innsbruck is currently seeking candidates for the position: Scientific Employee More Information on the job and application procedure can be found at http://orawww.uibk.ac.at/public_prod/owa/karriereportal.karriere_detail?asg_id_in=5533 Best Regards, HR STI Innsbruck From fruh at hs-harz.de Tue May 12 12:29:37 2009 From: fruh at hs-harz.de (Florian Ruh) Date: Tue, 12 May 2009 12:29:37 +0200 Subject: subscribe Message-ID: <4A094F91.4030206@hs-harz.de> Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : fruh.vcf Dateityp : text/x-vcard Dateigröße : 655 bytes Beschreibung: nicht verfügbar URL : -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : smime.p7s Dateityp : application/x-pkcs7-signature Dateigröße : 5618 bytes Beschreibung: S/MIME Cryptographic Signature URL : From fruh at hs-harz.de Tue May 12 12:40:53 2009 From: fruh at hs-harz.de (Florian Ruh) Date: Tue, 12 May 2009 12:40:53 +0200 Subject: Confirmation Request (0239243344) In-Reply-To: References: Message-ID: <4A095235.5040205@hs-harz.de> event administration schrieb: > 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: 0239243344, > 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 Binärdaten wurde abgetrennt... Dateiname : fruh.vcf Dateityp : text/x-vcard Dateigröße : 632 bytes Beschreibung: nicht verfügbar URL : -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : smime.p7s Dateityp : application/x-pkcs7-signature Dateigröße : 5618 bytes Beschreibung: S/MIME Cryptographic Signature URL : From cfp at clip.dia.fi.upm.es Tue May 12 15:09:28 2009 From: cfp at clip.dia.fi.upm.es (CFP) Date: Tue, 12 May 2009 15:09:28 +0200 Subject: FOPARA'09 -- First Call for Papers Message-ID: (Our apologies for possible multiple copies) First Call for Papers International workshop on FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS FOPARA 2009 Eindhoven, The Netherlands November,3 2009 A satellite event of 16th International Symposium on Formal Methods http://www.aha.cs.ru.nl/fopara/ WORKSHOP OBJECTIVES AND SCOPE The workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (time, space) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. The following list of topics is non-exhaustive: * resource analysis for embedded systems, * logical and machine-independent characterisations of complexity classes, * logics closely related to complexity classes, * type systems for controlling complexity, * semantic methods to analyse resources, incl. quasi- and sup- interpretations, * practical applications of resource analysis. Up to now a few similar events have taken place. In 2006, 2008 application-oriented resource analysis workshops ( EmBounded Open Workshop in Budapest, 2006, and Resource Analysis Workshop in Hertfordshir, 2008) were held as affiliated events of International Symposium on the Implementation and Application of Functional Languages (IFL). Participated: University of St. Andrew (UK), Heriot-Watt University of Edinburgh (UK), Ludwig-Maximilians University of Munich (Germany), University Complutense of Madrid (Spain), Politechnical University of Madrid (Spain). Another large group of research schools is presented in series of workshops on Implicit Computational Complexity, see, for instance, WICC'08 in Paris . The series gather researchers working in theoretical foundations of resource analysis, mainly from in France (Universities of Paris Diderot and Paris Nord, LORIA Nancy), Italy (Universities of Bologna and Turin), Norway, Germany and Portugal. FOPARA aims to bringing these various directions in resource analysis together and possibly to extend the community by other groups. IMPORTANT DATES (ALL 2009) * Abstract deadline: July 10, * Paper submission deadline: July 15, * Notification of acceptance: September 11, * Workshop version of the papers: October 11, * Final formal paper submission: November 22. INVITED SPEAKER Sumit Gulwani (http://research.microsoft.com/en-us/um/people/sumitg/), Microsoft Research SUBMISSION AND PUBLICATION Acceptance of articles for presentation at the symposium is based on the pre-workshop refereeing of full papers (16 pages). In addition to the draft symposium proceedings, we plan to publish the revised versions of presented at the workshop papers in a volume of Springer's Lecture Notes in Computer Science. The request for a volume is pending. PROGRAM COMMITTEE * Marko van Eekelen (Radboud University and Open University, NL), PC chair * Olha Shkaravska (Radboud University, NL), PC co-chair * Patrick Baillot (ENS-Lyon, France) * Armelle Bonenfant (IRIT, France) * Ugo Dal Lago (University of Bologna, Italy) * Kevin Hammond (Univ. of St. Andrews, UK) * Martin Hofmann (LMU, Munich, Germany) * Thomas Jensen (IRISA, Rennes, France) * Tamas Kozsik (Eotvos Lorand University of Budapest, Hungary) * Hans-Wolfgang Loidl (LMU, Munich, Germany) * Kenneth MacKenzie (University of Edinburgh, UK) * Jean-Yves Marion (Loria, Nancy, France) * Greg Michaelson (Heriot-Watt University, Edinburgh, UK) * Ricardo Peña (University Complutense Madrid, Spain) * German Puebla (Politechnical University of Madrid, Spain) * Luca Roversi (University of Turin, Italy) * Phil Trinder (Heriot-Watt University, Edinburgh, UK) LOCATION The workshop is a satellite event of the 16th International Symposium on Formal Methods, FM2009. The venue for FM2009 is the Auditorium of the Technische Universiteit Eindhoven. Everything related to the symposium will take place here, including workshops, lunches, and other activities. Technische Universiteit Eindhoven was founded in the 1950s on a patch of uncultivated land near the centre of town. Due to this fortunate circumstance, the university campus is now right in the middle of the fifth largest city in the Netherlands. This means that the railway station, the conference hotels, and other facilities are all within walking distance of the campus, and that during your stay you will have easy access to everything Eindhoven has to offer. From sofronie at mpi-sb.mpg.de Wed May 13 12:13:29 2009 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Wed, 13 May 2009 12:13:29 +0200 (CEST) Subject: ADDCT'09: Deadline extension (Abstract Submission Deadline May 22) Message-ID: ===================================================================== CALL FOR PAPERS: DEADLINE EXTENSION Automated Deduction: Decidability, Complexity, Tractability (ADDCT'09) Workshop affiliated with CADE-22 Montreal, Canada, 2 August 2009 ===================================================================== For complete information- http://www.mpi-inf.mpg.de/~sofronie/addct09 Important Dates --------------- 22 May 2009: Abstract submission (* extended *) 25 May 2009: Paper submission (* extended *) 15 June 2009: Notification 1 July 2009: Final version 2 August 2009: Workshop Topics of interest for ADDCT include (but are not restricted to): ----------------------------------------------------------------- - Decidability: - decision procedures based on logical calculi such as: resolution, rewriting, tableaux, sequent calculi, natural deduction - decidability in combinations of logical theories - Complexity: - complexity analysis for fragments of first- (or higher) order logic - complexity analysis for combinations of logical theories (including parameterized complexity results) - Tractability (in logic, automated reasoning, algebra, ...) - Application domains for which complexity issues are essential (verification, security, databases, ontologies, ...) Submissions are encouraged in one of the following categories: -------------------------------------------------------------- - Original papers (up to 15 pages, LNCS style, including bibliography); - Work in progress (up to 6 pages, LNCS style, without bibliography). - Presentation-only papers Submission of papers is via EasyChair at http://www.easychair.org/conferences/?conf=addct2009 Organizers and Chairs --------------------- Franz Baader (TU Dresden) Silvio Ghilardi (U. Milano) Miki Hermann (Ecole Polytechnique, Palaiseau) Viorica Sofronie-Stokkermans (MPI,Saarbruecken) Ashish Tiwari (SRI International) Contact ------- For further informations please send an e-mail to Viorica Sofronie-Stokkermans sofronie at mpi-inf.mpg.de From tb at imm.dtu.dk Thu May 14 10:22:01 2009 From: tb at imm.dtu.dk (Thomas Bolander) Date: Thu, 14 May 2009 10:22:01 +0200 Subject: 2nd CFP: 6th workshop on "Methods for Modalities" (M4M-6) Message-ID: <4A0BD4A9.4010608@imm.dtu.dk> ==================================================================== SECOND CALL FOR PAPERS 6th Workshop on "Methods for Modalities" (M4M-6) http://m4m.loria.fr/M4M6 Copenhagen, Denmark November 12-14, 2009 ==================================================================== Scope ----- The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. We strongly encourage young researchers and students to submit papers, especially for experimental and prototypical software tools which are related to modal logics. More information about the previous editions can be found at http://m4m.loria.fr/ M4M-6 will be preceded by a two-day mini-course aimed at preparing PhD students and other researchers for participation in the workshop. The mini-course is associated with the FIRST research school (http://first.dk). Paper Submissions ------------------ Authors are invited to submit papers in the following three categories. - Regular papers up to 15 pages, describing original research. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Presentation-only papers, describing work recently published or submitted (no page limit). These will not be included in the proceedings, but pre-prints or post-prints can be made available to participants. Submissions should be made via EasyChair at the following address: http://www.easychair.org/conferences/?conf=m4m6 Final versions of accepted papers will be published online in a volume of Elsevier Electronic Notes in Theoretical Computer Science (ENTCS). A preliminary version of the proceedings will also be available at the workshop. Invited speakers ----------------- To be announced. Important dates --------------- Deadline for submissions: August 24, 2009 Notification: October 5, 2009 Camera ready versions: October 26, 2009 Workshop dates: November 12-14, 2009 Program Committee ----------------- Carlos Areces, INRIA Lorraine Lars Birkedal, IT University of Copenhagen Patrick Blackburn, INRIA Lorraine Thomas Bolander (co-chair), Technical University of Denmark Julian Bradfield, University of Edinburgh Torben Braüner (co-chair), Roskilde University Balder ten Cate, University of Amsterdam Stephane Demri, ENS de Cachan Hans van Ditmarsch, University of Otago Melvin Fitting, City University of New York John Gallagher, Roskilde University Mai Gehrke, Radboud University Nijmegen Silvio Ghilardi, University of Milano Valentin Goranko, University of the Witwatersrand Rajeev Goré, ANU Michael R. Hansen, Technical University of Denmark Andreas Herzig, IRIT Wiebe van der Hoek, University of Liverpool Martin Lange, LMU München Carsten Lutz, Dresden University of Technology Angelo Montanari, University of Udine Valeria de Paiva, Cuill Inc. Renate Schmidt, University of Manchester Thomas Schneider, University of Manchester Carsten Schürmann, IT University of Copenhagen Gert Smolka, Saarland University Anders Søgaard, University of Copenhagen Jørgen Villadsen, Technical University of Denmark Frank Wolter, University of Liverpool Thomas Ågotnes, Bergen University College ================================================================== From alessandro.dalpalu at unipr.it Thu May 14 11:10:19 2009 From: alessandro.dalpalu at unipr.it (Alessandro Dal Palu') Date: Thu, 14 May 2009 11:10:19 +0200 Subject: Call for papers - WCB 09 Message-ID: <200905140937.n4E9bqWt022703@nemo3.cce.unipr.it> (Apologies for multiple copies. Please, re-distribute.) ====================================================================== CALL FOR PAPERS WCB09 Workshop on Constraint Based Methods for Bioinformatics http://www.bioinf.uni-freiburg.de/Events/WCB09/ September 20th, 2009, Lisbon, Portugal associated to CP 2009 ====================================================================== ---------------------------------------------------------------------- Description ---------------------------------------------------------------------- Bioinformatics is a challenging and fast growing area of research, which is of utmost importance for our understanding of life. Major contributions to this discipline can have thousands of positive effects in medicine, agriculture, or industry. To pick out only a few examples, Bioinformatics tackles problems related to: Recognition, analysis, and organization of DNA sequences. For instance, haplotype/pedigree inference, motif localization, constrained and structural alignments, biological systems simulations (for metabolic or regulatory networks), and structure prediction of proteins and RNA. All these problems can be naturally formalized using constraint programming. The main aim of this workshop is twofold. On the one hand, to share recent results in this area. This includes new ideas and/or systems, relying on constraints, but also on other AI techniques like linear programming, mixed Integer Linear Programming, local search, and possibly combinations thereof. On the other hand, to present new challenging problems that were recently formalized and are well-suited for constraint-based methods. Here, we welcome problem proposals that motivate further developments in the field, even if they are still far from having effective solutions. ---------------------------------------------------------------------- Important Dates ---------------------------------------------------------------------- Submission Deadline: June 26th, 2009 Notification to Authors: July 17th, 2009 Camera-ready copy due: August 14th, 2009 Workshop: September 20th, 2009 ---------------------------------------------------------------------- Program Committee ---------------------------------------------------------------------- Rolf Backofen, Freiburg Univ., Germany Pedro Barahona, Univ. Nova de Lisbona, Portugal Alexander Bockmayr, Freie Univ. Berlin, Germany Mats Carlsson SICS, Uppsala Sweden Alessandro Dal Palu' (co-chair), Parma Univ., Italy Agostino Dovier, Udine Univ., Italy Esra Erdem, Sabanci University, Turkey Francois Fages, INRIA Rocquencourt, France Ines Lynce, INESC-ID Lisboa, Portugal Neil Moore, Univ. of St Andrews, UK Enrico Pontelli, NMSU, USA Sebastian Will (co-chair), Freiburg Univ., Germany ---------------------------------------------------------------------- Submission Details ---------------------------------------------------------------------- We appreciate submissions of * Extended Abstracts of new results * Abstracts of ongoing work * Systems presentations (with demos at the workshop) * Summaries of already accepted or recently published results * Well-motivated proposals of bioinformatics problems for constraint based methods in any topic concerning bioinformatics and constraints and close techniques. Submission style is the standard llncs style. The page limit for submissions is 8 pages. Please send the pdf or ps to wcb09 at informatik.uni-freiburg.de ---------------------------------------------------------------------- Participation ---------------------------------------------------------------------- At least one author of each accepted submission is expected to attend the workshop and present the topic. Workshop participants must pay the workshop fee according to CP rules. From damota at info.univ-angers.fr Tue May 12 17:11:16 2009 From: damota at info.univ-angers.fr (Benoit Da Mota) Date: Tue, 12 May 2009 17:11:16 +0200 Subject: subscribe Message-ID: <200905121711.16907.damota@info.univ-angers.fr> From damota at info.univ-angers.fr Tue May 12 17:39:28 2009 From: damota at info.univ-angers.fr (Benoit Da Mota) Date: Tue, 12 May 2009 17:39:28 +0200 Subject: Confirmation Request (0258901834) In-Reply-To: References: Message-ID: <200905121739.28403.damota@info.univ-angers.fr> On mardi 12 mai 2009 17:19:04 you wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 0258901834, > 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 friedmann.alexander at uqam.ca Fri May 15 08:54:48 2009 From: friedmann.alexander at uqam.ca (ALEX FRIEDMANN) Date: Fri, 15 May 2009 02:54:48 -0400 (EDT) Subject: WARNING! (0698344461) In-Reply-To: References: Message-ID: On Sat, 9 May 2009, event administration wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 0698344461, > 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: (514) 987-3000 ext. 3219 Dept. d'Informatique fax: (514) 987-8477 U.Q.A.M. e-mail :alexander dot friedmann dot uqam.ca C.P. 8888 Centre-Ville Montreal Canada, H3C 3P8 From bcseet at ieee.org Sat May 16 18:34:29 2009 From: bcseet at ieee.org (Boon-Chong Seet) Date: Sun, 17 May 2009 04:34:29 +1200 Subject: CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence Message-ID: <008701c9d644$30e8e7a0$eecd5a79@yourbbc104cd11> --------------------------------------------------------------------------------- CFP: 2nd International Workshop on Sensor Networks and Ambient Intelligence --------------------------------------------------------------------------------- 2nd International Workshop on Sensor Networks and Ambient Intelligence In conjunction with PDCAT'09 http://www.cs.hiroshima-u.ac.jp/pdcat09/ December 8-11, 2009, Hiroshima, Japan Call for Papers Sensors are windows to the physical world for ambient intelligence (AmI) applications. The recent emergence of networked sensors as a result of rapid advances in sensor technologies and wireless networks, have set the stage for the realization of smart environments where unobtrusive sensors, either embedded or transportable by mobile carriers, enables fine-grain capture of environmental or ambient information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with capabilities to perceive, reason, learn, and react intelligently to their environment. Such systems in turn are envisioned to have wide ranging applications from intelligent wildlife and building structure monitoring to humanistic and social endevours such as health and elderly care service provisioning. Following the success of the first SeNAmI at PDCAT 2008 in Dunedin, New Zealand, this workshop once again aims to bring together researchers from academia and industry to present and discuss recent trends and advances in sensor networks and ambient intelligence, and from such engagement foster innovations towards technology maturity of sensor-based ambient intelligence systems. Topics of interest include but are not limited to: - Cognitive wireless sensor networks - Cooperative sensor localization and target tracking - Context-aware reasoning and inference for sensor/RFID-based systems - Cross-layer design and optimization of sensor-based AmI systems - Intelligent agents for autonomous sensor network management - Sensor networking in heterogeneous wireless environments - Sensor data fusion for ubiquitous embedded computing - Security, trust, and privacy for autonomous smart spaces - Nature or bio-inspired designs for ambient sensing and intelligence - AmI architectures, platforms, applications, and services - Prototype or testbed implementation and deployment trials Manuscript submission Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair. Please follow the IEEE Computer Society proceedings guidelines to prepare your papers. Maximum page length will be limited to 6 pages. Accepted papers will be included in the conference proceedings of PDCAT'09, which will be published by IEEE Computer Society and automatically included in the IEEE Xplore digital library. The proceedings will also be cited by IEE INSPEC, EI (Compendex), and Thomson ISI. Extended version of selected best papers will be considered for publication in a refereed international journal (TBA). Important dates Paper submission due : July 1, 2009 Acceptance notification : August 10, 2009 Camera-ready due : September 1, 2009 Workshop date : TBA For further details, please visit: http://senami.aut.ac.nz From jlpspi at cs.nmsu.edu Sun May 17 06:29:45 2009 From: jlpspi at cs.nmsu.edu (jlpspi) Date: Sat, 16 May 2009 22:29:45 -0600 Subject: First Call for Papers: DAMP 2010 Message-ID: <200905170430.n4H4UdhH018179@pippo.cs.nmsu.edu> DAMP 2010: Workshop on Declarative Aspects of Multicore Programming Madrid, SPAIN (colocated with POPL 2010) January, 2010 damp10.cs.nmsu.edu SUBMISSION DEADLINE: SEPTEMBER 21, 2009 The advent of multicore architectures has profoundly increased the importance of research in parallel computing. Modern platforms are becoming more complex and heterogenous and novel solutions are needed to account for their peculiarities. Multicore architectures will differ in significant ways from their multisocket predecessors. For example, the communication to compute bandwidth ratio is likely to be higher, which will positively impact performance. More generally, multicore architectures introduce several new dimensions of variability in both performance guarantees and architectural contracts, such as the memory model, that may not stabilize for several generations of product. Programs written in functional or (constraint-)logic programming languages, or in other highly declarative languages with a controlled use of side effects, can greatly simplify parallel programming. Such declarative programming allows for a deterministic semantics even when the underlying implementation might be highly non-deterministic. In addition to simplifying programming this can simplify debugging and analyzing correctness. DAMP 2010 is the fifth in a series of one-day workshops seeking to explore ideas in declarative programming language design that will greatly simplify programming for multicore architectures, and more generally for tightly coupled parallel architectures. The emphasis will be on (constraint-)logic and functional programming, but any declarative programming language ideas that aim to raise the level of abstraction are welcome. DAMP seeks to gather together researchers in declarative approaches to parallel programming and to foster cross fertilization across different approaches. Specific topics include, but are not limited to: * investigation of applications of logic, constraint logic, and functional programing to multicore programing * run-time issues of exploitation of parallelism using declarative programming approaches (e.g., garbage collection, scheduling) * architectural impact on exploitation of parallelism from declarative languages * type systems and analysis for accurately detecting dependencies, aliasing, side effects, and impure features * language level declarative constructs for expressing parallelism * declarative language specification for the description of data placement and distribution * compilation and static analysis techniques to support exploitation of parallelism from declarative languages (e.g., granularity control) * practical experiences and challenges arising from parallel declarative programming * technology for debugging parallel programs * design and implementation of domain-specific declarative languages for multicore programming Submission: Submitted papers papers should not exceed 10 pages in ACM SIGPLAN conference format. Submission is electronic via: http://www.easychair.org/conferences/?conf=damp10 Accepted papers will be published in the ACM Digital Library and in a physical proceedings. Papers must adhere to the SIGPLAN Republication Policy: http://www.sigplan.org/republicationpolicy.htm Concurrent submissions to other conferences, workshops, journals, or similar forums of publication are not allowed. However, DAMP is intended to be a venue for discussion and exploration of works-in-progress, and so publication of a paper at DAMP 2010 is not intended to preclude later publication as appropriate. Additional information about the submission process can be found at the conference web site. Important dates: Abstract submission: Sept. 21 Paper submission: Sept. 25 Notification to authors: Oct. 26 Camera ready: Nov. 9 Program Chair: Enrico Pontelli New Mexico State University General Chairs: Leaf Petersen Intel Corporation Santa Clara, CA, USA Program Committee: Manuel Carro Universidad Politecnica de Madrid Clemens Grelck University of Hertfordshire Haifeng Guo University of Nebraska at Omaha Gabriele Keller University of New South Wales Hans-Wolfgang Loidl Ludwig-Maximilians-Universitat Munchen Leaf Petersen Intel Corporation John Reppy University of Chicago Ricardo Rocha University of Porto Kostis Sagonas National Technical University of Athens Vitor Santos Costa University of Porto Satnam Singh Microsoft Research Philip Trinder Heriot-Watt University Pascal Van Hentenryck Brown University URL: http://damp10.cs.nmsu.edu From marieke.huisman at ewi.utwente.nl Mon May 18 09:19:48 2009 From: marieke.huisman at ewi.utwente.nl (Marieke Huisman) Date: Mon, 18 May 2009 09:19:48 +0200 Subject: Deadline extension: SAVCBS 2009 Message-ID: <4A110C14.9020303@ewi.utwente.nl> [Please excuse for multiple copies] SUBMISSION DEADLINE EXTENDED: MAY 25, 2009 Call for Papers SAVCBS'09 Workshop at ESEC/FSE 2009, August 25, 2009 http://www.eecs.ucf.edu/SAVCBS/ The eighth workshop on specification and verification of component-based systems is affiliated with ESEC/FSE 2009 and will be held in Amsterdam, The Netherlands, August 25, 2009. Eight page papers are due May 15, 2009. Details on paper submission follow the general description of the workshop below. Theme and Topics of Interest SAVCBS is focused on using formal (i.e., mathematical) techniques to establish a foundation for the specification and verification of component-based systems. Specification techniques are urgently needed to support effective reasoning about systems composed from components. Component-based approaches also underscore the need for scaling advanced verification techniques such as extended static analysis and model checking to the size of real systems. The workshop will consider formalization of both functional and non-functional behavior (such as performance or reliability). Suggested research topics of interest include (but are not limited to): * Techniques for component-based verification or reasoning * Component-based specification languages * Static analysis of components and component compositions * Verification-oriented design methodologies for components * Dynamic checking techniques, including run-time assertion or property checking * Specification and verification of non-functional component behavior (performance, memory, concurrency, etc.) * Unifying formal descriptions of concurrency properties with model-based behavioral descriptions of components * Balancing tradeoffs (automatic/manual verification, soundness/completeness, static/dynamic verification, testing/formal verification, scalability/coverage, etc.) * Theories of component composition * Industrial experience, such as adoption issues, with formal techniques for component-based systems * Case studies of applying formal techniques to component based systems * Educational experience or tactics for formal approaches to component-based systems Submissions should outline the current state of research or practice, describe the most pressing shortcomings, and formulate goals for future development. Challenge Problem One session during the workshop will be devoted to presenting solutions (full or partial) to a challenge problem. This problem will present features that pose difficulties for current specification technologies. The session will be open both to presenters as well as participants of the workshop. Details on the challenge problem will be posted at http://www.eecs.ucf.edu/SAVCBS/2009/challenge.shtml. Solutions should illustrate innovative features of specification or verification as they pertain to this particular problem. Submissions Submissions must not exceed 8 pages. We encourage, but do not require, use of the ACM Conference format. We also suggest that you add page numbers to your submission, to make adding comments easier. Papers will be accepted in PDF or Postscript formats. Papers may be submitted on-line at http://www.easychair.org/conferences/?conf=savcbs09 . We are considering to invite best papers for submission to a journal special issue. Important dates: Paper submission deadline: May 25, 2009 Notification date: June 10, 2009 Final versions: June 20, 2009 See http://www.eecs.ucf.edu/SAVCBS/ for more details. Workshop Program Committee: Marieke Huisman - University of Twente, Netherlands (chair) Jonathan Aldrich - Carnegie Mellon University, USA Marsha Chechik - University of Toronto, Canada Jens Chr. Godskesen - IT University, Denmark Alex Groce - Nasa JPL, USA Dilian Gurov- KTH, Sweden Barbara Jobstmann - EPFL, Switzerland Florian Kammüller - Technical University of Berlin, Germany Joe Kiniry - University College Dublin, Ireland Darko Marinov - University of Illinois at Urbana-Champaign, USA Peter Müller - ETH Zurich, Switzerland John Penix - Google, USA Koushik Sen - University of California, Berkeley, USA Natasha Sharygina - University of Lugano, Switzerland/Carnegie Mellon University, USA Murali Sitaraman - Clemson University , USA From jno at di.uminho.pt Mon May 18 10:36:31 2009 From: jno at di.uminho.pt (J.N. Oliveira) Date: Mon, 18 May 2009 09:36:31 +0100 Subject: TFM09: Last Call for Papers (FMWeek, Eindhoven, November 6th 2009) In-Reply-To: References: <6C84A9A8-448 D-4BB0-8ECC-733F94618113@di.uminho.pt><149AF668-5B86-483E-AE4A-31FCB41FAEA3 @di.uminho.pt><751CA11B- C480-4AFD-95EE-341977956B22@di.uminho.pt><783CB463-70DA-42BB-AA3E-6FEF6D060 992@di.uminho.pt><439928F0-2402-47CA-B9D5-5DBC115FD385@di.uminho.pt><835D2796-8A7B-4175-AD45-699D28 FFC48D@di.uminho.pt><03D 358AB-5CB3-4A1F-B544-D36339BCCAE3@di.uminho.pt><7AE5C171-EEE6-4ADB-B4F2-24A9F3F95D41@di.uminho.pt>< 68F7244E-664C-4B9D-9E53-F57958930A11@di.uminho.pt><7E9C7D41-AB35-4180-A392- 8D650B71A6DA@di.uminho.pt><295278A7-C8E3-4E98-8D3D-77C436712748@di.uminho.p t><1ED014F0-F9EF-409A-B3 6B-11CAD163DA3D@di.uminho.pt><120310DA-2030-4FA4-9F61-FD4EE51A9C06@di.uminho.pt><3E535BF5-5F17-4892-8A5D-F8CFB25815A5@di.um inho.pt><0C688277-C9C2-4420-9002-ADC0DE3DA8A0@di.uminho.pt><0A1D2802-85F 4-4E08-BD46-F84159CAA7CE@di.uminho.pt><67668AEE-3079-4FEF-8F81-53D0B1866D15 @di.uminho.pt><15B086F0-E97B-43E1-8983-FB2DBAB96CC6@di.uminho.pt><3C50371D- C0D2-4949-8FEE-00BECC5EBB02@di.uminho.pt><21A48681-B072-482B-8AAF-54E6C6A50 10F@di.uminho.pt><2342BF13-0034-4F4A-AA4C-EC1CA055CDF1@di.uminho.pt><663BCC4D-1B19-4E84-8614-AE3162 70B3C3@di.uminho.pt><64A8B902-7DA5-4284-A4A8-18D6874CA069@di.uminho.pt>< 6A C8F250-5C37-4593-BCBD-144AB137C75D@di.uminho.pt><1FB8BC34-C683-4850-8FA6- DA12D9743D5E@di.uminho.pt><8093D19D-B78D-4D7C-A2FF-FAE182EC67AE@di.uminho.pt><61E3A078-D722-47E9-AC4F-A2610969CE13@di.uminh o.pt><485E9D1C-AF99-4B8E -B8DA-F45997FD26F0@di.uminho.pt><10B841BC-C0B9-4 186-A8B4-D3CFFFCB8116@di.uminho.pt><5023897F-1EAE-4E3A-95FF-BAB39FAD9445@di.uminho.pt><342EB496-47B 1-42EA-B133-2DBB1BB074F5@di.uminho.pt><45FDA14E-EB10-44BD-980D-2FED948F4C9B @di.uminho.pt><47D23ACA-946B-451C-88D5-D5D2970B32AF@di.uminho.pt><6E227144-4B6B-4824-999C-CD77F1DD7 FBE@di.uminho.pt><0C08ACFB-8E18-44D0-9AA4-D4D4AA45A89B@di.uminho.pt><569643 E0- 59FF-485D-B4B8-AD4D7C559424@di.uminho.pt><4F764709-722D-4A3D-8EBE-6E0754 68A59F@di.uminho.pt><7EE29FC8-9919-4E51-9B50-78730C0135F0@di.uminho.pt><334 109B6-D1F4-4E8C-9126-FAA1F82A338A@di.uminho.pt>< F4718175-D928-4C3C-B227-29959780AAB1@di.uminho.pt><9E502612-BBA9-4790-9E1F- FB0B7DD401DA@di.uminho.pt><4ECB4CC8-0D4C-44F4-8989-9FD151F94C60@di.uminho.p t><7D9A143F-4130-4A1C-9F42-E6930C40E45C@di.uminho.pt><50459F00-3336-43A4-93 06-3F1562B30126@di.uminho.pt><922009BB-947C-4ACA-BCBF-3EA097AEA75B@di.uminh o.pt><25020DE3-1883-4536-A828-F3D47B037D13@di.uminho.pt><7957DE07-DA89-493D-9D3B-ABDC8634E261@di.um inho.pt><2A25BA26-05D0-4C6E-AAD6-4D6CD504CD53@di.uminho.pt><2E4EA128-9A2F-4 419-90B5-5484551024E3@di.uminho.pt><41BDFDDF-0964-4AF6-B2C7-39C61623C18F@di .uminho.pt> <215BFC1C-188E-4670-9735-8A993F9CD7C2@di.uminho.pt> Message-ID: <40795A1D-1C24-4299-9A5F-015CB164FF0E@di.uminho.pt> TFM2009 2nd Int. FME Conference on Teaching Formal Methods "Widening Access to Formal Methods" Friday, November 6th 2009, co-located with FM2009 : 16th International Symposium on Formal Methods Eindhoven, the Netherlands, November 2 - November 6, 2009 CALL FOR PAPERS (URL: http://www.di.uminho.pt/tfm09) 1. About the conference ----------------------- Ten years after the First World Formal Methods Congress (FM'99) in Toulouse, formal methods communities from all over the world will once again have an opportunity to come together. As part of the First Formal Methods Week event surrounding the FM2009 conference in Eindhoven, Formal Methods Europe will be organizing TFM2009, the Second International Conference on Teaching Formal Methods. The conference will serve as a forum to explore the successes and failures of Formal Methods (FM) education, and to promote cooperative projects to further education and training in FMs. We would like to provide a forum for lecturers, teachers, and industrial partners to discuss their experience, present their pedagogical methodologies, and explore best practices. TFM2009 follows in a series of recent events on teaching formal methods, including: two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM 2004 conference in Ghent (with proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06), FORMED (Budapest, at ETAPS 2008), FMET 2008 (Kitakyushu 2008, co-located with ICFEM), etc. 2. Topics of interest --------------------- Formal methods (FM) have an important role to play in the development of complex computing systems - a role acknowledged in industrial standards such as IEC 61508 and ISO/IEC 15408, and in the increasing use of precise modeling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work effectively with simple, mathematical abstractions, and with practical notions of inference and proof. However, there is little clear guidance ? for educators, for managers, or for the engineers themselves ? as to what might comprise a basic education in FM. Neither the present IEEE/ACM Software Engineering Body of Knowledge (SWEBOK) nor the forthcoming Graduate Software Engineering Reference Curriculum (GSWERC) provide the kind of specific information that teachers and practitioners need to establish an adequate, balanced programme of learning in FM. Original contributions are solicited that provide insight, opinions, and suggestions for courses of action regarding the teaching FMs, including but not limited to the following aspects: * experiences of teaching FMs, both successful and unsuccessful; * educational resources including the use of books, case studies and the internet; * the education of weak and mathphobic students; * the integration, or otherwise, of FMs into the curriculum, including contributions to the definition of a Formal Methods Body of Knowledge (FMBOK); * the advantages of FM-trained graduates in the workplace; * changing attitudes towards FMs in students, academic staff and practitioners; * the necessary mathematical background. The conference proceedings will be published by Springer-Verlag in the LNCS series. Submissions may be up to 20 pages long using Springer's LNCS format. 3. Important dates ------------------ Please put the following dates in your diary: Submission deadline May 25, 2009 Notification of acceptance July 6, 2009 Final version August 3, 2009 4. How to submit ---------------- Papers for TFM2009 will be processed through the EasyChair conference management system. To submit your paper, please visit: http://www.easychair.org/conferences/?conf=tfm2009 5. Invited speakers ------------------- To be announced 6. Programme Committee ---------------------- Izzat Alsmadi (North Dakota State University, USA) Dines Bjorner (IIMM Institute, Denmark) Eerke Boiten (University of Kent, UK) Raymond Boute (Universiteit Gent, Belgium) Andrew Butterfield (Trinity College, Dublin) Jim Davies (University of Oxford, UK) David Duce (Oxford Brookes University, UK) John Fitzgerald (University of Newcastle upon Tyne, UK) Jeremy Gibbons (University of Oxford, UK) Randolph Johnson (National Security Agency, USA) Michael Mac an Airchinnigh (Trinity College, Dublin) Dino Mandrioli (Politecnico di Milano, Italy) Jose Oliveira (Universidade do Minho, Portugal) Kees Pronk (Technische Universiteit Delft, NL) Bernhard Schaetz (Tecnical University of Munique, Germany) Wolfgang Schreiner (Johannes Kepler University Linz, Austria) Simao Melo de Sousa (Universidade da Beira Interior, Portugal) Kenji Taguchi (National Institute of Informatics, Japan) Jeannette Wing (Carnegie-Mellon University, USA) 7. Sponsorship ---------------------- TFM2009 is supported by FME, the Formal Methods Europe Association -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mdv at cs.bath.ac.uk Mon May 18 15:30:57 2009 From: mdv at cs.bath.ac.uk (Marina De Vos) Date: Mon, 18 May 2009 13:30:57 +0000 Subject: Call for papers: 2nd Workshop on Software Engineering for Answer Set Programming (SEA'09) Message-ID: <1242653457.6365.76.camel@Ishtar> [apologies for multiple posts; please distribute] ------------------------------------------------- CALL FOR PAPERS Software Engineering for Answer Set Programming 2009 (SEA'09) Potsdam, Germany, 18 September 2009 http://sea09.cs.bath.ac.uk/ Co-located with the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009) http://www.cs.uni-potsdam.de/lpnmr09/ OVERVIEW Over the last ten years, answer set programming (ASP) has grown from a pure theoretical knowledge representation and reasoning formalism to a computational approach with a very strong formal backing. At present, ASP is seen as the computational embodiment of non-monotonic reasoning incorporating techniques of databases, knowledge representation, logic and constraint programming. ASP has become an appealing tool for knowledge representation and reasoning and thanks to the increasing efficiency of the implementations of ASP solvers, the field has now started to tackle many industrially-relevant applications. Writing complex programs in any language is not an easy task, with ASP being no exception. Most of the modern popular programming languages have an abundance of tools and development methodologies to facilitate and improve the coding process. Given the differences in for example language design, execution, and application domains for languages such as Java and C++, the existing methodologies and tools that are available are mostly not suitable for ASP. Therefore development tools and software engineering methodologies specifically designed for ASP are required. This workshop aims to bring together researchers who are currently working on or are interested in the development of dedicated tools, techniques, and methodologies to facilitate the development of answer set programs. TOPICS Authors are invited to submit original research or system description papers on software engineering tools or techniques for answer set programming. The list of topics of interest includes but is not limited to: * Modelling tools * (Domain-specific) front and/or back-ends * Methodologies * Debuggers * (Graphical) User Interfaces * Integrated Development Environments (IDEs) * Software engineering metrics SUBMISSION Submitted articles will undergo peer-review. The paper must be in Springer LNCS format and should not exceed 15 pages overall. Submission should be via PDF to both workshop chairs. Papers will be published in the Bath technical report series and on CEUR (http://ceur-ws.org/). IMPORTANT DATES Submission 1 July 2009 Notification 1 August 2009 Camera-ready submission 1 September 2009 Workshop 18 September 2009 WORKSHOP OFFICIALS Workshop Chairs: Marina De Vos (University of Bath, UK) Torsten Schaub (University of Potsdam, Germany) Programme Committee: Marcello Balduccini (Kodak Research Labs, USA) Martin Brain (University of Bath, UK) Wolfgang Faber (University of Calabria, Italy) Enrico Pontelli (New Mexico State University, USA) Alessandra Russo (Imperial College London, UK) Tran Cao Son (New Mexico State University, USA) Hans Tompits (Vienna University of Technology, Austria) Richard Watson (Texas Tech University, USA) Stefan Woltran (Technical University of Vienna, Austria) From robert at grid.chu.edu.tw Mon May 18 16:29:29 2009 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Mon, 18 May 2009 22:29:29 +0800 Subject: I-SPAN 2009 in Kaohsiung, Taiwan, Dec. 14-16, 2009 Message-ID: <200905181429.n4IETTBI011586@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaannounce.org Tue May 19 07:20:41 2009 From: invitation at iariaannounce.org (ComputationWorld 2009) Date: Tue, 19 May 2009 01:20:41 -0400 (EDT) Subject: 1st CfP | ComputationWorld 2009 / Athens-Greece, November 15-20, 2009 Message-ID: <21357664.17719.1242710441890.JavaMail.Onitza@IariaAnnounce> INVITATION Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= ComputationWorld 2009, November 15-20, 2009 - Athens, Greece see: http://www.iaria.org/conferences2009/ComputationWorld09.html ComputationWorld 2009 is a federated event focusing on advanced topics concerning the areas of computation. The target topics cover future computing techniques (strategies, mechanisms, technologies), service computation (ubiquitous, web services, societal), cognitive support (AI, agents, learning, autonomy), adaptiveness (component/systems, self-features, metrics), creative content technologies, and patterns. Submission (full paper) deadline: June 20, 2009. Submissions must be electronically done using the "Submit a Paper"button on the entry page of each conference. For details on the each conference's topics, see the individual Call for Papers. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org). All topics are open to both research and industry contributions. - FUTURE COMPUTING 2009, The First International Conference on Future Computational Technologies and Applications http://www.iaria.org/conferences2009/FUTURECOMPUTING09.html - SERVICE COMPUTATION 2009, The First International Conferences on Advanced Service Computing http://www.iaria.org/conferences2009/SERVICECOMPUTATION09.html - COGNITIVE 2009, The First International Conference on Advanced Cognitive Technologies and Applications http://www.iaria.org/conferences2009/COGNITIVE09.html - ADAPTIVE 2009, The First International Conference on Adaptive and Self-adaptive Systems and Applications http://www.iaria.org/conferences2009/ADAPTIVE09.html - CONTENT 2009, The First International Conference on Creative Content Technologies http://www.iaria.org/conferences2009/CONTENT09.html - PATTERNS 2009, The First International Conferences on Pervasive Patterns and Applications http://www.iaria.org/conferences2009/PATTERNS09.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about ComputationWorld, please reply with "DROP ComputationWorld event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From lcc at cs.indiana.edu Tue May 19 05:24:45 2009 From: lcc at cs.indiana.edu (Logic and Computational Complexity) Date: Mon, 18 May 2009 23:24:45 -0400 Subject: LCC FINAL CfP Message-ID: <200905190324.n4J3Ojn4005129@tank.cs.indiana.edu> [ Please broadcast/post/forward. Apologies for duplicates] LCC'09 FINAL CALL FOR PAPERS >>> EXTENDED DEADLINE: JUNE 5 The Tenth International Workshop on Logic and Computational Complexity (LCC'09, www.cs.indiana.edu/lcc) will be held in Los Angeles on August 10, 2009, as an affiliated meeting of LiCS'09 (www2.informatik.hu-berlin.de/lics/lics09), and in conjunction with SAS'09 (sas09.cs.ucdavis.edu). LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. The LCC'09 program will consist of invited lectures as well as contributed papers selected by the program committee. This year there will be no published proceedings, and work submitted or published elsewhere is welcome, provided all pertinent information is disclosed at submission time. Papers should be written in English, be accessible to non-specialists, start with a clear statement of the issues and results, and not exceed 15 pages. Proposed papers should be uploaded to http://www.easychair.org/conferences/?conf=lcc090, by Friday, June 5, 2009, with expected notification date of Monday, June 22. For additional information see www.cs.indiana.edu/lcc, or email inquiries to lcc at cs.indiana.edu. Further information about previous LCC meetings can be found at http://www.cis.syr.edu/~royer/lcc. PROGRAM COMMITTEE * Patrick Baillot (CNRS-ENS Lyons, Co-chair) * Markus Lohrey (Leipzig, Co-Chair) * Albert Atserias (UP de Catalunya) * Pablo Barcelo (U de Chile) * Arnold Beckmann (Swansea) * Lauri Hella (Tampere) * Andrei Krokhin (Durham) * Chris Pollett (San Jose SU) STEERING COMMITTEE: Michael Benedikt (Oxford, Co-chair), Daniel Leivant (Indiana U, Co-chair), Robert Constable (Cornell), Anuj Dawar (Cambridge), Fernando Ferreira (Lisbon), Martin Hofmann (U Munich), Neil Immerman (U Mass. Amherst), Neil Jones (Copenhagen), Bruce Kapron (U Victoria), Jean-Yves Marion (LORIA Nancy), Luke Ong (Oxford), Martin Otto (Darmstadt), James Royer (Syracuse), Helmut Schwichtenberg (U Munich), and Pawel Urzyczyn (Warsaw) From C.Orasan at wlv.ac.uk Tue May 19 13:13:55 2009 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Tue, 19 May 2009 12:13:55 +0100 Subject: 2nd CFP: Events in Emerging Text Types (eETTs) Message-ID: <1242731635.24131.89.camel@dinel-work> **************************************************************************** 2nd Call for Papers Events in Emerging Text Types (eETTs) Held in conjunction with the Recent Advances in Natural Language Processing (RANLP 2009) 18th September 2009, Borovets, Bulgaria http://clg.wlv.ac.uk/events/eETTs/index.php Contact Email: eETTs2009 at dinel.org.uk - added invited speaker information - added submission information **************************************************************************** AIMS The proliferation of the Internet has revolutionised the way information is disseminated and presented. Blogs no longer only relay and comment on news stories but also influence what is talked about in the news. Such changes have not gone unnoticed by the computational linguistics research community, who are increasingly processing or exploiting blogs in an attempt to keep track of what is going on and mine information. This workshop will focus on how events can be identified and how information related to event processing (e.g. NP coreference, temporal processing) can be extracted from blogs. Emphasis will be on how existing methods for event processing need to be adapted in order to process this medium, and on linguistic differences in the reporting of events in blogs and more traditional news texts. Extensions of this research to text types from other collaborative environments such as wikis, fora, chats and social networks are also welcomed. Event detection and processing is not a new topic in computational linguistics, but until now it has focused mainly on processing of newswire. The TimeBank corpus (Pustejovsky et. al. 2003), the AQUAINT TimeML corpus, and the NP4E corpus (Hasler, Orasan and Naumann 2006) exclusively contain newswire, which may make them inappropriate for the development of methods which need to process other text types. This workshop will give researchers the opportunity to present efforts to develop resources related to event identification and processing using blog entries. In addition, papers describing annotation guidelines and linguistic analyses of such resources are encouraged, including comparisons with annotations of more traditional text types. The informal style and structure of most blog entries makes event detection in these documents a difficult task. This workshop will encourage submission of papers that develop new methods for event identification or test existing ones on blog entries. The fact that the same event is usually reported in several entries, in many instances containing contradictory information, makes cross-document event coreference identification a more challenging task. Researchers are encouraged to submit papers presenting such methods. Of particular interest are papers detailing methods to identify subjective or objective ways of presenting an event or to detect contradictory reporting of the same event. The workshop is not restricted only to event processing. Papers on topics related to event processing, such as the identification of entities and temporal processing and reasoning are also encouraged. Submissions about NLP applications that exploit event identification such as summarisation of events in blogs, question answering about events described in collaborative environments (e.g. Wikipedia) or opinion mining related to events are also invited. TOPICS Original papers in three main areas are expected: Linguistics * linguistic representation and function of different kinds of information (e.g. opinion/subjectivity/objectivity) * discourse structure related to the presentation of events within and across blog entries * annotation of events in corpora of blogs * extension/adaptation of 'traditional' annotation of news texts for blog entries * description of resources encoding information relevant to this workshop Methods for event processing or necessary for event processing * event identification in blogs * contradictory information regarding the same events (cross-document NP and event coreference) * entity tracking across blog entries * identification, representation and reasoning about time in blogs * evaluation of event identification methods trained on newswire vs blogs NLP methods and applications that use information about events * summarisation of events from blogs * opinion mining and analysis in blogs vs newswire * identification of objective and subjective information in blogs vs newswire * commercial systems which process events in blogs Although we only explicitly mention blogs, research on text types from other collaborative environments such as wikis, fora, chats and social networks will also be considered. INVITED SPEAKER Prof. Mike Thelwall, University of Wolverhampton, UK SUBMISSION GUIDELINES Authors are invited to submit three types of papers: full papers which describe original and unpublished work in the topic area of this workshop, posters which describe work in progress, and demos which describe full working systems, and which, if accepted, will be presented at a special session accompanied by live demo. Papers should be submitted as a PDF file, formatted according to the RANLP 2009 stylefiles and not should not exceed 8 pages for full papers and 4 pages for posters and demos. The RANLP 2009 stylefiles are available at: http://lml.bas.bg/ranlp2009/submissions.htm. As reviewing will be blind, the papers should not include the authors' names and affiliations. Furthermore, self-references that reveal the authors' identities should be avoided. Papers that do not conform to these requirements will be rejected without review. Submission of papers will be handled using the START system. More information available at: http://clg.wlv.ac.uk/events/eETTs/submission.php Each submission will be reviewed at least by two members of the Program Committee. Reviewers will be asked to provide detailed comments, and to score submitted papers on the following factors: * Relevance to the workshop * Significance and originality * Technical/methodological accuracy * References to related work * Presentation (clarity, organisation, English) Accepted papers will be published in the workshop proceedings. By submitting a paper at the workshop the authors agree that, in case the paper is accepted for publication, at least one of the authors will attend the workshop; all workshop participants are expected to pay the RANLP-2009 workshop registration fee. IMPORTANT DATES * Paper submission deadline: June 6, 2009 * Paper acceptance notification: July 20, 2009 * Camera-ready papers due: August 24, 2009 * Workshop date: September 18, 2009 PROGRAM COMMITTEE: * Alexandra Balahur, Alicante University, Spain * Carmen Banea, University of North Texas, USA * Sabin-Corneliu Buraga, Al.I. Cuza University of Iasi, Romania * Di Cai, University of Wolverhampton, UK * Andras Csomai, Google * Iustin Dornescu, University of Wolverhampton, UK * Erhard Hinrichs, Tubingen University, Germany * Veronique Hoste, University College Gent, Belgium * Radu Ion, Research Institute for AI, Romanian Academy * Rafael Munoz, University of Alicante, Spain * Vivi Nastase, EML Research, Germany * Nicolas Nicolov, Umbria Inc, USA * Georgios Paltoglou, University of Wolverhampton, UK * Livia Polanyi, Powerset/Microsoft, USA * Mark Rogers, Market Sentinel, UK * Doina Tatar, "Babes-Bolyai" University, Romania WORKSHOP CHAIRS: * Constantin Orasan, University of Wolverhampton, UK * Laura Hasler, University of Wolverhampton, UK * Corina Forascu, Al.I. Cuza University of Iasi, Romania -- Scanned by iCritical. From wjamroga at in.tu-clausthal.de Tue May 19 14:52:30 2009 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Tue, 19 May 2009 14:52:30 +0200 Subject: postdoc position Dynamics of Argumentation Message-ID: <4A12AB8E.9060400@in.tu-clausthal.de> POSTDOC POSITION DYNAMICS OF ARGUMENTATION AT THE UNIVERSITY OF LUXEMBOURG The Dynamics of Argumentation (DYNAR): The project aims to examine the dynamic aspects related to formal argumentation. In particular, the aim is to construct a theory on issues like how to do incremental updates without the need for global recomputation, how to make (minimal) changes to the argumentation network in order to change the status of a particular argument, and how sensitive the various argumentation semantics are regarding the global effects of relatively small updates. Apart from that, the project also aims to study the question of when it is rational for an agent to accept an argument given to it, and aims to construct a formal model for simulating how knowledge, expressed in the form of argumentation, is spread in a social setting where the individual agents have to protect themselves from various forms of dishonesty of other agents. The project is a collaboration between the University of Luxembourg (UNI.LU), the Institute of Research in Informatics of Toulouse (IRIT) and the Center of Research in Informatics of Lens (CRIL). The main working place of the postdoc position will be Luxembourg. ----------------------------------------------------------------- Requirements: - A PhD in Artificial Intelligence or a related field, with a background in formal logic. - Expertise on at least one of the following fields: belief revision, nonmonotonic reasoning, formal argumentation. - Good written and oral English skills. ----------------------------------------------------------------- Application procedure: Applications are to be sent no later than June 15 2009 and should include a letter of motivation, a complete CV, and a publication list. These are to be submitted in one e-mail addressed to both Dr. Martin Caminada (martin.caminada at uni.lu) and Prof. Dr. Leon van der Torre (leon.vandertorre at uni.lu) The remuneration for the postdoc position is between 43.000 and 52.500 EUR/year (after taxes), depending on the particular background of the candidate. ----------------------------------------------------------------- Information: For inquiries about the project and its positions, please contact Prof. Dr. Leon van der Torre (leon.vandertorre at uni.lu, +352 4666445261) or Dr. Martin Caminada (martin.caminada at uni.lu, +352 4666445485). From alexander.friedmann at uqam.ca Wed May 20 05:45:26 2009 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Tue, 19 May 2009 23:45:26 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Tue, May 19, 2009 at 8:43 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 > > -- email: alexander.friedmann at uqam.ca en cas de panne UQAM / if problems with this adress please use: alexfri7 at gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From seipel at informatik.uni-wuerzburg.de Wed May 20 07:28:09 2009 From: seipel at informatik.uni-wuerzburg.de (Dietmar Seipel) Date: Wed, 20 May 2009 07:28:09 +0200 Subject: WARNING! (2940308891) In-Reply-To: References: Message-ID: <4A1394E9.5060000@informatik.uni-wuerzburg.de> On 05/20/2009 02:43 AM, event administration wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2940308891, > and the reply is directed to, > and the 'From' address of your reply is. > > All requests about this mailing list > should be sent to > From sofronie at mpi-sb.mpg.de Fri May 22 14:22:41 2009 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Fri, 22 May 2009 14:22:41 +0200 (CEST) Subject: Tableaux 2009: Call for Participation Message-ID: <5d71340f8c2f7a899146456ac9bd5587.squirrel@mail.mpi-inf.mpg.de> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% Call for Participation %% %% %% %% TABLEAUX 2009 %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% International Conference TABLEAUX 2009 Automated Reasoning with Analytic Tableaux and Related Methods Oslo, Norway 6-10 July 2009 http://tableaux09.ifi.uio.no/ *** EARLY REGISTRATION UNTIL 7 JUNE! *** GENERAL INFORMATION This conference is the 18th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. Tableaux 2009 will be held in Oslo, Norway, collocated with FTP 2009, the workshop on First-Order Theorem Proving, see http://www.mpi-inf.mpg.de/~sofronie/ftp09/ See the website for registration instructions. Early registration is open until Sunday, 7 June. TOPICS Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods. CONFERENCE PROGRAMME See http://tableaux09.ifi.uio.no/pmwiki.php/AcceptedPapers for the list of accepted papers and http://tableaux09.ifi.uio.no/pmwiki.php/Programme for the conference schedule. STUDENT SPONSORING Apart from significantly reduced conference fees, students have access to budget accommodation at a rate of about 170 EUR for the whole week and the week before the conference. If necessary, we will be able to provide further financing help. INVITED SPEAKERS * Patrick Blackburn, INRIA Nancy, France * Peter Jeavons, Oxford University Computing Laboratory, UK * Pierre Wolper, Université de Liege, France WORKSHOPS In addition to the Workshop on First-order Theorem Proving (FTP), there will be several workshops on Monday, 6 July: * Tableaux versus automata as logical decision methods * Proofs and Refutations in Non-Classical Logics * Gentzen Systems and Beyond See http://tableaux09.ifi.uio.no/pmwiki.php/Workshops for details about these workshops TUTORIALS Two tutorials will be held on Wednesday, 8 July. * The Theory of Canonical Systems (Arnon Avron and Anna Zamansky, Tel-Aviv University, Israel) * LoTREC: Theory and Practice. Proving by Tableau becomes easier... (Bilal Said and Olivier Gasquet, Université Paul Sabatier, Toulouse, France.) See http://tableaux09.ifi.uio.no/pmwiki.php/Tutorials for details about these tutorials CONFERENCE AND PC CO-CHAIRS: * Martin Giese, Univ. of Oslo, Norway * Arild Waaler, Univ. of Oslo, Norway From A.P.Galton at exeter.ac.uk Tue May 26 11:31:49 2009 From: A.P.Galton at exeter.ac.uk (Galton, Antony) Date: Tue, 26 May 2009 10:31:49 +0100 Subject: FOIS2010 call for papers Message-ID: <815C84613E6CA0409FF3A004FB37F82117CC24961C@EXCHMBS02.isad.isadroot.ex.ac.uk> +------------------------------------------+ | | | FOIS 2010 | | Sixth International Conference on | | Formal Ontology in Information Systems | | http://www.formalontology.org | | | | C A L L F O R P A P E R S | | | +------------------------------------------+ CONFERENCE DESCRIPTION The FOIS conference series began with the first meeting in Trento, Italy, in June 1998, which was followed by meetings in 2001, 2004, 2006, and 2008. The sixth FOIS conference will be held in Toronto, Canada, during 11-14 May 2010, and we are now calling for papers to be considered for inclusion in the conference. Ontology began life in ancient times as a fundamental part of philosophical enquiry concerned with the analysis and categorisation of what exists. In recent years, the subject has taken a practical turn with the advent of complex computerised information systems which are reliant on robust and coherent representations of their subject matter. The systematisation and elaboration of such representations and their associated reasoning techniques constitute the modern discipline of formal ontology, which is now being applied to such diverse domains as artificial intelligence, computational linguistics, bioinformatics, GIS, knowledge engineering, information retrieval, and the Semantic Web. Researchers in all these areas are becoming increasingly aware of the need for serious engagement with ontology, understood as a general theory of the types of entities and relations making up their respective domains of enquiry, to provide a solid foundation for their work. FOIS is intended to provide a meeting point for researchers from these and other disciplines with an interest in formal ontology, where both theoretical issues and concrete applications can be explored in a spirit of genuine interdisciplinarity. CONFERENCE ORGANISATION Conference chair: Nicola Guarino (ISTC-CNR, Trento, Italy) Program chairs: Antony Galton (University of Exeter, UK) Riichiro Mizoguchi (Osaka University, Japan) Local organisation: Chris Welty (IBM Research, Hawthorne, NY, USA) Michael Gruninger (University of Toronto, Canada) TOPICS COVERED We seek high-quality papers on a wide range of topics. While authors may focus on fairly narrow and specific issues, all papers should emphasize the relevance of the work described to formal ontology and to information systems. Papers that completely ignore one or the other of these aspects will be considered as lying outside the scope of the meeting. Topic areas of particular interest to the conference are: Foundational Issues * Kinds of entity: particulars vs universals, continuants vs occurrents, abstracta vs concreta, dependent vs independent, natural vs artificial * Formal relations: parthood, identity, connection, dependence, constitution, subsumption, instantiation * Vagueness and granularity * Identity and change * Formal comparison among ontologies * Ontology of physical reality (matter, space, time, motion, ...) * Ontology of biological reality (genes, proteins, cells, organisms, ...) * Ontology of artefacts, functions and roles * Ontology of mental reality and agency (beliefs, intentions and other mental attitudes; emotions, ...) * Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions, ...) * Ontology of the information society (information, communication, meaning negotiation, ...) * Ontology and Natural Language Semantics, Ontology and Cognition Methodologies and Applications * Top-level vs application ontologies * Ontology integration and alignment; role of reference ontologies * Ontology-driven information systems design * Ontology-based application systems * Requirements engineering * Knowledge engineering * Knowledge management and organization * Knowledge representation; Qualitative modeling * Computational lexicons; Terminology * Information retrieval; Question-answering * Semantic web; Web services; Grid computing * Domain-specific ontologies, especially for: Linguistics, Geography, Law, Library science, Biomedical science, E-business, Enterprise integration, ... DEADLINES AND FURTHER INFORMATION Submissions: 23 October 2009 Notification of acceptance: 18 December 2009 Final camera-ready submission: 15 January 2010 Conference: 11-14 May 2010 Submitted papers should not exceed 5000 words (including bibliography). Details of the submission process, and formatting guidelines, will be provided on the conference web page at http://fois2010.mie.utoronto.ca. Proceedings will be published by IOS Press and available at the conference. From ruben at si.ehu.es Tue May 26 14:30:04 2009 From: ruben at si.ehu.es (=?UTF-8?B?UnViw6luIEFybWHDsWFuemFz?=) Date: Tue, 26 May 2009 14:30:04 +0200 Subject: Fourth Summer school on Advanced Statistics and Data Mining (Madrid, July 6th-17th, 2009) Message-ID: <4A1BE0CC.2040606@si.ehu.es> Dear colleagues, the Technical University of Madrid (UPM) organizes a summer school on "Advanced Statistics and Data Mining" in Madrid between July 6th and July 17th. The summer school comprises 18 courses divided in 2 weeks. Attendees may register in each course independently. Registration will be considered upon strict arrival order. For more information, please, visit http://www.dia.fi.upm.es/index.php?page=presentation&hl=es_ES Best regards. On behalf of the organizers, R. Armañanzas. *List of courses and brief description* Week 1 (July 6th - July 10th, 2009) Course 1: Bayesian networks (15 h). Practical sessions: Hugin, Elvira, Weka, LibB Bayesian networks basics. Inference in Bayesian networks. Learning Bayesian networks from data. Course 2: Multivariate data analysis (15 h). Practical sessions: MATLAB Introduction. Data Examination. Principal component analysis (PCA). Factor Analysis. Multidimensional Scaling (MDS). Correspondence analysis. Multivariate Analysis of Variance (MANOVA). Canonical correlation. Course 3: Dimensionality reduction (15 h). Practical sessions: MATLAB Introduction. Matrix factorization methods. Clustering methods. Projection methods. Applications. Course 4: Supervised pattern recognition (Classification) (15 h). Practical sessions: Weka Introduction. Assessing the Performance of Supervised Classification Algorithms. Classification techniques. Combining Classifiers. Comparing Supervised Classification Algorithms. Course 5: Introduction to MATLAB (15 h) Overview of the Matlab suite. Data structures and files. Programming in Matlab. Visualization tools. Some applications in pattern recognition. Course 6: Datamining: A practical perspective (15h). Practical sessions: MATLAB, R, Weka Introduction to Data Mining and Knowledge Discovery. Prediction in data mining. Classification. Association studies. Data mining in free-form texts: text mining. Course 7: Time series analysis (15 h). Practical sessions: MATLAB Introduction. Probability models to time series. Regression and Fourier analysis. Forecasting and Data mining. Course 8: Neural networks (15 h). Practical sessions: MATLAB Introduction to the biological models. Nomenclature. Perceptron networks. The Hebb rule. Foundations of multivariate optimization. Numerical optimization. Rule of Widrow-Hoff. Backpropagation algorithm. Practical data modelling with neural networks. Course 9: Introduction to SPSS (15 h) Introduction. Describing data. Statistical inference. Time series. Sampling. Classification and regression. Week 2 (July 13th - July 17th, 2009) Course 10: Regression (15 h). Practical sessions: SPSS Introduction. Simple Linear Regression Model. Measures of model adequacy. Multiple Linear Regression. Regression Diagnostics and model violations. Polynomial regression. Variable selection. Indicator variables as regressors. Logistic regression. Nonlinear Regression. Course 11: Practical Statistical Questions (15 h). Practical sessions: study of cases (without computer) I would like to know the intuitive definition and use of …: The basics. How do I collect the data? Experimental design. Now I have data, how do I extract information? Parameter estimation. Can I see any interesting association between two variables, two populations, …? How can I know if what I see is “true”? Hypothesis testing How many samples do I need for my test?: Sample size Can I deduce a model for my data? Other questions? Course 12: Missing data and outliers (15 h). Practical sessions: R Missing Data: Typology of missing data. Simple missing-data methods. Imputation Methods. Diagnostics and Overimputing. Outliers and robust statistics: Typology of outliers. Influence measures. Robust methods. Course 13: Hidden Markov Models (15 h). Practical sessions: HTK Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Course 14: Statistical inference (15 h). Practical sessions: SPSS Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrapping. Course 15: Features Subset Selection (15 h). Practical sessions: MATLAB, R, Weka Filter approaches. Wrapper methods. Embedded methods. Course 16: Introduction to R (15 h) An introductory R session. Data in R. Importing/Exporting data. Programming in R. R Graphics. Statistical Functions in R. Course 17: Unsupervised pattern recognition (clustering) (15 h). Practical sessions: MATLAB Introduction. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Course 18: Evolutionary computation (15 h). Practical sessions: MATLAB Genetic algorithms. Genetic programming. Robust and self-adapting intelligent systems. Introduction to Estimation of Distribution Algorithms. Improvements, extensions and applications of EDAs. Current research in EDAs. From Brigitte.Trousse at inria.fr Wed May 27 10:00:38 2009 From: Brigitte.Trousse at inria.fr (Brigitte Trousse) Date: Wed, 27 May 2009 10:00:38 +0200 Subject: Attend KDD-09 (early reg deadline May 31) - The Data Mining and Knowledge Discovery conf., Paris Message-ID: <4A1CF326.3060505@inria.fr> ========================================================================== KDD-2009: The Fifteenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD'09) Paris, France June 28 - July 1, 2009. http://www.kdd.org/kdd2009/ Register by May 31 to get the early registration rates! http://www.kdd.org/kdd2009/registration.html ========================================================================== As the premier international conference on Data Mining and Knowledge Discovery, KDD 2009 provides a forum for academic researchers and industry and government innovators to share their results and experiences. Researchers and practitioners will gather to present academic and industrial papers, panels, implemented software demos, posters, workshops, tutorials, and insights from the popular KDD Cup competition. --> New this year: a social networking platform where attendees can learn about the proceedings, collaborate on research papers, discuss individual sessions, receive real-time updates on the conference, and help organize social events in Paris using the site. CONFERENCE VENUE ---------------- --> For the first time KDD will leave America and come to Europe; KDD 2009 will take place in beautiful downtown Paris, at the Marriott Paris Rive Gauche Hotel, 17 Boulevard St Jacques, 75014 Paris, France. On Monday, June 29 the Conference reception will be held at the Hotel de Ville of Paris, in the main reception room, the Salle des Fetes, where Paris usually welcomes Heads of States and VIPs. Please go to http://www.kdd.org/kdd2009/registration.html to register online for the conference. The early conference registration deadline is May 31 Find the hotel reservation code on http://www.kdd.org/kdd2009/travel.html to enjoy the group rate for the hotel. This year the organizers are introducing a new option besides full participation: "Workshops, Tutorials,and Evenings" (or, "Nights and Weekends"). This enables you to participate all day Sunday, for the workshops and/or tutorials, as well as the evenings (5pm+ Sunday-Tuesday), which feature invited industry talks, receptions at the beautiful Paris Town Hall and Marriott Hotel, and technical poster sessions. (The option omits, however, the full technical program during the 3 days, Mon-Wed.) If you have any registration questions direct them to: Mandy Mann (mandy.mann at regmaster.com) or +1 407 971 4451. For other questions, the KDD organizer contact information is at: http://www.kdd.org/kdd2009/ CONFERENCE HIGHLIGHTS -------------------- a) INVITED SPEAKERS: This year, KDD features five distinguished invited speakers: - David J. Hand, “Mismatched Models, Wrong Results, and Dreadful Decisions: On choosing appropriate data mining tools” - Heikki Mannila, “Randomization Methods in Data Mining” - Stanley Wasserman, "“Network Science: An Introduction to Recent Statistical Approaches” - Ravi Kumar, “Mining Web Logs: Applications and Challenges” - Ashok N. Srivastava, “Data Mining at NASA: from Theory to Applications” b) TUTORIALS: (all tutorials are free with conference registration) 9 diverse half-day tutorials will be presented on Sunday, June 28th. http://www.kdd.org/kdd2009/tutorials.html c) WORKSHOPS (all workshops are free with conference registration) 11 workshops, including 4 challenge workshops, will be held Sunday, June 28th . http://www.kdd.org/kdd2009/workshops.html The detailed Conference program will soon be available on the KDD-09 web site. d) KDD CUP Based on challenge data provided by Orange Labs, this year's competition focuses on predicting customer scores from large marketing databases from the French Telecom company, Orange. 10,000 Euros of prizes and travel grants -- generously donated by Orange -- will be distributed among the cup winners. See progress on: http://www.kddcup-orange.com/ ENJOY PARIS ----------- While in Paris, enjoy the city! Register on http://www.kdd.org/kdd2009/travel.html#deals for special deals available to KDD participants on Saturday 27 June, Thursday 2 July, and Friday 3 July. -- KDD organizers http://www.sigkdd.org/kdd2009/organizers.html From kutsia at risc.uni-linz.ac.at Wed May 27 15:34:29 2009 From: kutsia at risc.uni-linz.ac.at (Temur Kutsia) Date: Wed, 27 May 2009 15:34:29 +0200 Subject: Announcement of SCSS 2009 Message-ID: <20090527133428.GA21204@risc.uni-linz.ac.at> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SCSS 2009 TUNISIA - JAPAN WORKSHOP ON SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE September 22-24, 2009 Gammarth, Tunisia http://www2.score.cs.tsukuba.ac.jp/scssWorkshop/index.html %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% IMPORTANT DATES =============== Abstract submission: May 29, 2009 Acceptance notification: June 22, 2009 Final versions of full papers: August 30, 2009 Workshop: September 22-24, 2009 SCOPE ===== Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, algebraic objects, geometrical objects, etc). Powerful symbolic algorithms have been developed during the past decades like theorem proving techniques, software verification, model checking, rewriting techniques, network security, Groebner bases, characteristic sets, etc. In this workshop, we solicit papers on algorithms and techniques of symbolic computations and their applications in software science. The topics of the workshop include: * theorem proving methods and techniques * algorithm (program) synthesis * algorithm (program) verification * formal methods for the analysis of network security * termination analysis of algorithms (programs) * complexity analysis of algorithms (programs) * extraction of specifications from algorithms (programs) * generation of inductive assertion for algorithm (programs) * algorithm (program) transformations * component-based programming * computational origami * query languages (in particular for XML documents) * semantic web * etc. SCSS 2009 workshop is the second in the SCSS workshop series. SCSS 2008 took place at the Research Institute for Symbolic Computation (RISC), Hagenberg, Austria. The Workshop grew out of internal workshops that bring together researchers from SCORE (Symbolic Computation Research Group, University of Tsukuba, Japan), the Theorema Group at RISC (Research Institute for Symbolic Computation, Johannes Kepler University, Linz - Hagenberg, Austria), SSFG (Software Science Foundation Group, Kyoto University, Japan) and Sup'Com (University of November 7th at Carthage, Tunisia). SCSS is open for the international community and welcomes paper submissions. VENUE ======= The workshop will be held at Ramada Hotel in Gammarth, Tunisia. Gammarth is 20km north east of Tunis and 10km north of the archeological site of Carthage. The legendary Phoenician princess Dido founded Carthage and the city possessed economic, cultural, and military power in the Mediterranean during Punic and Roman eras. INVITED SPEAKERS ================ * Henk Barendregt (Radboud University Nijmegen, Netherlands) * Dongming Wang (University Pierre et Marie Curie - CNRS, France) * Stephen Watt (University of Western Ontario, Canada) PROGRAM CO-CHAIRS ================= * Adel Bouhoula (University of November 7th at Carthage, Tunisia) * Tetsuo Ida (University of Tsukuba, Japan) PROGRAM COMMITTEE ================= * Tudor Jebelean (Johannes Kepler University Linz, Austria) * Temur Kutsia (Johannes Kepler University Linz, Austria) * Yasuhiko Minamide (University of Tsukuba, Japan) * Mohamed Mosbah (University of Bordeaux, France) * Michael Rusinowitch (INRIA Lorraine, France) * Masahiko Sato (Kyoto University, Japan) * Yahya Slimani (University El Manar Tunis, Tunisia) LOCAL ORGANIZERS ================ * Nizar Ben Neji (University of November 7th at Carthage, Tunisia) * Fadoua Ghourabi (University of Tsukuba, Japan) * Sourour Meharouech (University of November 7th at Carthage, Tunisia) SUBMISSION =========== Abstracts and papers or extended abstracts should be submitted using EasyChair: http://www.easychair.org/conferences/?conf=scss2009 Papers or extended abstracts should be prepared in LaTeX, formatted according to the EasyChair style (style files are available from http://www.easychair.org/easychair.zip), and should not exceed 16 pages. PUBLICATION =========== Accepted papers will be available during the workshop as the proceedings of SCSS 2009. We plan to have a special issue of the Journal of Symbolic Computation on SCSS 2009. The final decision for organizing the special issue will be made after the workshop. The full version of selected papers will be considered for the publication of the special issue subjected to the normal peer review process of the Journal of Symbolic Computation. From DHui at uno.edu Thu May 28 03:58:21 2009 From: DHui at uno.edu (David Hui) Date: Wed, 27 May 2009 20:58:21 -0500 Subject: ICCE-17 Honolulu, FINAL CALL for PAPERS Message-ID: <34C25DE6A5835B46A29B60ABC4F205F761EE9BBD8B@MAIL25CLUSTER.uno.edu> May 27, 2009 event at in.tu-clausthal.de ICCE-17 FINAL CALL FOR PAPERS 17th International Conference on Composites or Nano Engineering, ICCE-17, July 26 - August 1, 2009 in Honolulu, Hawaii, USA We have received overwhelming response of over 700 abstracts for this ICCE-17 Honolulu conference. The list of accepted paper titles can be found in web (wait a several days for computer to update the web), The conference web is, www.uno.edu/~engr/composite We are still accepting NEW paper titles at ICCE-17 Honolulu, so please inform interested friends. Interested authors should submit detailed two page abstract to David Hui, each page has two column format, and abstract must have as many results as possible. All abstracts will be reviewed and published as short papers in World Journal of Engineering. We allow only one paper per presenter. We prefer presenter as lead author. Due to budgetary constraints, we are unable to reduce your registration fee. The registration fee is US$520 before June 26, 2009. All these ICCE-17 detailed abstracts are peered reviewed and will appear as short papers in World Journal of Engineering (WJOE), upon payment of registration fee and attendance of ICCE-17. Further, "all" full length version of these short papers (with paper title change) will also be peered reviewed and published in WJOE. Thus, all participants will have two journal papers as a benefit of coming to ICCE-17 Hawaii. David Hui, Ph.D., Doctor Honoris Causa Chairman ICCE-17 Hawaii, USA Professor of Mechanical Engineering Univ. of New Orleans Editor-in-Chief, Composites B: Engineering Tel: (504) 280 6192 dhui at uno.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jno at di.uminho.pt Thu May 28 11:29:36 2009 From: jno at di.uminho.pt (J.N. Oliveira) Date: Thu, 28 May 2009 10:29:36 +0100 Subject: TFM09: Deadline extension to 8 June In-Reply-To: References: <264DF2E1B2597349B54599E4E797594870163D@srv-hrl-19.pwo.ou.nl> <264DF2E1B2597349B54599E4E79759485CE683@srv-hrl-19.pwo.ou.nl> <2F14C4C6-AAE3-42C9-9DE6-1382281B53C9@di.uminho.pt> <54A6BBFB-7720-464E-98EA-7F0B7207671E@di.uminho.pt> <5DE2D0B7-1B03-4431-9A76-03A39772A653@di.uminho.pt> <626EB11D-7016-40D0-895B-0137FE6D09E3@di.uminho.pt> <7D443B18-6D9B-4D07-80F2-5950DFE745DD@di.uminho.pt> <9B9D6B5E-2F66-48E4-B5EF-2573BBE3D4EA@di.uminho.pt> <34265FC2-C19C-465F-B1BC-B83F643DDA97@di.uminho.pt> <38B71AED-797A-4A14-9EAF-584382245FC1@di.uminho.pt> <48B53B07-B2AF-4F98-B9FA-34AB53346CDE@di.uminho.pt> <6BFFA78A-65BD-45DF-8C32-DE0B23366925@di.uminho.pt> <65C18FD7-851E-46BF-A778-E59ADA0FCEDB@di.uminho.pt> <73270517-0FEC-4DDF-BB16-D9EDAD1BA53A@di.uminho.pt> <45F6B635-017B-4DB9-80F7-B5850F7BA6A1@di.uminho.pt> <84281540-A4CE-402C-955C-5285F0B743ED@di.uminho.pt> <2E23B072-4D00-4ED9-B782-199F7CF6F777@di.uminho.pt> <0C7F69A0-25B7-4AC3-BC90-7F1776474E0E@di.uminho.pt> <10C8B341-7BC5-4BDD-B7A8-9682D2BB4E6A@di.uminho.pt> <2D3DAAF9-2C99-4952-AB9A-44BE4AAC1D58@di.uminho.pt> <1AF0BE2A-0447-418B-93AF-9439D36B32E9@di.uminho.pt> Message-ID: <8D70C496-0C44-4722-AACC-3CE8F7EA6F8D@di.uminho.pt> TFM 2009 - DEADLINE EXTENSION TO 8 JUNE Please visit http://www.di.uminho.pt/tfm09 ------------------------------------------------------------------------ ----- TFM 2009 2nd Int. FME Conference on Teaching Formal Methods "Widening Access to Formal Methods" Friday, November 6th 2009, co-located with FM2009 : 16th International Symposium on Formal Methods Eindhoven, the Netherlands, November 2 - November 6, 2009 CALL FOR PAPERS (URL: http://www.di.uminho.pt/tfm09) 1. About the conference ----------------------- Ten years after the First World Formal Methods Congress (FM'99) in Toulouse, formal methods communities from all over the world will once again have an opportunity to come together. As part of the First Formal Methods Week event surrounding the FM2009 conference in Eindhoven, Formal Methods Europe will be organizing TFM2009, the Second International Conference on Teaching Formal Methods. The conference will serve as a forum to explore the successes and failures of Formal Methods (FM) education, and to promote cooperative projects to further education and training in FMs. We would like to provide a forum for lecturers, teachers, and industrial partners to discuss their experience, present their pedagogical methodologies, and explore best practices. TFM2009 follows in a series of recent events on teaching formal methods, including: two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM 2004 conference in Ghent (with proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06), FORMED (Budapest, at ETAPS 2008), FMET 2008 (Kitakyushu 2008, co-located with ICFEM), etc. 2. Topics of interest --------------------- Formal methods (FM) have an important role to play in the development of complex computing systems - a role acknowledged in industrial standards such as IEC 61508 and ISO/IEC 15408, and in the increasing use of precise modeling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work effectively with simple, mathematical abstractions, and with practical notions of inference and proof. However, there is little clear guidance ? for educators, for managers, or for the engineers themselves ? as to what might comprise a basic education in FM. Neither the present IEEE/ACM Software Engineering Body of Knowledge (SWEBOK) nor the forthcoming Graduate Software Engineering Reference Curriculum (GSWERC) provide the kind of specific information that teachers and practitioners need to establish an adequate, balanced programme of learning in FM. Original contributions are solicited that provide insight, opinions, and suggestions for courses of action regarding the teaching FMs, including but not limited to the following aspects: * experiences of teaching FMs, both successful and unsuccessful; * educational resources including the use of books, case studies and the internet; * the education of weak and mathphobic students; * the integration, or otherwise, of FMs into the curriculum, including contributions to the definition of a Formal Methods Body of Knowledge (FMBOK); * the advantages of FM-trained graduates in the workplace; * changing attitudes towards FMs in students, academic staff and practitioners; * the necessary mathematical background. The conference proceedings will be published by Springer-Verlag in the LNCS series. Submissions may be up to 20 pages long using Springer's LNCS format. 3. Important dates ------------------ Please put the following dates in your diary: Submission deadline (extended) June 8, 2009 Notification of acceptance July 6, 2009 Final version August 3, 2009 4. How to submit ---------------- Papers for TFM2009 will be processed through the EasyChair conference management system. To submit your paper, please visit: http://www.easychair.org/conferences/?conf=tfm2009 5. Invited speakers ------------------- To be announced 6. Programme Committee ---------------------- Izzat Alsmadi (North Dakota State University, USA) Dines Bjorner (IIMM Institute, Denmark) Eerke Boiten (University of Kent, UK) Raymond Boute (Universiteit Gent, Belgium) Andrew Butterfield (Trinity College, Dublin) Jim Davies (University of Oxford, UK) David Duce (Oxford Brookes University, UK) John Fitzgerald (University of Newcastle upon Tyne, UK) Jeremy Gibbons (University of Oxford, UK) Randolph Johnson (National Security Agency, USA) Michael Mac an Airchinnigh (Trinity College, Dublin) Dino Mandrioli (Politecnico di Milano, Italy) Jose Oliveira (Universidade do Minho, Portugal) Kees Pronk (Technische Universiteit Delft, NL) Bernhard Schaetz (Tecnical University of Munique, Germany) Wolfgang Schreiner (Johannes Kepler University Linz, Austria) Simao Melo de Sousa (Universidade da Beira Interior, Portugal) Kenji Taguchi (National Institute of Informatics, Japan) Jeannette Wing (Carnegie-Mellon University, USA) 7. Sponsorship ---------------------- TFM2009 is supported by FME, the Formal Methods Europe Association. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jleite at di.fct.unl.pt Thu May 28 11:51:15 2009 From: jleite at di.fct.unl.pt (Joao Leite) Date: Thu, 28 May 2009 10:51:15 +0100 Subject: LADS'009 - Second Call for Papers - Workshop on Languages, methodologies and Development tools for multi-agent Systems Message-ID: ************************************************************************ CALL FOR PAPERS Submission deadline: June 10, 2009 Springer LNAI Post-Proceedings LADS'009 - Second Workshop on Languages, methodologies and Development tools for multi-agent Systems http://centria.di.fct.unl.pt/events/lads009/ Part of MALLOW'009, a federation of workshops on Multi-Agent Logics, Languages, and Organisations September 7-11, 2009 Torino, Italy ************************************************************************ Aims and Scope LADS aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. From richard.moot at labri.fr Thu May 28 19:32:22 2009 From: richard.moot at labri.fr (Richard Moot) Date: Thu, 28 May 2009 19:32:22 +0200 Subject: ESSLLI 2009 Bordeaux: Program and Call for Participation Message-ID: <667D1D86-05EB-4BBF-9826-0A0B4E654533@labri.fr> ------------------------------------------------- ESSLLI Monday, 20 July -- Friday, 31 July 2009 Bordeaux, France Program and Call for Participation ------------------------------------------------- The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. *** Registration *** Registration fees are 350 euros for master's/PhD student and 500 euros for other partipants. Registration closes on July the 1st. On-site registration will not be possible. You can register online at our website. http://esslli2009.labri.fr/reg.php *Registration deadline*: 1st of July 2009 *** Program *** * Evening Lecturers * - Anne Abeille (Laboratoire de Linguistique Formelle, Universite Paris 7) - Nick Chater (University College London) - Bruno Courcelle (LaBRI, Universite de Bordeaux) - Yiannis N. Moschovakis (University of California, Los Angeles) * First Week * (20 - 24th of July, 2009) 9:15 - 10:45 * Non-deterministic Multi-valued Logics - Arnon Avron and Beata Konikowska (Introductory course, Logic and Computation) * Introduction to Abstract Categorial Grammars: Foundations and main properties - Philippe de Groote and Sylvain Salvati (Introductory course, Language and Logic) * An introduction to minimalist grammars - Greg Kobele and Jens Michaelis (Advanced course, Language and Computation) * Ontology Modelling Languages - Markus Kroetzsch and Sebastian Rudolph (Foundational course, Logic and Computation) * The Logic of Sense and Reference - Reinhard Muskens (Foundational course, Language and Logic) * The mental lexicon, blueprint of the dictionaries of tomorrow: linguistic, computational and psychological aspects of a highly valuable resource - Michael Zock (Introductory course, Language and Computation) 10:45 - 11:00 Coffee Break 11:00 - 12:30 * How to do things with words: Speech Acts in Linguistics, Philosophy and Computation - Regine Eckardt and Magda Schwager(Advanced course, Language and Logic) * Temporal logics for specification and verification - Valentin Goranko (Introductory course, Logic and Computation) * Logics of individual and collective intentionality - Andreas Herzig and Emiliano Lorini (Introductory course, Logic and Computation) * Quotation and the semantics of speech reports - Emar Maier (Introductory course, Language and Logic) * Grammaticality Judgements as Linguistic Evidence - Brian Murphy (Introductory course, Language and Computation) * The Foundations of Statistics: A Simulation-Based Approach - Shravan Vasishth (Foundational course, Language and Computation) Lunch Break 14:15 - 15:45 * Logical Methods for Social Concepts - Andreas Herzig and Emiliano Lorini (Workshop, Logic and Computation) * Game semantics and its applications - Andrzej Murawski (Advanced course, Logic and Computation) * Parsing with Categorial Grammars - Gerald Penn (Workshop, Language and Computation) * Reasoning in complex theories and applications - Viorica Sofronie- Stokkermans (Advanced course, Logic and Computation) * Focus, Focus Interpretation, and Focus Sensitivity - Malte Zimmermann and Daniel Hole (Introductory course, Language and Logic) * Plurality and distributivity across language(s) and logic(s) - Eytan Zweig and George Tsoulas (Advanced course, Language and Logic) 15:45 - 17:15 Student Session 17:15 - 18:45 * Theoretical and Empirical Perspectives on Discourse - Nicolas Asher (Advanced course, Language and Logic) * Logicality and Invariance - Denis Bonnay (Introductory course, Language and Logic) * Games, Action and Social Software - Jan van Eijck and Rineke Verbrugge (Introductory course, Logic and Computation) * Vagueness in Communication - Manfred Krifka (Workshop, Language and Logic) * Computational Psycholinguistics - Roger Levy (Advanced course, Language and Computation) * Structures and Deduction 2009 - Michel Parigot and Lutz Strassburger (Workshop, Logic and Computation) * Week-End * (25 - 26th of July, 2009) 14th conference on Formal Grammar - FG 2009 * Second Week * (27 - 31st of July, 2009) 9:15 - 10:45 * Ontologies: Structuring, Modularity and Heterogeneity - Stefano Borgo and Oliver Kutz (Advanced course, Logic and Computation) * Meaning Composition: Empricial Problems and Formal Solutions - Louise McNally (Foundational course, Language and Logic) * Logics of Rational Agency (Pacuit) * Psycho-computational issues in Morphology Learning and Processing - Vito Pirrelli (Advanced course, Language and Computation) * Standard XML query languages for natural language processing - Ulrich Schaefer (Introductory course, Language and Computation) * Topics in the Semantics of Interrogative Clauses - Benjamin Spector and Marta Abrusan (Introductory course, Language and Logic) 10:45 - 11:00 Coffee Break 11:00 - 12:30 * Computational Lexical Semantics - Gemma Boleda and Stefan Evert (Introductory course, Language and Computation) * Case, Scrambling and Default Word Order - Miriam Butt and Heike Zinsmeister (Foundational course, Language and Computation) * Event Semantics and Adverbial Modification - Berit Gehrke and Boban Arsenijevic (Introductory course, Language and Logic) * Reasoning with Probabilities - Eric Pacuit and Joshua Sack (Advanced course, Logic and Computation) * Logics with Counting - Ian Pratt-Hartmann (Advanced course, Logic and Computation) * Proof-Theoretic Semantics - Peter Schroeder-Heister (Advanced course, Language and Logic) 12:30 - 14:15 Lunch Break 14:15 - 15:45 * Dynamic Logics for Interactive Belief Revision - Alexandru Baltag and Sonja Smets (Advanced course, Logic and Computation) * Advances in Abstract Categorial Grammars: Language theory and linguistic modeling - Makoto Kanazawa and Sylvain Pogodalla (Advanced course, Language and Logic) * Intelligent Computer-Assisted Language Learning: An introduction to an emerging interdisciplinary field - Detmar Meurers (Introductory course, Language and Computation) * Linguistic Information Visualization - Gerald Penn and Sheelagh Carpendale (Advanced course, Language and Computation) * New Directions in the Theory of Presupposition - Daniel Rothschild and Nathan Klinedinst (Workshop, Language and Logic) * Syntax and Semantics from an Algebraic Perspective - Edward Stabler and Edward Keenan (Introductory course, Language and Logic) 15:45 - 17:15 Student Session 17:15 - 18:45 * Logics and Agent Programming Languages - Natasha Alechina and Brian Logan (Introductory course, Logic and Computation) * Formal approaches to sign languages - Carlo Cecchetto and Carlo Geraci (Workshop, Language and Logic) * Distributional Semantic Models - Theory and Empirical Results - Stefan Evert and Alessandro Lenci (Advanced course, Language and Computation) * Referent Systems - Udo Klein and Markus Kracht (Advanced course, Language and Logic) * Corpus-Based Argument Structure - Adam Przepiorkowski (Introductory course, Language and Computation) * Explanation in Ontology Languages - Bijan Parsia and Thomas Schneider (Introductory course, Logic and Computation) *** Further Information *** The website for ESSLLI 2009 can be found at: http://esslli2009.labri.fr From henry at cs.uu.nl Fri May 29 16:08:22 2009 From: henry at cs.uu.nl (Henry Prakken) Date: Fri, 29 May 2009 16:08:22 +0200 Subject: AAAI Fall Symposium: The Uses of Computational Argumentation Message-ID: <4A1FEC56.6020000@cs.uu.nl> (apologies for multiple postings) CALL FOR PAPERS THE USES OF COMPUATIONAL ARGUMENTATION 5th-7th November 2009, Washington D.C., as part of the AAAI 2009 Fall Symposium Series http://people.cs.uu.nl/henry/uses/ The AAAI Fall Symposium Series provides the AI community with a unique venue in which researchers from different areas of AI can present speculative work and work in progress, hold focused discussions over several days, build new communities for emerging disciplines, and build ties between existing disciplines. OVERVIEW Argumentation is a form of reasoning in which explicit attention is paid to the reasons for the conclusions that are drawn and how conflicts between reasons are resolved. Explicit consideration of the support for conclusions provides a mechanism, for example, to handle inconsistent and uncertain information. Argumentation has been studied both at the logical level, as a way of modelling defeasible inference, and at the dialogical level, as a form of agent interaction. Argumentation has long been studied in disciplines such as philosophy, and one can find approaches in computer science from the 1970s onwards that clearly owe something to the notion of an argument. Work on computational argumentation, where arguments are explicitly constructed and compared as a means of solving problems on a computer, first started appearing in the second half of the 1980s, and argumentation is now well established as an important sub-field within artificial intelligence. There is now a good understanding of the basic requirements of argumentation systems, and there are several theoretical models that have been widely studied by researchers. There are one or two robust implementations, and the first software systems built around argumentation are beginning to appear. This, therefore, is an appropriate time to consider what these models and implementations might be used for. This symposium will provide a forum for wide-ranging discussion of the possible applications of techniques from computational argumentation. It will give special focus to strongly innovative ideas, ideas that can engage current researchers in the area and can inspire others to become researchers in the area. Papers are invited in all areas relating to argumentation and computation, including, but not limited to: * Applications of argumentation systems * Implementations of argumentation systems * Argumentation and inconsistent information * Argumentation and uncertain information * Argumentation and decision making * Argumentation as an interaction mechanism * Multiagent argumentation * Formal models of argumentation Of particular interest are papers describing new applications of argumentation, and new areas in which argumentation could be applied. Descriptions of work in progress are welcomed. SUBMISSION DETAILS Papers should be submitted to Simon Parsons (parsons at sci.brooklyn.cuny.edu). Submissions should be no more than 6 pages in AAAI format (see http://www.aaai.org/Publications/Author/author.php). Please submit PDF files only. ORGANIZING COMMITTEE * Trevor Bench-Capon, University of Liverpool, UK. * Simon Parsons, Brooklyn College, City University of New York, USA * Henry Prakken, Utrecht University and University of Groningen, The Netherlands. IMPORTANT DATES Submission Deadline: Friday 3rd July 2009 Notification of Acceptance/Rejection: Friday 31st July 2009 Camera Ready Copy Due: Friday 11th September 2009 Symposium: Thursday 5th - Saturday 7th November 2009 PROGRAM COMMITTEE * Leila Amgoud, IRIT, Toulouse * Kevin Ashley, University of Pittsburgh * Katie Atkinson, University of Liverpool * Pietro Baroni, University of Brescia * Trevor Bench-Capon, University of Liverpool * Martin Caminada, University of Luxembourg * Carlos Chesnevar, Universidad Nacional del Sur * Sylvie Doutre, University of Toulouse 1 * Paul Dunne, University of Liverpool * Floriana Grasso, University of Liverpool * Nancy Green, University of North Carolina * John Horty, University of Maryland * Tony Hunter, University College, London * Antononis Kakas, University of Cyprus * Peter McBurney, University of Liverpool * Tim Norman, University of Aberdeen * Sanjay Mogdil, Kings College, London * Simon Parsons, Brooklyn College, City University of New York * Henry Prakken, Utrecht University and University of Groningen. * Iyad Rahwan, British University of Dubai * Chris Reed, University of Dundee * Carles Sierra, IIIA-ISIC Barcelona * Guillermo Simari, Universidad Nacional del Sur, Bahia Blanca * Francesca Toni, Imperial College London * Paolo Torroni, Univerity of Bologna * Bart Verheij, University of Groningen * Gerard Vreeswijk, Utrecht University * Doug Walton, University of Windsor From henry at cs.uu.nl Fri May 29 16:07:34 2009 From: henry at cs.uu.nl (Henry Prakken) Date: Fri, 29 May 2009 16:07:34 +0200 Subject: subscribe Message-ID: <4A1FEC26.60109@cs.uu.nl> From henry at cs.uu.nl Fri May 29 16:20:21 2009 From: henry at cs.uu.nl (Henry Prakken) Date: Fri, 29 May 2009 16:20:21 +0200 Subject: Confirmation Request (1442966929) In-Reply-To: References: Message-ID: <4A1FEF25.1040508@cs.uu.nl> 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: 1442966929, > 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 Richard.Chbeir at u-bourgogne.fr Fri May 29 23:23:48 2009 From: Richard.Chbeir at u-bourgogne.fr (CHBEIR Richard) Date: Fri, 29 May 2009 23:23:48 +0200 Subject: ACM MEDES: Call for Papers Message-ID: <1243632228.4a205264cc5f9@webmail.u-bourgogne.fr> Sorry for cross-postings ########################################################################################################################## The International ACM Conference on Management of Emergent Digital EcoSystems (MEDES 2009) Technically sponsored by both ACM SIGAPP and ACM SIGAPP.fr Chapter Technically sponsored by IEEE France & IEEE SMCS with the cooperation of IFIP WG 2.6 http://sigappfr.acm.org/medes October 27-30, 2009 Lyon - France Description and Objectives --------------------------- In the world of the Internet, the rapid growth and exponential use of digital medias leads to the emergence of virtual environments namely digital ecosystems composed of multiple and independent entities such as individuals, organizations, services, software and applications sharing one or several missions and focusing on the interactions and inter-relationships among them. The digital ecosystem exhibits self-organizing environments, thanks to the re-combination and evolution of its digital components, in which resources provided by each entity are properly conserved, managed and used. The underlying resources mainly comprehend data management, innovative services, computational intelligence and self-organizing platforms. Due to the multi-disciplinary nature of digital ecosystems and their characteristics, they are highly complex to study and design. This also leads to a poor understanding as to how managing resources will empower digital ecosystems to be innovative and value-creating. The application of Information Technologies has the potential to enable the understanding of how entities request resources and ultimately interact to create benefits and added-values, impacting business practices and knowledge. These technologies can be improved through novel techniques, models and methodologies for fields such as data management, web technologies, networking, security, human-computer interactions, artificial intelligence, e-services and self-organizing systems to support the establishment of digital ecosystems and manage their resources. The International Conference on Management of Emergent Digital EcoSystems (EDES) aims to develop and bring together a diverse community from academia, research laboratories and industry interested in exploring the manifold challenges and issues related to resource management of Digital Ecosystems and how current approaches and technologies can be evolved and adapted to this end. The conference seeks related original research papers, industrial papers and proposals for demonstrations, and tutorials and workshops. Topics ------- We solicit original research and technical papers not published elsewhere. The papers can be theoretical, practical and application oriented on the following themes (but not limited to): - Digital Ecosystem Infrastructure - Web Technologies - Social Networks - Data & Knowledge Management Systems - Multimedia Information Retrieval - Ontology Management - Services systems and Engineering - E-Services , E-Learning, E-Humanities and E-Government - Emergent Intelligence - Game Theory - Networks and Protocols - Security & Privacy - Standardization and Extensible Languages - Human-Computer Interaction - Business Intelligence - B2B, B2C, B2A, E-Commerce, E-Business, E-Marketing and E-Procurement - Digital Library - Open Source Paper Submission ---------------- Submissions must be in an electronic form as PDF format and should be uploaded using the conference website. Submissions should be at most 8 ACM single-space printed pages. Papers that fail to comply with length limit will be rejected. Submissions will be peer-reviewed by at least 3 peer reviewers. Selection criteria will include: relevance, significance, impact, originality, technical soundness, and quality of presentation. Preference will be given to submissions that take strong or challenging positions on important emergent topics related to Digital Ecosystems. At least one author should attend the conference to present the paper. The conference Proceedings will be published by ACM and indexed by the ACM Digital Library. Important Dates ---------------- - Full Paper submission: June 15, 2009 - Notification of Paper Acceptance: September 5, 2009 - Camera Ready Papers Due and Registration: September 15, 2009 - Conference Dates: October 27-30, 2009 Special issues and Journal Publication --------------------------------------- Extended versions of the selected papers will be published in one of the following reviewed journals: - International Journal on Subject-Centric Computing (IJSCC) - Journal of Organizational and Collective Intelligence (IJOCI) - Journal of Emerging Technologies in Web Intelligence (JETWI) - International Journal of Bio-Inspired Computation (IJBIC) - International Journal of Internet and Enterprise Management (IJIEM) Committees ----------- General Chair ------------- Nicolas Spyratos, Paris-Sud University, France Program Chairs -------------- Epaminondas Kapetanios, University of Westminster, UK Agma Traina, University of Sao Paulo, Brazil Workshops Chairs ---------------- Yinghua Ma, University of Jiaotong, China William I. Grosky, University of Michigan-Dearborn, USA Tutorial Chair -------------- Dominique Laurent, University of Cergy-Pontoise, France Publicity Chair --------------- Ghislain Sillaume, CVCE, Luxembourg Local Organizing Committee Chairs --------------------------------- Nicolas Lumineau, Lyon 1 University, France Cecile Favre, University of Lyon2, France International Program Committee: (see the web site for the full list) -- #################################################### # Richard CHBEIR, Ph.D. in Computer Science # # Associate Professor # # Laboratoire LE2I (UMR - CNRS) # # Bourgogne University # # Aile de l'Ingénieur # # Office GS 16 # # BP 47870 # # 21078 Dijon CEDEX France # # Tel.: +333 80 39 36 55 # # Fax: +333 80 39 68 69 # # Email: richard.chbeir at u-bourgogne.fr # # Web: http://www.le2I.com # #################################################### From sadighim at gmail.com Sat May 30 10:19:41 2009 From: sadighim at gmail.com (Mohsen Sadighi) Date: Sat, 30 May 2009 01:19:41 -0700 Subject: WARNING! (3142569372) In-Reply-To: References: Message-ID: On 5/29/09, event administration wrote: > > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 3142569372, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -- Mohsen Sadighi Moshkenani, PhD School of Sciences and Engineering Sharif University of Technology International Branch, Kish Island, Iran Telephone: +98 9123449160 Fax: +98 764 4422828 sadighim at sharif.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sadighim at gmail.com Sat May 30 14:57:17 2009 From: sadighim at gmail.com (Mohsen Sadighi) Date: Sat, 30 May 2009 05:57:17 -0700 Subject: Confirmation Request (2516455161) In-Reply-To: References: Message-ID: On 5/30/09, event administration wrote: > > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2516455161, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > -- Mohsen Sadighi Moshkenani, PhD School of Sciences and Engineering Sharif University of Technology International Branch, Kish Island, Iran Telephone: +98 9123449160 Fax: +98 764 4422828 sadighim at sharif.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alessandra.mileo at nomadis.unimib.it Sat May 30 15:58:28 2009 From: alessandra.mileo at nomadis.unimib.it (Alessandra Mileo) Date: Sat, 30 May 2009 15:58:28 +0200 Subject: WARNING! (3026389718) In-Reply-To: References: Message-ID: <18C747A2-44C0-42D9-80B5-7391B709DA87@nomadis.unimib.it> ----------------------------------------------------------- Dr. Alessandra Mileo Assegnista di Ricerca presso Nomadis Lab. Dipartimento di Informatica, Sistemistica e COmunicazione Università degli Studi di Milano-Bicocca Sito web: http://sites.google.com/site/alessandramileoweb/ Email: alessandra.mileo at disco.unimib.it Email: alessandra.mileo at nomadis.unimib.it Tel: +39 02 6448 7887 ----------------------------------------------------------- On May 30, 2009, at 3:15 AM, event administration wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 3026389718, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > From alessandra.mileo at nomadis.unimib.it Sat May 30 16:06:02 2009 From: alessandra.mileo at nomadis.unimib.it (Alessandra Mileo) Date: Sat, 30 May 2009 16:06:02 +0200 Subject: Confirmation Request (0537273791) In-Reply-To: References: Message-ID: <5D58AB03-5B5C-48B6-B89C-FCBF41ADD837@nomadis.unimib.it> ----------------------------------------------------------- Dr. Alessandra Mileo Assegnista di Ricerca presso Nomadis Lab. Dipartimento di Informatica, Sistemistica e COmunicazione Università degli Studi di Milano-Bicocca Sito web: http://sites.google.com/site/alessandramileoweb/ Email: alessandra.mileo at disco.unimib.it Email: alessandra.mileo at nomadis.unimib.it Tel: +39 02 6448 7887 ----------------------------------------------------------- On May 30, 2009, at 4:00 PM, event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 0537273791, > 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 ci-listen at in.tu-clausthal.de Thu May 7 13:27:45 2009 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Thu, 07 May 2009 13:27:45 +0200 Subject: Stellenausschreibung: Wissenschaftliche/r Mitarbeiter/in Kat. 2 In-Reply-To: <4A017287.3060900@sti2.at> References: <4A017287.3060900@sti2.at> Message-ID: Dear Sirs, your announcement certainly is relevant for the audience of the Event at CIG mailing list, however its language is German, while the list language is English. In the case you would still like to distribute the message via our channel, please repost it in English. Best regards, Peter Novak, Event at CIG administratot & moderator. On Wed, 06 May 2009 13:20:39 +0200 HR
wrote: > > Wir suchen ehest möglich auf 4 Jahre > Wissenschaftliche/r Mitarbeiter/in Kat. 2 > Organisationseinheit: Forschungsinstitut STI > Hauptaufgaben: Konzeption Vorbereitung und >Durchführung von Kursen (Vorlesungen Übungen > Seminaren) Ausführung von Forschungsprojekten mit >Schwerpunkt Semantic Web Betreuung von Studierenden >und PraktikantInnen Erforderliche Qualifikation: > Universitätsabschluss in Informatik > Forschungsinteressen in Logik Ontology Languages > Semantic Web Service Semantics in Business >Information Systems oder ähnlichen Forschungsgebieten > Die Bereitschaft formelle Forschung mit >anwendungsorientierter Forschungsarbeit in nationalen und >EU-Projekten zu verbinden Die Bereitschaft in einem >sehr internationalen Team zu arbeiten Sehr gute >Englischkenntnisse Bewerbung unter: > Wir freuen uns auf Ihre schriftliche Bewerbung bis >27.05.2009 unter Angabe der > Chiffre MIP-5533 am Briefumschlag: > Universität Innsbruck > Posteinlaufstelle der Zentralen Dienste > Innrain 52 > A-6020 Innsbruck >