From: Michael Kohlhase <m.kohlhase@iu-bremen.de>
To: eapls@jiscmail.ac.uk, asl@vassar.edu, rewriting@ens-lyon.fr,
mizar-forum@mizar.uwb.edu.pl, projects-mkm-ig@iu-bremen.de,
omdoc@mathweb.org, om-announce@openmath.org,
calculemus-ig@ags.uni-sb.de, ftp-community@logic.at,
kgs@logic.tuwien.ac.at, theorem-provers@ai.mit.edu,
qed@mcs.anl.gov, coq-club@pauillac.inria.fr,
compulognet-parimp@dia.fi.upm.es, formal-methods@cs.uidaho.edu,
info-hol@cs.uidaho.edu, isabelle-users@cl.cam.ac.uk,
mizar-forum@mizar.uwb.edu.pl, pvs@csl.sri.com,
acl2@cs.utexas.edu, nqthm-users@cs.utexas.edu,
nuprl@cs.cornell.edu, nuprllist@cs.cornell.edu,
CADEinc@cs.albany.edu,
deducktion@intellektik.informatik.th-darmstadt.de,
bra-types@cs.chalmers.se, rewriting@ens-lyon.fr,
kgs@logic.tuwien.ac.at, ccl@ps.uni-sb.de, clp@comp.nus.edu.sg,
complog@cs.nmsu.edu, comlab@comlab.ox.ac.uk, facs@lboro.ac.uk,
kbcsl@uni-paderborn.de, ki-inf@uni-koblenz.de, kr@kr.org,
lfcs-interest@dcs.ed.ac.uk, stp@dcs.gla.ac.uk,
types@cis.upenn.edu, csp@carlit.toulouse.inra.fr,
aiia@di.unito.it, members@fmeurope.org, siksleden@cs.ruu.nl,
om@openmath.org, seworld@cs.colorado.edu,
SymbolicNet@mcs.kent.edu, vdm-forum@mailbase.ac.uk,
wollic@di.ufpe.br, mapledev@maplesoft.com, fom@cs.nyu.edu,
caml-list@inria.fr, fg121@sunjessen46.informatik.tu-muenchen.de,
ftp@logic.at, ed@mcs.anl.gov, www-math@w3.org,
aisb@cogs.sussex.ac.uk, alp@doc.ic.ac.uk,
compulog-deduction@cs.bham.ac.uk, dreamers@dai.ed.ac.uk,
lprolog@cs.umn.edu, vki-list@dfki.de, zforum@prg.ox.ac.uk
Subject: MKM 2005 (Mathematical Knowledge Management) first Call for Papers
Date: Wed, 23 Feb 2005 17:50:40 +0100 [thread overview]
Message-ID: <421CB460.5000000@iu-bremen.de> (raw)
Please post - apologies for multiple copies.
============================================
*** CALL FOR WORKSHOP PROPOSALS ***
MKM 2005
Fourth International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT
http://www.mkm-ig.org/meetings/mkm05/
15. - 16. July 2005 (Workshops: 14. July)
Bremen --- Germany
Mathematical Knowledge Management is a new field in the intersection
of mathematics and computer science.
We need new techniques for managing the enormous volume of
mathematical knowledge available in current mathematical sources and
making it available through the new developments in information
technology. A list of topics (to be understood as specialized to the
realm of mathematical information) comprises but is not restricted to:
Knowledge representation Repositories of formalized mathematics
Metadata Deduction systems
Data mining Computer Algebra Systems
Digital libraries Authoring languages and tools
Searching and retrieving Interactive learning
Languages of mathematics Web presentation of mathematics
Math assistants MathML- and XML-based standards
Workshops have a key role in the MKM conference. They provide an ideal
platform for the presentation of preliminary work or novel ideas in a
less formal way than the conference itself. They also are an
opportunity to disseminate work in progress, particularly for new
researchers. Workshops also provide a venue for presenting more
specialized topics and opportunities for more intensive discussions,
exchange of ideas, and project collaboration.
Workshops will take place at the conference site (International
University Bremen) on the day before the main conference. The
workshop organizers are responsible for the program, all local
arrangements will be organized by the conference.
To propose a workshop, please send an e-mail with title and abstract
to m.kohlhase@iu-bremen.de
Michael Kohlhase
--
-------------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62
Professor for Computer Science Campus Ring 12,
School of Engineering & Science D-28758 Bremen, Germany
International University Bremen tel/fax: +49 421 200-3140/-493140
http://www.faculty.iu-bremen.de/mkohlhase <m.kohlhase@iu-bremen.de>
--------------------------------------------------------------------------
next reply other threads:[~2005-02-23 16:46 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-02-23 16:50 Michael Kohlhase [this message]
-- strict thread matches above, loose matches on Subject: below --
2005-02-07 8:40 Michael Kohlhase
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=421CB460.5000000@iu-bremen.de \
--to=m.kohlhase@iu-bremen.de \
--cc=CADEinc@cs.albany.edu \
--cc=SymbolicNet@mcs.kent.edu \
--cc=acl2@cs.utexas.edu \
--cc=aiia@di.unito.it \
--cc=aisb@cogs.sussex.ac.uk \
--cc=alp@doc.ic.ac.uk \
--cc=asl@vassar.edu \
--cc=bra-types@cs.chalmers.se \
--cc=calculemus-ig@ags.uni-sb.de \
--cc=caml-list@inria.fr \
--cc=ccl@ps.uni-sb.de \
--cc=clp@comp.nus.edu.sg \
--cc=comlab@comlab.ox.ac.uk \
--cc=complog@cs.nmsu.edu \
--cc=compulog-deduction@cs.bham.ac.uk \
--cc=compulognet-parimp@dia.fi.upm.es \
--cc=coq-club@pauillac.inria.fr \
--cc=csp@carlit.toulouse.inra.fr \
--cc=deducktion@intellektik.informatik.th-darmstadt.de \
--cc=dreamers@dai.ed.ac.uk \
--cc=eapls@jiscmail.ac.uk \
--cc=ed@mcs.anl.gov \
--cc=facs@lboro.ac.uk \
--cc=fg121@sunjessen46.informatik.tu-muenchen.de \
--cc=fom@cs.nyu.edu \
--cc=formal-methods@cs.uidaho.edu \
--cc=ftp-community@logic.at \
--cc=ftp@logic.at \
--cc=info-hol@cs.uidaho.edu \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=kbcsl@uni-paderborn.de \
--cc=kgs@logic.tuwien.ac.at \
--cc=ki-inf@uni-koblenz.de \
--cc=kr@kr.org \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=lprolog@cs.umn.edu \
--cc=mapledev@maplesoft.com \
--cc=members@fmeurope.org \
--cc=mizar-forum@mizar.uwb.edu.pl \
--cc=nqthm-users@cs.utexas.edu \
--cc=nuprl@cs.cornell.edu \
--cc=nuprllist@cs.cornell.edu \
--cc=om-announce@openmath.org \
--cc=om@openmath.org \
--cc=omdoc@mathweb.org \
--cc=projects-mkm-ig@iu-bremen.de \
--cc=pvs@csl.sri.com \
--cc=qed@mcs.anl.gov \
--cc=rewriting@ens-lyon.fr \
--cc=seworld@cs.colorado.edu \
--cc=siksleden@cs.ruu.nl \
--cc=stp@dcs.gla.ac.uk \
--cc=theorem-provers@ai.mit.edu \
--cc=types@cis.upenn.edu \
--cc=vdm-forum@mailbase.ac.uk \
--cc=vki-list@dfki.de \
--cc=wollic@di.ufpe.br \
--cc=www-math@w3.org \
--cc=zforum@prg.ox.ac.uk \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).