From geoff at cs.miami.edu Thu May 1 17:07:28 2014 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 1 May 2014 11:07:28 -0400 (EDT) Subject: Symbolic Computation in Software Science - Call for Papers Message-ID: <20140501150728.60C051214AC@mcclellan.cs.miami.edu> SCSS 2014 Symbolic Computation in Software Science 6th International Symposium Second Call for Papers Gammarth, La Marsa, Tunisia, December 7-11, 2014 http://www.easychair.org/smart-program/SCSS2014/ Scope -------- The purpose of SCSS 2014 is to promote research on theoretical and practical aspects of symbolic computation in software science. The symposium provides a forum for active dialog between researchers from several fields of computer algebra, algebraic geometry, algorithmic combinatorics, computational logic, and software analysis and verification. SCSS 2014 solicits both regular and tool papers on all aspects of symbolic computation and their applications in software science. The topics of the symposium include, but are not limited to the following: - automated reasoning - algorithm (program) synthesis and/or verification - formal methods for the analysis of network security - termination analysis and complexity analysis of algorithms (programs) - extraction of specifications from algorithms (programs) - theorem proving methods and techniques - proof carrying code - generation of inductive assertion for algorithm (programs) - algorithm (program) transformations - formalization and computerization of knowledge (maths, medicine, economy, etc.) - component-based programming - computational origami - query languages (in particular for XML documents) - semantic web and cloud computing Invited Speakers ---------------- Nikolaj Bjorner (Microsoft Research) TBA Program Chairs -------------- Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) Andrei Voronkov (University of Manchester, UK) Program Committee ------------------ Elvira Albert (Complutense University of Madrid, Spain) Adel Bouhoula (Higher School of Communications of Tunis, Tunisia) James H. Davenport (University of Bath, UK) Roberto Giacobazzi (University of Verona, Italy) Arie Gurfinkel (Carnegie Mellon University, USA) Nao Hirokawa (JAIST, Japan) Tetsuo Ida (University of Tsukuba, Japan) Florent Jacquemard (INRIA - IRCAM, France) Laura Kovacs (Chalmers University of Technology, Sweden) Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) - chair Ali Mili (New Jersey Institute of Technology, USA) Joel Ouaknine (Oxford University, UK) Ruzica Piskac (Yale University, USA) Andrei Voronkov (University of Manchester, UK) - chair Dongming Wang (Beihang University, China and UPMC-CNRS, France) General Chairs --------------- Adel Bouhoula (Higher School of Communications of Tunis, Tunisia) Tetsuo Ida (University of Tsukuba, Japan) Local Chair ----------- Mohamed Becha Kaaniche (University of Carthage, Tunisia) Important Dates --------------- June 23, 2014: Abstract submission deadline June 30, 2014: Paper submission deadline August 25, 2014: Notification September 22, 2014: Camera-ready copy deadline December 7-11, 2014: SCSS 2014 in Gammarth Submission ---------- Submission is via EasyChair: https://www.easychair.org/conferences/?conf=scss2014 Submissions are invited in two categories: regular research papers and tool papers. - Regular research papers must not exceed 12 pages in the EasyChair Class format, with up to 3 additional pages for technical appendices. - Tool papers must not exceed 6 pages in the EasyChair Class format. Publication ---------- The proceedings will be published in the EasyChair Proceedings in Computing. We plan also to have a special issue of the Journal of Symbolic Computation on SCSS 2014. The full version of selected papers will be considered for the publication of the special issue subjected to the normal peer review process of the journal. From owre at csl.sri.com Fri May 2 02:42:30 2014 From: owre at csl.sri.com (Sam Owre) Date: Thu, 01 May 2014 17:42:30 -0700 Subject: VeriSure 2014 Call for Papers Message-ID: <25377.1398991350@ubi> ------- Blind-Carbon-Copy Subject: VeriSure 2014 Call for Papers X-Mailer: MH-E 8.5; nmh 1.3; GNU Emacs 23.3.1 Date: Thu, 01 May 2014 17:42:30 -0700 Message-ID: <25377.1398991350 at ubi> From: Sam Owre Bcc: Blind Distribution List: ; VeriSure 2014: CAV Workshop on Verification and Assurance 23 July 2014 in Vienna, Austria http://fm.csl.sri.com/VeriSure2014/ Call for Papers/Proposals/Participation VeriSure is a workshop whose goal is a productive dialog between those who develop and use computer-aided verification tools and methods, and those with responsibility for system assurance, acceptance, and certification. We solicit position papers, experience reports, and research papers on relevant topics, which include but are not restricted to the following. * Quantitative and qualitative assurance claims and arguments * Verification and proof in relation to argumentation and defeasibility * Integration of formal verification with assurance cases * Modular and incremental methods of verification and assurance * Toolchains for integrated assurance arguments * Soundness guarantees for tools, toolchains, and workflows * Certification and regulatory requirements and standards * Experience reports and challenges We are looking for interesting experience, work, and ideas (possibly preliminary and exploratory) that will stimulate discussion and thought. The workshop will be held as part of the Vienna Summer of Logic http://vsl2014.at/, under the auspices of CAV, the 26th International Conference on Computer Aided Verification http://cavconference.org/ This will be the second VeriSure workshop; the first was held in conjunction with CAV 2013 in St Petersburg, Russia. You can see the program at http://fm.csl.sri.com/VeriSure2013/ Organizer * John Rushby, SRI International, USA Workshop Committee * Paul Curzon, Queen Mary University of London, UK * Ewan Denney, NASA Ames Research Center, USA * Felicita Di Giandomenico, ISTI-CNR, Italy * Leo Freitas, Newcastle University, UK * Connie Heitmeyer, Naval Research Laboratory, USA * Hardi Hungar, DLR Germany * Tim Kelly, University of York, UK * Yoshiki Kinoshita, Kanagawa University, Japan * Florent Kirchner, CEA, France * Michael Paulitsch, Airbus, Germany * Simin Nadjm-Tehrani, Linkopings Universitet, Sweden * Mark Staples, NICTA and UNSW, Australia * Wilfried Steiner, TTTech, Austria * Willem Visser, Stellenbosch University, South Africa * Naijun Zhan, Institute of Software, Chinese Academy of Science, China Important Dates * Position papers due 26 May 2014 * Reviews/decisions 6 June 2014 * Final versions due early July 2014 * VeriSure Workshop 23 July 2014 For more detail and submission instructions, go to http://fm.csl.sri.com/VeriSure2014/ ------- End of Blind-Carbon-Copy From bulkmail at lmcs-online.org Fri May 2 10:19:31 2014 From: bulkmail at lmcs-online.org (LMCS) Date: Fri, 2 May 2014 10:19:31 +0200 Subject: Logical Methods in CS: ten years Message-ID: <201405020819.ehpmgHeEdOqF@www.lmcs-online.org> Dear All, This year our journal Logical Methods in Computer Science http://www.lmcs-online.org/index.php celebrates its tenth anniversary, and we would like to use this opportunity to remind everyone of this successful community effort. We also have some news about the future of the journal. The first papers were submitted to LMCS in 2004, with 16 papers being published the following year. Since then, submission numbers have steadily increased, and last year the number of published papers was 75! We are also proud that many high quality conferences such as LICS, FOSSACS, RTA, CSL, and others regularly publish their special issues in our journal. This success has only been possible thanks to the support of the community: from you; from the authors; from the reviewers; from the editors; and from our sponsors. But today our special thanks go to Dana Scott who has been our editor-in-chief for the last ten years, and whose ideas and contributions have been essential to us throughout. Turning from the past to the future, Jiri Adamek will retire in 2016, and with his departure we will lose our current publishing arrangements. So we have begun to put in place a structure which will ensure a well-established and secure future for the journal. To this end we have formed an Executive Board. The current members of the Board are Luca Aceto, Rajeev Alur, Lars Birkedal, Prakash Panangaden, Wolfgang Thomas, and ourselves. The Board has appointed a new editor-in-chief, Lars Birkedal, who has taken over from Dana. Lars will oversee the transition to the new arrangements and take over Jiri's editorial duties when he retires. We are enormously grateful to Lars for taking on this role. Lars and the Executive Board will work to ensure the future success of our journal and to provide the community with a high quality open-access publication venue. With best wishes, Jiri Adamek, Stefan Milius, Benjamin Pierce, Gordon Plotkin, and Moshe Vardi Managing Editors From cfp2014a at micai.org Fri May 2 10:30:36 2014 From: cfp2014a at micai.org (MICAI 2014) Date: Fri, 2 May 2014 03:30:36 -0500 Subject: CFP: MICAI 2014 - Artificial Intelligence - Springer LNAI + IEEE + journals - Mexico Message-ID: <000001cf65e0$cef92d70$6ceb8850$@micai.org> MICAI-2013 13th Mexican International Conference on ARTIFICIAL INTELLIGENCE November 16 to 22, 2014 Publication: Springer LNAI (EI, ISI), IEEE CPS, journals www.micai.org/2014 Submission: July 15 draft abstract / Aug 6 full text == GENERAL INFORMATION Topics: all areas of Artificial Intelligence, research or applications. Workshops. Tutorials. Doctoral Consortium. Best papers awards. == KEYNOTES - Oscar Castillo (Tijuana IT): logic; - Bing Liu (U. of Illinois): opinion mining; - John Sowa (VivoMind Research; IBM): knowledge representation; - 3 more first-class experts, to be announced. == PROCEEDINGS Springer LNAI (IE, ISI); IEEE CPS, special issues of journals (including ISI JCR). Workshops: see the respective calls for papers. == VENUE AND TOURS Venue: Tuxtla Gutiérrez, Chiapas, Mexico. Cultural program and tours: Sumidero canyon; El Chiflón waterfalls; Tenam Puente ancient pyramids; San Cristobal de las Casas colonial city (anticipated). == DEADLINE July 15: draft abstract -- just a general idea of what your paper will be about (why not submitting it now? you can change it later); Aug 6: full text for blind review. Contact us for late submissions. == CALL FOR WORKSHOPS and TUTORIALS Submit your workshop or tutorial proposal, see the calls on the webpage. PLEASE CIRCULATE this CFP among your colleagues and students. We apologize if you receive multiple copies. Please reply to this message if you were contacted by error. From jleite at fct.unl.pt Fri May 2 15:52:40 2014 From: jleite at fct.unl.pt (Joao Leite) Date: Fri, 2 May 2014 14:52:40 +0100 Subject: JELIA 2014 Latest News - Invited Speakers Message-ID: ============================================================= 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) ============================================================= Invited Speakers: * Diego Calvanese (Free University of Bozen-Bolzano, Italy) "Query Answering over Description Logic Ontologies" * Agata Ciabattoni (Vienna University of Technology, Austria) "Tools for the investigation of substructural and paraconsistent logics" * Hector Geffner (Universitat Pompeu Fabra in Barcelona, Spain) "How to solve a non-classical planning problem with a classical planner: the power of transformations" * Anthony Hunter (University College London, United Kingdom) "Towards Argument-based Persuasion Technologies" Abstracts available at http://www3.uma.pt/jelia2014/invited.html ============================================================= ================ 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 icsai2014cfp at sdju.edu.cn Fri May 2 21:19:30 2014 From: icsai2014cfp at sdju.edu.cn (Prof Song) Date: Sat, 3 May 2014 03:19:30 +0800 Subject: ICSAI 2014, Shanghai: Submission Deadline 30 May [EI Compendex/IEEE Xplore] Message-ID: <599058002.02976@eyou.net> Dear Colleague, The 2014 International Conference on Systems and Informatics (ICSAI 2014) will be held from 15-17 November 2014 in Shanghai, China. ICSAI 2014 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science. Keynote speakers include Ljiljana Trajkovic, President of the IEEE Systems, Man, and Cybernetics Society; Witold Pedrycz, Editor-in-Chief of 3 SCI-indexed journals (including IEEE Transactions on Systems, Man, and Cybernetics: Systems); and Marimuthu Palaniswami, a renowned researcher. Topics include (but are not limited to): Systems · Control and Automation Systems · Power and Energy Systems · Intelligent Systems · Computer Systems and Applications Informatics · Communications and Networking · Image, Video, and Signal Processing · Data Engineering and Data Mining · Software Engineering The registration fee of US$410 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. All papers in conference proceedings will be submitted to both IEEE Xplore and EI Compendex for indexing. Substantially extended versions of best papers will be considered for publication in a special issue of a SCI-indexed journal. Shanghai is the largest city in China, with famous historical and cultural heritage. Attractions include Yuyuan Garden ("Happy Garden" built in Ming Dynasty), Shanghai Museum with 120,000 pieces of rare relics, Shanghai World Financial Center, Jade Buddha Temple (Song Dynasty), Oriental Pearl TV Tower, Zhujiajiao Water Town, and Expo 2010 site. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. All papers in the invited sessions can be marked as "Invited Paper". The organizer(s) for each invited session with at least 6 registered papers will jointly enjoy an honorarium of US*D 400. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a list of recommended papers is determined by 10 October 2014. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to icsai2014 at sdju.edu.cn For more information, visit the conference web page: http://ICSAI2014.sdju.edu.cn If you have any questions after visiting the conference web page, please email the secretariat at icsai2014 at sdju.edu.cn Join us at this major event in exciting Shanghai !!! Organizing Committee icsai2014 at sdju.edu.cn P.S.: Kindly forward to your colleagues or students who may be interested. If you wish to unsubscribe, in which case we apologize, please reply with "unsubscribe event at tu-clausthal.de " in your email subject. Thanks. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Stephen.Matthews at bristol.ac.uk Fri May 2 21:18:20 2014 From: Stephen.Matthews at bristol.ac.uk (Stephen G Matthews) Date: Fri, 2 May 2014 20:18:20 +0100 Subject: IEEE SSCI 2014 Doctoral Consortium (deadline June 15, 2014) - Call for Applications Message-ID: IEEE SSCI 2014 Doctoral Consortium - Call for Applications The IEEE Symposium Series on Computational Intelligence (SSCI) 2014 will be running a Doctoral Consortium alongside the symposium. The objective of this Doctoral Consortium is to provide an opportunity for Ph.D. students to discuss their dissertation research topics, research plans, and research methodologies in a supportive environment with peers in the community. The feedback, advice, and guidance will be invaluable to Ph.D. students in supporting their current and future research in computational intelligence and their future careers. There are dedicated financial support for selected Ph.D. students to attend this Doctoral Consortium as well as student travel grants for SSCI. Applications In order to submit to the Doctoral Consortium, students are required to submit the following items through the same portal as papers for SSCI. 1. Cover sheet that includes: - Full name - Affiliation and email address - Expected graduation date - Thesis advisor’s full name, title, affiliation and email address - Title of research - List of up to 5 keywords to help select reviewers for the application 2. A 2-page summary of Ph.D. research that includes: - Title of research - Name, affiliation, and email address - Research question and significance - Important literature - Proposed research methodology - Preliminary results - Future research plan - Reference list (maximum one page, not included in 2-page limit) 3. CV 4. Letter of support from Ph.D. supervisor or other faculty member 5. Confirmation letter of Ph.D. student status Key dates are the same as for the SSCI Submission June 15, 2014 Notification September 5, 2014 Final Submission October 5, 2014 Full details of the Doctoral Consortium are available from http://ieee-ssci.org/consortium.html Co-Chairs Demetrios G. Eliades, University of Cyprus, Cyprus Stephen G. Matthews, University of Bristol, UK Xiaorong Zhang, San Francisco State University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From shilov at iis.nsk.su Sat May 3 07:18:31 2014 From: shilov at iis.nsk.su (Nikolay Shilov) Date: Sat, 3 May 2014 12:18:31 +0700 Subject: CFP: Workshop on Fun With Formal Methods. Message-ID: <0eaf01cf668f$202e3790$608aa6b0$@nsk.su> 2nd workshop on Fun With Formal Methods (FWFM-2014, http://www.easychair.org/smart-program/VSL2014/FWFM-cfp.html) Vienna, Austria, July 13, 2014 (as a part of Vienna Summer of Logic VSL-2014, http://vsl2014.at/ in affiliation with (CAV-2014, http://vsl2014.at/meetings/CAV-index.html) * Aims and Scope Almost half of a century has passed since Robert W. Floyd published the first research that explicitly discussed formally how to assign meaning to programs. But recently David L. Parnas have called Really Rethinking "Formal Methods", to question the assumptions underlying the well-known current formal software development methods to see why they have not been widely adopted and what should be changed. So, things are right where they started decades ago? Not at all, since industrial applications of Formal Methods are not the unique measure of success. Another dimension where we can discuss utility of Formal Methods could be better education. A very popular (in Russia) aphorism of Mikhail Lomonosov (the first Russian academician) says: "Mathematics should be learned just because it disciplines and bring up the mind". We do believe that Formal Methods discipline and bring up minds in Computer Science. We would not like to say that educators should not care about industrial applications of Formal Methods (quite opposite, we must care!). At the same time Formal Methods education helps to bridge a "cultural gap" (E.W.Dijkstra) between Mathematics and Computer Science. The problem is how to overcome a stable allergy to Formal Methods: many people think Formal Methods are too pure in theory but too poor in practice. We do believe that the basic reason behind this allergy is the absence of primary, elementary level. It is not wise to start teaching arithmetic from Peano axiomatic, but it is a common sense to start from elementary problems about numbers of apples, pencils, etc. * The workshop is designed for - enjoying the art and beauty of Formal Methods, - discussing experience how to make Formal Methods easy, - presenting application of Formal Methods to puzzles, to games, etc., - non-standard problem solving outside programming and Computer Science, - everything else about Fun and Joy of Formal Methods. * Invited speakers - Nikolay Nepejvoda (Program Systems Institute, Russia), the title TBA - TBA * Prvious workshop FWFM-2013 One day workshop Fun With Formal Method was held Saturday, July 13, 2013, in Saint Petersburg, Russia (FWFM-2013) in affiliation with the 25th International Conference on Computer Aided Verification (CAV-2013). Please refer for further datails to the page of FWFM-2013 at http://www.iis.nsk.su/fwfm2013. Selected papers of this workshop have been accepted for publication in the electronic journal Informatica Didactica ( http://www.informatica-didactica.de/cmsmadesimple/index.php?page=home) devoted to post-proceedings of FWFM-2013. * Paper Submissions Extended abstracts and papers on topics related to FWFM are solicited. There is no any strict limit for page number or style, but it is recommended to be in range 2-4 pages for extended abstracts and 4-16 pages for papers. (Single column, single interval, font not less than 12 for review convenience.) All submitted paper will be reviewed by 2 members of Program Committee (or their sub- reviewers) and selection of accepted papers will based on relevance, quality and (partly) originality of the submitted papers. Papers already published somewhere are also welcome but must make it explicit their publication status (for including to proceedings). Please submit your extended abstracts and papers via Easychair page https:/ www.easychair.org/conferences/?conf=fwfm2014. We plan to publish informal proceedings before the workshop and disseminate them among participants at the workshop on USB-sticks. Selected papers of this workshop will be published in the electronic journal Informatica Didactica ( http://www.informatica- didactica.de/cmsmadesimple/index.php?page=home) devoted to post-proceedings of FWFM- 2014. * Important Dates - Sunday, May 18, 2014: extended abstract or paper submission; - Sunday, May 25, 2014: acceptance notification; - Sunday, June 01, 2014: updated abstracts and papers for pre-proceedings; - Sunday, July 13, 2014: FWFM workshop in Vienna. * Registration Dates and Details Please refer to the main registration page of VSL at http://vsl2014.at/registration/ for further details, fees and methods of payment. * For further questions please contact Nikolay Shilov ( nikolay.shilov at nu.edu.kz) Associate Professor School of Science and Technology Nazarbayev University, Astana, Kazakhstan (while on leave from A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia) -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sat May 3 12:36:51 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 3 May 2014 12:36:51 +0200 Subject: SLSP 2014: extended submission deadline 14 May Message-ID: <7B26F830371248ECA8788838DF0219E0@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: May 14 ***** ---------------------------------------------------------------------------- **************************************************************************** ****** 2nd INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2014 Grenoble, France October 14-16, 2014 Organised by: Équipe GETALP Laboratoire d’Informatique de Grenoble Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/slsp2014/ **************************************************************************** ****** AIMS: SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2014, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. VENUE: SLSP 2014 will take place in Grenoble, at the foot of the French Alps. SCOPE: The conference invites submissions discussing the employment of statistical methods (including machine learning) within language and speech processing. The list below is indicative and not exhaustive: phonology, phonetics, prosody, morphology syntax, semantics discourse, dialogue, pragmatics statistical models for natural language processing supervised, unsupervised and semi-supervised machine learning methods applied to natural language, including speech statistical methods, including biologically-inspired methods similarity alignment language resources part-of-speech tagging parsing semantic role labelling natural language generation anaphora and coreference resolution speech recognition speaker identification/verification speech transcription speech synthesis machine translation translation technology text summarisation information retrieval text categorisation information extraction term extraction spelling correction text and web mining opinion mining and sentiment analysis spoken dialogue systems author identification, plagiarism and spam filtering STRUCTURE: SLSP 2014 will consist of: invited talks peer-reviewed contributions INVITED SPEAKERS: Claire Gardent (LORIA, Nancy, FR), Grammar Based Sentence Generation and Statistical Error Mining Roger K. Moore (Sheffield, UK), Spoken Language Processing: Time to Look Outside? Martti Vainio (Helsinki, FI), Phonetics and Machine Learning: Hierarchical Modelling of Prosody in Statistical Speech Synthesis PROGRAMME COMMITTEE: Sophia Ananiadou (Manchester, UK) Srinivas Bangalore (Florham Park, US) Patrick Blackburn (Roskilde, DK) Hervé Bourlard (Martigny, CH) Bill Byrne (Cambridge, UK) Nick Campbell (Dublin, IE) David Chiang (Marina del Rey, US) Kenneth W. Church (Yorktown Heights, US) Walter Daelemans (Antwerpen, BE) Thierry Dutoit (Mons, BE) Alexander Gelbukh (Mexico City, MX) James Glass (Cambridge, US) Ralph Grishman (New York, US) Sanda Harabagiu (Dallas, US) Xiaodong He (Redmond, US) Hynek Hermansky (Baltimore, US) Hitoshi Isahara (Toyohashi, JP) Lori Lamel (Orsay, FR) Gary Geunbae Lee (Pohang, KR) Haizhou Li (Singapore, SG) Daniel Marcu (Los Angeles, US) Carlos Martín-Vide (Tarragona, ES, chair) Manuel Montes-y-Gómez (Puebla, MX) Satoshi Nakamura (Nara, JP) Shrikanth S. Narayanan (Los Angeles, US) Vincent Ng (Dallas, US) Joakim Nivre (Uppsala, SE) Elmar Nöth (Erlangen, DE) Maurizio Omologo (Trento, IT) Mari Ostendorf (Seattle, US) Barbara H. Partee (Amherst, US) Gerald Penn (Toronto, CA) Massimo Poesio (Colchester, UK) James Pustejovsky (Waltham, US) Gaël Richard (Paris, FR) German Rigau (San Sebastián, ES) Paolo Rosso (Valencia, ES) Yoshinori Sagisaka (Tokyo, JP) Björn W. Schuller (London, UK) Satoshi Sekine (New York, US) Richard Sproat (New York, US) Mark Steedman (Edinburgh, UK) Jian Su (Singapore, SG) Marc Swerts (Tilburg, NL) Jun'ichi Tsujii (Beijing, CN) Gertjan van Noord (Groningen, NL) Renata Vieira (Porto Alegre, BR) Dekai Wu (Hong Kong, HK) Feiyu Xu (Berlin, DE) Roman Yangarber (Helsinki, FI) Geoffrey Zweig (Redmond, US) ORGANISING COMMITTEE: Laurent Besacier (Grenoble, co-chair) Adrian Horia Dediu (Tarragona) Benjamin Lecouteux (Grenoble) Carlos Martín-Vide (Tarragona, co-chair) 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, references, etc.) and should be prepared according to the standard format for Springer Verlag's LNAI/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=slsp2014 PUBLICATIONS: A volume of proceedings published by Springer in the LNAI/LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from January 16, 2014 to October 14, 2014. The registration form can be found at: http://grammars.grlmc.com/slsp2014/Registration.php DEADLINES: Paper submission: May 14, 2014 (23:59h, CET) – EXTENDED – Notification of paper acceptance or rejection: June 18, 2014 Final version of the paper for the LNAI/LNCS proceedings: June 25, 2014 Early registration: July 2, 2014 Late registration: September 30, 2014 Submission to the post-conference journal special issue: January 16, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SLSP 2014 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Laboratoire d’Informatique de Grenoble Universitat Rovira i Virgili From announce at cs.ucy.ac.cy Sat May 3 12:58:50 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 3 May 2014 13:58:50 +0300 Subject: ICTAI 2014: Third Call for Papers Message-ID: <0W68XOHE-48LR-S2G-IIWD-HGS3M678D55@cs.ucy.ac.cy> *** THIRD CALL FOR PAPERS *** 26th IEEE International Conference on Tools with Artificial Intelligence ICTAI 2014 November 10-12, 2014, Limassol, Cyprus http://ictai2014.cs.ucy.ac.cy Aim & Scope The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components of computer tools such as algorithms, architectures and languages. Topics (not limited to) AI Foundations - Evolutionary computing, Bayesian and Neural Networks - Decision/Utility Theory and Decision Optimization - Search, SAT, and CSP - Description Logic and Ontologies AI in Domain Specific Applications - AI in Natural Language Processing and Understanding - AI in Computational Biology, Medicine and Biomedical Applications - AI in WWW, Communication, Social Networking, Recommender Systems, Games and E-Commerce - AI in Finance and Risk Management AI in Computer Systems - AI in Robotics, Computer Vision and Games - AI in Software Engineering, Real-Time and Embedded Applications, and Sensor Networks - AI in Cloud Computing, Data-Intensive Applications and Online/Streaming and Multimedia Systems - AI in Web search and Information Retrieval - AI in Computer Security, Data Privacy, and Information Assurance AI in Data Analytics and Big Data - Visualization Analytics for Big Data - Computational Modeling for Big Data - Large-scale Recommendation and Social Media Systems - Cloud/Grid/Stream Data Mining for Big Velocity Data - Semantic-based Big Data Mining Machine Learning and Data Mining - Data pre-processing, reduction and feature selection - Learning Graphical Models and Complex Networks - Active, Cost-Sensitive, Semi-Supervised, Multi-Instance, Multi-Label and Multi-Task Learning - Transfer/Adaptive, Rational and Structured Learning - Preference/Ranking, Ensemble, and Reinforcement Learning Knowledge Representation, Reasoning and Cognitive Modelling - Knowledge Representation, Reasoning - Knowledge Extraction, Management and Sharing - Case-Based Reasoning and Knowledge-based Systems - Cognitive Modelling and Semantic Web AI and Decision Systems - Decision Guidance and Support Systems - Optimization-based recommender systems - Group, distributed, and collaborative decisions - Crowd-sourcing and collective intelligence decision making - Strategic, tactical and operational level decisions - Decision making in social and mobile networks Uncertainty in AI - Uncertainty and Fuzziness Representation and Reasoning - Approximate/Exact Probabilistic Inference - Knowledge Discovery and Data Mining for Uncertain Data AI Tools for Manufacturing Innovation - AI in manufacturing performance evaluation - AI in manufacturing decision and data analysis - AI in modeling, simulation and optimization of manufacturing systems - AI in additive manufacturing - AI in manufacturing control and planning Paper Submission The submissions should contain original, high quality, not submitted or published elsewhere work. Papers should be submitted electronically through the EasyChair system in pdf format and should conform to IEEE specifications (single-spaced, double-column, 10-point font size, up to 8 pages). Paper Presentation Each accepted paper should be presented by one of the authors and accompanied by at least one full registration fee payment, to guarantee publication in the proceedings. All accepted papers will be included in proceedings of ICTAI 2014 that will be published by the IEEE Computer Society. IJAIT special issue Extended versions of the best papers of the conference will be invited for publication in a special issue of the International Journal on Artificial Intelligence Tools (IJAIT) (SCI Indexed). Important Dates Paper submission: June 30, 2014 Paper notification: July 30, 2014 Camera-ready paper: August 30, 2014 Point of Contact George A. Papadopoulos Department of Computer Science University of Cyprus george-at-cs-dot-ucy-dot-ac-dot-cy -------------------------------------------------------------------- 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 emilia.oikarinen at aalto.fi Sun May 4 11:13:32 2014 From: emilia.oikarinen at aalto.fi (Oikarinen Emilia) Date: Sun, 4 May 2014 09:13:32 +0000 Subject: Final call for submissions LaSh 2014 In-Reply-To: <274585DE7BDBEB47A4AF18BAEEC7F114EC1021A3@EXMDB07.org.aalto.fi> References: <274585DE7BDBEB47A4AF18BAEEC7F114EC10218C@EXMDB07.org.aalto.fi>,<274585DE7BDBEB47A4AF18BAEEC7F114EC1021A3@EXMDB07.org.aalto.fi> Message-ID: <274585DE7BDBEB47A4AF18BAEEC7F114EC1021B9@EXMDB07.org.aalto.fi> [apologies for any cross-posting] ================================================================ WORKSHOP ON LOGIC AND SEARCH - LaSh 2014 Representing and Solving Computational Search Problems Final Call For Submissions With Revised Submission Deadline (May 15), Final PC, Confirmed Speakers Vienna, Austria, July 18, 2014 http://vsl2014.at/lash/ A FLoC 2014 Workshop, Associated with SAT and ICLP OVERVIEW The purpose of the LaSh workshops is to foster scientific exchange on subjects related to languages for representing, and methods for solving, computationally challenging search problems. The scope includes study of relevant logics, algorithms, and logic-based systems, and also study of other languages and systems from the viewpoint of logic, broadly construed. Hard combinatorial search and optimization problems abound in science, engineering, and other areas. Examples include planning, scheduling and configuration problems. Several communities have developed general purpose solving technologies for such problems, supported by declarative modelling or specification languages. These include answer set programming (ASP) from knowledge representation (KR), constraint solvers and modelling languages from constraint programming (CP), and integer linear programming (ILP) solvers and algebraic modelling languages from mathematical programming. Other relevant areas include propositional satisfiability (SAT), satisfiability modulo theories (SMT), and representation languages based on classical logic and FO(ID). Differences in emphasis notwithstanding, these share the same purpose. Indeed, there are many similarities in solving technologies, and increasing exchange between the areas both in solving and representational issues. From liyuanfang at gmail.com Sun May 4 12:22:59 2014 From: liyuanfang at gmail.com (Yuan-Fang Li) Date: Sun, 4 May 2014 20:22:59 +1000 Subject: Deadline extension: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014) Message-ID: *** Apologies for cross-posting *** *Due to numerous requests, the deadline of PRDC 2014 has been extended to May 16th 2014.* *Call for Papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)* *Singapore Nov 18-21, 2014 * PRDC 2014 (http://prdc.dependability.org/PRDC2014/index.html) is the twentieth in this series of symposia started in 1989 that are devoted to dependable and fault-tolerant computing. PRDC is recognized as the main event in the Pacific area that covers the many dimensions of dependability and fault tolerance, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. As applications of computing systems have permeated into all aspects of daily life, the dependability of computing systems has become increasingly critical. This symposium provides a forum for countries around the Pacific Rim and other areas of the world to exchange ideas for improving the dependability of computing systems. Topics of interest include (but not limited to): - Software and hardware reliability, testing, verification, and validation - Dependability measurement, modeling, evaluation, and tools - Self-healing, self-protecting, and fault-tolerant systems - Software aging and rejuvenation - Safety-critical systems and software - Architecture and system design for dependability - Fault-tolerant algorithms and protocols - Reliability in cloud computing, Internet, and web systems and applications - Cloud and Internet Information security - Dependability issues in computer networks and communications - Dependability issues in distributed and parallel systems - Dependability issues in real-time systems, database, and transaction processing systems - Dependability issues in autonomic computing - Dependability issues in aerospace and embedded systems Paper Submissions Manuscripts should be submitted in the following categories: Regular Papers and Practical Experience Reports. Regular Papers should describe original research (not submitted or published elsewhere) and be not more than 10 pages using IEEE format guidelines or 20 pages double-spaced. Practical Experience Reports (max 6 pages using IEEE format guidelines or 12 pages double-spaced) should describe an experience or a case study, such as the design and deployment of a system or actual failure and recovery field data. The title page should include a 150-word abstract, five keywords, authors' names and affiliations, and a line specifying whether the submission is a Regular Paper or a Practical Experience Report. The full mailing address, phone, fax, and email address of the corresponding author should be specified. All submissions must be made electronically (in PDF format) on the submission web site . Papers will be reviewed internationally and selected based on their originality, significance, relevance, and clarity of presentation. All accepted papers will be published by IEEE Computer Society Press. One outstanding paper will be selected to receive the Best Paper Award. Important Dates Revised submission deadline: May 16, 2014 Revised notification: June 28, 2014 Best regards Yuan-Fang -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From feeds at sentic.net Mon May 5 04:27:42 2014 From: feeds at sentic.net (feeds) Date: Sun, 4 May 2014 21:27:42 -0500 (EST) Subject: [SenticNet] CFP: UAI MABSDA Workshop on opinion mining Message-ID: <1932222910.1160361.1399256862069.open-xchange@bosoxweb05.eigbox.net> Apologies for cross-posting, Submissions are invited for the 2nd international workshop on Multidisciplinary Approaches to Big Social Data Analysis (MABSDA), a UAI'14 workshop exploring the new frontiers of big data computing for opinion mining through machine learning techniques, knowledge-based systems, adaptive and transfer learning, in order to more efficiently retrieve and extract social information from the Web. The workshop is going to be held in Quebec City on 27th July. For more information, please visit: http://sentic.net/mabsda RATIONALE As the Web rapidly evolves, Web users are evolving with it. In the era of social connectedness, people are becoming increasingly enthusiastic about interacting, sharing, and collaborating through social networks, online communities, blogs, Wikis, and other online collaborative media. In recent years, this collective intelligence has spread to many different areas, with particular focus on fields related to everyday life such as commerce, tourism, education, and health, causing the size of the Social Web to expand exponentially. The distillation of knowledge from such a large amount of unstructured information, however, is an extremely difficult task, as the contents of today's Web are perfectly suitable for human consumption, but remain hardly accessible to machines. The opportunity to capture the opinions of the general public about social events, political movements, company strategies, marketing campaigns, and product preferences has raised growing interest both within the scientific community, leading to many exciting open challenges, as well as in the business world, due to the remarkable benefits to be had from marketing and financial market prediction. TOPICS MABSDA aims to provide an international forum for researchers in the field of big data computing for opinion mining and sentiment analysis to share information on their latest investigations in social information retrieval and their applications both in academic research areas and industrial sectors. The broader context of the workshop comprehends information retrieval, natural language processing, web mining, semantic web, and artificial intelligence. Topics of interest include but are not limited to: • Machine learning for sentiment mining • Concept-level sentiment analysis • Biologically-inspired opinion mining • Sentiment identification & classification • Association rule learning for opinion mining • Time evolving opinion & sentiment analysis • Multi-modal sentiment analysis • Multi-domain & cross-domain evaluation • Knowledge base construction & integration with opinion analysis • Transfer learning of opinion & sentiment with knowledge bases • Sentiment topic detection & trend discovery • Social ranking • Social network analysis • Opinion spam detection SUBMISSIONS AND PROCEEDINGS Paper submission and reviewing will be handled electronically via EasyChair. Submissions should be formatted in the UAI format and papers (including figures and text) are limited to 9 pages in length. An additional 10th page is allowed containing only references. Optional submissions of supplementary materials are allowed. However, reviewers are under no obligation to look at the submitted supplementary materials, and will base their review primarily on the main paper. Papers that are currently under review or have already been accepted or published in a refereed venue, including conferences and journals, may not be submitted. Authors are strongly encouraged to make data and code publicly available when possible. The review process is double blind. Please make sure that the submission does not disclose the author's identities or affiliation. Selected, expanded versions of papers presented at the workshop will be invited to a forthcoming Special Issue of Cognitive Computation on opinion mining and sentiment analysis. TIMEFRAME • May 31st, 2014: Submission deadline • June 20th, 2014: Notification of acceptance • July 1st, 2014: Final manuscripts due • July 27th, 2014: Workshop date ORGANIZERS • Erik Cambria, Nanyang Technological University (Singapore) • Yunqing Xia, Tsinghua University (China) • Newton Howard, MIT Media Laboratory (USA) From tony.savarimuthu at otago.ac.nz Mon May 5 04:33:19 2014 From: tony.savarimuthu at otago.ac.nz (Tony Savarimuthu) Date: Mon, 5 May 2014 02:33:19 +0000 Subject: SASO 2014 - Deadline extended (Full papers due 16th May) Message-ID: Dear All, The deadline for paper submission for SASO 2014 has been extended to 16th May. The abstracts are due on 9th May. The full CFP is given below. ************************************************************************************************************ CALL FOR PAPERS The Eight IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2014) Imperial College, London (UK); 8-12 September 2014 http://www.iis.ee.imperial.ac.uk/saso2014/ ************************************************************************************************************ Part of FAS* - Foundation and Applications of Self* Computing Conferences Collocated with: The International Conference on Cloud and Autonomic Computing (CAC 2014) The 14th IEEE Peer-to-Peer Computing Conference ------------------- Aims and Scope ------------------- The aim of the Self-Adaptive and Self-Organizing systems conference series (SASO) is to provide a forum for the foundations of a principled approach to engineering systems, networks and services based on self-adaptation and self-organization. The complexity of current and emerging networks, software and services, especially in dealing with dynamics in the environment and problem domain, has led the software engineering, distributed systems and management communities to look for inspiration in diverse fields (e.g., complex systems, control theory, artificial intelligence, sociology, and biology) to find new ways of designing and managing such computing systems. In this endeavor, self-organization and self-adaptation have emerged as two promising interrelated approaches. The eight edition of the SASO conference embraces the inter-disciplinarity and the scientific, empirical and application dimensions of self-* systems and welcomes novel results on both self-adaptive and self-organizing systems research. The topics of interest include, but are not limited to: - Self-* systems theory: theoretical frameworks and models; biologically- and socially-inspired paradigms; inter-operation of self-* mechanisms; - Self-* systems engineering: reusable mechanisms, design patterns, architectures, methodologies; software and middleware development frameworks and methods, platforms and toolkits; hardware; self-* materials; - Self-* system properties: robustness, resilience and stability; emergence; computational awareness and self-awareness; reflection; - Self-* cyber-physical and socio-technical systems: human factors and visualization; self-* social computers; crowdsourcing and collective awareness; - Applications and experiences of self-* systems: cyber security, transportation, computational sustainability, big data and creative commons, power systems. Contributions must present novel theoretical or experimental results; novel design patterns, mechanisms, system architectures, frameworks or tools; or practical approaches and experiences in building or deploying real-world systems and applications. Contributions contrasting different approaches for engineering a given family of systems, or demonstrating the applicability of a certain approach for different systems, are equally encouraged. Where relevant and appropriate, accepted papers will also be encouraged to submit accompanying papers for the Demo or Poster Sessions. -------------------- Important Dates -------------------- Abstract submission: May 9, 2014 Paper submission: May 16, 2014 Notification: June 21, 2014 Camera ready copy due: July 18, 2014 Early registration: August 22, 2014 Conference: September 8 - 12, 2014 ---------------------------- Submission Instructions ---------------------------- All submissions should be 10 pages and formatted according to the IEEE Computer Society Press proceedings style guide and submitted electronically in PDF format. Please register as authors and submit your papers using the SASO 2014 conference management system, which is located at: https://www.easychair.org/conferences/?conf=saso2014 The proceedings will be published by IEEE Computer Society Press, and made available as a part of the IEEE digital library. Note that a separate call for poster submissions has also been issued. -------------------- Review Criteria -------------------- Papers should present novel ideas in the cross-disciplinary research context described in this call, clearly motivated by problems from current practice or applied research. We expect both theoretical and empirical contributions to be clearly stated, substantiated by formal analysis, simulation, experimental evaluations, comparative studies, and so on. Appropriate reference must be made to related work. Because SASO is a cross-disciplinary conference, papers must be intelligible and relevant to researchers who are not members of the same specialized sub-field. Authors are also encouraged to submit papers describing applications. Application papers are expected to provide an indication of the real world relevance of the problem that is solved, including a description of the deployment domain, and some form of evaluation of performance, usability, or comparison to alternative approaches. Experience papers are also welcome but they must clearly state the insight into any aspect of design, implementation or management of self-* systems which is of benefit to practitioners and the SASO community ------------------- Program Chairs ------------------- Ada Diaconescu Telecom ParisTech, France Nagarajan Kandasamy Drexel University, USA Mirko Viroli University of Bologna, Italy --------------------- Contact Details --------------------- Please send any inquiries to: mailto:saso2014 at easychair.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Mon May 5 08:29:51 2014 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon, 5 May 2014 08:29:51 +0200 (CEST) Subject: CICM 2014: Invited Speakers & Call for Work-in-Progress Papers, 1 June 2014 Message-ID: <20140505062951.B26D9201F911@mbp-autexier.informatik.uni-bremen.de> CICM 2014 - Conferences on Intelligent Computer Mathematics 7-11 July 2014 at the University of Coimbra, Portugal http://www.cicm-conference.org/2014 * * * Announcement of Invited Speakers * * * * * * Call for Work-in-Progress Papers -- Deadline June 1 * * * ---------------------------------------------------------------------- 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. CICM 2014 offers a venue to discuss these areas and their synergy. The conference will take place at the University of Coimbra, Portugal, and consists of four tracks: * Calculemus, Chair: James Davenport * Digital Mathematical Libraries (DML), Chair: Petr Sojka * Mathematical Knowledge Management (MKM), Chair: Josef Urban * Systems and Projects, Chair: Alan Sexton As in previous years, there will be a Doctoral Programme for the mentoring of Doctoral students and several co-located workshops. * MathUI 2014: Mathematical User Interfaces * OpenMath Workshop 2014 * The Notion of Proof 2014 * ThEdu 2014: TP Components for Educational Software * Doctoral Programme All of these are now accepting contributions. Please see the web site for their calls for submissions. The overall programme is organised by the General Program Chair Stephen Watt. ---------------------------------------------------------------------- CICM Invited Talks ---------------------------------------------------------------------- * Yves Bertot, INRIA A naive view of homotopy type theory and its relation to the calculus of constructions * Jaime Carvalho e Silva, U Coimbra What international studies say about the importance and limitations of using computers to teach mathematics in secondary schools * Antonio Leal Duarte, U Coimbra [Joint Speaker with ADG 2014] Teaching Tiles * Herbert Van de Sompel, Los Alamos Natioanl Laboratory Towards robust hyperlinks for web-based scholarly communication * Eric Weisstein, Wolfram|Alpha Computable data, mathematics, and digital libraries in Mathematica and Wolfram|Alpha ---------------------------------------------------------------------- Work-in-Progress Call-for-Papers ---------------------------------------------------------------------- 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 or system description paper. This includes work in progress and emerging trends. Papers may be on any CICM topic, including those from Calculemus, DML, MKM and Systems and Projects. Accepted work-in-progress papers will be presented at the conference as short teaser talks and as posters. The work-in-progress proceedings will be published digitally in the CEUR Workshop Proceedings series (CEUR-WS.org). WiP papers should be prepared in LaTeX and formatted according Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). Papers should be between 5 and 10 pages in length. 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. ---------------------------------------------------------------------- Work-in-Progress Submission Particulars ---------------------------------------------------------------------- WiP paper submission deadline : 1 June 2014 WiP paper notification of acceptance : 15 June 2014 WiP Camera ready copies due : 20 June 2014 Conference : 7-11 July 2014 Electronic submission is done through Easychair at https://www.easychair.org/conferences/?conf=cicm2014wip Note that this is different from the main CICM submission page. ========== Calculemus ========== 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. === DML === Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked, validated 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. Track objective is to provide a forum for development of math-aware technologies, standards, algorithms and formats towards fulfillment of the dream of global digital mathematical library (DML). Computer scientists (D) and librarians of 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 -- processing of math knowledge expressed in scientific papers in natural languages, namely: * 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 standards * 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 === MKM === 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 conference 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 ==================== 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. From abanades at ajz.ucm.es Mon May 5 12:25:41 2014 From: abanades at ajz.ucm.es (=?UTF-8?B?TWlndWVsIMOBLiBBYsOhbmFkZXM=?=) Date: Mon, 5 May 2014 12:25:41 +0200 Subject: [ADG2014]: Cfp (Extension to May 11, 2014) Message-ID: [Apologies for multiple copies of this announcement] ---------------------------------------------------------------- Final Call for Papers ADG 2014 Tenth International Workshop on Automated Deduction in Geometry 9-11 July 2014 Coimbra, Portugal http://www.uc.pt/en/congressos/adg/adg2014 -------------------------------------------------------------------- ADG (Automated Deduction in Geometry) is a forum dedicated to the exchange of ideas and views, to the presentation of research results and progress, and to the demonstration of software tools on the intersection between geometry and automated deduction. ADG organizes a workshop every two years. The previous editions were held in Edinburgh (UK) 2012, Munich (Germany) 2010, Shanghaï (China) 2008, Pontevedra (Spain) 2006, Gainesville (USA) 2004, Linz (Austria) 2002, Zurich (Switzerland) 2000, Beijing (China) 1998, and Toulouse (France) 1996. The tenth workshop ADG 2014 will be hosted in Coimbra, Portugal, by the University of Coimbra, from 9 July to 11 July, 2014. The homepage for this edition is at http://www.uc.pt/en/congresso/adg/adg2014 ADG is now calling for contributions, in the form of extended abstracts or full papers (<=20 Pages), to be submitted before 4 May 2014, via EasyChair.. Notification of acceptance or rejection will be issued by 8 June 2014. Important Dates --------------------- Extended abstract/paper submission for presentation at the workshop: 11 May 2014 (extended) Notification of acceptance or rejection: 8 June 2014 Final submission: 22 June 2014 Early Registration deadline: 22 June 2014 Workshop taking place: 9-11 July 2014 Specific topics for ADG 2014 include (but are not limited to) ------------------------------ --------------------------------------------- Polynomial algebra, invariant and coordinate-free methods, probabilistic, synthetic, and logic approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics. Symbolic and numeric methods for geometric computation, geometric constraint solving, automated generation/reasoning and manipulation with diagrams. Design and implementation of geometry software, special-purpose tools, automated theorem provers, experimental studies. Applications of ADG to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education. Submission Guidelines ----------------------------- Extended abstracts (or full papers if you wish). (<=20 pages, ask if greater). The extended abstracts (or the introduction of the full papers) must address the following aspects explicitly. Problem: "What is the problem/question/objective?" Motivation: "Why do we work on the problem? What is the importance?" State of the Art: "What has been done already on the problem?" Contribution: "What is the main original contribution?" Main Idea: "What is the main idea underlying the contribution"? Electronic submission as PDF is required. It will be greatly appreciated if the submissions follow the standard Springer Proceedings format llncs.cls. Submit your contribution via our paper submission page at EasyChair. Refereeing -------------- The submitted contributions will be subject to a summary review by the Programme Committee, bearing in mind that this first review is mainly for presentation, not for publication. Publication -------------- Extended abstracts or full papers accepted for presentation at the workshop will be available during the meeting, published as a Technical Report in CISUC Technical Report series (ISSN 0874-338X). We plan to ask the authors of the extended abstracts (and possibly full papers) accepted for presentation at the workshop to submit their full and/or revised papers for publication in some formal proceedings of ADG 2014 after the workshop. The full papers (submitted after the meeting) will be formally reviewed by PC members and external referees. It is expected that the accepted full papers will be published as a special issue of some journal or in the Springer Lecture Notes in Computer Science, Artificial Intelligence subseries. The proceedings of ADG 1996, ADG 1998, ADG 2000, ADG 2002, ADG 2004, ADG 2006, ADG 2008, ADG 2010 and ADG 2012 appeared as LNCS 1360, LNCS 1669, LNCS 2061, LNCS 2930, LNCS 3763, LNCS 4869, LNCS 6301, LNCS 6877 and LNCS 7993 respectively. From Michael.Lipaczewski at ovgu.de Tue May 6 10:41:30 2014 From: Michael.Lipaczewski at ovgu.de (Lipaczewski, Michael) Date: Tue, 6 May 2014 08:41:30 +0000 Subject: CfP IMBSA 2014: 4th International Symposium on Model-Based Safety and Assessment Message-ID: Our apologies if you have received multiple copies. ========================================================== CALL FOR PAPERS 4th International Symposium on Model-Based Safety Assessment Munich, Germany, October 27-29, 2014 Web: http://www.imbsa.org Mail: info at imbsa.org ========================================================== After previous editions in Toulouse (2011), Bordeaux (2012), and Versailles (2013), the 4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014) will be held in Munich, Germany. This forum aims at bringing together engineers, software specialists and researchers working on all aspects of model-based safety assessment. The goal of IMBSA is to provide a forum, where brand new ideas from academia, leading edge technology and industrial experiences are brought together. The objectives are to present experiences and tools, to share ideas, and to consolidate the community. We solicit contributions concerning any domain of safety critical application using model-based methods. This includes, but is not limited to: * System Dependability Modeling and Assessment * Domain Specific Modeling Formalisms (AltaRica, ...) * Model-Driven Engineering Methodologies * System Architecture and Optimization * System Engineering Modeling Tools with Safety Assessment (SysML...) * Case Studies and Practical Experiences * Traceability of (Safety)-Requirements * Specification of Safety Requirements and Patterns * Certification and Standardization of and with Model-Based Methods * Integration in Interdisciplinary Processes *------------------------------------------------------------------* THE IMBSA APPROACH *------------------------------------------------------------------* IMBSA is looking back at a rich tradition of successfully combining research with a high number of industrial contributions. It shows that bridging the gap between basic research and industrial practice can be done effectively through interactive presentation of tools and methods. To take this into account, the conference will - in contrast to solely scientific events - be split into three main parts: * a scientific part, where newest findings are presented by renown scientists (DAY 1) * a tools and tutorials parts, in which consolidated research achievements are interactively demonstrated (DAY 2) * and one part reporting on experiences and hot challenges in industrial practice of safety critical systems (DAY 3) This way, participants from the industry learn about new tools and techniques, while research groups and spin-off companies can present their achievements to an interested audience. Also industrial contributors and young spin-offs can convince future customers of their tools in this mixed environment. We believe, that this mixture of conventional talks about newest achievements, presentation of practical experiences and interactive learning allows for fruitful discussions, exchange of information as well as future cooperation. *------------------------------------------------------------------* SUBMISSION DETAILS *------------------------------------------------------------------* For each academic and industrial submission, an extended abstract (2 pages) should be submitted by May 31th, 2014, using the EasyChair website (https://www.easychair.org/conferences/?conf=imbsa2014). Academic papers should not exceed 14 pages. Industrial experiences reports may either be submitted as short papers (8 pages) or full papers (14 pages). Both forms of submission have to comply with the LNCS style format and be handed in by 15th of June. For tutorials and tool demonstration, extended abstracts (2 pages) are sufficient but full length papers may also be accepted. All papers will be subject to a full review. All accepted papers will be published as an Springer LNCS proceedings. The proceedings are planned as pre-conference proceedings and the printed books should be available at the conference day (final approval pending). To be considered for the proceedings, at least one author of each paper has to participate at the conference. Scientific and industrial experience will be presented at the conference in oral form. Tools and tutorials will be presented in special slots (within the main program) and may be presented in an interactive manner. *------------------------------------------------------------------* IMPORTANT DATES *------------------------------------------------------------------* Abstract submission deadline: May 31,2014 Full paper submission deadline: June 15,2014 Notification of acceptance: July 30,2014 Camera-ready submission: August 10,2014 Tutorial proposals: September 10,2014 Conference: October 27-29,2014 *------------------------------------------------------------------* INTERNATIONAL PROGRAM COMMITTEE *------------------------------------------------------------------* * Jean-Paul Blanquart (Astrium Satellites, FR) * Marco Bozzano (FBK-irst, IT) * Jean-Charles Chaudemar (ISAE, FR) * Jana Dittmann (Otto-von-Guericke University of Magdeburg, DE) * Marielle Doche-Petit (Systerel, FR) * Lars Grunske (University of Stuttgart, DE) * Matthias Güdemann (Syterelle, FR) * Michaela Huhn (Technical University of Clausthal, DE) * Tim Kelly (University of York, GB) * Leila Kloul (Universite de Versailles, FR) * Agnes Lanusse (CEA LIST, FR) * Till Mosakowski (Otto-von-Guericke University of Magdeburg, DE) * Jürgen Mottok (University of Regensburg, DE) * Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE) * Yiannis Papadopoulos (University of Hull, GB) * Antoine Rauzy (Ecole Polytechnique, FR) * Wolfgang Reif (Augsburg University, DE) * Jean-Marc Roussel (LURPA, ENS Cachan, FR) * Christel Seguin (ONERA, FR) * Pascal Traverse (AIRBUS, FR) General Chair: * Martin Bott (Zühlke Engineering, DE) * Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE) PC-Chairs: * Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE) * Antoine Rauzy (Ecole Polytechnique, FR) Tools & Tutorials Chairs: * Jürgen Mottok (Hochschule Regensburg, DE) * Antoine Rauzy (Ecole Polytechnique, FR) Industrial Chairs: * Martin Bott (Zühlke Engineering, DE) * Christel Seguin (ONERA, FR) Organizing Committee: * Tim Gonschorek * Michael Lipaczewski * Marianne Schulze *------------------------------------------------------------------* Web: http://www.imbsa.org Mail: info at imbsa.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From agi.kurucz at kcl.ac.uk Tue May 6 11:37:05 2014 From: agi.kurucz at kcl.ac.uk (Agi Kurucz) Date: Tue, 6 May 2014 10:37:05 +0100 Subject: AiML-2014: CALL FOR SHORT PRESENTATIONS Message-ID: <5368AD41.9050806@kcl.ac.uk> *** Apologies for cross-postings **** AiML-2014: CALL FOR SHORT PRESENTATIONS Submission deadline: 21 May 2014 ************************************************************** 10th INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC, GRONINGEN, 5-8 AUGUST, 2014 http://www.philos.rug.nl/AiML2014/ SHORT PRESENTATION SUBMISSIONS These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. Short presentations will NOT be published in the conference proceedings. Short presentations should be submitted electronically using the EasyChair submission page at https://www.easychair.org/account/signin.cgi?conf=aiml2014 At least one author of each accepted short presentation must register for and attend the conference. IMPORTANT DATES Short presentations submission deadline: 21 May 2014 Short presentations acceptance notification: 2 June 2014 Final versions of short presentations due: 9 June 2014 Conference: 5-8 August, 2014. ENQUIRIES. E-mail enquiries should be sent to aiml2014 at easychair.org From fink at kr.tuwien.ac.at Tue May 6 17:03:09 2014 From: fink at kr.tuwien.ac.at (fink at kr.tuwien.ac.at) Date: Tue, 6 May 2014 17:03:09 +0200 Subject: Call for Students: Doctoral College on Logical Methods in Computer Science (LogiCS) Message-ID: <201405061503.s46F39Zn021497@hummel.kr.tuwien.ac.at> LogiCS Doctoral College on Logical Methods in Computer Science starting April 2014 Funded Doctoral Positions in Computer Science TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering (i) computational logic, and applications of logic to (ii) databases and artificial intelligence as well as to (iii) computer-aided verification. THE PROGRAM LogiCS is a doctoral college focusing on logic and its applications in computer science. Successful applicants will work with and be supervised by leading researchers in the fields of computational logic, databases and knowledge representation, and computer-aided verification. FACULTY MEMBERS M. Baaz A. Biere R. Bloem A. Ciabattoni U. Egly T. Eiter C. Fermuller R. Grosu A. Leitsch M. Ortiz R. Pichler S. Szeider H. Tompits H. Veith G. Weissenbacher Details are provided on http://logic-cs.at/faculty/ POSITIONS AND FUNDING We are looking for 1-2 doctoral students per faculty member, where 30% of the positions are reserved for highly qualified female candidates. The doctoral positions are funded for a period of 3 years according to the funding scheme of the Austrian Science Fund (details: http://www.fwf.ac.at/de/projects/personalkostensaetze.html) The funding can be extended for one additional year contingent on a placement at one of our international partner institutions. HOW TO APPLY Detailed information about the application process is available on the LogiCS web-page http://logic-cs.at/phd/ The applicants are expected to have completed an excellent diploma or master's degree in computer science, mathematics, or a related field. Candidates with comparable achievements will be considered on a case-by-case basis. Applications by the candidates need to be submitted electronically. HIGHEST QUALITY OF LIFE The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a varied cuisine and famous coffee houses. From ecmlpkdd2014publicity at gmail.com Tue May 6 21:01:46 2014 From: ecmlpkdd2014publicity at gmail.com (ECML PKDD) Date: Tue, 6 May 2014 21:01:46 +0200 Subject: ECML/PKDD 2014 Call for Panel Organizers Message-ID: ECML PKDD 2014 Nancy, France CALL FOR PANEL ORGANIZERS ECML PKDD will include panels on topics of interest for the audience. The Panel Chairs are Jose Balcazar and Sergei Kuznetsov. Many hot topics related to research in Machine Learning and Knowledge Discovery are worthy of ample discussion within our community. Setting priorities for our research, identifying appropriate topics and partners (whether academic or industrial) for cooperation in our subsequent project applications, balancing topic coverage within courses we teach, and assessing the impact of our own recent research contributions are just some of the personal decisions many of us make that would benefit from a Panel at our conference. Example topics could be cases where our community is cordially split among several substantially different avenues to tackle the same problem, or among several theoretical or practical problems deeply interrelated, or among various perspectives to focus teaching activities. All this is intended to suggest ideas but is by no means limiting! If you are interested in proposing a panel on some specific topic, we want to encourage you to submit a Panel Proposal. Proposals are free text as there is no form, but, naturally, we expect each Panel Proposal to indicate the name(s) of the Panel Organizer(s), identify clearly the topic of the panel, contribute an explanation of its interest that would look enticing for ECML PKDD registrants to attend the corresponding Panel Session, and describe the specific contents of the Panel: names of panelists who may have accepted to participate (conditioned to acceptance of the Panel Proposal, of course), names of panelists who would be contacted and asked to participate, potential replacements in case they decline, maybe somewhat novel formats like some respected researcher, or teacher, or representative of a company, not present personally, being displayed through a short video and giving some question to ponder or some statement to discuss; or whatever related ideas the Panel Organizers may wish to suggest. We expect each proposal to fit comfortably within one to three pages of text with usual font and margins. The Panel timeline is as follows: Proposal deadline: June 6, 2014 Decision of acceptance or rejection: June 25, 2014 Panel proposals should be sent by email to both Panel Chairs (preferably simultaneously) using the addresses jose.luis.balcazar at upc.edu and skuznetsov at yandex.ru, written in a simple, open, and common format such as .txt or .pdf (please avoid .doc). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecmlpkdd2014publicity at gmail.com Tue May 6 21:04:19 2014 From: ecmlpkdd2014publicity at gmail.com (ECML PKDD) Date: Tue, 6 May 2014 21:04:19 +0200 Subject: ECML/PKDD 2014 2nd 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 invitation at iariaprogram.org Wed May 7 05:48:21 2014 From: invitation at iariaprogram.org (ICSNC 2014) Date: Tue, 06 May 2014 23:48:21 -0400 Subject: Deadline Extension: ICSNC 2014 || October 12 - 16, 2014 - Nice, France Message-ID: <1399434501318.351@iariaprogram.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 ICSNC 2014. The submission deadline has been extended to May 30, 2014. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICSNC 2014 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICSNC 2014, The Ninth International Conference on Systems and Networks Communications October 12 - 16, 2014 - Nice, France General page: http://www.iaria.org/conferences2014/ICSNC14.html Call for Papers: http://www.iaria.org/conferences2014/CfPICSNC14.html Submission page: http://www.iaria.org/conferences2014/SubmitICSNC14.html Contributions: - regular papers - short papers (work in progress) - posters - ideas - presentations - demos - doctoral forum submissions Proposals for: - symposia - workshops Submission deadline: May 30, 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 ICSNC 2014 Topics (topics and submission details: see CfP on the site) WINET: Wireless networks 3G/4G integration; Wireless protocols, architectural and design concepts; Design and implementation of mobile information systems; Wireless communications and mechanisms; Antenna and RF subsystems; Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Wireless technologies; Wireless applications & services; IP Multimedia subsystems (IMS); Wireless and mobility; Wireless-wireline convergence; Radio communications systems; Specialized wireless networks; Management of wireless networks; Position on standards & fora on wireless networks; Business models on wireless networks; Communications regulations, Spectrum management; Software-Defined Radio (SDR) [ architectures, hardware, software, signal processing and smart antennas, etc.] HSNET: High speed networks Technologies, protocols, and applications for high speed networks; Voice over high speed networks; Services and interconnections of high speed networks; Technologies for High speed optical networks; Optical burst switching; End-to-end applications; Optical control plan; Advanced optical technology architectures; Design of high speed systems and networks; Methodologies and development tools for high speed networks; Management and control of high speed networks; Performance in high speed networks; Security aspects in high speed networks; QoS/SLA in high speed networks; Diagnosing high speed networks; High speed networks and NGN SENET: Sensor networks Architectures and protocols for wired and wireless sensor networks; Design of sensor networks; Instrumentation and models for deployment of sensors networks; Power in sensor networks; Ad hoc and wireless sensor networks; Management and control of sensor networks; Performance in sensor networks; Security and reliability aspects in sensor networks; Information assurance in sensor networks; QoS/SLA in sensor networks; Applications, case studies and prototypes with sensor networks MHNET: Mobile and Ad hoc networks Mobile technology and fundamentals; Analytical and validation models for mobility; Architecture and routing protocols for mobile networks; Architectures, frameworks, fundamentals on ad hoc networks; Energy efficient design, cross-layer design, scalability; MAC protocols for ad-hoc and sensor networks (801.11, Bluetooth, etc.); Data, information, and signal processing in mobile networks; Complexity analysis of mobile algorithms and protocols; Software platforms and development tools supporting mobility; QoS/SLA, access control and security in mobile and ad hoc networks; Location and mobility management; Location and service discovery in ad hoc networks; Planning, provisioning, and deployment mobility features; Directional and smart antennas for mobile and ad-hoc networks; Performance and security in ad hoc and mobile networks; Self-organization, synchronization and stability in ad hoc networks; Self-management in ad hoc and mobile networks; Ad hoc and mobile networks and autonomic com puting; Mobile ad hoc platforms, systems and tools; Applications over ad hoc networks; Standards evolution on mobility and ad hoc networks AP2PS: Advances in P2P Systems Architectures and protocols; Gossip-based and epidemic protocols; Integration with network operators and service providers; Autonomic computing and networking; Semantic P2P; Opportunistic networking; Content delivery networks; Applications; Prototypes and simulations; Implementations; Comparative performance analysis; Dependability, resilience and availability; Benchmarking and optimization; Quality of experience; Security, trust and reputation; Digital rights management; Content filtering; P2P and wireless convergence; Integrated approaches; Energy efficiency MESH: Advances in Mesh Networks Architectures and algorithms; Wireless interference models; Large-scale networks; Real-time and non-real-time communications; Centralized and distributed scheduling; Service differentiation; Security, Privacy, and Trust; Protocol interference models; Single-channel multihop/multichannel routing; Quality of Services routing; Multimedia-centric routing; Cross-layer multicast routing; QoS-based access protocols for mesh networks; Multichannel access protocols; Applications; Multimedia services; Home IPTV; WiMax; Broadband home networking communications; Smart buildings; Broadband Internet access VENET: Vehicular networks Communication technologies in vehicular networks; Frameworks and architectures for vehicular networks; Interoperability with Internet and other networks; Vehicle-infrastructure communications; Vehicle-to-vehicle communications; Emerging inter/intra-vehicle and infrastructure-to-vehicle wireless technologies; Cross-layer design and optimization for vehicular networks; Middleware and service architectures for vehicular networks; Propagation issues Vehicular sensors and data collection and process; On-drive diagnostics and repair technologies and systems; Protocol features /MAC, QoS, routing, multicast, addressing, identity/; Mobility and hand-off ; Properties /security, privacy, performance, robustness, real-time, etc./; Control and management in vehicular networks; Driver-oriented support systems /assistance, active&passive safety, etc./; Case studies and fields trials on vehicular networks; Applications across vehicular networks /content distribution, alerting, etc./; Standardization /802.11p, DSRC, etc./ and standard platforms /JasPar, AUTOSTAR, etc./ RFID: Radio-frequency identification systems Fundamentals for RFID systems; Communications in RFID systems; Next generation RFID Technologies; RFID middleware design and architecture; Antenna design for RFID; System design and deployment; Circuits and architecture; RFID ans sensor networks; Bridging RFID networks in heterogeneous networks; Collision, proximity, speed; Security, privacy, trust; Monitoring and control of RFID systems; Localization and tracking; Inventory tracking; Testing and verification; Planing and executing RFID systems; RFID pilot projects; Use cases in deploying and operating /finance, manufacture, agriculture, transportation, etc./; Tools for supporting the design and deployment of RFID systems SESYS: Security systems Security analysis methodologies; Middleware and distributed systems security; Cryptography, certificates, information hiding, access control; Protection, risk, vulnerabilities, attacks, authorization/authentication; Access control, wireless access control, broadband access control; Biometrics, smart cards, identification and trust methodologies; Certification, accreditation anonymity, and audit; Security management, emergency contingency planning, identify theft, life safety; Wireless and mobile security; Fast security associations; Electronic surveillance and e-commerce protocols; Security and trust in web-services-based applications; Peer-to-peer security, denial of services; Information survivability, insider threat protection, integrity; Intellectual property rights, privacy, legal and regulatory issues; Criminal exploitation of technology; Commercial and industrial security; Viruses, hackers, worms, spam, and other malicious code MCSYS: Multimedia communications systems Technologies, protocols, and mechanisms for multimedia communications; Multimedia compression mechanisms and information representation; Multimedia encoding and compression, MPEG-1 to MPEG-4, Wavelet and fractal; Multimedia frameworks, communications, and middleware; Next generation multimedia communications; Mobile multimedia communications; Methodologies and development tools for multimedia communications systems; Wireless mobile multimedia communications; Ad hoc multimedia networks; IP-based Multimedia Subsystems (IMS); QoS/SLA in mobile multimedia services and applications; Mechanisms for interactive multimedia applications; Designing and implementing interactive applications; Multimedia authoring, publishing, and right securing; Security and performance for multimedia communications; Management, QoS, and security aspects in streaming over wireless ad hoc networks; Management and control of multimedia systems; Standards protocols for multimedia communications POSYS: Policy-based systems Policy for automation control; Trusting policy control commands; Policy-driven autonomic organizations; Policy-based control scalability; Policy sensors for feedback control; Policy conflict detection and conflict resolution; Context-aware policy-driven adaptive frameworks; Policy integrity, trust and negotiations; Policy-based software applications; Policing pervasive computing environments; Policing on-demand systems and services PESYS: Pervasive education system Learning and teaching systems; E-learning methods and e-learning scenarios; Tools and architectures for mobile/ubiquitous e-learning; Cooperative learning and working; Mobile technology and education; Distance learning and education; Computers and arts; Education in developing regions; Reflection in learning software and hardware; Social impact metrics on distance learning; Methodologies and processes for education; Curriculum projects and experiences; Intelligent support; Multimedia environment for teaching; E-market place for higher education; Embedded systems education; Wearable computers and education Committee: http://www.iaria.org/conferences2014/ComICSNC14.html ICSNC Advisory Chairs Eugen Borcoci, University Politehnica of Bucarest, Romania Sathiamoorthy Manoharan, University of Auckland, New Zealand Reijo Savola, VTT, Finland Leon Reznik, Rochester Institute of Technology, USA Masashi Sugano, Osaka Prefecture University, Japan Zoubir Mammeri, IRIT, France ICSNC 2014 Research Institute Liaison Chairs Song Lin, Yahoo! Labs / Yahoo Inc. - Sunnyvale, USA Habtamu Abie, Norwegian Computing Center - Oslo, Norway ICSNC 2014 Industry/Research Chairs Rolf Oppliger, eSECURITY Technologies - Guemligen, Switzerland Jeffrey Abell, General Motors Corporation, USA Christopher Nguyen, Intel Corp., USA Javier Ibanez-Guzman, RENAULT S.A.S. / Technocentre RENAULT - Guyancourt, France ICSNC 2014 Special Area Chairs Mobility / vehicular Maode Ma, Nanyang Technology University, Singapore Pervasive education Maiga Chang, Athabasca University, Canada ================================================ To stop receiving notices about ICSNC, please reply with "DROP ICSNC 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 pc-chairs at di2014.org Wed May 7 10:49:35 2014 From: pc-chairs at di2014.org (=?utf-8?q?Frederic_Benhamou_=26_Milad_Doueihi_-__=23di2014_Co-Chairs?=) Date: Wed, 07 May 2014 10:49:35 +0200 Subject: [DI2014] Paper submission deadline extension for #DI2014 Conference, Nantes, France Message-ID: <20140507085008.D23711012A6F@smtp.univ-nantes.fr> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icnc-fskd-cfp at xmu.edu.cn Thu May 8 21:51:47 2014 From: icnc-fskd-cfp at xmu.edu.cn (Prof Zhang) Date: Fri, 9 May 2014 03:51:47 +0800 Subject: ICNC-FSKD 2014 2nd Round Submissions due 16 May: Submitting to IEEE Xplore/EI Compendex Message-ID: <4FBAEAE8C376827F28D26D4A1CD3726A@og> Dear Colleague, We cordially invite you to submit a paper to the upcoming 10th International Conference on Natural Computation (ICNC 2014) and the 11th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2014), to be jointly held from 19-21 August 2014 in Xiamen, China. The deadline for the 2nd (final) round of submissions is 16 May 2014 (papers already submitted in the previous round should not be re-submitted and will receive review notifications on 15 April). With a pleasant subtropical climate, Xiamen is known as one of the most beautiful and liveable cities in China. Famous attractions include Gulangyu Island (credited as a "garden on the sea", "architecture exhibition of ten thousand nations", "hometown of music" and "island of piano"), Hulishan Fortress (Guinness World Records on the biggest and smallest cannons), and South Putuo Temple. Excursions may be made to Fujian Tulou, UNESCO World Heritage Sites of fortified dwellings housing up to 80 families. As with the past ICNC-FSKD conferences, all papers in conference proceedings will be submitted to both EI Compendex and IEEE Xplore. Extended versions of selected best papers will appear in ICNC-FSKD special issues of Knowledge-Based Systems (Impact Factor: 4.104) and Neural Processing Letters (Impact Factor: 1.240). ICNC-FSKD 2014 is technically co-sponsored by the IEEE Circuits and Systems Society (pending). ICNC-FSKD is a premier international forum for scientists and researchers to present the state of the art of data mining and intelligent methods inspired from nature, particularly biological, linguistic, and physical systems, with applications to computers, circuits, systems, control, robotics, communications, and more. This is an exciting and emerging interdisciplinary area in which a wide range of theory and methodologies are being investigated and developed to tackle complex and challenging problems. The registration fee of US-D410 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. An honorarium of US-D400 will be enjoyed by the organizer(s) for each completed (with at least 6 registered papers) invited session. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. "(Invited Paper)" may be added below the title of each paper in the invited sessions. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a set of recommended papers is determined by 3 June 2014. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to icnc-fskd at xmu.edu.cn For more information, visit the conference web page: http://icnc-fskd.xmu.edu.cn/ If you have any questions after visiting the conference web page, please email the secretariat at icnc-fskd at xmu.edu.cn Join us at this major event in beautiful Xiamen !!! Organizing Committee icnc-fskd at xmu.edu.cn P.S.: Kindly forward to your colleagues and students in your school/department. If you wish to unsubscribe, in which case we apologize, please reply with " unsubscribe event at tu-clausthal.de " in your email subject. Thanks. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bulling at in.tu-clausthal.de Fri May 9 15:09:26 2014 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Fri, 9 May 2014 15:09:26 +0200 Subject: CLIMA XV: Submission Deadline Extended Message-ID: <7C0FF70D-87C3-4608-B6CD-ADA566E9214C@in.tu-clausthal.de> *** Extended Deadline*** CLIMA XV - 15th International Workshop on Computational Logic in Multi-Agent Systems with special sessions on: *Logics for Agreement Technologies *Logics for Games, Strategic Reasoning, and Social Choice Prague, Czech Republic, August 18-19, 2014, co-located with ECAI'14. For further details please visit: http://www-sop.inria.fr/members/Serena.Villata/climaXV.html Important dates: * Abstracts of papers must be submitted by May 12 * Submission: May 17 (extended deadline) * Notification: June 9th * Camera Ready: June 16th CLIMA XIV Chairs: * Nils Bulling, Clausthal University of Technology, Germany * Leon van der Torre, University of Luxembourg, Luxembourg * Serena Villata, INRIA Sophia Antipolis, France Special Session Organizers: * Wojtek Jamroga, University of Luxembourg, Luxembourg * Wamberto Vasconcelos, University of Aberdeen, UK Please send all inquiries about CLIMA XV to clima2014 at easychair.org -- Dr. Nils Bulling Clausthal University of Technology, Germany http://www.nilsbulling.com phone: +49 5323 72 7182 From hastings at ebi.ac.uk Fri May 9 16:39:07 2014 From: hastings at ebi.ac.uk (Janna Hastings) Date: Fri, 9 May 2014 15:39:07 +0100 Subject: Reminder: FOIS ECS and workshop submission deadlines approaching soon In-Reply-To: <092101cf6b94$5fdca020$1f95e060$@ebi.ac.uk> References: <088101cf6b93$bb7ade70$32709b50$@ebi.ac.uk> <089101cf6b93$d7dc5760$87950620$@ebi.ac.uk> <08a101cf6b93$e8942060$b9bc6120$@ebi.ac.uk> <08b101cf6b93$fb63a5d0$f22af170$@ebi.ac.uk> <08c101cf6b94$0eeae280$2cc0a780$@ebi.ac.uk> <08d101cf6b94$1ad4f6d0$507ee470$@ebi.ac.uk> <08e101cf6b94$27bf6420$773e2c60$@ebi.ac.uk> <08f101cf6b94$370e7560$a52b6020$@ebi.ac.uk> <090101cf6b94$449dae30$cdd90a90$@ebi.ac.uk> <091101cf6b94$537f57a0$fa7e06e0$@ebi.ac.uk> <092101cf6b94$5fdca020$1f95e060$@ebi.ac.uk> Message-ID: <092c01cf6b94$6ed33120$4c799360$@ebi.ac.uk> The FOIS 2014 ECS and workshop submission deadlines are approaching soon! ===================================================================== 8th International Conference on Formal Ontology in Information Systems (FOIS 2014) September, 22-25, 2014 in Rio de Janeiro, Brazil http://fois2014.inf.ufes.br/ ===================================================================== FOIS Early Career Symposium submission deadline: May 19, 2014 http://fois2014.inf.ufes.br/p/ecs.html Workshop on Ontological Modelling of Socio-Technical Systems submission deadline: May 22, 2014 http://www.loa.istc.cnr.it/OMSS14/ 8th International Workshop on Modular Ontologies submission deadline: May 23, 2014 http://womo2014.bio-lark.org/ Workshop on Concept Invention, Adaptation, and Representation submission deadline: May 15, 2014 http://cogsci.uni-osnabrueck.de/~cigar/ Joint Workshop on Ontologies in Conceptual Modelling and Information Systems Engineering submission deadline: May 22, 2014 http://www.mis.ugent.be/ONTO-ODISE-2014/ Workshops on Logics and Ontologies for Natural Language submission deadline: May 22, 2014 http://emap.fgv.br/logonto-2014/ Workshop on Information Artifact Ontologies submission deadline: May 22, 2014 http://ncorwiki.buffalo.edu/index.php/Information_Artifact_Ontologies 2nd Workshop on Semantic Web and Amazonian Biodiversity Ontology submission deadline: May 22, 2014 http://was2014.inpa.gov.br/ Workshop on Formal Ontologies Meet Industry submission deadline: May 22, 2014 http://emap.fgv.br/fomi-2014 For more information on all FOIS workshops, visit http://fois2014.inf.ufes.br/p/fois-workshops.html ---------------------------------------------------------------------------- ---------------------------------- Janna Hastings Email: hastings at ebi.ac.uk | Tel: +44 (0)1223 494411 | Fax: +44 (0)1223 494468 Twitter: @jannahastings | ORCID: 0000-0002-3469-4923 | Web: www.ebi.ac.uk/~hastings 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 jleite at fct.unl.pt Fri May 9 18:46:10 2014 From: jleite at fct.unl.pt (Joao Leite) Date: Fri, 9 May 2014 17:46:10 +0100 Subject: JELIA 2014 - Final Call for Papers Message-ID: ============================================================= Final 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 ================ Invited Speakers ================ * Diego Calvanese (Free University of Bozen-Bolzano, Italy) "Query Answering over Description Logic Ontologies" * Agata Ciabattoni (Vienna University of Technology, Austria) "Tools for the investigation of substructural and paraconsistent logics" * Hector Geffner (Universitat Pompeu Fabra in Barcelona, Spain) "How to solve a non-classical planning problem with a classical planner: the power of transformations" * Anthony Hunter (University College London, United Kingdom) "Towards Argument-based Persuasion Technologies" Abstracts available at http://www3.uma.pt/jelia2014/invited.html ================ 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 jleite at fct.unl.pt Fri May 9 19:08:15 2014 From: jleite at fct.unl.pt (Joao Leite) Date: Fri, 9 May 2014 18:08:15 +0100 Subject: STAIRS 2014 - Final Call for Papers Message-ID: =============================================================== Final Call for Papers STAIRS 2014 The 7th Starting AI Researcher Symposium Prague, Czech Republic 18-19 August 2014 (part of ECAI-2014) http://www.ecai2014.org/stairs/ Submission Deadline: May 15 Proceedings published by IOS Press =============================================================== The 7th European Starting AI Researcher Symposium (STAIRS-2014) will be held as a satellite event of the 21st European Conference on Artificial Intelligence (ECAI-2014) in Prague in August 2014. STAIRS is aimed at young researchers in Europe and beyond, particularly PhD students, but also advanced Master’s students and postdoctoral researchers holding a PhD for less than one year at the time of the paper submission deadline. STAIRS offers opportunities to gain experience with submitting to and presenting at international events with a broad scientific scope. Accepted papers will be presented either orally or in a poster session. Both types of accepted papers will be collected in the symposium proceedings, published by IOS Press. STAIRS will feature invited talks by: * Francesca Rossi (University of Padova, Italy) * Michael Wooldridge (University of Oxford, UK) TOPICS OF INTEREST We welcome submissions in all areas of AI, ranging from foundations to applications. Topics of interest include, amongst others: * autonomous agents and multiagent 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 KEY DATES * Submission deadline: 15 May 2014 * Notification of acceptance/rejection: 10 June 2014 * Camera-ready copy due: 15 June 2014 * STAIRS-2014: 18-19 August 2014 * ECAI-2014 main conference: 20-22 August 2014 SUBMISSION All submissions should be prepared using the IOS Paper Kit, available from the STAIRS-2014 website and must not exceed 10 (ten) pages in length. To submit, upload your paper to Easychair: http://www.easychair.org/conferences/?conf=stairs2014 The principal author of the paper must be a (PhD) student or have obtained their PhD less than one year before the submission deadline. SYMPOSIUM CHAIRS Ulle Endriss (ILLC, University of Amsterdam) Joao Leite (Universidade NOVA de Lisboa) PROGRAM COMMITTEE (to be completed) Natasha Alechina (University of Nottingham) Jose Julio Alferes (Universidade NOVA de Lisboa) Pietro Baroni (University of Brescia) Ronen Brafman (Ben-Gurion University) Gerhard Brewka (Leipzig University) Hubie Chen (Universidad del País Vasco and Ikerbasque) Eric De La Clergerie (INRIA) Piotr Faliszewski (AGH University of Science and Technology) Michael Fink (Vienna University of Technology) Jorg Hoffmann (Saarland University) Paolo Liberatore (University of Rome) Weiru Liu (Queen's University Belfast) Ramon Lopez De Mantaras (IIIA - CSIC) Ines Lynce (INESC-ID/IST, University of Lisbon) Pierre Marquis (CRIL-CNRS and Universit d'Artois) Nicolas Maudet (Université Paris 6) Hector Palacios (Universitat Pompeu Fabra) David Schlangen (Bielefeld University) Stefan Schlobach (VU University Amsterdam) Steven Schockaert (Cardiff University) Elizabeth Sklar (University of Liverpool) Stefan Szeider (Vienna University of Technology) Ivan Titov (University of Amsterdam) Wiebe Van Der Hoek (University of Liverpool) Stefan Woltran (Vienna University of Technology) Pinar Yolum (Bogazici University) Marius Zoellner (Karlsruhe Institute of Technology) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sofronie at mpi-inf.mpg.de Fri May 9 23:56:05 2014 From: sofronie at mpi-inf.mpg.de (Viorica Sofronie-Stokkermans) Date: Fri, 9 May 2014 23:56:05 +0200 Subject: Call for papers: ADDCT 2014 Message-ID: ====================================================== CALL FOR PAPERS Automated Deduction: Decidability, Complexity, Tractability (ADDCT 2014) Workshop affiliated with IJCAR 2014 and RTA 2014. http://www.uni-koblenz.de/~sofronie/addct-2014/ ====================================================== Important Dates 17 May 2014: Paper submission 6 June 2014: Notification 20 June 2014: Final version 18 July 2014: Workshop ====================================================== GOAL ==== The goal of ADDCT is to bring together researchers interested in - identifying (fragments of) logical theories which are decidable, identifying fragments thereof which have low complexity, and analyzing possibilities of obtaining optimal complexity results with uniform tools; - analyzing decidability in combinations of theories and possibilities of combining decision procedures; - efficient implementations for decidable fragments; - application domains where decidability resp. tractability are crucial. TOPICS OF INTEREST ================== Topics of interest for ADDCT include (but are not restricted to): - Decidability (decision procedures based on logical calculi; decidability in combinations of logical theories) - Complexity analysis of fragments of first and higher-order logic - Tractability (in logic, automated reasoning, algebra, ...) - Application domains for which complexity issues are essential (verification, security, databases, ontologies, ...) SUBMISSION AND SELECTION PROCEDURE ================================== Submissions are encouraged in one of the following categories: - Original papers (up to 15 pages, LNCS style, including bibliography); should describe original research and contain sufficient detail to assess the merits and relevance of the contribution. Simultaneous submission of material is prohibited. - Work in progress (up to 6 pages, LNCS style, without bibliography). - Presentation-only papers: may describe work previously published, and will not be inserted in the proceedings. We are allowing the submission of previously published work in order to allow researchers to communicate good ideas that the attendees may not be aware of. Given the informal style of the workshop, the submission of papers presenting student's work and work in progress is encouraged. Submission of papers is via EasyChair at http://www.easychair.org/conferences/?conf=addct2014 The final versions of the selected contributions will be collected in a volume which will be made accessible on the web. For further informations please send an e-mail to Viorica Sofronie-Stokkermans (sofronie at uni-koblenz.de) From grlmc at urv.cat Sat May 10 09:46:20 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 10 May 2014 09:46:20 +0200 Subject: TPNC 2014: 2nd call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ************** 3rd INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2014 Granada, Spain December 9-11, 2014 Organized by: Soft Computing and Intelligent Information Systems (SCI2S) University of Granada Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/tpnc2014/ **************************************************************************** ************** AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2014 will reserve significant room for young scholars at the beginning of their career. It aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2014 will take place in Granada, in the region of Andalucía, to the south of Spain. The city is the seat of a rich Islamic historical legacy, including the Moorish citadel and palace called Alhambra. SCOPE: Topics of either theoretical, experimental, or applied interest include, but are not limited to: * Nature-inspired models of computation: - amorphous computing - cellular automata - chaos and dynamical systems based computing - evolutionary computing - membrane computing - neural computing - optical computing - swarm intelligence * Synthesizing nature by means of computation: - artificial chemistry - artificial immune systems - artificial life * Nature-inspired materials: - computing with DNA - nanocomputing - physarum computing - quantum computing and quantum information - reaction-diffusion computing * Information processing in nature: - developmental systems - fractal geometry - gene assembly in unicellular organisms - rough/fuzzy computing in nature - synthetic biology - systems biology * Applications of natural computing to: algorithms, bioinformatics, control, cryptography, design, economics, graphics, hardware, learning, logistics, optimization, pattern recognition, programming, robotics, telecommunications etc. A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2014 will consist of: - invited talks - peer-reviewed contributions INVITED SPEAKERS: Kalyanmoy Deb (East Lansing, US), Multi-Criterion Problem Solving: A Niche for Natural Computing Methods Marco Dorigo (Brussels, BE), Swarm Intelligence Francisco Herrera (Granada, ES), Bioinspired Real Parameter Optimization: Where We Are and What’s Next PROGRAMME COMMITTEE: Hussein A. Abbass (Canberra, AU) Uwe Aickelin (Nottingham, UK) Thomas Bäck (Leiden, NL) Christian Blum (San Sebastián, ES) Jinde Cao (Nanjing, CN) Vladimir Cherkassky (Minneapolis, US) Sung-Bae Cho (Seoul, KR) Andries P. Engelbrecht (Pretoria, ZA) Terence C. Fogarty (London, UK) Fernando Gomide (Campinas, BR) Inman Harvey (Brighton, UK) Francisco Herrera (Granada, ES) Tzung-Pei Hong (Kaohsiung, TW) Thomas Jansen (Aberystwyth, UK) Yaochu Jin (Guildford, UK) Okyay Kaynak (Istanbul, TR) Satoshi Kobayashi (Tokyo, JP) Soo-Young Lee (Daejeon, KR) Derong Liu (Chicago, US) Manuel Lozano (Granada, ES) Carlos Martín-Vide (Tarragona, ES, chair) Ujjwal Maulik (Kolkata, IN) Risto Miikkulainen (Austin, US) Frank Neumann (Adelaide, AU) Leandro Nunes de Castro (São Paulo, BR) Erkki Oja (Aalto, FI) Lech Polkowski (Warsaw, PL) Brian J. Ross (St. Catharines, CA) Marc Schoenauer (Orsay, FR) Biplab Kumar Sikdar (Shibpur, IN) Dipti Srinivasan (Singapore, SG) Darko Stefanovic (Albuquerque, US) Umberto Straccia (Pisa, IT) Thomas Stützle (Brussels, BE) Ponnuthurai N. Suganthan (Singapore, SG) Johan Suykens (Leuven, BE) El-Ghazali Talbi (Lille, FR) Jon Timmis (York, UK) Fernando J. Von Zuben (Campinas, BR) Michael N. Vrahatis (Patras, GR) Xin Yao (Birmingham, UK) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos García-Martínez (Córdoba) Carlos Martín-Vide (Tarragona, co-chair) Manuel Lozano (Granada, co-chair) Francisco Javier Rodríguez (Granada) 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, references, etc.) and should be prepared according to the standard format for the 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=tpnc2014 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from April 5 to December 9, 2014. The registration form can be found at: http://grammars.grlmc.com/tpnc2014/Registration.php DEADLINES: Paper submission: July 17, 2014 (23:59h, CET) Notification of paper acceptance or rejection: August 24, 2014 Final version of the paper for the LNCS proceedings: September 7, 2014 Early registration: September 7, 2014 Late registration: November 25, 2014 Submission to the post-conference journal special issue: March 11, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: TPNC 2014 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Universidad de Granada Universitat Rovira i Virgili From announce at cs.ucy.ac.cy Sun May 11 14:38:34 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 11 May 2014 15:38:34 +0300 Subject: KICSS 2014: Second Call for Papers Message-ID: *** SECOND CALL FOR PAPERS *** 9th INTERNATIONAL CONFERENCE ON KNOWLEDGE, INFORMATION AND CREATIVITY SUPPORT SYSTEMS (KICSS 2014) Elias Beach Hotel, Limassol, Cyprus 6-8 November, 2014 http://kicss2014.cs.ucy.ac.cy/ (Proceedings will be published by Springer) Following the tradition of previous conferences on Knowledge, Information and Creativity Support Systems, KICSS 2014 will cover all aspects of knowledge management, knowledge engineering, intelligent information systems, and creativity in an information technology context, including computational creativity and its cognitive and collaborative aspects. Papers reporting original unpublished research results on theoretical foundations, IT implementations of decision support and expert systems, as well as case studies of successful applications of the above- mentioned ideas in various fields are equally solicited. The list of conference topics includes but is not limited to: Anticipatory networks, systems, and decisions Autonomous creative systems Cognitive foundations of knowledge Cognitive and psychological issues in creativity research Cognitive foundations of knowledge Collaborative activities in Living Labs Collaborative idea generation and creativity Collaborative knowledge creation Collaborative working environments fostering creativity Complex system modelling Computer supported creativity Creative approaches to model technological evolution Creative business models Creative conflict resolution Creative coordination and cooperation mechanisms Creative decision processes Creative interaction techniques Creative model building Creative reasoning and decision making Creative research environments and their performance Creative social computing Creative visualisation of data and knowledge Creativity in finance Creativity in augmented reality Creativity in health care Creativity in mobile applications Creativity in social media Creativity in the Cloud Creativity measurement Creativity support systems Creativity transfer and stimulation Creativity vs. rationality Creativity-enhancing interfaces Creativity-oriented information system architectures Decision sciences Decision support systems (DSS) Discovering opportunities, threats and challenges Foresight support systems (FSS) Future Internet and knowledge-based society Future exploration and modelling Future perspectives of knowledge, information, and creativity support Game-theoretical aspects of knowledge General creative systems (GCS) Group recommendation, and advise Heuristics and general problem solving Identifying real options in complex business environments Information fusion Information quality Intelligent analysis of Big Data Knowledge extraction, creation, and acquisition Knowledge in multi-agent systems Knowledge integration Knowledge management in business, industry, and administration Knowledge representation and reasoning Knowledge verification and validation Living Lab support systems (LLSS) Machine learning and creativity Malicious creativity in the web, its discovery and remedy Mathematical models of creative processes Multi- and interdisciplinary approaches in creativity research Multicriteria decision making Natural language analysis Non-monotonic reasoning Ontology creation and management Open innovation Organizational learning Preference modelling Reasoning about knowledge Recommender systems Scientific information management Search for a compromise in multicriteria decision making and collaborative games Social Computing Social factors of collaborative creativity Software-based stimulation of creativity Supervised and semi-supervised learning Trust modeling Uncertainty modelling Virtual environment design Visual Analytics and Intelligent User Interfaces Web intelligence tools World models Important Dates Paper Submission Deadline: June 20, 2014 Notification of Acceptance: August 8, 2014 Camera-Ready Version Due: September 8, 2014 Research-in-Progress Report Submission Deadline: September 5, 2014 Research-in-Progress Reports Author Notification Due: September 12, 2014 Research-in-Progress Reports Camera-Ready Versions Due: September 19, 2014 Submission Regular papers on all conference topics should be formatted according to the Springer CS Proceedings (LNCS) format and should not exceed 12 pages. Short and industrial/demo papers as well as research-in-progress reports should not exceed 6 pages according to the above format. Up to 2 additional pages may be allowed at extra charge. The KICSS 2014 papers can be submitted via Easychair. Submissions that overlap substantially with any other papers printed, submitted, or accepted for publication or presentation elsewhere are not allowed. Special session proposals may be submitted by email to the KICSS Organizing Committee. Although there is no formal template for such a proposal, the proposers should nevertheless specify the title of the session, describe briefly its essential content and relation to the conference topics, and specify the expected number of contributions, and titles, if already known. Proceedings The KICSS 2014 (Post-) Proceedings will be published in the Springer Series: Advances in Intelligent Systems and Computing, ISSN 2194-5357, indexed by ISI Proceedings, SCOPUS, Zentralblatt Math, Ulrich's, EI-Compendex, DBLP, MetaPress, Springerlink, see more here. The Post-Proceedings will contain all the revised regular papers and - following an extension - a selection of research-in-progress reports as well as short and demo papers. The authors of the selected best papers presented at the conference will be invited to submit the revised and extended versions of their contributions to special issues of high-rank scientific journals. Organization Conference Chairs Susumu Kunifuji, JAIST, Japan George Angelos Papadopoulos, University of Cyprus, Cyprus Andrzej M.J. Skulimowski, P&BF and AGH, Poland Local Organizing Chair George Angelos Papadopoulos, University of Cyprus, Cyprus Award Chairs Susumu Kunifuji, JAIST, Japan Thanaruk Theeramunkong, Thammasat University, Thailand Invited Session Chairs Tomoko Kajiyama, JAIST, Japan Vincent Cheng-Siong Lee, Monash University, Australia Takaya Yuizono, JAIST, Japan Program Committee Chi-Hung Chi, CSIRO, Australia João Clímaco, University of Coimbra, Portugal Simon Colton, University of London, UK Eugene Dubossarsky, Presciient, Australia Mark Embrechts, RPI, USA Ali Eydgahi, Eastern Michigan University, USA John Garofalakis, University of Patras, Greece Tessai Hayama, Kanazawa Institute of Technology, Japan Hidehi Hayashi, Naruto University of Education, Japan Hidehiko Hayashi, Naruto University of Education, Japan Christopher Hinde, Loughborough University, UK Josef Jablonsky, University of Economics Prague, Czech Republic Janusz Kacprzyk, Systems Research Institute - PAS, Poland Hideaki Kanai, JAIST, Japan Takashi Kawaji, Ohtsuki City College, Japan Takahiro Kawaji, Ohtsuki City Colledge, Japan Thomas Koehler, TU Dresden, Germany Paul Kwan, University of New England, USA Vincent Cs Lee, Monash University, Australia Antoni Ligeza, AGH, Poland Ahmad Lotfi, Nottingham Trent University, UK Akinori Minaduk, Kushiro Prefecture University, Japan Motoki Miura, Kyushu Institute of Technology, Japan Kazunori Miyata, JAIST, Japan David C. Moffat, Glasgow Caledonian University, UK Anna Mura, University Pompeu Fabra, Spain Toyohisa Nakada, Niigata University of Interenational and Information Studies, Japan Kazushi Nishimoto, JAIST, Japan Maciej Nowak, University of Economics Prague, Czech Republic Kok-Leong Ong, Deakin University, Australia Francois Pachet, CSL Sony Paris, France Robert Pearson Przemyslaw Pukocz, AGH, Poland Pawel Rotter, AGH, Poland Jose L. Salmeron, University Pablo de Olavide, Spain Jagannathan Sarangapani, Missouri University of Science and Technology, USA Eric Schai, SCU, USA Hsu-Shih Shih, Tamkang University, Taiwan Mikifumi Shikida, JAIST, Japan Marcin Skowron, Austrian Research Institute for Artificial Intelligence, Austria Johan Suykens, K.U. Leuven, ESAT-SCD, Belgium Ryszard Tadeusiewicz, AGH, Poland I-Hsien Ting, National University of Kaohsiung, Taiwan Brijesh Verma, Central Queensland University, Australia Yongui Wang, Nanjiing University, China Michal Wozniak, Wroclaw University of Technology, Poland Fan Wu, National Chung-Cheng University, Taiwan Takashi Yoshino, Wakayama University, Japan Atsuo Yoshitaka, Japan Advanced Institute of Science and Technology, Japan Takaya Yuizono, JAIST, Japan John Zeleznikow, Victoria University, Australia Songmao Zhang, Chinese Academy of Sciences, China Constantin Zopounidis, Technical University of Crete, Greece -------------------------------------------------------------------- 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 m.kohlhase at jacobs-university.de Sun May 11 16:32:08 2014 From: m.kohlhase at jacobs-university.de (Michael Kohlhase) Date: Sun, 11 May 2014 16:32:08 +0200 Subject: First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. July 2014) Message-ID: <20140511143208.205FC3494A64@Michael-Kohlhases-MacBook-Pro.local> 26th OpenMath Workshop Coimbra, Portugal July 7. 2014 co-located with CICM 2014 Submission deadline 7 June http://www.cicm-conference.org/2014/openmath/ OBJECTIVES OpenMath (http://www.openmath.org) is a language for exchanging mathematical formulae across applications (such as computer algebra systems). From 2010 its importance has increased in that OpenMath Content Dictionaries were adopted as a foundation of the MathML 3 W3C recommendation (http://www.w3.org/TR/MathML), the standard for mathematical formulae on the Web. Topics we expect to see at the workshop include * Feature Requests (Standard Enhancement Proposals) and Discussions for going beyond OpenMath 2; * Further convergence of OpenMath and MathML 3; * Reasoning with OpenMath; * Software using or processing OpenMath; * OpenMath on the Semantic Web; * New OpenMath Content Dictionaries; Contributions can be either full research papers, Standard Enhancement Proposals, or a description of new Content Dictionaries, particularly ones that are suggested for formal adoption by the OpenMath Society. IMPORTANT DATES (all times are "anywhere on earth") * 7. June 2014: Submission * 20. June 2014: Notification of acceptance or rejection * 5. July 2014: Final revised papers due * 7. July 2014: Workshop (Coimbra time) SUBMISSIONS Submission is via EasyChair (http://www.easychair.org/conferences?conf=om20131). Final papers must conform to the EasyChair LaTeX style. Initial submissions in this format are welcome but not mandatory – but they should be in PDF and within the given limit of pages/words. Submission categories: * Full paper: 5–10 EasyChair pages * Short paper: 1–4 EasyChair pages * CD description: 1-6 EasyChair pages; a .zip or .tgz file of the CDs must be attached, or a link to the CD provided. * Standard Enhancement Proposal: 1-10 EasyChair pages (as appropriate w.r.t. the background knowledge required); a .zip or .tgz file of any related implementation (e.g. a Relax NG schema) should be attached. If not in EasyChair format, 500 words count as one page. PROCEEDINGS Electronic proceedings will be published with CEUR-WS.org. ORGANISATION COMMITTEE * James Davenport (University of Bath, UK) * Michael Kohlhase (Jacobs University Bremen, Germany) PROGRAMME COMMITTEE * James Davenport (University of Bath, UK) * Michael Kohlhase (Jacobs University Bremen, Germany) * Christoph Lange (Rheinische Friedrich-Wilhelms-Universität Bonn, Germany) * Lars Hellström (Umeå Universitet, Sweden) * Jan Willem Knopper (Technische Universiteit Eindhoven, Netherlands) * Paul Libbrecht (PH Weingarten) * Chris Rowley (LaTeX3 Project and Open Math Society) Comments/questions/enquiries: to be sent to the organizers From ijv at acm.org Mon May 12 03:23:22 2014 From: ijv at acm.org (=?iso-8859-1?Q?Ivan_Jos=E9_Varzinczak?=) Date: Sun, 11 May 2014 22:23:22 -0300 Subject: 3rd call for papers: DARe at ECAI 2014 Message-ID: * Apologies for cross-postings * ============================== Call for Papers DARe at ECAI 2014 Date: 19 August 2014 Prague, Czech Republic *** Deadline: 25 May 2014 *** ============================== The International Workshop on "Defeasible and Ampliative Reasoning" (DARe) http://dare2014.yolasite.com held on 19 August 2014 at the European Conference on Artificial Intelligence (ECAI 2014) -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption, and (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypothesis in scientific theories or finding abductive explanations in forensics. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on nonmonotonic reasoning has focused almost exclusively on defeasibility of argument forms; belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation, and even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Moreover, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, nonmonotonic reasoning, nonmonotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html) and should be no longer than 12 pages excluding references and in PDF format. There is no page limit on the list of references. Please submit to: https://www.easychair.org/conferences/?conf=dare2014 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. Please check the ECAI 2014 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 25 May 2014 - Notification: 23 June 2014 - Camera ready: 01 July 2014 - Early registration: [TBA] - Late registration: [TBA] - Workshop date: 19 August 2014 -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth (Université du Luxembourg) - Giovanni Casini (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - Szymon Klarman (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - Gilles Richard (Université Paul Sabatier, France) - Ivan Varzinczak (Universidade Federal do Rio de Janeiro, Brazil) -- Program Committee -- - Natasha Alechina (University of Nottingham, UK) - Carlos Areces (Universidad Nacional de Córdoba, Argentina) - Ofer Arieli (Academic College of Tel-Aviv, Israel) - Guillaume Aucher (University of Rennes 1 - INRIA, France) - Christoph Beierle (FernUniversitaet Hagen, Germany) - Mario Benevides (Federal University of Rio de Janeiro, Brazil) - Jean-Yves Béziau (Federal University of Rio de Janeiro and Brazilian Research Council,Brazil) - Antonis Bikakis (University College London, UK) - Alexander Bochman (Holon Institute of Technology, Israel) - Katarina Britz (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - Jim Delgrande (Simon Fraser University, Canada) - Juergen Dix (TU Clausthal, Germany) - Marcelo Finger (Universidade de São Paulo, Brazil) - Michael Fink (TU Wien, Austria) - Nina Gierasimczuk (University of Amsterdam, Netherlands) - Patrick Girard (University of Auckland, New Zealand) - Guido Governatori (NICTA and Queensland University of Technology, Australia) - Sven Ove Hansson (Royal Institute of Technology, Sweden) - Andreas Herzig (IRIT CNRS, France) - Souhila Kaci (Université Montpellier 2, France) - Antonis Kakas (University of Cyprus) - Gabriele Kern-Isberner (TU Dortmund, Germany) - Barteld P. Kooi (University of Groningen, Netherlands) - Willem Labuschagne (University of Otago, New Zealand) - João Marcos (Universidade Federal do Rio Grande do Norte, Brazil) - Thomas Meyer (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - Maurice Pagnucco (The University of New South Wales, Australia) - Laurent Perrussel (Université de Toulouse, France) - Guilin Qi (Southeast University, China) - François Schwarzentruber (ENS Rennes/IRISA) - Sonja Smets (University of Amsterdam, Netherlands) - Umberto Straccia (CNR, Italy) - Mirek Truszczynski (University of Kentucky, USA) - Joost Vennekens (K.U. Leuven, Belgium) - Peter Verdée (Universiteit Gent, Belgium) - Petrucio Viana (Universidade Federal Fluminense, Brazil) - Heinrich Wansing (Ruhr-Universitaet Bochum, Germany) - Renata Wassermann (Universidade de São Paulo, Brazil) - Anna Zamansky (University of Haifa, Israel) -- Further Information -- Please note that according to ECAI policy all workshop participants are required to register for both the workshop and the main conference. ECAI reserves the right to cancel a workshop if not enough participants register. Please visit the workshop website (http://dare2014.yolasite.com) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan José Varzinczak Departamento de Ciência da Computação - Instituto de Matemática Universidade Federal do Rio de Janeiro, Brazil Homepage: http://en.varzinczak.net16.net Google scholar profile: http://tinyurl.com/varzinczak From K.M.Atkinson at liverpool.ac.uk Mon May 12 14:45:03 2014 From: K.M.Atkinson at liverpool.ac.uk (Atkinson, Katie) Date: Mon, 12 May 2014 12:45:03 +0000 Subject: ICAIL 2015 Call for Papers Message-ID: <20AC9800-5267-453B-8268-99FD0D6DDCB5@liverpool.ac.uk> ------------------------------------- Apologies for cross-postings. ------------------------------------ 15th International Conference on Artificial Intelligence & Law (ICAIL 2015) June 8 – June 12, 2015 University of San Diego School of Law http://www.icail2015.org First Call for Papers The 15th International Conference on Artificial Intelligence and Law (ICAIL 2015) will be held at the University of San Diego School of Law from Monday, June 8 to Friday, June 12, 2015. Artificial Intelligence and Law is a vibrant research field that focuses on: • Legal reasoning and development of computational methods of such reasoning • Applications of AI and other advanced information technologies that are intended to support the legal domain • Discovery of electronically stored information for legal applications (eDiscovery) • Machine learning and data mining for legal applications • Formal models of norms, normative systems, and norm-governed societies Since it began in 1987, the ICAIL conference has been established as the primary international conference addressing research in Artificial Intelligence and Law. It is organized biennially under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). The conference proceedings are published by ACM. The journal Artificial Intelligence and Law regularly publishes expanded versions of selected ICAIL papers. The field serves as an excellent setting for AI researchers to demonstrate the application of their work in a rich, real-world domain. The conference also serves as a venue for researchers to showcase their work on the theoretical foundations of computational models of law. Accordingly, authors are invited to submit papers on a broad spectrum of research topics that include, but are not restricted to: • Formal and computational models of legal reasoning • Computational models of argumentation and decision making • Computational models of evidential reasoning • Legal reasoning in multi-agent systems • Knowledge acquisition techniques for the legal domain, including natural language processing and data mining • Legal knowledge representation including legal ontologies and common sense knowledge • Automatic legal text classification and summarization • Automated information extraction from legal databases and texts • Data mining applied to the legal domain • Conceptual or model-based legal information retrieval • E-government, e-democracy and e-justice • Modeling norms for multi-agent systems • Modeling negotiation and contract formation • Online dispute resolution • Intelligent legal tutoring systems • Intelligent support systems for the legal domain • Interdisciplinary applications of legal informatics methods and systems ICAIL is keen to broaden its scope to include topics of growing importance in artificial intelligence research. Therefore, papers are invited on the following featured categories: · eDiscovery and eDisclosure · Open data, linked data and big data · Machine learning · Argument mining Papers will be assessed in a rigorous reviewing procedure. Standard assessment criteria for research papers will apply to all submissions (relevance, originality, significance, technical quality, evaluation, presentation). Papers proposing formal or computational models should provide examples and/or simulations that show the models’ applicability to a realistic legal problem or domain. Papers on applications should describe clearly the underlying motivations, the techniques employed, and the current state of both implementation and evaluation. All papers should make clear their relation to prior work. Demonstrations: A session will be organized for the demonstration of creative, robust, and practical working applications and tools. Where a demonstration is not connected to a submitted paper, a two-page extended abstract about the system should be submitted for review, via the conference support system and following the conference style, by the demo submission deadline of January 23, 2015. Accepted extended abstracts will be published in the conference proceedings. For those demonstrations that are connected to a paper in the main track, no separate statement about the demonstration need be submitted, but the author(s) should send an email to the Program Chair by the demo submission deadline to register their interest in demonstrating their work at this session. ICAIL Workshops and Tutorials: ICAIL 2015 will include workshops and tutorials on Monday, June 8 and Friday, June 12. Proposals for workshops and tutorials are invited, and should be sent by email to the Program Chair. Tutorials should cover a broad topic of relevance to the AI and Law community. Proposals should contain enough information to permit evaluation on the basis of importance, quality, and community interest. Each workshop should have one or more designated organizers and a program or organizing committee. Proposals should be 2 to 4 pages and include at least the following information: • The workshop or tutorial topic and goals, their significance, and their appropriateness for ICAIL 2015 • The intended audience, including the research areas from which participants may come, the likely number of participants (with some of their names, if known), and plans for publicizing the workshop • Organization of the workshop or tutorial, including the intended format (such as invited talks, presentations, panel discussions, or other methods for ensuring an interactive atmosphere) and the expected length (full day or half day) • Organizers’ details: a description of the main organizers’ background in the proposed topic; and complete addresses including web pages of all organizers and committee members (if applicable) The submission deadline for workshop and tutorial proposals is December 5, 2014. Continuing Legal Education Sessions: In addition to the workshops and tutorials solicited above, ICAIL 2015 will feature several continuing legal education (CLE) sessions on Monday, June 8 and Friday, June 12, likely in the following areas: · eDiscovery · Software, automation and machine learning in IP law · Trends in legal software and search engines The University of San Diego School of Law is a State Bar of California-approved MCLE provider. Credit hours for the above CLE events are currently being evaluated. Further information about the CLE events can be found at: http://www.sandiego.edu/law/school/events/detail.php?_focus=47565 Mentoring Program for ICAIL 2015: The International Association for AI and Law (IAAIL) will offer a mentoring program for papers being submitted to ICAIL. The program is intended primarily for junior authors who have not previously published an Artificial Intelligence and Law paper at a conference or in a journal and do not have local access to suitably experienced colleagues. If you would like help with your submission, you may ask for a mentor: a person who will help you with your submission to the ICAIL audience through one-on-one advising, usually via e-mail. To request a mentor, please send an email to Guido Governatori atGuido.Governatori at nicta.com.au by the mentoring program request deadline. Please include your name and the names of your co-authors; the name of your school/department and institution; a title and an abstract; and any specific questions or areas in which you would like help. A first draft of the paper should be sent to the mentor once he/she is assigned. Further details will be provided at the conference website:http://www.icail2015.org Doctoral Consortium for ICAIL 2015: A Doctoral Consortium will be held as part of ICAIL 2015. The event will provide doctoral students with an opportunity to publish and present papers on their PhD research and to receive feedback and encouragement from the AI and Law community. Students who submit papers to the main conference are also welcome to submit their work to the Doctoral Consortium. A call for papers specifically for the Doctoral Consortium will be forthcoming in 2014. Further details will be provided at the conference website: http://www.icail2015.org Important Dates • Mentoring program request deadline: September 30, 2014 • Submission of workshop and tutorial proposals: December 5, 2014 • Submission of abstracts (optional): January 9, 2015 • Submission of papers deadline: January 16, 2015 • Submission of demonstration abstracts: January 23, 2015 • Notification of acceptance: March 13, 2015 • Doctoral consortium paper deadline: March 31, 2015 • Final revised and formatted papers due: April 17, 2015 • Conference: June 8 - June 12, 2015 Submission Details: Papers should not exceed 10 pages in the approved style. Style format template files can be found at http://www.acm.org/sigs/pubs/proceed/template.html. Whilst papers can be prepared using LaTeX or Word, all papers should be converted to PDF prior to submission. All papers must be submitted electronically to the conference support system, https://www.conftool.net/icail2015/ by the paper submission deadline. To aid the reviewing process, authors are requested to submit abstracts of their papers by the above abstract submission deadline. Abstract submissions should include the paper title, up to four keywords, and a contact address for the corresponding author. Both papers and abstracts should be submitted electronically to the conference support system. Authors will be notified of the acceptance decision by the date indicated above. Papers not accepted for full publication and presentation may be accepted as short research abstracts. Papers (including research abstracts) must be presented at the conference in order to appear in the proceedings (and, moreover, all papers and abstracts presented at the conference will appear in the proceedings, which will be published by ACM Press). Final versions of papers for publication in the proceedings will be due by the date indicated above. Donald H. Berman Award for Best Student Paper: IAAIL has established a best student paper award in memory of Donald H. Berman, a Professor of Law at Northeastern University who was a co-founder of the AI and Law journal. The award consists of a cash gift and free attendance at ICAIL 2015. For a paper to be considered for the award, the student author(s) should be clearly designated as such when the paper is submitted, and any non-student co-authors should provide a statement by email to the Program Chair that affirms that the paper is primarily student work. Notification will be made through the ICAIL website, and the award will be presented at the conference banquet. Peter Jackson Award for Best Innovative Application Paper: At ICAIL 2015 a new award is being introduced for the best innovative application paper. The award is in honor of Peter Jackson, Thomson Reuters’ Chief Research Scientist, who was a strong supporter of the ICAIL conferences and a significant contributor to the development of advanced technologies for AI and Law. For a paper to be considered for the award, the author(s) should clearly identify it as an application paper by including “innovative applications” as a keyword. Notification will be made through the ICAIL website, and the award will be presented at the conference banquet. Conference Officials: Program Chair Katie Atkinson Department of Computer Science, University of Liverpool, UK K.M.Atkinson at liverpool.ac.uk Conference Chair Ted Sichelman, University of San Diego School of Law, San Diego, CA USA tsichelman at sandiego.edu Conference Co-Chair Richard Belew Cognitive Science Department, University of California, San Diego, CA USA rik at cogsci.ucsd.edu Secretary/Treasurer Anne Gardner Atherton, CA, USA gardner at cs.stanford.edu Program Committee: To be announced. Local Committee: Richard Belew, University of California, San Diego Karl Gruben, University of San Diego School of Law Dan Katz, Michigan State School of Law Ted Sichelman, University of San Diego School of Law Thomas Smith, University of San Diego School of Law Roland Vogl, Stanford Law School ------------------------------------------------------------------------ From ecmlpkdd2014publicity at gmail.com Mon May 12 21:25:08 2014 From: ecmlpkdd2014publicity at gmail.com (ECML PKDD) Date: Mon, 12 May 2014 21:25:08 +0200 Subject: ECML/PKDD 2014 2nd Call for PhD Session Papers Message-ID: [Apologies for multiple postings] * * * * * * * * * * * * * * * * * * * * * * * * * * * * CALL FOR PAPERS ECML/PKDD 2014 PhD session https://phdsession-ecmlpkdd2014.greyc.fr/ September 15-19, 2014, Nancy, France * * * * * * * * * * * * * * * * * * * * * * * * * * * * AIM AND SCOPE The "European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases" (ECML/PKDD) includes a PhD session on machine learning and knowledge discovery in databases and related application domains. The objective of the session is to provide an environment for students to exchange in an interactive atmosphere their ideas and experiences with peers and to get constructive feedback from senior researchers in machine learning, data mining and related areas. The topics for discussion will be ideas of students and their ongoing work in preparation of their PhD dissertations and their interests in machine learning and data mining. The target audience for the session is mainly PhD students, their advisors, and interested researchers and attendees of ECML/PKDD. During the PhD session, researchers with experience in supervising and examining PhD students will be able to participate and provide feedback and advice to participants. It will be an excellent opportunity for developing person-to-person networks to the benefit of the community and PhD students in their future careers. CALL FOR PAPERS We invite PhD students (PhD in progress or defended not earlier than 31st December 2013) interested in machine learning and/or knowledge discovery in databases, to submit papers on all aspects of machine learning, knowledge discovery and data mining, including real-world applications. Research fields in which machine learning and data mining benefit from cross-fertilization are welcome. The submissions need to propose research ideas that are mature enough to be presented as a paper and whose content can evolve to become a substantial part of a PhD dissertation. The work may be in progress. Papers submitted to the PhD session may include the following items: Motivation, problem description Background and related work (including key references) Novelty and significance relative to the state of the art Approach, data, methods and proposed experiments Results obtained and work in progress Specific research issues for discussion at the PhD session The first author must be a PhD student or a Masters student with a concrete PhD research idea. Co-authors may include the research advisors, committee members and other collaborators as needed. Papers submitted to ECML/PKDD 2014 PhD session will be peer-reviewed. Accepted papers will be presented in the special PhD session at ECML/PKDD 2014 and will be published in the session proceedings which will be available through the conference website. The PhD student must register for the conference and give an oral presentation at the PhD session. SUBMISSION The papers must be written in English and formatted according to the Springer LNAI guidelines. Authors instructions and style files can be downloaded at: http://www.springer.de/comp/lncs/authors.html. The maximum length of papers is 10 pages in this format. All aspects of the submission and notification process are handled online through the conference CMT submission system (https://cmt.research.microsoft.com/ECMLPKDD2014/), select from the menu the PhD track. For more details on the PhD session, see the webpage at https://phdsession-ecmlpkdd2014.greyc.fr/ IMPORTANT DATES Deadline for submissions: 11th June, 2014 Author notification: 11th July, 2014 Final version: 25th July, 2014 PhD session date: 15-19 September, 2014 ORGANIZATION - Radim Belohlavek, Palacky University, CZ radim.belohlavek at acm.org - Bruno Cremilleux, Universite de Caen, FR bruno.cremilleux at unicaen.fr In case you have any question, please do not hesitate to contact us. PROGRAM COMMITTEE * Stephane Canu (INSA Rouen, FR) * Peggy Cellier (INSA Rennes, FR) * Sanjay Chawla (University of Sydney, AU) * Carlotta Domeniconi (George Mason University, VA, US) * Richard Emilion (University of Orleans, FR) * Georgiana Ifrim (University College Dublin, IE) * Dino Ienco (IRSTEA, FR) * Jiri Klema (Czech Technical University, Prague, CZ) * Rudolf Kruse (Otto von Guericke University Magdeburg, DE) * Marzena Kryszkiewicz (Warsaw University of Technology, PL) * Sergei Kuznetsov (National Research University HSE, Moscow, RU) * Donato Malerba (University of Bari, IT) * Pauli Miettinen (Max-Planck-Institut für Informatik, DE) * Sergei Obiedkov (National Research University HSE, Moscow, RU) * Panagiotis Papapetrou (Stockholm University, SE) * Sebastian Rudolph (University of Karlsruhe, DE) * Dan Simovici (University of Massachusetts, Boston, MA, US) * Arnaud Soulet (University Francois Rabelais of Tours, FR) * Gerd Stumme (University of Kassel, DE) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pascal.hitzler at wright.edu Thu May 15 05:46:02 2014 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Wed, 14 May 2014 23:46:02 -0400 Subject: CfP: Ontology Design Patterns descriptions. Special call of the Semantic Web journal Message-ID: <5374387A.3040601@wright.edu> Special Call of the Semantic Web journal for ONTOLOGY DESIGN PATTERN DESCRIPTIONS http://www.semantic-web-journal.net/blog/special-call-ontology-design-pattern-descriptions An ontology design pattern is a reusable solution to a recurring ontology modeling problem. Different kinds of ontology design patterns have been identified, and they are used for different purposes ranging from their use as building blocks and strategies for ontology creation to their utilization for heterogneity preservation in information integration. The Semantic Web journal calls for papers containing concise descriptions of an Ontology Design Pattern. Papers are typically expected to include discussions of at least the following aspects. * A general introduction concerning the rationale of making the pattern. * A graphical depiction of the pattern accompanied by an explanation, in intuitive terms, of the design choices made. * A detailed axiomatization, e.g. using OWL, for the relationships between the vocabulary terms used in the patterns. * A detailed discussion of related patterns or ontology modeling practices and their relationships with the presented pattern. * A convincing discussion of use cases. * Examples for existing datasets which can be used with the pattern. Papers will be evaluated along the following dimensions: Quality of the pattern, usefulness (or potential usefulness) of the pattern, clarity and completeness of the descriptions. Prospective authors must take notice of the submission guidelines posted at http://www.semantic-web-journal.net/authors Deadlines: Paper submission: June 15, 2014 Notification: Usually within 8 weeks of submission Members of the Guest Editorial Board will be invited as papers are submitted. In case of questions, please contact the Editors-in-chief: Pascal Hitzler Krzysztof Janowicz contact at semantic-web-journal.net -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From stefan.brass at informatik.uni-halle.de Thu May 15 11:56:04 2014 From: stefan.brass at informatik.uni-halle.de (Stefan Brass) Date: Thu, 15 May 2014 11:56:04 +0200 Subject: WLP 2014: Workshop on (Constraint) Logic Programming Message-ID: <53748F34.5000003@informatik.uni-halle.de> ------------------------------------------------------------------------------ First CALL FOR PAPERS 28th Workshop on Logic Programming (WLP 2014) http://dbs.informatik.uni-halle.de/wlp14/ Wittenberg, Germany, September 15-17, 2014 ------------------------------------------------------------------------------ The workshops on (constraint) logic programming serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP, "Gesellschaft fuer Logische Programmierung e.V."). They bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research. Previous workshops have been held in Germany, Austria, Switzerland, and Egypt. Contributions are welcome on all theoretical, experimental, and application aspects of logic programming (LP) and constraint programming (CP), including, but not limited to the following areas: * foundations of constraint/logic programming * constraint solving and optimization * extensions: functional logic programming, objects * deductive databases, data mining * nonmonotonic reasoning * dynamics, updates, states, transactions * interaction of LP/CP with other formalisms like agents, XML, JAVA * program analysis, program transformation, program verification, meta programming * parallelism and concurrency * answer-set programming * implementation techniques * software techniques and programming support (e.g., types, modularity, design patterns, debugging, testing, systematic program development). * applications of logic programming; * Reasoning on the Semantic Web. The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, interesting experiments (e.g., benchmarks) or ongoing scientific work are also encouraged. The workshop is held together with the 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014), see http://www.imn.htwk-leipzig.de/WFLP2014/ It will be a joint workshop with separate tracks. Submission ========== Authors are invited to submit an extended abstract (no longer than 15 pages including figures and references) or a system description (no longer than 6 pages) in PDF or Postscript format (11pt) before July 01, 2014 via EasyChair http://www.easychair.org/conferences/?conf=wflp2014 The track (WLP or WFLP) must be selected for the submission. All submissions must be written in English. Authors are encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html All submissions must be unpublished original work. However, Work that already appeared in unpublished or informally published workshops proceedings may be submitted, too. All accepted papers will be published in a technical report and made available electronically. The possibility of post-conference proceedings together with WFLP are currently being discussed. Important Dates =============== Submission of papers: July 01, 2014 Notification of acceptance: August 01, 2014 Camera-ready papers: September 01, 2014 Early-Registration Deadline: August 15, 2014 Workshop: September 15-17, 2014 Program committee (WLP Track) ============================= Andreas Behrend - Univ. Bonn Christoph Beierle - Univ. Hagen Stefan Brass - Univ. Halle Francois Bry - LMU Muenchen Juergen Dix - TU Clausthal Thom Fruehwirth - Univ. Ulm Michael Hanus - Univ. Kiel Petra Hofstedt - BTU Cottbus Michael Leuschel - Univ. Duesseldorf Rainer Manthey - Univ. Bonn Dietmar Seipel - Univ. Wuerzburg Sibylle Schwarz - HTWK Leipzig Hans Tompits - TU Wien Armin Wolf - Fraunhofer FOKUS Programm Chairs =============== Prof. Dr. Stefan Brass (WLP Track) University of Halle Institut f. Informatik Von-Seckendorff-Platz 1 D-06099 Halle (Saale) EMAIL: brass at informatik.uni-halle.de HTTP: http://users.informatik.uni-halle.de/~brass/ Prof. Dr. Johannes Waldmann (WFLP Track) HTWK Leipzig F-IMN Postfach 301166 D-04251 Leipzig HTTP: http://www.imn.htwk-leipzig.de/~waldmann/ From patkos at csd.uoc.gr Thu May 15 15:49:45 2014 From: patkos at csd.uoc.gr (Theodore Patkos) Date: Thu, 15 May 2014 16:49:45 +0300 Subject: [CfP] Rule Challenge 2014 Final Call for Papers Message-ID: <5374C5F9.4090705@csd.uoc.gr> Apologies for cross-postings. Please send to interested colleagues. ---------------------------------------------------------------- Final Call for Papers 8th International Rule Challenge 2014 (http://2014.ruleml.org/challenge) part of the RuleML 2014 symposium held in conjunction with ECAI 2014, the 21st European Conference on Artificial Intelligence Prague, Czech Republic, August 19, 2014 ---------------------------------------------------------------- About Rule Challenge 2014 ========================= The Rule Challenge 2014 is one of the highlights at the RuleML 2014 Symposium: it provides a showcase for innovative rule-oriented applications, aimed at both the research and industrial side. Rule Challenge 2014 proceedings will be published as CEUR Proceedings and indexed by SCOPUS, and a selection of the best systems will be invited for demonstration at PAIS 2014 (part of ECAI 2014). Moreover, a complimentary 1-year online membership is offered by the Association for the Advancement of Artificial Intelligence (AAAI) to RuleML Symposium participants who are new to AAAI. RuleML 2014 Rulebase Competition ================================ RuleML Inc announces a US$1000 Award for the best RuleML Rulebase of 2014. This year's rulebases are solicited in Deliberation RuleML 1.01. More information is available here: http://blog.ruleml.org/post/28221570-4652-42e6-9556-8d304372bdeb/, "RuleML 2014 Rulebase Competition" Topics ======= Key themes of the RuleML 2014 Challenge include, but are not limited to the following: - Demos related to the RuleML 2014 Track Topics - Extensions and implementations of rule-related standards, e.g. RIF, CL, SBVR, BPMN, BPEL, RuleML, etc. - Rule-based Event Processing and Stream Reasoning - Editing environments and IDEs for Web rules - Benchmarks and comparison results for rule engines - Distributed rule bases and rule services - Reports on industrial experience about rule systems - Real cases and practical experiences Awards ======== At a special session of RuleML 2014, we will present the following awards: * Rule Challenge Best System and Runner-up Awards * RuleML 2014 Rulebase Competition Award RuleML 2014 Challenge Chairs ============================ Theodore Patkos (FORTH-ICS, Greece) Adam Wyner (University of Aberdeen, UK) Adrian Giurca (Brandenburg University of Technology Cottbus--Senftenberg, Germany) Important Dates =============== Paper submission: 23 May 2014 Notification: 6 June 2014 Camera ready: 20 June 2014 Rule Challenge 2014 dates: 19 August 2014 Submission Guidelines ===================== High quality, original papers, potentially referencing online material, and ranging between 2-15 pages can be submitted at https://www.easychair.org/conferences/?conf=ruleml2014challenge Please upload all submissions in LNCS format (http://www.springer.de/comp/lncs/authors.html). To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on clarity and significance of objectives and demonstration of results. ====================== Website: http://ruleml2014.vse.cz/challenge Twitter hashtag: #ruleml2014 Blog: http://blog.ruleml.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icsai2014cfp at sdju.edu.cn Thu May 15 16:38:53 2014 From: icsai2014cfp at sdju.edu.cn (Prof Song) Date: Thu, 15 May 2014 22:38:53 +0800 Subject: ICSAI 2014, Shanghai: Submission Deadline 30 May [EI Compendex/IEEE Xplore] Message-ID: <600164347.06671@eyou.net> Dear Colleague, The 2014 International Conference on Systems and Informatics (ICSAI 2014) will be held from 15-17 November 2014 in Shanghai, China. ICSAI 2014 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science. Keynote speakers include Ljiljana Trajkovic, President of the IEEE Systems, Man, and Cybernetics Society; Witold Pedrycz, Editor-in-Chief of 3 SCI-indexed journals (including IEEE Transactions on Systems, Man, and Cybernetics: Systems); and Marimuthu Palaniswami, a renowned researcher. Topics include (but are not limited to): Systems · Control and Automation Systems · Power and Energy Systems · Intelligent Systems · Computer Systems and Applications Informatics · Communications and Networking · Image, Video, and Signal Processing · Data Engineering and Data Mining · Software Engineering The registration fee of US$410 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. All papers in conference proceedings will be submitted to both IEEE Xplore and EI Compendex for indexing. Substantially extended versions of best papers will be considered for publication in a special issue of a SCI-indexed journal. Shanghai is the largest city in China, with famous historical and cultural heritage. Attractions include Yuyuan Garden ("Happy Garden" built in Ming Dynasty), Shanghai Museum with 120,000 pieces of rare relics, Shanghai World Financial Center, Jade Buddha Temple (Song Dynasty), Oriental Pearl TV Tower, Zhujiajiao Water Town, and Expo 2010 site. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. All papers in the invited sessions can be marked as "Invited Paper". The organizer(s) for each invited session with at least 6 registered papers will jointly enjoy an honorarium of US*D 400. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a list of recommended papers is determined by 10 October 2014. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to icsai2014 at sdju.edu.cn For more information, visit the conference web page: http://ICSAI2014.sdju.edu.cn If you have any questions after visiting the conference web page, please email the secretariat at icsai2014 at sdju.edu.cn Join us at this major event in exciting Shanghai !!! Organizing Committee icsai2014 at sdju.edu.cn P.S.: Kindly forward to your colleagues or students who may be interested. If you wish to unsubscribe, in which case we apologize, please reply with "unsubscribe event at tu-clausthal.de " in your email subject. Thanks. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From feeds at sentic.net Fri May 16 03:51:27 2014 From: feeds at sentic.net (feeds) Date: Thu, 15 May 2014 20:51:27 -0500 (EST) Subject: [SenticNet] PhD Studentships on Sentiment Analysis @ NTU Singapore Message-ID: <1023026394.1477932.1400205087573.open-xchange@bosoxweb01.eigbox.net> The Sentic Team (sentic.net/team) at NTU School of Computer Engineering is expanding. We are looking for outstanding candidates to join us from January 2015 to further develop and apply our recent research work on dependency-based concept-level sentiment analysis (sentic.net/sentic-patterns.pdf). The ideal candidates will have experience in knowledge representation and reasoning, natural language processing and linguistics. Excellent writing skills are strictly required. Prospective candidates must meet the minimum requirements of NTU's PhD Admissions and apply by 30th June 2014 (admissions.ntu.edu.sg/graduate/R-Programs/R-WhenYouApply). Selected candidates will get a monthly stipend of S$2000. Once they are confirmed (normally after 18 months), their monthly stipend will be increased to S$2500. The scholarship will pay for all their school fees. Prospective candidates are advised to apply also through SINGA (ntu.edu.sg/singa). From seps at guarant.cz Fri May 16 11:24:43 2014 From: seps at guarant.cz (Seps Zuzana) Date: Fri, 16 May 2014 09:24:43 +0000 Subject: Call for papers for a workshop affiliated with ECAI 2014 Message-ID: <9a2b6e09aa254c09b819883bad673f08@GUARANT-EX.guarant.ad> *********************************************************** * SECOND CALL FOR PAPERS * Artificial Intelligence meets Web of Knowledge * AIWK-2014 * http://aiwk.lsis.org ************************************************************ The international workshop Artificial Intelligence meets Web of Knowledge (AIWK-2014) is affiliated with the European Conference on Artificial Intelligence (ECAI-2014, http://www.ecai2014.org) and will take place in Prague, Czech Republic, August 19, 2014. Workshop description ******************** The aim of this workshop is to bridge the gap between Knowledge Representation & Reasoning and Web of Knowledge research communities, and to address the problem of querying large scale multisource heterogeneous information. This problem is at the core of the ASPIQ project (http://aspiq.lsis.org/aspiq/?q=en), funded by ANR (French National Research Agency). It is centered on three main aspects: • Processing multisource information • Processing heterogeneous information • Performing large scale reasoning These issues are relevant to the Semantic Web. The ASPIQ project studies formalisms allowing to represent ontological knowledge, with exceptions in tax- onomies and uncertainty on concepts. From a large amount of data distributed on the Web, expressed in different languages, the objective is to merge infor- mation via a common formalism, which provides a global point of view, and to query this common representation to obtain more “intelligent” answers, without loosing efficiency. Accordingly, this workshop is dedicated to the discussion of these issues. It aims at encouraging collaboration of researchers from both communities. We are primarily interested in issues related to belief change, merging and query- ing knowledge bases expressed in tractable fragments of ontological languages. Moreover, for implementation issues, we are primarily interested in logic pro- gramming approaches such as Answer Set Programming or extensions of Data- log. Topics ****** Topics of interest include but are not limited to: • Reasoning with tractable fragments of OWL languages • Belief change & tractable description logics • Reasoning on the web of data • Ontology-based data-access • Ontological query answering • Reasoning and querying with distributed knowledge sources • Semantic access control and reasoning with profiles • Scalable and anytime reasoning on big data • Belief change & ASP • Datalog+/- and existential rules • ASP & description logics • ASP & uncertainty • First-order ASP Paper submission **************** The authors should submit their paper via EasyChair: https://www.easychair.org/conferences/?conf=aiwk2014 We expect submissions not exceeding 12 pages in pdf format according to Springer’s LNCS style guidelines: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The submissions will be peer-reviewed. The authors of accepted papers will be invited to provide a long version of their paper for post-proceedings that will be published by Springer in a special issue in the LNCS/LNAI series. Important dates *************** • Paper submission deadline: May 25, 2014 • Notification of acceptance: June 23, 2014 • Deadline for final camera ready copy: July 15, 2014 • AIWK-2014 workshop (1 day): August 19, 2014 Invited talk ************ Thomas Eiter (Vienna University of Technology) Program Committee ***************** • Jean-Fran ̧ois Baget (INRIA, Montpellier, France) • Madalina Croitoru (University of Montpellier 2, France) • Jérôme Euzenat (INRIA, Grenoble, France) • Gabriele Kern-Isberner (University of Dortmund , Germany) • Sébastien Konieczny (University of Artois, France) • Markus Krötzsch (University of Dresden, Germany) • Sylvain Lagrue (University of Artois, France) • Michel Leclère (University of Montpellier 2, France) • Joao Leite (University of Lisbon, Portugal) • Claire Lefèvre (University of Angers, France) • Stéphane Loiseau (University of Angers, France) • Nicola Leone (University of Calabria, Italy) • Robert E. Mercer (University of Western Ontario, Canada) • Farid Nouioua (Aix Marseille University, France) • Vincent Risch (Aix Marseille University, France) • Riccardo Rosati (University La Sapienza, Roma, Italy) • Marie-Christine Rousset (University of Grenoble, France) • Guillermo Simari (University Bahia blanca, Argentine) • Igor Stéphan (University of Angers, France) • Stefan Woltran (Technical University of Wien, Austria) • Eric Würbel (University of Toulon, France) Chairs ****** • Odile Papini (Aix-Marseille University, France) • Marie-Laure Mugnier (University of Montpellier 2, France) • Laurent Garcia (University of Angers, France) • Salem Benferhat (University of Artois, France) Contact ******* Odile Papini, odile.papini at univ-amu.fr This workshop receives support from ANR (French National Research Agency), ASPIQ project reference ANR-12-BS02-0003. (http://aspiq.lsis.org/aspiq/?q=en) From t.balke at surrey.ac.uk Fri May 16 17:17:26 2014 From: t.balke at surrey.ac.uk (t.balke at surrey.ac.uk) Date: Fri, 16 May 2014 15:17:26 +0000 Subject: Registration is Open: Social.PATH 2014 - Computational Social Science and Social Computer Science: Two Sides of the Same Coin? In-Reply-To: <127B27DF-D7D2-469D-A61F-94CA8FAAED5D@surrey.ac.uk> References: <078E14F1-C7ED-4FD5-8487-5A6CBA3A9918@surrey.ac.uk> <127B27DF-D7D2-469D-A61F-94CA8FAAED5D@surrey.ac.uk> Message-ID: <3893EDB9-0273-4A69-A703-7AC6462A029F@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) REGISTRATION NOW OPEN http://store.surrey.ac.uk/browse/extra_info.asp?compid=1&modid=2&catid=34&prodid=173 Invited Speakers (confirmed): Andreas Flache (Groningen University) and Doyne Farmer (Oxford University) ======================================================================================================= 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. Starting from this point, this years workshop will focus on the topic “Computational Social Science and Social Computer Science: Two Sides of the Same Coin?” address the following two points in particular: 1. The operationalisation of human behaviour in realistic settings (where perfect rationality is not applicable anymore), as well as 2. The Investigation of the interplay of bottom-up and top-down approaches to study complex systems. The workshop aims to lead the way to a research agenda that can harness the power of social science theories for the modelling community in a more thorough way than was hereto possible, aided by advances in computer technology and modelling experience. Registration Information =================== Registration website: http://store.surrey.ac.uk/browse/extra_info.asp?compid=1&modid=2&catid=34&prodid=173 Standard Registration Fee (£100): This fee includes attendance to all sessions and the main dinner on 23 June 2014. Student Registration Fee (£55): This fee includes attendance to all sessions and the main dinner on 23 June 2014. Workshop Dates: 23rd June 2014 – 24th June 2014, University of Surrey, Guildford, UK Registration Deadline: 14th June 2014 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From hastings at ebi.ac.uk Fri May 16 17:29:52 2014 From: hastings at ebi.ac.uk (Janna Hastings) Date: Fri, 16 May 2014 16:29:52 +0100 Subject: IAOA Interdisciplinary Summer School in Vitoria, Brazil, September 15 - 19 In-Reply-To: <030d01cf711b$9f1a2460$dd4e6d20$@ebi.ac.uk> References: <026a01cf711a$f9066cf0$eb1346d0$@ebi.ac.uk> <027d01cf711b$10481990$30d84cb0$@ebi.ac.uk> <028d01cf711b$1e388530$5aa98f90$@ebi.ac.uk> <029d01cf711b$2ac54220$804fc660$@ebi.ac.uk> <02ad01cf711b$39d54e90$ad7febb0$@ebi.ac.uk> <02bd01cf711b$48e3fb70$daabf250$@ebi.ac.uk> <02cd01cf711b$5d498a30$17dc9e90$@ebi.ac.uk> <02dd01cf711b$6e9afb20$4bd0f160$@ebi.ac.uk> <02ed01cf711b$82450210$86cf0630$@ebi.ac.uk> <02fd01cf711b$8f00e550$ad02aff0$@ebi.ac.uk> <030d01cf711b$9f1a2460$dd4e6d20$@ebi.ac.uk> Message-ID: <031801cf711b$ae765500$0b62ff00$@ebi.ac.uk> The International Association for Ontology and its Applications (IAOA) and The Ontology and Conceptual Modeling Research Group (NEMO/UFES) are proud to announce the Second IAOA Interdisciplinary Summer School on Ontological Analysis September 15-19, 2014 -- Vitória, Brazil http://iaoa.org/isc2014 Description ----------- Four world-class experts in different disciplines (Philosophy, Knowledge Representation, Logics, Conceptual Modeling and Ontology Engineering) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, and these experts will engage in open discussions with each other as well as interact with the participants. The school will take place in Vitória, a beautiful city in the southeast of Brazil just a 50-min flight from Rio de Janeiro. http://iaoa.org/isc2014/pmwiki.php/Main/Venue LIMITED Registration and Grants -------------------------------- Registrations will be open soon, on a first-come first-served basis. We would like to highlight that the event will have a LIMITED NUMBER OF PARTICIPANTS to ensure the quality of the interactions and the immersion experience. Check the registration page for further information, and to register in order to be notified as soon as registrations are open: http://goo.gl/rw6Kq5 A limited number of grants will be provided by IAOA to cover the registration fee on behalf of students. Applications for student grants should be sent exclusively by e-mail to vitorsouza at inf.ufes.br by 3rd June 2014 (hard deadline) with subject "ISC 2014 - Application for Student Grant". Applications consist of (1) a 200-word statement of interest in the topic, describing how it relates to your areas of interest and study (in English); (2) a resumé or curriculum vitae; (3) proof of student status (undergraduate or graduate). The organization will select and notify applicants by 10th June 2014. [In exceptional cases these grants will contribute to cover travel expenses and accommodation.] Program ------- The following courses are confirmed: * APPLIED ONTOLOGY AND CONCEPTUAL MODELING: Nicola Guarino (Laboratory for Applied Ontology, Italy) * ONTOLOGY ENGINEERING IN ORGANIZATIONS: Michael Uschold (Semantic Arts, Inc., USA) * FORMAL ONTOLOGY: Kit Fine (New York University, USA) * LOGICS AND KNOWLEDGE REPRESENTATION: Renata Wasserman (IME, USP, Brazil) In addition to the courses, a number of shorter invited talks are expected, including: * AN INTRODUCTION TO APPLIED ONTOLOGY: Giancarlo Guizzardi (Federal University of Espírito Santo, Brazil) Short Bios of the Speakers -------------------------- NICOLA GUARINO is Research Director at the Institute for Cognitive Sciences and Technologies of the Italian National Research Council (ISTC-CNR), where he leads the Laboratory for Applied Ontology (LOA), a section of the Institute located in Trento. Since 1991 he has been playing a leading role in the ontology field, developing a strongly interdisciplinary approach that combines together Computer Science, Philosophy, and Linguistics, and relies on logic as a unifying paradigm. Results of his lab include the OntoClean methodology and the DOLCE foundational ontology. Current research interests include ontology-driven conceptual modelling, socio-technical systems, and service science. He is founder and editor-in-chief (with Mark Musen from Stanford University) of the international journal Applied Ontology, and is the founder and was first president of the International Association for Ontology and its Applications, IAOA. He is editorial board member of the International Journal of Semantic Web and Information Systems, the Journal of Data Semantics, and editor of the IOS Press book series Frontiers in AI and Applications. He has been recently nominated ECCAI fellow. MICHAEL USCHOLD, is an internationally-recognized expert with 25 years experience in developing and transitioning semantic technology from academia to industry. Michael pioneered the field of ontology engineering, co-authoring the first paper and giving the first tutorial on the topic in 1995. This leveraged the work he did in creating the influential ³Enterprise Ontology.² He spent 11 years at Boeing defining, leading and participating in numerous projects applying semantic technology to enterprise challenges. Michael is a regular invited speaker and panelist at national and international events, and has given numerous tutorials and training classes. He received his PhD in Artificial Intelligence from The University of Edinburgh in 1991. KIT FINE is University Professor and Silver Professor of Philosophy and Mathematics at New York University and Distinguished Research Professor at University of Birmingham. He specialises in metaphysics, logic, and philosophy of language. He is a fellow of the American Academy of Arts and Sciences and a corresponding fellow of the British Academy. Professor Fine has served as an editor or as a member of the editorial board for Journal of Symbolic Logic, Synthese, Notre Dame Journal of Formal Logic, Journal of Applied Non-Classical Logics, Reports on Logic, and Philosophers' Imprint. RENATA WASSERMAN is Associate Professor at the Computer Science Department of the University of São Paulo, (PhD, Institute of Logic, Language and Computation of the University of Amsterdam, 2000). Working on Knowledge Representation and Belief Revision, specially on non-classical logics, got involved with ontologies from the description logics side. Current interests include merging of ontologies and ontology evolution. GIANCARLO GUIZZARDI is Associate Professor and research lead in the Ontology and Conceptual Modeling Research Group (NEMO), Federal University of Espirito Santo, in Brazil, a visiting professor at the University of Trento, Italy, and and associate researcher at the Laboratory for Applied Ontology (LOA), at the ISTC-CNR, Italy. He has been working since 1997 in the development of Domain and Foundational Ontologies and their application in computer science and, primarily, in the area of Conceptual Modeling. He is a former member of the Executive Council and currently a member of the Advisory Board of the International Association for Ontologies and its Applications (IAOA). He is also an editorial board member of the following journals: Applied Ontology, Semantic Web, Requirements Engineering and International Journal of Information Systems Modeling and Design. His experience in the aforementioned areas has also been acquired in a number of industrial projects in domains such as Off-Shore Software Development, Petroleum and Gas, Digital Journalism, E-Government, Telecommunications and Complex Media Management. Organization ------------ Ontology & Conceptual Modeling Research Group (NEMO) Computer Science Department, Federal University of Espírito Santo, Brazil http://nemo.inf.ufes.br Organization Committee ---------------------- João Paulo A. Almeida (chair), Federal University of Espírito Santo, Brazil Giancarlo Guizzardi (chair), Federal University of Espírito Santo, Brazil Maria das Graças da Silva Teixeira, Federal University of Espírito Santo, Brazil Monalessa Perini Barcellos, Federal University of Espírito Santo, Brazil Renata Silva Souza Guizzardi, Federal University of Espírito Santo, Brazil Ricardo de Almeida Falbo, Federal University of Espírito Santo, Brazil Vítor E. Silva Souza, Federal University of Espírito Santo, Brazil Visit the web site of the school for more information: http://iaoa.org/isc2014 The school is open to students, researchers and practitioners. Feel free to distribute the announcement. ---------------------------------------------------------------------------- ---------------------------------- Janna Hastings Email: hastings at ebi.ac.uk | Tel: +44 (0)1223 494411 | Fax: +44 (0)1223 494468 Twitter: @jannahastings | ORCID: 0000-0002-3469-4923 | Web: www.ebi.ac.uk/~hastings 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 nikolay.shilov at nu.edu.kz Fri May 16 21:01:42 2014 From: nikolay.shilov at nu.edu.kz (Nikolay Shilov) Date: Sat, 17 May 2014 02:01:42 +0700 Subject: Fun With Formal Methods: deadline extension and 2nd CFP. Message-ID: 2nd workshop on Fun With Formal Methods (FWFM-2014, http://www.easychair.org/smart-program/VSL2014/FWFM-cfp.html) Vienna, Austria, July 13, 2014 (as a part of Vienna Summer of Logic VSL-2014, http://vsl2014.at/ in affiliation with (CAV-2014, http://vsl2014.at/meetings/CAV-index.html ). * Aims and Scope Almost half of a century has passed since Robert W. Floyd published the first research that explicitly discussed formally how to assign meaning to programs. But recently David L. Parnas have called Really Rethinking "Formal Methods", to question the assumptions underlying the well-known current formal software development methods to see why they have not been widely adopted and what should be changed. So, things are right where they started decades ago? Not at all, since industrial applications of Formal Methods are not the unique measure of success. Another dimension where we can discuss utility of Formal Methods could be better education. A very popular (in Russia) aphorism of Mikhail Lomonosov (the first Russian academician) says: "Mathematics should be learned just because it disciplines and bring up the mind". We do believe that Formal Methods discipline and bring up minds in Computer Science. We would not like to say that educators should not care about industrial applications of Formal Methods (quite opposite, we must care!). At the same time Formal Methods education helps to bridge a "cultural gap" (E.W.Dijkstra) between Mathematics and Computer Science. The problem is how to overcome a stable allergy to Formal Methods: many people think Formal Methods are too pure in theory but too poor in practice. We do believe that the basic reason behind this allergy is the absence of primary, elementary level. It is not wise to start teaching arithmetic from Peano axiomatic, but it is a common sense to start from elementary problems about numbers of apples, pencils, etc. * The workshop is designed for - enjoying the art and beauty of Formal Methods, - discussing experience how to make Formal Methods easy, - presenting application of Formal Methods to puzzles, to games, etc., - non-standard problem solving outside programming and Computer Science, - everything else about Fun and Joy of Formal Methods. * Invited speakers - Nikolay Nepejvoda (Program Systems Institute, Russia), the title TBA - TBA * Prvious workshop FWFM-2013 One day workshop Fun With Formal Method was held Saturday, July 13, 2013, in Saint Petersburg, Russia (FWFM-2013) in affiliation with the 25th International Conference on Computer Aided Verification (CAV-2013). Please refer for further details to the page of FWFM-2013 at http://www.iis.nsk.su/fwfm2013. Selected papers of this workshop have been accepted for publication in the electronic journal Informatica Didactica (http://www.informatica-didactica.de/cmsmadesimple/index.php?page=home ) devoted to post-proceedings of FWFM-2013. * Paper Submissions Extended abstracts and papers on topics related to FWFM are solicited. There is no any strict limit for page number or style, but it is recommended to be in range 2-4 pages for extended abstracts and 4-16 pages for papers. (Single column, single interval, font not less than 12 for review convenience.) All submitted paper will be reviewed by 2 members of Program Committee (or their sub-reviewers) and selection of accepted papers will based on relevance, quality and (partly) originality of the submitted papers. Papers already published somewhere are also welcome but must make it explicit their publication status (for including to proceedings). Please submit your extended abstracts and papers via Easychair page http:/www.easychair.org/conferences/?conf=fwfm2014. We plan to publish informal proceedings before the workshop and disseminate them among participants at the workshop on USB-sticks. Selected papers of this workshop will be published in the electronic journal Informatica Didactica (http://www.informatica-didactica.de/cmsmadesimple/index.php?page=home) devoted to post-proceedings of FWFM-2014. * Important Dates - Sunday, May 25, 2014: extended date for extended abstract or paper submission; - Sunday, June 01, 2014: acceptance notification; - Sunday, June 08, 2014: updated abstracts and papers for pre-proceedings; - Sunday, July 13, 2014: FWFM workshop in Vienna. * Registration Dates and Details Please refer to the main registration page of VSL at http://vsl2014.at/registration/ for further details, fees and methods of payment. * For further questions please contact Nikolay Shilov ( nikolay.shilov at nu.edu.kz) Nazarbayev University, Astana, Kazakhstan (while on leave from A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sat May 17 11:46:45 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 17 May 2014 12:46:45 +0300 Subject: 7th Int. Conf. on Developments in eSystems Engineering (DeSE 2014): Final Call for Papers Message-ID: *** Final 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 Proceedings will be published by IEEE *** Extended Submission Deadline: 15th June 2014 *** 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: June 15th, 2014 (extended) Notification of Acceptance: July 15th, 2014 Camera-Ready Submission: July 31st, 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 agi.kurucz at kcl.ac.uk Sun May 18 13:49:58 2014 From: agi.kurucz at kcl.ac.uk (Agi Kurucz) Date: Sun, 18 May 2014 12:49:58 +0100 Subject: AiML-2014: FINAL CALL FOR SHORT PRESENTATIONS - deadline: 21 May 2014 Message-ID: <53789E66.500@kcl.ac.uk> *** Apologies for cross-postings **** AiML-2014: FINAL CALL FOR SHORT PRESENTATIONS Submission deadline: 21 May 2014 ************************************************************** 10th INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC, GRONINGEN, 5-8 AUGUST, 2014 http://www.philos.rug.nl/AiML2014/ SHORT PRESENTATION SUBMISSIONS These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. Short presentations will NOT be published in the conference proceedings. Short presentations should be submitted electronically using the EasyChair submission page at https://www.easychair.org/account/signin.cgi?conf=aiml2014 At least one author of each accepted short presentation must register for and attend the conference. IMPORTANT DATES Short presentations submission deadline: 21 May 2014 Short presentations acceptance notification: 2 June 2014 Final versions of short presentations due: 9 June 2014 Conference: 5-8 August, 2014. ENQUIRIES. E-mail enquiries should be sent to aiml2014 at easychair.org From ijv at acm.org Sun May 18 23:58:02 2014 From: ijv at acm.org (=?iso-8859-1?Q?Ivan_Jos=E9_Varzinczak?=) Date: Sun, 18 May 2014 18:58:02 -0300 Subject: 8th Int'l Workshop on Modular Ontologies (WoMO 2014) - Submission Deadline Extended to May 27 Message-ID: *Apologies for cross-posting* ======================================================== 8th Int'l Workshop on Modular Ontologies (WoMO) Rio de Janeiro, Brazil, September 22, 2014 held in conjunction with FOIS 2014 --- Last Call for Papers --- ======================================================== EXTENDED Submission deadline: May 27, 2014 ======================================================== IMPORTANT DATES Submissions: Extended to May 27, 2014 Notification: June 30, 2014 Camera ready: July 20, 2014 Workshop: September 22, 2014 Submission guidelines: http://womo2014.bio-lark.org MODULARITY as studied for years in software engineering, is also central to formal and applied ontologies. Modularity supports reducing the complexity of ontologies and thereby easing the development, use and reuse, verification, maintenance, and integration of ontologies by humans and machines. The WoMO workshop series, now in its 8th edition, has helped to advance the understanding of modularity as it applies to ontologies. This year's workshop aims to go beyond ontologies and focuses on fostering knowledge exchange between other communities where modularity is or may become a critical factor, such as Big Data and Context. Big Data denotes collections of large, complex and heterogeneous datasets characterised by big volume, velocity and variety. The key research questions in this area revolve around the efficient management and use of this data, i.e., facets where modularized ontologies may lead to improved solutions. Context, on the other hand, is one of the most challenging problems faced in Artificial Intelligence (AI). Without considering contextual information, reasoning can easily run into problems such as: inconsistency, when considering knowledge in the wrong context; inefficiency, by considering knowledge irrelevant for a certain context; incompleteness, since an inference may depend on knowledge assumed in the context and not explicitly stated. Modular representations of knowledge, including modular ontologies, are one promising avenue for dealing with such context-related issues. WoMO 2014 continues the series of successful events that have been an excellent venue for practitioners and researchers to discuss latest work as well as work-in-progress. The most recent WoMOs were held at FOIS/ICBO 2012 and at LPNMR 2013. This time WoMO will be collocated with the Conference on Formal Ontology in Information Systems (FOIS 2014), the leading conference in formal and applied ontology, in Rio de Janeiro, Brazil. In addition to the foundational ontology-related topics, this year's workshop encourages submissions that discuss various topics on modularity in Big Data and Context, as well as vertical applications of modularity in particular domains such as Life Sciences, Earth Sciences, Biomedicine, Ambient Intelligence or Social Intelligence. In general, topics include, but are not limited to: * Foundational aspects of modularity: definition, representation, structure, design patterns, granularity; * Logical aspects: modular (ontology) languages; reconciling inconsistencies across modules; formal structuring of modules; heterogeneity; hybrid theories; intertheory relations (conservativity, interpretability, strong equivalence, inseparability, etc.); * Algorithmic & heuristic approaches: distributed and incremental reasoning; modularization and module extraction techniques; reasoning complexity; system descriptions; * Methodological issues as they occur throughout the ontology lifecycle: publishing/sharing, linking, maintenance, reuse of modules; * Analysis and evaluation: case studies or other analyses of modularizations; quantitative and qualitative ways to measure adequacy of a modularization; comparison of modularizations with respect to philosophical, logical, reasoning, cognitive, or social aspects; * Modularity issues that arise in Big Data and Linked Data; * Context-driven modularization and module-based contextual reasoning. The workshop will be open to all attendants of FOIS'14 and its workshops. At least one author of each accepted paper must register for the workshop and present the paper. WORKSHOP CHAIRS: Kenneth Baclawski, Northeastern University, Boston, USA Tudor Groza, The University of Queensland, Australia Torsten Hahmann, University of Maine, USA Ivan Varzinczak, Universidade Federal do Rio de Janeiro, Brazil PROGRAM COMMITTEE: Stefano Borgo, Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy Arina Britz, Meraka Institute, CSIR, South Africa Oscar Corcho, Universidad Politecnica de Madrid, Spain Mike Dean, Raytheon BBN Technologies, USA Fred Freitas, Universidade Federal de Pernambuco, Brazil Michael Gruninger, University of Toronto, Canada Martin Homola, Comenius University of Bratislava, Slovakia Robert Hoehndorf, University of Cambridge, UK Ernesto Jiminez-Ruiz, University of Oxford, UK Kouji Kozaki, Osaka University, Japan Francisco Martin-Recuerda, Universidad Politecnica de Madrid, Spain Adrian Paschke, Freie Universitaet Berlin, Germany Alessandra Mileo, DERI Galway, Ireland Guilin Qi, Southeast University, China Thomas Schneider, University of Bremen, Germany Marco Schorlemmer, Artificial Intelligence Research Institute, Spain Luciano Serafini, Fondazione Bruno Kessler, Italy Dimitry Tsarkov, University of Manchester, UK George Vouros, University of Piraeus, Greece Dirk Walther, TU Dresden, Germany Kewen Wang, Griffith University, Australia INVITED SPEAKERS: TBA -- Ivan José Varzinczak Departamento de Ciência da Computação - Instituto de Matemática Universidade Federal do Rio de Janeiro, Brazil Homepage: http://en.varzinczak.net16.net Google scholar profile: http://tinyurl.com/varzinczak From patrick.lambrix at liu.se Mon May 19 14:56:50 2014 From: patrick.lambrix at liu.se (Patrick Lambrix) Date: Mon, 19 May 2014 12:56:50 +0000 Subject: EKAW 2014 Call for PAPERS, POSTERS, DEMOS, WORKSHOPS, TUTORIALS Message-ID: *Apologies for cross-posting.* ---------------------------------------------------------------------------------------------------------------------------------- CALL FOR PAPERS, PhD SYMPOSIUM PAPERS, POSTERS, DEMOS, WORKSHOPS, TUTORIALS ---------------------------------------------------------------------------------------------------------------------------------- EKAW 2014: Diversity in a Heterogeneous World 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014). November 24-28, 2014, Linköping, Sweden. http://www.ida.liu.se/conferences/EKAW14 ------------------------------------------------------------------------------ The 19th International Conference on Knowledge Engineering and Knowledge Management is concerned with all aspects of eliciting, acquiring, modeling and managing knowledge, and its role in the construction of knowledge-intensive systems and services for the Semantic Web, knowledge management, e-business, natural language processing, intelligent information integration, personal digital assistance systems, and so forth. The special focus of this year's EKAW will be on diversity. In the recent past the amount and ease of availability of data has dramatically increased. While scale and complexity of information has always attracted attention, its heterogeneity in nature and usage are only now being investigated more systematically. Data-driven research is gaining increasing visibility in areas such as in eScience or eHumanities, but such distinct fields require diverse knowledge management and acquisition methods. Knowledge in the Cultural Heritage domain radically differs from what is required to run a global company or support projects in the developing world. The geosciences produce and consume data spanning a wide range of formats, topics, perspectives, and sources, and require the integration of such heterogeneous data to foster data sharing, access, retrieval, and reuse, without restricting semantic heterogeneity. EKAW 2014 will put a special emphasis on this diversity of knowledge and its usage. In addition to the main research track, EKAW 2014 will feature a Tutorial and Workshop Program, as well as a Poster and Demo Track. Moreover, there will be a Doctoral Consortium giving new PhD students a possibility to present their research proposals, and to get feedback on methodological and practical aspects of their planned dissertation. The proceedings of the conference will be published by Springer Verlag in the LNCS series. Invited speakers: Arianna Betti, University of Amsterdam, the Netherlands Oscar Corcho, Universidad Politecnica de Madrid, Spain Pascal Hitzler, Wright State University, US ------------------------------------------------------------------------------ EKAW 2014 welcomes papers, posters, demos, workshops and tutorials dealing with theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management. In particular, but not exclusively, we solicit papers about methods, tools, methodologies and application case studies relevant with regard to the following topics: 1) "Knowledge in a diverse world" Methods and methodologies addressing the challenges of diversity, such as: Semantic heterogeneity - Semantic interoperability - Scalability, robustness, etc. - Multi-perspective data - Semantic mediation - Ontology and vocabulary matching and alignment - Data-driven ontology engineering - Privacy and data security - Data reuse - Maintenance costs and financial risks Lessons learned from case studies, e.g.: - Knowledge management in large organizations - Adoption of semantic web technologies - Maintenance of corporate knowledge repositories - Applications in domains such as - eGovernment and public administration - Life sciences, health and medicine - Humanities and Social Sciences - Automotive and manufacturing industry - Cultural heritage - Digital libraries - Geosciences - Knowledge in the developing world (ICT4D) 2) Knowledge Management - Methodologies and tools for knowledge management - Knowledge sharing and distribution, collaboration - Best practices and lessons learned from case studies - Provenance and trust in knowledge management - Methods for accelerating take-up of knowledge management technologies - Corporate memories for knowledge management - Evolution, maintenance and preservation of knowledge - Web 2.0 technologies for knowledge management - Incentives for human knowledge acquisition (e.g., games with a purpose) 3) Knowledge Engineering and Acquisition - Tools and methodologies for ontology engineering - Ontology design patterns - Ontology localization - Ontology alignment - Knowledge authoring and semantic annotation - Knowledge acquisition from non-ontological resources (thesauri, folksonomies etc.) - Semi-automatic knowledge acquisition, e.g., ontology learning - Mining the Semantic Web and the Web of Data - Ontology evaluation and metrics - Uncertainty and vagueness in knowledge representation - Dealing with dynamic, distributed and emerging knowledge 4) Social and Cognitive Aspects of Knowledge Representation - Similarity and analogy-based reasoning - Knowledge representation inspired by cognitive science - Synergies between humans and machines - Knowledge emerging from user interaction and networks - Knowledge ecosystems - Expert finding, e.g., by social network analysis - Trust and privacy in knowledge representation - Collaborative and social approaches to knowledge management and acquisition - Crowdsourcing in knowledge management For submission details for the different tracks we refer to: http://www.ida.liu.se/conferences/EKAW14/. ------------------------------------------------------------------------------ Important Dates: RESEARCH TRACK Abstract Submission: July 9, 2014 Full Paper Submission: July 16, 2014 Notification: September 3, 2014 Camera-Ready: October 1, 2014 Event: November 26-28, 2014 DOCTORAL CONSORTIUM Abstract Submission: July 20, 2014 Full Paper Submission: July 25, 2014 Notification: September 10, 2014 Camera-Ready: October 1, 2014 Event: November 24 or 25, 2014 POSTERS AND DEMOS Poster and Demo Submission: September 15, 2014 Poster and Demo Notification: October 10, 2014 Camera-Ready: October 24, 2014 Event: November 26 or 27, 2014 WORKSHOPS Workshop Proposals: July 16, 2014 Workshop Notifications: August 6, 2014 Suggested Timeline for Workshops: Workshop website up and calls: August 15, 2014 Deadline to submit Papers to Workshops: September 19, 2014 Acceptance of Papers for Workshops: October 17, 2014 Workshops: November 24-25, 2014 TUTORIALS Tutorial Submission: July 30, 2014 Tutorial Notifications: August 20, 2014 Event: November 24-25, 2014 ------------------------------------------------------------------------------ General Chairs Patrick Lambrix, Linköping University, Sweden Eero Hyvönen, Aalto University, Finland Program Chairs Krzysztof Janowicz, University of California, USA Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands Workshops and Tutorial Chairs: Eva Blomqvist Linköping University, Sweden Valentina Presutti STLab ISTC-CNR, Italy Demos and Posters Chairs: Guilin Qi, Southeast University, China Uli Sattler, University of Manchester, UK Sponsorship Chair: Axel-Cyrille Ngonga Ngomo, Universität Leipzig, Germany Doctoral Consortium Chairs: Ying Ding, Indiana University Bloomington, USA Chiara Ghidini, FBK, Italy Local Organisation: Henrik Eriksson, Linköping University, Sweden Patrick Lambrix, Linköping University, Sweden ------------------------------------------------------------------------------ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon May 19 15:34:10 2014 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 19 May 2014 09:34:10 -0400 (EDT) Subject: ISABELLE WORKSHOP and TUTORIAL Message-ID: <20140519133410.873581215BD@mcclellan.cs.miami.edu> CALL FOR PARTICIPATION ISABELLE WORKSHOP and TUTORIAL http://vsl2014.at/isabelle July 13, 2014, Vienna, Austria Attending the Vienna Summer of Logic http://vsl2014.at/? Interested in interactive theorem proving? Then you should consider attending either of these two parallel events: - A half-day hands-on tutorial on Isabelle for novices. Amongst other things you get to try the famous Sledgehammer. - A full-day Isabelle workshop, including a talk by Larry Paulson on his verification of Goedel's two incompleteness theorems. For details see http://vsl2014.at/isabelle. For the workshop program click on PROGRAM. Looking forward to seeing you there! From puehrer at informatik.uni-leipzig.de Tue May 20 11:41:47 2014 From: puehrer at informatik.uni-leipzig.de (Joerg Puehrer) Date: Tue, 20 May 2014 11:41:47 +0200 Subject: ReactKnow 2014 at ECAI: Final CFP Message-ID: <537B235B.8070906@informatik.uni-leipzig.de> Call for Papers ------------------------------------------------------------------------- *** ReactKnow 2014 *** International Workshop on Reactive Concepts in Knowledge Representation August 19, 2014 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: August 19, 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. All submissions have to be written in English. At least one author of each accepted paper is required to attend the workshop to present the contribution. 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 From maurizio.proietti at iasi.cnr.it Tue May 20 14:46:42 2014 From: maurizio.proietti at iasi.cnr.it (Maurizio Proietti) Date: Tue, 20 May 2014 14:46:42 +0200 Subject: LOPSTR 2014: Deadline Approaching Message-ID: ===================== 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 ============================================================ NEW! Invited Speakers: Roberto Giacobazzi (University of Verona, Italy) Viktor Kuncak (EPFL, Switzerland) ============================================================ 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 SIMULA Research Laboratory, Norway Gopal Gupta University of Texas at Dallas, USA Jacob Howe City University London, UK Zhenjiang Hu National Institute of Informatics, Japan Alexei Lisitsa University of Liverpool, UK Yanhong Annie Liu Stony Brook University, USA 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 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, University of Chieti-Pescara and IASI-CNR, Italy Fabrizio Smith, IASI-CNR, Italy From nasslli2014 at gmail.com Wed May 21 22:44:04 2014 From: nasslli2014 at gmail.com (NASSLLI 2014) Date: Wed, 21 May 2014 13:44:04 -0700 Subject: Final Call for Participation: NASSLLI 2014 Message-ID: Greetings, We would be very grateful if you would kindly distribute this final Call for Participation to potentially interested students, faculty, and researchers. With many thanks in advance, NASSLLI OC & PC ************************************************************* ******************************* ******* NASSLLI 2014 ****** **** Call for Participation *** ******************************* The 6th North American Summer School in Logic, Language and Information (NASSLLI 2014), a bi-annual summer school loosely modeled on the long-running ESSLLI series in Europe, will be held at the University of Maryland, College Park, June 23 - 27, 2014. In addition, we will run three intensive introductory courses ("bootcamps") on Saturday and Sunday, June 21-22. Additional events will be held during the weekend following the summer school, June 28-29. The summer school will consist of 18 courses, scheduled in five parallel sessions throughout the week. Courses will meet for 90 minutes on each of five days. The instructors are prominent researchers who volunteer their time and energy to present work in their disciplines. NASSLLI courses are aimed at graduate students and advanced undergraduates in any of the fields represented at the summer school, but will also be of interest to post-docs and researchers in those fields. Courses are designed with an interdisciplinary audience in mind, by instructors who enjoy addressing students and colleagues from a wide range of disciplines. For the full program of courses, see http://www.nasslli2014.com/program. Registration We are working to keep the registration fee low for NASSLLI participants. The registration fee is $195.00 for students and academics (and $70 for local participants). Location NASSLL is located on the campus of the University of Maryland, College Park. The University of Maryland is located in the Washington D.C. metropolitan area, and is accessible by Metro from downtown Washington DC. Accommodation All NASSLLI participants are responsible for securing their own accommodations during their stay in College Park. However, NASSLLI participants may request accommodation in the South Campus Residence Hall on the University of Maryland, College Park campus. There are also a number of hotels located in College Park within walking distance of the campus. Details on both dorm and hotel accommodations are available on the NASSLLI website. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From anja.metzner at HS-augsburg.de Thu May 22 11:14:10 2014 From: anja.metzner at HS-augsburg.de (Anja Metzner) Date: Thu, 22 May 2014 11:14:10 +0200 Subject: CfP: 11th OTM Academy (a tutored workshop for PhD students) Message-ID: ================================================================= 11th OTM Academy (a tutored workshop for PhD students) October 27-28, 2014, Amantea, Calabria, Italy http://www.onthemove-academy.org/ In conjunction with OnTheMove Federated Conferences and Workshops (OTM'14) http://www.onthemove-conferences.org Proceedings published by Springer LNCS Deadline: abstracts June 22 & papers June 27 ================================================================= Not your usual PhD symposium, this! are you enrolled in a PhD program related to today's information systems? Consider! The OntheMove Academy offers * sophisticated personalized feedback on your research plans and topic; * a structured opportunity to share ideas, experiences, hopes, -with fellow students and your future peers; * improvement of your scientific communication and presentation skills; * face to face meetings with authors whom you only know by their publications; * training in paper reviewing expertise; * a wider horizon for your professional interests; * fun moments alternating with work. Dare to submit! If accepted you will... * enjoy dedicated critical personal feedback (note: true also if your paper is not accepted!) * see your paper published in the well known Springer LNCS series; * be given constructive advice on how to improve your scientific writing and presentation skills by experts of the OTM Academy; * receive unlimited access to all OnTheMove14 conferences and workshops for a strongly reduced fee ... and much more! Tempted? Follow these steps... * coordinate your submission plans with your principal doctoral advisor * check whether the OTM topics match your research * pin a printed copy of the OTM Academy Call for Papers above your desk * write your paper according to the instructions * (... you may benefit from our tips and suggestions) * upload your abstract and paper * await notice of your acceptance or rejection * And meanwhile advertise OTM Conferences to your friends and colleagues To PhD students without an accepted submission to the 2014 OTM Academy: of course you are warmly encouraged to register as participants. We guarantee it to be fruitful to observe and interact with presenting authors, and to expand your horizon by doing so. OTMA 2014 will award the best contribution ! Potential topics include, but are not limited to: * data management for linked open, (big) data, business information systems, or bioinformatics * context-aware approaches for multimedia information retrieval * ontology-based data integration and quality assessment, Q&A, accessing and querying data, and process and service specification * distributed and open architectures for cloud computing * mobile-based architectures and applications * semantics and infrastructures to support the Internet of Things * community and semantically driven IT for business ecosystems * data science/governance in e-finance, e-government, e-health, e-science, IMPORTANT DATES: Abstracts Submission Deadline: June 22 Paper Submission Deadline: June 27 Acceptance Notification: August 3 Camera ready received: September 1 Registration Deadline: September 1 OTM Academy '14: October 27 - 28 OTM14 Conferences: October 27 - 31 The program committee consists of the following reviewers: * Galia Angelova (Bulgarian Academy of Science, Bulgary) * Christophe Bussler (Tropo Inc., USA) * Paolo Ceravolo (University degli Studi di Milano, Italy) * Philippe CudreMauroux (University of Fribourg, Switzerland) * Dejing Dou (University of Oregon, USA) * Avigdor Gal (Technion - Israel Institute of Technology, Israel) * Alfred Holl (University of Applied Sciences Nuremberg, Germany) * Frederic Le Mouel (University of Lyon, France) * Marcello Leida (Khalifa University Abu Dhabi, United Arabic Emirates) * Erich J. Neuhold (University of Vienna, Austria) * Herve Panetto (Nancy University, France) * Erik Proper (Public Research Centre - Henri Tudor, Luxembourg) * Anja Metzner (University of Applied Sciences Augsburg, Germany) * Fatiha Sais (Universite Paris-Sud XI, France) * Andreas Schmidt (Karlsruhe University of Applied Sciences, Germany) * Peter Spyns (Flemish Dept. of Economy, Science and Innovation, Belgium) * Maria-Esther Vidal (Universidad Simon Bolivar, Venezuela) Peter Spyns and Maria-Esther Vidal (OTMA'14 Organising Chairs) contact: academy at onthemove-conferences.org -- Prof. Dr. Anja Metzner University of Applied Sciences Augsburg, Department of Computer Sciences Postfach 11 06 05, 86161 Augsburg, Germany Tel: +49 (0)821 - 5586/3426 From calendarsites at insticc.org Thu May 22 15:52:11 2014 From: calendarsites at insticc.org (calendarsites at insticc.org) Date: Thu, 22 May 2014 14:52:11 +0100 Subject: CFP 7th International Conference on Agents and Artificial Intelligence - ICAART 2015 Message-ID: <010201cf75c5$1ca44b10$55ece130$@insticc.org> CALL FOR PAPERS 7th International Conference on Agents and Artificial Intelligence - ICAART 2015 Website: www.icaart.org January 10 – 12, 2015 Lisbon, Portugal Regular Papers Paper Submission: July 29, 2014 Authors Notification: November 3, 2014 Camera Ready and Registration: November 17, 2014 Position Papers Paper Submission: September 30, 2014 Authors Notification: November 6, 2014 Camera Ready and Registration: November 17, 2014 Doctoral Consortium Paper Submission: November 5, 2014 Authors Notification: November 18, 2014 Camera Ready and Registration: November 28, 2014 Sponsored by: INSTICC-Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: FIPA – The Foundation for Intelligent Physical Agents WfMC – Workflow Management Coalition OMG – Object Management Group Logistics Partner: SCITEVENTS – Science and Technology Events In Cooperation with: AAAI – Association for the Advancement of Artificial Intelligence The purpose of the 7th International Conference on Agents and Artificial Intelligence (ICAART) is to bring together researchers, engineers and practitioners interested in the theory and applications in the areas of Agents and Artificial Intelligence. Two simultaneous related tracks will be held, covering both applications and current research work. In the area of Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications are concerned. In the area of artificial intelligence, Knowledge Representation, Planning, Learning, Scheduling, Perception Reactive AI Systems, Evolutionary Computing and other topics related to intelligent systems and Computational Intelligence are concerned. KEYNOTE SPEAKER Chris Reed, University of Dundee, United Kingdom PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef (http://www.crossref.org/). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. Please check the website for further information: http://www.icaart.org/BestPaperAward.aspx CONFERENCE CO-CHAIRS Stephane Loiseau, LERIA, University of Angers, France Joaquim Filipe, Polytechnic Institute of Setúbal / INSTICC, Portugal PROGRAM CO-CHAIRS Béatrice Duval, LERIA, University of Angers, France Jaap van den Herik, Tilburg University, Netherlands CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1. AGENTS 2. ARTIFICIAL INTELLIGENCE AREA 1: AGENTS · Semantic Web · Multi-Agent Systems · Distributed Problem Solving · Agent Communication Languages · Agent Models and Architectures · Cooperation and Coordination · Conversational Agents · Negotiation and Interaction Protocols · Programming Environments and Languages · Task Planning and Execution · Autonomous Systems · Cognitive Robotics · Group Decision Making · Web Intelligence · Agent Platforms and Interoperability · SOA and Software Agents · Simulation · Economic Agent Models · Mobile Agents · Privacy, safety and security · Collective Intelligence · Physical Agents · Robot and Multi-robot Systems · Self Organizing Systems · Cloud Computing · Auctions and Markets AREA 2: ARTIFICIAL INTELLIGENCE · Intelligent User Interfaces · Bayesian Networks · Soft Computing · Neural Networks · Natural language processing · Machine Learning · Planning and Scheduling · Knowledge Representation and Reasoning · Uncertainty in AI · Model-Based Reasoning · Ontologies · Data Mining · Constraint Satisfaction · State Space Search · Case-Based Reasoning · Cognitive Systems · Reactive AI · Vision and Perception · Pattern Recognition · Ambient Intelligence · AI and Creativity · Evolutionary Computing · Fuzzy Systems · Knowledge Based System · Industrial applications of AI · Hybrid Intelligent Systems · Visualization · Knowledge based Maps PROGRAM COMMITTEE http://www.icaart.org/ProgramCommittee.aspx Please check further details at the conference website http://www.icaart.org --- This email is free from viruses and malware because avast! Antivirus protection is active. http://www.avast.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From michelle.cheatham at gmail.com Fri May 23 22:50:15 2014 From: michelle.cheatham at gmail.com (Michelle Cheatham) Date: Fri, 23 May 2014 15:50:15 -0500 Subject: CfP: Ontology and Linked Data Matching. Special call of the Semantic Web journal Message-ID: Call for papers: Special Issue on *Ontology and Linked Data Matching* http://www.semantic-web-journal.net/blog/special-issue-ontology-and-linked-data-matching The Semantic Web is growing in terms of both the amount and diversity of data being published, yet leveraging this trove of information in a cohesive way remains challenging. Ontology and Linked Data matching are critical to achieving interoperability among resources on the Semantic Web. Matching systems seek to create alignments between datasets that establish correspondences between semantically related entities belonging to the different datasets. Over the last decade, matching systems have made great strides in finding equivalence relations between classes and instances, and real-world applications making use of these capabilities have begun to appear. Nevertheless, challenges stemming from the size, complexity, and variety of relationships among resources on the Semantic Web today require further technical and theoretical innovation. We welcome original papers that address the following areas: - Large-scale matching - Complex matching (e.g. non-equivalence relations, expressive alignment languages, etc.) - Real-world applications - Interactive matching - Social and collaborative matching - Matching with background knowledge - Alignment repair and reasoning - Self-configuring matching systems - Alignment evaluation and benchmarks - Ontology design pattern-driven matching *Submissions* *September 30, 2014* - Paper submission deadline Submissions shall be made through the Semantic Web journal website at http://www.semantic-web-journal.net. Prospective authors must take notice of the submission guidelines posted at http://www.semantic-web-journal.net/authors. Note that you need to request an account on the website for submitting a paper. Please indicate in the cover letter that it is for the *Ontology and Linked Data Matching* special issue. Submissions are possible in all standing paper type of the journal, see http://www.semantic-web-journal.net/authors for descriptions: full research papers, surveys, linked dataset descriptions, ontology descriptions, application reports, tool/systems reports. *Guest editors* Michelle Cheatham, Wright State University (www.michellecheatham.com) Isabel F. Cruz, University of Illinois at Chicago ( http://www.cs.uic.edu/Cruz/) Jérôme Euzenat, INRIA & University of Grenoble ( http://exmo.inria.fr/~euzenat/) Catia Pesquita, University of Lisbon (http://www.di.fc.ul.pt/~catiapesquita/ ) The editors can be reached by emailing Catia Pesquita at cpesquita at di.fc.ul.pt *Guest Editorial Board* to be announced -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From amedeo.napoli at loria.fr Sat May 24 13:34:35 2014 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Sat, 24 May 2014 13:34:35 +0200 (CEST) Subject: CFP FCA4AI Workshop at ECAI 2014 ``What can FCA do for Artificial Intelligence?'' (3rd Edition) In-Reply-To: <288493923.13345441.1400930812349.JavaMail.zimbra@loria.fr> Message-ID: <1249073050.13345930.1400931275473.JavaMail.zimbra@loria.fr> ------------------------------------------------------------------------------------------------------------------- Call for Papers ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Third Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with ECAI 2014, Prague, Czech Republic August 19 2014 http://www.fca4ai.hse.ru ------------------------------------------------------------------------------------------------------------------- General Information. The first and the second editions of the FCA4AI Workshop (ECAI 2012, Montpellier and IJCAI 2013, Beijing) showed that many researchers working in Artificial Intelligence are indeed interested by a powerful method for classification and mining such as Formal Concept Analysis (see http://ceur-ws.org/Vol-939/ and http://ceur-ws.org/Vol-1058/). We have the chance to organize a new edition of the workshop in Prague at the ECAI 2014 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, both from the data analysis and knowledge discovery point of view and from the knowledge representation point of view, including, e.g., ontology engineering. All these works extend the capabilities of FCA and offer new possibilities for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in two main issues: - How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning), learning (clustering, pattern and data mining), natural language processing, information retrieval. - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain. The workshop is dedicated to discuss such issues. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering. - Knowledge engineering and ontology engineering: knowledge representation and reasoning. - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition. The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: May 30, 2014 Notification to authors: June 23, 2014 Final version: July 14, 2014 Workshop: August 19, 2014 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be: - technical papers not exceeding 8 pages, - system descriptions or position papers on work in progress not exceeding 4 pages Submissions are via EasyChair at https://www.easychair.org/conferences/?conf=fca4ai2014 (opening soon) The workshop proceedings will be published as CEUR proceedings. A selection of the best papers presented at the workshop will be considered for a special issue of a high-level journal. WORKSHOP CHAIRS: Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France Sebastian Rudolph Technische Universitaet Dresden, Germany PROGRAM COMMITTEE (in constitution) Mathieu D'Aquin, Open University, Milton Keynes, UK Franz Baader, Technische Universitaet Dresden, Germany Radim Belohlavek, Palacky University, Olomouc, Czech Republic Karell Bertet, Université de La Rochelle, France Claudio Carpineto, Fondazione Ugo Bordoni, Roma, Italy Felix Distel, Technische Universitaet Dresden, Germany Sébastien Ferré, IRISA Rennes, France Bernhard Ganter, Technische Universitaet Dresden, Germany Pascal Hitzler, Wright State University, Dayton, Ohio, USA Marianne Huchard, LIRMM Montpellier, France Dmitry I. Ignatov, Higher School of Economics, Moscow, Russia Mehdi Kaytoue, LIRIS-INSA, University of Lyon, France Markus Krötzsch, University of Oxford, UK Sergei A. Obiedkov, Higher Schools of Economics, Moscow, Russia Jan Outrata, Palacky University, Olomouc, Czech Republic Uta Priss, Ostfalia University of Applied Sciences, Wolfenbüttel, Germany Baris Sertkaya, SAP Dresden, Germany, Henry Soldano, Université de Paris-Nord, France Gerd Stumme, Universitaet Kassel, Germany Petko Valtchev, Université du Québec à Montréal, Montréal, Canada ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From thomas.agotnes at infomedia.uib.no Mon May 26 03:03:19 2014 From: thomas.agotnes at infomedia.uib.no (=?iso-8859-1?Q?Thomas_=C5gotnes?=) Date: Mon, 26 May 2014 09:03:19 +0800 Subject: LOFT 2014 (Bergen, Norway): Call for Participation Message-ID: <13967598-2656-4DAB-B149-6030C588435D@infomedia.uib.no> CALL FOR PARTICIPATION LOFT11 2014 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 Registration for the conference is now open. The EARLY registration fee (before June 26) is 140 euros (includes conference dinner). 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), 2014 INVITED SPEAKERS Krzysztof Apt (CWI, The Netherlands) Pierpaolo Battigalli (Bocconi University, Italy) Ariel Procaccia (Carnegie Mellon University, USA) PROGRAM The program contains 23 full presentations and 18 short (poster) presentations, selected from submitted papers. PRACTICAL INFORMATION For information on registration, travel and accommodation: http://folk.uib.no/nmita/LOFT11 From tobias.philipp at tu-dresden.de Mon May 26 17:01:42 2014 From: tobias.philipp at tu-dresden.de (Tobias Philipp) Date: Mon, 26 May 2014 17:01:42 +0200 Subject: Reminder: The European Master's Program in Computational Logic: Application until 31 May 2014 Message-ID: Dear all, I'd like to draw your attention to the fact that applications for the European Master's Program in Computational Logic are still possible UNTIL 31 May 2014. A limited number of small scholarships is available. More details are given below. Please spread this information as wide as possible among friends and colleagues, at your old universities and the places, where you currently live and work. Many thanks -- Steffen ******************************************************************************************************* The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universität Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition, you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a joint degree. Information on the universities and the program including the application procedure is provided here: http://www.emcl-study.eu/home.html Language of instruction is English. Tuition fees are 3.000 EUR (for non-European students) and 1.000 (for European students) per year. A limited number of small scholarships is available. (see: http://www.emcl-study.eu/fileadmin/emcl_booklet_tree/mss_jc_scholarship_scheme.html). Do not hesitate to contact us if you have any further questions. Kind regards -- Steffen Hölldobler Prof. Dr. Steffen Hoelldobler 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 From fink at kr.tuwien.ac.at Mon May 26 18:13:05 2014 From: fink at kr.tuwien.ac.at (fink at kr.tuwien.ac.at) Date: Mon, 26 May 2014 18:13:05 +0200 Subject: Final Call for Participation KR 2014: 14th International Conference on Principles of Knowledge Representation and Reasoning Message-ID: <201405261613.s4QGD5sh014804@hummel.kr.tuwien.ac.at> FINAL CALL FOR PARTICIPATION *** KR 2014 *** 14th International Conference on Principles of Knowledge Representation and Reasoning Vienna, Austria July 20 - 24, 2014 http://kr.org/KR2014/ *** REGISTRATION: http://www.kr.tuwien.ac.at/events/kr2014/ *** -------------------------------------------------------------------------------- Co-located with DL 2014 [http://www.dbai.tuwien.ac.at/dl2014/], NMR 2014 [http://www.kr.tuwien.ac.at/nmr14], KR4HC [http://banzai-deim.urv.net/events/KR4HC-2014/], FLoC 2014 [http://vsl2014.at/logic-in-computer-science/] (CAV, CSF, ICLP, IJCAR, ITP, LICS, RTA, SAT), and Logic Colloquium 2014 [http://www.logic.at/lc2014/]. KR 2014 is part of Vienna Summer of Logic [http://vsl2014.at/] KR Registrants can participate in all sessions of the Vienna Summer of Logic at the days they are registered for. Reduced fees for joint registration with DL 2014 or NMR 2014 are available. -------------------------------------------------------------------------------- IMPORTANT DATES * Early Registration ends: June 8, 2014 * Late Registration ends: June 30, 2014 * On-Site Registration: July 12-23, 2014 * Conference Date: July 20-24, 2014 -------------------------------------------------------------------------------- HIGHLIGHTS OF KR 2014 Keynote Talks: - "Ontology-Based Monitoring of Dynamic Systems" Franz Baader, TU Dresden, Germany (joint keynote speaker with Vienna Summer of Logic - supported by ECCAI) - "Situation Calculus: The last 15 years" ("Great Moments in KR" lecture) Sheila McIlraith, University of Toronto, Canada - "Datalog+/- : Questions and Answers" Georg Gottlob, University of Oxford, UK - "Knowledge Representation meets Computer Vision: from Pixels to Symbolic Activity Descriptions" Anthony Cohn, University of Leeds, UK Tutorials: - "Natural Language Understanding with World Knowledge and Inference" Ekaterina Ovchinnikova, University of Southern California, US - "Verification of Multi-Agent Systems against Epistemic Specifications" Alessio Lomuscio, Imperial College London, UK - "Query Answering and Rewriting in Ontology-Based Data Access" Riccardo Rosati, Sapienza University of Rome, Italy - "Dynamic Epistemic Logic and its Interaction with Knowledge Representation" Lawrence S. Moss, Indiana University, US Cutting Edge Research Papers: - 58 Long Technical Papers - 25 Short Technical Papers - Complete listing at http://www.kr.tuwien.ac.at/events/kr2014/?p=papers Awards: - The 2014 Ray Reiter Best Paper Prize (sponsored by the Artificial Intelligence Journal) - The 2014 Marco Cadoli Student Paper Prize - Kurt G�del Research Prize Fellowships KR 2014 Doctoral Consortium: - The Doctoral Consortium is a student mentoring program that introduces students to senior researchers with similar research interests. Students will present their work in a poster session. VSL'2014 Highlights during KR 2014: - VSL Keynote Talk by Edmund Clarke - VSL Public Lecture on the Vienna Circle -------------------------------------------------------------------------------- OVERVIEW Knowledge Representation and Reasoning (KR&R) is a well-established and vibrant field of research. KR&R techniques are key drivers of innovation in computer science, and they have led to significant advances in practical applications in a wide range of areas from Artificial Intelligence to Software Engineering. The underlying approach of explicitly representing knowledge in a tangible form, suitable for processing by dedicated reasoning engines, is a fundamental component of many modern intelligent systems. Foundational and applied research in KR&R contributes to the principles of artificial intelligence. It also contributes to the foundations of longstanding fields including automated planning, databases, and software engineering. In recent years KR&R has also derived challenges from new and emerging fields including the semantic web, computational biology, and the development of software agents. The KR conference series is a leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The 2014 edition will be held as part of the Vienna Summer of Logic together with the Federated Conference on Logic, Logic Colloquium and other related events. The Vienna Summer of Logic is expected to be the largest convention in the history of logic. -------------------------------------------------------------------------------- CONFERENCE CHAIRS General Chair: Thomas Eiter (TU Vienna, Austria) Program Chairs: Chitta Baral (Arizona State U, USA) Giuseppe De Giacomo (U "La Sapienza", Italy) Local Organization: Michael Fink (TU Vienna, Austria) Stefan Woltran (TU Vienna, Austria) Doctoral Consortium: Birte Glimm (U Ulm, Germany) Adrian Pearce (U Melbourne, Australia) Sponsorship: Marco Maratea (U Genova, Italy) -------------------------------------------------------------------------------- From marco at dist.unige.it Tue May 27 14:56:44 2014 From: marco at dist.unige.it (Marco Maratea) Date: Tue, 27 May 2014 14:56:44 +0200 Subject: ASPOCP 2014: Call for participation Message-ID: <1401195404.2323.8.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/aspocp2014 July 23rd, 2014 Affiliated with the International Conference on Logic Programming 2014 (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. ACCEPTED PAPERS Gerhard Brewka, James Delgrande, Javier Romero and Torsten Schaub. ``Are Preferences Giving You a Headache?'' - ``Take asprin!'' Michael Gelfond, Patrick Kahl, Richard Watson and Yuanlin Zhang. A Refinement of the Language of Epistemic Specifications Evgenii Balai and Patrick Kahl. Epistemic Logic Programs with Sorts Stefania Costantini and Andrea Formisano. Query Answering in Resource-Based Answer Set Semantics Martin Gebser, Tomi Janhunen and Jussi Rintanen. Declarative Encodings of Acyclicity Properties Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger and Stefan Woltran. Computing Secure Sets in Graphs using Answer Set Programming Pedro Cabalar and Martín Diéguez. Temporal Stable Models are LTL-representable Mario Alviano, Carmine Dodaro, Joao Marques-Silva and Francesco Ricca. On the Implementation of Weak Constraints in WASP Shiqi Zhang, Fangkai Yang, Piyush Khandelwal and Peter Stone. Applying Action Language BC with Hierarchical Domain Abstraction to Mobile Robots Kostyantyn Shchekotykhin. Interactive Query-based Debugging of ASP Programs Shahab Tasharrofi and Eugenia Ternovska. Supported Semantics for Modular Systems Joseph Babb and Joohyung Lee. Action Language BC+: Preliminary Report Amelia Harrison, Vladimir Lifschitz, David Pearce and Agustín Valverde. Infinitary Equilibrium Logic Ilias Tachmazidis, Grigoris Antoniou and Wolfgang Faber. Computing Answer Sets for Monadic Logic Programs via MapReduce (EARLY) REGISTRATION AND LOCAL ARRANGEMENTS Registration is operated by the VSL 2014 organization. Early registration deadline is June 8th. For further corresponding information, as well as for travel and accommodation details consult: http://vsl2014.at/ WORKSHOP CO-CHAIRS Daniela Inclezan, Miami University, USA Marco Maratea, DIBRIS - University of Genova, Italy From invitation at iariainfo.org Tue May 27 23:53:05 2014 From: invitation at iariainfo.org (ICSNC 2014) Date: Tue, 27 May 2014 14:53:05 -0700 Subject: Last Mile: ICSNC 2014 || October 12 - 16, 2014 - Nice, France Message-ID: <1401227585092.2732@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 ICSNC 2014. The submission deadline of June 4, 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 ================= ============== ICSNC 2014 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICSNC 2014, The Ninth International Conference on Systems and Networks Communications October 12 - 16, 2014 - Nice, France General page: http://www.iaria.org/conferences2014/ICSNC14.html Call for Papers: http://www.iaria.org/conferences2014/CfPICSNC14.html Submission page: http://www.iaria.org/conferences2014/SubmitICSNC14.html Contributions: - regular papers - short papers (work in progress) - posters - ideas - presentations - demos - doctoral forum submissions Proposals for: - symposia - workshops Submission deadline: June 4, 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 ICSNC 2014 Topics (topics and submission details: see CfP on the site) WINET: Wireless networks 3G/4G integration; Wireless protocols, architectural and design concepts; Design and implementation of mobile information systems; Wireless communications and mechanisms; Antenna and RF subsystems; Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Wireless technologies; Wireless applications & services; IP Multimedia subsystems (IMS); Wireless and mobility; Wireless-wireline convergence; Radio communications systems; Specialized wireless networks; Management of wireless networks; Position on standards & fora on wireless networks; Business models on wireless networks; Communications regulations, Spectrum management; Software-Defined Radio (SDR) [ architectures, hardware, software, signal processing and smart antennas, etc.] HSNET: High speed networks Technologies, protocols, and applications for high speed networks; Voice over high speed networks; Services and interconnections of high speed networks; Technologies for High speed optical networks; Optical burst switching; End-to-end applications; Optical control plan; Advanced optical technology architectures; Design of high speed systems and networks; Methodologies and development tools for high speed networks; Management and control of high speed networks; Performance in high speed networks; Security aspects in high speed networks; QoS/SLA in high speed networks; Diagnosing high speed networks; High speed networks and NGN SENET: Sensor networks Architectures and protocols for wired and wireless sensor networks; Design of sensor networks; Instrumentation and models for deployment of sensors networks; Power in sensor networks; Ad hoc and wireless sensor networks; Management and control of sensor networks; Performance in sensor networks; Security and reliability aspects in sensor networks; Information assurance in sensor networks; QoS/SLA in sensor networks; Applications, case studies and prototypes with sensor networks MHNET: Mobile and Ad hoc networks Mobile technology and fundamentals; Analytical and validation models for mobility; Architecture and routing protocols for mobile networks; Architectures, frameworks, fundamentals on ad hoc networks; Energy efficient design, cross-layer design, scalability; MAC protocols for ad-hoc and sensor networks (801.11, Bluetooth, etc.); Data, information, and signal processing in mobile networks; Complexity analysis of mobile algorithms and protocols; Software platforms and development tools supporting mobility; QoS/SLA, access control and security in mobile and ad hoc networks; Location and mobility management; Location and service discovery in ad hoc networks; Planning, provisioning, and deployment mobility features; Directional and smart antennas for mobile and ad-hoc networks; Performance and security in ad hoc and mobile networks; Self-organization, synchronization and stability in ad hoc networks; Self-management in ad hoc and mobile networks; Ad hoc and mobile networks and autonomic com puting; Mobile ad hoc platforms, systems and tools; Applications over ad hoc networks; Standards evolution on mobility and ad hoc networks AP2PS: Advances in P2P Systems Architectures and protocols; Gossip-based and epidemic protocols; Integration with network operators and service providers; Autonomic computing and networking; Semantic P2P; Opportunistic networking; Content delivery networks; Applications; Prototypes and simulations; Implementations; Comparative performance analysis; Dependability, resilience and availability; Benchmarking and optimization; Quality of experience; Security, trust and reputation; Digital rights management; Content filtering; P2P and wireless convergence; Integrated approaches; Energy efficiency MESH: Advances in Mesh Networks Architectures and algorithms; Wireless interference models; Large-scale networks; Real-time and non-real-time communications; Centralized and distributed scheduling; Service differentiation; Security, Privacy, and Trust; Protocol interference models; Single-channel multihop/multichannel routing; Quality of Services routing; Multimedia-centric routing; Cross-layer multicast routing; QoS-based access protocols for mesh networks; Multichannel access protocols; Applications; Multimedia services; Home IPTV; WiMax; Broadband home networking communications; Smart buildings; Broadband Internet access VENET: Vehicular networks Communication technologies in vehicular networks; Frameworks and architectures for vehicular networks; Interoperability with Internet and other networks; Vehicle-infrastructure communications; Vehicle-to-vehicle communications; Emerging inter/intra-vehicle and infrastructure-to-vehicle wireless technologies; Cross-layer design and optimization for vehicular networks; Middleware and service architectures for vehicular networks; Propagation issues Vehicular sensors and data collection and process; On-drive diagnostics and repair technologies and systems; Protocol features /MAC, QoS, routing, multicast, addressing, identity/; Mobility and hand-off ; Properties /security, privacy, performance, robustness, real-time, etc./; Control and management in vehicular networks; Driver-oriented support systems /assistance, active&passive safety, etc./; Case studies and fields trials on vehicular networks; Applications across vehicular networks /content distribution, alerting, etc./; Standardization /802.11p, DSRC, etc./ and standard platforms /JasPar, AUTOSTAR, etc./ RFID: Radio-frequency identification systems Fundamentals for RFID systems; Communications in RFID systems; Next generation RFID Technologies; RFID middleware design and architecture; Antenna design for RFID; System design and deployment; Circuits and architecture; RFID ans sensor networks; Bridging RFID networks in heterogeneous networks; Collision, proximity, speed; Security, privacy, trust; Monitoring and control of RFID systems; Localization and tracking; Inventory tracking; Testing and verification; Planing and executing RFID systems; RFID pilot projects; Use cases in deploying and operating /finance, manufacture, agriculture, transportation, etc./; Tools for supporting the design and deployment of RFID systems SESYS: Security systems Security analysis methodologies; Middleware and distributed systems security; Cryptography, certificates, information hiding, access control; Protection, risk, vulnerabilities, attacks, authorization/authentication; Access control, wireless access control, broadband access control; Biometrics, smart cards, identification and trust methodologies; Certification, accreditation anonymity, and audit; Security management, emergency contingency planning, identify theft, life safety; Wireless and mobile security; Fast security associations; Electronic surveillance and e-commerce protocols; Security and trust in web-services-based applications; Peer-to-peer security, denial of services; Information survivability, insider threat protection, integrity; Intellectual property rights, privacy, legal and regulatory issues; Criminal exploitation of technology; Commercial and industrial security; Viruses, hackers, worms, spam, and other malicious code MCSYS: Multimedia communications systems Technologies, protocols, and mechanisms for multimedia communications; Multimedia compression mechanisms and information representation; Multimedia encoding and compression, MPEG-1 to MPEG-4, Wavelet and fractal; Multimedia frameworks, communications, and middleware; Next generation multimedia communications; Mobile multimedia communications; Methodologies and development tools for multimedia communications systems; Wireless mobile multimedia communications; Ad hoc multimedia networks; IP-based Multimedia Subsystems (IMS); QoS/SLA in mobile multimedia services and applications; Mechanisms for interactive multimedia applications; Designing and implementing interactive applications; Multimedia authoring, publishing, and right securing; Security and performance for multimedia communications; Management, QoS, and security aspects in streaming over wireless ad hoc networks; Management and control of multimedia systems; Standards protocols for multimedia communications POSYS: Policy-based systems Policy for automation control; Trusting policy control commands; Policy-driven autonomic organizations; Policy-based control scalability; Policy sensors for feedback control; Policy conflict detection and conflict resolution; Context-aware policy-driven adaptive frameworks; Policy integrity, trust and negotiations; Policy-based software applications; Policing pervasive computing environments; Policing on-demand systems and services PESYS: Pervasive education system Learning and teaching systems; E-learning methods and e-learning scenarios; Tools and architectures for mobile/ubiquitous e-learning; Cooperative learning and working; Mobile technology and education; Distance learning and education; Computers and arts; Education in developing regions; Reflection in learning software and hardware; Social impact metrics on distance learning; Methodologies and processes for education; Curriculum projects and experiences; Intelligent support; Multimedia environment for teaching; E-market place for higher education; Embedded systems education; Wearable computers and education Committee: http://www.iaria.org/conferences2014/ComICSNC14.html ICSNC Advisory Chairs Eugen Borcoci, University Politehnica of Bucarest, Romania Sathiamoorthy Manoharan, University of Auckland, New Zealand Reijo Savola, VTT, Finland Leon Reznik, Rochester Institute of Technology, USA Masashi Sugano, Osaka Prefecture University, Japan Zoubir Mammeri, IRIT, France ICSNC 2014 Research Institute Liaison Chairs Song Lin, Yahoo! Labs / Yahoo Inc. - Sunnyvale, USA Habtamu Abie, Norwegian Computing Center - Oslo, Norway ICSNC 2014 Industry/Research Chairs Rolf Oppliger, eSECURITY Technologies - Guemligen, Switzerland Jeffrey Abell, General Motors Corporation, USA Christopher Nguyen, Intel Corp., USA Javier Ibanez-Guzman, RENAULT S.A.S. / Technocentre RENAULT - Guyancourt, France ICSNC 2014 Special Area Chairs Mobility / vehicular Maode Ma, Nanyang Technology University, Singapore Pervasive education Maiga Chang, Athabasca University, Canada ================================================ To stop receiving notices about ICSNC, please reply with "DROP ICSNC 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 calendarsites at insticc.org Wed May 28 13:17:44 2014 From: calendarsites at insticc.org (calendarsites at insticc.org) Date: Wed, 28 May 2014 12:17:44 +0100 Subject: =?iso-8859-1?Q?CFP_4th_International_Conference_on_Sensor_Networks_-_SENS?= =?iso-8859-1?Q?ORNETS_2015?= Message-ID: <00c201cf7a66$99d66050$cd8320f0$@insticc.org> CALL FOR PAPERS 4th International Conference on Sensor Networks – SENSORNETS 2015 Website: www.sensornets.org February 11 – 13, 2015 ESEO, Angers, Loire Valley, France Regular Papers Paper Submission: September 9, 2014 Authors Notification: November 25, 2014 Camera Ready and Registration: December 10, 2014 Position Papers Paper Submission: October 28, 2014 Authors Notification: November 28, 2014 Camera Ready and Registration: December 10, 2014 Doctoral Consortium Paper Submission: December 11, 2014 Authors Notification: December 24, 2014 Camera Ready and Registration: January 14, 2015 Sponsored by: INSTICC - Institute for Systems and Technologies of Information, Control and Communication Co-organized by: Groupe ESEO - Graduate School of Engineering INSTICC is Member of: FIPA – Foundation for Intelligent Physical Agents OMG - Object Management Group WfMC- Workflow Management Coalition Logistics Partner: SCITEVENTS – Science and Technology Events In Cooperation with: ACM – Association for Computer Machinery ACM SIGAPP - Special Interest Group on Applied Computing Current developments show that in the near future the wide availability of low cost, short range radio technology, along with advances in wireless networking, will enable wireless adhoc sensor networks to become commonly deployed. In these networks, each node may be equipped with a variety of sensors, such as acoustic, seismic, infrared, motion, biomedical and chemical sensors with higher level of information inference associated with identification, embedded signal processing and networking of the data. This conference intends to be the meeting point of researchers and practitioners share experience and ideas on innovative developments in any aspect of sensor networks, including Hardware of Sensor Networks, Wireless Communication Protocols, Sensor Networks Software and Architectures, Wireless Information Networks, Data Manipulation, Signal Processing, Localization and Object Tracking through Sensor Networks, Obstacles, Applications and Uses. KEYNOTE SPEAKERS SENSORNETS 2015 will have several invited keynote speakers, who are internationally recognized experts in their areas. Their names are not yet confirmed. PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef ( http://www.crossref.org/). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. Please check the website for further information: http://www.sensornets.org/BestPaperAward.aspx CONFERENCE CO-CHAIRS César Benavente-Peces, Universidad Politécnica de Madrid, Spain Patrick Plainchault, ESEO, France PROGRAM CHAIR Octavian Postolache, Institute of Telecommunications, Portugal CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1 . Sensor Networks Software and Architectures 2 . Wireless Information Networks 3 . Hardware 4 . Data Manipulation 5 . Signal Processing 6 . Obstacles 7 . Applications and Uses AREA 1: SENSOR NETWORKS SOFTWARE AND ARCHITECTURES · Internet of Things · Interoperability · Agent-based Simulation · Decision Support · Platforms and Operating Systems · Programming and Middleware · Connectivity and Communication · Scheduling, Tasking and Control AREA 2: WIRELESS INFORMATION NETWORKS · Technologies and Standards · WiFi, ZigBee, WiMax, Bluetooth · Wireless Network Protocols · Routing Techniques · Network Architecture · Ad Hoc Networks · Hierarchical Networks · Wireless Mesh Networks · Network Performance · Power Management · Remote Sensing and Telemetry · Ubiquitous Computing AREA 3: HARDWARE · Hardware Design, Fabrication Techniques · Packaging, Testing and Reliability · Electronic Interfaces · RFID Readers and Tags · MEMS · Swarm Sensors · Cooperating Objects · Sensor Types for Chemical and Biomedical Applications · Electronic Nose · Electronic Tongue AREA 4: DATA MANIPULATION · Sensor Data Fusion · Data Visualization · Multi-sensor Data Processing · Aggregation, Classification and Tracking · Pattern Recognition · Reasoning on Sensor Data · Indexing and Publishing · Data Quality and Integrity AREA 5: SIGNAL PROCESSING · Statistical and Adaptive Signal Processing · Sparse Signal Processing · Multimedia/Audio Signal Processing · Coding, and Compression · Distributed and Collaborative Signal Processing · Array Processing of Nonstationary Signals · Neural Networks · DNA Computing · Data Mining · Fault Detection AREA 6: OBSTACLES · Security: Vulnerability and Privacy · Authentication · Data Overload · Real-time Constraints · Energy Efficiency · Fault Tolerance and Diagnosis · Environmental Impact Reduction · Self-healing · Infrastructure Reliability AREA 7: APPLICATIONS AND USES · Smart Grids and Energy Control Systems · Industrial and Structural Monitoring · Environment Monitoring · Gas Analysis and Sensing · Measurement and Control of Water · Well-being and Well-working · Smart Buildings and Smart Cities · Home Monitoring and Assisted Living Applications · Healthcare · Medical Imaging · Wireless Surveillance · Defense and Security · Vehicular Networks · Aeronautical · Sport and Leisure · Smart Fabrics and Wearables PROGRAM COMMITTEE http://www.sensornets.org/ProgramCommittee.aspx Please check further details at the conference website: http://www.sensornets.org --- This email is free from viruses and malware because avast! Antivirus protection is active. http://www.avast.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From hastings at ebi.ac.uk Wed May 28 17:35:01 2014 From: hastings at ebi.ac.uk (Janna Hastings) Date: Wed, 28 May 2014 16:35:01 +0100 Subject: Call for Participation: FOIS 2014 in Rio de Janeiro In-Reply-To: <069001cf7a8a$54326ca0$fc9745e0$@ebi.ac.uk> References: <05f701cf7a87$d081b9d0$71852d70$@ebi.ac.uk> <062001cf7a89$65c39b20$314ad160$@ebi.ac.uk> <063001cf7a89$7d791830$786b4890$@ebi.ac.uk> <064001cf7a89$983ff3f0$c8bfdbd0$@ebi.ac.uk> <065001cf7a89$aa8a43d0$ff9ecb70$@ebi.ac.uk> <066001cf7a89$b974edf0$2c5ec9d0$@ebi.ac.uk> <067001cf7a89$fb95f210$f2c1d630$@ebi.ac.uk> <068001cf7a8a$1e6736f0$5b35a4d0$@ebi.ac.uk> <069001cf7a8a$54326ca0$fc9745e0$@ebi.ac.uk> Message-ID: <069b01cf7a8a$63ef0cc0$2bcd2640$@ebi.ac.uk> Registration is now open for FOIS 2014: http://fois2014.inf.ufes.br/p/registrations.html ----------------------------------- CALL FOR PARTICIPATION ----------------------------------- 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 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/ A list of accepted papers for FOIS can be found at http://fois2014.inf.ufes.br/p/blog-page_16.html ----------------------------------- 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. -------------------------------------------- CONFERENCE ORGANISATION -------------------------------------------- Conference Chair: Laure Vieu (CNRS, France) Program Chairs: Pawel Garbacz (Catholic University of Lublin, Poland) Oliver Kutz (Otto-von-Guericke University of Magdeburg, Germany) Organizational Chairs: Giancarlo Guizzardi (Federal University of Espirito Santo Brazil) Renato Rocha Souza (FGV, Brazil) Workshop Chairs: Robert Hoehndorf (University of Cambridge, UK) Ontology Competition Chairs: Till Mossakowski (Otto-von-Guericke University of Magdeburg, Germany) Early Career Symposium Chairs: Marion Haemmerli (University of Lausanne, Switzerland) Torsten Hahmann (University of Maine, USA) Claudio Masolo (ISTC-CNR, Italy) Publicity Chairs: Janna Hastings (European Bioinformatics Institute, UK) Fernanda Baiao (Federal University of the State of Rio de Janeiro, Brazil) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecai2014 at guarant.cz Thu May 29 12:30:02 2014 From: ecai2014 at guarant.cz (=?utf-8?q?ECAI_2014?=) Date: Thu, 29 May 2014 12:30:02 +0200 Subject: =?utf-8?q?ECAI_2014_-_reminder?= Message-ID: <20140529103002.A16B71742FA@gds25d.active24.cz> =============================================================== ECAI 2014 Prague, Czech Republic 18-22 August 2014 http://www.ecai2014.org/ =============================================================== PRELIMINARY PROGRAMME Monday, August 18 Tutorials, Workshops, STAIRS, RuleML, Angry Birds Tuesday, August 19 Tutorials, Workshops, STAIRS, RuleML, Angry Birds Welcome Drink Wednesday, August 20 Opening Session, Keynote speaker, Parallel Sessions, PAIS, RuleML, Angry Birds Thursday, August 21 Keynote speaker, Parallel Sessions, PAIS, Angry Birds Conference Dinner Friday, August 22 Keynote speaker, Parallel Sessions, Angry Birds PROGRAMME COMMITTEE Conference Chair: Hector Geffner ECAI Programme Chair: Torsten Schaub Organizing Committee Chair: Vladimír Mařík Organizing Committe Co-chairs: Olga Štěpánková and Filip Železný ECCAI Chair: Patrick Doherty Workshop Chairs: Marina de Vos and Karl Tuyls STAIRS Programme Chairs: Ulle Endriss and Joao Leite PAIS Programme Chairs: Gerhard Friedrich and Barry O'Sullivan Tutorials Chairs: Agostino Dovier and Paolo Torroni Senior Programme Committee: José Júlio Alferes (Portugal) Sophia Ananiadou (United Kingdom) Elisabeth André (Germany) Grigoris Antoniou (United Kingdom) Christian Bessiere (France) Yngvi Björnsson (Iceland) Gerhard Brewka (Germany) Diego Calvanese (Italy) Amedeo Cesta (Italy) Andrew Coles (United Kingdom) Luc de Raedt (Belgium) Stefan Decker (Ireland) Esra Erdem (Turkey) Paolo Frasconi (Italy) Johannes Fürnkranz (Germany) Enrico Giunchiglia (Italy) Lluís Godo Lacasa (Spain) Marc Hanheide (United Kingdom) Joachim Hertzberg (Germany) Joerg Hoffmann (Germany) Eyke Hüllermeier (Germany) Anthony Hunter (United Kingdom) Luca Iocchi (Italy) Manfred Jaeger (Denmark) Tomi Janhunen (Finland) Souhila Kaci (France) Kristian Kersting (Germany) Philipp Koehn (United Kingdom) Sarit Kraus (Israel) =============================================================== 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 re­move your email address from our database please reply to this message with “Unsubscribe” in the subject line From ijv at acm.org Thu May 29 17:05:52 2014 From: ijv at acm.org (=?iso-8859-1?Q?Ivan_Jos=E9_Varzinczak?=) Date: Thu, 29 May 2014 12:05:52 -0300 Subject: DARe at ECAI 2014: Deadline Extended to 8 June 2014 Message-ID: * Please accept our apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at ECAI 2014 Date: 19 August 2014 Prague, Czech Republic *** Deadline extended to 8 June 2014 *** ============================== The International Workshop on "Defeasible and Ampliative Reasoning" (DARe) http://dare2014.yolasite.com held on 19 August 2014 at the European Conference on Artificial Intelligence (ECAI 2014) -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption, and (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypothesis in scientific theories or finding abductive explanations in forensics. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on nonmonotonic reasoning has focused almost exclusively on defeasibility of argument forms; belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation, and even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Moreover, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, nonmonotonic reasoning, nonmonotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html) and should be no longer than 12 pages excluding references and in PDF format. There is no page limit on the list of references. Please submit to: https://www.easychair.org/conferences/?conf=dare2014 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. Please check the ECAI 2014 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 8 June 2014 (extended) - Notification: 23 June 2014 - Camera ready: 01 July 2014 - Early registration: [TBA] - Late registration: [TBA] - Workshop date: 19 August 2014 -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth (Université du Luxembourg) - Giovanni Casini (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - Szymon Klarman (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - Gilles Richard (Université Paul Sabatier, France) - Ivan Varzinczak (Universidade Federal do Rio de Janeiro, Brazil) -- Program Committee -- - Natasha Alechina (University of Nottingham, UK) - Carlos Areces (Universidad Nacional de Córdoba, Argentina) - Ofer Arieli (Academic College of Tel-Aviv, Israel) - Guillaume Aucher (University of Rennes 1 - INRIA, France) - Christoph Beierle (FernUniversitaet Hagen, Germany) - Mario Benevides (Federal University of Rio de Janeiro, Brazil) - Jean-Yves Béziau (Federal University of Rio de Janeiro and Brazilian Research Council,Brazil) - Antonis Bikakis (University College London, UK) - Alexander Bochman (Holon Institute of Technology, Israel) - Katarina Britz (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - Jim Delgrande (Simon Fraser University, Canada) - Juergen Dix (TU Clausthal, Germany) - Marcelo Finger (Universidade de São Paulo, Brazil) - Michael Fink (TU Wien, Austria) - Nina Gierasimczuk (University of Amsterdam, Netherlands) - Patrick Girard (University of Auckland, New Zealand) - Guido Governatori (NICTA and Queensland University of Technology, Australia) - Sven Ove Hansson (Royal Institute of Technology, Sweden) - Andreas Herzig (IRIT CNRS, France) - Souhila Kaci (Université Montpellier 2, France) - Antonis Kakas (University of Cyprus) - Gabriele Kern-Isberner (TU Dortmund, Germany) - Barteld P. Kooi (University of Groningen, Netherlands) - Willem Labuschagne (University of Otago, New Zealand) - João Marcos (Universidade Federal do Rio Grande do Norte, Brazil) - Thomas Meyer (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - Maurice Pagnucco (The University of New South Wales, Australia) - Laurent Perrussel (Université de Toulouse, France) - Guilin Qi (Southeast University, China) - François Schwarzentruber (ENS Rennes/IRISA) - Sonja Smets (University of Amsterdam, Netherlands) - Umberto Straccia (CNR, Italy) - Mirek Truszczynski (University of Kentucky, USA) - Joost Vennekens (K.U. Leuven, Belgium) - Peter Verdée (Universiteit Gent, Belgium) - Petrucio Viana (Universidade Federal Fluminense, Brazil) - Heinrich Wansing (Ruhr-Universitaet Bochum, Germany) - Renata Wassermann (Universidade de São Paulo, Brazil) - Anna Zamansky (University of Haifa, Israel) -- Further Information -- Please note that according to ECAI policy all workshop participants are required to register for both the workshop and the main conference. ECAI reserves the right to cancel a workshop if not enough participants register. Please visit the workshop website (http://dare2014.yolasite.com) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan José Varzinczak COPPE-PESC and Department of Computer Science Universidade Federal do Rio de Janeiro, Brazil Homepage: http://en.varzinczak.net16.net Google scholar profile: http://tinyurl.com/varzinczak From calendarsites at insticc.org Thu May 29 19:10:49 2014 From: calendarsites at insticc.org (Calendar Sites) Date: Thu, 29 May 2014 18:10:49 +0100 Subject: CFP 5th International Conference on Cloud Computing and Services Science - CLOSER 2015 Message-ID: <01c101cf7b61$10275110$3075f330$@insticc.org> CALL FOR PAPERS 5th International Conference on Cloud Computing and Services Science - CLOSER 2015 Website: www.closer.scitevents.org May 20 – 22, 2015 Lisbon, Portugal Regular Papers Paper Submission: December 16, 2014 Authors Notification: March 11, 2015 Camera Ready and Registration: March 25, 2015 Position Papers Paper Submission: February 3, 2015 Authors Notification: March 12, 2015 Camera Ready and Registration: March 25, 2015 Sponsored by: INSTICC – Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: WfMC – Workflow Management Coalition OMG – Object Management Group Logistics Partner: SCITEVENTS – Science and Technology Events The 5th International Conference on Cloud Computing and Services Science, CLOSER 2015, focuses on the emerging area of Cloud Computing, inspired by some latest advances that concern the infrastructure, operations, and available services through the global network. Further, the conference considers as essential the link to Services Science, acknowledging the service-orientation in most current IT-driven collaborations. The conference is nevertheless not about the union of these two (already broad) fields, but about Cloud Computing where we are also interested in how Services Science can provide theory, methods and techniques to design, analyze, manage, market and study various aspects of Cloud Computing. KEYNOTE SPEAKERS CLOSER 2015 will have several invited keynote speakers, who are internationally recognized experts in their areas. Their names are not yet confirmed. PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. It is planned to publish a short list of revised and extended versions of presented papers with Springer in a CCIS Series book (final approval pending). The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. Please check the website for further information: closer.scitevents.org/BestPaperAward.aspx CONFERENCE CHAIR Markus Helfert, Dublin City University, Ireland PROGRAM CO-CHAIRS Víctor Méndez Muñoz, Universitat Autònoma de Barcelona, UAB, Spain Donald Ferguson, Dell, United States CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1. CLOUD COMPUTING FUNDAMENTALS 2. SERVICES SCIENCE FOUNDATION FOR CLOUD COMPUTING 3. CLOUD COMPUTING PLATFORMS AND APPLICATIONS 4. CLOUD COMPUTING ENABLING TECHNOLOGY 5. MOBILE CLOUD COMPUTING AND SERVICES AREA 1: CLOUD COMPUTING FUNDAMENTALS · Cloud Application Portability · Cloud Computing Architecture · Cloud Delivery Models · Cloud Deployment Models: Public/Private/Hybrid Cloud · Cloud Education · Cloud Interoperability · Cloud Risk, Challenges, and Governance · Cloud Scenarios · Cloud Standards · QoS for applications on clouds · Energy Management · Resource Management · Privacy, Security and Trust AREA 2: SERVICES SCIENCE FOUNDATION FOR CLOUD COMPUTING · Business Process Management and Web Services · Business Services Realized by IT Services · Cloud Brokering · Cloud Cost Analysis · Cloud Governance · Enterprise Architectures and Services · Federated Cloud · Human Beings in Service Systems · Industrial Applications of Services Science · Information and Service Economy · Internet of Services · Model-Driven Web Service Engineering · Semantic Web Technologies · Service Brokering · Service Composition and Mashups · Service Discovery · Service Innovation · Service Marketing and Management · Service Modeling and Specification · Service Monitoring and Control · Service Strategy · Service-Oriented Architecture · Services Security and Reliability · Web Services AREA 3: CLOUD COMPUTING PLATFORMS AND APPLICATIONS · Access Control · Application Data Migration · Big Data Cloud Services · Cloud Application Architectures · Cloud Application Scalability and Availability · Cloud Applications Performance and Monitoring · Cloud Economics · Cloud Middleware Frameworks · Cloudsourcing · Development Methods for Cloud Applications · XaaS · Cloud Services AREA 4: CLOUD COMPUTING ENABLING TECHNOLOGY · API Management · Cloud Abstraction of Composite IT Systems · Cloud Composition, Federation, Bridging, and Bursting · Cloud Ilities (Scalability, Availability,Reliability) · Cloud Optimization and Automation · Cloud Resource Virtualization and Composition · Virtual Infrastructure Management · VM Live Migration · Cloud Workload Profiling and Deployment Control · Distributed Management of Clouds · High Performance Cloud Computing · Metering, pricing, and software licensing · Monitoring of Services, Quality of Service, Service Level Agreements · Performance Development and Management · Programming Models, Systems, and Fault-Tolerant Computing · Security, Privacy, and Compliance Management · Troubleshooting and Best Practices · Virtualization Technologies AREA 5: MOBILE CLOUD COMPUTING AND SERVICES · Cloud-based mobile media systems and social networks · Engineering Mobile Clouds and Mobile-Based Systems · Location-based mobile cloud applications and services · Mobile cloud computing models, infrastructures, and approaches · Mobile Clouds for E-Commerce Services · Mobile multimedia content delivery, transferring, and migration · Mobile Reliability, Availability, Scalability and Performance · Pervasive Environments · Quality of service on mobile clouds and applications · Security Issues in Mobile Systems Software and Hardware · Smart mobile computing SaaS on clouds PROGRAM COMMITTEE http://closer.scitevents.org/ProgramCommittee.aspx Please check further details at the conference website closer.scitevents.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From thierry.charnois at lipn.univ-paris13.fr Thu May 29 19:39:53 2014 From: thierry.charnois at lipn.univ-paris13.fr (Thierry Charnois) Date: Thu, 29 May 2014 19:39:53 +0200 Subject: CFP DMNLP - Workshop on Interactions between Data Mining and Natural Language Processing at ECML/PKDD Message-ID: <538770E9.8020500@lipn.univ-paris13.fr> [Apologies for multiple postings] ******************************************************** CALL FOR PAPERS Workshop on Interactions between Data Mining and Natural Language Processing (DMNLP'2014) ECML/PKDD 2014 Workshop September 15, 2014 Nancy, France http://dmnlp.loria.fr ******************************************************** ------ SCOPE ------ On the one hand, in the field of Natural Language Processing (NLP), numerical Machine Learning methods (e.g., SVM, CRF) have been intensively explored and applied. Despite the good results obtained by the numerical methods, one major drawback is that they do not provide a human readable model. A promising direction is the integration of symbolic knowledge. On the other hand, research in Data Mining has progressed significantly in the last decades, through the development of advanced algorithms and techniques to extract knowledge from data in different forms. In particular, for two decades Pattern Mining has been one of the most active field in Knowledge Discovery. Recently, a new field has emerged taking benefit of both domains: Data Mining and NLP. The objective of DMNLP is thus to provide a forum to discuss how Data Mining can be interesting for NLP tasks, providing symbolic knowledge, but also how NLP can enhance data mining approaches by providing richer and/or more complex information to mine and by integrating linguistics knowledge directly in the mining process. The workshop aims at bringing together researchers from both communities in order to stimulate discussions about the cross-fertilization of those two research fields. The idea of this workshop is to discuss future directions and new challenges emerging from the cross-fertilization of Data Mining and NLP and in the same time initiate collaborations between researchers of both communities. --------------- CALL FOR PAPERS --------------- The workshop promotes works where the two following dimensions are combined in one as symbiosis. The first dimension is Data Mining, for instance Pattern Mining (itemsets, sequences, trees, graphs, association rules), classification (decision trees, FCA,...), inductive logic programming. The second dimension is NLP, for example question/answering systems, translation, information extraction, linguistic analysis (lexical analysis, terminology, syntax, semantics, discourse, stylistics), classification, knowledge extraction/ontology building from texts, information retrieval, corpus annotation, social/opinion mining. A list of non-exhaustive topics that fit the scope of the workshop is thus: - Pattern discovery for NLP - Constraint-based pattern mining in text - Data mining query languages for expressing NLP tasks - Data representation (sequence, tree, graphs) for NLP - Modelization of text for data mining - Relationships between data mining and NLP - Modeling and visualizing data mining results on text - Integrating NLP characteristics in data mining - Data mining approaches for linguistic knowledge building - Knowledge discovery for linguistic analysis (e.g. stylistic, socio-linguistics,…) - Linguistically-informed text representations for Data Mining ------------------ SUBMISSION FORMAT ------------------ Our main goal is to stimulate discussions, collaborations and the sharing of experiences. In that respect, we would have three submission types: * unpublished works (max 16 pages, double submissions allowed) * short papers and vision statements (max 8 pages) * recently published works (special oral-only track, no page limits) For more details on submission, see the DMNLP webpage at http://dmnlp.loria.fr ----------------- IMPORTANT DATES ----------------- * Deadline for submissions: Friday, June 20, 2014 * Author notification: Friday, July 11, 2014 * Final version: Tuesday July 22, 2014 * Workshop date: Monday September 15, 2014 -------------- ORGANIZATION -------------- * Peggy Cellier, INSA Rennes, IRISA, Rennes, France * Thierry Charnois, Université de Paris 13, LIPN, France * Andreas Hotho, University of Kassel, Germany * Stan Matwin, Dalhousie University, Canada * Marie-Francine Moens, Katholieke Universiteit, Leuven, Belgium * Yannick Toussaint, INRIA, LORIA, Vandoeuvre-les-Nancy, France ------------------- PROGRAM COMMITTEE ------------------- * Martin Atzmueller, University of Kassel, Germany * Delphine Battistelli, MoDyCo-Université Paris Ouest, France * Yves Bestgen, Université catholique de Louvain, Belgium * Philipp Cimiano, University of Bielefeld, Germany * Bruno Cremilleux, Université de Caen, France * Beatrice, Daille, LINA, France * Yves Lepage, Waseda University, Japan * Francois Jacquenet, Laboratoire Hubert Curien, Saint-Etienne, France * Jiri Klema, Czech Technical University, Prague, Czech Republic * Amedeo Napoli, LORIA Nancy, France * Adeline Nazarenko, Université de Paris 13, LIPN, France * Claire Nédellec, Institut National de Recherche Agronomique, France * Pascal Poncelet, LIRMM Montpellier, France * Maria Teresa Pazienza, University of Roma "Tor Vergata", Italy * Stephen Poteet, Boeing, USA * Solen Quiniou, LINA-Université de Nantes, France * Mathieu Roche, TETIS, Montpellier, France * Arnaud Soulet, Université François Rabelais, Tours, France * Steffen, Staab, University of Koblenz-Landau, Germany * Koichi Takeuchi, Okayama University, Japan * Isabelle Tellier, Lattice, Paris, France * Johanna Völker, University of Mannheim, Germany * Xifeng Yan, University of California, Santa Barbara, USA * Pierre Zweigenbaum, LIMSI-CNRS, Paris, France From stephengmatthews at gmail.com Fri May 30 12:28:54 2014 From: stephengmatthews at gmail.com (Stephen G Matthews) Date: Fri, 30 May 2014 11:28:54 +0100 Subject: IEEE SSCI 2014 Doctoral Consortium (deadline June 15, 2014) - Call for Applications Message-ID: IEEE SSCI 2014 Doctoral Consortium - Call for Applications The IEEE Symposium Series on Computational Intelligence (SSCI) 2014 will be running a Doctoral Consortium alongside the symposium. The objective of this Doctoral Consortium is to provide an opportunity for Ph.D. students to discuss their dissertation research topics, research plans, and research methodologies in a supportive environment with peers in the community. The feedback, advice, and guidance will be invaluable to Ph.D. students in supporting their current and future research in computational intelligence and their future careers. There are dedicated financial support for selected Ph.D. students to attend this Doctoral Consortium as well as student travel grants for SSCI. Applications In order to submit to the Doctoral Consortium, students are required to submit the following items through the same portal as papers for SSCI. 1. Cover sheet that includes: - Full name - Affiliation and email address - Expected graduation date - Thesis advisor’s full name, title, affiliation and email address - Title of research - List of up to 5 keywords to help select reviewers for the application 2. A 2-page summary of Ph.D. research that includes: - Title of research - Name, affiliation, and email address - Research question and significance - Important literature - Proposed research methodology - Preliminary results - Future research plan - Reference list (maximum one page, not included in 2-page limit) 3. CV 4. Letter of support from Ph.D. supervisor or other faculty member 5. Confirmation letter of Ph.D. student status Key dates are the same as for the SSCI Submission June 15, 2014 Notification September 5, 2014 Final Submission October 5, 2014 Full details of the Doctoral Consortium are available from http://ieee-ssci.org/consortium.html Co-Chairs Stephen G. Matthews, University of Bristol, UK Xiaorong Zhang, San Francisco State University, USA Demetrios G. Eliades, University of Cyprus, Cyprus -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sat May 31 09:27:37 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 31 May 2014 09:27:37 +0200 Subject: SSTiC 2014: June 7, early registration deadline Message-ID: *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/ ********************************************************************* --- Early registration deadline: June 7 --- ********************************************************************* 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 22 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), Top-N Recommender Systems: Revisiting Item Neighborhood Methods 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 (Qatar Computing Research Institute, Doha), [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), [intermediate/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 Robert Sargent (Syracuse U), [introductory] Validation of Models 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. DEADLINES AND 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: Early registration: June 7, 2014 --- 470 Euro Regular registration: July 5, 2014 --- 500 Euro On-site registration: July 11, 2014 --- 530 Euro ACCOMMODATION: Information about accommodation is available on the website of the School. 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: Universitat Rovira i Virgili From maurizio.proietti at iasi.cnr.it Sat May 31 14:48:50 2014 From: maurizio.proietti at iasi.cnr.it (Maurizio Proietti) Date: Sat, 31 May 2014 14:48:50 +0200 Subject: LOPSTR 2014 - Extended Deadlines Message-ID: ==================== EXTENDED DEADLINES ==================== Abstract submission: June 11, 2014 Paper/Extended abstract submission: June 18, 2014 ===================== 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 ============================================================ Invited Speakers: Roberto Giacobazzi (University of Verona, Italy) Viktor Kuncak (EPFL, Switzerland) ============================================================ 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: June 11, 2014 Paper/Extended abstract submission: June 18, 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 SIMULA Research Laboratory, Norway Gopal Gupta University of Texas at Dallas, USA Jacob Howe City University London, UK Zhenjiang Hu National Institute of Informatics, Japan Alexei Lisitsa University of Liverpool, UK Yanhong Annie Liu Stony Brook University, USA 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 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, University of Chieti-Pescara and IASI-CNR, Italy Fabrizio Smith, IASI-CNR, Italy