From hr.at at deri.org Wed Aug 1 09:31:39 2007 From: hr.at at deri.org (hr.at at deri.org) Date: Wed, 01 Aug 2007 09:31:39 +0200 Subject: Job ad: Post-Docs & Senior Researchers Message-ID: <46B036DB.1060002@deri.org> Post-Docs & Senior Researchers DERI Innsbruck is one of the leading research groups in the area of Semantic Web technologies with excellent ties to key relevant research groups worldwide. To strengthen our team we are seeking for a senior researcher with a strong background in knowledge representation, logics and formal specification languages. Experience in algorithmic aspects within these domains are a particular plus for respective candidates. We expect ** An excellent PhD degree, or equivalent academic degree, in Computer Science or related disciplines. ** Research interest in at least one of the areas Knowledge Representation, Logics (e.g. Description Logics, First-order Logics, Logic Programming), Ontology Languages, or related Semantic Web topics. ** Practical experience in computational aspects of logics and the construction of respective software systems are a definite plus for applicants. ** The willingness to combine formal scientific work with application-oriented research in projects funded by the European Commission and national Austrian agencies. We are looking for individuals who will be able to continue their existing field of research within our ongoing and new research projects. The senior positions also include management and supervision responsibilities for a research unit of up to 6 junior researchers. We offer ** The stimulating environment of a leading research group in this area ** Excellent ties to research groups worldwide and major IT companies ** Up-to-date infrastructure and resources, including funding for attending international conferences and training and educational events For further information regarding this position and DERI, please see http://www.deri.at. We invite you to submit your application to hr.at at deri.org. Please include a current resume, a list of publications, and digital versions of your most relevant works. From demis at dimi.uniud.it Thu Aug 2 14:29:12 2007 From: demis at dimi.uniud.it (Demis) Date: Thu, 2 Aug 2007 14:29:12 +0200 Subject: CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07) Message-ID: [ We apologize for multiple copies ] ******************************************************************* Preliminary Call For Papers 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV'07) San Servolo island, Venice (Italy) December 14, 2007 http://wwv07.dimi.uniud.it/ ******************************************************************* SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. We solicit original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as: * rule-based approaches to Web site analysis, certification, specification, verification, and optimization * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * abstract interpretation and program transformation applied to the semantic Web * intelligent tutoring and advisory systems for Web specifications authoring * Web quality and Web metrics * Web usability and accessibility * Testing and evaluation of Web systems and applications The WWV series provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. LOCATION WWV'07 will be held in December in the convention centre of the island of San Servolo, Venice, Italy. SUBMISSION PROCEDURE Submissions must be received by October 21, 2007. In addition, an ASCII version of the title and abstract must have been submitted by October 14, 2007. Submitted papers should be at most 15 pages in the Electronic Notes in Theoretical Computer Science (ENTCS) style, and should include an abstract and the author's information. See the author's instructions of ENTCS style at http://www.entcs.org. PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. Publication of the workshop post-proceedings in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS) is envisaged. PROGRAM CO-CHAIRS Santiago Escobar (Technical University of Valencia, Spain) Massimo Marchiori (University of Padova, Italy) WORKSHOP CHAIR Demis Ballis (University of Udine, Italy) PROGRAM COMMITTEE (to be announced) IMPORTANT DATES Abstract Submission October 14, 2007 Full Paper Submission October 21, 2007 Acceptance Notification November 12, 2007 Camera Ready November 23, 2007 Workshop December 14, 2007 (temptative) From hemker at sim.tu-darmstadt.de Mon Aug 6 10:24:57 2007 From: hemker at sim.tu-darmstadt.de (Thomas Hemker) Date: Mon, 06 Aug 2007 10:24:57 +0200 Subject: WARNING! (3378447209) In-Reply-To: References: Message-ID: <46B6DAD9.4020907@sim.tu-darmstadt.de> event administration schrieb: > 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: 3378447209, > 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 sadighim at gmail.com Mon Aug 6 12:14:52 2007 From: sadighim at gmail.com (Mohsen Sadighi) Date: Mon, 6 Aug 2007 03:14:52 -0700 Subject: Confirmation Request (2516455161) In-Reply-To: References: Message-ID: On 8/6/07, event administration wrote: > > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2516455161, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Oege.de.Moor at comlab.ox.ac.uk Mon Aug 6 15:00:27 2007 From: Oege.de.Moor at comlab.ox.ac.uk (Oege.de.Moor at comlab.ox.ac.uk) Date: Mon, 6 Aug 2007 13:00:27 GMT Subject: PEPM 2008 Message-ID: <200708061300.l76D0R9Z004770@mercury.comlab.ox.ac.uk> PEPM 2008 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation January 7-8, 2008, San Francisco Keynotes by Ras Bodik (Berkeley) and Monica Lam (Stanford) Co-located with POPL http://www.program-transformation.org/PEPM08/WebHome PEPM is a leading venue for the presentation of cutting-edge research in program analysis, program generation and program transformation. Its proceedings are published by ACM Press; full details of the scope, submission process, and program committee can be found at the above URL. The program committee would particularly welcome submissions from researchers in computational intelligence on any topic relating to intelligent techniques for guiding automatic optimisation Abstracts are due on October 12, and the deadline for full paper submission is October 17. Prospective authors are welcome to contact the program chairs, Robert Glueck (glueck at acm.org) and Oege de Moor (oege at comlab.ox.ac.uk) with any queries they might have. From mehdi at cs.uu.nl Tue Aug 7 15:59:50 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Tue, 7 Aug 2007 15:59:50 +0200 (CEST) Subject: EASSS 2007: Call for Participation Message-ID: <58157.80.191.123.138.1186495190.squirrel@mail.cs.uu.nl> ============================================================ *** EARLY REGISTRATION 10 August 2007 *** Call For Participation 9th European Agent Systems Summer School (EASSS 2007) Durham, UK, 27 - 31 August 2007 http://www.dur.ac.uk/durham.agents007/EASSS07/ ============================================================ As its very successful predecessors, EASSS-2007 offers a valuable forum for knowledge exchange between various research groups in the area multi-agent systems for the benefit of students and researchers. EASSS 2007 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in multi-agent systems, and it covers the full range of theoretical and practical aspects of multi-agent systems. The final programme is available on the EASSS'07 website. This summer school is open to anyone from academia or industry. A modest registration fee will be charged to cover costs such as proceedings, lunch, social dinner, and welcome reception. There are several cheap connections from European cities to Durham. Please see the EASSS-2007 website for further information about registration, travel, and accommodation. Although there is no early registration deadline, we strongly recommend registering early as there is a limited number of available places. Early registration deadline is *** 10 August 2007 ***. Registration fee after this date (including on-site registration) will be 130 GBP. -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL: http://www.cs.uu.nl/~mehdi From tc at cs.bath.ac.uk Thu Aug 9 11:43:50 2007 From: tc at cs.bath.ac.uk (Tom Crick) Date: Thu, 09 Aug 2007 10:43:50 +0100 Subject: Final CfP: AgentcitiesUK.net Challenge Day on Agents and Pervasive Computing Message-ID: <46BAE1D6.50208@cs.bath.ac.uk> ========================================================================= FINAL CALL FOR PARTICIPATION AgentcitiesUK.net Challenge Day 6: Agents and Pervasive Computing http://agentcitiesuk.net/ REGISTRATION DEADLINE: 17th August 2007 University of Bath, UK 29th -- 30th August 2007 ========================================================================= This is the final call for participation in the sixth AgentcitiesUK.net Challenge Day on Agents and Pervasive Computing, to be held on 29th-30th August 2007 at the University of Bath, UK. Aims and Scope -------------- This is the sixth and final meeting in a series that has previously investigated issues in e-Health provision (CD1), e-Government (CD2), e-Transportation (CD3), Disaster Response and Management (CD4) and Agents and Grids (CD5). The purpose of this "Challenge Day" is both to explore and extrapolate from current research and to brainstorm on completely new possibilities for the use of agent technologies in pervasive computing, as well as introduce non-specialists to the possibilities agents can offer. The focus will be on how agents can help us with tasks that we are unable to do now -- not just automating existing practices. The aims are to identify real agent added-value and develop sustainable arguments that autonomy is an opportunity, not a threat. The goal of the sixth AgentcitiesUK.net Challenge Day is (i) to provide a forum for projects that are attempting to bring these technologies together as well as (ii) an opportunity for established researchers in either area to find out more about the other, with the objective of (iii) building a consensus for a joint research agenda. Some possible discussion themes include: -healthcare and assisted living (e.g. Healthcare at Home) -social spaces (e.g. Cityware) -differences in living (supporting people) and external applications (looking after environment) -sensors and monitoring -ubiquitous computing (e.g. UbiNet) We invite applications for participation from UK-based researchers (including postgraduate students) from the agent and pervasive computing communities, along with stakeholders from the industrial and public sectors. Structure --------- The meeting will take place over two days, starting in the morning of day one and finishing mid-afternoon on day two. Dinner will be provided on the evening of day one. The discussion leaders will outline particular problems for which agent technology might offer solutions: this will be interactive -- a mixture of brainstorming and requirements elicitation. A session during the first day will be spent working in groups focussing on specific problems/scenarios followed by reporting back to the workshop as a whole. The dinner in the evening will provide a context for further exploration of the ideas generated earlier. The second day will comprise further talks plus a discussion mediated by the rapporteurs from the groups of the previous day. After lunch we will conclude by looking at potential future directions for research and follow-up actions. Networking and internet access facilities will be provided throughout the meeting. Application Procedure --------------------- We invite applications for participation from UK-based researchers, including postgraduate students with interests in the applications development in fields relating to multi-agent systems and pervasive computing. All places will include funded accommodation at the University of Bath on the night of the 29th August, along with subsistence and travel support. FUNDING IS ONLY AVAILABLE TO UK PARTICIPANTS AND UK-BASED RESEARCHERS. However, it may possible to fund the UK portion of overseas participants' travel. REGISTRATION: to apply for a place please visit http://agentcitiesuk.net/ and fill out the CD6 event registration form. We ask that potential participants prepare a paragraph detailing their research interests and potential discussion topics for the Challenge Day. Important Dates --------------- 17th August 2007: Registration deadline 20th August 2007: Notification of places and grants 29th/30th August 2007: Challenge Day For further information, visit the AgentcitiesUK.net website or contact cd6-registration at agentcitiesuk.net. CD6 Steering Committee: Julian Padget, University of Bath (jap at cs.bath.ac.uk) About AgentcitiesUK.net ----------------------- AgentcitiesUK.net is an EPSRC-funded project which exists to continue and extend the lines of research and development initiated by the EU-funded agentcities projects within the United Kingdom. Specifically, the project goals include: - Establish a support network for UK agents research - diffusion of EU Agentcities outputs - Create and maintain a body of experience in agent-based services - Provide a national/European context for masters and doctoral research in agent-based services - Develop infrastructure and framework for a distributed laboratory for agent experiments - Liaison with AgentLink and other EU agent activities From quaticforum at gmail.com Thu Aug 9 21:41:53 2007 From: quaticforum at gmail.com (QUATIC 2007) Date: Thu, 9 Aug 2007 20:41:53 +0100 Subject: QUATIC'2007 (Lisbon, 12-14 September) - Call for Participation Message-ID: <52f0b9010708091241g601c8cefpf4ccefc007634ac7@mail.gmail.com> CALL FOR PARTICIPATION QUATIC'2007 6th International Conference on the Quality of Information and Communications Technology September 12 - 14, 2007 Lisbon, Portugal Supported / Sponsored by: IEEE Computer Society, American Society for Quality, CGD, Critical Software, EDP, Microsoft, PT Comunicações, APCER, IPQ, itSMF and more ... Abstract: The International Conference on the Quality of Information and Communications Technology (QUATIC) serves as a forum for disseminating advanced methods and tools for supporting quality approaches to ICT engineering and management. Practitioners and researchers are encouraged to exchange ideas and approaches on how to adopt a quality culture in ICT process and product improvement and to provide practical studies in varying contexts. Check the web site for all details about the scientific program, social program, and registration instructions. http://quatic2007.dsi.uminho.pt/ INVITED LECTURES * A Vision for International Standardization in Software and Systems Engineering François Coallier, ETS/Université du Québec network * Sorting Out Software Quality: The Empirical Basis and Selected Results Philip Miller, SEI/Carnegie Mellon University TUTORIALS (free attendance) * Managing Software Products Development Life Cycle with Microsoft Solutions Framework 4.0 and VS 2005 Team System Carlos Morais, Hugo Ribeiro (Primavera BSS) * How to Make Sure BPMS and other Enterprise Systems are Aligned To The Company's Strategy Jorge S. Coelho (SisConsult), Sandra Derom (W3SI) * Model Based Testing Ana Paiva (FE/UP) AFFILIATED WORKSHOPS * Software Engineering Doctoral Consortium (SEDES) * The Teaching of Quality in Information and Communication Technology Education Programs (TEQUA) INDUSTRIAL TRACK * Several panels, sponsor sessions and demos SCIENTIFIC TRACK * Session: Software Product Quality - Tool Support for ISO 14598 Based Code Quality Assessment (Johannes Kepler University) - A Practical Model for Measuring Maintainability (Software Improvement Group) - Towards Paradigm-independent Software Assessment (Universidade Nova de Lisboa) * Session: Software Methodologies and Quality Assurance - Updating OO-Method Function Points (Technical University of Valencia) - Testing Aspect Oriented Programs (University of Sannio Benevento) - Modeling the Experimental Software Engineering Process (Universidade Nova de Lisboa) * Session: Software Process Improvement Approaches - Problems and Pitfalls in a CMMI level 3 to level 4 Migration Process (Eldorado Research Institute) - A Software Process Improvement Approach (INESC-ID, Universidade do Algarve) - MPS Model-Based Software Acquisition Process Improvement in Brazil (SOFTEX) * Session: Middleware and Services Architecture - A Scalable Quality of Service Middleware System with Passive Monitoring (VTT Technical Research Centre of Finland) - Quality Assurance in perfSONAR Release Management (Internet2, Leibniz Supercomputing Center, DANTE, FCCN, University of Cyprus, GRNET) * Session: Quality in the WEB - A Probabilistic Approach to Web Portal's Data Quality Evaluation (University of Bio Bio, University of Castilla-La Mancha, University of Auckland) - Towards the Support of Contextual Information to a Measurement and Evaluation Framework (Universidad Nacional de La Pampa) * Session: Software Process Improvement in Practice - A Nationwide Program for Software Process Improvement in Brazil (Federal University of Rio de Janeiro) - Lessons Learned and Results from Applying Data-Driven Cost Estimation to Industrial Data Sets (Fraunhofer Institute for Experimental Software Engineering) - Implementing Software Process Improvement Initiatives in Small and Medium- Size Enterprises in Brazil (Federal University of Rio de Janeiro) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From quatic2007 at ctp.di.fct.unl.pt Wed Aug 15 13:54:03 2007 From: quatic2007 at ctp.di.fct.unl.pt (QUATIC 2007) Date: Wed, 15 Aug 2007 12:54:03 +0100 Subject: QUATIC'2007 Call for Participation (Lisbon, Portugal, September 12-14) Message-ID: CALL FOR PARTICIPATION QUATIC'2007 6th International Conference on the Quality of Information and Communications Technology September 12 - 14, 2007 Lisbon, Portugal Supported / Sponsored by: IEEE Computer Society, American Society for Quality, CGD, Critical Software, EDP, Microsoft, Portugal Telecom, APCER, IPQ, itSMF and more ... Abstract: The International Conference on the Quality of Information and Communications Technology (QUATIC) serves as a forum for disseminating advanced methods and tools for supporting quality approaches to ICT engineering and management. Practitioners and researchers are encouraged to exchange ideas and approaches on how to adopt a quality culture in ICT process and product improvement and to provide practical studies in varying contexts. Check the web site for all details about the scientific program, social program, and registration instructions. http://quatic2007.dsi.uminho.pt/ INVITED LECTURES * A Vision for International Standardization in Software and Systems Engineering Fran�ois Coallier, ETS/Universit� du Qu�bec network * Sorting Out Software Quality: The Empirical Basis and Selected Results Philip Miller, SEI/Carnegie Mellon University TUTORIALS (free attendance) * Managing Software Products Development Life Cycle with Microsoft Solutions Framework 4.0 and VS 2005 Team System Carlos Morais, Hugo Ribeiro (Primavera BSS) * How to Make Sure BPMS and other Enterprise Systems are Aligned To The Company's Strategy Jorge S. Coelho (SisConsult), Sandra Derom (W3SI) * Model Based Testing Ana Paiva (FE/UP) AFFILIATED WORKSHOPS * Software Engineering Doctoral Consortium (SEDES) * The Teaching of Quality in Information and Communication Technology Education Programs (TEQUA) INDUSTRIAL TRACK * Several panels, sponsor sessions and demos SCIENTIFIC TRACK * Session: Software Product Quality - Tool Support for ISO 14598 Based Code Quality Assessment (Johannes Kepler University) - A Practical Model for Measuring Maintainability (Software Improvement Group) - Towards Paradigm-independent Software Assessment (Universidade Nova de Lisboa) * Session: Software Methodologies and Quality Assurance - Updating OO-Method Function Points (Technical University of Valencia) - Testing Aspect Oriented Programs (University of Sannio Benevento) - Modeling the Experimental Software Engineering Process (Universidade Nova de Lisboa) * Session: Software Process Improvement Approaches - Problems and Pitfalls in a CMMI level 3 to level 4 Migration Process (Eldorado Research Institute) - A Software Process Improvement Approach (INESC-ID, Universidade do Algarve) - MPS Model-Based Software Acquisition Process Improvement in Brazil (SOFTEX) * Session: Middleware and Services Architecture - A Scalable Quality of Service Middleware System with Passive Monitoring (VTT Technical Research Centre of Finland) - Quality Assurance in perfSONAR Release Management (Internet2, Leibniz Supercomputing Center, DANTE, FCCN, University of Cyprus, GRNET) * Session: Quality in the WEB - A Probabilistic Approach to Web Portal�s Data Quality Evaluation (University of Bio Bio, University of Castilla-La Mancha, University of Auckland) - Towards the Support of Contextual Information to a Measurement and Evaluation Framework (Universidad Nacional de La Pampa) * Session: Software Process Improvement in Practice - A Nationwide Program for Software Process Improvement in Brazil (Federal University of Rio de Janeiro) - Lessons Learned and Results from Applying Data-Driven Cost Estimation to Industrial Data Sets (Fraunhofer Institute for Experimental Software Engineering) - Implementing Software Process Improvement Initiatives in Small and Medium- Size Enterprises in Brazil (Federal University of Rio de Janeiro) From R.Bordini at durham.ac.uk Wed Aug 15 17:23:01 2007 From: R.Bordini at durham.ac.uk (Rafael H Bordini) Date: Wed, 15 Aug 2007 16:23:01 +0100 Subject: Update: Durham Agents 2007 participation Message-ID: <91CD47BC-D249-4416-A7CA-607150DD88CB@durham.ac.uk> ================================================================= Durham Agents 2007 ------------------ http://www.dur.ac.uk/durham.agents007/ MALLOW'007 - Multi-Agent Logics, Languages, and Organisations Federated Workshops http://www.dur.ac.uk/durham.agents007/MALLOW007/ EASSS'07 - 9th European Agent Systems Summer School http://www.dur.ac.uk/durham.agents007/EASSS07 Durham University, UK 27th August - 7th of September, 2007 ================================================================= MALLOW update: - Due to available places in the lecture rooms booked for the invited talks, there are only a few places left to register for MALLOW. If you are planning to attend and have not registered yet, you should do so ASAP. - For various admin reasons, the last date to register to attend MALLOW will be 27/Aug/2007 (if there are places left). We won't be able to accept any further registrations after that date. - MALLOW will have invited talks by Munindar Singh, Wiebe van der Hoek, and Dave Robertson. - Each MALLOW workshop has published on the web the list of accepted papers. If you are considering attending MALLOW, just follow the links to the individual workshops' web pages to check their programme. EASSS update: - Due to various admin reasons, the last date to register to attend EASSS'07 will be 20/Aug/2007. We won't be able to accept any further registrations after that date. - Thanks to EPSRC-UK support, we have 100 grants of GBP 50 each to help defray the costs of registration. If you are a PhD student and your travel is sponsored by a higher education institution, you are very likely to be entitled to one such grant. Other participants are encouraged to apply too. To apply, simply send an email To: durham.agents007 at durham.ac.uk Subject: EASSS07 grant application with a short (no longer than 1 paragraph) description of your research interests, and a brief explanation of how your attendance is being funded (assuming you have registered beforehand). From Thomas.Lukasiewicz at dis.uniroma1.it Sun Aug 19 16:17:00 2007 From: Thomas.Lukasiewicz at dis.uniroma1.it (Thomas Lukasiewicz) Date: Sun, 19 Aug 2007 16:17:00 +0200 Subject: (no subject) Message-ID: <46C850DC.6070507@dis.uniroma1.it> From Thomas.Lukasiewicz at kr.tuwien.ac.at Sun Aug 19 16:19:51 2007 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Sun, 19 Aug 2007 16:19:51 +0200 Subject: subscribe Message-ID: <46C85187.9010302@kr.tuwien.ac.at> From Thomas.Lukasiewicz at dis.uniroma1.it Sun Aug 19 16:25:05 2007 From: Thomas.Lukasiewicz at dis.uniroma1.it (Thomas Lukasiewicz) Date: Sun, 19 Aug 2007 16:25:05 +0200 Subject: unsubscribe Message-ID: <46C852C1.5060006@dis.uniroma1.it> From Thomas.Lukasiewicz at kr.tuwien.ac.at Sun Aug 19 16:26:09 2007 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Sun, 19 Aug 2007 16:26:09 +0200 Subject: subscribe Message-ID: <46C85301.6040407@kr.tuwien.ac.at> From Thomas.Lukasiewicz at kr.tuwien.ac.at Sun Aug 19 17:30:54 2007 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Sun, 19 Aug 2007 17:30:54 +0200 Subject: 2125813524 In-Reply-To: References: Message-ID: <46C8622E.3040806@kr.tuwien.ac.at> From Thomas.Lukasiewicz at dis.uniroma1.it Sun Aug 19 17:21:07 2007 From: Thomas.Lukasiewicz at dis.uniroma1.it (Thomas Lukasiewicz) Date: Sun, 19 Aug 2007 17:21:07 +0200 Subject: Confirmation Request (2888136671) In-Reply-To: References: Message-ID: <46C85FE3.909@dis.uniroma1.it> event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the unsubscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2888136671, > 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 Thomas.Lukasiewicz at kr.tuwien.ac.at Sun Aug 19 17:24:21 2007 From: Thomas.Lukasiewicz at kr.tuwien.ac.at (Thomas Lukasiewicz) Date: Sun, 19 Aug 2007 17:24:21 +0200 Subject: Confirmation Request (2125813524) In-Reply-To: References: Message-ID: <46C860A5.6010600@kr.tuwien.ac.at> 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: 2125813524, > 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 Thomas.Lukasiewicz at dis.uniroma1.it Sun Aug 19 17:28:48 2007 From: Thomas.Lukasiewicz at dis.uniroma1.it (Thomas Lukasiewicz) Date: Sun, 19 Aug 2007 17:28:48 +0200 Subject: 2888136671 In-Reply-To: References: Message-ID: <46C861B0.7020003@dis.uniroma1.it> From areces at loria.fr Mon Aug 20 18:34:23 2007 From: areces at loria.fr (Carlos Areces) Date: Mon, 20 Aug 2007 18:34:23 +0200 Subject: M4M-5: EasyChair Submission Page Now Open In-Reply-To: <46666967.3090904@loria.fr> References: <46666967.3090904@loria.fr> Message-ID: <46C9C28F.6060405@loria.fr> ==================================================================== 5th Worskhop on "Methods for Modalities" (M4M-5) http://m4m.loria.fr/M4M5 Ecole Normale Superieure de Cachan, France November 29-30 ==================================================================== The EasyChair Submission Page is now open at: http://www.easychair.org/M4M5/ ==================================================================== 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 and posters, 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/ Paper Submissions ------------------ Authors are invited to submit papers in the following three categories. - Regular papers up to 15 pages, describing original results, work in progress, or future directions of 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/M4M5/ Final versions of accepted papers will be published online in an Elsevier ENTCS volume. A preliminary version of the proceedings will also be available at the workshop. Invited speakers ----------------- Ahmed Bouajjani (University of Paris 7) Patricia Bouyer (OUCL, Oxford - LSV, ENS Cachan) Balder ten Cate (University of Amsterdam) Koen Claessen (Chalmers University of Technology) Wiebe van der Hoek (University of Liverpool) Important dates --------------- Deadline for submissions: September 7th, 2007 Notification: October 10, 2007 Camera ready versions: November 5, 2007 Workshop dates: November 29-30, 2007 Program Committee ----------------- Natasha Alechina, University of Nottingham Carlos Areces, INRIA Lorraine (co-chair) Philippe Balbiani, IRIT, Nicole Bidoit, Universite Paris-Sud Patrick Blackburn, INRIA Lorraine Torben Brauner, Roskilde University Stephane Demri, ENS de Cachan (co-chair) Maarten de Rijke, University of Amsterdam Valentin Goranko, University of the Witwatersrand Rajeev Gore, The Australian National University Carsten Lutz, Dresden University of Technology Nicolas Markey, ENS de Cachan Angelo Montanari, University of Udine Ulrike Sattler, University of Manchester Holger Schlingloff, Humboldt University / FIRST Renate Schmidt, University of Manchester Johan van Benthem, University of Amsterdam/ Stanford University ================================================================== Carlos Areces phone : +33 (0)3 54 95 84 90 INRIA Researcher fax : +33 (0)3 83 41 30 79 e-mail: carlos.areces at loria.fr INRIA Lorraine. www : http://www.loria.fr/~areces Equipe TALARIS - Batiment B 615, rue du Jardin Botanique 54600 Villers les Nancy Cedex, France From beckert at uni-koblenz.de Thu Aug 23 01:07:00 2007 From: beckert at uni-koblenz.de (Bernhard Beckert) Date: Thu, 23 Aug 2007 01:07:00 +0200 Subject: CFP: TAP 2008 - The Second International Conference on Tests and Proof Message-ID: <46CCC194.4050503@uni-koblenz.de> TAP 2008 Second International Conference on Tests and Proofs April 9-11, 2008, Prato (near Florence), Italy http://www.uni-koblenz.de/tap2008/ *CALL FOR PAPERS* SCOPE The TAP conference is devoted to the convergence of proofs and tests. It combines ideas from both sides for the advancement of software quality. To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a program is to run it with the expectation of discovering bugs. The two techniques seem contradictory: if you have proved your program, it's fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up on any hope to prove its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using rather different techniques and tools. And yet the development of both approaches leads to the discovery of common issues and to the realization that each may need the other. The emergence of model checking has been one of the first signs that contradiction may yield to complementarity, but in the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of incompatibility and taking instead the best of what each of these software engineering domains has to offer. How does deduction help testing? How does testing help deduction? How can the combination of testing and deduction increase the reach of both? TOPICS Topics include: - Generation of test data, oracles, or preambles by deductive techniques such as theorem proving, model checking, symbolic execution, constraint logic programming, etc. - Generation of specifications by deduction - Verification techniques combining proofs and tests - Program proving with the aid of testing techniques - Transfer of concepts from testing to proving (e.g., coverage criteria) - Automatic bug finding - Formal frameworks - Tool descriptions and experience reports - Case studies IMPORTANT DATES November 2, 2007: Abstract submission deadline November 9, 2008: Paper submission deadline January 20, 2008: Acceptance notification February 3, 2008: Final version due April 9-11, 2008: Conference SUBMISSIONS Submissions should describe previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. Papers must be formatted following the Springer LNCS guidelines and be at most 15 pages long. Submission of papers is via EasyChair at http://www.easychair.org/TAP2008/. The proceedings are planned to be published within Springer's LNCS series. They will be available at the conference. CONFERENCE CHAIR B. Meyer (ETH Zurich, Switzerland) PROGRAM CO-CHAIRS B. Beckert (U of Koblenz, Germany) R. Hähnle (Chalmers U of Technology, Sweden) PROGRAMME COMMITTEE B. Aichernig (TU Graz, Austria) B. Beckert (U of Koblenz, Germany) M. Butler (U of Southampton, UK) T.Y. Chen (Swinburne U of Technology, Australia) Y. Gurevich (Microsoft Research, USA) R. Hähnle (Chalmers U of Technology, Sweden) W. Howden (U of California at San Diego, USA) D. Jackson (MIT, USA) B. Meyer (ETH Zurich, Switzerland) P. Müller (Microsoft Research, USA) T. Nipkow (TU München, Germany) Robby (Kansas State U, USA) D. Rosenblum (U College London, UK) W. Schulte (Microsoft Research, USA) N. Sharygina (CMU and U of Lugano, Switzerland) B. Wolff (ETH Zurich, Switzerland) - more to be added - STEERING COMMITTEE Y. Gurevich (Microsoft Research, USA) B. Meyer (ETH Zurich, Switzerland) ORGANIZING COMMITTEE C. Gladisch (U of Koblenz, Germany) P. Rümmer (Chalmers U of Technology, Sweden) CONTACT Email: tap2008 at uni-koblenz.de Web: http://www.uni-koblenz.de/tap2008/ From mehdi at cs.uu.nl Thu Aug 23 12:11:42 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Thu, 23 Aug 2007 12:11:42 +0200 Subject: EUMAS 2007: Call for Papers Message-ID: <46CD5D5E.8090201@cs.uu.nl> ======================================================================= The Fifth European Workshop On Multi-Agent Systems Hammamet, Tunisia 13-14 December, 2007 http://www.atia.rnu.tn/eumas/ ======================================================================= 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 have access to a forum at which current agent-based research and application are presented and discussed. Following the tradition of past EUMAS editions (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006), the aim of this fifth European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems. This workshop is a European forum, aimed at dissemination of the most important work being done in Europe currently. SUBMISSIONS Submission of papers describing relevant preliminary or completed work are invited. EUMAS’07 welcomes also papers that are under submission or already presented at a workshop, or are an improvement of a published proceedings or journal paper. Submissions should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. The authors can submit their abstracts and papers through the following webpage: http://www.dur.ac.uk/pcchair.eumas2007/myreview/. The workshop has no formal proceedings; it is intended primarily as a forum for interaction and discussion. The workshop will provide an electronic proceedings on CD containing original papers and abstracts of previously published papers. Delegates who want a hard copy can indicate this on the registration form and pay separately for it. We intend to invite a selection of the unpublished submissions to be included in relevant journal special issues. See the conference web page for details. IMPORTANT DATES Submission Deadline: 1st October Notification to Authors: 31st October Camera Ready due: 16th November Early Registration: 20th November Late Registration: 10th December Workshop: 13th and 14th December TOPICS OF INTEREST Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence, Applications, Argumentation, Autonomy, Cognitive Models, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, E-Commerce, Economic Models, Emergence, Emotion, Game Theoretic Models, Grid Computing, Institutions, Logical Models, Methodologies, Negotiation, Organisations and Institutions, P2P Computing, Proactivity, Protocols, Reactivity, Robotics, Self-organisation, Semantic Web, Service Oriented Computing, Social Ability, Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing. CONFERENCE CHAIRS General Chair: Mehdi Dastani Program Chair: Rafael Bordini Local Chairs: Khaled Ghedira, Walid Chainbi Finance Chair: Moez Hammami Publicity Chairs: Chiraz Trabelsi, Meriam Kefi From stijn.heymans at deri.org Fri Aug 24 15:22:30 2007 From: stijn.heymans at deri.org (Stijn Heymans) Date: Fri, 24 Aug 2007 15:22:30 +0200 Subject: Call for participation: ALPSWS 2007 Message-ID: ************************************************************************* 2nd International Workshop on Applications of Logic Programming in the Web, Semantic Web and Semantic Web Services (ALPSWS2007) ***********PAPER DEADLINE APPROACHING************** 30 June, 2007 http://www.bd.cesma.usb.ve/alpsws07 co-located with the International Conference on Logic Programming (ICLP2007) Porto, Portugal, 13 September 2007. ************************************************************************* Description: The advent of the Semantic Web promises machine-readable semantics and a machine-processable next generation of the Web. The first step in this direction is the annotation of static data on the Web with machine-processable information about knowledge and its structure, by means of ontologies. The next step in this direction is the annotation of dynamic applications and services invocable over the Web in order to facilitate automation of discovery, selection and composition of semantically described services and data sources on the Web by intelligent methods, which are called (Semantic) Web Services. In this workshop we want to advance the applications of Logic Programming as a paradigm for declarative knowledge representation and reasoning for the Web. The idea is to bring together the body of work related to applications of LP to the Web, Semantic Web and Web Services. The workshop will include topics such as: -Reasoning about Semantic Web languages such as RDF, RDFS, OWL, RuleML, WSML, OWL-S, SA-SWDL, SPARQL, RIF, etc. -Logic Programming based rule languages for the Semantic Web -Deductive query answering in a Semantic Web context -Ontology modeling and mediation using Logic Programming -Reasoning over large-scale ontologies -Reasoning with large instance data in the presence of ontologies -Combinations of Logic Programming and Description Logics -Modeling of and reasoning about Web Services -Applications of reasoning about actions and dynamics in the context of Web Services discovery and composition -Interactions of Logic Programming with other technologies such as agents, constraint programming, etc. in a (Semantic) Web context -Applications, use cases, experimental results and benchmarks -Extensions of Logic Programming engines for Semantic Web applications Important Dates: -13 September 2007, Workshop Workshop Organization: The workshop will include an invited talk by Enrico Pontelli. Furthermore, the workshop will be organized in part around talks presenting research results in the intersection of the Semantic Web and Logic Programming selected from the accepted submissions. Another important part of the workshop will be to identify next steps and provide an opportunity for new ideas and initiatives. A part of the workshop will be dedicated towards discussion using the open-space methodology which facilitates and enables effective on site agenda building and execution. Organizing Committee: ---------------------------- Stijn Heymans, DERI, Leopold-Franzens Universitaet Innsbruck Axel Polleres, DERI Galway, National University of Ireland, Galway Edna Ruckhaus, Universidad Simon Bolivar, Caracas, Venezuela David Pearce, Universidad Rey Juan Carlos, Madrid, Spain Program Committee: ------------------------- Stefan Decker, DERI Galway Jos de Bruijn, Free University of Bozen-Bolzano Lukacsy Gergely, Budapest University of Technology and Economics Gopal Gupta, University of Texas Pascal Hitzler, AIFB, University of Karlsruhe Giovambattista Ianni, University of Calabria Zoe Lacroix, University of Arizona Enrico Pontelli, New Mexico State University Hans Tompits, Vienna University of Technology Alejandro Vaisman, University of Toronto Maria Esther Vidal, Universidad Simon Bolivar Gerd Wagner, Brandenburg University of Technology From sadighim at gmail.com Sun Aug 26 12:14:36 2007 From: sadighim at gmail.com (Mohsen Sadighi) Date: Sun, 26 Aug 2007 03:14:36 -0700 Subject: Kein Betreff Message-ID: -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sadighim at gmail.com Sun Aug 26 12:15:05 2007 From: sadighim at gmail.com (Mohsen Sadighi) Date: Sun, 26 Aug 2007 03:15:05 -0700 Subject: WARNING! (3142569372) In-Reply-To: References: Message-ID: On 8/25/07, event administration wrote: > > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 3142569372, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sadighim at gmail.com Sun Aug 26 12:15:58 2007 From: sadighim at gmail.com (Mohsen Sadighi) Date: Sun, 26 Aug 2007 03:15:58 -0700 Subject: Confirmation Request (2516455161) In-Reply-To: References: Message-ID: On 8/26/07, event administration wrote: > > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2516455161, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From hr.at at deri.org Tue Aug 28 10:43:51 2007 From: hr.at at deri.org (hr.at at deri.org) Date: Tue, 28 Aug 2007 10:43:51 +0200 Subject: Job ad: PhD position In-Reply-To: <46B036DB.1060002@deri.org> References: <46B036DB.1060002@deri.org> Message-ID: <46D3E047.5030103@deri.org> ** *Position as PhD-Researcher* * * *We are* DERI Innsbruck is one of the leading research groups in the area of Semantic Web technologies with excellent ties to key relevant research groups worldwide. For further information regarding our research, projects and organization, please see http://www.deri.at . *We offer* · A stimulating environment of a leading research group in the fields of Semantic Web, Semantic Web services, formal languages and reasoning · Excellent ties to research groups worldwide · Up-to-date infrastructure and resources, including funding for attending international conferences, PhD symposia, summer schools, etc. · Standardized international exchange programs such as BIT and EastWeb · Opportunity to work in nationally funded integrated research projects · Opportunity to take part in FP7 1^st Call international research projects focusing on topics such as Web 2.0, service-oriented computing, formal languages and reasoning, ontologies and ontology engineering · Opportunity to work with internationally established academic and industrial partners · Multicultural working place with modern infrastructure and facilities * * *We expect* · A strong background in Computer Science or related disciplines · Willingness to work in an international environment · The ability to take part in large-scale international research projects · Willingness to combine formal scientific work with application-oriented research in order to solve real-world problems · Research interest and expertise in at least one of the areas: Formal languages and reasoning (Description Logics, Logic Programming), ontology languages, Semantic Web services, ontologies, business aspects of semantic systems. We kindly invite you to submit your application to hr.at at deri.at . Please include a current resume, a list of publications (if applicable), and digital versions of your most relevant works (e.g. graduation thesis). From gheorghe at funinf.cs.unibuc.ro Tue Aug 28 11:00:41 2007 From: gheorghe at funinf.cs.unibuc.ro (Gheorghe Stefanescu) Date: Tue, 28 Aug 2007 12:00:41 +0300 (EEST) Subject: [remainder/1.sept] Final CfP: Streams and Algebra - J.Log.Alg.Prog. Special Issue (fwd) Message-ID: [Our apologies if you receive multiple copies] ----------------------------------------------------------------------- CALL FOR PAPERS Journal of Logic and Algebraic Programming special issue on S T R E A M S A N D A L G E B R A [ Deadline: 1st September 2007 ] Special Issue Editors: Manfred Broy [TU Muenchen, Germany] Gheorghe Stefanescu [Univ. Bucharest, Romania] SCOPE OF THE SPECIAL ISSUE A new computing paradigm is currently on spot: interactive computation. Most of concurrent, distributed, reactive, embedded, component-oriented, agent-oriented and service-oriented systems exploit interaction as a fundamental paradigm. At an interaction interface data evolve in time, hence streams occur as a royal candidate for modeling, specifying, programming, and verifying interactive systems. This JLAP special issue is dedicated to papers presenting fundamental results on streams and making use of algebraic techniques. Topics of interest include [but are not limited to]: * Algebraic specifications * Coordination languages * Data-flow networks * Interactive systems * Hardware design * Programming languages * Real-time systems * Semantics THE JOURNAL The Journal of Logic and Algebraic Programming is an international journal whose aim is to publish original work in the areas of logical and algebraic methods and techniques for programming in its broadest sense. The Journal of Logic and Algebraic Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations of logical, algebraic and categorical methods for programming. For more information, visit http://www.elsevier.com/locate/jlap. IMPORTANT DATES Submission deadline: 1st September 2007 Author notification: 1st January 2008 Revised papers due: 1st March 2008 SUBMISSION OF MANUSCRIPTS We are expecting full (typically, 20-40 pages) high-quality papers describing original, previously unpublished research and not being simultaneously submitted for publication elsewhere. The normal reviewing process for JLAP journal will be used. Submissions should arrive no later than 1st September 2007. For submission, the Elsevier online submission system will be used. The authors have to select "Special Issue: Streams and Algebra" when they reach the "Article Type" step in the submission process. Link: http://ees.elsevier.com/jlap/default.asp Authors should use the LaTeX style of the journal which can be obtained at the following address: http://www.elsevier.com/wps/find/journaldescription.cws_home/621520/authorinstructions Queries concerning this special issue should be directed to any of the special issue editors. Up-to-date information will also be available from http://funinf.cs.unibuc.ro/~gheorghe/org/streamsJLAP/ SPECIAL ISSUE EDITORS Manfred Broy Technische Universität München Institut für Informatik Boltzmannstr. 3 85748 Garching Germany Email: broy at in.tum.de Gheorghe Stefanescu University of Bucharest Faculty of Mathematics and Computer Science Str. Academiei 14 010014 Bucharest Romania Email: gheorghe at funinf.cs.unibuc.ro USEFUL LINKS Journal website: http://www.elsevier.com/locate/jlap Up-to-date information: http://funinf.cs.unibuc.ro/~gheorghe/org/streamsJLAP From mehdi at cs.uu.nl Tue Aug 28 13:42:38 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Tue, 28 Aug 2007 13:42:38 +0200 (CEST) Subject: BNAIC 2007: Call for Participation Message-ID: <43923.129.234.4.1.1188301358.squirrel@mail.cs.uu.nl> ********************* Call for Participation ******************** The 19th Belgian-Dutch Conference on Artificial Intelligence BNAIC 2007 Utrecht, November 5&6 2007 http://www.cs.uu.nl/bnaic2007 **** Registration is Open **** **** Early Registration until 15 September 2007 **** ***************************************************************** The BNAIC 2007 aims at presenting an overview of state-of-the art research in artificial intelligence in Belgium and The Netherlands. The program of this edition of BNAIC, which will be available soon, consists of 63 oral presentations, 35 poster presentations, and 13 system demonstrations. Moreover, the program includes invited talks by Michael Thielscher and Pedro Domingos, and an industry track organised by the Decis Lab (Delft Cooperation on Intelligent Systems). The conference will be held at the historical Academiegebouw of Utrecht University, the Netherlands, and is organized under the auspices of the Belgian-Dutch Association for Artificial Intelligence (BNVKI) and the Dutch Research School for Information and Knowledge Systems (SIKS). Visit http://www.cs.uu.nl/bnaic2007 to register now. -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL: http://www.cs.uu.nl/~mehdi From henning at ruc.dk Fri Aug 31 08:40:02 2007 From: henning at ruc.dk (Henning Christiansen) Date: Fri, 31 Aug 2007 08:40:02 +0200 Subject: Vacant PhD position, computer science with rel. to bioinformatics Message-ID: <3C430956-45F5-4F60-8EA0-86A39D47968B@ruc.dk> A PhD position in a research project "Logic-statistic modelling and analysis of biological sequence data" is vacant at Roskilde University. We ask for informal indications of interest and expect to make formal announcement very soon. The research project, which is supported by the Programme Commission on Nanoscience, Biotechnology and IT under The Danish Council for Strategic Research, concerns the introduction of new methods for sequence analysis based on i) a combination of logic programming and statistics (the PRISM system developed by Japanese researchers is an example of such methods) and ii) including phylogenetic information in prediction of genes and their functions. In addition to researchers at Roskilde University (Computer Science and Molecular biology), the project involves researchers at the universities in Aalborg, Copenhagen and Tokyo; industrial partners in the project are Chr. Hansen A/S, www.chr-hansen.com, and CLC bio A/S, www.clcbio.com, with which the candidates should expect an active collaboration. This PhD position will have primary focus on the computational issues, i.e., on how the indicated methods can be adapted and optimized to sequence data and tested on relevant biological problems, and how existing and efficient technology can be integrated. Expected qualifications: General background in computer science, including statistics and preferably logic programming and program analysis and transformation; some knowledge about bioinformatics and genetics; good programming skills will be an advantage; ability to work in an independent way, being able to take part in defining research goals rather than solving given tasks, is expected. The PhD will associated with the Research group PLIS: Programming, Logic and Intelligent Systems at Roskilde University, and the project involves a close dialogue with the other partners in the project, including another PhD whose focus is on the biological aspects. Current salary is around 3,000 EUR pr. month before taxes, and there is an additional grant for travelling, equipment, etc. Henning Christiansen professor of Computer Science, ph.d. Research group PLIS: Programming, Logic and Intelligent Systems Department of Communication, Business and Information Technologies Roskilde University P.O.Box 260, DK-4000 Roskilde, DENMARK http://www.ruc.dk/~henning -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nejdl at L3S.de Fri Aug 31 18:15:07 2007 From: nejdl at L3S.de (Wolfgang Nejdl) Date: Fri, 31 Aug 2007 18:15:07 +0200 Subject: Ph.D. / PostDoc Positions at L3S, Germany Message-ID: <3656.1188576907@grieg.kbs.uni-hannover.de> The L3S Research Center, Hannover, Germany, invites applications for 2 PostDoc and 4 Ph.D. research positions in the context of two new international research projects which start in 2008 in our Search and Semantic Web / Digital Library groups at L3S. The LiWA EU/IST Project focuses on searching, enriching and managing Web Archives, the OKKAM EU/IST Integrated Project on entity and object-based infrastructures for the (Semantic) Web. Your research will focus on topics in the following areas * Data and Information Integration * Terminology and Schema Evolution * Information and Concept Extraction * Search for Information, Objects and Entities * Data Mining and Statistical Analysis * Social Media and Blog Analysis in a challenging and unique research environment. You should possess good knowledge in one or several areas relevant for the topics specified in this announcement. This includes database technology, machine learning, information retrieval, Semantic Web technology, as well as statistical and natural language methods for information extraction and retrieval. Good proficiency in English is expected, as well as an outstanding M.Sc. or Ph.D. in computer science. German language skills are useful, but not mandatory. The salary amounts to German TV-L E13/E14, which is roughly 40.000 to 50.000 Euro gross income per year. Please submit your application including the usual documents as well as a list of references, preferrably by email, to Prof. Dr. Wolfgang Nejdl L3S Research Center Appelstrasse 9a 30167 Hannover, Germany http://www.L3S.de/ http://www.kbs.uni-hannover.de/~nejdl/ E-Mail: nejdl at L3S.de