Dear all,
this is to remind you that the deadline for submitting an abstract for
oral communications at next NETTAB 2013 workshop is set on next July 5,
2013.
Take you decision now and prepare to submit in time your most recent
research on semantic, social, and mobile tools and applications in Life
Sciences.
I'm looking forward to meeting you in Venice.
Paolo Romano
====
LAST CALL FOR ABSTRACTS FOR ORAL COMMUNICATIONS
NETTAB 2013 Workshop on
"Semantic, Social, and Mobile Applications for Bioinformatics and
Biomedical Laboratories"
October 16-18, 2013, Lido of Venice, Italy
http://www.nettab.org/2013/
NETTAB 2013 will explore mobile, social, and semantic solutions for
bioinformatics and laboratory informatics.
A savvy combination of these technologies could enhance the research
outcome of life scientists and simplify workflows in biomedical
laboratories.
KEYNOTE SPEAKERS
+ Barend Mons, Leiden University Medical Center, and Netherlands
Bioinformatics Center, The Netherlands
+ Antony Williams, Royal Society of Chemistry, USA
+ Ross D. King, University of Manchester, Manchester, United Kingdom
TUTORIAL PRESENTERS (confirmed only, more will be announced soon)
+ Andrea Splendiani, IntelliLeaf, United Kingdom, and Digital Enterprise
Research Institute, Ireland
+ Dominique Hazael-Massieux, W3C/ERCIM, Sophia Antipolis, Biot, France
+ Alex Clark, Molecular Materials Informatics, Inc
VENUE
The workshop will be held in the Congress Center “Palazzo ex Casino del
Lido” in Lido of Venice.
DEADLINES
• July 5, 2013: Abstract submission deadline for Oral communications
• July 31, 2013: Abstract submission deadline for Posters
• September 13, 2013: Early registration deadline
TOPICS
We are looking for abstracts on all aspects of the focus theme,
including issues, methods, algorithms, and technologies for the design
and development of tools and platforms able to provide Semantic, Social,
and Mobile (SeSaMo) applications supporting bioinformatics and the
activities carried out in a biomedical laboratory.
An extended list of topics is available at
http://www.nettab.org/2013/call.php .
INSTRUCTIONS
We welcome structured abstracts for oral communications,
industrial-technological communications, and posters.
Abstracts for oral communications and Industrial-technological
communications should be between 3 and 4 pages, including no more than
TWO tables / figures.
Abstracts for posters should be between 2 and 3 pages, including no more
than ONE table or figure.
All abstracts should include the following sections: Motivation and
Objectives, Methods, Results and Discussion, Acknowledgements, References.
Accepted abstracts will be included in the Proceedings of the workshop,
that will be published in a Supplement of EMBnet.journal.
Full papers from abstracts presented at NETTAB 2013 will be published in
a peer-review, indexed, international journal that will soon be announced.
SUBMISSION
Structured abstracts must be submitted at
http://conference.embnet.org/index.php/NETTAB/ .
Authors must first register at
http://conference.embnet.org/index.php/NETTAB/NETTAB2013/user/account .
The abstract must be prepared by using the template
http://www.nettab.org/2013/docs/Nettab_abstractTemplate.doc .
Full instructions for the preparation of the abstract are available at
http://conference.embnet.org/index.php/NETTAB/NETTAB2013/about/submissions#…
.
Hi wikiresearchers! I'm co-editing a special grad student issue of the
Journal of Broadcasting and Electronic Media, with the theme of "Old
Against New, or a Coming of Age? Rethinking Broadcasting in an Era of
Electronic Media." I think that there are a lot of topics about wikis and
Wikipedia that would fit into this theme, and I also know that there are a
lot of grad students on this list! We are encouraging collaborative
submissions, so feel free to team up with other researchers on this list.
If you have any questions, feel free to e-mail me directly.
Best,
Stuart
---
http://socialmediacollective.org/2013/06/07/old-against-new-or-a-coming-of-…
*Call for Papers*
Journal of Broadcasting and Electronic Media Special Issue
*Old Against New, or a Coming of Age? Rethinking Broadcasting in an Era of
Electronic Media*
In this special issue edited and authored by graduate students, JOBEM is
calling on emerging scholars to redefine “broadcasting” and explore the
relevance of this term in an age of electronic media. We believe that
graduate students are uniquely situated to change the conversation around
new and old media, rethinking both what it means for media to come of age
and how to study such a phenomenon.
*Special Issue Coordinating Editor-in-Chief*
Stacy Blasiola (University of Illinois at Chicago, sblasi2(a)uic.edu)
*Special Issue Guest Editors*
R. Stuart Geiger (University of California, Berkeley)
Airi Lampinen(Helsinki Institute for Information Technology HIIT &
University of Helsinki)
* **Deadline for Extended Abstracts:* August 19, 2013
*Full Paper Invitation:* September 22, 2013
*Deadline for Full Papers:* January 6, 2014
*Final Decisions:* May 6, 2014
*Contact:* JOBEMgradIssue(a)gmail.com
As guest editors for the Journal of Broadcasting and Electronic Media, we
know that the term “broadcasting” certainly has the connotations of a
rapidly-disappearing era. There is a strong temptation to sharply
distinguish between old and new media, and “broadcasting” (and even
“electronic”) is a term that is now often associated with the old. We are
constantly told that we are in the midst of a digital/social media
revolution that will make the unidirectional, mass communication model
obsolete. Yet a cursory glance into either the history of media technology
or the contemporary use of new media platforms complicates these dominant
narratives. Do we need new terms to help us think about what it means for
new media to come of age, or do we need to reappropriate old terms?
Do ideas about new media revolutions help us better understand the
complicated relationships between radio and early television programming,
telegraph networks and emerging telephone infrastructure, or musicians and
the various shifts in the recording industry? Do notions of social media
disruptions help us understand how participation takes place in sites like
Wikipedia, reddit, or YouTube, or how these sites are situated in relation
to more established news and media industries? What is the relevance of
“old media” terms such as “broadcasting” for studying today’s social media
platforms, such as Facebook, Twitter, tumblr, and Pinterest? We call on
graduate students to start a new thread in the conversation about what it
means for media to be old and new. For us, rethinking “broadcasting” in an
era of electronic media is to neither hastily disregard the legacy of these
terms nor cling to them too rigidly.
As graduate students, we feel a curious resonance with the contradictory
expectations surrounding new media forms. We are called to be apprentices,
learning to participate in a longstanding and well-established institution;
yet at the same time we are called to be radical revolutionaries,
disrupting old ways of thinking. Graduate students, like many new media
services and platforms, face many anxieties about what it means to come of
age in a landscape already filled with towering figures. Many of the issues
we face are longstanding problems that every generation before us also
confronted, but we also face many concerns that are unique to our current
historical situation.
As emerging scholars, we believe that graduate students are uniquely
situated to change the conversation around new and old media, rethinking
both what it means for media to come of age and how to study such a
phenomenon. In this special issue, we call on graduate students to redefine
what “broadcasting” means and explore the relevance of this term in an age
of electronic media. We intentionally leave this open to interpretation. We
seek papers that will theoretically and empirically advance our
understanding of the diverse array of practices, content, people,
technologies, industries, and policies that collectively constitute our
contemporary media ecology.
We call for papers from a wide variety of disciplines and interdisciplinary
fields, recognizing that scholarship can take a variety of different forms.
We invite authors to:
-
propose novel theoretical or methodological frameworks to the study of
media and broadcasting
-
critically review and synthesize existing academic literatures about
media and broadcasting
-
discursively analyze various rhetorics and narratives around/in media
and broadcasting
-
document case studies about historical and/or contemporary media and
broadcasting forms
-
relate ethnographic, qualitative, or quantitative studies about the role
of media and broadcasting in various social contexts
-
contact us about any other paper forms, or if you are unsure if your
paper is suitable for this special issue
* *
*Deadlines and Submission Instructions*
Timeline
Deadline for Extended Abstracts: August 19, 2013
Invitations to Submit Full Papers: September 22, 2013
Deadline to Submit Full Papers: January 6, 2014
Final Decisions to Authors: May 6, 2014
Final Revisions for Full Papers: May 26, 2014
Publication of the Special Issue: September 2014
All submissions must be graduate student driven, meaning that the primary
authors should be enrolled as graduate students (at least) at the time of
submitting extended abstracts. Although collaborative work with
non-graduate students is acceptable, we seek papers that are primarily
conceptualized and authored by graduate students. Collaborative work with
other students is highly encouraged. Importantly, the corresponding, lead
author–who will be responsible for the paper and interactions with the
editors–must be a graduate student.
Because we anticipate a large number of submissions, we will not initially
accept full papers for review. Interested authors must first send a
proposal of their paper in an extended abstract format of 600-800 words,
not including references. The extended abstract should clearly introduce
and outline the paper, giving reviewers from a wide variety of academic
fields enough context and detail to evaluate its feasibility as a full
paper, intellectual merit, relevance to the special issue theme, and
broader impacts. As the research for these papers may not yet be complete,
we do not expect that extended abstracts will necessarily include all of
the paper’s findings or conclusions. However, the extended abstracts should
outline what kinds of findings or conclusions the authors expect to present
in the final paper. Specifically, extended abstracts should include:
-
a title
-
a description of the paper’s core topic, case, problem, and/or argument
-
the methodological approach, theoretical background, and/or disciplinary
field
-
the paper’s relevance to related academic literatures
-
expected findings or conclusions
-
expected contributions to the study of media
Extended abstracts must be mailed as an attachment to
JOBEMgradIssue(a)gmail.com and must be sent in .rtf, .doc or .docx format. We
cannot accept .pdf submissions.
Authors whose abstracts are accepted will be invited to submit a full paper
of no more than 7,500 words (including references). Invited full papers
will be subject to a formal peer review process, and papers will only be
published if they pass JOBEM’s standard reviewing process. Authors must
adhere to a strict schedule for submission and revisions. Authors whose
manuscripts do not get accepted to the special issue are encouraged to
consider submitting revised papers to JOBEM through the normal submission
process.
All submissions must adhere to the formatting guidelines for Journal of
Broadcasting and Electronic Media. Manuscripts must adhere to APA style
format. Complete submission guidelines can be accessed at
http://www.beaweb.org/jobem-guidelines.htm.Full papers must be submitted
online at: http://mc.manuscriptcentral.com/hbem (select “Special Issue:
Grad Issue” as a manuscript type).
WikiSym, the 9th International Symposium on Wikis and Open Collaboration
OpenSym, the 2013 International Symposium on Open Collaboration
August 5-7, 2013 | Hong Kong, China
Registration is open: http://wikisym.org/wsos2013/participating/registration
CONFERENCE PROGRAM
The conference program is led by three renowned keynote speakers: Phil Bourne,
founding editor of PLOS, will talk about the era of open, Pockey Lam, of the
Digital Freedom Foundation, will talk about open education, and Dario
Taraborelli, of the Wikimedia Foundation, will talk about current and future
Wikipedia research.
The keynotes are enhanced by a strong research track on the different aspects
of open collaboration, namely wikis, Wikipedia, open source, and open access.
Open space, community events and socializing during coffee breaks and
dedicated social events like the welcome reception and the conference dinner
complement and enhance the WikiSym + OpenSym 2013 experience. An industry
tutorial track ensures a healthy mixture of participants.
Come join us in Hong Kong, one of the most vibrant cities on this planet, and
learn how and why open collaboration is shaping the future!
Learn more about the conference program: http://wikisym.org/wsos2013/program
ABOUT THE CONFERENCE
The 2013 Joint International Symposium on Open Collaboration (WikiSym +
OpenSym 2013) is the premier conference on open collaboration research,
including wikis and social media, Wikipedia, free, libre, and open source
software, open access, open data and open government research. WikiSym is in
its 9th year and will be complemented by OpenSym, a new conference on open
collaboration research and an adjunct to the successful WikiSym conference series.
WikiSym + OpenSym 2013 is the first conference to bring together the different
strands of open collaboration research, seeking to create synergies and
inspire new research between computer scientists, social scientists, legal
scholars, and everyone interested in understanding open collaboration and how
it is changing the world.
WikiSym + OpenSym 2013 will be held in Hong Kong, China, on August 5-7, 2013.
ACM In-cooperation with SIGWEB and SIGSOFT.
Sponsored by the Wikimedia Foundation, Google, Cyberport, and TJEF.
--
Website: http://dirkriehle.com - Twitter: @dirkriehle
Ph (DE): +49-157-8153-4150 - Ph (US): +1-650-450-8550
CICM 2013 - Conferences on Intelligent Computer Mathematics
July 8-12, 2013 at University of Bath, Bath, UK
http://cicm-conference.org/2013/cicm.php
Call for participation
Registration deadline: 23 June 2013
-----------------------------------------------------------------------
Invited talks will be given 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
The global programme of the conference, tracks, and workshops are
available via:
http://cicm-conference.org/2013/cicm.php?event=&menu=detailed-programme
Accepted Papers:
- Pedro Quaresma, Vanda Santos and Seifeddine Bouallegue. The Web
Geometry Laboratory Project
- Russell Bradford, James H. Davenport, Matthew England and David
Wilson. Optimising Problem Formulation for Cylindrical Algebraic
Decomposition
- Matthew England, Russell Bradford, James H. Davenport and David
Wilson. Understanding branch cuts of expressions
- Christoph Lange, Colin Rowat and Manfred Kerber. The ForMaRE Project
- Formal Mathematical Reasoning in Economics
- Cezary Kaliszyk and Josef Urban. Automated Reasoning Service for HOL
Light Corpora
- Jónathan Heras and Ekaterina Komendantskaya. ML4PG: proof-mining in
Coq
- Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio and Rubén
Sáenz. Verifying a platform for digital imaging: a multi-tool
strategy
- Dmitry Chebukov, Alexandr Izaak, Olga Misurina, Yury Pupyrev and
Alexey Zhizhchenko. Math-Net.Ru as a Digital Archive of the Russian
Mathematical Knowledge
- Chau Do and Eric Pauwels. Using MathML to Represent Units of
Measurement for Improved Ontology Alignment
- Miguel A. Abanades and Francisco Botana. A dynamic symbolic geometry
environment for the computation of geometric loci and envelopes
- Shahab Kamali and Frank Tompa. Structural Similarity Search For
Mathematics Retrieval
- Rui Hu and Stephen Watt. Determining Points on Handwritten
Mathematical Symbols
- Rein Prank. Software for evaluating relevance of steps in algebraic
transformations
- Eno Tonisson. When Students Compare Their Own Answers with the
Answers of a Computer Algebra System
- Carst Tankink, Cezary Kaliszyk, Josef Urban and Herman
Geuvers. Formal Mathematics on Display: A Wiki for Flyspeck
- Michael Kohlhase, Felix Mance and Florian Rabe. A Universal Machine
for Biform Theory Graphs
- Florian Rabe. The MMT API: A Generic MKM System
- William Farmer. The Formalization of Syntax-Based Mathematical
Algorithms Using Quotation and Evaluation
- Paul Libbrecht. Escaping the Trap of too Precise Topic Queries
- Bruno Barras, Hugo Herbelin, Lourdes Del Carmen González Huesca,
Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel and Burkhart
Wolff. Pervasive Parallelism in Highly-Trustable Interactive Theorem
Proving Systems
- Christoph Lange, Marco Caminati, Manfred Kerber, Till Mossakowski,
Colin Rowat, Makarius Wenzel and Wolfgang Windsteiger. A Qualitative
Comparison of the Suitability of Four Theorem Provers for Basic
Auction Theory
- Deyan Ginev and Bruce Miller. LaTeXML 2012 - A Year of LaTeXML
- Xavier Allamigeon, Stéphane Gaubert, Victor Magron and Benjamin
Werner. Certification of Bounds of Non-linear Functions: the
Templates Method
- Bruce Miller. 3 Years of DLMF on the Web; Math & Search
- Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic and Akiko
Aizawa. A hybrid approach for semantic enrichment of MathML
mathematical expressions
- Steven Obua, Mark Adams and David Aspinall. Capturing Hiproofs in
HOL Light
- Ulf Schöneberg and Wolfram Sperber. Text analysis in mathematics -
the DeLiVerMATH project
- Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin
Greuel and Wolfram Sperber. swMATH - a new service for mathematics
software
- Christoph Lüth and Martin Ring. A Web Interface for Isabelle: The
Next Generation
- Michal Růžička, Petr Sojka and Vlastimil Krejčíř. Towards
Machine-Actionable Modules of a Digital Mathematics Library
Registration is online via
http://cicm-conference.org/2013/cicm.php?event=&menu=registration
===============
CALL FOR PAPERS
KNOWLEDGE AND EXPERIENCE MANAGEMENT (FGWM-2013)
Track of LWA 2013 - http://www.minf.uni-bamberg.de/lwa2013/
===============
The annual workshop "Knowledge and Experience Management" is organized
by the Special Interest Group on Knowledge Management of the German
Informatics society (GI), that aims at enabling and promoting the
exchange of innovative ideas and practical applications in the field of
knowledge and experience management.
IMPORTANT DATES
- Submission of papers: July 1, 2013
- Notification of acceptance: July 29, 2013
- Camera-ready copy: August 19, 2013
- Workshop FGWM@LWA: October 7-9, 2013
All submissions of current research from the following topics and
adjacent areas are welcome, in particular, work in progress
contributions. The latter can serve as a basis for interesting
discussions among the participants and provide young researchers with
feedback. We also invite researchers to contribute to the workshop by
resubmitting conference papers and share their ideas with the research
community.
TOPICS OF INTEREST
- Experience & knowledge search and knowledge integration approaches:
case-based reasoning, logic-based approaches, text-based approaches,
semantic portals/wikis/blogs, Web 2.0, etc.
- Applications of knowledge and experience management (corporate
memories, e-commerce, design, tutoring/e-learning, e-government,
software engineering, robotics, medicine, etc.)
- Big Data and Knowledge Management (KM)
- (Semantic) Web Services for KM
- Agile approaches within the KM domain
- Agent-based & Peer-to-Peer KM
- Just-in-time retrieval and just-in-time knowledge capturing
- Knowledge representation (ontologies, similarity, retrieval, adaptive
knowledge, etc.)
- Support of authoring and maintenance processes (change management,
requirements tracing, (distributed) version control, etc.)
- Evaluation of KM systems
- Practical experiences ("lessons learned") with IT aided KM approaches
- Integration of KM and business processes
- Introspection and explanation capabilities of KM systems
- Application of Linked Data
- Combination of KM with other systems and concepts (e.g. Decision
Support, Business Intelligence, etc.)
WORKSHOP CHAIRS
- Dr. Andrea Kohlhase
- Prof. Dr.-Ing. Bodo Rieger
More detailed information is available on the following website:
http://www.minf.uni-bamberg.de/lwa2013/cfp/fgwm/
If you have any questions regarding the organization of the workshop,
please don't hesitate to contact the organizer Axel Benjamins
(abenjamins(a)uos.de).
See you in Bamberg! :-)
--
Christoph Lange, School of Computer Science, University of Birmingham
http://cs.bham.ac.uk/~langec/, Skype duke4701
→ Intelligent Computer Mathematics, 8–12 July, Bath, UK.
Work-in-progress deadline 7 June; http://cicm-conference.org/2013/
→ OpenMath Workshop, 10 July, Bath, UK.
Submission deadline 7 June; http://cicm-conference.org/2013/openmath/
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
Final Call for Work-in-Progress Papers
----------------------------------------------------------------------
* Final call for Work-In-Progress Papers on any CICM topic
* Submissions 5-10 pages, for poster/talk presentations
* Deadline 7th June, notification 20th June
* 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)
* Accepted regular papers are online on the website
* 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 is organised by the General Program Chair
Jacques Carette.
----------------------------------------------------------------------
Important dates
----------------------------------------------------------------------
WiP paper submission deadline : 7 June 2013
WiP paper Notification of acceptance : 20 June 2013
WiP Camera ready copies due : 5 July 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
----------------------------------------------------------------------
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.
Accepted work-in-progress papers will be presented at the conference
as short teaser talks and as posters. The work-in-progress
proceedings will be published online with CEUR-WS.org.
WiP 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(a)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
----------------------------------------------------------------------