From: ig@liafa.jussieu.fr (Irene GUESSARIAN)
To: categories@mta.ca
Subject: FICS'2000 Call for Papers
Date: Fri, 14 Jan 2000 17:54:44 +0100 (MET) [thread overview]
Message-ID: <200001141654.RAA08221@liafa2.liafa.jussieu.fr> (raw)
FIXED POINTS IN COMPUTER SCIENCE (FICS 2000)
July 22 and 23, 2000, Paris, France
Call for Papers
http://www.liafa.jussieu.fr/~ig/FICS.html
* Fixed points play a fundamental role in several areas of computer
science and logic by justifying induction and recursive definitions.
The construction and properties of fixed points have been investigated
in many different frameworks. The aim of the workshop is to provide a
forum for researchers to present their results to those members of the
computer science and logic communities who study or apply the fixed point
operation in the different fields and formalisms.
The First workshop on Fixed Points in Computer Science was held in
Brno (1998).
* Invited speakers: S. Bloom (Hoboken), B. Courcelle (Bordeaux),
H. Marandjian (Yerevan), J. Rutten (Amsterdam), I. Walukiewicz (Warsaw).
* PC chair: Irene Guessarian, LIAFA, University Paris 7, Paris 6,
Case 7014, 2, place Jussieu, 75251 Paris Cedex 05, France
e-mail: ig@liafa.jussieu.fr.
* Proceedings: preliminary proceedings containing the abstracts of the talks
will be available at the meeting. Publication of final proceedings as a
special issue of Theoretical Informatics and Applications depends on the
number and quality of the papers.
* Paper submission: Authors are invited to send 3 copies of an abstract
not exceeding 3 pages to the PC chair. Electronic submissions in the form
of uuencoded postscript file are encouraged and can be sent to
ig@liafa.jussieu.fr. Submissions are to be received before April 3, 2000.
Authors will be notified of acceptance by June 1, 2000.
* The workshop will be organised just before the Logic 2000 conference.
reply other threads:[~2000-01-14 16: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=200001141654.RAA08221@liafa2.liafa.jussieu.fr \
--to=ig@liafa.jussieu.fr \
--cc=categories@mta.ca \
/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).