From: Kurt Gödel Society (kgs@logic.at)
Date: Thu Dec 11 1997 - 14:26:35 MET

Dear Member,

attached you find the annual newsletter of the Kurt G"odel Society in
LaTex - format. For reasons of portability we resend this newsletter in
our next email
in *.ps format.

Best regards,
Georg Moser
Secretary

++++++++++++++++++++

\documentclass[11pt]{article}
\setlength{\textwidth}{15.5true cm}
\setlength{\textheight}{25true cm}
\pagestyle{empty}
\let\thepage\relax
\setlength{\topmargin}{-2cm}
\setlength{\oddsidemargin}{0cm}
\setlength{\evensidemargin}{0cm}
\begin{document}
{\large October 1997}\end{center}

\begin{section}{10th General Assembly}

The Executive Board as elected in the 1997 General Assembly held August
25, 1997 is as follows:
%\vspace*{.3cm}
$$\begin{tabular}{|l|l|} \hline Petr Hajek & President\\\hline Matthias Baaz & Vice President\\\hline Georg Moser & Secretary \\\hline Norbert Preining & Deputy Secretary\\\hline Robert Matzinger & Treasurer\\\hline Uwe Egly & Deputy Treasurer\\\hline Hans-Dominik Schwabl & Archivist\\\hline Helmut Veith & \hbox{\vtop{\hsize=6cm \baselineskip=13pt \noindent Organizing Committee Chairman of the lecture series \strut\emph{Collegium Logicum}}}\\\hline Georg Gottlob & Member at Large\\\hline Alexander Leitsch & Member at Large\\\hline Daniele Mundice & Member at Large\\\hline \end{tabular}$$
\end{section}

\begin{section}{Summary of the KGC'97 -- 5th Kurt G\"odel Colloquium}

A meeting in Computational Logic and Proof Theory was held in
Vienna during August 25-29, 1997
organized by the Kurt G\"odel
Society. The colloquium was intended for logicians and
computer scientists interested in the proof-theoretic and algorithmic
aspects of logic. The scientific program consisted of 7 invited lectures

and 18 contributed talks, which where selected from 38 submissions.
The proceedings volume are published by Springer-Verlag in
the \emph{Lecture Notes in Computer Science} series.
A huge variety of topics has been covered by the contributed talks.
To mention only a few areas that have been touched:
Automated Theorem Proving/Automated
Model Building, Linear Logic, Ordinal Numbers.
Moreover, the conference gave rise to fruitful talks between researchers

in the covered topics.

The financial support of
the Austrian Ministry of Science, the Vienna Convention Bureau,
the Vienna Tourism Department, and the CA, Creditanstalt-Bankverein
were gratefully acknowledged.
\end{section}

\begin{section}{Collegium Logicum}
We have chosen to change the organization of the the lecture series
\emph{Collegium Logicum}. In addition to frequent lectures the Kurt
G\"odel Society will hold specialized scientific workshops. These
workshops are understood to be held for at most three days. The topics
are chosen out of various special fields that have evolved out of
the basis of Kurt G\"odel's contributions to logic, mathematics
and physics.

The first workshop will be concerned with complexity theory and will
be held at the Institut f\"ur Informationssysteme E184.2, Paniglgasse
16.
The exact time and date of the workshop is announced separately.

\end{section}

\begin{section}{New Media}

In an attempt to decrease the amount of surface mail and to cut down
costs we have since long
offered all information about the activities of the society per email on
the internet.
To our knowledge most of our members already have an email-address and
an
increasing number of members uses this media to communicate with us.

Thus, we would like to focus on email-communication in the future.
We will still be happy to deliver our information with paper mail to
everybody
who prefers this form of communication for any reason and returns the
enclosed paper mail request.

\vspace*{.3cm}
\noindent {\bf List server:} We maintain an automatic mailing list to
communicate announcements
and information related to the Kurt G\"odel Society. To participate,
send an email
message to
\begin{center}{\tt listproc@dbai.tuwien.ac.at}\end{center}
containing just the following line in the \emph{message body}:
\begin{center}
\texttt{SUB KGS \emph{Name}}
\end{center}
where you replace \emph{Name} by your real name.

\vspace*{.3cm}
\noindent {\bf Homepage:} Please see our WWW-Page offering all available
Kurt G\"odel Society, links to other home-pages in logic,
links to personal home-pages of people in the field,
all lectures on logic in Vienna, especially the course scheme for a
degree in
computational logic:
\begin{center}{\tt http://logic.at/kgs/home.html}\end{center}
Additionally the home-page includes an electronic application form.

\end{section}

\begin{section}{Payment Information}

The Kurt G\"odel Society can accept Mastercard, EuroCard, and Visa
credit cards for all types of payment.
When paying by credit card, please remember to provide your card number
and expiration date,
as well as your name, address and signature.

As this convenient method of payment is available, we ask you to refrain
from sending
foreign currency in the future, including personal cheques.
Payment by Eurocheque is still possible.
Remember to put down Wien'' as the place of issue, this will save
our bank charges. Please send all payment to
\begin{verse}
Kurt-G\"odel-Gesellschaft\\
c/o Technische Universit\"at Wien \\
Institut f\"ur Computersprachen E185.2 \\
Resselgasse 3/1 \\
A-1040 Vienna \\
Austria
\end{verse}
%
or directly to our account:
\begin{verse}
Kurt-G\"odel-Gesellschaft \\
account nr. 686 168 204 \\
Bank Austria BLZ 20151.
\end{verse}
%
Please make sure that your payment carries your name and the years for
which you intend to pay membership.
We have frequently received payment without such information,
and it required a significant effort to trace the payer.
Please keep in mind that we are required by law to do detailed
book-keeping.

Please remark that we have changed our account. The old account
will be closed within one year.
We apologize for any inconvenience caused and ask for your
understanding.

\vspace{0.5cm}
\begin{center}MERRY CHRISTMAS and a HAPPY NEW YEAR\end{center}

\end{section}

\end{document}

This archive was generated by hypermail 2b25 : Thu Apr 06 2000 - 16:19:19 MET DST