From sara at kdbio.inesc-id.pt Fri Feb 1 15:47:01 2013 From: sara at kdbio.inesc-id.pt (Sara Silva) Date: Fri, 01 Feb 2013 14:47:01 +0000 Subject: ALEA 2013 - First Call for Papers Message-ID: <510BD565.1000206@kdbio.inesc-id.pt> * Our apologies if you receive multiple copies of this announcement * ******************************************** ALEA 2013 ******************************************** Artificial Life and Evolutionary Algorithms (ALEA is a thematic track of EPIA 2013) http://www.epia2013.uac.pt/ September 9-13, 2013 Azores - Portugal Submission deadline: March 15, 2013 ALEA is dedicated to the theory and applications of Artificial Life and Evolutionary Algorithms. It has been a track of the biennial international EPIA conferences since 2003, aiming to bring together researchers and practitioners from different backgrounds and domains, and providing a pleasant venue for the fruitful discussion of current developments and applications. --> This year ALEA will take place in the Azores, beautiful portuguese islands in the Mid-Atlantic: http://en.wikipedia.org/wiki/Azores http://www.google.com/images?q=azores ALEA invites contributions in all aspects related to Artificial Life and Evolutionary Algorithms, ranging from theoretical work to innovative applications. Topics of interest include, but are not limited to: - Artificial Chemistries - Artificial Immune Systems - Classifier Systems - Complex Networks - Emergent Behaviours - Evolution and Learning Dynamics - Evolutionary Algorithms - Evolutionary Optimization - Evolutionary Robotics - Genetic Programming - Hybrid Approaches - Multi-objective Optimization - Origins of Life - Parallel Evolutionary Algorithms - Self-organizing Systems - Swarm Intelligence Submissions must be original and not published elsewhere. Please note that ALEA only accepts full papers (not short 6-page papers or 4-page demonstrations). Papers should not exceed 12 pages in length and must be formatted according to Springer’s LNCS instructions for authors. Papers must be submitted in PDF and will not be accepted in any other format. Papers that exceed 12 pages or do not follow the LNCS guidelines risk being rejected automatically without a review. More information and templates of the LNCS format is available on this Springer website: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The submissions will be peer reviewed by at least three members of the Programme Committee. The reviewing process is double blind, so authors should remove names and affiliations from the submitted papers, and must take reasonable care not to indirectly disclose their identity. References to own work can be included in the paper, but should be referred to in the third person. The authors of accepted papers will have to improve their paper on the basis of the recommendations from the reviewers and will be asked to send a camera ready version of their manuscripts. Even though the submissions can be made in PDF (preferable) or PS, we encourage authors to prepare their papers in TEX or LATEX because these are more convenient source formats for the camera ready final version. At least one author of each accepted work must register for the conference and present the work. Accepted papers will be presented orally or as posters. The best accepted papers will appear in the proceedings published by Springer in the Lecture Notes in Artificial Intelligence (LNAI), a subseries of LNCS. The remaining accepted papers will be published in a local edition, both in hard-copy, CD-ROM and on the web. Important Dates: - Paper submission: March 15 - Acceptance notifications: April 30 - Camera-ready papers: May 31 - ALEA 2013: September 9-13 Programme chairs: - Leonardo Vanneschi ISEGI, Universidade Nova de Lisboa, Portugal lvanneschi at isegi.unl.pt - Sara Silva INESC-ID Lisboa, Portugal sara at kdbio.inesc-id.pt - Francisco B. Pereira Instituto Superior de Engenharia de Coimbra, Portugal xico at dei.uc.pt From lsl at ua.pt Tue Feb 5 13:58:30 2013 From: lsl at ua.pt (=?Windows-1252?Q?Lu=EDs_Seabra_Lopes?=) Date: Tue, 5 Feb 2013 12:58:30 +0000 Subject: =?Windows-1252?Q?Post-doctoral_scholarships_in_cognitive_robotics_=96_Uni?= =?Windows-1252?Q?versity_of_Aveiro?= Message-ID: <0C67630DDD209E47AA94F99FB25E34AD04C4BCB0@CIPRESTE.ua.pt> =============================================== POST-DOCTORAL SCHOLARSHIPS Transverse Activity on Intelligent Robotics University of Aveiro, Portugal =============================================== Apply by 2013/02/25 Through previous projects, the Transverse Activity on Intelligent Robotics of the University of Aveiro (ATRI/UA) has been working on the integration of reactivity, deliberation, learning and interactivity for intelligent robots. In the framework of RACE ("Robustness by Autonomous Competence Enhancement"), an ongoing project funded by EU FP7, UA is currently collaborating on the development of an artificial cognitive system able to build a high-level understanding of its world by storing and exploiting appropriate memories of its experiences. The project developments will be integrated and demonstrated on a PR2 robot, from Willow Garage. UA is involved in the development of modules concerned with semantic interpretation, recording and conceptualization of experiences of plan-based activities, and human-robot interaction. In this context, two post-doctoral research scholarships are open for applications. The scholarship holders are expected to contribute to the development of supervised (based human-robot interaction) and unsupervised mechanisms for experience gathering and conceptualization, as well as appropriate memory mechanisms for storing and exploiting experiences and conceptualizations. Experiences and conceptualizations are concerned with objects, scenes and activities. Applications must be submitted by February 25, 2013, via e-mail to Luís Seabra Lopes (lsl at ua dot pt). The evaluation and ranking of candidates will be communicated via e-mail. Further information can be found here: http://uaonline.ua.pt/pub/detail.asp?lg=pt&c=33148 http://uaonline.ua.pt/upload/med/joua_m_1953.pdf ----------------------------------------------------------- UA and ATRI ----------------------------------------------------------- The University of Aveiro is in the top 2% universities in “Times Higher Education World University Rankings 2011-2012”, and is also among the top 100 universities in the world with less than 50 years. UA is attended by about 15,000 students on undergraduate and postgraduate programmes. ATRI/UA has been conducting projects leading to the development of integrated architectures for intelligent robotic systems. This group is well known for its successful participation in many robotic competitions (RoboCup, Portuguese Robotics Festival, AAAI, SRVC, etc.) Additional information: http://www.ua.pt/Default.aspx?lg=en http://wiki.ieeta.pt/wiki/index.php/Transverse_Activity_on_Intelligent_Robotics % Luís Seabra Lopes % IEETA/DETI % Universidade de Aveiro % 3810-193 Aveiro / Portugal % http://www.ieeta.pt/~lsl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From easss13 at kcl.ac.uk Wed Feb 6 17:54:00 2013 From: easss13 at kcl.ac.uk (EASSS2013) Date: Wed, 6 Feb 2013 16:54:00 +0000 Subject: 15th European Agent Systems Summer School (EASSS 2013) In-Reply-To: <5112504B.7080701@kcl.ac.uk> References: <5112504B.7080701@kcl.ac.uk> Message-ID: <51128AA8.3090306@kcl.ac.uk> ======================================================================== EASSS 2013: 15th European Agent Systems Summer School http://www.inf.kcl.ac.uk/events/easss13/ ************************************************************************ The 15th European Agent Systems Summer School (EASSS 2013) will be held at King's College London, Department of Informatics, UK, from the 1st July to the 5th July 2013. Since 1999, the European Agent Systems Summer School aims to provide a valuable forum for knowledge exchange between various research groups in its field for the benefit of students and researchers at both beginner and advanced level. EASSS has been organized annually in different European locations since its initiation. EASSS attracts about 100 students each year. The school provides a wide range of state-of-the-art courses given by the most prominent researchers in the area. A typical course is 4 hours in total, and is of sufficient breadth to provide a general introduction to the chosen topic, while also exploring relevant topics in depth. EASSS 2013 will be co-located and run in parallel with the Advanced Course on AI Summer School 2013 (http://www.dcs.kcl.ac.uk/events/acai13/), giving students the opportunity to interact with a wide variety of peers. Further details on the tutorial programme, on how to apply to attend the summer school and on costs will be available shortly. We also expect to have some grants available that students may apply for. The program will include a student session, for which a separate call for papers will be available soon. If you have any questions, please contact the local organisers at the following email address:easss13 at kcl.ac.uk ====================================================================== -- Dr Elizabeth Black | Local Organiser EASSS 2013 Planning, Agents and Intelligent Systems Group Department of Informatics | King's College London Strand Building S6.21 | Strand | London | WC2R 2LS Tel: 020 7848 2694 | Email: elizabeth.black at kcl.ac.uk Website: http://www.dcs.kcl.ac.uk/staff/lizblack/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lembo at dis.uniroma1.it Thu Feb 7 14:07:10 2013 From: lembo at dis.uniroma1.it (Domenico Lembo) Date: Thu, 7 Feb 2013 14:07:10 +0100 Subject: Call for Papers: The 7th International Conference on Web Reasoning and Rule Systems (RR 2013) Message-ID: CALL FOR PAPERS The 7th International Conference on Web Reasoning and Rule Systems Mannheim, Germany, July 27-29, 2013 http://www.rr-conference.org/RR2013 == RR == The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2013 is associated with a number of interesting events: - 9th Reasoning Web Summer School (RW 2013) Mannheim, Germany, July 30 - August 2, 2013 http://rw2013.uni-mannheim.de/ - 26th International Workshop on Description Logics (DL 2013) Ulm, Germany, July 23-26, 2013 http://www.uni-ulm.de/en/in/dl2013.html - 2nd OWL Reasoner Evaluation Workshop (ORE 2013) Ulm, Germany, July 22, 2013 http://ore2013.cs.manchester.ac.uk/ The Reasoning Web Summer School is a great opportunity particularly for young researchers to combine with attendance of the conference. Submissions by summer school participants are particularly encouraged. == Important Dates == Abstract submission: March 25, 2013, before 23:59 UTC Full papers submission: March 30, 2013, before 23:59 UTC Notification of acceptance: May 7, 2013 Camera-ready submission: May 21, 2013 == Topics == RR welcomes original research from all areas of Web Reasoning. Topics of particular interest are: - Semantic Web, Rule and Ontology Languages, and related logics - Reasoning, Querying, Searching and Optimization - Incompleteness, Inconsistency and Uncertainty - Non-monotonic, Commonsense, and Closed-World Reasoning for the Web - Dynamic information, Stream Reasoning and Complex Event Processing - Decision Making, Planning, and Intelligent Agents - Reasoning, Machine Learning, Knowledge Extraction and IR Technologies - Large-scale data management and reasoning on the Web of Data - Data Integration, Dataspaces and Ontology-Based Data Access - Non-Standard Reasoning - Algorithms for distributed, parallelized, and scalable reasoning - System Descriptions and Experimentation - Application and Experience Papers == Invited Speakers == Thomas Eiter (Vienna University of Technology, Austria) Leonid Libkin (University of Edinburgh, UK) Nicola Leone (University of Calabria, Italy) == Doctoral Consortium == Following the success of its first edition at RR 2012, RR 2013 will also host a doctoral consortium, which will provide doctoral students in Web Reasoning and related areas with the unique opportunity to present and discuss their research directions, being involved into state-of-the-art research discussion and being supported in establishing fruitful collaborations with prominent researchers and pioneers in the field of Web Reasoning and Rules and related areas. == Publication == The conference proceedings will be published by Springer within the Lecture Notes in Computer Science (LNCS) series. After the conference, authors of selected papers will be invited to submit extended versions of their papers to a special issue of a prestigious international journal. == Submissions == Submissions must be prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html). There are two submission formats: - Full papers (up to 15 pages) Original research works in the above areas - Technical Communications (up to 6 pages) Results and ideas of interest to the RR audience, including reports about recent own publications, position papers, system descriptions and application descriptions (accompanying a demo), and presentations of preliminary results All accepted works will be included in the proceedings, with Technical Communications clearly marked as such. All full papers and selected Technical Communications will be invited to give a talk at the conference. All accepted works will have the opportunity to present a poster and/or a system demo. Submissions can be made in EasyChair: http://www.easychair.org/conferences/?conf=rr-2013 Submission instructions for the RR 2013 Doctoral Consortium will be communicated by means of a separate Call for Papers. == Best Paper Award and Best Student Paper Award== Awards for Best Paper and Best Student Paper will be presented to the corresponding author(s) at the conference. The best student paper will be selected among the ones written mainly by students (i.e. persons not holding a PhD as of March 30, 2013), and the Best Student Paper award will be assigned only in case a student is not one of the main authors of the paper winning the Best Paper award. To qualify for the Best Student Paper award, the authors must indicate their eligibility upon submission at easychair. == Organization == General Chair: - Sebastian Rudolph (Karlsruhe Institute of Technology, Germany) Program Chairs: - Wolfgang Faber (University of Calabria, Italy) - Domenico Lembo (Sapienza University of Rome, Italy) Local Chair: - Heiner Stuckenschmidt (University of Mannheim, Germany) Doctoral Consortium Chair: - Alessandra Mileo (National University of Ireland Galway, Ireland) Sponsorship Chair: - Marco Maratea (University of Genoa, Italy) == Program Committee == José Júlio Alferes (New University of Lisbon, Portugal) Darko Anicic (Karlsruhe Institute of Technology, Germany) Marcello Balduccini (Kodak Research Laboratories, USA) Leopoldo Bertossi (Carleton University, Canada) Meghyn Bienvenu (CNRS & University of Paris-Sud, France) Gerhard Brewka (Leipzig University, Germany) Francois Bry (University of Munich, Germany) Vinay Chaudhri (SRI International, USA) Bernardo Cuenca Grau (University of Oxford, UK) Claudia D'Amato (University of Bari, Italy) Agostino Dovier (University of Udine, Italy) Esra Erdem (Sabanci University, Turkey) Michael Fink (Vienna University of Technology, Austria) Sergio Flesca (University of Calabria, Italy) Gerhard Friedrich (University of Klagenfurt, Austria) Gianluigi Greco (University of Calabria, Italy) Stijn Heymans (SRI International, USA) Giovambattista Ianni (University of Calabria, Italy) Michael Kifer (Stony Brook University, USA) Roman Kontchakov (Birkbeck College, UK) Manolis Koubarakis (National and Kapodistrian University of Athens, Greece) Markus Krötzsch (University of Oxford, UK) Georg Lausen (University of Freiburg, Germany) Joohyung Lee (Arizona State University, USA) Francesca Alessandra Lisi (University of Bari, Italy) Jorge Lobo (Universitat Pompeu Fabra, Spain) Thomas Lukasiewicz (University of Oxford, UK) Carsten Lutz (University of Bremen, Germany) Michael Maher (University of New South Wales, Australia) Alessandra Mileo (National University of Ireland Galway, Ireland) Leora Morgenstern (Science Applications International Corporation, USA) Boris Motik (University of Oxford, UK) Marie-Laure Mugnier (University of Montpellier 2, France) Giorgio Orsi (University of Oxford, UK) Magdalena Ortiz (Vienna University of Technology, Austria) Adrian Paschke (Free University of Berlin, Germany) David Pearce (Technical University of Madrid, Spain) Axel Polleres (National University of Ireland Galway, Ireland) Guilin Qi (Southeast University, China) Steven Schockaert (Cardiff University, UK) Steffen Staab (University of Koblenz-Landau, Germany) Umberto Straccia (ISTI-CNR, Italy) Heiner Stuckenschmidt (University of Mannheim, Germany) David Toman (University of Waterloo, Canada) Mirek Truszczynski (University of Kentucky, USA) Ivan Varzinczak (CSIR Meraka Institute, South Africa) -- Domenico Lembo Sapienza Università di Roma Dip. di Ingegneria Informatica, Automatica e Gestionale "A. Ruberti" Via Ariosto 25, 00185 Roma (stanza B209) Tel: +39 0677274027 Fax: +39 0677274002 email: lembo at dis.uniroma1.it home: http://www.dis.uniroma1.it/~lembo -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cambria at nus.edu.sg Fri Feb 8 06:12:04 2013 From: cambria at nus.edu.sg (Erik Cambria) Date: Fri, 8 Feb 2013 13:12:04 +0800 Subject: CFP: WWW13 MABSDA - deadline extension In-Reply-To: <40F05B37-E2D1-43E7-98E2-B5F0B7215350@nus.edu.sg> References: <40F05B37-E2D1-43E7-98E2-B5F0B7215350@nus.edu.sg> Message-ID: <1AABC700-2CF6-4923-842B-A0EED6FB9E00@nus.edu.sg> Apologies for cross posting, Submissions are invited for MABSDA (http://sentic.net/mabsda), the WWW13 workshop on sentiment analysis and big social data mining, to be held this May in Rio de Janeiro, Brazil. The workshop aims to explore the new frontiers of big data computing for opinion mining through Semantic Web ontologies, rules, and services, Linked Data technologies, Web Science applications, knowledge-based systems, adaptive and transfer learning, in order to more efficiently retrieve and extract social information from the Web. ABSTRACT As the Web rapidly evolves, Web users are evolving with it. In an era of social connectedness, people are becoming more and more enthusiastic about interacting, sharing, and collaborating through social networks, online communities, blogs, Wikis, and other online collaborative media. In recent years, this collective intelligence has spread to many different areas, with particular focus on fields related to everyday life such as commerce, tourism, education, and health, causing the size of the Social Web to expand exponentially. The distillation of knowledge from such a large amount of unstructured information, however, is an extremely difficult task, as the contents of today's Web are perfectly suitable for human consumption, but remain hardly accessible to machines. The opportunity to capture the opinions of the general public about social events, political movements, company strategies, marketing campaigns, and product preferences has raised growing interest both within the scientific community, leading to many exciting open challenges, as well as in the business world, due to the remarkable benefits to be had from marketing and financial market prediction. TOPICS MABSDA aims to provide an international forum for researchers in the field of big data computing for opinion mining and sentiment analysis to share information on their latest investigations in social information retrieval and their applications both in academic research areas and industrial sectors. The broader context of the workshop comprehends Semantic Web, Linked Open Data, Web Science, information retrieval, and natural language processing. In addition to paper presentations, an invited talk by Prof Bebo White will stress the interdisciplinary challenges of big social data analysis. Topics of interest include but are not limited to: • Affective ontologies • Rules for opinion mining • Web Science approaches to sentiment analysis • Linked Data applications for sentiment mining • Sentiment identification & classification • Time evolving opinion & sentiment analysis • Multi-modal sentiment analysis • Multi-domain & cross-domain evaluation • Knowledge base construction & integration with opinion analysis • Transfer learning of opinion & sentiment with knowledge bases • Sentiment topic detection & trend discovery • Social ranking and social network content analysis • Sentic computing • Opinion spam detection INVITED SPEAKER Bebo White is a Departmental Associate (Retired) at the Stanford Linear Accelerator Center (SLAC), the high-energy physics and basic energy science laboratory operated by Stanford University. Prior to his retirement, he was permanent staff/faculty at SLAC from 1981 to 2005. While his initial responsibilities at SLAC were in computational physics, in recent years Prof White's work has been dominated by his involvement with World Wide Web technology. He first became involved with WWW development while on sabbatical at CERN in 1989 and was instrumental in establishing the first non-European Web site at SLAC in 1991. TIMEFRAME • February 28th, 2013: Due date for workshop papers • March 15th, 2013: Notification of paper acceptance to authors • April 3rd, 2013: Camera-ready of accepted papers • May 13th, 2013: Workshop date SUBMISSIONS AND PROCEEDINGS Submissions must be in PDF and must be done through EasyChair (http://easychair.org/conferences/?conf=mabsda13). Papers submitted to this workshop must not have been accepted for publication elsewhere or be under review for another workshop, conference, or journal. Papers can be either full research papers (8 pages) or short papers (4 pages) and must be formatted to ACM SIG proceedings manuscript style. The workshop proceedings will be published through the ACM Digital Library. Selected, expanded versions of papers presented at the workshop will be published in a follow-on Special Issue of Springer’s Cognitive Computation journal. ORGANIZERS • Erik Cambria, National University of Singapore (Singapore) • Yunqing Xia, Tsinghua University (China) • Newton Howard, MIT Media Laboratory (USA) _______________________________ Erik Cambria, PhD 康文涵 Research Scientist Temasek Laboratories Cognitive Science Programme National University of Singapore 28 Medical Drive, 117456, Singapore Web: http://sentic.net Email: cambria at nus.edu.sg Twitter: http://twitter.com/senticnet Facebook: http://facebook.com/senticnet From krzysztof.krawiec at cs.put.poznan.pl Fri Feb 8 08:26:58 2013 From: krzysztof.krawiec at cs.put.poznan.pl (Krzysztof Krawiec) Date: Fri, 08 Feb 2013 08:26:58 +0100 Subject: CFP: ECADA 2013 Workshop Message-ID: <5114A8C2.3050302@cs.put.poznan.pl> - CALL FOR PAPERS - CALL FOR PAPERS - (apologies for cross-posting) THIRD ANNUAL WORKSHOP ON Evolutionary Computation for the Automated Design of Algorithms (ECADA-2013) to be held as part of the 2013 Genetic and Evolutionary Computation Conference (GECCO-2013) July 06-10, Amsterdam, The Netherlands Organized by ACM SIGEVO http://www.sigevo.org/gecco-2013/ PAPER SUBMISSION DEADLINE FOR WORKSHOP: March 28th, 2013 Workshop URL: http://homepages.dcc.ufmg.br/~glpappa/workshop.html ---------------------------------------------------------- Although most evolutionary computation techniques are designed to generate specific solutions to a given instance of a problem, some of these techniques can be explored to solve more generic problems. The main objective of this workshop is to discuss evolutionary computation methods for the generation of such generic algorithms and/or heuristics. Since these methods, known as hyper-heuristics, operate at a higher level of abstraction, they have the advantage of producing algorithms which can be applied to a class of problems, rather than a solution specifically produced for a single instance of the problem. The application for these methods include data mining, machine learning, optimization, bioinformatics, image processing, economics etc. The workshop welcomes original submissions on all aspects of evolutionary computation for designing generic algorithms and heuristics, which include (but are not limited to) the following topics and themes: - Evolutionary algorithms for designing generic combinatorial optimization algorithms or heuristics - Evolutionary algorithms for designing generic machine learning algorithms or heuristics - Evolutionary algorithms for designing generic function optimizers - Evolutionary algorithms for designing generic algorithms or heuristics for bioinformatics - (Meta-level) evolutionary algorithms for designing other (base-level) evolutionary algorithms - Empirical comparison of different hyper-heuristics - Theoretical analyses of hyper-heuristics - Automatic selection of algorithmic building blocks as a pre-processing step for the use of hyper-heuristics - Analysis of the trade-off between generality and effectiveness of different heuristics, algorithms or heuristics produced by hyper-heuristics - Real-world applications of hyper-heuristics ---------------------------------------------------------- Paper Submission ---------------------------------------------------------- Submitted papers should follow the ACM format, and not exceed 8 pages. Please see the GECCO 2013 information for authors for further details. However, note that the review process of the workshop is not double-blind. Hence, authors' information should appear in the paper. All accepted papers will be presented at the workshop and appear in the GECCO workshop volume. Proceedings of the workshop will be published on CD-ROM, and distributed at the conference. Papers should be submitted by 28 March, 2013 in PDF format to: [jerry.swan –at- cs.stir.ac.uk] containing the subject line "GECCO Workshop". ---------------------------------------------------------- Important Dates ---------------------------------------------------------- * Paper submission deadline: 28 March, 2013 * Notification of acceptance: April 15, 2013 * Camera-Ready Accepted Papers Due: April 25, 2013 * GECCO-2013: July 06-10, 2013 ---------------------------------------------------------- Workshop Chairs ---------------------------------------------------------- - Gisele L. Pappa – UFMG (Federal University of Minas Gerais), Brazil glpappa –at- dcc.ufmg.br - John Woodward - University of Stirling, United Kingdom. jrw –at- cs.stir.ac.uk - Jerry Swan - University of Stirling, United Kingdom. jsw –at- cs.stir.ac.uk Krzysztof Krawiec - Poznan University of Technology, Poland. krawiec –at- cs.put.poznan.pl ---------------------------------------------------------- For more details, please visit the workshop website at: http://homepages.dcc.ufmg.br/~glpappa/workshop.html ---------------------------------------------------------- GECCO is sponsored by the Association for Computing Machinery Special Interest Group on Genetic and Evolutionary Computation (SIGEVO). SIG Services: 2 Penn Plaza, Suite 701, New York, NY, 10121, USA, 1-800-342-6626 1-800-342-6626 (USA and Canada) or +212-626-0500 (Global). ---------------------------------------------------------- From markus.kroetzsch at cs.ox.ac.uk Fri Feb 8 17:41:11 2013 From: markus.kroetzsch at cs.ox.ac.uk (=?UTF-8?B?TWFya3VzIEtyw7Z0enNjaA==?=) Date: Fri, 08 Feb 2013 16:41:11 +0000 Subject: CfP: DL 2013 - 26th Int Workshop on Description Logics Message-ID: <51152AA7.1050403@cs.ox.ac.uk> [Apologies if you receive multiple copies of this message.] ============================================================================= CALL FOR PAPERS 26th International Workshop on Description Logics (DL 2013) Ulm, Germany, July 23--26, 2013 Co-located with ORE 2013; followed by RR 2013, Reasoning Web 2013 http://dl.kr.org/dl2013 ============================================================================= The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The workshop will be held at the University of Ulm, Campus East, from July 23rd to July 26th, 2013. In this year, DL workshop will be collocated with the 2nd OWL Reasoner Evaluation Workshop (ORE), which will take place on July 22nd in Ulm, Germany. Furthermore, the International Conference on Web Reasoning and Rule Systems (RR), will take place in Mannheim (1:40 min by train from Ulm) directly subsequent to the DL workshop (July 27th - 29th), and the 9th Reasoning Web Summer School (July 30th - Aug 2nd) also in Mannheim. IMPORTANT DATES --------------- Abstract submission deadline: April 05, 2013 Paper submission deadline: April 12, 2013 Acceptance notification: May 27, 2013 Camera ready copies: June 09, 2013 Early registration: June 24, 2013 Workshop: July 23-26, 2013 WORKSHOP SCOPE -------------- We invite contributions on all aspects of description logics, including but not limited to: * Foundations of description logics: decidability and complexity of reasoning, expressive power, novel inference problems, inconsistency tolerance, reasoning techniques, and modularity aspects * Extensions of description logics: closed-world and nonmonotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, query languages * Integration of description logics with other formalisms: object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems * Applications and use areas of description logics: ontology engineering, ontology languages, databases, ontology-based data access, semi-structured data, document management, natural language, learning, planning, Semantic Web, and cloud computing * Systems and tools around description logics: reasoners, software tools for and using description logic reasoning (e.g. ontology editors, database schema design, query optimization, and data integration tools), implementation and optimization techniques, benchmarking, evaluation, modeling INVITED SPEAKERS ---------------- * Giuseppe De Giacomo, Sapienza Universita di Roma, Italy * Michel Dumontier, Carleton University, Ottawa, Canada * Ian Pratt-Hartmann, University of Manchester, UK SUBMISSIONS ----------- * Submissions are limited to 11 pages, excluding references, and should follow the Springer LNCS style guide (http://bit.ly/oPRW8y). * There is no page limit on the list of references. * A clearly marked appendix with additional proofs or evaluation data can be appended; it will be read at the discretion of the reviewers. * Submission page: http://www.easychair.org/conferences/?conf=dl2013 * Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/). * Accepted submissions will be selected for either oral or poster presentation, which will be clearly distinguished in the proceedings; however, the length of all accepted papers can be the same. ORGANIZATION ------------ * Thomas Eiter, Vienna University of Technology (Program co-Chair) * Birte Glimm, University of Ulm, Germany (Workshop co-Chair) * Yevgeny Kazakov, University of Ulm, Germany (Workshop co-Chair) * Markus Kroetzsch, University of Oxford, U.K. (Program co-Chair) PROGRAMME COMMITTEE ------------------- * Alessandro Artale, Free University of Bolzano-Bozen * Franz Baader, TU Dresden * Meghyn Bienvenu, CNRS & Université Paris-Sud * Alex Borgida, Rutgers University * Diego Calvanese, Free University of Bozen-Bolzano * Bernardo Cuenca Grau, University of Oxford * Enrico Franconi, Free University of Bozen-Bolzano * Pascal Hitzler, Wright State University * Matthew Horridge, Stanford University * Ian Horrocks, University of Oxford * Pavel Klinov, University of Ulm * Boris Konev, University of Liverpool * Roman Kontchakov, Birkbeck College * Jens Lehmann, University of Leipzig * Thorsten Liebig, derivo GmbH * Carsten Lutz, University of Bremen * Deborah McGuinness, Rensselaer Polytechnic Institute * Thomas Meyer, UKZN and CSIR Meraka * Ralf Möller, Hamburg University of Technology * Linh Anh Nguyen, University of Warsaw * Magdalena Ortiz, Vienna University of Technology * Bijan Parsia, University of Manchester * Peter Patel-Schneider, Nuance Communications * Rafael Peñaloza, TU Dresden * Guilin Qi, Southeast University * Riccardo Rosati, Sapienza Universita' di Roma * Sebastian Rudolph, Karlsruhe Institute of Technology * Renate A. Schmidt, University of Manchester * Ulrike Sattler, University of Manchester * Thomas Schneider, University of Bremen * Luciano Serafini, Fondazione Bruno Kessler * Barış Sertkaya, SAP Research Center Dresden * Inanc Seylan, Universty of Bremen * Mantas Simkus, Vienna University of Technology * Giorgos Stamou, National Technical University of Athens * Giorgos Stoilos, National Technical University of Athens * Umberto Straccia, Institute of Information Science and Technologies * David Toman, University of Waterloo * Dmitry Tsarkov, The University of Manchester * Anni-Yasmin Turhan, TU Dresden * Zhe Wang, University of Oxford * Kewen Wang, Griffith University * Grant Weddell, University of Waterloo * Frank Wolter, University of Liverpool * Michael Zakharyaschev, Birkbeck College RESOURCES --------- * Information about submission, registration, travel information, etc., is available on the DL 2013 homepage: http://dl.kr.org/dl2013 * Enquiries about the DL 2013 workshop can be made by contacting the organizing committee * The official Description Logic home page is at http://dl.kr.org/ -- Dr. Markus Kroetzsch Department of Computer Science, University of Oxford Room 306, Parks Road, OX1 3QD Oxford, United Kingdom +44 (0)1865 283529 http://korrekt.org/ From adrianrp at unimelb.edu.au Mon Feb 11 05:05:33 2013 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Mon, 11 Feb 2013 04:05:33 +0000 Subject: Research Fellow in Collaborative Systems @ The University of Melbourne Message-ID: RESEARCH FELLOW IN COLLABORATIVE SYSTEMS @ THE UNIVERSITY OF MELBOURNE Applications close 22 April 2013 Professor Liz Sonenberg & Assoc Professor Adrian Pearce The University of Melbourne is seeking an outstanding Research Fellow to conduct leading edge research in collaborative systems. The position will be located in the Department of Computing and Information Systems within the Melbourne School of Engineering. Salary $104,370-$120,344 AUD p.a. (Senior Research Fellow) or $85,203-$101,175 (Research Fellow) plus 9% superannuation; Employment type: Full-time Fixed Term The successful candidate will conduct leading-edge research and development in the area of collaborative systems. The work is part of an ARC funded project, "Foundations of human-agent collaboration: situation-relevant information sharing". As part of the team, working with Professor Liz Sonenberg and Assoc Professor Adrian Pearce, you would be involved in conceptual analysis of joint human-machine activity, development of mechanisms for collaborative systems involving mixed teams of humans, software agents, and robots, and development of software tools to support coordination of the interdependencies among the activities of the participants. The position will specifically involve advanced use of artificial intelligence techniques, such as planning languages, interactive systems and action languages, especially those used for distributed multi-agent problems. This project tackles a challenging problem in collaborative systems. Human-agent robotic teamwork, also termed human-automation teamwork, involving teams comprised of software agents, robots and humans, is increasingly being exploited to carry out tasks such as remote management of air or ground vehicles, and robot-assisted search and rescue operations. Such use of software assistants and physical robots to support human activities will increase in coming years. When action outcomes can be uncertain, successful collaborative activity cannot be fully pre-scripted, but must allow for adjustment as events unfold There is a need for the development of new techniques in collaborative systems for representing and reasoning about joint task achievement in dynamic environments. As automated systems become more sophisticated in their capabilities, the design of effective interaction with human operators becomes more demanding. The goal of this project is to discover novel computational mechanisms and to demonstrate their utility in software prototypes to support the development of human-automation teams that can coordinate and collaborate in fast changing task environments. More details can be found at http://www.agentlab.unimelb.edu.au/collaborative_systems.html RESEARCH GROUP You will be involved in a team of researchers working in the field of artificial intelligence. Relevant research groups include: The Intelligent Agent Laboratory (Agentlab): http://www.agentlab.unimelb.edu.au/ The Defence Science Institute: http://www.defencescienceinstitute.com Optimisation group of NICTA: http://www.nicta.com.au/research/optimisation APPLICATION PROCEDURE http://www.jobs.unimelb.edu.au Research Fellow in Collaborative Systems: position number 0030739 (closing 22 April 2013) CONTACT: For more information, please contact Professor Liz Sonenberg, l.sonenberg at unimelb.edu.au Adrian --- Adrian Pearce Department of Computing and Information Systems, The University of Melbourne, Melbourne VIC 3010 Phone: +61 3 8344 1399 adrianrp at unimelb.edu.au http://www.csse.unimelb.edu.au/~adrian/ From guido at di.unito.it Mon Feb 11 10:34:13 2013 From: guido at di.unito.it (Guido Boella) Date: Mon, 11 Feb 2013 10:34:13 +0100 Subject: First CFP: PRIMA 2013 - 16th International Conference on Principles and Practice of Multi-Agent Systems Message-ID: <5118BB15.6080108@di.unito.it> Apologies for multiple postings ======================================================================================================= First CFP: PRIMA 2013 - 16th International Conference on Principles and Practice of Multi-Agent Systems ======================================================================================================== Dates: December 3-6, 2013 Location: Dunedin, New Zealand Submission deadline: 1 July 2013 Website: http://prima2013.otago.ac.nz/ Co-located event: PRIMA 2013 is co-located with Australasian Artificial Intelligence conference (http://ai2013.otago.ac.nz/). -------------------------------------- Agent computing is an exciting, transformational approach to developing computer systems that can rapidly and reliably solve real-world problems that usually demand human knowledge and expertise. The value, power and flexibility of agent and multi-agent systems has been demonstrated in application areas such as logistics, manufacturing, simulation, robotics, decision support, entertainment, and especially in online market environments. As one of the largest and fastest growing research fields of Computer Science, agent research today includes a wealth of topics. The PRIMA 2013 Program Committee invites submissions of original, unpublished, theoretical and applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities, which include the topics given below. Note: There will be a special track (special focus area) on applications of multi-agent systems. The papers for this track would report experiences on using agents in an application domain and also discuss the challenges (resolved and unresolved issues) in deploying them. In general, papers discussing lessons learned and general directions of research using agents are solicited for this track. Topics (not limited to the following): ======================================= Foundations of Agents and Multi-Agent Systems +Logics of Agency +Logics of Multi-Agent Systems +Normative Systems +Computational Game Theory +Uncertainty in Agent Systems +Agent and Multi-Agent Learning Agent and Multi-Agent System Architectures +Agent Programming Languages and Platforms +Multi-Agent System Languages and Platforms +BDI Architectures and Extensions +Normative Multi-Agent Systems Agent-Oriented Software Engineering +AOSE Methodologies +Tools for Agent and Multi-Agent System Development +Formal Specification and Verification +Testing, debugging and evolution +Deployed System Case Studies Agent-Based Modelling and Simulation +Simulation Languages and Platforms +Artificial Societies +Virtual Environments +Workflow Simulation +Emergent Behaviour +Modelling System Dynamics +Application Case Studies Cooperation/Collaboration, Coordination/Communication +Agent Communication Languages and Protocols +Distributed Problem Solving +Teamwork Models +Coalition Formation +Argumentation +Negotiation +Bargaining +Auctions and Mechanism Design +Trust and Reputation +Computational Voting Theory Hybrid Technologies +Agents in Planning +Agent-Based Scheduling and Optimization +Distributed Constraint Satisfaction +Agents and Data Mining +Semantic Web Agents +Agents and Grid Computing +Agents and Service Oriented Computing +Agents and Pervasive Computing +Robotics and Multi-Robot Systems +Ubiquitous computing and ambient intelligence Application Domains +Healthcare +Transport/Logistics +Emergency/Disaster Management +Energy/Utility Management +Sustainability/Resource Management +Games/Entertainment +eBusiness/eCommerce/eGovernment +eResearch/eLearning +Security/Surveillance +Smart Cities +Financial markets Applications +Adaptive Personal Assistants +Embodied Conversational Agents +Virtual Characters +Multi-Modal User Interfaces +Autonomous Systems +Mobile Agents +Human-Robot Interaction +Social Recommender Systems +Algorithmic trading agents Paper Submission ================= Two types of contributions are solicited: - Full papers, up to 16 pages in LNCS format, should present original theoretical and/or experimental research in any of the areas listed above that has not been previously published, accepted for publication, or is not currently under review by another conference or journal. Note that some full papers may be accepted as short papers (see below). - Short papers (early innovation papers), up to 8 pages in LNCS format showcasing works-in-progress (will be reviewed with an emphasis on novelty/originality of the idea). Both full and short papers will be included in the conference proceedings by Springer (LNAI series). Authors of both types of papers will need to present their work at the conference. Please refer to the Paper Submission page (http://prima2013.otago.ac.nz/submission) for details on how to format your paper and how to submit your paper via EasyChair. Important Dates ================ Submissions Due: 1 July 2013 Notifications: 19 August 2013 Camera-Ready: 14 September 2013 Early Registration: 31 October 2013 Conference: 3-6 December 2013 Conference Committees ===================== General chairs Assoc. Prof. Frank Dignum, Utrecht University Professor Martin Purvis, University of Otago Program chairs Assoc. Prof. Guido Boella, University of Torino Asst. Prof. Edith Elkind, Nanyang Technological University Dr Bastin Tony Roy Savarimuthu, University of Otago Senior Advisors Prof. Aditya Ghose, University of Wollongong Prof. Sandip Sen, University of Tulsa Prof. Makoto Yokoo, Kyushu University ========================================================================================== _______________________________________________ agents mailing list agents at cs.umbc.edu http://lists.cs.umbc.edu/mailman/listinfo/agents From geoff at cs.miami.edu Mon Feb 11 17:23:48 2013 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 11 Feb 2013 11:23:48 -0500 (EST) Subject: CADE-24 Workshops Message-ID: <20130211162348.4655412159B@mcclellan.cs.miami.edu> Call for Papers Workshops at CADE-24 -- Lake Placid, New York, 9-10 June, 2013 Short CFPs for the following CADE-24 workshops are attached: ADDCT - Automated Deduction: Decidability, Complexity, Tractability ARSEC - Automated Reasoning in Security ARiSVe - Automated Reasoning in Software Verification ESARAI - Empirically Successful Automated Reasoning with AI KInAR - Knowledge Intensive Automated Reasoning PxTP - Proof Exchange for Theorem Proving For the Workshop Methods for Modalities (M4M) respective Information will be distributed soon. Moreover, CADE-24 will host a StarExec meeting. ===== ADDCT ========================================================== ADDCT - Automated Deduction: Decidability, Complexity, Tractability Decidability, and especially complexity and tractability of logical theories is extremely important for a large number of applications. Although general logical formalisms (such as predicate logic or number theory) are undecidable, decidable theories or decidable fragments thereof (sometimes even with low complexity) often occur in mathematics, in program verification, in the verification of reactive, real time or hybrid systems, as well as in databases and ontologies. It is therefore important to identify such decidable fragments and design efficient decision procedures for them. It is equally important to have uniform methods (such as resolution, rewriting, tableaux, sequent calculi, ...) which can be tuned to provide algorithms with optimal complexity. The goal of ADDCT is to bring together researchers interested in - identifying (fragments of) logical theories which are decidable, identifying fragments thereof which have low complexity, and analyzing possibilities of obtaining optimal complexity results with uniform tools; - analyzing decidability in combinations of theories and possibilities of combining decision procedures; - efficient implementations for decidable fragments; - application domains where decidability resp. tractability are crucial. Full Paper submission: March 26, 2013 Notification: April 26, 2013 Final versions: May 10, 2013 Workshop: June 10, 2013 More details: http://userpages.uni-koblenz.de/~sofronie/addct-2013/ ===== ARSEC ========================================================== ARSEC - Automated Reasoning in Security Automated reasoning methods have become increasingly critical in many areas of security, from analyzing cryptographic protocols for flaws to analyzing access-control and privacy policies. This interaction is proving to be mutually beneficial: automated reasoning methods are finding new applications in security; and new automated reasoning methods, developed for security applications, are enriching the tools available to all areas of automated reasoning. ARSEC will bring together researchers interested in automated reasoning and security to present recent work (including work in progress) and to discuss new ideas and trends in the field. Possible topics include, but are not limited to: - Security Protocols - Security Policies - Privacy and Confidentiality - Intrusion Detection - Automated Reasoning techniques such as Paramodulation, Rewriting, Unification and Satisfiability Modulo Theories (SMT). Paper Submission: March 25th Workshop: June 9th 2013 More details: http://www.cs.albany.edu/~marshall/ARSEC/ ===== ARiSVe ========================================================= ARiSVe - Automated Reasoning in Software Verification The focus of the workshop is application of automated reasoning in the context of software verification, and, more generally, automation in software verification. Relevant topics include but are not limited to: - specifics of verification-related automated reasoning tasks; - efficient translation of high-level verification conditions to logical languages of automated reasoning tools; - handling of the prover's feedback: proofs, models, answer terms; - logical theories of interest for program verification, decision procedures, integration into existing ATP and SMT systems; - combination of automated and user-assisted verification; tool presentations, tool comparisons, and benchmarks; - experience reports on verification of complex algorithms and real-life software with the use of automated reasoning tools. Invited speaker: K. Rustan M. Leino (Microsoft Research) Abstract submission deadline: March 8, 2013 Submission deadline: March 15, 2013 Notification: April 10, 2013 Camera ready versions due: May 10, 2013 Workshop: June 10, 2013 More details: http://arisve2013.lri.fr ===== ESARAI ========================================================= ESARAI - Empirically Successful Automated Reasoning with Artificial Intelligence The Empirically Successful Automated Reasoning with Artificial Intelligence (ESARAI) workshop will bring together two complementary groups of researchers: researchers in Automated Reasoning who employ Artificial Intelligence tools and techniques to support their automated reasoning research, and researchers in Artificial Intelligence who employ Automated Reasoning tools and techniques to support the artificial intelligence research. The workshop will offer mutually beneficial interactions, through the exposure of the two sides of the research to all. Additionally, the workshop will provide a focussed forum where the many interfaces between these two research fields can be presented and discussed. The workshop is soliciting research, position, applications and system description papers on combinations of AI and AR. Additionally, the workshop includes system and application demonstrations. Demonstrations of systems and applications described in paper presentations, and demonstrations of systems and applications without an accompanying paper, are both encouraged. Submission deadline - 22nd April Notification of acceptance - 13th May Final versions due - 20th May Workshop - 9th or 10th June More details: http://www.cs.miami.edu/~geoff/Conferences/ESARAI/ ===== KInAR ========================================================== KInAR - Knowledge Intensive Automated Reasoning Extensive digital sources of knowledge are becoming available, such as formal ontologies, databases, dictionaries and natural language reference works. Online sources like Wikipedia and IMDb, mathematical libraries like Mizar and various search engines and web services have gained widespread acceptance among the general population, but the sheer quantity of data can be an obstacle for human users. Automated reasoning (AR) systems have been advancing in their capabilities, and there is a growing interest in employing their deductive power to make digital knowledge more accessible. This poses challenges to AR research, but it is also a chance to bring AR into the public and to see large-scale usage of AR systems. In the KInAR workshop we aim to compile approaches to AR on large knowledge sources, and to aid the connections between researchers working on such projects. We invite submissions on any topics regarding KInAR, such as: - theoretical foundations: calculi for knowledge intensive reasoning, - knowledge corpora and their management, - extracting (semi-)formal knowledge from large informal corpora, - system descriptions of applications regarding the workshop topic, - benchmarking such systems, - robustness: reasoning despite flaws in digital knowledge, - combining knowledge from different sources. Submission deadline: 8 April 2013 Author notification: 2 May 2013 Camera-ready version: 9 May 2013 KInAR workshop: 10 June 2013 More details: http://userpages.uni-koblenz.de/~bpelzer/kinar2013 ===== PxTP =========================================================== PxTP - Proof Exchange for Theorem Proving The past decades have seen impressive advances in computer-aided reasoning, both in automated and interactive theorem proving. As shown by various system competitions, such as CASC, SMT-COMP, and the SAT competition, deduction tools are able to tackle larger problems progressively faster and are increasingly more applicable to a wider range of problems. In recent years, integration of such automated tools in larger verification environments has demonstrated the potential to reduce the amount of manual verification work. It is becoming clear that the success of deduction tools will not only depend on their power to solve large and difficult problems in an isolated manner, but it will also rely on their ability to cooperate, by exchanging problems, proofs, and models. The PxTP workshop aims at encouraging such cooperation by inviting contributions on various aspects of communication, integration, and cooperation between systems and formalisms. The workshop's mission is to facilitate building of complex reasoning applications and reuse of reasoning tools by developing and discussing suitable integration, translation and communication methods, standards, protocols, and application programming interfaces (APIs). The workshop would like to bring together the interested developers of automatic and interactive theorem proving tools, developers of combined systems, developers and users of translation tools and APIs, and producers of standards and protocols. Submission of papers: 11 April 2013 Notification: 2 May 2013 Camera-ready versions due: 9 May 2013 Workshop: 10 June 2013 More details: http://www.cs.ru.nl/pxtp13/ ===== StarExec ======================================================= StarExec The StarExec project is an NSF funded project to design, implement, and operate StarExec, a web service designed for the comparative evaluation of logic solvers (automated theorem provers) on benchmark problems. The $1.85 million budget of the grant is mostly dedicated to purchasing and operating a medium-sized cluster of an anticipated 150 compute nodes, which will be used to run jobs submitted by users of the system. We anticipate users will be members of various logic-solving subcommunities of the broader automated theorem proving community The StarExec 2013 workshop will bring together logic-solving community leaders, logic solver competition organizers, StarExec power users, and the StarExec organizers, to discuss the current status of the StarExec project. The workshop will have four sessions: - A status report from the StarExec organizers, and a demonstration of StarExec as it has been developed by the time of the workshop. - Use of StarExec by the attendees, so they can get a feeling of how well the implementation will meet their solver evaluation needs. - A feedback session based on the use of StarExec. - A presentation by the StarExec organizers on the short and medium terms plans for development and use of StarExec. StarExec 2013 will not invite papers or general attendance. Rather, the workshop will be aimed specifically at the types of researchers described above, to maximize the positive impact on the development and use of StarExec. The NSF grant will provide travel, accomodation, and registration support for 20 participants, 10 from the USA and 10 from overseas. More details: http://clc.cs.uiowa.edu/starexec13/ From xrambous at aurora.fi.muni.cz Tue Feb 12 10:37:54 2013 From: xrambous at aurora.fi.muni.cz (TSD 2013) Date: Tue, 12 Feb 2013 10:37:54 +0100 Subject: TSD 2013 - First Call for Papers Message-ID: ************************************************************************** TSD 2013 - FIRST CALL FOR PAPERS ************************************************************************** Sixteenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2013) Plzen (Pilsen), Czech Republic, 1-5 September 2013 http://www.tsdconference.org TSD NEWS The TSD conference fee was significantly reduced. It is organized in parallel with SPECOM. ABOUT CONFERENCE The conference is organized by the Faculty of Applied Sciences, University of West Bohemia, Pilsen, and the Faculty of Informatics, Masaryk University, Brno. This year the conference is organized in parallel with the 15th International Conference on Speech and Computer (SPECOM). The conference is supported by International Speech Communication Association (ISCA). Venue: Plzen (Pilsen), angelo Hotel (city center), Czech Republic TSD SERIES TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. The TSD proceedings are regularly indexed by Thomson Reuters Conference Proceedings Citation Index. LNAI series are listed in all major citation databases such as DBLP, SCOPUS, EI, INSPEC, or COMPENDEX. TOPICS Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection) Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies) Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues) Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) OFFICIAL LANGUAGE The official language of the event will be English. However, papers on processing of languages other than English are strongly encouraged. PROGRAM COMMITTEE Hynek Hermansky, USA (general chair) Eneko Agirre, Spain Genevieve Baudoin, France Jan Cernocky, Czech Republic Darja Fiser, Slovenia Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, GB Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Ludwig Hitzenberger, Germany Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Ivan Kopecek, Czech Republic Steven Krauwer, The Netherlands Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Vaclav Matousek, Czech Republic Diana McCarthy, UK Hermann Ney, Germany Elmar Noeth, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Fabio Pianesi, Italy Maciej Piasecki, Poland Jan Pomikalek, Czech Republic Adam Przepiorkowski, Poland Josef Psutka, Czech Republic James Pustejovsky, USA Leon Rothkrantz, The Netherlands Anna Rumshisky, USA Milan Rusko, Slovakia Stefan Steidl, Germany Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Georg Stemmer, Germany Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Taras Vintsiuk, Ukraine Pascal Wiggers, The Netherlands Yorick Wilks, GB Victor Zakharov, Russia FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions.One day of the conference will be dedicated to tutorials and workshops. Social events including a trip in the vicinity of Pilsen will allow additional informal interactions. Details about the social event will be available on the web page. SUBMISSION OF PAPERS Authors are invited to submit a full paper not exceeding 8 pages formatted in the LNCS style (see below). Those accepted will be presented either orally or as posters. The decision on the presentation format will be based upon the recommendation of three independent reviewers. The authors are asked to submit their papers using the on-line submission form accessible from the conference web site. Papers submitted to TSD 2013 must not be under review by any other conference or publication during the TSD review cycle, and must not be previously published or accepted for publication elsewhere. As the reviewing is blind, the paper should not include authors' name and affiliations. Furthermore, self-references that reveal the author's identity, e.g., "We previously showed (Smith, 1991) ...", should be avoided. Instead, use citations, such as "Smith previously showed (Smith, 1991) ...". Papers that do not conform to the requirements above are determined to be rejected without review. The authors are strongly encouraged to write their papers in TeX (plain) or LaTeX formats. These formats are necessary for the final versions of the papers that will be published in the Springer Lecture Notes. Authors using a MS Word-compatible software for the final version must use the LNCS template for MS Word and within the submit process ask the Proceedings Editors to convert the paper to the LaTeX format. For this service a service-and-license fee of CZK 1500 will be levied automatically. The paper format for the review has to be either the PDF or PostScript file with all required fonts included. Upon notification of acceptance, speakers will receive further information on submitting their camera-ready and electronic sources (for detailed instructions on the final paper format see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Authors are also invited to present actual projects, a developed software or interesting materials relevant to the topics of the conference. Speakers who have prepared a demonstration should provide an abstract not exceeding one page. The demonstration abstracts will not appear in the conference proceedings. IMPORTANT DATES March 31, 2013 ............ Submission of full papers May 12, 2013 .............. Notification of acceptance June 9, 2013 .............. Final papers (camera ready) and registration September 1-5, 2013 ....... Conference date The contributions to the conference will be published in proceedings that will be made available on CD to participants at the time of the conference. CONFERENCE FEES The conference fee depends on the date of payment and on your status. It includes one copy of the conference proceedings, refreshments/coffee breaks, opening dinner, welcome party, mid-conference social event admissions, and organizing costs. In order to lower the fee as much as possible, meals during the conference, the accommodation, and the conference trip are not included. Full participant: early registration by June 9, 2013 - CZK 8.200 (approx. 320 EUR) late registration by August 1, 2013 - CZK 9.400 (approx. 370 EUR) on-site registration - CZK 10.000 (approx. 390 EUR) Student (reduced): early registration by June 9, 2013 - CZK 7.000 (approx. 280 EUR) late registration by August 1, 2013 - CZK 8.400 (approx. 330 EUR) on-site registration - CZK 8.900 (approx. 350 EUR) The payment may be refunded up until August 15, at the cost of CZK 1.500. No refund is possible after this date. All costs are in Czech Crowns (Czech Koruna, CZK), see e.g. http://www.xe.com/ucc/ for the current exchange rate. At least one of the authors has to register and pay the registration fee by June 9, 2013 for their paper to be included in the conference proceedings. Only one paper of up to 8 pages is included in the regular registration fee. The additional paper and page charge is CZK 1000 per page. Any additional paper is treated as extra pages. An extra page charge is CZK 1000 per page. An author with more than one paper pays the additional paper rates unless a co-author has also registered and paid the full registration fee. In the case of uncertainty, feel free to contact the organising committee for clarification. As in previous years, we will do our best to ensure grants for the prospective TSD participants from economically less powerful countries, especially the countries of the former Soviet Union and its satellites. By now we are negotiating with our partner supporting organisations about the form and amount of the grants. LOCATION The city of Plzen (Pilsen) is situated in Western Bohemia at the confluence of four rivers. With its 170,000 inhabitants it is the fourth largest city in the Czech Republic and an important industrial, commercial, and administrative centre. It is also the capital of the Pilsen Region. In addition, it has been selected as the European capital of culture for 2015 by the Council of the European Union. Pilsen is well-known for its brewing tradition. The trademark Pilsner-Urquell has a good reputation all over the world thanks to the traditional recipe, high quality hops and good groundwater. Beer lovers will also appreciate a visit to the Brewery Museum or the Brewery itself. Apart from its delicious beer, Pilsen hides lots of treasures in its core. The city can boast the second largest synagogue in Europe. The dominant of the old part of the city center is definitely the 13th-century Gothic cathedral featuring the highest tower in Bohemia (102.34 m). It is possible to go up and admire the view of the city. Not far from the cathedral is the splendid Renaissance Town Hall from 1558 and plenty of pleasant cafes and pubs are situated on and around the main square. There is also the beautiful Pilsen Historical Underground - under the city center, a complex network of passageways and cellars can be found. They are about 14 km long and visitors can see the most beautiful part of this labyrinth during the tour. It is recommended to visit the City Zoological Garden, having the second largest space for bears in Europe and keeping several Komodo dragons, large lizards which exist only in a few zoos in the world. The University of West Bohemia in Pilsen provides a variety of courses for both Czech and international students. It is the only institution of higher education in this part of the country which prepares students for careers in engineering (electrical and mechanical), science (computer science, applied mathematics, physics, and mechanics), education (both primary and secondary), economics, philosophy, politics, archeology, anthropology, foreign languages, law and public administration, art and design. GETTING THERE The city has access from the D5 motorway connecting Prague (Praha) with Germany. Pilsen has very good bus and train connections with the capital of Prague (it takes about 1 - 1.5 hour to get from Prague to Pilsen). >From Vaclav Havel Airport Prague (PRG) you can reach Pilsen by frequent public transport in 1.5 - 2 hours. ACCOMMODATION The organising committee has arranged accommodation for reasonable prices in the angelo Hotel Pilsen, which is situated in the city center in walking distance from the main railway station and opposite to the historical entrance of the Pilsner Urquell Brewery. There are a lot of restaurants in hotel neighbourhood offering specialities of national and foreign cuisine. Student halls of residence will be also available at the time of conference. ADDRESS All correspondence regarding the conference should be addressed to: Ms Anna Habernalova, TSD 2013 Conference Secretary E-mail: tsd2013 at tsdconference.org Phone: +420 722 375 005 Fax: +420 377 632 402 - Please, mark the faxed material with capitals 'TSD' on top. TSD 2013 conference web site: http://www.tsdconference.org/tsd2013 From carlos.areces at gmail.com Fri Feb 15 17:41:17 2013 From: carlos.areces at gmail.com (Carlos Areces) Date: Fri, 15 Feb 2013 13:41:17 -0300 Subject: CFP- Method for Modalities 8 Message-ID: ==================================================================== 8th Worskhop on "Methods for Modalities" (M4M-8) Lake Placid, New York, June 10, 2013 http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/ ==================================================================== Scope ----- The workshop ''Methods for Modalities'' (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term ''modal logics'' is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. We strongly encourage young researchers and students to submit papers and posters, especially for experimental and prototypical software tools which are related to modal logics. More information about the previous editions can be found at http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/ Paper Submissions ------------------ Authors are invited to submit papers in the following three categories. In all cases the LNCS style should be used. - Regular papers up to 15 pages including bibliography, describing original research. - System descriptions of up to 12 pages including bibliography, describing new systems or significant upgrades of existing ones. - Presentation-only papers, describing work recently published or submitted (no page limit). These will not be included in the proceedings, but pre-prints or post-prints can be made available to participants. Submissions should be made via EasyChair at the following address: http://www.easychair.org/conferences/?conf=m4m8 The final versions of the selected contributions will be collected in a volume to be distributed at the workshop. These informal proceedings will also be made accessible on the web. We plan to publish selected papers in ENTCS or in a special journal issue on the topic of the M4M workshop after an extra refereeing round. Important dates --------------- Abstract submission deadline: April 12th, 2013 [firm] Paper submission deadline: April 15th, 2013 [firm] Notification of acceptance: May 19th, 2013 Camera ready versions due: May 26th, 2013 Workshop dates: June 10, 2013 Program Committee ----------------- The following researchers have agreed to be members of the program committee of M4M-8: Carlos Areces (chair), Conicet & Universidad Nacional de Córdoba Thomas Ågotnes, University of Bergen Philippe Balbiani, Institut de Recherche en Informatique de Toulouse Thomas Bolander, Technical University of Denmark Patrick Blackburn, University of Roskilde Stephane Demri, ENS de Cachan Hans van Ditmarsch, LORIA Santiago Figueira, Conicet & Universidad de Buenos Aires Diego Figueira, University of Edinburgh Silvio Ghilardi, University of Milano Rajeev Goré, The Australian National University Daniel Gorín, FAU Erlangen-Nürnberg Guido Governatori, NICTA Queensland Research Laboratory Andreas Herzig, Institut de Recherche en Informatique de Toulouse Guillaume Hoffmann, Universidad de Córdoba Barteld Kooi, University of Groningen Martin Lange, University of Kassel Tiago de Lima, University of Artois Alessio Lomuscio, Imperial College London Angelo Montanari, University of Udine Sergio Mera, Universidad de Buenos Aires Valeria de Paiva, Cuill Inc. Gert Smolka, Saarland University Heinrich Wansing, Ruhr University Bochum From peterschueller at sabanciuniv.edu Mon Feb 18 08:19:09 2013 From: peterschueller at sabanciuniv.edu (peterschueller at sabanciuniv.edu) Date: Mon, 18 Feb 2013 09:19:09 +0200 Subject: CFP ICLP 2013: 29th International Conference on Logic Programming, Istanbul, Turkey, August 24-28 Message-ID: (Apologies for cross-posting.) CALL FOR PAPERS 29th International Conference on Logic Programming (ICLP 2013) Special Issue: Theory and Practice of Logic Programming Istanbul, Turkey, August 24-29, 2013 http://www.iclp2013.org CONFERENCE SCOPE Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. Implementation: Compilation, Virtual Machines, Parallelism, Constraint Handling Rules, Tabling. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms: Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, Co-inductive Logic Programming, SAT-Checking. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. SUBMISSION DETAILS The four broad categories for submissions are as follows. Regular papers, including: (1) technical papers for describing technically sound, innovative ideas that can advance the state of logic programming; (2) application papers, where the emphasis will be on their impact on the application domain; (3) system and tool papers, where the emphasis will be on the novelty, practicality, usability and availability of the systems and tools described. Technical commu- nications (4) aimed at describing recent developments, new projects, and other materials that are not ready for publication as standard papers. All papers and technical communications will be presented during the conference. All submissions must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical papers, application papers, and system and tool papers must not exceed 12 pages plus bibliography: however a new condensed TPLP format may be used and the papers may include appendices beyond 12 pages. The limit for technical communications is 10 pages. Submissions must be made in the condensed TPLP format (http://www.iclp2013.org) via the Easychair submission system, available at http://www.easychair.org/conferences/?conf=iclp2013 IMPORTANT DATES Paper registration (abstract): April 3, 2013 Submission deadline: April 10, 2013 Notification to authors: May 21, 2013 Revision deadline (when needed): June 21, 2013 Camera-ready copy due: July 18, 2013 Conference: August 24-29, 2013 PAPER PUBLICATION All accepted papers will be published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP), in one or more special issues. In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). Accepted technical communications will be published in the on-line abstract of the special issue(s). The program committee may also recommend standard papers to be published as technical communications. At the time of the conference CUP will make the web page for this(ese) TPLP issue(s) available including volume and issue numbers, table of contents, page numbers, and the papers themselves. All registered attendants at the conference will get a password for on-line access to this web page during the conference and indefinitely from then on ("lifetime access"), which can be used to read papers on line, download them, or print them for personal use. Attendants will also receive all the papers in a memory stick at the conference. ICLP 2013 ORGANIZATION General Co-Chairs: Esra Erdem Sabanci University Joohyung Lee Arizona State University Program Co-chairs: Terrance Swift New University of Lisboa Evelina Lamma University of Ferrara Workshops Chair: Hans Tompits Vienna University of Technology Publicity Chair: Peter Schueller Sabanci University Doctoral Consortium: Marco Gavanelli University of Ferrara Martin Gebser University of Potsdam Prolog Programming Contest: Bart Demoen KU Leuven PROGRAM COMMITTEE Elvira Albert Complutense University of Madrid Roberto Bagnara University of Parma and BUGSENG Gerhard Brewka Leipzig University Mats Carlsson Swedish Institute of Computer Science Manuel Carro Technical University of Madrid Michael Codish Ben-Gurion University Hasan Davulcu Arizona State University James Delgrande Simon Fraser University Bart Demoen KU Leuven Marc Denecker KU Leuven Agostino Dovier University of Udine Gregory Duck NICTA Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber University of Calabria Francois Fages INRIA Rocquencourt Paul Fodor Stony Brook University Thom Fruehwirth University of Ulm John Gallagher Roskilde University Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Carmen Gervet German University in Cairo Laura Giordano University of Piemonte Orientale Gopal Gupta University of Texas at Dallas Manuel Hermenegildo Technical University of Madrid Joohyung Lee Arizona State University Joao Leite New University of Lisboa Victor Marek University of Kentucky Steven Muggleton Imperial College London Antonio Porto University of Porto C. R. Ramakrishnan University at Stony Brook Fabrizio Riguzzi University of Ferrara Ricardo Rocha University of Porto Gianfranco Rossi University of Parma Chiaki Sakama Wakayama University Tom Schrijvers Ghent University Hans Tompits Vienna University of Technology Francesca Toni Imperial College London Paolo Torroni University of Bologna German Vidal Polytechnic University of Valencia David Warren University at Stony Brook Jan Wielemaker University of Amsterdam Roland Yap National University of Singapore Jia-Huai You University of Alberta SPONSOR The conference is sponsored by the Association for Logic Programming (ALP). FINANCIAL ASSISTANCE The Association for Logic Programming has funds to assist financially disadvantaged participants and, specially, students in order to be able to attend the conference. WORKSHOPS The ICLP 2013 program will include several workshops, held before and after the main conference. They are perhaps the best places for the presentation of preliminary work, undeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. DOCTORAL CONSORTIUM The 8th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renown experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in a special session of the main ICLP conference. CONFERENCE VENUE Istanbul is a city of unparalleled social and cultural richness. Serving as the capital of two mighty empires for sixteen centuries, Eastern Roman (or Byzantine) and Ottoman, and set squarely between two continents, Istanbul has cultures and traditions that blend East with West and Mediterranean with Anatolian. Each civilization that has made Istanbul its home has left its mark in sublime and splendid ways, and the result a city that gives one the feeling of universal history at every step. Istanbul has always been a meeting place, a crosspoint and a destination. With the Ataturk Istanbul International Airport, getting to and from Istanbul has never been easier. With a capacity of far over 25 million travelers per year Istanbul is less than a three-hour flight from most European cities. Istanbul has a second airport located on the Asian side of the city, Sabiha Gokcen International Airport, which is an important arrival point especially for low-cost airlines. Overall, Istanbul is served by more than 50 major airlines to hundreds of cities around the world. From anja.metzner at HS-augsburg.de Mon Feb 18 10:17:11 2013 From: anja.metzner at HS-augsburg.de (Anja Metzner) Date: Mon, 18 Feb 2013 10:17:11 +0100 Subject: CFP - OTM Academy'13 (Workshop for Ph.D. students) Message-ID: <251-5121f180-b-245811c0@229457619> ================================================================= CALL FOR PAPERS: 10th OTM Academy (Workshop for Ph.D. students) September 09-10, 2013, Graz, Austria http://www.onthemove-academy.org/ In conjunction with OnTheMove Federated Conferences and Workshops (OTM'13) http://www.onthemove-conferences.org Proceedings published by Springer LNCS Deadline: abstracts May, 27 & papers May, 31 ================================================================= if YOU are a Ph.D. student in information systems,... * interested in feedback on your research plans and research * unable to sufficiently exchange ideas, experiences, frustrations, hopes, … with peers * planning to improve your scientific communication and presentation skills * hoping to meet in real life authors whom you only know by their publications * needing to acquire paper reviewing expertise * eager to widen your horizon of professional interests * and looking for some fun moments during work You should submit to this year’s OTM Academy. It offers you... * a means to publish your paper in the well known Springer LNCS series * dedicated feedback and exclusive time of prominent professors, experienced researchers and experts in your field of research during the OTM Academy * targeted suggestions how to improve your scientific writing and presentation skills by appropriate experts of the OTM Academy * an international forum to present your research in a poster session in one of the OTM conferences * access to all OTM conferences and workshops at a reduced registration fee * a possibility to earn ECTS credits * a dedicated OTMA LinkedIn group as an international network building platform * a friendly and fun atmosphere (several OTM social events) to meet other Ph.D. students and researchers in a nice and sunny place in the middle of ancient cultural heritage (Graz - Austria) * the possibility to become a member of our Hall-of-Fame of past OTMA PhD students on our web page. Join for free the OTMA community and widen your networks What to do ? * coordinate your submission plans with your principal doctoral advisor * take a look at the OTM Academy call-for-papers page [http://www.onthemove-academy.org/] * check if the topics match your research * write your paper according to the instructions * follow the instructions to upload your abstract and paper [http://submissions.onthemove-conferences.org/2013/otma/] * respect formatting instructions (the Springer style for workshop papers) * upload a camera ready version and register * respect the deadlines and specific instructions * prepare your presentation and bring along your poster * meet and greet, listen and learn, ... and enjoy * and maybe bring along your advisors to the OTM Conferences Also other (Ph.D.) students without an accepted submission to the OTM Academy are encouraged to register as participants as it proves to be fruitful for them to observe and interact with presenting authors like you, and expand the pool of ideas to be discussed. OTMA 2013 will award the best contribution ! IMPORTANT DATES: Abstracts Submission Deadline: May 27, 2013 Paper Submission Deadline: May 31, 2013 Acceptance Notification: June 28, 2013 Camera ready received: July 16, 2013 Registration Deadline: July 16, 2013 OTM Academy '13: September 09 - 10, 2013 OTM’13 Conferences: September 09 - 13, 2013 The program committee consists of the following reviewers: * Galia Angelova (Bulgarian Academy of Science, Sofia, Bulgary) * Christophe Bussler (Xtime Inc., USA) * Paolo Ceravolo (Universitá degli Studi di Milano, Milan, Italy) * Philippe Cudré-Maroux (Massachusetts Institute of Technology, USA) * Alfred Holl (University of Applied Sciences Nüremberg, Germany), OTMA Accompanying Professor * Frédéric Le Mouël (University of Lyon, France) * Marcello Leida (Khalifa University Abu Dhabi, United Arabic Emirates) * Erich J. Neuhold (University of Vienna, Austria), OTMA Dean * Hervé Panetto (Nancy University, Nancy, France) * Erik Proper (Public Research Centre - Henri Tudor, Luxembourg) * Anja Metzner (University of Applied Sciences Augsburg, Germany) OTMA Organising Chair & Accompanying Professor * Fatiha Saïs (Université Paris-Sud XI, France) * Andreas Schmidt (Karlsruhe University of Applied Sciences, Germany) * Peter Spyns (Vrije Universiteit Brussel, Belgium), OTMA Organising Chair * Maria Esther Vidal (Universidad Simon Bolivar, Venezuela), OTMA Accompanying Profesor and OTMA Publicity Chair For our young audience of PhD students we added a lot of details about all our faculty members on our web page (http://www.onthemove-academy.org/). You can contact us via: academy at onthemove-conferences.org Peter Spyns and Anja Metzner (OTMA'13 Organising Chairs) -- Prof. Dr. Anja Metzner University of Applied Sciences Augsburg, Department of Computer Sciences Postfach 11 06 05, 86031 Augsburg, Germany Tel: +49 (0)821 - 5586/3426 From rseba at disi.unitn.it Fri Feb 22 18:44:59 2013 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Fri, 22 Feb 2013 18:44:59 +0100 Subject: PHD positions in SAT/SMT-based Verification available in Trento Message-ID: <20130222174459.GA14810@disi.unitn.it> --------------------------------------------------------------------------- [[[ We apologize if you receive multiple copies of this message ]]] --------------------------------------------------------------------------- -------------------------------------------------------------- PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED. -------------------------------------------------------------- Posted: February 22, 2013 Doctoral Student Positions in Information and Communication Technologies on the research project "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)" are available at the International Doctorate School in Information and Communication Technologies (http://www.ict.unitn.it/) of the University of Trento, Italy, under the joint supervision of - Alessandro Cimatti, FBK, Trento, and - Roberto Sebastiani, DISI, University of Trento. The research activity will be carried out jointly within the Embedded Systems (ES) Research Unit of the Center for Scientific and Technological Research of the Fondazione Bruno Kessler (FBK), Trento, and the Software Engineering & Formal Methods (SE&FM) Research Program, at Department of Information Engineering and Computer Science (DISI) of University of Trento. The research activity will aim at investigating and developing novel techniques, methodologies and support tools for Satisfiability Modulo Theories (SMT) for the formal verification of systems. This work will be part of the "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)" project, a three-year research project supported by SRC/GRC (http://www.src.org/compete/s201113/), in strict collaboration with the Formal Verification Group at Intel, Haifa, and other major HW companies. The goal of the WOLF project is to provide a comprehensive SMT package to support effective formal verification of systems ranging from RTL circuits all the way up to high-level hardware description languages (e.g. SystemC) and software. The package will be implemented on top of the MathSAT.5 SMT platform (http://mathsat.fbk.eu/), and provided as an API. Ph.D. courses will start in Autumn 2013, and the thesis must be completed in three or four years. People enrolled Ph.D. courses are expected to move to Trento, and will receive monetary support during phases of their activity. Candidate Profile ================= The ideal candidate should have an MS or equivalent degree in computer science, mathematics or electronic engineering, and combine solid theoretical background and excellent software development skills (in particular C/C++). The candidate should be able to work in a collaborative environment, with a strong commitment to reaching research excellence and achieving assigned objectives. Background knowledge and/or previous experience in the following areas (in order of preference), though not mandatory, will be considered very favorably: - Satisfiability Modulo Theory (SMT) - Propositional Satisfiability (SAT) - Model Checking - Automated Reasoning - Constraint Solving and Optimization - Embedded Systems Design Languages (e.g. Verilog, VHDL) Applications and Inquiries ========================== Interested candidates should inquire for further information and/or apply by sending email to wolf-recruit at disi.unitn.it Applications should contain a statement of interest, with a Curriculum Vitae, and three reference persons. PDF format is strongly encouraged. Emails will be automatically processed and should have 'PHD ON WOLF PROJECT' as subject. Contact Person ============== Prof. ROBERTO SEBASTIANI Software Engineering & Formal Methods Research Program DISI, University of Trento, via Sommarive 14, I-38100 Povo, Trento, Italy http://disi.unitn.it/~rseba/. mailto: rseba[at]disi[dot]unitn[dot]it The Embedded Systems Research Unit at FBK ========================================= The Embedded Systems Unit consists of about 15 persons, including researchers, post-Doc, Ph.D. students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems. Current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink). * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis). * Formal Safety Analysis, based on the integration of traditional techniques (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. The Embedded Systems Unit is part of Fondazione Bruno Kessler, formerly Istituto Trentino di Cultura, a public research institute of the Autonomous Province of Trento (Italy), founded in 1976. The institute, through its center for the scientific and technological research, is active in the areas of Information Technology, Microsystems, and Physical Chemistry of Surfaces and Interfaces. Today, FBK is an internationally recognized research institute, collaborating with industries, universities, and public and private laboratories in Italy and abroad. The institute's applied and basic research activities aim at resolving real-world problems, driven by the need for technological innovation in society and industry. The SW Engineering & Formal Methods Research Program at DISI ============================================================ The SW Engineering & Formal Methods R. P. at DISI currently consists on 5 faculties, various post-docs and PhD students. The Unit carries out research, tool development and technology transfer in the fields of Goal-Oriented Requirements Engineering, Agent-oriented SW engineering, Security, and Formal Methods. Referring to formal methods, current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems. * Advanced Model Checking Techniques for Formal Verification of hardware, embedded critical software, and hybrid systems. * Applications of Propositional Satisfiability (SAT) to various domains. The R.P. is part of the Department of Information Engineering and Computer Science, DISI (http://disi.unitn.it/) of University of Trento. University of Trento in the latest years has always been rated among the top-three small&medium-size universities in Italy. DISI currently consists of 50 faculties, 68 research staff and support people, 21 postdocs and 146 Doctoral students, plus administrative and technical staff. DISI covers all the different areas of information technology (computer science, telecommunications, and electronics) and their applications. These disciplines above are studied individually but also with a strong focus on their integration, Location ======== Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at http://www.trentino.to/home/index.html?_lang=en. From invitation at iariainfo.org Sat Feb 23 23:41:52 2013 From: invitation at iariainfo.org (ICWMC 2013) Date: Sat, 23 Feb 2013 14:41:52 -0800 Subject: Deadline Extension: ICWMC 2013 || July 21 - 26, 2013 - Nice, France Message-ID: <1361659312510.3683@iariainfo.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICWMC 2013. The submission deadline has been extended to March 12, 2013. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICWMC 2013 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICWMC 2013, The Ninth International Conference on Wireless and Mobile Communications July 21 - 26, 2013 - Nice, France General page: http://www.iaria.org/conferences2013/ICWMC13.html Call for Papers: http://www.iaria.org/conferences2013/CfPICWMC13.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2013/SubmitICWMC13.html Submission deadline: March 12, 2013 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICWMC 2013 Topics (topics and submission details: see CfP on the site) Wireless Communications Basics Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Transform-domain communication; Multiple access algorithms and schemes; Antenna and RF subsystems; Smart antennas, adaptive antennas, MIMO and beam forming; MIMO and OFDM Based PHY Layer technologies; CDMA Systems Radio Interfaces and Systems Radio communications systems; Radio resource management; Radio transmission technologies; Power and interference control; Interference Cancellation for Wireless Mobile Systems; Power management for small terminals; Energy map; Channel Measurement and Characterization Spectrum Allocation and Management Spectrum efficiency analyses; Dynamic spectrum access networks; Spectrum management; Interference mitigation and management techniques Circuits for Wireless Communications Wireless ASICs; Wireless technologies; RF Design issues Wireless and Mobility Mobility management; Location-based services and positioning; Micro and macro-mobility; Mobility, location and handoff management; Mobile and wireless IP; Wireless broadband mobile access; Routing in multihop, ad hoc and sensor networks; Wireless multicasting; Wireless mesh networks; Topology control in wireless Protocols for wireless and mobility Wireless protocols, architectural and design concepts; Protocols for air interfaces and networks; Wireless MAC protocols: Design and analysis; Transport layer issues in mobile and wireless networks; Middleware for handhelds and mobile services nodes; Proxies and middleware for wireless networks Traffic and congestion control, QoS, Resource Management Traffic Modeling and Analysis; 3G/4G Bandwidth on Demand; QoS and mobility; End-to-end QoS; QoS profiling and pricing; Traffic Engineering; Congestion and admission control Wireless and mobile technologies Micro-mobility and macro-mobility; Wireless LANs; Home and Personal Area Networks: Bluetooth, ZigBeee, etc; Wireless MANs:802.16, 802.20; Wireless WANs: 2G/3G/4G; Mobile ad hoc networks and multi-hop wireless; Sensor networks and applications; Ultra-wideband and short-range networks; High altitude platforms and satellites; Emergency wireless communications; Wireless real-time communications; RFID systems (including readers and transponders in LF, HF and UHF bands) Performance Evaluation, Simulation and Modeling of wireless networks and systems Performance and QoS in wireless networks; Radio channel modeling (wave propagation and measurements); Mobile/wireless networks modeling and simulation; Performance of end-to-end protocols over wireless networks Management of wireless and mobile networks Mobility and QoS management; Billing technologies and tools; Policy Based Management in wireless LANS and MANs; Wireless and Mobile Network Planning; Mobile Database Access and Design Security in wireless and mobile environment Security and robustness in wireless networks; Privacy, Authentication Authorization and Accounting (AAA); Encryption and Cryptography; Key Management Protocols; Digital Rights Management and Multimedia Protection Networks convergence and integration 2G/3G/4G integration; Convergence of 3G wireless and Internet cross-layer design in wireless networks; WLAN/3G/4G integration; Wireless-wireline convergence; Heterogeneous Networks (WAN, Wireless MAN, WLAN); IP Multimedia subsystems (IMS); Next Generation Network Architecture- mobility issues; Coexistence of mobile radio networks; End to End QoS in Heterogeneous environment; Signaling for integrated wireline/wireless networks Applications and services based on wireless infrastructures Mobile & Wireless applications & services; Service discovery: protocols and frameworks; Personalized services and applications; Audio-visual and mobile multimedia applications; Media and content distribution over wireless networks Standardization and regulations Position on standards & fora on wireless and mobile networks; Wireless Networks Standards and Protocols; Communications regulations; 802.11 WLAN Standards; 802.16 WMAN Standards; 3GPP and 3GPP2 standards; HSDPA Technology and Standards; Next Generation Network standards Design and implementation Emerging wireless technologies; Cross-layer optimizations in wireless networks; Design and implementation of mobile information systems; Software defined radio and re-configurability; Joint PHY/MAC design Wireless and mobile network deployment Business models on wireless networks; Market trends and regional developments; M-commerce; Lessons learnt for wireless deployment in schools Lessons learnt for wireless deployment in special regions; Specialized wireless networks; Heterogeneous wireless network deployment (e.g., combining 802.11, 802.16 and 3G networks) Cooperative and Cognitive Vehicular Networks Architectures and platforms of cognitive vehicular network; Distributed artificial intelligence techniques for cognitive networks; Cognitive vehicular routing metrics and supporting protocols; Reduced complexity cognitive networks; Physical and MAC layer issues; Protocols design for cognitive vehicular networks; Cross-layer optimization in cognitive networks; Security issues for vehicular and cognitive networks; Testbed experiment, applications and new advances; Cooperative vehicular networks; QoS provisioning in heterogeneous networks ; Managing vertical handover; Multihoming; IPv6 GeoNetworking; Vehicular network architectures and protocols ; Cross-layer design and optimization for vehicular networks and cognitive networks; Mobility management and topology control; Standardization and Development of vehicular networks Convergence and social mobility Convergence of mobile networks with the Web 2.0; Convergence on architecture and services; Open service capabilities; Open exposure of telco capabilities; Open Web APIs, SOA and SDP); Interworking strategies; Mobile terminals as sources for User-generated content; Architecture and services for user-generated content; Auto-description and metadata synthesis for telecom-generated for user-generated content; Social mobile networks; User behavior profiling; Social connections (social graphs, contacts, etc); Services and architectures/solutions for social mobile services Committee: http://www.iaria.org/conferences2013/ComICWMC13.html ================================================ To stop receiving notices about ICWMC, please reply with "DROP ICWMC event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From Bertram.Fronhoefer at tu-dresden.de Sun Feb 24 18:57:17 2013 From: Bertram.Fronhoefer at tu-dresden.de (=?ISO-8859-1?Q?Bertram_Fronh=F6fer?=) Date: Sun, 24 Feb 2013 18:57:17 +0100 Subject: ICCL Summer School 2013 Message-ID: <512A547D.7060307@tu-dresden.de> ICCL Summer School 2013 As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is Semantic Web - Ontology Languages and Their Use The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. Central for this development is the design of knowledge representation languages for building so-called ontologies, which serve as a kind of metadata to describe the semantics or meaning of data on the Web. Of primary importance are ontology languages and related recommended standards by the World Wide Web Consortium (W3C), as well as methods and algorithm for their processing. The Semantic Web is now an advanced interdisciplinary field having its home in Computer Science. Third party funding for more than a decade, in particular from the European Union, has led to significant progress. Systems like Apple's Siri or IBM's Watson, adaptions of Semantic-Web-based technologies for e.g. schema.org, Facebook's Open Graph or Google's Knowledge Graph bring these technologies to widespread use and application. Through so-called Linked Data, high volumes of Semantic-Web-processable data is already available on the Web. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems. Registration: If you want to attend the summer school, we would like you to register via the Online Registration Form preferably by April 11, 2013. This deadline is obligatory for all who want to apply for a grant. After April 11, 2013, registration will be possible as long as there are vacant places. (Since we intend to restrict participation to about 60 people, in case of excessive demand, we will have to close the registration to the summer school.) Please register at the latest by July 1, 2013, because - apart from the mentioned overall restriction of participation - we would need an early estimate of the number of participants. People applying until April 11, 2013, and applying for a grant will be informed about respective decisions on grants by end of April 2013. After April 11, 2013 applications for grants cannot be considered any more. An on-site check-in is on Sunday, August 18, 2013, at 4 - 7 pm in room E001 of the Computer Science building. It continues on Monday, August 19, 2013, 8 - 10 am. Fees: (A) We ask for a participation fee of 250 EUR for participants from the university sector (students, university employees, etc) (B) We ask for a participation fee of 1000 Euro for participants from industry. Please pay this summer school fee in cash at the day of your arrival. If belonging to the university sector you have to provide some respective evidence when paying the fees at the check-in (e.g. student card, web page at a university, etc). Grants: A limited number of grants for students and university employees will be available, which includes a waiver of the participation fee. Please indicate in your application, if the only possibility for you to participate is via a grant. Applications for grants must include an estimate of travel costs. (Such info shall be mentioned in the respective parts of the online registration form). Please consult our web pages for further details. http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24 From henning at ruc.dk Mon Feb 25 15:44:22 2013 From: henning at ruc.dk (Henning Christiansen) Date: Mon, 25 Feb 2013 14:44:22 +0000 Subject: CFP: 10th CHR Workshop in Berlin, July 2013 / Constraint Handling Rules Message-ID: <6083B4D7-134F-47D2-9F4A-AC13A46C7D6E@ruc.dk> ========================================================================= Call for Papers Tenth International Workshop on Constraint Handling Rules CHR 2013 http://dtai.cs.kuleuven.be/CHR/CHR2013/ Berlin (Germany), July 11-12th, 2013 (co-located with the 3rd Intl Summer School on CHR) ========================================================================= Introduction The CHR 2013 Workshop will be held on July 11th and 12th, 2013 in Berlin (Germany) at the occasion of the 3rd International Summer School on CHR. More information on the venue and the co-located summer school can be found on the summer school website (http://met.guc.edu.eg/CHR2013/). The Constraint Handling Rules (CHR) language has become a major declara- tive specification formalism and implementation language for constraint reasoning algorithms and applications. Algorithms specified using infe- rence rules, rewrite rules, sequents, proof rules, or logical axioms can often be directly written in CHR. Its clean semantics facilitates pro- gram design, analysis, and transformation. For more information, please visit the CHR website (http://dtai.cs.kuleuven.be/CHR/). The aim of the CHR workshop series is to stimulate and promote interna- tional research and collaboration on topics related to the CHR language. The workshop is a lively, friendly forum for presenting and discussing new results, interesting applications, and work in progress. Previous Workshops on Constraint Handling Rules were organized in 2004 in Ulm (Germany), in 2005 in Sitges (Spain) at ICLP, in 2006 in Venice (Italy) at ICALP, in 2007 in Porto (Portugal) at ICLP, in 2008 in Hagen- berg (Austria) at RTA, in 2009 in Pasadena (California, US) at ICLP, in 2010 in Edinburgh (Scotland, UK) at ICLP, in 2011 in Cairo (Egypt), at the 2nd CHR summer school, and in 2012 in Budapest (Hungary) at ICLP. Topics of Interest The workshop calls for full papers and short papers describing ongoing work on any aspect of CHR and related approaches. The following topics are relevant (this list is non-exhaustive): - (Logical) Algorithms - Applications - Constraint Solvers - Critical Assessment - Expressiveness and Complexity - Implementations and Optimization - Language Extensions (Types, Modules,...) - Mutual inspiration from related areas such as Answer Set Programming, (Term) Rewriting Systems, ... - Program Analysis - Program Transformation and Generation - Programming Environments (Debugging) - Programming Pearls - Programming Tools - Retractable Constraints - Semantics - System Descriptions Important dates - Paper submission deadline: May 8th, 2013 - Notification of acceptance: June 8th, 2013 - Final version due: June 23rd, 2013 - Workshop date: July 11th and 12th, 2013 Submission Information The two categories for submissions are: - full papers for describing technically sound, innovative ideas that can advance the state of the art of CHR; - short papers, for ongoing work not yet ready for full publication and research project overviews. All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical papers must not exceed 15 pages. The limit for short papers is 8 pages, as is the standard page limit for application papers, and system and tool papers. However, particularly strong contributions in the latter two areas may be submitted as technical paper as well. All papers must be in the Springer LNCS format. General information about the Springer LNCS series and the LNCS authors' instructions are available at the Springer LNCS home page (http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0). Submissions must be made via the EasyChair submission system, available at http://www.easychair.org/conferences/?conf=chr2013 Programme Committee - Slim Abdennadher, German University of Cairo, Egypt - María Alpuente, UPV, Spain - Henning Christiansen, Roskilde University, Denmark (co-chair) - Marina De Vos, University of Bath, UK - François Fages, INRIA Rocquencourt, France - Thom Frühwirth, University of Ulm, Germany - Maurizio Gabbrielli, University of Bologna, Italy - Marco Gavanelli, University of Ferrara, Italy - Rémy Haemmerlé, Technical University of Madrid, Spain - Michael Maher, University of New South Wales, Canberra, Australia - Thierry Martinez, INRIA Paris-Rocquencourt, France - Maria Chiara Meo, Gabriele d'Annunzio University, Italy - Eric Monfroy, UTFSM and LINA, Chile/France - Tom Schrijvers, Ghent University, Belgium - Jon Sneyers, KU Leuven, Belgium (co-chair) - Armin Wolf, Fraunhofer FIRST, Germany Workshop Coordinators Contact: chr2013 at easychair.org Henning Christiansen Department of Communication, Business and Information Technologies, Roskilde University, Denmark http://www.ruc.dk/~henning/ Jon Sneyers Department of Computer Science, KU Leuven Leuven, Belgium http://people.cs.kuleuven.be/~jon.sneyers/ Steering committee: Thom Frühwirth Programmiermethodik und Compilerbau, Ulm University Ulm, Germany http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/ Slim Abdennadher Department of Computer Science & Engineering, German University in Cairo Cairo, Egypt http://met.guc.edu.eg/staff/slim_abdennadher.aspx From ams at cwi.nl Mon Feb 25 18:46:34 2013 From: ams at cwi.nl (Alexandra Silva) Date: Mon, 25 Feb 2013 18:46:34 +0100 Subject: CALCO 2013: Deadline Extension Message-ID: <20130225174634.GA91912@n138150.science.ru.nl> [Apologies for multiple copies] *** -------------------- DEADLINE EXTENSION ------------------------- *** To allow for some delays in submission of papers to CALCO 2013, the deadline has been moved by one week. See the new dates in the call for papers below and at the CALCO'13 web page http://coalg.org/calco13/ ========================================================================= CALL FOR PAPERS: CALCO 2013 5th International Conference on Algebra and Coalgebra in Computer Science September 3 - 6, 2013 Warsaw, Poland http://coalg.org/calco13/ ========================================================================= Abstract submission: March 1, 2013 Paper submission: March 8, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 ========================================================================= -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, the capital of Poland. -- INVITED SPEAKERS -- Andrej Bauer - University of Lubljana, Sl Mikołaj Bojańczyk - Warsaw University, PL Neil Ghani - University of Strathclyde, UK Damien Pous - CNRS, ENS-Lyon, F -- TOPICS OF INTEREST -- We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in topics included or related to those listed below. * Abstract models and logics - Automata and languages - Categorical semantics - Modal logics - Relational systems - Graph transformation - Term rewriting - Adhesive categories * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Calculi and models of concurrent, distributed, mobile, and context-aware computing - General systems theory and computational models (chemical, biological, etc.) * Algebraic and coalgebraic semantics - Abstract data types - Inductive and coinductive methods - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification - Formal testing and quality assurance - Validation and verification - Generative programming and model-driven development - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra -- NEW TOPICS -- This edition of CALCO will feature two new topics, and submission of papers on these topics is especially encouraged. * Corecursion in Programming Languages - Corecursion in logic / constraint / functional / answer set programming - Corecursive type inference - Coinductive methods for proving program properties - Implementing corecursion - Applications * Algebra and Coalgebra in quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra -- SUBMISSION GUIDELINES -- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners. As with previous editions, the proceedings will be published in the Springer LNCS series. Final papers should be no more than 15 pages long in the format specified by Springer (see http://www.springer.de/comp/lncs/authors.html). It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their respective submission deadlines. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org), containing extended versions of selected papers, is also being planned. Submissions will be handled via EasyChair https://www.easychair.org/conferences/?conf=calco2013 -- BEST PAPER AND BEST PRESENTATION AWARDS -- For the first time, this edition of CALCO will feature two kinds of awards: a best paper award whose recipients will be selected by the PC before the conference and a best presentation award, elected by the participants. -- IMPORTANT DATES -- Abstract submission: February 22, 2013 Paper submission: March 1, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 -- PROGRAMME COMMITTEE -- Luca Aceto - Reykjavik University, Iceland Jiří Adámek - TU Braunschweig, D Lars Birkedal - IT University of Copenhagen, DK Filippo Bonchi - CNRS, ENS-Lyon, F Corina Cirstea - University of Southhampton, UK Bob Coecke - University of Oxford, UK Andrea Corradini - University of Pisa, I Mai Gehrke - Université Paris Diderot - Paris 7, F H. Peter Gumm - Philipps University Marburg, D Gopal Gupta - University of Texas at Dallas, USA Ichiro Hasuo - Tokyo University, Japan Reiko Heckel - University of Leicester, UK (cochair) Bart Jacobs - Radboud University Nijmegen, NL Ekaterina Komendantskaya - University of Dundee, Scotland, UK Barbara König - University of Duisburg-Essen, D José Meseguer - University of Illinois, Urbana-Champaign, USA Marino Miculan - University of Udine, I Stefan Milius - Friedrich-Alexander Universität Erlangen-Nürnberg, D (cochair) Larry Moss - Indiana University, Bloomington, USA Till Mossakowski - DFKI Lab Bremen and University of Bremen, D Prakash Panangaden - McGill University, Montreal, Canada Dirk Pattinson - Australian National University, AUS Dusko Pavlovic - Royal Holloway, University of London, UK Daniela Petrisan - University of Leicester, UK John Power - University of Bath, UK Jan Rutten - CWI Amsterdam and Radboud University Nijmegen, NL Lutz Schröder - Friedrich-Alexander Universität Erlangen-Nürnberg, D Monika Seisenberger - Swansea University, UK Sam Staton - University of Cambridge, UK Alexandra Silva - Radboud University Nijmegen and CWI Amsterdam, NL Pawel Sobocinski - University of Southampton, UK Yde Venema - University of Amsterdam, NL Uwe Wolter - University of Bergen, NO -- ORGANISING COMMITTEE -- Bartek Klin (University of Warsaw, Poland) Andrzej Tarlecki (University of Warsaw, Poland) -- LOCATION -- Warsaw, the capital of Poland, is a lively city with many historic monuments and sights, but also with a thriving business district. It is easily accessible via two airports: the main Chopin Airport, used by most international carriers, and the recently open Warsaw Modlin Airport (30 minutes away by rail), used by budget airlines. -- SATELLITE WORKSHOPS -- CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired by Monika Seisenberger (Swansea University). The workshop is dedicated to presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute. Attendance at the workshop is open to all - it is anticipated that many CALCO conference participants will want to attend the CALCO Early Ideas workshop (and vice versa). A workshop dedicated to tools based on algebraic and/or coalgebraic principles, CALCO Tools, will be held alongside the main conference, chaired by Lutz Schröder (Friedrich Alexander Universität Erlangen-Nürnberg). Papers of this workshop will be included in the CALCO proceedings. -- CALCO Early Ideas Overview -- The CALCO Early Ideas Workshop invites submissions on the same topics as the CALCO conference: reporting results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. The list of topics of particular interest is shown on the main CALCO 2013 page. CALCO Early Ideas presentations will be selected according to originality, significance, and general interest, on the basis of submitted 2-page short contributions. It can be work in progress, a summary of work submitted to a conference or workshop elsewhere, or work that in some other way might be interesting to the CALCO audience. A booklet with the accepted short contributions will be available at the workshop. Submissions will be handled via EasyChair https://www.easychair.org/conferences/?conf=calcoearlyideas2013 The use of LNCS style is strongly encouraged. After the workshop, authors will have the opportunity to submit a full 10-15 page paper on the same topic. The reviewing will be carried out by the CALCO Early Ideas PC, with the support of the CALCO PC. The volume of selected papers will be available online. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. http://coalg.org/calco13/workshops.html#ei -- CALCO Early Ideas Dates -- 2-page short contribution submission: May 27, 2013 Notification for short contribution: June 24, 2013 Final short contribution due: July 15, 2013 CALCO Early Idead Workshop: September 2, 2013 10-15 page paper submission: October 15, 2013 Notification for paper: December 15, 2013 Final paper version due: January 15, 2014 -- CALCO Early Ideas Program Committee -- Bartek Klin, University of Warsaw, Poland John Power, University of Bath, UK Monika Seisenberger, Swansea University, UK (chair) -- CALCO-Tools Overview -- CALCO-Tools will take place on the same dates as the main CALCO conference, with no overlap between the technical programmes of the two events. Topics of interest include systems, prototypes, and tools developed specifically for the design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains while making core or interesting use of (co)algebraic techniques. Tool submissions should not exceed 5 pages in LNCS format. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission. Each submission will be evaluated by at least three reviewers; one or more of the reviewers will be asked to download and use the tool. At least one of the authors of each tool paper must attend the conference to demo the tool. http://coalg.org/calco13/workshops.html#tools -- CALCO-Tools Dates -- Paper submission: April 8, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 -- CALCO-Tools Programme Committee -- Einar Broch Johnsen, University of Oslo, Norway Mark Hills, CWI Amsterdam, The Netherlands Barbara König, University of Duisburg-Essen, Germany Dorel Lucanu, Alexandru Ioan Cuza University, Romania Dominik Luecke, CWI Amsterdam, The Netherlands Till Mossakowski, DFKI, Germany Lutz Schröder, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany (chair) Alexandra Silva, Radboud University Nijmegen and CWI Amsterdam, The Netherlands -- FURTHER INFORMATION -- Queries related to submission, reviewing, and programme should be sent to the relevant conference or workshop chairs. Queries related to the organisation should be emailed to calco2013 at mimuw.edu.pl . From R.Mitkov at wlv.ac.uk Mon Feb 25 22:15:26 2013 From: R.Mitkov at wlv.ac.uk (Mitkov, Ruslan) Date: Mon, 25 Feb 2013 21:15:26 +0000 Subject: Professor in Computational Linguistics Message-ID: <9B5794214CA57F4C9EEA165836E2000A78E5C54F@EXCHMBX10I04.unv.wlv.ac.uk> **** Deadline approaching 3 March 2013 **** The Research Institute in Information and Language Processing at University of Wolverhampton seeks to appoint a Professor in Computational Linguistics The University has ambitious plans to develop its research base in areas where significant strength already exists and in some new areas critical to its regional mission. It has continued to invest heavily in building links with business and we believe our research has an important role to play in the economic future and regeneration of the region. We are now making preparations for even more of our research to be recognised as "world-leading". In order to underpin these plans for the future the University wishes to recruit world-class individuals to a number of senior research appointments across key areas of the university's portfolio. We are investing a further £6m in Research posts and £45m in improving our facilities including a new Business School and state-of-the-art science laboratories. We are very keen to hear from outstanding individuals to join us in order to take forward the following area of our research portfolio: Professor in Computational Linguistics (permanent post) - Ref: A5966 Since its inception, the Research Group in Computational Linguistics (http://clg.wlv.ac.uk) has become an international leader in applied natural language processing (NLP) and has been very successful in securing funding from highly competitive sources. This has enabled members of the Group to make important contributions to different areas of NLP and computational linguistics. The results from the Research Assessment Exercise announced in December 2008 confirmed the Research Group in Computational Linguistics as one of the top performers in UK research. The research output of the group has been rated as internationally leading, internationally excellent and internationally recognised. Computational Linguistics was entered in Unit of Assessment "Linguistics" and Wolverhampton was ranked joint 3rd with 2 more universities. According to the league tables of the Guardian, The Times and Research Fortnight, research in Linguistics at the University of Wolverhampton is one of the top 6 best in the UK. The group is seeking to recruit a Professor to contribute to the further development of this area of our activity by producing research that is internationally acknowledged to be of the highest standard, to offer excellent research supervision and teaching in the interdisciplinary areas of natural language processing and computational linguistics and to deliver cutting-edge practical applications (including commercial applications) to the benefit of society based on its research output. The proposed development will underpin our teaching on the prestigious International Erasmus Mundus Master Programme in 'Natural Language Processing and Human Language Technology'. The new professor would come at the right time to support the new and successful Marie Curie ITN FP7-funded project EXPERT where the group will be involved in additional supervision of PhD students and early career researchers. The new professor will have a significant impact on our income generation activities. It is anticipated that an experienced research fellow and PhD student will be appointed in due course to support this post. Deadline for applications: 3rd March 2013 Further information can be obtained from Professor Ruslan Mitkov (R.Mitkov at wlv.ac.uk) Remuneration packages may include research expenses and support posts and PhD Studentships may be available in certain cases. For further details of these appointments and to apply online, go to http://www.wlv.ac.uk/researchappointments Ruslan Mitkov // Prof. Dr. Ruslan Mitkov \\ Professor of Computational Linguistics and Language Engineering // Head of the Research Group in Computational Linguistics \\ Director of the Research Institute for Information and Language Processing // Executive Editor of the Journal Natural Language Engineering (Cambridge University Press) \\ Editor-in-Chief of John Benjamin's book series Natural Language Processing // Editor of the Oxford Handbook of Computational Linguistics (Oxford University Press) \\ University of Wolverhampton // Stafford St. \\ Wolverhampton WV1 1SB // Telephone (office) + 44 1902 322471 \\ Telephone (Prof. Mitkov's PA) +44 1902 321630 // Email r.mitkov at wlv.ac.uk \\ Email Prof. Mitkov's PAs/secretaries: {StephanieKyle at wlv.ac.uk; Sureena.Sohal at wlv.ac.uk; RIILP at wlv.ac.uk} -- Scanned by iCritical. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Emiliano.Lorini at irit.fr Tue Feb 26 10:46:03 2013 From: Emiliano.Lorini at irit.fr (Emiliano Lorini) Date: Tue, 26 Feb 2013 10:46:03 +0100 Subject: ITDAS: Information and Trust Dynamics in AI, 3-5 Aug 2013, Beijing (China) Message-ID: <13e4-512c8480-5-f080720@164347331> WORKSHOP ANNOUNCEMENT International Workshop on Information and Trust Dynamics in Artificial Societies (ITDAS at IJCAI2013) Workshop goal Describing intelligent agents with the help of cognitive and social notions is now well established in the domain of artificial intelligence. In the recent years, concepts such as trust, reputation, delegation, commitment and convention have been proposed in order to describe how artificial agents interact in an artificial society or in a virtual organization. This workshop aims at discussing formal theories and logics of information dynamics?including formal theories and logics of belief and preference change, learning theory, social choice theory and judgement aggregation? in order to better understand: - how information circulates in an artificial society by direct interaction, communication, signaling, etc.; how it affects trust; - how it contributes to the construction of reputation and collective attitudes (e.g., mutual beliefs, social agreements), and to the emergence of conventions. The workshop is an associated event of IJCAI-13 and will take place on August 3-5 2013, Beijing, China. Workshop website: http://www.irit.fr/~Laurent.Perrussel/itdas-13/ Call for Papers This workshop aims at discussing formal theories and logics of information dynamics, including formal theories and logics of belief and preference change, learning theory, social choice theory and judgement aggregation. Its Its scope includes not only the technical aspects of logics, but also multidisciplinary aspects from social sciences (economics, social psychology and sociology), social epistemology and linguistics. By focusing on the foundational issues of (i) information dynamics and (ii) trust representation, the workshop will provide a better understanding of key issues such as: are the belief change techniques relevant for modelling trust dynamics? What is the role of communication in trust's breakdown and repair? How information propagates in a social network or in a multi-agent system? What are the consequences in terms of reputation and trust dynamics? Are existing formal theories of belief change and existing formal theories of learning relevant for modelling the dynamics of conventions? Scope Topics of interest include: Reasoning about trust and reputation Belief change Formal theories of lying and deception Social choice theory Judgement aggregation Reasoning about action and change Trust in virtual organizations Theories of signalling Theories of conventions Learning theory Epistemic game theory Speech act theory Dynamic epistemic logic (DEL) Logics of agency Preference dynamics Theories of delegation Social network theory As shown by the previous topics, the workshop has an multidisciplinary nature, it covers not only research in AI but also research in economics, philosophy of interaction, sociology, social psychology and linguistics. Program Committee Workshop chairs Hans van Ditmarsch LORIA - Univ. of Lorraine (France) Emiliano Lorini IRIT - Univ. de Toulouse (France) Laurent Perrussel IRIT - Univ. de Toulouse (France) PC members Thomas Agotnes (Uni. of Bergen - Norway) Guillaume Aucher (IRISA - Uni. of Rennes - France) Jan Broersen (Utrecht Uni. - The Netherlands) Jim Delgrande (Uni. of Toronto - Canada) Robert Demolombe (IRIT - Uni. of Toulouse - France) Rino Falcone (ISTC - Roma - Italy) Nina Gierasimczuk (Uni. of Amsterdam - The Netherlands) Davide Grossi (Uni. of Liverpool - UK) Andreas Herzig (IRIT - Uni. of Toulouse - France) Wiebe van der Hoek (Uni. of Liverpool - UK) Andrew Jones (King's college London - UK) Barteld Kooi (Uni. of Groningen - The Netherlands) Tiago de Lima (CRIL - Uni. of Artois - France) Fenrong Liu (Tsinghua Uni. - China) Eric Pacuit (Uni. of Maryland - USA) Fabio Paglieri (ISTC - Roma - Italy) Henri Prade (IRIT - Uni. of Toulouse - France) Francesca Rossi (Uni. of Padova - Italy) Jordi Sabater (IIIA-CSIC - Barcelona - Spain) Jeremy Seligman (Auckland Uni. - New Zealand) Carles Sierra (IIIA-CSIC - Barcelona - Spain) Sonja Smets (Uni. of Amsterdam - The Netherlands) Allard Tamminga (Uni. of Groningen - The Netherlands) Michael Tielscher (Uni of New South Wales - Australia) Leon van der Torre (Uni. of Luxembourg - Luxembourg) Nicolas Troquard (ISTC - Trento - Italy) Luca Tummolini (ISTC - Roma - Italy) Rineke Verbrugge (Uni. of Groningen - The Netherlands) Renata Wasserman (Uni. of Sao Paulo - Brazil) Yanjing Wang (Peking Uni. - China) Submission Interested authors should format their papers according to IJCAI formatting guidelines. Submitted papers might be at the time of submission under review or accepted for publication in a journal or another conference. Papers should not exceed 7 pages and are due by April 19, 2013. All papers will be reviewed by at least two reviewers. Papers must be submitted as PDF through the EasyChair conference system: https://www.easychair.org/conferences/?conf=itdasijcai13. The proceedings of ITDAS-13 workshop will be published in an informal on the workshop website. An author of each accepted paper is required to register, attend, and present the paper at ITDAS at IJCAI-13. The Journal of Applied Non-Classical Logic will publish a special issue devoted to extended versions of selected papers. Key dates Submission deadline April 19, 2013 Acceptance notification May 20, 2013 Camera ready June 1st, 2013 Workshop August 3?5, 2013 Sponsorship This workshop will form part of the coordination activities of SINTELNET (http://www.sintelnet.eu/), the European Network for Social intelligence (FP7-286370), within the Working Group co-chaired by Emiliano Lorini. With the the help of SINTELNET, the workshop will welcome Invited speaker. From cic at cs.uns.edu.ar Tue Feb 26 17:37:11 2013 From: cic at cs.uns.edu.ar (=?ISO-8859-1?Q?Carlos_Iv=E1n_Ches=F1evar?=) Date: Wed, 27 Feb 2013 00:37:11 +0800 Subject: Request of dissemination / AT 2013 Conference Message-ID: Dear List administrators, As one of the conference chairs of the AT 2013 Conference, URL: http://www.ia.urjc.es/at2013/ I would like to disseminate the CFP included below. Best wishes and thanks for your help! Carlos.- Subject: 2nd Intl. Conf on Agreement Technologies 2013 - Call for Papers - Beijing, China, Aug. 1-2, 2013. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [ Apologies for multiple cross postings ] ==================================== C A L L F O R P A P E R S (preliminar version) AT 2013 Second International Conference on Agreement Technologies August 1 - 2, 2013 in Beijing, China URL: http://www.ia.urjc.es/at2013/ Paper Deadline (tentative): April 22, 2013 Notification of Acceptance (tentative): May 27, 2013 Camera Ready copy (tentative). June 7, 2013 ==================================== AIMS & SCOPE Agreement Technologies refer to computer systems in which autonomous software agents negotiate with one another, typically on behalf of humans, in order to come to mutually acceptable agreements. An agent may choose whether to fulfil an agreement or not, and it should fulfil it when there is an obligation to do so derived from the standing agreements. Autonomy, interaction, mobility and openness are key concepts studied within the Agreement Technologies approach. Semantic alignment, negotiation, argumentation, virtual organisations, trust and reputation and several other technologies are part of the sandbox to define, specify and verify such systems. The International Conference on Agreement Technologies is an interdisciplinary forum that brings together researchers and practitioners working on the various topics comprising this emergent and vibrant field. It provides an avenue to discuss and exchange new ideas and techniques for the design, implementation and verification of next generation open distributed systems centred on the notion of agreement among computational agents. Following the successful outcome of the first edition of the International Conference on Agreement Technologies (AT 2012) in Dubvrovnik, Croatia last year, we are now organising the Second edition of the event in Beijing, China. AT-2013 will be co-located with IJCAI 2013 at the Beijing International Convention Centre (BICC). IJCAI will commence on August 3rd, right after the end of AT-2013. ====================================== TOPICS OF INTEREST - Argumentation and negotiation - Trust and reputation - Coordination and distributed decision making - Computational social choice - Semantic alignment - Inter-theory relations - Decision and game theoretic foundations for agreement - Agent commitments - Semantic service coordination - Normative systems - Individual reasoning about norm adoption - Collective deliberation about norm adoption - Autonomic Electronic Institutions - Group planning agreements - Deliberative agreement: social choice and collective judgment - Evolution of organisational structures - Social Intelligence - Logics for agreements - Real-time agreements - Agreement patterns - Agreement technologies architectures, environments and methodologies - Applications of agreement technologies (e.g. web service composition, contract automation, supply chain automation, sensor networks, etc.) ====================================== SUBMISSION DETAILS We encourage submission of original papers from the above-mentioned or other related areas. Papers should represent original and previously unpublished work that is currently not under review in any conference or journal. Both basic and applied research papers are welcome. Papers should not exceed 15 pages including references and figures. All submissions must be written in English and formatted according to the Springer LNCS style, which can be obtained from http://www.springer.de/comp/lncs/authors.html. All papers will be reviewed. We are currently analyzing the possibility of publishing a LNCS Proceeding associated with the Conference Proceedings. We also plan a special issue of an ISI ranked Journal for extended versions of high-quality papers describing original, novel research. Further details will be announced soon. Submissions must be done via Easychair; the submission link will be published shortly. ====================================== PROGRAM COMMITTEE Leila Amgoud, Toulouse Institute of Computer Science Research, France Cristiano Castelfranchi, Italian National Research Council - Instititute for Cognitive Sciences and Technologies, Italy Marco Colombetti, University of Lugano, Switzerland Paul Davidsson, Blekinge Institute of Technology, Sweden Ioanna Dionysiou, University of Nicosia, Cyprus Jurgen Dix, Clausthal University of Technology, Germany Maria Ganzha, University of Gdansk, Poland Mirjana Ivanovic, University of Novi Sad, Serbia Gordan Jezic, University of Zagreb, Croatia Vicente Julian, Universitat Politecnica de Valencia Antonios Kakas, University of Cyprus, Cyprus Matthias Klusch, DFKI, Germany Ryszard Kowalczyk, Swinburne University of Technology, Australia Mario Kusek, University of Zagreb, Croatia Lea Kutvonen, University of Helsinki, Finland Christian Lemaitre, Universidad Autonoma Metropolitana, Mexico Merik Meriste, University of Tartu, Estonia John-Jules Meyer, Utrecht University, Netherlands Pavlos Moraitis, Paris Descartes University, France Viorel Negru, West University of Timisoara, Romania Eugenio Oliveira, University of Porto, Portugal Marcin Paprzycki, Polish Academy of Sciences - Systems Research Institute, Poland Marco Schorlemmer, Spanish National Research Council - The Artificial Intelligence Research Institute, Spain Michael Schumacher, University of Applied Sciences Western Switzerland, Switzerland Carles Sierra, Spanish National Research Council - The Artificial Intelligence Research Institute, Spain Kuldar Teveter, Tallinn University of Technology, Estonia Francesca Toni, Imperial College London, UK Denis Trcek, University of Ljubljana, Slovenia Laszlo Varga, Hungarian Academy of Sciences - The Computer and Automation Research Institute, Hungary Harko Verhagen, Dept. of Computer and Systems Sciences, Stockholm University/KTH, Sweden Emil Weydert, University of Luxembourg, Luxembourg %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -- ================================ Dr. Carlos I. Chesñevar Secretario de Investigación y Posgrado Departamento de Cs. e Ing. de la Computación Universidad Nacional del Sur - Bahía Blanca, Argentina Tel. +54-291-459-5135 interno 2603 Email: cic at cs.uns.edu.ar From aldini at sti.uniurb.it Tue Feb 26 18:02:56 2013 From: aldini at sti.uniurb.it (Alessandro Aldini) Date: Tue, 26 Feb 2013 18:02:56 +0100 (CET) Subject: FOSAD 2013 Summer School Message-ID: ================================================ 13TH INTERNATIONAL SCHOOL ON FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN ================================================ FOSAD 2013 http://www.sti.uniurb.it/events/fosad13 2-7 September 2013, Bertinoro, Italy *** in cooperation with *** NESSOS and CryptoForma ** Application Deadline: June 20, 2013 LECTURERS> * Gilles Barthe (IMDEA Software, SP) * Bruno Blanchet (Inria Paris Cedex, FR) * Javier Lopez (University of Malaga, SP) * John Mitchell (Stanford University, US) * Kenny Paterson (Royal Holloway, University of London, UK) * Frank Piessens (Katholieke Universiteit Leuven, BE) * Bogdan Warinschi (University of Bristol, UK) FOSAD has been one of the foremost events established with the goal of disseminating knowledge about foundations of security analysis and design to graduate students and young computer scientists from academia or industry. The 13th edition of FOSAD alternates monographic courses, tool presentations, and special sessions for participants who intend to take advantage of the audience for presenting their current research/tool in the area. Scientific Committee: Martin Abadi Roberto Gorrieri Alessandro Aldini Javier Lopez Gilles Barthe Fabio Martinelli (chair) Eerke Boiten Catherine Meadows Sandro Etalle SCHOOL VENUE> The school is organized at the University Residential Center of Bertinoro (CEUB), Italy (http://www.ceub.it/). The host venue provides accommodation, meeting rooms, and modern conference facilities with computing services and Internet access. SCHOOL DATES> Prospective participants should apply through the FOSAD web page by: June 20, 2013. Notification of accepted applicants will be posted by: June 25, 2013. Registration to the school is due by: July 20, 2013. SCHOOL FEES> The full fee is 900 Euros and covers costs for 7 nights, starting from 1 September, in double room, half board (breakfast and lunch), dinner of 1 September included. A limited amount of grants will be provided to cover part of the fee for young researchers. SCHOOL PARTNERS> FOSAD 2013 is organized in cooperation with the Network of Excellence on Engineering Secure Future Internet Software Services and Systems (NESSoS, http://www.nessos-project.eu) and with the EPSRC CryptoForma network on the application of formal methods to cryptography (http://www.cryptoforma.org.uk). From vfgo at dtu.dk Mon Feb 25 21:45:19 2013 From: vfgo at dtu.dk (Valentin Goranko) Date: Mon, 25 Feb 2013 20:45:19 +0000 Subject: Nordic Spring School in Logic 2013: early registration deadline March 15 Message-ID: NORDIC LOGIC SPRING '2013 ========================= Nordic Spring School in Logic, May 27-31, 2013, Sophus Lie Conference Center, Nordfjordeid, Norway Website: http://www.mn.uio.no/math/english/research/groups/logic/events/springschool -logic2013.html The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The Sophus Lie Conference Center http://www.mn.uio.no/math/english/about/collaboration/nordfjordeid/ is located with a view to one of the famous fjords of Norway, in an area particularly attractive with its nordic exotic nature and bright nights at that time of the year. Nordfjordeid can be reached by plane from Oslo, Bergen, or Trondheim to Sandane airport, or by coach from each of these cities. COURSE PROGRAMME: ------------------------------ The school programme will comprise the following short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields: - Alexandru Baltag and Sonja Smets (University of Amsterdam): Dynamic logics for interactive belief revision - Dag Normann (University of Oslo): The semantics of higher-order algorithms - Erich Graedel (RWTH Aachen): Logics for dependence and independence - Joan Bagaria (ICREA, University of Barcelona): Set theory: an introduction to the world of large cardinals - Katrin Tent (University of Muenster): Model theory: simple and stable theories - Kim Larsen (Aalborg University): Logic and formal verification - Michael Rathjen (University of Leeds): Proof theory: from arithmetic to set theory - Nina Gierasimczuk and Jakub Szymanik (University of Amsterdam): Logic, computability and cognition - Thierry Coquand (University of Gothenburg): Type theory and univalent foundations - Wolfgang Thomas (RWTH Aachen): Logic, automata and games - Øystein Linnebo (University of Oslo and Birkbeck, University of London): Philosophy of logic: The problem of absolute generality The course schedule is posted on the school website. It is divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29. REGISTRATION FOR PARTICIPATION ------------------------------ The registration for the school is open and the online registration link can be accessed from here: http://www.mn.uio.no/math/english/research/groups/logic/events/springschool -logic2013.html The number of participants will be limited, and requests for participations will be accepted in the order of registration until the limit is reached. However, 50 of the available places will be reserved for master and PhD students until the early registration deadline. REGISTRATION DEADLINES: Early registration: MARCH 15, 2013. Late registration: MAY 1, 2013 ACCOMMODATION AND REGISTRATION FEES: The students accommodation will be provided in the conference center, mostly in double rooms. These are located in 9 pavilions with 4 double + 2 single rooms each. Each pavilion has common kitchen and bathroom facilities. The cost of accommodation in a double room with full board in the center, from (arrival) Sunday, March 26 until (latest departure on) Saturday, June 1 is NOK 3490. There are also alternative possibilities for accommodation in hotels or guest houses nearby. The registration fees, covering the scientific programme, conference facilities, refreshments, and the excursion, are as follows: Early Registration: Student fees: NOK 1500. Regular fees: NOK 2000 Late Registration: Student fees: NOK 2000. Regular fees: NOK 2500 SCHOOL ORGANIZATION ------------------------------ Organizing Committee: Dag Normann (University of Oslo, Norway): Chair Elisabeth H. Seland (University of Oslo, Norway): Administrative support Fredrik Engström (University of Gothenburg, Sweden): Website Valentin Goranko (Technical University of Denmark) Scientific Committee: Benedikt Loewe (Universities of Amsterdam and Hamburg) Erik Palmgren (University of Stockholm, Sweden) Juliette Kennedy (University of Helsinki, Finland) Marc Bezem (University of Bergen, Norway) Patrick Blackburn (University of Roskilde, Denmark) Valentin Goranko (Technical University of Denmark), Chair CONTACT AND ENQUIRIES Enquiries on registration and logistics: nord-logic at math.uio.no Enquiries on the scientific programme: NordicLogic at gmail.com