From: esik@inf.u-szeged.hu
To: rrosebrugh@mta.ca
Subject: (unknown)
Date: Tue, 12 May 98 16:09 MET [thread overview]
Message-ID: <199805121410.LAA15395@mailserv.mta.ca> (raw)
>From esik Tue May 12 16:09:55 +0200 1998 remote from inf.u-szeged.hu
To: rrosebrugh@mta.ca
cc: esik
Subject: FICS 2nd announcement
Date: Tue, 12 May 1998 16:09:55 +0200
From: Esik Zoltan <esik@inf.u-szeged.hu>
Received: from inf.u-szeged.hu by inf.u-szeged.hu; Tue, 12 May 1998 16:09 MET
Content-Type: text
Content-Length: 4630
Dear Professor Rosebrugh,
Would you please forward the attached 2nd announcement
of the FICS workshop to the subsribers of categories.
Thank you in advance.
Yours sincerely,
Zoltan Esik
*******************************************************************************
*******************************************************************************
** **
** F I C S ' 9 8 **
** **
** Fixed Points in Computer Science **
** **
** A Satellite Workshop to MFCS'98 **
** **
** August 27-28, 1998, Brno, Czech Republic **
** **
** Second Announcement **
** **
*******************************************************************************
*******************************************************************************
Aim:
Fixed points play a fundamental role in several areas of computer science,
and 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 community who study or apply the fixed point operation in the
different fields and formalisms.
Topics:
Construction and reasoning about properties of fixed points, categorical,
metric and ordered fixed point models, continuous algebras, relation
algebras, fixed points in process algebras and process calculi, regular
algebra of finitary and infinitary languages, formal power series, tree
automata and tree languages, infinite trees, the mu-calculus and other
programming logics, fixed points in relation to dataflow and circuits,
fixed points and the lambda calculus.
Invited lectures:
A. Arnold (Bordeaux): Boolean mu-calculus and its relations
with model-checking and games
J. W. de Bakker (Amsterdam): Fixed points in metric semantics
Y. N. Moschovakis (Los Angeles/Athens): Fair, non-deterministic
recursion in higher types (tentative)
Program Committee:
R. Backhouse (Eindhoven)
S. L. Bloom (Hoboken)
C. Boehm (Rome)
R. De Nicola (Florence)
Z. Esik (Szeged, chairman)
P. Freyd (Philadelphia)
I. Guessarian (Paris)
D. Kozen (Cornell)
W. Kuich (Vienna)
M. Mislove (Tulane)
R. F. C. Walters (Sydney)
Contact person:
Zoltan Esik
Dept. of Computer Science
Jozsef Attila University
P.O.B. 652
6701 Szeged, Hungary
e-mail: fics@inf.u-szeged.hu
phone: ++36-62-454-289
fax: ++36-62-312-292
Paper submission:
Authors are invited to send three copies of an abstract not exceeding three
pages to the PC chair. Electronic submissions in the form of uuencoded
postscript file are encouraged and can be sent to fics@inf.u-szeged.hu.
Submissions are to be received before May 25, 1998. Authors will be notified
of acceptance by June 25, 1998.
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.
The workshop will be organised at the same place as the federated
MFCS'98/CSL'98 conference and care will be taken that participants of the
workshop can attend invited talks of the MFCS and CSL conferences.
No special registration fee is required for participants who also
register for MFCS'98 or CSL'98 and have a presentation at the workshop. Other
workshop participants registered for MFCS'98 or CSL'98 will be requested to
pay a small fee for the preliminary proceedings. Registration only for the
workshop is also possible--expenses for fee, accommodation, and basic
meals are very modest. Registration information can be found
on the MFCS web page at http://www.fi.muni.cz/mfcs98.
Organising Committee:
L. Bernatsky (Szeged)
A. Kucera (Brno)
T. Szeles (Szeged)
More information is available at the following web sites:
http://www.inf.u-szeged.hu/fics/
http://www.cs.stevens-tech.edu/CFP/FICS/
next reply other threads:[~1998-05-12 15:09 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-05-12 15:09 esik [this message]
-- strict thread matches above, loose matches on Subject: below --
2022-12-29 22:47 (unknown) Valeria de Paiva
2021-02-19 15:50 (unknown) Marco Grandis
2019-07-20 7:28 (unknown) Marco Grandis
2017-02-16 16:43 (unknown) Jean Benabou
2016-04-11 8:35 (unknown) Timothy Porter
2011-08-14 20:08 (unknown) claudio pisani
2010-06-29 7:29 (unknown) Erik Palmgren
2009-11-19 23:25 (unknown) claudio pisani
2009-04-29 15:27 (unknown) Unknown
2009-04-29 15:27 (unknown) Unknown
2009-04-29 15:27 (unknown) Unknown
2009-04-29 15:26 (unknown) Unknown
2006-03-16 2:08 (unknown) jim stasheff
2006-03-16 2:07 (unknown) jim stasheff
2006-03-16 1:58 (unknown) jim stasheff
2006-03-16 1:53 (unknown) jim stasheff
2000-02-12 17:23 (unknown) James Stasheff
1998-05-24 4:31 (unknown) Ralph Leonard Wojtowicz
1998-02-15 11:43 (unknown) esik
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=199805121410.LAA15395@mailserv.mta.ca \
--to=esik@inf.u-szeged.hu \
--cc=rrosebrugh@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).