From: Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
To: categories@mta.ca
Cc: appsem@cs.chalmers.se, comprox@doc.ic.ac.uk, tics@doc.ic.ac.uk
Subject: Announcement WD'99
Date: Thu, 24 Jun 1999 16:55:17 +0200 (MESZ) [thread overview]
Message-ID: <199906241455.AA212296118@fb0448.mathematik.tu-darmstadt.de> (raw)
Sorry, if you receive this announcement several times !
2nd Announcement of
5th DOMAINS WORKSHOP
(Darmstadt, 23. - 26. September 1999)
Dear colleagues,
the 5th Workshop on Domains will take place in Darmstadt from Thursday, the
23rd of September till Sunday, the 26th of September.
We will start on Thursday after lunch. In this session there will be talks by
D.Scott and A.Jung on the occasion of Klaus Keimel's 60th Birthday. Afterwards,
there will be a football match in the early evening followed by a barbecue.
Whether there will be program on Sunday or it will be the day of departure
will depend on the number of talks that people want to deliver. The idea of
having in principle two full days for talks is motivated mainly by the
intention to avoid a too dense schedule and leave enough time for discussion.
The talks should concentrate on the following topics
- Classical Domain Theory
- Denotational Semantics of Programming Languages
- Categorical Logic and Realisability
- Synthetic Domain Theory
- Non-Classical Domain Theory (Stable Domains, Full Abstraction ...)
- Exact Computation on Classical Spaces
This list is not exclusive and talks on related topics are encouraged.
As usual there will be "open house" in the sense that there is no refereeing
and people are invited to talk about work in progress.
For registration, please, send a message to
marz@mathematik.tu-darmstadt.de
together with title and abstract of your talk. If you want to give a talk
you have to tell us till 23rd August 1999.
More information about the workshop can be found at the homepage
http://www.mathematik.tu-darmstadt.de/~erker/wd5/
In particular, there you can find an address via which you can reserve
accommodation. We also plan to organise some private accommodation for
undergraduate students who cannot afford to pay the hotel expenses.
Awaiting your registration
Michael Marz, Thomas Streicher
reply other threads:[~1999-06-24 14:55 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=199906241455.AA212296118@fb0448.mathematik.tu-darmstadt.de \
--to=streicher@mathematik.tu-darmstadt.de \
--cc=appsem@cs.chalmers.se \
--cc=categories@mta.ca \
--cc=comprox@doc.ic.ac.uk \
--cc=tics@doc.ic.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).