From rseba at disi.unitn.it Thu Nov 3 19:13:54 2011 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Thu, 3 Nov 2011 19:13:54 +0100 Subject: SAT 2012: Call for Papers Message-ID: <20111103181354.GA6244@disi.unitn.it> ------------------------------------------------------------------------- 15th International Conference on THEORY AND APPLICATIONS OF SATISFIABILITY TESTING --- SAT 2012 --- Trento, Italy, June 17-20th, 2012 http://sat2012.fbk.eu/ ------------------------------------------------------------------------- AIM and SCOPE ============= The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the primary annual meeting for researchers studying the propositional satisfiability problem. Importantly, here SAT is interpreted in a rather broad sense: besides plain propositional satisfiability, it includes the domains of MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean Formulae (QBF), Satisfiability Modulo Theories (SMT), Constraints Programming (CSP) techniques for word-level problems and their propositional encoding. To this extent, many hard combinatorial problems can be encoded as SAT instances, in the broad sense mentioned above, including problems that arise in hardware and software verification, AI planning and scheduling, OR resource allocation, etc. The theoretical and practical advances in SAT research over the past twenty years have contributed to making SAT technology an indispensable tool in these domains. SAT 2012 will take place in Trento, Italy, a cosmopolitan city set in a spectacular mountain scenery, and home to a world-class university and research centres. RELEVANT TOPICS =============== The topics of the conference span practical and theoretical research on SAT (in the broader sense above) and its applications, and include, but are not limited to: * Theoretical issues - Combinatorial Theory of SAT - Proof Systems and Proof Complexity in SAT - Analysis of SAT Algorithms * Solving: - Improvements of current solving procedures - Novel solving procedures, techniques and heuristics - Incremental solving * Beyond solving: - Functionalities (e.g., proofs, unsat-cores, interpolants,...) - Optimization * Applications - SAT techniques for other domains - Novel Problem Encodings - Novel Industrial Applications of SAT A more detailed description can be found on the web site. INVITED SPEAKERS ================ We are honored to announce the following invited speakers at SAT'12: * Aaron Bradley, Boulder, USA. "SAT-based Verification with IC3: Foundations and Demands" * Donald Knuth, Stanford, USA. "Satisfiability and The Art of Computer Programming" The presence of both speakers has been confirmed, although the titles of the talks may be provisional. PAPER SUBMISSION ================ Papers must be edited in LATEX using the LNCS format and be submitted electronically as PDF files via EasyChair. We envisage three categories of submissions: REGULAR PAPERS. Submissions, not exceeding fourteen (14) pages, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. TOOL PRESENTATIONS. Submissions, not exceeding four (4) pages, should describe the implemented tool and its novel features. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented in other conferences before will be accepted only if significant and clear enhancements to the tool are reported and implemented. EXTENDED ABSTRACTS/POSTERS. Submissions, not exceeding two (2) pages, briefly introducing work in progress, student work, or preliminary results. These papers are expected to be presented as posters at the conference. Further information about paper submission, including a more detailed description of the scope and specification of the three submission categories, will be made available at SAT'12 web page. The review process will be subject to a rebuttal phase. IMPORTANT DATES: ================ Abstract Submission: 05/02/2012 Paper Submission: 12/02/2012 Rebuttal phase: 28-30/03/2012 Final Notification: 12/04/2012 Final Version Due: 04/05/2012 Conference: 17-20/06/2012 PROCEEDINGS =========== The proceedings of SAT’12 will be published by Springer-Verlag in the LNCS series. PROGRAM CHAIRS ============== Alessandro Cimatti -- FBK-Irst, Trento, Italy Roberto Sebastiani -- DISI, University of Trento, Italy PROGRAM COMMITTEE ================= Dimitris Achlioptas -- UC Santa Cruz, USA Fahiem Bacchus -- University of Toronto, Canada Paul Beame -- University of Washington, USA Armin Biere -- Johannes Kepler University, Austria Randal Bryant -- Carnegie Mellon University, USA Uwe Bubeck -- University of Paderborn, Germany Nadia Creignou -- LIF Marseille, France} Leonardo DeMoura -- Microsoft Research, USA John Franco -- University of Cincinnati, USA Malay Ganai -- NEC, USA Enrico Giunchiglia -- Università di Genova, Italy Yussef Hamadi -- Microsoft Research, UK Zyiad Hanna -- Jasper, USA Holger Hoos -- University of British Columbia, Canada Marijn Heule -- Johannes Kepler University, Austria Kazuo Iwama -- Kyoto University, Japan Oliver Kullmann -- University of Wales Swansea, UK Daniel Le Berre -- Université d’Artois, France Ines Lynce -- Instituto Superior Técnico, Portugal Panagiotis Manolios -- Northeastern University, USA Joao Marques-Silva -- University College Dublin, Ireland David Mitchell -- Simon Fraser University, Canada Alexander Nadel -- Intel, Israel Jussi Rintanen -- The Austrailan National University, Australia Lakhdar Sais -- Université d’Artois, France Karem Sakallah -- University of Michigan, USA Bart Selman -- Cornell University, USA Laurent Simon -- Université Paris 11, France Carsten Sinz -- Karlsruhe Institute of Technology, Germany Niklas Sorensson -- Chalmers University, Sweden Ofer Strichman -- Technion, Israel Stefan Szeider -- Vienna University of Technology, Austria Allen Van Gelder -- University of California, Santa Cruz, USA Toby Walsh -- University of New South Wales, Australia Xishun Zhao -- Sun Yat-Sen University, China From Bertram.Fronhoefer at tu-dresden.de Thu Nov 3 20:07:17 2011 From: Bertram.Fronhoefer at tu-dresden.de (=?iso-8859-1?Q?Bertram_Fronh=F6fer?=) Date: Thu, 3 Nov 2011 20:07:17 +0100 Subject: European Master's Program in Computational Logic Message-ID: <17A9058D-4B9E-4030-B9D9-9F8772F752A0@tu-dresden.de> Please help to spread this information as wide as possible. ****************************************************************** The European Master's Program in Computational Logic We are glad to announce 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. We would like to draw your attention to the ERASMUS-MUNDUS scholarship program. The ERASMUS-MUNDUS consortium offers 2-year scholarships up to 48.000 EUR for non-EU students and up to 23.000 EUR for EU students of our European Master's Program in Computational Logic. More information on the scholarship program is available from: http://www.emcl-study.eu/fileadmin/emcl_booklet_tree/ma_em_grant.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 Narendra.Jussien at mines-nantes.fr Tue Nov 8 12:33:21 2011 From: Narendra.Jussien at mines-nantes.fr (Narendra Jussien) Date: Tue, 8 Nov 2011 12:33:21 +0100 Subject: CPAIOR 2012 - third call for papers - submission open - deadline approaching Message-ID: <9C954E73-29C7-4DBE-8E69-296F1412DD16@mines-nantes.fr> CPAIOR 2012 Third call for papers - Deadline Approaching Ninth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming web: http://www.emn.fr/z-info/cpaior-2012/ cpaior series: http://www.andrew.cmu.edu/user/vanhoeve/cpaior/ Cité des Congrès, Nantes, France MAY 28 - JUNE 1, 2012 ===================================== DEADLINES ===================================== PAPER SUBMISSION http://www.easychair.org/conferences/?conf=cpaior2012 Abstract due : DECEMBER 01, 2011 Paper due: DECEMBER 05, 2011 Notification: JANUARY 12, 2012 The Ninth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming will be held in Nantes, France, May 28-June 1, 2012. The aim of the conference is to bring together interested researchers from constraint programming (CP), artificial intelligence (AI) and operations research (OR) to present new techniques or new applications in combinatorial optimization and to provide an opportunity for researchers in one area to learn about techniques in the others. A main objective of this conference series is also to give these researchers the opportunity to show how the integration of techniques from different fields can lead to interesting results on large and complex problems. Therefore papers that actively combine, integrate, or contrast approaches from more than one of the areas are especially solicited. High quality papers from a single area are also welcome. Finally, application papers showcasing CP/AI/OR techniques on innovative and challenging applications or experience reports on such applications are strongly encouraged. The program committee invites submissions that include but are not limited to the following topics: * Inference and relaxation methods: constraint propagation, cutting planes, global constraints, graph algorithms, dynamic programming, Lagrangean and convex relaxations, counting based inferences and heuristics, constraint relaxation based heuristics. * Search methods: branch and bound, intelligent backtracking, incomplete search, randomized search, column generation and other decomposition methods, local search, meta-heuristics. * Integration methods: static/dynamic problem decomposition, solver communication, transformations between models and solvers, collaboration between concurrent methods, models, and solvers. * Modeling methods: comparison of models, symmetry breaking, uncertainty, dominance relationships, model compilation into different technologies (CP, LP, etc.), learning (CP, LP) models from examples. * Innovative Applications of CP/AI/OR techniques. * Implementation of CP/AI/OR techniques and optimization systems. PAPER SUBMISSION (are now open) Paper submissions are of two types: Long papers and short papers. INSTRUCTION FOR LONG PAPERS: Long papers should present original unpublished work and be at most 15 pages plus references in length, and should be prepared in the format used for the Springer Lecture Notes in Computer Science series (http://www.springer.de/comp/lncs/authors.html). These papers will undergo rigorous review. The proceedings will be published in the Springer Lecture Notes in Computer Science series. NOTE: Unlike previous CPAIOR conferences the page limit for long papers is 15 LNCS pages *plus references*. INSTRUCTION FOR SHORT PAPERS: Short papers are also encouraged, limited to 5 LNCS pages plus references and should be prepared with the same format as long papers (http://www.springer.de/comp/lncs/authors.html). Although containing less material, short papers should describe original unpublished work and will be reviewed to the same criteria of quality as long papers. It is also encouraged to submit short papers about work in progress on ideas that are interesting but for which the practical or theoretical relevance is not yet fully identified. Short papers will be presented at the conference and published in the conference proceedings. SUBMISSION NOTES: All papers are to be submitted electronically in PDF format by following the instructions at the URL http://www.easychair.org/conferences/?conf=cpaior2012 For any queries on the paper submission process, please contact the Program Chairs on the email cpaior2012 at mines-nantes.fr CONFERENCE ORGANIZATION: Program Chairs Nicolas Beldiceanu Narendra Jussien Eric Pinson Conference Chairs Narendra Jussien Thierry Petit -- Pr. Narendra Jussien, responsable du département informatique Ecole des Mines de Nantes, LINA CNRS UMR 6241 - http://www.emn.fr/jussien Directeur-adjoint de l'ED 503 STIM From pascal.hitzler at wright.edu Wed Nov 9 04:53:07 2011 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Tue, 08 Nov 2011 22:53:07 -0500 Subject: Semantic Web Journal: Call for Special Issue Proposals Message-ID: <4EB9F923.9020307@wright.edu> Semantic Web Journal: Call for Special Issue Proposals http://www.semantic-web-journal.net Semantic Web research is interdisciplinary in nature. Indeed, progress towards the Semantic Web vision requires the incorporation of fundamental state-of-the-art and future developments from many domains including Computer & Information Science, Cognitive Science, Geographic Information Science, the social sciences, and many more. To establish bridges between these domains, it is thus important to demonstrate what and how they contribute to the Semantic Web vision, and what the Semantic Web can offer in return to these disciplines. Hence, the Semantic Web Journal calls for Special Issue proposals on topics which (a) are within the topical realm of a neighboring domain but (b) contribute directly or indirectly to Semantic Web research. Research published in such special issues should strengthen the in-depth information exchange between disciplines by providing novel and high-quality contributions and at the same time demonstrate the impact on foundational research questions relevant for Semantic Web. While such manuscripts can be written with a specific audience in mind, the key ideas and contributions should be accessible to the broader Semantic web community. Proposals for special issues shall be sent to the Editors-in-Chair (contact at semantic-web-journal.net) and contain the following information in a single PDF file: * Names and affiliations of all guest editors * Topic of the special issue * Tentative list of Guest Editorial Board members * A short description of the topic * Why the topic is currently of interest * Why the topic is relevant to this call * Credentials of the guest editors regarding their research impact and their community standing with respect to the topic * A draft call for papers, including a suggested time-line It will be assumed that all proposed guest editors are aware of the journal's open and transparent review policy described at http://www.semantic-web-journal.net/reviewers#review Submission deadline: 1st of December, 2011 Best Regards, Pascal Hitzler Krzysztof Janowicz Editors-in-Chief -- 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 hr at sti2.at Wed Nov 9 09:38:36 2011 From: hr at sti2.at (HR) Date: Wed, 09 Nov 2011 09:38:36 +0100 Subject: Job Opening: Postdoctoral Researcher at STI Innsbruck and Seekda In-Reply-To: <4D821262.4090303@sti2.at> References: <4D821262.4090303@sti2.at> Message-ID: <4EBA3C0C.7040909@sti2.at> ** Apologies for cross-posting ** Postdoctoral Researcher -- STI Innsbruck and Seekda Semantic Technology Institute Innsbruck Leopold Franzens University of Innsbruck, Austria and Seekda OG, Innsbruck, Austria Ref. No. STI 01-11 STI Innsbruck is one of the world's leading players in the area of semantic technologies with excellent ties to other relevant public and corporate research institutions worldwide. Seekda is an innovative SME that facilitates the on-demand usage of services over the Web. It simplifies purchases across different providers and unifies the usage of services in bundles specialized for vertical services, especially e-Toursim. *We offer:* · *STI:* o The stimulating environment of a leading research group. o Long-term collaboration with well-known academic institutions and major companies around the world. o State-of-the-art infrastructure and resources including funding for attending international conferences and training/educational events. · *Seekda:* o The innovative environment of a dynamic company oriented towards incorporating research results in its products and services. o The opportunity to solve real world challenges in domains such as e-Tourism. o Long-term collaboration with academia and other industrial partners. *We seek*: Individuals who are willing to continue their existing field of research and contirbute to innovative products and services for the e-Tourism domain, based on semantic and linked data technologies. *We expect*: - An excellent PhD degree, or equivalent academic degree, in Computer Science or related disciplines. - Research interest and expertise in at least one of the following areas: semantic technologies, linked data, e-Tourism. - The willingness to combine formal scientific work with application-oriented research in projects funded by the European Commission. - The willingness to assume management and supervision responsibilities for up to 6 junior researchers. *To apply*: Applicants should include a cover letter, curriculum vitae, a list of publications, a research statement and the names and addresses of at least three referees, via email (text, postscript or PDF only) to *hr at sti2.at* Applicants must put ref. no. STI 01-11 in subject line of e-mail application. Additional information regarding our organization's research and projects available on *http://www.sti-innsbruck.at* . -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tavares at fe.up.pt Sat Nov 12 17:02:45 2011 From: tavares at fe.up.pt (=?iso-8859-1?B?Sm/jbyBNYW51ZWwgUi4gUy4gVGF2YXJlcw==?=) Date: Sat, 12 Nov 2011 16:02:45 +0000 Subject: =?iso-8859-1?B?IENNQkJFMjAxMiAtIFNwZWNpYWwgU2Vzc2lvbiBvbiAiQ29tcHV0YXRpb25hbCBNZXRob2RzIGZvciBCaW8tIEltYWdpbmcgYW5kIFZpc3VhbGl6YXRpb24i?= Message-ID: Dear Colleague, Within the 10th International Symposium on Biomechanics and Biomedical Engineering - CMBBE2012 (http://www.cmbbe2012.cf.ac.uk), to be held in Berlin, Germany, on April 11-14, 2012, we are organizing the Special Session on "Computational Methods for Bio- Imaging and Visualization". Due to your research activities in the related fields, we would like to invite you to submit an abstract to our special session. Your contribution is mostly welcomed, and we would be honoured if you could accept this invitation. TOPICS OF INTEREST (not restricted to): - Applications of Bio- Imaging and Visualization; - Computational Vision; - Computer Aided Diagnosis, Surgery, Therapy, and Treatment; - Image Acquisition; - Image Processing and Analysis; - Image Segmentation, Matching and Registration; - Medical Imaging; - Motion and Deformation Analysis; - Physics of Bio-Imaging; - Scientific Visualization; - Shape Reconstruction; - Simulation and Animation; - Software Development; - Telemedicine Systems and their Applications. IMPORTANT DATES: - Abstract submission cut off: December 16, 2011; - Meeting: April 11-14, 2012. ABSTRACT SUBMISSION: Please, go to the abstract submission page (http://www.cmbbe2012.cf.ac.uk/abstract%20-%20author.asp) and select the Special Session "SS5 - Computational Methods for Bio- Imaging and Visualization". With kind regards, João Manuel R. S. Tavares, University of Porto, Portugal, tavares at fe.up.pt (Organizer of the Special Session on "Computational Methods for Bio- Imaging and Visualization") --------------------------- TO UNSUBSCRIBE FROM OUR LIST AND STOP RECEIVING EMAILS FROM US PERMANENTLY, please send an email to tavares at fe.up.pt with REMOVE. Thank you very much. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From J.T.Jeuring at uu.nl Tue Nov 15 12:24:52 2011 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Tue, 15 Nov 2011 12:24:52 +0100 Subject: First call for papers CICM 2012 - Conference on Intelligent Computer Mathematics Message-ID: <8E7B2E7A-026D-435E-892F-ED967A9EADFC@uu.nl> CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ Call for Papers ---------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conference on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. The conference will be organized by Serge Autexier and Michael Kohlhase at Jacobs University in Bremen and consist of five tracks: Artificial Intelligence and Symbolic Computation (AISC) Co-Chairs: John A. Campbell, Jacques Carette Calculemus Chair: Gabriel Dos Reis Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: Makarius Wenzel Systems and Projects Chair: Volker Sorge The overall programme will be organized by the General Program Chair Johan Jeuring. ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Abstract submission: 20 February 2012 Submission deadline: 26 February 2012 Reviews sent to authors: 23 March 2012 Rebuttals due: 30 March 2012 Notification of acceptance: 6 April 2012 Camera ready copies due: 20 April 2012 Conference: 9-13 July 2012 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- *** AISC *** Symbolic computation can be roughly described as the study of algorithms which operate on expression trees. Another way to phrase this is to say that the denotational semantics of expressions trees is not fixed, but is rather context dependent. Expression simplification is probably the archetypal symbolic computation. Mathematically oriented software (such as the so-called computer algebra systems) have been doing this for decades, but not long thereafter, systems doing proof planning and theorem discovery also started doing the same; some attempts at knowledge management and 'expert systems' were also symbolic, but less successfully so. More recently, many different kinds of program analyses have gotten `symbolic', as well as some of the automated theorem proving (SMT, CAV, etc). But a large number of the underlying problems solved by symbolic techniques are well known to be undecidable (never mind the many that are EXP-time complete, etc). Artificial Intelligence has been attacking many of these different sub-problems for quite some time, and has also built up a solid body of knowledge. In fact, most symbolic computation systems grew out of AI projects. These two fields definitely intersect. One could say that in the intersection lies all those problems for which we have no decision procedures. In other words, decision procedures mark a definite phase shift in our understanding, but are not always possible. Yet we still want to solve certain problems, and must find 'other' means of (partial) solution. This is the fertile land which comprises the core of AISC. Rather than try to exhaustively list topics of interest, it is simplest to say that AISC seeks work which advances the understanding of Solving problems which fundamentally involve the manipulation of expressions, but for which decision procedures are unlikely to ever exist. *** Calculemus *** Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning, the interactive theorem provers or proof assistants (PA) and the 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 systems for computer mathematics that will routinely be used by mathematicians, computer scientists and engineers in their every day business. The topics of interest of Calculemus include but are not limited to: * Theorem proving in computer algebra (CAS) * Computer algebra in theorem proving (PA and ATP) * Case studies and applications that both involve computer algebra and mechanised reasoning * Representation of mathematics in computer algebra * Adding computational capabilities to PA and ATP * Formal methods requiring mixed computing and proving * Combining methods of symbolic computation and formal deduction * Mathematical computation in PA and ATP * Theory, design and implementation of interdisciplinary systems for computer mathematics * Theory exploration techniques * Input languages, programming languages, types and constraint languages, and modeling languages for mechanised mathematics systems (PA, CAS, and ATP). * 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. Following success of DML 2008, DML 2009 DML 2010, and DML 2011 track objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects as EuDML, asking such questions as: * What technologies, standards, algorithms and formats should be used and what metadata should be shared? * What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? * Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? * What is the best practice for * retrodigitized mathematics (from images via OCR to MathML or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow [CEDRAM/Euclid model])? *** 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 presentation of systems and new and ongoing projects in all areas and topics related to the CICM conferences: * AI and Symbolic Computation * Deduction and Computer Algebra * Mathematical Knowledge Management * Digital Mathematical Libraries 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. We solicit submissions for two page abstracts in the categories of system descriptions and project presentations. System description should present * newly developed systems, * systems that have not previously been presented to the CICM community, or * significant updates to existing systems. Project presentation should describe * projects that are new or about to start, * ongoing projects that have not yet been presented to the CICM community. * significant new developments in ongoing previously presented projects. All submissions should contain links to demos, downloadable systems, or project pages. Availability of such accompanying material will be a strong prerequisite for acceptance. Accepted abstracts will be published in the CICM proceedings in Springer's LNAI series. Author's are expected to present their abstracts in 5-10 minute teaser talks followed by an open demo/poster session. System papers must be accompanied by a system demonstration, while project papers must be accompanied by a poster presentation. ---------------------------------------------------------------- Submitting ---------------------------------------------------------------- Submissions to tracks A to D must not exceed 15 pages and will be reviewed and evaluated with respect to relevance, clarity, quality, originality, and impact. Shorter papers, e.g., for system descriptions, are welcome. Authors will have an opportunity to respond to their papers' reviews before the programme committee makes a decision. Submissions to the Systems & Projects track must not exceed four pages. The accepted abstracts will be presented at CICM in a fast presentation session, followed by an open demo/poster session. System papers must be accompanied by a system demonstration, and project papers must be accompanied by a poster presentation. The four pages of the abstract should be new material, accompanied by links to demos/downloads/project-pages and [existing] system descriptions. Availability of such accompanying material will be a strong prerequisite for acceptance. Accepted conference submissions from all tracks will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer. In addition to these formal proceedings, authors are permitted and encouraged to publish the final versions of their papers on arXiv.org. Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not (yet) in a suitable form for submission as a full or system description paper. This includes work in progress and emerging trends. Their size is not limited, but we recommend 5 - 10 pages. The programme committee may offer authors of rejected formal submissions to publish their contributions as work-in-progress papers instead. Depending on the number of work-in-progress papers accepted, they will be presented at the conference either as short talks or as posters. The work-in-progress proceedings will be published as a technical report. All papers should be prepared in LaTeX and formatted according to the requirements of Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. Electronic submission is done through easychair (http://www.easychair.org/conferences/?conf=cicm2012). ---------------------------------------------------------------- Program Committees ---------------------------------------------------------------- General chair: Johan Jeuring (Utrecht University and Open Universiteit the Netherlands) AISC track John A. Campbell; University College London, UK; Co-chair Jacques Carette; McMaster University, Canada; Co-chair Serge Autexier; DFKI Bremen, Germany Jacques Calmet; University of Karlsruhe, Germany Jacques Fleuriot; University of Edinburgh, UK Andrea Kohlhase; International University Bremen, Germany Erik Postma; Maplesoft Inc., Canada Alan Sexton; University of Birmingham, UK Chung-chieh Shan; Cornell University, USA. Stephen Watt; University of Western Ontario, Canada Calculemus track Gabriel Dos Reis; Texas A&M University, USA; Chair Andrea Asperti; University of Bologna, Italy Laurent Bernardin; Maplesoft, Canada James Davenport; University of Bath, UK Ruben Gamboa; University of Wyoming, USA Mark Giesbrecht; University of Waterloo, Canada Sumit Gulwani; Microsoft Research, USA John Harrison; Intel, USA Joris van der Hoeven; École Polytechnique, France Hoon Hong; North Carolina State University, USA Loïc Pottier; INRIA, France Wolfgang Windsteiger; RISC, Austria DML track Petr Sojka; Masaryk University, Brno, CZ; Chair José Borbinha; Technical University of Lisbon, PT Thierry Bouche; University Grenoble, FR Michael Doob; University of Manitoba, Winnipeg, CA Thomas Fischer; Goettingen University, DE Yannis Haralambous; Télécom Bretagne, FR Václav Hlaváč; Czech Technical University, Prague, CZ Michael Kohlhase; Jacobs University Bremen, DE Janka Chlebíková; Portsmouth University, UK Enrique Maciás-Virgós; University of Santiago de Compostela, ES Bruce Miller; NIST, USA Jiří Rákosník; Academy of Sciences, Prague, CZ Eugenio Rocha; University of Aveiro, PT David Ruddy; Cornell University, US Volker Sorge; University of Birmingham, UK Masakazu Suzuki; Kyushu University, JP MKM track Makarius Wenzel; University of Paris-South, France; Chair David Aspinall; University of Edinburgh, Scotland Jeremy Avigad; Carnegie Mellon University, USA Mateja Jamnik; University of Cambridge, UK Cezary Kaliszyk; University of Tsukuba, Japan Manfred Kerber; University of Birmingham, UK Christoph Lüth; DFKI Bremen, Germany Adam Naumowicz; University of Białystok, Poland Jim Pitman; University of California, Berkeley, USA Pedro Quaresma; Universidade de Coimbra, Portugal Florian Rabe; Jacobs University Bremen, Germany Claudio Sacerdoti Coen; University of Bologna, Italy Enrico Tassi; INRIA Saclay, France Systems & Projects track Volker Sorge; University of Birmingham, UK; Chair Josef Baker; University of Birmingham, UK John Charnley; Imperial College, UK Manuel Kauers; RISC, Austria Koji Nakagawa; Kyushu University, Japan Piotr Rudnicki; University of Alberta, Canada Josef Urban; Radboud University Nijmegen, The Netherlands Richard Zanibbi; Rochester Institute of Technologies, USA From stefan at szeider.net Tue Nov 15 18:12:26 2011 From: stefan at szeider.net (Stefan Szeider) Date: Tue, 15 Nov 2011 18:12:26 +0100 Subject: Computational Models of Argument (COMMA 212) - Call for Papers Message-ID: <8C3211E2-8B8A-45AE-B63E-82648C77B14F@szeider.net> [apologies for cross-posting] CALL FOR PAPERS 4th International Conference on Computational Models of Argument (COMMA 2012) Vienna, Austria, September 10-12, 2012 www.kr.tuwien.ac.at/comma2012 AIMS AND SCOPE Argumentation is an important and exciting research topic in artificial intelligence, with a broad spectrum of research activities ranging from theory to applications. The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results related to computational aspects of argumentation. After the successful editions in Liverpool (2006), Toulouse (2008) and Desenzano del Garda (2010), COMMA 2012 will be held in Vienna in September 2012. TOPICS Topics include, but are not limited to: * Formal and informal models for argumentation * Dialogue based on argumentation * Strategies in argumentation * Argumentation and game theory * Computational properties of argumentation * Reasoning about action and time with argumentation * Decision making based on argumentation * Argumentation in agent and multi-agent systems * Argumentation for coordination and coalition formation * Argumentation-based negotiation * Argumentation, trust and reputation * Argumentation and human-computer interaction * Systems for learning through argument * Implementation of argumentation systems * Tools for supporting argumentation * Applications (e.g. e-democracy, risk assessment, law and medicine) IMPORTANT DATES Submission deadline: March 26, 2012 Notification of acceptance: May 23, 2012 Final version of accepted papers: June 20, 2012 PROCEEDINGS The proceedings for the conference will be published by IOS Press in the "Frontiers in Artificial Intelligence and Applications" series. The length of each submission should not exceed 12 pages. Authors should prepare their submission following the instructions by IOS Press available from the conference website. Paper submission will be managed through EasyChair and will be open between March 1 and March 26. INVITED SPEAKERS * Trevor Bench-Capon (University of Liverpool, United Kingdom) * Erik Krabbe (University of Groningen, The Netherlands) * Keith Stenning (University of Edinburgh, United Kingdom) ORGANISING COMMITTEE * Program Chair: Bart Verheij (University of Groningen, The Netherlands) * Conference Chairs: Stefan Szeider and Stefan Woltran (Vienna University of Technology, Austria) From lukasiew at gmail.com Wed Nov 16 11:57:08 2011 From: lukasiew at gmail.com (Thomas Lukasiewicz) Date: Wed, 16 Nov 2011 10:57:08 +0000 Subject: Department of Computer Science, University of Oxford: Call for DPhil students Message-ID: <4EC39704.80404@cs.ox.ac.uk> [Apologies if you receive this more than once.] CALL FOR DPHIL STUDENTS http://www.cs.ox.ac.uk/news/399-full.html The Department of Computer Science, University of Oxford, invites applications for full and partial scholarships for DPhil (Doctor of Philosophy) study to commence in October 2012. The Department of Computer Science has several competitive scholarships available for full-time doctoral (DPhil) study to commence in October 2012. The department offers a vibrant research environment, supported by £30M of research grants from research councils, EU and industry. In the last Research Assessment Exercise (RAE 2008), 80% of our research was judged 4* (world leading) and 3* (internationally excellent). Applications are invited in the following areas: Computational Biology: www.cs.ox.ac.uk/research/compbio/ Foundations, Logic and Structures: www.cs.ox.ac.uk/research/fls/ Information Systems: www.cs.ox.ac.uk/research/is/ Programming Languages: www.cs.ox.ac.uk/research/pl/ Software Engineering: http://web.comlab.ox.ac.uk/research/se/ Verification: www.cs.ox.ac.uk/research/verification/ Computer Security: www.cs.ox.ac.uk/activities/security/index.html There is also the opportunity for cross-disciplinary research in areas such as Linguistics, Biology, Medicine, Quantum Foundations and Quantum Computation. The scholarships typically include full or partial support towards college and university fees, as well as maintenance of at least £13,590 per annum. Several types of scholarships are available, some of which carry nationality restrictions. EPSRC DTG scholarships are of three and a half years’ duration and are available to home students or EU students who studied in the UK for three years previously. Partial (fees only) EPSRC DTG awards are available to EU students, with the possibility of applying for top-up funding from the department. Clarendon scholarships are for three years and are open to all students. Oxford’s Clarendon Fund is the UK’s largest university graduate scholarship scheme, offering at least 100 full scholarships every year to graduate students of all nationalities, awarded on the basis of academic excellence. For more information on how to apply for a Clarendon Fund scholarship please visit: http://www.clarendon.ox.ac.uk/apply Departmental awards are typically partial and carry no nationality restrictions. In addition, a broad range of scholarships are administered centrally at Oxford, for example China-Oxford and Scatcherd European (nationality and course restrictions apply). The Laboratory also offers project studentships which are advertised on an ad hoc basis as they become available; they are advertised here. Applications are made online and information about how to apply, including requirements and links to the online prospectus, colleges and university funding, is available from: www.cs.ox.ac.uk/admissions/dphil/ Scholarship applicants are strongly encouraged to apply before 18 November 2011, and must apply by 20 January 2012 at the latest. To be considered for a scholarship, candidates must have been accepted for doctoral study at Oxford. Applicants are asked to consider how their research interests correspond with the existing expertise in the department, and are asked to identify and approach potential supervisors directly, or enquire through the email address given below. Due to the high volume of applications we receive you should aim to submit your application two weeks before these deadlines. The scholarships are highly competitive. Shortlisted candidates will be interviewed and decisions are expected between March and May 2012. When applying for these studentships, please quote the following studentship codes: 12-COMP-DEPT-WEB (if you are applying from the Department of Computer Science web pages) or 12-COMP-DEPT-JOBS (if you are applying via jobs.ac.uk) Enquiries and requests for further information should be directed to: graduate.admissions at cs.ox.ac.uk From rainer.unland at icb.uni-due.de Fri Nov 18 15:56:41 2011 From: rainer.unland at icb.uni-due.de (Rainer Unland) Date: Fri, 18 Nov 2011 15:56:41 +0100 Subject: CfP 6th International Symposium on Intelligent Distributed Computing - IDC 2012September 24-26, 2012, Calabria, Italy Message-ID: <4EC67229.6030006@icb.uni-due.de> *Call for Papers * 6th International Symposium on Intelligent Distributed Computing - IDC 2012 September 24-26, 2012, Calabria, Italy http://idc2012.deis.unical.it/dates.html *Important dates* Full paper submission: April 10, 2012 Notification of acceptance: May 10, 2012 Final (camera ready) paper due: June 1, 2012 Symposium: September 24-26, 2012 Intelligent computing covers a hybrid palette of methods and techniques derived from classical artificial intelligence, computational intelligence, multi-agent systems a.o. Distributed computing studies systems that contain loosely-coupled components running on different networked computers and that communicate and coordinate their actions by message transfer. The emergent field of intelligent distributed computing is expected to pose special challenges of adaptation and fruitful combination of results of both areas with a great impact on the development of new generation intelligent distributed information systems. The aim of this symposium is to bring together researchers involved in intelligent distributed computing to allow cross-fertilization and synergy of ideas and to enable advancement of researches in the field. The symposium welcomes submissions of original papers concerning all aspects of intelligent distributed computing ranging from concepts and theoretical developments to advanced technologies and innovative applications. Papers acceptance and publication will be judged based on their relevance to the symposium theme, clarity of presentation, originality and accuracy of results and proposed solutions. *Topics include, but are not limited to: * Intelligent service composition and orchestration E-service and Web intelligence Multi-agent systems Information extraction and retrieval in distributed environments Data mining and knowledge discovery in distributed environments Semantic and knowledge grids Agent-oriented Cloud Computing Distributed problem solving and decision making Ontologies and meta-data for describing heterogeneous resources and services Autonomic and adaptive distributed computing Intelligence in mobile and ubiquitous computing Intelligence in cooperative information systems, groupware and workflows, virtual enterprises, social networks Intelligent applications in e-business/e-commerce, e-learning, e-health, e-science, e-government, crisis management Self-organising and adaptive distributed systems Intelligence in Peer-to-Peer systems Emergent behaviours in complex distributed systems Distributed frameworks and middleware for Wireless Sensor Networks and Internet of Things Distributed nature-inspired and bio-inspired computing Knowledge integration and fusion from distributedSteering Committee Janusz Kacprzyk Polish Academy of Sciences, Poland Costin Badica University of Craiova, Romania Michele Malgeri University of Catania, Italy George A. Papadopoulos University of Cyprus, Cyprus Marcin Paprzycki Polish Academy of Sciences, Poland Frances Brazier Delft University of Technology, The Netherlands Kees Nieuwenhuis D-CIS Lab / Thales Research & Technology, The Netherlands Giancarlo Fortino University of Calabria, Italy Mohammad Essaaidi Abdelmalek Essaadi University in Tetuan, Morocco *General Chair* Giancarlo Fortino University of Calabria, Italy *Program Committee Chairs* Giancarlo Fortino University of Calabria, Italy Michele Malgeri University of Catania, Italy Rainer Unland University of Duisburg-Essen, Germany *Program Committee* Salvador Abreu, Razvan Andonie, Costin Badica, Mert Bal, Amar Balla, Nick Bassiliades, Doina Bein, Nik Bessis, Lars Braubach, Dumitru Dan Burdescu, David Camacho, Vincenza Carchiolo, Jen-Yao Chung, Phan Cong-Vinh, Massimo Cossentino, Alfredo Cuzzocrea, Paul Davidsson, Beniamino Di Martino, Giuseppe Difatta, Luminita Dumitriu, Amal El Fallah Seghrouchni, George Eleftherakis, Vadim Ermolayev, Mohammad Essaaidi, Mostafa Ezziyyani, Giancarlo Fortino, Stefano Galzarano, Maria Ganzha, Raffaele Gravina, Nathan Griffiths, Antonio Guerrieri, Michael Hartung, Tom Holvoet, Barna Laszlo Iantovics, Mirjana Ivanovic, Jason Jung, Igor Kotenko, Dariusz Krol, Florin Leon, Wen-Feng Li, Alessandro Longheu, Heitor Silverio Lopes, Jose' Machado, Michele Malgeri, Giuseppe Mangioni, Yannis Manolopoulos, Gleizes Marie-Pierre, Viviana Mascardi, Amnon Meisels, Grzegorz J. Nalepa, Viorel Negru, Peter Noerr, Eugenio Oliveira, Andrea Omicini, Mihaela Oprea, Marcin Paprzycki, Juan Pavon, Dana Petcu, Florin Pop, Radu-Emil Precup, Shahram Rahimi, Wilma Russo, Ioan Salomie, Murat Sensoy, Weiming Shen, Safeeullah Soomro, Giandomenico Spezzano, Rainer Unland, Salvatore Venticinque, Laurent Vercouter, Lucian Vintan, Martijn Warnier, Niek Wijngaards, Filip Zavoral -- "Experience is this valuable asset which allows us to identify the mistake immediately when we are doing it again and again!" "Erfahrung ist jener kostbare Besitz, der uns befähigt, einen Fehler sofort zu erkennen, wenn wir ihn immer wieder machen." ************************************************************************** Prof. Dr. Rainer Unland University of Duisburg-Essen Institute for Computer Science and Business Information Systems (ICB) Practical Computer Science, especially Data Management Systems and Knowledge Representation Schuetzenbahn 70 45117 Essen, Germany Tel.: (+49) 201-183 3421 IP-Tel. Skype: unlandr Fax: (+49) 201-183 4460 Email: Rainer.Unland at icb.uni-due.de WWW: http://www.dawis.wiwi.uni-due.de/ *************************************************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cmc2012cfp at world-research-institutes.com Mon Nov 21 19:53:42 2011 From: cmc2012cfp at world-research-institutes.com (Min Jiang) Date: Tue, 22 Nov 2011 02:53:42 +0800 Subject: [EI/IEEE Xplore] Communications and Computing conference, Guilin, China, May 2012 Message-ID: <53DC8E6B9D3E0133D6502A4552270895@bzsiyoxz> Dear Author, 2012 4th International Conference on Communications, Mobility, and Computing (CMC 2012) Guilin, China, 21-23 May 2012 http://world-research-institute.org/conferences/CMC/2012 Call for Papers & Exhibits CMC 2012 intends to be a global forum for researchers and engineers to present and discuss recent advances and new techniques in communications and computing. Due to popular demand, the submission deadline has been extended to 10 December 2011. CMC 2012 conference proceedings will be indexed in Ei Compendex and ISTP, as well as included in IEEE Xplore (CMC 2009, CMC 2010, and CMC 2011 proceedings were already indexed in Ei Compendex and included in IEEE Xplore). Selected high-quality papers (with extension) will be published in a Special Issue of a SCI-indexed journal: Peer-to-Peer Networking and Applications (Springer). There will also be best paper awards for each symposium. CMC 2012 is technically co-sponsored by the IEEE Communications Society. CMC 2012 is organized by Guilin University of Electronic Technology, China. In addition to technical symposiums, there will be invited special sessions and keynote addresses. CMC 2012 also seeks exhibitions of modern products and equipment for communications, mobility, and computing. The registration fee of USD430 includes lunches, dinners, banquet, and proceedings. As a top tourist destination in China, Guilin boasts magnificent natural beauty and many precious cultural relics. The colorful ethnic background lends a touch of mystery that enhances its fame. Why delay - come and enjoy this huge natural theme park. The picturesque Li River meanders through lush mountains like a liquid jade belt. Other attractions include Fubo Hill, Ling Canal (built by the first emperor in China), Solitary Beauty Peak, Tombs of Prince Jingjiang (Ming Dynasty), Xishan Park (a shrine of Buddhism), and Yuzi Paradise (the largest sculpture park in China). Important Dates (Extended): Paper Submission Deadline: 10 December 2011 Review Notification: 10 January 2012 Final Papers and Author Registration Deadline: 15 March 2012 Contact Information If you have any questions, please email us at cmc2012 at guet.edu.cn Please feel free to forward to others. To unsubscribe, please reply with “unsubscribe event at tu-clausthal.de ” as your email subject. With kind regards, Min Jiang CMC 2012 Committee -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pmt6sbc at maths.leeds.ac.uk Mon Nov 21 20:27:34 2011 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Mon, 21 Nov 2011 19:27:34 GMT Subject: Turing Fellowships and Scholarships Message-ID: <201111211927.pALJRYb5006331@maths.leeds.ac.uk> The Turing Fellowships and Scholarships Competition: http://www.turing100.manchester.ac.uk/index.php/fellowships The Turing Centenary Conference in Manchester will see the beginning of the 3-year Turing Centenary Research Project - "Mind, Mechanism and Mathematics", also funded by the John Templeton Foundation. As part of the Alan Turing Year, proposals are invited for: *** Five Turing Research Fellowships for researchers no more than 10 years from the award of a PhD relevant to their proposed research, value 75,000 UK pounds each, and *** Three Turing Scholarships for gifted younger researchers of age up to 25 years old, value 45,000 UK pounds each over the three years. Each Award may be held at a location of the winner's choice, and may be held as a valuable supplement to other funding. For further details of eligibility etc, please see the How to Apply webpage at the Alan Turing Year website: http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?409 The Research Project will address a number of major questions related to the Turing legacy, and are listed at the Turing Centenary Research Project webpage: http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?408 under four main headings: 1. The Mathematics of Emergence: The Mysteries of Morphogenesis 2. Possibility of Building a Brain: Intelligent Machines, Practice and Theory 3. Nature of Information: Complexity, Randomness, Hiddenness of Information 4. How should we compute? New Models of Logic and Computation. Important Dates: Submission deadline December 16, 2011 Award Notification March 31, 2012 Award Ceremony Turing Centenary day, June 23, 2012 Commencement of the research project July 1, 2012 Completion of the research project June 30, 2015 Winners will be expected to attend the award ceremony at the Turing Centenary Conference in Manchester, 22 - 25 June, 2012. The members of the Competition Judging Panel are: Samson Abramsky (Oxford) Manindra Agrawal (Kanpur) Eric Allender (Rutgers) Luca Cardelli (Microsoft Research, Cambridge) Rodney Downey (Wellington) Luciano Floridi (Oxford/Hertfordshire) Barbara Grosz (Harvard) Stuart Kauffman (Vermont/Santa Fe) Cris Moore (New Mexico/Santa Fe) Gordon Plotkin (Edinburgh) Aaron Sloman (Birmingham) Robert I. Soare (Chicago) The Judging Panel is Chaired by S. Barry Cooper (Leeds) __________________________________________________________________________ From pascal.hitzler at wright.edu Tue Nov 22 03:39:22 2011 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Mon, 21 Nov 2011 21:39:22 -0500 Subject: Semantic Web Journal: Call for Special Issue Proposals Message-ID: <4ECB0B5A.2040609@wright.edu> Deadline: December 1st. Semantic Web Journal: Call for Special Issue Proposals http://www.semantic-web-journal.net Semantic Web research is interdisciplinary in nature. Indeed, progress towards the Semantic Web vision requires the incorporation of fundamental state-of-the-art and future developments from many domains including Computer & Information Science, Cognitive Science, Geographic Information Science, the social sciences, and many more. To establish bridges between these domains, it is thus important to demonstrate what and how they contribute to the Semantic Web vision, and what the Semantic Web can offer in return to these disciplines. Hence, the Semantic Web Journal calls for Special Issue proposals on topics which (a) are within the topical realm of a neighboring domain but (b) contribute directly or indirectly to Semantic Web research. Research published in such special issues should strengthen the in-depth information exchange between disciplines by providing novel and high-quality contributions and at the same time demonstrate the impact on foundational research questions relevant for Semantic Web. While such manuscripts can be written with a specific audience in mind, the key ideas and contributions should be accessible to the broader Semantic web community. Proposals for special issues shall be sent to the Editors-in-Chair (contact at semantic-web-journal.net) and contain the following information in a single PDF file: * Names and affiliations of all guest editors * Topic of the special issue * Tentative list of Guest Editorial Board members * A short description of the topic * Why the topic is currently of interest * Why the topic is relevant to this call * Credentials of the guest editors regarding their research impact and their community standing with respect to the topic * A draft call for papers, including a suggested time-line It will be assumed that all proposed guest editors are aware of the journal's open and transparent review policy described at http://www.semantic-web-journal.net/reviewers#review Submission deadline: 1st of December, 2011 Best Regards, Pascal Hitzler Krzysztof Janowicz Editors-in-Chief -- 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 geoff at cs.miami.edu Mon Nov 28 14:31:08 2011 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 28 Nov 2011 08:31:08 -0500 (EST) Subject: LPAR-18 workshops IWIL-2012 and APS-6 - Calls for Papers Message-ID: <20111128133108.856CD121529@mcclellan.cs.miami.edu> =========================== LPAR-18 CALLS FOR WORKSHOP PAPERS =========================== ========================================================================== IWIL-2012 - The 9th International Workshop on the Implementation of Logics http://www.eprover.org/EVENTS/IWIL-2012.html and APS-6 - The 6th International Workshop on Analytic Proof Systems http://www.logic.at/staff/chrisf/ws/LPAR-AS-6.html ========================================================================== to be held on March 10, 2012, in conjunction with ============================================================ The 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Merida, Venezuela - March 11-15, 2012 www.LPAR-18.info ============================================================ ------------------------------------------------------------------------------- Call for Papers 9th International Workshop on the Implementation of Logics http://www.eprover.org/EVENTS/IWIL-2012.html The 9th International Workshop on the Implementation of Logics will be held in March 2012 in conjunction with the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning in Merida, Venezuela. We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. Topics of interest include, but are not limited to: + Propositional logic and decision procedures, including SMT + First-order and higher order logics + Formal foundations for efficient implementation of logics + Data structures and algorithms for the efficient representation and processing of logical concepts + Proof search organization and heuristics for logical reasoning systems + Practical constraint handling + Reasoning with ontologies + Implementation of efficient theorem provers for different logics + Implementation of efficient model finders for different logics + Implementation of efficient systems for other processes in logic + System descriptions of logical reasoning systems + Issues of reliability, witness generation, and witness verification + Evaluation and benchmarking of provers and other logic-based systems + I/O standards and communication between reasoning systems We are particularly interested in contributions that help the community to understand how to build useful and powerful reasoning systems, and how to apply them in practice. Researchers interested in participating are invited to submit a position statement (2 pages), a short paper (up to 5 pages), or a full paper (up to 15 pages). Submissions should be made via EasyChair at http://www.easychair.org/conferences/?conf=iwil2012 Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Submissions should be in standard-conforming PDF. Final versions will be required to be submitted in LaTeX using the easychair.cls class file. Proceedings will be published as EasyChair Proceedings. If number and quality of the submissions warrant it, we plan to produce a special issue of a recognized journal on the topic of the workshop. Important Dates: Submission of papers/abstracts: January 17th, 2012 Notification of acceptance: February 13th, 2012 Camera ready versions due: February 27th, 2012 Workshop: March 10th, 2012 (preliminary) Program committee: Eugenia Ternovska (Co-Chair) Simon Fraser University, Vancouver Konstantin Korovin (Co-Chair) University of Manchester Stephan Schulz (Co-Chair) TU Muenchen Christoph Benzmueller FU Berlin Armin Biere Johannes-Kepler Universitaet Linz Jasmin Blanchette TU Muenchen Leonardo De Moura Microsoft Research Marc Denecker Katholieke Universiteit Leuven Krystof Hoder University of Manchester Yevgeny Kazakov University of Oxford Boris Konev University of Manchester Daniel Le Berre Universite d'Artois Albert Oliveras Universitat Politecnica de Catalunya Jens Otten Universitaet Potsdam Adam Pease Articulate Software Renate Schmidt University of Manchester Peter Schneider-Kamp Syddansk Universitet Mark Stickel SRI International Christoph Sticksel University of Manchester Geoff Sutcliffe University of Miami Other members to be confirmed ------------------------------------------------------------------------------- Call for submissions: APS-6 6th International Workshop on Analytic Proof Systems will be held March 10, 2012 in the context of LPAR-18, March 10-15, 2012, Merida, Venezuela Analyticity is a topic that connects foundational issues in logic with applications, mainly in automated deduction and analysis of proofs. The workshop is primarily intended to enhance awareness for its topic and to promote corresponding discussions and contacts between experienced experts and younger colleagues. Topics of Interests include - Old and new types of analytic calculi: sequent calculi, tableaux, matrix systems, connection method, hypersequents, display calculus, deep inference, ... - Cut elimination and normalization: new methods, complexity, abstract approaches, ... - Proof search: modelling proof search, model extraction, disproving, decision procedures, ... - Relation to other methods: analytic systems and resolution, lambda calculus, modal mu calculi, lambda-mu calculus, programming languages, ... - Extracting information from proofs: extraction of algorithms, constructivity, model construction, Herbrand's theorem, ... - Proof theoretic semantics and related topics: natural deduction, dialogue games, game semantics, ... Webpage: http://www.logic.at/staff/chrisf/ws/LPAR-AS-6.html Organizers: Matthias Baaz, University of Technology, Vienna Christian Ferm�ller, University of Technology, Vienna Submission: Please submit a 1-2 page abstract to analytic at logic.at by January 31, 2012. The submissions will be reviewed by the organizers with the help of additional external experts. Notification of acceptance is planned for February 6, 2012. The abstracts selected for presentation will be made available electronically. ------------------------------------------------------------------------------- From annette at cs.vu.nl Tue Nov 29 12:22:14 2011 From: annette at cs.vu.nl (Annette ten Teije) Date: Tue, 29 Nov 2011 12:22:14 +0100 Subject: First CfP: 18th Int. Conf. on Knowledge Engineering and Knowledge Management (EKAW 2012) Message-ID: Call for Papers: 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2012) National University of Ireland Galway Quadrangle October 8-12, 2012. http://ekaw2012.ekaw.org The 18th 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, etc. The special focus of the 18th edition of EKAW will be on "Knowledge Engineering and Knowledge Management that matters". We are explicitly calling for papers that have a potentially high impact on a specific community or application domain (e.g. pharmacy and life sciences), as well as for papers which report on the development or evaluation of publicly available data sets relevant for a large number of applications. Moreover, we welcome contributions dealing with problems specific to modeling and maintenance of real-world data or knowledge, such as scalability and robustness of knowledge-based applications, or privacy and provenance issues related to organizational knowledge management. In addition to the main research track, EKAW 2012 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. The LNCS volume will contain the contributed research papers as well as descriptions of the demos presented at the conference. Papers published at any of the workshops will be published in dedicated workshop proceedings. EKAW 2012 welcomes papers 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 and methodologies relevant with regard to the following topics: 1) “Knowledge Management and Knowledge Engineering that matters” • Real-world applications of methods for knowledge management and engineering in domains such as - e-Government and public administration - Life sciences, health and medicine - Automotive and manufacturing industry - Cultural heritage applications - Digital libraries • Development and evaluation of publicly available knowledge repositories for new applications or domains • Methods and methodologies addressing the challenges of real-world data, e.g., - Scalability, robustness etc. - Maintenance costs and financial risks - Privacy and data security • Lessons learned from case studies, e.g., - Knowledge management in large organizations - Adoption of semantic web technologies - Maintenance of corporate knowledge repositories 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 • 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 As last EKAW conference we will accept different types of papers. The papers will all have the same status and follow the same formatting guidelines in the proceedings but will receive special treatment during the reviewing phase. In particular, each paper type will be subject to own evaluation criteria. The PC will also make sure that there is a reasonable balance of the paper types accepted. At submission time the paper has to be clearly identified as belonging to one of the following categories. • Research papers: These are “standard” papers presenting a novel method, technique or analysis with appropriate empirical or other types of evaluation as proof-of concept. The main evaluation criteria here will be originality, technical soundness and validation. • In-use papers: Here we are expecting papers describing applications of knowledge management and engineering in real environments. Applications need to address a sufficiently interesting and challenging problem on real-world datasets, involving many users etc. The focus is less on the originality of the approach and more on presenting systems that solve a significant problem while addressing the particular challenges that come with the use of real-world data. Evaluations should involve a representative subset of the actual users of the system. • Position papers: We invite researchers to also publish position papers which describe novel and innovative ideas. Position papers may also comprise an analysis of currently unsolved problems, or review theses problems from a new perspective, in order contribute to a better understanding of these problem in the research community. We expect that such papers will guide future research by highlighting critical assumptions, motivating the difficulty of a certain problem or explaining why current techniques are not sufficient, possibly corroborated by quantitative and qualitative arguments. Submissions of research and in-use papers should comprise a maximum of 15 pages formatted according to Springer Verlag LNCS guidelines and uploaded using Easychair ( http://www.easychair.org/conferences/?conf=ekaw2012). Position papers are required to have at most 5 pages in the same format. We will select the best papers from EKAW and invite the authors for a special edition of Journal of Data Semantics. Important Dates: Abstract Submission: 18th of April 2012 Paper Submission: 25th of April 2012 Notification: 6th of June 2012 Camera Ready: 30 of June 2012 Organizing Committee: General chair: Heiner Stuckenschmidt Co-chair and local organizer: Siegfried Handschuh Program chairs: Annette ten Teije, Johanna Voelker Workshop and tutorials chairs: Claudia d’Amato, Krysztof Janowicz Demo and poster chairs: Mathieu d’Aquin, Andriy Nikolov Doctoral consortium chairs: Nathalie Aussenac-Gilles, Nathalie Hernandez Sponsor chair: Christian Bizer