From announce at cs.ucy.ac.cy Sat Feb 1 12:43:26 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 1 Feb 2014 13:43:26 +0200 Subject: WiMob 2014: First CFP and Call for Workshop Proposals Message-ID: *** First Call for Papers *** *** Call for Workshop Proposals *** The 10th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications WiMob 2014 Golden Bay Hotel, Larnaca, Cyprus October 8-10, 2014 http://conferences.computer.org/WiMob2014/ Deadline for Workshop Proposals: March 31, 2014 Deadline for Paper Submissions: May 1, 2014 (Proceedings will be published by IEEE) The IEEE WiMob conference is an international forum for the exchange of experience and knowledge among researchers and developers concerned with wireless and mobile technology. For nine years, the International IEEE WiMob conference has provided unique opportunities for researchers to interact, share new results, show live demonstrations, and discuss emerging directions in Wireless Communications, Mobile Networking and Ubiquitous Computing. IEEE WiMob 2014 will take place at Larnaca, Cyprus, between October 8 to 10th, 2014. It will be held at the Golden Bay Beach Hotel, a luxurious 5 star hotel situated in the favored south eastern region of Cyprus at the heart of the Bay of Larnaca. IEEE WiMob 2014 is soliciting high quality technical papers addressing research challenges in the areas of wireless communications, wireless networking, mobility, nomadicity, ubiquitous computing, services and applications. Papers should present original work validated via analysis, simulation or experimentation. Practical experiences and Testbed trials also are welcome. IEEE WiMob 2014 will host three parallel symposiums, including but not limited to the following topics: 1. Wireless Communications Broadband Wireless Communication Systems Signal Separation and Interference Rejection Wireless Personal Communications Multimedia Communications over Wireless Advances in Satellite Communication DSP Applications to Wireless Systems Adaptive Antennas for Wireless Systems Modulation and Coding Multiple Access Techniques Multiuser Detection Femtocells Channel Measurement and Characterization Location Estimation and Tracking OFDM and CDMA Technologies and Systems Resource Allocation and Interference Management MIMO Channels Multirate and Multicarrier Communications Link and System Capacity Spectrum Usage and Cognitive radio systems Cognitive and cooperative MAC Cognitive Radio Applications and Spectrum Management 2. Wireless Networking, Mobility and Nomadicity Mobile IP Networks Inter-working of 2G, 3G and 4G Wireless Networks Security, Privacy and Authentication in Mobile Environments Cellular Systems, PCS Modeling and Configuration Wireless Sensor Networks Cross-layer Design and Optimization Cross-layer security Congestion and Admission Control Mobility patterns, Location and Handoff Management Design and Analysis of Wireless LAN/WAN Wireless multicasting, broadcasting and geocasting Wireless Sensors and Actuators/Robots networks Energy-efficient protocols for wireless networks Green wireless network architectures and communication protocols Opportunistic networks Vehicular wireless networks Wireless Mesh networks Delay Tolerant Networks Integration of ad hoc networks with wireless access networks QoS support for mobile networks RFID networks and protocols B3G/4G Systems, WiMAX, WLAN, WPAN Optimization models and algorithms 3. Ubiquitous Computing, Services and Applications Emerging Wireless/Mobile applications System prototypes, real deployments and experimentation Cognitive Radio applications and spectrum management Resource and service discovery Mobile Social Wireless Networks Opportunistic Applications Gaming Applications in Ubiquitous Computing Environments Operating system and middleware support for mobile computing Multimedia over Wireless Networks Network Coding in wireless networks Security, Privacy and Infrastructure for Ubiquitous Computing Green computing in wireless networks Smart Grid Portable Devices and Wearable Computers Passive, Active and Smart Tags for Ubiquitous Computing Context and Location aware applications Data replication and dissemination in mobile networks Mobile Urban Sensing and Crowd-sensing Data gathering, fusion, and dissemination in WSNs Intelligent Transport Systems applications Wireless communications to vehicle-to-grid applications Wireless telemedicine and e-health services Content distribution in wireless home environment Service oriented architectures, service portability, P2P Smart Cities and smart environment Workshop Proposals As part of the program of WiMob 2014, a limited number of workshops are planned to be held in conjunction with the main conference. The main aim of the workshops is to provide an international forum for researchers to present their early research results and share experiences focused on specific research areas related to the main conference topics. Workshop proposals are solicited in all areas and topics related to wireless networking, mobile computing, mobile and wireless communications, pervasive computing and networking, and its services and applications. All papers accepted by the workshops will be included in the WiMob 2014 Proceedings published by IEEE. All proposals and questions should be submitted to the workshop chairs: * Ebrahim Bagheri, Ryerson University, bagheri at ryerson.ca * Joaquin Garcia-Alfaro, Telecom SudParis, garcia_a at telecom-sudparis.eu * Joan Garcia Haro, Universidad Politecnica de Cartagena, joang.haro at upct.es * Luis Orozco Barbosa, Universidad de Castilla-La Mancha, luis.orozco at uclm.es Acceptance/rejection notification will be sent to workshop organizers. Proposals for workshops should be no more than 2 pages in length and should contain the following information: 1) A draft of the CFP of the workshop (includes title, description, topics and dates) 2) Proposed duration of the workshop 3) Why is the topic area important? 4) Likely contributors and target audience 5) Organizing committee 6) Plan for workshop advertising and publicity 7) Biography of the main organizer(s) (100-200 words) 8) Can be submitted in PDF or plain text 9) Extended abstract to be presented in the conference proceedings Responsibilities for Workshop Organizers Workshop chair(s) will be responsible for the following: (1) Web page of the workshop and dissemination of "Call for Papers/Participation" for their workshop (2) Paper constraints, such as quality, originality, format and length constraints (3) Description of the workshop to be associated to the conference web page and program (4) Acceptance notification and selection of participants (5) Advertising the workshop beyond the conference web page (6) Assistance in producing a camera-ready version of the workshop proceedings Important Dates Workshop Proposals Deadline: March 31, 2014 Workshops Proposals Acceptance Notification: April 15, 2014 Paper Submission Deadline: May 1, 2014 Notification of Acceptance: July 25, 2014 Camera Ready: August 25, 2014 Organization Committees General Chair Abderrahim Benslimane, University of Avignon, France General Co-Chairs George Angelos Papadopoulos, University of Cyprus, Cyprus Ali Miri, Ryerson University, Canada Steering Committee Chair Samuel Pierre, École Polytechnique de Montréal, Canada Steering Committee Abderrahim Benslimane, University of Avignon, France Dovan Thanh, Telenor & Norwegian Univ. of Science& Technology, Norway Hussein Mouftah, University of Ottawa, Canada Ibrahim Habib, City University of New York, USA Khaled Ben Letaief, Hong Kong University of Sci. & Tech. Pierre Boucher, Ericsson Research Canada Samuel Pierre, École Polytechnique de Montréal, Canada TPC Co-Chairs Li CHEN, Sun Yat-Sen University, China - wireless communication track Milena Radenkovic, University of Nottingham, UK - ubiquitous, service and application track Lin Xiaodong, University of Ontario Institute of Technology, Canada- wireless networking, mobility and nomadicity track Workshop Co-Chairs Ebrahim Bagheri, Ryerson University, Canada Joaquin Garcia-Alfaro, Telecom SudParis, France Joan Garcia Haro, Universidad Politecnica dede Cartagena, Spain Luis Orozco Barbosa, Universidad de Castilla-La Mancha, Spain Technical Program Committee http://conferences.computer.org/wimob2014/tpc.html -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sat Feb 1 19:36:26 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 1 Feb 2014 19:36:26 +0100 Subject: AlCoB 2014: extended submission deadline 11 February Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: February 11 ***** ---------------------------------------------------------------------------- ********************************************************************* 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: Michael Galperin (National Center for Biotechnology Information, Bethesda), Comparative Genomics Approaches to Identifying Functionally Related Genes Uwe Ohler (Max-Delbrück Centre for Molecular Medicine, Berlin), Decoding Non-coding Regulatory Regions in DNA and RNA (tutorial) Jason Papin (University of Virginia, Charlottesville), Network Analysis of Microbial Pathogens 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 published by Springer in the LNCS/LNBI series will be available by the time of the conference. A special issue of IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB, 2012 impact factor: 1.616) 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 11, 2014 (23:59 CET) – EXTENDED – Notification of paper acceptance or rejection: March 15, 2014 Final version of the paper for the LNCS/LNBI 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 TCBB 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 laurent.perrussel at ut-capitole.fr Sun Feb 2 10:49:10 2014 From: laurent.perrussel at ut-capitole.fr (Laurent Perrussel) Date: Sun, 02 Feb 2014 10:49:10 +0100 Subject: CFP: ESSLLI Workshop on Information Dynamics in Artificial Societies (IDAS@ESSLLI-14) Message-ID: <52EE1496.2090509@ut-capitole.fr> First Call for Papers - Deadline: April 30, 2014 --------------- International Workshop on Information Dynamics in Artificial Societies (IDAS at ESSLLI2014) http://www.irit.fr/~Laurent.Perrussel/idas-14/ Tubingen (Germany) - August 18-22, 2014 Workshop goal ------------- Describing intelligent agents with the help of cognitive and social notions is now well established in the domain of artificial intelligence. In the recent years, concepts such as trust, reputation, delegation, commitment and convention have been proposed in order to describe how artificial agents interact in an artificial society or in a virtual organization. This workshop aimed at discussing formal theories and logics of information dynamics—including formal theories and logics of belief and preference change, learning theory, social choice theory and judgement aggregation—in order to better understand: - how information circulates in an artificial society by direct interaction, communication, signaling, etc.; - how it influences the individual cognitive attitudes (e.g., beliefs, preferences, trust) and the collective attitudes (e.g., mutual expectations and beliefs). The workshop is an event of ESSLLI-14 and will take place on August 18-22 2014, Tubingen, Germany. For more details about ESSLLI: http://www.esslli2014.info/ Call for submissions ------------------- This workshop aims at discussing formal theories and logics of information dynamics, including formal theories and logics of belief and preference change, learning theory, social choice theory and judgement aggregation. Its scope includes not only the technical aspects of logics, but also multidisciplinary aspects from social sciences (economics, social psychology and sociology), social epistemology and linguistics. By focusing on the foundational issues of information dynamics, the workshop will provide a better understanding of key issues such as: are the belief change techniques relevant for modelling cognitive state dynamics? What is the role of communication in trust's breakdown and repair? How information propagates in a social network or in a multi-agent system? Are existing formal theories of belief change and existing formal theories of learning relevant for modelling the dynamics of conventions? Scope ----- Topics of interest include: - Belief change - Formal theories of lying and deception - Social choice theory - Judgement aggregation - Reasoning about action and change - Theories of signalling - Theories of conventions - Learning theory - Epistemic game theory - Speech act theory - Dynamic epistemic logic (DEL) - Logics of agency - Preference dynamics - Theories of delegation - Social network theory As shown by the previous topics, the workshop has an multidisciplinary nature, it covers not only research in AI but also research in economics, philosophy of interaction, sociology, social psychology and linguistics. It reflects the aim of ESSLLI to foster interdisciplinary discussion. Program Committee ----------------- *Workshop chairs* Emiliano Lorini IRIT - Univ. de Toulouse (France) Laurent Perrussel IRIT - Univ. de Toulouse (France) *PC members* Thomas Agotnes (Uni. of Bergen - Norway) Guillaume Aucher (IRISA - Uni. of Rennes - France) Jan Broersen (Utrecht Uni. - The Netherlands) Robert Demolombe (IRIT - Uni. of Toulouse - France) Rino Falcone (ISTC - Roma - Italy) Nina Gierasimczuk (Uni. of Amsterdam - The Netherlands) Davide Grossi (Uni. of Liverpool - UK) Andreas Herzig (IRIT - Uni. of Toulouse - France) Wiebe van der Hoek (Uni. of Liverpool - UK) Andrew Jones (King's college London - UK) Barteld Kooi (Uni. of Groningen - The Netherlands) Tiago de Lima (CRIL - Uni. of Artois - France) Fenrong Liu (Tsinghua Uni. - China) Eric Pacuit (Uni. of Maryland - USA) Olivier Roy (Uni. of Bayreuth - Germany) Jordi Sabater (IIIA-CSIC - Barcelona - Spain) Francois Schwarzentruber (IRISA - Uni. of Rennes - France) Jeremy Seligman (Auckland Uni. - New Zealand) Sonja Smets (Uni. of Amsterdam - The Netherlands) Leon van der Torre (Uni. of Luxembourg - Luxembourg) Nicolas Troquard (ISTC - Trento - Italy) Laure Vieu (IRIT - Uni. of Toulouse - France) Renata Wasserman (Uni. of Sao Paulo - Brazil) Dongmo Zhang (Uni. of Western Sydney - Australia) Submission ---------- Interested authors should format their papers according to AAAI formatting guidelines. Submitted papers might be at the time of submission under review or accepted for publication in a journal or another conference. Papers should not exceed 8 pages and are due by April 30, 2014. All papers will be reviewed by at least two reviewers. Papers must be submitted as PDF through the EasyChair conference system: https://www.easychair.org/conferences/?conf=idasesslli14 The proceedings of IDAS at ESSLLI-14 workshop will be published in an informal way on the workshop website. An author of each accepted paper is required to register at ESSLLI and present the paper at ITDAS at ESSLLI-14. A special issue of the Journal of Applied Non-Classical Logics (JANCL) is planned based on selected papers presented at the workshop, of which full versions will be independently reviewed. Key dates --------- Submission deadline April 30, 2014 Acceptance notification May 30, 2014 Camera ready June 30, 2014 Workshop August 18-22, 2014 Sponsorship ----------- This workshop will form part of the coordination activities of SINTELNET (http://www.sintelnet.eu/), the European Network for Social intelligence (FP7-286370), within the Working Group co-chaired by Emiliano Lorini. About Esslli ------------ The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world. There will be about 50 courses at introductory and advanced levels, as well as workshops, invited lectures and a student session (August 11-August22). From announce at cs.ucy.ac.cy Sun Feb 2 13:39:25 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 2 Feb 2014 14:39:25 +0200 Subject: DeSE 2014: First Call for Papers Message-ID: *** First Call for Papers *** Seventh International Conference on Developments in eSystems Engineering (DeSE '2014) 25th - 27th August 2014 Azia Hotel and Spa 5*, Paphos, Cyprus www.dese.org.uk Recent years have witnessed increasing interest and development in computerised systems and procedures, which exploit the electronic media in order to offer effective and sophisticated solutions to a wide range of real-world applications. Innovation and research development in this rapidly evolving area of eSystems has typically been reported on as part of cognate fields such as, for example: Information and Communications Technology, Computer Science, Systems Science, Social Science and engineering. This conference, on the developments in eSystems Engineering will act as a platform for disseminating and discussing new research findings and ideas in this emerging field. Papers are invited on all aspects of eSystem Engineering, modelling and applications, to be presented at a three day conference in Paphos, Cyprus. Authors will have their submissions reviewed by international experts and accepted papers will appear in the conference proceedings published by the Conference Publication Services (CPS) for worldwide presence. The event provides authors with an outstanding opportunity for networking and presenting their work at an international conference. The location offers an especially attractive opportunity for professional discussion, socialising and sightseeing. DeSE 2014 conference is technically co-sponsored by IEEE. DeSE 2014 comprises an exciting spectrum of highly stimulating tracks: o eLearning (Technology-Enhanced Learning) o eGovernment systems, Autonomic Computing and AI o eBusiness and Management o eHealth and e-Medicine o eScience and Technology o eSecurity and e-Forensics o eEntertainment and Creative Technologies o eNetworking and Wireless Environments o eUbiquitous Computing and Intelligent Living o Green and Sustainable Technologies o eCulture and Digital Society o eSport Science o eSystems Engineering (Main Stream) o Sustainable Construction and Renewable Energy All submitted papers will be peer-reviewed. Accepted and presented papers may be published in the final technical conference proceedings, and may be indexed in IEEE Xplore and EI Compendex, subject to final approval by the Conference Technical Committee. Venue Azia Resort and Spa 5*, Paphos, Cyprus Built as three different sections on adjacent grounds, with plethora of magnificent spaces for carefree living, the Azia Resort has all the diversity to keep its guests contented for a week or longer. Each element of the three-in-one boutique Cyprus hotel concept has its own character and fulfils different aspirations of the visitor. The Azia Blue is about sophisticated, spacious living and family luxury hotel. The Azia Club and Spa is ideal for privacy and indulgence. One of the few resorts or Cyprus hotels with a west-facing outlook, the Azia hotel provides guests with a sublime view of blazing indescribable sunsets. Tentative Dates Submission Deadline: May 31st, 2014 Notification of Acceptance: June 30st, 2014 Camera-Ready Submission: July 15th, 2014 -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mit at cse.unsw.edu.au Mon Feb 3 04:39:45 2014 From: mit at cse.unsw.edu.au (Michael Thielscher) Date: Mon, 3 Feb 2014 14:39:45 +1100 Subject: KI 2014: Call for Papers Message-ID: <1F4275CC-271B-4C6E-82C8-B0B40944A797@cse.unsw.edu.au> **** Please accept our apologies if you receive multiple copies of this call **** ====================================================================== KI 2014 - The 37th German Conference on Artificial Intelligence Stuttgart, September 22--26, 2014 ====================================================================== www.ki2014.de KI 2014 is the 37th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing a premier forum for exchanging news and research results on theory and applications of intelligent system technology. The technical program of KI 2014 will comprise paper and poster presentations and a variety of workshops and tutorials. KI 2014 will be co-located with Informatik 2014 (Annual Conference of the German Informatics Society) and MATES 2014 (The 12th German Conference on Multi- Agent System Technologies). The conference invites original research papers from all areas of AI, its fundamentals, its algorithms, its history and its applications. You are invited to submit original research and application papers on all aspects of AI research, including but not limited to the following: - Agent-based and multiagent systems - AI applications and innovations - Cognitive modeling - Commonsense reasoning - Computer vision - Constraint satisfaction, search, and optimization - Evolutionary computation - Game playing and interactive entertainment - Information retrieval, integration, and extraction - Knowledge acquisition and ontologies - Knowledge representation and reasoning - Machine learning and data mining - Multidisciplinary AI - Natural language processing - Planning and scheduling - Robotics - Uncertainty in AI - Web and information systems We especially welcome application papers that provide novel insights on the interplay of AI and the real world, as well as papers that bring useful computational technologies from other areas of computer science into AI. ======== Important Dates ======== Workshop/Tutorial submission: March 15 Full/Short Paper submission: May 1 Acceptance notification: June 23 Final version due: July 4 KI Workshops and Conference: September 22-26 ======== Workshops, Tutorials, Doctoral Consortium ======== Together with the main conference, we plan to organize a small number of high-quality workshops and tutorials. We especially encourage workshops organized by AI Special Interest Groups (GI-Fachgruppen), workshops that bring together researchers from different disciplines, and workshops that highlight emerging topics of AI research. Tutorials should target a large percentage of conference participants, including graduate students as well as experienced researchers, and practitioners. The technical program of KI2014 is also complemented by a doctoral consortium that invites participation by PhD students at any stage and from any subject area within AI. The KI doctoral consortium is organized as a joint event with the doctoral program of Informatik 2014, and includes a mentoring program, a PhD workshop, and poster presentations. For details on submitting workshop and tutorials and for applying to the doctoral consortium, please see the KI2014 web page. ======== Submission ======== Submitted papers, which have to be in English, must not exceed 12 pages in Springer LNCS style for full technical contributions and 6 pages for short papers. Full technical papers are expected to report on new research that makes a substantial technical contribution to the field. Short papers are also included in the main proceedings and can report on new research or other issues of interest to the AI community. Examples of work suitable for short paper submissions include: novel ideas whose scope is not large enough for a full paper: important implementation techniques; novel interesting benchmark problems; short experimental studies; interesting applications that are not yet completely solved or analyzed; position or challenge papers; etc. Short paper submissions are especially invited for software demonstration or PhD work in progress. Submission will be through the Easychair conference management system : http://www.easychair.org/conferences/?conf=ki2014 Papers will be subject to blind peer review. All papers will be reviewed based on the standard criteria of relevance, significance of results, originality of ideas, soundness, and quality of the presentation. All accepted papers will be published in the main conference proceedings, and will be presented at the conference. At least one author of each accepted paper must register for the conference and present the contribution. The KI 2014 proceedings will be published by Springer as a volume of the LNAI (Lecture Notes in Artificial Intelligence) series. ======== Main Organizers ======== Program Chairs * Carsten Lutz (Universität Bremen) * Michael Thielscher (University of New South Wales) Workshop and Tutorial Chair * Frieder Stolzenburg (Hochschule Harz) Doctoral Consortium Chair * Markus Krötzsch (TU Dresden) For enquiries, please contact ki2014 at easychair.org. From jean at ensma.fr Mon Feb 3 10:14:37 2014 From: jean at ensma.fr (=?ISO-8859-1?Q?St=E9phane_Jean?=) Date: Mon, 03 Feb 2014 10:14:37 +0100 Subject: Extended Deadline: ISMIS 2014 Special Session on Cooperativeness and Flexibility in Semantic Web Databases Message-ID: <52EF5DFD.9010907@ensma.fr> (with apologies for cross postings) ===================================================================================================== ISMIS 2014 Conference Roskilde, Denmark, June 25-27, 2014 A SPECIAL SESSION: Cooperativeness and Flexibility in Semantic Web Databases ORGANIZERS: Allel Hadjali (allel.hadjali at ensma.fr), LIAS/ENSMA, Poitiers, France Stéphane Jean (stephane.jean at ensma.fr), LIAS/ENSMA - Poitiers University, Poitiers, France Peter Dolog (dolog at cs.aau.dk ), IWIS-DCS/Aalborg University, Denmark SCOPE: With the increased use of the Semantic Web and the emergence of new applications (such as in bioinformatics, environment and medicine) requiring data models that support complex relationships and rich constructs, a huge amount of RDF data are produced and several data sets are made available on the Web (e.g, YAGO or DBpedia). To provide an efficient management of these data, specialized databases called Semantic Web Databases (SWDBs) have been designed. SWDBs have attracted the attention and the interest of both scientific and industrial communities leading to the development of products such as Oracle Semantic Technologies or Jena. Some of the most crucial challenges that modern-day SWDBs have to face are related to the massive data (which can be heterogeneous, imprecise, uncertain, incomplete and/or inconsistent) and to the complex and diverse nature of users' needs (which can be imprecise, partially known and ill-expressed). Thus, it is highly desirable that such systems should, on the one hand, show some advanced forms of flexibility and, on the other hand, exhibit capabilities of cooperative and intelligent behaviors. Flexibility in such a context might be intended in several ways; among which the following ones: (i) the capability of querying large amount of data in a user-friendly way so as to retrieve the information which is the most relevant to specific user needs; (ii) the capability of managing and exploiting imprecise, partially known, and uncertain data. As for cooperativeness, one might think to the ability of such systems to provide correct, non-misleading and useful answers, rather than literal answers to users' queries. Answers that, on the one hand, better serve the users' needs and expectations and, on the other hand, do not result in a tedious and time consuming task when selecting the best ones. Avoiding thus the common problem of the empty/unsatisfactory answers and that of the too many results. This special session will provide an opportunity to exchange ideas and to discuss recent theoretical and experimental results on the two above research topics in the context of Semantic Web Databases. Hopefully, it will contribute to identifying new promising directions of research and unsolved problems in this area. We invite contributions that address the following areas, but are not limited to: - Query relaxation/intensification - Empty/plethoric answers problem - Cooperative and intelligent query answering - Flexible/personalized querying - Managing incomplete/missing data - Soft computing applied to semantic Web databases - Dealing with large semantic datasets in cooperative and flexible way We encourage submissions of papers, which have not been published or submitted to any other conference, about theoretical advances in these core areas as well as papers which deal with some practical insights resulting from experiments or implementations. The same deadline as for the regular papers to be submitted to the ISMIS 2014 will be observed, i.e. *February 17, 2014* (http://isl.ruc.dk/ismis2014/index.php). However, the potential contributors are requested to send at their earliest convenience an e-mail message, addressed to allel.hadjali at ensma.fr or to dolog at cs.aau.dkc, confirming the intent to submit a paper and giving its tentative title and a list of the authors. Submitted papers must comply with the ISMIS 2014 guidelines for submission (http://isl.ruc.dk/ismis2014/paper_submission/). They will be reviewed by three special session PC members. The accepted papers will be published in the main conference proceedings. CONTACT INFORMATION Allel Hadjali (allel.hadjali at ensma.fr) Stéphane Jean (stephane.jean at ensma.fr) Peter Dolog (dolog at cs.aau.dk ) PROGRAM COMMITTEE Mara Abel, BDI, UFRGS, Porto Alegre, Brazil Soren Auer: AKSW, University of Bonn, Germany Wolf-Tilo Balke, TUB, Institut für Informationssysteme, Germany Patrice Buche, IATE-JRU, INRA, Montepellier, France Olivier Corby, I3S & INRIA Sofia Antipolis, France Guy De Trè, DDCM, Ghent University, Belgium Mohand-Said Hacid, LIRIS, University of Lyon1, France Katja Hose, DCS, Aalborg University, Denmark Maria Martin-Bautista, DCS-AI, University of Granada, Spain Rokia Missaoui, LARIM, Université du Québec, Canada Daniel Rocacher, IRISA/ENSSAT, Lannion, France Umberto Straccia, ISTI/CNR, Pisa, Italy Heiner Stuckenschmidt, AI-DM-DS, University of Mannheim, Germany) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bulling at in.tu-clausthal.de Mon Feb 3 14:33:59 2014 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Mon, 3 Feb 2014 14:33:59 +0100 Subject: LAMAS Final CFP References: <309787E8-2650-4AEB-97B5-66C373942095@liverpool.ac.uk> Message-ID: <001C4B91-9739-4A4F-9BA6-F517B7069306@in.tu-clausthal.de> ======================================================== 7th Workshop on Logical Aspects of Multi-Agent Systems *** LAMAS 2014 *** (satellite workshop of AAMAS 2014) May 5 or 6, 2014, Paris, France http://lamas2014.in.tu-clausthal.de Final Call for Papers Submission deadline extended to February 9, 2014 ======================================================== ================================= INTRODUCTION ================================= There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop serves the community as a platform for presentation, exchange, and publication of ideas. The workshop is intended to cover the following subjects: - Logical systems for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - Logic in game theory - Logic in social choice theory - 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 ================================= Authors are invited to submit papers in the following three categories: - Regular papers up to 15 pages, describing original unpublished research. Position papers and visionary work in progress can also be submitted in this category. Simultaneous submission to another venue is not allowed. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Extended abstracts of 2-5 pages reporting interesting and relevant work that has been published (or accepted for publication) in the last 12 months. Submissions should be anonymous, subject to double-blind reviewing procedure. Each submission will be reviewed by at least 2 PC members. Papers must be in PDF format and prepared according to the Springer LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html. ================================= PROCEEDINGS AND POST-PROCEEDINGS ================================= 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. Workshop post-proceedings are planned as a journal special issue of STUDIA LOGICA. The submissions to that special issue will be subject to another reviewing and selection process. ================================= Keynote Speakers ================================= Invited talk: Prof. John-Jules Meyer, Utrecht University, the Netherlands Invited tutorial: Prof. Thomas Agotnes, University of Bergen, Norway ================================= TUTORIAL SESSION ================================= According to the rules of AAMAS workshops, the workshop will include a one hour tutorial session covering topics of: (i) logic-based modeling of MAS, (ii) deduction and meta-logical properties and techniques (satisfiability, bounded model property, etc.), and (iii) applications of logics in MAS (e.g. Verification). ================================= IMPORTANT DATES ================================= Paper submission: February 9, 2014 (extended deadline) Author notification: February 19, 2014 Camera-ready deadline: March 19, 2014 Workshop: May 5 or 6, 2014 ================================= WORKSHOP and PC CHAIRS ================================= Nils Bulling, Clausthal University of Technology, Germany Wiebe van der Hoek, University of Liverpool, UK ================================= PROGRAM COMMITTEE ================================= Thomas Agotnes, University of Bergen, Norway Natasha Alechina, University of Nottingham, UK Thomas Bolander, Technical University of Denmark, Denmark Jan Broersen, Utrecht University, the Netherlands Juergen Dix, Clausthal University of Technology, Germany Michael Fisher, University of Liverpool, UK Pietro Galliani, Clausthal University of Technology, Germany Valentin Goranko, Technical University of Denmark Andreas Herzig, University of Toulouse, France Wojciech Jamroga, University of Luxembourg, Luxembourg Joao Leite, New University of Lisbon, Portugal Emiliano Lorini, Universite Paul Sabatier, France John-Jules Meyer, Utrecht University, the Netherlands Aniello Murano, Universita di Napoli Federico II, Italy Ram Ramanujam, Institute of Mathematical Sciences, Chennai, India Pierre-Yves Schobbens, University of Namur, Belgium Nicolas Troquard, Laboratory of Applied Ontology, Trento, Italy Dirk Walther, Dresden University of Technology, Germany Michael Wooldridge, University of Oxford, UK ================================= ORGANIZATION AND CONTACT ================================= The workshop is organized by Nils Bulling, Clausthal University of Technology and Wiebe van der Hoek, University of Liverpool. In case of questions, do not hesitate to contact us at bulling at in.tu-clausthal.de and wiebe.van-der-hoek at liverpool.ac.uk, respectively. -- Dr. Nils Bulling Clausthal University of Technology, Germany http://www.nilsbulling.com phone: +49 5323 72 7182 From t.balke at surrey.ac.uk Mon Feb 3 20:33:15 2014 From: t.balke at surrey.ac.uk (t.balke at surrey.ac.uk) Date: Mon, 3 Feb 2014 19:33:15 +0000 Subject: CFP: Social.PATH 2014 - Computational Social Science and Social Computer Science: Two Sides of the Same Coin Message-ID: <078E14F1-C7ED-4FD5-8487-5A6CBA3A9918@surrey.ac.uk> [Apologies for cross-posting] ======================================================================================================= Social.Path 2014 - Computational Social Science and Social Computer Science: Two Sides of the Same Coin (23.-24.6.2014, University of Surrey, UK, http://www.ias.surrey.ac.uk/workshops/computational/index.php) ======================================================================================================= Social science concepts such as norms, markets and rationality have found their way into computer science in general and agent-based research in particular where they model coordination between largely independent autonomous computational entities. Vice versa, in the social sciences - sociology, philosophy, economics, legal science, etc. - computational models and their implementations have been used to investigate the rigour of theories and hypothesis. The use of these social science concepts in computer science is sometimes on a more metaphorical level than a detailed implementation of the "real" concept and the theories surrounding it. Equally, the computer models used in the social sciences are not always convincing. At the same time, through the European Network for Social Intelligence the burgeoning of an interest in fundamentally re-thinking the modelling of social reality could be detected. This was supported by a new research initiative to re-question existing models, which indicated that although intelligence is well covered, sociality has been undermodelled as yet. In order to overcome this problem and to facilitate future interaction of the two worlds, in March 2013 as first workshop – called SocialPath – was held. At this workshop key researchers from the different worlds were invited to discuss their ideas for integration. One main finding of this workshop was that computer science and social science do not need the richness of each others work at all times, which is why, together with the workshop participants, (1) we identified a set of scenarios which are scientifically relevant to both communities, and (2) analysed commonalities between these scenarios. Two particular questions identified in this way were the problem of the operationalization of human behaviour in realistic settings (where perfect rationality is not applicable anymore), as well as the modelling and analys is of interplay of bottom-up and top-down approaches to study complex systems. We invite contributions from all research disciplines that - describe social science theory-inspired computational models that aim to operationalize human behaviour in realistic set, or - present theories of social theory of human behaviour in computational form, or - examine the value of models focussing on computation social science, social computer science and the relation between the two. The workshop aims to provide a meeting point for researchers interested in the workshop topic with the aim of facilitating future interactions and research. There will therefore be ample time for discussion as well as for presentations. Submission ================= Papers should have a forward-looking perspective that contributes to the objectives of the workshop. They may take the form of a standard report on research but challenging position papers are especially welcome. The technicality of the papers should take the mixed audience into consideration. The paper should present unpublished work. The maximum length of for papers is 16 A4-sized pages in Springer LNCS format , but shorter papers are also very welcome. The paper should be in PDF format. Please submit via the online paper submission system Easychair . Key Dates ================= Submission deadline: 11th April 2014. Notification of acceptance: 11th May 2014 Camera-ready versions due: 8th June 2014 Registration opens: 23rd April 2014 Registration closes: 1st June 2014 Workshop: 23rd-24th June 2014 From calimeri at mat.unical.it Mon Feb 3 23:50:56 2014 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Mon, 3 Feb 2014 23:50:56 +0100 Subject: 5th Answer Set Programming Competition 2014 - CALL FOR PARTICIPANTS Message-ID: [apologies for any cross-posting] ======================================================================== ================================================================== 5th Answer Set Programming Competition 2014 Call for Participant Systems Aalto University, University of Calabria, University of Genova Spring/Summer 2014 https://www.mat.unical.it/aspcomp2014 aspcomp2014 at mat.unical.it ================================================================== Special edition of the ASP competition series -system track- part of the Olympic Games of the Vienna Summer of Logic 2014 == Important Dates == * March 1st, 2014: Participant registration opens * March 31st, 2014: The competition starts * July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd) ======================================================================== Answer Set Programming (ASP) is a well-established paradigm of declarative programming with close relationship to other declarative modeling paradigms and languages, such as SAT Modulo Theories, Constraint Handling Rules, FO(.), PDDL, CASC, and many others. The ASP Competition is usually a biannual event for evaluating declarative knowledge representation systems on hard and demanding AI problems. Past ASP Competition editions were held at the University of Potsdam (Germany) in 2007, the University of Leuven (Belgium) in 2009, the University of Calabria (Italy) in 2011 and the Vienna University of Technology (Austria) in 2013. As anticipated during the 2013 presentation, in order to join the Vienna Summer of Logic, which is expected to be the largest event in the history of logic, ASP competition departs, this year, from the "usual" timeline, and the 5th ASP Competition will be run in the first half of 2014, jointly at Aalto University (Finland), University of Calabria (Italy) and University of Genova (Italy). The event is affiliated with the 30th International Conference on Logic Programming (ICLP). Another reason for having an event just one year after the 4th ASP Competition is the fact that the new ASP-Core-2 language standard has been introduced in 2013, but, unfortunately, it was not fully supported by most participant to the 2013 edition, and/or submitters did not succeed at supporting the new language features in a completely satisfactory way, due to limited time resources. Thus, an "early" event can be an opportunity to push the usage of the new standard, and draw a more complete picture about the approaches that can efficiently solve problems with various features. == Call for Participant Systems == Participants of the Answer Set Programming Competition will compete on a selected collection of benchmark problems, taken from a variety of benchmark problem domains as well as real-world applications. These include, but are not limited to: * Classic and application-oriented graph problems * Scheduling, Timetabling, and other resource allocation problems * Sequential and Temporal Planning * Combinatorial Optimization problems * Deductive Database tasks on large data-sets * Puzzles and Combinatorics * Ontology reasoning * Automated Theorem Proving and Model Checking * Constraint Programming problems * Other AI problems The competition consists of a System Track (as called in past competitions), which compares dedicated solvers on ASP benchmarks. Participants compete with solving systems for the ASP-Core language. Some more details are given in the following: - The benchmark domains are taken from past editions. - Systems of the 2013 edition will be considered. (Developers will have the chance of submitting up-to-date versions of their solvers.) - Submissions of new solvers are encouraged. The competition will not be limited to sub-tracks based on "complexity" of problems (as in past events), but rather will take into consideration language features: sub-tracks will range from a basic language, to (by adding features such as aggregates and choice rules) to the ASP-Core-2 language. The aim is to clearly indicate what (combinations of) techniques work for a particular (set of) feature(s), and also widening the participation to teams that cannot (yet) support the full standard. The final sub-track design will depend on the availability of benchmarks as well as systems. Participants are encouraged to inform us about any limitations or requirements of their systems so that we can take them into account in the sub-track design. We welcome the submission of parallel and portfolio systems making use of multiple cores or multiple algorithms for solving the given instances. These solvers will have dedicated tracks, assuming a sufficient number of submissions in each track. Of course, we also welcome the submission of any kind of solvers, e.g., SAT solvers, SMT solvers, CP systems, FOL theorem provers, Description Logics reasoners, Planning reasoners, or any other that can be adapted/applied to the evaluation of logic programs encoded in ASP-Core-2. == Important Dates == * March 1st, 2014: Participant registration opens * March 31st, 2014: The competition starts * July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd) For further information and submission instructions please visit the competition web site https://www.mat.unical.it/aspcomp2014 or contact us by email: aspcomp2014 at mat.unical.it From invitation at iariaannounce.org Tue Feb 4 08:11:24 2014 From: invitation at iariaannounce.org (NexTech 2014) Date: Tue, 04 Feb 2014 02:11:24 -0500 Subject: 2nd CfP: NexTech 2014 : August 24 - 28, 2014 - Rome, Italy Message-ID: <1391497884108.1483@iariaannounce.org> INVITATION: Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events under NexTech 2014. The submission deadline has been extended to March 28, 2014. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= NexTech 2014 : August 24 - 28, 2014 - Rome, Italy see: http://www.iaria.org/conferences2014/NexTech14.html NexTech 2014 is a federated event focusing on advanced topics concerning mobile systems, advanced computation, network intelligence, semantic processing, ambient technologies, and data analysis. Submission (full contribution) deadline: March 28, 2014 Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org All tracks/topics are open to both research and industry contributions. -- UBICOMM 2014, The Eighth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies http://www.iaria.org/conferences2014/UBICOMM14.html -- ADVCOMP 2014, The Eighth International Conference on Advanced Engineering Computing and Applications in Sciences http://www.iaria.org/conferences2014/ADVCOMP14.html -- SEMAPRO 2014, The Eighth International Conference on Advances in Semantic Processing http://www.iaria.org/conferences2014/SEMAPRO14.html -- AMBIENT 2014, The Fourth International Conference on Ambient Computing, Applications, Services and Technologies http://www.iaria.org/conferences2014/AMBIENT14.html -- EMERGING 2014, The Sixth International Conference on Emerging Network Intelligence http://www.iaria.org/conferences2014/EMERGING14.html -- DATA ANALYTICS 2014, The Third International Conference on Data Analytics http://www.iaria.org/conferences2014/DATAANALYTICS14.html -- GLOBAL HEALTH 2014, The Third International Conference on Global Health Challenges http://www.iaria.org/conferences2014/GLOBALHEALTH14.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about NexTech, please reply with "DROP NexTech event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From ecai2014 at guarant.cz Tue Feb 4 10:24:06 2014 From: ecai2014 at guarant.cz (ecai2014) Date: Tue, 4 Feb 2014 09:24:06 +0000 Subject: PAIS'14 Second Call for Papers Message-ID: PAIS'14 Second Call for Papers Conference on Prestigious Applications of Intelligent Systems 20 - 21 August 2014, Prague, Czech Republic http://www.ecai2014.org The PAIS'14 Programme Committee invites papers describing innovative applications of AI techniques to real-world systems and problems to be submitted to the Technical Programme of the 8th International Conference on the Prestigious Applications of Intelligent Systems - a subconference of the 21st European Conference on Artificial Intelligence (ECAI'14). Papers highlighting all aspects of the application of intelligent systems technology are most welcome. Our aim is to provide a forum for academic and industrial researchers and practitioners to share experience and insight on the applicability, development and deployment of intelligent systems. PAIS is the largest showcase in Europe of real applications using AI technology and is the ideal place to meet developers of successful applications. Papers on all novel and significant applications of intelligent systems are welcome. We encourage submissions on deployed (in production use for some period) and emerging (in field testing) applications. Both long (6-page) and short (2-page) papers can be submitted. Whereas long papers should report on substantial results, short papers are intended for highly promising but possibly more preliminary work. Short papers will be presented in poster form. Rejected long papers will also be considered for the short paper track. Submitted papers must be formatted according to ECAI'14 guidelines and submitted electronically through the ECAI'14 paper submission site. Full instructions including formatting guidelines and electronic templates are available on the ECAI'14 website. End of submission period: 1 March 2014 Author feedback: 14-18 April 2014 Notification of acceptance/rejection: 9 May 2014 Camera-ready copy due: 30 May 2014 The proceedings of PAIS'14 will be included in ECAI'14 and will be published by IOS Press. PAIS'14/ECAI'14 will be held in the beautiful and historic city of Prague, the capital of the Czech Republic. With excellent opportunities for sightseeing and gastronomy, Prague promises to be a wonderful venue for a memorable conference. PAIS'14 Conference Chairs: Gerhard Friedrich, Universitaet Klagenfurt, Austria Barry O'Sullivan, University College Cork, Ireland -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From youakim.badr at insa-lyon.fr Tue Feb 4 11:25:35 2014 From: youakim.badr at insa-lyon.fr (Youakim Badr) Date: Tue, 4 Feb 2014 11:25:35 +0100 Subject: CFP: The 6th International ACM Conference on Management of Emergent Digital EcoSystems (ACM MEDES 2014) Message-ID: <70D42A08-F275-4797-92C8-DA88334718E6@insa-lyon.fr> * Please distribute widely and accept our apologies for cross-posting * *************** CALL FOR PAPERS *************** The 6th International ACM Conference on Management of Emergent Digital EcoSystems (MEDES 2014) In-Cooperation with ACM, ACM SIGAPP and IFIP WG 2.6 http://sigappfr.acm.org/MEDES/14/ September 15-17, 2014 Buraidah-Al Qassim, Saudi Arabi Description and Objectives --------------------------- In the world of the Internet, the rapid growth and exponential use of digital medias leads to the emergence of virtual environments namely digital ecosystems composed of multiple and independent entities such as individuals, organizations, services, software and applications sharing one or several missions and focusing on the interactions and inter-relationships among them. The digital ecosystem exhibits self-organizing environments, thanks to the re-combination and evolution of its "digital components", in which resources provided by each entity are properly conserved, managed and used. The underlying resources mainly comprehend data management, innovative services, computational intelligence and self-organizing platforms. Due to the multi-disciplinary nature of digital ecosystems and their characteristics, they are highly complex to study and design. This also leads to a poor understanding as to how managing resources will empower digital ecosystems to be innovative and value-creating. The application of Information Technologies has the potential to enable the understanding of how entities request resources and ultimately interact to create benefits and added-values, impacting business practices and knowledge. These technologies can be improved through novel techniques, models and methodologies for fields such as data management, web technologies, networking, security, human-computer interactions, artificial intelligence, e-services and self-organizing systems to support the establishment of digital ecosystems and manage their resources. The International ACM Conference on Management of Emergent Digital EcoSystems (MEDES) aims to develop and bring together a diverse community from academia, research laboratories and industry interested in exploring the manifold challenges and issues related to resource management of Digital Ecosystems and how current approaches and technologies can be evolved and adapted to this end. The conference seeks related original research papers, industrial papers and proposals for demonstrations. Topics ------- MEDES 2014 seeks contributions in the following 10 areas: 1. Digital Ecosystem Infrastructure 2. Cloud computing 3. Emergent Intelligence 4. Service systems and Engineering 5. Trust, Security & Privacy 6. Data & Knowledge Management 7. Intelligent Web 8. Human-Computer Interaction 9. Networks and Protocols 10. Open Source Paper Submission ---------------- Submissions must be in an electronic form as PDF format and should be uploaded using the conference website. The submitted paper should be at most 8 ACM single-space printed pages. Papers that fail to comply with length limit will be rejected. Submissions will be peer-reviewed by at least 3 peer reviewers. After the preliminary notification date, authors rebut by evidence and arguments all reviewer inquiries and their comments. Based on the rebuttal feedback, reviewers notify authors with the final decision. Selection criteria will include: relevance, significance, impact, originality, technical soundness, and quality of presentation. Preference will be given to submissions that take strong or challenging positions on important emergent topics related to Digital Ecosystems. At least one author should attend the conference to present the paper. The conference Proceedings will be published by ACM and indexed by the ACM Digital Library and DBLP. Important Dates ---------------- Submission Deadline: 12 May 2014 Notification of Acceptance: 13 July 2014 Camera Ready: 07 August 2014 Conference Dates: 15-17 September 2014 Special Tracks: ---------------- Big Data Processing and Management Computational Intelligence Special issues and Journal Publication --------------------------------------- Extended versions of selected papers will be published in several peer reviewed journals. The list of journals will be announced later. General Chair -------------- Obaid Al Motairy, Qassim University, KSA Richard Chbeir, UPPA University, France Mohammed Alodib, Qassim University, KSA Lamri Laouamer, Qassim University, KSA Program Chair -------------- Morad Benyoucef, University of Ottawa, Canada Saad Harous, United Arab Emirates University, UAE International Advisory Board Members ------------------------------------ Asanee Kawtrakul, NECTEC, Thailand Janusz Kacprzyk, Polish Academy of Sciences, Poland Philippe De Wilde, Heriot-Watt University, Scotland Yasuo Matsuyama, Waseda University, Japan Albert Zomaya, The University of Sydney, Australia Steering Committee Members -------------------------- Youakim Badr, INSA de Lyon, France Fernando Ferri, IRPPS-CNR, Italy Frederic Andres, National Institute of Informatics, Japan Richard Chbeir, University of Bourgogne, France Hiroshi Ishikawa, Shizuoka University, Japan Asanee Kawtrakul, NECTEC, Thailand Dominique Laurent, University of Cergy-Pontoise, France Epaminondas Kapetanios, University of Westminster, UK Keynote Speakers ---------------- Fabien Gandon, INRIA, France Ton Kalker, DTS Incorporation, USA Kwei-Jay Lin, University of California, Irvine, USA Azer Bestavros, Boston University, USA Roger Lee, Central Michigan University, USA International Program Committee: -------------------------------- (Please check the web site for the full list) From Meghyn.Bienvenu at lri.fr Tue Feb 4 11:53:59 2014 From: Meghyn.Bienvenu at lri.fr (Meghyn Bienvenu) Date: Tue, 4 Feb 2014 14:53:59 +0400 Subject: CfP 27th International Workshop on Description Logics (DL 2014) Message-ID: <4BFB4486-08EB-48C4-B55F-F8DFC7DB964C@lri.fr> =============================================================================== CALL FOR PAPERS 27th International Workshop on Description Logics (DL 2014) Vienna, Austria, July 17--20, 2014 =============================================================================== The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The workshop will be held at the Technical University of Vienna, from July 17th to July 20th, 2014. This year the DL workshop is part of the Vienna Summer of Logic, a vast event hosting several major logic conferences and workshops (http://vsl2014.at/). In particular, the workshop is co-located with KR 2014 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2014). IMPORTANT DATES --------------- Paper registration deadline: April 7, 2014 Paper submission deadline: April 11, 2014 Acceptance notification: May 26, 2014 Camera ready copies: June 15, 2014 Workshop: July 17-20, 2014 WORKSHOP SCOPE -------------- We invite contributions on all aspects of description logics, including but not limited to: * Foundations of description logics: decidability and complexity of reasoning, expressive power, novel inference problems, inconsistency tolerance, reasoning techniques, and modularity aspects * Extensions of description logics: closed-world and nonmonotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, query languages * Integration of description logics with other formalisms: object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems * Applications and use areas of description logics: ontology engineering, ontology languages, databases, ontology-based data access, semi-structured data, document management, natural language, learning, planning, Semantic Web, and cloud computing * Systems and tools around description logics: reasoners, software tools for and using description logic reasoning (e.g. ontology editors, database schema design, query optimization, and data integration tools), implementation and optimization techniques, benchmarking, evaluation, modeling INVITED SPEAKERS ---------------- * Michael Benedikt, University of Oxford, UK * Patrick Blackburn, University of Roskilde, Denmark * Alon Y. Halevy, Google, USA SUBMISSIONS ----------- * Submissions may be either papers of up to 11 pages (excluding references) or extended abstracts of at most 3 pages (excluding references) and must be formatted in Springer LNCS style. There is no page limit on the list of references. * Extended abstracts are designed for authors who wish to announce results that have been published elsewhere, or which the authors intend to submit or have already submitted to a venue with an incompatible prior / concurrent publication policy. * A clearly marked appendix (e.g., with additional proofs or evaluation data) may optionally be appended. It will be read at the discretion of the reviewers and not included in the proceedings. It does not need to be in LNCS format. * Authors submitting extended abstracts are encouraged to include such an appendix, with sufficient material (e.g. copy of the already published paper or technical report) to judge the scientific merit of the work described in the abstract. * Submission page: http://www.easychair.org/conferences/?conf=dl2014 * Accepted papers and extended abstracts will be made available electronically in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/). * Accepted submissions, be they full papers or extended abstracts, will be selected for either oral or poster presentation at the workshop. Submissions will be judged solely based upon their content, and the type of submission will have no bearing on the decision between oral and poster presentation. ORGANIZATION ------------ * Meghyn Bienvenu, CNRS & University of Paris-Sud (Program co-Chair) * Magdalena Ortiz, Vienna University of Technology (Workshop co-Chair) * Riccardo Rosati, Sapienza University of Rome, Italy (Program co-Chair) * Mantas Simkus, Vienna University of Technology (Workshop co-Chair) RESOURCES --------- * Information about submission, registration, travel information, etc., is available on the DL 2014 homepage: http://dl.kr.org/dl2014 * Enquiries about the DL 2014 workshop can be made by contacting the organizing committee. * The official Description Logic home page is at http://dl.kr.org/ From marco at dist.unige.it Tue Feb 4 14:57:48 2014 From: marco at dist.unige.it (Marco Maratea) Date: Tue, 04 Feb 2014 14:57:48 +0100 Subject: ASPOCP 2014: Call for papers Message-ID: <1391522268.2189.23.camel@marcobook> [Apologize for multiple posting.] =============================================================================== CALL FOR PAPERS ASPOCP 2014 7th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/site/aspocp14 July 23rd, 2014 Affiliated with the International Conference on Logic Programming (part of the Federated Logic Conference 2014) Vienna, Austria July 19-22, 2014 Collocated with the Vienna Summer of Logic 2014 Vienna, Austria July 12-24, 2014 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most studied relationship which is currently extended towards satisfiability modulo theories (SMT), the relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified boolean formulas (QBF), first-order logic (FOL), or FO(ID) logic is also the subject of active research. New methods of computing answer sets are being developed based on the relation between ASP and other paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, FOL theorem provers, and CLP systems. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web), constraint satisfaction, and general means of external computation. This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques in theory, solving, and applications, in combination with or inspired by other computing paradigms. TOPICS Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and external means of computation. - ASP and probabilistic reasoning. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format . Paper submission will be handled electronically by means of the Easychair system. The submission page is available at https://www.easychair.org/conferences/?conf=aspocp14 IMPORTANT DATES Abstract and paper submission deadline: April 1, 2014 Notification: May 1, 2014 Camera-ready articles due: May 20, 2014 Workshop: July 23, 2014 PROCEEDINGS Accepted papers will be made available online and published in the Computing Research Repository (CoRR) afterwards. A selection of extended and revised versions of accepted papers will appear in a special issue of the Journal of Logic and Computation (http://logcom.oxfordjournals.org/), provided that a sufficient amount of high quality papers is collected. Such papers will go through a second formal selection process to meet the high quality standard of the journal. LOCATION The workshop will be held in Vienna, Austria, collocated with the International Conference on Logic Programming (ICLP) 2014. WORKSHOP CO-CHAIRS Daniela Inclezan, Miami University, USA Marco Maratea, DIBRIS - University of Genova, Italy PROGRAM COMMITTEE Marcello Balduccini, Drexler University, USA Gerhard Brewka, University of Leipzig, Germany Pedro Cabalar, Corunna University, Spain Wolfgang Faber, University of Huddersfield, UK Cristina Feier, University of Oxford, UK Johannes Klaus Fichte, Vienna University of Technology, Austria Michael Fink, Vienna University of Technology, Austria Gregory Gelfond, Arizona State University, USA Michael Gelfond, Texas Tech University, USA Enrico Giunchiglia, University of Genova, Italy Giovambattista Ianni, University of Calabria, Italy Tomi Janhunen, Aalto University, Finland Joohyung Lee, Arizona State University, USA Joao Leite, New University of Lisbon, Portugal Yuliya Lierler, University of Nebraska at Omaha, USA Vladimir Lifschitz, University of Texas at Austin, USA Alessandro Mosca, Free University of Bolzano, Italy Emilia Oikarinen, Aalto University, Finland Max Ostrowski, University of Potsdam, Germany Axel Polleres, Vienna University of Economics & Business, Austria Francesco Ricca, University of Calabria, Italy Guillermo R. Simari, Universidad Nacional del Sur, Argentina Evgenia Ternovska, Simon Fraser University, Canada Hans Tompits, Vienna University of Technology, Austria Miroslaw Truszczynski, University of Kentucky, USA Joost Vennekens, Catholic University of Leuven, Belgium Marina De Vos, University of Bath, UK Stefan Woltran, Vienna University of Technology, Austria Fangkai Yang, University of Texas at Austin, USA Jia-Huai You, University of Alberta, Canada From hastings at ebi.ac.uk Tue Feb 4 15:09:57 2014 From: hastings at ebi.ac.uk (Janna Hastings) Date: Tue, 4 Feb 2014 14:09:57 -0000 Subject: Reminder: FOIS 2014 in Rio de Janeiro, call for papers due 3 March In-Reply-To: <01ec01cf21b2$b5137400$1f3a5c00$@ebi.ac.uk> References: <015f01cf21b1$9b070410$d1150c30$@ebi.ac.uk> <016f01cf21b1$e1736d80$a45a4880$@ebi.ac.uk> <018c01cf21b2$14d0d780$3e728680$@ebi.ac.uk> <019c01cf21b2$34f76ec0$9ee64c40$@ebi.ac.uk> <01ac01cf21b2$4681f110$d385d330$@ebi.ac.uk> <01bc01cf21b2$5d42d4f0$17c87ed0$@ebi.ac.uk> <01cc01cf21b2$72927590$57b760b0$@ebi.ac.uk> <01dc01cf21b2$a2dd4860$e897d920$@ebi.ac.uk> <01ec01cf21b2$b5137400$1f3a5c00$@ebi.ac.uk> Message-ID: <01f701cf21b2$c90866a0$5b1933e0$@ebi.ac.uk> (with apologies for cross-posting) CALL FOR PAPERS 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 http://www.iaoa.org/fois/ Email: fois2014 at gmail.com ----------------------------------- DEFINITION AND SCOPE ----------------------------------- Ontology, originally a fundamental part of philosophical enquiry, is concerned with the analysis and categorization of what exists. In recent years, however, a complementary focus of ontological inquiry gained significant momentum fueled by the advent of complex information systems which rely on robust and coherent, formal representations of their subject matter. The systematic study of such representations, their axiomatics, their corresponding reasoning techniques and their relations to cognition and reality, are at the center of the modern discipline of formal ontology. Formal ontology in this modern sense is now a research focus in such diverse domains as conceptual modeling, database design, software engineering, artificial intelligence, computational linguistics, the life sciences, bioinformatics, geographic information science, knowledge engineering, information retrieval, and the Semantic Web. Researchers in all these areas increasingly recognize the need for serious engagement with ontology to provide a foundation for their work, where ontology is understood as a general theory of the types of entities and relations making up their respective domains of enquiry. The FOIS conference is designed to provide a meeting point for researchers from all disciplines with an interest in formal ontology. The conference encourages submission of high quality articles on both theoretical issues and concrete applications. As in previous years, FOIS 2014 is intended as a nexus of interdisciplinary research and communication. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA, website: http://iaoa.org/), which is a non-profit organization the purpose of which is to promote interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. ------------------------------ FORMAT ------------------------------ FOIS is a growing conference, and the 2014 edition will add a number of new facets, including + a formal ontology competition, + an open call for workshops, and + an early career symposium. It will moreover be directly preceded by the Second Interdisciplinary Summer School on Ontological Analysis, to be held in Vitoria, Brazil, between September 15-19. ------------------------------ SCOPE OF FOIS - TOPICS OF INTEREST ------------------------------ We seek high-quality papers on a wide range of topics. Concerning scope, an ideal FOIS paper will address both content-related ontological issues and their formal modeling, as well as their impact and relevance for some aspects of information systems. Areas of particular interest to the conference include the following: Foundational Issues * Kinds of entities: particulars/universals, continuants/occurrents, abstracta/concreta, dependent entities/independent entities, natural objects/artifacts * Formal relations: parthood, identity, connection, dependence, constitution, causality, subsumption, instantiation * Vagueness and granularity * Space, time, and change Methodological issues * Role of reference ontologies * Top-level vs. domain-specific ontologies * Relationship with cognition, language and semantics * Formal comparison among ontologies * Ontology integration and alignment Domain-specific ontologies * Ontology of physical reality (matter, space, time, motion, etc.) * Ontology of biological reality (genes, proteins, cells, organisms, etc.) * Ontology of mental reality and agency (beliefs, intentions, emotions, percepts, etc.) * Ontology of artifacts, functions and roles * Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions, languages, etc.) Applications: * Ontology-driven information systems design * Ontological foundations for conceptual modeling * Knowledge management * Qualitative modeling * Computational linguistics * Information retrieval * Semantic Web, Web services * Business modeling * Ontologies for particular scientific disciplines (biology, chemistry, geography, physics, cognitive sciences, linguistics etc.) * Ontologies for engineering: shape, form and function, artifacts, manufacturing, design, architecture, etc. * Ontologies for the humanities: arts, cultural studies, history, law, literature, philosophy, etc. ----------------------------- IMPORTANT DATES ----------------------------- Paper Submission Deadline: March 3, 2014 Notification: May 5, 2014 Camera-ready papers: June 30, 2014 Conference Dates: September, 22-25, 2014 ----------------------------- SUBMISSION GUIDELINES ----------------------------- Submitted papers must not exceed 14 pages (including the bibliography) and include an abstract of no more than 300 words. Papers should be submitted non-anonymously and be prepared in PDF format in accordance with the IOS formatting guidelines found at http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors / The Easychair submission page can be found at: https://www.easychair.org/conferences/?conf=fois2014 (Select the track 'Research Paper') As with previous FOIS conferences, the proceedings will be published as a volume in the IOS Press series 'Frontiers in Artificial Intelligence and Applications'. -------------------------------------------- CONFERENCE ORGANISATION -------------------------------------------- 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 xavier.parent at uni.lu Tue Feb 4 19:26:24 2014 From: xavier.parent at uni.lu (Xavier PARENT) Date: Tue, 4 Feb 2014 18:26:24 +0000 Subject: 2nd CALL FOR PAPERS - DEON 2014 Message-ID: 2nd CALL FOR PAPERS - DEON 2014 12th International Conference on Deontic logic and Normative Systems 12-15 July 2014, Ghent, Belgium http://www.deon2014.ugent.be [co-located with TiL 2014] The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON 2014 will encourage a special focus on the topic: Deontic modalities in natural language There have been eleven previous DEON conferences: Amsterdam, December 1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse, January 2000; London, May 2002; Madeira, May 2004; Utrecht, July 2006, Luxembourg, July 2008, Fiesole July 2010, Bergen, July 2012. This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8 July - 11 July, same venue: http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html ------------ General Themes ------------ The Program Committee invites papers concerned with the following topics: • the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, logics of action, logics of time, and other related areas of logic • the formal analysis of normative concepts and normative systems • the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability • the normative aspects of protocols for communication, negotiation and multi-agent decision making • the formal representation of legal knowledge • the formal specification of normative systems for the management of bureaucratic processes in public or private administration • applications of normative logic to the specification of database integrity constraints ----------- Special Theme ----------- DEON 2014’s special focus is “Deontic modalities in natural language”. Deontic or normative modality is a subject of common interest for researchers in several fields, including moral philosophy, meta-ethics, linguistic semantics, and deontic logic. Over the past, the deontic modalities have been extensively studied on the logic side. Comparatively, much less attention has been paid to them from a natural language perspective, at least in DEON. There has been a growing interest from linguists in the study of the deontic modalities, mostly in the US, under the influence of Angelika Kratzer’s work. A Deontic Modality Workshop was held in Los Angeles on May 20-22, 2013. We encourage submission of papers describing problems from a natural language perspective that can be a challenge for deontic logic. Topics of interest in this special theme include, but are not limited to: • Challenges from natural language for deontic logic • Relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc • New insights on the deontic paradoxes • Modeling values • Game theoretic aspects of deontic reasoning • Emergence of norms • Norms from a conversational point of view • Norms and argumentation We welcome theoretical work (formal models, representations, logics, specifications, verification), implementation-oriented work (programming languages, design models, simulations, prototype systems) and empirically driven work (linguistics) on these specific topics. -------------------- Invited Speakers ------------------- Sven Ove Hansson (Royal Institute of Technology, Stockholm) Magdalena Kaufmann (University of Connecticut) Paul McNamara (University of New Hampshire) Krister Segerberg (Uppsala University) Bryan Skyrms (University of California, Irvine) ------------------------- Submission Details ------------------------- Authors are invited to submit an original, previously unpublished, research paper pertaining to any of these topics. The paper should be in English, and should be no longer than 15 pages when formatted according the LNCS specifications. The first page should contain the full name and contact information for at least one of the authors, and it should contain an abstract of no more than ten lines. Authors should submit their papers electronically using easychair: https://www.easychair.org/conferences/?conf=deon2014 Each submitted paper will be carefully peer-reviewed by a panel of PC member based on originality, significance, technical soundness, and clarity of exposition and relevance for the conference. For each accepted paper, at least one author is required to register for the conference and should plan to present the paper. --------------- Publication -------------- Copies of the workshop proceedings will be provided to all participants. The proceedings will be published with Springer in their LNCS/LNAI series. During the conference, Springer will also provide temporary free access to the online version of the proceedings on SpringerLink. In addition, we anticipate that revised versions of selected papers from the workshop will subsequently be published in a special issue of the deontic corner of the Journal of Logic and Computation. -------------------- Important Dates ——————— Abstract Submission Deadline: March 1, 2014 Paper Submission Deadline: March 8, 2014 Notification: April 22, 2014 Camera Ready: May 1, 2014 --------------------- Program Chairs ——————— Fabrizio Cariani, Northwestern University Davide Grossi, University of Liverpool Joke Meheus, Ghent University Xavier Parent, University of Luxembourg & University of Aix-Marseille, Ceperc ----------------------------------- Chairs of the Local Organizing Committee --------------------------------- Christian Straßer (Ghent University) Erik Weber (Ghent University) -------------------------- Congress Committee -------------------------- Jean Paul Van Bendegem (Free University Brussels) Fabrizio Cariani (Northwestern University) Davide Grossi (University of Liverpool) John Horty (University of Maryland) Bart Van Kerkhove (University Hasselt) Joke Meheus (Ghent University) Erik Myin (University of Antwerpen) Xavier Parent (University of Luxembourg) Frederik Van De Putte (Ghent University) Christian Strasser (Ghent University) Leon Van Der Torre (University of Luxembourg) Roger Vergauwen (Catholic University Leuven) Erik Weber (Ghent University) -------------------------- Program Committee ———————— Maria Aloni (University of Amsterdam) Guillaume Aucher (University of Rennes 1 / INRIA) Mathieu Beirlaen (Universidad Nacional Autónoma de México) Guido Boella (University of Torino) Jan Broersen (Utrecht University) Mark A. Brown (Syracuse University) Fabrizio Cariani (Northwestern University) Jose Carmo (University Madeira) Roberto Ciuni (Ruhr-Universität Bochum, Humboldt Foundation) Robert Demolombe (IRIT, CNRS, Toulouse) Lou Goble (Willamette University) Guido Governatori (NICTA) Nobert Gratzl (Ludwig Maximilian University Munich) Davide Grossi (University of Liverpool) Jörg Hansen (University of Leipzig) Andreas Herzig (IRIT, CNRS, Toulouse) Jeff Horty (University of Maryland) Andrew Jones (King's College London) Stefan Kaufmann (University of Connecticut) Gert-Jan Lokhorst (Delft University of Technology) Emiliano Lorini (IRIT, CNRS, Toulouse) Joke Meheus (Ghent University) John-Jules Meyer (Utrecht University) Eric Pacuit (University of Maryland) Xavier Parent (University of Luxembourg) Henry Prakken (University of Utrecht, University of Groningen) Antonino Rotolo (University of Bologna) Olivier Roy (University of Bayreuth) Giovanno Sartor (EUI/CIRSFID) Ken Satoh (National Institute of Informatics and Sokendai, Japan) Marek Sergot (Imperial College, London) William Starr (Cornell University) Audun Stolpe (Norwegian Defence Research Establishment (FFI)) Christian Straßer (Ghent University) Allard Tamminga (University of Groningen) Paolo Turrini (Imperial College, London) Ron Van Der Meyden (University of New South Wales, Sydney, UNSW) Leon van der Torre (University of Luxembourg) Malte Willer (University of Chicago) Tomoyuki Yamada (Hokkaido University) ------------------------------------ Local Organizing Committee ———————————— Inge De Bal Tjerk Gauderis Merel Levefere Julie Mennes Frederik Van De Putte Christian Strasser Erik Weber Dietlinde Wouters -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From xrambous at aurora.fi.muni.cz Tue Feb 4 22:11:04 2014 From: xrambous at aurora.fi.muni.cz (TSD 2014) Date: Tue, 04 Feb 2014 22:11:04 +0100 Subject: TSD 2014 - First Call for Papers Message-ID: ********************************************************* TSD 2014 - FIRST CALL FOR PAPERS ********************************************************* Seventeenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2014) Brno, Czech Republic, 8-12 September 2014 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic THE SUBMISSION DEADLINES: March 15 2014 ............ Submission of abstracts March 22 2014 ............ Submission of full papers Submission of abstract serves for better organization of the review process only - for the actual review a full paper submission is necessary. TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. TSD Proceedings are regularly indexed by Thomson Reuters Conference Proceedings Citation Index. Moreover, LNAI series are listed in all major citation databases such as DBLP, SCOPUS, EI, INSPEC or COMPENDEX. TOPICS Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (morphological and syntactic analysis, synthesis and disambiguation, multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection) Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies) Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues) Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) Papers on processing of languages other than English are strongly encouraged. PROGRAM COMMITTEE Hynek Hermansky, USA (general chair) Eneko Agirre, Spain Genevieve Baudoin, France Paul Cook, Australia Jan Cernocky, Czech Republic Simon Dobrisek, Slovenia Karina Evgrafova, Russia Darja Fiser, Slovenia Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, GB Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Yannis Haralambous, France Ludwig Hitzenberger, Germany Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Maria Khokhlova, Russia Daniil Kocharov, Russia Ivan Kopecek, Czech Republic Valia Kordoni, Germany Steven Krauwer, The Netherlands Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Vaclav Matousek, Czech Republic Diana McCarthy, United Kingdom France Mihelic, Slovenia Hermann Ney, Germany Elmar Noeth, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Fabio Pianesi, Italy Maciej Piasecki, Poland Adam Przepiorkowski, Poland Josef Psutka, Czech Republic James Pustejovsky, USA German Rigau, Spain Leon Rothkrantz, The Netherlands Anna Rumshisky, USA Milan Rusko, Slovakia Mykola Sazhok, Ukraine Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Stefan Steidl, Germany Georg Stemmer, Germany Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Pascal Wiggers, The Netherlands Yorick Wilks, GB Marcin Wolinski, Poland Victor Zakharov, Russia KEYNOTE SPEAKERS Ralph Grishman, New York University, USA Bernardo Magnini, FBK - Fondazione Bruno Kessler, Italy Salim Roukos, IBM, USA FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. SUBMISSION OF PAPERS Authors are invited to submit a full paper not exceeding 8 pages formatted in the LNCS style (see below). Those accepted will be presented either orally or as posters. The decision about the presentation format will be based on the recommendation of the reviewers. The authors are asked to submit their papers using the on-line form accessible from the conference website. Papers submitted to TSD 2014 must not be under review by any other conference or publication during the TSD review cycle, and must not be previously published or accepted for publication elsewhere. As reviewing will be blind, the paper should not include the authors' names and affiliations. Furthermore, self-references that reveal the author's identity, e.g., "We previously showed (Smith, 1991) ...", should be avoided. Instead, use citations such as "Smith previously showed (Smith, 1991) ...". Papers that do not conform to the requirements above are subject to be rejected without review. The authors are strongly encouraged to write their papers in TeX or LaTeX formats. These formats are necessary for the final versions of the papers that will be published in the Springer Lecture Notes. Authors using a WORD compatible software for the final version must use the LNCS template for WORD and within the submit process ask the Proceedings Editors to convert the paper to LaTeX format. For this service a service-and-license fee of CZK 1500 will be levied automatically. The paper format for review has to be either PDF or PostScript file with all required fonts included. Upon notification of acceptance, presenters will receive further information on submitting their camera-ready and electronic sources (for detailed instructions on the final paper format see http://www.springer.de/comp/lncs/authors.html#Proceedings, Sample File typeinst.zip). Authors are also invited to present actual projects, developed software or interesting material relevant to the topics of the conference. The presenters of demonstrations should provide an abstract not exceeding one page. The demonstration abstracts will not appear in the conference proceedings. IMPORTANT DATES March 15 2014 ............ Submission of abstracts March 22 2014 ............ Submission of full papers May 15 2014 .............. Notification of acceptance May 31 2014 .............. Final papers (camera ready) and registration August 3 2014 ............ Submission of demonstration abstracts August 10 2014 ........... Notification of acceptance for demonstrations sent to the authors September 8-12 2014 ...... Conference date Submission of abstracts serves for better organization of the review process only - for the actual review a full paper submission is necessary. The accepted conference contributions will be published in proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. ACCOMMODATION The organizing committee will arrange discounts on accommodation in the 4-star hotel at the conference venue. The current prices of the accommodation will be available at the conference website. ADDRESS All correspondence regarding the conference should be addressed to Ales Horak, TSD 2014 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 18 63 fax: +420-5-49 49 18 20 email: tsd2014 at tsdconference.org The official TSD 2014 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000 and is the country's judiciary and trade-fair center. Brno is the capital of South Moravia, which is located in the south-east part of the Czech Republic and is known for a wide range of cultural, natural, and technical sights. South Moravia is a traditional wine region. Brno had been a Royal City since 1347 and with its six universities it forms a cultural center of the region. Brno can be reached easily by direct flights from London, Moscow, and Eindhoven, and by trains or buses from Prague (200 km) or Vienna (130 km). For the participants with some extra time, nearby places may also be of interest. Local ones include: Brno Castle now called Spilberk, Veveri Castle, the Old and New City Halls, the Augustine Monastery with St. Thomas Church and crypt of Moravian Margraves, Church of St. James, Cathedral of St. Peter & Paul, Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat designed by Mies van der Rohe along with other important buildings of between-war Czech architecture. For those willing to venture out of Brno, Moravian Karst with Macocha Chasm and Punkva caves, battlefield of the Battle of three emperors (Napoleon, Russian Alexander and Austrian Franz - Battle by Austerlitz), Chateau of Slavkov (Austerlitz), Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice Chateau, Letovice Chateau, Mikulov with one of the largest Jewish cemeteries in Central Europe, Telc - a town on the UNESCO heritage list, and many others are all within easy reach. From schueller.p at gmail.com Tue Feb 4 22:26:58 2014 From: schueller.p at gmail.com (Peter Schüller) Date: Tue, 04 Feb 2014 23:26:58 +0200 Subject: Call for Applications: ICLP 2014 Doctoral Student Consortium [Deadline March 7], Vienna, Austria, July 20 Message-ID: (Apologies for cross-posting.) -------------------------------------------------------------------------------- ICLP DC 2014 Tenth ICLP Doctoral Student Consortium to be held in Vienna, Austria, 20 July 2014 https://sites.google.com/site/iclpdc14/ -------------------------------------------------------------------------------- The ICLP Doctoral Consortium (DC) is the tenth doctoral consortium to be held as part of the 30th International Conference on Logic Programming (ICLP 2014). The DC will take place during ICLP 2014 in Vienna, Austria. It provides a forum for doctoral students working in areas related to logic and constraint programming, with a particular emphasis to students interested in pursuing a career in academia. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts. ** Target Audience ** The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of Logic and Constraint Logic Programming - Sequential and Parallel Implementation Technology - Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification - Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) - Innovative Applications of Logic Programming Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC allows participants to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. ** Application Process ** An application for participation in the ICLP DC 2014 consists of a cover letter, a research summary, and a letter of recommendation (e.g., from your supervisor). All applications must be in English and submitted electronically via EasyChair, due to the application submission deadline. Detailed submission instructions are provided at the ICLP DC 2014 website. The DC program committee will select participants based on their anticipated contribution to the DC objectives. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. The works accepted for presentation at the DC will be published in conjunction with the ICLP proceedings. Updates follow as soon as we have more information regarding this. ** Best Contribution Award ** The DC program committee will review submission packages and judge DC presentations to assign the "Best ICLP DC 2014 Contribution" award among participants. The award-winning contribution will also be presented in the ICLP main program. ** Participant Funding ** The Association for Logic Programming supports ICLP DC 2014 participants. Updates follow as soon as we have more information regarding this. ** Important Dates ** Application Submission: 7 March 2014 Acceptance Notification: 31 March 2014 Camera-ready Version: 8 May 2014 Doctoral Consortium: 20 July 2014 ** Organization ** - Program Committee: Fabio Fioravanti, University of Chieti-Pescara Ekaterina Komendantskaya, University of Dundee Alessandra Mileo, National University of Ireland Jose F. Morales, IMDEA Software Research Institute Francesco Ricca, University of Calabria Mehrnoosh Sadrzadeh, Queen Mary University of London Takehide Soh, University of Kobe Frank D. Valencia, École Polytechnique de Paris Joost Vennekens, KU Leuven Antoine Zimmermann, École Nationale Supérieure des Mines de Saint-Étienne - Program Chairs: Jael Kriener Microsoft Research - Inria Joint Center, France Martin Gebser Department of Information and Computer Science, Aalto University, Finland Email Address: iclpdc2014 at easychair.org Website: https://sites.google.com/site/iclpdc14/ From Bernard.Merialdo at eurecom.fr Wed Feb 5 09:59:19 2014 From: Bernard.Merialdo at eurecom.fr (Bernard Merialdo) Date: Wed, 05 Feb 2014 09:59:19 +0100 Subject: [CBMI2014] Submission deadline 16 Feb, Workshop on Content-Based Multimedia Indexing Message-ID: <52F1FD67.1080806@eurecom.fr> (our apologies for duplicate postings) ****************************************************************************** CALL FOR PAPERS Paper submission deadline: February 16, 2014 C B M I 2014 12th International Workshop on Content-Based Multimedia Indexing 18-20 June 2014, Klagenfurt, Austria http://cbmi2014.itec.aau.at/ in cooperation with IEEE CSS and ACM SIGMM ****************************************************************************** The 12th International Content Based Multimedia Indexing Workshop aims to bring together the various communities involved in all aspects of content-based multimedia indexing, retrieval, browsing and presentation. Following the eleven successful previous events of CBMI (Toulouse 1999, Brescia 2001, Rennes 2003, Riga 2005, Bordeaux 2007, London 2008, Chania 2009, Grenoble 2010, Madrid 2011, Annecy 2012, and Veszprem 2013), CBMI 2014 will take place in Klagenfurt, in the very south of Austria from June 18th to June 20th 2014. CBMI 2014 is organized in cooperation with IEEE Circuits and Systems Society and ACM SIG Multimedia. Topics of the workshop include but are not limited to visual indexing, audio and multi-modal indexing, multimedia information retrieval, and multimedia browsing and presentation. Additional special sessions are planned in the fields of endoscopic videos and images and multimedia metadata. Paper submission: Authors are invited to submit full-length and special session papers of 6 pages and short (poster) and demo papers of 4 pages maximum. All peer-reviewed, accepted and registered papers will be published in the CBMI 2014 workshop proceedings to be indexed and distributed by the IEEE Xplore. The submissions are peer reviewed in single blind process, the language of the workshop is English. Selected papers of the conference will be invited to submit extended versions of their contributions to a special issue of Multimedia Tools and Applications journal (MTAP). * Important dates: Paper submission deadline: February 16, 2014 Notification of acceptance: March 30, 2014 Camera-ready papers due: April 14, 2014 Author registration: April 14, 2014 Early registration: May 25, 2014 * Topics of interest include, but are not limited to: * Visual Indexing (image, video, graphics) * Visual content extraction Identification and tracking of semantic regions * Identification of semantic events * Audio and Multi-modal Indexing * Audio indexing (audio, speech, music) * Audio content extraction * Multi-modal and cross-modal indexing * Multimedia fusion * Metadata generation, coding and transformation * Multimedia Information Retrieval (image, audio, video, …) * Matching and similarity search * Content-based search * Multimedia data mining * Multimedia recommendation * Large scale multimedia database management * Multimedia Browsing and Presentation * Summarization, browsing and organization of multimedia content * Personalization and content adaptation * User interaction and relevance feedback * Multimedia interfaces, presentation and visualization tools * Contact For more information please visit http://cbmi2014.itec.aau.at/ and for additional questions, remarks, or clarifications please contact cbmi2014 at itec.aau.at From ecmlpkdd2014publicity at gmail.com Wed Feb 5 21:52:25 2014 From: ecmlpkdd2014publicity at gmail.com (ECML PKDD) Date: Wed, 5 Feb 2014 21:52:25 +0100 Subject: ECML/PKDD 2014 Call for Tutorials Message-ID: ----------------------------------------------------------- C A L L F O R T U T O R I A L S ECML/PKDD 2014: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases Nancy, France, September 15-19, 2014 http://www.ecmlpkdd2014.org/ ----------------------------------------------------------- The ECML-PKDD 2014 Organizing Committee invites proposals for half-day tutorials to be held on the first and last days of the conference, which will take place in Nancy, France from September 15th to 19th, 2014. Tutorials are intended to provide a comprehensive introduction to core techniques and areas of interest for the machine learning and the data mining community. We are interested in tutorials on established or emerging research topics in the areas above but we also welcome tutorials from related research fields or applications. The ideal tutorial should attract a wide audience. It should be broad enough to provide a basic introduction to the chosen research area, but it should also cover the most important topics in depth. Each tutorial should be well-focused so that its content can be covered in a half day slot (3h plus a 30-minute break). Proposals that exclusively focus on the presenter's own work or commercial demonstrations are strongly discouraged. Tutorial slides will be made available online at the main ECML-PKDD server, although authors can provide them in additional websites as well. Tutorial speakers will be offered the possibility of a reduced or waived registration fee, depending on the number of speakers for the tutorial. ----------------------------------------------------------- Submissions ----------------------------------------------------------- The submissions should contain: -- a title and an abstract of the tutorial. -- a brief description of the tutorial content and its relevance to the ECML PKDD community (no more than 2 pages). -- a brief outline of the tutorial structure showing that the tutorial's core content can be covered in a 3 hours slot. -- the names, postal addresses, phone numbers, and email addresses of the tutorial instructors, including one-paragraph statement of their research interests and areas of expertise. -- a list of previous venues and approximate audience sizes, if the same or a similar tutorial has been given elsewhere; otherwise an estimate of the audience size. -- a description of special requirements for technical equipment (e.g., internet access). Proposals should be submitted by electronic mail, in plain ASCII text no later than March 7, 2014 to: tutorials at ecmlpkdd2014.org. The subject line should be: "ECML PKDD 2014: TUTORIAL PROPOSAL". The proponents will receive an email confirmation that their proposal has been received. If no confirmation arrives within 24 hours after sending the proposal, the proponents should contact the tutorial co-chairs again. ----------------------------------------------------------- Proposal reviewing process ----------------------------------------------------------- The proposal will be reviewed by the tutorial co-chairs, who may use the help of external reviewers, expert on the submission topics. The features that will be evaluated are: -- the interestingness for the ECML PKDD areas, which should result in a large audience; -- the clarity of the tutorial, which should emerge from its description; -- good organization as appearing from the outline; -- the adequacy of the speakers, i.e., her/his background/experience in teaching the target topics; and -- the ability to explain the topics to a large audience with heterogeneous background. ----------------------------------------------------------- Tutorial speaker responsibilities ----------------------------------------------------------- Accepted tutorial speakers will be notified by March 28, 2014, and must then provide the revised abstracts (ASCII format) of their tutorials by April 4, 2014 for advertisement purposes in the conference website. Tutorial speakers must provide their tutorial materials (pdf format), at least containing copies of the course slides as well as a bibliography for the material covered in the tutorial, by September 1, 2014. ----------------------------------------------------------- Important dates ----------------------------------------------------------- Tutorial proposal deadline: Friday, March 7, 2014 Tutorial acceptance notification: Friday, March 28, 2014 Tutorial abstract due: Friday, April 4, 2014 Tutorial slides due: Monday, September 1, 2014 ----------------------------------------------------------- Contact ----------------------------------------------------------- In case you have any question, please do not hesitate to contact us. We are looking forward to your proposals, CÈline Robardet, INSA-Lyon, France CÈline Rouveirol, universitÈ Paris-Nord, France (The ECML/PKDD 2014 Tutorial co-chairs) tutorials at ecmlpkdd2014.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecmlpkdd2014publicity at gmail.com Wed Feb 5 21:53:34 2014 From: ecmlpkdd2014publicity at gmail.com (ECML PKDD) Date: Wed, 5 Feb 2014 21:53:34 +0100 Subject: ECML PKDD 2014 Call for Demonstrations Message-ID: Call for Demos http://www.ecmlpkdd2014.org/ For ECML PKDD 2014 in Nancy, France, we solicit submissions for demos. Submissions must describe working systems and be based on state-of-the-art machine learning and data mining technology. These systems may be innovative prototype implementations or mature systems that use machine learning techniques and knowledge discovery processes in a real setting. We particularly welcome demos that use open-source software and offer innovative services. Demo submissions will be evaluated on relevance, maturity of the systems to be presented and technical challenges they solve, but also on potential usefulness to a large number of conference attendees. The accepted papers for demos will be included in the conference proceedings, to be published by Springer Verlag in the "Lecture Notes in Artificial Intelligence" (LNAI) Series. The demos will be presented in a special demonstration session. At least one of the demo submitters must register for the conference, and perform the demo on site. Submission Guidelines All aspects of the submission and notification process will be handled online via the CMT conference management toolkit accessible from the conference web. Please choose the right track during the submission. Instructions concerning the submission, camera-ready formatting and copyright transfer for conference papers also hold for demo papers, unless otherwise specified. A demonstration submission must be up to 4 pages long. It must provide adequate information on the system's components and the way the system is operated. Figures, screenshots and interactive demonstration plans may be included if necessary. The authors must further provide a URL that points to a preview of the demonstration which can be seen as a companion webpage including more material, a detailed documentation and if possible the tool itself. Submitters should keep in mind that the description of a demo has inherently different content than a research paper submitted to the main conference. A successful demonstration paper provides satisfactory answers the following questions: - What makes the presented piece of software unique and special? - What are the innovative aspects or in what way/area does it represent the state of the art? - For whom is it most interesting/useful - for an ML/DM researcher, for a graduate or undergraduate student in these areas, for a practitioner? - If there are similar/related pieces of software, what are the advantages and disadvantages of the presented one? The formatting guidelines of Springer Verlag for the LNAI series apply, and the author instructions and style files under http://www.springer.de/comp/lncs/authors.html must be used. For inquiries concerning submissions please contact the Demo Track Chairs; contact data below. Important Dates - Demo submission deadline: 16 May 2014 - Notification of acceptance: 15 June 2014 - Camera-ready paper due: 23 June 2014 Contacts For further information please contact the Demo Track Chairs: - Myra Spiliopoulou, http://omen.cs.uni-magdeburg.de/itikmd/Mitarbeiter/Myra-Spiliopoulou.html - Ricard Gavaldà, http://www.lsi.upc.edu/~gavalda -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From h.hastie at hw.ac.uk Thu Feb 6 10:47:00 2014 From: h.hastie at hw.ac.uk (Helen Hastie) Date: Thu, 6 Feb 2014 09:47:00 +0000 Subject: Second CFP: SIGDIAL 2014 Conference, June 18th-20th, Philadelphia, USA Message-ID: *SIGDIAL 2014 CONFERENCE* *Wednesday, June 18 to Friday, June 20, 2014 * The 15th Annual Meeting of the Special Interest Group on Discourse and Dialog will be co-located with the 8th International Conference on Natural Language Generation (INLG 2014 ) in Philadelphia, PA, USA and immediately preceding ACL 2014. http://www.sigdial.org/workshops/conference15 *CALL FOR PAPERS*The 2014 SIGDIAL conference continues a series of fourteen conferences, providing a regular forum for the presentation of cutting edge research across the areas of discourse and dialog and attracting a diverse set of participants from academia and industry. The conference is sponsored by the SIGdial organization, which serves as the Special Interest Group on discourse and dialog for both ACL and ISCA. *KEYNOTE SPEAKERS*We are pleased to announce our keynote speakers will be Prof. Steve Young from the University of Cambridge and Prof. Lillian Lee from Cornell University. *TOPICS OF INTEREST*We welcome formal, corpus-based, system-building or analytical work on discourse and dialog including but not restricted to the following themes and topics: - Discourse Processing and Dialog Systems - Corpora, Tools and Methodology - Pragmatic and/or Semantic Modeling - Dimensions of Interaction - Open Domain Dialog - Style, Voice and Personality in Spoken Dialog and Written Text - Applications of Dialog and Discourse Processing Technology - Novel Methods for Generation Within Dialog for a joint special session with INLG *SPECIAL SESSIONS*There will be one special session co-located with INLGon the morning of June 20th. There will be a second special session on the Dialogue State Tracking Challenge (DSTC) *. *Proposals for additional special sessions are also still welcome. Special sessions submission will undergo regular SIGdial review process. *IMPORTANT DATES* *Special Session Proposal Deadline: * Sunday, 9 February 2014 (23:59, GMT-11) *Special Session Notification: * Monday, 17 February 2014 *Long, Short and Demonstration* *Paper Submission Deadline: * Sunday, 9 March 2014 (23:59, GMT-11) *Paper Notification: * Friday, 18 April 2014 *Final Paper Due* - For papers accepted subject to receiving mentoring Wednesday, 14 May 2014 - For accepted papers Friday, 23 May 2014 *Conference * Wednesday, June 18, 2014 to Friday, June 20, 2014 *SUBMISSIONS* *Special Session Proposals* The SIGdial organizers welcome the submission of special session proposals. A SIGDIAL special session is the length of a regular session at the conference; may be organized as a poster session, a poster session with panel discussion, or an oral presentation session; and will be held on the last day of the conference. Special sessions may, at the discretion of the SIGdial organizers, be held as parallel sessions. Those wishing to organize a special session should prepare a two-page proposal containing: a summary of the topic of the special session; a list of organizers and sponsors; a list of people who may submit and participate; and a requested format (poster/panel/oral session). These proposals should be sent to *conference[a]sigdial.org * by the special session proposal deadline. Special session proposals will be reviewed jointly by the general and program co-chairs. *Papers* The program committee welcomes the submission of long papers, short papers, and demonstration descriptions. All accepted submissions will be published in the conference proceedings. Long papers may, at the discretion of the technical program committee, be accepted for oral or poster presentation. They must be no longer than 8 pages, including title, content, and examples. Two additional pages are allowed for references and appendices, which may include extended example discourses or dialogs, algorithms, graphical representations, etc. Short papers will be presented as posters. They should be no longer than 4 pages, including title and content. One additional page is allowed for references and appendices. Demonstration papers should be no longer than 3 pages, including references. A separate one-page document should be provided to the program co-chairs for demonstration descriptions, specifying furniture and equipment needed for the demo. Authors of a submission may designate their paper to be considered for a SIGDIAL special session, which would highlight a particular area or topic. All papers will undergo regular peer review. Papers that have been or will be submitted to other meetings or publications must provide this information (see submission format). A paper accepted for presentation at SIGDIAL 2014 must not have been presented at any other meeting with publicly available proceedings. Any questions regarding submissions can be sent to the program co-chairs at program-chairs[at]sigdial.org. Authors are encouraged to submit additional supportive material such as video clips or sound clips and examples of available resources for review purposes. Submission is electronic using paper submission software. *FORMAT* All long, short, and demonstration submissions should follow the two-column ACL 2014 format. We strongly recommend the use of ACL LaTeX style files or Microsoft Word style files tailored for the ACL 2014 conference. Submissions must conform to the official ACL 2014 style guidelines ( http://www.cs.jhu.edu/ACL2014/CallforPapers.htm), and they must be electronic in PDF. As in most previous years, submissions will not be anonymous. *MENTORING SERVICE* For several years, the SIGDIAL conference has offered a mentoring service. Submissions with innovative core ideas that may need language (English) or organizational assistance will be flagged for "mentoring" and conditionally accepted with recommendation to revise with a mentor. An experienced mentor who has previously published in the SIGDIAL venue will then help the authors of these flagged papers prepare their submissions for publication. Any questions about the mentoring service can be addressed to the mentoring chair at mentoring[at]sigdial.org. *STUDENT SUPPORT* SIGdial also offers a limited number of scholarships for students presenting a paper accepted to the conference. Application materials will be posted at the conference website. *BEST PAPER AWARDS* In order to recognize significant advancements in dialog and discourse science and technology, SIGDIAL will recognize two best paper awards. A selection committee consisting of prominent researchers in the fields of interest will select the recipients of the awards. *SPONSORSHIP* SIGDIAL offers a number of opportunities for sponsors. For more information, email the conference organizers at sponsor-chair[at]sigdial.org . *DIALOG AND DISCOURSE* SIGDIAL authors are encouraged to submit their research to the journal Dialog and Discourse, which is endorsed by SIGdial. *ORGANIZING COMMITTEE* General Co-Chairs Kallirroi Georgila, University of Southern California, USA Matthew Stone, Rutgers, The State University of New Jersey, USA Technical Program Co-Chairs Helen Hastie, Heriot-Watt University, Edinburgh, UK Ani Nenkova, University of Pennsylvania, USA Mentoring Chair Svetlana Stoyanchev, AT&T Research Labs, USA Local Chair Keelan Evanini, Educational Testing Service, USA Sponsorships Chair Giuseppe Di Fabbrizio, Amazon.com, USA SIGdial President Amanda Stent, Yahoo! Labs, USA SIGdial Vice President Jason Williams, Microsoft Research, USA SIGdial Secretary/Treasurer Kristiina Jokinen, University of Helsinki, Finland -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecai2014 at guarant.cz Thu Feb 6 11:40:03 2014 From: ecai2014 at guarant.cz (=?utf-8?q?PAIS_2014?=) Date: Thu, 06 Feb 2014 11:40:03 +0100 Subject: =?utf-8?q?PAIS=E2=80=9914_Second_Call_for_System_Demonstrations?= Message-ID: <20140206104003.CE00B1742F9@gds25d.active24.cz> PAIS’14 Second Call for System Demonstrations Conference on Prestigious Applications of Intelligent Systems 20 - 21 August 2014, Prague, Czech Republic http://www.ecai2014.org The PAIS 2014 Programme Committee invites system demonstrations for presentation at the 8th International Conference on the Prestigious Applications of Intelligent Systems - a subconference of the 21st European Conference on Artificial Intelligence (ECAI 2014). PAIS is the largest showcase in Europe of real applications using AI technology. The System Demonstrations track provides AI researchers and practitioners with an opportunity to demonstrate impressive and innovative systems. We invite applications for demonstrations of a non-commercial nature from universities, research institutes and industry. Commercial demos may incur extra fees for booth usage. A submission includes: * A 150-word summary of the demonstration in plain text. * An obligatory 2-page system and demonstration description formatted according to the ECAI submission instructions. If the demo is accepted, these short papers will be published in the official proceedings. Details of the ECAI 2014 formatting style will be made available at ecai2014.guarant.eu/ecai2014.tar.gz * A short video (less than 5 minutes) showing that a working system exists and that convinces the programme committee that it is exciting, innovative and relevant, and deserves to be highlighted at the conference. * A demo storyboard consisting of a detailed description of the demo, including images or slides depicting the various stages of the demo. If the video shows the demonstration, then a separate storyboard is not required. * A detailed description of hardware and software requirements, such as space, power supplies, etc. Demonstrators are encouraged to be flexible in their requirements. Based on the recommendations made by the reviewers and a separate award committee, one of the accepted system demonstrations will receive the “BEST PAIS DEMO AWARD”. System demo submission: 1 March 2014 Author feedback: 14-18 April 2014 Notification of acceptance/rejection: 9 May 2014 Camera-ready copy due: 30 May 2014 The proceedings of PAIS’14 will be included in ECAI'14 and will be published by IOS Press. PAIS’14/ECAI’14 will be held in the beautiful and historic city of Prague, the capital of the Czech Republic. With excellent opportunities for sightseeing and gastronomy, Prague promises to be a wonderful venue for a memorable conference. PAIS’14 Conference Chairs: Gerhard Friedrich, Universitaet Klagenfurt, Austria Barry O’Sullivan, University College Cork, Ireland From jleite at fct.unl.pt Thu Feb 6 12:38:21 2014 From: jleite at fct.unl.pt (Joao Leite) Date: Thu, 6 Feb 2014 22:38:21 +1100 Subject: JELIA 2014 - First Call for Papers Message-ID: ============================================================= First Call For Papers JELIA 2014 14th European Conference on Logics in Artificial Intelligence Madeira Island, Portugal September 24-26, 2014 http://www.uma.pt/jelia2014 Submission Deadline: May 19 (Abstracts); May 23 (Papers) ============================================================= ================ About JELIA ================ Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in Artificial Intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems today, this claim is stronger than ever. The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with proceedings published in the Springer-Verlag series Lecture Notes in Artificial Intelligence. Previous meetings took place in Roscoff, France (1988), Amsterdam, Netherlands (1990), Berlin, Germany (1992), York, UK (1994), Évora, Portugal (1996), Dagstuhl, Germany (1998), Málaga, Spain (2000), Cosenza, Italy (2002), Lisbon, Portugal (2004), Liverpool, UK (2006), Dresden, Germany (2008), Helsinki, Finland (2010) and Toulouse, France (2012). The increasing interest in this forum, its international level with growing participation of researchers from outside Europe, and the overall technical quality, have turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence. ================ Aims and Scope ================ The aim of JELIA 2014 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross- fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence including: * Abductive and inductive reasoning * Answer set programming * Applications of logic-based AI systems * Argumentation systems * Automated reasoning including satisfiability checking and its extensions * Computational complexity and expressiveness * Deontic logic and normative systems * Description logics and other logical approaches to semantic web and ontologies * Knowledge representation, reasoning, and compilation * Logic-based data access and integration * Logic programming and constraint programming * Logics for uncertain and probabilistic reasoning * Logics in machine learning * Logics in multi-agent systems, games, and social choice * Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics * Planning and diagnosis based on logic * Preferences * Reasoning about actions and causality * Updates, belief revision and nonmonotonic reasoning ================ Paper Submission ================ There are two categories for submissions: A. Regular papers Submissions should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere. B. System descriptions Submissions should describe an implemented system and its application area(s). A demonstration is expected to accompany a system presentation. Papers describing systems that have already been presented in JELIA before will be accepted only if significant and clear enhancements to the system are reported and implemented. All submissions should not exceed 13 pages including figures etc., but excluding references. All submissions should be written in English, and should be formatted according to the standard Springer LNCS style. The proceedings of JELIA 2014 are published by Springer-Verlag in the Lecture Notes in Artificial Intelligence, a sub-series of Lecture Notes in Computer Science (Important note: Springer will require all the LaTeX source files of all accepted submissions). Policy on Multiple Submission: JELIA 2014 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during JELIA's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. JELIA 2014 submissions are handled through the EasyChair conference management system. Follow the link http://www.easychair.org/conferences/?conf=jelia2014 to register your abstract and submit your paper. ================ Important Dates ================ Abstract submission deadline: May 19, 2014 Paper submission deadline: May 23, 2014 Author Rebuttal: June 26-27, 2014 Notification of acceptance: July 4, 2014 Final versions due: July 18, 2014 ================ Contact address ================ jelia2014 at easychair.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From r.bordini at acm.org Thu Feb 6 17:29:31 2014 From: r.bordini at acm.org (Rafael H Bordini) Date: Thu, 06 Feb 2014 14:29:31 -0200 Subject: IFAAMAS Board of Directors Elections: Eligibility and Call for Nominations Message-ID: <52F3B86B.8070306@acm.org> ********************************************************************** International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) Board of Directors Fourth Biennial Elections -- March 2014 ********************************************************************** The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) is a not-for-profit organisation that sponsors the annual International Conference on Autonomous Agents and Multiagent Systems (AAMAS) . IFAAMAS is managed by a 27-member Board of Directors, each Board member serving a six-year term. The current IFAAMAS Board, and their terms of office, can be found at . In March 2014, IFAAMAS will be holding the fourth of its biennial elections to choose 9 new Board members (i.e., replacing 1/3 of the Board). Eligible voters and candidates in the election are the members of the IFAAMAS community, which by IFAAMAS by-laws are those people who have attended at least 2 out of the last 4 AAMAS conferences. *** NB: All members of the community (according to that criteria) that could be identified from the records kept by IFAAMAS have already received an email message notifying them of eligibility to participate in the elections. If you have attended at least 2 AAMAS conferences in the period from 2010 to 2013 and did not receive such a message please contact me at as soon as possible. *** The list of eligible voters/candidates will be posted at when the nomination period starts. This list is posted to help people identify candidates, nominators, and seconders. Eligible voters may ask to be removed from the online list whilst remaining eligible to participate in the elections. The election process is managed by an Elections Committee appointed by the President of IFAAMAS. For the 2014 elections, the members of the Elections Committee are Rafael Bordini (PUCRS, Brazil) as chair, Stacy Marsella (USC, USA), and Alex Rogers (U.Southampton, UK). CALL FOR NOMINATIONS - 17th FEBRUARY to 7th MARCH 2014 ====================================================== Candidates for the election must be a member of the IFAAMAS community (i.e., his or her name must be on the list of eligible voters). A candidate for the Board must be nominated and seconded by members of the IFAAMAS community (as published at ) or nominated by a current member of the IFAAMAS Board of Directors. A retiring Board member who has served a full six-year term may not immediately stand for re-election. If in doubt about eligibility or the nomination process, feel free to send questions to . Before nominating or seconding a candidate, you should confirm that the nominee is willing to serve. The nomination should include a short statement and bio (1 page maximum, PDF format) presenting the candidate’s background, previous service to the field, and issues they would address as a Board member. Nominations must be sent to from 17th of February to 7th of March 2014. The nomination statements of the elected candidates in the last IFAAMAS Board election can still be found at to be used as examples for the statement required for nomination. From the nominations, the Elections Committee will draw up a list of candidates, followed by the voting to elect the new Board members. IFAAMAS represents the entire AAMAS community and is therefore interested in encouraging diversity in all its various forms (including but not limited to regional, gender, and research area) among candidates and on the Board. Regarding geographical balance, of the 18 members remaining on the Board for the next 2-year period there are 6 from the Americas (of which 4 from the USA), 8 from Europe, 2 from the Middle East, and 2 from Asia-Pacific. Regarding gender diversity, of the 18 Board members there are 5 women and 13 men. The IFAAMAS Elections Committee thus wishes to particularly encourage the nomination of non-US/Europe candidates and the nomination of female candidates. Rafael H. Bordini -- Chair of the Elections Committee IFAAMAS Board of Directors -- 2014 Elections From aamas14publicity at gmail.com Fri Feb 7 02:19:06 2014 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Thu, 6 Feb 2014 17:19:06 -0800 Subject: [AAMAS-14] Call for Participation and Early Booking deadlines Message-ID: Registration is now open for the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014). AAMAS 2014 will be held in Paris, France, May 5-9, 2014. DEADLINES Early booking rate for the conference hotel: February 9, 2014. Early registration: March 25, 2014 See http://aamas2014.lip6.fr for more information about accommodations and registration. AAMAS 2014 is the thirteenth conference in the AAMAS series. AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS 2014 has 28 different workshops scheduled, to take place during the first two days of the conference, as well as a doctoral consortium. The gala dinner will take place on May 8th aboard a "bateau-mouche," cruising along the banks of the River Seine to showcase many historical monuments. Program details will be posted soon at http://aamas2014.lip6.fr/programme.php We hope to see you in Paris! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaannounce.org Sat Feb 8 03:43:49 2014 From: invitation at iariaannounce.org (INTERNET 2014) Date: Fri, 07 Feb 2014 21:43:49 -0500 Subject: Last mile: INTERNET 2014 || June 22 - 26, 2014 - Seville, Spain Message-ID: <1391827429061.1663@iariaannounce.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to INTERNET 2014. The submission deadline of February 19, 2014 is approaching. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== INTERNET 2014 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS INTERNET 2014, The Sixth International Conference on Evolving Internet June 22 - 26, 2014 - Seville, Spain General page: http://www.iaria.org/conferences2014/INTERNET14.html Call for Papers: http://www.iaria.org/conferences2014/CfPINTERNET14.html Submission page: http://www.iaria.org/conferences2014/SubmitINTERNET14.html Contributions: - regular papers - short papers (work in progress) - posters - ideas - presentations - demos - doctoral forum submissions Proposals for: - symposia - workshops Submission deadline: February 19, 2014 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html INTERNET 2014 Topics (topics and submission details: see CfP on the site) Advanced Internet mechanisms Access: call admission control vs. QoE vs. structural QoS / capability-based access control vs. role-based access control vs. attribute-based access control; Routing and pricing models: BGP, pricing peering agreements using microeconomics, topological routing vs. table-based routing vs. network coding, power-efficient routing; Optimization in P2P/CDN networks: peer placement for streaming P2P, analysis of P2P networks; Traffic engineering: estimating traffic matrices, constrained routing, exponentially bounded burstness; Behavioral traffic recognition: identifying applications from traffic behavior; Traffic analysis: methods for analysis and visualization of multidimensional measurements, characterizing protocols; Software defined radio networks: low power signal processing methods, applications of machine learning; Cognitive radio: medium access, spatiotemporality, complexity, spectrum sharing and leasing, channel selection, multi-stage pricing, cyclostationary signatures, frame synchronization; Streaming video: learning from video, techniques for in-network modulation; Location: statistical location, partial measurements, delay estimation Graph theory/topology/routing Internet support Information theory: distributed network coding, Shannon's entropy, Nash equilibrium; Optimization: LP, NLP, NeuroP, quadratic, convex programming, compressed sensing; Graph theory: random graphs, spectra graph theory, percolations and phase transitions, methods from statistical physics, geometric random graphs; Algebraic techniques: tensor analysis, matrix decomposition; Processing: signal processing techniques, equalization, point-process, source coding vs. network coding, recoverability; Statistical machine learning: probabilistic graphical models, classification, clustering, regression, classification, neural networks, support vector machines, decision forests; Game Theory/Microeconomic theory: social choice theory, equilibria, arbitrage and incentive oriented distributed mechanism design, cooperative games, and games on graphs; Stochastic network calculus; Fractal behavior and stability mechanisms; Kolmogorov complexity for performance evaluation; Complexity theory Internet security mechanisms Cryptography: design and analysis of cryptographic algorithms, applied cryptography, cryptographic protocols and functions; Specification, validation design of security and dependability: security and trust models, semantics and computational models for security and trust, business models in security management, security policies models, security architectures, formal methods for verification and certification, multi-level security specification; Vulnerabilities, attacks and risks: methods of detection, analysis, prevention, intrusion detection, tolerance, response and prevention, attacks and prevention of on-line fraud, denial of services attacks and prevention methods; Access Control: authentication and non-repudiation, accounting and audit, anonymity and pseudonymity; identity and trust management, biometric methods; Anti-malware techniques: detection, analysis, prevention; Cyber-crime response: anti-phishing, anti-spam, anti-fraud methods Internet trust, security, and dependability levels Network and transport level security; Network edge security controls: firewalls, packet filters, application gateways; Wireless and mobile network security: risks of wireless insecurity, wireless vulnerabilities and intrusion detection, WLAN and WMAN MAC layer security technologies, key management mechanisms and protocols, security in ad hoc, sensor, mesh and personal communication networks; Security of Internet protocols: routing security, naming, network management, signaling security, transport layer security; Network security policies: specification, implementation, deployment and management; Security of P2P and overlay/middleware systems; Security for multiple domains, large-scale systems and critical infrastructures; Applications and high level services security: Web-based applications and services, VoIP, multimedia streaming services, VoD and IPTV, collaborative applications (conferencing), electronic commerce and eBusiness, eVoting, grid computing, security of eGovern ment; Intellectual property protection: digital rights management, licensing, metering, watermarking, information hiding, implementations; Security services integration in complex architectures; Tradeoffs between security and efficiency, usability, reliability and cost. Internet performance Performance degradation and anomaly detection mechanisms; User-oriented performance metrics; Network and service provider-oriented performance metrics; Hybrid (chip and network) performance calculi; Intrusive and non-intrusive performance measurement mechanisms; Mechanisms for performance degradation-tolerant applications; Mechanisms for application performance and network performance; Performance enhancement mechanisms; Performance and traffic entropy algorithms; Performance prediction algorithms Internet AQM/QoS Buffer sizing, majorization, QoS routing, finite buffer queue vs. infinite buffer queue and performance; Control theoretic framework for modeling of TCP and AQM schemes; Discrete mathematics to model buffer occupancy at queues of a network (given workloads); Game theoretic modeling of AQMs (mathematics to model selfish traffic); Fairness models (proportional fairness, max-min fairness, low state global fairness); Optimization framework for congestion control, fairness and utility maximization; Modeling and simulation of large network scenarios using queuing theory Internet monitoring and control Visualization mechanisms; Sub-network/device isolation mechanisms; Control feedback mechanisms (limited feedback, delay and disruption tolerance, optimal and adaptive feedback); Optimal control; Adaptive behavior control; Network resiliency; Self-adaptable and tunable performance; Mechanisms for anticipative measurements and control Internet and wireless Capacity of wireless networks; Potential based routing; Algebraic techniques to mine patterns from wireless networks; QoS/QoE translation; Wireless ad hoc / mesh networks: MAC protocols, routing, congestion control, P2P CDNs on wireless meshes Internet and data streaming/mining algorithms Mathematics for clustering massive data streams; Randomized algorithms etc and impossibility results; Dimension reduction in metric spaces; Tensor and multidimensional algebraic techniques; Non linear dimension reduction; Optimal collector positioning; Data fusion and correlation algorithms Internet and sensor-oriented networks/algorithms Optimal sensor placement; Inference models for sensing; Congestion control; Resource allocation; Mathematics to model different diffusion processes and applications to routing; Algorithms for data fusion; Algorithms for computing dormant/active sending periods; Energy-driven adaptive communication protocols Internet challenges Future Internet architecture and design; Next generation Internet infrastructure; Internet cross-layer design and optimization; Internet security enforcement and validation; Future cross-Internet computing; Configurable Internet protocols; Internet-scale overlay content hosting; Internet citizen-centric services; End-user customizable Internet; Mobile Internet; Internet imaging; Internet coding; Internet resilience; Internet QoS/QoE; Context-aware, ambient, and adaptive Internet; Virtualization and Internet; Privacy Enhancing Technologies - PETs Committee: http://www.iaria.org/conferences2014/ComINTERNET14.html INTERNET Advisory Committee Eugen Borcoci, University "Politehnica" Bucharest, Romania Abdulrahman Yarali, Murray State University, USA Mark Yampolskiy, Vanderbilt University, USA Vladimir Zaborovsky, Technical University - Saint-Petersburg, Russia Dirceu Cavendish, Kyushu Institute of Technology, Japan Evangelos Kranakis, Carleton University, Canada Danny Krizanc, Wesleyan University-Middletown, USA Natalija Vlajic, York University - Toronto, Canada Krzysztof Walkowiak, Wroclaw University of Technology, Poland Junzo Watada, Waseda University - Fukuoka, Japan Robert van der Mei, Centrum Wiskunde & Informatica, The Netherlands INTERNET Industrial/Research Chairs Jerome Galtier, Orange Labs, France Martin Dobler, FH VORARLBERG - Dornbirn, Austria Abdelmajid Khelil, Huawei Research, Germany Tingyao Wu, Alcatel-Lucent/Bell Labs, USA ================================================ To stop receiving notices about INTERNET, please reply with "DROP INTERNET event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From grlmc at urv.cat Sat Feb 8 12:01:46 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 8 Feb 2014 12:01:46 +0100 Subject: SSTiC 2014: February 15, 3rd registration deadline Message-ID: <055011CC557143C4BAF5810E2B6B46B0@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2014 Tarragona, Spain July 7-11, 2014 Organized by Rovira i Virgili University http://grammars.grlmc.com/sstic2014/ ********************************************************************* --- February 15, 3rd registration deadline --- ********************************************************************* AIM: SSTiC 2014 is the second edition in a series started in 2013. For the previous event, see http://grammars.grlmc.com/SSTiC2013/ SSTiC 2014 will be a research training event mainly addressed to PhD students and PhD holders in the first steps of their academic career. It intends to update them about the most recent developments in the diverse branches of computer science and its neighbouring areas. To that purpose, renowned scholars will lecture and will be available for interaction with the audience. SSTiC 2014 will cover the whole spectrum of computer science through 6 keynote lectures and 24 six-hour courses dealing with some of the most lively topics in the field. The organizers share the idea that outstanding speakers will really attract the brightest students. ADDRESSED TO: Graduate students from around the world. There are no formal pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, reference may be made to specific knowledge background in the description of some of them. SSTiC 2014 is also appropriate for more senior people who want to keep themselves updated on developments in their own field or in other branches of computer science. They will surely find it fruitful to listen and discuss with scholars who are main references in computing nowadays. REGIME: In addition to keynotes, 3 parallel sessions will be held during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Larry S. Davis (U Maryland, College Park), A Historical Perspective of Computer Vision Models for Object Recognition and Scene Analysis David S. Johnson (Columbia U, New York), Open and Closed Problems in NP-Completeness George Karypis (U Minnesota, Twin Cities), Recommender Systems Past, Present, & Future Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One Coin Philip Wadler (U Edinburgh), You and Your Research and The Elements of Style Ronald R. Yager (Iona C, New Rochelle), Social Modeling COURSES AND PROFESSORS: Divyakant Agrawal (U California, Santa Barbara), [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing John M. Carroll (Pennsylvania State U, University Park), [introductory] Usability Engineering and Scenario-based Design Kwang-Ting (Tim) Cheng (U California, Santa Barbara), [introductory/intermediate] Smartphones: Hardware Platform, Software Development, and Emerging Apps Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed Foundations of Data Management in the Cloud Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and Distributed Simulation Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education Research: What We Know about Learning and Teaching Computer Science David S. Johnson (Columbia U, New York), [introductory] The Traveling Salesman Problem in Theory and Practice George Karypis (U Minnesota, Twin Cities), [intermediate] Programming Models/Frameworks for Parallel & Distributed Computing Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate] Optimization Techniques for Sparse/Low-rank Recovery Problems in Image Processing and Machine Learning Arie E. Kaufman (U Stony Brook), [advanced] Visualization Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data Dinesh Manocha (U North Carolina, Chapel Hill), [introductory/intermediate] Robot Motion Planning Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in Computer Science Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate] Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance Handover System Designs Sudhakar M. Reddy (U Iowa, Iowa City), [introductory] Test and Design for Test of Digital Logic Circuits Robert Sargent (Syracuse U), [introductory] Validation of Models Mubarak Shah (U Central Florida, Orlando), [intermediate] Visual Crowd Analysis Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection for Twitter and the Social Web Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate] Distributed Consensus: Theory and Applications Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and Life ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/sstic2014/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed when the capacity of the venue will be complete. It is very convenient to register prior to the event. FEES: As far as possible, participants are expected to attend for the whole (or most of the) week (full-time). Fees are a flat rate allowing one to participate to all courses. They vary depending on the registration deadline. ACCOMMODATION: Information about accommodation will be available on the website of the School in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SSTiC 2014 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Departament d’Economia i Coneixement, Generalitat de Catalunya Universitat Rovira i Virgili From announce at cs.ucy.ac.cy Sat Feb 8 13:09:46 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 8 Feb 2014 14:09:46 +0200 Subject: ICEIRD 2014: Final Call for Abstracts Message-ID: *** Final Call for Abstracts *** The 7th International Conference for Entrepreneurship, Innovation and Regional Development (ICEIRD 2014) 5-6 June 2014, Hilton Hotel | Nicosia, Cyprus https://iceird2014.cs.ucy.ac.cy DEADLINES: Abstract submission: February 14, 2014 Notification of abstract submission: February 21, 2014 Full paper submission: March 28, 2014 Notification of paper submission: April 11, 2014 Camera-ready paper submission: April 28, 2014 Author registration: April 28, 2014 Conference Themes: Igniting Regional Economies - Knowledge, Innovation and Entrepreneurship in South East Europe Energy Enabled: The Innovation and Cooperation Hotbed of South Eastern Europe In the face of fragile economic recovery following the economic and financial crisis of 2008, many firms all around the world continue to invest in growth-enhancing activities to achieve a sustainable development. While the crisis has heavily hit all aspects of business vested interests, investments in innovation, entrepreneurship and regional partnership have been the key priority to ensuring a strong and stable economic growth. The objective of the conference is to gather decision makers (government, ministries and state agencies), innovation experts (universities, research and development centres, technology transfer centres, start-up centres) and practitioners (smes, business incubators and business support organisations) to generate discussion and exchange on the potential of entrepreneurship promotion and innovation to national and regional competitiveness. CONFERENCE TOPICS OF INTEREST Creativity, Complexity and Competitiveness Issues for Small and Medium Enterprises (SMEs) in SEE vs. other regions (EU and other) * Leveraging e-skills for innovation in the knowledge society * Managing and Leveraging Complexity, Creativity and Innovation in SMEs * Trust, Respect, Culture and Collaboration Issues for SMEs in SEE vs. other regions (EU and other) * Leadership and Management practices that can be applied to SMEs * SME Knowledge management and technology transfer * SME Business process modeling * New Technology Ventures Financing * Business incubation management and leadership * Human Resources Practices for promoting innovation for SMEs South East European Entrepreneurial Innovation Clusters * SMEs' Entrepreneurship as an Innovation Driver * Opportunities and barriers for closer cooperation between South East European SMEs in Innovation & Entrepreneurship: Strategic Integration vs. Flexibility and SME Competitiveness * Innovation Clusters, Technology Transfer and Social Entrepreneurship * Social Networking as Driver of EICs formation * Science & Technology Parks and EICs * Young and Women Entrepreneurs development via EICs * Benchmarking of Entrepreneurship and Innovation Best Practices in the region * Innovation policy in SMEs Technology Innovation, Transfer and Commercialization across Governement, University, Industry domains * The role of the State and Public Policy with regards to SME Innovation and Entrepreneurship * Governmental and regional policies on entrepreneurship and innovation * Entrepreneurial Universities and Entrepreneurial Innovation Clusters * Entrepreneurship education * University - Industry collaboration * ICT and SME Regional competitiveness * SMEs and the role of the Innovation Zone (business centers and incubators) * Intangibles Valuation and Intellectual Property Rights * Innovative Supply Chain Management practices in SEE * Innovative Supply Chains * Information Technology proliferation in SEE SMEs ICEIRD 2014 invites submissions of papers related to all the topics of interest of the conference. Papers that address collaborations between industry and academia, case studies as well as experience reports on any of the conference themes are welcome. For more information on the conference topics, visit the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy). SUBMISSIONS *Abstract submission Authors are first requested to submit an about 100 words long abstract by February 14, 2014. Upon acceptance of the abstract by February 31, 2014 the authors should proceed to submit a full paper as per the instructions below. * Full Papers (for review) Authors are requested to submit a full paper of 6-10 pages in either Microsoft Word or Adobe PDF format using the template found on the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy). The template has all the styles required for formatting the text. The easiest way to prepare the camera ready is to download the template, delete all exixting text, add your unformatted text and use the styles (top-left drop down menu) to format it. Only papers in this format will be published. Submitted papers, which will go under blind review by at least two referees, must be submitted electronically through the EasyChair Conference System: https://www.easychair.org/conferences/?conf=iceird2014. * Camera Ready Papers (after acceptance) Following acceptance, authors are requested to sumbit a camera-ready paper using the template found on the website (https://iceird2014.cs.ucy.ac.cy) to the secretariat of ICEIRD2014 by email (iceird2014 at cs.ucy.ac.cy) in both Microsoft Word or PDF format. * Guidelines for Presentations Each presentation will last 20 minutes (15 + 5 minutes for questions). All rooms are fully equiped. Presenters will be requested to upload their presentation at least 15 minutes before the start of their session. Presenters could also use their own laptop. Techinal support will be provided. * Proceedings The Conference Proceedings, including all papers presented, will be published as a SEERC book edited by the Conference Chairs. * Post-Conference Special Journal Issues Selected high quality papers from the conference will be recommended for publication in the special issues of international journals. For more information please visit the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy) The official language of the conference is English. Publication is dependent on at least one author registering to attend ICEIRD 2014. Submissions should be submitted to the easychair account on or before the deadline: https://www.easychair.org/conferences/?conf=iceird2014 IMPORTANT DATES Abstract submission (mandatory): 14th February 2014 Notification of abstract submission: 21st February 2014 Full paper submission: 28th March 2014 Notification of paper acceptance: 11th April 2014 Camera ready paper submission: 28th April 2014 Author registration: 28th April 2014 CONFERENCE CHAIRS Prof. George A. Papadopoulos, University of Cyprus, Cyprus - General Chair Prof. Panos H. Ketikidis, CITY College - International Faculty of the University of Sheffield, Greece - Co-Chair Stavriana A. Kofteros, Special Entrepreneurship & RDI Adviser, Democratic Rally (DISY), Cyprus - Co-Chair -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Bertram.Fronhoefer at tu-dresden.de Sat Feb 8 17:54:25 2014 From: Bertram.Fronhoefer at tu-dresden.de (=?windows-1252?Q?Bertram_Fronh=F6fer?=) Date: Sat, 08 Feb 2014 17:54:25 +0100 Subject: YSIP - Call for Submissions Message-ID: <52F66141.5050108@tu-dresden.de> The Institute for Information Processing and Telecommunication of the North-Caucasus Federal University and the International Center for Computational Logic of the The Institute for Information Processing and Telecommunication of the North-Caucasus Federal University and the International Center for Computational Logic of the Technische Universität Dresden are jointly organizing the Young Scientists' International Workshop on Trends in Information Processing (YSIP) at the North-Caucasus Federal University in Stavropol from April 22 until April 25 as part of the International Conference on Infocommunicational Technologies in Science, Production and Education (INFOCOM-6) . We invite young scientists – typically master or PhD students – to submit new scientific results – as, for example, obtained in their bachelor thesis, project work, master thesis, or PhD project – in all areas of Information Processing. In particular, papers are welcome in, but are not limited to, the following areas: * Semantic Methods * Semantic Web * Languages for Semantic Information Processing * Applications of Semantic Information Processing * Formal Concept Analysis * Big Data * Information Retrieval * Question-Answering Systems * Information Security * Problem Solving * Knowledge Representation and Reasoning * Common Sense Reasoning * Machine Learning * Pattern Recognition Important Dates: 28 February 2014 Deadline of Submission 15 March 2014 Information about Acceptance or Rejection 20 March 2014 Registration 31 March 2014 Submission of Final Version 22-25 April 2014 Workshop For more information see: http://ysip.computational-logic.org/ Prof. Dr. Steffen Hölldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: sh at iccl.tu-dresden.de skype: shiccl From invitation at iariainfo.org Sat Feb 8 18:56:45 2014 From: invitation at iariainfo.org (ICWMC 2014) Date: Sat, 08 Feb 2014 09:56:45 -0800 Subject: Last mile: ICWMC 2014 || June 22 - 26, 2014 - Seville, Spain Message-ID: <1391882205949.348@iariainfo.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICWMC 2014. The submission deadline of February 19, 2014 is approaching. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICWMC 2014 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICWMC 2014, The Tenth International Conference on Wireless and Mobile Communications June 22 - 26, 2014 - Seville, Spain General page: http://www.iaria.org/conferences2014/ICWMC14.html Call for Papers: http://www.iaria.org/conferences2014/CfPICWMC14.html Submission page: http://www.iaria.org/conferences2014/SubmitICWMC14.html Contributions: - regular papers - short papers (work in progress) - posters - ideas - presentations - demos - doctoral forum submissions Proposals for: - symposia - workshops Submission deadline: February 19, 2014 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICWMC 2014 Topics (topics and submission details: see CfP on the site) Wireless Communications Basics Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Transform-domain communication; Multiple access algorithms and schemes; Antenna and RF subsystems; Smart antennas, adaptive antennas, MIMO and beam forming; MIMO and OFDM Based PHY Layer technologies; CDMA Systems Radio Interfaces and Systems Radio communications systems; Radio resource management; Radio transmission technologies; Power and interference control; Interference Cancellation for Wireless Mobile Systems; Power management for small terminals; Energy map; Channel Measurement and Characterization Spectrum Allocation and Management Spectrum efficiency analyses; Dynamic spectrum access networks; Spectrum management; Interference mitigation and management techniques Circuits for Wireless Communications Wireless ASICs; Wireless technologies; RF Design issues Wireless and Mobility Mobility management; Location-based services and positioning; Micro and macro-mobility; Mobility, location and handoff management; Mobile and wireless IP; Wireless broadband mobile access; Routing in multihop, ad hoc and sensor networks; Wireless multicasting; Wireless mesh networks; Topology control in wireless Protocols for wireless and mobility Wireless protocols, architectural and design concepts; Protocols for air interfaces and networks; Wireless MAC protocols: Design and analysis; Transport layer issues in mobile and wireless networks; Middleware for handhelds and mobile services nodes; Proxies and middleware for wireless networks Traffic and congestion control, QoS, Resource Management Traffic Modeling and Analysis; 3G/4G Bandwidth on Demand; QoS and mobility; End-to-end QoS; QoS profiling and pricing; Traffic Engineering; Congestion and admission control Wireless and mobile technologies Micro-mobility and macro-mobility; Wireless LANs; Home and Personal Area Networks: Bluetooth, ZigBeee, etc; Wireless MANs:802.16, 802.20; Wireless WANs: 2G/3G/4G; Mobile ad hoc networks and multi-hop wireless; Sensor networks and applications; Ultra-wideband and short-range networks; High altitude platforms and satellites; Emergency wireless communications; Wireless real-time communications; RFID systems (including readers and transponders in LF, HF and UHF bands) Performance Evaluation, Simulation and Modeling of wireless networks and systems Performance and QoS in wireless networks; Radio channel modeling (wave propagation and measurements); Mobile/wireless networks modeling and simulation; Performance of end-to-end protocols over wireless networks Management of wireless and mobile networks Mobility and QoS management; Billing technologies and tools; Policy Based Management in wireless LANS and MANs; Wireless and Mobile Network Planning; Mobile Database Access and Design Security in wireless and mobile environment Security and robustness in wireless networks; Privacy, Authentication Authorization and Accounting (AAA); Encryption and Cryptography; Key Management Protocols; Digital Rights Management and Multimedia Protection Networks convergence and integration 2G/3G/4G integration; Convergence of 3G wireless and Internet cross-layer design in wireless networks; WLAN/3G/4G integration; Wireless-wireline convergence; Heterogeneous Networks (WAN, Wireless MAN, WLAN); IP Multimedia subsystems (IMS); Next Generation Network Architecture- mobility issues; Coexistence of mobile radio networks; End to End QoS in Heterogeneous environment; Signaling for integrated wireline/wireless networks Applications and services based on wireless infrastructures Mobile & Wireless applications & services; Service discovery: protocols and frameworks; Personalized services and applications; Audio-visual and mobile multimedia applications; Media and content distribution over wireless networks Standardization and regulations Position on standards & fora on wireless and mobile networks; Wireless Networks Standards and Protocols; Communications regulations; 802.11 WLAN Standards; 802.16 WMAN Standards; 3GPP and 3GPP2 standards; HSDPA Technology and Standards; Next Generation Network standards Design and implementation Emerging wireless technologies; Cross-layer optimizations in wireless networks; Design and implementation of mobile information systems; Software defined radio and re-configurability; Joint PHY/MAC design Wireless and mobile network deployment Business models on wireless networks; Market trends and regional developments; M-commerce; Lessons learnt for wireless deployment in schools Lessons learnt for wireless deployment in special regions; Specialized wireless networks; Heterogeneous wireless network deployment (e.g., combining 802.11, 802.16 and 3G networks) Cooperative and Cognitive Vehicular Networks Architectures and platforms of cognitive vehicular network; Distributed artificial intelligence techniques for cognitive networks; Cognitive vehicular routing metrics and supporting protocols; Reduced complexity cognitive networks; Physical and MAC layer issues; Protocols design for cognitive vehicular networks; Cross-layer optimization in cognitive networks; Security issues for vehicular and cognitive networks; Testbed experiment, applications and new advances; Cooperative vehicular networks; QoS provisioning in heterogeneous networks ; Managing vertical handover; Multihoming; IPv6 GeoNetworking; Vehicular network architectures and protocols ; Cross-layer design and optimization for vehicular networks and cognitive networks; Mobility management and topology control; Standardization and Development of vehicular networks Convergence and social mobility Convergence of mobile networks with the Web 2.0; Convergence on architecture and services; Open service capabilities; Open exposure of telco capabilities; Open Web APIs, SOA and SDP); Interworking strategies; Mobile terminals as sources for User-generated content; Architecture and services for user-generated content; Auto-description and metadata synthesis for telecom-generated for user-generated content; Social mobile networks; User behavior profiling; Social connections (social graphs, contacts, etc); Services and architectures/solutions for social mobile services Committee: http://www.iaria.org/conferences2014/ComICWMC14.html ICWMC Advisory Committee Dragana Krstic, University of Nis, Serbia Magnus Jonsson, Halmstad University, Sweden Mari Carmen Aguayo Torres, University of Malaga, Spain Wolfgang Narzt, Johannes Kepler University Linz, Austria Robert Bestak, CVUT in Prague, Czech Republic Abdulrahman Yarali, Murray State University, USA ICWMC Industry/Research Chairs Christopher Nguyen, Intel Corp., USA Mohamad Sayed Hassan, Orange Labs (Alten) / Paris - France Wolfgang Aichmann, Nokia Siemens Networks, Germany Ahmed Ibrahim, Intel Corporation, Egypt Daniele Grasso, STMicroelectronics Srl, Italy ICWMC Publicity Chairs Siavash Rahimi, McGill University, Canada Wu-Shiung Feng, Chang Gung University, Taiwan Claudio Monteiro, IFTO, Brazil Isaí Michel Lombera, University of California - Santa Barbara, USA ================================================ To stop receiving notices about ICWMC, please reply with "DROP ICWMC event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From ecmlpkdd2014publicity at gmail.com Sat Feb 8 20:41:53 2014 From: ecmlpkdd2014publicity at gmail.com (ECML PKDD) Date: Sat, 8 Feb 2014 20:41:53 +0100 Subject: ECML/PKDD 2014 Call for Workshop Proposals Message-ID: Call for Workshop Proposals The ECML/PKDD-2014 Organizing Committee invites proposals for workshops to be held on the first and last days of the conference, which will take place in Nancy, France from September 15th to 19th, 2014. We invite proposals for full-day workshops in relevant and current topics in Machine Learning and Data Mining. The scope of the proposal should be consistent with the conference themes as described in the ECML/PKDD 2014 Call for Papers (www.ecmlpkdd2014.org). Workshops provide an opportunity to discuss current topics in a small and interactive atmosphere. They can concentrate in-depth on research topics, or be devoted to application issues, or to questions concerning the economic and social aspects of machine learning and data mining. Interdisciplinary workshops that bring together researchers and practitioners from different communities are especially welcome. We encourage workshops that bridge the gap between theoretical advances and important and/or innovative applications of machine learning and data mining. Workshops are expected to cover a full day, with a program of typically 7 hours including a 30-minute coffee break and a 90-minute lunch break. We would like to encourage proposers to aim for a program that is both varied and interesting. Especially where the format of the workshop is concerned, we would like you to think about ways of going beyond the usual list of presentations of accepted papers, for example by means of panels, discussions, demo sessions and invited talks. Another way of extending the usual format is to include a specific challenge problem that can be addressed by the workshop participants, with a dedicated challenge session in the workshop program. Note that the challenge should be only one of the components of the workshop, targeting a problem which is specific to the workshop topic(s). Proposals focusing mainly on challenge problems should be submitted to the Discovery Track. For some workshops, it may be useful to first present an introduction to the state of the art in the field given by experienced invited presenters, and afterwards discuss more technical or novel work in a standard (or non-standard!) workshop setting. In general, workshop proposals that show creativity as to the format will be judged favourably in the proposal selection. Furthermore, having ideas for follow-up to your workshop, for example a book or journal special issue, will help to attract more submissions and to make your workshop (proposal) a success. We encourage workshops on novel and original topics, but also welcome successors to workshops that have been organized at ECML/PKDD or a related conference in the past. For successor workshops, proposers should motivate how another instance of the workshop series will address novel developments in the respective research field, and should be able to show that the previous edition(s) were successful in terms of paper submissions and attendance. Guidelines for proposals Workshop proposals should contain the necessary information for the workshop chairs and reviewers to judge the importance, quality and community interest in the proposed topic. Each workshop should have one or more designated organizers and a workshop program. When proposing a workshop, please provide (at least) the following information: * A brief description of the specific issues that the workshop will address, the reasons why the workshop is of interest in these times, the main research areas involved. * Contact information of the workshop chairs, their competence in the proposed topic(s) and previous experience in chairing scientific events. * A tentative list of Program Committee members. * A draft of the Call for Papers, including information on accepted formats (e.g. regular papers, extended abstracts, oral only presentations of relevant recently published or submitted contributions, etc.) and expected format of the workshop (e.g., invited talks, presentations, poster sessions, panel discussions, challenge sessions, or other ideas for ensuring an interactive atmosphere). * Any special requirements regarding logistics (e.g. poster stands, more than one projector), if applicable. Please submit your workshop proposals by e-mail to the ECML/PKDD workshop chairs (see contact information below). Proposals will be reviewed in close collaboration with the conference chairs and the program committee. Important dates The following deadlines are important for the workshop organizers: * Workshop proposal deadline: Sunday, March 2, 2014 * Workshop acceptance notification: Friday, March 21, 2014 * Workshop websites and call for papers online: Friday, March 28, 2014 * Workshop proceedings (camera-ready): Friday, August 1, 2014 For paper submission, reviewing and final revisions, please consider the following deadlines: * Workshop paper submission deadline: Friday, June 20, 2014 * Workshop paper acceptance notification: Friday, July 11, 2014 * Workshop paper camera-ready deadline: Friday July 25, 2014 These deadlines are somewhat flexible, but consider as constraints that the paper submission deadline should be after conference author notification and acceptance notification should be before the conference early registration deadline. Contact In case you have any question, please do not hesitate to contact us. We are looking forward to your proposals. The ECML/PKDD 2014 workshop chairs: * Bettina Berendt (KU Leuven, Belgium) * Patrick Gallinari (University Pierre et Marie Curie, Paris, France) Please send emails to workshops at ecmlpkdd2014.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaevent.org Sat Feb 8 21:49:01 2014 From: invitation at iariaevent.org (ACCESS 2014) Date: Sat, 08 Feb 2014 15:49:01 -0500 Subject: Last mile: ACCESS 2014 || June 22 - 26, 2014 - Seville, Spain Message-ID: <1391892541546.3682@iariaevent.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ACCESS 2014. The submission deadline of February 19, 2014 is approaching. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ACCESS 2014 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ACCESS 2014, The Fifth International Conference on Access Networks June 22 - 26, 2014 - Seville, Spain General page: http://www.iaria.org/conferences2014/ACCESS14.html Call for Papers: http://www.iaria.org/conferences2014/CfPACCESS14.html Submission page: http://www.iaria.org/conferences2014/SubmitACCESS14.html Contributions: - regular papers - short papers (work in progress) - posters - ideas - presentations - demos - doctoral forum submissions Proposals for: - symposia - workshops Submission deadline: February 19, 2014 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ACCESS 2014 Topics (topics and submission details: see CfP on the site) NEXTACCESS: Next generation access technologies Interactivity, unlimited access and full-scale media support; Energy-aware and efficiency-oriented technologies; Sustainable access network business (standard DSL vs. fiber vs. wireless access); 3G/4G wireless technologies; Multiservice access (DSL, fiber, WiMAX, POTS); FTTH; Ethernet P2P vs. xPON; FTTx with VDSL2, or Ethernet, or DOCSIS 3.0; Radio extension, 802.xx (Wi-Fi, WiMax, etc.); LTE, LTE-advanced; IMT-advanced networks; Mesh and relay networks (IEEE 802.11s, IEEE802.16j, etc.); Quality of experience (QoE) FEMTO: Femtocells-based access Femtocells architectures; Femtocells requirements ands specifications; Femtocells protocols; Femtocells services and applications; Traffic and QoS in Femtocells; Performance analysis in Femtocells; Femtocells control and management; Interoperability of Femtocells devices; Femtocells operation optimization; Femtocells specific solutions for mobility; OFDMA Femtocells: interference avoidance; Macrocell-Femto cell interference issues and mitigation; Macrocell-Femto cell handover strategies; WiMAX Fentocells; Standardization of Femtocells BROADBAND: Broadband wireless Internet access New architectures, technologies, protocols for broadband wireless access; QoS in mobile and broadband wireless access networks; Broadcast and multicast support; Physical and data link layer issues; Medium access control, SLA and QoS; Radio resource management and call admission control; Space-time coding for broadband wireless Internet; Modulation, coding and antennas (MIMO); Spectrum management; Scalability and reliability issues; Wireless mesh networks; Capacity planning and traffic engineering; Security and privacy issues; Interoperability aspects (fixed/mobile LANs/MANs, WANs); Experiences/lessons from recent deployments OPTICAL: Optical access networks Optical access network architecture design; Optical access network components and systems; New PON developments and testbeds; WDM and OFDM PON technologies; MAC and bandwidth allocation; RoF network architecture and MAC; RoF components and systems; Signal processing for new modulation formats; Optical spectral management; Multimode fiber technology and applications; Performance monitoring and diagnosis; Deployment and economic analysis MOBILE WIRELESS: Mobile wireless access Mobile Broadband Wireless Access; Wireless/Mobile Access Protocols; Wireless/Mobile Web Access; Ubiquitous and mobile access; Mobile/vehicular environment access; Multi-Homing and Vertical Handoff; Localization and tracking; Context-aware services and applications; Context-aware protocols and protocol architectures; Interactive applications; Mobile and Wireless Entertainment; Mobile Info-services; Wireless ad hoc and sensor networks DYNAMIC: Dynamic and cognitive access Dynamic spectrum access; Architectures and platforms for dynamic spectrum access networks; Spectrum sensing, measurement and models; Efficient and broadband spectrum sensing; Interference metrics and measurements; New spectrum protocols and models; Cognitive radio (cross-layer optimization); Multiple access schemes for cognitive radio networks; Radio resource management and dynamic spectrum access networks; Dynamic spectrum auction and economics; Business model, pricing, and regulations for dynamic spectrum HOWAN: Hybrid optical and wireless access networks Multi-hop wireless mesh networks; Passive optical networks; Node architecture and design of hybrid optical and wireless networks; Emerging wireless/optical applications QoS management for hybrid access networks; PON and WDM-PON network experiments; Radio over Fiber (RoF); FTTx network architecture and applications; Routing and multicast over hybrid optical and wireless networks; Service resilience and availability of hybrid optical and wireless networks; Applications and evolutions of hybrid access networks; Network design, control, and performance in HOWANs; Capacity analysis, flow and congestion control in HOWANs; Optimization of hybrid optical and wireless networks; Evolution of HOWAN access networks Broadband wireless access in HOWANs; Security and privacy in HOWANs; New services and applications; Test-bed and prototype implementation; Standardization issues COPPER: Copper Access Ubiquity via phone lines; Speed reaching 100 Mbps; DSL broadband access; Dynamic and joint optimization of resources (frequency, amplitude, space, and time); Attenuation and crosstalk bottlenecks; Management and control for the multi-user twisted pair networks GIGATERA: Giga/Tera Access Multi-antenna technologies (MIMO, Beamforming, Antenna Selection, etc); RF/Antenna propagation (RF beamforming, Tera-Hz signal generation, Propagation); Interoperability aspects (fixed/mobile LANs/MANs, WANs); Signal processing for millimeter and Tera-Hz wireless systems; NLOS avoidance techniques; Cooperative networks, repeaters and relaying; Error correction, equalization; Space division multiple access; Coexistence and interoperability; OFDM versus single-carrier systems; MIMO in mm-wave and Tera-Hz systems; OFDMA processing; Spread spectrum techniques; High-efficiency medium access control (MAC) protocol; Neighbor discovery in directional wireless networks CONTROL: Access Control Foundations for access control; Models for access control; Mechanisms for access control; Policy-driven and role-driven access control; Delegation and identity management; Privacy-drive control; Access control for advanced applications (cloud, autonomic, sensor, social networks, etc.); Standards for accesses control NEUTRAL: Neutral Access Networks Open access networks; Network neutrality; Operator-neutral residential access technologies; Operator-neutral nomadic access technologies; Operator-neutral mobile access technologies; Operator-neutral CPEs; Internet access regulation; NANs design and management; Multi-gateway traffic management; QoS management in shared infrastructures; Routing and multicast in NANs; Broadband business models for NANs; Broadband pricing models for NANs; Broadband market analysis for NANs; IP traffic models for NANs; Edge routers for NANs; Identity management in NANs; NANS and Digital divide; NANs and Digital inclusion; Inclusive services and applications; NAN testbeds and case studies LEGAL: Legal aspects on network and service access Network neutrality principle; Security and privacy rights; Institutional implications; Accessibility and social affordability; User responsibility Committee: http://www.iaria.org/conferences2014/ComACCESS14.html ACCESS Advisory Committee Alessandro Bogliolo, Università di Urbino, Italy Mark Perry, University of New England in Armidale, Australia Abdulrahman Yarali, Murray State University, USA Ljiljana Trajkovic, Simon Fraser University - Burnaby, Canada Ronit Nossenson, Jerusalem College of Technology, Israel ACCESS Industrial/Research Chairs Deepak Kataria, IPJunction Inc. - Bridgewater, USA Michael Bahr, Siemens AG - Munich, Germany George Korinthios, COSMOTE - Mobile Telecommunications S.A. - Athens, Greece Yunxin (Jeff) Li, IP Australia, Australia Serena Elisa Ponta, SAP Lab - Mougins, France Alejandro Cordero, Amaranto Consultores, Spain Arief Mustain, PT Telekomunikasi Indonesia, Tbk, Indonesia ACCESS Publicity Chairs Andrzej Beben, Warsaw University of Technology, Poland Kwang Ok Kim, ETRI, Korea ================================================ To stop receiving notices about ACCESS, please reply with "DROP ACCESS event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From tavares at fe.up.pt Mon Feb 10 04:43:10 2014 From: tavares at fe.up.pt (=?iso-8859-1?Q?Jo=E3o_Manuel_R._S._Tavares?=) Date: Mon, 10 Feb 2014 03:43:10 GMT Subject: 4th CompIMAGE - Pittsburgh, USA, Sept. 3-5, 2014 Message-ID: Dear Colleague, The 4th CompIMAGE conference (http://jessicaz.me.cmu.edu/CompImage2014) aims to bring together researchers in the area of computational modeling of objects represented in images. Different approaches, such as level set method, deformable models, optimization, geometric modeling, principal component analysis, stochastic methods, machine learning and fuzzy logic and so on will be discussed by the experts to face with problems from different applications, including medicine, biomechanics, biometrics, material science, robotics, surveillance, and defense. The CompIMAGE'14 conference will be held in Pittsburgh, USA, on Sept. 3-5, 2014. The previous CompIMAGE conferences were held in Rome (2012), Buffalo (2010) and Coimbra (2006). CompIMAGE'14 invites submission of high-quality papers on topics including, but not limited to: - Medical/Biological imaging - 2D and 3D reconstruction - Image processing and analysis - Image segmentation - Data interpolation - Registration and acquisition - Objects tracking - Motion and deformation analysis - Shape modeling - Simulation - Scientific data visualization - Biometric person identification - Visual data mining and knowledge discovery - Vision in robotics and automation - Material science - Satellite data Publications The proceedings book will be published by Springer in Lecture Notes in Computer Science (www.springer.com/lncs). The Authors of the best ranked papers will be invited to submit extended versions to the Taylor & Francis journal: Computer Methods in Biomechanics and Biomedical Engineering: Imaging & Visualization (www.tandfonline.com/tciv) - There will be a meeting with the members of the journal editorial board during CompIMAGE'14. Important Dates - March 15, 2014: Paper submissions - April 30, 2014: Notification of acceptance - May 31, 2014: Final camera-ready papers - May 31, 2014: Early Symposium registration (mandatory for authors) - September 3-5, 2014: Conference dates We are looking forward to see you in Pittsburgh next September. Kind regards, Jessica Zhang, Carnegie Mellon University, USA Joao Manuel R.S. Tavares, Universidade do Porto, Portugal (Conference Co-Chairs) PS. For further details please have a look on the conference website at: http://jessicaz.me.cmu.edu/CompImage2014. --------------------------- TO UNSUBSCRIBE FROM OUR LIST AND STOP RECEIVING EMAILS FROM US, please send an email to tavares at fe.up.pt with REMOVE. Thank you. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecmlpkdd2014publicity at gmail.com Tue Feb 11 00:04:02 2014 From: ecmlpkdd2014publicity at gmail.com (ECML PKDD) Date: Tue, 11 Feb 2014 00:04:02 +0100 Subject: Reminder: ECML/PKDD 2014 Calls Message-ID: Apologies for cross-postings. ----------------------------------- ECML/PKDD 2014 15-19 September 2014, Nancy, France http://www.ecmlpkdd2014.org/ ----------------------------------- ----- CALLS ----- ----------------------------------------------- Call For Workshops (workshops at ecmlpkdd2014.org) ----------------------------------------------- Workshop proposal deadline 2 March 2014 Workshop acceptance notification 21 March 2014 ----------------------------------------------- Call For Tutorials (tutorials at ecmlpkdd2014.org) ----------------------------------------------- Tutorial proposal deadline 7 March 2014 Tutorial acceptance notification 28 March 2014 ------------------------------------------- Call For Papers (pcchairs at ecmlpkdd2014.org) ------------------------------------------- Abstract submission deadline 12 April 2014 Paper submission deadline 16 April 2014 --------------------------------------- Call For Demos (demos at ecmlpkdd2014.org) --------------------------------------- Demo submission deadline 16 May 2014 Notification of acceptance 15 June 2014 ----------------------------------------------- Call For Nectar Track (nectar at ecmlpkdd2014.org) ----------------------------------------------- Submission deadline 14 June 2014 Notifications of acceptance 28 June 2014 --------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aamas14publicity at gmail.com Tue Feb 11 04:13:42 2014 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Mon, 10 Feb 2014 19:13:42 -0800 Subject: [AAMAS-14] IFAAMAS Distinguished Dissertation Award: Final Call Message-ID: Final call for IFAAMAS-13 Victor Lesser Distinguished Dissertation Award nominations Nominations are invited for the 2013 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org) and to be presented at AAMAS-2014 (http://aamas2014.lip6.fr/). Eligible doctoral dissertations are those defended between January 1, 2013 and December 31, 2013 in the area of Autonomous Agents or Multiagent Systems. This award includes a certificate and a 1500EUR payment. The selection of the dissertation will be based on the originality, significance, and impact of the work. Evidence of such impact include publications at highly selective conferences and journals in the field with due importance given to the AAMAS conference series and JAAMAS. Research output that resulted primarily from the student's initiative will be considered more favourably. The selection committee will be the final arbiter in the decision process. The selection committee might decide to consult external assessors and reserves the right to not award the prize if the nominations do not meet the expected quality level. The dissertation must be nominated by the thesis supervisor and must be supported by the following documents (the documents must be placed on a web page and only a link to this page e-mailed to Michael Winikoff, michael.winikoff at otago.ac.nz, on or before February 28, 2014): 1. A PDF file of the dissertation. If the dissertation is not written in English, the nomination must include a substantial manuscript in English, with the nominee as the first author, published in a journal or a prestigious conference. 2. A list of citations to published papers based primarily on this dissertation with links to corresponding PDF files. 3. A recommendation from the dissertation supervisor, on departmental letterhead, nominating the dissertation for the IFAAMAS-13 Victor Lesser Distinguished Dissertation Award. The recommendation should argue the merit of the dissertation and highlight, where relevant, how the work resulted from the initiative of the student. This document, not to exceed 500 words, should also certify the eligibility of the PhD by asserting that the PhD was defended in calendar year 2013. 4. The names, email addresses, and affiliations of at most three referees, familiar with the research of the candidate and experts in the pertinent research area, who will directly email their recommendations for the candidate to the chair of the selection committee. It is the responsibility of the dissertation supervisor to contact the referees and ensure that the letters are submitted by the deadline. A reference letter should be no more than 500 words in length and should be on official letterhead, signed and emailed as scanned PDF file. Though the nomination is to be submitted by the nominee's dissertation supervisor, it is required that the nominee has consented that the dissertation be considered for this award and, if selected for the award, commits to attend the AAMAS-2014 conference, where he/she will receive the award, and will give an hour-long presentation in a special session of the conference on the work contained in the dissertation. The cost of attending the conference is not covered by the award. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From feeds at sentic.net Tue Feb 11 06:11:31 2014 From: feeds at sentic.net (feeds) Date: Tue, 11 Feb 2014 00:11:31 -0500 (EST) Subject: [SenticNet] Sentic Challenge @ ESWC'14 Message-ID: <1362660474.4157.1392095491941.open-xchange@emailmg.ipage.com> Apologies for cross-posting, Submissions are invited for the ESWC'14 Challenge on Concept-Level Sentiment Analysis (http://sentic.net/challenge), which will be held in Crete, Greece 25th-29th of May 2014 at the European Semantic Web Conference. The Challenge is open to everyone from industry and academia. RATIONALE Mining opinions and sentiments from natural language, however, is an extremely difficult task as it involves a deep understanding of most of the explicit and implicit, regular and irregular, syntactical and semantic rules proper of a language. Existing approaches mainly rely on parts of text in which opinions and sentiments are explicitly expressed such as polarity terms, affect words and their co-occurrence frequencies. However, opinions and sentiments are often conveyed implicitly through latent semantics, which make purely syntactical approaches ineffective. To this end, concept-level sentiment analysis aims to go beyond a mere word-level analysis of text and provide novel approaches to opinion mining and sentiment analysis that allow a more efficient passage from (unstructured) textual information to (structured) machine-processable data, in potentially any domain. Concept-level sentiment analysis focuses on a semantic analysis of text through the use of web ontologies or semantic networks, which allow the aggregation of conceptual and affective information associated with natural language opinions. By relying on large semantic knowledge bases, concept- level sentiment analysis steps away from blind use of keywords and word co- occurrence count, but rather relies on the implicit features associated with natural language concepts. Unlike purely syntactical techniques, concept- based approaches are able to detect also sentiments that are expressed in a subtle manner, e.g., through the analysis of concepts that do not explicitly convey any emotion, but which are implicitly linked to other concepts that do so. The Challenge focuses on the introduction, presentation, and discussion of novel approaches to concept-level sentiment analysis. Participants will have to design a concept-level opinion-mining engine that exploits common-sense knowledge bases, e.g., SenticNet, and/or Linked Data and Semantic Web ontologies, e.g., DBPedia, to perform multi-domain sentiment analysis. The main motivation for the Challenge, in particular, is to go beyond a mere word-level analysis of natural language text and provide novel concept-level tools and techniques that allow a more efficient passage from (unstructured) natural language to (structured) machine-processable data, in potentially any domain. Systems must have a semantics flavor (e.g., by making use of Linked Data or known semantic networks within their core functionalities) and authors need to show how the introduction of semantics can be used to obtain valuable information, functionality or performance. Existing natural language processing methods or statistical approaches can be used too as long as the semantics plays a main role within the core approach (engines based merely on syntax/word-count will be excluded from the competition). TASKS The Concept-Level Sentiment Analysis Challenge is defined in terms of different tasks. The first task is elementary whereas the others are more advanced. The input units of each task are sentences. Sentences are assumed to be in grammatically correct American English and have to be processed according to the input format specified at http://sentic.net/challenge/sentence. Elementary Task: Polarity Detection The main goal of the Challenge is polarity detection. The proposed systems will be assessed according to precision, recall and F-measure of detected binary polarity values (1=positive; 0=negative) for each input sentence of the evaluation dataset, following the same format asinhttp://sentic.net/challenge/task0. The problem of subjectivity detection is not addressed within this Challenge, hence participants can assume that there will be no neutral sentences. Participants are encouraged to use the Sentic API or further develop and apply sentic computing tools. Advanced Task #1: Aspect-Based Sentiment Analysis The output of this task will be a set of aspects of the reviewed product and a binary polarity value associated to each of such aspects, in the format specified at http://sentic.net/challenge/task1. So, for example, while for the Elementary Task an overall polarity (positive or negative) is expected for a review about a mobile phone, this task requires a set of aspects (such as ‘speaker’, ‘touchscreen’, ‘camera’, etc.) and a polarity value (positive OR negative) associated with each of such aspects. Systems will be assessed according to both aspect extraction and aspect polarity detection. Advanced Task #2: Semantic Parsing As suggested by the title, the Challenge focuses on sentiment analysis at concept-level. This means that the proposed systems are not supposed to work at word/syntax level but rather work with concepts/semantics. Hence, this task will evaluate the capability of the proposed systems to deconstruct natural language text into concepts, following the same format as in http://sentic.net/challenge/task2. SenticNet will be taken as a reference to test the efficiency of the proposed parsers, but extracted concepts won't necessary have to match SenticNet concepts. The proposed systems, for example, are supposed to be able to extract a multi-word expression like ‘buy christmas present’ from sentences such as “Today I bought a lot of very nice Christmas presents’. The number of extracted concepts per sentence will be assessed through precision, recall and F-measure against the evaluation dataset. Advanced Task #3: Topic Spotting Input sentences will be about four different domains, namely: books, DVDs, electronics, and kitchen appliances. This task focuses on the automatic classification of sentences into one of such domains, in the format specified at http://sentic.net/challenge/task3. All sentences are assumed to belong to only one of the above-mentioned domains. The proposed systems are supposed to exploit the extracted concepts to infer which domain each sentence belongs to. Classification accuracy will be evaluated in terms of precision, recall and F-measure against the evaluation dataset. EVALUATION Systems will be evaluated against a testing dataset which will be revealed and released after the first-round of evaluation during the Conference. Participants are suggested to train and/or test their own systems using the Blitzer Dataset. The testing dataset will be constructed in the same way and from the same sources as the Blitzer dataset. The evaluation will be performed by the members of the Program Committee. For systems that can be tuned with different parameters, please indicate a range of up to 4 sets of settings. Settings with the best F-measures will be considered for judgment. For each system, reviewers will give a numerical score within the range [1-10] and details motivating their choice. The scores will be given to the following aspects: 1. Use of common-sense knowledge and semantics; 2. Precision, recall, and F-measure wrt the selected task; 3. Computational time; 4. Innovative nature of the approach. JUDGING AND PRIZES After a first round of review, the Program Committee and the chairs will select a number of submissions confirming to the challenge requirements that will be invited to present their work. Submissions accepted for presentation will be included in post-proceedings and will receive constructive reviews from the Program Committee. All accepted submissions will have a slot in a poster session dedicated to the challenge. In addition, the winners will present their work in a special slot of the main program of ESWC and will be invited to submit a paper to a dedicated Semantic Web Journal special issue. For the Concept-Level Sentiment Analysis Challenge there will be two awards for each task: - Quantitative: the system with the highest average score in items 1-3 above; - Innovative: the system with the highest score in item 4 above. There will be a board of judges at the conference who will evaluate again the systems in more detail. The judges will then meet in private to discuss the entries and to determine the winners. It may happen that the same system runs for both the awards. An amount of €700 has already been secured for the first task, for what the first point of the evaluation aspects is concerned. We are currently working on securing further funding. HOW TO PARTICIPATE The following information has to be provided via EasyChair: - Abstract: no more than 200 words. - Description: It should contain the details of the system, including why the system is innovative, how it uses Semantic Web, which features or functions the system provides, what design choices were made and what lessons were learned. The description should also summarize how participants have addressed the evaluation tasks. Papers must be submitted in PDF format, following the style of the Springer’s Lecture Notes in Computer Science (LNCS) series, and not exceeding 5 pages in length. - Web Access: The application can either be accessible via the web or downloadable. If the application is not publicly accessible, password must be provided. A short set of instructions on how to use the application should be provided as well. Please share comments and questions with the challenge mailing list. The organizers will assist you for any potential issues that could be raised. TIMEFRAME - March 14, 2014, 23:59 (Hawaii time): Submission - April 9, 2014, 23:59 (Hawaii time): Notification of acceptance - May 27-29, 2014: Challenge days CHALLENGE CHAIRS - Erik Cambria, National University of Singapore (Singapore) - Diego Reforgiato, CNR STLAB Laboratory (Italy) _______________________________ SenticNet - http://sentic.net Helping machines to learn, leverage, love Twitter: http://twitter.com/senticnet Facebook: http://facebook.com/senticnet Subscribe: mailto:feeds at sentic.net?subject=SUB Unsubscribe: mailto:feeds at sentic.net?subject=UNSUB -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From frflammi at unina.it Tue Feb 11 21:15:31 2014 From: frflammi at unina.it (Francesco Flammini) Date: Tue, 11 Feb 2014 21:15:31 +0100 Subject: SAFECOMP'14 Final Call For Papers Message-ID: <20140211211531.12243k06mwc670mb@inbox.unina.it> Dear Colleagues, please find below the final Call for Papers for SAFECOMP'14. Kind Regards, Francesco Flammini SAFECOMP'14 Publicity Chair [APOLOGIES FOR MULTIPLE POSTINGS] *********************************** SAFECOMP'14 - CALL FOR PAPERS The 33rd International Conference on Computer Safety, Reliability and Security 10-12 September 2014, Florence, Italy http://www.safecomp2014.unifi.it/ Co-located with EPEW, FMICS, FORMATS and QEST http://www.florence2014.org SCOPE Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SAFECOMP has contributed to the progress of the state-of-the-art in de­pendable application of computers in safety-related and safe­ty-critical systems. SAFECOMP is an annual event covering the state-of-the- art, experience and new trends in the areas of safety, security and reliability of critical computer applications. SAFECOMP provides ample opportunity to exchange insights and experience on emerging methods, approaches and prac­tical solutions. It is a one-stream conference without parallel sessions, allowing easy networking. 2014 KEY THEME Safety in presence of evolution: design, assessment and certification methods TOPICS The conference covers all aspects related to the development, assessment, operation and maintenance of safety critical systems. Topics include, but are not limited to: Fault tolerant architectures and mechanisms Monitoring and fault prediction infrastructures Risk reduction and mitigation techniques Security and privacy protection mechanisms Cyber-physical threats and vulnerability analysis Model-based and experimental assessment of safety, reliability and security Validation and verification methodologies and tools Human and social aspects in safety-critical systems design and analysis Methods for qualification, assurance and certification Safety and security interactions and trade-offs Safety and security cases Safety guidelines, standards and certification Domains of application are (but not limited to): Railways, automotive, aerospace and avionics Telecommunications and networks Critical infrastructures, smart grids, SCADA Medical devices and healthcare Defence, emergency & rescue Logistics, production automation and robotics Education & training PAPER SUBMISSION SAFECOMP aims at providing a forum for bringing academic research and industrial needs together. Therefore, we solicit two types of papers to be published in the main proceedings of the conference: i) Regular papers (up to 16 pages), ii) Reports on Practical Experience and Tools (up to 12 pages). Submitted papers must not have been previously published nor be currently submitted elsewhere. They will be reviewed by at least three program committee members. Further opportunities to contribute to the conference are offered to academics and practitioners, junior and senior researchers, by means of Fast abstracts, Work in progress or Student papers (up to 2 pages). Please refer to Springer Author Guidelines for detailed instructions on how to format your paper. CONFERENCE PROCEEDINGS AND SPECIAL ISSUE All accepted regular papers, reports on practical experience and tools will be published by Springer in the Lecture Notes in Computer Science series. Also, extended versions of the best papers will be considered for publication in a special issue of a safety related international journal. IMPORTANT DATES Workshop proposal submission: 16 February 2014 Abstract submission: 25 February 2014 Full paper submission: 28 February 2014 Notification of acceptance: 20 May 2014 Camera-ready submission: 20 June 2014 COMMITTEE EWICS TC7 Chair Francesca Saglietti (Univ. of Erlangen-Nuremberg, DE) General Chair Andrea Bondavalli (Univ. of Florence, IT) Program Co-Chairs Andrea Bondavalli (Univ. of Florence, IT) Felicita Di Giandomenico (ISTI-CNR, IT) Worshop and Tutorial Chair Frank Ortmeier (Otto -v.-Guericke-Univ. Magdeburg, DE) Industry-Liaison Chair Michael Paulitch (EADS IW, DE) Finance Chair Ettore Ricciardi (ISTI-CNR, IT) Publication Chair Andrea Ceccarelli (Univ. of Florence, IT) Publicity Chair Francesco Flammini (Ansaldo STS, IT) Local Organizing Chair Paolo Lollini (Univ. of Florence, IT) International Program Committee Anderson, S. (UK) Koornneef, F. (NL) Bitsch, F. (DE) Lami, G. (IT) Bloomfield, R. (UK) Linsdkov Hansen, S.(DK) Bologna, S. (IT) Lyu, M. (HK) Bondavalli, A. (IT) Majzik, I. (HU) Braband, J. (DE) Martinelli, F. (IT) Brancati, F. (IT) Masci, P. (UK) Cotroneo, D. (IT) Mattiello, F. (BR) Cukic, B. (US) Mazzini, S. (IT) D'Antonio, S. (IT) Neves, N. (PT) Daniel, P. (UK) Nordland, O. (NO) Di Giandomenico, F.(IT) Ortmeier, F. (DE) Driscoll, K. (US) Paulitsch, M. (DE) Ehrenberger, W. (DE) Romanovsky, A. (UK) Felici, M. (UK) Rushby, J. (US) Flammini, F. (IT) Saglietti, F. (DE) Gallina, B. (SV) Schmitz, C. (CH) Gorski, J. (PL) Schoitsch, E. (AT) Guiochet, J. (FR) Seguin, C. (FR) Kaaniche, M. (FR) Silva, N. (PT) Kanekawa, N. (JP) Skavhaug, A. (NO) Kanoun, K. (FR) Steiner, W. (AT) Karlsson, J. (SV) Sujan, M. (UK) Knight, J. (US) Troubitsyna, E. (FI) Koopman, P. (US) Tsuchiya, T. (JP) *********************************** From ecai2014 at guarant.cz Wed Feb 12 12:50:09 2014 From: ecai2014 at guarant.cz (=?utf-8?q?ECAI_2014?=) Date: Wed, 12 Feb 2014 12:50:09 +0100 Subject: =?utf-8?q?ECAI_2014_-_last_call_for_papers?= Message-ID: <20140212115009.861E217429A@gds25d.active24.cz> ECAI'14 Last Call for Papers The Twenty-first European Conference on Artificial Intelligence 18-22 August 2014, Prague, Czech Republic http://www.ecai2014.org The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier archival venue for presenting scientific results in AI. Organised by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. As well as a full programme of technical papers, ECAI'14 will include the Prestigious Applications of Intelligent Systems conference (PAIS), the Starting AI Researcher Symposium (STAIRS), the International Web Rule Symposium (RuleML) and an extensive programme of workshops, tutorials, and invited speakers. (Separate calls are issued for PAIS, STAIRS, tutorials, and workshops.) ECAI'14 will be held in the beautiful and historic city of Prague, the capital of the Czech Republic. With excellent opportunities for sightseeing and gastronomy, Prague promises to be a wonderful venue for a memorable conference. This call invites the submission of papers and posters for the technical programme of ECAI'14. High-quality original submissions are welcome from all areas of AI; the following list of topics is indicative only. Agent-based and Multi-agent Systems Constraints, Satisfiability, and Search Knowledge Representation, Reasoning, and Logic Machine Learning and Data Mining Natural Language Processing Planning and Scheduling Robotics, Sensing, and Vision Uncertainty in AI Web and Knowledge-based Information Systems Multidisciplinary Topics Both long (6-page) and short (2-page) papers can be submitted. Whereas long papers should report on substantial research results, short papers are intended for highly promising but possibly more preliminary work. Short papers will be presented in poster form. Rejected long papers will be considered for the short paper track. Submitted papers must be formatted according to ECAI'14 guidelines and submitted electronically through the ECAI'14 paper submission site. Full instructions including formatting guidelines and electronic templates are available on the ECAI'14 website. Paper submission: 1 March 2014 Author feedback: 14-18 April 2014 Notification of acceptance/rejection: 9 May 2014 Camera-ready copy due: 30 May 2014 The proceedings of ECAI'14 will be published by IOS Press. Best papers go AIJ The authors of the best papers (and runner ups) of ECAI'14 will be invited to submit an extended version of their paper to the Artificial Intelligence Journal. Conference Secretariat GUARANT International Na Pankráci 17 140 21 Prague 4 Tel: +420 284 001 444, Fax: +420 284 001 448 E-mail: ecai2014 at guarant.cz Web: www.ecai2014.org This email is not intended to be spam or to go to anyone who wishes not to receive it. If you do not wish to receive this letter and wish to remove your email address from our database please reply to this message with "Unsubscribe" in the subject line. From manolis.stamatogiannakis at vu.nl Thu Feb 13 11:04:12 2014 From: manolis.stamatogiannakis at vu.nl (Manolis Stamatogiannakis) Date: Thu, 13 Feb 2014 11:04:12 +0100 Subject: CFP: 7th International Conference on Trust & Trustworthy Computing (TRUST 2014) In-Reply-To: <52FAB3C6.9000008@vu.nl> References: <52F50898.5060305@vu.nl> <52FAB1E1.5080109@vu.nl> <52FAB3C6.9000008@vu.nl> Message-ID: <52FC989C.9030004@vu.nl> ====================================================================== Call for Papers: TRUST 2014 7th International Conference on Trust & Trustworthy Computing June 30 - July 2, 2014 - Hersonissos, Crete, Greece ====================================================================== http://www.ics.forth.gr/trust2014/ / http://bit.ly/trust2014 About TRUST ---------------------------------------- TRUST 2014 is an international conference on the technical and socio-economic aspects of trustworthy infrastructures. It provides an excellent interdisciplinary forum for researchers, practitioners, and decision makers to explore new ideas and discuss experiences in building, designing, using and understanding trustworthy computing systems. TRUST 2014 will be held from June 30 to July 2 2014 in Hersonissos, Crete, Greece. Hersonissos is a popular holiday resort located 30km from Heraklion, the island's largest city. Important Dates ---------------------------------------- * Paper submission: March 7, 2014 * Acceptance notification: April 7, 2014 * Final paper due: April 21, 2014 * Conference: June 30 - July 2, 2014 Topics of Interest ---------------------------------------- TRUST 2014 solicits original contributions on any aspect of the design, application and usage of trusted and trustworthy computing. Submissions should align with one of two strands of contributions of the conference. The topics of the strands include (but are not limited to): Technical Strand * Architecture and implementation technologies for trusted platforms and trustworthy infrastructures * Trust, Security and Privacy in embedded systems * Trust, Security and Privacy in social networks * Trusted mobile platforms and mobile phone security * Implementations of trusted computing (hardware and software) * Applications of trusted computing * Trustworthy infrastructures and services for cloud computing (including resilience) * Attestation and integrity verification * Cryptographic aspects of trusted and trustworthy computing * Design, implementation and analysis of security hardware * Security hardware with cryptographic and security functions, physically unclonable functions (PUFs) * Intrusion resilience in trusted computing * Virtualization for trusted platforms * Secure storage * Security policy and management of trusted computing * Access control for trusted platforms * Privacy aspects of trusted computing * Verification of trusted computing architectures * Usability and end-user interactions with trusted platforms * Limitations of trusted computing Social and Socio-economic Strand * Role of trust in human-computer interactions * Usability and user perceptions of trustworthy systems and risks * Patterns of trust practices in human-computer interactions * Effects of trustworthy systems upon user, corporate, and governmental behavior * Impact of trustworthy systems in enhancing trust in cloud-like infrastructures * Adequacy of guarantees provided by trustworthy systems for systems critically dependent upon trust, such as elections and government oversight * Impact of trustworthy systems upon digital forensics, police investigations and court proceedings * Game theoretical approaches to modelling or designing trustworthy systems * Approaches to model and simulate scenarios of how trustworthy systems would be used in corporate environments and in personal space * Economic drivers for trustworthy systems in corporate environment * Experimental economics studies of trustworthiness * Interplay between privacy, privacy enhancing technologies and trustworthy systems * Evaluation of research methods used in the research of trustworthy and trusted computing * Critiques of trustworthy systems * Metrics of trust * Privacy Aspects of Trust Computing * Engineering Processes for Trustworthy Computing Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal, conference or workshop. Simultaneous submission of the same work is not allowed. Authors of accepted papers must guarantee that their papers will be presented at the conference. Format of paper submissions ---------------------------------------- Two formats of submissions are solicited: * Full papers (up to 18 pages) that report on in-depth, mature research results. * Short papers (up to 9 pages) that describe brief results or exciting work-in-progress. All paper submissions to TRUST 2014 must be in LNCS format and written in English. The templates for LNCS format can be downloaded from: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 All submissions must be within the page limits mentioned above. No changes to margins, spacing, or font sizes (or anything else) are allowed. The program committee reserves the right to request the source files for a submission to verify compliance with this requirement. Moreover, all submissions must be anonymized. An author's name should occur only in references to that author's related work, which should be referenced in the third person and not be overtly distinguishable from the referenced work of others. Only PDF files will be accepted. Poster submissions ---------------------------------------- TRUST 2014 encourages the presentation of posters that aim at the rapid dissemination of new ideas, work in progress or preliminary results. We particularly encourage PhD students to present their ongoing work. For details on poster submissions check our website: http://bit.ly/trust2014poster Organisation Committee ---------------------------------------- * General Chair: Ioannis Askoxylakis, FORTH-ICS, GR * Program Chair - Socio-economic Strand: - Daniel J. Weitzner, MIT, USA * Program Chairs - Technical Strand: - Sotiris Ioannidis, FORTH-ICS, GR - Thorsten Holz, Ruhr University Bochum, DE For the full Program Committee see: http://bit.ly/trust2014pc TRUST 2014 Twitter Updates ---------------------------------------- Announcements regarding TRUST 2014 will be sent through @syssecproject on Twitter: https://twitter.com/syssecproject From ictcs2014 at dmi.unipg.it Thu Feb 13 16:01:54 2014 From: ictcs2014 at dmi.unipg.it (ICTCS2014) Date: Thu, 13 Feb 2014 16:01:54 +0100 (CET) Subject: ICTCS 2014 -- Call-for-Papers Message-ID: [apologies for multiple posting] ================= PRELIMINARY CALL FOR PAPERS ================= ICTCS 2014 Fifteenth Italian Conference on Theoretical Computer Science Perugia, Italy, September 17-19, 2014 http://www.dmi.unipg.it/ictcs2014 ICTCS-2014, the 2014 Italian Conference on Theoretical Computer Science, is the 15th conference of the Italian Chapter of EATCS. It will be held in Perugia, September 17-19 2014 at the Department of Mathematics and Computer Science. The scope of the meeting is fostering the cross-fertilisation of ideas stemming from different areas of theoretical computer science. Hence, the Italian Conference on Theoretical Computer Science represents an occasion for meeting and exchanging ideas and for sharing experiences between researchers. It also provides the ideal environment where junior researchers and PhD students can meet senior researchers. Contributions in any area of theoretical computer science are warmly solicited. Typical, but not exclusive, topics of interest include: agents algorithms argumentation automata theory automated theorem proving complexity theory computational logic computational social choice concurrency cryptography distributed computing dynamical systems formal methods game theory graph theory knowledge representation languages model checking process algebras quantum computing rewriting systems security and trust semantics specification and verification systems biology types The event is open to both Italian and foreign researchers, which are welcome to submit papers and attend the Conference. Invited speakers: ================= Rocco De Nicola. IMT - Institute for Advanced Studies, Lucca Giuseppe Liotta. Department of Engineering, University of Perugia Program committee: ================== Paolo Baldan (Univ. di Padova) Giampaolo Bella (Univ. di Catania) Marco Bernardo (Univ. di Urbino) Davide Bilo (Univ. di Sassari) Michele Boreale (Univ. di Firenze) Tiziana Calamoneri (Sapienza Univ. di Roma) Antonio Caruso (Univ. del Salento) Ferdinando Cicalese (Univ. di Salerno) Flavio Corradini (Univ. di Camerino) Giorgio Delzanno (Univ. di Genova) Mariangiola Dezani (Univ. di Torino) Eugenio Di Sciascio (Politecnico di Bari) Agostino Dovier (Univ. di Udine) Marco Faella (Univ. di Napoli "Federico II") Michele Flammini (Univ. di L'Aquila) Maurizio Gabbrielli (Univ. di Bologna) Fabio Gadducci (Univ. di Pisa) Raffaella Gentilini (Univ. di Perugia) Laura Giordano (Univ. del Piemonte Orientale) Giuseppe F. Italiano (Univ. di Roma "Tor Vergata") Sabrina Mantaci (Univ. di Palermo) Isabella Mastroeni (Univ. di Verona) Manuela Montangero (Univ. di Modena e Reggio Emilia) Maurizio Proietti (IASI-CNR) Antonino Salibra (Univ. Ca'Foscari Venezia) Francesco Santini (IIT-CNR, Univ. di Perugia) Marinella Sciortino (Univ. di Palermo) Maurice ter Beek (ISTI-CNR) Program co-chairs: ================== Stefano Bistarelli (Univ. di Perugia) Andrea Formisano (Univ. di Perugia) Venue: ====== Dipartimento di Matematica e Informatica Universita` degli Studi di Perugia via Vanvitelli, 1 I-06123 Perugia, Italy Local contacts: =============== Stefano Bistarelli & Andrea Formisano E-mail: ictcs2014 at dmi.unipg.it Conference web-site: http://www.dmi.unipg.it/ictcs2014 Important dates: ================ Submission deadline: 27 May 2014 Notification of acceptance: 15 July 2014 Final version: 10 August 2014 Conference: 17-19 September 2014 Submissions: ============ Two types of contributions are solicited: Short papers: 5 pages in llncs style. Suitable for extended abstracts of papers already appeared or submitted elsewhere; reports on ongoing researches on which the authors wish to get feedback at ICTCS; overviews of PhD-theses; etc... Long papers: 12 pages in llncs style. Full original papers, presenting novel results, not appeared or submitted elsewhere. In case of need, to ease the rewiewing process, the authors of long papers may add an appendix containing further material (or indicate a web site containing longher version of the paper). In any case the reviewers are not required to consider such furhter material in their evaluation. Reviewing will be non-blind. For each accepted paper at least one of the authors is required to attend at the conference and present the paper. All accepted contribution (short and long), presented at the conference, will appear in a number of CEUR Workshop Proceedings (http://ceur-ws.org/). Articles must be written in English and formatted using the Springer LNCS style (see the details on the conference web site). Submission page: ================ Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://www.easychair.org/conferences/?conf=ictcs2014 Post-conference proceedings: ============================ The organizing committee is considering the publication of a post-conference special issue of an international journal, including a selection of the long contributions presented at the conference. The interested authors will be asked to submit an improved version of their long papers. The paper submitted for the journal issue should be significantly revised and extended with respect to the conference version. A second reviewing process, meeting the high standard of quality of the international journal will select the papers to be accepted for the special issue. ===================================================== From sara at kdbio.inesc-id.pt Fri Feb 14 15:49:44 2014 From: sara at kdbio.inesc-id.pt (Sara Silva) Date: Fri, 14 Feb 2014 14:49:44 +0000 Subject: Post-doc position University of Lisbon - collective adaptive systems Message-ID: <52FE2D08.6000305@kdbio.inesc-id.pt> FYI: Postdoctoral position in collective adaptive systems at the University of Lisbon (available immediately) The Laboratory of Agent Modeling (LabMAg) - University of Lisbon, Portugal, invites applications for a full-time postdoctoral research position in the frame of the ASSISIbf (http://assisi-project.eu/) on mixed natural-artificial societies for up to 5 years. Primary responsibilities: We are seeking an outstanding postdoc to join LabMAg, University of Lisbon, in the frame of ASSISIbf European project on mixed natural-artificial collective adaptive systems. The local team coordinator is Luís Correia (http://www.di.fc.ul.pt/~lcorreia/). The postdoc fellow will focus on studying and applying swarm intelligence concepts to enable the synthesis of self-organised collective behaviour in mixed natural-artificial societies. Besides specification of robot behaviour and investigation of swarm intelligence approaches, the position holder will also investigate self-adaptation through evolutionary computation in groups of autonomous robots. Requirements for admission: PhD in Computer Science and Engineering or related fields. Applicants must have a strong background in Artificial Intelligence/Artificial Life or in Complex Systems, and be proficient in English. Preference will be given to candidates experienced in robotics, machine learning and bio-inspired computation. Experience in visualisation is not mandatory but will be vaulted. More information in http://www.fc.ul.pt/concursos?perfil=3?refer=4 call Nº 583 (Annex: http://www.fc.ul.pt/servicosCake/servicoLogos/Concursos/verAnexo/1171) From sebastien.konieczny at gmail.com Fri Feb 14 17:30:18 2014 From: sebastien.konieczny at gmail.com (=?iso-8859-1?Q?S=E9bastien_Konieczny?=) Date: Fri, 14 Feb 2014 17:30:18 +0100 Subject: CFP 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) - Deadline extension: February 28th Message-ID: Due to several requests, the Submission Deadline of NMR 2014 is extended to February 28th. Here is the updated Call For Papers: ______________________________________________________________________ CALL FOR PAPERS 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) http://www.kr.tuwien.ac.at/nmr14/ Vienna, Austria, July 17–19, 2014 Co-located with KR 2014 [http://kr.org/KR2014/], DL 2014 [http://www.dbai.tuwien.ac.at/dl2014/], FLoC 2014, and Logic Colloquium 2014. NMR 2014 is part of the Vienna Summer of Logic [http://vsl2014.at/] ______________________________________________________________________ * Aims and Scope * The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 15th workshop in this series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics. NMR will share a joint session with the 27th International Workshop on Description Logics (DL 2014). * Topics * NMR 2014 welcomes the submission of papers broadly centered on issues and research in non-monotonic reasoning. We welcome papers of either theoretical or practical nature. Topics of interest include (but are not limited to): - abductive reasoning and diagnosis, - algorithms and complexity analysis, - argumentation and dialog, - answer-set programming, - belief revision, belief update, and belief merging, - benchmarks for non-monotonic reasoning, - declarative programming for non-monotonic reasoning, - default reasoning, - empirical studies of reasoning strategies, - foundations of non-monotonic reasoning, - hybrid approaches (non-monotonic reasoning combined with other computing paradigms), - inconsistency handling, - implementations and systems, - non-monotonic logics in multi-agent interaction, including negotiation and dispute resolution, - non-monotonic reasoning for ontologies, - reasoning and decision making under uncertainty, - reasoning with preferences, - representing actions and planning, - causal reasoning, and - similarity based-reasoning. * Tracks * To focus the different topics of submissions, the workshop comprises the following thematic tracks: 1. Actions, Causality, and Belief Change; 2. Declarative Programming; 3. Argumentation and Dialog; 4. Preferences, Norms, and Trust; 5. NMR and Uncertainty; 6. Commonsense and NMR for Ontologies; as well as the following special tracks: 7. Systems and Applications; 8. Benchmarks for NMR. * Systems and Applications Track * Recent years witnessed the development of mature solver technology for some NMR based formalisms and, accordingly, successful real-world applications. This track welcomes papers on describing implemented NMR systems as well as papers presenting applications of NMR formalisms and systems. Topics of interest include pure system descriptions (providing information on the basic functionality and usability of the respective systems), the comparison and evaluation of NMR systems, NMR applications in industry and academia, software engineering and modeling methodology aspects, and reports from the field. * Benchmarks for NMR special track * The aim of the Benchmarks for NMR special track is to discuss the construction of benchmarks for NMR. Benchmarks proved useful in a variety of domains in order to develop efficient algorithms and methods. They are for the moment insufficiently developed for main NMR areas. We want to discuss this issue in NMR 2014. Typical questions of interested could be: - How to obtain benchmarks from real application cases? - How to build sensible random benchmarks? - How to export existing benchmarks in some formalism into other domains formalisms? - Etc. Papers related to these issues, description of existing systems of benchmarks, etc., are welcome. * Submissions * Papers should be between 4 and 10 pages in AAAI style (http://www.aaai.org/Publications/Author/author.php) including references, figures, and appendixes if any. System descriptions can typically be on the lower bound of the page range. Papers submission will be handled electronically by means of the easychair system. Papers must be submitted in PDF only. The submission page is available at http://www.easychair.org/conferences/?conf=nmr2014 Papers already published at other conferences and that can be of interest for an NMR audience are welcomed to NMR 2014, provided that the initial publication is mentioned in a footnote on the first page. Submissions will have to indicate to which of the above listed tracks it is intended to belong to, as well as whether it constitutes new research or recently published research. * Proceedings * There are no formal proceedings for NMR. The accepted papers will be published as a technical report and will be made available in the CoRR Computing Research Repository, see http://arxiv.org/corr/home. The copyright of the papers lies with the authors, and as far as NMR is concerned, they are free to submit to other conferences and workshops as well. Similarly, papers already published can be submitted (but this has to be indicated in the submission). * Important Dates * Submission deadline (extended): February 28, 2014 Notification (extended): April 9, 2014 Camera-ready articles due (extended): April 28, 2014 NMR 2014: July 17-19, 2014 * Location * NMR 2014 will be held at the Vienna University of Technology and is part of the Vienna Summer of Logic, http://vsl2014.at/, which will probably be the largest scientific logic event in known history. * Workshop Chairs * Sébastien Konieczny (CNRS, Université d'Artois, France) Hans Tompits (Vienna University of Technology, Austria) * Track Chairs * 1. Actions, Causality, and Belief Change Renata Wasserman (Universidade de São Paulo, Brasil) 2. Declarative Programming Tomi Janhunen (Aalto University, Finland) 3. Argumentation and Dialog Paul E. Dunne (University of Liverpool, UK) 4. Preferences, Norms, and Trust Mehdi Dastani (Utrecht University, Netherlands) 5. NMR and Uncertainty Lluis Godo (Universitat Autonoma de Barcelona, Spain) 6. Commonsense and NMR for Ontologies Guilin Qi (Southeast University, China) 7. Systems and Applications Esra Erdem (Sabanci University, Turkey) 8. Benchmarks for NMR Sébastien Konieczny (CNRS, Université d'Artois, France) Email: nmr14 [at] kr [dot] tuwien [dot] ac [dot] at * Homepage * http://www.kr.tuwien.ac.at/nmr14/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sat Feb 15 12:10:36 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 15 Feb 2014 13:10:36 +0200 Subject: ICSOB 2014: Industry Day - Final Call for Papers (Extended Deadline) Message-ID: *** Industry Day - Final Call for Papers *** *** Extended Deadline: Fe. 21, 2014 *** Fifth International Conference on Software Business (ICSOB 2014) Azia Resort and Spa, Paphos Cyprus June 15-18, 2014 http://www.icsob.org Online submission: https://www.easychair.org/conferences/?conf=icsob2014 The Industrial Track of the 5th International Conference on Software Business (ICSOB) offers the opportunity for sharing practical experiences and insights in the area of software business. In accordance with the theme of the main conference "shortening the time-to-market - from short cycle times to continuous value delivery" and the special industry day session "Industry 4.0", those involved in such activities are especially encouraged to share their experiences. The industrial track will be held on Wednesday, June 18th, 2014 and consist of presentations and discussions. For more details concerning ICSOB 2014 please visit http://www.icsob.org. Special sessions this year * Industry 4.0 includes e.g. cyber-physical systems, Internet of Things, computerization of traditional industries such as manufacturing * Speeding up time-to-market: towards continuous value delivery * Business models in game and entertainment software Submission Proposals for presentations in form of abstracts (up to 3 pages) or industrial papers (up to 10 pages) should be submitted online at the following URL: https://www.easychair.org/conferences/?conf=icsobid2014 The best industrial contributions will be included in the conference proceedings published by Springer as a volume in Lecture Notes in Business Information Processing (LNBIP) series (if at least one author of the paper attends the conference and presents the paper). All other industrial contributions will be included in the ICSOB post-proceedings (probably published in Springer's CCIS series). Note: Presentation without publishing the accepted contribution is possible as well. Important Dates Submission deadline: February 21st, 2014 (extended deadline) Notification: March 7th, 2014 Camera-Ready: April 7th, 2014 Industry Day: June 18th, 2014 Organizers / Program committee Georg Herzwurm, Universität Stuttgart, Germany George Angelos Papadopoulos, University of Cyprus, Cyprus Olaf Mackert, SAP AG, Germany Arnd Simon, Microsoft, Germany Tobias Tauterat, Universität Stuttgart, Germany Contact Please do not hesitate to contact industry at icsob.org for further information. -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sun Feb 16 09:18:06 2014 From: grlmc at urv.cat (GRLMC) Date: Sun, 16 Feb 2014 09:18:06 +0100 Subject: LATA 2014: call for participation Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* 8th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2014 Madrid, Spain March 10-14, 2014 http://grammars.grlmc.com/lata2014/ ********************************************************************* PROGRAM Monday, March 10: 9:30 - 10:30 Registration 10:30 - 10:40 Opening 10:40 - 11:30 Helmut Seidl: Interprocedural Information Flow Analysis of XML Processors - Invited Lecture 11:30 - 11:45 Break 11:45 - 13:00 Alberto Dennunzio, Enrico Formenti, Luca Manzoni: Extremal Combinatorics of Reaction Systems Fernando Arroyo, Sandra Gómez Canaval, Victor Mitrana, Ștefan Popescu: Networks of Polarized Evolutionary Processors are Computationally Complete Liang Ding, Abdul Samad, Xingran Xue, Xiuzhen Huang, Russell L. Malmberg, Liming Cai: Stochastic k-Tree Grammar and its Application in Biomolecular Structure Modeling 13:00 - 14:30 Lunch 14:30 - 15:45 Béatrice Bérard, Olivier Carton: Channel Synthesis Revisited Daniel Průša: Weight-reducing Hennie Machines and Their Descriptional Complexity Manfred Droste, Stefan Dück: Weighted Automata and Logics for Infinite Nested Words 15:45 - 16:00 Break 16:00 - 17:15 Friedrich Otto, František Mráz: Extended Two-Way Ordered Restarting Automata for Picture Languages Sang-Ki Ko, Yo-Sub Han, Kai Salomaa: Top-Down Tree Edit-Distance of Regular Tree Languages Bertram Felgenhauer, René Thiemann: Reachability Analysis with State-Compatible Automata 17:15 - 17:45 Coffee Break 17:45 - 18:35 Leslie A. Goldberg: The Complexity of Approximate Counting - Invited Lecture Tuesday, March 11: 9:00 - 9:50 Sanjeev Khanna: Matchings, Random Walks, and Sampling - Invited Lecture 9:50 - 10:00 Break 10:00 - 11:15 Niko Beerenwinkel, Stefano Beretta, Paola Bonizzoni, Riccardo Dondi, Yuri Pirola: Covering Pairs in Directed Acyclic Graphs Eike Best, Raymond Devillers: Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets María Martos-Salgado, Fernando Rosa-Velardo: Expressiveness of Dynamic Networks of Timed Petri Nets 11:15 - 11:45 Coffee Break 11:45 - 13:00 Bireswar Das, Patrick Scharpfenecker, Jacobo Torán: Succinct Encodings of Graph Isomorphism Matthias Gallé, Matías Tealdi: On Context-Diverse Repeats and their Incremental Computation Marcella Anselmo, Dora Giammarresi, Maria Madonia: Picture Codes with Finite Deciphering Delay 13:00 - 14:30 Lunch 14:30 - 15:45 Paul Tarau: Computing with Catalan Families Joan Boyar, Shahin Kamali, Kim S. Larsen, Alejandro López-Ortiz: On the List Update Problem with Advice Rob Gysel: Minimal Triangulation Algorithms for Perfect Phylogeny Problems 15:45 - 16:00 Break 16:00 - 17:15 Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Sławek Staworko, Marc Tommasi: Learning Sequential Tree-to-word Transducers Dariusz Kalociński: On Computability and Learnability of the Pumping Lemma Function Slimane Bellaouar, Hadda Cherroun, Djelloul Ziadi: Efficient List-based Computation of the String Subsequence Kernel Wednesday, March 12: 9:00 - 9:50 Oscar H. Ibarra: On the Parikh Membership Problem for FAs, PDAs, and CMs - Invited Lecture 9:50 - 10:00 Break 10:00 - 11:15 Marius Konitzer, Hans Ulrich Simon: DFA with a Bounded Activity Level Shenggen Zheng, Jozef Gruska, Daowen Qiu: On the State Complexity of Semi-Quantum Finite Automata Vojtěch Vorel: Complexity of a Problem Concerning Reset Words for Eulerian Binary Automata 11:15 - 11:45 Coffee Break 11:45 - 13:00 Pascal Caron, Marianne Flouret, Ludovic Mignot: (k,l)-Unambiguity and Quasi-Deterministic Structures: an Alternative for the Determinization Zuzana Bednárová, Viliam Geffert: Two Double-Exponential Gaps for Automata with a Limited Pushdown Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman: Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata 13:00 - 14:30 Lunch 15:45 - 17:45 Sightseeing in Madrid by Bus Thursday, March 13: 9:00 - 9:50 Javier Esparza: A Brief History of Strahler Numbers (I) - Invited Tutorial 9:50 - 10:00 Break 10:00 - 11:15 Zeinab Mazadi, Ziyuan Gao, Sandra Zilles: Distinguishing Pattern Languages with Membership Examples Francine Blanchet-Sadri, Andrew Lohr, Sean Simmons, Brent Woodhouse: Computing Depths of Patterns Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Michaël Larouche: Solving Equations on Words with Morphisms and Antimorphisms 11:15 - 11:45 Coffee Break 11:45 - 13:00 Anton Cerný: Solutions to the Multi-Dimensional Equal Powers Problem Constructed by Composition of Rectangular Morphisms Enrico Formenti, Markus Holzer, Martin Kutrib, Julien Provillard: ω-rational Languages: High Complexity Classes vs. Borel Hierarchy Thomas Weidner: Probabilistic ω-Regular Expressions 13:00 - 14:30 Lunch 14:30 - 15:45 Haizhou Li, François Pinet, Farouk Toumani: Probabilistic Simulation for Probabilistic Data-aware Business Processes Daniel Bundala, Jakub Závodný: Optimal Sorting Networks Etienne Dubourg, David Janin: Algebraic Tools for the Overlapping Tile Product 15:45 - 16:00 Break 16:00 - 17:15 Luca Breveglieri, Stefano Crespi Reghizzi, Angelo Morzenti: Shift-Reduce Parsers for Transition Networks Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet: Formulae for Polyominoes on Twisted Cylinders Alexandre Blondin Massé, Amadou Makhtar Tall, Hugo Tremblay: On the Arithmetics of Discrete Figures Friday, March 14: 9:00 - 9:50 Javier Esparza: A Brief History of Strahler Numbers (II) - Invited Tutorial 9:50 - 10:00 Break 10:00 - 11:15 Hanna Klaudel, Maciej Koutny, Zhenhua Duan: Interval Temporal Logic Semantics of Box Algebra Pierre Ganty, Ahmed Rezine: Ordered Counter-Abstraction: Refinable Subword Relations for Parameterized Verification Matthew Gwynne, Oliver Kullmann: On SAT Representations of XOR Constraints 11:15 - 11:45 Coffee Break 11:45 - 13:00 Bernd Finkbeiner, Hazem Torfah: Counting Models of Linear-time Temporal Logic Claudia Carapelle, Shiguang Feng, Oliver Fernández Gil, Karin Quaas: Satisfiability for MTL and TPTL over Non-Monotonic Data Words Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz: Are Good-for-games Automata Good for Probabilistic Model Checking? 13:00 Closing From announce at cs.ucy.ac.cy Sun Feb 16 12:13:33 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 16 Feb 2014 13:13:33 +0200 Subject: 4th International Conference on Model & Data Engineering (MEDI 2014): Second Call for Papers Message-ID: *** SECOND CALL FOR PAPERS *** 4th INTERNATIONAL CONFERENCE ON MODEL & DATA ENGINEERING (MEDI 2014) Lordos Beach Hotel, Larnaca, Cyprus 24-26 September, 2014 http://medi2014.cs.ucy.ac.cy/ The main objective of the conference is to provide a forum for the dissemination of research accomplishments and to promote the interaction and collaboration of research communities issued from modelling and system modelling on the one hand and data and data modelling on the other hand. MEDI 2014 provides an international infrastructure for the presentation of research results and experimentations on models and data theory, development of advanced technologies related to models and data and their advanced applications and case studies. This international scientific event, initiated by researchers from Euro-Mediterranean countries, aims also at promoting the creation of north-south scientific networks, projects and faculty/student exchanges and of other parts of the world as well. Aim and Scope Specific areas of interest to MEDI'2014 include but are not limited to: Modelling and Models Engineering: - Design of General-purpose Modelling Languages and Related Standards - Model Driven Engineering, Modelling Languages, Meta-modelling, Model Transformation, Model Evolution: - Formal Modelling, Verification and Validation, Analysis, Testing - Ontology Based Modelling, Role of Ontologies in Modelling Activities - Model Manipulation and models as first objects - Heterogeneous modelling, model integration and interoperability - Applications and case studies Data Engineering: - Heterogeneous data, data Integration and Interoperability - Distributed, Parallel, Grid, Peer to Peer, Cloud Databases - Data Warehouses and OLAP, Data Mining - Database System Internals, Performance, Self-tuning Benchmarking and Testing - Database Security, Personalization, Recommendation - Web Databases, Ontology Based Databases, PDMS - Applications and case studies Modeling for Data Management: - New Models and Architectures for Databases and Data Warehouses - Modeling and Quality of Data - Modeling for Enhancing Sharing Data - Models for Explicit and Implicit Semantics based Data Optimization - Model Reification, Model Repositories - Modeling Non Functional Properties of Systems - Data as models and Models as Data - Service based data management and service oriented applications - Models for data Monitoring - Urbanization of Database Applications Applications and tooling: - Industry transfer, experiences - Data and Model manipulation and tooling - Modelling tools and experimentation Conference Location Lordos Beach Hotel, Larnaca https://www.lordosbeach.com.cy/en/ Submission Guidelines and Instructions Authors are invited to submit research and application papers representing original, previously unpublished work. Papers should be submitted in PDF or Word format. Submissions must conform to Springer's LNCS format and should not exceed 12 pages (including all text, figures, references and appendices). Authors who want to buy extra pages may submit a paper up to 15 pages with the indication that the authors will purchase extra pages if the paper is accepted. Submissions which do not conform to the LNCS format and/or which do exceed 12 pages (or up to 15 pages with the extra page purchase commitment) will be rejected without reviews. Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All accepted papers will be published in Lecture Notes in Computer Science (LNCS) by Springer-Verlag. Duplicate submissions are not allowed. A submission is considered to be a duplicate submission if it is submitted to other conferences/workshops/journals or it has been already accepted to be published in other conferences/workshops/journals. Duplicate submissions thus will be automatically rejected without reviews. Submissions require explicit consent from all listed authors. Important Dates Abstract submission: April 14, 2014 Full-paper submission: April 21, 2014 Acceptance notification: June 16, 2014 Camera Ready: July 7, 2014 Paper Publication All accepted papers will be published in Lecture Notes in Computer Science (LNCS) by Springer-Verlag. Best papers will be invited for submission in a special issue of the Future Generation Computer Systems (Elsevier) and Fundamenta Informaticae (IOS Press). Keynotes Speakers Mukesh MOHANIA, IBM, INDIA : Data and Data models Dominique MERY, Loria, Nancy, France: Models and system modelling Conference Organization General Chairs Ladjel Bellatreche, ENSMA, Poitiers University, France George A. Papadopoulos, Department of Computer Science, University of Cyprus Programme Committee Chair Yamine Aït Ameur, ENSEEIHT/IRIT, Toulouse, France Local Organizing Chair Mr. Petros Stratis (EasyConferences, LTD), Finance Chair Program Committee http://medi2014.cs.ucy.ac.cy/committes.html For further inquiries, contact the MEDI 2014 PC Chair: Yamine Aït Ameur (yamine at n7.fr) -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alachhab at ieee.ma Sun Feb 16 16:06:42 2014 From: alachhab at ieee.ma (Mohammed Al Achhab) Date: Sun, 16 Feb 2014 16:06:42 +0100 Subject: Second Call for contributions for IEEE CiST, Tetouan, Morocco, october 2014 Message-ID: <1392563202-9c8d63ec9fba058c1f3486d44d27c487@ieee.ma> --- begin forwarded message ----- Please feel free to forward the second call below to your colleagues, networks and contacts who might be interested. [Apologies if you receive multiple copies] ------------------------------------------------------------------------------ Second Call for Contributions: 3rd IEEE CiSt’14, October, 20-22, 2014 Tetuan-Chefchaouen, Morocco Innovative Systems and Technologies for the Future 3rd International Colloquium in Information Science and Technology (CiSt ‘14) http://www.ieee.ma/cist14/ The 3rd IEEE CiSt’14 will be held from October 20 to 22, 2014, in Tetuan-Chefchaouen, Morocco. It aims to provide a comprehensive global forum for researchers and experts from academia and industry to exchange knowledge and present results of ongoing research in the most state-of-the-art areas of IT modeling and computer based solutions, enterprise architectures, competitive intelligence, technology and software for learning. Specialized sessions on Natural Language Processing, Internet of Things and Smart s! ystems will also be held during the conference. An Industrial track and Panel sessions will provide focused discussions on Innovative Research, Startups and Business Entrepreneurship in ICT. Tutorials and invited lectures will be held by distinguished keynote speakers. Keynotes confirmed so far: Marie-Aude Aufaure: Ecole Centrale Paris, MAS Laboratory, Chatenay-Malabry, France Vito Pirrelli: ILC-CNR, National Research Council, Pisa, Italy Mohammad Hammoudeh: School of Computing, Math and Digital Technology, Manchester University, UK Submissions should address specific range of topics: DATABASE AND INFORMATION SYSTEMS: ANALYSIS, SPECIFICATION AND INTEGRATION • Requirement Engineering and Information Modeling Concepts • Foundations and Concept Formalization for Database Schemas • Distributed Database Systems and Mobile Database Applications • Big Data, Data Warehouses, and Business Intelligence • Knowledge Management Systems, Data mining and Knowledge discovery ENTERPRISE ARCHITECTURE • Enterprise Engineering, Models and Frameworks • Enterprise Resource Planning and Enterprise Application Integration • Enterprise Knowledge Engineering, Management and Security • Business Modeling and Business Process Management • Governance and Business-IT Alignment • EA and Service Oriented Architecture (SOA) • Measurements, Metrics and Evaluation of EA Artifacts and Processes • Architectures and Design Principles for Enterprise Repositories AMBIENT INTELLIGENCE & SOFTWARE AGENTS AND MOBILE COMPUTING • Mobile & ! Wireless Computing • Web Services and cloud computing • Social Networking and Collaborative Computing • Profiling and Recommendation Systems • Semantic Web Technologies and Applications • Ontology Modeling and Deployment • Natural Language Interfaces and Systems • Multi-Agent Systems and Case-Based Reasoning Systems INNOVATIVE TRENDS IN DISTANCE LEARNING AND ONLINE EDUCATION • Systems and methodologies for Learning / Education and Assessment • Architectures and Frameworks for Distributed e-learning environments • Systems & Evaluation of Learning technologies and Learning Management Systems • Organizational Learning, E-Learning and E-Teaching • Social and collaborative e-Learning • Online education Content Management Important Dates and Deadlines Paper Submis! sion: March 16, 2014 Acceptance Notification: May 19, 2014 Camera-ready Submission: June 15, 2014 Author Registration: July 18 2014 Conference Dates: October 20-22, 2014 Invited and Industrial Sessions • Natural Language Processing: Models, systems and applications • Internet of Things (IoT) and Smart Systems: Research opportunities and Applications • Business Innovation, Startups and Entrepreneurship in ICT: Best practices and Ingredients for Successful Development Call for Attendees Prospective authors should submit by using the online abstract submission form an extended abstract of up to 6 pages describing their original work using the IEEE template. Publication and Presentation Accepted papers will be published in the proceeding and submitted to IEEE Xplore Library. Furthermore, Authors of high quality papers will be invited to submit an extended version of their work for potentia! l publication in a special issue/section of an international journal. For any inquiry, contact us: E-mail: sc-cist14 at ieee.ma www.ieee.ma/cist14 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecai2014 at guarant.cz Mon Feb 17 09:30:03 2014 From: ecai2014 at guarant.cz (=?utf-8?q?RuleML_2014?=) Date: Mon, 17 Feb 2014 09:30:03 +0100 Subject: =?utf-8?q?CFP_-_Learning_=28Business=29_Rules_from_Data_=40RuleML/ECAI_20?= =?utf-8?q?14?= Message-ID: <20140217083003.620171742EA@gds25d.active24.cz> ** apologies for cross-posting ** ==== 1st Call for Papers ==== http://2014.ruleml.org/learning-business-rules-from-data CFP: 1st RuleML special track on Learning (Business) Rules from Data @ RuleML/ECAI 2014 Venue: Prague, Czech Republic Abstract submission: 31 March 2014 Paper submission: 8 April 2014 Accepted papers will be published in the Springer Lecture Notes in Computer Science (LNCS) series with the RuleML main track proceedings. RuleML is colocated with ECAI'14 - the European Conference on Artificial Intelligence (http://www.ecai2014.org/). ================= TOPIC Papers submitted to the track could address (among others) extraction of business rules from sets of fuzzy, uncertain and possibly conflicting rules learned from data and bridging the gap between rules as "correlations" in the data and rules that can be used in business rule management systems. * Learning Action, Association, Decision and Constraint Rules from Data * Extracting business rules from decision trees and rule sets induced from data * Non-monotonic, uncertain and defeasible reasoning to resolve conflicting rules * Enhancing rule learning processes with domain knowledge * Fuzzy and probabilistic extensions to rule markup languages (SBVR, RuleML, PMML) * Rule interest/quality measures suitable for business rule learning * Learning disjunctive and negative rules in business rules context ================= PROGRAM COMMITTEE Each submitted paper will be reviewed by three PC members from the industry and academia. ==ORGANIZERS Tomáš Kliegr (University of Economics, Prague, Czech Republic) Davide Sottara (Arizona State University, USA) ===INDUSTRY Alex Guazzelli (Zementis) Jerome Boyer (IBM) Jacob Feldman (Open Rules) Mark Proctor (Drools/Red Hat) Petr Masa (freelance consultant) ===ACADEMIA Martin Atzmueller (University of Kassel, Germany) Bruno Cremilleux (Université de Caen Basse-Normandie, France) Agnieszka Dardzinska (Bialystok University of Technology, Poland) Evelina Lamma (Università degli Studi di Ferrara, Italy) Florian Lemmerich (University of Würzburg, Germany) Johannes Fuernkranz (TU Darmstadt, Germany) Martin Holena (Academy of Sciences, Czech Republic) Zbigniew W. Ras (University of North Carolina, Charlotte, USA) Fabrizio Riguzzi (Università degli Studi di Ferrara, Italy) Milan Šimůnek (University of Economics Prague, Czech Republic) ================= SUBMISSION INFORMATION Papers are submitted via EasyChair: http://www.easychair.org/conferences/?conf=ruleml2014 Long papers: 15 pages Short papers: 8 pages From serge.autexier at dfki.de Mon Feb 17 14:59:47 2014 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon, 17 Feb 2014 14:59:47 +0100 (CET) Subject: 2nd Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014) Message-ID: <20140217135947.994081EB46CF@mbp-autexier.informatik.uni-bremen.de>  CICM 2014 - Conferences on Intelligent Computer Mathematics July 7-11, 2014 at University of Coimbra, Portugal http://www.cicm-conference.org/2014 Second Call for Papers ------------------------------------------------------------------- * Co-located Workshops * - CCA'14: Workshop on Compact Computer Algebra (organiser: Elena Smirnova) - MathUI'14: Workshop on Mathematical User Interfaces (organisers: Andrea Kohlhase, Paul Libbrecht) - OpenMath Workshop (organisers: James Davenport, Michael Kohlhase) - Workshop on The Notion of Proof (organisers: Jesse Alama, Reinhard Kahle) - ThEdu'14: Workshop on Theorem Provers Components for Educational Software (organisers: Walther Neuper, Pedro Quaresma) ------------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conferences on Intelligent Computer Mathematics (CICM) offer a venue for discussing these areas and their synergy. CICM has been held annually as a joint meeting since 2008, colocating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012) and Bath (U.K. 2013). This is a call for papers for CICM 2014, which will be held at the University of Coimbra, 7-11 July 2014, following the 10th International Workshop on Automated Deduction in Geometry. The principal tracks of the conference will be: Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: James Davenport DML (Digital Mathematical Libraries) Chair: Petr Sojka MKM (Mathematical Knowledge Management) Chair: Josef Urban Systems and Projects Chair: Alan Sexton The local arrangements will be coordinated by the Local Arrangements Chair, Pedro Quaresma (U. Coimbra, Portugal), and the overall programme will be organised by the General Program Chair, Stephen Watt (U. Western Ontario, Canada). The proceedings of the conference will be published by Springer Verlag as a volume in Lecture Notes in Artificial Intelligence (LNAI). As in previous years, it is anticipated that there will be a number co-located workshops, including one to mentor doctoral students giving presentations. ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Conference submissions: Abstract submission: 28 February 2014 Submission deadline: 7 March 2014 Reviews sent to authors: 4 April 2014 Rebuttals due: 8 April 2014 Notification of acceptance: 14 April 2014 Camera ready copies due: 25 April 2014 Work in progress and Doctoral Programme submissions: Submission deadline: 28 April 2014 (Doctoral: Abstract+CV) Notification of acceptance: 19 May 2014 Camera ready copies due: 26 May 2014 Conference: 7-11 July 2014 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- ================================================================ Track Calculemus: Symbolic Computation and Mechanised Reasoning ================================================================ Calculemus 2014 invites the submission of original research contributions to be considered for publication and presentation at the conference. Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning like interactive proof assistants (PA) or automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated mathematical assistant systems that will be used routinely by mathematicians, computer scientists and all others who need computer-supported mathematics in their every day business. All topics in the intersection of computer algebra systems and automated reasoning systems are of interest for Calculemus. These include but are not limited to: * Automated theorem proving in computer algebra systems. * Computer algebra in theorem proving systems. * Adding reasoning capabilities to computer algebra systems. * Adding computational capabilities to theorem proving systems. * Theory, design and implementation of interdisciplinary systems for computer mathematics. * Case studies and applications that involve a mix of computation and reasoning. * Case studies in formalization of mathematical theories. * Representation of mathematics in computer algebra systems. * Theory exploration techniques. * Combining methods of symbolic computation and formal deduction. * Input languages, programming languages, types and constraint languages, and modeling languages for mathematical assistant systems. * Homotopy type theory. * Infrastructure for mathematical services. ================================================================ Track DML: Digital Mathematical Libraries ================================================================ Mathematicians dream of a digital archive containing all validated mathematical literature ever published, reviewed, properly linked, and verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The track objective is to provide a forum for the development of math-aware technologies, standards, algorithms and formats for the fulfillment of the dream of a global digital mathematical library (DML). Computer scientists (D) and librarians of the digital age (L) are especially welcome to join mathematicians (M) and discuss many aspects of DML preparation. Track topics are all topics of mathematical knowledge management and digital libraries applicable in the context of DML building, including the processing of mathematical knowledge expressed in scientific papers in natural languages: * Math-aware text mining (math mining) and MSC classification * Math-aware representations of mathematical knowledge * Math-aware computational linguistics and corpora * Math-aware tools for [meta]data and fulltext processing * Math-aware OCR and document analysis * Math-aware information retrieval * Math-aware indexing and search * Authoring languages and tools * MathML, OpenMath, TeX and other mathematical content markup languages * Web interfaces for DML content * Mathematics on the web, math crawling and indexing * Math-aware document processing workflows * Archives of written mathematics * DML management, business models * DML rights handling, funding, sustainability * DML content acquisition, validation and curation * Reports and experience from running existing DMLs ================================================================ Track MKM: Mathematical Knowledge Management ================================================================ Mathematical Knowledge Management is an interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. The objective of MKM is to develop new and better ways of managing sophisticated mathematical knowledge, based on innovative technology of computer science, the Internet, and intelligent knowledge processing. MKM is expected to serve mathematicians, scientists, and engineers who produce and use mathematical knowledge; educators and students who teach and learn mathematics; publishers who offer mathematical textbooks and disseminate new mathematical results; and librarians and mathematicians who catalog and organize mathematical knowledge. The track is concerned with all aspects of mathematical knowledge management. A non-exclusive list of important topics includes: * Representations of mathematical knowledge * Authoring languages and tools * Repositories of formalized mathematics * Deduction systems * Mathematical digital libraries * Diagrammatic representations * Mathematical OCR * Mathematical search and retrieval * Math assistants, tutoring and assessment systems * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows ================================================================ Track Systems and Projects ================================================================ The Systems and Projects track of the Conferences on Intelligent Computer Mathematics is a forum for presenting available systems and new and ongoing projects in all areas and topics related to the CICM conferences: * Deduction and Computer Algebra (Calculemus) * Digital Mathematical Libraries (DML) * Mathematical Knowledge Management (MKM) The track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. ---------------------------------------------------------------- Submission Instructions ---------------------------------------------------------------- Electronic submission is done through Easychair http://www.easychair.org/conferences/?conf=cicm2014 All papers should be prepared in LaTeX and formatted according to the requirements of Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. Submissions to the research tracks (Calculemus, DML, MKM) must not exceed 15 pages in the LNCS style and will be reviewed and evaluated with respect to relevance, clarity, quality, originality, and impact. Shorter papers, e.g., for system descriptions, are welcome. Authors will have an opportunity to respond to their papers' reviews before the programme committee makes a decision. System descriptions and projects descriptions should be 2-4 pages in the LNCS style and should present * newly developed systems, * systems not previously been presented to the CICM community, or * significant updates to existing systems. Systems must either be available for download or currently executable by the general public as a web application. Project presentations should describe * projects that are new or about to start, * ongoing projects that have not yet been presented to the CICM community or * significant new developments in ongoing previously presented projects. Presentations of new projects should mention relevant previous work and include a roadmap that outlines concrete steps. All project submissions must have a live project website and should contain links to demos, videos, downloadable systems or downloadable datasets. Accepted conference submissions from all tracks will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer. In addition to these formal proceedings, authors are permitted and encouraged to publish the final versions of their papers on arXiv.org. Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not yet in a suitable form for submission as a full paper for a research track or system description. This includes work in progress and emerging trends. Their size is not limited, but we recommend 5-10 pages. The programme committee may offer authors of rejected formal submissions the opportunity to publish their contributions as work-in-progress papers instead. Depending on the number of work-in-progress papers accepted, they will be presented at the conference either as short talks or as posters. The work-in-progress proceedings will be published as a technical report, as well as online with CEUR-WS.org. ---------------------------------------------------------------- Doctoral Programme ---------------------------------------------------------------- Chair: David Wilson (University of Bath, UK) CICM is an excellent opportunity for graduate students to meet established researchers from the areas of computer algebra, automated deduction, and mathematical publishing. The Doctoral Programme provides a dedicated forum for PhD students to present and discuss their ideas, ongoing or planned research, and achieved results in an open atmosphere. It will consist of presentations by the PhD students to get constructive feedback, advice, and suggestions from the research advisory board, researchers, and other PhD students. Each PhD student will be assigned to an experienced researcher from the research advisory board who will act as a mentor and who will provide detailed feedback and advice on their intended and ongoing research. Students at any stage of their PhD can apply and should submit the following documents through EasyChair: * A two-page abstract of your thesis describing your research questions, research plans, completed and remaining research, evaluation plans and publication plans; * A two-page CV that includes background information (name, university, supervisor), education (degree sought, year/status of degree, previous degrees), employments, relevant research experience (publications, presentations, attended conferences or workshops, etc.) Submission Deadline: 28 April 2014. ---------------------------------------------------------------- Programme Committee ---------------------------------------------------------------- General chair: Stephen Watt (University of Western Ontario, Canada) Calculemus track James Davenport, University of Bath, UK (Chair) Matthew England, University Of Bath, UK, Dejan Jovanović, SRI, USA Laura Kovács, Chalmers University of Technology, Sweden Assia Mahboubi, INRIA, France Adam Naumowicz, Institute of Informatics, U. Bialystok, Poland Grant Passmore, U. Cambridge and U. Edinburgh, UK Florian Rabe, Jacobs University Bremen. Germany Claudio Sacerdoti Coen, University of Bologna, Italy Freek Wiedijk, Radboud University Nijmegen, Netherlands (Other invitations pending) DML track Petr Sojka, Masaryk University, Brno, CZ (Chair) Akiko Aizawa, NII, University of Tokyo, Japan Łukasz Bolikowski, ICM, University of Warsaw, Poland Thierry Bouche, Université Joseph Fourier, Grenoble, france Yannis Haralambous, Inst Mines-Télécom - Télécom Bretagne, France Janka Chlebíková, School of Computing, University of Portsmouth, UK Michael Kohlhase, Jacobs University Bremen, Germany Jiří Rákosník, Institute of Mathematics AS CR, CZ David Ruddy, Cornell University, USA Volker Sorge, University of Birmingham, UK Frank Tompa, University of Waterloo, Canada Richard Zanibbi, Rochester Institute of Technology, USA MKM track Josef Urban, Radboud University Nijmegen, The Netherlands (Chair) Rob Arthan, Queen Mary University of London, UK David Aspinall, Univerity of Edinburgh, UK Michael Beeson, San Jose State University, USA Claudio Sacerdoti Coen, University of Bologna, Italy Thomas Hales, University of Pittsburgh, USA Johan Jeuring, Open Universiteit Nederland and Universiteit Utrecht, NL Peter Jipsen, Chapman University, USA Cezary Kaliszyk, University of Innsbruck, Austria Michael Kohlhase, Jacobs University Bremen, Germany Christoph Lange, University of Birmingham, UK Paul Libbrecht, Weingarten University of Education, Germany Ursula Martin, Queen Mary University of London, UK Bruce Miller, NIST, USA Adam Naumowicz, University of Bialystok, Poland Florian Rabe, Jacobs University Bremen, Germany Alan Sexton, University of Birmingham, UK Enrico Tassi, INRIA, France Stephen Watt, University of Western Ontario, Canada Makarius Wenzel, Université Paris-Sud 11, France Freek Wiedijk, Radboud University Nijmegen, The Netherlands Systems & Projects track Alan Sexton, University of Birmingham, UK (Chair) Christoph Lange, University of Bonn, Germany Jesse Alama, Technical University of Vienna, Austria Rob Arthan, Queen Mary University of London, UK Deyan Ginev, Jacobs University Bremen, Germany Jónathan Heras, University of Dundee, Scotland Mateja Jamnik, University of Cambridge, UK Predrag Janičić, University of Belgrade, Serbia Christoph Lüth, DFKI and University of Bremen, Germany Bruce Miller, NIST, Gaithersburg, Maryland, USA Hendrik Tews, TU Dresden, Germany From priv.mba at gmail.com Mon Feb 17 16:48:42 2014 From: priv.mba at gmail.com (Mauricio Almeida) Date: Mon, 17 Feb 2014 12:48:42 -0300 Subject: Call for Papers - Information Artifact Ontology Message-ID: *Apologies for cross-posting* CALL FOR SUBMISSIONS ==================================================== FULL-DAY WORKSHOP ON INFORMATION ARTIFACT ONTOLOGIES ==================================================== Rio de Janeiro, Brazil September 22, 2014 Organized as part of the 8th International Conference on Formal Ontology in Information Systems (FOIS2014) http://fois2014.inf.ufes.br/p/home.html Information artifacts such as photographs, newspaper articles, books, entries in databases, computer programs, emails, video clips are entities which can be used in a variety of ways that depend on their being about something (having a topic or content or subject-matter). Information artifacts also have a variety of further attributes, including format, purpose, evidence, provenance, operational relevance, security markings. Data concerning such attributes (often called 'metadata') are vital to the effective exploitation of the reports, images, or signals documents for purposes of discovery and analysis. Various attempts have been made to create controlled vocabularies for the consistent formulation of such metadata in order to enhance the degree to which the content formulated with their aid will be available to computational reasoning. The goal of this workshop is to advance work on resources of this sort, with a view towards coordination and convergence. Interested participants can submit: * A full paper (5-6 pages) that addresses foundational issues * A one-page progress report discussing existing initiatives * A one-page proposal for a tutorial session Deadline for submissions: May 22, 2014 Deadline for notification of acceptance: June 15, 2014 Deadline for camera-ready copy: August 15, 2014 Organizing Committee: * Mauricio B. Almeida (Minas Gerais) * Mathias Brochhausen (Arkansas) * Laura Slaughter (Oslo) * Barry Smith (Chair, Buffalo) Further details available at: http://ncorwiki.buffalo.edu/index.php/Information_Artifact_Ontologies -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Bernard.Merialdo at eurecom.fr Mon Feb 17 17:56:08 2014 From: Bernard.Merialdo at eurecom.fr (Bernard Merialdo) Date: Mon, 17 Feb 2014 17:56:08 +0100 Subject: [CBMI 2014] Content-Based Multimedia Indexing Workshop - deadline extended to 28 February 2014 Message-ID: <53023F28.40604@eurecom.fr> (our apologies for duplicate postings) ** Due to numerous requests, the submission deadline has been extended to: 28 February 2014 ****************************************************************************** CALL FOR PAPERS C B M I 2014 12th International Workshop on Content-Based Multimedia Indexing 18-20 June 2014, Klagenfurt, Austria http://cbmi2014.itec.aau.at/ in cooperation with IEEE CSS and ACM SIGMM ****************************************************************************** The 12th International Content Based Multimedia Indexing Workshop aims to bring together the various communities involved in all aspects of content-based multimedia indexing, retrieval, browsing and presentation. Following the eleven successful previous events of CBMI (Toulouse 1999, Brescia 2001, Rennes 2003, Riga 2005, Bordeaux 2007, London 2008, Chania 2009, Grenoble 2010, Madrid 2011, Annecy 2012, and Veszprem 2013), CBMI 2014 will take place in Klagenfurt, in the very south of Austria from June 18th to June 20th 2014. CBMI 2014 is organized in cooperation with IEEE Circuits and Systems Society and ACM SIG Multimedia. Topics of the workshop include but are not limited to visual indexing, audio and multi-modal indexing, multimedia information retrieval, and multimedia browsing and presentation. Additional special sessions are planned in the fields of endoscopic videos and images and multimedia metadata. Paper submission: Authors are invited to submit full-length and special session papers of 6 pages and short (poster) and demo papers of 4 pages maximum. All peer-reviewed, accepted and registered papers will be published in the CBMI 2014 workshop proceedings to be indexed and distributed by the IEEE Xplore. The submissions are peer reviewed in single blind process, the language of the workshop is English. Selected papers of the conference will be invited to submit extended versions of their contributions to a special issue of Multimedia Tools and Applications journal (MTAP). * Important dates: Paper submission deadline: February 28, 2014 (extended) Notification of acceptance: March 30, 2014 Camera-ready papers due: April 14, 2014 Author registration: April 14, 2014 Early registration: May 25, 2014 * Topics of interest include, but are not limited to: * Visual Indexing (image, video, graphics) * Visual content extraction Identification and tracking of semantic regions * Identification of semantic events * Audio and Multi-modal Indexing * Audio indexing (audio, speech, music) * Audio content extraction * Multi-modal and cross-modal indexing * Multimedia fusion * Metadata generation, coding and transformation * Multimedia Information Retrieval (image, audio, video, …) * Matching and similarity search * Content-based search * Multimedia data mining * Multimedia recommendation * Large scale multimedia database management * Multimedia Browsing and Presentation * Summarization, browsing and organization of multimedia content * Personalization and content adaptation * User interaction and relevance feedback * Multimedia interfaces, presentation and visualization tools * Contact For more information please visit http://cbmi2014.itec.aau.at/ and for additional questions, remarks, or clarifications please contact cbmi2014 at itec.aau.at From A.Silva at science.ru.nl Tue Feb 18 16:01:45 2014 From: A.Silva at science.ru.nl (Alexandra Silva) Date: Tue, 18 Feb 2014 16:01:45 +0100 Subject: CMCS 2014: call for short contributions and participation Message-ID: <20140218150144.GA17974@lilo3.science.ru.nl>  Call for Short Contributions 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 --------------- Submission short contributions 23 February 2014 (strict) Notification short contributions 9 March 2014 Keynote Speaker ---------------- Davide Sangiorgi, Inria / University of Bologna, IT Invited speakers ---------------- Ichiro Hasuo, University of Tokyo, JP Marina Lenisa, University of Udine, IT Special Session --------------- There will be a special session on game theory organized by Marina Lenisa and Marcello Bonsangue on Saturday April 5 2014 with tutorials from Paul-Andre' Mellies, Université Paris Denis Diderot, FR Pierre Lescanne, Ecole Normale Superieure de Lyon, FR Submission guidelines --------------------- 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 n Springer LNCS style. Short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2014. Accepted short contributions will be bundled in a technical report and presented at the workshop. 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 . From calvanese at inf.unibz.it Tue Feb 18 21:00:06 2014 From: calvanese at inf.unibz.it (Diego Calvanese) Date: Tue, 18 Feb 2014 21:00:06 +0100 Subject: Research Assistant position on OBDA at the Free Univ. of Bozen-Bolzano, Italy Message-ID: ------------------------------------------------------------------------ Research Assistant position at the Free University of Bozen-Bolzano/Italy ------------------------------------------------------------------------ The KRDB Research Centre for Knowledge and Data at the Faculty of Computer Science of the Free University of Bozen-Bolzano (FUB), Italy is looking for a talented Research Assistant to work fulltime on *** SPARQL Query Answering for Ontology Based Data Access and Ontology Based Data Integration *** The position will be financed by the Large Scale Integrating Project (IP) "Scalable End-user Access to Big Data" (Optique) [2], within the EU 7th Framework Programme (FP7). The position concerns the design and implementation of techniques for optimized SPARQL query answering over virtual RDF graphs, obtained through R2RML mappings over relational databases. Requirements for this position are an MSc or preferably a PhD in Computer Science, fluency in English, and strong Java programming skills. Some background on SPARQL, SQL, and OWL are also required. During this project the applicant will have the opportunity to apply the results of their research in challenging industrial use-cases involving reasoning on Big Data, as provided by the Optique project and by the user base of the -ontop- [1] framework for Ontology Based Data Access. The position is to start in 2014 as early as possible. The position has an initial contract duration of 1 year, and will be extended for up to 3 years in case of mutual agreement. Candidates interested in pursuing a PhD in Computer Science where they combine applied and foundational research, may also apply for enrollment in the PhD program of the Faculty of Computer Science at FUB, starting in Winter 2014. The position comes with a great location, Bolzano [3,4]. The Free University of Bozen-Bolzano is located right in the center of one of the most beautiful cities in the Alps, and consistently ranks among the top locations in Italy for its living standard. The region, South Tyrol, is among the top destinations for Hikers, Mountaineers, Rock climbers, Skiers, etc. And last, as one would expect from any Italian location, food in Bolzano is great. Interested applicants should get in contact immediately with Prof. Diego Calvanese (calvanese at inf.unibz.it), Dr. Martin Rezk (mrezk at inf.unibz.it), or Dr. Guohui Xiao (xiao at inf.unibz.it). Please attach a detailed CV including a statement of interest, project experience (if any) and up to 2 references (reference letters will be requested directly from the referees). [1] http://ontop.inf.unibz.it/ [2] http://www.optique-project.eu/ [3] http://en.wikipedia.org/wiki/Bolzano/ [4] https://www.google.com/search?q=bolzano+italy&prmd=imvns&tbm=isch From aldini at sti.uniurb.it Wed Feb 19 18:35:10 2014 From: aldini at sti.uniurb.it (Alessandro Aldini) Date: Wed, 19 Feb 2014 18:35:10 +0100 (CET) Subject: FOSAD 2014 - school on foundations of security analysis and design Message-ID: ==================================================== 14TH INTERNATIONAL SCHOOL ON FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN FOSAD 2014 ==================================================== http://www.sti.uniurb.it/events/fosad14 1-6 September 2014, Bertinoro, Italy In cooperation with NESSoS and CryptoForma *** Application Deadline: June 20, 2014 FOSAD has been one of the foremost events established with the goal of disseminating knowledge about foundations of security analysis and design to graduate students and young computer scientists from academia or industry. LECTURERS> Jens Groth - University College London Steve Kremer - INRIA Nancy Siani Pearson - HP Labs Bristol Alexander Pretschner - TU Munchen Andrei Sabelfeld - Chalmers University Vitaly Shmatikov - University of Texas Topics include zero knowledge, efficient NIZKs and their applications, formal methods for automated verification of security protocols and APIs, privacy and accountability in the cloud, distributed usage control, language based security, data privacy and communication privacy technologies. The courses alternate theory and practice sessions. Program and additional material will be soon available at the FOSAD web page. OPEN SESSION> Daily sessions will be organized for participants who intend to take advantage of the audience for presenting their current research/tool in the area. SCIENTIFIC COMMITTEE> Martin Abadi Javier Lopez Alessandro Aldini Fabio Martinelli (Chair) Gilles Barthe Catherine Meadows Eerke Boiten Bart Preneel Sandro Etalle SCHOOL VENUE> The school is organized at the University Residential Center of Bertinoro (CEUB), Italy: http://www.ceub.it/ The host venue provides a unique architectonical and environmental setting joining the stunning views of the hilltop of Bertinoro with the historical location of the ancient fortress and the facilities of the Center, which offers accommodation, meeting rooms, and modern conference and computing services. SCHOOL DATES> Prospective participants should apply through the FOSAD web page by: June 20, 2014. Notification of accepted applicants will be posted by: June 27, 2014. Registration to the school is due by: July 25, 2014. SCHOOL FEES> The full fee is 900 Euros and covers stay from 31 August, in double room, half board (breakfast and lunch), welcome dinner of 31 August and social dinner included. A limited amount of grants will be provided to cover part of the fee for young researchers. SCHOOL PARTNERS> FOSAD 2014 is organized in cooperation with the Network of Excellence on Engineering Secure Future Internet Software Services and Systems: NESSoS, http://www.nessos-project.eu and with the EPSRC CryptoForma network on the application of formal methods to cryptography: http://www.cryptoforma.org.uk From adrianrp at unimelb.edu.au Wed Feb 19 22:56:12 2014 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Wed, 19 Feb 2014 21:56:12 +0000 Subject: KR 2014 Doctoral Consortium - Call for Applications (Reminder: Due 21 Feb 2014) Message-ID: Call for Applications (Reminder: Due Feb 21, 2014) July 20-24, 2014 Vienna, Austria http://www.kr.org/KR2014/ The 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014) invites PhD students to apply for the Doctoral Consortium program. Feb 21, 2014 : Deadline for application March 28, 2014 : Acceptance notification July 20-24, 2014 : Doctoral Consortium 1) AIMS AND SCOPE The Doctoral Consortium is a student mentoring program that introduces students to senior researchers with similar research interests. The aims of the consortium are: * to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in similar areas; * to support students with information and advice on academic, research and industrial careers. The Doctoral Consortium is intended for students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. We encourage submissions from PhD students at any level, and from any topic area within Knowledge Representation and Reasoning. A number of student grants will be available to support student participation. 2) APPLICATION SUBMISSION Applications must be submitted via our online submission site (see below). Each application must contain the following materials: * Thesis summary: A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum in AAAI style (http://www.aaai.org/Publications/Author/author.php). * Curriculum Vitae: A description of your background and relevant experience (research, education, employment). * Letter of recommendation: A letter from your thesis advisor that states that he/she supports your participation in the DC. * (Optional) You can suggest 3-5 potential mentors with similar research interests as you, who could give you good advice on technical aspects of your work, and/or your career. * (Optional) Specify 3 to 5 questions you would like to ask your mentor and give some keywords that describe you research interests The most preferred way of submission is to combine the thesis summary and the letter of recommendation (and, optionally, the list of suggested mentors) into a single PDF document. If you cannot do that, archive the documents into a single zip file. In either case, the resulting single file has to be submitted via the EasyChair system at https://www.easychair.org/conferences/?conf=kr2014dc 3) IMPORTANT DATES Feb 21, 2014 : Deadline for application March 28, 2014 : Acceptance notification July 20-24, 2014 : Doctoral Consortium For further information, please contact the Doctoral Consortium chairs: Birte Glimm, University of Ulm (birte.glimm at uni-ulm.de) Adrian Pearce, University of Melbourne (adrianrp at unimelb.edu.au) From Johannes.Faehndrich at dai-labor.de Thu Feb 20 10:07:17 2014 From: Johannes.Faehndrich at dai-labor.de (=?Windows-1252?Q?Johannes_F=E4hndrich?=) Date: Thu, 20 Feb 2014 09:07:17 +0000 Subject: SEA 2014: Third International Workshop on Self-Explaining Agents (SEA). CALL FOR PAPERS Message-ID: <0532595B-0EC1-45AD-A94C-35C116B8B15C@dai-labor.de> ———— SEA 2014 Call for Paper ———— (We apologize for multiples copies) (Please distribute this CFP among your colleagues and students) ———— SEA 2014 Call for Paper ———— Third International Workshop on Self-Explaining Agents (SEA) Workshop web page: http://sea.dai-labor.de/ The workshop will be held in conjunction with the 44th Annual Conference of the German Computer Science Association (INFORMATIK 2014) in Stuttgart, Germany, 22th - 26th September, 2014. Call for Paper Self-Explaining systems have the ability to describe their functionality in a context depending and structured way. Self-explanatory descriptions thus help reasoners to better understand these systems. Becoming more self-explanatory requires not only work on the descriptions, the used languages and description paradigms but also on the reasoners, which utilize such descriptions and tools to create them. This places the research questions of this workshop in between the Service, the Agent and the Artificial Intelligence community. Services and their descriptions have been well researched and researchers investigated languages like OWL and OWL-S. Such languages are used to describe functionality which enables reusability and adaptability of service oriented architectures with reasoners like FACT++ or Pellet. This is one reason why service descriptions become more self-explanatory these days. Agents on the other hand use less self-explanatory description. The agent community focus on developing more sophisticated planning algorithms (e.g., Fast Downward Stone Soup) and heuristics to select the right functionality to become part of the plan. %Agents on the other hand become more autonomous by getting more sophisticated planning algorithms (e.g., Fast Downward Stone Soup) and heuristics to select the right functionality to become part of the plan, based on descriptions. Both paradigms cope with situations where complex systems are build upon descriptions of functionalities, which are more or less self-explanatory. Artificial Intelligent reasoners are used to analyze those descriptions and reason whether the functionality satisfies a given requests or preconditions and effects. Combining the strong suits of both research areas, bear opportunities for self-explaining agents. This workshop analyzes state-of-the-art in regards to the use of self-explanatory descriptions used by service matcher, agent planner as well as how to extract heuristics by reasoning upon self-explanatory descriptions and semantic description language with the goal of building more loosely coupled, dynamic and adaptive software. Thus we welcome practical applications as well as theoretical foundations as contributions for this workshop. Thus self-explanations rises the following questions: – How to describe a functionality to become more self-explaining? – How to improve AI reasoners to better understand self-explaining functionality descriptions? – What are requirements to languages used to create more self-explaining descriptions of functionality? Evaluation frameworks for such approaches are represented by research contests like the Semantic Service Selection Contest (http://www-ags.dfki.uni-sb.de/~klusch/s3/) or the International Planning Competition (http://helios.hud.ac.uk/scommv/IPC-14/). Goals of the Workshop: This workshop deepen (but is not limited to) the following research areas: - Reasoning on Semantic Descriptions - Languages for Semantic Descriptions - AI Methods on Adaption and Semantic Reasoning - IOPE/OWL-S and other Description Paradigms - Semantic Service Matchmaking - Service Planning - AI Planning using semantic descriptions - Reinforcement Learning on functionality descriptions - Requirements of Self-Explaining Systems - Self-Configuration through Self-Explanation The workshop will consist of paper presentation of the accepted papers and a follow up discussion on the research questions of the workshop. Important Dates: – Paper submission: 22th April 2014 – Notification: 20th May 2014 – Camera-ready: 23th June 2014 – Workshop date: 22th - 26th September 2014 Submission and Proceedings: All accepted papers will be scheduled for oral presentations and will be included in the proceedings of the INFORMATIK 2014. At least one author of each accepted paper is required to register and attend the conference to present the work. The submitted paper must be formatted according to the guidelines of the Springer Lecture Notes in Informatics (LNI) template. The submitted papers must be no longer than 12 pages in length, including all figures, tables and ref- erences. Authors are requested to submit their papers electronically using the online conference management system4 in PDF format before the deadline (see important dates). Paper submission is electronic. To submit, please prepare a Self-Explaining Agents (SEA) PDF file of your paper, a short abstract in plain text, and a list of two to five keywords. The submission processes will be managed by easychair.org. If you have used this system before, you can use the same username and password. If this is your first time using EasyChair, you will need to register for an account by clicking ”I have no EasyChair account” button. Upon completion of registration, you will get a notification email from the system and you are ready for submitting your paper. You can upload and re-upload the paper to the system by the submission due date. All papers will be reviewed by at least 2 reviewers. Criteria for selection of papers include the relevance to topics, innovation, soundness, overall quality and readability. Conference management system: https://www.easychair.org/conferences/?conf=sea20140 Contact Information Johannes Fähndrich, Technische Universität Berlin E-mail: johannes.faehndrich at dai-labor.de Web: http://sea.dai-labor.de/ From henning at ruc.dk Thu Feb 20 16:44:02 2014 From: henning at ruc.dk (Henning Christiansen) Date: Thu, 20 Feb 2014 15:44:02 +0000 Subject: Call for papers: CSLP 2014, Constraint Solving and Language Processing Message-ID: CALL FOR PAPERS: 8th International workshop on Constraint Solving and Language Processing Co-located with LACL 2014, Toulouse, France, 17-18 June 2014 http://control.ruc.dk/CSLP2014 The CSLP 2014 workshop considers the role of constraints in the representation of language and the implementation of language processing from an interdisciplinary point of view. This theme should be interpreted inclusively: contributions from linguistics, computer science, psycholinguistics and related areas are welcome, and an interdisciplinary perspective is of particular interest. Constraints are widely used in linguistics, computer science, and psychology. How they are used, however, varies widely according to the research domain: knowledge representation, cognitive modelling, problem solving mechanisms, etc. These different perspectives are complementary, each one adding a piece to the puzzle. For example, linguistics proposes in-depth descriptions implementing constraints in order to filter out structures by means of description languages, constraint ranking, etc. The constraint programming paradigm, on the other hand, shows that constraints have to be taken as a systematic whole and can thus play a role in building the structures (or can even replace structures), providing effective methods for aspects of NLP. Finally, psycholinguistics experiment have been made, investigating the role of constraint systems for cognitive processes in comprehension and production, as well as addressing how they can be acquired. CSLP is open to submissions on topics including, but not limited to: - Constraints in human language comprehension and production - Context modelling and discourse interpretation - Acquisition of constraints - Constraints and learning - Cross-theoretical view of the notion of constraint - New advances in constraint-based linguistic theories - Constraint satisfaction (CS) technologies for NLP - Linguistic analysis and linguistic theories biased towards CS or constraint logic programming (CLP) - Application of CS or CLP for NLP - CS and CLP for other than textual or spoken languages, e.g., sign languages and biological, multimodal human-computer interaction, visual languages - Probabilistic constraint-based reasoning for NLP and context comprehension CSLP 2014 accepts two kinds of submissions: - full papers (12 pages including references) reporting completed, significant research, - short papers (6 pages including references) reporting ongoing work and partial results. Deadline is April 24, 2014. See all important dates. Proceedings will be published after the workshop by an international publisher after a second round of reviews. Preliminary proceedings with accepted papers will be available at the workshop. Papers must be submitted electronically as PDF files and be prepared using the Springer LNAI/LNCS format. See all details here. Program co-chairs: Leonor Becerra-Bonache, Saint-Etienne, France Henning Christiansen, Roskilde, Denmark See also Program committee Information about previous CSLP workshops -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Fri Feb 21 16:47:08 2014 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri, 21 Feb 2014 16:47:08 +0100 (CET) Subject: First Call for Papers: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems Message-ID: <20140221154708.5DF311ECA63D@mbp-autexier.informatik.uni-bremen.de> [Apologies for cross posting] FIRST CALL FOR PAPERS 8th International Verification Workshop (VERIFY’14) in connection with IJCAR 2014 at FLoC 2014 July 23–24, 2014, Vienna, Austria http://vsl2014.at/verify The formal verification of critical information systems has a long tradition as one of the main areas of application for automated theorem proving. Nevertheless, the area is of still growing importance as the number of computers affecting everyday life and the complexity of these systems are both increasing. The purpose of the VERIFY workshop series is to discuss problems arising during the formal modeling and verification of information systems and to investigate suitable solutions. Possible perspectives include those of automated theorem proving, tool support, system engineering, and applications. The VERIFY workshop series aims at bringing together people who are interested in the development of safety and security critical systems, in formal methods, in the development of automated theorem proving techniques, and in the development of tool support. Practical experiences gained in realistic verifications are of interest to the automated theorem proving community and new theorem proving techniques should be transferred into practice. The overall objective of the VERIFY workshops is to identify open problems and to discuss possible solutions under the theme What are the verification problems? What are the deduction techniques? The 2014 edition of VERIFY aims for extending the verification methods for processes implemented in hard- and software to processes that may well include computer-assistance, but have a large part or a frequent interaction with non-computer-based process steps. Hence the 2014 edition will run under the focus theme Verification Beyond IT Systems A non-exclusive list of application areas with these characteristics are * Ambient assisted living * Intelligent home systems and processes * Business systems and processes * Production logistics systems and processes * Transportation logistics * Clinical processes * Social systems and processes (e.g., voting systems) The scope of VERIFY includes topics such as * ATP techniques in verification * Case studies (specification & verification) * Combination of verification systems * Integration of ATPs and CASE-tools * Compositional & modular reasoning * Experience reports on using formal methods * Gaps between problems & techniques * Formal methods for fault tolerance * Information flow control security * Refinement & decomposition * Reliability of mobile computing * Reuse of specifications & proofs * Management of change * Safety-critical systems * Security models * Tool support for formal methods Submissions are encouraged in one of the following two categories: A. Regular paper: Submissions in this category should describe previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. Papers must be 5-14 pages long (in EasyChair style) or 6-15 pages long (in Springer LNCS style). B. Discussion papers: Submissions in this category are intended to initiate discussions and hence should address controversial issues, and may include provocative statements. Papers must be 3-14 pages long (in EasyChair style) or 3-15 pages long (in Springer LNCS style). Important dates Abstract Submission Deadline: April 17th, 2014 Paper Submission Deadline: April 25th, 2014 Notification of acceptance: May 20, 2014 Final version due: May 27, 2014 Workshop date: July 23–24, 2014 Submission is via EasyChair: http://www.easychair.org/conferences/?conf=verify2014 Program Committee Serge Autexier (DFKI) - chair Bernhard Beckert (Karlsruhe Institute of Technology) - chair Wolfgang Ahrendt (Chalmers University of Technology) Juan Augusto (Middlesex University) Iliano Cervesato (Carnegie Mellon University) Jacques Fleuriot (University of Edinburgh) Marieke Huisman (University of Twente) Dieter Hutter (DFKI GmbH) Reiner Hähnle (Technical University of Darmstadt) Deepak Kapur (University of New Mexico) Gerwin Klein (NICTA and UNSW) Joe Leslie-Hurd (Intel Corporation) Fabio Martinelli (IIT-CNR) Catherine Meadows (NRL) Stephan Merz (INRIA Lorraine) Tobias Nipkow (TU München) Lawrence Paulson (University of Cambridge) Johann Schumann (SGT, Inc/NASA Ames) Kurt Stenzel (University of Augsburg) From gerardo.simari at cs.ox.ac.uk Fri Feb 21 18:01:13 2014 From: gerardo.simari at cs.ox.ac.uk (Gerardo I. Simari) Date: Fri, 21 Feb 2014 17:01:13 +0000 Subject: Call for Papers: IEEE Region 10 Humanitarian Technology Conference 2014 (R10 HTC) Message-ID: Dear IEEE Members, On behalf of the Organizing Committee, we are pleased to invite you to participate in the program for IEEE Region 10 Humanitarian Technology Conference 2014 (R10 HTC). The Conference will take place on 6th - 9th August 2014, at Hilton Chennai Hotel, Chennai, Tamilnadu, India. www.ieeer10htc.org This 2nd annual cross disciplinary conference will bring together technologists, engineers, scientists, investors, representatives from NGOs, governments, academia, and industry. The conference will promote discussions and development of Electrical, Communication, Computing, Security and Disaster Relief areas to present results of recent advancements in technology in order to help improve the lives of the impoverished. We welcome papers of up to 6 pages in IEEE format. Papers must clearly state: the problem being solved, engineering/computational advances to the state of the art, new results that have been obtained and their significance. Theoretical papers, applied papers, and implemented system papers are all welcome. To be held in Chennai -- a community famed for leading edge technological innovations, world class academia researchers, and technology investors - IEEE R10 HTC 2014 will offer a wealth of opportunities to improve your knowledge and expand your network and reach. --- Important Dates: Paper submission: 2nd April 2014 Acceptance notification: 4th June 2014 Camera ready submission: 25th June 2014 Conference: 6th to 9th August 2014 Following the Conference theme of "Engineering a sustainable future for humanity", topics include but are not limited to: - Health, Medical Technology, Telemedicine - Water Planning, Availability & Quality - Disaster Warning, Avoidance and Response - Urban Planning and Sanitation - Reducing Ethnic Conflict and Terrorist Events - Power Infrastructure/Off-grid Power/Renewable and Sustainable Energy - Connectivity and Communications - Conservation of Natural Resources - Technologies (data/voice) for Remote Locations - Educational Technologies - Agricultural Technologies - Applying Science, Engineering and Technology for Environmental Sustainability - Humanitarian Challenges and Opportunities The Conference Program will include paper presentations, plenary and invited talks, tutorial sessions, poster sessions, exhibits, many opportunities for social and professional networking, and four contests: Student Paper Contest Student Poster Contest Student Project Contest Photo/Short-Video Contest Whether you are interested in humanitarian activities in the developed or developing countries, we look forward in seeing you at Singara Chennai for IEEE R10 HTC 2014 this coming august. Best Regards, Rangarajan T S (ranga at ieee.org) Conference Chair, R10 HTC 2014 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Wiebe.Van-Der-Hoek at liverpool.ac.uk Fri Feb 21 22:03:28 2014 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Fri, 21 Feb 2014 21:03:28 +0000 Subject: Final CFP LOFT11, Bergen (Norway), 27-30 Jul 2014 with a week (strict!) deadline extension References: <159E0B3A-DD4C-4607-B126-E7F52B1E80FF@infomedia.uib.no> Message-ID: <2594BAE4-A6B1-44F8-8803-C26A612A5093@liverpool.ac.uk> *************************************************************************** LOFT11 2014: Call for Papers Eleventh Conference on Logic and the Foundations of Game and Decision Theory University of Bergen, Norway, July 27-30, 2014 http://folk.uib.no/nmita/LOFT11 Submission deadline: 8 March, 2014. AIMS OF THE CONFERENCE This is the eleventh in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous ten conferences took place in Marseille (France), January 1994, Torino (Italy), December 1996, December 1998, July 2000 and July 2002, Leipzig (Germany), July 2004, Liverpool (UK), July 2006, Amsterdam (The Netherlands), July 2008, Toulouse (France), July 2010, and Sevilla (Spain), 2012. Among the topics of particular relevance are: (*) Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision. (*) Foundations of game and decision theory: epistemic foundations of solution concepts, information processing and communication in games, belief formation and revision in games. (*) Learning and information-processing models: economic aspects of information processing, learning in game-theoretic contexts, inductive learning and inductive decision making. (*) Bounded rationality approaches to game and decision theory. SUBMISSION INFORMATION: The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through https://www.easychair.org/conferences/?conf=loft11 The deadline for submission is March 1, 2014, and authors will be notified of acceptance decisions by April 9, 2014. INVITED SPEAKERS: Krzysztof Apt (CWI, The Netherlands) Pierpaolo Battigalli (Bocconi University, Italy) Luciano Floridi (University of Oxford, UK) Ariel Procaccia (Carnegie Mellon University, USA) PROGRAM CHAIRS: Thomas Ågotnes, University of Bergen, Norway Giacomo Bonanno, University of California Davis, U.S.A. Wiebe van der Hoek, University of Liverpool, United Kingdom PROGRAM COMMITTEE: Jan Broersen Cédric Dégremont Edith Elkind Spyros Galanis Olivier Gossner Paul Harrenstein Andreas Herzig Willemien Kets Piotr Krysta Jérôme Lang Emiliano Lorini Larry Moss Eric Pacuit Paul Pedersen Antonio Penta Andres Perea Martin Peterson Daniele Porello Bryan Renne Olivier Roy Burkhard Schipper Marija Slavkovik Paul Spirakis Wolfgang Spohn Elias Tsakas Hans van Ditmarsch Michael Wooldridge PUBLICATION OF CONTRIBUTED PAPERS: A selection of papers presented at LOFT11 will be published in special issues of two journals: Synthese and the Journal of Logic and Computation. For a list of publications based on previous LOFT conferences see http://www.econ.ucdavis.edu/faculty/bonanno/loft.html IMPORTANT DATES: Deadline for submission: 1 March, 2014 Notification to authors: 9 April, 2014 Conference: 27-30 July 2014 ************************************************************************ ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 7954292, (+44) 7970247480 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From xavier.parent at uni.lu Sat Feb 22 11:35:18 2014 From: xavier.parent at uni.lu (Xavier PARENT) Date: Sat, 22 Feb 2014 10:35:18 +0000 Subject: last CFP DEON 2014 Message-ID: <3586A856-C987-499F-842F-35D7DF3242B7@uni.lu> CALL FOR PAPERS - DEON 2014 12th International Conference on Deontic logic and Normative Systems 12-15 July 2014, Ghent, Belgium http://www.deon2014.ugent.be [co-located with TiL 2014] Abstract Submission Deadline: **March 1, 2014** Paper Submission Deadline: **March 8, 2014** The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON 2014 will encourage a special focus on the topic: Deontic modalities in natural language There have been eleven previous DEON conferences: Amsterdam, December 1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse, January 2000; London, May 2002; Madeira, May 2004; Utrecht, July 2006, Luxembourg, July 2008, Fiesole July 2010, Bergen, July 2012. This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8 July - 11 July, same venue: http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html ------------ General Themes ------------ The Program Committee invites papers concerned with the following topics: • the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, logics of action, logics of time, and other related areas of logic • the formal analysis of normative concepts and normative systems • the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability • the normative aspects of protocols for communication, negotiation and multi-agent decision making • the formal representation of legal knowledge • the formal specification of normative systems for the management of bureaucratic processes in public or private administration • applications of normative logic to the specification of database integrity constraints ----------- Special Theme ----------- DEON 2014’s special focus is “Deontic modalities in natural language”. Deontic or normative modality is a subject of common interest for researchers in several fields, including moral philosophy, meta-ethics, linguistic semantics, and deontic logic. Over the past, the deontic modalities have been extensively studied on the logic side. Comparatively, much less attention has been paid to them from a natural language perspective, at least in DEON. There has been a growing interest from linguists in the study of the deontic modalities, mostly in the US, under the influence of Angelika Kratzer’s work. A Deontic Modality Workshop was held in Los Angeles on May 20-22, 2013. We encourage submission of papers describing problems from a natural language perspective that can be a challenge for deontic logic. Topics of interest in this special theme include, but are not limited to: • Challenges from natural language for deontic logic • Relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc • New insights on the deontic paradoxes • Modeling values • Game theoretic aspects of deontic reasoning • Emergence of norms • Norms from a conversational point of view • Norms and argumentation We welcome theoretical work (formal models, representations, logics, specifications, verification), implementation-oriented work (programming languages, design models, simulations, prototype systems) and empirically driven work (linguistics) on these specific topics. Invited Speakers ------------- Sven Ove Hansson (Royal Institute of Technology, Stockholm) Magdalena Kaufmann (University of Connecticut) Paul McNamara (University of New Hampshire) Krister Segerberg (Uppsala University) Bryan Skyrms (University of California, Irvine) Submission Details --------------- Authors are invited to submit an original, previously unpublished, research paper pertaining to any of these topics. The paper should be in English, and should be no longer than 15 pages when formatted according the LNCS specifications. The first page should contain the full name and contact information for at least one of the authors, and it should contain an abstract of no more than ten lines. Authors should submit their papers electronically using easychair: https://www.easychair.org/conferences/?conf=deon2014 Each submitted paper will be carefully peer-reviewed by a panel of PC member based on originality, significance, technical soundness, and clarity of exposition and relevance for the conference. For each accepted paper, at least one author is required to register for the conference and should plan to present the paper. Publication --------- Copies of the workshop proceedings will be provided to all participants. The proceedings will be published with Springer in their LNCS/LNAI series. During the conference, Springer will also provide temporary free access to the online version of the proceedings on SpringerLink. In addition, we anticipate that revised versions of selected papers from the workshop will subsequently be published in a special issue of the deontic corner of the Journal of Logic and Computation. Important Dates ------------- Abstract Submission Deadline: March 1, 2014 Paper Submission Deadline: March 8, 2014 Notification: April 22, 2014 Camera Ready: May 1, 2014 Program Chairs ------------ Fabrizio Cariani, Northwestern University Davide Grossi, University of Liverpool Joke Meheus, Ghent University Xavier Parent, University of Luxembourg & University of Aix-Marseille, Ceperc Chairs of the Local Organizing Committee --------------------------------- Christian Straßer (Ghent University) Erik Weber (Ghent University) Congress Committee ----------------- Jean Paul Van Bendegem (Free University Brussels) Fabrizio Cariani (Northwestern University) Davide Grossi (University of Liverpool) John Horty (University of Maryland) Bart Van Kerkhove (University Hasselt) Joke Meheus (Ghent University) Erik Myin (University of Antwerpen) Xavier Parent (University of Luxembourg) Frederik Van De Putte (Ghent University) Christian Strasser (Ghent University) Leon Van Der Torre (University of Luxembourg) Roger Vergauwen (Catholic University Leuven) Erik Weber (Ghent University) Program Committee ———————— Maria Aloni (University of Amsterdam) Guillaume Aucher (University of Rennes 1 / INRIA) Mathieu Beirlaen (Universidad Nacional Autónoma de México) Guido Boella (University of Torino) Jan Broersen (Utrecht University) Mark A. Brown (Syracuse University) Fabrizio Cariani (Northwestern University) Jose Carmo (University Madeira) Roberto Ciuni (Ruhr-Universität Bochum, Humboldt Foundation) Robert Demolombe (IRIT, CNRS, Toulouse) Lou Goble (Willamette University) Guido Governatori (NICTA) Nobert Gratzl (Ludwig Maximilian University Munich) Davide Grossi (University of Liverpool) Jörg Hansen (University of Leipzig) Andreas Herzig (IRIT, CNRS, Toulouse) Jeff Horty (University of Maryland) Andrew Jones (King's College London) Stefan Kaufmann (University of Connecticut) Gert-Jan Lokhorst (Delft University of Technology) Emiliano Lorini (IRIT, CNRS, Toulouse) Joke Meheus (Ghent University) John-Jules Meyer (Utrecht University) Eric Pacuit (University of Maryland) Xavier Parent (University of Luxembourg) Henry Prakken (University of Utrecht, University of Groningen) Antonino Rotolo (University of Bologna) Olivier Roy (University of Bayreuth) Giovanno Sartor (EUI/CIRSFID) Ken Satoh (National Institute of Informatics and Sokendai, Japan) Marek Sergot (Imperial College, London) William Starr (Cornell University) Audun Stolpe (Norwegian Defence Research Establishment (FFI)) Christian Straßer (Ghent University) Allard Tamminga (University of Groningen) Paolo Turrini (Imperial College, London) Ron Van Der Meyden (University of New South Wales, Sydney, UNSW) Leon van der Torre (University of Luxembourg) Malte Willer (University of Chicago) Tomoyuki Yamada (Hokkaido University) Local Organizing Committee ———————————— Inge De Bal Tjerk Gauderis Merel Levefere Julie Mennes Frederik Van De Putte Christian Strasser Erik Weber Dietlinde Wouters From invitation at iariaprogram.org Sun Feb 23 10:09:37 2014 From: invitation at iariaprogram.org (DataSys 2014) Date: Sun, 23 Feb 2014 04:09:37 -0500 Subject: Deadline Extension: DataSys 2014 : July 20 - 24, 2014 - Paris, France Message-ID: <1393146577531.1143@iariaprogram.org> INVITATION: Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events under DataSys 2014. The submission deadline is extended to March 12, 2014. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= DataSys 2014 : July 20 - 24, 2014 - Paris, France see: http://www.iaria.org/conferences2014/DataSys14.html DataSys 2014 is a federated event focusing on various aspects related to telecommunications, web applications, internet monitoring, smart technologies, information mining, and mobility. Submission (full paper) deadline: March 12, 2014 Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org All tracks/topics are open to both research and industry contributions. -- AICT 2014, The Tenth Advanced International Conference on Telecommunications http://www.iaria.org/conferences2014/AICT14.html -- ICIW 2014, The Ninth International Conference on Internet and Web Applications and Services http://www.iaria.org/conferences2014/ICIW14.html -- ICIMP 2014, The Ninth International Conference on Internet Monitoring and Protection http://www.iaria.org/conferences2014/ICIMP14.html -- SMART 2014, The Third International Conference on Smart Systems, Devices and Technologies http://www.iaria.org/conferences2014/SMART14.html -- IMMM 2014, The Fourth International Conference on Advances in Information Mining and Management http://www.iaria.org/conferences2014/IMMM14.html -- INFOCOMP 2014, The Fourth International Conference on Advanced Communications and Computation http://www.iaria.org/conferences2014/INFOCOMP14.html -- MOBILITY 2014, The Fourth International Conference on Mobile Services, Resources, and Users http://www.iaria.org/conferences2014/MOBILITY14.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about DataSys, please reply with "DROP DataSys event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From ricca at mat.unical.it Mon Feb 24 13:16:58 2014 From: ricca at mat.unical.it (Francesco Ricca) Date: Mon, 24 Feb 2014 13:16:58 +0100 Subject: RCRA 2014: call for papers Message-ID: <20140224121658.92C3C18D01D6@ml.mat.unical.it> [APOLOGIES FOR MULTIPLE POSTINGS] * __________________________________________________________________________ * Call for papers The 21st RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion --- RCRA 2014 --- A FLoC workshop at the Vienna Summer of Logic (VSL 2014) Affiliated with SAT 2014, ICLP 2014, IJCAR 2014 Vienna, Austria, July 17-18, 2014 RCRA group web site: http://rcra.aixia.it/ Workshop web site: http://rcra.aixia.it/rcra2014 e-mail: rcra2014 at gmail.com * __________________________________________________________________________ * The 21st edition of the RCRA workshop will take place in Vienna during the Vienna Summer of Logic ( VSL - htpp://http://vsl2014.at ) which will be the largest event in the history of logic. VSL will consist of twelve large conferences and many workshops, attracting researchers from all over the world. RCRA 2014 is a FLoC workshop affiliated with SAT 2014, ICLP 2014, IJCAR 2014. It will be held in the Workshop Block 2 ( see http://vsl2014.at/ataglance ) after SAT 2014 and before ICLP2014 and IJCAR2014. As in previous editions (http://rcra.aixia.it/publications), authors of papers orally presented at the workshop will have the opportunity to participate to the selection of a special issue that will appear on an international journal. IMPORTANT DATES * Submission deadline for abstracts: March 25, 2014 * Submission deadline for papers: April 1, 2014 * Acceptance/reject notification: May 1, 2014 * Camera-ready papers due: May 20, 2014 * RCRA 2014: July 17-18, 2014 HISTORY OF THE WORKSHOP SERIES The RCRA workshops are organized by the RCRA (Knowledge Representation & Automated Reasoning) group of the Italian Association for Artificial Intelligence. The last editions have been as follows: * RCRA 2013, Rome, Italy - http://rcra.aixia.it/rcra2013 Extended versions of the best papers will appear in a special issue of Journal of Experimental and Theoretical Artificial Intelligence * RCRA 2012 as a workshop of AI*IA 2012, Rome, Italy - http://rcra.aixia.it/rcra2012 Extended versions of the best papers will appear in a special issue of AI Communications * RCRA 2011 as a workshop of IJCAI 2011, Barcelona, Spain - http://rcra.aixia.it/rcra2011 Extended versions of the best papers appear in a special issue of AI Communications * Previous editions: http://rcra.aixia.it/workshops AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridized with techniques in other areas. Artificial Intelligence tools often exploit or hybridize techniques developed by other research communities, such as Operations Research. In recent years, research in Artificial Intelligence has more and more focused on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modeling, and ease of development. Topics of interest include, but are not limited to: * Experimental evaluation of algorithms for o knowledge representation o automated reasoning o planning o scheduling o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o temporal reasoning o combinatorial optimization o quantified boolean formulae and quantified constraints o modal logics o logic programming o answer set programming o ontological reasoning * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridization * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences WORKSHOP CHAIRS * Toni Mancini Sapienza University, Rome, Italy * Marco Maratea University of Genova, Genova, Italy * Francesco Ricca University of Calabria, Rende, Italy WORKSHOP PROGRAM COMMITTEE The Programme Committee members of RCRA 2014 are listed here: http://rcra.aixia.it/rcra2014/committees HOST ORGANIZATION Vienna Summer of Logic, Vienna, Austria FLoC workshop affiliated with SAT 2014, ICLP 2014, IJCAR 2014 SUBMISSIONS Authors are invited to submit either original (full or short) papers, or papers that appear on conference proceedings. Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. At the time of submission, authors are requested to clearly specify whether their submission is original or already published. Workshop submissions must be in PDF format, do not exceed 15 (for full papers) or 8 (for short papers) pages, and should be written in LaTeX, using the LNCS-based RCRA 2014 style available at the workshop web site. RCRA 2014 uses EasyChair for the submission of contributions. Details are available on the web-site. Submissions will be reviewed by at least three members of the program committee. SELECTION FOR THE POST-PROCEEDINGS Authors of papers orally presented at the workshop will have the opportunity to participate to the selection for the post-proceedings by submitting an extended version of their work. As in previous editions (http://rcra.aixia.it/publications), workshop post-proceedings will appear in a special issue of an international journal, provided that a sufficient amount of high quality papers is collected. All candidate articles must be original: they cannot have already been published in journals, and must contain significant additional material with respect to any formal publication. Such papers will go through a second formal selection process, and will be reviewed by at least three reviewers. We aim at a short submission process, and at most one re-submission stage will be allowed. From maurizio.proietti at iasi.cnr.it Mon Feb 24 14:18:18 2014 From: maurizio.proietti at iasi.cnr.it (Maurizio Proietti) Date: Mon, 24 Feb 2014 14:18:18 +0100 Subject: [LOPSTR 2014] First Call for Papers Message-ID: [Apologies for multiple copies] ================FIRST CALL FOR PAPERS====================== 24th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2014 http://www.iasi.cnr.it/events/lopstr14/ University of Kent, Canterbury, UK, September 10-11, 2014 DEADLINES Abstract submission: May 30, 2014 Paper/Extended abstract submission: June 6, 2014 =========================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 24th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2014) will be held at the University of Kent, Canterbury, United Kingdom; previous symposia were held in Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC co-chairs in case of questions). Important Dates Abstract submission: May 30, 2014 Paper/Extended abstract submission: June 6, 2014 Notification: July 18, 2014 Camera-ready (for electronic pre-proceedings): August 25, 2014 Symposium: September 10-11, 2014 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Paper should be submitted via the Easychair submission website for LOPSTR 2014. If electronic submission is impossible, please contact the program co-chairs for information on how to submit hard copies. Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher German University of Cairo, Egypt Étienne André Université Paris 13, France Martin Brain University of Oxford, UK Wei-Ngan Chin National University of Singapore, Singapore Marco Comini University of Udine, Italy Wlodzimierz Drabent IPIPAN, Poland and Linköping University, Sweden Fabio Fioravanti University of Chieti-Pescara, Italy Jürgen Giesl RWTH Aachen University, Germany Miguel Gómez-Zamalloa Complutense University of Madrid, Spain Arnaud Gotlieb INRIA, France Gopal Gupta University of Texas at Dallas, USA Jacob Howe City University London, UK Zhenjiang Hu Graduate University for Advanced Studies, Japan Alexei Lisitsa University of Liverpool, UK Jorge Navas NASA, USA Naoki Nishida Nagoya University, Japan Corneliu Popeea Technische Universität München, Germany Maurizio Proietti IASI-CNR, Italy (Program Co-Chair) Tom Schrijvers Ghent University, Belgium Hirohisa Seki Nagoya Institute of Technology, Japan (Program Co-Chair) Jon Sneyers K.U. Leuven, Belgium Fausto Spoto University of Verona, Italy Wim Vanhoof University of Namur, Belgium German Vidal Universitat Politecnica de Valencia, Spain Annie-Liu Yanhong Stony Brook University, USA Program Co-Chairs: Maurizio Proietti, IASI-CNR, Italy (maurizio.proietti at iasi.cnr.it) Hirohisa Seki, Nagoya Institute of Technology, Japan (seki at nitech.ac.jp) Symposium Co-Chairs Olaf Chitil and Andy King School of Computing University of Kent CT2 7NF Kent, UK Organizing Committee Emanuele De Angelis Fabrizio Smith -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dehaan at kr.tuwien.ac.at Tue Feb 25 11:01:40 2014 From: dehaan at kr.tuwien.ac.at (Ronald de Haan) Date: Tue, 25 Feb 2014 11:01:40 +0100 Subject: ESSLLI 2014 Student Session 2nd CfP Message-ID: Please forward to students. Apologies for the multiple messages. *2nd Call for Papers* *ESSLLI 2014 STUDENT SESSION* Held during the 26th European Summer School in Logic, Language and Information Tübingen, Germany, August 11-22, 2014 *Deadline for submissions: April 1st, 2014* https://www.easychair.org/conferences/?conf=essllistus2014 *ABOUT:* The Student Session of the 26th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Tübingen, Germany on August 11-22, 2014. We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the student session proceedings by Springer. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. *SEPARATE POSTER SESSION:* Note that there are two separate kinds of submissions, one for the oral presentations and one for the posters. This means that papers can be directly submitted as posters. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present research in progress. *SUBMISSION GUIDELINES:* All authors must be students, and submissions may be singly or jointly authored. Submissions should not be longer than 8 pages for an oral presentation and 4 pages for a poster presentation (including examples and references). Submissions must be anonymous, without any identifying information. More detailed guidelines regarding submission can be found on the Student Session website: http://www.kr.tuwien.ac.at/drm/dehaan/stus2014/ . *FURTHER INFORMATION:* Please direct inquiries about submission procedures or other matters relating to the Student Session to dehaan at kr.tuwien.ac.at. ESSLLI 2014 will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation. For further information, including registration information and course listings, and for general inquiries about ESSLLI 2014, please consult the main ESSLLI 2014 page: http://www.esslli2014.info/. Kind regards, The ESSLLI 2014 Student Session Organization Committee Chair: - Ronald de Haan (Technische Universität Wien) LoCo (Logic and Computation) co-chairs: - Zoé Christoff (Universiteit van Amsterdam) - Aybüke Özgün (Université de Lorraine) LoLa (Logic and Language) co-chairs: - Philip Schulz (Universiteit van Amsterdam) - Thomas Brochhagen (Universität Düsseldorf) LaCo (Language and Computation) co-chairs: - Miriam Kaeshammer (Universität Düsseldorf) - Ramon Ziai (Universität Tübingen) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From r.bordini at acm.org Wed Feb 26 12:32:11 2014 From: r.bordini at acm.org (Rafael H Bordini) Date: Wed, 26 Feb 2014 08:32:11 -0300 Subject: CfP: Brazilian Workshop-School on Agents, Environments, and Applications Message-ID: <530DD0BB.50809@acm.org> [Apologies if you receive multiple copies of this email] ====================================================================== First Call for Papers --- WESAAC-2014 8th Workshop-School on Agents, Environments, and Applications Porto Alegre, RS -- Brazil 28-30th of May 2014 ====================================================================== Important Dates =============== Abstract submission: 1st of April, 2014 Paper submission: 7th of April, 2014 Notification to authors: 28th of April, 2014 Camera ready version: 11th of May, 2014 Motivation ========== Many current computational systems no longer depend on human intervention to operate in complex dynamic environments. Some of the key features that allow such systems to operate autonomously include the ability to make rational decisions and to react to changes in a timely way. In that respect, agent systems and multi-agent environments provide a computing paradigm that supports the development of intelligent systems that are able to cope with the complexities associated with such dynamic scenarios. Aims ==== The area of agent-based systems is widely known and has numerous papers published internationally every year. However, nationally there are few events in this area and no other national event also provides tutorials and short courses specifically on the main topics of research within autonomous agents and multi-agent systems. WESAAC is therefore of great importance as a national event in this area, aiming to both prepare future generations of Brazilian researchers and to disseminate the current projects of Brazilian researchers. WESAAC aims to be a forum for the discussion of work at all levels, including undergraduate, MSc, and PhD projects currently being conducted. Fundamentally, WESAAC is the best opportunity for Brazilian undergraduate and specially postgraduate students to attend courses by some of the most prominent researchers working in this area throughout the world. Topics of Interest ================== Papers submitted to the event should address topics related to autonomous agents or multi-agent systems, such as (but not restricted to): * agent architectures and theories (BDI, belief revision, automated reasoning) * cooperation/coordination (negotiation, argumentation, reputation) * agent-based software development (programming languages, platforms, tools, methodologies) * agent organisations, societal issues, normative systems, etc. * agent communication * social simulations and agent-based simulation * (formal) specification and verification of multi-agent systems * machine learning and automated planning in agent systems * applications of agents and multi-agent systems Committees ========== General Chair: Rafael H. Bordini (PUCRS) Programme Committee Chair: Viviane Torres da Silva (UFF) Local Chair: Felipe Meneguzzi (PUCRS) WESAAC Steering Committee: Rejane Frozza (UNISC) João Luis Tavares da Silva (UCS) Diana Francisca Adamatti (FURG) Gustavo Alberto Gimênez Lugo (UTFPR) Jomi Fred Hübner (UFSC) Paper Submission ================ Researchers and students are invited to submit papers in Portuguese or English, as a PDF file formatted according to the SBC style (compulsory) available at . The proceedings are published electronically (with an ISBN). Three separate tracks have been created for paper submission: (i) full papers, (ii) short papers (i.e., extended abstracts), and (iii) short papers written by *undergraduate* students. Full papers, reporting work with solid results, must have no more than 12 pages and will be presented orally in a plenary session. Short papers, reporting ongoing work or position papers, must have between 4 and 6 pages and will be presented in poster sessions. Papers must be submitted through EasyChair . For queries related to paper submission, please send an email to . For general queries, please email . From hastings at ebi.ac.uk Wed Feb 26 12:35:41 2014 From: hastings at ebi.ac.uk (Janna Hastings) Date: Wed, 26 Feb 2014 11:35:41 -0000 Subject: FOIS 2014 in Rio de Janeiro: DEADLINE EXTENDED to 14 March! In-Reply-To: <00be01cf32e6$d2f56c40$78e044c0$@ebi.ac.uk> References: <001b01cf32e5$b19d4f50$14d7edf0$@ebi.ac.uk> <002e01cf32e5$d6a99010$83fcb030$@ebi.ac.uk> <003e01cf32e5$e909b1e0$bb1d15a0$@ebi.ac.uk> <004e01cf32e6$008cfb60$01a6f220$@ebi.ac.uk> <005e01cf32e6$0eb762c0$2c262840$@ebi.ac.uk> <006e01cf32e6$266788a0$733699e0$@ebi.ac.uk> <007e01cf32e6$421541f0$c63fc5d0$@ebi.ac.uk> <008e01cf32e6$962d45d0$c287d170$@ebi.ac.uk> <009e01cf32e6$ad3e6c90$07bb45b0$@ebi.ac.uk> <00ae01cf32e6$c3df6c60$4b9e4520$@ebi.ac.uk> <00be01cf32e6$d2f56c40$78e044c0$@ebi.ac.uk> Message-ID: <00c901cf32e6$e0b970b0$a22c5210$@ebi.ac.uk> (with apologies for cross-posting) Now there is more time to prepare your FOIS submission! CALL FOR PAPERS, DEADLINE EXTENDED TO MARCH 14, 2014 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 http://www.iaoa.org/fois/ Email: fois2014 at gmail.com ----------------------------------- KEYNOTES, WORKSHOPS, AND SUMMER SCHOOL ANNOUNCED ----------------------------------- FOIS 2014 will feature keynote presentations by + Nicholas Asher (CNRS & Toulouse University, France) + Kit Fine (New York University, USA) + Nicola Guarino (ISTC-CNR, Italy) + Clarisse Sieckenius de Souza (Pontifical Catholic University of Rio de Janeiro, Brazil) FOIS will moreover feature the following 8 co-located workshops: + Workshop on Ontological Modelling of Socio-Technical Systems + 8th International Workshop on Modular Ontologies (WoMO 2014) + Workshop on Concept Invention, Generation, Adaptation, and Representation (CIGAR) + 1st Joint Workshop on Ontologies in Conceptual Modeling and Information Systems Engineering (Onto.Com/ODISE) + Workshop on Logics and Ontologies for Natural Language + Workshop on Information Artifact Ontologies + 2nd Workshop on Semantic Web and Amazonian Biodiversity Ontology (WAS 2014) + Workshop on Formal Ontologies Meet Industry (FOMI 2014) Workshop details may be found at http://fois2014.inf.ufes.br/p/workshops.html The summer school website may be found at http://iaoa.org/isc2014/ ----------------------------------- DEFINITION AND SCOPE ----------------------------------- Ontology, originally a fundamental part of philosophical enquiry, is concerned with the analysis and categorization of what exists. In recent years, however, a complementary focus of ontological inquiry gained significant momentum fueled by the advent of complex information systems which rely on robust and coherent, formal representations of their subject matter. The systematic study of such representations, their axiomatics, their corresponding reasoning techniques and their relations to cognition and reality, are at the center of the modern discipline of formal ontology. Formal ontology in this modern sense is now a research focus in such diverse domains as conceptual modeling, database design, software engineering, artificial intelligence, computational linguistics, the life sciences, bioinformatics, geographic information science, knowledge engineering, information retrieval, and the Semantic Web. Researchers in all these areas increasingly recognize the need for serious engagement with ontology to provide a foundation for their work, where ontology is understood as a general theory of the types of entities and relations making up their respective domains of enquiry. The FOIS conference is designed to provide a meeting point for researchers from all disciplines with an interest in formal ontology. The conference encourages submission of high quality articles on both theoretical issues and concrete applications. As in previous years, FOIS 2014 is intended as a nexus of interdisciplinary research and communication. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA, website: http://iaoa.org/), which is a non-profit organization the purpose of which is to promote interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. ------------------------------ FORMAT ------------------------------ FOIS is a growing conference, and the 2014 edition will add a number of new facets, including + a formal ontology competition, + an open call for workshops, and + an early career symposium. It will moreover be directly preceded by the Second Interdisciplinary Summer School on Ontological Analysis, to be held in Vitoria, Brazil, between September 15-19. See http://iaoa.org/isc2014/ ------------------------------ SCOPE OF FOIS - TOPICS OF INTEREST ------------------------------ We seek high-quality papers on a wide range of topics. Concerning scope, an ideal FOIS paper will address both content-related ontological issues and their formal modeling, as well as their impact and relevance for some aspects of information systems. Areas of particular interest to the conference include the following: Foundational Issues * Kinds of entities: particulars/universals, continuants/occurrents, abstracta/concreta, dependent entities/independent entities, natural objects/artifacts * Formal relations: parthood, identity, connection, dependence, constitution, causality, subsumption, instantiation * Vagueness and granularity * Space, time, and change Methodological issues * Role of reference ontologies * Top-level vs. domain-specific ontologies * Relationship with cognition, language and semantics * Formal comparison among ontologies * Ontology integration and alignment Domain-specific ontologies * Ontology of physical reality (matter, space, time, motion, etc.) * Ontology of biological reality (genes, proteins, cells, organisms, etc.) * Ontology of mental reality and agency (beliefs, intentions, emotions, percepts, etc.) * Ontology of artifacts, functions and roles * Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions, languages, etc.) Applications: * Ontology-driven information systems design * Ontological foundations for conceptual modeling * Knowledge management * Qualitative modeling * Computational linguistics * Information retrieval * Semantic Web, Web services * Business modeling * Ontologies for particular scientific disciplines (biology, chemistry, geography, physics, cognitive sciences, linguistics etc.) * Ontologies for engineering: shape, form and function, artifacts, manufacturing, design, architecture, etc. * Ontologies for the humanities: arts, cultural studies, history, law, literature, philosophy, etc. ----------------------------- IMPORTANT DATES ----------------------------- Paper Submission Deadline: March 14, 2014 Notification: May 5, 2014 Camera-ready papers: June 20, 2014 Conference Dates: September, 22-25, 2014 ----------------------------- SUBMISSION GUIDELINES ----------------------------- Submitted papers must not exceed 14 pages (including the bibliography) and include an abstract of no more than 300 words. Papers should be submitted non-anonymously and be prepared in PDF format in accordance with the IOS formatting guidelines found at http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors / The Easychair submission page can be found at: https://www.easychair.org/conferences/?conf=fois2014 (Select the track 'Research Paper') As with previous FOIS conferences, the proceedings will be published as a volume in the IOS Press series 'Frontiers in Artificial Intelligence and Applications'. -------------------------------------------- CONFERENCE ORGANISATION -------------------------------------------- General Chair: Laure Vieu (CNRS, France) Program Chairs: Pawel Garbacz (Catholic University of Lublin, Poland) Oliver Kutz (Otto-von-Guericke University of Magdeburg, 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 (Otto-von-Guericke University of Magdeburg, Germany) Early Career Symposium: Marion Haemmerli (University of Lausanne, Switzerland) Torsten Hahmann (University of Maine, USA) 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 andrea at dcs.bbk.ac.uk Thu Feb 27 18:14:48 2014 From: andrea at dcs.bbk.ac.uk (Andrea Cali) Date: Thu, 27 Feb 2014 17:14:48 +0000 Subject: SUM 2014 - Scalable Uncertainty Management CFP Message-ID: SUM 2014 -- CALL FOR PAPERS 8th International Conference on Scalable Uncertainty Management (SUM 2014) Oxford, UK 15-17 September, 2014 http://nmis.isti.cnr.it/~straccia/sum2014/ Uncertainty, imprecision and inconsistency in data sets have been studied for several years in the areas of Artificial Intelligence, Knowledge Representation and Databases. The availability of vast amounts of information nowadays makes the need for formalisms, algorithms and tools for managing uncertainty even more compelling. The Scalable Uncertainty Management (SUM) series, commenced in 2007, brings together researchers from the Artificial Intelligence and Database communities, with a special focus on problems and applications dealing with uncertainty and requiring efficient, and especially scalable, data processing. The 2014 edition of SUM will take place in St. Anne's College, Oxford, UK, from the 15th to the 17th of September. Papers are solicited in all areas of managing and reasoning with substantial and complex kinds of uncertain, incomplete or inconsistent information. These include (but are not restricted to) applications in decision support systems, machine learning, negotiation technologies, semantic web applications, search engines, ontology systems, information retrieval, natural language processing, information extraction, image recognition, vision systems, data and text mining, and the consideration of issues such as provenance, trust, heterogeneity, and complexity of data and knowledge. ORGANISATION General chair: Thomas Lukasiewicz, University of Oxford, UK Program committee chairs: Umberto Straccia, ISTI-CNR, Italy Andrea Cali, University of London, Birkbeck College, UK IMPORTANT DATES Abstract submission: 4 April, 2014 Paper Submission : 11 April, 2014 Notification : 16 May, 2014 Camera Ready : 13 June, 2014 Conference : 15-17 September, 2014 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Fri Feb 28 09:44:19 2014 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri, 28 Feb 2014 09:44:19 +0100 (CET) Subject: CICM 2014: Extended Deadline March 14th, 2014 Message-ID: <20140228084419.165B31EF74A1@mbp-autexier.informatik.uni-bremen.de>  CICM 2014 - Conferences on Intelligent Computer Mathematics July 7-11, 2014 at University of Coimbra, Portugal http://www.cicm-conference.org/2014 Call for Papers ** Extended Deadline: March 14th, 2014 ** ------------------------------------------------------------------- * Co-located Workshops * - CCA'14: Workshop on Compact Computer Algebra (organiser: Elena Smirnova) - MathUI'14: Workshop on Mathematical User Interfaces (organisers: Andrea Kohlhase, Paul Libbrecht) - OpenMath Workshop (organisers: James Davenport, Michael Kohlhase) - Workshop on The Notion of Proof (organisers: Jesse Alama, Reinhard Kahle) - ThEdu'14: Workshop on Theorem Provers Components for Educational Software (organisers: Walther Neuper, Pedro Quaresma) ------------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conferences on Intelligent Computer Mathematics (CICM) offer a venue for discussing these areas and their synergy. CICM has been held annually as a joint meeting since 2008, colocating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012) and Bath (U.K. 2013). This is a call for papers for CICM 2014, which will be held at the University of Coimbra, 7-11 July 2014, following the 10th International Workshop on Automated Deduction in Geometry. The principal tracks of the conference will be: Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: James Davenport DML (Digital Mathematical Libraries) Chair: Petr Sojka MKM (Mathematical Knowledge Management) Chair: Josef Urban Systems and Projects Chair: Alan Sexton The local arrangements will be coordinated by the Local Arrangements Chair, Pedro Quaresma (U. Coimbra, Portugal), and the overall programme will be organised by the General Program Chair, Stephen Watt (U. Western Ontario, Canada). The proceedings of the conference will be published by Springer Verlag as a volume in Lecture Notes in Artificial Intelligence (LNAI). As in previous years, it is anticipated that there will be a number co-located workshops, including one to mentor doctoral students giving presentations. ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Conference submissions: Abstract submission (extended): ** 14 March 2014 ** Submission deadline (extended): ** 14 March 2014 ** Reviews sent to authors: 4 April 2014 Rebuttals due: 8 April 2014 Notification of acceptance: 14 April 2014 Camera ready copies due: 25 April 2014 Work in progress and Doctoral Programme submissions: Submission deadline: 28 April 2014 (Doctoral: Abstract+CV) Notification of acceptance: 19 May 2014 Camera ready copies due: 26 May 2014 Conference: 7-11 July 2014 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- ================================================================ Track Calculemus: Symbolic Computation and Mechanised Reasoning ================================================================ Calculemus 2014 invites the submission of original research contributions to be considered for publication and presentation at the conference. Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning like interactive proof assistants (PA) or automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated mathematical assistant systems that will be used routinely by mathematicians, computer scientists and all others who need computer-supported mathematics in their every day business. All topics in the intersection of computer algebra systems and automated reasoning systems are of interest for Calculemus. These include but are not limited to: * Automated theorem proving in computer algebra systems. * Computer algebra in theorem proving systems. * Adding reasoning capabilities to computer algebra systems. * Adding computational capabilities to theorem proving systems. * Theory, design and implementation of interdisciplinary systems for computer mathematics. * Case studies and applications that involve a mix of computation and reasoning. * Case studies in formalization of mathematical theories. * Representation of mathematics in computer algebra systems. * Theory exploration techniques. * Combining methods of symbolic computation and formal deduction. * Input languages, programming languages, types and constraint languages, and modeling languages for mathematical assistant systems. * Homotopy type theory. * Infrastructure for mathematical services. ================================================================ Track DML: Digital Mathematical Libraries ================================================================ Mathematicians dream of a digital archive containing all validated mathematical literature ever published, reviewed, properly linked, and verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The track objective is to provide a forum for the development of math-aware technologies, standards, algorithms and formats for the fulfillment of the dream of a global digital mathematical library (DML). Computer scientists (D) and librarians of the digital age (L) are especially welcome to join mathematicians (M) and discuss many aspects of DML preparation. Track topics are all topics of mathematical knowledge management and digital libraries applicable in the context of DML building, including the processing of mathematical knowledge expressed in scientific papers in natural languages: * Math-aware text mining (math mining) and MSC classification * Math-aware representations of mathematical knowledge * Math-aware computational linguistics and corpora * Math-aware tools for [meta]data and fulltext processing * Math-aware OCR and document analysis * Math-aware information retrieval * Math-aware indexing and search * Authoring languages and tools * MathML, OpenMath, TeX and other mathematical content markup languages * Web interfaces for DML content * Mathematics on the web, math crawling and indexing * Math-aware document processing workflows * Archives of written mathematics * DML management, business models * DML rights handling, funding, sustainability * DML content acquisition, validation and curation * Reports and experience from running existing DMLs ================================================================ Track MKM: Mathematical Knowledge Management ================================================================ Mathematical Knowledge Management is an interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. The objective of MKM is to develop new and better ways of managing sophisticated mathematical knowledge, based on innovative technology of computer science, the Internet, and intelligent knowledge processing. MKM is expected to serve mathematicians, scientists, and engineers who produce and use mathematical knowledge; educators and students who teach and learn mathematics; publishers who offer mathematical textbooks and disseminate new mathematical results; and librarians and mathematicians who catalog and organize mathematical knowledge. The track is concerned with all aspects of mathematical knowledge management. A non-exclusive list of important topics includes: * Representations of mathematical knowledge * Authoring languages and tools * Repositories of formalized mathematics * Deduction systems * Mathematical digital libraries * Diagrammatic representations * Mathematical OCR * Mathematical search and retrieval * Math assistants, tutoring and assessment systems * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows ================================================================ Track Systems and Projects ================================================================ The Systems and Projects track of the Conferences on Intelligent Computer Mathematics is a forum for presenting available systems and new and ongoing projects in all areas and topics related to the CICM conferences: * Deduction and Computer Algebra (Calculemus) * Digital Mathematical Libraries (DML) * Mathematical Knowledge Management (MKM) The track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. ---------------------------------------------------------------- Submission Instructions ---------------------------------------------------------------- Electronic submission is done through Easychair http://www.easychair.org/conferences/?conf=cicm2014 All papers should be prepared in LaTeX and formatted according to the requirements of Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. Submissions to the research tracks (Calculemus, DML, MKM) must not exceed 15 pages in the LNCS style and will be reviewed and evaluated with respect to relevance, clarity, quality, originality, and impact. Shorter papers, e.g., for system descriptions, are welcome. Authors will have an opportunity to respond to their papers' reviews before the programme committee makes a decision. System descriptions and projects descriptions should be 2-4 pages in the LNCS style and should present * newly developed systems, * systems not previously been presented to the CICM community, or * significant updates to existing systems. Systems must either be available for download or currently executable by the general public as a web application. Project presentations should describe * projects that are new or about to start, * ongoing projects that have not yet been presented to the CICM community or * significant new developments in ongoing previously presented projects. Presentations of new projects should mention relevant previous work and include a roadmap that outlines concrete steps. All project submissions must have a live project website and should contain links to demos, videos, downloadable systems or downloadable datasets. Accepted conference submissions from all tracks will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer. In addition to these formal proceedings, authors are permitted and encouraged to publish the final versions of their papers on arXiv.org. Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not yet in a suitable form for submission as a full paper for a research track or system description. This includes work in progress and emerging trends. Their size is not limited, but we recommend 5-10 pages. The programme committee may offer authors of rejected formal submissions the opportunity to publish their contributions as work-in-progress papers instead. Depending on the number of work-in-progress papers accepted, they will be presented at the conference either as short talks or as posters. The work-in-progress proceedings will be published as a technical report, as well as online with CEUR-WS.org. ---------------------------------------------------------------- Doctoral Programme ---------------------------------------------------------------- Chair: David Wilson (University of Bath, UK) CICM is an excellent opportunity for graduate students to meet established researchers from the areas of computer algebra, automated deduction, and mathematical publishing. The Doctoral Programme provides a dedicated forum for PhD students to present and discuss their ideas, ongoing or planned research, and achieved results in an open atmosphere. It will consist of presentations by the PhD students to get constructive feedback, advice, and suggestions from the research advisory board, researchers, and other PhD students. Each PhD student will be assigned to an experienced researcher from the research advisory board who will act as a mentor and who will provide detailed feedback and advice on their intended and ongoing research. Students at any stage of their PhD can apply and should submit the following documents through EasyChair: * A two-page abstract of your thesis describing your research questions, research plans, completed and remaining research, evaluation plans and publication plans; * A two-page CV that includes background information (name, university, supervisor), education (degree sought, year/status of degree, previous degrees), employments, relevant research experience (publications, presentations, attended conferences or workshops, etc.) Submission Deadline: 28 April 2014. ---------------------------------------------------------------- Programme Committee ---------------------------------------------------------------- General chair: Stephen Watt (University of Western Ontario, Canada) Calculemus track James Davenport, University of Bath, UK (Chair) Matthew England, University Of Bath, UK, Dejan Jovanović, SRI, USA Laura Kovács, Chalmers University of Technology, Sweden Assia Mahboubi, INRIA, France Adam Naumowicz, Institute of Informatics, U. Bialystok, Poland Grant Passmore, U. Cambridge and U. Edinburgh, UK Florian Rabe, Jacobs University Bremen. Germany Claudio Sacerdoti Coen, University of Bologna, Italy Freek Wiedijk, Radboud University Nijmegen, Netherlands (Other invitations pending) DML track Petr Sojka, Masaryk University, Brno, CZ (Chair) Akiko Aizawa, NII, University of Tokyo, Japan Łukasz Bolikowski, ICM, University of Warsaw, Poland Thierry Bouche, Université Joseph Fourier, Grenoble, france Yannis Haralambous, Inst Mines-Télécom - Télécom Bretagne, France Janka Chlebíková, School of Computing, University of Portsmouth, UK Michael Kohlhase, Jacobs University Bremen, Germany Jiří Rákosník, Institute of Mathematics AS CR, CZ David Ruddy, Cornell University, USA Volker Sorge, University of Birmingham, UK Frank Tompa, University of Waterloo, Canada Richard Zanibbi, Rochester Institute of Technology, USA MKM track Josef Urban, Radboud University Nijmegen, The Netherlands (Chair) Rob Arthan, Queen Mary University of London, UK David Aspinall, Univerity of Edinburgh, UK Michael Beeson, San Jose State University, USA Claudio Sacerdoti Coen, University of Bologna, Italy Thomas Hales, University of Pittsburgh, USA Johan Jeuring, Open Universiteit Nederland and Universiteit Utrecht, NL Peter Jipsen, Chapman University, USA Cezary Kaliszyk, University of Innsbruck, Austria Michael Kohlhase, Jacobs University Bremen, Germany Christoph Lange, University of Birmingham, UK Paul Libbrecht, Weingarten University of Education, Germany Ursula Martin, Queen Mary University of London, UK Bruce Miller, NIST, USA Adam Naumowicz, University of Bialystok, Poland Florian Rabe, Jacobs University Bremen, Germany Alan Sexton, University of Birmingham, UK Enrico Tassi, INRIA, France Stephen Watt, University of Western Ontario, Canada Makarius Wenzel, Université Paris-Sud 11, France Freek Wiedijk, Radboud University Nijmegen, The Netherlands Systems & Projects track Alan Sexton, University of Birmingham, UK (Chair) Christoph Lange, University of Bonn, Germany Jesse Alama, Technical University of Vienna, Austria Rob Arthan, Queen Mary University of London, UK Deyan Ginev, Jacobs University Bremen, Germany Jónathan Heras, University of Dundee, Scotland Mateja Jamnik, University of Cambridge, UK Predrag Janičić, University of Belgrade, Serbia Christoph Lüth, DFKI and University of Bremen, Germany Bruce Miller, NIST, Gaithersburg, Maryland, USA Hendrik Tews, TU Dresden, Germany From ecai2014 at guarant.cz Fri Feb 28 10:20:02 2014 From: ecai2014 at guarant.cz (=?utf-8?q?ECAI_2014?=) Date: Fri, 28 Feb 2014 10:20:02 +0100 Subject: =?utf-8?q?ECAI_2014_-_Workshops?= Message-ID: <20140228092002.94A8217439F@gds25d.active24.cz> ** apologies for cross-posting ** ECAI 2014 Conference September 18-22, 2014 Prague, Czech Republic LIST OF ACCEPTED WORKSHOPS W1 - 3rd International Workshop on Computational Creativity, Concept Invention, and General Intelligence (C3GI) - 19.8. Tarek Richard Besold, Kai-Uwe Kuehnberger, Alan Smaill and Marco Schorlemmer W2 - ECAI 2014 Workshop on Computer Games - 18.8. Tristan Cazenave, Mark Winands and Yngvi Björnsson W3 - MetaSel - Meta-learning & Algorithm Selection -19.8. Pavel Brazdil, Carlos Soares, Joaquin Vanschoren and Lars Kotthoff W4 - "2nd European Workshop on Chance Discovery and Data Synthesis (EWCDDS14)" - 18.-19.8. Akinori Abe and Yukio Ohsawa W5 - 9th Workshop on Agents Applied in Health Care - 18.8. Antonio Moreno, Ulises Cortés, Magí Lluch-Ariet, Helena Lindgren, Michael Ignaz Schumacher and David Isern W6 - "International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014)" - 19.8. Stefan Ellmauthaler and Jörg Pührer W7 - COmbining COnstraint solving with MIning and LEarning (CoCoMiLe) - 19.8. Lars Kotthoff, Barry O'Sullivan and Georgiana Ifrim W8 - IAT4SIS - 2014 Workshop on Intelligent Agents and Technologies for Socially Interconnected Systems - 18.8. Ana Paula Rocha, Virginia Dignum, Eugenio Oliveira, Laurent Vercouter and Huib Aldewereld W9 - DARe-14: International Workshop on Defeasible and Ampliative Reasoning - 19.8. Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard and Ivan Varzinczak W10 - Workshop on Multi-Agent Coordination in Robotic Exploration - 18.8. Jan Faigl and Olivier Simonin W11 - Artificial Intelligence meets Business Processes and Services (AIBPS2014 @ECAI) - 18.8. Stefania Montani, Grzegorz Nalepa and Daniele Theseider Dupre W12 - CogRob 2014 - The 9th International Workshop on Cognitive Robotics - 18.-19.8. Esra Erdem and Fredrik Heintz W13 - "What can FCA do for Artificial Intelligence?'' (Third FCA4AI Workshop) - 19.8. Sergei O. Kuznetsov, Amedeo Napoli and Sebastian Rudolph W14 - Industrial Applications of Holonic and Multi-Agent Systems (APL-MAS) - 18.8. Pavel Vrba, Vladimir Marik and Thomas Strasser W15 - Third international workshop on AI Problems and Approaches for Intelligent Environments (AI4IE) - 18.8. Sebastian Bader, Anika Schumann and Stephan Sigg W16 - Artificial Intelligence meets Web of Knowledge (AIWK) - 19.8. Papini Odile, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier W17 - ERLARS 2014 - 7th International Workshop on Evolutionary and Reinforcement Learning for Autonomous Robot Systems - 19.8. Nils Siebel W18 - 15th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XV) - 18.-19.8. Nils Bulling, Leon van der Torre and Serena Villata W19 - 3rd International Workshop on Artificial Intelligence and Assistive Medicine (A-AIM/NETMED 2014) - 18.8. Constantine D. Spyropoulos, Aldo Dragoni and Stavros Perantonis W20 - 10th International Workshop on Knowledge Engineering and Software Engineering (KESE2014) - 19.8. Grzegorz J. Nalepa, Joachim Baumeister and Krzysztof Kaczor W21 - Workshop on Artificial Intelligence for Ambient Assisted Living (AI4ALL) - 18.8. Francisco Florez-Revuelta, Dorothy N. Monekosso, Paolo Remagnino, Feng Gu and Alexandros A. Chaaraoui More information may be found on the website http://www.ecai2014.org/workshops/ Marina De Vos and Karl Tuyls (ECAI 2014 Workshops Chairs) From kuhntobias at gmail.com Fri Feb 28 11:25:58 2014 From: kuhntobias at gmail.com (Tobias Kuhn) Date: Fri, 28 Feb 2014 11:25:58 +0100 Subject: Extended submission deadline: Workshop on Controlled Natural Language (CNL) 2014 Message-ID: <53106436.8030406@gmail.com> --------------------------------------------------------------------- Extended submission deadline: 31 March 2014 *** FOURTH WORKSHOP ON CONTROLLED NATURAL LANGUAGE (CNL 2014) *** Co-located with COLING 2014 20-22 August 2014 Galway, Ireland http://attempto.ifi.uzh.ch/site/cnl2014/ Proceedings in Springer LNCS. --------------------------------------------------------------------- This workshop on controlled natural language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces. Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop. Topics ------ Possible topics for CNL 2014 include: - CNL for knowledge representation - CNL for query interfaces - CNL for specifications - CNL for business rules - CNL for dialogue systems - CNL for machine translation - CNL for improved understandability of texts - CNL for natural language generation - design of CNLs - CNL applications - CNL evaluation - usability and acceptance of CNL - CNL grammars and lexica - multilingual CNLs - reasoning in CNL - spoken CNL - CNL in the context of the Semantic Web and Linked Open Data - CNL in the government - CNL in industry - CNL use cases - theoretical properties of CNL Important Dates --------------- Submission deadline (extended): 31 March 2014 Notification of acceptance: 12 May 2014 Deadline for revised papers: 9 June 2014 Workshop: 20-22 August 2014 Submissions and Proceedings --------------------------- We invite researchers to submit papers with novel contributions in the area of CNL. These research papers should be formatted according to the Springer LNCS format and should not exceed 10 pages. Papers should be submitted via the EasyChair conference system: http://www.easychair.org/conferences/?conf=cnl2014 Accepted papers will be included in the workshop proceedings to be published by Springer in their LNCS/LNAI series and indexed in all major citation databases including ISI Web of Science and Scopus. Venue ----- The workshop takes place in Ireland at INSIGHT at NUI Galway (formerly DERI). Organization Committee ---------------------- - Brian Davis (INSIGHT at NUI Galway, formerly DERI, Ireland) - Kaarel Kaljurand (University of Zurich, Switzerland) - Tobias Kuhn (ETH Zurich, Switzerland) Program Committee ----------------- - Krasimir Angelov (Chalmers University, Sweden) - Johan Bos (University of Groningen, Netherlands) - Paul Buitelaar (INSIGHT at NUI Galway, formerly DERI, Ireland) - Olga Caprotti (University of Helsinki, Finland) - Rogan Creswick (Galois, USA) - Danica Damljanovic (University of Sheffield, UK) - Brian Davis (INSIGHT at NUI Galway, formerly DERI, Ireland) - Ronald Denaux (iSOCO, Spain) - Vania Dimitrova (University of Leeds, UK) - Ramona Enache (Chalmers University, Sweden) - Esra Erdem (Sabanci University, Turkey) - Sébastien Ferré (University Rennes 1, France) - Norbert E. Fuchs (University of Zurich, Switzerland) - Normunds Grūzītis (University of Latvia) - Siegfried Handschuh (INSIGHT at NUI Galway, formerly DERI, Ireland) - Stefan Höfler (University of Zurich, Switzerland) - Kaarel Kaljurand (University of Zurich, Switzerland) - Peter Koepke (University of Bonn, Germany) - Tobias Kuhn (ETH Zurich, Switzerland) - Hans Leiß (University of Munich, Germany) - Reinhard Muskens (Tilburg University, Netherlands) - Adegboyega Ojo (INSIGHT at NUI Galway, formerly DERI, Ireland) - Gordon Pace (University of Malta) - Richard Power (The Open University, UK) - Laurette Pretorius (University of South Africa) - Allan Ramsay (University of Manchester, UK) - Mike Rosner (University of Malta) - Aarne Ranta (University of Gothenburg, Sweden) - Rolf Schwitter (Macquarie University, Australia) - Geoff Sutcliffe (University of Miami, USA) - Irina Temnikova (University of Wolverhampton, UK) - Allan Third (The Open University, UK) - Camilo Thorne (Free University of Bozen-Bolzano, Italy) - Silvie Spreeuwenberg (LibRT, Netherlands) - Uta Schwertel (imc, Germany) - Jeroen Van Grondelle (Be Informed, Netherlands) - Yorick Wilks (University of Sheffield, UK) - Adam Wyner (University of Aberdeen, UK) From puehrer at informatik.uni-leipzig.de Fri Feb 28 16:45:37 2014 From: puehrer at informatik.uni-leipzig.de (Joerg Puehrer) Date: Fri, 28 Feb 2014 16:45:37 +0100 Subject: ReactKnow 2014 at ECAI: First CFP Message-ID: <5310AF21.90006@informatik.uni-leipzig.de> Call for Papers ------------------------------------------------------------------------- *** ReactKnow 2014 *** International Workshop on Reactive Concepts in Knowledge Representation Collocated with the 21st European Conference on Artificial Intelligence (ECAI 2014) Prague, Czech Republic August 18-22, 2014 ------------------------------------------------------------------------- In the field of Artificial Intelligence (AI), the subdomain of Knowledge Representation (KR) has the aim to represent, integrate, and exchange knowledge in order to provide reasoning about given and potentially incomplete information. While most traditional KR formalisms are concerned with knowledge bases that do not change over time or are only subject to occasional revisions, the advent of smart devices and recent advances in Internet technology - guided by the visions of a Semantic Web and the Internet of Things - has increased the interest in online applications that are able to directly react on a possibly infinite stream of external information such as sensor or network data. While current approaches for handling continuous stream data focus on rapid data processing, they lack complex reasoning capacities. Recent endeavours try to combine KR formalisms such as answer-set programming, Semantic Web ontologies, and multi-context systems with stream processing for providing knowledge-intense stream reasoning capabilities of various application areas such as urban computing, ambient assisted living, robotics, or dynamic scheduling. The goal of making sophisticated KR techniques accessible in the reactive setting poses many scientific challenges how to deal with emerging as well as expiring data in a seamless way. The International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow) aims to provide an international forum for researchers in the AI and KR community to discuss and present advances in theories, formalisms, and applications to get closer to the vision of an artificial intelligence system which may react according to changing knowledge. We solicit the submission of papers broadly centered on issues and research related to reactive concepts in KR. We welcome papers of either theoretical or practical nature including reports on applications, experiments, and work in progress. ReactKnow 2014 IMPORTANT DATES ------------------------------------------------------------------------- * Paper submission deadline: May 25, 2014 * Notification of acceptance: June 23, 2014 * Camera-ready papers due: July 18, 2014 * Workshop date: TBA (during ECAI 2014 - August 18-22, 2014) TOPICS ------------------------------------------------------------------------- Topics of Interest include (but are not limited to): * Formalisms and Semantic Foundations: - Stream based and reactive extensions of established formalisms (SPARQL, ASP, Description Logics, Databases, ...) - Heterogenous Reactive Reasoning - Forgetting - Parallelism in Reactive Reasoning - Advances in Reasoning about Action - Hybrid Reactive Systems - Quantitative Methods for Reactive Reasoning - Formal Aspects of Handling Sensor Data - Reactive Multi-Agent Systems - Nonmonotonicity in Reactive Systems - Reactive Reasoning over Big Data - Time-based logics - Reactive Multi-Context Systems - Online Commonsense Reasoning - Reactive Cloud Computing - Complexity Aspects * Modelling and Systems: - Software Engineering and Modelling for Reactive Formalisms - Reactive Concepts in the Semantic Web - Implementations - Visualisations * Applications: - Applications in AI (Agents, Robotics, Dynamic Scheduling, ...) - Ambient Intelligence - Web 3.0 - Bioinformatics - Industrial Applications SUBMISSIONS ------------------------------------------------------------------------- Paper format: Submitted papers must be formatted according to the camera-ready style for ECAI'14 (http://ecai2014.guarant.eu/ecai2014.tar.gz) using the LaTeX-template and submitted electronically in PDF format through easychair. Authorship is not anonymous. Papers must not exceed six (6) pages excluding references and appendices. Note that reviewers are not obliged to take the appendices into account. The submission page is available at https://www.easychair.org/conferences/?conf=reactknow2014 Papers already published at other conferences and that can be of interest for the workshop audience are welcomed to ReactKnow 2014, provided that the initial publication is mentioned in a footnote on the first page. PROCEEDINGS ------------------------------------------------------------------------- There are no formal proceedings for ReactKnow 2014. The accepted papers will be published as a technical report and will be made available in the CoRR Computing Research Repository. The copyright of the papers lies with the authors, and as far as ReactKnow 2014 is concerned, they are free to submit to other conferences and workshops as well. Similarly, papers already published can be submitted (but this has to be indicated in the submission). PROGRAM COMMITTEE ------------------------------------------------------------------------- * Gerhard Brewka (Leipzig University) * Michael Fink (TU Vienna) * Robert Kowalski (Imperial College London) * Joao Leite (Universidade Nova de Lisboa) * Alessandra Mileo (DERI) * Phillip Obermeier (Potsdam University) * Axel Polleres (WU Vienna) * Sebastian Rudolph (TU Dresden) * Torsten Schaub (Potsdam University) * Tran Cao Son (NMSU) WORKSHOP ORGANISATION ------------------------------------------------------------------------- Stefan Ellmauthaler and Joerg Puehrer (Leipzig University, Germany) Email: reactknow [at] informatik [dot] uni-leipzig [dot] de HOMEPAGE ------------------------------------------------------------------------- http://reactknow2014.uni-leipzig.de