From M.B.vanRiemsdijk at tudelft.nl Thu Mar 1 17:54:31 2012 From: M.B.vanRiemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Thu, 1 Mar 2012 17:54:31 +0100 Subject: [EASSS'12] Call for participation In-Reply-To: <74FE75E2-CD05-4DB5-8A24-56762647D0DC@insa-rouen.fr> References: <74FE75E2-CD05-4DB5-8A24-56762647D0DC@insa-rouen.fr> Message-ID: <526BDF5E-2C8B-4A2A-A0BF-2294181DF791@tudelft.nl> (Apologies for cross-posting) ********************************************************************** * CALL FOR PARTICIPATION - EASSS 2012 * 14th European Agent Systems Summer School Valencia, Spain --- 28th May-1st June 2012 ********************************************************************** The 14th European Agent Systems Summer School (EASSS 2012) will be held at the Universitat Politecnica de Valencia, Valencia, Spain, from the 28th of May to the 1st of June, 2012, in the week preceding AAMAS (the International Conference on Autonomous Agents and Multiagent Systems). As its highly successful earlier incarnations, EASSS 2012 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (www.euramas.org). Registration will soon be open at http://easss2012.webs.upv.es/. The early registration deadline is April 18th. Follow us on Twitter to be informed about the latest news regarding EASSS 2012 (http://twitter.com/easss2012). ********************************************************************** * STUDENT GRANTS * Recall that there are several student grant programs to attend EASSS 2012, offered by different institutions Check the details (elegibility, application forms, deadline) at EASSS 2012 webpage. ********************************************************************** * EASSS 2012 PROGRAMME * This is the list of the tutorials that will be offered in this year's edition of EASSS: T0. Introduction to Autonomous Agents and Multiagent Systems Carles Sierra T1. Agent-based social simulation Tina Balke and Frédéric Amblard T2. Organization and Environment oriented programming Olivier Boissier and Jomi F. Hübner and Alessandro Ricci T3. Agent oriented programming languages Rafael Bordini and Koen Hindriks and Joao Leite T4. Introduction to the modelling and verification of, and reasoning about multi-agent systems Nils Bulling and Jürgen Dix T5. Cognitive agents for social simulation Frank Dignum and Virginia Dignum and Catholijn Jonker T6. Supporting large-scale, distributed multi-agent systems Michel Oey and Sander van Splunter and Martijn Warnier and Frances Brazier T7. Embodied conversational agents and affective computing Alexandre Pauchet and Nicolas Sabouret T8. Industrial application of multi-agent systems Michal Pechoucek T9. Trust and reputation in multi-agent systems Jordi Sabater-Mir and Javier Carbo T10. Decision making under uncertainty Matthijs Spaan and Frans Oliehoek T11. Normative multi-agent systems Guido Boella and Leon van der Torre T12. Distributed search and constraint handling Alessandro Farinelli and Alex Rogers and Meritxell Vinyals T13. Agent coordination in planning and scheduling Cees Witteveen and Bob Huisman T14. Argumentation for agent societies Massimiliano Giacomin and Serena Villata More information regarding these tutorials is available at the EASSS 2012 website. The program also includes a student session, for which a separate call for papers will be available soon. ********************************************************************** EASSS 2012 organizing committee easss2012 at dsic.upv.es http://easss2012.webs.upv.es Local organization chair: Vicente Julian: vinglada at dsic.upv.es Program co-chairs: Birna van Riemsdijk: m.b.vanriemsdijk at tudelft.nl Laurent Vercouter: laurent.vercouter at insa-rouen.fr ********************************************************************** ----------------------------- Dr. M. Birna van Riemsdijk assistant professor Interactive Intelligence Group Department of Mediamatics Faculty of Electrical Engineering, Mathematics and Computer Science Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands Room: HB 12.040 Telephone: +31 (0)15 2786331 Fax: +31 (0)15 2787141 Website: http://mmi.tudelft.nl/~birna/ Twitter: @mbirna From walid.chainbi at gmail.com Thu Mar 1 19:35:08 2012 From: walid.chainbi at gmail.com (Walid Chainbi) Date: Thu, 1 Mar 2012 19:35:08 +0100 Subject: AWS'2012 (Adaptation of Web Services): Final extension Message-ID: ******************************************************************** FINAL DEADLINE EXTENSION ************************************************************************* International Workshop on the Adaptation of Web Services (AWS'2012) August 27-29, 2012, Niagara Falls, Ontario, Canada http://www.uc.rnu.tn/aws2012.html in conjunction with ANT’2012 conference AIMS AND SCOPE ********************** Service-Oriented Computing (SOC) is a computing paradigm that utilizes Web services as the basic constructs to support the development of rapid, low-cost and easy composition of distributed applications even in heterogeneous environments. With the advent of SOC, computing environments have become open, and components are no longer under a single organization’s control. Consequently, Web services based applications are becoming difficult to adapt. Moreover, with the rapid growth of communication and information technologies, adaptation has gained a significant attention as it becomes a key feature of Web services allowing them to operate and evolve in highly dynamic environments. Adaptation mechanisms refer to different instantiations including configuration, healing, optimization, and protection. The primary objective of this workshop is to investigate ideas that may contribute to the adaptation of Web services. Theoretical as well as practical aspects are welcome. The workshop organizer welcomes participation and contributions from those working or interested in the intersection of technologies such as agent technology and autonomic computing with SOC. TOPICS OF INTEREST *************************** The topics of interest for AWS’2012 include, but are not limited to: • Adaptation solutions to Web services • Applications of adaptive Web services • Engineering of adaptive Web services • Optimization of Web services • Configuration of Web services • Healing of Web services • Protection of Web Services • Self-* Web services • Agents vs. Web services • Agents for Web services • Design and management of self-* Web services. SUBMISSION PROCEDURE AND FORMATTING GUIDELINES ************************************************************************* Authors should submit their contributions electronically in PDF format by the deadline given below. Please use AWS 2012 online submission system ( https://www.easychair.org/conferences/?conf=aws2012 ) and register as a new member: You just need to click on "I have no EasyChair Account" and complete the registration form. A password will be sent by e-mail shortly. Using that password, log-in and proceed to the New Submission page, where the detailed instructions can be found. If you encounter any problem with submission, please contact the workshop chair for assistance. All papers accepted for the workshop will be included in the ANT-2012 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in ANT-2012 Website. The number of pages for AWS papers is limited to 6 pages. The selective outstanding papers presented at the workshop, after further revision, will be considered for publication in journals special issues. All workshop published papers will be indexed by Scopus (http://www.scopus.com) and Engineering Village (Ei) ( http://www.engineeringvillage.com). This includes EI Compendex ( http://www.ei.org/compendex). All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). WORKSHOP CHAIR ************************ Dr. Walid Chainbi Sousse National School of Engineers, University of Sousse / SOIE E-mail: Walid.Chainbi at gmail.com PROGRAM COMMITTEE ***************************** Walt Truszkowski, NASA Goaddard Space Flight Center (USA) Roy Sterritt, University of Ulster (Northern Ireland) Huaglory Tianfield, Glasgow Caledonian University (UK) Jeffrey Kephart, IBM T.J. Watson Research Center (USA) Rainer Unland, University of Duisburg-Essen (Germany) Christoph Reich, Hochschule Furtwangen University (Germany) Giovanni Russello, Create-net (Italy) ALi A. Ghorbani, University of New Brunswick (Canada) David Chess, Thomas J. Watson Research Center, IBM Research Division (USA) Manish Parashar, Rutgers, The State University of New Jersey (USA) Hamid Motahari, Hewlett Packard Laboratories, Palo Alto (USA) Mohand-Said Hacid, University Claude Bernard Lyon 1 (France) IMPORTANT DATES ************************ • March, 15, submission due (Final extension). • April, 10, notification of acceptance. • May, 10, camera-ready due. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rseba at disi.unitn.it Sat Mar 3 23:20:21 2012 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Sat, 3 Mar 2012 23:20:21 +0100 Subject: PHD position on SAT/SMT applications to requirement engineering in Trento Message-ID: <20120303222021.GA28658@disi.unitn.it> --------------------------------------------------------------------------- [[[ We apologize if you receive multiple copies of this message ]]] --------------------------------------------------------------------------- -------------------------------------------------------------- PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED. -------------------------------------------------------------- ======================================================================== Call for one PhD position in ICT on "Application of SAT- and SMT-based optimization algorithms to requirement engineering" at Dept. of Computer Science & Engineering, University of Trento, Italy. Advisors: Prof. John Mylopoulos and Prof. Roberto Sebastiani http://disi.unitn.it/users/john.mylopoulos http://disi.unitn.it/~rseba ======================================================================== ELIGIBILITY CRITERIA: Candidates are required to have a master -- or equivalent -- degree in Computer Science, Computer Engineering or Mathematics, or to obtain it withing November 1st 2011. The ideal candidates should have a good background in logic and in software engineering. A background knowledge in Propositional Satisfiability (SAT), Satisfiablity Modulo Theory (SMT), Automated Reasoning, Knowledge Representation & Reasoning or Formal Methods would be very-positively evaluated. All the positions are covered by a scholarship, amounting roughly to 51,000 Euros over the three years. Substantial extra funding is available for participation in international conferences, schools, and workshops. DESCRIPTION: Over the past decade, logic-based goal-oriented requirements modeling languages have been used in Computer Science in order to represent software requirements, business objectives and design qualities. Such models extend traditional AI planning techniques for representing goals by allowing for partially defined and possibly inconsistent goals. In past work by the proposers, a framework for reasoning with such goal models have been proposed. The goal af the PhD project is to investigate and implement novel automated reasoning procedures --or to adapt existing ones-- for efficiently solving requirements problems expressed as goal models, for optimizing the solutions according to required criteria and, since requirements evolve with time, to minimize the effort of finding new solutions and maximizing the reuse of old solutions. In particular, a significant effort will be devoted to investigate and adapt SAT- and SMT-based algorithms for finding optimal solutions to parameterized goal models. HOW TO APPLY: Interested candidates should inquire for further information and/or apply by sending email to roberto.sebastiani at disi.unitn.it Applications should contain a statement of interest, with a Curriculum Vitae, and three reference persons. PDF format is strongly encouraged. Emails will be automatically processed and should have as subject: 'PHD ON LUCRETIUS PROJECT' INFORMAL ENQUIRIES ARE ENCOURAGED. You can get in touch with Prof. Roberto Sebastiani (roberto.sebastiani at disi.unitn.it, +39.0461.281514), in order to have a better understanding of possible research activities and the formal application details. FUNDING: The position is funded by the project “Lucretius: Foundations for Software Evolution", thanks to an ERC (European Research Council) advanced grant awarded to Prof. John Mylopoulos (2011-2016). The positions is within the Software Engineering and Formal Methods group, Department of Information Engineering and Computer Science (http://www.disi.unitn.it) and the ICT Doctoral School of the Department (http://ict.unitn.it) of the University of Trento, Trento, Italy. From rseba at disi.unitn.it Sat Mar 3 23:20:21 2012 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Sat, 3 Mar 2012 23:20:21 +0100 Subject: PHD position on SMT-based formal verification in Trento Message-ID: <20120303222021.GA28670@disi.unitn.it> --------------------------------------------------------------------------- [[[ We apologize if you receive multiple copies of this message ]]] --------------------------------------------------------------------------- -------------------------------------------------------------- PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED. -------------------------------------------------------------- Doctoral Student Positions in Information and Communication Technologies on the research project "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)" are available at the International Doctorate School in Information and Communication Technologies (http://www.ict.unitn.it/) of the University of Trento, Italy, under the joint supervision of Dr. ALESSANDRO CIMATTI, Embedded Systems Research Unit, FBK-Irst, via Sommarive 18, I-38123 Povo, Trento, Italy http://sra.fbk.eu/people/cimatti/, Prof. ROBERTO SEBASTIANI Software Engineering & Formal Methods Research Program DISI, University of Trento, via Sommarive 14, I-38123 Povo, Trento, Italy http://disi.unitn.it/~rseba/. The research activity will be carried out jointly within the Embedded Systems (ES) Research Unit of the Center for Scientific and Technological Research of the Fondazione Bruno Kessler (FBK), Trento, and the Software Engineering & Formal Methods (SE&FM) Research Program, at Department of Information Engineering and Computer Science (DISI) of University of Trento. The research activity will aim at investigating and developing novel techniques, methodologies and support tools for Satisfiability Modulo Theories (SMT) for the formal verification of systems. This work will be part of the "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)" project, a three-year research project supported by SRC/GRC (http://www.src.org/compete/s201113/), in strict collaboration with the Formal Verification Group at Intel, Haifa, and other major HW companies. The goal of the WOLF project is to provide a comprehensive SMT package to support effective formal verification of systems ranging from RTL circuits all the way up to high-level hardware description languages (e.g. SystemC) and software. The package will be implemented on top of the MathSAT SMT platform (http://mathsat.fbk.eu/), and provided as an API. Ph.D. courses will start in Autumn 2012, and the thesis must be completed in three or four years. People enrolled Ph.D. courses are expected to move to Trento, and will receive monetary support during phases of their activity. Candidate Profile ================= The ideal candidate should have an MS or equivalent degree in computer science, mathematics or electronic engineering, and combine solid theoretical background and excellent software development skills (in particular C/C++). The candidate should be able to work in a collaborative environment, with a strong commitment to reaching research excellence and achieving assigned objectives. Background knowledge and/or previous experience in the following areas (in order of preference), though not mandatory, will be considered very favorably: - Satisfiability Modulo Theory (SMT) - Propositional Satisfiability (SAT) - Model Checking - Automated Reasoning - Constraint Solving and Optimization - Embedded Systems Design Languages (e.g. Verilog, VHDL) Applications and Inquiries ========================== Interested candidates should inquire for further information and/or apply by sending email to wolf-recruit at disi.unitn.it Applications should contain a statement of interest, with a Curriculum Vitae, and three reference persons. PDF format is strongly encouraged. Emails will be automatically processed and should have 'PHD ON WOLF PROJECT' as subject. Contact Person ============== Prof. ROBERTO SEBASTIANI Software Engineering & Formal Methods Research Program DISI, University of Trento, via Sommarive 14, I-38100 Povo, Trento, Italy http://disi.unitn.it/~rseba/. mailto: rseba[at]disi[dot]unitn[dot]it The Embedded Systems Research Unit at FBK ========================================= The Embedded Systems Unit consists of about 15 persons, including researchers, post-Doc, Ph.D. students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems. Current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink). * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis). * Formal Safety Analysis, based on the integration of traditional techniques (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. The Embedded Systems Unit is part of Fondazione Bruno Kessler, formerly Istituto Trentino di Cultura, a public research institute of the Autonomous Province of Trento (Italy), founded in 1976. The institute, through its center for the scientific and technological research, is active in the areas of Information Technology, Microsystems, and Physical Chemistry of Surfaces and Interfaces. Today, FBK is an internationally recognized research institute, collaborating with industries, universities, and public and private laboratories in Italy and abroad. The institute's applied and basic research activities aim at resolving real-world problems, driven by the need for technological innovation in society and industry. The SW Engineering & Formal Methods Research Program at DISI ============================================================ The SW Engineering & Formal Methods R. P. at DISI currently consists on 5 faculties, various post-docs and PhD students. The Unit carries out research, tool development and technology transfer in the fields of Goal-Oriented Requirements Engineering, Agent-oriented SW engineering, Security, and Formal Methods. Referring to formal methods, current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems. * Advanced Model Checking Techniques for Formal Verification of hardware, embedded critical software, and hybrid systems. * Applications of Propositional Satisfiability (SAT) to various domains. The R.P. is part of the Department of Information Engineering and Computer Science, DISI (http://disi.unitn.it/) of University of Trento. University of Trento in the latest years has always been rated among the top-three small&medium-size universities in Italy. DISI currently consists of 50 faculties, 68 research staff and support people, 21 postdocs and 146 Doctoral students, plus administrative and technical staff. DISI covers all the different areas of information technology (computer science, telecommunications, and electronics) and their applications. These disciplines above are studied individually but also with a strong focus on their integration, Location ======== Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at http://www.trentino.to/home/index.html?_lang=en. From ph_r at gmx.net Mon Mar 5 18:37:08 2012 From: ph_r at gmx.net (Philipp Ruemmer) Date: Mon, 05 Mar 2012 18:37:08 +0100 Subject: Call for Papers - LfSA'12 - Logics for System Analysis Message-ID: <1330969028.17883.12.camel@hal4> Call for Papers -------------------------------------------------- LfSA'12 -- Logics for System Analysis http://www.ls.cs.cmu.edu/LfSA12 -------------------------------------------------- Workshop Affiliated with CAV 2012 July 7th, 2012, Berkeley, USA Safety-critical systems frequently occur as real-time systems, embedded systems, hybrid systems, distributed systems, and cyber-physical systems. They are also becoming more and more important in many application domains, including aviation, automotive, railway, robotic, or medical applications, where both safety and security are relevant aspects. To ensure the correct functioning of safety-critical systems it is necessary to model and reason about hardware, software, communication aspects, physical properties, and the system environment. LfSA’12 is the second workshop on Logics for System Analysis, devoted to the systematic theoretical study, practical development, and applied use of logics for system analysis. The purpose of the LfSA workshop is to bring together researchers and practitioners interested in studying practically relevant systems or in developing the logical foundations and analysis tools for their study. Topics include * Logics for safety-critical systems (real-time, embedded, hybrid, distributed, stochastic, cyber-physical) * Logic-based methods for development of safety-critical systems * Logics to study security aspects of systems or protocols * System representations using logics, automata, modeling languages, state charts, Petri nets, dataflow models * Theories, decision procedures, and calculi for system analysis * Model checking, theorem proving, and systematic testing * Case studies for logical system analysis * Applications of system analysis to industrial problems In particular, we invite contributions that bridge the gap between theory and practice or that combine different application domains. Submission Categories --------------------- * Regular papers (up to 15 pages), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. * Short papers (up to 5 pages), which describe work in progress or aim at initiating discussions. * Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop; such papers will not be included in the LfSA proceedings but will be presented during the workshop. In addition to informal and electronic workshop proceedings, we consider the option of a special issue in a journal after the workshop Workshop/Programme Chairs ------------------------- Andre Platzer Carnegie Mellon University Philipp Ruemmer Uppsala University Programme Committee ------------------- A. Banerjee (IMDEA Madrid) R. Barbosa (U. Coimbra) F. S. de Boer (CWI Amsterdam) A. Cimatti (IRST Trento) M. Dam (KTH Stockholm) S. Demri (CNRS Cachan) M. Giese (U. of Oslo) I. Hasuo (U. Tokyo) F. Ivancic (NEC Lab. Princeton) E. B. Johnsen (U. of Oslo) V. Sofronie-Stokkermans (U. Koblenz) U. Waldmann (MPI Saarbrücken) Important Dates/Deadlines ------------------------- Abstract submission: April 13, 2012 Paper submission: April 20, 2012 Notification: June 8, 2012 Final version: June 29, 2012 Workshop: July 7, 2012 Workshop Webpage ---------------- http://www.ls.cs.cmu.edu/LfSA12 Submission via Easychair ------------------------ https://www.easychair.org/conferences/?conf=lfsa12 From Tomi.Janhunen at aalto.fi Mon Mar 5 22:32:14 2012 From: Tomi.Janhunen at aalto.fi (Tomi.Janhunen at aalto.fi) Date: Mon, 5 Mar 2012 23:32:14 +0200 (EET) Subject: Logic and Search (LaSh'12) first CFP Message-ID: <20120305213214.1E4E3C0026@rhea.ics.hut.fi> [Apologies for multiple copies.] ----------------------------------------------------------------------- CALL FOR PAPERS LaSh'2012 Fourth Workshop on Logic and Search August 27, 2012, Montpellier www.logicandsearch.org/LaSh2012 An ECAI 2012 Workshop ----------------------------------------------------------------------- Recently, strong progress was made in various areas concerned with search problems. Such problems arise in virtually all application domains and branches of computer science. Fueled by the availability of powerful solver technologies developed in areas such as SAT, Constraint Programming, Integer Programming, ASP, SMT and others, several important developments take place. One trend is an exponentially growing diversification of the application fields of these solvers: system configuration, timetabling, job scheduling, planning, software and hardware verification, bioinformatics, music composition, etc. On the level of solvers, a trend is integration of technologies. Architectures are developed that allow to combine these technologies into flexible, configurable systems that solve much broader classes of problems more effectively. On the modeling level, we see the emergence of increasingly expressive modeling languages, as witnessed in Constraint Programming, SMT and ASP. The goal of the LaSh workshops is to bring together researchers from all relevant areas to foster the exchange and development of ideas in both theory and practice of logic-based methods for combinatorial problem solving. LaSh is an occasion to discuss specific technical problems, formulate challenges and opportunities, compare and contrast techniques of different groups, and examine possible synergies and integrations. LaSh 2012 follows LaSh 2006, an ICLP workshop at FLoC 2006 (www.easychair.org/FLoC-06/LaSh.html), LaSh 2008, two day stand-alone workshop (www.cs.kuleuven.be/~dtai/LaSh08), and LaSh 2010, a satellite workshop of FloC 2010 and ICLP, Edinburgh, UK (http://logicandsearch.org/LaSh2010/web/Home.html). We invite contributions to modeling languages, methodology, theory, algorithms and systems. To facilitate discussion of the most relevant current research, we welcome submission of previously-published research as well as new work. Topics of interest include, but are not limited to: * modeling languages and techniques * logics * modularity in languages and solvers * solver design and implementation * integration of solver technologies * expressiveness and complexity * algorithms for grounding and solving * logics-based methods for optimization problems * new applications * system descriptions * experimental evaluations LaSh 2012 will feature invited talks, technical paper sessions, a special session on integration and modularity, a demo session, and a panel/open problem session. SPECIAL SESSION ON SYSTEM INTEGRATION AND EXPLOITING MODULARITY Modularity is essential for modelling languages as it enables to master the description of complex systems and domains by splitting in smaller parts and composing descriptions of the whole domain from smaller independent components. Modularity issues are also essential in the implementation of systems. Model generators, model expanders, answer set programming systems, constraint systems, SMT solvers are developed for increasingly rich languages and include more and more different technologies from SAT, CP and ASP to handle specific language constructs. Integrating these technologies in one system and/or tuning the solver to use the appropriate technology for a set of expressions in a particular application is a challenging problem. So far, these aspects have been given only limited attention. Not much work on this topic has been published. The goal of this special session is to begin to improve this situation. PROCEEDINGS The workshop proceedings will be informal and electronic. SUBMISSIONS We welcome submissions of three kinds: * Regular technical papers, presenting previously unpublished research; * Short papers (system descriptions; work in progress; position papers); * Presentation-only papers, presenting research that is highly relevant but which will have previously been presented elsewhere. (Authors may elect to have such papers excluded from the proceedings.) At the time of submission, authors are requested to clearly specify whether their submission is new or previously published, by adding (New Work) or (Presentation Only) as an additional line in the paper title. Each submissions will be reviewed by at least two members of the program committee. Submissions may be in any common format, such as LNCS, AAAI and Easychair. We prefer that submissions not exceed the equivalent of 15 LNCS pages (5 pages for short papers). Authors should submit a PDF file via Easychair, at http://www.easychair.org/conferences/?conf=lash2012 IMPORTANT DATES Paper Submission: 28 May, 2012 Notification of Acceptance: 28 Jun, 2012 Camera Ready Deadline: 6 August, 2012 Workshop: 27 August CONFERENCE ORGANIZERS Marc Denecker, KU Leuven, Belgium Tomi Janhunen, Aalto University, Finland PROGRAM COMMITTEE Armin Biere, Johannes Kepler University Koen Claessen, Chalmers University of Technology Adnan Darwiche, University of California, Los Angeles Leonardo de Moura, Microsoft Thomas Eiter, Vienna University of Technology Wolfgang Faber, University of Calabria Alan Frisch, University of York Enrico Giunchiglia, University of Genova Daniel LeBerre, Universite d'Artois Ines Lynce, INESC-ID Lisboa Pierre Marquis, Universite d'Artois Tony Mancini, Sapienza Universita di Roma David Mitchell, Simon Fraser University Albert Oliveras Technical University of Catalonia Barry O'Sullivan, University College Cork Jussi Rintanen, Australian National University Torsten Schaub, Universitat Potsdam Eugenia Ternovska, Simon Fraser University Mirek Truszczynski, University of Kentucky Emina Torlak, LogicBlox Victor Marek, University of Kentucky Toby Walsh, University of New South Wales Workshop Co-Chairs Marc Denecker KU Leuven Leuven Belgium tel. : 32 (0)16/327557 fax : 32 (0)16/327996 mail : Marc.Denecker at cs.kuleuven.ac.be http://www.cs.kuleuven.ac.be/~marcd/ Tomi Janhunen Aalto University Helsinki Finland tel: +358 9 470 23255 Fax: +358 9 470 23369 mail : Tomi.Janhunen at aalto.fi http://users.ics.tkk.fi/ttj/ From MFisher at liverpool.ac.uk Wed Mar 7 09:58:07 2012 From: MFisher at liverpool.ac.uk (Michael Fisher) Date: Wed, 07 Mar 2012 08:58:07 +0000 Subject: CFP: 13th Workshop on Computational Logic in Multi-Agent Systems (CLIMA) Message-ID: <4F57231F.6060309@liverpool.ac.uk> CALL FOR PAPERS --------------- 13th International Workshop on Computational Logic in Multi-Agent Systems [CLIMA XIII] with special sessions on: * Logics for Multi-Agent Programming * Logics for Agreement Technologies http://www.csc.liv.ac.uk/~michael/clima2012.html Affiliated with ECAI 2012 Montpellier, France, August 27-28, 2012 Submission deadline: 28th May Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous, very successful, editions, the 13th CLIMA will be affiliated with ECAI 2012 and will take place in Montpellier, France, on the 27th and 28th of August 2012. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions: * Logics for Multi-Agent Programming * Logics for Agreement Technologies We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://www.csc.liv.ac.uk/~michael/clima2012.html Important dates: * Submission: 28th May * Notification: 16th June * Camera Ready: 23rd June CLIMA XII Chairs: * Michael Fisher, University of Liverpool, UK * Leon van der Torre, University of Luxembourg, Luxembourg Special Session Organisers: Logics for Multi-Agent Programming * Mehdi Dastani, University of Utrecht, Netherlands Logics for Agreement Technologies * Guido Governatori, NICTA, Australia Please send all enquiries about CLIMA XIII to clima13 at easychair.org -- --------------------------------------------------------------- | Michael Fisher http://www.csc.liv.ac.uk/~michael | | Dept. of Computer Science MFisher at liverpool.ac.uk | | University of Liverpool tel: (+44) 151 795 4262 | | Liverpool L69 3BX, U.K. fax: (+44) 151 795 4235 | --------------------------------------------------------------- From fink at kr.tuwien.ac.at Wed Mar 7 11:34:31 2012 From: fink at kr.tuwien.ac.at (Michael Fink) Date: Wed, 7 Mar 2012 11:34:31 +0100 (CET) Subject: CFP ARCOE-12@ECAI Workshop: Acquisition, Representation and Reasoning with Contextualized Knowledge Message-ID: <46196.128.130.205.47.1331116471.squirrel@www.kr.tuwien.ac.at> === CALL FOR PAPERS === Acquisition, Representation and Reasoning with Contextualized Knowledge, 4th International Workshop (ARCOE-12) http://www.arcoe.org/2012 held in collocation with 20th European Conference on Artificial Intelligence (ECAI-12) Montpellier, France -- Important Dates -- Submission deadline: 28 May 2012 Notification: 28 June 2012 Camera ready: 15 July 2012 Early registration: [TBA] Late registration: [TBA] Workshop dates: 27-28 August 2012 -- Description of the workshop -- Dealing with context is one of the most interesting and most important problems faced in Artificial Intelligence (AI). Traditional AI applications often require to model, store, retrieve and reason about knowledge that holds within certain circumstances - the context. Without considering this contextual information, reasoning can easily run to problems such as: inconsistency, when considering knowledge in the wrong context; inefficiency, by considering knowledge irrelevant for a certain context; incompleteness, since an inference may depend on knowledge assumed in the context and not explicitly stated. Contextual information is also relevant in many tasks in knowledge representation and reasoning such as common-sense reasoning, dealing with inconsistency, ambiguity, and uncertainty, evolution, etc. In recent years, research in contextual knowledge representation and reasoning became more relevant in the areas of Semantic Web, Linked Open Data, and Ambient Intelligence, where knowledge is not considered a monolithic and static asset, but it is distributed in a network of interconnected heterogeneous and evolving knowledge resources. The ARCOE workshop aims to provide a dedicated forum for researchers interested in these topics to discuss recent developments, important open issues, and future directions. -- Topics -- ARCOE-12 welcomes submissions on the topics below as well as on their intersection and other topics related to acquisition, representation, reasoning with context and its applications. Philosophical and theoretical foundations of context: 1. What is context and how should it be represented. 2. Relevant types of contextual information and their properties. 3. Combining contextual information with object information for reasoning. 4. Context and common-sense reasoning. 5. Exploiting context in inconsistency and uncertainty handling, defeasible reasoning and argumentation. 6. Contextual logic programming. 7. Updating contextual knowledge and context-aware belief revision. 8. Frameworks for formalizing context and context-aware knowledge representation. Context modeling and contextual knowledge engineering: 1. Modeling of user's/agent's context. 2. Context driven organization of knowledge and modeling. 3. Ontologies for context modeling. 4. Context-aware modeling tools and methodology. 5. Comparisons to context-unaware modeling techniques. Effective reasoning with context: 1. Effective context-aware reasoning algorithms. 2. Distributed reasoning with context. 3. Context-driven heuristics in classical reasoning systems. 4. Reasoning under uncertainty and inconsitency. 5. Defeasible reasoning. 4. Hybrid formalisms for reasoning with context, including sub-symbolic contexts Applications of context in areas such as: 1. Agent communication and coordination. 2. Semantic Web and Linked Open Data. 3. Knowledge modularization. 4. Ontology matching. 5. Ontology fault diagnosis and repair. 6. Ontology evolution and versioning. 7. Information integration. 8. Ambient intelligence and pervasive computing. 9. Exploiting context in Web 2.0 applications, e-commerce, and e-learning. -- Submission Requirements -- Papers of two types can be submitted. Regular papers are intended for research reports and surveys. ARCOE also welcomes reports on significant work in progress which has already achieved some interesting partial results, as well as papers recently submitted or published elsewhere as long as their topic is in line with the workshop. Regular papers should not exceed 12 pages in length including references. Position papers are intended for presentation of interesting new open issues and challenges, and opinions on the status of the field. Position papers are limited to 6 pages including references. All apers must be formatted using the Springer LNCS style: http://www.springer.com/comp/lncs/Authors.html and submitted in PDF format via EasyChair using: https://www.easychair.org/conferences/?conf=arcoe12 The distinction during the selection-phase will be based on 1) Relevance, significance and quality of the submission; 2) The contribution's potential to foster cross-pollination and discussions on ARCOE main themes during the event. Accepted papers will be presented either as oral presentations or as posters, depending on the choice of the program committee. However, all accepted papers will be included in the Working Notes in their full form and will be accessible via the Internet. -- Workshop Co-Chairs -- * Michael Fink, Vienna University of Technology * Martin Homola (primary contact), Comenius University, Bratislava * Alessandra Mileo, DERI, National University of Ireland * Ivan Jose Varzinczak, Centre for Artificial Intelligence Research, South Africa -- Steering Committee -- * Alan Bundy, University of Edinburgh * Thomas Eiter, Vienna University of Technology * Luciano Serafini, Fondazione Bruno Kessler, Trento -- Resources -- ARCOE-12 website: http://www.arcoe.org/2012/ EasyChair submission site: https://www.easychair.org/conferences/?conf=arcoe12 ARCOE workshop series: http://www.arcoe.org/ ECAI-12 website: http://www2.lirmm.fr/ecai2012/ Enquiries about the ARCOE workshop: arcoe [at] arcoe [dot] org From aamas2012_publicity at infoscience.otago.ac.nz Fri Mar 9 04:42:35 2012 From: aamas2012_publicity at infoscience.otago.ac.nz (AAMAS 2012 Publicity Chair) Date: Fri, 9 Mar 2012 16:42:35 +1300 (NZDT) Subject: AAMAS 2012 Call for Participation (early registration closes on 16 April) In-Reply-To: Message-ID: CALL FOR PARTICIPATION 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) Valencia, Spain June 4-8, 2012 http://aamas2012.upv.es Facebook: http://www.facebook.com/AAMAS2012 Twitter: http://www.twitter.com/aamas2012 Registration is now open for AAMAS 2012 at http://aamas2012.upv.es/. EARLY REGISTRATION DEADLINE: 16 April For online registration and information about accommodation options, see the "Attending AAMAS" section of the Web site. ** ABOUT AAMAS ** AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS 2012 is the eleventh conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Universitat Politècnica de València in Valencia, Spain, June 4-8, 2012. The full paper acceptance rate for AAMAS 2012 was 20%. See http://www.ifaamas.org for more information on the AAMAS conference series. ** RELATED EVENTS ** AAMAS 2012 will be co-located with the 13th ACM Conference on Electronic Commerce (EC'12): http://www.sigecom.org/ec12/. The following events will occur in Europe soon after AAMAS 2012: * KR2012: 13th International Conference on Principles of Knowledge Representation and Reasoning, June 10-14, Rome, Italy. http://kr.org/KR2012/ * ECIS2012: 20th European Conference on Information Systems, June 10-13, Barcelona, Spain. http://www.ecis2012.eu/ * LOFT 2012: 10th Conference on Logic and the Foundations of Game and Decision Theory, June 18-20, Sevilla, Spain. http://personal.us.es/hvd/loft/ From esslli2012stus at loriweb.org Fri Mar 9 10:53:20 2012 From: esslli2012stus at loriweb.org (ESSLLI 2012 Student Session) Date: Fri, 09 Mar 2012 10:53:20 +0100 Subject: Final CfP: ESSLLI 2012 Student Session In-Reply-To: <4EE9E448.8080204@loriweb.org> References: <4EE9E448.8080204@loriweb.org> Message-ID: <4F59D310.4020707@loriweb.org> ** APOLOGIES FOR MULTIPLE POSTINGS** *** PLEASE DISTRIBUTE TO STUDENTS *** Final Call for Papers *ESSLLI 2012 STUDENT SESSION* Held during The 24th European Summer School in Logic, Language and Information Opole, Poland, August 6-17, 2012 Deadline for submissions: March 30, 2012 http://loriweb.org/ESSLLI2012StuS/ *ABOUT:* The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012. We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the student session proceedings. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. ESSLLI 2012 will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation. Consult the main ESSLLI website (link below) for further information. *SPRINGER PRIZES FOR BEST PAPER AND BEST POSTER* In 2012, Springer has again continued its generous support for the Student Session by offering EUR 1000 in prizes. These include a a EUR 500 for Best Paper and EUR 500 for Best Poster. The prizes are awarded best on the reviews of the submission as well as the oral presentation. *INSTRUCTIONS FOR AUTHORS:* Authors must be students, i.e., may not have received the Ph.D. degree before August 2012. All submissions must be in PDF format and be submitted to the conference EasyChair website. Submissions may be singly or jointly authored. No one may submit more than one singly and one jointly authored paper. There are two types of papers. Long papers of up to 8 pages will be considered for both oral presentation and the poster session. Short papers of up to 4 pages will be considered as submissions for the poster session. Submissions must be anonymous, without any identifying information, and must be must be received by *March 30, 2012*. More detailed guidelines regarding submission can be found on the Student Session website: http://loriweb.org/ESSLLI2012StuS/ Links to previous years' proceedings are also available there. Please direct inquiries about submission procedures or other matters relating to the Student Session to esslli2012stus at loriweb.org. For general inquiries about ESSLLI 2012, please consult the main ESSLLI 2012 page, http://esslli2012.pl/. Kind regards, The ESSLLI 2012 Students Session Organization Committee, Rasmus K. Rendsvig (Roskilde University) (chair) Anders Johannsen (University of Copenhagen) Dominik Klein (Tilburg University) Margot Colinet (Université de Paris 7) Matthijs Westera (Universiteit van Amsterdam) Maxim Haddad (University of Osnabrück) Niels Beuck (Hamburg University) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mascardi at disi.unige.it Mon Mar 12 15:10:50 2012 From: mascardi at disi.unige.it (Viviana Mascardi) Date: Mon, 12 Mar 2012 15:10:50 +0100 Subject: CELEBRATING 10th EDITION OF DALT AND THE ALAN TURING YEAR Message-ID: <4F5E03EA.7070702@disi.unige.it> [Please accept our apologies if you receive multiple postings.] !!!! CELEBRATING 10th EDITION OF DALT AND THE ALAN TURING YEAR !!!! !!! Short position papers submission deadline: 30 March 2012 !!! 10th International Workshop on Declarative Agent Languages and Technologies (DALT 2012) 4 June 2012 Valencia, Spain (held in conjunction with AAMAS 2012) URL:http://www.di.unito.it/~baldoni/DALT-2012/ ---------------------------------------------------------------------- CALL FOR SHORT POSITION PAPERS ---------------------------------------------------------------------- To celebrate its 10th edition and the Alan Turing year, DALT will open to short position papers, to return to its grassroots: a workshop where much discussion took place. To encourage and focus these discussions, we solicit short position papers which might i) present a new line of research; ii) criticize (the lack of) research on topic X; iii) present a problem; or iv) make a case for more research on a particular topic Short position papers will be up to four pages in length, formatted using the LNCS style, and will be subject to a light-weight review process which will focus primarily on their ability to provoke new research and discussion, rather than on their technical contribution. Short position papers will be included the workshop proceedings distributed at AAMAS. This position papers track will facilitate new links between authors. The authors of those position papers that will turn out to stimulate more the discussion during the workshop will be invited to submit a full version for the post-proceedings volume (at that stage, papers will be re-refereed). ---------------------------------------------------------------------- TOPICS OF INTEREST ---------------------------------------------------------------------- DALT topics of interest include, but are not limited to: DALT 2012 special topic: declarative approaches for agent-based social computing * models of social interactions among agents * models of buiness interactions among agents * models of trust, commitments, and reputation for agents * declarative description of contracts and negotiation policies * social environments based on declarative technologies * Semantic Web-aware declarative agents General themes: * specification of agents and multi-agent systems * declarative approaches to engineering agent-based systems Formal techniques: * (constraint) logic programming approaches to agent systems * distributed constraint satisfaction * modal and epistemic logics for agent modeling * game theory and mechanism design for multi-agent systems * semantics of agent communication * model checking agents and multi-agent systems * agent communication and coordination languages * protocol specification, verification, and reasoning Declarative models: * declarative models of agent beliefs, goals and capabilities * declarative models of bounded rationality * declarative approaches for agent-based grid computing * declarative paradigms for the combination of heterogeneous agents * declarative approaches to organizations and electronic institutions * agent-inspired declarative approaches to Web services and service-oriented computing Applications of declarative techniques to: * multi-agent systems for service-oriented computing * agent-based grid computing * security and trust in multi-agent systems * e-health, e-commerce, e-learning, sociotechnical systems, social networks, virtual organizations. Evaluation of declarative approaches: * experimental analysis of declarative agent technologies * industrial experiences with declarative agent technologies Please refer to the workshop site,http://www.di.unito.it/~baldoni/DALT-2012/, for more details. ---------------------------------------------------------------------- SHORT POSITION PAPERS FORMAT AND DEADLINE ---------------------------------------------------------------------- Short position papers should be up to 4 pages long, formatted according to the LNCS style. Deadline: March, 30th Notification: April, 6th Camera ready: April, 10th Papers should be submitted via the easychair site, https://www.easychair.org/conferences/?conf=dalt2012 ---------------------------------------------------------------------- WORKSHOP ORGANISERS ---------------------------------------------------------------------- Matteo Baldoni (University of Torino, Italy) Louise Dennis (University of Liverpool, UK) Viviana Mascardi (University of Genova, Italy) Wamberto Vasconcelos (University of Aberdeen, UK) From leon.vandertorre at uni.lu Tue Mar 13 13:00:24 2012 From: leon.vandertorre at uni.lu (Leon van der Torre) Date: Tue, 13 Mar 2012 13:00:24 +0100 Subject: CLIMA XIII @ ECAI: First Call for Papers Message-ID: <4F5F36D8.8040903@uni.lu> CALL FOR PAPERS --------------- 13th International Workshop on Computational Logic in Multi-Agent Systems [CLIMA XIII] with special sessions on: * Logics for Multi-Agent Programming * Logics for Agreement Technologies http://www.csc.liv.ac.uk/~michael/clima2012.html Affiliated with ECAI 2012 Montpellier, France, August 27-28, 2012 Submission deadline: 28th May Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous, very successful, editions, the 13th CLIMA will be affiliated with ECAI 2012 and will take place in Montpellier, France, on the 27th and 28th of August 2012. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions: * Logics for Multi-Agent Programming * Logics for Agreement Technologies We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available athttp://www.csc.liv.ac.uk/~michael/clima2012.html Important dates: * Submission: 28th May * Notification: 16th June * Camera Ready: 23rd June CLIMA XII Chairs: * Michael Fisher, University of Liverpool, UK * Leon van der Torre, University of Luxembourg, Luxembourg Special Session Organisers: Logics for Multi-Agent Programming * Mehdi Dastani, University of Utrecht, Netherlands Logics for Agreement Technologies * Guido Governatori, NICTA, Australia Please send all enquiries about CLIMA XIII toclima13 at easychair.org From H.vandenHeuvel at let.ru.nl Wed Mar 14 09:55:35 2012 From: H.vandenHeuvel at let.ru.nl (Henk van den Heuvel) Date: Wed, 14 Mar 2012 09:55:35 +0100 Subject: Job offer in INSPIRE In-Reply-To: References: Message-ID: *PhD Student 'Increasing Robustness of Speech Recognition' (1,0 fte)* *Faculty of Arts* *Vacancy number: 23.02.12* *Closing date: 1 April 2012* *Responsibilities* As a PhD student you will participate in the FP7 Marie Curie Initial Training Network Investigating Speech Processing In Realistic Environments (INSPIRE). This network provides research opportunities for 13 PhD students and 3 postdocs. You will become a member of an international team of researchers whose aim is to gain a better understanding of how listeners recognize speech, even under non-ideal circumstances. You will contribute to urgently needed solutions that help alleviate the serious communication problems that arise, especially for older and hearing-impaired persons, when different combinations of 'adverse' conditions affect the speech processing system. As a PhD student you will conduct research as part of a project called ’Increasing robustness of speech recognition by using multiple signal representations’. Speech processing in the human brain presumably involves competition between multiple, intermediate signal representations. The redundancy of these different representations are assumed to help improve the robustness of recognition. In some cases, however, they may lead to conflicting interpretations resulting in intelligibility problems. The goal of this PhD project is to investigate to what extent human recognition errors with regard to speech in ’adverse’ conditions can be replicated by machines that were trained on multiple input representations which are partially redundant. * * *Work environment* The project will be carried out at the Centre for Language and Speech Technology (CLST). CLST is a research unit within the Faculty of Arts of Radboud University Nijmegen and hosts a large international group of senior researchers and PhD students who conduct research at the frontier of science and develop innovative applications. * * *What we expect from you* You should: - hold a Master's degree in engineering or science; - have a strong background in machine learning (experience with dynamic Bayesian networks would be an advantage), mathematical and/or statistical modelling, and signal processing; - have excellent programming skills; - be willing to spend several months at the Technical University of Denmark. Prior exposure to courses in linguistics or speech- or hearing-related fields would be an advantage. Furthermore, you should comply with the rules set forward by the FP7 Marie Curie ITNs, i.e. you should: - not have resided of performed your main research activity in the Netherlands for more than 12 months in the last three years; - be willing to work in at least one other country in the INSPIRE network; - have less than 4 years of research experience since you obtained your Master’s degree, and not hold a PhD. * * *What we have to offer* We offer you: - employment: 1,0 fte; - in addition to the salary: an 8% holiday allowance and an 8.3% end-of-year bonus; - the starting salary is €2,042 per month on a full-time basis; the salary will increase to €2,492 per month in the third year; - in addition to the salary, you will receive travel and training allowances on the basis of generous Marie Curie ITN provisions; - duration of the contract: 18 months with the possibility of extension by another 18 months. Are you interested in our excellent employment conditions( http://www.ru.nl/newstaff/working_at_radboud/conditions_of/)? The Radboud University is an equal opportunity employer. Female researchers are strongly encouraged to apply for this vacancy. * * *Would you like to know more?* Further information on: Investigating Speech Processing In Realistic Environments ( http://www.ru.nl/clst/projects/speech/inspire/) Dr. Bert Cranen, assistant professor Speech science Telephone: +31 24 3612904 E-mail: B.Cranen at let.ru.nl * * *Applications* Are you interested? Please include with your application: - a CV; - a 2-page description of your research interests explaining why the INSPIRE goals appeal to you, how the INSPIRE team may benefit from your participation, and your career perspectives as expected from INSPIRE; - university transcripts; - names and email addresses of two potential referees (or alternatively letters of recommendation). It is Radboud University Nijmegen's policy to only accept applications by e-mail. Please send your application, *stating vacancy number 23.02.12*, to vacatures at let.ru.nl, for the attention of drs. M.J.M. van Nijnatten, before 1 April 2012. *No commercial propositions please.* * * -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calimeri at mat.unical.it Fri Mar 16 10:15:07 2012 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Fri, 16 Mar 2012 10:15:07 +0100 Subject: CFP: 6th International Conference on Web Reasoning and Rule Systems Message-ID: [Apologies for cross-postings] CALL FOR PAPERS RR 2012 The 6th International Conference on Web Reasoning and Rule Systems Vienna, Austria, 10-12 September 2012 http://www.rr-conference.org/RR2012/ The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. == Highlights in 2012 == In addition to regular papers, RR 2012 solicits the submission of TECHNICAL COMMUNICATIONS (TCs) that report about some interesting recent work, preliminary result, or inspiring viewpoint. Selected TCs will be invited for a full presentation like regular papers. RR 2012 is co-located with a number of interesting events: - 8th Reasoning Web Summer School 4-8 September, http://reasoningweb.org/2012/ - COMMA 2012: 4th Int. Conf. on Computational Models of Argument 10-12 September, http://www.kr.tuwien.ac.at/events/comma2012/ - DEXA 2012: 23rd Int. Conf. on Database and Expert Systems Applications 03-07 September, http://www.dexa.org/ - 2nd Workshop "Datalog 2.0" 11-13 September, http://www.dbai.tuwien.ac.at/event/datalog-2.0/ The Reasoning Web Summer School is a great opportunity particularly for young researchers to combine with attendance of the conference. Submissions by summer school participants are particularly encouraged. == Topics == RR welcomes original research from all areas of Web Reasoning. Topics of particular interest are: - Semantic Web, Rule and Ontology Languages, and related logics - Reasoning, Querying, Searching and Optimization - Incompleteness, Inconsistency and Uncertainty - Non-monotonic, Commonsense, and Closed-World Reasoning for the Web - Dynamic information, Stream Reasoning and Complex Event Processing - Decision Making, Planning, and Intelligent Agents - Reasoning, Machine Learning, Knowledge Extraction and IR Technologies - Large-scale data management and reasoning on the Web of Data - Data Integration, Dataspaces and Ontology-Based Data Access - Non-Standard Reasoning - Algorithms for distributed, parallelized, and scalable reasoning - System Descriptions and Experimentation - Applications and Experience Papers == Submissions == The conference proceedings will be published by Springer within the Lecture Notes in Computer Science (LNCS) series. Submissions must be prepared in Springer's LaTeX style llncs (http://bit.ly/oPRW8y). There are two submission formats: - Full papers (up to 15 pages) Original research works in the above areas - Technical Communications (up to 4 pages) Results and ideas with interest to the RR audience, including reports about recent own publications, position papers, and presentations of preliminary results All accepted works will be included in the proceedings, with Technical Communications clearly marked as such. All full papers and selected Technical Communications will be invited to give a talk at the conference. All accepted works will have the opportunity to present a poster. Submissions can be made in EasyChair: http://www.easychair.org/conferences/?conf=rr2012 == Important Dates == Abstract submission: May 14, 2012 Full papers submission: May 23, 2012 Notification of acceptance: June 22, 2012 == Invited Speakers == - Gerhard Brewka, University of Leipzig - Tommaso Di Noia, Politecnico di Bari * additional invited speakers will be announced soon == Program Committee == - Darko Anicic, Karlsruhe Institute of Technology - Jean-François Baget, LIRMM Montpellier - Chitta Baral, Arizona State University - Salem Benferhat, University of Artois - Fernando Bobillo, University of Zaragoza - Gerhard Brewka, University of Leipzig - François Bry, Ludwig-Maximilians University Munich - Diego Calvanese, Free University of Bozen-Bolzano - Vinay Chaudhri, SRI International U.S.A. - Kendall Clark, Clark & Parsia LLC Washington DC - Tommaso Di Noia, Technical University of Bari - Francesco M Donini, University of Tuscia - Thomas Eiter, TU Vienna - Michael Fink, TU Vienna - Birte Glimm, Ulm University - Claudio Gutierrez, Universidad of Chile - Andreas Harth, Karlsruhe Institute of Technology - Aidan Hogan, National University of Ireland Galway - Giovambattista Ianni, University of Calabria - Yevgeny Kazakov, University of Oxford - Michael Kifer, Stony Brook University - Clemens Kupke, University of Oxford - Georg Lausen, University of Freiburg - Domenico Lembo, Unversity of Rome "La Sapienza" - Francesca Alessandra Lisi, University of Bari - Thomas Lukasiewicz, University of Oxford - Wolfgang May, University of Göttingen - Alessandra Mileo, National University of Ireland Galway - Ralf Moeller, Hamburg University of Technology - Marie-Laure Mugnier, University of Montpellier II - Magdalena Ortiz, TU Vienna - Jeff Z. Pan, University of Aberdeen - Rafael Peñaloza, TU Dresden - Axel Polleres, Siemens AG Österreich - Andrea Pugliese, University of Calabria - Guilin Qi, Nanjing University China - Riccardo Rosati, Unversity of Rome "La Sapienza" - Sebastian Rudolph, Karlsruhe Institute of Technology - Steven Schockaert, Cardiff University - Mantas Simkus, TU Vienna - Sergio Tessaris, Free University of Bozen - Andrei Voronkov, University of Manchester == Organization == General chair: - Pascal Hitzler, Wright State University Program chairs: - Markus Krötzsch, University of Oxford - Umberto Straccia, ISTI-CNR Local Chair: - Thomas Eiter, TU Vienna Doctoral Consortium Chair: - Alessandra Mileo, National University of Ireland Galway Sponsorship Chair: - Marco Maratea, University of Genova Publicity Chair: - Francesco Calimeri, University of Calabria From cp2012a at gmail.com Sun Mar 18 20:55:41 2012 From: cp2012a at gmail.com (Association ConstraintProgramming) Date: Sun, 18 Mar 2012 19:55:41 +0000 Subject: 2nd CFP: 18th International Conference on Principles & Practice of Constraint Programming Message-ID: With apologies for multiple copies: Call for Papers CP 2012 Eighteenth International Conference on Principles and Practice of Constraint Programming October 8-12, 2012 Quebec City, Canada Deadline for abstract submission: April 19, 2012 Deadline for Paper Submissions: April 23, 2012 http://www.cp2012.org/ -------- SCOPE -------- The CP conference is the annual international conference on constraint programming. It is concerned with all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies. CP 2012 includes a technical program, where presentations of research papers as well as invited talks aim at describing the best results and techniques in the state-of-the-art of constraint programming. One day of Workshops precedes the conference. Tutorials and the Doctoral Program will form part of the main conference. Papers are solicited from all disciplines concerned with constraints. ------------------ APPLICATION TRACK ------------------ Reports on successful applications of constraint technology are particularly encouraged and are subject to special Applications track acceptance criteria. ------------------------ MULTIDISCIPLINARY TRACK ------------------------ Beside the application track, this year, for the first time a track on "Multidisciplinary papers: cross-cutting methodology and challenging applications" welcomes papers that link CP technology with other techniques like (this is not an exhaustive list) machine learning, data mining, game theory, simulation, knowledge compilation, visualization, control theory and robotics. In addition challenging application fields with a high social impact are especially welcome: some examples (not an exhaustive list) are CP for life sciences, CP for sustainability, CP for energy efficiency, CP for the web, CP for social sciences, CP for finance, CP for verification. ------------------------ CONFERENCE PROCEEDINGS ------------------------ The conference proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series. Full paper submissions are limited to 15 LNCS pages, while Short paper submissions are limited to 8 pages. Short papers will be reviewed to the same standards of quality as full papers, but will naturally contain less quantity of new material. Short papers will have the same status as long papers and be eligible for the best paper prize. ------------------------------------ POST-CONFERENCE JOURNAL PUBLICATION ------------------------------------ Selected papers submitted to the main conference and application track which receive excellent reviews from the referees will be invited to submit a revised paper for fast track review in the Constraints journal. Selected papers submitted to the Multidisciplinary track, which receive excellent reviews from the referees, and which fit the scope of the Artificial Intelligence journal, will be invited to submit a revised paper for fast track review in the AI journal. Further information is provided on the conference webpage. ----------------- IMPORTANT DATES ----------------- Deadline for abstract submission: April 19, 2012 Deadline for Paper Submissions: April 23, 2012 Provisional Reviews to authors: May 25, 2012 Authors feedback due: May 27, 2012 Notification of Acceptance: June 3, 2012 Camera Ready Manuscript due: July 1, 2012 -------------- ORGANIZATION -------------- CONFERENCE CHAIRS Gilles Pesant Claude-Guy Quimper PROGRAM CHAIR Michela Milano DOCTORAL PROGRAM CHAIRS Michele Lombardi Stanislav Zivny WORKSHOP CHAIR Meinolf Sellmann PUBLICITY CHAIRS Ian Miguel Thierry Moisan SPONSORSHIP CHAIR Louis-Martin Rousseau SENIOR PROGRAM COMMITTEE Christian Bessiere David Cohen Amnon Meisels Pierre Flener Alan Frisch Enrico Giunchiglia Carla Gomes John Hooker Laurent Michel Jean-Charles Regin Thomas Schiex Peter Stuckey Pascal Van Hentenryck Mark Wallace Toby Walsh MULTI-DISCIPLINARY TRACK CHAIR Barry O'Sullivan APPLICATION TRACK CHAIR Helmut Simonis -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From behrens at in.tu-clausthal.de Tue Mar 20 15:30:34 2012 From: behrens at in.tu-clausthal.de (Tristan Behrens) Date: Tue, 20 Mar 2012 15:30:34 +0100 Subject: Multi-Agent Programming Contest (MAPC 2012) -- CfP Message-ID: <4F68948A.1010404@in.tu-clausthal.de> === CALL FOR PARTICIPATION =============== Multi-Agent Programming Contest (MAPC 2012) http://multiagentcontest.org/2012 ======================================== 1. AIMS AND SCOPE This competition is an attempt to stimulate research in the area of multi-agent system development and programming by 1. identifying key problems, 2. collecting suitable benchmarks, and 3. gathering test cases which require and enforce coordinated action that can serve as milestones for testing multi-agent programming languages, platforms and tools. We also expect that participating at the contest helps to debug existing systems and to identify their weak and strong aspects. The performance of a particular system will be determined in a series of games where the systems compete against each other. While winning the competition is not the main point, we hope it will shed light on the applicability of certain frameworks to particular domains. 2. HISTORY The Multi-Agent Programming Contest was initiated in 2005 and since then it has passed through three distinct phases. The first phase began in 2005 with the "food-gatherers"-scenario, where a pre-specified multi-agent system had to be implemented. These MASs were later examined in order to determine the winner. From 2006 - 2007 we ran the "goldminers"-scenario. This time we provided the environment by means of an online-architecture, and automatically determined the winner. Then from 2008 - 2010 we ran the "cows and cowboys"-scenario. Again on the same online-architecture, but this time with a slightly changed objective. 3. THE FOURTH PHASE: "AGENTS ON MARS" In 2011 we began the fourth phase with the definition of a new scenario: "Agents on Mars". The goal is to implement a team of cooperating agents with different roles in order to occupy zones on planet Mars. The challenge of the scenario is its increased complexity, that is that we have defined 5 roles of agents with different properties and capabilities. In this year's iteration we will work with the 2011 scenario again. 4. ENROLLING We would like to invite potential participants to join the MAPC 2012 list. To subscribe, send an e-mail to agentcontest2012-subscribe [at] in.tu-clausthal.de with the subject "subscribe". The confirmation request and welcome message will be sent to you shortly afterwards. Please follow the instructions in the automatic mailing list replies. And please do not hesitate to say hello on the mailing list. 5. PARTICIPATION REQUIREMENTS The participation in this contest consists of these parts: 1. Declaring the intent to participate by registering to the mailing list. 2. Submission of a short team description. Thus registering to the contest officially. 3. Participation in the contest tournament by taking part on the final tournament. 4. Submitting the source-code of your application right after the tournament. 5. Submission of a paper after the tournament. 6. ROUGH TIMELINE Early April: release of the first software package. Until June: preparing the final software package, that is fixing bugs, adding useful functionality, and fine-tuning the scenario. June: release of the final software package. August: registration phase. August: testing phase. In which you are invited to test your agents using our servers. End of August: qualification phase. In which you have to prove that your agents' connections to our servers are stable and reliable. Early September: tournament. After tournament: publications. 7. PUBLICATIONS After the tournament we invite every participant to submit a paper about their team. The organizers will select a couple of high-quality papers and publish them in the ProMAS 2012 post-proceedings. The others will be published in the Department of Informatics, Clausthal University of Technology, Technical Reports Series. 8. PRICE The winner of the contest will be awarded with a voucher for 500 EUR worth in books, thankfully provided by Springer Verlag. Requirements are the submission of a paper and the sourcecodes of the agents. 9. PEOPLE Organizers: Tristan Behrens (Clausthal University of Technology) Jürgen Dix (Clausthal University of Technology) Jomi Hübner (Federal University of Santa Catarina) Michael Köster (Clausthal University of Technology) Federico Schlesinger (Clausthal University of Technology) Steering Committee: Mehdi Dastani (Utrecht University) Jürgen Dix (Clausthal University of Technology) Peter Novak (Delft University of Technology) From frank.loebe at informatik.uni-leipzig.de Tue Mar 20 18:24:02 2012 From: frank.loebe at informatik.uni-leipzig.de (frank.loebe at informatik.uni-leipzig.de) Date: Tue, 20 Mar 2012 18:24:02 +0100 Subject: CFP: FOIS Workshop on Ontology-Driven Information Systems Engineering (ODISE) Message-ID: <201203201724.q2KHO7P5014805@isun.informatik.uni-leipzig.de> *** CALL FOR PAPERS *** 4th International Workshop on Ontology Driven IS Engineering (ODISE) URL: http://people.brunel.ac.uk/~cssrssc/events/odise2012/ co-located with Formal Ontology in Information Systems (FOIS) 2012 Graz, Austria - 24-27 July 2012 *** Theme *** Ontologies are becoming increasingly popular in the development of information systems. Their use however is mainly limited to either the initial or end phases of the lifecycle, namely business modelling and implementation, and their adoption is normally not characterised by an integrated and coherent end to end approach which systematically discovers the real-world semantics of business requirements, represents such semantics in formal ontologies and subsequently grounds the software design and implementation ontologically. What is also lacking is a sound approach to ontological reuse such that existing ontological patterns be used to drive the discovery of system requirements with the potential to more easily identifying previously developed software components which can be semantically mapped to those ontological patterns. Ontology-Driven Information Systems Engineering (ODISE, pronounced odyssey) concerns the practical and formal application of ontologies to all phases of the software development lifecycle. Contributions in the form of research, research-in-progress papers and practitioner reports are welcome. Of particular interest to the workshop are contributions that emphasise formal ontologies and real world semantics in improving IS engineering and contributing toward developing software that is more adaptive and responsive to changing business requirements. This workshop is aimed at discussing the above themes and to bring together academics, researchers and practitioners (with a background in IS engineering and/or ontology development) in order to develop an agenda of future collaborations that combine research and industrial expertise. Topics for contributions include, but are not limited to: - Ontology as a means to inform the process of gathering requirements. - Ontology as a means to inform architecture development directly from requirements specifications. - Ontology as a means to inform the software design directly from the architecture specification. - Ontology as a means to model the software development process and the software product itself. - Ontologies as run-time artefacts or to inform the design of run-time artefacts. - The role of ontology reasoning in the software engineering process. - The role of ontologies in model-driven development. - Philosophical ontologies (3D vs. 4D) and their role in IS development - Comparison of different ODISE mechanisms (e.g. domain-specific modelling, profiling, etc.). - Comparison of the role of foundational ontologies vs. domain ontologies in ODISE. - Ontology driven development of service software. - Methodological issues for ODISE. - Problems of semantic mismatch between traditional IS modelling paradigms, approaches, techniques, etc. and ontological modelling. - Ontology-based development/modelling/programming languages. *** Important Dates and Submission *** Authors are invited to submit papers via EasyChair. Please check the workshop Web site for further instructions. Deadlines are as follows: 30 April 2012: Submission deadline for ODISE paper 31 May 2012: Notification of acceptance 21 June 2012: Revisions due 24 July 2012: Workshop *** Organisers *** Sergio de Cesare (Brunel University, U.K.) Frederik Gailly (Vrije Universiteit Brussel, Belgium) Grant Holland (Organic Complex Systems Institute, U.S.A.) Mark Lycett (Brunel University, U.K.) Chris Partridge (BORO Solutions and Brunel University, U.K.) *** Programme Committee *** Mutaz al-Debei (University of Jordan, Jordan) Mohammad AL Asswad (Amjad Rass Inc, U.S.A.) Laden Aldin (Oxford Brookes University, U.K.) Matthias Allgaier (SAP, Germany) Awny Alnusair (Indiana University Kokomo, U.S.A.) David Bell (Brunel University, U.K.) Mike Bennett (Hypercube, U.K.) John Breslin (DERI, NUI Galway, Ireland) Bernd Bruegge (Technische Universität München, Germany) Matt-Mouley Bouamrane (University of Glasgow, U.K.) Andrea Cali (Birkbeck College, University of London, U.K.) Steve Counsell (Brunel University, U.K.) Marija Cubric (University of Hertfordshire, U.K.) Sergio España (Universidad Politécnica de Valencia, Spain) Dragan Gasevic (Athabasca University, Canada) Guido Geerts (University of Delaware, U.S.A.) Nicola Guarino (CNR, Italy) Giancarlo Guizzardi (Federal University of Espírito Santo, Brazil) Brian Henderson-Sellers (University of Technology Sydney, Australia) Geert Poels (Ghent University, Belgium) Bahareh Rahmanzadeh Heravi (DERI, NUI Galway, Ireland) Pavel Hruby (Microsoft, Denmark) Thomas Moser (Vienna University of Technology, Austria) Fernando Silva Parreiras (FUMEC University, Brazil) Oscar Pastor (Universidad Politécnica de Valencia, Spain) Károly Tilly (Invarion, Hungary) Karsten Tolle (Frankfurt University, Germany) Matthew West (Information Junction, U.K.) From MFisher at liverpool.ac.uk Wed Mar 21 10:43:27 2012 From: MFisher at liverpool.ac.uk (Michael Fisher) Date: Wed, 21 Mar 2012 09:43:27 +0000 Subject: Chair in Autonomous Systems, University of Liverpool, UK In-Reply-To: <4F69A245.1020404@liverpool.ac.uk> References: <4F69A245.1020404@liverpool.ac.uk> Message-ID: <4F69A2BF.9000500@liverpool.ac.uk> [ Please pass on to anyone appropriate ] Chair in Autonomous Systems School of Electrical Engineering, Electronics and Computer Science Faculty of Science and Engineering University of Liverpool, UK http://www.liv.ac.uk/working/job_vacancies/professorial/A-579173.htm The School of Electrical Engineering, Electronics and Computer Science was formed after a University wide re-organisation. The School is recruiting in a number of areas to strengthen and develop its research portfolio and to support its research led teaching activities. Autonomous Systems is an area that we want to establish a research group that will be recognised for its outstanding and leading international research excellence. We seek a motivated, highly professional candidate to provide academic leadership within the Autonomous Systems area. You will have an excellent track record of research and leadership in the area of autonomous systems and will be expected to establish a research group of the highest international standing. Start-up funds will also be made available. We believe that autonomous systems will grow in importance in the coming decade and we wish to establish a group in this area to meet the challenges that this growth will present. It is expected that the group will enjoy synergies, with existing expertise both throughout the School and with other university departments. We are happy to consider applicants in any area of autonomous systems research. You will enter the School as a senior member of Academic Staff and as such your main duties and responsibilities will be commensurate with that position. Informal enquiries may be made to the Head of School, Professor J W Spencer on 0151 794 4524 or email: joe at liv.ac.uk Job Ref: A-579173/JAC Closing Date: 13 April 2012 For full details, or to request an application pack, visit www.liv.ac.uk/working/job_vacancies/ or e-mail jobs at liv.ac.uk Please quote job ref in all enquiries. -- --------------------------------------------------------------- | Michael Fisher http://www.csc.liv.ac.uk/~michael | | Dept. of Computer Science MFisher at liverpool.ac.uk | | University of Liverpool tel: (+44) 151 795 4262 | | Liverpool L69 3BX, U.K. fax: (+44) 151 795 4235 | --------------------------------------------------------------- From frank.loebe at informatik.uni-leipzig.de Wed Mar 21 19:10:56 2012 From: frank.loebe at informatik.uni-leipzig.de (frank.loebe at informatik.uni-leipzig.de) Date: Wed, 21 Mar 2012 19:10:56 +0100 Subject: FOIS 2012: Call for Participation (incl. list of accepted papers) (Formal Ontology in Information Systems, Jul 24-27, Graz Austria) Message-ID: <201203211811.q2LIB0hT019534@isun.informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ----------------------------------------------------------------- CALL FOR PARTICIPATION [ registration open / accepted papers ] >>> FOIS 2012 <<< Jul 24-27, Graz, Austria -> Approaching DEADLINES: * Student Travel Grant Application Deadline: Apr 08, 2012 * Early Registration Deadline for FOIS 2012: Apr 15, 2012 [1] http://purl.org/icbofois2012 ------------------------------------------------ TITLE AND CO-LOCATION ------------------------------------------------ Seventh International Conference on Formal Ontology in Information Systems (FOIS 2012) July, 24-27, 2012 in Graz, Austria held together with the Third International Conference on Biomedical Ontology (ICBO 2012) ------------------------------------------------ DEFINITION AND SCOPE ------------------------------------------------ Researchers in diverse areas increasingly recognize the need for serious engagement with ontology, understood as a general theory of the types of entities and relations making up their respective domains of enquiry, in providing a solid foundation for their work. Among these areas there are * conceptual modeling, * database design, * software engineering, * organizational modeling, * artificial intelligence, * computational linguistics, * the life sciences, * bioinformatics, * geographic information science, * knowledge engineering, * information retrieval, and * the semantic web. The FOIS conference is designed to provide a meeting point for interdisciplinary research and communication for researchers from all interested disciplines. The conference series [2] began with the first meeting in Trento, Italy in June 1998 followed by meetings in 2001, 2004, 2006, 2008, and 2010. The seventh FOIS conference will be held in Graz, Austria July 24-27, 2012, in conjunction with the third International Conference on Biomedical Ontology (ICBO 2012). For further general information on FOIS, the flagship conference of the International Association for Ontology and its Applications (IAOA) [3], please consult the websites of FOIS 2012 [1] or the conference series website [2]. ------------------------------------------------ IMPORTANT DATES / REGISTRATION OPEN ------------------------------------------------ Registration opened on Mar 21, 2012 [4-6]: [4] http://www.kr-med.org/icbofois2012/registration.htm Registration deadlines and ranges of fees (FOIS only): Student travel grant application: Apr 08, 2012 <-- Early registration (200 - 420 EUR): Apr 15, 2012 <-- Regular registration (300 - 620 EUR): Jun 30, 2012 Late registration: (350 - 720 EUR): Jul 27, 2012 Conference dates: Jul 24-27, 2012 There are special rates for combining FOIS and ICBO. Additional rates apply per tutorial and per workshop. For details, please see [4,6]. ------------------------------------------------ TRAVEL FUNDING ------------------------------------------------ A limited number of travel grants may become available to student authors that are IAOA members. Interested applicants should contact Ludger Jansen [7] for further information until ->> Apr 08, 2012 <<- . Prospective applications are possible (e.g., prior to poster submission). ------------------------------------------------ KEYNOTES ------------------------------------------------ "Observing Formal Ontology from the Street" Steven R. Ray (Carnegie Mellon Silicon Valley, California, USA) "Improving the Coherence of Lexical Resources and Ontologies" Laure Vieu (CNRS-IRIT, Toulouse, France) "A Computational, Meta-Ontological Framework" Edward N. Zalta (Stanford University, California, USA) ------------------------------------------------ ACCEPTED PAPERS ------------------------------------------------ The following conference paper submissions have been accepted for presentation at FOIS 2012: * Ontology of Time in GFO (Ringo Baumann, Frank Loebe and Heinrich Herre) * States, Processes and Events, and the Ontology of Causal Relations (Antony Galton) * Three Semantics for the Core of the Distributed Ontology Language (Till Mossakowski, Christoph Lange and Oliver Kutz) * Probability assignments to dispositions in ontologies (Adrien Barton, Anita Burgun and Régis Duvauferrier) * The mysterious appearance of objects (Roberta Ferrario, Emanuele Bottazzi and Claudio Masolo) * A Method for Evaluating Ontologies: Introducing the BFO-Rigidity Decision Tree Wizard (Ali Seyed) * Does your ontology make a (sense) difference? (Pawel Garbacz) * Axiomatizing Change-of-state Words (Niloofar Montazeri and Jerry R. Hobbs) * Using Partial Automorphisms to Design Process Ontologies (Bahar Aameri) * Toward a Commonsense Theory of Microsociology: Interpersonal Relationships (Jerry Hobbs, Alicia Sagae and Suzanne Wertheim) * Suggestions for Galaxy Workflow Design Using Semantically Annotated Services (Alok Dhamanaskar, Michael Cotterell, Jie Zheng, Jessie Kissinger, Christian Stoeckert and John Miller) * An Ontology for Skill and Competency Management (Maryam Fazel-Zarandi and Mark S. Fox) * A Temporal Extension of the Hayes/ter Horst Entailment Rules and an Alternative to W3C's N-ary Relations (Hans-Ulrich Krieger) * A method for re-engineering a thesaurus into an ontology (Daniel Kless, Ludger Jansen, Jutta Lindenthal and Jens Wiebensohn) * Preliminaries to a formal ontology of failure of engineering artifacts (Luca Del Frate) * The Void in Hydro Ontology (Torsten Hahmann and Boyan Brodaric) * Integrating OntoClean's Notion of Unity and Identity with a Theory of Classes and Types (Ali Seyed) * Maturation of Neuroscience Information Framework: An Ontology Driven Information System for Neuroscience (Fahim Imam, Stephen Larson, Anita Bandrowski, Jeffrey Grethe, Amarnath Gupta and Mary Ann Martone) * Elements for a linguistic ontology in the verbal domain (Tovena Lucia) * Towards A Unified Definition of Function (Riichiro Mizoguchi, Yoshinobu Kitamura and Stefano Borgo) * The Date-Time Vocabulary (Mark Linehan, Ed Barkmeyer and Stan Hendryx) * Interactive Semantic Feedback for Intuitive Ontology Authoring (Ronald Denaux, Dhavalkumar Thakker, Vania Dimitrova and Anthony Cohn) * Ontology Content "At A Glance" (Gökhan Coskun, Mario Rothe and Adrian Paschke) * Towards the Ontological Commitment of a Database Schema on the Geological Domain (Alda Maria Silva and Maria Claudia Cavalcanti) ------------------------------------------------ CONFERENCE ORGANISATION ------------------------------------------------ Conference chair: Michael Gruninger (University of Toronto, Canada) Program chairs: Maureen Donnelly (University at Buffalo, USA) Giancarlo Guizzardi (Fed. Univ. of Espírito Santo, Brazil) Local organization: Stefan Schulz (Graz University, Austria) For the FOIS programme committee, please see the FOIS 2012 website [1]. ------------------------------------------------ OPEN SUBMISSION OPPORTUNITIES ------------------------------------------------ There are still open calls for submissions of * workshop papers [8], * posters (!for young scientists only!) [9], and the * Early Career Symposium [10]. See [11] for the submission dates. ------------------------------------------------ LINKS ------------------------------------------------ [1] http://purl.org/icbofois2012 == http://www.kr-med.org/icbofois2012 FOIS and ICBO 2012 website [2] http://www.formalontology.org/ FOIS conference series [3] http://www.iaoa.org International Association for Ontology and Its Applications [4] http://www.kr-med.org/icbofois2012/registration.htm FOIS/ICBO page with registration information [5] http://de.amiando.com/icbofois2012registration.html FOIS/ICBO online registration [6] http://www.kr-med.org/icbofois2012/graph/rates.png FOIS/ICBO registration rates overview [7] http://www.iph.uni-rostock.de/Vita-Jansen.22.0.html Homepage of Ludger Jansen (with email address) [8] http://www.kr-med.org/icbofois2012/foisws.htm FOIS tutorial and workshop page [9] http://www.kr-med.org/icbofois2012/foispos.htm FOIS call for submissions [10] http://www.kr-med.org/icbofois2012/doccons.htm Joint ICBO/FOIS Early Carreer Symposium [11] http://www.kr-med.org/icbofois2012/dates.htm FOIS/ICBO Important dates page ----------------------------------------------------------------- From pnse12 at informatik.uni-hamburg.de Thu Mar 22 11:09:06 2012 From: pnse12 at informatik.uni-hamburg.de (PNSE12) Date: Thu, 22 Mar 2012 11:09:06 +0100 Subject: CfP: Petri Nets and Software Engineering (PNSE'12) Message-ID: <4F6AFA42.4010900@informatik.uni-hamburg.de> Call for Papers __________________________________________________________________ PNSE'12 International Workshop on Petri Nets and Software Engineering Hamburg, Germany, June 25-26, 2012 a satellite event of Petri Nets 2012 33rd INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY and 12th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN Website: http://www.informatik.uni-hamburg.de/TGI/events/pnse12/ Contact e-mail: pnse12 at informatik.uni-hamburg.de __________________________________________________________________ Important Dates: Deadline for full papers: April 15th, 2012 Deadline for short papers: April 15th, 2012 Notification of paper acceptance: May 13th, 2012 Deadline for posters: May 16th, 2012 Notification of poster acceptance: May 18th, 2012 Deadline for final revisions: June 1st, 2012 Workshop: Monday/Tuesday, June 25/26, 2012 __________________________________________________________________ Scope For the successful realisation of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, validation, and verification. Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability. The workshop PNSE'12 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2012 and ACSD 2012. The use of Petri nets (P/T-nets, coloured Petri nets and extensions) in the formal process of software engineering, covering modelling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above. __________________________________________________________________ Topics We welcome contributions describing original research in topics related to Petri nets in combination with software engineering, addressing open problems or presenting new ideas regarding the relation of Petri nets and software engineering. Furthermore we look for surveys addressing open problems and new applications of Petri nets. Topics of interest include but are not limited to: * Modelling + representation of formal models by intuitive modelling concepts + guidelines for the construction of system models + representative examples + process-, service-, state-, event-, object- and agent-oriented approaches + adaption, integration, and enhancement of concepts from other disciplines + views and abstractions of systems + model-driven architecture + modelling software landscapes + web service-based software development * Validation and Execution + prototyping + simulation, observation, animation + code generation and execution + testing and debugging + efficient implementation * Verification + structural methods (e.g. place invariants, reduction rules) + results for structural subclasses of nets + relations between structure and behaviour + state space based approaches + efficient model checking + assertional and deductive methods (e.g. temporal logics) + process algebraic methods + applications of category theory and linear logic * Application of Petri nets in Software Engineering, in particular the use of Petri nets in the domains of + flexible manufacturing, + logistics, + telecommunication, + workflow management and + embedded systems. * Tools in the fields mentioned above __________________________________________________________________ Submissions The programme committee invites submissions of full contributions (up to 15 pages) or short contributions (up to 5 pages). Ongoing work (up to 2 pages) can also be presented in a special poster session. Please note that for full contributions up to 15 pages are recommended. Papers should be submitted in electronic form (PDF) using the Springer LNCS-format (see http://www.springer.de/comp/lncs/authors.html). Submissions should include title, authors' addresses, E-mail addresses, keywords and an abstract. For your submission in PDF format please use the online conference management system at http://www.easychair.org/conferences/?conf=pnse12 Just create a new account and then upload your paper. (Later you will be able to see your reviews there.) The papers will be peer reviewed by at least three members of the PC. Accepted contributions will be included in the workshop proceedings, which will be available at the workshop and on this website. __________________________________________________________________ Some of the best papers from the workshop will be invited for publication in a volume of the journal sub line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers. Papers from previous instances of this workshop (PNSE'07, PNDS'08, PNSE'09, PNSE'10 and PNSE'11) made it into ToPNoC volumes in the Springer LNCS series (volumes 5100, 5460 and 5800). __________________________________________________________________ Chairs * Michael Duvigneau (University of Hamburg, Germany) * Lawrence Cabac (University of Hamburg, Germany) * Daniel Moldt (University of Hamburg, Germany) __________________________________________________________________ http://www.informatik.uni-hamburg.de/TGI/events/pnse12/ mailto:pnse12 at informatik.uni-hamburg.de -- Please use mailto:pnse12 at informatik.uni-hamburg.de or http://www.informatik.uni-hamburg.de/TGI/events/pnse12/ to contact us with respect to PNSE12 PNSE12 PC-Chairs: Lawrence Cabac, Michael Duvigneau, Daniel Moldt *** Conference: Petri Nets 2012 & ACSD 2012 in Hamburg, Germany, June 25–29, 2012 *** *** visit: http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/ *** From lange.martin at gmail.com Thu Mar 22 21:38:07 2012 From: lange.martin at gmail.com (Martin Lange) Date: Thu, 22 Mar 2012 21:38:07 +0100 Subject: Final call for papers: IJCAR workshop on Comparing Logical Decision Methods, Manchester, UK, 30/06/2012 In-Reply-To: <4F16EC50.1000004@uni-kassel.de> References: <4F16EC50.1000004@uni-kassel.de> Message-ID: <4F6B8DAF.4090305@gmail.com> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% CLODEM'2012 %% %% Workshop on Comparing Logical Decision Methods %% %% http://www2.imm.dtu.dk/~vfgo/CLODEM2012/CLODEM2012.html %% %% %% %% Manchester, June 30th, 2012 %% %% affiliated with IJCAR'2012 && %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TOPIC AND OBJECTIVE: Methods for decision problems of a logic are of vital importance for both the theoretical relevance and practical impact of a logic. Different logics require different decision procedures. Nevertheless, certain methodologies like terminating semantic tableaux, automata, games, SAT/SMT methods, resolution, reductions, etc. have proved to be successful in providing decidability results for several, even quite different logics. Perception of some methodology being better than others has grown within certain communities, for example regarding automata-based techniques in automatic verification or tableau-based techniques in knowledge representation. Such perception, however, is often not based on systematic comparative analysis. Sometimes, different methodologies also turn out to do or even be the same in certain cases. Yet, few formal technical results to that effect are known, and the scientific discussions on the pros and cons, and similarities and differences between different methodologies have been rather sporadic so far. The purpose of this workshop is to provide an expert forum for such discussion, to provoke and foster discussion between communities, and to stimulate further research on that topic. It is a follow-up to the CLoDeM'2010 workshop held within FLOC 2010 in Edinburgh in July 2010, affiliated with LICS and IJCAR. The workshop welcomes contributions on comparisons between different methods, exhibiting differences or similarities, in theory or in practice, in general or with respect to a certain logic. SUBMISSIONS: Submissions should be in the form of extended abstracts of at most 15 A4 pages in PDF format using Springer LNCS style or an equivalent format. Submissions may be based on new and original, or on already published or submitted work, but they should address the topic of the workshop. The abstracts of the workshop talks will be included in informal proceedings. No formal proceedings are currently planned, but if the workshop attracts sufficiently many good and original contributions, a journal special issue will be organized after the event. At least one author of each submission that is accepted for the workshop must register for and attend the workshop in order to present the paper. IMPORTANT DATES: Submissions deadline: April 2, 2012 Notification deadline: May 14, 2012 Final versions of abstracts for the informal proceedings: June 8, 2012 Workshop: June 30, 2012 INVITED SPEAKERS: * Sven Schewe, Univ. of Liverpool, UK * Carsten Lutz (TBC), Univ. of Bremen, D * Renate Schmidt, Univ. of Manchester, UK WORKSHOP PROGRAM COMMITTEE: * Stéphane Demri, CNRS Cachan, F * Valentin Goranko, DTU Copenhagen, DK * Rajeev Goré, ANU Canberra, AUS * Stefan Göller, Univ. of Bremen, D * Felix Klaedtke, ETH Zurich, CH * Stephan Kreutzer, TU Berlin, D * Martin Lange, Univ. of Kassel, D * Christof Löding, RWTH Aachen, D * Colin Stirling, Univ. of Edinburgh, UK * Cesare Tinelli, Univ. of Iowa, US FURTHER INFORMATION: - Workshop website: http://www2.imm.dtu.dk/~vfgo/CLODEM2012/CLODEM2012.html - IJCAR'12 website: http://ijcar.cs.manchester.ac.uk/ ENQUIRIES to the organizers: - Valentin Goranko, http://www2.imm.dtu.dk/~vfgo - Martin Lange, http://www.uni-kassel.de/~mlange/ From oshanis at gmail.com Thu Mar 22 23:15:19 2012 From: oshanis at gmail.com (Oshani Seneviratne) Date: Thu, 22 Mar 2012 18:15:19 -0400 Subject: CFP: Semantic Web Challenge 2012 Message-ID: *************************************************************** Semantic Web Challenge 2012 - Call for Participation http://challenge.semanticweb.org/2012 Boston - USA November 13-15, 2012 *************************************************************** Submissions are now invited for the 10th Semantic Web Challenge, the premier event for demonstrating practical progress towards achieving the vision of the Semantic Web. The 10th Semantic Web Challenge which will take place at the 11th International Semantic Web Conference in Boston, USA. As in previous years, the Semantic Web Challenge will consist of two tracks: the Open Track and the Billion Triples Track. The key difference between the two tracks is that the Billion Triples Track requires the participants to make use of the data set that has been crawled from the Web and is provided by the organizers. The Open Track has no such restrictions. The Challenge is open to everyone from industry and academia. The authors of the best applications will be awarded prizes and featured prominently at special sessions during the conference. Important Dates ********************* Friday October 12, 2012, 23:59 CET: Submissions due November 13-15: Semantic Web Challenge takes place at ISWC 2012 Challenge Criteria ********************* The Challenge is defined in terms of minimum requirements and additional desirable features that submissions should exhibit. The criteria for the Semantic Web Challenge 2012 are described here: http://challenge.semanticweb.org/2012/criteria.html. How to Participate ********************* Visit http://challenge.semanticweb.org/ in order to participate and register for the Semantic Web Challenge by submitting the required information as well as a link to the application on the online registration form. The form will open in August 2012 and will be open until Friday October 12, 2012. The following information must be provided: 1. Abstract: no more than 200 words. 2. Description: The description should show details of the system, including why the system is innovative, which features or functions the system provides, what design choices were made and what lessons were learned. The description must include an appendix of 1-2 pages summarising explicitly how participants have addressed the evaluation requirements (including mandatory and any relevant desirable criteria). Papers should not exceed eight pages (including the appendix) and must be formatted according to the same guidelines as the papers in the Research Track (see http://iswc2012.semanticweb.org/). 3. Web access: The application should be accessible via the web. If the application is not publicly accessible, passwords should be provided. A (short) set of instructions on how to start and use the application should also be provided on the web page. Descriptions (including the appendix) will be published in the form of online proceedings on the Semantic Web Challenge website. Judging and Prizes *********************** In addition to submitting a system description and working demo, all participants are required to present their systems at the posters and demos session at the ISWC 2012 conference. A jury consisting of experts from industry and academia will be appointed to judge the systems at the conference. In the first round of judging, the jury will take into consideration the descriptions submitted, the online demos, and the presentation at the conference, in order to determine an initial set of 8 finalists. The entries will be scored by the judges and the 8 highest scoring entries will then proceed to the second round of the competition. The split between the two tracks will be determined according to the proportion of entries in each track. The 8 finalists will proceed to the second round of the competition, where they will have to present their work in an open session the following day. They will have a slot of approximately 15 minutes to present their work. The judges will be present and will evaluate the systems in more detail, according to the specific criteria detailed on the website. The judges will then meet in private to discuss the entries and to determine the winners. A monetary prize will be provided to the winners of each track, along with publicity for their work. There will normally be 3 winners of the Open Track and 1 winner of the BTC track. However, the organisers reserve the right to merge the tracks in the event of insufficient submissions in either category. The winners will be announced and prizes awarded during the Closing Ceremony of ISWC 2012. All 8 finalists will also be offered the opportunity to submit their work to a Special Issue of the Journal of Web Semantics. In the event that one of the tracks receive less than a minimal number of submissions, the organizers reserve the right to merge the two tracks of the competition. Billion Triples Challenge 2012 Data Set *********************************************** The participants of the Billion Triple Track of the Semantic Web Challenge need to use a data set provided by the organizers. The data set is currently being prepared and will be available on the website in April 2012. Contact ************** Diana Maynard, University of Sheffield, diana at dcs.shef.ac.uk Andreas Harth, KIT, harth at kit.edu From alessandra.mileo at deri.org Fri Mar 23 17:23:40 2012 From: alessandra.mileo at deri.org (Alessandra Mileo) Date: Fri, 23 Mar 2012 16:23:40 +0000 Subject: [Deri.ie-research] Opening Research Internship in URQ, DERI - with correct dates :) Message-ID: <70B6BE34-BFD1-4B8F-AD4A-F1FE92AB016F@deri.org> Dear all, apologies for cross-posting. Please distribute among your students and colleagues that might be interested. Regards, Alessandra ----------------------------------------------------------- Dr. Alessandra Mileo Postdoc Researcher & Unit Leader URQ Digital Enterprise Research Institute NUIG, Galway, Ireland Email: alessandra.mileo at deri.org ----------------------------------------------------------- ====================== Project Research Interns ====================== The Digital Enterprise Research Institute (DERI) is among the largest research organisations working in Semantic Web technologies. DERI's mission is to establish semantics as a core pillar of modern computer engineering. DERI offers a stimulating, dynamic, multi-cultural research environment with excellent ties to research groups worldwide. This is a unique opportunity to join the efforts within DERI in collaboration with our industrial partners. During this internship you will develop and implement advanced querying technologies based on semantic technologies. ====================== The Candidates ====================== - Ability to work in a team based environment developing state of the art software solutions on time and to specification - Motivated and proactive attitude, willing to take ownership and initiative in all work assignments - Excellent analysis and problem solving skills - Strong design, development & testing skills - Excellent communication skills, verbal and written - Creative Thinking ====================== The Topics ====================== Internship topic will be centred around Semantic Web technologies, in particular (i) the integration of RDF, XML, RDB and (ii) the implementation of rule-based inference mechanism for access control on RDF. ====================== Essential Skills ====================== - Third level degree in computer science or related discipline (advanced undergrad students which comply with the skills requirements will also be considered) - Good knowledge of object-oriented design principles - Strong background in Java programming - Familiarity with Unix/Linux systems ====================== Bonus Skills ====================== - Experience with Semantic Web technologies, esp. RDF/RDFS/OWL/(X)SPARQL - Familiarity with XML and/or SQL - Experience working with Linked Data - Experience in knowledge representation and rule-based reasoning, Prolog The duration of the internships will be for 4 months initially, with the possibility of extension. ====================== Application procedure ====================== Informal enquiries about these positions may be made to: sabrina.kirrane at deri.org (cc:ed) alessandra.mileo at deri.org When applying, please use the same email addresses and put "Project Research Intern" in the subject line of emails. Candidates are requested to submit a cover letter and CV (PDF). Closing date for receipt of applications is March 30, 2012. We expect the successful candidates to start at the earliest possible date, ideally in May 2012. _______________________________________________ Deri.ie-research mailing list Deri.ie-research at lists.deri.org http://lists.deri.org/mailman/listinfo/deri.ie-research _______________________________________________ Deri.ie-research mailing list Deri.ie-research at lists.deri.org http://lists.deri.org/mailman/listinfo/deri.ie-research -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From barbara.plank at disi.unitn.it Mon Mar 26 07:48:48 2012 From: barbara.plank at disi.unitn.it (Barbara Plank) Date: Mon, 26 Mar 2012 07:48:48 +0200 Subject: JIMSE 2012 Call for Papers: Joint workshop on Intelligent Methods for Software System Engineering Message-ID: First Call for Papers JIMSE: Joint workshop on Intelligent Methods for Software System Engineering **************************************************************************** August 27 or 28, 2012 Montpellier, France The first Joint workshop on Intelligent Methods for Software System Engineering will be held in conjunction with the ECAI 2012, the biennial European Conference on Artificial Intelligence, the leading conference on Artificial Intelligence in Europe, which will take place in Montpellier, France, in August, 27-31, 2012. JIMSE is co-organized by the European Coordination Action EternalS: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge. Workshop Description -------------------- The workshop aims at bringing together worldwide stakeholders and their related communities to discuss current research trends on the use of intelligent techniques for effective and efficient design of software systems. To amplify the impact of the workshop, two different communities sharing the above-mentioned aim will join for the organization of a large event. These include: - The Trustworthy Eternal Systems via Evolving Software, Data and Knowledge (EternalS) community, who has been developing in conjunction with the homonymous European Coordination Action (https://www.eternals.eu/). This includes stakeholders of four broad different ICT areas such as: Learning Systems for Knowledge Management and Representation, Software Systems, Networked Systems and Secure Systems. Such community is sharing competencies and technology for reciprocally improving the specific areas, for example, applying machine learning for anomaly detection or for helping establishing network connection between devices. - The Intelligent Techniques in Software Engineering (ISEW) community, who has been developing through different workshops (see the past venues below). The community focuses on intelligent techniques for addressing, studying, analyzing and understanding critical software development issues, such as software quality and reliability, software cost estimation, software requirements, specifications engineering and software project management. The above communities focus on traditional AI technologies such as: (i) fuzzy logic, artificial neural networks, genetic algorithms; (ii) statistical machine learning (supervised, unsupervised, semi-supervised learning) and domain adaptation; and (iii) specific intelligent approaches for text mining & retrieval, graph mining and ranking algorithms. These are applied to extract patterns and identify relations regarding (a) the different phases and needs of software development and analysis as well as (b) designing effective security policies and networking systems. Scope and Topics ---------------- We aim at encouraging cross-fertilization of ideas amongst researchers from different communities. The topics of the workshop regards (but are not limited to) the application of the following approaches: * Machine Learning * Kernel methods * Text Mining & Retrieval * Probabilistic Reasoning * Model Learning * Expert Systems * Neural Networks * Data Mining * Evolutionary algorithms * Ranking Algorithms * Regression models and Statistical methods TO: * Software Requirements * Software Architecture * Software Methodologies * Software Algorithms * Software Design * Software Performance * Engineering * Software Quality & Reliability * Object-Oriented Analysis and Design * Software Maintenance & Testing * Software Metrics * Software Project Management * Software Cost Estimation * Open Source Software * Software Repository Management * Cloud computing. Additionally, we are particularly interested in contributions describing interdisciplinary researches between the following broad four ICT areas: (i) Learning Systems for Knowledge/Information Management and Representation. This area concerns with research for the development of machine learning models, mainly with applications in the domain of natural language processing, e.g., * Information Extraction * Information Retrieval * Data Mining * Semantic Web * Speech Processing * Image processing * Human Computer Interaction (ii) Software Systems, for example, described by the following keywords: * Modeling languages * Feature description languages * Software product lines * Feature-oriented programming * Delta-oriented programming * Architectural models of diversity * Formal Methods * Software evolution * Component-based systems (iii) Networked Systems This area deals with the connection of networked systems over time, hence addressing eternal interoperability. Related topics include but are not limited to: * Connector theory * Models at runtime * Protocol learning * Protocol synthesis * Runtime verification & validation * Model-based monitoring * Interoperable security, privacy & trust (iv) Secure Systems This topic area deals with supporting the supervised evolution of secure systems from the development, deployment, and operation perspectives. Research in the context of the so-called Future Internet is particularly welcome. Topics include, but are not limited to: * Requirements engineering, * Risk assessment * Software architectures * Modeling techniques * Model-based security techniques * Secure programming * Verification and testing * Software engineering processes for secure and evolvable systems Important Dates --------------- May 20, 2012: Paper submission deadline June 28, 2012: Notification of acceptance July 15, 2012: Camera-ready deadline July 22, 2012: send PDF to workshop chairs August 27 or 28, 2012 JIMSE workshop at ECAI 2012 Submission ---------- To promote discussion and the topics of the workshop, we invite the submission of abstracts of max. 4 pages including references, pictures and tables, presenting novel research results. The abstracts will be peer reviewed by the Program Committee (double-blind review process). Final versions of the extended abstracts (max. 10 pages including references) will be published in online proceedings, while selected contributions will appear as post-proceedings in the Springer CCIS (Communications in Computer and Information Science) series (pending approval). For further details see http://www.springer.com/series/7899 Papers should be submitted via the Easychair submission system: https://www.easychair.org/conferences/?conf=jimse2012 All submissions should be formatted using the ECAI 2012 style file that can be found at: http://people.cs.kuleuven.be/~luc.deraedt/ecai2012-style.zip As the reviewing will be blind, papers must not include the authors' names and affiliations. Submissions should be in English and should not have been published previously. If essentially identical papers are submitted to other conferences or workshops as well, this fact must be indicated at submission time. The submission deadline is 23:59 CET on May 20, 2012. Voice your ideas ---------------- The contributions and the outcome of the discussion that will follow the paper presentation will be considered for inclusion in the roadmap that the EternalS coordination action is designing for the European community: https://www.eternals.eu The roadmap will be an input to the European Community for the definition of the Work Programme of 2013. Tentative Program Committee --------------------------- Andreas Andreou, University of Cyprus, Cyprus Lefteris Angelis, Aristotle University of Thessaloniki, Greece Roberto Basili, University of Rome Tor Vergara, Italy Helen Berki, University of Tampere, Finland Götz Botterweck, Lero, Ireland Sofia Cassel, University of Uppsala, Sweden Krishna Chandramouli, Queen Mary University of London, UK James Clarke, Telecommunications Software and Systems Group, Ireland Anna Corazza, University of Naples Federico II, Italy Sergio Di Martino, University of Naples Federico II, Italy Michael Felderer, University of Innsbruck, Austria Fausto Giunchiglia, University of Trento, Italy Reiner Hähnle, TU Darmstadt, Germany Falk Howar, TU Dordtmund, Germany Valerie Issarny, INRIA, France Richard Johansson, University of Gothenburg, Sweden Jan Jürjens, TU Dortmund, Germany George Kakarontzas, Technical University of Larisa, Greece Achilles Kameas, Hellenic Open University, Greece Basel Katt, University of Innsbruck, Austria Chris Lokan, UNSW at ADFA, Australia Ilaria Matteucci, CNR, Italy Emilia Mendes, University of Auckland, Νew Zealand Grzegorz Nalepa, AGH University of Science and Technology, Poland Claudia Niederee, L3S Research Center Hannover, Germany Animesh Pathak, INRIA, France Tomas Piatrik, Queen Mary University of London, UK Hongyang Qu, University of Oxford, UK Rick Rabiser, JKU Linz, Austria Vasile Rus, The University of Memphis, USA Riccardo Scandariato, Katholieke Universiteit Leuven, Belgium Ina Schaefer, TU Braunschweig, Germany Holger Schöner, Software Competence Center Hagenberg, Austria Bernhard Steffen, TU Dortmund, Germany Christos Tjortjis, The University of Manchester, UK Grigorios Tsoumakas, Aristotle University of Thessaloniki, Greece Daniel Varro, Budapest University of Technology and Economics Michalis Vazirgiannis, Athens University of Economics & Business Maria Virvou, University of Piraeus, Greece Qianni Zhang, Queen Mary University of London, UK Workshop Chairs --------------- Stamatia Bibi (Aristotle University of Thessaloniki, Greece) Alessandro Moschitti (University of Trento, Italy) Barbara Plank (University of Trento, Italy) Ioannis Stamelos (Aristotle University of Thessaloniki, Greece) Contact & Website ----------------- For general questions about the workshop, please send an email to jimse2012 at gmail.com Workshop website: https://sites.google.com/site/jimse2012/ More on Topics and Background ----------------------------- During last years Open Source Software has considerably increased, enabling free and continuing access to publicly available software engineering data. In turn, this has promoted research on modeling software development and investigating its various aspects. Though, software engineering data is available, two important aspects of a software system have still to be studied such as (i) its representation in terms of domain knowledge and (ii) the representation of its design and implementation history. Successful models for the above points would allow for the design of radically different paradigms for software development. Intelligent techniques can be applied for modeling software-related tasks and providing effective solutions. Machine learning (ML), knowledge-based systems, and data mining have already been used in several Software Engineering (SE) tasks. For example, recent interdisciplinary research in ML and networking systems has shown that statistically learning can produce large improvement in both connecting devices (Bennaceur et al., 2011) and modeling their logic (behavior) (Lamprecht et al., 2011). Moreover, the role ML in software for security systems is very effective as shown for example in (Felderer et al., 2011), whereas knowledge-based approaches seem promising for improving fast prototyping of new product lines as they can automatize formal verification processes of workflows (Schaefer & Sauer, 2011). SE is a conceptual-intensive activity, requiring extensive domain and software knowledge (Zhang & Zhai, 2005). Software data, such as requirements, descriptions, change history, design diagrams, size of programs, tools, packages and methodologies and the source code itself contain a wealth of information about a project status, progress and evolution. Intelligent techniques can be used to analyze such data from past projects to recognize software problems or to learn its natural evolution during time. This is very appealing since suggests methods and techniques for making systems capable of adapting to changes in user requirements and application domains. Most software systems nowadays are built iteratively and incrementally, while integrating and interacting with components from many other systems. Past development models that presupposed that software systems would not significantly evolve after delivery are now outmoded. Hence, SE research is studying the design and implementation of highly evolvable systems. ML is a promising research direction for the design of adaptable models as they requires to manage millions of variables in several dimensions, e.g., time, location, and security conditions, expressing the diversity of the context in which systems operate. Finally, knowledge and experience from the development of previous projects can make the use of supervised learning possible (i.e., training data is available). References ---------- S. Bibi, G. Tsoumakas, I. Stamelos, I. Vlahavas, Regression via Classification applied on Software Defect Estimation, Expert Systems with Applications Journal of Elsevier, Vol 34(3), pp. 2091-2101. Peter Hearty, Norman E. Fenton, David Marquez, Martin Neil: Predicting Project Velocity in XP Using a Learning Dynamic Bayesian Network Model. IEEE Trans. Software Eng. 35(1): 124-137 (2009) Open source project data: www.sourceforge.org Adriano L.I. Oliveira, Petronio L. Braga, Ricardo M.F. Lima, Márcio L. Cornélio, GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation, Information and Software Technology, Volume 52, Issue 11, November 2010, Pages 1155-1166 Stamelos, L. Angelis, P. Dimou, E. Sakellaris, On the use of Bayesian belief networks for the prediction of software productivity, Inf. Softw. Technol. 45 (2003) 51–60. Witten and E. Frank. Data Mining: Practical machine learning tools and techniques, 2nd Edition. Morgan Kaufmann, San Francisco, 2005. Eds. Du Zhang , Jeffrey Tsai, “Machine Learning applications in Software Engineering”, (University of Illinois, Chicago, USA), Series on Software Engineering and Knowledge Engineering , Vol. 16, 2005. AmelBennaceur, Richard Johansson, Alessandro Moschitti, RominaSpalazzese, Daniel Sykes, RachidSaadi, and ValrieIssarny. Inferring affordances using learning techniques. In The First Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge: EternalS’11. To appear in CCIS Springer, 2011. Anna-Lena Lamprecht, TizianaMargaria, Ina Schaefer and Bernhard Steffen, Comparing Structure-oriented and Behaviour-oriented Variability Modeling for Workflows. In The First Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge: EternalS’11. To appear in CCIS Springer, 2011. Ina Schaefer and Thomas Sauer, Towards Verification as a Service. In The First Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge: EternalS’11. To appear in CCIS Springer, 2011. Felderer, M. and Agreiter, B. and Zech, P. and Breu, R. (2011) A Classification for Model-Based Security Testing. In: The Third International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011). From ah at imm.dtu.dk Mon Mar 26 10:34:33 2012 From: ah at imm.dtu.dk (Anne Haxthausen) Date: Mon, 26 Mar 2012 10:34:33 +0200 Subject: PhD position in Formal Development and Verification of Railway Control Systems Message-ID: <4F702A19.1060401@imm.dtu.dk> I am looking for talented applicants for a 3-year PhD position at DTU Informatics (Department of Informatics and Mathematical Modelling) at the Technical University of Denmark. Deadline for application: April 12, 2012. The PhD project title is: formal development and verification of railway control systems. The PhD project is to be conducted as a part of the research project RobustRailS, Robustness in Railway Operations, the goal of which is to research methods for obtaining a more punctual, safe and robust railway operation. The goal of the PhD project is to investigate methods for formal development and verification of the new signalling systems that are going to be installed in Denmark over the next 10 years, and the PhD student is expected to collaborate with Rail Net Denmark in Copenhagen. Hence, the project gives a unique opportunity of combining theoretical and applied research for a real life problem. For the official announcement and instructions on how to apply, please consult http://www.dtu.dk/English/About_DTU/vacancies.aspx?guid=98a57707-0eb9-42fa-b60c-179a7d31d9de Kind regards, Anne Haxthausen, Associate Professor DTU Informatics, Technical University of Denmark e-mail:ah at imm.dtu.dk From georgev at unipi.gr Wed Mar 28 11:12:20 2012 From: georgev at unipi.gr (George Vouros) Date: Wed, 28 Mar 2012 12:12:20 +0300 Subject: 1st CfP: AT 2012 First International Conference on Agreement Technologies Message-ID: <5565FEE2-F3B5-492A-9559-16D3555CCC0F@unipi.gr> [Apologies if you receive this more than once] ==================================== C A L L F O R P A P E R S AT 2012 First International Conference on Agreement Technologies October 15 - 16, 2012 in Dubrovnik, Croatia http://at2012.tel.fer.hr/ ==================================== AIMS & SCOPE ======================== Agreement Technologies refer to computer systems in which autonomous software agents negotiate with one another, typically on behalf of humans, in order to come to mutually acceptable agreements. An agent may choose whether to fulfil an agreement or not, and it should fulfil it when there is an obligation to do so derived from the standing agreements. Autonomy, interaction, mobility and openness are key concepts studied within the Agreement Technologies approach. Semantic alignment, negotiation, argumentation, virtual organisations, trust and reputation and several other technologies are part of the sandbox to define, specify and verify such systems. The first International Conference on Agreement Technologies is an interdisciplinary forum that brings together researchers and practitioners working on the various topics comprising this emergent and vibrant field. It provides an avenue to discuss and exchange new ideas and techniques for the design, implementation and verification of next generation open distributed systems centred on the notion of agreement among computational agents. The conference is supported by COST Action IC0801 on Agreement Technologies. TOPICS OF INTEREST =================== - Argumentation, negotiation - Trust and reputation - Coordination and distributed decision making - Computational Social Choice - Semantic alignment - Inter-theory Relations - Decision and game theoretic foundations for agreement - Agent Commitments - Semantic Service Coordination - Normative Systems - Individual reasoning about norm adoption - Collective deliberation about norm adoption - Autonomic Electronic Institutions - Group planning agreements - Deliberative Agreement: social choice and collective judgment - Evolution of organisational structures - Social Intelligence - Logics for Agreements - Real-time agreements - Agreement patterns - Agreement technologies architectures, environments and methodologies - Applications of agreement technologies (e.g. web service composition, contract automation, supply chain automation, sensor networks, etc.) SUBMISSION DETAILS =================== We encourge submission of original papers from the above-mentioned or other related areas. Each submission should be in one of the following categories: Full Papers: Papers in this category should represent original and previously unpublished work that is currently not under review in any conference or journal. Both basic and applied research papers are welcome. Papers should not exceed 15 pages including references and figures. Position Papers: Contributions in this category may represent either a summary of original work that has already been published in a conference or journal (in this case submissions must include explicitly a reference to the already published work), or a summary of original results obtained as a product of STSMs funded by the Agreement Technologies Cost Action, or ongoing research that can lead to important contributions to Agreement Technologies. Submissions in this category should not exceed 2 pages. All submissions must be written in English and formatted according to the Springer LNCS style, which can be obtained from http://www.springer.de/comp/lncs/authors.html. Submissions must be done via easychair at https://www.easychair.org/conferences/?conf=at2012 All papers will be reviewed. The conference proceedings will be published with CEUR-WS.org. We also plan a special issue of an ISI ranked Journal for extended versions of high-quality papers describing original, novel research. Further details will be announced soon. IMPORTANT DATES ======================= Abstracts due: June 20, 2012 Full papers due: June 25, 2012 Notification: July 20, 2012 Camera-ready submission: September 9, 2012 AT-2012 conference: October 15-16, 2012 CONFERENCE OFFICIALS =================== Conference Chair: Sascha Ossowski (University Rey Juan Carlos, Spain) Programme Chairs: Francesca Toni (Imperial College London, UK) George Vouros (University of Piraeus, Greece) Local Chairs and Organisation: Gordan Jezic, University of Zagreb, Croatia Mario Kusek, University of Zagreb, Croatia Marin Lujak, University Rey Juan Carlos, Spain Tanja Grzilo, University of Zagreb, CAAS Dubrovnik, Croatia CONTACT =============================== Email: at2012 at agreement-technologies.eu Web: http://at2012.tel.fer.hr/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From shankar at csl.sri.com Thu Mar 29 09:01:47 2012 From: shankar at csl.sri.com (Natarajan Shankar) Date: Thu, 29 Mar 2012 00:01:47 -0700 Subject: Second Summer School on Formal Techniques, May 27-June 1, 2012 Message-ID: <27108.1333004507@positron.csl.sri.com> Second Summer School on Formal Techniques May 27- June 1, 2012 Menlo College, Atherton, CA http://fm.csl.sri.com/SSFT12 Formal verification techniques such as model checking, satisfiability, and static analysis have matured rapidly in recent years. This school, the second in the series, will focus on the principles and practice of formal verification, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in using verification technology in their own research in computing as well as engineering, biology, and mathematics. Students at the school will have the opportunity to experiment with the tools and techniques presented in the lectures. The first Summer Formal school (SSFT11; http://fm.csl.sri.com/SSFT11) was held in May 2011. This year, the school starts on Sun May 27 with a background course on Logic in Computer Science taught by Natarajan Shankar (SRI). The course is optional but highly recommended - it covers the prerequisites for the main lectures. We have NSF support for the travel and accommodation for students from US universities, but welcome applications from graduate students at non-US universities as well. Non-US students will have to cover their travel and lodging expenses (around $500). The deadline for applications is April 30. Non-US students requiring US visas are requested to apply early (by April 15). Interested students can submit their application at http://fm.csl.sri.com/SSFT12 The lecturers at the school include Leonardo de Moura (MSR Redmond) and Bruno Dutertre (SRI): Satisfiability Modulo Theories Sumit Gulwani (MSR): Dimensions in Program Synthesis Daniel Kroening (Oxford): Verifying Concurrent Programs Ken McMillan: Abstraction, Decomposition, and Relevance Corina Pasareanu, Dimitra Giannakopoulou, Neha Rungta, Peter Mehlitz, and Oksana Tkachuk: Verifying Components in the Right Context The school will also include invited talks by distinguished researchers. The SSFT Steering Committee consists of Tom Ball (MSR Redmond), Lenore Zuck (UIC), and Natarajan Shankar (SRI). From announce at cs.ucy.ac.cy Thu Mar 29 17:18:00 2012 From: announce at cs.ucy.ac.cy (Announcements) Date: Thu, 29 Mar 2012 18:18:00 +0300 Subject: 10th IEEE/IFIP EUC 2012: Call for Papers Message-ID: <915vo2zSanLNJdERrQixS9ysDFxwmLF08Vp8i24nBH1z@cs.ucy.ac.cy> *** Call for Papers *** The 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (IEEE/IFIP EUC 2012) http://www.euc2012.cs.ucy.ac.cy/ 3-5 October 2012, Paphos, Cyprus Embedded and ubiquitous computing is an exciting paradigm that promises to provide computing and communication services to the end users all the time and everywhere. Its systems are now invading in every aspect of our daily life and promise to revolutionize our life much more profoundly than elevators, electric motors or even personal computer evolution ever did. The emergence of this technology is a natural outcome of research and technological advances in a variety of areas including embedded systems, pervasive computing and communications, wireless networks, mobile computing, distributed computing and agent technologies. EUC 2012 is the next event, in a series of highly successful IEEE International Conferences on Embedded and Ubiquitous Computing (EUC), previously held as ICDCS-ECS04 (Tokyo, Japan, March 2004), EUC-04 (Aizu, Japan, August 2004), EUC-05 (Nagasaki, Japan, December 2005), EUC-06 (Seoul, Korea, August 2006), EUC-07 (Taipei, Taiwan, December 2007), EUC-08 (Shanghai, China, December 2008), EUC-09 (Vancouver, Canada, August 2009), EUC-10 (Hong Kong, December 2010) and EUC 2011 (Melbourne, Australia, October 2011). EUC 2012 will take place in Coral Beach resort near the city of Paphos, Cyprus. Topics of particular interest include, but are not limited to: Embedded Computing * Embedded System Software and Optimization * Embedded System Architectures * Hardware/Software Co-design and Design Automation * Real-Time Systems and Operating Systems * Application-Specific Processors and Devices * Power-Aware Computing * Sensor Networks * System/Network-on-Chip * Reconfigurable Computing Systems and Applications * Cyber-Physical Systems Ubiquitous Computing * Pervasive Computing and Communications * Middleware and Peer-to-Peer Computing * Internet Computing and Applications * Multimedia and Data Management * Human-Computer Interaction * Network Protocols * Wireless Communication & Networks * Mobile Computing * Agents and Distributed Computing * Security and Fault Tolerance Applications Submission Guidelines Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers should be at most 8 pages including the bibliography and well-marked appendices, and should follow the IEEE 8.5" x 11" Two-Column Format. Committee members are not required to read the appendices, and so the paper should be intelligible without them. Submissions are to be made to the submission web site. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Papers must be received by the submission deadline. Authors of accepted papers must guarantee that their papers will be presented at the conference. Accepted papers will be published in the IEEE conference proceedings (EI indexed). Selected best papers will be published in special issues of high quality journals (currently under negotation). Important Dates * Submission Deadline: 20 May * Notification of Acceptance: 15 July * Camera-ready Versions Submitted: 31 July * Author Registration: 31 July Organizing Committee General Chairs Erol Gelenbe, Imperial College, UK Rajesh Gupta, University of California at San Diego, USA George A. Papadopoulos, University of Cyprus, Cyprus Steering Chairs Minyi Guo, Shanghai Jiaotong University, China Laurence T. Yang, St. Francis Xavier University, Canada Program Chairs Habib M. Ammari, University of Michigan-Dearborn, USA Marco D. Santambrogio, MIT, USA/Politecnico di Milano, Italy Yan Zhang, Simula Research Lab/University of Oslo, Norway Workshop Chairs Xu Li, INRIA Lille - Nord Europe, France Linwei Niu (to be confirmed), California State University Bakersfield, USA Program Vice-chairs Embedded Software and Optimization Simone Campanoni, Harvard University, USA Embedded Systems and Hardware/Software Co-Design Vincenzo Rana, EPFL, Switzerland Real-Time Systems and Operating Systems Lamia Youseff, Google Power-Aware Computing Seda Ogrenci Memik, Northwestern University, USA Wireless Communications Abbas Mohammed, Blekinge Institute of Technology, Sweden Agent and Distributed Computing Jinhua Guo, University of Michigan-Dearborn, USA Middleware for Embedded and Ubiquitous Computing Xiuzhen Cheng, George Washington University, USA Sensor Networks Andreas Constantinides, Frederick University, Cyprus Mobile and Context-aware Computing Carlo Curino, Yahoo Multimedia and Data Management Honggang Wang, University of Massachusetts at Dartmouth, USA Autonomic, Organic and Trusted Computing Jie Shen, University of Michigan-Dearborn, USA -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. From m.kohlhase at jacobs-university.de Thu Mar 29 18:20:20 2012 From: m.kohlhase at jacobs-university.de (m.kohlhase at jacobs-university.de) Date: Thu, 29 Mar 2012 18:20:20 +0200 (CEST) Subject: CfP: Math Information Retrieval Worksohp 14. July 2012 Message-ID: <20120329162020.E3589489AA9@sphinx.rz.tu-clausthal.de> [apologies for multiple copies] MIR 2012 Workshop (Mathematics Information Retrieval) July 14. 2011 at CICM 2012, Bremen Germany http://cicm2012.cicm-conference.org/cicm.php?event=mir The MIR Workshop brings together researchers working on information retrieval for mathematical document collections for discussions and friendly systems competition. Workshop format: =========== The MIR Workshop will consist of a traditional-style scientific program with presentations of submitted papers in the half-day Math IR Symposium together with the Math IR happening, where workshop participants competitively or jointly solve a set of Math IR challenges and submit their solutions to a panel of mathematician judges. Important dates: - Symposium: Paper Submission: May 20. 2012 Notification: May 28. 2012 Final Versions: June 15. 2012 - Happening: Dataset available: now System Registration: May 20. 2012 Organizers: Michael Kohlhase, Jacobs University (PC co-chair) Petr Sojka, Brno University (PC co-chair) Math IR Symposium at MIR 2012 ==================== http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=symposium The Math IR Symposium is a traditional-style workshop with scientific contributions about mathematics information retrieval. Topics include but not limited to: - requirements for mathematics information retrieval: use cases and typical queries - formula search algorithms - semantically enhancing mathematical corpora for IR - extracting semantic relations from corpora. - evaluation of MIR (methods and test corpora) Math IR Happening at MIR 2012 ==================== http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=happening A friendly competition for the systems presented at the workshop. Since math information retrieval is still quite young and developing, we will not make this an official competition, but a happening, where we get together and test our system on a common set of problems. We expect the happening to transcend the workshop proper. From pascal.hitzler at wright.edu Fri Mar 30 03:57:08 2012 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Thu, 29 Mar 2012 21:57:08 -0400 Subject: Semantic Web Journal Special Call for Papers: Big Data and the Semantic Web Message-ID: <4F7512F4.2050201@wright.edu> Semantic Web Journal Special Call for Papers on Big Data and the Semantic Web ============================= http://www.semantic-web-journal.net The Semantic Web journal calls for innovative and high-quality papers describing the role of Semantic Web technologies, Linked Data, and ontologies for the Big Data age. Papers should clearly relate to one or more of the Big Data V's Volume, Variety, and Velocity, as well as demonstrate the added value of semantics. Besides theoretical contributions on reasoning over massive amounts of heterogeneous data and challenges for knowledge representation and interlinkage, we especially also invite reports from domain scientists detailing the use of ontologies and Semantic Web technologies in bioinformatics, geographic information science, life sciences, cultural heritage research, the digital humanities, and other research areas. We welcome all paper categories, i.e., full research papers, application reports, systems and tools, ontology papers, surveys, as well as dataset reports as long as they clearly relate to challenges and opportunities arising from processing Big Data - see our listing of paper types in the author guidelines. Topics include but are not limited to Semantic search and information seeking Exploratory interfaces for massive amounts of annotated data Intelligent information interchange Semantic interoperability and heterogeneity Inductive and abductive approaches to ontology learning Handling uncertainty, vagueness, and inconsistencies Knowledge discovery from linked data Collaborative Ontology engineering Microtheories and knowledge patterns Ontology modularization Ontology evolution Ontology alignment, matching, and translation Analogy and similarity reasoning and retrieval Sensor semantics and smart dust Stream reasoning Distributed reasoning Semantics-based data aggregation and generalization Semantically enabled statistics Massive data integration for the digital earth Linked science The User as knowledge engineer Semantics and decision support systems Semantics-driven integrity constraint checking Mining the Social and Mobile Web Ontology-driven data visualization Trust and privacy issues in publishing and reasoning about Big Data Dialog and question answering systems based on Linked Data and ontologies Important Dates Manuscript submission due: 30th of June 2012 First notification: 7th of September 2012 Issue publication: Spring 2013 Submissions The special issue on Big Data and the Semantic Web calls for original high-quality research on any of the above mentioned topics. Authors are requested to follow the author guidelines, submit online as detailed in the author guidelines, and include the name of the call within the submission letter. All manuscripts will be reviewed based on the SWJ open and transparent review policy and will be made available during online the review process. In case of questions, please contact the Editors-in-chief: Krzysztof Janowicz Pascal Hitzler contact at semantic-web-journal.net -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From C.Witteveen at tudelft.nl Fri Mar 30 08:19:40 2012 From: C.Witteveen at tudelft.nl (Cees Witteveen) Date: Fri, 30 Mar 2012 08:19:40 +0200 Subject: vacancy assistant professor Delft University Message-ID: <92058C0D-F2AD-42F8-A2D3-AB3A357DBB81@tudelft.nl> Dear colleagues, I would like to draw your attention to a job opportunity for an assistant professor in the Algorithmics group at the Faculty of Electrical Engineering, Mathematics and Computer Science at Delft University of Technology, The Netherlands. Please, find the job description below and feel free to disseminate this job description to any person you think might be interested in this job opportunity. Kind regards, Cees Witteveen ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Assistant Professor of Algorithmics Faculty/Department: Electrical Engineering, Mathematics and Computer Science Maximum employment: Maximum of 38 hours per week (1 FTE) Duration of contract: Tenure track Salary scale: €3195 to €4970 per month gross Electrical Engineering, Mathematics and Computer Science The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) is known worldwide for its high academic quality and the social relevance of its research programmes. The faculty’s excellent facilities accentuate its international position in teaching and research. The faculty offers an interdisciplinary setting for its 500 employees, 350 PhD students and 1700 undergraduates. Together they work on a broad range of technical innovations in the fields of sustainable energy, telecommunications, microelectronics, embedded systems, computer and software engineering, interactive multimedia and applied mathematics. EEMCS: Your Connection to the Future. The Department of Software and Computer Technology comprises the EEMCS Faculty research groups working on core computer science and engineering topics. The department is responsible for a large part of the curriculum of the BSc and MSc programmes in Computer Science as well as the MSc programmes in Computer Engineering and Embedded Systems. The department’s research mission is to perform excellent research at an internationally recognised level in the design, construction and analysis of complex, concurrent and cooperative computer and information systems. Inspiration for the research topics is derived largely from technical ICT problems in industry and society. The department currently consists of the following groups: Software Engineering, Parallel and Distributed Systems, Computer Engineering, Embedded Software, Algorithmics, and Web Information Systems. Algorithmics is a core area of computer science concerned with the design, analysis and implementation of problem-solving methods that can be executed on computer systems. The research of the Algorithmics group focuses on coordination algorithms for distributed systems in dynamic environments, design of solvers for real-life combinatorial problems, and empirical evaluation of algorithms. Application areas for the research are traffic and transportation, energy, and maintenance. Job description The candidate’s primary responsibilities include conducting research in the field of solvers for combinatorial problems, assisting in the supervision of PhD students in the field, acquiring external research funding, teaching and developing new education at the undergraduate and graduate levels in Computer Science, and performing department and university management tasks. Important topics of research include, but are not limited to, the development of solvers for combinatorial problems occurring in energy distribution systems, especially smart grids, and distributed transportation systems. We expect the applicant to actively collaborate with other researchers from academia as well as industry to realise this ambition. Requirements The successful candidate has obtained a PhD in the research field, has proven knowledge and experience in the field, preferably demonstrated through a strong publication record, and is an enthusiastic team player with the ambition to strengthen and expand the research of the Algorithmics chair/group. The candidate has experience in providing education at the university level and the ability to obtain research funding through the acquisition of national or international research projects. Conditions of employment This is a full-time, tenure-track position. The starting salary of the Assistant Professor, depending on age and experience, varies from scale 11 to 12 with a maximum of €4,970 gross per month. TU Delft offers an attractive benefits package, including a flexible work week, free high-speed Internet access from home (with a contract of two years or longer), and the option of assembling a customised compensation and benefits package (the 'IKA'). Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities. TU Delft strives to increase the number of women in higher academic positions; women are therefore especially encouraged to apply. TU Delft sets specific standards for the English competency of its teaching staff. TU Delft offers training to improve English competency. Information and application For more information about this position, please contact Prof. dr. C. Witteveen, phone: +31 (0)15-2782521, e-mail: c.witteveen at tudelft.nl. To apply, please e-mail a detailed CV along with a letter of application by 15 May 2012 to A.C.M. Hoek, HR-EEMCS at tudelft.nl. When applying for this position, please refer to vacancy number EWI2012-03. ______________________________________________________________________________ Prof. Cees Witteveen Electrical Engineering, Mathematics and Computer Science web : www.st.ewi.tudelft.nl/~witt/ Delft University of Technology e-mail : C.Witteveen at tudelft.nl P.O. Box 5031 phone : +31 15 278 2521 NL-2600 GA Delft fax : +31 15 278 6632 ______________________________________________________________________________ From geoff at cs.miami.edu Fri Mar 30 14:25:40 2012 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 30 Mar 2012 08:25:40 -0400 (EDT) Subject: The Turing Centenary Conference in Manchester: 2nd Call for Papers and Call For Participation Message-ID: <20120330122540.629E812170C@mcclellan.cs.miami.edu> THE TURING CENTENARY CONFERENCE Manchester, UK, June 22-25, 2012 http://www.turing100.manchester.ac.uk/ Second announcement, call for submissions and call for participation. Features: (1) Ten Turing Award winners, a Templeton Award winner and Garry Kasparov as invited speakers (2) GBP 20,000 worth best paper award program, including GBP 5,000 best paper award (3) Two panels and two public lectures (4) Turing Fellowship award ceremony (5) Computer chess programme (6) Competition of programs proving theorems (7) and many more ... For more details please check http://www.turing100.manchester.ac.uk/. Note that the registration is now open. SPEAKERS Confirmed invited speakers: - Fred Brooks (University of North Carolina) - Rodney Brooks (MIT) - Vint Cerf (Google) - Ed Clarke (Carnegie Mellon University) - Jack Copeland (University of Canterbury, New Zealand) - George Francis Rayner Ellis (University of Cape Town) - David Ferrucci (IBM) - Tony Hoare (Microsoft Research) - Garry Kasparov (Kasparov Chess Foundation) - Samuel Klein (Wikipedia) - Don Knuth (Stanford University) - Yuri Matiyasevich (Institute of Mathematics, St. Petersburg) - Hans Meinhardt (Max-Planck Institute for Developmental Biology) - Roger Penrose (University of Oxford) - Adi Shamir (Weizmann Institute of Science) - Michael Rabin (Harvard University) - Leslie Valiant (Harvard University) - Manuela M. Veloso (Carnegie Mellon University) - Andrew Yao (Tsinghua University) Confirmed panel speakers: - Ron Brachman (Yahoo Labs) - Steve Furber (The University of Manchester) - Carole Goble (The University of Manchester) - Pat Hayes (Institute for Human and Machine Cognition, Pensacola) - Bertrand Meyer (Swiss Federal Institute of Technology) - Moshe Vardi (Rice University) SUBMISSIONS: The Turing Centenary Conference will include invited talks and a poster session. Submissions are sought in several areas of computer science, mathematics and biology. Submissions of two kinds are welcome: - Regular papers - Research reports All submitted papers must be in the PDF format and between 3 and 15 pages long. All submissions will be evaluated by the programme committee. Submission is through the EasyChair system, https://www.easychair.org/conferences/?conf=turing100. Regular papers must include original work not submitted before or during the Turing-100 reviewing period to any other event with published proceedings or a journal. All submitted regular papers will be considered eligible for the best paper awards. Research reports can contain work in progress and/or be based on previously submitted work. They will not be eligible for the best paper awards. *** Areas *** Submissions are welcome in all areas of computer science, mathematics and biology listed below: - computation theory - logic in computation - artificial intelligence - social aspects of computation - models of computation - program analysis - mathematics of evolution and emergence - knowledge processing - natural language processing - cryptography - machine learning - cognitive science - mathematical biology *** Schedule and conference proceedings *** The submission deadline is April 16. All submissions will be evaluated by the programme committee. Authors will be notified by acceptance or rejection on or before May 1st. At least one author of every accepted paper must register for the conference, attend it and present the paper at the poster session. All accepted papers will be published in the conference proceedings and available at the conference. The instructions on preparing final versions for the proceedings will appear on the Turing-100 Web site. *** Submissions and Best paper awards *** A subset of accepted regular papers will be selected by the programme committee for the second round of reviewing. The authors of the selected papers will be invited to submit revised versions of their papers by May 16. The programme committee will make decisions on best paper awards by June 14. All papers receiving the award will be published in a book dedicated to the conference and published after the conference. This book will also contain some papers by invited and panel speakers. In the case of doubts about the relevance of your paper to the conference and for all other queries please contact programme chair Andrei Voronkov at andrei at voronkov.com. See http://www.turing100.manchester.ac.uk/index.php/submission for more details. BEST PAPER AWARDS: A subset of poster session submissions will be selected as candidates for best paper awards: - The best paper award of GBP 5,000 - The best young researcher best paper award of GBP 3,000 - The second best paper award of GBP 2,500 - The second best young researcher best paper award of GBP 1,500 - Sixteen (16) awards of GBP 500 each See http://www.turing100.manchester.ac.uk/index.php/submission/bestpaper for more details. REGISTRATION: The number of participants is limited. Register early to avoid disappointment! To register, access https://www.easychair.org/conferences/?conf=turing100 and click on "Registration". *** Registration fees *** All fees are in Pound Sterling. early (on or before May 3) late (May 4 or later) Student 280 330 Regular 380 450 To qualify for a student registration you must be a full-time student on June 23, 2012. The registration fees include - Attendance of sessions - Conference reception - Conference dinner - Coffee breaks and lunches - Poster session proceedings There will be a travel support programme for students and attendees from countries where getting funding for travel is hardly possible. For more details about registration check http://www.turing100.manchester.ac.uk/index.php/registration. DATES: April 16: Poster session submission deadline May 1: Poster session notification and selection of candidates for awards May 15: Final versions of poster session papers May 16: Submission of full versions of papers selected for awards June 14: Best paper award decisions June 22-25: Conference July 15: Final versions of papers selected for awards CHAIRS: Honorary Chairs: Rodney Brooks (MIT) Roger Penrose (Oxford) Conference Chairs: Matthias Baaz (Vienna University of Technology) Andrei Voronkov (The University of Manchester) Turing Fellowships Chair: Barry Cooper (University of Leeds) Theorem Proving Competition Chair: Geoff Sutcliffe (University of Miami) Programme Chair Andrei Voronkov (The University of Manchester) From micai at cic.ipn.mx Fri Mar 30 17:45:31 2012 From: micai at cic.ipn.mx (MICAI-2012) Date: Fri, 30 Mar 2012 09:45:31 -0600 Subject: CFP MICAI-2012, Artificial Intelligence, Springer LNAI, Mexico, Oct-Nov 2012 Message-ID: <731A4D9A389E433C9FC7C7441A07DDFC@Robot1> MICAI-2012 11th Mexican International Conference on ARTIFICIAL INTELLIGENCE October 27 - November 4, San Luis Potosi, Mexico Publication: Springer LNAI www.micai.org/2012 Submission: June 1: abstract, June 15: PDF (see webpage) == GENERAL INFORMATION Topics: all areas of Artificial Intelligence, research or applications. Keynote: 5 keynote speakers anticipated; more info to be announced. Workshops, tutorials. Travel grants for students. Best papers awards. == PROCEEDINGS Springer LNAI; special issues of journals (anticipated). Poster session: IEEE CPS (anticipated). == VENUE AND TOURS San Luis Potosi is a major tourist attraction of Mexico. Tours to unique attractions are planned. PLEASE CIRCULATE this CFP among your colleagues and students. We apologize if you receive multiple copies. From kuhntobias at gmail.com Fri Mar 30 21:15:10 2012 From: kuhntobias at gmail.com (Tobias Kuhn) Date: Fri, 30 Mar 2012 15:15:10 -0400 Subject: CNL 2012: Final Call for Papers / Deadline Extended to 13 April Message-ID: <4F76063E.5090908@gmail.com> --------------------------------------------------------------------- Final Call for Papers: - DEADLINE EXTENDED to 13 April *** THIRD WORKSHOP ON CONTROLLED NATURAL LANGUAGE (CNL 2012) *** 29-31 August 2012 Zurich, Switzerland http://attempto.ifi.uzh.ch/site/cnl2012/ --------------------------------------------------------------------- A controlled natural language (CNL) is based on natural language but comes with restrictions on vocabulary, grammar, and/or semantics. The general goal is to reduce or eliminate ambiguity and complexity. Some of these languages are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning on seemingly natural texts. Such languages have a direct mapping to some sort of formal logic and should improve the accessiblity of formal knowledge representations or specifications for people unfamiliar with formal notations. All these types of CNL are covered by this workshop. Topics ------ Possible topics for CNL 2012 include: - CNL for knowledge representation - CNL for question answering - CNL for specifications - CNL for business rules - CNL for interactive systems - CNL for machine translation - CNL for improved understandability of texts - design of CNLs - CNL applications - CNL evaluation - usability and acceptance of CNL - CNL grammars and lexica - reasoning in CNL - spoken CNL - CNL in the context of the Semantic Web and Linked Open Data - CNL in the government - CNL in industry - CNL use cases - theoretical properties of CNL Important Dates --------------- Submission deadline (extended): 13 April 2012 Notification of acceptance: 28 May 2012 Deadline for revised papers: 18 June 2012 Workshop: 29-31 August 2012 Submissions and Proceedings --------------------------- We invite researchers to submit papers with novel contributions in the area of CNL. These research papers should be formatted according to the Springer LNCS format and should not exceed 15 pages (but shorter papers are highly welcome too). Papers should be submitted in PDF format via the EasyChair conference system: http://www.easychair.org/conferences/?conf=cnl2012 Accepted papers will be included in the printed workshop proceedings to be published by Springer within the LNAI series. Authors of accepted papers will be invited to present their research at the workshop. Unlike the previous CNL workshops, the final papers will be reviewed and published before the workshop (there are no extended abstracts anymore). Venue ----- The workshop will take place at the Department of Informatics and the Institute of Computational Linguistics of the University of Zurich in Switzerland. Organization Committee ---------------------- - Tobias Kuhn (Yale University, USA), kuhntobias at gmail.com - Norbert E. Fuchs (University of Zurich, Switzerland), fuchs at ifi.uzh.ch Program Committee ----------------- - Johan Bos (University of Groningen, Netherlands) - Peter E. Clark (Vulcan Inc, USA) - Rogan Creswick (Galois, USA) - Danica Damljanovic (University of Sheffield, UK) - Brian Davis (DERI / National University of Ireland) - Norbert E. Fuchs (University of Zurich, Switzerland) - Normunds Gruzitis (University of Latvia) - Stefan Hoefler (University of Zurich, Switzerland) - Kaarel Kaljurand (University of Zurich, Switzerland) - Peter Koepke (University of Bonn, Germany) - Tobias Kuhn (Yale University, USA) - Hans Leiss (University of Munich, Germany) - Reinhard Muskens (Tilburg University, Netherlands) - Gordon Pace (University of Malta) - Richard Power (The Open University, UK) - Laurette Pretorius (University of South Africa) - Mike Rosner (University of Malta) - Aarne Ranta (Chalmers University, Sweden) - Rolf Schwitter (Macquarie University, Australia) - Geoff Sutcliffe (University of Miami, USA) - Silvie Spreeuwenberg (LibRT, Netherlands) - Uta Schwertel (imc, Germany) - Yorick Wilks (University of Sheffield, UK) - Adam Wyner (University of Liverpool, UK) From fink at kr.tuwien.ac.at Fri Mar 30 21:32:12 2012 From: fink at kr.tuwien.ac.at (Michael Fink) Date: Fri, 30 Mar 2012 21:32:12 +0200 Subject: CfP ASPOCP 2012: 5th Workshop on Answer Set Programming and Other Computing Paradigms Message-ID: <4F760A3C.9070801@kr.tuwien.ac.at> =============================================================================== CALL FOR PAPERS ASPOCP 2012 5th Workshop on Answer Set Programming and Other Computing Paradigms http://sites.google.com/site/aspocp12 September 4th, 2012 Collocated with the International Conference on Logic Programming 2012 Budapest, Hungary September 4-8, 2012 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most studied relationship which is currently extended towards satisfiability modulo theories (SMT), the relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified boolean formulas (QBF), first-order logic (FOL), or FO(ID) logic is also the subject of active research. New methods of computing answer sets are being developed based on the relation between ASP and other paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, FOL theorem provers, and CLP systems. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction. This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques in theory, solving, and applications , in combination with or inspired by other computing paradigms. TOPICS Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and probabilistic reasoning. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format . Paper submission will be handled electronically by means of the Easychair system. The submission page is available at http://www.easychair.org/conferences/?conf=aspocp12 IMPORTANT DATES Submission deadline: June 19, 2012 Notification: July 19, 2012 Camera-ready articles due: July 29, 2012 Workshop: September 4, 2012 PROCEEDINGS The workshop contributions will be published electronically, using the Computing Research Repository (CoRR). LOCATION The workshop will be held in Budapest, Hungary, collocated with the International Conference on Logic Programming (ICLP) 2012. WORKSHOP CO-CHAIRS Michael Fink, Vienna University of Technology, Austria Yuliya Lierler, University of Kentucky, USA PROGRAM COMMITTEE Marcello Balduccini, Kodak Research Labs, USA Gerhard Brewka, University of Leipzig, Germany Pedro Cabalar, Corunna University, Spain Sandeep Chintabathina, University of Arkansas at Pine Bluff, USA Wolfgang Faber, University of Calabria, Italy Martin Gebser, University of Potsdam, Germany Giovambattista Ianni, University of Calabria, Italy Joohyung Lee, Arizona State University, USA Joao Leite, New University of Lisbon, Portugal, Vladimir Lifschitz, University of Texas at Austin, USA Marco Maratea, University of Genoa, Italy Alessandro Mosca, Free University of Bolzano, Italy Emilia Oikarinen, Aalto University, Finland David Pearce, Universidad Politecnica de Madrid, Spain Axel Polleres, Siemens AG Corporate Technology, Austria Peter Schueller, Vienna University of Technology, Austria Guillermo R. Simari, Universidad Nacional del Sur, Argentina Tran Cao Son, New Mexico State University, USA Miroslaw Truszczynski, University of Kentucky, USA Joost Vennekens, Catholic University of Leuven, Belgium Stefan Woltran, Vienna University of Technology, Austria Fangkai Yang, University of Texas at Austin, USA Jia-Huai You, University of Alberta, Canada From announce at cs.ucy.ac.cy Sat Mar 31 11:33:02 2012 From: announce at cs.ucy.ac.cy (Announcements) Date: Sat, 31 Mar 2012 12:33:02 +0300 Subject: 15th IEEE CSE 2012: Call for Papers Message-ID: *** Call for Papers *** The 15th IEEE International Conference on Computational Science and Engineering (IEEE CSE 2012) http://www.cse2012.cs.ucy.ac.cy/ 3-5 October 2012, Paphos, Cyprus The Computational Science and Engineering area has earned prominence through advances in electronic and integrated technologies beginning in the 1940s. Current times are very exciting and the years to come will witness a proliferation in the use of various advanced computing systems. It is increasingly becoming an emerging and promising discipline in shaping future research and development activities in academia and industry, ranging from engineering, science, finance, economics, arts and humanitarian fields, especially when the solution of large and complex problems must cope with tight timing schedules. CSE 2012 is the next event, in a series of highly successful IEEE International Conferences on Computational Science and Engineering, held mainly as the International Workshop on High Performance Scientific and Engineering Computing for 10 editions. The previous CSE-11 was held in Dalian, China, August 24-26, 2011. CSE 2012 will take place in Coral Beach resort near the city of Paphos, Cyprus. Topics CSE-2012 is to bring together computer scientists, applied mathematicians, engineers in different disciplines and researchers to present, discuss and exchange ideas, results and experiences in the area of advanced computing for problems in science and engineering applications and inter-disciplinary. We are inviting new and unpublished papers on, but not limited to, the following topics: * Intelligent and Bio-inspired Computing * Distributed and Parallel Computing * Database and Data Mining * Cluster, Grid, P2P and Cloud Computing * Mobile Computing and Wireless Communications * CSE Education * Scientific and Engineering Computing * Embedded and Ubiquitous Computing * Advanced Networking and Applications * Security, Privacy and Trust * Service and Internet Computing - Dependable, Reliable and Autonomic Computing * CSE applications in the following areas, but not limited to: computational fluid dynamics and mechanics; material sciences; computational chemistry; space, weather, climate systems and global changes; computational environment and energy systems; computational ocean and earth sciences; combustion system simulation; computational physics; bioinformatics and computational biology; medical applications; transportation systems simulations; combinatorial and global optimization problems; structural engineering; computational electro-magnetic; computer graphics and multimedia; semiconductor technology and electronic circuits and system design; dynamic systems; computational finance; data mining; signal and image processing, etc. Submission Guidelines Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers should be at most 8 pages including the bibliography and well-marked appendices, and should follow the IEEE 8.5" x 11" Two-Column Format. Committee members are not required to read the appendices, and so the paper should be intelligible without them. Submissions are to be made to the submission web site. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Papers must be received by the submission deadline. Authors of accepted papers must guarantee that their papers will be presented at the conference. Accepted papers will be published in the IEEE conference proceedings (EI indexed). Selected best papers will be published in special issues of high quality journals (currently under negotation). Important Dates * Submission Deadline: 20 May * Notification of Acceptance: 15 July * Camera-ready Versions Submitted: 31 July * Author Registration: 31 July Organizing Committee General Chairs Hai Jiang, Arkansas State University, USA Jay Larson, Argonne National Laboratory, USA George A. Papadopoulos, University of Cyprus, Cyprus Steering Chairs Keqiu Li, Dalian University of Technology, China Kuan-Ching Li, Providence University, Taiwan Rodrigo F. de Mello, ICMC, University of S?o Paulo, Brazil Laurence T. Yang (Chair), St Francis Xavier University, Canada Program Chairs Bo Hong, Georgia Institue of Technology, USA Thomas Rauber, University of Bayreuth, Germany Gudula Runger, Chemnitz University of Technology, Germany Workshop Chairs Massimo Cafaro, University of Salento, Italy Mario Dantas, Federal University of Santa Catarina (UFSC), Brazil Program Vice-chairs Intelligent and Bio-inspired Computing Tony Xiaohua Hu, Drexel University, USA Distributed and Parallel Computing Rosa Badia, Barcelona Supercomputing Center, Spain Database and Data Mining Gagan Agrawal, Ohio State University, USA Cluster, Grid, Cloud and P2P Computing Eric Aubanel, University of New Brunswick, Canada Services and Internet Computing I-Ling Yen, University of Texas at Dallas, USA Mobile Computing and Wireless Communications Jo Ueyama, University of Sao Paulo, Brazil CSE Applications Raphael Couturier, University of Franche-Comte, France Scientific and Engineering Computing Elisabeth Larsson, Uppsala University, Sweden Embedded and Ubiquitous Computing John O'Donnell, University of Glasgow, UK Advanced Networking and Applications Helen Karatza, Aristotle University of Thessaloniki, Greece Security, Privacy and Trust Sabrina De Capitani di Vimercati, Università degli Studi di Milano, Italy Dependable, Reliable and Autonomic Computing Amiya Nayak, University of Ottawa, Canada CSE Education Sushil Prasad, Georgia State University, USA -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. From announce at cs.ucy.ac.cy Sat Mar 31 15:35:30 2012 From: announce at cs.ucy.ac.cy (Announcements) Date: Sat, 31 Mar 2012 16:35:30 +0300 Subject: 15th IEEE CSE 2012: Call for Workshop Proposals Message-ID: *** Call for Workshop Proposals *** The 15th IEEE International Conference on Computational Science and Engineering (IEEE CSE 2012) http://www.cse2012.cs.ucy.ac.cy/ 3-5 October 2012, Paphos, Cyprus The 15th IEEE International Conference on Computational Science and Engineering (CSE 2012) is seeking proposals for workshops to accompany the conference. We encourage members of the community to consider submitting proposals for workshops that bring together researchers and practitioners working on research topics of interest to the CSE community. The purpose of these workshops is to offer researchers a good opportunity to present their work in a more focused way than the conference itself and to obtain feedback from an interested community. Workshop organizers are responsible for establishing a program committee, collecting and evaluating submissions, notifying authors of acceptance or rejection in due time, ensuring a transparent and fair selection process, organizing selected papers into sessions, and assigning session chairs. Proposals on emerging topics guaranteed to generate significant interest in the community will be selected. Prospective workshop organizers are invited to submit proposals to the workshop chairs, Massimo Cafaro and Mario Dantas . Submission information All proposals must provide the following information: - Workshop name along with a brief 150 to 200-word abstract describing the event (suitable for the conference web site); - If applicable, provide a description of past versions of the activity, including dates, organizers, submission and acceptance counts, attendance, and information with which conference the workshop was co-located; - Brief rationale for the event and for co-locating with CSE; - Names and affiliations of main organizers and, where relevant, tentative composition of the committees (as complete as possible); - Event format, i.e., length of event (half-day or full-day), expected number of presented papers, invited talks, panels, demonstrations, number of days, etc; - Expected number of submissions and participants; - Draft Call For Papers (CFP), as complete as possible; - Submission/reviewing deadlines (internal and external). Important dates Proposals due: April 15, 2012 Acceptance notification: April 20, 2012 All workshops should maintain the same quality as the main conference. All the work papers will be included in the same conference proceedings. Once accepted, the workshop should establish own paper submission system. Each paper selected for inclusion in the proceedings must be registered for CSE 2012 at the same registration rates. Each paper must be presented in person by the author, or one of the authors. All the papers in the CSE 2012 workshops will be published in IEEE conference proceedings, in the same proceedings of CSE 2012, and will be made available to all conference registrants on site. All workshop papers will also be electronically available through IEEE Xplore Digital Database, and professionally indexed through INSPEC and EI Index. The accepted workshops can decide own submission deadlines but must follow the same camera-ready deadline and registration deadline as CSE 2012 main conference. Please organize your workshop as early as possible to ensure your effort turn out to be fruitful. For further information on preparing a workshop proposal, please contact the Workshop Chairs. -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email.