Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: cordier marie-odile <Marie-Odile.Cordier@irisa.fr>
To: APPIAr@fct.unl.pt, CADEinc@cs.albany.edu, Colibri@let.uu.nl,
	ml@ics.uci.edu, mlnet@swi.psy.uva.nl, PetriNets@daimi.au.dk,
	THEORYNT@listserv.nodak.edu, aal@anu.edu.au, acclaim@sics.se,
	acl2@cs.utexas.edu, acl@cs.columbia.edu, agents@cs.umbc.edu,
	ai-ed@sun.com, aiia@di.unito.it, ail-l@austin.onu.edu,
	aisb@cogs.sussex.ac.uk,
	alp-list@intellektik.informatik.th-darmstadt.de,
	amast@cs.utwente.nl, announce@sigart.acm.org, apng-all@apng.org,
	atp_alias@cs.jcu.edu.au, benelog@cs.kuleuven.ac.be,
	calligramme@loria.fr, caml-list@pauillac.inria.fr,
	categories@mta.ca, cclp.x@parc.xerox.com, ccp@sics.se,
	cg@cs.umn.edu, ckbs-int@cs.keele.ac.uk, clp@cs.cmu.edu,
	clp@cis.ohio-state.edu, clp@iscs.nus.edu.sg, collinsp@scot.ac.uk,
	comprox@doc.ic.ac.uk, concurrency@cwi.nl, csl@dbai.tuwien.ac.at,
	csp-list@cert.fr, csp@carlit.toulouse.inra.fr, cup@icot.or.jp,
	dbworld@cs.wisc.edu,
	deduktion@intellektik.informatik.th-darmstadt.de,
	digest@aiva.ed.ac.uk, distributed-ai@mailbase.ac.uk,
	dl@dl-kr.cs.rmit.edu.au, dma-list@nic.surfnet.nl,
	eacsl@dimi.uniud.it, ealps@mailbase.ac.uk, eatcs-it@cs.unibo.it,
	edu.au@cs.ruu.nl, elsnet-list@let.ruu.nl, fireworks@cs.auc.dk,
	flprog@informatik.uni-muenchen.de, folli@fwi.uva.nl,
	formal-methods@cs.uidaho.edu, fr-sem@frmug.org, frocos@loria.fr,
	fun@cs.unibo.it, glp-list@inf.tu-dresden.de, glp@first.gmd.de,
	gragra@i3.informatik.rwth-aachen.de, gulp@di.unipi.it,
	gun@src.ncu.edu.tw, haskell@dcs.gla.ac.uk,
	hpsg-l@lists.stanford.edu, iclppubl@cs.kuleuven.ac.be,
	idss@socs.uts.edu.au, igpl@doc.ic.ac.uk, ikbs@caad.ed.ac.uk,
	ikbsbb@inf.rl.ac.uk, info-elra@calva.net, isworld@irlearn.ucd.ie,
	kgs@dbai.tuwien.ac.at, kr-postings@kr.org,
	lfcs-interest@dcs.ed.ac.uk, lfg@lists.stanford.edu,
	lics-email@cs.indiana.edu, lics@research.att.com,
	lics@research.bell-labs.com, life-users@cs.sfu.ca,
	linear@cs.stanford.edu, logic-ml@logic.jaist.ac.jp,
	logic@cs.cornell.edu, logic@cs.stanford.edu,
	logic@theory.lcs.mit.edu, lp-internet@doc.ic.ac.uk,
	lpnmr@cs.engr.uky.edu, lprolog-list@cis.upenn.edu,
	maamaw@cosmos.imag.fr, nl-kr@cs.rpi.edu, nlcl@cogs.susx.ac.uk,
	nlp-ia@bosoleil.ci.umoncton.ca, oz-users@dfki.de,
	papm@dcs.ed.ac.uk, practical-applications@pap.com,
	prog-logique@irisa.fr, proliaroux@lan10.ec-nantes.fr,
	prolog-pe@bach.ces.cwru.edu, prolog-vendors@sics.se,
	prolog@mch.sni.de, pvs@csl.sri.com, quintus-users@sics.se,
	rewriting@ens-lyon.fr, seworld@cs.colorado.edu,
	sicstus-users@sics.se, sigparse-list@cs.cmu.edu,
	silfs_ia@dist.unige.it, theorem-provers@ai.mit.edu,
	types@cis.upenn.edu, wollic@di.ufpe.br, DAI-List@ece.sc.edu,
	ckbs-int@cs.keele.ac.uk, dl@dl-kr.cs.rmit.edu.au,
	compunode@dfki.de, cade@research.att.com, loginf@ira.uka.de,
	fg121@informatik.uni-ulm.de, infoagents@gmd.de,
	fg-db@informatik.uni-rostock.de, ecommerce-l@uni-giessen.de,
	mas-anwendungen@Wirtschaft.TU-Ilmenau.DE, i3world@tzi.de,
	agents-world@imag.fr, concurrency@cwi.nl, ir-l@listserv.ucop.edu,
	nobots@lists.stanford.edu, genetic-programming@cs.stanford.edu,
	kaw@swi.psy.uva.nl, agentnews@cs.umbc.edu,
	datamine-l@nautilus-sys.com, ontology@cs.umbc.edu,
	mobility@media.mit.edu, gps@kdnuggets.com, aida@irisa.fr,
	imalaia@laas.fr, monet-all-members@aber.ac.uk,
	qphysics@aber.ac.uk
