(I beleive) that Berkeley will be having a LOGIC YEAR in the academic
school year 89-90 (If I am wrong about this, my apologies).
Does anybody know, will there be predesignated weeks for
different topics. I would be particularly interested to know
if there would be a timeslot for Recursion theory,
Recursion-theoretic Computer Science, Effective Mathematics,
and/or Theortical Computer Science.
Please email response to
gasa…@mimsy.umd.edu
Links
- Tired of driving? Go online grocery shopping at eFoodDepot.com
In article <18…@mimsy.UUCP> gasa…@mimsy.UUCP (William Ian Gasarch) writes:
>(I believe) that Berkeley will be having a LOGIC YEAR in the academic
>school year 89-90 (If I am wrong about this, my apologies). Does anybody
>know, will there be predesignated weeks for different topics?
The Logic Year is at MSRI (Mathematical Sciences Research Institute) in
Berkeley, not the Univ. of California. Publicity so far has been rather
meager. There are indeed workshops on particular topics. You might
be interested in the "Logic from Computer Science" workshop, November
13-17, 1989. The organizer is Yiannis Moschovakis (y…@math.ucla.edu).
I’m not sure what is available for information on the logic year over-all,
but you could ask Tony Martin (d…@math.ucla.edu).
It is expected that in January 1990 the annual ASL meeting will be in
Berkeley "in conjunction with" MSRI’s logic year. Information on that
will be sent to all ASL members.