From richard.booth at uni.lu Wed Sep 1 13:51:44 2010 From: richard.booth at uni.lu (Richard Booth) Date: Wed, 1 Sep 2010 13:51:44 +0200 Subject: MIWAI 2010 - SECOND CALL FOR PAPERS AND STUDENT TRAVEL SCHOLARSHIPS Message-ID: --------------------------------------------------------------------------- Apologies for Multiple Copies Due to Cross Posting --------------------------------------------------------------------------- ============================================ MIWAI'10 - SECOND CALL FOR PAPERS ============================================ The 4th Mahasarakham International Workshop on Artificial Intelligence. December 9-10, 2010, Mahasarakham University, Mahasarakham, Thailand. http://khamreang.msu.ac.th/miwai10/ --------------------------------------------------------------------------- ***NEW - STUDENT TRAVEL SCHOLARSHIPS*** --------------------------------------------------------------------------- Some travel scholarships are now available for students wishing to attend MIWAI 2010: . At least one scholarship for students enrolled at universities outside Thailand of up to a maximum of 20,000 Thai Baht (approx 630 USD). . FOUR scholarships for students enrolled at Thai universities of 2,500 Baht each. More scholarships may be made available soon. For details about how to apply see http://khamreang.msu.ac.th/miwai10/MIWAI_2010/Awards_%26_Scholarships.html --------------------------------------------------------------------------- Important Dates --------------------------------------------------------------------------- Papers due: October 15, 2010 Author notification: November 12, 2010 Camera-ready papers due: November 22, 2010 Registration deadline: December 2, 2010 Tutorial: December 8, 2010 Workshop dates: December 9-10, 2010 --------------------------------------------------------------------------- About MIWAI --------------------------------------------------------------------------- Artificial Intelligence (AI) research has broad applications in real world problems. Examples include control, planning and scheduling, pattern recognition, knowledge mining, software applications and strategy games. The ever-evolving needs in business both on a local and on a global scale demand better technologies for solving more and more complex problems. Such needs can be found in all industrial sectors and in any part of the world. This workshop aims to be a meeting place where excellence in AI research meets the needs for solving dynamic and complex problems in the real world. The academic researchers, developers, and industrial practitioners will have extensive opportunities to present their original work, technological advances and practical problems. Participants can learn from each other and exchange their experiences in order to fine tune their activities in order to help each other better. The main purposes of the MIWAI series of workshops are as follows: . to provide a meeting place for AI researchers and practitioners in Thailand and beyond. . to inform Thai students about cutting-edge AI research via the presence of outstanding international invited speakers. . to raise the standards of practice of AI research in the whole of Thailand by providing Thai researchers and students with feedback from an internationally-renowned program committee. --------------------------------------------------------------------------- Invited Speakers + Tutorials --------------------------------------------------------------------------- Invited Speakers: 1.Arun Agarwal (University of Hyderabad, India) 2.Anthony Cohn (University of Leeds, UK) Tutorial (December 8): Richard Booth (University of Luxembourg and Mahasarakham) "Reasoning using Argumentation: An Introduction" --------------------------------------------------------------------------- Awards --------------------------------------------------------------------------- There will be five awards given out at the workshop: (i) Best original paper: Given to the best category A submission (see below), from any origin. (ii) Best original paper by a PhD student: Given to the best category A paper whose first author is a registered PhD student, from any origin. (iii) Best original paper by a Masters student: Given to the best category A paper whose first author is a registered Masters student, from any origin. (iv) Best demonstration: Given to the best demonstration (see category C submissions below - note this prize will only be awarded in case at least 3 demonstrations are presented at the workshop). (v) Best reviewer: Given to the reviewer who has given the most helpful feedback on the papers they have been assigned to review. --------------------------------------------------------------------------- Call for Papers --------------------------------------------------------------------------- Submission of papers is due on October 15, 2010. The research areas in AI include but not limited to: - Agent-based simulation - Agent-oriented software engineering - Agents and Web services - Agent-based electronic commerce, auctions and markets - AI in video games - Computer vision - Constraint satisfaction - Data mining - Decision theory - Distributed AI - E-Commerce and AI - Game theory - Internet/WWW intelligence - Industrial applications of AI - Intelligent tutoring - Knowledge representation and reasoning - Machine learning - Multiagent planning and learning - Multiagent systems and their applications - Multiagent systems and evolving intelligence - Natural language processing - Neural networks - Planning and scheduling - Robotics - Uncertainty in AI - Web services Submission requirements --------------------------------------------------------------------------- Submissions of the following three categories are invited: Category A: REGULAR PAPERS ........................................................................... Papers presenting new original work. Submitted papers should not exceed a length of 12 pages in the IEEE format style (templates here: http://khamreang.msu.ac.th/miwai10/MIWAI_2010/textemplate.zip, http://khamreang.msu.ac.th/miwai10/MIWAI_2010/wordtemplate.zip) Regular papers will be reviewed on overall quality and relevance. Reviewing of category A papers will be (at least) double-blind. In order to make blind reviewing possible, the authors should follow that: . The authors' names and institutions should not appear in the paper. . Unpublished work of the authors should not be cited. . Using "we" or "us" in reviews of literature should be avoided, e.g., "In [1] we have proposed..." should be changed to "In [1] the authors have proposed...". The program committee will evaluate Category A papers as either rejected‚ or accepted as a long paper, or accepted as a short paper. All accepted category A papers (long and short) will be fully published in the proceedings. Category B: COMPRESSED CONTRIBUTIONS ........................................................................... Papers that have been accepted after June 1 2009 for AI-related refereed conferences or journals can be resubmitted and will be accepted as "compressed contributions". Authors are invited to submit the published version (without page or format restriction) together with a 1 or 2-page abstract prepared in the IEEE format style (links to templates above). Note the above double-blind instructions apply only to category A papers, not to category B. The abstract of the paper will be published in the proceedings. Every author may submit at most one B-paper of which they are the corresponding author, and only if they do not submit any A-paper as corresponding author. Category C: DEMONSTRATIONS AND APPLICATIONS ........................................................................... Proposals for demonstrations will be evaluated based on submitted demonstration summaries stating the following: the purpose of the system to be demonstrated, its user groups, the organization or project for which it is developed, the developers, and the technology used. In addition, the system requirements and the duration of the demo (not exceeding 30 minutes) should be mentioned. Especially master students are encouraged to submit papers presenting their applications and experiences. The maximum size of demonstration summaries is 2 pages (links to templates above). Reviewing of category C papers will be double-blind (see above under "category A" papers for details). The workshop proceedings will be published with ISBN number. At least one author of each accepted paper (in each submission category) is required to attend the workshop. Language Requirements ........................................................................... As MIWAI is an international workshop, its official language is English. This means all submitting authors must submit an English language version of their paper, as well as present their paper in English if accepted for the workshop. --------------------------------------------------------------------------- Committees --------------------------------------------------------------------------- Advisory Committee --------------------------------------------------------------------------- -Wanchai Rivepaiboon (Chulalongkorn University, Bangkok, Thailand) -Wirat Pongsiri (Mahasarakham University, Thailand) -Sujin Butdeesuwan (Mahasarakham University, Thailand) -Somnuk Puangpronpitag (Mahasarakham University, Thailand) Program Co-Chairs --------------------------------------------------------------------------- - Richard Booth (University of Luxembourg and Mahasarakham University, Thailand) - Chattrakul Sombattheera (Mahasarakham University, Thailand) Publicity Chairs --------------------------------------------------------------------------- -Wijittra Noisanguan (Rajamangala University of Technology, Isan, Surin campus, Thailand) -Mana Setwong (Mahasarakham University, Thailand) Program Committee (provisional) --------------------------------------------------------------------------- - Arun Agarwal (Hyderabad, India) - Samir Aknine (Paris 6, France) - Laor Boongasame (Bangkok University, Thailand) - Roger Boyle (Leeds, UK) - Kosin Chamnongthai (KMUTT, Bangkok, Thailand) - Matthew Dailey (AIT, Bangkok, Thailand) - Juergen Dix (Clausthal, Germany) - Patrick Doherty (Linkoping, Sweden) - Andreas Herzig (IRIT, Toulouse, France) - Jerome Lang (CNRS, Universite Paris-Dauphine, France) - Kittichai Lavangnananda (KMUTT, Bangkok, Thailand) - Fangzhen Lin (HKUST, Hong Kong) - Jerome Mengin (IRIT, Toulouse, France) - Ekawit Nantajeewarawat (SIIT, Bangkok, Thailand) - Eric Pacuit (Tilburg, Netherlands) - Vineet Padmanabhan (Hyderabad, India) - Patrice Perny (Paris 6, France) - Supawan Phonphitakchai (Naresuan University, Thailand) - Guilin Qi (Southeast University, Nanjing, China) - Jun Shen (Wollongong, Australia) - Alok Singh (Hyderabad, India) - Virach Sornlertlamvanich (NECTEC, Thailand) - Siriwan Suebnukarn (Thammasat University, Bangkok, Thailand) - Boontawee Suntisrivaraporn (SIIT, Bangkok, Thailand) - Leon van der Torre (Luxembourg) - Thanaruk Theeramunkong (SIIT, Bangkok, Thailand) - Siba Kumar Udgata (Hyderabad, India) - Paul Weng (Paris 6, France) --------------------------------------------------------------------------- Contact --------------------------------------------------------------------------- Please direct any comments or enquiries to Chattrakul Sombattheera (chattrakul.s[AT]msu.ac.th) or Richard Booth (richard.booth[AT]uni.lu). From torsten at cs.uni-potsdam.de Wed Sep 1 22:22:53 2010 From: torsten at cs.uni-potsdam.de (Torsten Schaub) Date: Wed, 1 Sep 2010 22:22:53 +0200 (CEST) Subject: Permanent Position of Research Engineer (in Answer Set Programming) Message-ID: <20100901202254.02E1720B55@aix.haiti.cs.uni-potsdam.de> Hello, we are looking for applicants for a permanent position of a research engineer in our group. The successful candidate will participate in research activities involving solver construction (potassco.sourceforge.org) and maintain the group's Linux-based infrastructure. Applicants must have - a strong background in Computer Science (BSc/MSc), - programming experience (eg C++), - experience in Linux system administration, and - a proactive attitude towards solving problems, and the ability to work in a highly motivated team. The position is permanent and classified as E12 [1], the highest tariff for technical staff. In question you're interested, don't hesitate to contact me. Best regards, -torsten schaub [0] http://potassco.sourceforge.org [1] http://de.wikipedia.org/wiki/Tarifvertrag_f%C3%BCr_den_%C3%B6ffentlichen_Dienst_der_L%C3%A4nder [2] http://www.cs.uni-potsdam.de/~torsten/ForschungsingenieurInformatik.pdf -- Prof. Dr. Torsten Schaub Universität Potsdam, Institut für Informatik August-Bebel-Strasse 89, D-14482 Potsdam net torsten at cs.uni-potsdam.de fon (+49) 331 977 3080/3081 url http://www.cs.uni-potsdam.de/~torsten fax (+49) 331 977 3122 From sebastian.rudolph at aifb.uni-karlsruhe.de Sat Sep 4 09:35:29 2010 From: sebastian.rudolph at aifb.uni-karlsruhe.de (Sebastian Rudolph) Date: Sat, 4 Sep 2010 09:35:29 +0200 Subject: ISWC2010, Call for Participation, Deadlines for Industry Track and Student Travel Funding Applications Ahead Message-ID: apologies for multiple receipts due to crossposting. CALL FOR PARTICIPATION The 9th International Semantic Web Conference (ISWC 2010) Shanghai, China 7-11 November http://iswc2010.semanticweb.org/ --------------------------------------------------------------------- The International Semantic Web Conference (ISWC) is the major international forum where the latest research results and technical innovations on all aspects of the Semantic Web are presented. KEY DATES: - Sep. 7, 2010: industry track deadline (see http://iswc2010.semanticweb.org/node/20 ) - Sep. 10, 2010: application deadline for student travel awards (see http://iswc2010.semanticweb.org/node/74 ) - Sep. 31, 2010: early registration deadline - Nov. 6, 2010: late registration deadline REGISTRATION: http://iswc2010.semanticweb.org/registration PROGRAM: http://iswc2010.semanticweb.org/program TRAVEL INFORMATION (including visa): http://iswc2010.semanticweb.org/node/4 KEYNOTE TALKS: - Advanced Evaluation of Web Search - Methodology and Technology Li Xiaoming (Peking University, China) - What does It Look Like, Really? Imagining how Citizens might Effectively, Usefully and Easily Find, Explore, Query and Re-present Open/Linked Data mc schraefel (University of Southampton, UK) TUTORIALS: - Introduction to the Semantic Web (Invited Tutorial) - OWL 2 - Theory and Practice - Ten Ways to Make your Semantic App Addictive - Linked Open Services (LOS) - Linked Data for eGovernment - Semantic Search Tutorial - Combine the Web of Data and the Web of Documents (RDFa and Drupal 7) - Web Rules: Fundamentals, Applications, and Standards WORKSHOPS: - 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010) - 3rd International Workshop on Semantic Sensor Networks (SSN) - Role of the Semantic Web in Provenance Management (SWPM) - Semantic Repositories for the Web (SERES2010) - The 5th International Workshop on Ontology Matching (OM-2010) - Workshop on Cross-Cultural and Cross-Lingual Aspects of the Semantic Web (C3LSW2010) - International Workshop on Evaluation of Semantic Technologies (IWEST 2010) - The 2nd Workshop on Ontology Patterns (WOP2010) - The 6th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS2010) - Third International Workshop on Social Data on the Web (SDoW2010) - Service Matchmaking and Resource Retrieval in the Semantic Web (SMR2) - 4th International Workshop on Ontology Dynamics (IWOD-10) - The first International Workshop on Consuming Linked Data (COLD) _________________________________________________ Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone +49 721 608 - 7362 www.sebastian-rudolph.de fax +49 721 608 - 5998 From tommie.meyer at meraka.org.za Sun Sep 5 23:27:21 2010 From: tommie.meyer at meraka.org.za (Tommie Meyer) Date: Sun, 5 Sep 2010 23:27:21 +0200 Subject: CFP: AOW 2010 @ AI 2010 Message-ID: Apologies for cross postings 6th Australasian Ontology Workshop (AOW 2010) 7 December 2010 Held in Conjunction with the 23rd Australasian Joint Conference on Artificial Intelligence (AI2010) Adelaide, Australia http://krr.meraka.org.za/~aow2010 AOW 2010 is the sixth in a series of workshops on ontologies held in the Australasian region. The primary aim of the workshop is to bring together active researchers in the broad area of ontologies. Topics of interest include, but are not limited to: - Ontology models and theories - Ontologies and the Semantic Web - Interoperability in ontologies - Ontologies and Multi-agent systems - Description logics for ontologies - Reasoning with ontologies - Ontology harvesting on the web - Ontology of agents and actions - Ontology visualisation - Ontology engineering and management - Ontology-based information extraction and retrieval - Ontology merging, alignment and integration - Web ontology languages - Formal concept analysis and ontologies - Ontologies for e-research - Linking open data - Significant ontology applications The proceedings of all previous Australasian Ontology Workshops were published in the CRPIT Series and this will also be the case for AOW 2010. Authors of the best papers will be invited to submit extended versions of their AOW 2010 papers as chapters in a forthcoming Springer book. For the second year running, AOW 2010 will have a best paper award, with a prize of $250(AUD) being awarded to the author(s) of the best paper. Important Dates: Paper submission deadline: 24 September 2010 Notification of acceptance/rejection: 22 October 2010 Camera-ready copies due: 12 November 2010 AOW 2010: 7 December 2010 Papers must be submitted via the EasyChair system at http://www.easychair.org/conferences/?conf=aow2010 Workshop Chairs: Thomas Meyer Meraka Institute, South Africa tommie.meyer at meraka.org.za Mehmet Orgun Macquarie University mehmet.orgun at mq.edu.au Kerry Taylor CSIRO ICT Centre Kerry.Taylor at csiro.au Program Committee : Franz Baader (TU Dresden, Germany) Arina Britz (Meraka Institute, South Africa) Werner Ceusters (SUNY Buffalo, USA) Michael Compton (CSIRO, Australia) Oscar Corcho (Universidad Politecnica de Madrid, Spain) R. Cenk Erdur (Ege University, Turkey) Aurona Gerber (Meraka Institute, South Africa) Dennis Hooijmaijers (University of South Australia, Australia) Bo Hu (SAP Research, UK) Renato Iannella (NICTA, Australia) Ken Kaneiwa (NICT, Japan) Marijke Keet (Free University of Bolzano, Italy) Kevin Lee (NICTA and UNSW, Australia) Laurent Lefort (CSIRO, Australia) Costas Mantratzis (University of Westminster, UK) Lars Moench (University of Hagen, Germany) Maurice Pagnucco (UNSW, Australia) Debbie Richards (Macquarie University, Australia) Rolf Schwitter (Macquarie University, Australia) Murat Sensoy (Bogazici University, Turkey) Markus Stumptner (University of South Australia, Australia) Boontawee (Meng) Suntisrivaraporn (Thammasat University, Thailand) Sergio Tessaris (Free University of Bolzano, Italy) Nwe Ni Tun (National University of Singapore, Singapore) Ivan Varzinczak (Meraka Institute, South Africa) Kewen Wang (Griffith University, Australia) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.artikis at gmail.com Mon Sep 6 11:16:28 2010 From: a.artikis at gmail.com (Alexander Artikis) Date: Mon, 6 Sep 2010 12:16:28 +0300 Subject: 2nd CFP: Applied Artificial Intelligence Special Issue on Event Recognition Message-ID: Apologies for cross-posting. ====================== =============== Call for Papers =============== ======================================= Special Issue on Event Recognition Applied Artificial Intelligence Journal ======================================= Users and organisations collect data in various structured and unstructured digital formats, but they cannot fully utilise these data to support content and resource management. It is evident that the analysis and interpretation of the available data needs to be automated, in order for large data volumes to be transformed into operational knowledge. Events are particularly important pieces of knowledge, as they represent activities of special significance both for users and organisations. Therefore, the recognition of events is of utmost importance. Consider, for example, the recognition of trends given user contributions in social Web 2.0 applications, the recognition of attacks on nodes of a computer network given the exchanged TCP/IP messages, the recognition of suspicious trader behaviour given the transactions in a financial market, and the recognition of various types of cardiac arrhythmia given electrocardiograms. We invite quality submissions focusing on various aspects of event recognition, including analysis of video, audio, text and other sensor data, as well as recognition on fused data sources. While we place emphasis on theoretical contributions, we also welcome papers describing interesting applications. Broad topics include: ===================== - Representation languages for event recognition - Algorithms for real-time event recognition - Probabilistic reasoning for event recognition - Machine learning for event recognition - Event recognition architectures - Benchmarks, performance evaluations, and testbeds - Domain-specific deployments of event recognition systems - Multimedia and social media analysis for event recognition - Clustering, concept recognition and multi-modal/fusion techniques - User interaction and interfaces for event navigation, browsing and management Key Dates ========= December 1, 2010 - Submissions July 10, 2011 - Final Decisions Publication - November 2011 Info ==== Email: events2010 at iti.gr Journal web site: http://www.tandf.co.uk/journals/titles/08839514.asp Guest Editors ============= Thomas Winkler, Fraunhofer IAIS, Germany Alexander Artikis, NCSR Demokritos Yiannis Kompatsiaris, CERTH-ITI, Greece Phivos Mylonas, NTUA, Greece From evostar2011 at yahoo.com Tue Sep 7 03:34:50 2010 From: evostar2011 at yahoo.com (Penousal Machado) Date: Mon, 6 Sep 2010 18:34:50 -0700 (PDT) Subject: evostar 2011 - Call for Papers Message-ID: <995647.88244.qm@web120220.mail.ne1.yahoo.com> * Kindly forward to your colleagues or students who may be interested * * Our apologies if you receive multiple copies of this announcement. * EVOSTAR 2011 CALL FOR PAPERS evostar - the main european events on evolutionary computation eurogp, evocop, evobio and evoapplications 27-29 april 2011 - torino, italy http://www.evostar. org ABOUT EVO* The evo* event comprises the premier co-located conferences in the field of Evolutionary Computing: eurogp, evocop, evobio and evoapplications. In 2011, the evo* will take place at the Molecular Biotechnology Center, that hosts the School for the Biotechnologies of the University of Torino, Italy. Featuring the latest in theoretical and applied research, evo* topics include recent genetic programming challenges, evolutionary and other meta-heuristic approaches for combinatorial optimization, evolutionary algorithms, machine learning and data mining techniques in the biosciences, in numerical optimization, in music and art domains, in image analysis and signal processing, in hardware optimization and in a wide range of applications to scientific, industrial, financial and other real-world problems. The proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series. EVO* EVENTS eurogp 14th European Conference on Genetic Programming Papers are sought on topics strongly related to the evolution of computer programs, ranging from theoretical work to innovative applications. evocop 11th European Conference on Evolutionary Computation in Combinatorial Optimization Practical and theoretical contributions are invited, related to evolutionary computation techniques and other meta-heuristics for solving combinatorial optimization problems. evobio 9th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics Emphasis is on evolutionary computation and other advanced techniques addressing important problems in molecular biology, proteomics, genomics and genetics, that have been implemented and tested in simulations and on real-life datasets. evoapplications - European Conference on the Applications of Evolutionary Computation evocomnet 8th European event on nature-inspired techniques for telecommunication networks and other parallel and distributed systems evocomplex 2nd European event on algorithms and complex systems evofin 5th European event on evolutionary and natural computation in finance and economics evogames 3rd European event on bio-inspired algorithms in games evohot 6th European event on Bio-Inspired Heuristics for Design Automation evoiasp 13th European event on evolutionary computation in image analysis and signal processing evointelligence 2nd European event on interactive evolution and humanized computational intelligence evomusart 9th European event on evolutionary and biologically inspired music, sound, art and design evonum 4th European event on bio-inspired algorithms for continuous parameter optimisation evostim 6th European event on Scheduling and Timetabling evostoc 8th European event on evolutionary algorithms in stochastic and dynamic environments evotranslog 5th European event on evolutionary computation in transportation and logistics evophd 6th Graduate Student Workshop on evolutionary computation EVO* SUBMISSION INSTRUCTIONS Submissions must be original and not published elsewhere. The submissions will be peer reviewed by at least three members of the program committee. The authors of accepted papers will have to improve their paper on the basis of the reviewers' comments and will be asked to send a camera ready version of their manuscripts. At least one author of each accepted work has to register for the conference and attend the conference and present the work. The reviewing process will be double-blind, please omit information about the authors in the submitted paper. Submit your manuscript in Springer LNCS format. The submission deadline is 22 november 2010. The other submission details are conference specific. Please follow the instructions and links bellow. eurogp: submission link: http://myreview.csregistry.org/eurogp11/ page limit: 12 pages evocop: submission link: http://myreview.csregistry.org/evocop11/ page limit: 12 pages evobio: submission link: http://myreview.csregistry.org/evobio11/ evobio is interested in papers in three major areas: 1. Full research articles (maximum 12 pages) 2. System Demonstrations (maximum 6 pages) 3. Short reports (maximum 6 pages) evoapplications: Submitting to evocomnet, evocomplex, evofin, evogames, evohot, evoiasp, evointelligence, evomusart, evonum, evostim, evostoc and evotranslog: submission link: http://myreview.csregistry.org/evoapps11/ page limit: 10 pages Submitting to evophd: Submissions should be e-mailed in PDF or gzipped postscript to evophd(at)vanhemert.co.uk. The page limit is 14 A4 pages for students' submissions and 20 A4 pages for PhD-summary submissions, both in Springer LCNS format. IMPORTANT DATES eurogp, evocop, evobio and evoapplications: submission deadline: 22 november 2010 notification to authors: 7 january 2011 camera-ready deadline: 1 february 2011 evophd: submission deadline: 21 january 2011 notification to authors: 23 february 2011 camera-ready deadline: 15 march 2011 evo* event: 27-29 april 2011 ADDITIONAL INFORMATION evostar website: http://www.evostar. org evostar poster: http://evostar.dei.uc.pt/wp-content/uploads/2010/07/evostar_large.pdf evo* coordinator jennifer willies local chair mario giacobini publicity chair penousal machado From guido at di.unito.it Wed Sep 8 14:03:41 2010 From: guido at di.unito.it (Guido Boella) Date: Wed, 08 Sep 2010 14:03:41 +0200 Subject: ARGAIP 2010: Call for Papers Message-ID: <4C877B9D.3040803@di.unito.it> - Call for Papers - ARGAIP 2010 1st Workshop on Argumentation in Artificial Intelligence and Philosophy: computational and philosophical perspectives http://wsarg2010.ing.unibs.it/ Part of the 11th Symposium of the Italian Association for the Artificial Intelligence Brescia, December 1-3, 2010 Argumentation is an important and exciting research topic that cuts across a variety of disciplines: Philosophy, Psychology, Communications Studies and Computer Science, in particular Artificial Intelligence. In spite of the wide range of disciplines interested in Argumentation, scientific communities tend to be organized along disciplinary boundaries, with only moderate integration occurring between computational models and philosophical theories of Argumentation. This workshop aims to rectify this situation, bringing together people from various disciplines (most notably, Artificial Intelligence, Philosophy, and Psychology) and asking them to compare their methods and results in the study of Argumentation. The “Argumentation in Artificial Intelligence and Philosophy: computational and philosophical perspectives” workshop will be hosted by the University of Brescia, Italy, in the context of the 11th Symposium on Artificial Intelligence of the Italian Association for Artificial Intelligence (AI*IA 2010), December 1-3. The expected date of the workshop, December 1, is to be confirmed (a possible change to December 2/3 depends on organizational reasons). Submissions are invited for full papers, in English or Italian, no longer than 8 pages (including references), presenting original research on Argumentation from a philosophical and/or computational perspective (see details below). Each contribution will be reviewed. Topics of interest Topics of interest include, but are not limited to: - Analysis of controversies - Applications of argumentation technologies (e.g. e-democracy, risk assessment, law and medicine) - Argument schemes - Argumentation and epistemology - Argumentation and game theory - Argumentation and human-computer interaction - Argumentation for coordination and coalition formation - Argumentation in a legal context - Argumentation in a medical context - Argumentation in a political context - Argumentation in agent and multi-agent systems - Argumentation in debate - Argumentation in the media - Argumentation structures - Argumentation, trust and reputation - Argumentation-based negotiation - Computational properties of argumentation - Decision making based on argumentation - Dialogue systems based on argumentation - Fallacies - Formal and informal models for argumentation - Implementation of argumentation systems - Persuasion research - Reasoning about action and time with argumentation - Rhetoric and argumentation - Strategies and argumentation - Systems for learning through argument - Tools for supporting argumentation - Visual argumentation Important Dates Submission Deadline: September 30, 2010 Acceptance Notification: October 20, 2010 Camera ready: October 28, 2010 Early registration: October 25, 2010 Workshop: December 1, 2010 (to be confirmed) Proceedings Accepted papers will be made available via the workshop web-site and possibly published in the Symposium Proceedings (the publication of the Symposium Proceedings is to be confirmed by AI*IA). Furthermore, the possibility of publishing an extended version of selected accepted papers in a special issue of a journal is under consideration by the organising committee of the workshop. Papers should be written in English or Italian and not exceed 8 pages, including references. All papers should be prepared in the AAAI style available from the conference website. Paper submission is managed through EasyChair and is open between July 27 and September 30. Organising committee Workshop Chair: Massimiliano Giacomin (University of Brescia, Italy) Computational Track Chair: Guido Boella (University of Torino, Italy) Philosophical Track Chair: Fabio Paglieri (ISTC-CNR Roma, Italy) -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : CFP-ARGAIP2010.pdf Dateityp : application/pdf Dateigröße : 284743 bytes Beschreibung: nicht verfügbar URL : From mcarro at fi.upm.es Fri Sep 10 17:15:47 2010 From: mcarro at fi.upm.es (Manuel Carro) Date: Fri, 10 Sep 2010 17:15:47 +0200 Subject: CFP: DAMP 2011 Message-ID: <7socc5k4t8.fsf@fi.upm.es> [We apologize in advance for the reception of multiple copies] DAMP 2011 Declarative Aspects of Multicore Programming Austin, Texas (colocated with POPL 2011) January 23, 2011 damp2011.cs.uchicago.edu SUBMISSION DEADLINE: OCTOBER 11, 2010 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.rations of product. DAMP 2011 is the sixth 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 be written in English and should not exceed 10 pages in ACM SIGPLAN conference format. Submission is electronic via: http://www.easychair.org/conferences/?conf=damp11 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 2011 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: Paper submission: Oct. 11 Notification to authors: Nov. 8 Camera ready: Nov. 22 Program Chair: John Reppy University of Chicago General Chair: Manuel Carro Universidad Politécnica de Madrid Program Committee: Fred Barnes University of Kent (UK) Gopal Gupta University of Texas, Dallas (USA) Kerri Hammil Microsoft (USA) Kevin Hammond University of St Andrews (UK) Stephan Herhut University of Hertfordshire (UK) Manuel Hermenegildo IMDEA Software Institute and UPM (Spain) Gabriele Keller University of New South Wales (Australia) John Reppy University of Chicago (USA) URL: http://damp2011.cs.uchicago.edu/ From invitation at iarianews.org Sun Sep 12 08:29:55 2010 From: invitation at iarianews.org (InfoSys 2011) Date: Sun, 12 Sep 2010 02:29:55 -0400 (EDT) Subject: 2nd CfP || InfoSys 2011: May 22-27, 2011 - Venice, Italy Message-ID: <31088837.18161.1284272995461.JavaMail.owner@OWNER-PC> INVITATION Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events. The submission deadline is January 10, 2011. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= InfoSys 2011: May 22-27, 2011 - Venice, Italy see: http://www.iaria.org/conferences2011/InfoSys11.html WebTel 2011 is a federated event focusing on advanced topics concerning networking, services, autonomy, as well as resource intensive applications and systems. Submission (full paper) deadline: January 10, 2011. Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. 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) and in Special issues of different journals mentioned on the entry page of each conference. All tracks/topics are open to both research and industry contributions. -- ICNS 2011, The Seventh International Conference on Networking and Services http://www.iaria.org/conferences2011/ICNS11.html -- LMPCNA 2011 : The Third International Workshop on Learning Methodologies and Platforms used in the Cisco Networking Academy http://www.iaria.org/conferences2011/LMPCNA.html -- ICAS 2011, The Seventh International Conference on Autonomic and Autonomous Systems http://www.iaria.org/conferences2011/ICAS11.html -- INTENSIVE 2011, The Third International Conference on Resource Intensive Applications and Services http://www.iaria.org/conferences2011/INTENSIVE11.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about InfoSys, please reply with "DROP InfoSys 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 evomusart at yahoo.com Tue Sep 14 17:42:03 2010 From: evomusart at yahoo.com (Evomusart 2011) Date: Tue, 14 Sep 2010 08:42:03 -0700 (PDT) Subject: CFP evomusart 2011. Evolutionary and Biologically Inspired Music, Sound, Art and Design Message-ID: <783142.32024.qm@web114213.mail.gq1.yahoo.com> ---------------------------------------------------------------------------- FIRST CALL FOR PAPERS evomusart 2011 9th European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design 27-29 April, 2011, Torino, Italy evomusart 2011: http://www.evostar.org/call-for-contributions/evoapplications/evomusart/ evo* 2011: http://www.evostar.org/ CFP in pdf: http://www.evostar.org/wp-content/uploads/2010/09/call_evomusart.pdf ---------------------------------------------------------------------------- INTRODUCTION ---------------------------------------------------------------------------- The use of biologically inspired techniques for the development of artistic systems is a recent, exciting and significant area of research. There is a growing interest in the application of these techniques in fields such as: visual art and music generation, analysis, and interpretation; sound synthesis; architecture; video; poetry; and design. evomusart 2011 is the ninth european event on Evolutionary Music and Art. Following the success of previous events and the growth of interest in the field, the main goal of evomusart 2011 is to bring together researchers who are using biologically inspired techniques for artistic tasks, providing the opportunity to promote, present and discuss ongoing work in the area. The event will be held from 27-29 April, 2011 in Torino, Italy as part of the evostar event. Accepted papers will be presented orally at the event and included in the evoapplications proceedings, published by Springer Verlag in the Lecture Notes in Computer Science series. ---------------------------------------------------------------------------- TOPICS OF INTEREST ---------------------------------------------------------------------------- The papers should concern the use of biologically inspired techniques - e.g. Evolutionary Computation, Artificial Life, Artificial Neural Networks, Swarm Intelligence, etc. - in the scope of the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Topics of interest include, but are not limited to: - Generation o Biologically Inspired Design and Art - Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; o Biologically Inspired Sound and Music - Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc.; o Robotic Based Evolutionary Art and Music; o Other related generative techniques; - Theory o Computational Aesthetics, Emotional Response, Surprise, Novelty; o Representation techniques; o Surveys of the current state-of-the-art in the area; identification of weaknesses and strengths; comparative analysis and classification; o Validation methodologies; o Studies on the applicability of these techniques to related areas; o New models designed to promote the creative potential of biologically inspired computation; - Computer Aided Creativity o Systems in which biologically inspired computation is used to promote the creativity of a human user; o New ways of integrating the user in the evolutionary cycle; o Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artifacts; o Collaborative distributed artificial art environments; - Automation o Techniques for automatic fitness assignment; o Systems in which an analysis or interpretation of the artworks is used in conjunction with biologically inspired techniques to produce novel objects; o Systems that resort to biologically inspired computation to perform the analysis of image, music, sound, sculpture, or some other types of artistic object; ---------------------------------------------------------------------------- IMPORTANT DATES ---------------------------------------------------------------------------- Submission: 22 November 2010 Notification: 7 January 2011 Camera ready: 1 February 2011 Workshop: 27-29 April 2011 ---------------------------------------------------------------------------- ADDITIONAL INFORMATION AND SUBMISSION DETAILS ---------------------------------------------------------------------------- Submit your manuscript, at most 10 A4 pages long, in Springer LNCS format (instructions downloadable from http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html) no later than November 22, 2010 to site http://myreview.csregistry.org/evoapps11 The reviewing process will be double-blind, please omit information about the authors in the submitted paper. The papers will be peer reviewed by at least three members of the program committee. Authors will be notified via email on the results of the review by January 7, 2011. The authors of accepted papers will have to improve their paper on the basis of the reviewers' comments and will be asked to send a camera ready version of their manuscripts, along with text sources and pictures, by February 1, 2011. The accepted papers will appear in the workshop proceedings, published in Springer LNCS Series, which will be available at the workshop. Further information, including the Online Submission Details, can be found on the following pages: evomusart2011: http://www.evostar.org/call-for-contributions/evoapplications/evomusart/ evostar 2011: http://www.evostar.org/ CFP in pdf: http://www.evostar.org/wp-content/uploads/2010/09/call_evomusart.pdf ---------------------------------------------------------------------------- PROGRAMME COMMITTEE ---------------------------------------------------------------------------- Alain Lioret, Paris 8 University, France Alan Dorin, Monash University, Australia Alejandro Pazos, University of A Coruna, Spain Amilcar Cardoso, University of Coimbra, Portugal Amy K. Hoover, University of Central Florida, USA Andrew Gildfind, Google, Inc., Australia Andrew Horner, University of Science & Technology, Hong Kong Anna Ursyn, University of Northern Colorado, USA Antonino Santos, University of A Coruna, Spain Artemis Sanchez Moroni, Renato Archer Research Center, Brazil Bill Manaris, College of Charleston, USA Brian Ross, Brock University, Canada Carla Farsi, University of Colorado, USA Carlos Grilo, Instituto Politécnico de Leiria, Portugal Christian Jacob, University of Calgary, Canada Colin Johnson, University of Kent, UK Craig Kaplan, University of Waterloo, Canada Dan Ashlock, University of Guelph, Canada Eduardo Miranda, University of Plymouth, UK Eleonora Bilotta, University of Calabria, Italy Erwin Driessens, Independent Artist, Netherlands Gary Greenfield, University of Richmond, USA Gary Nelson, Oberlin College, USA Gerhard Widmer, Johannes Kepler University Linz, Austria Hans Dehlinger, Independent Artist, Germany James McDermott, University of Limerick, Ireland John Collomosse, University of Surrey, UK Jon Bird, University of Sussex, UK Jon McCormack, Monash University, Australia Jorge Tavares, University of Coimbra, Portugal Juan Romero, University of A Coruna, Spain Kevin Burns, Mitre Corporation, USA Luigi Pagliarini, Pescara Electronic Artists Meeting & University of Southern Denmark, Italy Maria Verstappen, Independent Artist, Netherlands Matthew Lewis, Ohio State University, USA Mauro Annunziato, Plancton Art Studio, Italy Nicolas MonmarchÈ, University of Tours, France Oliver Bown, Monash University, Australia Palle Dahlstedt, Güteborg University, Sweden Paul Brown, University of Sussex, UK Paulo Urbano, Universidade de Lisboa, Portugal Penousal Machado, University of Coimbra, Portugal Peter Bentley, University College London, UK Philip Galanter, Texas A&M College of Architecture, USA Rafael Ramirez, Pompeu Fabra University, Spain Rodney Waschka II, North Carolina State University, USA Ruli Manurung, University of Indonesia, Indonesia Scott Draves, Independent Artist, USA Simon Colton, Imperial College, UK Somnuk Phon-Amnuaisuk, University Tunku Abdul Rahman, Malaysia Stefano Cagnoni, University of Parma, Italy Stephen Todd, IBM, UK Tim Blackwell, Goldsmiths College, University of London, UK Vic Ciesielski, RMIT, Australia William Latham, Goldsmiths College, University of London, UK Yang Li, University of Science and Technology Beijing, China ---------------------------------------------------------------------------- WORKSHOP CHAIRS ---------------------------------------------------------------------------- Juan Romero University of A Coruna, Spain jj AT udc DOT es Gary Greenfield University of Richmond, USA ggreenfi AT richmond DOT edu From vfgo at imm.dtu.dk Wed Sep 15 19:28:27 2010 From: vfgo at imm.dtu.dk (Valentin Goranko) Date: Wed, 15 Sep 2010 19:28:27 +0200 Subject: PhD positions at the Department of Informatics and Mathematical Modelling, Technical University of Denmark In-Reply-To: Message-ID: Several PhD scholarships are currently available at the Department of Informatics and Mathematical Modelling (DTU Informatics, see http://www.imm.dtu.dk/English.aspx), with a tentative starting date in the spring of 2011. Details regarding the positions, requirements and application procedure, can be found on http://www.dtu.dk/English/About_DTU/vacancies.aspx?guid=4e055005-8688-4b9d-8 3aa-40908fc438ef The deadline for online applications is October 6, 2010, but the candidates must contact the DTU Informatics PhD secretary (see contact details in the link above) not later than October 1. I am looking for candidates for PhD studies under my supervision on a range of possible topics in the general field of theory and applications of modal and temporal logics to computer science, artificial intelligence, and multi-agent systems. Those interested in applying for a PhD study under my supervision should contact me asap, by email to vfgo(at)imm.dtu.dk. Valentin Goranko http://www2.imm.dtu.dk/~vfgo/ From cfp2011a at cicling.org Fri Sep 17 10:35:26 2010 From: cfp2011a at cicling.org (Alexander Gelbukh (CICLing-2011)) Date: Fri, 17 Sep 2010 03:35:26 -0500 Subject: CFP: CICLing 2011 -- NLP/CL, Springer LNCS, Tokyo, February Message-ID: <801054872DCE498DB2E5B03F7712A17E@Panasonic> CICLing 2011 12th International Conference on Intelligent Text Processing and Computational Linguistics Tokyo, Japan, February 20-26, 2011 www.CICLing.org/2011 PUBLICATION: LNCS: Springer Lecture Notes in Computer Science; poster session: special issue of a journal KEYNOTE SPEAKERS: Chris Manning, Diana McCarthy, Jun'ichi Tsujii, Hans Uszkoreit TOURS: Three excellent tours in and around Tokyo AWARDS: Best paper, best student paper, best presentation, best poster, best software SUBMISSION DEADLINES: October 20: registration of tentative abstract, November 1: uploading of full papers (contact us for late submissions) TOPICS: All topics related with computational linguistics, natural language processing, human language technologies, information retrieval, etc. See complete CFP and contact on www.CICLing.org/2011 This message is sent in good faith of its usefulness for you as an NLP/CL researcher. If this is an error, kindly let me know. Alexander Gelbukh www.Gelbukh.com From martin.lange at uni-kassel.de Mon Sep 20 11:36:05 2010 From: martin.lange at uni-kassel.de (Martin Lange) Date: Mon, 20 Sep 2010 11:36:05 +0200 Subject: 2+3 year post-doc position in theoretical computer science at University of Kassel, Germany Message-ID: <4C972B05.6000701@uni-kassel.de> *** apologies for multiple copies *** The Department of Electrical Engineering and Computer Science at the University of Kassel, Germany, announces an open full-time post-doc position in the research group "Theoretical Computer Science / Formal Methods and Verification" (Prof. Martin Lange). The position is funded via the ERC project "Model Checking Unleashed", and is - subject to the final agreement between the ERC and the University of Kassel - initially available for 2 years starting December 2010 with the possibility for an extension of 3 more years. It is paid according to the financially attractive pay scale TV-H EG14(!) - the equivalent of the former BAT Ib. This is one scale above the ordinary scale EG13 for research assistants. The project will investigate non-standard applications of model checking techniques in various areas of computer science and related subjects. The successful candidate - must possess a PhD in computer science or related areas, or be very close to completion; - must have a good background in theoretical computer science with expertise in either computational logic or model checking; - should be able to carry out research tasks independently and within a team; - should be interested in inter-disciplinary research involving computational logic; - will be required to carry out parts of the research plan for the project, bring in ideas of their own, help to select and supervise more junior team members, etc. Knowledge of the German language is not a requirement for this position, and the posts comes without teaching obligations. Informal inquiries are welcome and should be directed to Martin Lange via "martin lange uni kassel de" or +49/0 561 804 6261. Applications should - clearly state the reference number 14730, - contain a CV, a statement explaining the candidate's research interests, and contact details of people who would be able to provide letters of recommendation, - be directed to "Präsident der Universität Kassel, 34109 Kassel, Germany" or electronically to pvabt3 at uni-kassel.de. Deadline for applications: October 15th, 2010 Official job announcement (in German): http://www.uni-kassel.de/pvabt3/stellen/extern/14730.ghk From henning at ruc.dk Mon Sep 20 14:17:49 2010 From: henning at ruc.dk (Henning Christiansen) Date: Mon, 20 Sep 2010 14:17:49 +0200 Subject: Course on: Reasoning and language processing with Constraint Handling Rules Message-ID: <922F2727-3CE0-4322-95AE-7F09024D0DEF@ruc.dk> PhD course in Denmark on Reasoning and language processing with Constraint Handling Rules organized by Henning Christiansen, PLIS research group, Roskilde University Constraint Handling Rules, CHR, is a programming language that extends Prolog for declarative specification of constraint solvers. CHR was created in the 1990 and since then, it has gained more and more popularity for a variety application that goes far beyond the original intentions. It is now available as extensions to several different host languages. CHR has proved to be a powerful language for knowledge representation and reasoning, complementing Prolog's backward chaining pattern with forward reasoning. In this course, we give an introduction to CHR and its application with an emphasis on its application for abductive reasoning (e.g., diagnosis) and language processing. While earlier approaches to abductive reasoning have been defined in terms of complicated meta-interpreters, we can show that CHR can be used for the purpose "as is" in a straightforward way. For language analysis, CHR extends Prolog's Definite Clause Grammars with easy-to-use facilities for semantic/pragmatic processing. In fact, CHR plus Prolog turns out to be well suited as a meta-language for implementing new high-level languages for knowledge representation with, for example, flexible search and probabilities. For students with no background in logic programming, the course includes an optional introduction to Prolog, which is sufficient to continue with CHR. We expect also that the course can be useful for students with some familiarity with CHR and who wants a systematic introduction to the language and its applications for knowledge representation. Time schedule: November 12, 2010: Part I, Logic programming in Prolog by Henning Christiansen, PLIS research group, CBIT dept., Roskilde University November 24-26, 2010: Part II + III Introduction the CHR, its semantics and applications by Jon Snyers, Dept. Computer Science, K.U.Leuven Abductiive reasoning and language processing with CHR by Henning Christiansen, PLIS research group, CBIT dept., Roskilde University All course sessions takes place at The IT University of Copenhagen from 9:00 to 16:30. Rooms to be announced. For more information on how to register, location, time and price, please visit: http://www.first.dk/index.php?option=com_eventlist&view=details&id=219:PhD_course. 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 henning at ruc.dk, http://www.ruc.dk/~henning -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From hr at sti2.at Mon Sep 20 15:07:10 2010 From: hr at sti2.at (HR) Date: Mon, 20 Sep 2010 15:07:10 +0200 Subject: Open position: PhD student in various EU projects In-Reply-To: <00be01cb3236$d4df5520$7e9dff60$@at> References: <46B036DB.1060002@deri.org> <46D3E047.5030103@deri.org> <4A093368.6010004@sti2.at> <4A0933D9.4090109@sti2.at> <4A27D6E4.1010401@sti2.at> <4B0554D8.4010503@sti2.at> <4B6C0262.8030803@sti2.at> <4B6C0284.8070601@sti2.at> <4BA8B8EC.2080101@sti2.at> <4BA8C8D8.5060201@sti2.at> <4BF65B42.6030807@sti2.at> <003501cafbdd$2bd8e7a0$838ab6e0$@at> <4C173C33.200@sti2.at> <00be01cb3236$d4df5520$7e9dff60$@at> Message-ID: <4C975C7E.7060403@sti2.at> The *Semantic Technology Institute (STI) Innsbruck* (*http://www.sti-innsbruck.at* ), formerly known as *DERI Innsbruck*, was founded in 2002 and has developed into a challenging and dynamic research institute of approximately 40 people. *STI Innsbruck* collaborates with an international network of institutes in Asia, Europe and the USA, as well as with global industrial partners. Our major objective is to establish Semantic technologies as a core pillar of modern Computer Science, thereby providing interoperability and scalability for Semantically Enabled Service Orientated Architectures. STI Innsbruck is currently seeking candidates for the position of a PhD student. 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 * 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: Universität Innsbruck Chiffre MIP-6231 Posteinlaufstelle der Zentralen Dienste Innrain 52 A-6020 Innsbruck Application deadline: Oct 06, 2010 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Manuela.Bujorianu at manchester.ac.uk Mon Sep 20 17:06:28 2010 From: Manuela.Bujorianu at manchester.ac.uk (Manuela Bujorianu) Date: Mon, 20 Sep 2010 16:06:28 +0100 Subject: Formal Methods for Aerospace: 2nd edition Message-ID: <20100920160628.90204d2497ly68vo@webmail.manchester.ac.uk> [ We apologise in case of cross-postings! Please help us by distributing the advert in your group/department! ] /----------------------------------\ | CALL FOR PARTICIPATION | \----------------------------------/ "FMA at CDC: Formal Methods for Aerospace" A Workshop affiliated with the 49th IEEE Conference on Decision and Control - CDC 2010 Atlanta, Georgia, USA 14th December 2010 ---------------------------------------------------------------------- http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/CDC.htm Aerospace applications and formal methods are topics of large interest for the control community. In particular, symbolic methods for complex control systems inspired by formal methods in computer science have been studied in the latest decade. The aim of the FMA at CDC is twofold: to encourage the development of interdisciplinary methods and,in particular, to leverage formal methods with control theoretic techniques in aerospace applications. The first edition of the Formal Methods for Aerospace (FMA) workshop took place on November 3, 2009 in Eindhoven, the Netherlands. It was a satellite event of Formal Methods Week (FM Week) 2009, the largest event in formal methods with more than 700 participants. The workshop proceedings have been published as the Volume 20 of the Electronic Proceedings in Theoretical Computer Science. Furthermore, a special issue of the AMAI journal will be published soon. The list of accepted papers can be found at http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/FMA.htm ====================== Presentations ====================== Henk A.P. Blom, Probabilistic Safety Modelling and Verification of Airborne Self Separation Manuela Bujorianu Logics for Stochastic Hybrid Control Systems Michael Fisher Rational Agents in Space Emilio Frazzoli Anytime algorithms for differential games: applications to aerospace systems Joost-Pieter Katoen Correctness, Safety and Performance of Aerospace Systems John Lygeros 4D trajectory management: Reachability theory formulation and target window implementation Sayan Mitra Hybrid Modelling and Verification of Aerospace Systems Maria Prandini Reachability Analysis for Probabilistic Hybrid Systems with Application to Air Traffic Management Antonios Tsourdos Towards Guaranteed Performance of Dynamic Behaviour of Multiple Unmanned Aerial Vehicles ====================== Organization ====================== 2010 edition organizers: Manuela Bujorianu [University of Manchester, UK] Michael Fisher [University of Liverpool, UK] Maria Prandini [Technical University of Milan, It] Steering Committee: Manuela Bujorianu [University of Manchester, UK] Michael Fisher [University of Liverpool, UK] Alessandro Giua [University of Cagliari, It] Corina Pasareanu [NASA, US] ====================== Topics of interest ====================== * air traffic control, * formal verification, * stochastic control, * stochastic hybrid systems, * stochastic reachability, * multiagent and autonomous systems * concurrency. ====================== Registration: http://www.ieeecss.org/CAB/conferences/cdc2010/registration.php ====================== ---------------------------------------------------------------------- From tkren at kr.tuwien.ac.at Mon Sep 20 19:47:18 2010 From: tkren at kr.tuwien.ac.at (Thomas Krennwallner) Date: Mon, 20 Sep 2010 19:47:18 +0200 Subject: 10 PhD student positions in Computational Logic at Vienna University of Technology Message-ID: <20100920174718.GA23142@kr.tuwien.ac.at> The Vienna University of Technology (TU Wien) is offering 10 PhD student positions within the doctoral program "Mathematical Logic in Computer Science" which is launched in Fall 2010; five of the positions are reserved for female applicants. The program is jointly organized by the faculties of Informatics, Mathematics, and Physics, with a strong emphasis on Logic in Computer Science; computational logic is one of the priority research areas of the Faculty of Informatics. TU Wien has a strong international reputation in various fields targeted in the program, including * Logic in Databases, * Computer Aided Verification, * Constraint Satisfaction and Satisfiability, * Knowledge Representation and Reasoning, * Finite Model Theory, * Quantum Information and Recursion Theory, * Proof Theory and Automated Deduction, * Many Valued and Fuzzy Logic, * Complexity Theory, * Set Theory. The program is interdisciplinary and fosters the application of Mathematical Logic to Computer Science; two envisaged key application areas are * Model-Based Design and Verification, * Advanced Information Systems. The faculty of the program consists of M. Baaz, A. Ciabattoni, T. Eiter (coordinator), M. Goldstern, G. Gottlob (associated), A. Leitsch, R. Pichler, K. Svozil, S. Szeider, H. Veith and S. Woltran. Candidates must have an MSc or equivalent degree in Computer Science, Mathematics or related fields, and an excellent record of study. They should have solid basic knowledge in logic, discrete mathematics, and computer science; knowledge in fields targeted in the program is desired. Each PhD student position is funded for three years (regular employment contract with full social benefits). The yearly salary ranges from a minimum of 12,724 Euro to 25,915 Euro before taxes, depending on cofunding via associated projects. Applications are solicited starting immediately, and will be considered starting from September 10, 2010, until all positions are filled, but no longer than March 15, 2011. Further details about the program and the application procedure are available at http://www.dbai.tuwien.ac.at/drkolleg/. For additional information, please send email to dk-info at dbai.tuwien.ac.at. From wmaccaul at stfx.ca Mon Sep 20 21:11:49 2010 From: wmaccaul at stfx.ca (Wendy MacCaull) Date: Mon, 20 Sep 2010 16:11:49 -0300 Subject: Postdoc opportnity: Verification of Timed Workflow Message-ID: High Performance Computing Methods for Verification of Timed Compensable Workflows This is a two-year post doctoral position to develop and apply distributed and parallel computing methodology to the problem of formal verification. The motivational problems involve modeling and verifying workflow systems using an innovative workflow management framework developed in our centre. Ideally the candidate will demonstrate proficiency in high performance computing methodologies with good knowledge in formal verification methods including model checking and automated theorem proving. Case studies will involve very large workflows for community-based health care programs. The candidate will have the opportunity to work with researchers and graduate students in a large interdisciplinary R&D project led by Dr. Wendy MacCaull, at StFX University in Antigonish, Nova Scotia, carried out in collaboration with industry partners and the local health authority (see www.logic.stfx.ca). This position is partially supported by the ACEnet (Atlantic Computational Excellence Network see www.ace-net.ca) Research Fellowships Program and by ACOA through the Atlantic Innovation Fund. Qualifications: - PhD in Computer Science; and a strong background in formal methods or related area; - Ability to conduct high quality research and to implement to evaluate results; - Commitment to work on applied problems; - Ability to present information in English clearly, both in verbal and written formats; - Ability to work with a team. Salary: $43,000 per year (plus a funding allowance for conference presentations). Second year funding is contingent on satisfactory performance during the first year. To apply: Send (1) a 1 page cover letter briefly describing how your education and experience fit the requirements of this position; (2) a detailed CV with descriptions of previous research projects and applied experience; (3) names and contact information for 3 references (names, addresses, e-mail addresses and phone numbers); (4) copies of recent publications, to Wendy MacCaull at wmaccaul at stfx.ca. Use the subject: HPC Verification Methods for Timed Workflow- Rnd 3. Review of the applications will begin on October 12, with the goal of having the researcher in place on or before the New Year. Wendy MacCaull, PhD, Professor, Mathematics, Statistics & Computer Science, Director, StFX Centre of Logic and Information, St. Francis Xavier University, Antigonish, NS, Canada, B2G 2W5 Tel: 902 867 3989 FAX: 902 867 1397 Information is this e-mail is confidential and meant only for the addressee. Please do not circulate it without prior permission. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tommie.meyer at meraka.org.za Tue Sep 21 13:20:08 2010 From: tommie.meyer at meraka.org.za (Tommie Meyer) Date: Tue, 21 Sep 2010 13:20:08 +0200 Subject: CFP: AOW 2010 - Deadline extended to 1 October Message-ID: <65D79BA6-508C-4461-8BD6-C034889269B9@meraka.org.za> Apologies for cross postings 6th Australasian Ontology Workshop (AOW 2010) 7 December 2010 Held in Conjunction with the 23rd Australasian Joint Conference on Artificial Intelligence (AI2010) Adelaide, Australia http://krr.meraka.org.za/~aow2010 AOW 2010 is the sixth in a series of workshops on ontologies held in the Australasian region. The primary aim of the workshop is to bring together active researchers in the broad area of ontologies. Topics of interest include, but are not limited to: - Ontology models and theories - Ontologies and the Semantic Web - Interoperability in ontologies - Ontologies and Multi-agent systems - Description logics for ontologies - Reasoning with ontologies - Ontology harvesting on the web - Ontology of agents and actions - Ontology visualisation - Ontology engineering and management - Ontology-based information extraction and retrieval - Ontology merging, alignment and integration - Web ontology languages - Formal concept analysis and ontologies - Ontologies for e-research - Linking open data - Significant ontology applications The proceedings of all previous Australasian Ontology Workshops were published in the CRPIT Series and this will also be the case for AOW 2010. Authors of the best papers will be invited to submit extended versions of their AOW 2010 papers as chapters in a forthcoming Springer book. For the second year running, AOW 2010 will have a best paper award, with a prize of $250(AUD) being awarded to the author(s) of the best paper. Important Dates: Paper submission deadline: 24 September 2010 - Extended to 1 October Notification of acceptance/rejection: 22 October 2010 Camera-ready copies due: 12 November 2010 AOW 2010: 7 December 2010 Papers must be submitted via the EasyChair system at http://www.easychair.org/conferences/?conf=aow2010 Workshop Chairs: Thomas Meyer Meraka Institute, South Africa tommie.meyer at meraka.org.za Mehmet Orgun Macquarie University mehmet.orgun at mq.edu.au Kerry Taylor CSIRO ICT Centre Kerry.Taylor at csiro.au Program Committee : Franz Baader (TU Dresden, Germany) Arina Britz (Meraka Institute, South Africa) Werner Ceusters (SUNY Buffalo, USA) Michael Compton (CSIRO, Australia) Oscar Corcho (Universidad Politecnica de Madrid, Spain) R. Cenk Erdur (Ege University, Turkey) Aurona Gerber (Meraka Institute, South Africa) Dennis Hooijmaijers (University of South Australia, Australia) Bo Hu (SAP Research, UK) Renato Iannella (NICTA, Australia) Ken Kaneiwa (NICT, Japan) Marijke Keet (Free University of Bolzano, Italy) Kevin Lee (NICTA and UNSW, Australia) Laurent Lefort (CSIRO, Australia) Costas Mantratzis (University of Westminster, UK) Lars Moench (University of Hagen, Germany) Maurice Pagnucco (UNSW, Australia) Debbie Richards (Macquarie University, Australia) Rolf Schwitter (Macquarie University, Australia) Murat Sensoy (Bogazici University, Turkey) Markus Stumptner (University of South Australia, Australia) Boontawee (Meng) Suntisrivaraporn (Thammasat University, Thailand) Sergio Tessaris (Free University of Bolzano, Italy) Nwe Ni Tun (National University of Singapore, Singapore) Ivan Varzinczak (Meraka Institute, South Africa) Kewen Wang (Griffith University, Australia) From butz at cs.uregina.ca Tue Sep 21 19:11:49 2010 From: butz at cs.uregina.ca (Cory Butz) Date: Tue, 21 Sep 2010 11:11:49 -0600 (CST) Subject: Uncertain Reasoning Special Track at FLAIRS-24: Second Call For Papers Message-ID: [Apologies for multiple copies] FLAIRS-24 - Special Track on Uncertain Reasoning (UR) West Palm Beach, Florida, USA May 18-20, 2011 http://www.irit.fr/~Laurent.Perrussel/ur11/ Call For Papers =============== Many problems in AI (in reasoning, planning, learning, perception and robotics) require the agent to operate with incomplete or uncertain information. The objective of this track is to present and discuss a broad and diverse range of current work on uncertain reasoning, including theoretical and applied research based on different paradigms. We hope that the variety and richness of this track will help to promote cross fertilization among the different approaches for uncertain reasoning, and in this way foster the development of new ideas and paradigms. The Special Track on Uncertain Reasoning (UR) is the oldest track in FLAIRS conferences, running annually since 1996. The UR'2011 Special Track at the 24th International Florida Artificial Intelligence Research Society Conference (FLAIRS-24) is the 16th in the series. As the past tracks, UR'2011 seeks to bring together researchers working on broad issues related to reasoning under uncertainty. Scopes ------ Papers on all aspects of uncertain reasoning are invited. Papers of particular interest include, but are not limited to: *Uncertain reasoning formalisms, calculi and methodologies *Reasoning with probability, possibility, fuzzy logic, belief function, vagueness, granularity, rough sets, and probability logics *Multi-agent uncertain reasoning and decision making *Modeling and reasoning using imprecise and indeterminate information, such as: Choquet capacities, comparative orderings, convex sets of measures, and interval-valued probabilities *Exact, approximate and qualitative uncertain reasoning *Graphical models of uncertainty *Decision-theoretic planning and Markov decision process *Temporal reasoning and uncertainty *Argumentation *Belief change and Merging *Nonmonotonic and conditional Logics *Similarity-based reasoning *Construction of models from elicitation, data mining and knowledge discovery *Uncertain reasoning in information retrieval, filtering, fusion, diagnosis, prediction, situation assessment *Practical applications of uncertain reasoning Paper Submission and Publication --------------------------------- Submitted papers must be original, and not submitted concurrently to a journal or another conference. Full papers may be up to 6 pages, and poster papers up to 2 pages. Papers must be in AAAI format, and submitted as PDF through the EasyChair conference system. Instructions on the submission procedure will be available at the UR'2011 website: http://www.irit.fr/~Laurent.Perrussel/ur11/ The proceedings of FLAIRS will be published by the AAAI. An author of each accepted paper is required to register, attend, and present the paper at the UR track. As in previous years, our goal is to publish a selection of the best papers in a special issue of the International Journal of Approximate Reasoning. Important Dates --------------- Paper submission due: Nov. 22, 2010 Author Notification: Jan. 21, 2011 Camera Ready Copy Due: Feb. 21, 2011 Conference: May 18-20, 2011 Program Committee ----------------- [ Track Chairs ] C. Butz University of Regina, Canada L. Perrussel IRIT - Université de Toulouse, France [ PC Members ] Xiangdong An York U., Canada Christoph Beierle U. Hagen, Germany Salem Benferhat U. Artois, France Fabio Cuzzolin Oxford Brookes U., England Sylvie Doutre U. Toulouse, France Marek Druzdzel U. Pittsburgh, USA Love Ekenberg Stockholm U., Sweden Konstantinos Georgatos CUNY, USA Kevin Grant U. Lethbridge, Canada Souhila Kaci U. Artois, France Gabriele Kern-Isberner U. Dortmund, Germany Pawan Lingras Saint Mary’s U., Canada Weiru Liu Queen's U. Belfast, UK Tsai-Ching Lu HRL Laboratories, USA Anders Madsen HUGIN Expert, Denmark Christina Manfredotti U. Milano-Bicocca, Italy Malek Mouhoub U. Regina, Canada Eric Neufeld U. Saskatchewan, Canada Thomas Nielsen Aalborg U., Denmark Eugene Santos Dartmouth College, USA Paul Snow New Hampshire, USA Luis E. Sucar Inst. Astrophysics, Optics, Electronics, Mexico Choh-Man Teng Inst. For Human & Machine Cognition, USA Paolo Viappini U. Toronto, Canada Dan Wu U. Windsor, Canada Yang Xiang U. Guelph, Canada Changhe Yuan Mississippi State U., USA Travel Information ------------------ FLAIRS 2011 will be held in West Palm Beach, Florida. Additional information on the conference locale and travel planning can be found at "http://www.flairs-24.info/". From jim at cs.sfu.ca Tue Sep 21 20:50:30 2010 From: jim at cs.sfu.ca (Jim Delgrande) Date: Tue, 21 Sep 2010 11:50:30 -0700 (PDT) Subject: CFP: LPNMR 2011 (Conference on Logic Programming and Nonmonotonic Reasoning) Message-ID: <201009211850.o8LIoU5L006384@cs.sfu.ca> Call for Papers: LPNMR-11 ========================= 11th International Conference on Logic Programming and Nonmonotonic Reasoning Vancouver, BC, Canada, May 16-19, 2011 http://sites.google.com/site/lpnmr11 LPNMR-11 is the eleventh in the series of international meetings on logic programming and nonmonotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. Authors are invited to submit papers presenting original and unpublished research on nonmonotonic aspects of logic programming and knowledge representation. We particularly encourage papers on LPNMR techniques which have led to the development of significant applications. In addition, we also invite submissions of short papers, and system and application descriptions, which will be presented in a dedicated poster session. The proceedings of the conference will be published in the Springer Verlag Lecture Notes in Computer Science series; see http://www.springer.com/lncs/. All accepted papers will be published in the proceedings. As well, select papers will be invited to appear at a special track at IJCAI 2011 in Barcelona in July 2011. Topics ====== Authors are invited to submit papers presenting original and unpublished research on nonmonotonic aspects of logic programming and knowledge representation. We particularly encourage papers on LPNMR techniques that have led to the development of significant applications. A non-exhaustive list of topics of interest includes: 1. Foundations of LPNMR Systems: Semantics of new and existing languages; Relationships among formalisms; Complexity and expressive power; Development of inference algorithms and search heuristics for LPNMR systems; Extensions of "classical" LPNMR languages by new logical connectives and new inference capabilities such as abduction, reasoning by cases, etc; Updates and other operations on LPNMR systems; Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: System descriptions, comparisons, evaluations; LPNMR benchmarks. 3. Applications of LPNMR systems: LPNMR languages and algorithms in planning, diagnosis, software engineering, decision making, model checking and other domains; Applications of LPNMR languages in Data Integration and Exchange systems; Methodology of representing knowledge in LPNMR languages: theory and practice; Integration of LPNMR systems with other computational paradigms; Embedded LPNMR systems: Systems using LPNMR subsystems. In addition to regular papers on the above topics, we also invite submission of short papers, which may present technical results or give system or application descriptions and which will be presented in a poster session. See below for submission details. Workshops ========= The program of LPNMR-11 will also include several specialised workshops. These workshops provide a venue for presenting more specialized and focussed topics, and are intended to allow for intensive discussions and project collaboration in any area related to LPNMR, including cross-disciplinary areas. Those interested in organizing a workshop at LPNMR-11 are invited to submit an informal workshop proposal to the program chairs by 31 December 2010. Potential workshop organizers are also invited to discuss their ideas for a workshop with the program chairs beforehand. Submission ========== LPNMR'11 welcomes submissions in the following formats. * Technical papers (13 pages) * Short papers (6 pages) * System descriptions (6 pages) * Application descriptions (6 pages) The indicated number of pages includes title page, references and figures. Submissions must be formatted according to the Springer LNCS author instructions, be written in English, and present original research. All submissions will be peer-reviewed, and all accepted papers will appear in the conference proceedings. Paper submission will be electronic through http://www.easychair.org/conferences/?conf=lpnmr11 Important Dates =============== * Paper registration: 1 December 2010 * Paper submission: 8 December 2010 * Workshop applications: 31 December 2010 * Notification: 8 February 2011 * Final versions due: 25 February 2011 Venue ===== The conference will be held at the Segal Graduate School of Business of Simon Fraser University in downtown Vancouver, British Columbia, Canada. Vancouver is located on the Pacific coast and is adjacent to the Coast Mountains. It is consistently ranked as one of the most livable and beautiful cities in the world and features a broad range of outdoor, leisure, and cultural activities. Program Chairs ============== James Delgrande, Simon Fraser University, Canada Wolfgang Faber, University of Calabria, Italy Program Committee ================= Marcello Balduccini, Kodak Research Labs, USA Chitta Baral, Arizona State University, USA Leopoldo Bertossi, Carleton University, Canada Richard Booth, University of Luxembourg, Luxembourg Gerhard Brewka, University of Leipzig, Germany Pedro Cabalar, University of Corunna, Spain Stefania Costantini, University of L'Aquila, Italy Marina De Vos, University of Bath, UK James Delgrande, Simon Fraser University, Canada Marc Denecker, KU Leuven, Belgium Yannis Dimopoulos, University of Cyprus, Cyprus Juergen Dix, Technical University of Clausthal, Germany Agostino Dovier, University of Udine, Italy Thomas Eiter, Vienna University of Technology, Austria Esra Erdem, Sabanci University, Turkey Wolfgang Faber, University of Calabria, Italy Michael Fink, Vienna University of Technology, Austria Andrea Formisano, University of Perugia, Italy Martin Gebser, University of Potsdam, Germany Michael Gelfond, Texas Tech University, USA Giovambattista Ianni, University of Calabria, Italy Tomi Janhunen, Aalto University, Finland Antonis Kakas, University of Cyprus, Cyprus Joohyung Lee, Arizona State University, USA Nicola Leone, University of Calabria, Italy Vladimir Lifschitz, University of Texas, USA Fangzhen Lin, Hong Kong University of Science and Technology, China Jorge Lobo, IBM T. J. Watson Research Center, USA Robert Mercer, University of Western Ontario, Canada Alessandra Mileo, University of Milan-Bicocca, Italy Pascal Nicolas, University of Angers, France Ilkka Niemela, Aalto University, Finland Mauricio Osorio, Universidad de las Americas, Mexico Ramon Otero, University of Corunna, Spain David Pearce, Universidad Politecnica de Madrid, Spain Axel Polleres, National University of Ireland, Ireland Enrico Pontelli, New Mexico State University, USA Chiaki Sakama, Wakayama University, Japan John Schlipf, University of Cincinnati, USA Tran Cao Son, New Mexico State University, USA Terrance Swift, Stony Brook University, USA Evgenia Ternovska, Simon Fraser University, Canada Hans Tompits, Vienna University of Technology, Austria Francesca Toni, Imperial College London, UK Mirek Truszczynski, University of Kentucky, USA Agustin Valverde, University of Malaga, Spain Kewen Wang, Griffith University, Australia Stefan Woltran, Vienna University of Technology, Austria Jia-Huai You, University of Alberta, Canada Yan Zhang, University of Western Sydney, Australia Contact ======= Email to lpnmr11 at gmail.com From schlobac at few.vu.nl Thu Sep 23 14:52:33 2010 From: schlobac at few.vu.nl (Stefan) Date: Thu, 23 Sep 2010 14:52:33 +0200 Subject: Journal of Web Semantics. Special Issue on Dealing with the Messiness of the Web of Data Message-ID: <4C9B4D91.1060102@few.vu.nl> ============================================================================= CALL FOR PAPERS Journal of Web Semantics Special Issue on Dealing with the Messiness of the Web of Data submission: February 2011 to appear: January 2012 ============================================================================= (Guest editors: Stefan Schlobach, Craig A. Knoblock) Description Research on the Semantic Web, which is now in its second decade, has had a tremendous success in encouraging people to publish data on the Web in structured, linked, and standardized ways. The success of what has now become the Web of Data can be read from the sheer number of triples available within the Linked-Open Data, Linked Life Data and Open-Government initiatives. However, this growth in data makes many of the established assumptions inappropriate and offers a number of new research challenges. In stark contrast to early Semantic Web applications that dealt with small, hand-crafted ontologies and data-sets, the new Web of Data comes with a plethora of contradicting world-views and contains incomplete, inconsistent, incorrect, fast-changing and opinionated information. This information not only comes from academic sources and trustworthy institutions, but is often community built, scraped or translated. In short: the Web of Data is messy, and methods to deal with this messiness are paramount for its future. For this special issue we seek articles describing foundational and theoretical work as well as technological solutions for dealing with the messiness of the Web of Data. More specifically, we expect submissions on (but not restricted to) the following topics in the context of the Web of Data: * Knowledge Representation in the presence of messy * Context and multi-dimensionality * Ontology and data versioning * Enforcing and encouraging conventions * Representation of uncertain, incomplete and inconsistent data * Emergent semantics and self-organizing behaviour * Querying and reasoning over the messy Web of Data * Schemaless querying and integration * Dataspaces for the Web of Data * Federated querying * Reasoning over uncertain, incomplete and inconsistent data * Quantitative and statistical methods * Data integration * Identify resolution and record linkage * Ontology Alignment * Bridging structured and unstructured data * Knowledge extraction from noisy data -------------------------------------------------------------------- Important Dates We will aim at an efficient publication cycle in order to guarantee prompt availability of the published results. We will review papers on a rolling basis as they are submitted and explicitly encourage submissions well before the submission deadline. Submit papers online at the journal's Elsevier Web site. Submission deadline: 1 February 2011 Author notification: 15 June 2011 Revisions submitted: 1 August 2011 Final decisions: 15 September 2011 Publication: 1 January 2012 ------------------------------------------------------------------------ Instructions for submission: * The submission website for this journal is located at: http://ees.elsevier.com/jws * To ensure that all manuscripts are correctly identified for inclusion into the special issue you are editing, it is important that authors select "S.I.: Messiness of the Web of Data" when they reach the "Article Type" step in the submission process. ------------------ Guest Editors/Contacts Stefan Schlobach (contact) -- Vrije Universiteit Amsterdam -- schlobac at few.vu.nl Craig A. Knoblock -- University of Southern California -- knoblock at isi.edu ------------------ Some additional information that we could make available on the web-site. Some example problems that would be interesting for this special issue: 1) Similarity Search: Often users are interested in finding similar resources on the WoD. For example, find cities like Amsterdam or compare universities across Europe. Here, users may not be able to specifically identify the desired overlap. Instead, it is up to the query answering system to identify the overlap and supply reasonable answers. 2) Schemaless Query: One of the positive things about the WoD is the ability for data providers and consumers to use their preferred schema. However, this makes it difficult to query new data sources. Users must discover, which schema is used. Furthermore, it makes queries across data sources even more difficult because mappings between vocabularies must be available. We believe that approximation can help alleviate this problem by finding answers "close enough" to the posed query's schema. 3) Robust Query: Misspellings, misuse of vocabulary, violations of schema constraints, all these are part of daily life on the WoD. Today, technologies either skip over such data or must contain workarounds to deal with it. A systematic approach to dealing with these issues using approximation techniques, would provide a more usable WoD. 4) Aggregated Search Results: answers to more sophisticated queries do not reside all within one triple store. Only by aggregating facts from multiple stores can answers be provided. While federation can virtually provide a single triple store, it has limitations in terms of the consistency required across the underlying triple stores. We believe that approximation can provide a mechanism to enable more robust aggregated search results and federation. 5) Robust extraction: most data that is useful for the Web of Data is not build using Semantic technology but stems from traditional databases. Often this data is translated, or even scraped from Web Services or even html pages. Linking this information in well- understood and Semantically correct are crucial for the WoD. From braubach at informatik.uni-hamburg.de Thu Sep 23 17:15:23 2010 From: braubach at informatik.uni-hamburg.de (Lars Braubach) Date: Thu, 23 Sep 2010 17:15:23 +0200 Subject: WiVS 2011 CFP Message-ID: <4C9B6F0B.8050401@informatik.uni-hamburg.de> Dear list moderator, it would be really nice if you could distribute our CFP for the WiVS workshop at the KiVS 2011 conference. It primary focus is agile workflows, but one of main topics is multi-agent systems and how they can be exploited for this purpose. Thanks and best regards Lars (Apologies for multiple copies) ********* CALL FOR PAPERS ********* *************** Deadline October 31, 2010 **************** WiVS 2011: 1st International Workshop on Flexible Workflows in Distributed Systems http://vsis-www.informatik.uni-hamburg.de/events/wivs/ As part of 17th Conference on "Communication in Distributed Systems 2011" (KiVS'11) March 8 - 11, 2011 Kiel, Germany *** Overview *** Management of business processes is of major importance for today's enterprises, operating in increasingly dynamic environments. The technical support for business processes remains a complex challenge, due to their manifold characteristics, and requires a workflow-based execution infrastructure at the IT side. Besides traditional aspects like distribution, concurrency and resource management, especially the dynamics of the execution context has to be taken care of. In this respect, the current research in this area more and more dismisses the initial assumptions of traditional process-based approaches that processes - once deployed and instantiated - are kept basically unchanged and are executed always as planned. Instead the flexibility of workflows gains considerable attention, whereby the dynamics to be supported ranges from properties of the technical environment (e.g. in the area of mobile applications) up to completely dynamic ad-hoc processes of knowledge workers. The area of flexible workflow management represents an interesting overlap for research approaches from different disciplines of distributed systems, such as service oriented architecture (SOA) / web services, mobile computing, multi-agent systems, and enterprise application integration. Thus, the workshop WiVS is as an integrating forum for researchers from the named areas and fosters the discussion and knowledge transfer among participants by the common incitement of flexible workflows. Moreover, the workshop targets technologies as well as applications in order to bring current research and practice closer together. *** Topics *** The workshop covers topics from the area of workflows and distributed systems. A special focus of the workshop is on flexibility and on systems deployed in dynamic contexts. Topics for contributions include (but are not necessarily limited to) the following: Flexibility and Dynamics in Workflows * Modeling and execution of flexible workflows * Adaptive / agile workflows * Multi-agent systems for workflow control * Mobile workflows * Ad-hoc workflows and collaborative workflows * Workflows and business rules * Workflows und event-based systems * Provenance, versioning and evolution of workflow models * SOA and web services * Dynamic service orchestration and choreography * Workflow monitoring, self-control and automatic adaptation * Similarity of workflows Applications of Flexible Workflow-based Systems * Controllability of flexible workflow-based systems * Benchmarks und evaluations * Comparisons to alternative technologies * Innovative application areas for flexible workflow-based systems * Practical experiences *** Submissions *** We invite submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be formatted according to the style of the Electronic Communications of the EASST (European Association of Software Science and Technology) journal and not exceed 12 pages including figures, references, etc. Papers should be submitted using the EasyChair conference management system at: http://www.easychair.org/conferences/?conf=wivs2010 The accepted papers will be published in the proceedings of the KiVS 2011 conference as a special issue of the ECEASST Journal (ISSN 1863-2122). *** Important Dates *** Submission Deadline: October 31, 2010 Notification: November 28, 2010 Camera Ready Copy Due: December 19, 2010 KiVS Conference: March 8 - 11, 2011 *** Organization *** Lars Braubach, Universität Hamburg Peter Dadam, Universität Ulm Mirjam Minor, Universität Trier Alexander Pokahr, Universität Hamburg Questions to the workshop organizers should be directed to: wivs2011 at easychair.org *** Program Committee *** Birgit Burmeister, Daimler AG Vadim Ermolayev, Zaporozhye National University Christian Guttmann, Monash University Benjamin Hirsch, TU Berlin Dimka Karastoyanova, Universität Stuttgart Jan Mendling, Humboldt-Universität zu Berlin Daniel Moldt, Universität Hamburg Jörg Müller, TU Clausthal Markus Nüttgens, Universität Hamburg Giovanni Rimassa, Whitestein Technologies Stefanie Rinderle-Ma, Universität Wien Uwe Riss, SAP Research Shazia Sadiq, University of Queensland Thomas Sauer, rjm business solutions Ali Sunyaev, Universität zu Köln Ingo Timm, Universität Trier Barbara Weber, Uni Innsbruck Christian Zirpins, Karlsruher Institut für Technologie (KIT) From scozzari at sci.unich.it Sat Sep 25 09:29:59 2010 From: scozzari at sci.unich.it (Francesca Scozzari) Date: Sat, 25 Sep 2010 09:29:59 +0200 Subject: PhD position - University of Chieti-Pescara (Italy) Message-ID: <4C9DA4F7.8050800@sci.unich.it> A PhD scholarship is available at the Department of Science - University of Chieti-Pescara (Italy). We are looking for a candidate who will work on the field of analysis and verification of programs and systems, under the supervision of Chiara Meo, Gianluca Amato or Francesca Scozzari. The deadline for online application is October 1st, 2010. For further details, do not hesitate to contact me asap. Best regards, --francesca scozzari Dipartimento di Scienze Università di Chieti-Pescara From CSIE2011CFP at cust.edu.cn Tue Sep 28 05:15:07 2010 From: CSIE2011CFP at cust.edu.cn (Mingfen Li) Date: Tue, 28 Sep 2010 11:15:07 +0800 Subject: Congress on Computer Science & Information Engineering, Jilin, China (EI/ISTP/IEEE Xplore) Message-ID: <485645105.26851@cust.edu.cn> Dear Author, 2011 2nd World Congress on Computer Science and Information Engineering (CSIE 2011) 17-19 June 2011， Changchun, China http://world-research-institute.org/conferences/CSIE/2011 Call for Papers & Exhibits CSIE 2011 intends to be a global forum for researchers and engineers to present and discuss recent advances and new techniques in computer science and information engineering. Topics of interests include, but are not limited to, data mining & data engineering, intelligent systems, software engineering, computer applications, communications & networking, computer hardware, VLSI, & embedded systems, multimedia & signal processing, computer control, robotics, and automation. All papers in the CSIE 2011 conference proceedings will be indexed in Ei Compendex and ISTP, as well as included in the IEEE Xplore (The previous conference CSIE 2009 has already been indexed in Ei Compendex and included in the IEEE Xplore). IEEE Catalog Number: CFP1160F-PRT. ISBN: 978-1-4244-8361-7. Changchun is the capital city of Jilin province, situated in the central section of China's northeast region. There are many natural attractions to entertain residents and visitors around Changchun. The grand Changbai Mountain renowned for its spectacular landscape, charming scenery, glamorous legends, as well as rich resources and products, has been praised as the first mountain in the northeast, outstanding as one of the China’s top-ten famous mountains. Other attractions in or around Changchun include Songhua lake (Songhuahu), Jingyue Lake (Jingyuetan), Changchun Movie Wonderland, Changchun Puppet Palace (Weihuanggong), Changchun World Sculpture Park, and Changchun World Landscape Park, etc. Important Dates: Paper Submission Deadline: 20 September 2010 5 November 2010 (Extended) Review Notification: 6 December 2010 Final Paper and Author Registration Deadline: 6 January 2011 Contact Information If you have any inquiries, please email us at CSIE2011 at cust.edu.cn Please feel free to forward to others. To unsubscribe, please reply with “unsubscribe event at tu-clausthal.de ” as your email subject. With kind regards, Mingfen Li CSIE 2011 Committee -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From robert at grid.chu.edu.tw Tue Sep 28 14:13:59 2010 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Tue, 28 Sep 2010 20:13:59 +0800 Subject: Call For Papers - UCC 2010 (Dec. 14-16, 2010, Chennai, India) Message-ID: <201009281213.o8SCDx9C011218@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From oliver.obst at csiro.au Tue Sep 28 16:17:29 2010 From: oliver.obst at csiro.au (Oliver Obst) Date: Wed, 29 Sep 2010 00:17:29 +1000 Subject: CfP: Distributed machine learning and sparse representation with massive data sets Message-ID: <50F45520-54A2-471C-9661-0F9833BDF1B0@csiro.au> This is the first announcement of the DMMD 2011 Symposium: Distributed machine learning and sparse representation with massive data sets Web page: http://research.ict.csiro.au/conferences/machine-learning/ The symposium will take place at the CSIRO Campus in Sydney (Marsfield), Australia. The exponentially increasing demand for computing power as well as physical and economic limitations has contributed to a proliferation of distributed and parallel computer architectures. To make better use of current and future high-performance computing, and to fully benefit from these massive amounts of data, we must discover, understand and exploit the available parallelism in machine learning. Simultaneously, we have to model data in an adequate manner while keeping the models as simple as possible, by making use of a sparse representation of the data or sparse modelling of the respective underlying problem. The invited speakers are: Samy Bengio (Google Research, CA, USA) Barbara Hammer (University of Bielefeld, Germany) Yann LeCun (New York University, NY, USA) Michael Mahoney (Stanford University, CA, USA) Call for Papers / Extended Abstracts Through a combination of invited talks, contributed presentations, discussions and posters, we hope to gain a better understanding of available algorithms and best practices, as well as their inherent limitations. We are looking for submissions of short papers / extended abstracts (at most 4 pages in NIPS format), in one or more of the following areas: - Distributed, Multicore and Cluster based Learning Techniques - Machine Learning on Alternative Hardware (GPUs, Robots, Sensor Networks, Mobile Phones, Cell Processors ...) - Sparsity in Machine Learning and Statistics - Learning results and techniques on Massive Datasets - Dimensionality Reduction, Sparse Matrix, Large Scale Kernel Methods - Fast Online Algorithms for Large Scale Data - Parallel Computing Tools and Libraries Selected submissions will be considered for a special issue of a journal or a collected volume on the topic of the symposium. A separate call for papers will then be issued after the event for the special issue/collected volume. Please refer to the web page for further details. Attendance to DMMD 2011 is free, but limited to approx. 50 participants (first in, best dressed - please register by email). We can not provide travel support, but for a limited (small) number of interstate/overseas students, we will organise free accommodation. Priority will be given to students with an accepted paper. If you would like to be considered for this, please send an email to apply (deadline 1 November 2010). Important Dates - Submission deadline: 1 November, 2010 - Registration deadline: 31 December, 2010 - Symposium: 18-20 January, 2011 Chair Oliver Obst (CSIRO ICT Centre, Sydney) Program Committee Samy Bengio (Google Research, CA, USA) Joschka Boedecker (Osaka University, Japan) Stephan Chalup (University of Newcastle, Newcastle) Tim Cornwell (CSIRO CASS, Sydney) Ying Guo (CSIRO ICT Centre, Sydney) Barbara Hammer (University of Bielefeld, Germany) Yann LeCun (New York University, NY, USA) Simon Lucey (CSIRO ICT Centre, Sydney) Michael Mahoney (Stanford University, CA, USA) N. Michael Mayer (National Chung Cheng University, Taiwan) Mikhail Prokopenko (CSIRO ICT Centre, Sydney) Scott Sanner (NICTA & ANU, Canberra) John A. Taylor (CSIRO CMIS, Canberra) Rosalind Wang (CSIRO ICT Centre, Sydney) -- Oliver Obst form follows function (Louis Sullivan). Adaptive Systems Team CSIRO ICT Centre http://research.ict.csiro.au/ +61 2 9372 4710 http://oliver.obst.eu/