From a.artikis at gmail.com Sun Sep 1 16:03:53 2013 From: a.artikis at gmail.com (Alexander Artikis) Date: Sun, 1 Sep 2013 17:03:53 +0300 Subject: 3rd CFP: ACM ToIT Special Issue on Event Recognition Message-ID: -- Please accept our apologies if you receive multiple postings -- *** Call for Papers *** Special Issue on Event Recognition ACM Transactions on Internet Technology The concept of event processing is established as a generic computational paradigm in various application fields, ranging from data processing in web environments, over logistics and networking, to finance and medicine. Events report on state changes of a system and its environment. Event recognition (event pattern matching), in turn, refers to the detection of the events that are considered relevant for processing, thereby providing the opportunity to implement reactive measures. Consider, for example, the recognition of emerging stories and trends on the Social Web, the recognition of fraud in electronic marketplaces, and the recognition of non-compliant behaviour in norm-governed multi-agent systems. In each scenario, event recognition is of utmost importance to make sense of large data streams and react accordingly. We invite quality submissions focusing on various aspects of event recognition. We welcome both theoretical contributions as well as papers describing interesting applications. Broad topics include: -Event recognition under uncertainty -Event recognition and forecasting -Optimisation techniques for event recognition -Multi-scale temporal aggregation of events -Machine learning for event recognition -Verification of event recognition models -Event-based business process management and modelling -Real-world applications of event recognition systems -Middleware for event recognition -Scalability and high throughput issues -Event recognition in (norm-governed) multi-agent systems Key Dates Submission: 15 October 2013 Notification: 15 January 2014 Revisions: 15 February 2014 Final decision: 15 April 2014 Final submission: 15 May 2014 Publication: 15 October 2014 Submission Instructions http://toit.acm.org/submission.html Guest Editors Alexander Artikis, NCSR Demokritos, Greece http://users.iit.demokritos.gr/~a.artikis/ Avigdor Gal, Technion, Israel http://ie.technion.ac.il/~avigal/ Vana Kalogeraki, Athens University of Economics and Business, Greece http://www.cs.aueb.gr/~vana/ Matthias Weidlich, Technion, Israel http://www.matthiasweidlich.com/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From frank.loebe at informatik.uni-leipzig.de Mon Sep 2 14:47:00 2013 From: frank.loebe at informatik.uni-leipzig.de (frank.loebe at informatik.uni-leipzig.de) Date: Mon, 2 Sep 2013 14:47:00 +0200 Subject: ODLS 2013: Call for Participation, late registration ends Sep 6, 2013 - (Workshop on Ontologies and Data in Life Sciences, Sep 16-17, Koblenz, Germany) Message-ID: <201309021247.r82Cl5h3002731@isun.informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ------------------------------------------------------- Call for Participation >> ODLS 2013 << Sep 16-17, Koblenz, Germany [1] http://tinyurl.com/odls-2013-en (in English) http://tinyurl.com/odls-2013 (in German) Late registration deadline: !! September 6, 2013 !! [2,3] [2] http://www.informatik2013.de/attendance_en.html [3] http://www.conftool.net/informatik2013/ ------------------------------------------------------ Workshop of Ontologies and Data in Life Sciences (ODLS 2013) part of INFORMATIK 2013 [4] Location & Registration ----------------------- ODLS 2013 is part of INFORMATIK 2013 [4], which will take place in Koblenz, Germany, at Campus Koblenz of the University of Koblenz-Landau. INFORMATIK 2013 handles registration [2,3] and the overall local organization, cf. pages on venue [5] and accommodation [6]. Important Dates for Participation --------------------------------- * early registration (July 15, 2013) * late registration September 06, 2013 <-- [approaching] * post and on-site registration September 17, 2013 * workshop September 16-17, 2013 Invited Talk --------------- Udo Hahn, University of Jena: "Ontology-Based Text Analytics" Program ------- Mon, Sep 16, 2013 14:00-15:30 * OPTIMAS-DW, MetaCrop and VANTED: A Case Study for Data Integration, Curation and Visualisation in Life Sciences Christian Colmsee, Tobias Czauderna, Eva Grafahrend-Belau, Anja Hartmann, Matthias Lange, Martin Mascher, Stephan Weise, Uwe Scholz, Falk Schreiber * Towards Biomedical Data Integration for Analyzing the Evolution of Cognition Amrapali Zaveri, Jens Lehmann, Katja Nowick * DICOM metadata as RDF Michael Brunnbauer Mon, Sep 16, 2013 16:00-17:00 * Encapsulated Models for Reasoning and Decision Support Ivana Cace, John-Jules Meyer, Carla Pieterman, Gerlof Valk * Using Life Science Data in SharePoint Michael Erdmann, Daniel Hansch Tue, Sep 17, 2013 09:00-10:30 * Ontology-Based Text Analytics < Keynote > Udo Hahn * How fit is OWL to represent realist ontologies? The semantics of representational units in realist ontologies and the Web Ontology Language Daniel Kless, Ludger Jansen Tue, Sep 17, 2013 11:00-12:30 * BioTopLite: An Upper Level Ontology for the Life Sciences. Evolution, Design and Application Stefan Schulz, Martin Boeker * Representation, Realization, and Ascription of Functions for Material Entities Patryk Burek, Heinrich Herre * Ontological categories for fields and waves Johannes Röhl Tue, Sep 17, 2013 14:00-15:30 * Ontological analysis of controlled vocabularies used in PSI/MSI supported XML standards Daniel Schober, Gerhard Mayer, Annick Moing, Martin Eisenacher, Steffen Neumann * Measuring the Effect of a Guideline-based Training on Ontology Design with a Competency Questions based Evaluation Approach Martin Boeker, Niels Grewe, Johannes Röhl, Daniel Schober, Stefan Schulz, Djamila Seddig-Raufie, Ludger Jansen * < Discussion > Goals of the Workshop --------------------- Medicine, biology and life sciences produce hardly manageable and comprehensible amounts of data, information, and knowledge. Their computer-based processing, integration, as well as their conceptual foundation and application presents ever new challenges to existing methods of knowledge representation, data bases, and data analysis. In the life sciences, enormous data sets are being produced in connection with biological and medical experiments, aiming to unravel biological interconnections for a better understanding in order to offer patients the best possible therapies. Data management and data processing in the life sciences ranges from the best possible integration and usage of distributed, heterogeneous data to the best possible obfuscation of medical data. This workshop integrates workshops of two series: the workshop series "Data in Life Sciences" and "Ontologies in Biomedicine and Life Sciences" (OBML), thereby connecting two important areas of biomedical research. This connection covers the overall spectrum of biomedical information processing, from experimental data acquisition and data management, across analysis, structuring and interpretation of data, up to the development of structures of knowledge in the form of ontologies with their various applications. The workshop pursues the aim to gather scientists that work in these fields in order to exchange ideas, to discuss new results and to inspire collaboration. The workshop has an interdisciplinary character. It fosters the collaboration between ontologists, computer scientists, bio-informaticians, medical information scientists, applied logicians, as well as cooperations with physicians, bio-chemists, and biometricians. Organization ------------ Heinrich Herre, University of Leipzig (contact for ontology) Wolfgang Müller, HITS gGmbH, Heidelberg (contact for data management) Robert Hoehndorf, University of Cambridge, UK Ralf Hofestädt, University of Bielefeld Klaus A. Kuhn, University of Technology Munich Frank Loebe, University of Leipzig Local Organization ------------------ University of Koblenz-Landau INFORMATIK 2013 Conference Secretariat [7] Ruth Ehrenstein Links ----- [1] Workshop website http://tinyurl.com/odls-2013-en (in English) http://tinyurl.com/odls-2013 (in German) [2] http://www.informatik2013.de/attendance_en.html [3] http://www.conftool.net/informatik2013/ [4] http://informatik2013.de [5] http://www.informatik2013.de/venue_en.html [6] http://www.informatik2013.de/accommodation_en.html [7] confsec at uni-koblenz.de From mmontes at math.udel.edu Mon Sep 2 17:26:18 2013 From: mmontes at math.udel.edu (Marco A. Montes de Oca) Date: Mon, 02 Sep 2013 11:26:18 -0400 Subject: GECCO'14: Ant Colony Optimization and Swarm Intelligence track Message-ID: <1378135578.23814.11.camel@Noir> ** Apologies for multiple postings ** *********************************************************************** ** CALL FOR PAPERS ** ** 2014 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO-2014) ** ** ANT COLONY OPTIMIZATION AND SWARM INTELLIGENCE (ACO-SI) TRACK ** ** July 12-16, 2014, Vancouver, BC, Canada ** ** Organized by ACM SIGEVO ** ** http://www.sigevo.org/gecco-2014 ** *********************************************************************** Track Description Swarm Intelligence (SI) is the collective problem-solving behavior of groups of animals or artificial agents that results from the local interactions of the individuals with each other and with their environment. SI systems rely on certain key principles such as decentralization, stigmergy, and self-organization. Since these principles are observed in the organization of social insect colonies and other animal aggregates, such as bird flocks or fish schools, SI systems are typically inspired by these natural systems. The two main application areas of SI have been optimization and robotics. In the first category, Ant Colony Optimization (ACO) and Particle Swarm Optimization (PSO) constitute two of the most popular SI optimization techniques with numerous applications in science and engineering. Other prevailing approaches include Honey Bee Optimization, Bacterial Foraging, Firefly Optimization, as well as approaches based on specialized behaviors of social insect communities. In the second category, SI has been successfully used to control large numbers of robots in a decentralized way, which increases the flexibility, robustness, and fault-tolerance of the resulting systems. Scope The ACO-SI Track welcomes submissions of original and unpublished work in all experimental and theoretical aspects of SI, including (but not limited to) the following areas: * Biological foundations * Modeling and analysis of new approaches * Hybrid schemes with other algorithms * Combinations with local search techniques * Constraint-handling and penalty function approaches * Benchmarking and new empirical results * Parallel/distributed implementations and applications * Large-scale applications * Applications in multi-objective, dynamic, and noisy problems * Applications in continuous and discrete search spaces * Multi-swarm and self-adaptive approaches * Software and high-performance implementations * Theoretical and experimental research in swarm robotics systems Each paper will be rigorously evaluated in a double-blind review process. All accepted papers will be published in the ACM Digital Library. Important Dates: * Abstract submission: January 15, 2014 * Submission of full papers: January 29, 2014 (strict deadline!) * Notification of paper acceptance: March 12, 2014 * Camera ready submission: April 14, 2014 * Conference: July 12-16, 2014 Track Chairs: Dr. Marco A. Montes de Oca (University of Delaware, USA) http://www.math.udel.edu/~mmontes Dr. Konstantinos E. Parsopoulos (University of Ioannina, Greece) http://www.cs.uoi.gr/~kostasp --- From aamas14publicity at gmail.com Wed Sep 4 04:16:49 2013 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Tue, 3 Sep 2013 19:16:49 -0700 Subject: AAMAS-14: 2nd CFP Message-ID: [NEW: Details of the Challenges and Visions Track, with cash prizes.] 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) http://aamas2014.lip6.fr Marriott Rive Gauche Paris, France May 5-9, 2014 Electronic Abstract Submission: October 8, 2013 (11:59 PM HST) Full Paper and Extended Abstract Submission: October 11, 2013 (11:59 PM HST) Rebuttal Phase: November 29 - December 2, 2013 (11:59 PM HST) Author Notification: December 20, 2013 AAMAS-14 encourages the submission of theoretical, experimental, methodological, and applications papers. Theory papers should make clear the significance and relevance of their results to the AAMAS community. Similarly, applied papers should make clear both their scientific and technical contributions, and are expected to demonstrate a thorough evaluation of their strengths and weaknesses in practice. It is strongly encouraged that papers focusing on specific agent capabilities do so in the context of autonomous agent architectures or multiagent systems. A thorough evaluation, conducted from a theoretical or applied basis, is considered an essential component of any submission. Authors are also requested to pay particular attention to discuss how their work relates to the state of the art in autonomous agents and multiagent systems research as evidenced in, for example, previous AAMAS and related conferences. All submissions will be rigorously peer reviewed and evaluated on the basis of the quality of their technical contribution, originality, soundness, significance, presentation, understanding of the state of the art, and overall quality. AAMAS 2014, the thirteenth conference in the AAMAS series, seeks high-quality submissions of full papers, limited to 8 pages in length. Reviews will be double blind; authors must avoid including anything that can be used to identify them. Please note that submitting an abstract is required to submit a full paper. However, the abstracts will not be reviewed and full (8 page) papers must be submitted for the review process to begin. All work must be original, i.e., it must not have appeared in a conference proceedings, book, or journal and may not be under review at another archival conference. In addition to submissions in the main track, AAMAS 2014 will be soliciting papers in four special tracks. The review process for the special tracks will be similar to the main track, but with program committee members specially selected for that track. All accepted papers for the special tracks will be included in the proceedings. AAMAS 2014 will feature the following four special tracks: Robotics (Chairs: Noa Agmon, Luiz Chaimowicz) Papers that advance theory and applications of single and multiple robots are welcome, specifically those focusing on real robots that interact with their environment. Papers should clearly explain how the work addresses challenges in robotics, opportunities for novel applications, and fundamental research issues in autonomous robotic systems. The goal is to demonstrate the synergy achieved from integration of research in agents and robotics. Virtual Agents (Chairs: Elisabeth Andre', Sarit Kraus) Virtual agents are embodied agents that emulate autonomous human-like behavior in simulated interactive or physical environments. We encourage papers on the design, implementation, and evaluation of virtual agents as well as challenging applications featuring them. Of particular interest are papers addressing how humans interact with virtual agents. The goal is to provide an opportunity for continued interaction and cross-fertilization between the AAMAS community and researchers working on virtual agents and to strengthen links between the two communities. Innovative Applications (Chairs: Tom Holvoet, Rajiv Maheswaran) Due to the growing maturity of the field there are now agent-based applications in widespread use across many domains, responsible for the generation of significant revenues, or the saving of major costs, or for supporting important public policy and business strategy decision-making. This special track provides the ideal forum to present, discuss and demonstrate your compelling applications, agent system deployment experiences, and new business ideas. The goal is to promote the fostering of mutually-beneficial relationships between those doing foundational scientific research and those making autonomous agents and multiagent systems a commercial or public policy reality. Challenges and Visions (Chair: Munindar P Singh) In cooperation with the Computing Community Consortium (CCC), AAMAS 2014 will include a Challenges and Visions track. The emphasis of this track is on visionary ideas, long term challenges, and new research opportunities that are outside the current mainstream of the field. This track is designed to overcome the constraints of the traditional review process, and will serve as an incubator for innovative approaches, risky and provocative ideas, and to propose challenges and opportunities for the field in the near future. To encourage researchers to present visionary concepts, the CCC is offering prizes for up to 3 top papers in this special track: first prize $1000, second prize $750, and third prize $500, to be awarded as travel grants. All AAMAS formatting requirements apply except that submissions for this track are limited to 4 pages. The full call for papers, along with descriptions of the special tracks and all topics of interest, can be found at: http://aamas2014.lip6.fr/call-for-papers.php -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : AAMAScfp2014.pdf Dateityp : application/pdf Dateigröße : 82142 bytes Beschreibung: nicht verfügbar URL : From t.balke at surrey.ac.uk Thu Sep 5 00:53:23 2013 From: t.balke at surrey.ac.uk (t.balke at surrey.ac.uk) Date: Wed, 4 Sep 2013 23:53:23 +0100 Subject: Extended Deadline: AI/PRIMA 2013, Doctoral Consortium - Call for Participation Message-ID: <44027775-C0CC-4B89-938B-E67D7B925D6B@surrey.ac.uk> AI/PRIMA 2013, Doctoral Consortium - Call for Participation In 2013, the Australasian Joint Conference on Artificial Intelligence (run jointly with the International Conference on Principles and Practice of Multi-Agent Systems) will introduce a doctoral doctoral mentoring consortium, intended for PhD students in advanced stages of their research. The aim is to provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. Specifically, the goals of the program are: ● To match each student with an established researcher in the community (who will act as a mentor). The mentor will interact closely with the student, will provide feedback on research, help form new contacts, etc. ● To allow students an opportunity to present their work to a friendly audience of other students as well as mentors. ● To provide students with insights, contact and opportunities for their future career. ● To foster interactions with mentors and other mentees. Applications In order to participate in the doctoral consortium, students are requested to submit 2 documents. (1) a 4 page abstract (using the same AI 2013 paper submission format) describing their research. (2) a separate document (maximum two pages) containing the following information: 1 Country of study 2 Area of study (1-3 keywords) 3 Expected time until graduation 4 A brief CV 5 A signed letter of support from their advisor. These documents should be submitted electronically via Easychair: https://www.easychair.org/conferences/?conf=ai2013dc. In this submission system, please submit your two-page abstract under "Paper" and the other document as a single PDF under "Attachment". Successful applicants will be required to give a 3 minute thesis style presentation and present a poster where questions from other participants may be discussed. There will be a $50 iTunes voucher for the best 3 minute presentation as judged by the audience. Follow this link for more on the 3 minute thesis - http://www.uq.edu.au/grad-school/three-minute-thesis Important dates Submissions due: September 30 Acceptance Notification: October 14 Date of consortium: December 2 Chair - Dr. John Thangarajah, RMIT University, johnt at rmit.edu.au -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From clu at informatik.uni-bremen.de Thu Sep 5 12:20:59 2013 From: clu at informatik.uni-bremen.de (Carsten Lutz) Date: Thu, 05 Sep 2013 12:20:59 +0200 Subject: Jahrestagung der GI-Fachgruppe "Logik in der Informatik", November 2013 Message-ID: <52285B0B.9020207@informatik.uni-bremen.de> ========================================================================== 20. Jahrestreffen "Logik in der Informatik" 2013 Bremen, 8.-9. November 2013 http://www.informatik.uni-bremen.de/tdki/events/loginf2013 ========================================================================== ENGLISH VERSION BELOW ========================================================================== Liebe Freunde und Kollegen, wir laden Sie herzlich zur 20. Jahrestagung der Fachgruppe "Logik in der Informatik" der Gesellschaft für Informatik (GI) ein. Die Tagung findet am 8. und 9. November 2013 (vorauss. Freitag Mittag bis Samstag Mittag) an der Universität Bremen statt. Die folgenden Sprecher haben einen eingeladenen Vortrag zugesagt: - Christel Baier, TU Dresden - Manuel Bodirsky, LIX Palaiseau - TBA Wir planen ein informelles Essen für den Abend des 8. November. Anmeldung (kostenlos) --------------------- bitte bis 13. Oktober per E-Mail an Thomas Schneider: tschneider at informatik.uni-bremen.de Bitte teilen Sie uns auch mit, ob Sie am Abendessen (nicht kostenlos) teilnehmen möchten. Vorträge -------- aus allen Gebieten der Logik in der Informatik und ihren Anwendungen sind herzlich willkommen. Bitte schicken Sie uns eine E-Mail mit Titel und Abstract bis 13. Oktober: tschneider at informatik.uni-bremen.de Es wird keinen Tagungsband geben. Weitere Informationen --------------------- Für weitere Informationen (Unterkunft etc.), siehe http://www.informatik.uni-bremen.de/tdki/events/loginf2013 oder kontaktieren Sie einen der Organisatoren: clu, goeller, tschneider at informatik.uni-bremen.de Wir freuen uns auf Ihr Kommen! Carsten Lutz Stefan Göller Thomas Schneider Sponsoren ---------- Wir danken den Sponsoren für ihre Unterstützung. * Fachbereich "Grundlagen der Informatik" der GI * Forschungsbereich "Cyber-Physical Systems" des DFKI * SFB/TR 8 "Spatial Cognition" ========================================================================== Dear friends and colleagues, we cordially invite you to join the 20th annual meeting of the working group "Logic in Computer Science" of the "Society for Computer Science". The meeting will be held at the University of Bremen on November 8 and 9, 2013 (presumably from Friday noon to Saturday noon). The following speakers have confirmed to give an invited talk: - Christel Baier, TU Dresden - Manuel Bodirsky, LIX Palaiseau - TBA We plan to have an informal dinner the night of November 8. Registration (free of charge) ----------------------------- Please send an email to Thomas Schneider by October 13: tschneider at informatik.uni-bremen.de Please let us know whether you intend to join the dinner (at your own expense). Presentations ------------- from all areas of logic in computer science and its applicates are welcome. Please send us an email with title and abstract by October 13: tschneider at informatik.uni-bremen.de There will be no proceedings. Further information ------------------- For further information (accommodation etc.), see http://www.informatik.uni-bremen.de/tdki/events/loginf2013 or contact one of the organizers: clu, goeller, tschneider at informatik.uni-bremen.de We look forward to seeing you all! Carsten Lutz Stefan Göller Thomas Schneider Sponsors -------- We thank the following sponsorts for their support: * Department Foundations of the Computer Science Society (GI) * Cyber-Physical Systems group of the German Research Center for Artificial Intelligence (DFKI) * SFB/TR8 "Spatial Cognition" -- * Carsten Lutz, FB Mathematik und Informatik, Universitaet Bremen * * Phone ++49 421 21864431 mailto:clu at uni-bremen.de * From universal.logic at unine.ch Thu Sep 5 14:07:33 2013 From: universal.logic at unine.ch (universal logic) Date: Thu, 5 Sep 2013 12:07:33 +0000 Subject: Paraconsistency Kolkata 2014 / Extended Deadline is Sept 15 In-Reply-To: <011E451E66F47F4890878A246663E0EF714D6426@mail-mbx-01.UNINE.CH> References: <011E451E66F47F4890878A246663E0EF714D6426@mail-mbx-01.UNINE.CH> Message-ID: <011E451E66F47F4890878A246663E0EF714D8446@mail-mbx-01.UNINE.CH> 5th World Congress on Paraconsistency February 13-17, 2014, Kolkata, India http://www.paraconsistency.org/ Invited speakers: Newton da Costa, Graham Priest, Hartry Field, Walter Carnielli Jean-Yves Beziau, Christian de Ronde, Itala D'Ottaviano, Soma Dutta Chris Heunen, Didier Dubois, JC Beall, Marek Nasieniewski, Bryson Brown, Andrzej Pietruszczak, Diderik Batens, Greg Restall, All talks related to paraconsistent logic are welcome. Extended deadline for submitting an abstract: September 15, 2013. From hastings at ebi.ac.uk Fri Sep 6 15:28:17 2013 From: hastings at ebi.ac.uk (Janna Hastings) Date: Fri, 6 Sep 2013 14:28:17 +0100 Subject: FOIS 2014: Call for Workshop Proposals, due 1 December Message-ID: <023301ceab04$f26bc110$d7434330$@ebi.ac.uk> CALL FOR WORKSHOP PROPOSALS 8th International Conference on Formal Ontology in Information Systems (FOIS 2014) September 22-25, 2014, Rio de Janeiro, Brazil http://fois2014.inf.ufes.br/p/home.html Email: fois2014 at gmail.com Relevant dates 1 December 2013: Workshop proposal submission deadline 15 January 2014: Notification of acceptance of workshop proposals 22 May 2014: Recommended workshop paper submission deadline (after FOIS notification deadline) 22 September 2014: FOIS Workshops 23-25 September 2014: FOIS main conference CALL FOR WORKSHOP PROPOSALS Workshops at FOIS are scientific events that are independently organized by the workshop organizers. The workshop organizers will be responsible for advertising the workshop and reviewing and selecting the contributions. Workshops can be events that provide a forum for the discussion of topics that may complement the main conference or focus on specialized sub-topics related to formal ontology and its application in information systems. We specifically invite proposals for workshops organized by IAOA Special Interest Groups and Technical Committees. ------------------------------ TOPICS OF INTEREST ------------------------------ Areas of interest to the conference include the following: - Specific Foundational Issues in Formal Ontology - Ontology Evaluation - Specific Issues in Ontology Methodologies - Scientific applications - Relations between Formal Ontology and the Semantic Web - Visualization and accessibility - Ontology Repositories A full list of topics can be found on the conference website: http://fois2014.inf.ufes.br/p/call-for-papers.html SUBMISSION Workshop proposals should be no more than 2 pages in length, and must contain the following information: - title of the workshop - names of the workshop organizers - brief description of experience in workshop organization - description of the workshop topic - brief statement on the relation and relevance of the workshop to FOIS - intended duration of the workshop (half-day, full-day) - timeline for the workshop (submission dates, notification dates) Please consider the notification date of FOIS and the proposed Workshop Submission Deadline. - plans for publishing workshop proceedings Workshop proposals should be submitted to the FOIS Workshop Track through Easychair: https://www.easychair.org/conferences/?conf=fois2014 EVALUATION Submissions for workshop proposals will be evaluated by members of the FOIS organizing and program committee, using the following criteria: - Relevance and utility to attendees - Quality of the proposal - Likelihood of success of the workshop - Complementarity with FOIS and overlap with other workshop WORKSHOP PROCEEDINGS The proceedings of the FOIS workshops are usually published on-line by the respective organizers and are not included in the main conference proceeding volume published by IOS Press. CONFERENCE ORGANIZATION General Chair: Laure Vieu (CNRS, France) Program Chairs: Pawel Garbacz (Catholic University of Lublin, Poland) Oliver Kutz (University of Bremen, Germany) Local Organization: Giancarlo Guizzardi (Federal University of Espirito Santo Brazil) Renato Rocha Souza (FGV, Brazil) Workshops: Robert Hoehndorf (University of Cambridge, UK) Ontology Competition: Till Mossakowski (DFKI Bremen and University of Bremen, Germany) Early Career Symposium: Marion Haemmerli (University of Lausanne, Switzerland) Torsten Hahmann (University of Toronto, Canada) Claudio Masolo (ISTC-CNR, Italy) Publicity: Janna Hastings (European Bioinformatics Institute, UK) Fernanda Baiao (Federal University of the State of Rio de Janeiro, Brazil) ---------------------------------------------------------------------------- ---------------------------------- Janna Hastings Email: hastings at ebi.ac.uk | Tel: +44 (0)1223 494411 | Fax: +44 (0)1223 494468 Twitter: @jannahastings | Web: www.ebi.ac.uk/~hastings | Blog: www.bioontology.ch Coordinator, Cheminformatics and Metabolism, European Bioinformatics Institute ---------------------------------------------------------------------------- ---------------------------------- Visit ChEBI at www.ebi.ac.uk/chebi -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From miguel.nicolau at ucd.ie Fri Sep 6 19:34:35 2013 From: miguel.nicolau at ucd.ie (Miguel Nicolau) Date: Fri, 6 Sep 2013 18:34:35 +0100 Subject: EuroGP 2014: Second CFP Message-ID: (apologies for cross-posting) ***************************************************************************** EuroGP 2014, 17th European Conference on Genetic Programming 23-25 April 2014, Baeza, Spain www.evostar.org SECOND CALL FOR PAPERS ***************************************************************************** (CFP download: www.evostar.org/flyer/EuroGP2014Flyer.pdf) SUBMISSION DEADLINE: 1 November 2013 EuroGP is the premier annual conference on Genetic Programming, attracting participants from all over the world. High quality papers describing new original research are sought on topics strongly related to the evolution of computer programs, ranging from theoretical work to innovative applications. Topics include but are not limited to: * Innovative applications of GP * Theoretical developments * GP performance and behaviour * Fitness landscape analysis of GP * Algorithms, representations and operators * Real-world applications * Evolutionary design * Evolutionary robotics * Tree-based GP and Linear GP * Graph-based GP and Grammar-based GP * Evolvable hardware * Self-reproducing programs * Multi-population GP * Multi-objective GP * Fast/Parallel GP * Probabilistic GP * Evolution of automata or machine * Software Engineering and GP * Object-oriented GP * Hybrid architectures including GP * Coevolution in GP * Modularity in GP * Semantics in GP * Unconventional evolvable computation * Automatic software maintenance * Evolutionary inductive programming In 2013, the EuroGP acceptance rate was 49% (38% for oral presentations). Accepted papers will be included in the proceedings published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series. The papers which receive the best reviews will be nominated for the Best Paper Award. EuroGP 2014 will be co-located within the EvoStar event with four related conferences: EvoBIO, EvoCOP, EvoMUSART, and EvoApplications. Website: www.evostar.org/cfpEuroGP.html Facebook: fb.com/evostarconf Twitter: twitter.com/Evostar2014 LinkedIn: www.linkedin.com/groups/EVOstar-1908983 EuroGP programme chairs Miguel Nicolau, University College Dublin, Ireland Krzysztof Krawiec, Poznan University of Technology, Poland -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sat Sep 7 19:19:06 2013 From: grlmc at urv.cat (GRLMC) Date: Sat, 7 Sep 2013 19:19:06 +0200 Subject: TPNC 2013: call for posters Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* The 2nd International Conference on the Theory and Practice of Natural Computing (TPNC 2013) invites authors to submit poster presentations. TPNC 2013 will be held in Cáceres (Spain) on 3-5 December, 2013. See http://grammars.grlmc.com/tpnc2013/ Poster presentations are intended to enhance informal interactions with the conference participants, at the same time permitting in-depth discussion. TOPICS Authors are encouraged to submit presentations that discuss novel work in progress on: - nature-inspired models of computation, - synthesis of nature by means of computation, - nature-inspired materials, - information processing in nature, - applications of natural computing. Posters do not need to present final research results. Work that may lead to new interesting developments is welcome. KEY DATES Submission deadline: October 20, 2013 Notification of poster acceptance or rejection: October 27, 2013 SUBMISSION Please submit a .pdf abstract through: https://www.easychair.org/conferences/?conf=tpnc2013 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 8 minutes each in the programme for oral presentation. Moreover, they will remain hanging during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS proceedings volume of TPNC 2013. However, they will be eligible for submission to the post-conference Soft Computing journal special issue. REGISTRATION Authors of accepted posters have to register to the conference. Their registration fare is reduced: 150 Euro (appr. one third of the fare for PhD students). From laurent.perrussel at univ-tlse1.fr Mon Sep 9 07:47:46 2013 From: laurent.perrussel at univ-tlse1.fr (Laurent Perrussel) Date: Mon, 09 Sep 2013 07:47:46 +0200 Subject: Second Call for Papers for the 11th European Workshop on Multi-Agent Systems (EUMAS-2013) + LAMAS special session Message-ID: <522D6102.5030103@univ-tlse1.fr> Second Call for papers EUMAS-2013 11th European Workshop on Multi-Agent Systems 12-13 December 2013, Toulouse, France http://www.irit.fr/EUMAS2013/ In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. Following in the tradition of past EUMAS (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006, Hammamet 2007, Bath 2008, Agia Napa 2009, Paris 2010, Mastricht 2011, Dublin 2012), the aim of this Eleventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment. The scope of the event is defined as the scope of the International Journal on Autonomous Agents & Multi-agent Systems (JAAMAS), the International Conference on Autonomous Agents & Multi-agent Systems (AAMAS), and the European Association for Multiagent Systems (EURAMAS). TOPICS OF INTEREST Topics include but are not limited to: Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence Applications, Argumentation, Autonomy, Bio-inspired Approaches to Agents and Multi-Agent Systems, Cognitive Models, Collective and Swarm Intelligence, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, E-*Applications, Economic Models, Emergence, Emotion, Formal Models, Game Theoretic Models, Grid Computing, Logics for Multi-Agent Systems, Methodologies, Negotiation, Organisations and Institutions, Proactivity and Reactivity, Protocols, Robotics, Self-organisation, Semantic Web Agents, Agent-based Service Oriented Computing, Socio-technical Systems, Agent-oriented Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing, Verification, Virtual Agents. SPECIAL SESSION OF LAMAS (LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS) The sixth LAMAS workshop (Logical Aspects of Multi-Agent Systems) will be colocated with EUMAS-2013, as a special session. (See http://icr.uni.lu/lamas2012/cfp.html for the previous edition of the LAMAS workshop). The submission of papers to the LAMAS special session is subject to the same requirements as the submission of papers to the EUMAS-2013 normal track. Topics of interest for the LAMAS special session include but are not limited to: - Logical systems for specification, analysis, and reasoning about MAS,- Modeling MAS with logic-based models, - Deductive systems and decision procedures for logics for MAS, - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS, - Logic-based tools for MAS, - Applications of logics in MAS. SUBMISSION, CEUR PROCEEDINGS AND POST-PROCEEDINGS VOLUME EUMAS-2013 welcomes both unpublished papers and papers that are under submission or have been published in a relevant conference, workshop or journal. We specially invite submissions by students that we think will receive valuable feedback from the the discussion-orientedfocus of the workshop. Preliminary student work is welcome; however it has to possess sufficient substance for serving as a discussion basis and therefore has to pass the review cycle in the same way as other work. All submissions should be formatted using Springer LNCS style which is available at http://www.springer.de/comp/lncs/authors.html. EUMAS-2013 solicits papers in two categories: - Full research papers of 8 to 14 pages. - Extended abstracts of 2 to 4 pages reporting an interesting work in progress or providing system descriptions. We request the submission of title and abstract prior the paper submission for supporting the tight schedule of reviewing. The authors can submit their abstracts and papers through the EUMAS 2013 Easychair submission site: https://www.easychair.org/conferences/?conf=eumas2013 Full papers accepted at EUMAS-2013 that are not under submission and have not been previously published in a different conference, workshop or journal will be included in the CEUR workshop proceedings. A post-proceedings volume published by Springer in the LNCS/LNAI series is planned based on revised and extended versions of selected papers presented at EUMAS-2013. IMPORTANT DATES Abstract submission deadline: October 14, 2013 Paper submission deadline: October 18, 2013 Notification of acceptance: November 12, 2013 Camera-ready submission: November 29, 2013 EUMAS 2013 workshop: December 12-13, 2013 INVITED SPEAKERS Mehdi Dastani, Utrecht university Andrew Jones, King's College London OFFICIALS PC chair Emiliano Lorini, IRIT-CNRS, France Program committee Thomas Ågotnes, University of Bergen, Norway Natasha Alechina, University of Nottingham, UK Frédéric Amblard, IRIT, Toulouse University, France Leila Amgoud, IRIT-CNRS, France Bernhard Bauer, University of Augsburg, Germany Guido Boella, University of Torino, Italy Olivier Boissier, ENS Mines Saint-Etienne, France Elise Bonzon, LIPADE - Université Paris Descartes, France Vicent Botti, DSIC, Spain Nils Bulling, Clausthal University of Technology, Germany Didac Busquets, University of Girona, Spain Cristiano Castelfranchi, Institute of Cognitive Sciences and Technologies, CNR, Italy Amit Chopra, Lancaster University, UK Mehdi Dastani, Utrecht University, The Netherlands Paul Davidsson, Malmö University, Sweden Jürgen Dix, Clausthal University of Technology, Germany Barbara Dunin-Keplicz, Institute of Informatics, Warsaw University, Poland Rino Falcone, Institute of Cognitive Sciences and Technologies, CNR, Italy Nicola Gatti, Politecnico di Milano, Italy Marie-Pierre Gleizes, IRIT, Toulouse University, France Valentin Goranko, Technical University of Denmark Davide Grossi, University of Liverpool, UK Koen Hindriks, Delft University of Technology, The Netherlands Wiebe van der Hoek, University of Liverpool, UK Andrew Jones, King's College London, UK Tomas Klos, TU Delft, The Netherlands Jérôme Lang, LAMSADE, Université Paris-Dauphine, France João Leite, CENTRIA, Universidade Nova de Lisboa, Portugal Tiago De Lima, University of Artois, France Brian Logan, University of Nottingham, UK Felipe Meneguzzi, PUCRS, Brazil John-Jules Meyer, Utrecht University, The Netherlands Simon Miles, King's College London, UK Pavlos Moraitis, LIPADE, France Pablo Noriega, IIIA-CSIC, Spain Emma Norling, Centre for Policy Modelling, UK Eugenio Oliveira, Faculdade de Engenharia Universidade do Porto – LIACC, Portugal Andrea Omicini, University of Bologna, Italy Nir Oren, University of Aberdeen, UK Sascha Ossowski, University Rey Juan Carlos, Spain Mario Paolucci, Institute of Cognitive Sciences and Technologies, CNR, Italy Wojciech Penczek, IPI PAN and University of Podlasie, Poland Laurent Perrussel, IRIT, Toulouse University, France Jeremy Pitt, Imperial College London, UK Alessandro Ricci, University of Bologna, Italy Regis Riveret, Imperial College London, UK Juan A. Rodríguez-Aguilar, IIIA-CSIC, Spain Antonino Rotolo, University of Bologna, Italy Jordi Sabater, IIIA-CSIC, Spain Nicolas Sabouret, LIMSI-CNRS, France Carles Sierra, IIIA-CSIC, Spain Leon van der Torre, University of Luxembourg Nicolas Troquard, Institute of Cognitive Sciences and Technologies, CNR, Italy Luca Tummolini, Institute of Cognitive Sciences and Technologies, CNR, Italy Paolo Turrini, Imperial College London, UK Wamberto Vasconcelos, University of Aberdeen, UK Rineke Verbrugge, University of Groningen, The Netherlands Laurent Vercouter, LITIS lab, INSA de Rouen, France Serena Villata, INRIA Sophia Antipolis, France Marina de Vos, University of Bath, UK Danny Weyns, Linnaeus University, Sweden Mike Wooldridge, University of Oxford, UK Organizing committee Florence Dupin de Saint-Cyr, IRIT, Toulouse University, France (co-chair) Valérie Camps, IRIT, Toulouse University, France (co-chair) From laszlo at science.upm.ro Tue Sep 10 11:38:28 2013 From: laszlo at science.upm.ro (laszlo at science.upm.ro) Date: Tue, 10 Sep 2013 12:38:28 +0300 Subject: Call for papers: From Natural Computing to Self-organizing Intelligent Complex Systems Message-ID: <20130910123828.11705p0s6riozyc4@webmail.upm.ro> ********************* CALL FOR PAPERS ********************* SUBMISSION DUE DATE: 1 November 2013 SPECIAL ISSUE ON: From Natural Computing to Self?organizing Intelligent Complex Systems Journal of Information Technology Research (JITR) http://www.igi?global.com/journal/journal?information?technology?research?jitr/1100 Guest Editor: Barna László Iantovics, Petru Maior University, Romania Constantin?B?l? Zamfirescu, Lucian Blaga University, Romania Kenneth Revett,The British University, Cairo, Egypt Adrian Gligor, Petru Maior University, Romania INTRODUCTION: Recently a large number of bio?inspired computational methods have been used (also called methods of Natural Computing) to solve computationally hard problems in many domains. These methods have proven to be successful for different types of problems with unknown and uncertain data where the traditional approaches are not so effective. It is estimated that the biological lifethat evolved during millions of years will be a fruitful source of inspiration for the development of newcomputational methods offer in the years to come and they will represent an important researchdirection in the Artificial Intelligence mainstream. OBJECTIVE OF THE SPECIAL ISSUE: From a practical perspective, an essential research direction is represented by the development ofhighly complex systems (usually agent?based) that intelligently solve problems of very high difficulty. Weconsider complex systems composed from a large number of components (agents) capable to makespecialized computations in the problem space. Such developments are usually composed of a very largenumber of computational components, who interact many times nonlinearly, forming as a whole a complex problem solving system. A subclass of complex systems includes the hybrid systems composed from different type of artificial components capable to make computations, and humanspecialists that could interact in different points of decisions during the problems solving. Researchrelated to complex systems address analysis of many aspects such as complexity, self?organization, emergence, intelligence, hybridization and so forth. Many computational complex systems developmentsrequire interdisciplinary approaches, which must include methods developed in different sciences, like sub?domains of the Artificial Intelligence like Natural Computing and Intelligent Agents. A particular subject by interest for this issue is represented by the self?organizing complex systems that use methods of natural computing in different tasks, like: problems solving, self? organizationetc. This issue will centralize some state of the art results in the theme, which we estimate that will remainan important research direction in the near future. RECOMMENDED TOPICS: Topics to be discussed in this special issue include (but are not limited to) the following: ? artificial intelligence ? large?scale and complex systems ? hybrid complex systems ? intelligent systems ? natural computing ? evolutionary systems ? complex systems? modeling ? agents and multi?agent systems ? complex networks ? difficult problem for a human specialist ? difficult problem for a computational system ? complex systems specialized in difficult problems solving ? decision support systems ? problem solving method used by a complex system ? problems that could be solved by a complex system ? large?scale cooperative agent?based systems ? self?organizing system SUBMISSION PROCEDURE: Researchers and practitioners are invited to submit papers for this special theme issue on From NaturalComputing to Self?organizing Intelligent Complex Systems on or before 12 July 2013 . All submissions mustbe original and may not be under review by another publication. INTERESTED AUTHORS SHOULD CONSULTTHE JOURNAL?S GUIDELINES FOR MANUSCRIPT SUBMISSIONS athttp://www.igi?global.com/Files/AuthorEditor/guidelinessubmission.pdf. All submitted papers will bereviewed on a double?blind, peer review basis. Papers must follow APA style for reference citations. Journal of Information Technology Research (JITR) is an official publication of the Information Resources Management Association http://www.igi?global.com/journal/journal?information? technology?research?jitr/1100 Editor?in?Chief: Mehdi Khosrow?Pour Published: Quarterly (both in Print and Electronic form) PUBLISHER: The Journal of Information Technology Research is published by IGI Global (formerly Idea Group Inc.),publisher of the ?Information Science Reference? (formerly Idea Group Reference), ?MedicalInformation Science Reference?, ?Business Science Reference?, and ?Engineering Science Reference?imprints. For additional information regarding the publisher, please visit www.igi?global.com. All submissions should be should be directed to the attention of one of the guest editors: GuestEditors Journal of Information Technology Research (JITR) Barna László Iantovics, E?mail: laszlo?@?science?[?.?]?upm ?[?.?]?ro Constantin?B?l? Zamfirescu, E?mail: zbc?@?acm ?[?.?]?org KennethRevett, E?mail: ken.revett?@?bue?[?.?]?edu ?[?.?]?eg Adrian Gligor, E?mail:adrian?[?.?]?gligor?@?ing ?[?.?]?upm ?[?.?]?ro From A.Silva at science.ru.nl Tue Sep 10 18:13:22 2013 From: A.Silva at science.ru.nl (Alexandra Silva) Date: Tue, 10 Sep 2013 18:13:22 +0200 Subject: CMCS 2014: First call for papers Message-ID: <20130910161322.GA13387@lilo3.science.ru.nl> Call for Papers 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS'14) 5 - 6 April 2014, Grenoble, France http://www.coalg.org/cmcs14 Objectives and scope ------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest include, but are not limited to, the following: - The theory of coalgebras (including set theoretic and categorical approaches) - Coalgebras as computational and semantical models (for programming languages, dynamical systems, term rewriting, etc.) - Coalgebras in (functional, object-oriented, concurrent, and constraint) programming - Model checking, theorem proving and deductive verification using coalgebraic techniques - Coalgebraic data types, type systems and behavioural typing - Proof principles and (coinductive) definitions for coalgebras (e.g. with bisimulations or invariants) - Coalgebras and algebras - Coalgebraic specification and verification - Coalgebras and (modal) logic - Coalgebra and control theory (notably of discrete event and hybrid systems) - Coalgebra in quantum computing - Coalgebra and game theory - Tools exploiting colgebraic techniques Venue and event --------------- CMCS’14 will be held in Grenoble, France, co-located with ETAPS 2014 on 5 - 6 April 2014. Important dates --------------- Abstract regular papers 6 January 2014 Submission regular papers 10 January 2014 (strict) Notification regular papers 14 February 2014 Camera-ready copy 21 February 2014 Submission short contributions 23 February 2014 (strict) Notification short contributions 9 March 2014 Invited speakers ---------------- Ichiro Hasuo, University of Tokyo, JP Marina Lenisa, University of Udine, IT Programme committee ------------------- Andreas Abel, Ludwig-Maximilians-University Munich, DE Davide Ancona, University of Genova, IT Adriana Balan, University Politehnica of Bucharest, RO Marta Bilkova, Charles University, CZ Filippo Bonchi, LIP ENS-Lyon, FR Marcello Bonsangue (chair), Leiden University, NL Joerg Endrullis, Free University of Amsterdam, NL Remy Haemmerle, University Politecnica de Madrid, SP Bart Jacobs, Radboud University Nijmegen, NL† Dexter Kozen, Cornell University, US Bartek Klin, University of Warsaw, PL Pierre Lescanne, ENS Lyon, FR Stefan Milius, University of Erlangen-Nurenberg, DE Rob Myers, Technical University of Braunschweig, DE Dirk Pattinson, Australian National University, AU Daniela Petrisan, University of Leicester, UK Grigore Rosu, University of Illinois at Urbana-Champaign, US Katsuhiko Sano, JAIST, Nomi, JP Monika Seisenberger, Swansea University, UK Ana Sokolova, University of Salzburg, AT Publicity chair --------------- Alexandra Silva, Radboud University Nijmegen, NL PC chair -------- Marcello Bonsangue, Leiden University, NL Steering committee ------------------ Jiri Adamek, Technical University of Braunschweig, DE Marcello Bonsangue, Leiden University, NL Corina Cirstea, University of Southampton, UK H. Peter Gumm (chair), University of Marburg, DE Bart Jacobs, Radboud University Nijmegen, NL Alexander Kurz, University of Leicester, UK Marina Lenisa, University of Udine, IT Ugo Montanari, University of Pisa, IT Larry Moss, Indiana University, US Dirk Pattinson, Australian National University, AU John Power, University of Bath, UK Horst Reichel, Technical University of Dresden, DE Jan Rutten, CWI and Radboud University Nijmegen, NL Lutz Schroeder, University of Erlangen-Nurenberg, DE Submission guidelines --------------------- We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. They should not exceed 20 pages in length in Springer LNCS style. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2014. The proceedings of CMCS 2014 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series. Accepted short contributions will be bundled in a technical report. . From e.haasdijk at vu.nl Thu Sep 12 09:12:27 2013 From: e.haasdijk at vu.nl (Evert Haasdijk) Date: Thu, 12 Sep 2013 09:12:27 +0200 Subject: 2nd CFP Special Issue on Evolutionary Robotics in Evolutionary Intelligence Journal Message-ID: Apologies for cross-posting ------------------------------------------------------------ ------------------- EVOLUTIONARY INTELLIGENCE - SPECIAL ISSUE ON EVOLUTIONARY ROBOTICS ------------------------------------------------------------ ------------------- Call for Papers Evolutionary Robotics researches the application of evolutionary computation techniques to automatically design the controllers and/or morphology of autonomous robots, real or simulated. This is by nature a multi-faceted field that combines approaches from other fields such as neuro-evolution, evolutionary design, artificial life, robotics, et cetera. In spring 2014, Evolutionary Intelligence will publish a special issue on Evolutionary Robotics. We welcome submissions concerning state-of-the-art research in the area of evolutionary robotics. Topics include but are not limited to: - Evolution for single, collective and modular robotics; - Evolution of robot morphology; - Evolution of (neural) robot controllers; - Co-evolution of hardware/morphology and controller; - Evolutionary robotics in artificial life; - Open-ended evolution in robotics; - Evolution of collective behaviour; - Evolutionary self-assembly and self-replication; - Evolution, development and learning; - Competitive co-evolution. Details of the journal can be found online: http://www.springer.com/engineering/journal/12065 The deadline for submissions: Oct 15, 2013 Contact ------- If you have questions, don’t hesitate to contact one of the special issue guest editors: Nicolas Bredeche nicolas.bredeche at isir.upmc.fr Gusz Eiben a.e.eiben at vu.nl Evert Haasdijk e.haasdijk at vu.nl Stefano Nolfi stefano.nolfi at istc.cnr.it Or check the Special Issue website at: http://www.few.vu.nl/~ehaasdi/evinevorob -- Computational Intelligence Group Computer Science Department Faculty of Sciences - VU University Amsterdam De Boelelaan 1081a, room T3.41 1081 HV Amsterdam, The Netherlands T. +31 (0)20 59 87668 M. +31 (0)6 2242 3598 VU-disclaimer: http://www.vu.nl/nl/over-de-vu/vu-website/e-mail-disclaimer/disclaimer-tekst-e-mail/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tina.balke at gmail.com Fri Sep 13 12:02:56 2013 From: tina.balke at gmail.com (Tina Balke) Date: Fri, 13 Sep 2013 11:02:56 +0100 Subject: Deadline approaching: 16th International Workshop on Coordination, Organisations, Institutions and Norms (COIN) Message-ID: <0741B195-13A3-4155-8A94-41D326BAA49B@gmail.com> (apologies for multiple postings) CFP: 16th International Workshop on Coordination, Organisations, Institutions and Norms (COIN) With Special Track on Agent-Based Modelling for Policy Engineering Co-located with PRIMA and AI, Dunedin, New Zealand, 3rd December 2013 http://coin2013-prima.tudelft.nl/ ============================== The pervasiveness of open systems raises a range of challenges and opportunities for technologies in the area of autonomous agents and multi-agent systems and in their contribution to human and artificial societies. Open systems comprise loosely-coupled entities interacting within a society, often with some overall measures of quality or efficiency. However, achieving and maintaining a ‘good’ society, such as through establishing and enforcing societial norms and policies, is difficult to achieve. This is because of the complexity of real societies, and because the participating entities, their modes of interaction, or the intended purpose of the system may change over time. Moreover, in the case of open multi-agent systems, the autonomy of the agents can work against the effectiveness of the society. There remains a need for tools and techniques for articulating or regulating interactions in order to make the system more effective in attaining collective goals, more certain for participants, or more predictable. Coordination, organizations, institutions, and norms are four key governance elements for the regulation of open multi-agent systems, and the COIN workshops constitute a space for debate and exploration of these four elements that are central in the design and use of open systems. COIN at PRIMA’13 features a special track on agent-based modelling for policy engineering (AMPLE) in societies. We seek to attract high-quality papers addressing mathematical, logical, computational, philosophical, and pragmatic issues related to the four aspects of COIN, and, further, papers taking up the challenges of complex societal systems. We invite the submission of short papers up to 6 pages and long papers up to 16 pages (both according to the Springer LNCS formatting specifications). In particular, we invite the following types of papers: - regular research papers (long) that address the topics of interest mentioned below and fulfill at least one of the following criteria: - the presentation of formal treatment of topics - the provision of experimental support to claims. - the focus on modelling, animation and simulation techniques for these types of multi-agent systems - the discussion of tools, prototypes and actual working systems. - work in progress research papers (short): describing ongoing work and research ideas that are not yet mature enough to submit as a long paper. - demo papers (short): papers describing a software tool or platform, to inform the community about its functionality and possibly inspire others to use or build on the tool; if software development efforts can be joined in this way, it will allow the community to move ahead in a faster pace. - bridge papers (short): papers highlighting techniques from non-agent communities (or parts of the agent community that are not typically represented in COIN) that could be inspiring or useful for the COIN community, e.g., techniques from the business process modelling community, from software engineering, etc. - demo comparison papers (short or long): papers comparing several tools or platforms, highlighting similarities and differences, to help researchers decide which tool is most suitable for their need. - technical/conceptual comparison papers (short or long): papers comparing different technical/conceptual concepts and mechanisms in the field of COIN, highlighting the specific expressivity (formally or conceptually) and types of domains for which the respective techniques and concepts are particularly suited. In particular, we welcome papers comparing techniques and/or concepts from the different parts of C-O-I-N. Topics of Interest ============================== Topics of particular interest for regular research papers for COIN at PRIMA 2013 include, but are not limited, to: - logics, languages and tools for specifying coordination and norms, implementing or simulating organizations and institutions; - law of open multi-agent systems: regulatory compliance, penalty and sanctions, dispute resolution and conflict prevention; - agent societies and communities, social networks, electronic institutions and virtual organizations; - formal lifecycle models: formation, maintenance, evolution and dissolution of organizations, institutions and normative multi-agent systems; - formal methods for specifying coordination and organizational structures; models for verification, validation and visualization; - autonomic institutions and self-organization in multi-agent systems; - frameworks and protocols for organized and organizational adaptation; - mechanisms for governance of common pool resources; - agent environments: physical and institutional resources for physical capability and institutional power; - discovery, openness and inter-operation in organizations and institutions; - mixed human-agent coordination and institutions in virtual worlds; - computers as social actors; - norm-aware agents; - participatory simulation; and - reports on implemented systems. Special Track on Agent-based Modelling for Policy Engineering (AMPLE) ============================== Without limiting the range of traditional topics addressed in the workshop, in the upcoming edition we would like to challenge the community to submit the latest results for complex systems in a special track on agent-based modelling for policy engineering. To that extent, we broaden the topics of the workshop with the following: - tools and methods for implementing policies in agent-based models; - rich cognitive agent models for policy analysis; - formal methods for specifying policies in coordination and organizational structures; - models for verification, validation and visualization of simulations for policy analysis; - agent-oriented models for decision support; - integration of normative and social aspects; - comparison between tools and methods for policy analysis; - conceptual and applied studies. Proceedings ============================== Preliminary proceedings will be available at the workshop. As with previous COIN workshops, revised and extended versions of the papers of both the two 2013 workshops (the first workshop in 2013 was held at AAMAS) will be published in a single Springer LNCS volume. Those revised versions must take into account the discussion held during the workshop, hence, only those papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. Workshop Schedule ============================== Submission of contributions to the workshop: 23 September 2013 Workshop paper notification: 17 October 2013 Camera-ready version for preliminary proceedings due: 20 November 2013 Workshop date: 3 December 2013 Submission ============================== Contributions need to be formatted according to the Springer LNCS format (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) and need to be submitted via Easychair (https://www.easychair.org/conferences/?conf=coinprima2013). Organization ============================== COIN Organization Tina Balke, University of Surrey, UK M. Birna van Riemsdijk, TU Delft, Netherlands AMPLE Special Track Organization Amineh Ghorbani, TU Delft, Netherlands Tony Bastin Roy Savarimuthu, University of Otago, New Zealand Neil Yorke-Smith, American University of Beirut, Lebanon From pascal.hitzler at wright.edu Sat Sep 14 05:29:20 2013 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Fri, 13 Sep 2013 23:29:20 -0400 Subject: faculty position opening in "Big Data" at Wright State University Message-ID: <5233D810.3040609@wright.edu> We are seeking a faculty member in Big Data. Appointment at any rank is possible (Assistant, Associate, or Full Professor). Particular areas of interest include, but are not limited to, data management and lifecycle, data analytics, data visualization, data fusion and integration, semantics and ontologies, social and sensor Web, biomedical and health informatics. Outstanding applicants with a high potential for collaborations with existing strengths of the department and the Kno.e.sis Center are particularly welcome to apply. Outstanding applicants specializing in other emerging research areas are also welcome to apply. For more information: http://cse.wright.edu/opportunity/assistant-associate-or-professor-big-data - or email me (I'm the search committee chair). Best Regards, Pascal. -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From fink at kr.tuwien.ac.at Sun Sep 15 14:41:53 2013 From: fink at kr.tuwien.ac.at (fink at kr.tuwien.ac.at) Date: Sun, 15 Sep 2013 14:41:53 +0200 Subject: Call for Papers KR 2014: 14th International Conference on Principles of Knowledge Representation and Reasoning Message-ID: <201309151241.r8FCfrna030649@mahler.kr.tuwien.ac.at> CALL FOR PAPERS *** KR 2014 *** 14th International Conference on Principles of Knowledge Representation and Reasoning Vienna, Austria July 20-24, 2014 http://kr.org/KR2014/ Co-located with DL 2014 [www.dl.kr.org], NMR 2014 [www.kr.org/NMR], FLoC 2014 (CAV, CSF, ICLP, IJCAR, ITP, LICS, RTA, SAT), and Logic Colloquium 2014. KR 2014 is part of Vienna Summer of Logic [http://vsl2014.at/] Knowledge Representation and Reasoning (KR&R) is a well-established and vibrant field of research. KR&R techniques are key drivers of innovation in computer science, and they have led to significant advances in practical applications in a wide range of areas from Artificial Intelligence to Software Engineering. The underlying approach of explicitly representing knowledge in a tangible form, suitable for processing by dedicated reasoning engines, is a fundamental component of many modern intelligent systems. Foundational and applied research in KR&R contributes to the principles of artificial intelligence. It also contributes to the foundations of longstanding fields including automated planning, databases, and software engineering. In recent years KR&R has also derived challenges from new and emerging fields including the semantic web, computational biology, and the development of software agents. The KR conference series is a leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The 2014 edition will be held as part of the Vienna Summer of Logic together with the Federated Conference on Logic, Logic Colloquium and other related events. The Vienna Summer of Logic is expected to be the largest convention in the history of logic. We solicit papers presenting novel results on the principles of KR&R that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also encourage "reports from the field" of applications experiments, developments, and tests. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing, and must include a section on evaluation. KR 2014 IMPORTANT DATES ----------------------- * Submission of title and abstract: November 28, 2013 * Paper submission deadline: December 5, 2013 * Author response period: January 11-12, 2014 * Notification of acceptance: January 27, 2014 * Camera-ready papers due: March 4, 2014 * Conference date: July 20-24, 2014 The reference time for all deadlines is 23:59 UTC-12. If you are "on time" anywhere in the world, you are "on time". TOPICS ------ Topics of interest include, but are not limited to: * Applications of KR * Argumentation * Belief revision and update, belief merging, information fusion * Computational aspects of knowledge representation * Concept formation, similarity-based reasoning * Contextual reasoning * Description logics * Explanation finding, diagnosis, causal reasoning, abduction * Inconsistency- and exception tolerant reasoning, paraconsistent logics * KR and autonomous agents, cognitive robotics, multi-agent systems, logical models of agency * KR and data management, ontology-based data access, queries and updates over incomplete data * KR and decision making, decision theory, game theory and economic models * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and the Web, Semantic Web, formal approaches to knowledge bases * KR in games, general game playing, reasoning in video games and virtual environments, believable agents * KR in natural language understanding and question answering * KR in image and video understanding * Logical approaches to planning and behavior synthesis * Logic programming, answer set programming, constraint logic programming * Nonmonotonic logics, default logics, conditional logics * Reasoning about norms and organizations, social knowledge and behavior * Philosophical foundations of KR * Ontology languages and modeling * Preference modeling and representation, reasoning about preferences, preference-based reasoning * Qualitative reasoning, reasoning about physical systems * Reasoning about actions and change, action languages, situation calculus, dynamic logic * Reasoning about knowledge and belief, epistemic and doxastic logics * Spatial reasoning and temporal reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics, relational probability models SUBMISSION INFORMATION ---------------------- Papers must be submitted in AAAI style and PDF format. The maximum length of a submission is 9 pages including abstract, figures, and appendices (if any) but excluding references. Reviewing will be non-blind. AAAI author instructions: http://www.aaai.org/Publications/Author/author.php AAAI author kit: http://www.aaai.org/Publications/Templates/AuthorKit.zip Papers must be submitted via EASYCHAIR using the following URL: http://www.easychair.org/conferences/?conf=kr2014 The conference proceedings will be published by AAAI Press. For complete details, see the conference website: http://kr.org/KR2014/ [kr.org] CONFERENCE CHAIRS ----------------- General: Thomas Eiter (TU Vienna, Austria) Program: Chitta Baral (Arizona State U, USA), Giuseppe De Giacomo (U "La Sapienza", Italy) Local Organization: Michael Fink, Stefan Woltran (TU Vienna, Austria) Doctoral Consortium: Birte Glimm (U Ulm, Germany), Adrian Pearce (U Melbourne, Australia) Sponsorship Chair: Marco Maratea (U Genova, Italy) From ngonga at informatik.uni-leipzig.de Mon Sep 16 19:02:36 2013 From: ngonga at informatik.uni-leipzig.de (Axel Ngonga) Date: Mon, 16 Sep 2013 19:02:36 +0200 Subject: Call for participation: BioASQ workshop on biomedical semantic indexing and question answering In-Reply-To: <51C2EC02.6060608@informatik.uni-leipzig.de> References: <51C2EC02.6060608@informatik.uni-leipzig.de> Message-ID: <523739AC.7030705@informatik.uni-leipzig.de> [ please distribute - apologies for multiple postings ] BioASQ workshop on biomedical semantic indexing and question answering Post-conference workshop after CLEF 2013 http://www.bioasq.org/workshop/ Call for participation September 27th, 2013 Technical University of Valencia (Universitat Politecnica de Valencia), building 1E REGISTRATION (NO FEE FOR REGISTRATION) ************************************** To register, please visit: http://www.bioasq.org/workshop/register-bioasq-workshop-1 SCHEDULE ******** The schedule of the workshop can be found at: http://www.bioasq.org/workshop/schedule It includes 10 talks, among which two invited talks on: - Watson Beyond Jeopardy!: Adaptation to the Medical Domain, by Jennifer Chu-Caroll of IBM Research. - Indexing the Biomedical Literature in a Time of Increased Demand and Limited Resources, by Alan R Aronson of the National Library of Medicine. The winners of the BioASQ challenge will also be announced at the workshop. Looking forward to seeing you there. The BioASQ team. From grlmc at urv.cat Sun Sep 22 13:12:49 2013 From: grlmc at urv.cat (GRLMC) Date: Sun, 22 Sep 2013 13:12:49 +0200 Subject: AlCoB 2014: 1st call for papers Message-ID: <6CF7C8A233014D6DB1CF6DA828E14305@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 1st INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2014 Tarragona, Spain July 1-3, 2014 Organized by: Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/alcob2014/ ********************************************************************* AIMS: AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction. The conference will address several of the current challenges in computational biology by investigating algorithms aimed at: 1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species. Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career. VENUE: AlCoB 2014 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be the Catalunya Campus. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks ... Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics ... Microbiome analysis Systems biology STRUCTURE: AlCoB 2014 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: to be announced PROGRAMME COMMITTEE: Tatsuya Akutsu (Kyoto, JP) Amihood Amir (Ramat-Gan, IL) Alberto Apostolico (Atlanta, US) Joel Bader (Baltimore, US) Pierre Baldi (Irvine, US) Serafim Batzoglou (Stanford, US) Bonnie Berger (Cambridge, US) Francis Y.L. Chin (Hong Kong, HK) Benny Chor (Tel Aviv, IL) Keith A. Crandall (Washington, US) Bhaskar DasGupta (Chicago, US) Joaquín Dopazo (Valencia, ES) Liliana Florea (Baltimore, US) Olivier Gascuel (Montpellier, FR) David Gilbert (Uxbridge, UK) Gaston H. Gonnet (Zurich, CH) Roderic Guigó (Barcelona, ES) Dan Gusfield (Davis, US) Vasant Honavar (University College, US) Sorin Istrail (Providence, US) Tao Jiang (Riverside, US) Inge Jonassen (Bergen, NO) Anders Krogh (Copenhagen, DK) Giovanni Manzini (Alessandria, IT) Carlos Martín-Vide (Tarragona, ES, chair) Satoru Miyano (Tokyo, JP) Burkhard Morgenstern (Göttingen, DE) Shinichi Morishita (Tokyo, JP) Cédric Notredame (Barcelona, ES) Graziano Pesole (Bari, IT) Mark Ragan (Brisbane, AU) Timothy Ravasi (Thuwal, SA) Allen G. Rodrigo (Durham, US) Steven Salzberg (Baltimore, US) David Sankoff (Ottawa, CA) Thomas Schiex (Toulouse, FR) João C. Setubal (São Paulo, BR) Steven Skiena (Stony Brook, US) Peter F. Stadler (Leipzig, DE) Wing-Kin Sung (Singapore, SG) Alfonso Valencia (Madrid, ES) Jacques van Helden (Marseille, FR) Arndt von Haeseler (Vienna, AT) Lusheng Wang (Hong Kong, HK) Limsoon Wong (Singapore, SG) Xiaohui Xie (Irvine, US) Dong Xu (Columbia, US) Zohar Yakhini (Santa Clara, US) Alex Zelikovsky (Atlanta, US) Michael Q. Zhang (Dallas, US) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Bianca Truthe (Magdeburg) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices) and should be formatted according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=alcob2014 PUBLICATIONS: A volume of proceedings expectedly published by Springer in the LNBI series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from September 21, 2013 to July 1, 2014. The registration form can be found at: http://grammars.grlmc.com/alcob2014/Registration.php DEADLINES: Paper submission: February 4, 2014 (23:59 CET) Notification of paper acceptance or rejection: March 15, 2014 Final version of the paper for the proceedings: March 22, 2014 Early registration: March 29, 2014 Late registration: June 17, 2014 Starting of the conference: July 1, 2014 End of the conference: July 3, 2014 Submission to the post-conference journal special issue: October 3, 2014 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: AlCoB 2014 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559543 Fax: +34 977 558386 ACKNOWLEDGEMENTS: Departament d’Economia i Coneixement, Generalitat de Catalunya Universitat Rovira i Virgili From paul.kaufmann at gmail.com Mon Sep 23 17:33:07 2013 From: paul.kaufmann at gmail.com (Kaufmann Paul) Date: Mon, 23 Sep 2013 17:33:07 +0200 Subject: 2nd CFP: EvoENERGY 2014 Message-ID: <51E4CB3B-D086-4371-9C35-2BB7E4117DBF@gmail.com> EvoENERGY 2014 Evolutionary Algorithms in Energy Applications 23-25 April 2014 - Baeza, Spain http://www.evostar.org INTRODUCTION Along with the worldwide incentive to reduce fossil and nuclear based power generation, the number of distributed generators and other forms of distributed energy resources which are installed in power networks has been steadily increasing over the last years. This increased integration has triggered a transformation of the energy system and challenges the conventional operation of these networks. On a network level, this transformation requires new control and communication approaches, to guarantee the security of energy supplies as well as an optimal exploitation of available resources. On a generator level, advanced control strategies as well as morphological optimization (e.g., tuning of wind-blade design) can help to assure an optimal performance of the generator. EvoEnergy is intended as a platform for new, innovative computational intelligence and nature-inspired techniques in the domain of energy-related optimization research. We seek contributions ranging from new control concepts for decentralized generation, strategies for their coordination in the network to the morphological optimization of distributed generators. TOPICS Topics of interest include, but are not limited to, any of the following: - management of distributed generation and storage - evolutionary design and morphological optimization in energy systems - advanced distribution management system functionalities - Smart Grid monitoring and control - real time configurations of energy networks - distributed optimization in energy networks - grid planning and asset management - energy demand reduction through evolutionary design optimisation PUBLICATION DETAILS Accepted papers will appear in the proceedings of EvoStar, published in a volume of the Springer Lecture Notes in Computer Science, which will be available at the Conference. Submissions must be original and not published elsewhere. The submissions will be peer reviewed by at least three members of the program committee. The authors of accepted papers will have to improve their paper on the basis of the reviewers comments and will be asked to send a camera ready version of their manuscripts. At least one author of each accepted work has to register for the conference and attend the conference and present the work. The reviewing process will be double-blind, please omit information about the authors in the submitted paper. Submission format: Springer LNCS (see EvoENERGY web page) Page limit: 12 pages Submission page: http://myreview.csregistry.org/evoapps14/ IMPORTANT DATES Submission deadline: 1 November 2013 Notification: Camera ready: EvoENERGY: 23-25 April 2014 CHAIRS Paul Kaufmann, University of Kassel, paul.kaufmann(at)gmail.com Kyrre Glette, University of Oslo, kyrrehg(at)ifi.uio.no CONFIRMED PROGRAM COMMITTEE Andy Tyrrell, University of York, UK Frank Neumann, University of Adelaide, AU Jan Ringelstein, Fraunhofer Institure for Wind Technology and Energy System Technology, Germany Kalyan Veeramachaneni, MIT Computer Science and Artificial Intelligence Laboratory, US Konrad Diwold, Fraunhofer Institure for Wind Technology and Energy System Technology, Germany Maizura Mokhtar, University of Central Lancashire, UK Martin Middendorf, University of Leipzig, Germany Peter Palensky, Austrian Institute of Technology, Austria Ralph Evins, Laboratory of Building Science and Technology, Empa, Switzerland Sanaz Mostaghim, Karlsruhe Institute of Technology, Germany Una-May O'Reilly, MIT Computer Science and Artificial Intelligence Laboratory, US From aamas14publicity at gmail.com Tue Sep 24 01:20:02 2013 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Mon, 23 Sep 2013 16:20:02 -0700 Subject: AAMAS-14: Call for Workshops Message-ID: ************************** Please note changes in the submission procedure. ************************** ========================================= AAMAS 2014 -- Call for Workshop Proposals http://aamas2014.lip6.fr ========================================= The AAMAS-2014 Organizing Committee invites proposals for the Workshop Program to be held on May 5-6, 2014 immediately prior to the main technical program of the AAMAS conference. The main goal of the AAMAS-2014 workshop program is to stimulate and facilitate discussion, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Autonomous Agents and Multiagent Systems. The AAMAS-2014 workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. The 2014 edition of AAMAS will see, for the first time, an integration of workshops and tutorials, traditionally held separately. The AAMAS-2014 Organizing Committee asks all workshops to include a tutorial session. A tutorial session might include, for example, a discussion of the main issues in the research themes of interest to the workshop, and give a historical perspective, particularly for long-running workshops. It would be an excellent way to attract new participants and introduce students to the workshop. There is no restriction on the length of the proposed tutorial. Members from all areas of the AAMAS community are invited to submit workshop proposals for review. Workshops on new and emerging topics, applications, and on broader topics of interest to a wider community are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Workshop organizers and attendees must register for their workshop and preferably also for the main AAMAS conference. Attendance is limited to registered participants. *** Important Dates *** November 06, 2013: Proposal Submission Deadline November 25, 2013: Notification of Selected Workshops December 04, 2013: Deadline for posting Workshop Call for Papers December 04, 2013: AAMAS-2014 Workshop Program Announced January 22, 2014: Recommended deadline for Workshop Submissions February 19, 2014: Recommended deadline for Workshop Notification March 19, 2014: Deadline for complete workshop notes submission to the workshop chairs March 19, 2014: Deadline for posting Workshop Call for Participation May 5-6, 2014: AAMAS-2014 Workshops *** Requirements for Submission *** Proposals for workshops should be a maximum of five pages in length (in plain ASCII text), and should contain the following information: 1. Title of the workshop. 2. A technical description of the workshop, specifying the workshop goals, the technical issues that it will address, and the relevance of the workshop to the main conference. 3. A discussion of why and to whom the workshop is of interest. 4. A brief description of a proposal for a tutorial session to be held as part of the workshop. 5. A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. Information about previous offerings of the proposed workshop: when and where it has been offered in the past (i.e., with AAMAS or another conference), organizers names and affiliations, number of submissions, acceptances and registered attendees, and follow-up publications, if any (e.g., journal special issues). 6. For workshops that have had previous editions (even if they had different titles and were not held with AAMAS), include a list of URLs of the websites of the previous editions. 7. A preliminary workshop agenda and a proposed schedule for organizing the workshop. This should include a brief description of how the organizers intend to encourage an atmosphere appropriate for a workshop. 8. Description of the paper review process and acceptance standards. 9. If available, a list of tentatively confirmed attendees. 10. The names, affiliations, postal addresses, phone numbers, and email addresses of the proposed workshop organizing committee. This committee should consist of three or four people knowledgeable about the technical issues to be addressed. The organizing committee should include individuals from multiple institutions. 11. The name of the primary contact for the organizing committee (this person must reply promptly to email messages). 12. A description of the qualifications of the individual committee members with respect to organizing an AAMAS workshop, including a list of workshops previously arranged by any members of the proposed organizing committee, if any. 13. List of potential program committee members, including their title and affiliations. 14. Expected duration of the workshop (usually a full day). 15. A list of places (distribution lists, web sites, journals, etc.) where the workshop is planned to be advertised. All proposals should be submitted by electronic mail, in plain ASCII text, to the AAMAS-2014 Workshop Chairs, email address aamas2014.workshops at gmail.com, as soon as possible and no later than Wednesday November 6th, 2013. The selection of the workshops to be included in the final AAMAS program will be done by the general chairs of AAMAS 2014 based on the advice of the workshop chairs. The selection is based upon multiple factors, including: the scientific/technical interest of the topics, the clarity of the proposal in addressing the requested information, the innovative character of workshop topics, the cross-disciplinary nature of the workshop, the proposed tutorial session, and the capacity of the conference workshop program. *** Responsibilities of AAMAS and workshop organizers *** For all accepted proposals, AAMAS will be responsible for: - Providing publicity for the workshop series as a whole. - Providing logistic support and a meeting place for the workshop. - Together with the organizers, determining the workshop date and time. - Provide one free workshop registration when the workshop has more than 15 registrations. - AAMAS reserves the right to cancel workshops, for example in case of low number of registrants. Workshop organizers will be responsible for: - Setting up a website for the workshop. - Advertising the workshop and issuing a call for papers (by December 4, 2012) and a call for participation (by March 19, 2013). - Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process. - All workshop organizers are strongly advised to adopt the same deadlines for paper submissions and notifications of acceptance, i.e., January 29, 2014 for submissions of contributions to workshops, and February 26, 2014 for notifications. - Creating the PDF file with the whole workshop notes and making it available to the workshops chair by March 19, 2014, as well as a list of audio-visual requirements and any special room requirements. The workshops notes will only be given to participants in electronic form, so please include the following sentence in your call for papers: "Workshop notes including all accepted papers will be distributed to AAMAS-2014 registrants in electronic form. Printed workshop notes will NOT be made available to workshop participants." - Ensuring that the workshop organizers and the participants register for the workshop and are invited to register to the main conference (at least one author must register for the workshop in order for a paper to appear in the workshop proceedings). AAMAS reserves the right to cancel any workshop if the above responsibilities are not fulfilled. *** Submissions and Inquiries *** Please send proposals and inquiries to: aamas2014.workshops at gmail.com *** Workshop Co-Chairs *** Rafael H. Bordini PUCRS, Brazil r.bordini at pucrs.br José M. Vidal University of South Carolina, SC, USA vidal at sc.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Emiliano.Lorini at irit.fr Sun Sep 29 12:57:50 2013 From: Emiliano.Lorini at irit.fr (Emiliano Lorini) Date: Sun, 29 Sep 2013 12:57:50 +0200 Subject: European Workshop on Multi-Agent Systems (EUMAS-2013) + special session on Logical Aspects of Multi-Agent Systems (LAMAS): Toulouse (France), 12-13 Dec 2013 Message-ID: <728d-52480780-9-78416680@228115036> Hello, could you please help me to distribute the last call for papers of the European Workshop on Multi-Agent Systems (EUMAS-2013) + special session on Logical Aspects of Multi-Agent Systems (LAMAS) through your mailing list? Many thanks in advance. With best wishes, Emiliano Lorini, PC chair of EUMAS-2013 _____________________________________________________ Last call for papers EUMAS-2013 11th European Workshop on Multi-Agent Systems 12-13 December 2013, Toulouse, France http://www.irit.fr/EUMAS2013/ In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. Following in the tradition of past EUMAS (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006, Hammamet 2007, Bath 2008, Agia Napa 2009, Paris 2010, Mastricht 2011, Dublin 2012), the aim of this Eleventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment. The scope of the event is defined as the scope of the International Journal on Autonomous Agents & Multi-agent Systems (JAAMAS), the International Conference on Autonomous Agents & Multi-agent Systems (AAMAS), and the European Association for Multiagent Systems (EURAMAS). TOPICS OF INTEREST Topics include but are not limited to: Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence Applications, Argumentation, Autonomy, Bio-inspired Approaches to Agents and Multi-Agent Systems, Cognitive Models, Collective and Swarm Intelligence, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, E-*Applications, Economic Models, Emergence, Emotion, Formal Models, Game Theoretic Models, Grid Computing, Logics for Multi-Agent Systems, Methodologies, Negotiation, Organisations and Institutions, Proactivity and Reactivity, Protocols, Robotics, Self-organisation, Semantic Web Agents, Agent-based Service Oriented Computing, Socio-technical Systems, Agent-oriented Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing, Verification, Virtual Agents. SPECIAL SESSION OF LAMAS (LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS) The sixth LAMAS workshop (Logical Aspects of Multi-Agent Systems) will be colocated with EUMAS-2013, as a special session. (See http://icr.uni.lu/lamas2012/cfp.html for the previous edition of the LAMAS workshop). The submission of papers to the LAMAS special session is subject to the same requirements as the submission of papers to the EUMAS-2013 normal track. Topics of interest for the LAMAS special session include but are not limited to: - Logical systems for specification, analysis, and reasoning about MAS,- Modeling MAS with logic-based models, - Deductive systems and decision procedures for logics for MAS, - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS, - Logic-based tools for MAS, - Applications of logics in MAS. SUBMISSION, CEUR PROCEEDINGS AND POST-PROCEEDINGS VOLUME EUMAS-2013 welcomes both unpublished papers and papers that are under submission or have been published in a relevant conference, workshop or journal. We specially invite submissions by students that we think will receive valuable feedback from the the discussion-orientedfocus of the workshop. Preliminary student work is welcome; however it has to possess sufficient substance for serving as a discussion basis and therefore has to pass the review cycle in the same way as other work. All submissions should be formatted using Springer LNCS style which is available at http://www.springer.de/comp/lncs/authors.html. EUMAS-2013 solicits papers in two categories: - Full research papers of 8 to 14 pages. - Extended abstracts of 2 to 4 pages reporting an interesting work in progress or providing system descriptions. We request the submission of title and abstract prior the paper submission for supporting the tight schedule of reviewing. The authors can submit their abstracts and papers through the EUMAS 2013 Easychair submission site: https://www.easychair.org/conferences/?conf=eumas2013 Full papers accepted at EUMAS-2013 that are not under submission and have not been previously published in a different conference, workshop or journal will be included in the CEUR workshop proceedings. A post-proceedings volume published by Springer in the LNCS/LNAI series is planned based on revised and extended versions of selected papers presented at EUMAS-2013. IMPORTANT DATES Abstract submission deadline: October 14, 2013 Paper submission deadline: October 18, 2013 Notification of acceptance: November 12, 2013 Camera-ready submission: November 29, 2013 EUMAS 2013 workshop: December 12-13, 2013 INVITED SPEAKERS Mehdi Dastani, Utrecht university Andrew Jones, King's College London OFFICIALS PC chair Emiliano Lorini, IRIT-CNRS, France Program committee Thomas Ågotnes, University of Bergen, Norway Natasha Alechina, University of Nottingham, UK Frédéric Amblard, IRIT, Toulouse University, France Leila Amgoud, IRIT-CNRS, France Bernhard Bauer, University of Augsburg, Germany Guido Boella, University of Torino, Italy Olivier Boissier, ENS Mines Saint-Etienne, France Elise Bonzon, LIPADE - Université Paris Descartes, France Vicent Botti, DSIC, Spain Nils Bulling, Clausthal University of Technology, Germany Didac Busquets, University of Girona, Spain Cristiano Castelfranchi, Institute of Cognitive Sciences and Technologies, CNR, Italy Amit Chopra, Lancaster University, UK Mehdi Dastani, Utrecht University, The Netherlands Paul Davidsson, Malmö University, Sweden Jürgen Dix, Clausthal University of Technology, Germany Barbara Dunin-Keplicz, Institute of Informatics, Warsaw University, Poland Rino Falcone, Institute of Cognitive Sciences and Technologies, CNR, Italy Nicola Gatti, Politecnico di Milano, Italy Marie-Pierre Gleizes, IRIT, Toulouse University, France Valentin Goranko, Technical University of Denmark Davide Grossi, University of Liverpool, UK Koen Hindriks, Delft University of Technology, The Netherlands Wiebe van der Hoek, University of Liverpool, UK Andrew Jones, King's College London, UK Tomas Klos, TU Delft, The Netherlands Jérôme Lang, LAMSADE, Université Paris-Dauphine, France João Leite, CENTRIA, Universidade Nova de Lisboa, Portugal Tiago De Lima, University of Artois, France Brian Logan, University of Nottingham, UK Felipe Meneguzzi, PUCRS, Brazil John-Jules Meyer, Utrecht University, The Netherlands Simon Miles, King's College London, UK Pavlos Moraitis, LIPADE, France Pablo Noriega, IIIA-CSIC, Spain Emma Norling, Centre for Policy Modelling, UK Eugenio Oliveira, Faculdade de Engenharia Universidade do Porto ? LIACC, Portugal Andrea Omicini, University of Bologna, Italy Nir Oren, University of Aberdeen, UK Sascha Ossowski, University Rey Juan Carlos, Spain Mario Paolucci, Institute of Cognitive Sciences and Technologies, CNR, Italy Wojciech Penczek, IPI PAN and University of Podlasie, Poland Laurent Perrussel, IRIT, Toulouse University, France Jeremy Pitt, Imperial College London, UK Alessandro Ricci, University of Bologna, Italy Regis Riveret, Imperial College London, UK Juan A. Rodríguez-Aguilar, IIIA-CSIC, Spain Antonino Rotolo, University of Bologna, Italy Jordi Sabater, IIIA-CSIC, Spain Nicolas Sabouret, LIMSI-CNRS, France Carles Sierra, IIIA-CSIC, Spain Leon van der Torre, University of Luxembourg Nicolas Troquard, Institute of Cognitive Sciences and Technologies, CNR, Italy Luca Tummolini, Institute of Cognitive Sciences and Technologies, CNR, Italy Paolo Turrini, Imperial College London, UK Wamberto Vasconcelos, University of Aberdeen, UK Rineke Verbrugge, University of Groningen, The Netherlands Laurent Vercouter, LITIS lab, INSA de Rouen, France Serena Villata, INRIA Sophia Antipolis, France Marina de Vos, University of Bath, UK Danny Weyns, Linnaeus University, Sweden Mike Wooldridge, University of Oxford, UK Organizing committee Florence Dupin de Saint-Cyr, IRIT, Toulouse University, France (co-chair) Valérie Camps, IRIT, Toulouse University, France (co-chair) From N.Konstantinova at wlv.ac.uk Mon Sep 30 12:17:58 2013 From: N.Konstantinova at wlv.ac.uk (Konstantinova, Natalia) Date: Mon, 30 Sep 2013 10:17:58 +0000 Subject: A salaried PhD position in MT at Wolverhampton Message-ID: ---------------------------------------------------------------------------- Apologies for cross-posting. Please circulate to any potentially interested parties ---------------------------------------------------------------------------- Applications are invited for an Early Stage Researcher pre-doctoral position in hybrid language translation technologies. DESCRIPTION ----------------------- The position is fixed term until September 2016 and is a part of the new EU Framework 7 Marie-Curie Network EXPERT, concerned with the exploitation of empirical approaches to machine translation, including statistical machine translation and example-based machine translation. The EXPERT project brings together researchers from six European universities (University of Wolverhampton (UoW), University of Sheffield (USFD), Universidad de Malaga (UMA), Universitaet des Saarlandes (USAAR), Dublin City University (DCU) and Universiteit van Amsterdam (UvA)) and five translation services and technology providers (Pangeanic, Hermes and Translated, Celer Soluciones and WordFast). The project allocated to the University of Wolverhampton that we are currently recruiting to is: - Investigation of methodologies to evaluate the improved SMT, EBMT and TM prototypes and new hybrid computer-aided translation technology proposed in EXPERT (ESR12). The research will be conducted under supervision of University of Wolverhampton with opportunities for collaborative work with other universities and industrial partners in EXPERT, and with the expectation of a 6 month secondment to 2-3 partners in this project based on the topic of research. REQUIREMENTS & ELIGIBILITY ----------------------------------------------- Applicants should hold a good honours degree in a relevant field of study (e.g. computer science, engineering, mathematics) and have experience in natural language processing, machine translation or related area. They should also have a solid background in mathematics/statistics and excellent programming skills (C/C++, Java, Python/Perl, etc.). See the job specification for more details on the expected profile: https://jobs.wlv.ac.uk/wd/plsql/wd_portal.list?p_web_site_id=3045&p_function=map&p_title=Current%20vacancies Eligibility: Appointment will be subject to the eligibility requirements of the Marie Curie programme, which specify that early stage researchers must be, at the time of recruitment, in the first four years of their research careers, measured from the date when they obtained the qualification which would entitle them to embark on a doctorate. As per Marie Curie Terms and Conditions, researchers must not have resided in the country of application for more than 12 months in the 3 years immediately prior to the appointment. (Please check Section III.3 of the following link for further information on the Marie Curie scheme regarding eligibility criteria: ftp://ftp.cordis.europa.eu/pub/fp7/docs/fp7-mga-annex3intramulti_en.pdf ) Female candidates meeting the requirements for these posts are particularly encouraged to apply. CONDITIONS -------------------- This post is fixed-term until September 2016. Terms and conditions of employment: Will be those for Marie Curie Early Stage Researchers. Salary: Marie Curie rates will apply. For employment in the UK, the reference figure for gross salary is 51,062 euros/year. HOW TO APPLY ------------------------- Use the application system of the University of Wolverhampton (https://jobs.wlv.ac.uk/wd/plsql/wd_portal.list?p_web_site_id=3045&p_function=map&p_title=Current%20vacancies) , please make sure to include: * Detailed CV; * 2 page summary on the research to be undertaken on the chosen topic. It should include, but is not limited to, a). aim of the research; b). general research question to be refined during the Phd; c). research plan; d). why do have necessary skills to undertake this project? (!) Also make sure to send a copy of your application to riilp at wlv.ac.uk with subject "EXPERT job application " Closing date: 15 October 2013 More information can be found at http://expert-itn.eu Best regards, Dr. Natalia Konstantinova EXPERT Network Training Coordinator Editorial Assistant for the Journal of Natural Language Engineering Research Group in Computational Linguistics Research Institute of Information and Language Processing University of Wolverhampton Stafford Street WOLVERHAMPTON WV1 1LY Email: n.konstantinova at wlv.ac.uk Tel: + 44 1902 322967 Fax: 01902 323 543 -- Scanned by iCritical. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: