From esslli2012 at gmail.com Thu Jun 2 18:58:41 2011 From: esslli2012 at gmail.com (A. Herzig) Date: Thu, 2 Jun 2011 18:58:41 +0200 Subject: Esslli 2012: 2nd call Message-ID: --------------------------------------------------------------------- 24th European Summer School in Logic, Language and Information ESSLLI 2012 August 6-17, 2012 Opole, Poland http://www.esslli2012.pl Call for Course and Workshop Proposals --------------------------------------------------------------------- The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. For more information, visit the FoLLI website, as well as the ESSLLI 2011 website: http://esslli2011.ijs.si/. CALL FOR COURSE AND WORKSHOP PROPOSALS The ESSLLI 2012 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 24th annual Summer School on important topics of active research in the broad interdisciplinary area connecting logic, linguistics, computer science and the cognitive sciences. All proposals should be submitted via the EasyChair system, using a prescribed form that is available on the ESSLLI 2012 website, no later than: June 19, 2011 (extended) Authors of proposals will be notified of the committee's decision by September 15, 2011. GUIDELINES FOR SUBMISSION Proposers of courses and workshops should follow the guidelines below while preparing their submissions; proposals that do not conform with these guidelines may not be considered. Courses are taught by 1 or max. 2 lecturers, and workshops are organized by 1 or max. 2 organizers. Lecturers and organizers must have obtained a Ph.D. or an equivalent degree at the time of the submission deadline. Courses and workshops run over one week (Monday-Friday) and consist of five 90-minute sessions. Lecturers who want to offer a long, two-week course should submit two independent one-week courses (for example, an introductory course in the first week and an advance course in the second). The ESSLLI program committee has the right to select only one of the two proposed courses. FOUNDATIONAL COURSES These are strictly elementary courses not assuming any background knowledge. They are intended for people who wish to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses should have no special prerequisites, but may presuppose some experience with scientific methods and general appreciation of the field of the course. INTRODUCTORY COURSES Introductory courses are central to the activities of the Summer School. They are intended to provide an introduction to the (interdisciplinary) field for students, young researchers, and other non-specialists, and to equip them with a good understanding of the field's basic methods and techniques. Such courses should enable experienced researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Introductory courses in a topic at the interface of two fields can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if available). ADVANCED COURSES Advanced courses should be pitched at an audience of advanced Masters or Ph.D. students. Proposals for advanced courses should specify the prerequisites in detail. TIMETABLE FOR COURSE PROPOSAL SUBMISSION: Jun 15, 2011: Proposal Submission Deadline Sep 15, 2011: Notification Deadline Jun 1, 2012: Deadline for receipt of camera-ready course material by the ESSLLI 2012 local organizers WORKSHOPS The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well-defined theme, and workshop organizers should be specialists in the theme of the workshop. The proposals for workshops should justify the choice of topic, give an estimate of the number of attendants and expected submissions, and provide a list of at least 15 potential submitters working in the field of the workshop. The organizers are required to give a general introduction to the theme during the first session of the workshop. They are also responsible for various organizational matters, including soliciting submissions, reviewing, drawing up the program, taking care of expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for sending out a Call for Papers for the workshop and to organize the selection of the submissions by the deadlines specified below. The call for workshop submissions must make it clear that the workshop is open to all members of the ESSLLI community and should indicate that all workshop contributors must register for the Summer School. TIMETABLE FOR WORKSHOP PROPOSAL SUBMISSIONS: Jun 14, 2011: Proposal Submission Deadline Sep 15, 2011: Notification Deadline Oct 15, 2011: Deadline for submission of the Calls for Papers to ESSLLI 2012 PC chair Nov 1, 2011: Workshop organizers send out First Call for Papers Dec 15, 2011: Workshop organizers send out Second Call for Papers Jan 15, 2012: Workshop organizers send out Third Call for Papers Feb 15, 2012: Deadline for submissions to the workshops Apr 15, 2012: Suggested deadline for notification of workshop contributors Jun 1, 2012: Deadline for submission of camera-ready copy of workshop proceedings to the ESSLLI 2012 Local Organizers. Workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. FORMAT FOR PROPOSALS Forms for submitting course and workshop proposals are available on the ESSLLI 2012 website. The proposers are required to submit the following information: * Contact address and fax number * Name, email, affiliation, homepage of each lecturer / workshop organizer (at most two per course or workshop) * Title of proposed course/workshop * Abstract (abstract of the proposal, max 150 words) * Type (workshop, foundational, introductory, or advanced course) * Areas (one or more of: Computation, Language, Logic, or Other) * Description (describe the proposed contents of the course and substantiate timeliness and relevance to ESSLLI in at most one A4 page) * Tentative outline of the course / expected participation in the workshop * External funding (whether the proposers will be able to obtain external funding for travel and accommodation expenses) * Further particulars (e.g., course prerequisites, previous teaching experiences, etc.) FINANCIAL ASPECTS Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants' fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation expenses (up to fixed maximum amounts, which will be communicated to the lecturers upon notification). Lecturers and workshop organizers will have their registration fee waived. In case a course or workshop is to be taught/organized by two people, a lump sum will be reimbursed to cover travel and accommodation expenses for one of them; the splitting of the sum is up to the lecturers/organizers. It should be stressed that while proposals from all over the world are welcome, the School cannot guarantee full reimbursement of travel costs, especially if lecturers or organizers have to come from outside of Europe. The local organizers would highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, as that would help us keep the cost of attending ESSLLI 2012 lower. ESSLLI 2012 PROGRAM COMMITTEE Chair: Andreas Herzig (Institut de recherche en informatique de Toulouse and CNRS) Local Co-chair: Anna Pietryga (Opole) Area specialists: Language and Computation: Miriam Butt (Sprachwissenschaft, University of Konstanz) Gosse Bouma (Groningen University) Language and Logic: Regine Eckardt (Language and Literature, University of Göttingen) Rick Nouwen (UiL-OTS, Utrecht University) Logic and Computation: Natasha Alechina (CS, University of Nottingham) Andreas Weiermann (Mathematics and Computation, Ghent University) ESSLLI 2012 ORGANIZING COMMITTEE: Chair: Urszula Wybraniec-Skardowska and Janusz Czelakowski (University of Opole) ESSLLI 2012 website: http://www.esslli2012.pl EasyChair submission page: https://www.easychair.org/conferences/?conf=esslli2012 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at teco.edu Fri Jun 3 21:50:22 2011 From: announce at teco.edu (announce at teco.edu) Date: Fri, 03 Jun 2011 21:50:22 +0200 Subject: CONTEXT'11 - Deadline June 24th - Call for Posters, Demos, Videos Message-ID: . . . . . . . . . . . . CONTEXT '11 . . . . . . . . . . . . . . . The Seventh International and Interdisciplinary Conference . . . . . . . . . on Modeling and Using Context . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . September 26th - 30th, Karlsruhe, Germany . . . . . . . . . . . . . http://context-11.teco.edu/ . . . . . . . . . . . . . . . . Call for Papers, Posters, Demos, Videos . . . . . . . . . . . With Special Track: Commercializing Context . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Submission deadline for posters, videos and demonstration. . . . . . . . . . abstracts: June 24th, 2011. . . . . . . . . . . Fourteen years after the first Context conference in 1997 - and 60 years after Prior laid the foundation for the field -, the Seventh International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'11) sets out to extend foundational research on context and to evaluate the status and consequences of context research, as well as to address new questions for the field. CONTEXT'11 will provide a forum for presenting and discussing high-quality research and applications on context. The conference will include paper, poster, and video presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from the wide range of disciplines concerned with context, including: the Cognitive Sciences (Linguistics, Psychology, Philosophy, Computer Science, Neuroscience), the Social Sciences and Organizational Sciences, and all application areas, including Medicine and Law. The motto of the CONTEXT'11 special track "Commercialising Context" was chosen to reflect both the fact that context research has found numerous successful applications in recent years and the fact that context itself has become a product that can be sold. Context-aware services can support their users unobtrusively and offer promising revenues. However, when context is no longer something private but processed and shared through the web, profound questions are raised about privacy and the general consequences of the technology. Yet, the new context-aware services can also be a scientific tool for context-research itself. Context-aware services offer new ways for studying social context and its interaction with other types of context on a sociologically significant scale. For linguistic studies, context-aware mobile phones and chat programs, for instance, can be a tool to automatically obtain context-annotated dialogues, with which the influence of context on meaning can be empirically assessed. Areas of interest include but are not limited to perspectives on context from: Analogy and Case-Based Reasoning. . . . . Knowledge Engineering and Ontologies Autonomous Agents . . . . . . . . . . . . Language Understanding and Production . and Agent-based Systems . . . . . . . . Learning Cognitive Modeling. . . . . . . . . . . . Linguistics Concepts and Categorization . . . . . . . Memory, Representation and Access Context-Aware Services and Systems. . . . Multiagent Systems Context-Recognition . . . . . . . . . . . . and Interagent Communication Distributed Information Systems . . . . . Neuroscience Formal Semantics and Pragmatics . . . . . Formal Ontology of Context Domains Formal Theories of Context. . . . . . . . Organizational Theory and Design Heterogeneous Information Integration . . Perception Human Decision-Making . . . . . . . . . . Pervasive/Ubiquitous Computing . and Decision Support Systems. . . . . . Philosophical Foundations of Context Human-Centered Computing. . . . . . . . . Problem Solving and Planning Human-Computer Interaction. . . . . . . . Psychological experiments Information Management. . . . . . . . . . Reasoning Intelligent Tutoring Systems. . . . . . . Relevance Computation Intelligent User Interfaces . . . . . . . . and Relevance Theories Intelligent/Semantic Web Systems. . . . . Sensor Networks and Sensing Systems Knowledge Representation. . . . . . . . . Situated and Distributed Cognition INTERACTIVE SESSIONS CONTEXT'11 will include paper presentation sessions, poster, video and demonstration sessions, two days of workshops, and a doctoral colloquium as well as keynote talks and a panel discussion. Especially the interactive sessions provide researchers with opportunities to present their lates work in front of an interdisciplinary audience. Posters can cover preliminary or exploratory work within the topics of the conference, report smaller projects or results not mature enough for a full paper, or present any other research that would excite discussion and benefit from this open forum. Demos should demonstrate the use of context technology in all aspects of everyday life, especially in scenarios involving innovative and creative solutions. We particularly encourage demonstrations that include participation by conference attendees and provoke discussion about issues within the field of research. Videos are ideally suited to demonstrate the practical application of research results, detail experiment procedures for ongoing research, visualize the outcome of development projects, or paint the vision for future context aware systems that are grounded in today's reality. ACCEPTANCE CRITERIA AND SUBMISSION CATEGORIES CONTEXT welcomes original, high-quality research contributions that advance the state of the art in their field. Because CONTEXT'11 will be an interdisciplinary forum, all submissions will be evaluated not only for their technical merit but also for their accessibility to an interdisciplinary audience. Works that transcend disciplinary boundaries are especially encouraged. Submissions of poster abstracts should be at most four pages in Springer LNCS format. All accepted poster abstract submissions will be published in the proceedings which appear as a volume of Springer Lecture Notes in Artificial Intelligence. For a poster abstract to appear in the proceedings, at least one author must register for the conference by the deadline for camera-ready copy, to ensure that the work will be presented during CONTEXT. All authors are encouraged to present their work in a multimodal way, therefore accepted papers and posters can be accompanied by demonstrations/videos which will be shown during the respective sessions. Authors wishing to present a demonstration/video without an accompanying paper must submit a demonstration/video abstract. The abstracts should describe cutting-edge research not described in paper submissions. Demonstration abstracts should summarize the system's behavior and significance, and should include at least one descriptive picture. If desired, they may also include the URL of an informal video on the web. Video abstracts should provide an URL to a version of the video accessible on the web. Demonstration/video abstracts should be at most two pages long. The abstracts associated with demonstrations and videos will be published in a brochure distributed to attendees See detailed author instructions at http://context-11.teco.edu/authors.html IMPORTANT DATES June 24th, 2011. . . . Posters, videos, demonstration abstracts July 3rd, 2011 . . . . Camera-ready deadline Sept 26th-30th, 2011 . Conference GENERAL CHAIRS Michael Beigl, Karlsruhe Institute of Technology, Germany Henning Christiansen, Roskilde University, Denmark Thomas R. Roth-Berghofer, University of Hildesheim, Germany PROGRAM CHAIRS Hedda R. Schmidtke, Karlsruhe Institute of Technology, Germany Anders Kofod-Petersen, Norwegian University of Science and Technology, Norway Kenny R. Coventry, Northumbria University, United Kingdom e-mail: context11-pch at teco.edu From carlos.areces at gmail.com Thu Jun 9 01:11:31 2011 From: carlos.areces at gmail.com (Carlos Areces) Date: Wed, 8 Jun 2011 20:11:31 -0300 Subject: NASSLLI 2012 - CALL for COURSE and WORKSHOP PROPOSALS Message-ID: NASSLLI 2012 North American Summer School in Logic, Language and Information 2012 June 18-22, University of Texas at Austin 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. Notifications of Interest: To give us an idea about the number of submissions, we request and early notificaton of intention to submit a proposal. This will not commit you to actually submit a proposal and those failing to submit an early notification will still be able to submitting a full proposal, by the deadline. This information will be used only for organizational issues. Schedule: June 19 on, 2011 - unofficial notifications of intention to submit; 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; (Preliminary) Program Committee: Carlos Areces (co-chair), Universidad Nacional de Córdoba David Beaver, University of Texas, Austin Valeria de Paiva (co-chair), Rearden Commerce, Inc. Angelika Kratzer, University of Massachusetts Lawrence S. Moss Indiana University Eric Pacuit, Maryland University Chris Potts, Stanford University 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 Inquiries: General inquiries regarding NASSLLI 2012, notifications of interest in course or workshop proposal submission, and final submissions of proposals should be directed to the co-chairs at carlos.areces AT gmail.com and valeria.depaiva AT gmail.com. From A.Lomuscio at imperial.ac.uk Thu Jun 9 12:41:01 2011 From: A.Lomuscio at imperial.ac.uk (Alessio Lomuscio) Date: Thu, 09 Jun 2011 11:41:01 +0100 Subject: 2 Research posts - Verification of Autonomous Systems - Imperial College London Message-ID: <4DF0A33D.8040609@imperial.ac.uk> With apologies for multiple posting. Kind regards -Alessio -- Dr Alessio Lomuscio Reader in Logic for Multiagent Systems Department of Computing A.Lomuscio at imperial.ac.uk Imperial College London http://www.doc.ic.ac.uk/~alessio Exhibition Road http://vas.doc.ic.ac.uk/ London, SW7 2AZ Phone: +44 (20) 7594 8414 United Kingdom Fax: +44 (20) 7581 8024 ========================================================================== 2 Research posts - Verification of Autonomous Systems Department of Computing - Imperial College London --------------------------------------------------------------------- Research Associate and PhD Studentship in Model Checking for Autonomous Systems Imperial College London - Department of Computing, Faculty of Engineering Research Associate Salary: £30,680 - £39,130 per annum Fixed Term for up to 42 months PhD Scholarship: £15,590 tax free per annum (plus PhD fees - see eligibility criteria at the bottom) Fixed Term for 36 months The Department of Computing is a leading department of Computer Science among UK Universities. It has consistently been awarded the highest research rating (5*) in Research Assessment Exercises (RAE), coming 2nd in the 2008 RAE, and was rated as "Excellent" in the previous national assessment of teaching quality. An opportunity has arisen for a Research Associate (post-doctoral) and a PhD student to work on themes of model checking for autonomous systems. The post is associated with the EPSRC project http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/I00520X/1 The project's principal investigator is Dr Lomuscio whose purpose is to develop verification methodologies for autonomous systems. The successful applicants will be responsible for developing model checking methodologies, implementation toolkits, and case-study analysis. Collaborating partners in the project are IPIPAN Warsaw, University of Rome, University of Southampton, IBM Watson, CHIME UCL and Sysbrain Ltd. To apply you will need to have a strong computing or engineering background. You should have experience in one or more of the following areas: * Formal verification, especially model checking * Abstraction * Automata theory and synthesis * Programming, particularly in the context of model checkers or theorem provers. * Modal Logic, including temporal logic, epistemic logic and ATL * Service-oriented computing * Multi-Agent Systems. Applicants for the PhD position are expected to hold a first degree (or equivalent) or a Masters degree (or equivalent) in a relevant subject area i.e. Computing, Mathematics or Engineering. Eligibility: Due to funding regulations, UK nationals are eligible to the untaxed bursary of £15,590 per annum. EU nationals are only eligible for the bursary if they meet the EPSRC requirement of having been in the UK for three years immediately prior to starting the PhD. Details can be found at http://www.epsrc.ac.uk/PostgraduateTraining/StudentEligibility.htm Applicants for the Research Associate level are expected to hold a PhD (or equivalent) in a relevant subject area i.e. Computing, Mathematics or Engineering. Candidates with previous experience in model checking including implementations are particularly encouraged to apply. You must have excellent communication skills, ability to work in teams, ability to organise your own work with minimal supervision and to meet deadlines. Preference will be given to applicants with a proven research record and relevant publications. You will be part of the research group on verification of autonomous systems, based at the South Kensington campus. For further information on the group and related projects see: http://vas.doc.ic.ac.uk/ Shortlisted candidates will be given an opportunity to demonstrate their abilities through remote interviews. If successful this will be followed by interview in person. How to apply: Our preferred method of application is online via our website http://www3.imperial.ac.uk/employment (please select "Job Search" then enter the job title or vacancy reference number EN20110097BD into "Keywords"). Applications must include: * A college application form quoting job reference AL 05 11 * A full CV * A research statement of up to 1 page indicating what you think are interesting research issues relating to the above post and why your expertise is relevant. For queries regarding the application process please contact Joanne Day at: research.officer at doc.ic.ac.uk Should you have any technical queries regarding the project and its aims, or for an informal discussion, please email a.lomuscio at imperial.ac.uk attaching your CV. Closing Date: 26 June 2011 From ralf.treinen at pps.jussieu.fr Fri Jun 10 15:28:55 2011 From: ralf.treinen at pps.jussieu.fr (Ralf Treinen) Date: Fri, 10 Jun 2011 15:28:55 +0200 Subject: Call for Participation: Mancoosi International Solver Competition Message-ID: The Mancoosi International Solver Competition (MISC) http://www.mancoosi.org/misc-2011/ Call for Participation The Mancoosi project (www.mancoosi.org) calls for the second international competition of solvers for package/component installation and upgrade problems. Instances of these problems are given by a set of currently installed or available software packages, with complex relations between them like dependencies, conflicts, and features. The problem instances used in the competition are expressed in a language called CUDF that allows to express relationships between components like they are known for instance in GNU/Linux distributions, or for Eclipse plugins. We are not only interested in finding some solution to such a problem, but in finding the best solution according to different optimization criteria. For a detailed description please look at the competition web page http://www.mancoosi.org/misc-2011/ Participating solvers will be judged by the correctness of the solution, the quality of the solution according to the respective optimization criteria, and speed. The results of the competition will be announced on September, 12, at the LoCoCo workshop at CP 2011 (http://lococo.irill.org/2011). Timeline: - August, 1: Registration of participants by email to misc-committee at sympa.mancoosi.univ-paris-diderot.fr - August, 12: Submission of solvers - September, 12: announcement of the results Organization Committee: Pietro Abate, University Paris-Diderot, France Roberto Di Cosmo, University Paris-Diderot, France (co-chair) Ralf Treinen, University Paris-Diderot, France (co-chair) Stefano Zacchiroli, University Paris-Diderot, France From farn at cc.ee.ntu.edu.tw Wed Jun 15 04:40:04 2011 From: farn at cc.ee.ntu.edu.tw (Farn Wang) Date: Wed, 15 Jun 2011 10:40:04 +0800 Subject: FW: [Call for Papers] INFINITY 2011, Taipei, Taiwan Message-ID: <03c201cc2b05$88261610$98724230$@ee.ntu.edu.tw> Please post - apologies for multiple copies.] =========== INFINITY 2011 | CALL FOR PAPERS ==================== INFINITY 2011: The 13th International Workshop on Verification of Infinite-State Systems October 10th, 2011 - Taipei, Taiwan Web Page: http://infinity.mis.nccu.edu.tw/infinity11 Submission page: https://www.easychair.org/account/signin.cgi?conf=infinity2011 Submission deadline: June 20, 2011 ---------------------------------------------------------------------------- -------------------------------- Aim INFINITY 2011 provides a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems. This year INFINITY will be co-located with ATVA 2011 and ESWEEK 2011. ATVA is one of the major international conferences on automated verification. ESWEEK consists of three major conferences (EMSOFT 2011, CASES 2011, and CODES+ISSS 2011) and over ten workshops. We expect these joint events to attract many researchers from all around the world. Topics of interest include (but are not limited to): - Applications of verification techniques on infinite-state systems (New!) - Infinite-state models of software/hardware systems - Abstraction techniques for infinite-state systems - Symbolic analysis techniques and data structures for representing infinite state spaces - Model-checking, static analysis, abstract interpretation, preorder/equivalence-checking, and control synthesis for infinite-state systems - Parameterized networks of parallel processes, dynamic networks, mobile systems - Systems with unbounded dynamic data and control structures (recursion, dynamic instantiation of processes, dynamic linked data structures, unbounded communication channels, web services, infinite data domains) - Probabilistic and timed systems - Games in modeling and verification of infinite-state systems - Verification techniques for security properties, cryptographic protocols Important Dates Regular Papers: Submission deadline: June 20, 2011 23:59 (AOE time) Notification: July 20, 2011 Final version: August 15, 2011 Presentations: Submission deadline: August 20, 2011 23:59 (AOE time) Notification: September 5, 2010 Workshop: October 10, 2010 Submission: Regular papers will be thoroughly evaluated by the program committee and accepted submissions will be published in the proceedings. Authors are invited to submit an original contribution presenting unpublished work in the relevant areas. By submitting you agree that, in case of acceptance, at least one (co-)author will register and present the paper at the workshop. Contributions should be typeset in the EPTCS format and should not exceed 15 pages. Presentations are reports on recent (or ongoing) work. It is possible to submit a paper which recently appeared (or which is going to appear) in proceedings of another conference, or which has not yet been submitted. Neither the paper nor the abstract will be published in the proceedings. These contributions will be judged solely on the basis of their attractiveness to the workshop. Authors are invited to submit a one-page abstract. Both kind of papers should be submitted through EasyChair . Proceedings As in the past INFINITY workshops, all accepted papers will be published in archived electronic notes (Electronic Proceedings in Theoretical Computer Science). High quality submissions may also be considered for a journal special issue in either FMSD (Formal Methods in Systems Design) or STTT (Software Tools for Technology Transfer). Invited Speaker Tevfik Bultan, University of California Santa Barbara Program Committee - Parosh Abdulla, Uppsala University, Sweden - Rajeev Alur, University of Pennsylvania, United States - Mohamed Faouzi Atig, Uppsala University, Sweden - Yu-Fang Chen, Academia Sinica, Taiwan - Javier Esparza, Technische Universität München, Germany - Peter Habermehl, LIAFA, Université Denis Diderot---Paris 7, CNRS, France - Shuvendu Lahiri, Microsoft Research, United States - Akash Lal, Microsoft Research, India - Jerome Leroux, LaBRI, Domaine Universitaire , CNRS, France - Rupak Majumdar, Max Plank Institute / University of California, Los Angeles, United States - Robby, Kansa State University, United States - Neha Rungta, NASA Ames Research Center, United States - Tomas Vojnar, Brno University of Technology, Czech Republic - Chao Wang (co-chair), NEC Laboratory America, United States - Fang Yu (co-chair), National Chengchi University, Taiwan To stop receiving notices about INFINITY, please reply with "DROP INFINITY " in the subject field. From cyril.terrioux at univ-cezanne.fr Thu Jun 16 21:50:02 2011 From: cyril.terrioux at univ-cezanne.fr (Cyril Terrioux) Date: Thu, 16 Jun 2011 21:50:02 +0200 Subject: PhD position Message-ID: <201106162150.02937.cyril.terrioux@univ-cezanne.fr> (sorry for multiple copies) PhD scholarships on Constraints Title: Tractable classes for extending constraint satisfaction solvers Laboratory: Laboratoire des Sciences de l'Information et des Systèmes (LSIS) – UMR CNRS 6168 Advisors: Philippe Jégou, Cyril Terrioux Abstract: The implementation of constraint satisfaction solvers, including SAT solvers for propositional logic (the NP-complete problem of reference), has lead to spectacular results in the last years, proved by their ability to treat industrial instances of huge size. However, the community seems to have reached a plateau that is now difficult to cross. A significant jump with respect to the current state of the art would likely require the study of two complementary issues: • The first one is the study of existing solvers, including CDCL-based systems or systems making use of filtering techniques by propagation and exploiting the topological structure of instances, such as bounded tree-width. A theoretical explanation of their practical efficiency is currently lacking. The point here is to develop a theoretical analysis - based on complexity theory (the parameterized complexity seems to be a relevant notion) in order to provide an explanation of their behavior. • The second issue focuses on integrating tractable fragments handled by the current systems, to the aim of discovering new tractable fragments. These new fragments are intended to cover large classes of benchmarks, and at the same time being suitable for efficient implementation (recognizing and solving algorithms must have an almost linear time complexity). The thesis will deal with the above issues and will comprise both a theoretical investigation and an experimental analysis. This research will be undertaken within the TUPLES programme, which is funded by the French National Research Agency (ANR) and it associates four laboratories: namely the IRIT (Toulouse with Martin Cooper and Pierre Régnier), the CRIL (Lens with Pierre Marquis, Lakhdar Saïs, Daniel Le Berre and Bertrand Mazure), the GREYC (Caen with Bruno Zanuttini) and the LSIS (Marseille). TUPLES is the acronym for Tractability for Understanding and Pushing forward the Limits of Efficient Solvers. The applicant will integrate INCA team at LSIS. The INCA team has been ranked A+ (the best possible ranking) by the French National Agency for Evaluation of Research (AERES). Keyword: CSP, SAT, complexity, algorithmic, tractable classes, solving systems (solvers). Location: Paul Cézanne University (Aix-Marseille III), Faculty of Sciences and Techniques, Marseille, France Funding: the Ph.D. fellowship is funded for 3 years and is monthly funded about 1632,22 € before taxes (or 1998,61 € before taxes if included missions other than research activities as teaching) under Decree No. 2009-464 of April 23rd 2009 on doctoral contract of public higher education or research. Candidate Profile: Applicants should have (or in the process of getting) a M.Sc. in Computer Science, Computer Engineering or a closely-related discipline (such as Discrete Mathematics). Strong algorithmic and mathematical skills are required. C++ or C development skills are desirable. Note that the knowledge of French is not required. Start date: the position starts preferably in September / October 2011. Application and contacts: Candidates must send their application before July 1st 2011 midnight, including: - CV (at most 3 pages) - Results and ranking for the M.Sc. (join a copy of marks) - a motivation letter, - reference letters. Send your applications by email with attached pdf files to: philippe.jegou at univ-cezanne.fr and cyril.terrioux at univ-cezanne.fr From ivan.bedini at alcatel-lucent.com Fri Jun 17 11:37:09 2011 From: ivan.bedini at alcatel-lucent.com (Bedini, Ivan (Ivan)) Date: Fri, 17 Jun 2011 11:37:09 +0200 Subject: ICSOC 2011 - 2nd Call for PhD Symposium Contributions Message-ID: <497845CBF1174B4FA4814E5ADFFF461F47B9E69AA0@FRMRSSXCHMBSD1.dc-m.alcatel-lucent.com> ******************************************************************************* The Nineth International Conference on Service Oriented Computing Paphos, Cyprus December 5-8, 2011 http://www.icsoc.org/ 2nd CALL FOR PhD SYMPOSIUM CONTRIBUTIONS ******************************************************************************** The ICSOC PhD Symposium 2011 is an international forum for PhD students working in all the areas addressed by the ICSOC conference. The goals of the ICSOC PhD Symposium are: - To bring together PhD students and established researchers in the field of service oriented computing. - To enable PhD students to interact with other PhD students and to stimulate an exchange of ideas, suggestions, and experiences among participants. - To give PhD students the opportunity to present and discuss their research in a constructive and critical atmosphere. - To provide students with fruitful feedback and advice on their research approach and thesis. We particularly encourage students that are still developing their research methodology or are somewhere in the middle of their research program to submit to this symposium. Only active PhD students are eligible to submit, and topics are restricted to their doctoral work within the scope of the ICSOC conference. The symposium in Paphos, Cyprus will be the 7th PhD Symposium of the series held in conjunction with the ICSOC conferences in San Francisco, USA (2010), Stockholm, Sweden (2009), Sydney, Australia (2008), Vienna, Austria (2007), Chicago, USA (2006), and Amsterdam, the Netherlands (2005). SUBMISSION FOMAT AND PROCEEDINGS Submitted papers should give a clear description of the PhD work being conducted by the author of the paper. In particular, papers must: - Provide a clear problem statement. - Outline the research challenges that drive the proposed work. - Describe the proposed solution, its expected impact, the expected research plan, and - if available - preliminary results. - Discuss the progress beyond the state of the art of the envisioned research outcome compared to current literature and approaches (cite key papers). Each paper must be formatted according to the Springer LNCS format (http://www.springer.de/comp/lncs/authors.html) and must be at most 6 pages in length (strictly enforced). Submissions must be single-author, and the name of the supervisor(s) must be clearly marked ("supervised by ...") under the author's name. Papers must be submitted electronically in PDF to the PhD Symposium track of the conference submission system. Accepted papers will be included in the ICSOC 2011 post-conference proceedings of satellite events, to be published by Springer as part of the Service Science series. REVIEW PROCESS AND FORMAT OF THE SYMPOSIUM Each submission will be reviewed by at least two members of the PhD Symposium Program Committee. The main evaluation criteria are: relevance to service-oriented computing, potential for impact, quality of proposed research. The selection of papers will be based on these criteria. In order to stimulate the discussion during the symposium, (i) reviewers will be asked to provide one paragraph description of what solution they think suits the described problem and how they would approach the research (in addition to the review); (ii) students accepted for participation will be asked to write their own reviews of two/three other accepted papers. As a feedback on their reviews, students will be granted access to the respective reviews by the Program Committee. The symposium will operate in a workshop format, giving PhD students the opportunity to showcase their research and to assess the solutions proposed by the Program Committee. IMPORTANT DATES Paper submission: July 01, 2011 Author notification: July 30, 2011 Camera-ready submission: August 15, 2011 PHD SYMPOSIUM CHAIS Michael Q. Sheng, Adelaide University, Australia Cesare Pautasso, University of Lugano, Switzerland Sonia Ben Mokhtar, LIRIS, CNRS, France PROGAMME COMMITTEE Boualem Benatallah, University of New South Wales, Australia Djamal Benslimane, University of Lyon, France Walter Binder, University of Lugano, Switzerland Athman Bouguettaya, CSIRO ICT Centre, Australia Mauro Caporuscio, Politecnico di Milano, Italy Florian Daniel, University of Trento, Italy Marlon Dumas, University of Tartu, Estonia Nikolaos Georgantas, INRIA Paris, France Mohand-Said Hacid, LIRIS, France Xitong Li, MIT, USA Kwei-Jay Lin, University of California, Irvine, USA Pascal Poizat, University of Evry Val d'Essonne, France Aviv Segev, KAIST, Korea Jian Yu, Swinburne University of Technology, Australia CONTACT INFORMATION If you have any inquiries, please contact the PhD Symposium chairs at: ps at icsoc.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.ricci at unibo.it Fri Jun 17 11:46:44 2011 From: a.ricci at unibo.it (Alessandro Ricci) Date: Fri, 17 Jun 2011 09:46:44 +0000 Subject: CFP: AGERE! at SPLASH - Programming Systems, Languages, and Applications based on Agents, Actors, and Decentralized Control Message-ID: <86812513-91CF-4849-AB01-BEC1819D4C3C@unibo.it> CALL FOR PAPERS AGERE! Programming Systems, Languages, and Applications based on Agents, Actors, and Decentralized Control (http://agere2011.apice.unibo.it) International Workshop to be held at SPLASH 2011, Portland, USA (http://splashcon.org/2011/) Sponsored by ACM SIGPLAN IMPORTANT DATES: Title and Abstract Submission: Friday, 5 August 2011 Paper Submission: Friday, 12 August 2011 Demo submission: Friday, 9 September 2011 Workshop: Monday, 24 October 2011 RESUME The fundamental turn of software into concurrency and distribution is not only a matter of performance, but also of design and abstraction, calling for programming paradigms that would allow more naturally than the current ones to think, design, develop, execute, debug and profile programs exhibiting different degrees of concurrency, reactiveness, autonomy, decentralization of control, distribution. This workshop aims at exploring programming approaches explicitly providing a level of abstraction that promotes a decentralized mindset in solving problems and programming systems. To this end, the abstractions of agents and actors (and systems of agents and actors) are taken as a natural reference: the objective of the workshop is then to foster the research in all aspects of agent-oriented programming and actor-oriented programming as evolution of mainstream paradigms (such as OOP), including the theory and the practice of design and programming, bringing together researchers working on the models, languages and technologies, and practitioners developing real-world systems and applications. Read more at: http://agere2011.apice.unibo.it Join the group: https://groups.google.com/group/agere-at-splash to contribute to ongoing discussions about the AGERE! topics and workshop organization. ("Starting the workshop Now!" initiative) ORGANIZING COMMITTEE Gul Agha, University of Illinois at Urbana-Champaign, USA Rafael H. Bordini, Federal University of Rio Grande do Sul, Brazil Alessandro Ricci, University of Bologna, Italy PROGRAM COMMITTEE (in alphabetic order, to be completed) Gul Agha, University of Illinois at Urbana-Champaign, USA Joe Armstrong, SICS / Ericsson, Sweden Olivier Boissier, LSTI ENS Mines Saint-Etienne, France Rafael Bordini, Federal University of Rio Grande do Sul, Brazil Jean-Pierre Briot, LIP6, Paris 6, France Rem Collier, UCL, Dublin Mehdi Dastani, Utrecht University, The Netherlands J√ºrgen Dix, Technical University of Clausthal, Germany Koen Hindriks, Delft University of Technology, The Netherlands Jomi H√ºbner, Federal University of Santa Catarina, Brazil Jo√£o Leite, New University of Lisbon, Portugal Jamali Nadeem, University of Saskatchewan, Saskatoon, Canada Ravi Pandya, Microsoft Jens Palsberg, UCLA, Los Angeles, USA Alessandro Ricci, University of Bologna, Italy Birna van Riemsdijk, Delft University of Technology, The Netherlands Giovanni Rimassa, Whitestein Technologies Amal El Fallah Seghrouchni, LIP6 - University Pierre and Marie Curie Munindar Singh, North Carolina State University, USA Akinori Yonezawa, University of Tokyo, Japan ... LA RICERCA C’È E SI VEDE: 5 per mille all'Università di Bologna - C.F.: 80007010376 http://www.unibo.it/Vademecum5permille.htm Questa informativa è inserita in automatico dal sistema al fine esclusivo della realizzazione dei fini istituzionali dell’ente. From esslli2012 at gmail.com Fri Jun 17 12:34:47 2011 From: esslli2012 at gmail.com (A. Herzig) Date: Fri, 17 Jun 2011 12:34:47 +0200 Subject: ESSLLI 2012: last call for course and workshop proposals Message-ID: --------------------------------------------------------------------- 24th European Summer School in Logic, Language and Information ESSLLI 2012 August 6-17, 2012 Opole, Poland http://www.esslli2012.pl Call for Course and Workshop Proposals --------------------------------------------------------------------- The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. For more information, visit the FoLLI website, as well as the ESSLLI 2011 website: http://esslli2011.ijs.si/. CALL FOR COURSE AND WORKSHOP PROPOSALS The ESSLLI 2012 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 24th annual Summer School on important topics of active research in the broad interdisciplinary area connecting logic, linguistics, computer science and the cognitive sciences. All proposals should be submitted via the EasyChair system, using a prescribed form that is available on the ESSLLI 2012 website, no later than: June 19, 2011 (extended) Authors of proposals will be notified of the committee's decision by September 15, 2011. GUIDELINES FOR SUBMISSION Proposers of courses and workshops should follow the guidelines below while preparing their submissions; proposals that do not conform with these guidelines may not be considered. Courses are taught by 1 or max. 2 lecturers, and workshops are organized by 1 or max. 2 organizers. Lecturers and organizers must have obtained a Ph.D. or an equivalent degree at the time of the submission deadline. Courses and workshops run over one week (Monday-Friday) and consist of five 90-minute sessions. Lecturers who want to offer a long, two-week course should submit two independent one-week courses (for example, an introductory course in the first week and an advance course in the second). The ESSLLI program committee has the right to select only one of the two proposed courses. FOUNDATIONAL COURSES These are strictly elementary courses not assuming any background knowledge. They are intended for people who wish to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses should have no special prerequisites, but may presuppose some experience with scientific methods and general appreciation of the field of the course. INTRODUCTORY COURSES Introductory courses are central to the activities of the Summer School. They are intended to provide an introduction to the (interdisciplinary) field for students, young researchers, and other non-specialists, and to equip them with a good understanding of the field's basic methods and techniques. Such courses should enable experienced researchers from other fields to acquire the key competencies of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Introductory courses in a topic at the interface of two fields can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if available). ADVANCED COURSES Advanced courses should be pitched at an audience of advanced Masters or Ph.D. students. Proposals for advanced courses should specify the prerequisites in detail. TIMETABLE FOR COURSE PROPOSAL SUBMISSION: Jun 19, 2011: Proposal Submission Deadline Sep 15, 2011: Notification Deadline Jun 1, 2012: Deadline for receipt of camera-ready course material by the ESSLLI 2012 local organizers WORKSHOPS The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well-defined theme, and workshop organizers should be specialists in the theme of the workshop. The proposals for workshops should justify the choice of topic, give an estimate of the number of attendants and expected submissions, and provide a list of at least 15 potential submitters working in the field of the workshop. The organizers are required to give a general introduction to the theme during the first session of the workshop. They are also responsible for various organizational matters, including soliciting submissions, reviewing, drawing up the program, taking care of expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for sending out a Call for Papers for the workshop and to organize the selection of the submissions by the deadlines specified below. The call for workshop submissions must make it clear that the workshop is open to all members of the ESSLLI community and should indicate that all workshop contributors must register for the Summer School. TIMETABLE FOR WORKSHOP PROPOSAL SUBMISSIONS: Jun 19, 2011: Proposal Submission Deadline Sep 15, 2011: Notification Deadline Oct 15, 2011: Deadline for submission of the Calls for Papers to ESSLLI 2012 PC chair Nov 1, 2011: Workshop organizers send out First Call for Papers Dec 15, 2011: Workshop organizers send out Second Call for Papers Jan 15, 2012: Workshop organizers send out Third Call for Papers Feb 15, 2012: Deadline for submissions to the workshops Apr 15, 2012: Suggested deadline for notification of workshop contributors Jun 1, 2012: Deadline for submission of camera-ready copy of workshop proceedings to the ESSLLI 2012 Local Organizers. Workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. FORMAT FOR PROPOSALS Forms for submitting course and workshop proposals are available on the ESSLLI 2012 website. The proposers are required to submit the following information: * Contact address and fax number * Name, email, affiliation, homepage of each lecturer / workshop organizer (at most two per course or workshop) * Title of proposed course/workshop * Abstract (abstract of the proposal, max 150 words) * Type (workshop, foundational, introductory, or advanced course) * Areas (one or more of: Computation, Language, Logic, or Other) * Description (describe the proposed contents of the course and substantiate timeliness and relevance to ESSLLI in at most one A4 page) * Tentative outline of the course / expected participation in the workshop * External funding (whether the proposers will be able to obtain external funding for travel and accommodation expenses) * Further particulars (e.g., course prerequisites, previous teaching experiences, etc.) FINANCIAL ASPECTS Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants' fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation expenses (up to fixed maximum amounts, which will be communicated to the lecturers upon notification). Lecturers and workshop organizers will have their registration fee waived. In case a course or workshop is to be taught/organized by two people, a lump sum will be reimbursed to cover travel and accommodation expenses for one of them; the splitting of the sum is up to the lecturers/organizers. It should be stressed that while proposals from all over the world are welcome, the School cannot guarantee full reimbursement of travel costs, especially if lecturers or organizers have to come from outside of Europe. The local organizers would highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, as that would help us keep the cost of attending ESSLLI 2012 lower. ESSLLI 2012 PROGRAM COMMITTEE Chair: Andreas Herzig (Institut de recherche en informatique de Toulouse and CNRS) Local Co-chair: Anna Pietryga (Opole) Area specialists: Language and Computation: Miriam Butt (Sprachwissenschaft, University of Konstanz) Gosse Bouma (Groningen University) Language and Logic: Regine Eckardt (Language and Literature, University of Göttingen) Rick Nouwen (UiL-OTS, Utrecht University) Logic and Computation: Natasha Alechina (CS, University of Nottingham) Andreas Weiermann (Mathematics and Computation, Ghent University) ESSLLI 2012 ORGANIZING COMMITTEE: Chair: Urszula Wybraniec-Skardowska and Janusz Czelakowski (University of Opole) ESSLLI 2012 website: http://www.esslli2012.pl EasyChair submission page: https://www.easychair.org/conferences/?conf=esslli2012 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cacs at cacs2011.org Sat Jun 18 01:47:04 2011 From: cacs at cacs2011.org (Jane Lew) Date: Sat, 18 Jun 2011 07:47:04 +0800 Subject: Congress on Computer Applications and Computational Science, Bali, 15-17 Nov 2011 [EI Compendex,ISTP,IEEE Xplore] Message-ID: Dear Author, Please forward to those who may be interested. Thank you. The 2011 2nd International Congress on Computer Applications and Computational Science (CACS 2011) http://irast.net/conferences/CACS/2011 15-17 November 2011, Bali, Indonesia CACS 2011 aims to bring together researchers and scientists from academia, industry, and government laboratories to present new results and identify future research directions in computer applications and computational science. All papers published in the CACS 2011 proceedings will be included in the IEEE Xplore and indexed in both Ei Compendex and ISTP. CACS 2011 has appeared in the IEEE Conferences (Conference Record # 18959, IEEE Catalog Number: CFP1175N-CDR, ISBN: 978-1-61284-995-9). Topics of interest include, but are not limited to: · Computer Architecture and VLSI · Computer Control and Robotics · Computers in Education and Learning Technologies · Computer Networks and Data Communications · Data Mining and Data Engineering · Energy and Power Systems · Intelligent Systems and Autonomous Agents · Internet and Web Systems · Scientific Computing and Modeling · Signal, Image and Multimedia Processing · Software Engineering Bali is a favorite vacation destination for many nationalities. Bali's natural attractions include miles of sandy beaches, picturesque rice terraces, towering active volcanoes over 3,000 meters high, fast flowing rivers, deep ravines, pristine crater lakes, sacred caves, and lush tropical forests full of exotic wildlife. The island's rich cultural heritage is visible everywhere - in over 20,000 temples and palaces, in many colorful festivals and ceremonies, in drama, music, and dance. Bali is also well-known for its night life. Come to Bali enjoying the beautiful environment and fun here! Paper Submission Deadline: 15 July 2011 (Extended) Review Decision Notifications: 15 August 2011 Final Papers and Author Registration Deadline: 9 September 2011 To unsubscribe, reply with “unsubscribe event at tu-clausthal.de ” in your email subject or the first line of the email body. With kind regards, Jane Lew -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From micai at cic.ipn.mx Fri Jun 17 21:47:50 2011 From: micai at cic.ipn.mx (MICAI 2011) Date: Fri, 17 Jun 2011 14:47:50 -0500 Subject: Deadline extension: MICAI 2011, Artificial Intelligence, Springer LNAI, Mexico Message-ID: DEADLINE EXTENSION: MICAI-2011 10th Mexican International Conference on ARTIFICIAL INTELLIGENCE November 26 - December 4, Puebla City (near Mexico City), Mexico Publication: Springer LNAI www.micai.org/2011 Submission (EXTENDED): July 1: abstract, July 7: PDF (see webpage) == GENERAL INFORMATION Topics: all areas of Artificial Intelligence, research or applications. Keynote: Weiru Liu, Rada Mihalcea, Jesus Favela, Janusz Kacprzyk, and more. Workshops, tutorials. Travel grants for students. Best papers awards. == PROCEEDINGS Springer LNAI (confirmed); special issues of journals (anticipated). Poster session: IEEE CPS (anticipated). == VENUE AND TOURS Puebla City: near Mexico City (1.5 hours). Regular buses are available. Tours: Great Pyramid of Cholula and Cacaxtla. More tours anticipated. While passing through Mexico City, you can visit Ancient pyramids of Teotihuacan -- one of the most important archaeological sites in the Americas. PLEASE CIRCULATE this CFP among your colleagues and students. We apologize if you receive multiple copies. We sent this message to you in good faith of its usefulness for you as an AI researcher. If this is an error, please let us know by replying to this message, and we will never contact you again. From universal.logic at ufc.br Sat Jun 18 18:34:46 2011 From: universal.logic at ufc.br (Universal Logic) Date: Sat, 18 Jun 2011 13:34:46 -0300 (BRT) Subject: Scope of Logic Theorems - Call for Papers Message-ID: <7bec0058b466c6f032547c572fa732a2.squirrel@correio1.ufc.br> Scope of Logic Theorems CALL FOR PAPERS Special Issue - Logica Universalis In Memoriam A.Lindenbaum (1904-1941) http://www.logica-universalis.org "La verità non sta in un solo sogno, ma in molti sogni." P.P.Pasolini In view of the speedy and huge expansion of the universe of logics, the question of the scope of validity and the domain of application of fundamental logic theorems is more than ever crucial. What is true for classical logic and theories based on it, does not necessarily hold for non-classical logics. But we may wonder if there is a logic deserving the name in which a theorem such as the incompleteness theorem does not hold. On the other hand a theorem such as cut-elimination does not hold for many interesting logical systems. Cut-elimination expresses the intrinsic analicity of a logic, the fact that a proof of a theorem depends only of its constituents, a not always welcome feature. Anyway, it is interesting to find necessary and/or sufficient conditions for cut-elimination to hold. And also for any important theorem of logic. Any paper dealing with the scope and validity of logic theorems is welcome, in particular those dealing with the following theorems: - Löwenheim-Skolem (1915-1920) - completeness (Post 1921 - Gödel 1930) - incompleteness (Gödel 1931) - cut-elimination (Gentzen 1934) - undefinability (Tarski 1936) - undecidability (Church-Turing, 1936) - Lindenbaum's extension lemma (1937) - compactness (Malcev 1938) - incompleteness for modal logic (Dugundji 1940) - Beth's definability theorem (1953) - Craig's interpolation theorem (1957) - completeness for modal logic (Kripke 1959) - independence of CH (Cohen 1963) "Un mathématiclen, un mathématicien moderne en particulier, se trouve, dirait-on, à un degré superieur de l'activité consciente: il ne s'intéresse pas seulement a la question de quoi, mais aussi à celle du comment. Il ne se borne presque jamais à une solution -tout court- d'un problème, il veut avoir toujours les solutions les plus ...1es plus quoi? -les plus faciles, les plus courtes, les plus générales, etc." A.Lindenbaum, "Sur la simplicité formelle des notions", in Actes du congrès international de philosophie scientifiqe, vol. VII, Logique, Hermann, Paris, 1936, pp.28-38. The issue will include a paper by Jan Wolenski about the life and work of Lindenbaum. DEADLINE: DECEMBER 24, 2011 http://www.logica-universalis.org From farn at cc.ee.ntu.edu.tw Tue Jun 21 03:40:03 2011 From: farn at cc.ee.ntu.edu.tw (Farn Wang) Date: Tue, 21 Jun 2011 09:40:03 +0800 Subject: FW: DEADLINE EXTENSION: Infinity 2011, Taipei, Taiwan Message-ID: <001b01cc2fb4$242253f0$6c66fbd0$@ee.ntu.edu.tw> =========== INFINITY 2011 | CALL FOR PAPERS ==================== INFINITY 2011: The 13th International Workshop on Verification of Infinite-State Systems October 10th, 2011 - Taipei, Taiwan (joint with ATVA 2011 and ESWEEK 2011) Web Page: http://infinity.mis.nccu.edu.tw/infinity11 Submission page: https://www.easychair.org/account/signin.cgi?conf=infinity2011 Submission deadline: July 4, 2011 (Extended) ---------------------------------------------------------------------------- -------------------------------- Aim INFINITY 2011 provides a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems. This year INFINITY will be co-located with ATVA 2011 and ESWEEK 2011. ATVA is one of the major international conferences on automated verification. ESWEEK consists of three major conferences (EMSOFT 2011, CASES 2011, and CODES+ISSS 2011) and over ten workshops. We expect these joint events to attract many researchers from all around the world. Topics of interest include (but are not limited to): - Applications of verification techniques on infinite-state systems (New!) - Infinite-state models of software/hardware systems - Abstraction techniques for infinite-state systems - Symbolic analysis techniques and data structures for representing infinite state spaces - Model-checking, static analysis, abstract interpretation, preorder/equivalence-checking, and control synthesis for infinite-state systems - Parameterized networks of parallel processes, dynamic networks, mobile systems - Systems with unbounded dynamic data and control structures (recursion, dynamic instantiation of processes, dynamic linked data structures, unbounded communication channels, web services, infinite data domains) - Probabilistic and timed systems - Games in modeling and verification of infinite-state systems - Verification techniques for security properties, cryptographic protocols Important Dates Regular Papers: Submission deadline: July 4, 2011 23:59 (AOE time) Notification: July 25, 2011 Final version: August 15, 2011 Presentations: Submission deadline: August 20, 2011 23:59 (AOE time) Notification: September 5, 2010 Workshop: October 10, 2010 Submission: Regular papers will be thoroughly evaluated by the program committee and accepted submissions will be published in the proceedings. Authors are invited to submit an original contribution presenting unpublished work in the relevant areas. By submitting you agree that, in case of acceptance, at least one (co-)author will register and present the paper at the workshop. Contributions should be typeset in the EPTCS format and should not exceed 15 pages. Presentations are reports on recent (or ongoing) work. It is possible to submit a paper which recently appeared (or which is going to appear) in proceedings of another conference, or which has not yet been submitted. Neither the paper nor the abstract will be published in the proceedings. These contributions will be judged solely on the basis of their attractiveness to the workshop. Authors are invited to submit a one-page abstract. Both kind of papers should be submitted through EasyChair . Proceedings As in the past INFINITY workshops, all accepted papers will be published in archived electronic notes (Electronic Proceedings in Theoretical Computer Science). High quality submissions may also be considered for a journal special issue in either FMSD (Formal Methods in Systems Design) or STTT (Software Tools for Technology Transfer). Invited Speaker Tevfik Bultan, University of California Santa Barbara Program Committee - Parosh Abdulla, Uppsala University, Sweden - Rajeev Alur, University of Pennsylvania, United States - Mohamed Faouzi Atig, Uppsala University, Sweden - Yu-Fang Chen, Academia Sinica, Taiwan - Javier Esparza, Technische Universität München, Germany - Peter Habermehl, LIAFA, Université Denis Diderot---Paris 7, CNRS, France - Shuvendu Lahiri, Microsoft Research, United States - Akash Lal, Microsoft Research, India - Jerome Leroux, LaBRI, Domaine Universitaire , CNRS, France - Rupak Majumdar, Max Plank Institute / University of California, Los Angeles, United States - Robby, Kansa State University, United States - Neha Rungta, NASA Ames Research Center, United States - Tomas Vojnar, Brno University of Technology, Czech Republic - Chao Wang (co-chair), NEC Laboratory America, United States - Fang Yu (co-chair), National Chengchi University, Taiwan From cacs at cacs2011.org Wed Jun 22 09:16:03 2011 From: cacs at cacs2011.org (Jane Lew) Date: Wed, 22 Jun 2011 15:16:03 +0800 Subject: Congress on Computer Applications and Computational Science, Bali, 15-17 Nov 2011 [EI Compendex,ISTP,IEEE Xplore] Message-ID: <07076DABBA129A83B076CE9791F81709@unbwkt> Dear Author, Please forward to those who may be interested. Thank you. The 2011 2nd International Congress on Computer Applications and Computational Science (CACS 2011) http://irast.net/conferences/CACS/2011 15-17 November 2011, Bali, Indonesia CACS 2011 aims to bring together researchers and scientists from academia, industry, and government laboratories to present new results and identify future research directions in computer applications and computational science. All papers published in the CACS 2011 proceedings will be included in the IEEE Xplore and indexed in both Ei Compendex and ISTP. CACS 2011 has appeared in the IEEE Conferences (Conference Record # 18959, IEEE Catalog Number: CFP1175N-CDR, ISBN: 978-1-61284-995-9). Topics of interest include, but are not limited to: · Computer Architecture and VLSI · Computer Control and Robotics · Computers in Education and Learning Technologies · Computer Networks and Data Communications · Data Mining and Data Engineering · Energy and Power Systems · Intelligent Systems and Autonomous Agents · Internet and Web Systems · Scientific Computing and Modeling · Signal, Image and Multimedia Processing · Software Engineering Bali is a favorite vacation destination for many nationalities. Bali's natural attractions include miles of sandy beaches, picturesque rice terraces, towering active volcanoes over 3,000 meters high, fast flowing rivers, deep ravines, pristine crater lakes, sacred caves, and lush tropical forests full of exotic wildlife. The island's rich cultural heritage is visible everywhere - in over 20,000 temples and palaces, in many colorful festivals and ceremonies, in drama, music, and dance. Bali is also well-known for its night life. Come to Bali enjoying the beautiful environment and fun here! Paper Submission Deadline: 15 July 2011 (Extended) Review Decision Notifications: 15 August 2011 Final Papers and Author Registration Deadline: 9 September 2011 To unsubscribe, reply with “unsubscribe event at tu-clausthal.de ” in your email subject or the first line of the email body. With kind regards, Jane Lew -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wjamroga at in.tu-clausthal.de Wed Jun 22 13:06:54 2011 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Wed, 22 Jun 2011 13:06:54 +0200 Subject: 2nd CfP: Logical Aspects of Multi-Agent Systems (LAMAS 2011) Message-ID: <4E01CCCE.40401@in.tu-clausthal.de> [With apologies for multiple copies] 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: July 15, 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 pmt6sbc at maths.leeds.ac.uk Thu Jun 23 16:45:45 2011 From: pmt6sbc at maths.leeds.ac.uk (S Barry Cooper) Date: Thu, 23 Jun 2011 15:45:45 +0100 (BST) Subject: Turing Centenary Research Competition - Call for Proposals Message-ID: THE TURING CENTENARY RESEARCH PROJECT: MIND, MECHANISM AND MATHEMATICS Research Fellowship and Scholar Competition http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?408 Submission deadline - December 16, 2011 More than any other figure, Turing has left a coherent scientific agenda related to many of the 'Big Questions' concerning the relationship between the human mind, mechanism in nature, and the mathematics required to clarify and answer these questions. The very breadth and fundamental nature of Turing's impact makes the centenary celebration a hugely opportune period in which to reassert the role of basic thinking in relation to deep and intractable problems facing science. 'The Turing Centenary Research Project - Mind, Mechanism and Mathematics', supported by a major grant from the John Templeton Foundation, arises from the above-mentioned scientific agenda, and is aimed at researchers still within ten years of receiving their Ph.D. The participants in the research project will be the winners of the 'Mind, Mechanism and Mathematics' competition, designed to provide significant funding support for eight young researchers. Five of the winners will become JTF 'Turing Research Fellows' with an award of £75,000 each; and awards of £45,000 will be for JTF 'Turing Research Scholars' in the 16 to 25 age-group. The competition is organised in conjunction with the Turing Centenary Celebration, to be held June 22-25, 2012, at the Manchester City Hall and the University of Manchester. The award winners will be duly honoured on the June 23, 2012 centenary of Turing's birth. Further details: __________________________________________________________________________ Honorary Chairs: Rodney Brooks and Sir Roger Penrose Submission deadline - December 16, 2011 Award Notification - March 31, 2012 Award Ceremony - Turing Centenary Day, June 23, 2012 Commencement of the research project - July 1, 2012 Proposals will be judged relative to four research themes: Chair of the Judges: S Barry Cooper (Leeds) The Judges for Research Theme 1 (The Mathematics of Emergence: The Mysteries of Morphogenesis): Luca Cardelli (Microsoft Research, Cambridge) Stuart Kauffman (Vermont/Santa Fe) Cris Moore (New Mexico/Santa Fe) The Judges for Research Theme 2 (Possibility of Building a Brain: Intelligent Machines, Practice and Theory): Luciano Floridi (Oxford/Hertfordshire) Barbara Grosz (Harvard) Aaron Sloman (Birmingham) The Judges for Research Theme 3 (Nature of Information: Complexity, Randomness, Hiddenness of Information): Eric Allender (Rutgers) Rodney Downey (Wellington) Manindra Agrawal (Kanpur) The Judges for Research Theme 4 (How should we compute? New Models of Logic and Computation): Samson Abramsky (Oxford) Gordon Plotkin (Edinburgh) Robert I. Soare (Chicago) Proposals should be made via the EasyChair submission page at: http://www.easychair.org/conferences/?conf=turingresearch2012 For further details, see: http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?408 __________________________________________________________________________ ALAN TURING YEAR http://www.turingcentenary.eu _________________ Prof S Barry Cooper Tel: UK: (0113) 343 5165, Int: +44 113 343 5165 School of Mathematics Fax: UK: (0113) 343 5090, Int: +44 113 3435090 University of Leeds Email: pmt6sbc at leeds.ac.uk, Mobile: 07590602104 Leeds LS2 9JT Home tel: (0113) 278 2586, Int: +44 113 2782586 U.K. WWW: http://www.amsta.leeds.ac.uk/~pmt6sbc __________________________________________________________________________ From jeffpan.sw at googlemail.com Mon Jun 27 07:05:43 2011 From: jeffpan.sw at googlemail.com (Jeff Pan) Date: Mon, 27 Jun 2011 06:05:43 +0100 Subject: CFP: 7th International Workshop on Semantic Web Enabled Software Engineering Message-ID: Apologies for cross-posting! ************************************************************************ * * CALL FOR PAPERS * 7th International Workshop on Semantic Web Enabled Software Engineering * (SWESE2011) * * http://www.abdn.ac.uk/~csc363/swese2011/ * * (for previous workshops, see http://www.csd.abdn.ac.uk/~jpan/) * *******Deadline: 12 Aug, 2011****** * * * located at 2011 International Semantic Web Conference (ISWC2011) * 23/24 Oct 2011 * Bonn, Germany * ************************************************************************ Workshop Description There has been more and more evidence that the usage of Semantic Web technologies leads to improvements in both the process and product of software development activities. The goal of the SWESE workshop is to advance research on this important area. We believe that the informal nature of the workshop, located at one of the major events of Semantic Web, will lead to further exchange between practitioners and researchers working on issues related to Semantic Web Enabled Software Engineering by providing a forum for discussing the major challenges of the area and the different approaches being taken to resolve them. Intended Audience While the intended audience for this workshop includes those with experience or interest in Semantic Web languages, tools and linked data aware software development, it is also crucial to have participation by those with expertise in other areas such as software engineering, automatic software engineering (ASE), knowledge based software engineering (KBSE), UML/MDA and software/legacy modernisation. Topics Topics of interest to the workshop include (but are not restricted to): • Visions for Semantic Web driven software engineering • Tools developed or being developed for software engineering using SW languages • Integration or application development projects combining Software Engineering techniques and Semantic Web tools or languages • Shortcomings with the Semantic Web with respect to Software Engineering • Uses, extensions and/or issues with ODM • Visions for SW driven software modernisation • Integration of UML, OO programming languages and Semantic Web languages • Integration of formal methods and Semantic Web languages • Software specification and Semantic Web languages • Software versioning control and Semantic Web • Software debugging and Semantic Web • Ontologies for software engineering • Ontologies for requirement engineering • Ontologies for software guidance, traceability and maintenance • Component discovery and ontologies • Feature modelling and ontologies • Metamodel engineering • Ontology reasoning for software engineering • Semantic annotations in software engineering • Transitioning legacy applications to ontologies • Semantic-based intelligent assistance tools for software developers • Lessons learnt and outstanding challenges for the usage of semantic technologies in software engineering • Ontology-Driven Architecture: How to introduce Semantic Web technology into mainstream development processes • Ontologies for supporting collaboration/coordination between developers • Semantic-based information push for software development process • Methods and tools for semantic-based event-driven interaction in software development Workshop Format and Attendance: This will be a half day workshop, including a keynote presentation and technical talks discussing competing and complementary visions and state of the art for Semantic Web enabled software engineering. This workshop is open to all members of the ISWC community, as well as other communities identified in Intended Audience above, such as the Software Engineering community. Submission of a paper is not required for attendance at the workshop. However, in the event that the workshop cannot accommodate all who would like to participate, those who have submitted a paper will be given priority for registration. We encourage those who plan to attend this workshop, to register early in order to help conference organisers with their planning as well as insure that the workshop is not cancelled do to projected poor attendance. Organising Committee Elisa F. Kendall, Sandpiper Software, Inc., USA Jeff Z. Pan, University of Aberdeen, UK (contact) Ljiljana Stojanovic, FZI, Germany Kalina Bontcheva, University of Sheffield, UK Yuting Zhao, University of Aberdeen, UK Program Committee * Uwe Assman (DE), Technical University of Dresden * Ioannis N. Athanasiadis (GR), Democritus University of Thrace * Colin Atkinson (DE), University of Mannheim * Ken Baclawski (US), Northeastern University * Paola Di Maio (UK), University of Strathclyde * Jin Song Dong (SG), National University of Singapore * Jürgen Ebert (DE), University of Koblenz * Andreas Friesen (DE), SAP Research * Dragan Gasevic, (CA) Simon Fraser University Surrey * Michael Goedicke (DE), University of Essen * Jakob Henriksson (US), Intelligent Automation, Inc. * Mitch Kokar (US), Northeastern University * Harald Kühn (AT), BOC * David Martin (US), SRI International * Krzysztof Miksa (PL), Comarch * Jishnu Mukerji (US), Hewlett-Packard * Daniel Oberle (DE), SAP Research * Fernando Silva Parreiras (DE), University of Koblenz * Yuan Ren (UK), University of Aberdeen * Dave Reynolds (UK), Epimorphics Ltd * Michael K. Smith (US), Hewlett-Packard * Hai Wang (UK), Aston University * Andrea Zisman (UK), City University, London Submissions Authors are invited to submit original contributions of practical relevance and technical rigor, experience reports, and show case / use case demonstrations of effective, practical technologies or applications combining software engineering with semantic technologies. Papers must be in English and may be submitted at http://www.easychair.org/conferences/?conf=swese2011 as: - Full Papers (15 pages) - Short Papers (5-8 pages) Please upload all submissions as PDF files in LNCS format (http://www.springer.de/comp/lncs/authors.html). Submissions will be peer-reviewed by at least 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Authors are requested to upload their complete papers by September 14, 2011. Publication details will be posted to the workshop web site, http://www.abdn.ac.uk/~csc363/swese2011/, as they become available. Important Dates * Submission due: August 12, 2011 * Notification: September 5, 2011 * Camera ready version: September 14, 2011 Sponsorship The workshop is being held in cooperation with a prominent network of excellence and is meant to act as a focal point for joint interests and future collaborations. Interested sponsors are welcome to contact the Organising Committee. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From herzig at irit.fr Tue Jun 28 15:26:33 2011 From: herzig at irit.fr (Andreas Herzig) Date: Tue, 28 Jun 2011 15:26:33 +0200 Subject: PhD scholarship "Modal Logic, Foundations of Equilibrium Logic and Answer Set Programming" Message-ID: <4E09D689.9060009@irit.fr> PhD scholarship "Modal Logic, Foundations of Equilibrium Logic and Answer Set Programming" Answer Set Programming (ASP) is a successful new paradigm for declarative programming and logic-based problem solving. Recent research has focused on language extensions of ASP (e.g. by epistemic and temporal concepts) and on the development of logical techniques for program analysis and modularity. Non-classical logics such as equilibrium logic [Lifschitz et al. 2001] are now widely acknowledged to form an adequate logical foundation for ASP. Recently it has been proposed to recast equilibrium logic in the framework of modal logic [Farinas and Herzig 2011]. The aim of the thesis is to further strengthen the connections between ASP and modal logic. Some of the areas that could be developed during the thesis are: - modal logics contributing to the foundations of ASP; - extensions of equilibrium logic with modal operators of time, knowledge, belief, etc.; - hybrid knowledge bases that combine reasoning with nonmonotonic rules and classical knowledge sources such as ontologies. The thesis will be prepared in the European Lab "Advanced Studies in Information Representation and Processing" in co-tutorship between Institut de Recherche en Informatique de Toulouse (IRIT) and Universidad Politecnica de Madrid (UPM). It starts on October 1, 2011. The scholarship is provided by the French Ministery of Education (3 years, about 1600€ per month). References: [Farinas and Herzig 2011] L. Fariñas del Cerro and A. Herzig, "The modal logic of equilibrium models", Proc. Frontiers of Combining Systems (FroCoS 2011), to appear. [Lifschitz et al. 2001] V. Lifschitz and D. Pearce and A. Valverde, "Strongly equivalent logic programs", ACM Transactions on Computational Logic 2 (4), pp. 526-541. 2001. (see http://www.equilibriumlogic.net) Supervisors: Andreas Herzig and Luis Farinas del Cerro (IRIT), David Pearce (UPM) Required competences: Applicants should have some knowledge of modal logic and/or ASP. Applicants should send a CV (including grades) to herzig at irit.fr and farinas at irit.fr before July 10, 2011. From Wiebe.Van-Der-Hoek at liverpool.ac.uk Wed Jun 29 08:44:56 2011 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Wed, 29 Jun 2011 07:44:56 +0100 Subject: Second Call for Participation: TARK 2011, 11-15 July 2011, Groningen Message-ID: <896144B2-02DA-494B-9157-7051C8970EE3@liverpool.ac.uk> Dear colleagues, It is our great pleasure to invite you to participate in the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII, July 11-15, 2011, Groningen, the Netherlands). You can register via the official TARK website at http://TARK2011.org. This year's invited speakers are Johan van Benthem, Yossi Feinberg, Ithzak Gilboa and Larry Moss. The TARK registration fee includes participation in the main TARK conference from July 12 to July 14, including proceedings, coffee/tea and lunches, a guided city walk, and a conference dinner. Also, registered TARK participants may attend the two full-day workshops: "Reasoning about other Minds: Logical and Cognitive Aspects" (July 11) and "Quantum Physics meets TARK" (July 15) for free. Late Registration Deadline: June 30 (EUR 300/EUR 175 for students) for the whole event 11-15 July; Registration after June 30 is EUR 375/EUR 250 for students for the whole event 11-15 July If you only intend to visit one of the workshops, registration is EUR 83,- (until June 30) / EUR 100,- (from July 1) For the full programs of the workshops and TARK, see: http://www.ai.rug.nl/conf/reasoningminds/program.html http://www.philos.rug.nl/TARK2011/program.html http://www.ai.rug.nl/conf/quantumTARK/program.html We hope to meet you at TARK! Krzysztof Apt, Program Chair Sonja Smets, Local Organization Chair Rineke Verbrugge, Local Organization Chair ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 79 47480/54292 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From leon.vandertorre at uni.lu Wed Jun 29 14:54:04 2011 From: leon.vandertorre at uni.lu (leon.vandertorre) Date: Wed, 29 Jun 2011 14:54:04 +0200 Subject: 2nd CFP: Special issue of Journal of Logic and Computation on Deontic Logic and Normative Systems In-Reply-To: <4D6A76E9.8060200@uni.lu> References: <4D6A76E9.8060200@uni.lu> Message-ID: <4E0B206C.1070707@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 t.dinoia at poliba.it Thu Jun 30 12:59:10 2011 From: t.dinoia at poliba.it (Tommaso Di Noia) Date: Thu, 30 Jun 2011 12:59:10 +0200 Subject: 2nd SPIM workshop at ISWC 2011 Message-ID: <4E0C56FE.9070800@poliba.it> Apologies for possible multiple posts ------------------------------------- ============================ CALL FOR PAPERS ============================ 2nd Workshop on Semantic Personalized Information Management: Retrieval and Recommendation (SPIM 2011) in conjunction with ISWC2011, October 23-27, 2011, Bonn, Germany Deadline for paper submission: August 15, 2011 Web: http://www.dai-labor.de/spim2011/ MOTIVATIONS -------------------- Search engines implementing the canonical search paradigm are adequate for most ad-hoc keyword-based search tasks, but they reach limits when user needs have to be satisfied in a personalized way. With the advent of the Semantic Web, new opportunities emerge for semantic information retrieval systems to better match user needs. Next generation search engines should implement a novel search paradigm, where the user perspective is completely reversed: from finding to being found. Recommender Systems may help to support this new perspective, because they have the effect of pushing relevant objects to potentially interested users. An emerging approach is to use Semantic Web technologies to model information about users, their needs and preferences, their context and relations, and to incorporate data from other resources like Linked Open Data. The aim of the workshop is to investigate whether and how this large amount of wide-coverage and linked semantic knowledge can significantly improve the search/recommendation process in those tasks that cannot be solved merely through a straightforward matching of queries and documents. The list below provides the topics of interest of this workshop. TOPICS -------------------- · Systems that create, exploit, and evaluate semantic technologies for improving PIM · Exploiting Linked Open Data for PIM · Semantic search: information retrieval, extraction and filtering · Semantic exploratory browsing · Semantic recommender systems · Personalized search: ranking integration, privacy issues, novelty and serendipity · Ontology-based user modeling and user model aggregation · Personalized interaction in mobile, ubiquitous and context-aware computing · Use of semantic technologies in UI/HCI · Hybridizing Semantic Web and Machine Learning techniques for PIM · New personalization algorithms for large semantic data sets · Applications for SPIM FORMAT/SUBMISSION -------------------- We welcome work at all stages of development: papers can describe applied systems, empirical results or theoretically grounded positions. All papers must represent original and unpublished work that is not currently under review. Papers will be evaluated according to their significance, originality, technical content, style, clarity, and relevance to the workshop. At least one author of each accepted paper is expected to attend the workshop. Submissions must adhere to the Springer LNCS format (see the example document with author instructions), and be made through the EasyChair conference system. Full papers: 10-12 pages. Original mature research
Short papers: 6-8 pages. Original ongoing research
Posters: 4 pages. Original ongoing research or research ideas of visual nature Accepted papers will be included in the workshop proceedings and will be published on the workshop webpage and on CEUR-WS.org site. IMPORTANT DATES -------------------- Submissions due: August 15, 2011 Notification: September 5, 2011 Camera-ready: September 12, 2011 Workshop day: TBA Workshop Organizers and Program Chairs -------------------- Marco de Gemmis, University of Bari “Aldo Moro”, Italy 
Ernesto William De Luca, Berlin Institute of Technology, Germany 
Tommaso Di Noia, Technical University of Bari, Italy 
Aldo Gangemi, Italian National Research Council (ISTC-CNR), Italy 
Michael Hausenblas, National University of Ireland (NUIG), Ireland 
Pasquale Lops, University of Bari “Aldo Moro”, Bari, Italy 
Thomas Lukasiewicz, University of Oxford, United Kingdom 
Till Plumbaum, Berlin Institute of Technology, Germany Giovanni Semeraro, University of Bari “Aldo Moro”, Italy PROGRAM COMMITTEE -------------------- Fabian Abel, TU Delft, The Netherlands Claudio Bartolini, HP Labs, Palo Alto, USA Marco Brambilla, Politecnico di Milano, Italy Andrea Cali, University of Oxford, United Kingdom Charles Callaway, University of Haifa, Israel Ivan Cantador, Universidad Autónoma de Madrid, Spain Pablo Castells, Universidad Autónoma de Madrid, Spain Federica Cena, Università degli Studi di Torino, Italy Philipp Cimiano, University of Bielefeld, Germany Mathieu D’Aquin, Knowledge Media institute of the Open University in Milton Keynes, United Kingdom Marco De Gemmis, University of Bari “Aldo Moro”, Italy Ernesto William De Luca, Berlin Institute of Technology, Germany Tommaso Di Noia, Technical University of Bari, Italy Nicola Fanizzi, Università degli Studi di Bari, Italy Bettina Fazzinga, Università della Calabria, Italy Miriam Fernandez, Universidad Autonoma de Madrid, Spain Tim Furche, Oxford University Computing Laboratories, United Kingdom Aldo Gangemi, Institute for Cognitive Sciences and Technology, Italy Michael Hausenblas, DERI – Digital Enterprise Research Institute, Ireland Tom Heath, Talis Information Ltd, United Kingdom Dominikus Heckmann, DFKI, Germany Eelco Herder, L3S Research Center, Germany Dietmar Jannach, Dortmund University of Technology, Germany Pasquale Lops, University of Bari “Aldo Moro”, Italy Thomas Lukasiewicz, University of Oxford, United Kingdom Till Plumbaum, Berlin Institute of Technology, Germany Georg Ruß, University of Magdeburg, Germany Alan Said, Berlin Institute of Technology, Germany Giovanni Semeraro, University of Bari “Aldo Moro”, Italy Wolf Siberski, Leibniz Universität Hannover, Germany CONTACT -------------------- For any queries please contact: Web: http://www.dai-labor.de/spim2011/ E-mail: spim at lists.dai-labor.de Twitter: @SPIMWS -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : t_dinoia.vcf Dateityp : text/x-vcard Dateigröße : 228 bytes Beschreibung: nicht verfügbar URL : From ksatoh at nii.ac.jp Mon Jun 27 16:23:03 2011 From: ksatoh at nii.ac.jp (Ken Satoh) Date: Mon, 27 Jun 2011 23:23:03 +0900 Subject: CFP: Fifth International Workshop on Juris-informatics(JURISIN 2011) Message-ID: <66E75A3B84C94D9BB14A34D7F9925DB8@niiks2010PC> Call for Papers: Fifth International Workshop on Juris-informatics(JURISIN 2011) Dec. 1-2, 2011 Sunport Hall Takamatsu, Takamatsu, Kagawa, Japan with a support of The Japanese Society for Artificial Intelligence in association with Third JSAI International Symposia on AI (JSAI-isAI 2011) http://ai-gakkai.or.jp/jsai-isai/2011/ **** Submission Deadline: September 21, 2011 **** **** Aims and scope **** Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop is to discuss both the fundamental and practical issues for juris-informatics among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. We solicit unpublished papers on theories, technologies and applications on juris-informatics. **** Topics **** Relevant topics include, but are not limited to, the following: * Legal reasoning * Argumentation/Argumentation agent * Legal term ontology * Formal legal knowledge-base/Intelligent management of legal knowledge-base * Translation of legal documents * Computer-aided law education * Use of Informatics and AI in law * Legal issues on ubiquitous computing/multi-agent system/the Internet * Social implications of use of informatics and AI in law **** Submissions **** We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere. except as a submission to JURIX 2011 (The 24th International Conference on Legal Knowledge and Information Systems). The double submission policy with JURIX 2011 is as follows: 1. Papers being submitted both to JURISIN2011 and JURIX2011 must note this on the title page. 2. A paper to be presented at JURISIN2011 must be withdrawn from JURIX2011 and vice versa according to the choice by the authors. 3. If the authors do not follow this double submission policy, the paper by the authors will not be included in the proceedings of JURISIN 2011. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form , which can be obtained from http://www.springeronline.com, and not exceed 12 pages including figures, references, etc. If you use a word file, please follow the instruction of the format designated at the workshop page, and then convert it into a pdf form and submit it at the paper submission page. If a paper is accepted, at least one author of the paper must register the workshop and present it. **** Proceedings **** A printed volume of the proceedings with ISBN will be available at the workshop. **** Post Proceedings**** The chair of JSAI-IsAI 2011 is now negotiating with Springer Verlag to publish selected papers of the workshop in the JSAI-isAI 2011 post-proceedings as a volume of LNAI. If it is the case, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing. Note that the selected papers of the previous workshops were publisehd as volumes of LNAI4914(JURISIN 2007), LNAI5447(JURISIN 2008), LNAI6284(JURISIN 2009) and LNAI6797(JURISIN2010) respectively. **** Financial Support for Students **** We have received from JSAI partical economical support for travelling costs for promising foreign students whose papers have been accepted to be presented at JURISIN2011. The amount of the whole support is 250,000 yen and we divide it to students who need a support. The actual support will vary based on the number of applicants and where students come from. Please contact the chairperson (ksatoh at nii.ac.jp) for details. **** Important Dates **** Submission Deadline: September 21, 2011 Notification: October 21, 2011 Camera Ready Copy due: November 1, 2011 JURISIN 2011: December 1-2, 2011 **** Workshop Chair **** Shozo Ota, The University of Tokyo, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan **** Organizing Committee Members **** Katsumi Nitta, Tokyo Institute of Technology, Japan Shozo Ota, The University of Tokyo, Japan Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan **** Programme Committee Members **** Thomas Agotnes, University of Bergen, Norway Katie Atkinson, The University of Liverpool, UK Phan Minh Dung, AIT, Thailand Tom Gordon, FOKUS Franfoher, Germany Guido Governatori, The University of Queensland, Australia Tokuyasu Kakuta, Nagoya University, Japan Masahiro Kozuka, Kanazawa University, Japan Makoto Nakamura, Japan Advanced Institute of Science and Technology, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Paulo Novais, University of Minho, Portugal Shozo Ota, The University of Tokyo, Japan Jeremy Pitt, Imperial College, UK Henry Prakken, University of Utrecht & Groningen, The Netherlands Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Akira Shimazu, Japan Advanced Institute of Science and Technology, Japan Fumihiko Takahashi, Meiji Gakuin University, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan Katsuhiko Toyama, Nagoya University, Japan Radboud Winkels, The University of Amsterdam, the Netherlands John Zeleznikow, Victoria University, Australia **** Home page of JURISIN 2011 **** http://research.nii.ac.jp/~ksatoh/jurisin2011.html **** preivous JURISIN workshops **** JURISIN2007 http://research.nii.ac.jp/~ksatoh/jurisin.html JURISIN2008 http://www.ntt.dis.titech.ac.jp/jurisin2008/ JURISIN2009 http://research.nii.ac.jp/~ksatoh/jurisin2009.html JURISIN2010 http://research.nii.ac.jp/~ksatoh/jurisin2010.html For any inquiry, please send it to "jurisin2011 at nii.ac.jp".