http://blog.gmane.org/gmane.org.w3c.public-semweb-ui hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/191 <pre>[Apologies if you receive multiple copies of this call. Please redistribute within your own group and among colleagues, thank you!] [CALL FOR PAPERS] 2nd International Workshop on Ordering and Reasoning (OrdRing2013) October 21st/22nd, 2013 - Sydney, Australia Collocated with the 12th International Semantic Web Conference (ISWC 2013) http://www.streamreasoning.org/events/ordring2013 IMPORTANT DATES --------------- Abstract submission deadline: 3 July 2013 Paper submission deadline: 10 July 2013 Notification of acceptance: 9 August 2013 GOALS AND TOPICS ---------------- More and more applications require real-time processing of massive, dynamically generated, ordered data; where order is often an essential factor reflecting recency, proximity or relevance. Stream and rank-aware data management techniques are progressively providing reactive and reliable query answering over such massive datasets, allowing integration of highly dynamic sources. Key to their success is the use of streaming algorithms that harness the natural or enforceable orders in the data. The expressive power of Semantic technologies is needed in those applications, but Semantic Technologies risk being unable to address the needs of those applications, because they do not consider ordering as an essential property. Ranking results is often seen as an “added task”, performed after inference, without affecting the inference process, which is order-agnostic. However, we perceive a trend towards order-aware semantic technologies: both researchers and practitioners understand that order matters in reasoning over massive and highly dynamic data. The idea of Stream Reasoning is gaining considerable momentum. Some top-k query answering techniques for Linked Data appeared. Several works are considering SPARQL query answering on RDF annotated with labels partially ordered. The Description Logic community is investigating top-k ontological query answering. This workshop aims at bringing together this growing and very active community interested in integrating ordering with reasoning by using methods inspired by stream and rank-aware data management. We see this workshop as a first step to stimulate and guide a paradigm shift in semantic technologies. Topics include, but not limited to: - Inferencing with streaming algorithms - Ontological query answering over highly dynamic data - Incremental maintenance of materialization of highly dynamic data - Ontological top-k query answering over massive ordered data - A top-k query answering for fuzzy logics - Continuous query answering for fuzzy logics - Knowledge Representation for ordered facts - Applications of stream reasoning and top-k ontological query answering - Role of parallelization and distribution in order-aware semantic technologies - Harvesting and combining orders in data - Approximation approaches to inference with orderings - Proposals for and applications of benchmarks - Implementation and evaluation experiences SUBMISSION GUIDELINES AND PROCEEDINGS ------------------------------------- We will welcome submissions describing ideas, experiments, and application visions originating from requirements for, and efforts aimed at, interleaving ordering and reasoning. We will encourage demos and posters not exceeding 4 pages, short position papers not exceeding 6 pages as well as longer technical papers not exceeding 12 pages. They should follow the LNCS proceedings style files. Submissions should be formatted according to the Lecture Notes in Computer Science guidelines for proceedings available at http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0. Papers should be submitted in PDF format. All submissions will be done electronically via the OrdRing2013 web submission system (http://www.easychair.org/conferences/?conf=ordring2013). The Workshop Proceedings will be published as CEUR Workshop Proceedings (www.ceur-ws.org) ORGANISING COMMITTEE -------------------- Emanuele Della Valle (Politecnico di Milano) Markus Krötzsch (University of Oxford) Stefan Schlobach (Vrije Universiteit Amsterdam) Irene Celino (CEFRIEL) PROGRAM COMMITTEE ----------------- * Alessandro Bozzon (Delft University of Technology) * David Carral (Wright State University) * Oscar Corcho (Universidad Politécnica de Madrid) * Peter Haase (fluid Operations) * Carsten Lutz (Universität Bremen) * Jeff Z. Pan (University of Aberdeen) * Axel Polleres (Siemens AG Österreich / DERI, National University of Ireland, Galway) * Sebastian Rudolph (Technische Universität Dresden) * Steffen Staab (University of Koblenz-Landau) * Umberto Straccia (ISTI-CNR) * Guido Vetere (IBM) * Haofen Wang (Shanghai Jiao Tong University) * Kewen Wang (Griffith University) * Gerhard Weikum (Max-Planck Institute for Informatics) * Zhe Wu (Oracle) </pre> Irene Celino 2013-05-20T13:47:50 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/190 <pre> *** DEADLINE EXTENDED TO 20th MAY 2013 *** Final Call for Papers 1st International Workshop on the Digital Preservation of Research Methods and Artefacts (DPRMA 2013) http://dprma.oerc.ox.ac.uk/ Proceedings published in ACM ICPS 25th July 2013, Indianapolis, USA A full day workshop hosted in conjunction with JCDL 2013 BACKGROUND The process of research in both the sciences and humanities has, and continues, to undergo significant change in addressing the needs of our ever more digital world. Researchers are adapting to the opportunities presented by working at scale with increasingly large datasets, creating methodologies and tooling for assistance and automation, and undertaking multi-disciplinary collaboration with colleagues and specialisations distributed around the globe. This brings with it challenges for the capture, publication, and preservation of research output. In this world a single document or journal paper -- perhaps by a single author with a narrow subject focussed bibliography -- is no longer sufficient for useful encapsulation of the complete research output. This is particularly the case when considering the need to disseminate, reproduce and reuse methods and findings as the foundation of ongoing scholarly research and academic discourse. WORKSHOP OBJECTIVES This workshop will consider how Digital Libraries can adapt to meet these needs. Starting with the complex digital objects needed to store the multi-format artefacts such as datasets, workflows, results and publications, the workshop will discuss how they they be captured, stored, associated, retrieved, and visualised. Can, or should, Digital Libraries address the needs of scale presented by big data directly and wholly, or play a well-defined role within an ecosystem of interoperable services? What are the challenges for curation of dynamic resources often more akin to software than documents, where iterative experiments comprise of changing datasets, codes, and authors? What additional research context should be preserved in addition to traditional dissemination mechanisms? What models and semantics can capture this context, and what role can provenance, versioning, and dependency analysis play in their preservation? How will researchers access and reuse these preserved artefacts? IMPORTANT DATES Paper submission deadline (extended): 20th May 2013 (23:59 Samoa Standard Time, UTC-11) Notification of acceptance: 10th June 2013 Camera ready: 1st July 2013 Workshop: 25th July 2013 TOPICS Topics of interest for the workshop include but are not limited to: - differing notions of reproducibility in digital research; their requirements and the role Digital Libraries can play - case studies of Digital Libraries preservation role for research context in specific fields - guidelines, policy, or methodologies on preservation of research context for data and methods - re-evaluation and re-computation of preserved methods and results; repetition and extension; re-use and sharing for future research - provenance, quality, privacy and trust of experimental information; its role in the preservation of research in individual, research group and institutional contexts - relationships between research artefacts and (nano-)publications preservation and conservation of datasets and methods (e.g. Research Data Archives, workflows) - preservation at scale (scalability of Digital Libraries for big data) - preservation of end-to-end semantics through the research lifecycle (from lab bench to library) - semantic models and representations for aggregation, description, annotation, and preservation of research context; support for scientific discourse and collaboration - identifiers for artefacts (context, data, software, publications) including in a bibliographic context (e.g. data citation) - integration, assistance, and automation of artefact capture and curation - indexing, querying, retrieval, visualisation and citation of research contexts (e.g. methods and artefacts) - interchange and interoperability of data, methods, and context (encodings, APIs, standardisation, etc.) - versioning and lifecycle approaches to research data and methods; their applicability to preservation - software and data dependencies required for preservation and reproducibility; methods for expressing and evaluating these - application and incorporation of Linked Data in research archives SUBMISSION INSTRUCTIONS We invite full papers (8 pages) or short / position papers (2-4 pages); submissions will be evaluated through peer review by the programme committee with a minimum of two reviews per paper. Please produce your paper using the ACM template and submit to DPRMA2013 on EasyChair by 6th May 2013 (see Important Dates above). Proceedings will be published in the ACM International Conference Proceedings Series and the ACM Digital Library. ACM template: http://www.acm.org/sigs/publications/proceedings-templates Submissions: https://www.easychair.org/conferences/?conf=dprma2013 Email: dprma2013&lt; at &gt;easychair.org WORKSHOP ORGANISATION Chairs: David De Roure (University of Oxford) Andreas Rauber (Vienna University of Technology) Organising Committee: Kevin Page (University of Oxford) Jun Zhao (University of Oxford) Publicity &amp; Proceedings: Raul Palma (Poznań Supercomputing and Networking Center) Programme Committee: Robert Sanderson, Los Alamos National Laboratory Paolo Ciccarese, Harvard Medical School &amp; Massachusetts General Hospital Cezary Mazurek, IChB PAN - PCSS Jose Manuel Gomez-Perez, Intelligent Software Components (iSOCO) S.A. Khalid Belhajjame, University of Manchester David Giaretta, STFC Paolo Missier, Newcastle University Tim Clark, Massachusetts General Hospital / Harvard Medical School Wolfram Horstmann, Bodleian Libraries Oscar Corcho, Universidad Politécnica de Madrid Rudolf Mayer, Vienna University of Technology Christophe Guéret, Data Archiving and Networked Services (DANS) Bram Van Der Werf, Open Planets Foundation </pre> Raul Palma 2013-05-14T12:47:01 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/188 <pre> CICM 2013 - Conferences on Intelligent Computer Mathematics July 8-12, 2013 at University of Bath, Bath, UK http://www.cicm-conference.org/2013/cicm.php Call for Papers ------------------------------------------------------------------- * Invited Talks by Patrick Ion, Assia Mahboubi, and Ursula Martin * ------------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conferences on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. The conference will take place at the University of Bath (www.bath.ac.uk), with James Davenport as the local organiser. It consists of four tracks: Calculemus Chair: Wolfgang Windsteiger Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: David Aspinall Systems and Projects Chair: Christoph Lange As in previous years, there are plans to organise a workshop for presentations by Doctoral students. The overall programme will be organised by the General Program Chair Jacques Carette. ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Submission deadline: 12 March 2013 (EXTENDED) Reviews sent to authors: 5 April 2013 Rebuttals due: 8 April 2013 Notification of acceptance: 14 April 2013 Camera ready copies due: 26 April 2013 Conference: 8-12 July 2013 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- ========== Calculemus ========== Calculemus 2013 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) * Artificial Intelligence and Symbolic Computation (AISC) The track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. ---------------------------------------------------------------- Submission Instructions ---------------------------------------------------------------- Submissions to the research tracks 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. System descriptions and projects descriptions should be 2-4 pages and should present * newly developed systems, * systems that have not previously been presented to the CICM community, or * significant updates to existing systems. Systems must be available for download. Project presentations 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. Presentations of new projects should mention relevant previous work and include a roadmap that outlines concrete steps. All submissions should contain links to demos, downloadable systems, or project websites. Accepted conference submissions from all tracks is intended to 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, as well as online with CEUR-WS.org. 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=cicm2013 ---------------------------------------------------------------- Programme Committee ---------------------------------------------------------------- Jacques Carette, McMaster University, Canada Wolfgang Windsteiger, RISC Institute, JKU Linz, Austria Petr Sojka, Masaryk University, Faculty of Informatics, Czech Republic David Aspinall, University of Edinburgh, UK Christoph Lange, University of Birmingham, UK Till Mossakowski, DFKI Bremen, Germany Jónathan Heras, University of Dundee, UK Josef Urban, Radboud University, Netherlands Deyan Ginev, Jacobs University Bremen, Germany Rob Arthan, Queen Mary University of London, UK Makarius Wenzel, Université Paris-Sud 11, France Hendrik Tews, TU Dresden, Germany Simon Colton, Department of Computing, Imperial College, London, UK Paul Libbrecht, Martin Luther University Halle-Wittenberg, Germany Cezary Kaliszyk, University of Innsbruck, Austria Andrea Kohlhase, Jacobs University Bremen, Germany Yannis Haralambous, Télécom Bretagne, France Florian Rabe, Jacobs University Bremen, Germany Akiko Aizawa, NII, The University of Tokyo, Japan Carsten Schuermann, IT University of Copenhagen, Denmark Magnus O. Myreen, University of Cambridge, UK Janka Chlebíková, School of Computing, University of Portsmouth, UK Richard Zanibbi, Rochester Institute of Technology, US Michael Kohlhase, Jacobs University Bremen, Germany Adam Kilgarriff, Lexical Computing Ltd, UK Leo Freitas, Newcastle University, UK Frank Tompa, University of Waterloo, Canada Gudmund Grov, Heriot-Watt University, Edinburgh, UK Jeremy Avigad, Carnegie Mellon University, US Stephen Watt, University of Western Ontario, Canada Temur Kutsia, RISC Institute, JKU Linz, Austria Manfred Kerber, University of Birmingham, UK Hoon Hong, North Carolina State University, US Christoph Lüth, DFKI Bremen, Germany Thierry Bouche, Université Joseph Fourier (Grenoble), France Andrea Asperti, University of Bologna, Italy Jesse Alama, CENTRIA, FCT, Universidade Nova de Lisboa, Portugal Jiří Rákosník, Institute of Mathematics, Academy of Sciences, Czech Republic Thomas Hales, University of Pittsburgh, US Predrag Janičić, University of Belgrade, Serbia David Ruddy, Cornell University Library, US Volker Sorge, University of Birmingham, UK Mark Adams, Proof Technologies Ltd, UK John Charnley, Department of Computing, Imperial College London, UK </pre> Serge Autexier 2013-03-06T16:33:21 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/187 <pre>Do-Form: Enabling Domain Experts to use Formalised Reasoning http://cs.bham.ac.uk/research/projects/formare/events/aisb2013 CALL FOR PARTICIPATION Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour; http://www.aisb.org.uk) University of Exeter, UK 3-5 April 2013 http://emps.exeter.ac.uk/computer-science/research/aisb/ (early registration deadline 5 March) HANDS-ON TUTORIAL SESSIONS (details below) with * M. Utku Ünver (matching markets) * Peter Cramton (auctions) * Neels Vosloo (finance markets regulation) (http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/invited.php) PAPER and DEMO PRESENTATIONS on * environmental models * controlled natural languages * ontologies * auction theory * software verification * formal specification * autonomous systems * self-explaining systems (http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/proceedings.php) This symposium is motivated by the long-term VISION of making information systems dependable. In the past even mis-represented units of measurements caused fatal ENGINEERING disasters. In ECONOMICS, the subtlety of issues involved in good auction design may have led to low revenues in auctions of public goods such as the 3G radio spectra. Similarly, banks' value-at-risk (VaR) models – the leading method of financial risk measurement – are too large and change too quickly to be thoroughly vetted by hand, the current state of the art; in the London Whale incident of 2012, JP Morgan claimed that its exposures were $67mn under one of its VaR models, and $129 under another one. Verifying a model's properties requires formally specifying them; for VaR models, any work would have to start with this most basic step, as regulators' current desiderata are subjective and ambiguous. We believe that these problems can be addressed by representing the knowledge underlying such models and mechanisms in a formal, explicit, machine-verifiable way. Contemporary computer science offers a wide choice of knowledge representation languages well supported by verification tools. Such tools have been successfully applied, e.g., for verifying software that controls commuter rail or payment systems. Still, DOMAIN EXPERTS without a strong computer science background find it challenging to choose the right tools and to use them. This symposium aims at investigating ways to support them. Some problems can be addressed now, others will bring new challenges to computer science. THE SYMPOSIUM is designed to bring domain experts and formalisers into close and fruitful contact with each other: domain experts will be able to present their fields and problems to formalisers; formalisers will be exposed to new and challenging problem areas. We will combine talks and hands-on sessions to ensure close interaction among participants from both sides. World-class economists will offer HANDS-ON TUTORIAL SESSIONS on the following topics: * MATCHING MARKETS (M. Utku Ünver, Boston College): These include matching students to schools, interns to hospitals, and kidney donors to recipients. See the documentation for the 2012 Nobel Memorial Prize in Economic Sciences for more background information. * AUCTIONS (Peter Cramton, University of Maryland): Peter has been working on auctions for Ofcom UK (4G spectrum auction), the UK Department of the Environment and Climate Change, and others – and most recently on the “applicant auctions” for the new top-level Internet domains issued by the ICANN. * FINANCE MARKETS REGULATION (Neels Vosloo, Financial Services Authority, UK): It is currently impossible for regulators to properly inspect risk management models. Test portfolios are a promising tool for identifying problems with risk management models. To what extent can techniques from mechanised reasoning automate some of the inspection process? COMMENTS/QUESTIONS/ENQUIRIES to be sent to DoForm2013&lt; at &gt;easychair.org </pre> Christoph LANGE 2013-02-19T20:24:16 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/186 <pre>We apologize if you receive multiple copies of this email. ............................................................ ESAS: The 8th IEEE International Workshop on Engineering Semantic Agents Intelligence &amp; Robotics ESAS 2013 Kyoto, Japan, July 22 – July 26, 2013 (in conjunction with COMPSAC 2013) (http://compsac.cs.iastate.edu/esas2013.php) Submission Page &lt; at &gt; http://myreview.cs.iastate.edu/ESAS2013 .......................................................... We envisage a strong undercurrent of intelligent software agents, mobile agents, and MAS running through this workshop; side by side with the use of semantic technologies, there are several foci of interest: • Software Agents, Mobile Agents, and MAS, • Agent, MAS and Semantic Web Technologies, • Ontologies for Agents and MAS, • Platforms for semantic agent and MAS implementation, • Semantic Intelligence and Semantic Robotics, • Other subjects of relevance in semantic technologies, semantic software agents, mobile agents, agent-based and multi-agent systems. Important Dates: ---------------- * March 20th, 2013: Deadline for paper submission * April 21st, 2013 : Notification of acceptance/rejection * May 5th, 2013: Camera-ready due Program Committee: ------------------ * Murat Sensoy, Ozyegin University, Turkey * Alex Abramovich, Gordon College, Israel * Alexander Kostin, Girne American University, TRNC * Angus F.M. Huang, National Central University, Taiwan * Aneesh Krishna, Curtin University Perth, Western Australia * Bo Hu, University of Southampton, UK * Chattrakul Sombattheera, Mahasarakham University, Thailand * Constantine Mantratzis, University of Westminster, London, UK * Eui-Hyun Jung, Anyang University, Korea * Frank F. P. Dignum, Universiteit Utrecht, The Netherlands * Ibrahim Gokcen, GE International, Turkey * Laurentiu Vasiliu, DERI Galway, Ireland * Levent Yilmaz, Auburn University, USA * M. Osman Unalir, Egean University, Turkey * Markus Schaal, University College Dublin, Ireland * Maurice Pagnucco, University of New South Wales, Australia * Mehmet Emin Aydin, University of Bedfordshire, UK * Mustafa Jarrar, Sina Institute - Birzeit University, Palestine * R. Cenk Erdur, Agean University, Turkey * R. Rajesh, Bharathiar University, India * Rym Z. Mili, University of Texas at Dallas, USA * Sule Yildirim Yayilgan, Gjovik University College, Norway * Susmit Bagchi, Gyeongsang National University, South Korea * Vijayan Sugumaran, Oakland University, USA * Vitaliy Mezhuev, Berdyansk State University, Ukraine * Zeki Bayram, Eastern Mediterranean Univ., TRNC * Natalie van der Wal, VU University,Amsterdam * Fabiano Dalpiaz, Trento University, Italy Paper Submission: ----------------- Papers must be submitted electronically via the ESAS 2013 Submission Page &lt; at &gt; http://myreview.cs.iastate.edu/ESAS2013 The format of submitted papers should follow the guidelines for the IEEE conference proceedings. All papers will be carefully reviewed by at least three reviewers. Papers should be no more than 6 pages. Organizers: ----------- Duygu Celik Istanbul Aydin University, Turkey Email: duygucelik (at) aydin.edu.tr Atilla Elci Aksaray University, Turkey Email: atilla.elci (at) gmail.com Mehmet A. Orgun Macquarie University, Australia Email: mehmet.orgun (at) mq.edu.au Behnam Rahnama European University of Lefke, North Cyprus Email: behnam (at) brahnama.com Rainer Unland University of Duisburg-Essen, Germany Email: Rainer.Unland (at) icb.uni-due.de ________________________________ Bu elektronik posta ve onunla iletilen bütün dosyalar sadece göndericisi tarafından alması amaçlanan yetkili gerçek ya da tuzel kişinin kullanımı içindir. Eğer söz konusu yetkili alıcı değilseniz bu elektronik postanın içeriğini açıklamanız, kopyalamanız, yönlendirmeniz ve kullanmanız hukuka aykırı ve yasaktır, eğer bu mesajı yanlışlıkla aldıysanız lütfen göndereni ile temasa geçiniz ve bu elektronik postayı siliniz. İstanbul Aydin Üniversitesi bu mesajin içerdiği bilgilerin doğruluğu veya eksiksiz olduğu konusunda herhangi bir garanti vermemektedir. Bu nedenle bu bilgilerin ne şekilde olursa olsun içeriginden, iletilmesinden, alınmasından ve saklanmasından sorumlu değildir. Bu mesajdaki görüşler yalnızca gönderen kişiye aittir ve İstanbul Aydın Üniversitesi'nin görüşlerini yansıtmayabilir. Bu e-posta bilinen bütün bilgisayar virüslerine karşi taranmıştır. ________________________________ The information transmitted is intended only for the person or entity to which it is addressed and may contain confidential and/or privileged material. Any review, retransmission, dissemination or other use of, or taking of any action in reliance upon, this information by persons or entities other than the intended recipient is prohibitedan may be unlawful. If you receive this in error, please contact the sender and delete the material from any computer. Please note that any opinions expressed in this e-mail are those of the author personally and not İstanbul Aydın University who do not accept responsibility for the contents of the message. This e-mail has been scanned for all known computer viruses. We apologize if you receive multiple copies of this email. .......................................................... ESAS: The 8th IEEE International Workshop on Engineering Semantic Agents Intelligence &amp; Robotics ESAS 2013 Kyoto, Japan, July 22 – July 26, 2013 (in conjunction with COMPSAC 2013) (http://compsac.cs.iastate.edu/esas2013.php) .......................................................... We envisage a strong undercurrent of intelligent software agents, mobile agents, and MAS running through this workshop; side by side with the use of semantic technologies, there are several foci of interest: • Software Agents, Mobile Agents, and MAS, • Agent, MAS and Semantic Web Technologies, • Ontologies for Agents and MAS, • Platforms for semantic agent and MAS implementation, • Semantic Intelligence and Semantic Robotics, • Other subjects of relevance in semantic technologies, semantic software agents, mobile agents, agent-based and multi-agent systems Important Dates: ---------------- * March 20th, 2013: Deadline for paper submission * April 21st, 2013 : Notification of acceptance/rejection * May 5th, 2013: Camera-ready due Program Committee: ------------------ * Murat Sensoy, Ozyegin University, Turkey * Alex Abramovich, Gordon College, Israel * Alexander Kostin, Girne American University, TRNC * Angus F.M. Huang, National Central University, Taiwan * Aneesh Krishna, Curtin University Perth, Western Australia * Bo Hu, University of Southampton, UK * Chattrakul Sombattheera, Mahasarakham University, Thailand * Constantine Mantratzis, University of Westminster, London, UK * Eui-Hyun Jung, Anyang University, Korea * Frank F. P. Dignum, Universiteit Utrecht, The Netherlands * Ibrahim Gokcen, GE International, Turkey * Laurentiu Vasiliu, DERI Galway, Ireland * Levent Yilmaz, Auburn University, USA * M. Osman Unalir, Egean University, Turkey * Markus Schaal, University College Dublin, Ireland * Maurice Pagnucco, University of New South Wales, Australia * Mehmet Emin Aydin, University of Bedfordshire, UK * Mustafa Jarrar, Sina Institute - Birzeit University, Palestine * R. Cenk Erdur, Agean University, Turkey * R. Rajesh, Bharathiar University, India * Rym Z. Mili, University of Texas at Dallas, USA * Sule Yildirim Yayilgan, Gjovik University College, Norway * Susmit Bagchi, Gyeongsang National University, South Korea * Vijayan Sugumaran, Oakland University, USA * Vitaliy Mezhuev, Berdyansk State University, Ukraine * Zeki Bayram, Eastern Mediterranean Univ., TRNC * Natalie van der Wal, VU University,Amsterdam * Fabiano Dalpiaz, Trento University, Italy Paper Submission: ----------------- Papers must be submitted electronically via the ESAS 2013 Submission Page &lt; at &gt; http://myreview.cs.iastate.edu/ESAS2013 The format of submitted papers should follow the guidelines for the IEEE conference proceedings. All papers will be carefully reviewed by at least two reviewers. Papers should be no more than 6 pages. Organizers: ----------- Duygu Celik Istanbul Aydin University, Turkey Email: duygucelik (at) aydin.edu.tr Atilla Elci Aksaray University, Turkey Email: atilla.elci (at) gmail.com Mehmet A. Orgun Macquarie University, Australia Email: mehmet.orgun (at) mq.edu.au Behnam Rahnama European University of Lefke, North Cyprus Email: behnam (at) brahnama.com Rainer Unland University of Duisburg-Essen, Germany Email: Rainer.Unland (at) icb.uni-due.de </pre> Duygu Çelik Aydin Üni 2013-02-16T14:23:34 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/185 <pre> CICM 2013 - Conferences on Intelligent Computer Mathematics July 8-12, 2013 at University of Bath, Bath, UK http://www.cicm-conference.org/2013/cicm.php 2nd Call for Papers ---------------------------------------------------------------------- * Invited Talks by Patrick Ion (Mathematical Reviews, American Mathematical Society, USA) Assia Mahboubi (École Polytechnique and INRIA/Microsoft Research Joint Centre, France) Ursula Martin (Queen Mary, University of London, UK) * Co-Located Workshops: - MathUI'13: Mathematical User Interfaces - OpenMath Workshop 2013 - PLMMS'13: Programming Languages for Mechanized Mathematics Systems - THedu'13: TP Components for Educational Software ---------------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conferences on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. The conference will take place at the University of Bath (www.bath.ac.uk), with James Davenport as the local organiser. It consists of four tracks: Calculemus Chair: Wolfgang Windsteiger Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: David Aspinall Systems and Projects Chair: Christoph Lange As in previous years, there will be a Doctoral Programme for presentations by Doctoral students. The overall programme will be organised by the General Program Chair Jacques Carette. ---------------------------------------------------------------------- Important dates ---------------------------------------------------------------------- Abstract submission: 1 March 2013 Submission deadline: 8 March 2013 Reviews sent to authors: 5 April 2013 Rebuttals due: 8 April 2013 Notification of acceptance: 14 April 2013 Camera ready copies due: 26 April 2013 Conference: 8-12 July 2013 ---------------------------------------------------------------------- Tracks ---------------------------------------------------------------------- ========== Calculemus ========== Calculemus 2013 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) * Artificial Intelligence and Symbolic Computation (AISC) The track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. ---------------------------------------------------------------------- Submission Instructions ---------------------------------------------------------------------- Submissions to the research tracks 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. System descriptions and projects descriptions should be 2-4 pages and should present * newly developed systems, * systems that have not previously been presented to the CICM community, or * significant updates to existing systems. Systems must be available for download. Project presentations 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. Presentations of new projects should mention relevant previous work and include a roadmap that outlines concrete steps. All submissions should contain links to demos, downloadable systems, or project websites. Accepted conference submissions from all tracks is intended to 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, as well as online with CEUR-WS.org. 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=cicm2013 ---------------------------------------------------------------------- Programme Committee ---------------------------------------------------------------------- Akiko Aizawa, NII, The University of Tokyo, Japan Jesse Alama, CENTRIA, FCT, Universidade Nova de Lisboa, Portugal Rob Arthan, Queen Mary University of London, UK Andrea Asperti, University of Bologna, Italy David Aspinall, University of Edinburgh, UK Jeremy Avigad, Carnegie Mellon University, US Thierry Bouche, Université Joseph Fourier (Grenoble), France Jacques Carette, McMaster University, Canada John Charnley, Department of Computing, Imperial College London, UK Janka Chlebíková, School of Computing, University of Portsmouth, UK Simon Colton, Department of Computing, Imperial College, London, UK Leo Freitas, Newcastle University, UK Deyan Ginev, Jacobs University Bremen, Germany Gudmund Grov, Heriot-Watt University, Edinburgh, UK Thomas Hales, University of Pittsburgh, US Yannis Haralambous, Télécom Bretagne, France Jónathan Heras, University of Dundee, UK Hoon Hong, North Carolina State University, US Predrag Janičić, University of Belgrade, Serbia Cezary Kaliszyk, University of Innsbruck, Austria Manfred Kerber, University of Birmingham, UK Adam Kilgarriff, Lexical Computing Ltd, UK Andrea Kohlhase, Jacobs University Bremen, Germany Michael Kohlhase, Jacobs University Bremen, Germany Temur Kutsia, RISC Institute, JKU Linz, Austria Christoph Lange, University of Birmingham, UK Paul Libbrecht, Martin Luther University Halle-Wittenberg, Germany Christoph Lüth, DFKI Bremen, Germany Till Mossakowski, DFKI Bremen, Germany Magnus O. Myreen, University of Cambridge, UK Florian Rabe, Jacobs University Bremen, Germany Jiří Rákosník, Institute of Mathematics, Academy of Sciences, Czech Republic Carsten Schuermann, IT University of Copenhagen, Denmark Petr Sojka, Masaryk University, Faculty of Informatics, Czech Republic Hendrik Tews, TU Dresden, Germany Frank Tompa, University of Waterloo, Canada Josef Urban, Radboud University, Netherlands Stephen Watt, University of Western Ontario, Canada Makarius Wenzel, Université Paris-Sud 11, France Wolfgang Windsteiger, RISC Institute, JKU Linz, Austria Richard Zanibbi, Rochester Institute of Technology, US -- Dr. Serge Autexier, serge.autexier&lt; at &gt;dfki.de, http://www.dfki.de/~serge/ Research Department Cyber-Physical Systems MZH, Room 3120 Phone: +49 421 218 59834 Bibliothekstr.1, D-28359 Bremen Fax: +49 421 218 98 59834 ---------------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office, *not* the address for mail etc.!!!: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 ---------------------------------------------------------------------- </pre> Serge Autexier 2013-02-14T08:54:46 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/184 <pre>We apologize if you receive multiple copies of this email. ............................................................ ESAS: The 8th IEEE International Workshop on Engineering Semantic Agents Intelligence &amp; Robotics ESAS 2013 Kyoto, Japan, July 22 – July 26, 2013 (in conjunction with COMPSAC 2013) (http://compsac.cs.iastate.edu/esas2013.php) Submission Page &lt; at &gt; http://myreview.cs.iastate.edu/ESAS2013 .......................................................... We envisage a strong undercurrent of intelligent software agents, mobile agents, and MAS running through this workshop; side by side with the use of semantic technologies, there are several foci of interest: • Software Agents, Mobile Agents, and MAS, • Agent, MAS and Semantic Web Technologies, • Ontologies for Agents and MAS, • Platforms for semantic agent and MAS implementation, • Semantic Intelligence and Semantic Robotics, • Other subjects of relevance in semantic technologies, semantic software agents, mobile agents, agent-based and multi-agent systems. Important Dates: ---------------- * March 20th, 2013: Deadline for paper submission * April 21st, 2013 : Notification of acceptance/rejection * May 5th, 2013: Camera-ready due Program Committee: ------------------ * Murat Sensoy, Ozyegin University, Turkey * Alex Abramovich, Gordon College, Israel * Alexander Kostin, Girne American University, TRNC * Angus F.M. Huang, National Central University, Taiwan * Aneesh Krishna, Curtin University Perth, Western Australia * Bo Hu, University of Southampton, UK * Chattrakul Sombattheera, Mahasarakham University, Thailand * Constantine Mantratzis, University of Westminster, London, UK * Eui-Hyun Jung, Anyang University, Korea * Frank F. P. Dignum, Universiteit Utrecht, The Netherlands * Ibrahim Gokcen, GE International, Turkey * Laurentiu Vasiliu, DERI Galway, Ireland * Levent Yilmaz, Auburn University, USA * M. Osman Unalir, Egean University, Turkey * Markus Schaal, University College Dublin, Ireland * Maurice Pagnucco, University of New South Wales, Australia * Mehmet Emin Aydin, University of Bedfordshire, UK * Mustafa Jarrar, Sina Institute - Birzeit University, Palestine * R. Cenk Erdur, Agean University, Turkey * R. Rajesh, Bharathiar University, India * Rym Z. Mili, University of Texas at Dallas, USA * Sule Yildirim Yayilgan, Gjovik University College, Norway * Susmit Bagchi, Gyeongsang National University, South Korea * Vijayan Sugumaran, Oakland University, USA * Vitaliy Mezhuev, Berdyansk State University, Ukraine * Zeki Bayram, Eastern Mediterranean Univ., TRNC * Natalie van der Wal, VU University,Amsterdam * Fabiano Dalpiaz, Trento University, Italy Paper Submission: ----------------- Papers must be submitted electronically via the ESAS 2013 Submission Page &lt; at &gt; http://myreview.cs.iastate.edu/ESAS2013 The format of submitted papers should follow the guidelines for the IEEE conference proceedings. All papers will be carefully reviewed by at least three reviewers. Papers should be no more than 6 pages. Organizers: ----------- Duygu Celik Istanbul Aydin University, Turkey Email: duygucelik (at) aydin.edu.tr Atilla Elci Aksaray University, Turkey Email: atilla.elci (at) gmail.com Mehmet A. Orgun Macquarie University, Australia Email: mehmet.orgun (at) mq.edu.au Behnam Rahnama European University of Lefke, North Cyprus Email: behnam (at) brahnama.com Rainer Unland University of Duisburg-Essen, Germany Email: Rainer.Unland (at) icb.uni-due.de ________________________________ Bu elektronik posta ve onunla iletilen bütün dosyalar sadece göndericisi tarafından alması amaçlanan yetkili gerçek ya da tuzel kişinin kullanımı içindir. Eğer söz konusu yetkili alıcı değilseniz bu elektronik postanın içeriğini açıklamanız, kopyalamanız, yönlendirmeniz ve kullanmanız hukuka aykırı ve yasaktır, eğer bu mesajı yanlışlıkla aldıysanız lütfen göndereni ile temasa geçiniz ve bu elektronik postayı siliniz. İstanbul Aydin Üniversitesi bu mesajin içerdiği bilgilerin doğruluğu veya eksiksiz olduğu konusunda herhangi bir garanti vermemektedir. Bu nedenle bu bilgilerin ne şekilde olursa olsun içeriginden, iletilmesinden, alınmasından ve saklanmasından sorumlu değildir. Bu mesajdaki görüşler yalnızca gönderen kişiye aittir ve İstanbul Aydın Üniversitesi'nin görüşlerini yansıtmayabilir. Bu e-posta bilinen bütün bilgisayar virüslerine karşi taranmıştır. ________________________________ The information transmitted is intended only for the person or entity to which it is addressed and may contain confidential and/or privileged material. Any review, retransmission, dissemination or other use of, or taking of any action in reliance upon, this information by persons or entities other than the intended recipient is prohibitedan may be unlawful. If you receive this in error, please contact the sender and delete the material from any computer. Please note that any opinions expressed in this e-mail are those of the author personally and not İstanbul Aydın University who do not accept responsibility for the contents of the message. This e-mail has been scanned for all known computer viruses. We apologize if you receive multiple copies of this email. .......................................................... ESAS: The 8th IEEE International Workshop on Engineering Semantic Agents Intelligence &amp; Robotics ESAS 2013 Kyoto, Japan, July 22 – July 26, 2013 (in conjunction with COMPSAC 2013) (http://compsac.cs.iastate.edu/esas2013.php) .......................................................... We envisage a strong undercurrent of intelligent software agents, mobile agents, and MAS running through this workshop; side by side with the use of semantic technologies, there are several foci of interest: • Software Agents, Mobile Agents, and MAS, • Agent, MAS and Semantic Web Technologies, • Ontologies for Agents and MAS, • Platforms for semantic agent and MAS implementation, • Semantic Intelligence and Semantic Robotics, • Other subjects of relevance in semantic technologies, semantic software agents, mobile agents, agent-based and multi-agent systems Important Dates: ---------------- * March 20th, 2013: Deadline for paper submission * April 21st, 2013 : Notification of acceptance/rejection * May 5th, 2013: Camera-ready due Program Committee: ------------------ * Murat Sensoy, Ozyegin University, Turkey * Alex Abramovich, Gordon College, Israel * Alexander Kostin, Girne American University, TRNC * Angus F.M. Huang, National Central University, Taiwan * Aneesh Krishna, Curtin University Perth, Western Australia * Bo Hu, University of Southampton, UK * Chattrakul Sombattheera, Mahasarakham University, Thailand * Constantine Mantratzis, University of Westminster, London, UK * Eui-Hyun Jung, Anyang University, Korea * Frank F. P. Dignum, Universiteit Utrecht, The Netherlands * Ibrahim Gokcen, GE International, Turkey * Laurentiu Vasiliu, DERI Galway, Ireland * Levent Yilmaz, Auburn University, USA * M. Osman Unalir, Egean University, Turkey * Markus Schaal, University College Dublin, Ireland * Maurice Pagnucco, University of New South Wales, Australia * Mehmet Emin Aydin, University of Bedfordshire, UK * Mustafa Jarrar, Sina Institute - Birzeit University, Palestine * R. Cenk Erdur, Agean University, Turkey * R. Rajesh, Bharathiar University, India * Rym Z. Mili, University of Texas at Dallas, USA * Sule Yildirim Yayilgan, Gjovik University College, Norway * Susmit Bagchi, Gyeongsang National University, South Korea * Vijayan Sugumaran, Oakland University, USA * Vitaliy Mezhuev, Berdyansk State University, Ukraine * Zeki Bayram, Eastern Mediterranean Univ., TRNC * Natalie van der Wal, VU University,Amsterdam * Fabiano Dalpiaz, Trento University, Italy Paper Submission: ----------------- Papers must be submitted electronically via the ESAS 2013 Submission Page &lt; at &gt; http://myreview.cs.iastate.edu/ESAS2013 The format of submitted papers should follow the guidelines for the IEEE conference proceedings. All papers will be carefully reviewed by at least two reviewers. Papers should be no more than 6 pages. Organizers: ----------- Duygu Celik Istanbul Aydin University, Turkey Email: duygucelik (at) aydin.edu.tr Atilla Elci Aksaray University, Turkey Email: atilla.elci (at) gmail.com Mehmet A. Orgun Macquarie University, Australia Email: mehmet.orgun (at) mq.edu.au Behnam Rahnama European University of Lefke, North Cyprus Email: behnam (at) brahnama.com Rainer Unland University of Duisburg-Essen, Germany Email: Rainer.Unland (at) icb.uni-due.de </pre> Duygu Çelik Aydin Üni 2013-02-07T21:15:56 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/183 <pre>Apologies for Multiple Postings =============================================================== 1st Workshop on Human-Semantic Web Interaction (HSWI'13) - http://hswi13.referata.com together with the 3rd International Conference on Web Intelligence, Mining and Semantics (WIMS'13) Jun 12-14, 2013. Madrid, Spain - http://aida.ii.uam.es/wims13/ =============================================================== Deadline EXTENDED to: February 20th -- The adoption of Semantic Web technologies implies new challenges for user interaction beyond those already posed by Web technologies and interactive systems in general. HSWI workshop aims to explore and evaluate good practices in interface design, and ultimately feed into possible recommendations for standardizing and consolidating knowledge and good practices into a set of guidelines for semantic web developers, to ensure the usability and reasonably functional user experiences of the next generation of Semantic Web applications. --- Submission deadline: February 20th, 2013 Submission types: full research papers, position papers, case study reports, reports of experiments, evaluation reports Submissions: https://www.easychair.org/conferences/?conf=hswiwims13 Date: to be announced (but one of WIMS'13 conference days: Jun 12-14, 2013) Place: Madrid, Spain Web site: http://hswi13.referata.com --- Topics of interest -------------------------- HSWI invites papers on, but not strictly limited to, the following topics: - Requirements for supporting the design and implementation of user interfaces for semanticapplications - Natural Language Interfaces - Interaction styles and requirements, including new/emergent types of interactions - Models for specifying structure and behavior of semantic interfaces - Lessons learned from developing, evaluating and using semantic interfaces - Defining Semantic Interfaces: concepts, requirements - Literature reviews and methodologies in the scope of Human-Semantic Web Interaction - Stakeholders perspectives - Sensemaking - Semantic search interfaces - Use Cases/Case Studies, best practices, evaluations - New web based interaction technologies (Gesture, Touch, Mind-Web Interfaces, etc.)UI/UX - Paradigms for semantic applications on mobile devices, taking into account on-board sensors (think: SIRI/Google Now on steroids) - Visualization in semantic interfaces Submission Types and Publication -------------------------------------------------- For providing a forum for sharing novel ideas, HSWI welcomes a broad spectrum of contributions, including for example: - Full research papers - Position papers - Case Studies - Descriptions of Experiments - Evaluations The authors in doubt about the relevance of the genre of their submission are invited to contact HSWI organizers. Submissions will be evaluated by the members of the international program committee. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this workshop. The maximum length of papers is at most 12 pages in ACM format. Please, note that the submission format is MS Word or PDF. The papers/proposals must be written in English and formatted according to the ACM guidelines. Author instructions and style files can be downloaded at: http://www.acm.org/sigs/publications/proceedings-templates Submit your papers through EasyChair at: https://www.easychair.org/conferences/?conf=hswiwims13 Publication ---------------- Contributions will be selected based upon their quality as evaluated by 2-3 referees. Accepted papers will be published in the proceedings of WIMS’13, part of the International Conference Proceedings Series published by ACM. At least one author of accepted papers is required to register at the full registration rate. Selected best papers will be considered for inclusion in a special issue of the Semantic Web Journal (SWJ) on Semantic Interfaces: http://www.semantic-web-journal.net/blog/special-issue-call-semantic-web-interfaces Important Dates ----------------------- 20.02.2013 – workshop papers submission deadline 20.03.2013 – notification of acceptance for Workshop papers 30.03.2013 – submission of camera ready versions of accepted Workshop papers 12-14.06.2013 – conference days Workshop Organizers ------------------------------- Roberto Garcia (roberto "dot" garcia "at" udl "dot" cat), Universitat de Lleida, Spain Paola Di Maio (paola "dot" dimaio "at" gmail "dot" com), ISTCS.org, UK Heiko Paulheim (paulheim "at" ke "dot" tu-darmstadt "dot" de), TU Darmstadt, Germany Program Committee ----------------------------- Tru Cao, Vietnam National University - HCM City, Vietnam Aba-Sah Dadzie, The University of Sheffield, UK Ian Dickinson, Epimorphics, UK Nima Dokoohaki, Royal Institute of Technology, Sweden Rosa Gil, Universitat de Lleida, Spain Toni Granollers, Universitat de Lleida, Spain Paul Hermans, ProXML, Belgium Ghislain Hachey, Athabasca University, Canada Eero Hyvönen, Aalto University and University of Helsinki, Finland Anna Jourdanous, King's College London, UK Hanmin Jung, Korea Institute of Science and Technology Information, Korea Ora Lassila, Nokia, USA Paul Mulholland, The Open University, UK Han Woo Park, YeungNam University, South Korea Lloyd Rutledge, Open Universiteit, The Netherlands Jiao Tao, Oracle, USA Jenny Ure, Queen's Medical Research Institute - UoE, Scotland Martin Voigt, TU Dresden, Germany Haofen Wang, Apex SJTU, China ... </pre> Roberto García 2013-02-06T14:25:30 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/182 <pre>CALL FOR PAPERS: The Semantic Smart City Workshop (SemCity-13), June 13, 2013 co-located with WIMS 2013 http://aida.ii.uam.es/wims13/semcity.php IMPORTANT DATES ==================================== - Full papers, Research papers, Position papers, Demo Submission Deadline: February 22nd, 2013 - Notification of acceptance: March 10th, 2013 - Camera ready: March 30th, 2013 - Workshop day: June 13, 2013 OVERVIEW ======== The world’s population is rapidly urbanizing. By 2005, the world’s population had increased to 6.5 billion, with about 50% living in cities. By 2025, UN projections show that the world population is expected to exceed 9 billion with roughly 75% expected to live in cities. This rapid urbanization is continuing to put tremendous pressure on traditional urban infrastructures, such as roads, water, and energy, and on societal institutions. Similarly, we are seeing the rapid rise in the connection and usage of billions of low-end and affordable smart devices to the Internet, along with the availability of increasing volumes of data from a wide range of sensors. These trends make possible a new generation of Semantic Smart City apps and services which increase the efficiency and effectiveness of the use of urban resources in many domains such as transport, healthcare and energy. The focus of this Workshop is to discuss, demonstrate, and share ideas, tools, technologies, and systems of how the Web, in particular the Web of Data, can help to solve or alleviate the pressures of city urbanization. TOPICS OF INTEREST ================== Today’s urbanization challenges require seeking for new approaches that transform modern cities to comfortable, economically successful, and environmentally responsible habitats. We also witness the confluence of many Internet- and Web-related factors: - The rise in the connection and usage of billions of low-end and affordable smart devices to the Internet, i.e. the “Internet of Things” - A growing momentum behind open government data (OGD), where governments and cities make non-personal public data freely available - The rise in penetration of the Web in more areas of our personal lives; and - The enormous amount of data being generated by the three aforementioned factors. The aim of this workshop is to explore the interfaces between the Web, the Web of Data, and the City. The workshop will explore how the Web, and the intelligences built on top of, and around the Web, can make the notion of the Smart Connected City possible and realizable. In the context of the outline workshop theme, SemCity invites papers on, but not strictly limited to, the following topics: - Semantic Web - Linked Data - Web of Data - Internet of Things - Interaction Paradigms in the Smart City - Smart City operating systems - Semantic Complex Event Reasoning - City services discovery - Service Ranking, and Provenance - Semantic Web Discovery - Semantic Web Ranking SUBMISSION TYPES AND PUBLICATION ================================= For providing a forum for sharing novel ideas, SemCity welcomes a broad spectrum of contributions, including for example: - Full research papers - Position papers - Case Studies - Descriptions of Experiments - Evaluations PAPER SUBMISSION ================ We welcome the following types of contributions. - Short (up to 6 pages) and full (up to 12 pages) research papers - Position papers (up to 4 pages) - Case Studies (up to 12 pages) - Demo papers (up to 4 pages), Descriptions of Experiments (up to 6 pages) * Paper submission URI: https://www.easychair.org/conferences/?conf=semcity13 * Workshop email: semcity13 at easychair.org Submissions will be evaluated by the members of the international program committee. Accepted papers will be published as a proceedings volume at CEUR-WS.org. WORKSHOP ORGANIZERS =================== Tope Omitola (t.omitola&lt; at &gt;ecs.soton.ac.uk), University of Southampton John Breslin (john.breslin&lt; at &gt;nuigalway.ie), National University of Ireland, Galway Biplav Srivastava (sbiplav&lt; at &gt;in.ibm.com), IBM Research John Davies (john.nj.davies&lt; at &gt;bt.com), British Telecommunications PROGRAM COMMITTEE ================= - Alistair Duke, BT - Bob Schloss, IBM - Carolina Fortuna, Josef Stefan Institute - Elizabeth Daly, IBM - Francois Scharffe, INRIA - Freddy Lecue, IBM - Frederik Weissenborn, University College London - Grigoris Antoniou, University of Crete - Monika Solanki, Birmingham City University - Rosario Usceda-Sosa, IBM - Taha Osman, Nottingham Trent University - Valentin Zacharias, FZI - Sebastian Rios, University of Chile - Les Carr, University of Southampton - Sören Auer, University of Leipzig - Rashid Mehmood, University of Huddersfield - Jun Zhao, Oxford University - Richard Cyganiak, Digital Enterprise Research Institute, NUI Galway - John Goodwin, Ordnance Survey, U.K. - José Manuel Gómez Pérez, iSOCO, Spain </pre> Tope Omitola 2013-02-01T11:07:26 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/181 <pre>CALL FOR PAPERS: The Semantic Smart City Workshop (SemCity-13), June 13, 2013 co-located with WIMS 2013 http://aida.ii.uam.es/wims13/semcity.php IMPORTANT DATES ==================================== - Full papers, Research papers, Position papers, Demo Submission Deadline: February 22nd, 2013 - Notification of acceptance: March 10th, 2013 - Camera ready: March 30th, 2013 - Workshop day: June 13, 2013 OVERVIEW ======== The world’s population is rapidly urbanizing. By 2005, the world’s population had increased to 6.5 billion, with about 50% living in cities. By 2025, UN projections show that the world population is expected to exceed 9 billion with roughly 75% expected to live in cities. This rapid urbanization is continuing to put tremendous pressure on traditional urban infrastructures, such as roads, water, and energy, and on societal institutions. Similarly, we are seeing the rapid rise in the connection and usage of billions of low-end and affordable smart devices to the Internet, along with the availability of increasing volumes of data from a wide range of sensors. These trends make possible a new generation of Semantic Smart City apps and services which increase the efficiency and effectiveness of the use of urban resources in many domains such as transport, healthcare and energy. The focus of this Workshop is to discuss, demonstrate, and share ideas, tools, technologies, and systems of how the Web, in particular the Web of Data, can help to solve or alleviate the pressures of city urbanization. TOPICS OF INTEREST ================== Today’s urbanization challenges require seeking for new approaches that transform modern cities to comfortable, economically successful, and environmentally responsible habitats. We also witness the confluence of many Internet- and Web-related factors: - The rise in the connection and usage of billions of low-end and affordable smart devices to the Internet, i.e. the “Internet of Things” - A growing momentum behind open government data (OGD), where governments and cities make non-personal public data freely available - The rise in penetration of the Web in more areas of our personal lives; and - The enormous amount of data being generated by the three aforementioned factors. The aim of this workshop is to explore the interfaces between the Web, the Web of Data, and the City. The workshop will explore how the Web, and the intelligences built on top of, and around the Web, can make the notion of the Smart Connected City possible and realizable. In the context of the outline workshop theme, SemCity invites papers on, but not strictly limited to, the following topics: - Semantic Web - Linked Data - Web of Data - Internet of Things - Interaction Paradigms in the Smart City - Smart City operating systems - Semantic Complex Event Reasoning - City services discovery - Service Ranking, and Provenance - Semantic Web Discovery - Semantic Web Ranking SUBMISSION TYPES AND PUBLICATION ================================= For providing a forum for sharing novel ideas, SemCity welcomes a broad spectrum of contributions, including for example: - Full research papers - Position papers - Case Studies - Descriptions of Experiments - Evaluations PAPER SUBMISSION ================ We welcome the following types of contributions. - Short (up to 6 pages) and full (up to 12 pages) research papers - Position papers (up to 4 pages) - Case Studies (up to 12 pages) - Demo papers (up to 4 pages), Descriptions of Experiments (up to 6 pages) * Paper submission URI: https://www.easychair.org/conferences/?conf=semcity13 Submissions will be evaluated by the members of the international program committee. Accepted papers will be published as a proceedings volume at CEUR-WS.org. WORKSHOP ORGANIZERS =================== Tope Omitola (t.omitola&lt; at &gt;ecs.soton.ac.uk), University of Southampton John Breslin (john.breslin&lt; at &gt;nuigalway.ie), National University of Ireland, Galway Biplav Srivastava (sbiplav&lt; at &gt;in.ibm.com), IBM Research John Davies (john.nj.davies&lt; at &gt;bt.com), British Telecommunications PROGRAM COMMITTEE ================= - Alistair Duke, BT - Bob Schloss, IBM - Carolina Fortuna, Josef Stefan Institute - Elizabeth Daly, IBM - Francois Scharffe, INRIA - Freddy Lecue, IBM - Frederik Weissenborn, University College London - Grigoris Antoniou, University of Crete - Monika Solanki, Birmingham City University - Rosario Usceda-Sosa, IBM - Taha Osman, Nottingham Trent University - Valentin Zacharias, FZI - Sebastian Rios, University of Chile - Les Carr, University of Southampton - Sören Auer, University of Leipzig - Rashid Mehmood, University of Huddersfield - Jun Zhao, Oxford University </pre> Tope Omitola 2013-01-22T12:07:16 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/179 <pre>Do-Form: Enabling Domain Experts to use Formalised Reasoning http://cs.bham.ac.uk/research/projects/formare/events/aisb2013 CALL FOR CONTRIBUTIONS Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour; http://www.aisb.org.uk) University of Exeter, UK 2-5 April 2013 http://emps.exeter.ac.uk/computer-science/research/aisb/ SPECIAL SESSIONS with * Utku Ünver (market design and matching problems) * Peter Cramton (auctions) * Neels Vosloo (finance markets regulation) SUBMISSION DEADLINE (extended): 28 January This symposium is motivated by the long-term VISION of making information systems dependable. In the past even mis-represented units of measurements caused fatal ENGINEERING disasters. In ECONOMICS, the subtlety of issues involved in good auction design may have led to low revenues in auctions of public goods such as the 3G radio spectra. Similarly, banks' value-at-risk (VaR) models – the leading method of financial risk measurement – are too large and change too quickly to be thoroughly vetted by hand, the current state of the art; in the London Whale incident of 2012, JP Morgan claimed that its exposures were $67mn under one of its VaR models, and $129 under another one. Verifying a model's properties requires formally specifying them; for VaR models, any work would have to start with this most basic step, as regulators' current desiderata are subjective and ambiguous. We believe that these problems can be addressed by representing the knowledge underlying such models and mechanisms in a formal, explicit, machine-verifiable way. Contemporary computer science offers a wide choice of knowledge representation languages well supported by verification tools. Such tools have been successfully applied, e.g., for verifying software that controls commuter rail or payment systems (cf. the symposium homepage for further background). Still, DOMAIN EXPERTS without a strong computer science background find it challenging to choose the right tools and to use them. This symposium aims at investigating ways to support them. Some problems can be addressed now, others will bring new challenges to computer science. General TOPICS of interest include: * for DOMAIN EXPERTS: what problems in application domains could benefit from better verification and knowledge management facilities? Possible fields include: * Example 1 (economics): auctions, VaR, trading algorithms, market design * Example 2 (engineering): system interoperability, manufacturing processes, product classification * for COMPUTER SCIENTISTS: how to provide the right knowledge management and verification tools to domain experts without a computer science background? * wikis and blogs for informal, semantic, semiformal, and formal mathematical knowledge; * general techniques and tools for online collaborative mathematics; * tools for collaboratively producing, presenting, publishing, and interacting with online mathematics; * automation and computer-human interaction aspects of mathematical wikis; * ontologies and knowledge bases designed to support knowledge management and verification in application domains; * practical experiences, usability aspects, feasibility studies; * evaluation of existing tools and experiments; * requirements, user scenarios and goals. We particularly invite submissions that address the problems or that apply the tools presented in the papers submitted for stage 1 (see "submission" below). THE SYMPOSIUM is designed to bring domain experts and formalisers into close and fruitful contact with each other: domain experts will be able to present their fields and problems to formalisers; formalisers will be exposed to new and challenging problem areas. We will combine talks and hands-on sessions to ensure close interaction among participants from both sides. World-class economists will offer dedicated HANDS-ON SESSIONS on the following topics: * Market design and matching problems (Utku Ünver, Boston College): These include matching students to schools, interns to hospitals, and kidney donors to recipients. See the documentation for the 2012 Nobel Memorial Prize in Economic Sciences for more background information (http://www.nobelprize.org/nobel_prizes/economics/laureates/2012/). * Auctions (Peter Cramton, University of Maryland): Peter works on auctions for ICANN (the ‘knock out’ domain name auctions), Ofcom UK (4G spectrum auction), the UK Department of the Environment and Climate Change, and others. * Finance (Neels Vosloo, Financial Services Authority UK): It is currently impossible for regulators to properly inspect either risk management models, or algorithmic trading platforms. To what extent can techniques from mechanised reasoning automate some of the inspection process? SUBMISSIONS We solicit submissions on any of the TOPICS outlined initially but prefer submissions that specifically address topics identified in the earlier submission Stage 1. In Stage 1 we had solicited * from DOMAIN EXPERTS descriptions of "nails": canonical models and problems in their domain that might benefit from better verification and knowledge management facilities. Descriptions should focus on aspects of these models that domain users find particularly problematic, and suspect might be aided by formalisation tools * from COMPUTER SCIENTISTS descriptions of "hammers": formalisation, verification and knowledge management tools, with an emphasis on how they could be applied in a concrete real-world setting, or tailored to such application domains. Commented versions of these submissions are now online at http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/stage1.php. A tool whose description is submitted to Stage 2 could, e.g., be motivated with a Stage 1 problem, and sketch how the tool could, or will, be applied in this domain. Each submission will be refereed by three PC members on average. Submissions will be judged based on the PC's views of the likelihood of contributing to a better matching of hammers (formalisation and verification tools) to nails (domain problems). At this stage we accept PDF submissions in any layout but count 1200 words as one page for fair comparison. We invite research and position papers, as well as tool and system descriptions, from 3 to 10 pages. Besides PDFs we invite the submission of formalised knowledge representations with human-readable annotations. To submit a paper, please go to the Do-Form EasyChair page (http://www.easychair.org/conferences/?conf=doform2013) and follow the instructions for Stage 2 there. FINAL VERSIONS Final versions should be prepared in LaTeX according to the AISB formatting guidelines linked from the symposium homepage. For the final version, non-PDF submissions should be accompanied by a PDF abstract of 2 to 4 pages. Electronic proceedings (with an ISBN) will be made available to the convention delegates on a memory stick, and on the AISB website. Given a sufficient number of high-quality submissions, we will invite authors to submit revised and extended versions to a SPECIAL ISSUE of a relevant JOURNAL. (E.g., co-chair Manfred Kerber is on the editorial board of Mathematics in Computer Science.) IMPORTANT DATES * Submission (Stage 2): 28 January 2013 * Notification: 18 February 2013 * Final versions due: 4 March 2013 * Symposium: 2-5 April 2013 (days to be fixed) * AISB Convention: 2-5 April 2013 PROGRAMME COMMITTEE 1. Bill Andersen, Highfleet, US 2. Rob Arthan, Lemma 1, Reading, UK 3. Christoph Benzmüller, Free University of Berlin, Germany 4. Peter Cramton, University of Maryland, US 5. James Davenport, University of Bath, UK 6. Michael Grüninger, University of Toronto, Canada 7. Manfred Kerber, University of Birmingham, UK (co-chair) 8. Michael Kohlhase, Jacobs University Bremen, Germany 9. Christoph Lange, University of Birmingham, UK (co-chair) 10. Till Mossakowski, University of Bremen, Germany 11. Colin Rowat, University of Birmingham, UK (co-chair) 12. Todd Schneider, Raytheon, US 13. Richard Steinberg, London School of Economics, UK 14. Geoff Sutcliffe, University of Miami, US 15. Theodore L Turocy, Centre for Behavioural and Experimental Social Science, University of East Anglia, UK 16. Makarius Wenzel, University of Paris Sud, France 17. Wolfgang Windsteiger, RISC / JKU Linz, Austria COMMENTS/QUESTIONS/ENQUIRIES to be sent to DoForm2013&lt; at &gt;easychair.org </pre> Christoph LANGE 2013-01-11T23:21:59 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/178 <pre>CALL FOR CONTRIBUTIONS Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour; http://www.aisb.org.uk) University of Exeter, UK 2-5 April 2013 http://emps.exeter.ac.uk/computer-science/research/aisb/ SPECIAL SESSIONS with * Utku Ünver (market design and matching problems) * Peter Cramton (auctions) * Neels Vosloo (finance markets regulation) SUBMISSION DEADLINE: 14 January This symposium is motivated by the long-term VISION of making information systems dependable. In the past even mis-represented units of measurements caused fatal ENGINEERING disasters. In ECONOMICS, the subtlety of issues involved in good auction design may have led to low revenues in auctions of public goods such as the 3G radio spectra. Similarly, banks' value-at-risk (VaR) models – the leading method of financial risk measurement – are too large and change too quickly to be thoroughly vetted by hand, the current state of the art; in the London Whale incident of 2012, JP Morgan claimed that its exposures were $67mn under one of its VaR models, and $129 under another one. Verifying a model's properties requires formally specifying them; for VaR models, any work would have to start with this most basic step, as regulators' current desiderata are subjective and ambiguous. We believe that these problems can be addressed by representing the knowledge underlying such models and mechanisms in a formal, explicit, machine-verifiable way. Contemporary computer science offers a wide choice of knowledge representation languages well supported by verification tools. Such tools have been successfully applied, e.g., for verifying software that controls commuter rail or payment systems (cf. the symposium homepage for further background). Still, DOMAIN EXPERTS without a strong computer science background find it challenging to choose the right tools and to use them. This symposium aims at investigating ways to support them. Some problems can be addressed now, others will bring new challenges to computer science. General TOPICS of interest include: * for DOMAIN EXPERTS: what problems in application domains could benefit from better verification and knowledge management facilities? Possible fields include: * Example 1 (economics): auctions, VaR, trading algorithms, market design * Example 2 (engineering): system interoperability, manufacturing processes, product classification * for COMPUTER SCIENTISTS: how to provide the right knowledge management and verification tools to domain experts without a computer science background? * wikis and blogs for informal, semantic, semiformal, and formal mathematical knowledge; * general techniques and tools for online collaborative mathematics; * tools for collaboratively producing, presenting, publishing, and interacting with online mathematics; * automation and computer-human interaction aspects of mathematical wikis; * ontologies and knowledge bases designed to support knowledge management and verification in application domains; * practical experiences, usability aspects, feasibility studies; * evaluation of existing tools and experiments; * requirements, user scenarios and goals. We particularly invite submissions that address the problems or that apply the tools presented in the papers submitted for stage 1 (see "submission" below). THE SYMPOSIUM is designed to bring domain experts and formalisers into close and fruitful contact with each other: domain experts will be able to present their fields and problems to formalisers; formalisers will be exposed to new and challenging problem areas. We will combine talks and hands-on sessions to ensure close interaction among participants from both sides. World-class economists will offer dedicated HANDS-ON SESSIONS on the following topics: * Market design and matching problems (Utku Ünver, Boston College): These include matching students to schools, interns to hospitals, and kidney donors to recipients. See the documentation for the 2012 Nobel Memorial Prize in Economic Sciences for more background information (http://www.nobelprize.org/nobel_prizes/economics/laureates/2012/). * Auctions (Peter Cramton, University of Maryland): Peter works on auctions for ICANN (the ‘knock out’ domain name auctions), Ofcom UK (4G spectrum auction), the UK Department of the Environment and Climate Change, and others. * Finance (Neels Vosloo, Financial Services Authority UK): It is currently impossible for regulators to properly inspect either risk management models, or algorithmic trading platforms. To what extent can techniques from mechanised reasoning automate some of the inspection process? SUBMISSIONS We solicit submissions on any of the TOPICS outlined initially but prefer submissions that specifically address topics identified in the earlier submission Stage 1. In Stage 1 we had solicited * from DOMAIN EXPERTS descriptions of "nails": canonical models and problems in their domain that might benefit from better verification and knowledge management facilities. Descriptions should focus on aspects of these models that domain users find particularly problematic, and suspect might be aided by formalisation tools * from COMPUTER SCIENTISTS descriptions of "hammers": formalisation, verification and knowledge management tools, with an emphasis on how they could be applied in a concrete real-world setting, or tailored to such application domains. Commented versions of these submissions are now online at http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/stage1.php. A tool whose description is submitted to Stage 2 could, e.g., be motivated with a Stage 1 problem, and sketch how the tool could, or will, be applied in this domain. Each submission will be refereed by three PC members on average. Submissions will be judged based on the PC's views of the likelihood of contributing to a better matching of hammers (formalisation and verification tools) to nails (domain problems). At this stage we accept PDF submissions in any layout but count 1200 words as one page for fair comparison. We invite research and position papers, as well as tool and system descriptions, from 3 to 10 pages. Besides PDFs we invite the submission of formalised knowledge representations with human-readable annotations. To submit a paper, please go to the Do-Form EasyChair page (http://www.easychair.org/conferences/?conf=doform2013) and follow the instructions for Stage 2 there. FINAL VERSIONS Final versions should be prepared in LaTeX according to the AISB formatting guidelines linked from the symposium homepage. For the final version, non-PDF submissions should be accompanied by a PDF abstract of 2 to 4 pages. Electronic proceedings (with an ISBN) will be made available to the convention delegates on a memory stick, and on the AISB website. Given a sufficient number of high-quality submissions, we will invite authors to submit revised and extended versions to a SPECIAL ISSUE of a relevant JOURNAL. (E.g., co-chair Manfred Kerber is on the editorial board of Mathematics in Computer Science.) IMPORTANT DATES * Submission (Stage 2): 14 January 2013 * Notification: 11 February 2013 * Final versions due: 4 March 2013 * Symposium: 2-3 April 2013 (most likely) * AISB Convention: 2-5 April 2013 PROGRAMME COMMITTEE 1. Bill Andersen, Highfleet, US 2. Rob Arthan, Lemma 1, Reading, UK 3. Christoph Benzmüller, Free University of Berlin, Germany 4. Peter Cramton, University of Maryland, US 5. James Davenport, University of Bath, UK 6. Michael Grüninger, University of Toronto, Canada 7. Manfred Kerber, University of Birmingham, UK (co-chair) 8. Michael Kohlhase, Jacobs University Bremen, Germany 9. Christoph Lange, University of Birmingham, UK (co-chair) 10. Till Mossakowski, University of Bremen, Germany 11. Colin Rowat, University of Birmingham, UK (co-chair) 12. Todd Schneider, Raytheon, US 13. Richard Steinberg, London School of Economics, UK 14. Geoff Sutcliffe, University of Miami, US 15. Theodore L Turocy, Centre for Behavioural and Experimental Social Science, University of East Anglia, UK 16. Makarius Wenzel, University of Paris Sud, France 17. Wolfgang Windsteiger, RISC / JKU Linz, Austria COMMENTS/QUESTIONS/ENQUIRIES to be sent to DoForm2013&lt; at &gt;easychair.org </pre> Christoph LANGE 2013-01-03T10:43:23 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/176 <pre> CICM 2013 - Conference on Intelligent Computer Mathematics July 8-12, 2012 at the University of Bath, UK http://www.cicm-conference.org/2013 Call for Workshop Proposals ---------------------------------------------------------------------- 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. Workshop proposals for CICM 2013 are solicited. Both well-established workshops and newer or brand new ones are encouraged. Please provide the following information: + Workshop title. + Names and affiliations of organizers. + Brief description of workshop goals and/or topics. + Proposed workshop duration (half a day up to two days is possible). + If the workshop has met previously, please include the conference affiliation for the previous meeting. If the workshop is new, please indicate so. CICM conference fees will be levied on a per-day basis, so that workshop-only participation is possible. The CICM organizers plan to make available a small amount towards partial reimbursement for travel expenses of invited speakers. Also, CICM will take care of copying and distributing informal printed proceedings for workshops that would like this service, as well as permanently archived open access online proceedings with CEUR-WS.org. All proposals should be sent via email to cicm-organizers&lt; at &gt;jacobs-university.de for consideration by the CICM 2013 organizers: James Davenport (University of Bath, UK): Conference Chair Jacques Carette (McMaster University, Canada): Program Chair David Aspinall (University of Edinburgh, Scotland): MKM Track Chair Christoph Lange (Univ of Birmingham, UK): System &amp; Projects Track Chair Petr Sojka (Masaryk University, CZ): DML Track Chair Wolfgang Windsteiger (RISC, Austria): Calculemus Track Chair Important dates: Deadline for proposal submissions: January 28, 2013 Acceptance/rejection notification: February 8, 2013 Workshop dates:July 8-12, 2013 ----------------------------------------------------------------------- </pre> Serge Autexier 2012-12-19T21:05:36 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/175 <pre>(with apologies for cross-posting) --------------------------------------- IEEE Internet Computing Special Issue on Smart Cities http://www.computer.org/portal/web/computingnow/iccfp6 --------------------------------------- Smart cities are currently the investigation focus of a broad research community as well as the center of governments' and industries' innovation agendas. To address smart cities' multifaceted and cross-domain challenges, the Internet plays a fundamental role for communication, information sharing and processing, data transfer and analysis, and distributed computing. The rise of the Internet of Things and the large-scale adoption of Web technologies in urban environments have proved that Internet-based solutions can successfully address societal challenges. Still, holistic answers to open issues must face urban environments' intrinsic complexity. This special issue seeks submissions about recent or ongoing research efforts and experiences in applying Internet technologies to realize the smart city vision. Appropriate topics include: - spatial, temporal, and contextual city data representation, reasoning, search, exploration, services, analysis, and optimization; - city data life cycles, including de-noising, cleansing, anonymization and privacy protection, fusion, interpretation, lifting, aggregation, and correlation; - scalable processing of distributed, networked, dynamic, or heterogeneous city data; - ubiquitous and pervasive city systems; - social aspects of information systems, such as citizens as sensors, urban dynamics, and citizen participation in public life and decision-making; and - innovative applications in public safety, commerce, transportation, resource management, and government, among others. We discourage prospective authors from submitting purely speculative articles and invite original contributions presenting beyond state-of-the-art approaches and, whenever appropriate, field trial results showing Internet technologies' ability to deal with governance and citizen participation, competitiveness, and smart living, mobility, and sustainability. --------------------------------------- Submission Instructions: All submissions must be original manuscripts of fewer than 5,000 words, with each figure counting as 250 words, focused on Internet technologies and implementations. All manuscripts are subject to peer review on both technical merit and relevance to IC's international readership - primarily system and software design engineers. We do not accept white papers, and we discourage strictly theoretical or mathematical papers. To submit a manuscript, please log on to ScholarOne ( https://mc.manuscriptcentral.com:443/ic-cs) to create or access an account, which you can use to log on to IC's Author Center and upload your submission. --------------------------------------- Important dates: - Brief description of the article you plan to submit to ic6-2013&lt; at &gt;computer.org due: 15 February 2013 (optional but recommended) - Final submissions due: 1 March 2013 - Publication date: November/December 2013 Questions? Contact Guest Editors Spyros Kotoulas and Irene Celino at ic6-2013&lt; at &gt;computer.org. --------------------------------------- Irene Celino CEFRIEL - ICT Institute Politecnico di Milano Via Fucini, 2 - 20133 Milano (Italy) email: Irene.Celino&lt; at &gt;cefriel.it, irene&lt; at &gt;iricelino.org web: http://swa.cefriel.it, http://iricelino.org </pre> Irene Celino 2012-12-19T08:54:19 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/174 <pre>Do-Form: Enabling Domain Experts to use Formalised Reasoning http://cs.bham.ac.uk/research/projects/formare/events/aisb2013 CALL FOR CONTRIBUTIONS Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour; http://www.aisb.org.uk) University of Exeter 2-5 April 2013 http://emps.exeter.ac.uk/computer-science/research/aisb/ SPECIAL SESSIONS (to be confirmed) with * Utku Ünver (market design and matching problems) * Peter Cramton (auctions) * TBA (finance markets regulation) SUBMISSION DEADLINE: 14 January PRE-SUBMISSION DEADLINE (for initial problem and tool descriptions, non-binding): 10 December This symposium is motivated by the long-term VISION of making information systems dependable. In the past even mis-represented units of measurements caused fatal ENGINEERING disasters. In ECONOMICS, the subtlety of issues involved in good auction design may have led to low revenues in auctions of public goods such as the 3G radio spectra. Similarly, banks' value-at-risk (VaR) models – the leading method of financial risk measurement – are too large and change too quickly to be thoroughly vetted by hand, the current state of the art; in the London Whale incident of 2012, JP Morgan claimed that its exposures were $67mn under one of its VaR models, and $129 under another one. Verifying a model's properties requires formally specifying them; for VaR models, any work would have to start with this most basic step, as regulators' current desiderata are subjective and ambiguous. We believe that these problems can be addressed by representing the knowledge underlying such models and mechanisms in a formal, explicit, machine-verifiable way. Contemporary computer science offers a wide choice of knowledge representation languages well supported by verification tools. Such tools have been successfully applied, e.g., for verifying software that controls commuter rail or payment systems (cf. the symposium homepage for further background). Still, DOMAIN EXPERTS without a strong computer science background find it challenging to choose the right tools and to use them. This symposium aims at investigating ways to support them. Some problems can be addressed now, others will bring new challenges to computer science. TOPICS of interest include: * for DOMAIN EXPERTS: what problems in application domains could benefit from better verification and knowledge management facilities? Possible fields include: * Example 1 (economics): auctions, VaR, trading algorithms, market design * Example 2 (engineering): system interoperability, manufacturing processes, product classification * for COMPUTER SCIENTISTS: how to provide the right knowledge management and verification tools to domain experts without a computer science background? * wikis and blogs for informal, semantic, semiformal, and formal mathematical knowledge; * general techniques and tools for online collaborative mathematics; * tools for collaboratively producing, presenting, publishing, and interacting with online mathematics; * automation and computer-human interaction aspects of mathematical wikis; * ontologies and knowledge bases designed to support knowledge management and verification in application domains; * practical experiences, usability aspects, feasibility studies; * evaluation of existing tools and experiments; * requirements, user scenarios and goals. THE SYMPOSIUM is designed to bring domain experts and formalisers into close and fruitful contact with each other: domain experts will be able to present their fields and problems to formalisers; formalisers will be exposed to new and challenging problem areas. We will combine talks and hands-on sessions to ensure close interaction among participants from both sides. World-class economists will offer dedicated HANDS-ON SESSIONS (to be confirmed) on the following topics: * Market design and matching problems (Utku Ünver, Boston College): These include matching students to schools, interns to hospitals, and kidney donors to recipients. See the documentation for the 2012 Nobel Memorial Prize in Economic Sciences for more background information (http://www.nobelprize.org/nobel_prizes/economics/laureates/2012/). * Auctions (Peter Cramton, University of Maryland): Peter works on auctions for ICANN (the ‘knock out’ domain name auctions), Ofcom UK (4G spectrum auction), the UK Department of the Environment and Climate Change, and others. * Finance (to be announced): It is currently impossible for regulators to properly inspect either risk management models, or algorithmic trading platforms. To what extent can techniques from mechanised reasoning automate some of the inspection process? SUBMISSIONS (TWO STAGES) We run a two-stage submission process: Stage 1: PROBLEM &amp; TOOL ("NAIL &amp; HAMMER") DESCRIPTIONS to be reviewed and matched with each other Stage 2: REGULAR EXTENDED ABSTRACTS normal conference-like peer review Accepted submissions from both stages will be included in the symposium proceedings (see below). In Stage 1 (by 10 December) we solicit … * from DOMAIN EXPERTS: descriptions of canonical models and problems in their domain that might benefit from better verification and knowledge management facilities. Descriptions should focus on aspects of these models that domain users find particularly problematic, and suspect might be aided by formalisation tools * from COMPUTER SCIENTISTS: descriptions of formalisation, verification and knowledge management tools, with an emphasis on how they could be applied in a concrete real-world setting, or tailored to such application domains. Stage 1 submissions should have 2 to 4 pages and may be summaries of earlier publications on relevant problems and tools, focused to a target audience of computer scientists or domain experts, respectively. The symposium chairs, assisted by the PC members, will review and initially publish commented versions of the Stage 1 submissions on the symposium homepage, to provide orientation for Stage 2. Should matching problems and tools be identified, we will notify the respective authors. In Stage 2 (by 14 January) we solicit regular submissions on any of the TOPICS outlined initially. We prefer submissions that specifically address topics identified in Stage 1; for a tool description paper, this could, e.g., be done by motivating the tool with a Stage 1 problem, and sketching how the tool could, or will, be applied in this domain. Each submission will be refereed by three PC members on average. Submissions will be judged based on the PC's views of the likelihood of contributing to a better matching of hammers (formalisation and verification tools) to nails (domain problems). At this stage we accept PDF submissions in any layout but count 1200 words as one page for fair comparison. We invite research and position papers, as well as tool and system descriptions, from 3 to 10 pages. Besides PDFs we invite the submission of formalised knowledge representations with human-readable annotations. To submit a paper, please go to the Do-Form EasyChair page (http://www.easychair.org/conferences/?conf=doform2013) and follow the instructions there. FINAL VERSIONS Final versions should be prepared in LaTeX according to the AISB formatting guidelines linked from the symposium homepage. For the final version, non-PDF submissions should be accompanied by a PDF abstract of 2 to 4 pages. Electronic proceedings (with an ISBN) will be made available to the convention delegates on a memory stick, and on the AISB website. Given a sufficient number of high-quality submissions, we will invite authors to submit revised and extended versions to a SPECIAL ISSUE of a relevant JOURNAL. (E.g., co-chair Manfred Kerber is on the editorial board of Mathematics in Computer Science.) IMPORTANT DATES * Pre-Submission (Stage 1): 10 December 2012 * Stage 1 Submissions and Comments online: 14 December 2012 * Regular Submission (Stage 2): 14 January 2013 * Notification: 11 February 2013 * Final versions due: 4 March 2013 * Symposium: 2-5 April 2013 (days to be fixed) PROGRAMME COMMITTEE 1. Bill Andersen, Highfleet, US 2. Rob Arthan, Lemma 1, Reading, UK 3. Christoph Benzmüller, Free University of Berlin, Germany 4. Peter Cramton, University of Maryland, US 5. James Davenport, University of Bath, UK 6. Michael Grüninger, University of Toronto, Canada 7. Manfred Kerber, University of Birmingham, UK (co-chair) 8. Michael Kohlhase, Jacobs University Bremen, Germany 9. Christoph Lange, University of Birmingham, UK (co-chair) 10. Till Mossakowski, University of Bremen, Germany 11. Colin Rowat, University of Birmingham, UK (co-chair) 12. Todd Schneider, Raytheon, US 13. Richard Steinberg, London School of Economics, UK 14. Geoff Sutcliffe, University of Miami, US 15. Theodore L Turocy, Centre for Behavioural and Experimental Social Science, University of East Anglia, UK 16. Makarius Wenzel, University of Paris Sud, France 17. Wolfgang Windsteiger, RISC / JKU Linz, Austria COMMENTS/QUESTIONS/ENQUIRIES to be sent to DoForm2013&lt; at &gt;easychair.org </pre> Christoph LANGE 2012-11-18T05:39:21 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/173 <pre>Greetings SWUI List members- Thanks to those on this list who have already helped edit the cfp below, and/or have joined the Editorial Board for the SI The SWI cfp has been accepted and is now LIVE! See various links pasted here http://piratepad.net/kffYShu0tm Please announce it, share it , make it your own, etc- (I could have posted the invitation to join the Editorial Board to this mailing list, but I think I was unsubscribed for a while due to overload, apologies) Anyone interested to be on the Editorial board please ping me! We'll update the list of EB members closer to the submission deadline 2. A W3C Community Group and some workshops are being organised around the topics of the SI, please join or consider leading something of your own in that direction! See the various links here https://sites.google.com/site/swiswjsi/ 3. Anyone would consider Sitting for me at ISWC in Boston later this week I secured a slot at a workshop, http://stko.geog.ucsb.edu/sw2022/ but unfortunately cannot attend in person. The organisers have allowed me to find a substitute, else the submission should be withdrawn. Heiko who is going to be there said he would do it but he has to give another talk at another workshop during the same slot I have prepared slides and a video here, so not thinking/talking required, other than running the materials and possibly sitting in the panel question and answers- anyone in this group plans to be a the workshop and would like to sit in for me, or knows anyone who would? I promise to return the favor at the first opportunity. Thanks in advance for the consideration OPEN SLIDES http://www.slideshare.net/PaolaDIM/sw10-yearslides PLAY VIDEO http://www.youtube.com/watch?v=m9bqBBJNIF4&amp;feature=youtu.be Thank you Best regards PDM </pre> Paola Di Maio 2012-11-08T20:25:46 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/172 <pre>(with apologies for cross-posting) --------------------------------------- IEEE Internet Computing Special Issue on Smart Cities http://www.computer.org/portal/web/computingnow/iccfp6 --------------------------------------- Smart cities are currently the investigation focus of a broad research community as well as the center of governments' and industries' innovation agendas. To address smart cities' multifaceted and cross-domain challenges, the Internet plays a fundamental role for communication, information sharing and processing, data transfer and analysis, and distributed computing. The rise of the Internet of Things and the large-scale adoption of Web technologies in urban environments have proved that Internet-based solutions can successfully address societal challenges. Still, holistic answers to open issues must face urban environments' intrinsic complexity. This special issue seeks submissions about recent or ongoing research efforts and experiences in applying Internet technologies to realize the smart city vision. Appropriate topics include: - spatial, temporal, and contextual city data representation, reasoning, search, exploration, services, analysis, and optimization; - city data life cycles, including de-noising, cleansing, anonymization and privacy protection, fusion, interpretation, lifting, aggregation, and correlation; - scalable processing of distributed, networked, dynamic, or heterogeneous city data; - ubiquitous and pervasive city systems; - social aspects of information systems, such as citizens as sensors, urban dynamics, and citizen participation in public life and decision-making; and - innovative applications in public safety, commerce, transportation, resource management, and government, among others. We discourage prospective authors from submitting purely speculative articles and invite original contributions presenting beyond state-of-the-art approaches and, whenever appropriate, field trial results showing Internet technologies' ability to deal with governance and citizen participation, competitiveness, and smart living, mobility, and sustainability. --------------------------------------- Submission Instructions: All submissions must be original manuscripts of fewer than 5,000 words, with each figure counting as 250 words, focused on Internet technologies and implementations. All manuscripts are subject to peer review on both technical merit and relevance to IC's international readership - primarily system and software design engineers. We do not accept white papers, and we discourage strictly theoretical or mathematical papers. To submit a manuscript, please log on to ScholarOne ( https://mc.manuscriptcentral.com:443/ic-cs) to create or access an account, which you can use to log on to IC's Author Center and upload your submission. --------------------------------------- Important dates: - Brief description of the article you plan to submit to ic6-2013&lt; at &gt;computer.org due: 15 February 2013 (optional but recommended) - Final submissions due: 1 March 2013 - Publication date: November/December 2013 Questions? Contact Guest Editors Spyros Kotoulas and Irene Celino at ic6-2013&lt; at &gt;computer.org. --------------------------------------- Irene Celino CEFRIEL - ICT Institute Politecnico di Milano Via Fucini, 2 - 20133 Milano (Italy) email: Irene.Celino&lt; at &gt;cefriel.it, irene&lt; at &gt;iricelino.org web: http://swa.cefriel.it, http://iricelino.org </pre> Irene Celino 2012-10-29T11:02:23 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/171 <pre>Do-Form: Enabling Domain Experts to use Formalised Reasoning http://cs.bham.ac.uk/research/projects/formare/events/aisb2013 CALL FOR CONTRIBUTIONS Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour; http://www.aisb.org.uk) University of Exeter 2-5 April 2013 http://emps.exeter.ac.uk/computer-science/research/aisb/ SUBMISSION DEADLINE: 14 January PRE-SUBMISSION DEADLINE (for initial problem and tool descriptions, non-binding): 10 December This symposium is motivated by the long-term VISION of making information systems dependable. In the past even mis-represented units of measurements caused fatal ENGINEERING disasters. In ECONOMICS, the subtlety of issues involved in good auction design may have led to low revenues in auctions of public goods such as the 3G radio spectra. Similarly, banks' value-at-risk (VaR) models – the leading method of financial risk measurement – are too large and change too quickly to be thoroughly vetted by hand, the current state of the art; in the London Whale incident of 2012, JP Morgan claimed that its exposures were $67mn under one of its VaR models, and $129 under another one. Verifying a model's properties requires formally specifying them; for VaR models, any work would have to start with this most basic step, as regulators' current desiderata are subjective and ambiguous. We believe that these problems can be addressed by representing the knowledge underlying such models and mechanisms in a formal, explicit, machine-verifiable way. Contemporary computer science offers a wide choice of knowledge representation languages well supported by verification tools. Such tools have been successfully applied, e.g., for verifying software that controls commuter rail or payment systems (cf. the symposium homepage for further background). Still, DOMAIN EXPERTS without a strong computer science background find it challenging to choose the right tools and to use them. This symposium aims at investigating ways to support them. Some problems can be addressed now, others will bring new challenges to computer science. TOPICS of interest include: * for DOMAIN EXPERTS: what problems in application domains could benefit from better verification and knowledge management facilities? Possible fields include: * Example 1 (economics): auctions, VaR, trading algorithms, market design * Example 2 (engineering): system interoperability, manufacturing processes, product classification * for COMPUTER SCIENTISTS: how to provide the right knowledge management and verification tools to domain experts without a computer science background? * wikis and blogs for informal, semantic, semiformal, and formal mathematical knowledge; * general techniques and tools for online collaborative mathematics; * tools for collaboratively producing, presenting, publishing, and interacting with online mathematics; * automation and computer-human interaction aspects of mathematical wikis; * ontologies and knowledge bases designed to support knowledge management and verification in application domains; * practical experiences, usability aspects, feasibility studies; * evaluation of existing tools and experiments; * requirements, user scenarios and goals. THE SYMPOSIUM is designed to bring domain experts and formalisers into close and fruitful contact with each other: domain experts will be able to present their fields and problems to formalisers; formalisers will be exposed to new and challenging problem areas. We will combine talks and hands-on sessions to ensure close interaction among participants from both sides. We will start with an invited talk given by an expert from economics (to be determined), on the need for verifiable models in this domain and beyond. SUBMISSIONS (TWO STAGES) We run a two-stage submission process: Stage 1: PROBLEM &amp; TOOL ("NAIL &amp; HAMMER") DESCRIPTIONS to be reviewed and matched with each other Stage 2: REGULAR EXTENDED ABSTRACTS normal conference-like peer review Accepted submissions from both stages will be included in the symposium proceedings (see below). In Stage 1 (by 10 December) we solicit … * from DOMAIN EXPERTS: descriptions of canonical models and problems in their domain that might benefit from better verification and knowledge management facilities. Descriptions should focus on aspects of these models that domain users find particularly problematic, and suspect might be aided by formalisation tools * from COMPUTER SCIENTISTS: descriptions of formalisation, verification and knowledge management tools, with an emphasis on how they could be applied in a concrete real-world setting, or tailored to such application domains. Stage 1 submissions should have 2 to 4 pages and may be summaries of earlier publications on relevant problems and tools, focused to a target audience of computer scientists or domain experts, respectively. The symposium chairs, assisted by the PC members, will review and initially publish commented versions of the Stage 1 submissions on the symposium homepage, to provide orientation for Stage 2. Should matching problems and tools be identified, we will notify the respective authors. In Stage 2 (by 14 January) we solicit regular submissions on any of the TOPICS outlined initially. We prefer submissions that specifically address topics identified in Stage 1; for a tool description paper, this could, e.g., be done by motivating the tool with a Stage 1 problem, and sketching how the tool could, or will, be applied in this domain. Each submission will be refereed by three PC members on average. Submissions will be judged based on the PC's views of the likelihood of contributing to a better matching of hammers (formalisation and verification tools) to nails (domain problems). At this stage we accept PDF submissions in any layout but count 1200 words as one page for fair comparison. We invite research and position papers, as well as tool and system descriptions, from 3 to 10 pages. Besides PDFs we invite the submission of formalised knowledge representations with human-readable annotations. To submit a paper, please go to the Do-Form EasyChair page (http://www.easychair.org/conferences/?conf=doform2013) and follow the instructions there. FINAL VERSIONS Final versions should be prepared in LaTeX according to the AISB formatting guidelines linked from the symposium homepage. For the final version, non-PDF submissions should be accompanied by a PDF abstract of 2 to 4 pages. Electronic proceedings (with an ISBN) will be made available to the convention delegates on a memory stick, and on the AISB website. IMPORTANT DATES * Pre-Submission (Stage 1): 10 December 2012 * Stage 1 Submissions and Comments online: 14 December 2012 * Regular Submission (Stage 2): 14 January 2013 * Notification: 11 February 2013 * Final versions due: 4 March 2013 * Symposium: 2-5 April 2013 (days to be fixed) PROGRAMME COMMITTEE (to be populated with further domain experts) 1. Rob Arthan, Lemma 1, Reading, UK 2. James Davenport, University of Bath, UK 3. Michael Grüninger, University of Toronto, Canada 4. Manfred Kerber, University of Birmingham, UK (co-chair) 5. Michael Kohlhase, Jacobs University Bremen, Germany 6. Christoph Lange, University of Birmingham, UK (co-chair) 7. Till Mossakowski, University of Bremen, Germany 8. Colin Rowat, University of Birmingham, UK (co-chair) 9. Makarius Wenzel, University of Paris Sud, France 10. Wolfgang Windsteiger, RISC / JKU Linz, Austria COMMENTS/QUESTIONS/ENQUIRIES to be sent to DoForm2013&lt; at &gt;easychair.org </pre> Christoph LANGE 2012-10-17T22:47:57 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/170 <pre>International Symposium on Biomedical Data Infrastructure (BDI 2013) 30 - 31 January 2013 Kuala Lumpur, Malaysia http://umconference.um.edu.my/BDI2013 Proceedings to be published by Springer Due to the emerging demands of huge amounts of biomedical data, new and improved data management capabilities are required for supporting a wide range of applications. Current Biomedical Databases are independently administered in geographically distinct locations, lending them almost ideally to adoption of intelligent data management approaches. As a result next generation of information infrastructure and data integration capabilities are needed to ensure increasing infrastructure agility required for high-throughput biomedical research. The workshop will focus on research issues, problems and opportunities in Biomedical Data Infrastructure. Topics of Interest are: * Big Biomedical Data and its Management * Biomedical Data integration and Interoperability * Next Generation Sequencing Data * Biomedical Image Analysis * Medical Informatics and Translational Bioinformatics * Biomedical Ontologies * Semantic Web Tools and Techniques for Biomedicine * Web 2.0 and Web 3.0 Applications in Biomedicine * Novel architectural models for HPC and cloud computing in Biomedicine * New parallel / concurrent programming models for High Performance Biomedical Applications in Cloud * Biomedical Data Cloud * Interoperability between different Utility Computing Platforms used for Biomedicine * Performance monitoring for biomedical applications in HPC and Cloud * Biomedical Infrastructure as a Service * Biomedical Platforms as a Service * Biomedical Software as a Service * Scientific workflows in bioinformatics and biomedicine * Data Mining in Biomedicine * Computational Systems Biology Submission Guidelines: We welcome original submissions that have not been published and that are not under review by another conference or journal. Papers should not exceed 15 pages excluding references in Springer format. Paper should be submitted through Easy Chair Online Submission System following instructions on the website (http://umconference.um.edu.my/BDI2013). All submissions will be evaluated on their originality, technical soundness, significance, presentation, and interest to the symposium attendees. Submission implies the willingness of at least one of the authors to register and present the work associated with the paper submitted. All submitted papers will be reviewed by symposium's technical program committee. All accepted papers of registered authors will be included in the proceedings published by Springer. All accepted papers will be required to submit a Springer Copyright Form. Important Dates: Paper submission: 20 November 2012 Notifications sent to authors: 10 December 2012 Camera-ready papers due: 24 December 2012 Registration due: 10 January 2013 Conference: 30 - 31 January 2013 Organizing Chairs: Dr. Amandeep S. Sidhu (Curtin Sarawak Malaysia, Malaysia) Dr. Sarinder Kaur (University of Malaya, Malaysia) Steering Committee: Dr. Dickson Lukose (MIMOS, Malaysia) Dr. Kanagasabai Rajaraman (Institute for Infocomm Research, Singapore) Prof. Dr. Meena Kishore Sakharkar (University of Tsukuba, Japan) Prof. Dr. Jake Chen (Indiana University-Purdue University Indianapolis, USA) Prof. Dr. Xiaohua Tony Hu (Drexel University, USA) Prof. Dr. Jason Tsong-Li Wang (New Jersey Institute of Technology, USA) Prof. Dr. Carolyn McGregor (Health Informatics Research, Canada) Please contact BDI 2013 Secretariat through email bdi&lt; at &gt;biomap.org for any queries. </pre> Amandeep Sidhu 2012-10-17T05:37:03 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/169 <pre>The Interactive Information Access group at CWI has a vacancy for a 2 year postdoc position in interactive access to automatically linked video. The candidate is expected to carry out research on conveying to the user the trustworthiness of automatically generated, but imperfect, links between video and other media. The research will take place in the context of the EU FP7 project LinkedTV (http://www.linkedtv.eu/). Partners in the project include the German broadcaster Rundfunk Berlin-Brandenburg and the Dutch audiovisual archive institute Sound &amp; Vision (Beeld en Geluid). Project partners automatically detect objects in the video, and, from these, provide links to related information in the same video sources or other web-based information sources. The role of this postdoc position is to investigate how linked resources can be used in combination with the professionally created video broadcasts to enhance the user's viewing experience. The candidate will be expected to liaise with partners in other workpackages in the project, specifically on creating candidate links among concepts related to the detected video objects and on providing a personalised set of links for the end-user. The research is expected to lead to publications in top conferences and journals. Other current projects in the group are: * EU FP7 project Fish4Knowlegde http://fish4knowledge.eu * 2 national projects within the COMMIT program: SEALINCMedia and Infinity * national NWO CATCH project WebART: Web Archive Retrieval Tools Applications should be submitted before 1st December 2012. For more information see http://www.cwi.nl/jobs/postdoc-in-interactive-access-automatically-linked-video </pre> Lynda Hardman 2012-10-15T18:08:43 http://comments.gmane.org/gmane.org.w3c.public-semweb-ui/168 <pre>LinkedIn ------------ I'd like to add you to my professional network on LinkedIn. - alexander alexander garcia Associate Scholar in Research at Florida State University Germany Confirm that you know alexander garcia: https://www.linkedin.com/e/gcoj5a-h63vpxqv-5/isd/8298850178/Kjg_KLWR/?hs=false&amp;tok=36cWMkSGX1b5o1 -- You are receiving Invitation to Connect emails. Click to unsubscribe: http://www.linkedin.com/e/gcoj5a-h63vpxqv-5/hIeSRHNhO0aJIHqVLddbQkZnC37WmFVg9kQ8/goo/public-semweb-ui%40w3%2Eorg/20061/I2792310671_1/?hs=false&amp;tok=0hhZaWcdv1b5o1 (c) 2012 LinkedIn Corporation. 2029 Stierlin Ct, Mountain View, CA 94043, USA. </pre> alexander garcia 2012-08-20T18:09:20 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.org.w3c.public-semweb-ui