Subject: ECAI2000 WORKSHOP PROPOSALS
Date: Tue, 12 Oct 1999 17:15:32 +0200	[thread overview]
Message-ID: <38035094.B1669B51@irisa.fr> (raw)



[We apologize for multiple copies]

CALL FOR WORKSHOP PROPOSALS -- Deadline 1 Nov 1999

The ECAI-2000 Organising Committee invites proposals for workshops to be
held in conjunction with the conference. The workshops will be held on
21-22 August 2000, immediately prior to the start of the main conference.

IMPORTANT DATES
 1 Nov 1999         Deadline for proposals
 1 Dec 1999         Notification of acceptance
15 Dec 1999         Deadline for workshop summaries
 7 Jan 2000           Publication of ECAI-2000 workshop programme
 15 June  2000      Camera-ready workshop notes and other information
21-22 Aug 2000  Workshops at ECAI-2000


Details on the submission procedure  can be found at the ECAI2000 Homepage :
                    http://www.ecai2000.hu-berlin.de/



==========================================================

                 Marie-Odile Cordier, ECAI-2000 Workshop Coordinator
                 IRISA
                 Campus universitaire de Beaulieu
                 35042 Rennes Cedex
                 France
                 ecai2000ws@irisa.fr








                 reply	other threads:[~1999-10-13  6:54 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

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=38035094.B1669B51@irisa.fr \
    --to=marie-odile.cordier@irisa.fr \
    --cc=APPIAr@fct.unl.pt \
    --cc=CADEinc@cs.albany.edu \
    --cc=Colibri@let.uu.nl \
    --cc=DAI-List@ece.sc.edu \
    --cc=PetriNets@daimi.au.dk \
    --cc=THEORYNT@listserv.nodak.edu \
    --cc=aal@anu.edu.au \
    --cc=acclaim@sics.se \
    --cc=acl2@cs.utexas.edu \
    --cc=acl@cs.columbia.edu \
    --cc=agentnews@cs.umbc.edu \
    --cc=agents-world@imag.fr \
    --cc=agents@cs.umbc.edu \
    --cc=ai-ed@sun.com \
    --cc=aida@irisa.fr \
    --cc=aiia@di.unito.it \
    --cc=ail-l@austin.onu.edu \
    --cc=aisb@cogs.sussex.ac.uk \
    --cc=alp-list@intellektik.informatik.th-darmstadt.de \
    --cc=amast@cs.utwente.nl \
    --cc=announce@sigart.acm.org \
    --cc=apng-all@apng.org \
    --cc=atp_alias@cs.jcu.edu.au \
    --cc=benelog@cs.kuleuven.ac.be \
    --cc=cade@research.att.com \
    --cc=calligramme@loria.fr \
    --cc=caml-list@pauillac.inria.fr \
    --cc=categories@mta.ca \
    --cc=cclp.x@parc.xerox.com \
    --cc=ccp@sics.se \
    --cc=cg@cs.umn.edu \
    --cc=ckbs-int@cs.keele.ac.uk \
    --cc=clp@cis.ohio-state.edu \
    --cc=clp@cs.cmu.edu \
    --cc=clp@iscs.nus.edu.sg \
    --cc=collinsp@scot.ac.uk \
    --cc=comprox@doc.ic.ac.uk \
    --cc=compunode@dfki.de \
    --cc=concurrency@cwi.nl \
    --cc=csl@dbai.tuwien.ac.at \
    --cc=csp-list@cert.fr \
    --cc=csp@carlit.toulouse.inra.fr \
    --cc=cup@icot.or.jp \
    --cc=datamine-l@nautilus-sys.com \
    --cc=dbworld@cs.wisc.edu \
    --cc=deduktion@intellektik.informatik.th-darmstadt.de \
    --cc=digest@aiva.ed.ac.uk \
    --cc=distributed-ai@mailbase.ac.uk \
    --cc=dl@dl-kr.cs.rmit.edu.au \
    --cc=dma-list@nic.surfnet.nl \
    --cc=eacsl@dimi.uniud.it \
    --cc=ealps@mailbase.ac.uk \
    --cc=eatcs-it@cs.unibo.it \
    --cc=ecommerce-l@uni-giessen.de \
    --cc=edu.au@cs.ruu.nl \
    --cc=elsnet-list@let.ruu.nl \
    --cc=fg-db@informatik.uni-rostock.de \
    --cc=fg121@informatik.uni-ulm.de \
    --cc=fireworks@cs.auc.dk \
    --cc=flprog@informatik.uni-muenchen.de \
    --cc=folli@fwi.uva.nl \
    --cc=formal-methods@cs.uidaho.edu \
    --cc=fr-sem@frmug.org \
    --cc=frocos@loria.fr \
    --cc=fun@cs.unibo.it \
    --cc=genetic-programming@cs.stanford.edu \
    --cc=glp-list@inf.tu-dresden.de \
    --cc=glp@first.gmd.de \
    --cc=gps@kdnuggets.com \
    --cc=gragra@i3.informatik.rwth-aachen.de \
    --cc=gulp@di.unipi.it \
    --cc=gun@src.ncu.edu.tw \
    --cc=haskell@dcs.gla.ac.uk \
    --cc=hpsg-l@lists.stanford.edu \
    --cc=i3world@tzi.de \
    --cc=iclppubl@cs.kuleuven.ac.be \
    --cc=idss@socs.uts.edu.au \
    --cc=igpl@doc.ic.ac.uk \
    --cc=ikbs@caad.ed.ac.uk \
    --cc=ikbsbb@inf.rl.ac.uk \
    --cc=imalaia@laas.fr \
    --cc=info-elra@calva.net \
    --cc=infoagents@gmd.de \
    --cc=ir-l@listserv.ucop.edu \
    --cc=isworld@irlearn.ucd.ie \
    --cc=kaw@swi.psy.uva.nl \
    --cc=kgs@dbai.tuwien.ac.at \
    --cc=kr-postings@kr.org \
    --cc=lfcs-interest@dcs.ed.ac.uk \
    --cc=lfg@lists.stanford.edu \
    --cc=lics-email@cs.indiana.edu \
    --cc=lics@research.att.com \
    --cc=lics@research.bell-labs.com \
    --cc=life-users@cs.sfu.ca \
    --cc=linear@cs.stanford.edu \
    --cc=logic-ml@logic.jaist.ac.jp \
    --cc=logic@cs.cornell.edu \
    --cc=logic@cs.stanford.edu \
    --cc=logic@theory.lcs.mit.edu \
    --cc=loginf@ira.uka.de \
    --cc=lp-internet@doc.ic.ac.uk \
    --cc=lpnmr@cs.engr.uky.edu \
    --cc=lprolog-list@cis.upenn.edu \
    --cc=maamaw@cosmos.imag.fr \
    --cc=mas-anwendungen@Wirtschaft.TU-Ilmenau.DE \
    --cc=ml@ics.uci.edu \
    --cc=mlnet@swi.psy.uva.nl \
    --cc=mobility@media.mit.edu \
    --cc=monet-all-members@aber.ac.uk \
    --cc=nl-kr@cs.rpi.edu \
    --cc=nlcl@cogs.susx.ac.uk \
    --cc=nlp-ia@bosoleil.ci.umoncton.ca \
    --cc=nobots@lists.stanford.edu \
    --cc=ontology@cs.umbc.edu \
    --cc=oz-users@dfki.de \
    --cc=papm@dcs.ed.ac.uk \
    --cc=practical-applications@pap.com \
    --cc=prog-logique@irisa.fr \
    --cc=proliaroux@lan10.ec-nantes.fr \
    --cc=prolog-pe@bach.ces.cwru.edu \
    --cc=prolog-vendors@sics.se \
    --cc=prolog@mch.sni.de \
    --cc=pvs@csl.sri.com \
    --cc=qphysics@aber.ac.uk \
    --cc=quintus-users@sics.se \
    --cc=rewriting@ens-lyon.fr \
    --cc=seworld@cs.colorado.edu \
    --cc=sicstus-users@sics.se \
    --cc=sigparse-list@cs.cmu.edu \
    --cc=silfs_ia@dist.unige.it \
    --cc=theorem-provers@ai.mit.edu \
    --cc=types@cis.upenn.edu \
    --cc=wollic@di.ufpe.br \
    /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