From Olivier.Boissier at emse.fr Fri Jul 1 13:33:32 2011 From: Olivier.Boissier at emse.fr (Olivier Boissier) Date: Fri, 01 Jul 2011 13:33:32 +0200 Subject: Call for Participation WI-IAT August 22-27, 2011, Lyon, France (early registration deadline July 22, 2011) Message-ID: <4E0DB08C.3070103@emse.fr> * Apologies for cross-posting * This is sent on behalf or the 2011 edition of IEEE/WIC/ACM WI-IAT conference organizing committee. **************************************************************************** The 2011 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCE ON WEB INTELLIGENCE (WI 2011) INTELLIGENT AGENT TECHNOLOGY (IAT 2011) CALL FOR PARTICIPATION August 22 - 27, 2011, Lyon, France **************************************************************************** Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) Early Registration Deadline : July 22, 2011 Schedule: Workshops and Industry day: August 22, 2011 Main Conference: August 23-25, 2011 Summer School: August 26-27, 2011 Information on the conference and registration is available at: http://wi-iat-2011.org See you in Lyon! WI-IAT 2011 organization committee ======================================= From sebastian.rudolph at aifb.uni-karlsruhe.de Sun Jul 3 19:42:35 2011 From: sebastian.rudolph at aifb.uni-karlsruhe.de (Sebastian Rudolph) Date: Sun, 3 Jul 2011 19:42:35 +0200 Subject: Call for Participation: RR2011, early registration until 10th of July Message-ID: <90DA3B8F-66B4-4F01-A45A-472B748C2450@aifb.uni-karlsruhe.de> Apologies for multiple postings. Please forward to interested parties. ------------------------------------------------------------------------------- CALL FOR PARTICIPATION RR 2011 The Fifth International Conference on Web Reasoning and Rule Systems Galway, Ireland, 29-30 August 2011 http://www.rr-conference.org/RR2011/ 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. RR 2011 builds on the success of the four previous International Conferences on Web Reasoning and Rule Systems (see http://www.rr-conference.org), held in Innsbruck, Austria (2007), Karlsruhe, Germany (2008), and Chantilly, Virginia, USA(2009), Bressanone/ Brixen, Italy (2010), and which received enthusiastic support from the Web Reasoning community. In 2011, RR will continue the excellence of the new series and aim to attract the best WebReasoning and Rules researchers from all over the world. Moreover, this year's conference will be co-located with the 7th Reasoning Web Summer School (23-27 Aug, cf. http://reasoningweb.org/2011/ for details) which is a great opportunity particularly for young researchers to combine with attendance of the conference. Poster submissions by summer school participants are particularly encouraged. ==Registration== RR2011 early registration (before July 10): 300 EUR regular 175 EUR student RR2011 late/onsite registration (after July 10): 350 EUR regular 225 EUR student ==Topics== * Representation techniques for Web-based knowledge * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Foundations and applications related to relevant standardization bodies * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the Web * Approximate reasoning techniques for the Web * Integration of statistical methods and symbolic reasoning * Stream reasoning * Semantic Web Services modeling and applications * Web and Semantic Web applications and experience papers ==Keynotes== "Ontological Query Answering with Existential Rules" Marie-Laure Mugnier LIRMM (CNRS and University of Montpellier), France "Exchanging more than Complete Data" Marcelo Arenas Pontificia Universidad Católica de Chile, Santiago, Chile ==Organization== * General chair - Heiner Stuckenschmidt * Program chairs - Sebastian Rudolph - Claudio Gutierrez * Local Chair - Axel Polleres * Sponsorship Chair - Krzysztof Janowicz * Program committee - Marcelo Arenas - Jean-Francois Baget - Andrea Cali - Diego Calvanese - Vinay Chaudhri - Kendall Clark - Claudia D'Amato - Thomas Eiter - Sergio Flesca - Georg Gottlob - Stijn Heymans - Pascal Hitzler - Rinke Hoekstra - Giovambattista Ianni - Georg Lausen - Domenico Lembo - Francesca Alessandra Lisi - Thomas Lukasiewicz - Wolfgang May - Boris Motik - Ralf Möller - Jeff Z. Pan - Axel Polleres - Andrea Pugliese - Guilin Qi - Riccardo Rosati - Alan Ruttenberg - Umberto Straccia - Terrance Swift - Sergio Tessaris - Holger Wache _________________________________________________ Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone +49 721 608 - 47362 www.sebastian-rudolph.de fax +49 721 608 - 45998 From leon.vandertorre at uni.lu Tue Jul 5 08:58:00 2011 From: leon.vandertorre at uni.lu (Leon Van Der Torre) Date: Tue, 5 Jul 2011 08:58:00 +0200 Subject: Fwd: 2nd CFP: Special issue of Journal of Logic and Computation on Deontic Logic and Normative Systems Message-ID: <4E12B5F8.6090906@uni.lu> 1951 - 2011: 60 years of DEONTIC LOGIC Special issue of Journal of Logic and Computation, corner on Deontic Logic and Normative Systems Paper Submission Deadline: *September 1, 2011* http://deonticlogic.org/ With his seminal paper ``deontic logic'' published in Mind in 1951, Von Wright launched the area of deontic logic. It is the field of logic that is concerned with obligation, permission, and related concepts. We invite papers concerned with the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related areas of logic, and the formal analysis of normative concepts and normative systems. We also invite applications of deontic logic and normative systems to, for example, the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including the representation of rights, authorisation, delegation, power, responsibility and liability, the formal specification of normative systems for the management of bureaucratic processes in public or private administration, applications of normative logic to the specification of database integrity constraints, security and privacy, and normative aspects of protocols for communication, negotiation and multi-agent decision making. Submission Details ================== Authors are invited to submit an original, previously unpublished, research paper pertaining to any of the above mentioned topics. The paper should follow the specifications of the journal as detailed: http://www.oxfordjournals.org/our_journals/logcom/for_authors/index.html The paper must be submitted via the Easychair system, not sent directly to the journal: https://www.easychair.org/conferences/?conf=deon60years Each submitted paper will be carefully peer-reviewed based on originality, significance, technical soundness, and clarity of exposition and relevance for the journal. Corner editors, and editors of the special issue =============== Guido Governatori, NICTA, Queensland Research Laboratory John Horty, University of Maryland Ron van der Meyden, University of New South Wales Leon van der Torre, University of Luxembourg -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From torsten at cs.uni-potsdam.de Tue Jul 5 15:30:01 2011 From: torsten at cs.uni-potsdam.de (Torsten Schaub) Date: Tue, 5 Jul 2011 15:30:01 +0200 (CEST) Subject: PhD Position in Answer Set Programming and Sensor Networks Message-ID: <20110705133001.24B8B200BD@aix.haiti.cs.uni-potsdam.de> PhD Position in Answer Set Programming and Sensor Networks The Knowledge Representation and Reasoning group at the University of Potsdam is looking for a doctoral researcher in the area of Answer Set Programming (ASP). The position is part of the EU project StrokeBack aiming to build an automated remote rehabilitation system for stroke patients. A major focus of the envisaged research consists in using ASP as a Knowledge Representation and Reasoning tool for modeling rehabilitation exercises guided by sensor networks in a real-time environment. Apart from using ASP tools from potassco.sourceforge.net, specifically the reactive ASP solver oClingo, this involves dealing with Body Area Networks (BANs) as well as additional sensor devices, like Kinects or Wiis. A successful candidate holds a MSc in Computer Science or a related discipline and has ideally already an interest in ASP or related areas such as SAT or CSP paired with strong communication skills (both speaking and writing) in English. The appointment is for 3 years, aiming to start in October 2011. The salary follows the German E13 scheme and depends on the applicant's work experience. Initial screening of applications begins immediately and the position remains open until filled. Applications: Please contact Torsten Schaub, preferably via email to torsten at cs.uni-potsdam.de From Thomas.Lukasiewicz at comlab.ox.ac.uk Thu Jul 7 19:08:55 2011 From: Thomas.Lukasiewicz at comlab.ox.ac.uk (Thomas Lukasiewicz) Date: Thu, 07 Jul 2011 18:08:55 +0100 Subject: URSW 2011: Call for Papers Message-ID: <4E15E827.2000900@comlab.ox.ac.uk> [Apologies for multiple copies] CALL FOR PAPERS 7th International Workshop on Uncertainty Reasoning for the Semantic Web http://c4i.gmu.edu/ursw/2011 In conjunction with the 10th International Semantic Web Conference Bonn, Germany October 23-27, 2011 You are invited to participate in the upcoming workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 10th International Semantic Web Conference (ISWC) in October of 2011 at the Hotel Maritim Bonn, Germany. ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Uncertainty Reasoning Workshop is an exciting opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle uncertainty is extremely limited. Recently, there has been a groundswell of demand for uncertainty reasoning technology among Semantic Web researchers and developers. This surge of interest creates a unique opening to bring together two communities with a clear commonality of interest but little history of interaction. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision. AUDIENCE The intended audience for this workshop includes the following * Researchers in uncertainty reasoning technologies with interest in Semantic Web and Web-related technologies; * Semantic web developers and researchers; * People in the knowledge representation community with interest in the Semantic Web. * Ontology researchers and ontological engineers; * Web services researchers and developers with interest in the Semantic Web; * Developers of tools designed to support semantic web implementation, e.g., Jena developers, Protégé developers, OWL-API developers. TOPIC LIST We intend to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web (including fuzzy theory, probability theory, and other approaches). Therefore, the following list should be just an initial guide. * Syntax and semantics for extensions to Semantic Web languages to enable representation of uncertainty; * Logical formalisms to support uncertainty in Semantic Web languages; * Probability theory as a means of assessing the likelihood that terms in different ontologies refer to the same or similar concepts; * Architectures for applying plausible reasoning to the problem of ontology mapping; * Using fuzzy approaches to deal with imprecise concepts within ontologies; * The concept of a probabilistic ontology and its relevance to the Semantic Web; * Best practices for representing uncertain, incomplete, ambiguous, or controversial information in the Semantic Web; * The role of uncertainty as it relates to Web services; * Interface protocols with support for uncertainty as a means to improve interoperability among Web services; * Uncertainty reasoning techniques applied to trust issues in the Semantic Web; * Existing implementations of uncertainty reasoning tools in the context of the Semantic Web; * Issues and techniques for integrating tools for representing and reasoning with uncertainty; * The future of uncertainty reasoning for the Semantic Web. IMPORTANT DATES August 10 Paper submissions due August 31 Paper acceptance notification September 5 Camera-ready papers due October 17 Presentations due October 23 7th Workshop on Uncertainty Reasoning for the Semantic Web SUBMISSION DETAILS The URSW will be accepting submissions of technical papers and position papers. Each submission will be evaluated for acceptability by at least three members of the Program Committee. Decisions about acceptance will be based on relevance to the above topic list, originality, potential significance, topicality and clarity. Since all accepted papers will be presented at the workshop, we require that at least one of the submitting authors must be a registered participant at the ISWC 2011 Conference, and committed to attend the URSW Workshop. Submissions to the Workshop are only accepted in electronic format and should be sent via the workshop's submission site: http://www.easychair.org/conferences/?conf=ursw2011. Papers must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). This is the very same format adopted by the ISWC 2011. For complete details, see Springer's Author Instructions (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Technical papers submitted to the URSW Workshop must not exceed 12 pages, including figures. Submissions exceeding this limit will not be reviewed. Position papers consist of a summary of ideas, projects, or any research efforts that are relevant to the URSW Workshop and must not exceed 4 pages. Following the general acceptance rules of the ISWC 2011 conference, papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference will not be accepted to the URSW workshop. PRESENTATION AND PUBLICATION URSW 2011 will be a full-day workshop divided into 4 sessions. The first session will start with the workshop's keynote presentation, which will be followed by technical paper presentations. Sessions two and three will be devoted to presenting our selected technical and position papers, while the remaining session will be planned in a format that invites an open debate on the results, conclusions, recommendations, and follow-up work of the URW3-XG group. We plan to convey a work meeting after the workshop, if the last session needs to be extended. All papers accepted to the URSW will be presented during the workshop and published in the workshop proceedings, which will be available as a separate publication after the Conference. Authors of accepted technical papers will have 20 minutes to present their work, while authors of accepted position papers will have a 10-minute slot to share their ideas. After each presentation, 5 minutes will be allocated to questions from the audience. Both technical and position papers will be published in the URSW Workshop proceedings, to be available after the ISWC 2011 Conference. In addition, technical papers accepted for presentation at the URSW 2011 will be eligible for participating in an international journal special issue or in a post-proceedings book. ORGANIZING COMMITTEE The organizing committee is as follows (in alphabetical order): * Fernando Bobillo - University of Zaragoza, Spain * Rommel N. Carvalho - George Mason University, USA * Paulo C. G. Costa - George Mason University, USA * Claudia d'Amato - University of Bari, Italy * Nicola Fanizzi - University of Bari, Italy * Kathryn Laskey - George Mason University, USA * Ken Laskey -- MITRE Corporation, USA * Thomas Lukasiewicz - Oxford University, UK * Trevor Martin - University of Bristol, UK * Matthias Nickles - Technical University of Munich, Germany * Michael Pool - Convera, Inc., USA PROGRAM COMMITTEE The confirmed members of the program committee are the following (in alphabetical order): * Fernando Bobillo - Universidad de Zaragoza, Spain * Silvia Calegari - University of Milano-Bicocca, Italy * Rommel N. Carvalho - George Mason University, USA * Paulo C. G. Costa - George Mason University, USA * Fabio G. Cozman - Universidade de Sao Paulo, Brazil * Claudia D'Amato - University of Bari, Italy * Nicola Fanizzi - University of Bari, Italy * Marcelo Ladeira - University of Brasilia, Brazil * Kathryn B. Laskey - George Mason University, USA * Kenneth J. Laskey - MITRE Corporation, USA * Thomas Lukasiewicz - Oxford University, UK * Trevor Martin - University of Bristol, UK * Matthias Nickles - University of Bath, UK * Jeff Z. Pan - University of Aberdeen, UK * Rafael Peñaloza, Technical University Dresden, Germany * Michael Pool - Convera, Inc., USA * Livia Predoiu - Universität Mannheim, Germany * Célia Ralha - University of Brasilia, Brazil * David Robertson - University of Edinburgh, UK * Daniel Sánchez - European Centre for Soft Computing, Spain * Thomas Scharrenbach - Swiss Federal Institute WSL, Switzerland * Sergej Sizov - University of Koblenz-Landau, Germany * Giorgos Stoilos - Oxford University, UK * Umberto Straccia -- ISTI-CNR, Pisa, Italy * Andreas Tolk - Old Dominion University, USA * Peter Vojtas -- Charles University, Czech Republic We are looking forward to seeing you in Bonn! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Thomas.Lukasiewicz at comlab.ox.ac.uk Sat Jul 9 17:25:05 2011 From: Thomas.Lukasiewicz at comlab.ox.ac.uk (Thomas Lukasiewicz) Date: Sat, 09 Jul 2011 16:25:05 +0100 Subject: FoIKS 2012: Preliminary Call for Papers Message-ID: <4E1872D1.50803@comlab.ox.ac.uk> [Apologies for multiple copies] ------------------------------------------------------- P R E L I M I N A R Y C A L L F O R P A P E R S ------------------------------------------------------- Seventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012) March 5-9, 2012 -- Kiel, Germany The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2012 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimisation. Previous FoIKS symposia were held in Sofia (Bulgaria) in 2010, Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002, and Burg/Spreewald near Berlin (Germany) in 2000. FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East-West collaboration in the field of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research. Furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. Typical topics include, but are not limited to: * Database Design: formal models, dependencies and independencies; * Dynamics of Information: models of transactions, concurrency control, updates, consistency preservation, belief revision; * Information Fusion: heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency; * Integrity and Constraint Management: verification, validation, consistent query answering, information cleaning; * Intelligent Agents: multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, logical models of emotions; * Knowledge Discovery and Information Retrieval: machine learning, data mining, formal concept analysis and association rules, text mining, information extraction; * Knowledge Representation, Reasoning and Planning: non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, argumentation systems; * Logics in Databases and AI: classical and non-classical logics, logic programming, description logic, spatial and temporal logics, probability logic, fuzzy logic; * Mathematical Foundations: discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness; * Security in Information and Knowledge Systems: identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management; * Semi-Structured Data and XML: data modelling, data processing, data compression, data exchange; * Social Computing: collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems; * The Semantic Web and Knowledge Management: languages, ontologies, agents, adaption, intelligent algorithms; and * The WWW: models of Web databases, Web dynamics, Web services, Web transactions and negotiations. SUBMISSION OF PAPERS Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (see http://www.springer.com/comp/lncs/Authors.html). The suggested number of pages is 16, and the maximum number of pages is 18. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via EasyChair at http://www.easychair.org/conferences/?conf=foiks2012. IMPORTANT DATES Abstract submission deadline: September 23, 2011 Paper submission deadline: September 30, 2011 Paper accept/reject decisions: November 5, 2011 Camera-ready papers due: December 10, 2011 Early registration deadline: December 10, 2011 CONFIRMED INVITED SPEAKERS Thomas Schwentick (TU Dortmund, Germany) PROGRAM CHAIRS Thomas Lukasiewicz (University of Oxford, UK) Attila Sali (Alfréd Rényi Institute, Hungarian Academy of Sciences, Hungary) LOCAL ORGANIZATION CHAIR Bernhard Thalheim (Christian-Albrechts-University Kiel, Germany) PUBLICITY CHAIR Markus Kirchberg (HP Labs, Singapore) From ghilardi at dsi.unimi.it Sun Jul 10 11:59:51 2011 From: ghilardi at dsi.unimi.it (Silvio Ghilardi) Date: Sun, 10 Jul 2011 11:59:51 +0200 Subject: AiML 2012 early call for papers Message-ID: <1310291991.2155.6.camel@ghilardi-laptop> [Apologies for multiple copies] AiML-2012: FIRST CALL FOR PAPERS 9-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC COPENHAGEN, 22-25 AUGUST, 2012 http://hylocore.ruc.dk/aiml2012 Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2012 is the ninth conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic + complexity and decidability of modal and temporal logics + modal and temporal logic programming + model checking + model generation + theorem proving for modal logics - theoretical aspects of modal logic + algebraic and categorical perspectives on modal logic + coalgebraic modal logic + completeness and canonicity + correspondence and duality theory + many-dimensional modal logics + modal fixed point logics + model theory of modal logic + proof theory of modal logic - specific instances and variations of modal logic + description logics + modal logics over non-boolean bases + dynamic logics and other process logics + epistemic and deontic logics + modal logics for agent-based systems + modal logic and game theory + modal logic and grammar formalisms + provability and interpretability logics + spatial and temporal logics + hybrid logic + intuitionistic logic + substructural logics + computationally light fragments of all such logics Papers on related subjects will also be considered. INVITED SPEAKERS: TO BE ANNOUNCED PAPER SUBMISSIONS There will be two types of submissions to AiML-2012 (1) Full papers for publication in the proceedings and presentation at the conference. (2) Abstracts for short presentation only. Both types of papers should be submitted electronically using the EasyChair submission page at http://www.easychair.org/conferences/?conf=aiml2012 (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML'2012 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTex, using a style file and template that will be provided on the AiML'2012 website hylocore.ruc.dk/aiml2012. (2) ABSTRACTS These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted abstracts will be made available at the conference, and the authors will have the opportunity to make short presentations (of up to 15 minutes) on them. At least one author of each accepted paper or abstract must register for, and attend, the conference to present his or her work. SPECIAL SESSION ON HYBRID LOGIC: Hybrid logic is an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. There will be a special session of AiML devoted to papers on hybrid logic. The scope of the special session is standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but also other extensions of modal logic can be considered.Papers for this session should be submitted the same way as others. PROGRAMME COMMITTEE: Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina) Philippe Balbiani (IRIT, Toulouse, France) Lev Beklemishev (Moscow State University, Russia) Guram Bezhanishvili (New Mexico State University, USA) Nick Bezhanishvili (Imperial College London, UK) Patrick Blackburn (Roskilde University, Denmark) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) Giovanna Corsi (Universita' di Bologna, Italy) Giovanna D'Agostino (Universita' di Udine, Italy) Stephane Demri (LSV, ENS Cachan, France) Melvin Fitting (Lehman College, CUNY, USA) Robert Goldblatt (Victoria University of Wellington, New Zealand) Valentin Goranko (Technical University of Denmark) Rajeev Gore (Australian National University, Australia) Andreas Herzig (IRIT, Toulouse, France) Ian Hodkinson (Imperial College London, UK) Wiebe van der Hoek (University of Liverpool, UK) Alexander Kurz (University of Leicester, UK) Tadeusz Litak (University of Leicester, UK) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Martin Otto (Technical University of Darmstadt, Germany) Alessandra Palmigiano (ILLC, University of Amsterdam, The Netherlands) Renate Schmidt (University of Manchester, UK) Lutz Schroeder (DFKI GmbH and University of Bremen, Germany) Valentin Shehtman (Moscow State University, Russia) Dimiter Vakarelov (Sofia University, Bulgaria) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Ruhr University Bochum, Germany) Frank Wolter (University of Liverpool, UK) Michael Zakharyaschev (Birkbeck College, London, UK) PROGRAMME COMMITTEE CO-CHAIRS Silvio Ghilardi (Universita' degli Studi di Milano, Italy) Lawrence Moss (Indiana University, USA) ORGANIZING COMMITTEE CO-CHAIRS: Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) IMPORTANT DATES Full papers submission deadline: 16 March 2012 Full papers acceptance notification: 18 May 2012 Short presentations (abstracts) submission deadline: 1 June, 2012 Short presentations acceptance notification: 7 June, 2012 Final version of full papers and abstracts due: 15 June 2012 Conference: 22-25 August, 2012. CONFERENCE LOCATION Advances in Modal Logic 2012 will be held at the IDA conference center in downtown Copenhagen: http://ida.dk/sites/moedecenter/english/Sider/EnglishForside.aspx This is in easy walking distance from Copenhagen Central Station and a number of reasonably priced hotels. From wjamroga at in.tu-clausthal.de Tue Jul 12 09:58:39 2011 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Tue, 12 Jul 2011 09:58:39 +0200 Subject: Logical Aspects of Multi-Agent Systems (LAMAS 2011): last CfP & deadline extension Message-ID: <4E1BFEAF.3030708@in.tu-clausthal.de> [With apologies for multiple copies] *** Note: the submission deadline has been extended to August 1 *** 4th Workshop on Logical Aspects of Multi-Agent Systems *** LAMAS 2011 *** (held together with M4M-7) November 10, 2011, in Osuna (Spain) http://icr.uni.lu/lamas2011/ Call for Papers INTRODUCTION There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop serves the community as a platform for presentation, exchange, and publication of ideas. This year, LAMAS will be held as a part of the 7th Methods for Modalities conference (M4M-7), see http://personal.us.es/hvd/m4m/ and the LAMAS 2011 web page for details. The workshop is intended to cover the following subjects: - Logical systems for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - Deductive systems for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Logic-based tools for MAS - Applications of logics in MAS. SUBMISSION Authors are invited to submit papers in the following two categories: - Regular papers up to 15 pages, describing original unpublished research. (Position papers and visionary work in progress can also be submitted in this category.) - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. Submissions should be anonymous, subject to double-blind reviewing procedure. They must be in pdf and prepared according to the ENTCS style, see http://www.entcs.org/prelim.html for instructions and templates. Papers should be submitted via EasyChair at the following address: https://www.easychair.org/conferences/?conf=lamas2011 . PROCEEDINGS The joint proceedings of LAMAS 2011 and M4M-7 will appear as a volume in Electronic Notes in Theoretical Computer Science (ENTCS), an electronic journal published by Elsevier. INVITED SPEAKER Andreas Herzig, IRIT, Toulouse, France IMPORTANT DATES Paper submission: August 1, 2011 Author notification: September 1, 2011 Camera-ready deadline: September 15, 2011 Workshop: November 10, 2011 PROGRAM COMMITTEE Thomas Agotnes, University of Bergen Natasha Alechina, University of Nottingham Thomas Bolander, Technical University of Denmark Juergen Dix, Clausthal University of Technology Valentin Goranko, Technical University of Denmark Andreas Herzig, University of Toulouse Wojtek Jamroga, University of Luxembourg Alessio Lomuscio, Imperial College London John-Jules Meyer, Utrecht University Wojciech Penczek, Polish Academy of Sciences, Warsaw Rineke Verbrugge, Rijksuniversiteit Groningen Mike Wooldridge, University of Liverpool ORGANIZATION AND CONTACT The workshop is organized by Valentin Goranko, Technical University of Denmark, and Wojtek Jamroga, University of Luxembourg. In case of questions, do not hesitate to contact us at lamas at uni.lu . -- Dr. habil. Wojciech Jamroga Faculty of Science, Technology and Communication University of Luxembourg http://www2.in.tu-clausthal.de/~wjamroga/ From fernandez at iiia.csic.es Wed Jul 13 12:05:24 2011 From: fernandez at iiia.csic.es (Jose Luis Fernandez Marquez) Date: Wed, 13 Jul 2011 12:05:24 +0200 Subject: CFP - Coordination Models, Languages and Applications - CM track at ACM SAC 2012 Message-ID: <4E1D6DE4.9040107@iiia.csic.es> CfP: ACM SAC Special Track on Coordination Models, Languages and Applications ----------------------------------------------------------------------- CALL FOR PAPERS ----------------------------------------------------------------------- Coordination Models, Languages and Applications Special Track of the 27th Symposium On Applied Computing (SAC 2012) March 25 - 29, 2012, Riva del Garda (Trento), Italy http://sac2012.apice.unibo.it ----------------------------------------------------------------------- IMPORTANT DATES Aug. 31, 2011: Paper submissions Oct. 12, 2011: Author notification Nov. 2, 2011: Camera-Ready Copy ----------------------------------------------------------------------- AIMS & SCOPE Building on the success of the thirteen previous editions (1998-2011), a special track on coordination models, languages and applications will be held at SAC 2012. Over the last decade, we have witnessed the emergence of models, formalisms and mechanisms to describe concurrent and distributed computations and systems based on the concept of coordination. The purpose of a coordination model is to enable the integration of a number of, possibly heterogeneous, components (processes, objects, agents) in such a way that the resulting ensemble can execute as a whole, forming a software system with desired characteristics and functionalities which possibly takes advantage of parallel and distributed systems. The coordination paradigm is closely related to other contemporary software engineering approaches such as multi-agent systems, service-oriented architectures, component-based systems and related middleware platforms. Furthermore, the concept of coordination exists in many other Computer Science areas such as workflow systems, cooperative information systems, distributed artificial intelligence, and Internet technologies. After more than a decade of research, the coordination paradigm is gaining increased momentum in state-of-the-art engineering paradigms such as multi-agent systems and service-oriented architectures: in the first case, coordination abstractions are perceived as essential to design and support the working activities of agent societies; in the latter case, service coordination, orchestration, and choreography are going to be essential aspects of the next generations of systems based on Web services. The Special Track on Coordination Models, Languages and Applications takes a deliberately broad view of what constitutes coordination. Accordingly, major topics of interest this year will include: - Novel models, languages, programming and implementation techniques - Applications - Internet, Web, and pervasive computing coordinated systems - Coordination of multi-agent systems, including mobile agents, intelligent agents, and agent-based simulations - Languages for service description and composition - Models, frameworks and tools for Group Decision Making - All aspects related to Cooperative Information Systems (e.g. workflow management, CSCW) - Software architectures and software engineering techniques - Configuration and Architecture Description Languages - Middleware platforms - Self-organising and nature-inspired coordination approaches - Coordination technologies, systems and infrastructures - Relationship with other computational models such as object oriented, declarative (functional, logic, constraint) programming or their extensions with coordination capabilities - Formal aspects (semantics, type systems, reasoning, verification) - Coordination models and specification in Service-Oriented Architectures, Web Service technologies (orchestration, choreography, etc), and Pervasive Computing. ----------------------------------------------------------------------- PROCEEDINGS Papers accepted for the Special Track on Coordination Models, Languages and Applications will be published by ACM both in the SAC 2012 proceedings and in the Digital Library. A Special Issue on an International Journal (with IF) based on selected papers is planned just after the conference. ----------------------------------------------------------------------- PAPER SUBMISSION All papers should represent original and previously unpublished works that currently are not under review in any conference or journal. The author(s) name(s) and address(es) must NOT appear in the body of the paper, and self-reference should be in the third person. This is to facilitate blind review. Only the title should be shown at the first page without the author's information. Submitted papers must be no longer than 6 pages and in the ACM two-column page format (doc template, pdf template, latex template). It will be possible to have up to 2 extra pages in the proceeding at a charge of $80 per page (total 8 pages maximum). Submission is entirely automated via the STAR Submission System, which is available from the main SAC Web Site: http://www.acm.org/conferences/sac/sac2012/. ----------------------------------------------------------------------- TRACK CO-CHAIR Mirko Viroli, Alma Mater Studiorum - Universita di Bologna, Italy Gabriella Castelli, University of Modena and Reggio Emilia, Italy Jose Luis Fernandez-Marquez, IIIA-CSIC, Spain ----------------------------------------------------------------------- PROGRAM COMMITTEE Farhad Arbab, CWI Amsterdam and Leiden University, Netherlands Marcello Bonsangue, Leiden University, Netherlands Dave Clarke, Katholieke Universiteit Leuven, Belgium Ferruccio Damiani, University of Torino, Italy Rocco De Nicola, University of Firenze, Italy Simon Dobson, University of St Andrews, Scotland Keith Harrison-Broninski, Role Modellers Ltd, UK Manuel Mazzara, Newcastle University, UK Henry Muccini, University of l'Aquila, Italy Andrea Omicini, University of Bologna, Italy Manuel Oriol, University of York, UK Antonio Porto, University of Porto, Portugal Rosario Pugliese, University of Florence, Italy Alessandro Ricci, University of Bologna, Italy Davide Rossi, University of Bologna, Italy Norman Salazar, Artificial Intelligence Research Institute, Spain Michael Ignaz Schumacher, University of Applied Sciences, Switzerland Yasuyuki Tahara, National Institute of Informatics, Japan Carolyn Talcott, SRI International, USA Paul Tarau, University of North Texas, USA Robert Tolksdorf, Freie Universitaet Berlin, Germany Emilio Tuosto, University of Leicester, UK Meritxell Vinyals, Artificial Intelligence Research Institute, Spain George Wells, Rhodes University, South Africa Herbert Wiklicky, Imperial College London, UK Pawel T. Wojciechowski, Poznan University of Technology, Poland Franco Zambonelli, University of Modena and Reggio Emilia, Italy From carlos.areces at gmail.com Sat Jul 16 00:47:53 2011 From: carlos.areces at gmail.com (Carlos Areces) Date: Fri, 15 Jul 2011 19:47:53 -0300 Subject: NASSLLI 2012 - 2nd CALL for COURSE and WORKSHOP PROPOSALS Message-ID: ============================================================ NASSLLI 2012 North American Summer School in Logic, Language and Information 2012 http://nasslli2012.com/ June 18-22, University of Texas at Austin 2nd CALL for COURSE and WORKSHOP PROPOSALS The fifth NASSLLI (after previous editions at Stanford University, Indiana University and UCLA) will be hosted at the University of Texas at Austin, on June 18 - 22, 2012. The summer school, loosely modeled on the long- running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 minutes on each of five days. Proposals are invited that present interdisciplinary work between the areas of logic, linguistics, computer science, cognitive science, philosophy and artificial intelligence, though work in just one area is within the scope of the summer school if it can be applied in other fields. Examples of possible topics would include e.g. logics for communication, computational semantics, game theory (for logic, language and/or computation), dynamic semantics, modal logics, linear logic, machine learning techniques, statistical language models, and automated theorem proving. We encourage potential course or workshop contributors to check out previous programs at: * http://www.linguistics.ucla.edu/nasslli04/program.html * http://www.stanford.edu/group/nasslli/ * http://www.indiana.edu/~nasslli/2003/program.html * http://www.indiana.edu/~nasslli/ Courses and workshops should aim to be accessible to an interdisciplinary, graduate level audience. Courses may certainly focus on a single area, but lecturers should then include introductory background, try to avoid specialized notation that cannot be applied more widely, and spend time on the question of how the topic is relevant to other fields. A workshop can be more accessible if its program is bracketed by broader-audience talks that introduce and summarize the week's presentations. Associated Workshops/Conferences: In addition to courses and workshops taking place during the main NASSLLI five day session, NASSLLI welcomes proposals for 1-3 day workshops or conferences hosted on campus immediately before or after the summer school, thus on the weekends of June 15-17 and June 23-25 2012. Previous such associated meetings have included the Dynamic Epistemic Logic Workshop, the Mathematics of Language conference, and the Theoretical Aspects of Reasoning About Knowledge (TARK) conference. Submission Details: Submissions should be submitted using EasyChair (http://www.easychair.org/conferences/?conf=nasslli2012), and should indicate 1) person(s) in charge of the course/workshop and affiliation(s) 2) type of event (one week course or workshop, 2 hours a day) 3) an outline of the course/workshop up to 500 words 4) Special equipment (if any) needed to teach the course (beamer, computer ...) 5) a statement about the instructor's experience in teaching in interdisciplinary settings 6) expected costs (whether you want to be paid hotel and/or travel, and descriptions of funding in hand or for which you will apply) Financial Details: A course may be taught by one or two persons. Conference fees are waived for all instructors. However, we are only able to pay for the full travel and expenses of one instructor per course. If two persons are lecturing, they may share a lump sum paid for both. We must also stress that while proposals from all over the world are welcomed, the Summer School can in general guarantee only to reimburse travel costs for travel from destinations within North America to Texas, although exceptions can be made depending on the financial situation. Furthermore, we encourage all lecturers to fund their own travel if this is feasible, since this will allow us to use our available funding for student scholarships. Workshops are more complicated financially than courses, and a proposal for a workshop should include a plan to obtain some outside funding for the speakers. Schedule: July 31, 2011 - Deadline for submissions; August 31, 2011 - Course/workshop proposers notified of p.c. decisions; May 15, 2012 - Material for courses available for printing; Program Committee: Carlos Areces (co-chair), Universidad Nacional de Córdoba David Beaver, University of Texas, Austin Emily Bender, University of Washington Josh Dever, University of Texas, Austin Valeria de Paiva (co-chair), Rearden Commerce, Inc. Angelika Kratzer, University of Massachusetts Lawrence Moss, Indiana University Vladimir Lifschitz, University of Texas, Austin Eric Pacuit, Maryland University Chris Potts, Stanford University Chung-chieh Shan, Rutgers University Annie Zaenen, Stanford University and PARC Standing NASSLLI Steering Committee: David Beaver, University of Texas, Austin Phokion Kolaitis, UC Santa Cruz and IBM Almaden Research Center Lawrence S. Moss, Indiana University Valeria de Paiva , Rearden Commerce, Inc. Stuart Shieber, Harvard University Moshe Vardi, Rice University From pmt6sbc at maths.leeds.ac.uk Sat Jul 16 03:58:49 2011 From: pmt6sbc at maths.leeds.ac.uk (S Barry Cooper) Date: Sat, 16 Jul 2011 02:58:49 +0100 (BST) Subject: COMPUTABILITY - The Journal of the Association CiE Message-ID: _______________________________________________________________________ COMPUTABILITY The Journal of the Association CiE Now Accepting Submissions! First volume to be published in 2012 as part of the celebrations of the Alan Turing Year http://www.computability.de/journal/ _______________________________________________________________________ Aims and Scope Computability is the journal of the Association Computability in Europe and it is published by IOS Press in Amsterdam. The journal Computability is a peer reviewed international journal that is devoted to publishing original research of highest quality, which is centered around the topic of computability. The subject is understood from a multidisciplinary perspective, recapturing the spirit of Alan Turing (1912-1954) by linking theoretical and real-world concerns from computer science, mathematics, biology, physics, computational neuroscience, history and the philosophy of computing. Editor-in-Chief Vasco Brattka (Cape Town, South Africa) Managing Editors Paola Bonizzoni (Milan, Italy) S. Barry Cooper (Leeds, UK) Benedikt Loewe (Amsterdam, The Netherlands) Elvira Mayordomo (Zaragoza, Spain) Editorial Board Samson Abramsky (Oxford, UK) Manindra Agrawal (Kanpur, India) Eric Allender (Piscataway, USA) Jeremy Avigad (Pittsburgh, USA) Arnold Beckmann (Swansea, UK) Olivier Bournez (Palaiseau, France) Alessandra Carbone (Paris, France) Karine Chemla (Paris, France) Bruno Codenotti (Pisa, Italy) Stephen A. Cook (Toronto, Canada) Anuj Dawar (Cambridge, UK) Rodney G. Downey (Wellington, New Zealand) Natasha Jonoska (Tampa, USA) Ulrich Kohlenbach (Darmstadt, Germany) Russell Miller (New York, USA) Andrei Morozov (Novosibirsk, Russia) Prakash Panangaden (Montreal, Canada) Frank Stephan (Singapore) Vlatko Vedral (Oxford, UK) Rineke Verbrugge (Groningen, The Netherlands) Ning Zhong (Cincinnati, USA) Submission Guidelines The journal Computability invites submission of full papers of highest quality on all research topics related to computability. Computability accepts only submissions of original research papers that have not been published previously and that are not currently submitted elsewhere. Full versions of papers that have already been published in conference proceedings are eligible only if the conference version is clearly cited and the full version enhances the conference version significantly. Authors are requested to submit PDF manuscripts electronically via the online submission system. Authors can indicate non-binding wishes regarding Editorial Board Members who should handle their submission. Final versions of accepted papers have to be prepared using the journal style file and they need to be submitted together with all source files. Authors submitting a manuscript do so on the understanding that they have read and agreed to the terms of the IOS Press Author Copyright Agreement and that all persons listed as authors have given their approval for the submission of the paper. http://www.computability.de/journal/ _______________________________________________________________________ From C.Orasan at wlv.ac.uk Mon Jul 18 12:55:40 2011 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Mon, 18 Jul 2011 11:55:40 +0100 Subject: PhD in sentiment analysis Message-ID: <1310986540.2453.12.camel@dinel-desktop> ** Apologies for cross-posting ** A fully-funded three year full-time PhD in sentiment analysis is expected to be available in October 2011 in the Statistical Cybermetrics Research Group, part of the Research Institute for Information and Language Processing, University of Wolverhampton, UK (http://cybermetrics.wlv.ac.uk). This PhD continues our work on sentiment analysis in the social web that is part of the EU-funded CyberEmotions project (http://www.cyberemotions.eu/) and includes the software SentiStrength (http://sentistrength.wlv.ac.uk). For more information, please email Alison Carminke (alison.carminke at wlv.ac.uk). -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton -- Scanned by iCritical. From xavier.parent at uni.lu Tue Jul 19 16:50:20 2011 From: xavier.parent at uni.lu (Xavier PARENT) Date: Tue, 19 Jul 2011 14:50:20 +0000 Subject: PhD student junior researcher position in Computer Science Message-ID: The University of Luxembourg invites applications for a * PhD student junior researcher position in Computer Science in the Individual and Collective Reasoning Group (icr.uni.lu) of Prof. Leon van der Torre at the Computer Science and Communications Research Unit (http://csc.uni.lu) * Ref: F1-080008A * Renewable fixed-term contract of 2(+2) years, full-time (40 h/week) * Student and employee status, limited teaching activities * Starting as soon as possible. Area: * Deontic logic in computer science, Normative multi-agent systems Offer * An international dynamic research-oriented environment * A competitive salary Tasks * Perform research in the area of deontic reasoning in computer science * Prepare a doctoral thesis at the University of Luxembourg, working under the supervision of Prof. Dr. Leon van der Torre, Individual and Collective Reasoning (ICR) group * Contribute to teaching activities, 1-3 hours/semester week * Collaborate actively with other group members Requirements * Master degree in computer science or equivalent research fields, giving access to PhD studies * Strong background in logic-based approaches to artificial intelligence and/or multi-agent systems * Strong analytical skills and innovation potential * Good oral and written English skills. Application * Applications should include an introduction letter indicating the motivation, a detailed CV including copies of the MSc diploma and information about the grades, and the names and contact details of two referees. We accept only electronic submissions, which should be sent to Leon van der Torre (leon.vandertorre(at)uni.lu) and Xavier Parent (xavier.parent(at)uni.lu), quoting the reference number for this position : F1-0080008A. * Women are strongly encouraged to apply. * The University of Luxembourg is an equal opportunity employer. * Deadline: 15 Sep 2011 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From evomusart at yahoo.com Wed Jul 20 13:11:46 2011 From: evomusart at yahoo.com (Evomusart 2011) Date: Wed, 20 Jul 2011 04:11:46 -0700 (PDT) Subject: evoStar 2012 First Call for Papers Message-ID: <1311160306.2142.YahooMailRC@web114217.mail.gq1.yahoo.com> evostar 2012 First Call for Papers evostar - the main european events on evolutionary computation eurogp, evocop, evobio, evomusart and evoapplications 11-13 april 2011 - malaga, spain http://www.evostar.org ABOUT EVO* The evo* event comprises the premier co-located conferences in the field of Evolutionary Computing: eurogp, evocop, evobio, evomusart and evoapplications. In 2012, the evo* will take place at the Malaga, Spain. Featuring the latest in theoretical and applied research, evo* topics include recent genetic programming challenges, evolutionary and other meta-heuristic approaches for combinatorial optimization, evolutionary algorithms, machine learning and data mining techniques in the biosciences, in numerical optimization, in music and art domains, in image analysis and signal processing, in hardware optimization and in a wide range of applications to scientific, industrial, financial and other real-world problems. The proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series. EVO* EVENTS eurogp 15th European Conference on Genetic Programming evocop 12th European Conference on Evolutionary Computation in Combinatorial Optimization evobio 10th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Computational Biology evomusart 1st International Conference and 10th European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design evoapplications - European Conference on the Applications of Evolutionary Computation evocomnet Track on nature-inspired techniques for telecommunication networks and other parallel and distributed systems evocomplex Track on algorithms and complex systems evofin Track on evolutionary and natural computation in finance and economics evogames Track on bio-inspired algorithms in games evohot Track on bio-inspired heuristics for design automation evoiasp Track on evolutionary computation in image analysis and signal processing evonum Track bio-inspired algorithms for continuous parameter optimisation evopar Track on parallel and distributed Infrastructures evorisk Track on computational intelligence for risk management, security and defence applications evostim Track on nature-inspired techniques in scheduling, planning and timetabling evostoc Track on evolutionary algorithms in stochastic and dynamic environments evotranslog Track on evolutionary computation in transportation and logistics EVO* SUBMISSION INSTRUCTIONS Submissions must be original and not published elsewhere. The submissions will be peer reviewed by at least three members of the program committee. The authors of accepted papers will have to improve their paper on the basis of the reviewers' comments and will be asked to send a camera ready version of their manuscripts. At least one author of each accepted work has to register for the conference and attend the conference and present the work. The reviewing process will be double-blind, please omit information about the authors in the submitted paper. Submit your manuscript in Springer LNCS format. The submission deadline is 30 november 2011. The other submission details are conference specific. Please follow the instructions and links bellow. eurogp: submission link: http://myreview.csregistry.org/eurogp12/ page limit: 12 pages evocop: submission link: http://myreview.csregistry.org/evocop12/ page limit: 12 pages evobio: submission link: http://myreview.csregistry.org/evobio12/ evobio is interested in papers in three major areas: 1. Full research articles (maximum 12 pages) 2. System Demonstrations (maximum 8 pages) 3. Short reports (maximum 8 pages) 4. Abstracts (maximum 4 pages) evomusart: submission link: http://myreview.csregistry.org/evomusart12/ page limit: 12 pages evoapplications: submission link: http://myreview.csregistry.org/evoapps12/ page limit: 10 pages IMPORTANT DATES submission deadline: 30 november 2011 notification to authors: 14 january 2012 camera-ready deadline: 5 february 2012 evo* event: 11-13 april 2012 ADDITIONAL INFORMATION evostar website: http://www.evostar.org evo* coordinator jennifer willies local chair mario giacobini publicity chair penousal machado -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sara at kdbio.inesc-id.pt Fri Jul 22 18:31:31 2011 From: sara at kdbio.inesc-id.pt (Sara Silva) Date: Fri, 22 Jul 2011 17:31:31 +0100 Subject: EuroGP 2012 - first call for papers Message-ID: <4E29A5E3.1060406@kdbio.inesc-id.pt> Dear colleagues, We would like to invite you to submit a paper to EuroGP 2012, the 15th European Conference on Genetic Programming, and we kindly ask you to circulate this call in your institution, among your colleagues and students. Thank you! The EuroGP 2012 chairs Sara Silva Alberto Moraglio *********************************** EuroGP 2012 (first call for papers) *********************************** 15th European Conference on Genetic Programming 11-13 April 2012, Malaga - Spain www.evostar.org Submission deadline: November 30, 2011 EuroGP is the premier annual conference on Genetic Programming. EuroGP is always a very enjoyable event, held together with the other main european events on Evolutionary Computation (EvoBio, EvoCOP, EvoApplications, EvoMusArt), collectively designated as EvoStar (Evo*). EvoStar 2012 takes place in Malaga, Spain, the capital of the Costa del Sol and one of the most cosmopolitan and open cities in Europe, widely known for its superb weather, food, and hospitality. It offers an excellent environment for participants to enjoy their visit, from the academic and the social point of view. EuroGP 2012 seeks high quality papers on topics strongly related to the evolution of computer programs, including but not limited to: * Theoretical developments * Empirical studies of GP performance and behaviour * Landscape analysis of GP * Algorithms, representations and operators * Applications of GP to real-life problems * Evolutionary design * Evolutionary robotics * Tree-based GP * Linear GP * Graph-based GP * Grammar-based GP * Evolvable hardware * Self-reproducing programs * Multi-population GP * Multi-objective GP * Fast/Parallel GP (e.g., GPU implementation of GP) * Probabilistic GP (e.g., combining ideas of estimation of distribution algorithms and GP) * Evolution of various classes of automata or machine (e.g. cellular automata, finite state machines, pushdown automata, Turing machines) * Software Engineering and GP: using GP to evolve complete programs (e.g., including variables, loops, recursion) and using SE methods (e.g., software design) to improve GP * Object-oriented GP * Hybrid architectures including GP components * Unconventional evolvable computation The submissions will be peer reviewed by at least three members of the program committee. The reviewing process will be double-blind, so please omit information about the authors in the submitted paper. Accepted papers will be presented orally or as posters at the conference and will be published by Springer in the LNCS series. The papers which receive the best reviews will be nominated for the Best Paper Award. Authors of selected papers may be invited to submit extended versions of their work to the Springer journal GPEM - Genetic Programming and Evolvable Machines (http://www.springer.com/10710). Last year, four best papers were selected for a special issue of GPEM to be published in early 2012. To celebrate the 10th anniversary of EvoBio, EuroGP encourages submissions applying genetic programming to problems in computational biology and new biologically inspired extensions of the genetic programming framework for a special joint session of EuroGP with EvoBio. These papers can be submitted either to EuroGP or EvoBio, and the authors of the best ones will be invited to submit extended versions of their work to a special issue of GPEM. Submission link: http://myreview.csregistry.org/eurogp12/ Page limit: 12 pages in Springer LNCS format. Important Dates: * Submission deadline: 30 November 2010 * Notification to authors: 14 January 2011 * Camera-ready deadline: 5 February 2011 * Conference: 11-13 April 2011 Program Chairs: * Sara Silva, INESC-ID Lisboa, Portugal http://kdbio.inesc-id.pt/~sara/ sara(at)kdbio.inesc-id.pt * Alberto Moraglio, University of Birmingham, UK http://www.cs.bham.ac.uk/~moraglia/ a.moraglio(at)cs.bham.ac.uk From cfp at grid.chu.edu.tw Sat Jul 23 11:51:11 2011 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Sat, 23 Jul 2011 17:51:11 +0800 Subject: CALL FOR PARTICIPATION - 40th International Conference on Parallel Processing (ICPP 2011) Message-ID: <201107230951.p6N9pBss013193@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp at grid.chu.edu.tw Sat Jul 23 21:31:32 2011 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Sun, 24 Jul 2011 03:31:32 +0800 Subject: IEEE Utility and Cloud Computing (UCC 2011): Call for Paper (deadline, July 25) Message-ID: <201107231931.p6NJVWL2020659@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp at grid.chu.edu.tw Sun Jul 24 21:30:57 2011 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Mon, 25 Jul 2011 03:30:57 +0800 Subject: CGC2011 (Cloud and Green Computing) - Deadline extended to August 15, 2011 Message-ID: <201107241930.p6OJUvwR004717@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon Jul 25 14:23:12 2011 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 25 Jul 2011 08:23:12 -0400 (EDT) Subject: CSL call for participation Message-ID: <20110725122312.B0C6F1217F6@mcclellan.cs.miami.edu> --------------------------------------------------------------------- CALL FOR PARTICIPATION, EARLY REGISTRATION DEADLINE APPROACHING TYPES 2011, 8-11 September, http://www.types.name/ CSL 2011, 12-15 September, http://www.eacsl.org/csl11 Bergen, Norway GENERAL INFORMATION Types for Proofs and Programs (TYPES) is a forum to present new and on-going work in all aspects of type theory and its applications, especially in computer programming and in formalized and computer-assisted reasoning, see: http://www.types.name/ Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. A preliminary program for CSL'11 is now available: http://www.eacsl.org/csl11/program.pdf The pre-conference workshop Epsilon Calculus and Constructivity on Sunday 11 September is free for TYPES/CSL'11 participants REGISTRATION for TYPES/CSL'11: https://registrer.app.uib.no/csl Early registration deadline: 1 August 2011 BOOKING a hotel room at a reduced rate can be done via: booking at ght.no NB limited availability, and the offer expires 1 August 2011, see: http://www.eacsl.org/csl11/#accommodation ---------------------------------------------------------------------- From sara at kdbio.inesc-id.pt Mon Jul 25 14:55:35 2011 From: sara at kdbio.inesc-id.pt (Sara Silva) Date: Mon, 25 Jul 2011 13:55:35 +0100 Subject: EuroGP 2012 - first call for papers Message-ID: <4E2D67C7.7020402@kdbio.inesc-id.pt> ===== Two research grants are now available ===== ===== Application deadline: 15 / Sep / 2011 ===== Project: EnviGP - Improving Genetic Programming for the Environment and Other Applications Website: http://kdbio.inesc-id.pt/~sara/envigp.html Objectives / summary: The EnviGP project is dedicated to improving Genetic Programming in order to allow its practical usage by practitioners of different scientific domains. It studies the issues of bloat, overfitting, complexity and interpretability of the solutions, and a more efficient usage of GP in multiclass classification problems. All new developments are tested in both benchmark and real world data of different domains including forest science and biomedical informatics. More information on available grants: http://kdbio.inesc-id.pt/~sara/envigp_grants.html Cheers, Sara Silva From Thomas.Agotnes at infomedia.uib.no Mon Jul 25 20:25:18 2011 From: Thomas.Agotnes at infomedia.uib.no (=?ISO-8859-1?Q?Thomas_=C5gotnes?=) Date: Mon, 25 Jul 2011 20:25:18 +0200 Subject: CFP: Studia Logica special issue on Logic and Games Message-ID: <1983D074-DBDB-427F-BCF2-F2E8899C0B7B@infomedia.uib.no> Call for Papers Special Issue of Studia Logica on Logic and Games Guest editor: Thomas Ågotnes (University of Bergen) Formal logic and game theory can meet in many ways. While the use of games-for-logic, e.g., to define semantics of quantifiers or to compare logical models, goes back a long time, logic-for-games is a more recent and currently very active research direction which has been precipitated by the introduction of the notion of (multi-)agency in logic. If agents are assumed to be self-interested and to act rationally, then reasoning about action in a multi-agent setting requires reasoning about game theoretic concepts. Furthermore, logics capturing, e.g., the principles of action, belief, knowledge, time, preference and so on, can help explaining the foundations of game theoretic solutions, algorithms, etc. The goal of the special issue of Studia Logica on Logic and Games is to illustrate current trends and present recent advances in this field. We invite submissions on all topics in the intersection between formal logic and game theory, including the following topics (not an exhaustive list): o Logical formalisations of game properties o Logics for reasoning about strategic interaction o The use of logic to characterise or explain concepts, solutions, algorithms, etc., relevant for games o Logical-epistemic foundations of solution concepts o Reasoning about preferences o Logical aspects of social choice o Judgment aggregation o Game semantics Model comparison games (e.g., for comparing expressiveness, succinctness) The special issue will contain contributions from the following invited authors, in addition to selected submitted contributions: o Johan van Benthem, University of Amsterdam/Stanford University o Rohit Parikh, City University of New York o Michael Wooldridge, University of Liverpool Submission details: submitted papers should be between 15 and 20 pages long (including bibliography), and should be formatted according to the Studia Logica LaTex style. Only electronic submissions will be accepted. The authors should send an email with subject "Studia Logica Submission" to the guest editor (Thomas Agotnes, thomas.agotnes at infomedia.uib.no), with the file of the paper as an attachment, and the following information in the body of the email in plain text: paper title, author names, surface mail, email address of the contact author and a short abstract. Submission deadline: 15 August 2011 All papers will be refereed according to the standards of the journal. For more details, see http://www.ifispan.waw.pl/studialogica/si-logic-and-games.html From damiani at di.unito.it Tue Jul 26 00:33:20 2011 From: damiani at di.unito.it (Ferruccio Damiani) Date: Tue, 26 Jul 2011 00:33:20 +0200 Subject: Final CFP: FoVeOOS 2011 (post-proceeding will be published on Springer LNCS) In-Reply-To: <4DE65B76.4020902@di.unito.it> References: <4DE65B76.4020902@di.unito.it> Message-ID: <4E2DEF30.40506@di.unito.it> ====================================================================== *Springer agreed to publish the post-proceedings of FoVeOOS 2011 on LNCS* Submission deadline of FoVeOOS 2011 is approaching: - August 3, 2011 Abstract submission deadline - August 10, 2011 Paper submission deadline CONTACT Email: foveoos2011 at cost-ic0701.org Web: http://foveoos2011.cost-ic0701.org ====================================================================== FoVeOOS 2011 2nd International Conference on Formal Verification of Object-Oriented Software October 5-7, 2011, Turin, Italy http://foveoos2011.cost-ic0701.org *CALL FOR PAPERS* SCOPE Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice (such as Java, C++, and C#) are object-oriented. The International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) aims to foster collaboration and interactions among researchers in this area. ORGANIZATION The conference is organised by COST Action IC0701 (http://www.cost-ic0701.org/) but it goes beyond the framework of this action. This conference is open to the whole scientific community around the following topics, and also encourages people close to industrial applications to submit papers and participate. The Action may provide travel grants (see the web page for details). TOPICS Topics include but are not limited to: * Logic-based methods for formal - verification - specification and description - construction, - analysis and validation, of object-oriented software * Technologies such as - logics - calculi - type systems for the formal verification of object-oriented software * Modularisation and verification of components * Verification of - adaptable and reusable - concurrent - distributed object-oriented software * Tool descriptions * Experience reports * Case studies * Teaching formal verification IMPORTANT DATES August 3, 2011 Abstract submission deadline August 10, 2011 Paper submission deadline September 7, 2011 Acceptance notification September 21, 2011 Final version due October 5-7, 2011 Conference SUBMISSIONS Submissions should describe previously unpublished work (completed or in progress). Contributions are invited in these categories: A Research papers (reporting original theoretical and/or experimental research or applications) B System descriptions C Experience reports, case studies D Position papers and brief reports on work in progress All submissions will be reviewed by peers, typically members of the program committee. Papers must be written in English and not exceed 18 pages in LNCS format (http://www.springer.de/comp/lncs/authors.html). Submission of papers is via EasyChair at http://www.easychair.org/conferences/?conf=foveoos2011 PROCEEDINGS The conference will use a two-stage process for the publication of proceedings, allowing for a very brief period between submission of papers and the conference and, thus, a speedy dissemination of results. All accepted papers will appear in pre-proceedings published as a Technical Report that will be available at the conference. Post-conference proceedings will be published within Springer's LNCS series. For this second stage, papers will be selected as follows: first, authors of papers that were definitely accepted in the first stage will submit a new version with minor revisions only; second, authors of papers that were only conditionally accepted (typically position papers) will be able to submit a new version with major revisions, which will be reviewed again. BEST STUDENT PRESENTATION AWARD Based on the comments given by the reviewers in the first stage of reviewing, and the presentation at the conference, the programme committee will give a best student presentation award. Eligible papers are those whose presentation is given by a PhD student. PROGRAM CO-CHAIRS Ferruccio Damiani, U of Torino, Italy Dilian Gurov, KTH Stockholm, Sweden PROGRAMME COMMITTEE Bernhard Beckert, Karlsruhe Institute of Technology, Germany Frank S. de Boer, CWI, The Netherlands Marcello Bonsangue, U Leiden (LIACS), The Netherlands Einar Broch Johnsen, U of Oslo, Norway Gabriel Ciobanu, ICS, Romanian Academy, Iasi, Romania Mads Dam, KTH Stockholm, Sweden Ferruccio Damiani, U of Torino, Italy Sophia Drossopoulou, Imperial College, UK Paola Giannini, U Piemonte Orientale, Italy Dilian Gurov, KTH Stockholm, Sweden Reiner Haehnle, Chalmers U of Technology, Gothenburg, Sweden Marieke Huisman, U of Twente, The Netherlands Bart Jacobs, Katholieke Universiteit Leuven, Belgium Thomas Jensen, INRIA Rennes, France Ioannis Kassios, ETH Zurich, Switzerland Joe Kiniry, ITU Copenhagen, Denmark Vladimir Klebanov, Karlsruhe Institute of Technology, Germany Dorel Lucanu, U Alexandru Ioan Cuza, Romania Maria del Mar Gallardo Melgarejo, U of Malaga, Spain Claude Marche, INRIA Saclay-Ile-de-France, France Julio Marino, U Politecnica de Madrid, Spain Marius Minea, Politehnica U of Timisoara, Romania Anders Moeller, U Aarhus, Denmark Rosemary Monahan, NUI Maynooth, Ireland Wojciech Mostowski, Radbound U Nijmegen, The Netherlands James Noble, Victoria U of Wellington, New Zealand Bjarte M. Ostvold, Norwegian Computing Center, Norway Olaf Owe, U of Oslo, Norway Matthew Parkinson, Cambridge U, UK David Pichardie, IRISA, France Frank Piessens, Katholieke U Leuven, Belgium Ernesto Pimentel, U of Malaga, Spain Arnd Poetzsch-Heffter, U of Kaiserslautern, Germany Erik Poll, U of Nijmegen, The Netherlands Antonio Ravara, New University of Lisbon, Portugal Wolfgang Reif, U of Augsburg, Germany Rene Rydhof Hansen, U of Aalborg, Denmark Ina Schaefer, Technical U od Braunschweig, Germany Peter H. Schmitt, Karlsruhe Institute of Technology, Germany Aleksy Schubert, U of Warsaw, Poland Gheorghe Stefanescu, U of Bucharest, Romania Bent Thomsen, U of Aalborg, Denmark Shmuel Tyszberowicz, U of Tel Aviv, Israel Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia Burkhart Wolff, U Paris-Sud (Orsay), France Amiram Yehudai, U of Tel Aviv, Israel Elena Zucca, U of Genova, Italy CONTACT Email: foveoos2011 at cost-ic0701.org Web: http://foveoos2011.cost-ic0701.org -- Prof. Ferruccio Damiani Dipartimento di Informatica |Phone: (+39) 011 670 6719 Università degli Studi di Torino |Fax : (+39) 011 75 16 03 C.so Svizzera 185 |Email: damiani at di.unito.it I-10149 Torino, Italy |URL : http://www.di.unito.it/~damiani -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From evomusart at gmail.com Tue Jul 26 12:57:26 2011 From: evomusart at gmail.com (Juan Romero) Date: Tue, 26 Jul 2011 12:57:26 +0200 Subject: First CALL FOR PAPERS EvoMUSART2012: 1st International Conference and 10th European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design Message-ID: Please distribute (Apologies for multiple posting) ---------------------------------------------------------------------------- FIRST CALL FOR PAPERS evomusart 2012 1st International Conference and 10th European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design 11-13 April 2012, Malaga, Spain Part of evo* 2012 evo*: http://www.evostar.org evomusart: http://www.evostar.org/2012/call-for-contributions/evomusart/ ---------------------------------------------------------------------------- evomusart 2012 is the tenth European event on Evolutionary Music and Art. Following the success of previous events and the importance of the field of evolutionary and biologically inspired music, sound, art and design, evomusart has became a evo* conference with independent proceedings. Thus, evomusart 2012 is the tenth European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design and the first conference on the field. The use of biologically inspired techniques for the development of artistic systems is a recent, exciting and significant area of research. There is a growing interest in the application of these techniques in fields such as: visual art and music generation, analysis, and interpretation; sound synthesis; architecture; video; poetry; design; and other creative tasks. The main goal of evomusart 2012 is to bring together researchers who are using biologically inspired computer techniques for artistic tasks, providing the opportunity to promote, present and discuss ongoing work in the area. The event will be held from 11-13 April, 2012 in Malaga, Spain as part of the evostar event. Accepted papers will be presented orally at the event and included in the evomusart proceedings, published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science series. ---------------------------------------------------------------------------- Topics of interest ---------------------------------------------------------------------------- The papers should concern the use of biologically inspired computer techniques - e.g. Evolutionary Computation, Artificial Life, Artificial Neural Networks, Swarm Intelligence, other artificial intelligence techniques. - in the scope of the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Topics of interest include, but are not limited to: -- Generation - Biologically Inspired Design and Art - Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; - Biologically Inspired Sound and Music - Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc.; - Robotic Based Evolutionary Art and Music; - Other related artificial intelligence or generative techniques - in the fields of Computer Music, Computer Art; --Theory - Computational Aesthetics, Experimental Aesthetics; o Emotional Response, Surprise, Novelty; - Representation techniques; - Surveys of the current state-of-the-art in the area; identification of weaknesses and strengths; comparative analysis and classification; - Validation methodologies; - Studies on the applicability of these techniques to related areas; - New models designed to promote the creative potential of biologically inspired computation; --Computer Aided Creativity and computational creativity - Systems in which biologically inspired computation is used to promote the creativity of a human user; - New ways of integrating the user in the evolutionary cycle; - Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artifacts; - Collaborative distributed artificial art environments; --Automation - Techniques for automatic fitness assignment; - Systems in which an analysis or interpretation of the artworks is used in conjunction with biologically inspired techniques to produce novel objects; - Systems that resort to biologically inspired computation to perform the analysis of image, music, sound, sculpture, or some other types of artistic object; ---------------------------------------------------------------------------- Important Dates ---------------------------------------------------------------------------- Submission: 30 November 2011 Conference: 11-13 April 2012 ---------------------------------------------------------------------------- Additional information and submission details ---------------------------------------------------------------------------- Submit your manuscript, at most 12 A4 pages long, in Springer LNCS format (instructions downloadable from http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html) no later than November 30, 2011 to site http://myreview.csregistry.org/evomusart12 The reviewing process will be double-blind, please omit information about the authors in the submitted paper. ---------------------------------------------------------------------------- Programme committee ---------------------------------------------------------------------------- Adrian Carballal, University of A Coruna, Spain Alain Lioret, Paris 8 University, France Alan Dorin, Monash University, Australia Alejandro Pazos, University of A Coruna, Spain Amilcar Cardoso, University of Coimbra, Portugal Amy K. Hoover, University of Central Florida, USA Andrew Gildfind, Google, Inc., Australia Andrew Horner, University of Science & Technology, Hong Kong Anna Ursyn, University of Northern Colorado, USA Antonino Santos, University of A Coruna, Spain Artemis Sanchez Moroni, Renato Archer Research Center, Brazil Benjamin Schroeder, Ohio State University, USA Bill Manaris, College of Charleston, USA Brian Ross, Brock University, Canada Carlos Grilo, Instituto Politécnico de Leiria, Portugal Christian Jacob, University of Calgary, Canada Colin Johnson, University of Kent, UK Dan Ashlock, University of Guelph, Canada Eduardo Miranda, University of Plymouth, UK Erwin Driessens, Independent Artist, Netherlands Gary Greenfield, University of Richmond, USA Gary Nelson, Oberlin College, USA Hans Dehlinger, Independent Artist, Germany James McDermott, University of Limerick, Ireland Jon Bird, University of Sussex, UK Jon McCormack, Monash University, Australia José Fornari, NICS/Unicamp, Brazil Juan Romero, University of A Coruna, Spain Kenneth O. Stanley, University of Central Florida, USA Luigi Pagliarini, University of Southern Denmark, Italy Marcelo Freitas Caetano, IRCAM, France Marcos Nadal, University of Illes Balears, Spain Maria Verstappen, Independent Artist, Netherlands Matthew Lewis, Ohio State University, USA Nicolas Monmarché, University of Tours, France Oliver Bown, University of Sidney, Australia Palle Dahlstedt, Göteborg University, Sweden Paul Brown, University of Sussex, UK Paulo Urbano, Universidade de Lisboa , Portugal Penousal Machado, University of Coimbra, Portugal Peter Bentley, University College London , UK Philip Galanter, Texas A&M College of Architecture, USA Rafael Ramirez, Pompeu Fabra University, Spain Scott Draves, Independent Artist, USA Simon Colton, Imperial College, UK Somnuk Phon-Amnuaisuk, University Tunku Abdul Rahman, Malaysia Stephen Todd, IBM, UK Tim Blackwell, Goldsmiths College, University of London, UK Vic Ciesielski, RMIT, Australia William Latham, University of London, UK Yang Li, University of Science and Technology Beijing,, China Pedro Cruz, University of Coimbra, Portugal Daniel Bisig, University of Zurich, Switzerland Daniel Jones, Goldsmiths College, University of London, UK Eelco den Heijer, Vrije Universiteit Amsterdam, Netherlands Ingeborg Reichle, Berlin-Brandenburg Academy of Sciences and Humanities, Germany J. E. Rowe, University of Birmingham, UK Mitchell Whitelaw, University of Canberra, Australia Peter Cariani, University of Binghamton, USA Roger Malina, International Society for the Arts, Sciences and Technology, USA Troy Innocent, Monash University, Australia Conference chairs Juan Romero University of A Coruna, Spain jj(at)udc.es Penousal Machado University of Coimbra, Portugal machado(at)dei.uc.pt Publication chair Adrian Carballal University of A Coruna, Spain adrian.carballal(at)udc.es -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From laurent.perrussel at univ-tlse1.fr Fri Jul 29 08:39:05 2011 From: laurent.perrussel at univ-tlse1.fr (Laurent Perrussel) Date: Fri, 29 Jul 2011 08:39:05 +0200 Subject: Uncertain Reasoning Special Track at FLAIRS-2012: first Call For Papers Message-ID: <4E325589.1040206@univ-tlse1.fr> [Apologies for multiples copies] Call for Papers: Uncertain Reasoning 2012 ======================== Special Track at FLAIRS-25 Marco Island, Florida, USA May 23-25, 2012 http://www.cs.uregina.ca/~butz/ur12/ The Special Track on Uncertain Reasoning (UR) is the oldest track in FLAIRS conferences, running annually since 1996. The UR'2012 Special Track at the 25th International Florida Artificial Intelligence Research Society Conference (FLAIRS-25) is the 17th in the series. As the past tracks, UR'2012 seeks to bring together researchers working on broad issues related to reasoning under uncertainty. Scopes ------ Papers on all aspects of uncertain reasoning are invited. Papers of particular interest include, but are not limited to: - Uncertain reasoning formalisms, calculi and methodologies - Reasoning with probability, possibility, fuzzy logic, belief function, vagueness, granularity, rough sets, and probability logics - Modeling and reasoning using imprecise and indeterminate information, such as: Choquet capacities, comparative orderings, convex sets of measures, and interval-valued probabilities - Exact, approximate and qualitative uncertain reasoning - Graphical models of uncertainty - Multi-agent uncertain reasoning and decision making - Decision-theoretic planning and Markov decision process - Temporal reasoning and uncertainty - Belief change and merging - Non-monotonic and conditional logics - Similarity-based reasoning - Practical applications of uncertain reasoning Paper Submission and Publication --------------------------------- Submitted papers must be original, and not submitted concurrently to a journal or another conference. Full papers may be up to 6 pages, and poster papers up to 2 pages. Papers must be in AAAI format, and submitted as PDF through the EasyChair conference system. Instructions on the submission procedure will be available at the UR'2012 website: http://www.cs.uregina.ca/~butz/ur12/ The proceedings of FLAIRS will be published by the AAAI. An author of each accepted paper is required to register, attend, and present the paper at the UR track. We anticipate that the International Journal of Approximate Reasoning will publish a special issue devoted to extended versions of the top papers at the track. Important Dates --------------- Paper submission due: Nov. 21, 2011 Author Notification: Jan. 20, 2012 Camera Ready Copy Due: Feb. 20, 2012 Conference: May 23-25, 2012 Program Committee ----------------- [ Track Chairs ] Cory Butz University of Regina, Canada Christoph Beierle University of Hagen, Germany [ PC Members ] Xiangdong An York U., Canada Salem Benferhat U. Artois, France Fabio Cozman University of Sao Paulo, Brazil Fabio Cuzzolin Oxford Brookes U., England Sylvie Doutre U. Toulouse, France Marek Druzdzel U. Pittsburgh, USA Love Ekenberg Stockholm U., Sweden Konstantinos Georgatos CUNY, USA Kevin Grant U. Lethbridge, Canada Souhila Kaci U. Artois, France Gabriele Kern-Isberner U. Dortmund, Germany Kristian Kersting U. Bonn, Germany Pawan Lingras Saint Mary's U., Canada Weiru Liu Queen's U. Belfast, UK Tsai-Ching Lu HRL Laboratories, USA Anders Madsen HUGIN Expert, Denmark Christina Manfredotti U. Milano-Bicocca, Italy Malek Mouhoub U. Regina, Canada Eric Neufeld U. Saskatchewan, Canada Thomas Nielsen Aalborg U., Denmark Laurent Perrussel IRIT - Universite de Toulouse, France Eugene Santos Dartmouth College, USA Paul Snow New Hampshire, USA Luis E. Sucar Inst. Astrophysics, Optics, Electronics, Mexico Choh-Man Teng Inst. For Human & Machine Cognition, USA Dan Wu U. Windsor, Canada Yang Xiang U. Guelph, Canada Changhe Yuan Mississippi State U., USA From leucker at in.tum.de Fri Jul 29 10:11:04 2011 From: leucker at in.tum.de (Martin Leucker) Date: Fri, 29 Jul 2011 10:11:04 +0200 Subject: CfPart: TIME'11 Message-ID: <20110729081104.GA15643@sunsvr01.isp.uni-luebeck.de> TIME 2011 Call for Participation Eighteenth International Symposium on Temporal Representation and Reasoning Luebeck, Germany, September 12-14, 2011 http://www.isp.uni-luebeck.de/time11/ * DATES Registration: 18 June - 14 August 2011 Late Registration: from 15 August 2011 TIME Symposium: 12 - 14 September 2011 * THE CONFERENCE The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research. This year, TIME will feature a special track on interval temporal logics. The conference will span three days, and will be organized as a combination of technical paper presentations, keynote lectures, and tutorials. * INVITED SPEAKERS Nir Piterman (University of Leicester, UK) p-Automata and Obligation Games Gerhard Schellhorn (Universität Augsburg, Germany) Extending ITL with Interleaved Programs for Interactive Verification Kristen Brent Venable (Università di Padova, Italy) Temporal Preferences Jef Wijsen (Université de Mons, Belgium): Towards a Foundation of Data Currency * TOPICS The main topics of the conference are: Temporal Representation and Reasoning in AI Temporal Database Management Temporal Logic and Verification in Computer Science Interval Temporal Logics * FEES Registration: 330 € Late registration: 370 € * CONFERENCE OFFICERS General Chair: Carlo Combi, University of Verona, Italy Program Committee Chairs: Martin Leucker, University of Luebeck, Germany Frank Wolter, University of Liverpool, United Kingdom Organization Chair: Martin Leucker, Universitaet Luebeck, Germany * PROGRAM COMMITTEE Alessandro Artale (Free University of Bozen-Bolzano, Italy) Philippe Balbiani (IRIT, CNRS, France) Claudio Bettini (Università di Milano, Italy) Benedikt Bollig (LSV, CNRS, France) Luboš Brim (Masaryk University, Czech Republic) Antonio Cau (De Montfort University, UK) Dang Van Hung(VNU, Vietnam) Clare Dixon (University of Liverpool, UK) Rajeev Goré (ANU, Australia) Dimitar Guelev (BAS, Bulgaria) Peter Habermehl (University Paris Diderot, LIAFA , France) Ian Hodkinson (Imperial College London, UK) Roman Kontchakov (Birkbeck, University of London, UK) Salvatore La Torre (Università di Salerno, Italy) Ranko Lazic (University of Warwick, UK) Martin Leucker (Universität zu Lübeck, Germany) Kamal Lodaya (IMSc, India) Nicolas Markey (CNRS, ENS Cachan, France) Angelo Montanari (Università di Udine, Italy) Ben Moszkowski (DMU, UK) Dirk Nowotka (Universität Stuttgart, Germany) Paritosh K. Pandya (Tata Institute of Fundamental Research, India) Jean-Francois Raskin (Université Libre de Bruxelles, Belgium) Peter Revesz (University of Nebraska-Lincoln, USA) Mark Reynolds (University of Western Australia, Australia) Martin Sachenbacher (TUM, Germany) César Sánchez (IMDEA, CSIC, Spain) Christian Schallhart (Oxford University, UK) Stefan Wölfl (Albert-Ludwigs-Universität Freiburg, Germany) Frank Wolter (University of Liverpool, UK) Naijun Zhan (ISCAS, China) Esteban Zimányi (Université Libre de Bruxelles, Belgium) * FURTHER INFORMATION Questions related to submission, reviewing, and program: time11 at isp.uni-luebeck.de Questions related to local organization: time11-org at isp.uni-luebeck.de