AMAST Mail 1996
[Prev][Next][Index]
No Subject
********************************
* Centre de Recerca Matematica *
* Institut d'Estudis Catalans *
* Apartat 50 *
* 08193 Bellaterra *
********************************
REQUEST: A LaTeX announcement of this conference has been appended to
this message. Please print it out and post it in an appropriate
place. Please feel free to forward this announcement to anyone
you feel may be interested in attending.
**************************************************************************
Second announcement
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
The 3rd BARCELONA LOGIC MEETIG
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
January 30--31, February 1, 1997
The third Barcelona Logic Meeting, which is devoted to
all areas of Mathematical Logic, will be held from Thursday,
January 30th to Saturday, February 1st, 1997, at the CRM
(Centre de Recerca Matem\`atica) del Institut d'Estudis
Catalans. The CRM is housed in the Science building of the
Universitat Aut\`onoma de Barcelona at Bellaterra, near
Barcelona.
INVITED SPEAKERS
The following lecturers have agreed their participation:
Jiri Ad\'amek: Models of Sketches.
Joan Bagaria: The theory of L(R) and forcing extensions.
Juan Barba: Inductive and Semi-inductive constructions
of truth-predicates.
Alexander Borovik: Groups of finite Morley Rank.
Ramon Jansana: Full Models and Gentzen Calculi.
Ronald Jensen: Inner Models.
Itai Neeman: Long Games.
Ludomir Newelski: On Vaught's conjecture.
Bruno Poizat: Groupes pr\'esent\'es g\'en\'eriquement:
applications \`a la G\'eometrie Alg\'ebrique
et \`a l'alg\`ebre diff\'erentielle.
COTRIBUTED PAPERS
Those wishing to present short communications are invited to
submit two copies of a one-page abstract before November 1st
1996 to the following address:
Centre de Recerca Matem\`atica (CRM),
Apartat 50, 08193 Bellaterra (Barcelona), Spain.
SCIENTIFIC AND ORGANIZING COMMITTEE
Enrique Casanovas (Universitat de Barcelona)
Kosta Do\v sen (Universit\'e Toulouse 3)
Raimon Elgueta (Universitat Polit\`ecnica de Catalunya)
Rafel Farr\'e (Universitat Polit\`ecica de Catalunya)
Daniel Lascar (Universit\'e Paris 7)
Adrian Mathias (Centre de Recerca Matem\`atica)
REGISTRATION
The registration fee is 5000 pesetas (aprox. $38). This
fee may be paid from abroad either by an international check
made out to the CRM or by VISA or MasterCard filling in the
authorization form below. The registration deadline is
January 10 1997.
GENERAL INFORMATION
%%%%%%%%%%%%%%%%%%%
THE CRM
The CRM is located in the Science building of the
Universitat Aut\`onoma de Barcelona (UAB), on its
campus in Bellaterra. It is about 20km. from Barcelona,
near the A7 highway. There will be e-mail facilities
and also the Library of Science (with more than 8000 books
and 230 magazines on mathematics) at the disposal of the
participants. Further information about the CRM is available
at the following web site:
http://crm.es
ACCOMODATION
Participants can make hotel reservations through the CRM.
In order to do this fill out the attached reservation form
ad send it by mail (to the adress above) or fax it to the
CRM (Fax number: 34-3-5812202). The Hotel Campus is located
in the main campus of the UAB, within a walking distance to
the CRM. Hotel Turin is located in downtown Barcelona,
close to the FFCC station, where trains going to the UAB
campus depart.
TRAVEL INFORMATION
Arrival by plain:
----------------
The airport of Barcelona is located in El Prat, some 15 Km.
from Barcelona. You may travel to your hotel either by train,
bus or taxi.
By train: Take any train departing from the airport
station (from 6:12 until 22:12, every 30 minutes) and
get off at Pla\c ca Catalunya. The fare is 240 pts.
In order to proceed to the UAB, walk out of the RENFE
station and cross the square to the FFCC (Ferrocarrils
de la Generalitat) train station.
By bus: Take any blue bus AEROBUS. Buses stop on the
main road, just at the exit of the airport building.
They circulate every 15 minutes, from 6:00 until 22:00.
The fare is 375 pts. Get off at Pla\c ca Catalunya. In
order to proceed to the UAB, walk across the square to
the FFCC station.
By taxi: The ride from the airport to Pla\c ca
Catalunya should take 20 to 30 minutes and costs between
2000 and 2500 pts. A ride from the airport to the Hotel
Campus at the UAB might take 35 to 45 minutes and costs
between 4000 and 5000 pts. (time and fares may vary
depending on traffic conditions).
Arrival by train:
----------------
The main train stations in Barcelona are Sants station
and Fran\c{c}a station. There is a Metro connection
(Line III) from Sants to Pla\c{c}a Catalunya. From
Fran\c{c}ait is better to take the bus (numbers 17 or 59)
and get off at Pla\c ca Catalunya.
From Barcelona to UAB Campus:
----------------------------
Take the FFCC train in Pla\c ca Catalunya
to destination Sabadell or Universitat Aut\`onoma.
If you are heading for the Hotel Campus, it is better
to get off at Bellaterra. If you go to the CRM it is
better to get off at Universitat Aut\`onoma. Trains run
from 7:18 until 20:48. The trip takes around 40 minutes
and costs 245 pts.
FOOD SERVICE
A cafeteria service will be available for lunch in the
same Science building. It is also possible to have lunch
in the Hotel Campus, located within a walking distance
from the CRM.
FURTHER INFORMATION
Further information is available from:
by e-mail: 3blm@ma2.upc.es
web site: http://crm.es/info/3blm.htm
by mail: Centre de Recerca Matem\`atica (CRM),
Apartat 50, 08193 Bellaterra (Barcelona),
Spain.
***********************************************************************
***********************************************************************
The following is a LaTeX version of the announcement including the
registration form
***********************************************************************
***********************************************************************
\documentclass [11pt,a4paper]{article}
\usepackage{latexsym}
\usepackage{amstex}
\usepackage{amssymb}
\usepackage{amsfonts}
\pagestyle{empty}
\setlength{\topmargin}{1.3cm}
\setlength{\topskip}{0cm}
\setlength{\headheight}{0cm}
\setlength{\headsep}{0cm}
\setlength{\textwidth}{17cm}
\setlength{\textheight}{26cm}
\setlength{\oddsidemargin}{-1cm}
\setlength{\evensidemargin}{-1cm}
\setlength{\footskip}{1cm}
\setlength{\parindent}{0pt}
\font\gran=cmr12
\font\blm=cmr12 scaled \magstep 5
\font\ggran=cmr12 scaled \magstep 3
%\font\caps=cmcsc10
\newcommand\bs{\bigskip}
\newcommand\ms{\medskip}
\title{
{\gran Second announcement}
\\[8pt]
}
\vskip-100pt
\author{}
\date{\gran }
%\vfill
\begin{document}
%\vspace*{1.3cm}
\begin{center}
Second announcement\\ [.8cm]
{\ggran The 3rd {\blm B}arcelona {\blm L}ogic {\blm M}eeting} \\ [.5cm]
January 30--31, February 1, 1997
\end{center}
\vspace{.7cm}
The third Barcelona Logic Meeting, which is devoted to all areas of
Mathematical Logic, will be held from Thursday, January 30th to Saturday,
February 1st, 1997, at the CRM (Centre de Recerca Matem\`atica) del Institut
d'Estudis Catalans. The CRM is housed in the Science building of the
Universitat Aut\`onoma de Barcelona at Bellaterra, near Barcelona.
%\vfill
\bs
\begin{center}
\bf Invited Speakers
\end{center}
The following lecturers have agreed their participation:
\ms
\parbox{4.5cm}
{\sc Jiri Ad\'amek:}
\parbox[t]{12cm}
{\sl Models of Sketches.}
\\
\parbox{4.5cm}
{\sc Joan Bagaria:}
\parbox[T]{12cm}
{\sl The theory of $L(\mbox{\bf R})$ and forcing extensions.}
\\
\parbox{4.5cm}
{\sc Juan Barba:}
\parbox[t]{12cm}
{\sl Inductive and Semi-inductive constructions of truth-predicates.}
\\
\parbox{4.5cm}
{\sc Alexander Borovik:}
\parbox[t]{12cm}
{\sl Groups of finite Morley Rank.}
\\
\parbox{4.5cm}
{\sc Ramon Jansana:}
\parbox[t]{12cm}
{\sl Full Models and Gentzen Calculi.}
\\
\parbox{4.5cm}
{\sc Ronald Jensen:}
\parbox[t]{12cm}
{\sl Inner Models.}
\\
\parbox{4.5cm}
{\sc Itay Neeman:}
\parbox[t]{12cm}
{\sl Long Games.}
\\
\parbox{4.5cm}
{\sc Ludomir Newelski:}
\parbox[t]{12cm}
{\sl On Vaught's conjecture.}
\\
\parbox{4.5cm}
{\sc Bruno Poizat:}
\parbox[t]{12cm}
{\sl Groupes pr\'esent\'es g\'en\'eriquement:
applications \`a la G\'eometrie Alg\'ebrique et \`a l'alg\`ebre
diff\'erentielle.}
\bs
\begin{center}
{\bf Contributed papers}
\end{center}
Those wishing to present short communications are invited to
submit two copies of a one-page abstract before November 1st 1996 to the
following address:
\medskip
{\sl Centre de Recerca Matem\`atica (CRM), Apartat 50, 08193 Bellaterra
(Barcelona), Spain. }
\bs
\begin{center}
{\bf Scientific and Organizing Committee}
\end{center}
Enrique Casanovas (Universitat de Barcelona), Kosta Do\v sen (Universit\'e
Toulouse 3), Raimon Elgueta (Universitat Polit\`ecnica de Catalunya),
Rafel Farr\'e (Universitat Poli\-t\`ec\-ni\-ca de Catalunya),
Daniel Lascar (Universit\'e Paris 7), Adrian Mathias
(Centre de Recerca Matem\`atica).
\bs
\begin{center}
{\bf Registration}
\end{center}
The registration fee is $5000$ pesetas (aprox. \$38). This fee may be paid
from abroad either by an international check made out to the CRM or by VISA
or MasterCard filling in the authorization form below. The registration
deadline is January 10, 1997.
\newpage
\begin{center}
{\bf GENERAL INFORMATION}
\end{center}
\bs
\begin{center}
{\bf The CRM}
\end{center}
\smallskip
The CRM is located in the Science building of the Universitat Aut\`onoma de
Barcelona (UAB), on its campus in Bellaterra. It is about 20km.~ from
Barcelona, near the A7 highway. There will be {\tt e-mail} facilities and
also the Library of Science (with more than $8000$ books and 230 magazines on
mathematics) at the disposal of the participants. Further information about
the CRM is available at the following web site:
\begin{center}
{\tt http://crm.es}
\end{center}
\bs
\begin{center}
{\bf Travel information}
\end{center}
\underbar{Arrival by plain:}
The airport of Barcelona is located in El Prat, some 15 Km.~ from Barcelona.
You may travel to your hotel either by train, bus or taxi.
\hskip20pt By train: Take any train departing from the airport station
(from 6:12 until 22:12, every 30 minutes) and get off at Pla\c ca Catalunya.
The fare is 240 pts. In order to proceed to the UAB, walk out of the RENFE
station and cross the square to the FFCC (Ferrocarrils de la Generalitat)
train station.
\hskip20pt By bus: Take any blue bus AEROBUS. Buses stop on the main road,
just at the exit of the airport building. They circulate every 15 minutes,
from 6:00 until 22:00. The fare is 375 pts. Get off at Pla\c ca Catalunya.
In order to proceed to the UAB, walk across the square to the FFCC station.
\hskip20pt By taxi: the ride from the airport to Pla\c ca Catalunya should
take 20 to 30 minutes and costs between 2000 and 2500 pts. A ride from the
airport to the Hotel Campus at the UAB might take 35 to 45 minutes and costs
between 4000 and 5000 pts. (time and fares may vary depending on traffic
conditions).
\smallskip
\underbar{Arrival by train:}
The main train stations in Barcelona are Sants station
and Fran\c{c}a station. There is a Metro connection
(Line III) from Sants to Pla\c{c}a Catalunya. From Fran\c{c}a
it is better to take the bus (numbers 17 or 59) and get off at Pla\c ca
Catalunya.
% The CRM may
% be reached from Pla\c{c}a Catalunya either by taking the RENFE train
% to the station Cerdanyola Universitat followed by the
% University Bus, or alternatively taking the FERROCARRILS
% train to the Universitat Aut\`{o}noma station which is the
% next station after Bellaterra on the line to Sabadell.
\smallskip
\underbar{From Barcelona to UAB Campus:}
% You can reach the Autonom from Pla\c ca Catalunya either by FFCC or
% RENFE. FFCC train on the line to Sabadell stop at Bellaterra and
% Universitat Aut\`onoma.
Take the FFCC train in Pla\c ca Catalunya
to destination Sabadell or Universitat Aut\`onoma.
If you are heading for the Hotel Campus, it is better to get off
at Bellaterra. If you go to the CRM it is better to get off at Universitat
Aut\`onoma. Trains run from 7:18 until 20:48. The trip takes around 40 minutes
and costs 245 pts.
% On weekdays there are RENFE trains from the RENFE station
% at Pla\c ca Catalunya to Cerdanyola Universitat.
\begin{center}
{\bf Food service}
\end{center}
A cafeteria service will be available for lunch in the same Science building.
It is also possible to have lunch in the Hotel Campus, located within a
walking distance from the CRM.
\newpage
\begin{center}
{\bf Accomodation}
\end{center}
\smallskip
Participants can make hotel reservations through the CRM. In order to do this
fill out the attached reservation form and send it by mail (to the adress
above) or fax it to the CRM (Fax number: 34-3-5812202).
The Hotel Campus is located in the main campus of the UAB, within a
walking distance to the CRM. Hotel Turin is located in downtown Barcelona,
close to the FFCC station, where trains going to the UAB campus depart.
\bigskip
Price of rooms in some recommended hotels:
\begin{center}
\renewcommand{\arraystretch}{1.3}
\begin{tabular}{|cccc|}
\hline\hline
& & \multicolumn{2}{c|}{price in pesetas of }\\
category& name of hotel & single room & double room\\ \hline
**** & Campus & 7.600 & 4.125\\ \hline
*** & Tur¡n & 7.330 & 5.190\\
\hline\hline
\end{tabular}
\end{center}
Prices are quoted per night per person and include breakfast, service and all taxes. (If you choose a double room and there is nobody to share it with you, the organizing committee will be obliged to book a single room for you.)
\bs\smallskip
\begin{center}
{\bf Further information}
\end{center}
\bs
Further information is available from:
\medskip
\parbox{2.5cm}
{by {\tt e-mail}:}
\parbox[t]{12cm}
{\tt 3blm@@ma2.upc.es}
\\
\parbox{2.5cm}
{web site:}
\parbox[t]{12cm}
{\tt http://crm.es/info/3blm.htm}
\\
\parbox{2.5cm}
{by mail:}
\parbox[t]{12cm}
{\sl Centre de Recerca Matem\`atica (CRM) \\
Apartat 50 \\
08193 Bellaterra\\
Spain. }
\end{document}
**************************
Following the Registration Form
******************************
\documentclass[10pt]{article}
\usepackage{latexsym}
\usepackage{amstex}
\pagestyle{empty}
\setlength{\topmargin}{1cm}
\setlength{\topskip}{0cm}
\setlength{\headheight}{0cm}
\setlength{\headsep}{0cm}
\setlength{\textwidth}{15.2 truecm}
\setlength{\textheight}{23 true cm}
\setlength{\oddsidemargin}{1cm}
\setlength{\evensidemargin}{-1in}
\setlength{\footskip}{1cm}
\newcommand{\sigdir}{\vspace{2cm}\noindent M. Castellet\newline
Director CRM}
\newcommand{\secre}{\vspace{2cm}\noindent Consol Roca\newline
Secretary to Dr. Castellet}
\newcommand{\parag}{\medskip\noindent}
\newcommand{\sortida}[1]{{\noindent\scriptsize #1}}
\begin{document}
\vspace*{1cm}\noindent
\ \hfill{\sf\LARGE The 3rd {\huge B}arcelona {\huge L}ogic {\huge M}eeting}\newline
\ \hfill{\sf January 30-31, February 1, 1997\ }
\parag
{\sf\Large Registration Form}
\parag
{\sl\bf Name and mailing address\/}:
\vspace{.2cm}\noindent\hrulefill\\ [-.25cm]
{\scriptsize family name \hspace{4cm} first name}
\vspace{.2cm}\noindent\hrulefill\\ [-.25cm]
{\scriptsize institution}
\vspace{.2cm}\noindent\hrulefill\\ [-.25cm]
{\scriptsize street and number}
\vspace{.2cm}\noindent\hrulefill\\ [-.25cm]
{\scriptsize postal code \hspace{3cm} city \hspace{5cm} country}
\vspace{.2cm}\noindent\hrulefill\\ [-.25cm]
{\scriptsize telephone \hspace{4cm} fax \hspace{4cm} e-mail}
\vspace{.4cm}\noindent
{\sl\bf Accompanying members (if any)\/}: \hrulefill\hspace{8cm}
\vspace{.4cm}\noindent
{\sl\bf Accommodation\/}:
\parag
$\Box$ {\sf No, I do not require accommodation reserved through the CRM}\newline
$\Box$ {\sf Yes, please make a reservation in my name as follows}
\renewcommand{\arraystretch}{1.2}
\parag
\begin{center}
\begin{tabular}{|l|l|c|c|c|c|}
\hline\hline
{\bf Choice} &{\bf Name of Hotel} &
\multicolumn{2}{c|}{\bf Number of rooms} &
\multicolumn{2}{c|}{\bf Date of}\\ \hline
& & single & double & check in & check out \\ \hline
1st & & & & &\\ \hline
2nd & & & & &\\
\hline\hline
\end{tabular}
\end{center}
\vspace{.5cm}\noindent
{\sl\bf Registration fee}: {\sf 5.000 pta}
\vspace{.5cm}\noindent
{\sl\bf Payment}:
\parag
{\framebox[15cm][c]
{\hspace*{.2cm}\begin{minipage}[t]{7.5cm}
{\bf Nominative Cheque to:\newline
``CRM Advanced Courses''}\newline
Cheque no. \dotfill \newline
Issuing Bank \dotfill \newline
Amount \dotfill
\end{minipage}\hspace{.1cm}\begin{minipage}[t]{7.4cm}
{\bf Credit Card}:\newline
$\Box$ VISA \quad $\Box$ MasterCard\newline
Account no. \dotfill \newline
Expiration date \dotfill \newline
Amount \dotfill \newline
Signature \dotfill \newline
\end{minipage}
}}
\parag
\begin{center}
\begin{minipage}{15cm}
1. Payment has to be made before January 10, 1997.\newline
2. Participants should be aware that
registration is not considered valid until full payment in\newline
\hspace*{.4cm} pesetas has been made and cleared.\newline
3. Bank fees must be paid by the participants since they are not included
in the registration
fee.\newline
4. Eurocheques CANNOT be accepted.
\end{minipage}
\end{center}
\parag
\begin{tabular}{lr}
{\sf Registration fee} \hspace*{5cm} & ................ {\sf pta}\\
{\sf Hotel} \hspace*{5cm} & ................ {\sf pta}
\end{tabular}
\end{document}
[
AMAST Mail 1996
|
Latest Update |
AMAST Mail Meta-Index |
AMAST
]