[Prev][Next][Index][Thread]

Linear Logic 96, Tokyo Meeting




[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]


                 Call for Papers
 
          Linear Logic 96, Tokyo Meeting
            March 29 - April 2, 1996  


The Scientific Program Committee is seeking contributed 
papers of on-going research in the field of linear logic, 
its applications and related fields. An extended abstract 
or preliminary report of up to 10 (ten) pages should be 
electronically submitted  ***BY JANUARY 19, 1996***  to 
the anonymous ftp-site abelard.flet.mita.keio.ac.jp and 
the directory /Linear96/submission. 

The paper should be written in latex. The author is reqired to
deposit both dvi-file and ps-file; the both files
should be set up as **** A4-SIZE **** (i.e., Not American 
letter size) with the first author's
full name as the file names, eg. mitsuokada.ps and mitsuokada.dvi.
Use "anonymous" for the login-name and your email address for
the password; when your ftp-deposit is successful, the system sends 
you back the acknowledgement of the submission to the email address
you used for "password", in 10 minutes. (You cannot see the file name
you deposited since the directory is write-permitted only.
The deadline for submission is Jan 19, 1996. The acception/rejection
by the Scientific Program Committee will be notified by Feb 12
to the first authors' email address. 

Since linear logic was introduced by J-Y. Girard in 1986, 
it has been growing very rapidly and it is among the most 
influential areas of logic and theoretical computer science 
to be developed in the last ten years. Linear logic is known 
to have various novel features, such as its intrinsic ability 
to account for computational resources, or more generally, 
for computational state. The purpose of the Tokyo Linear Logic 
Meeting '96 is to set up a forum for the researchers in the 
field to discuss recent results and the future directions of 
research. The scientific program consists of the four and a half 
days sessions.  This is considered the best and most pleasant 
season in Japan. 

The Scientific Program Committee consists of

Jean-Yves Girard (LMD-CNRS, Marseille, France)
Mitsu Okada (Keio Univ., Tokyo, Japan)
Andre Scedrov (Univ. of Pennsylvania, USA).
 
The invited speakers include:
(1) From Europe
S. Abramsky, Edinburgh Univ 
A. Asperti, Bologna  Univ
G. Bierman, Cambridge Univ
D. van Dalen, Univ Utrecht(*)
V. Danos, Paris VII
T. Ehrhard, LMD-Marseille
J-Y. Girard, LMD-Marseille
M. Kanovitch, Moscow Humanity Univ 
Y. Lafont, LMD-Marseille
F. Lamarche, Univ Nancy
F. Metayer, Paris VII 
L. Ong, Oxford Univ and National Univ Singapore
D. Prawitz, Univ Stockholm
L. Regnier, LMD-Marseille
       
  
(2) From North America  
A. Blass, Univ Michigan(*)
R. Blute, Ottawa 
P. Freyd, Univ Penn  
R. Jagadeesan, Loyola 
A. Joyal, Univ Quebec-Montreal(*)  
P. Lincoln, SRI 
J. Mitchell, Stanford
D. Miller, Univ Penn
P. O'Hearn, Syracuse Univ 
V. Pratt, Stanford Univ
J. Reynolds, CMU
A. Scedrov, Univ Penn
P. Scott, Univ Ottawa 
N. Shankar, SRI 
G. Takeuti, Univ Illinois-Urbana

(3) From Japan: 
S.Hayashi, Univ Kobe 
N.Kobayashi, Univ Tokyo 
M.Kanazawa, Univ Chiba 
K.Honda, Univ Manchester/Keio Univ  
T.Ito, Tohoku Univ(*)
M.Nagayama, TWCU 
M.Okada, Keio Univ  
H.Ono, JAIST  
A.Yonezawa, Univ Tokyo(*) 

(* is not confirmed yet)

The scientific program consists of 
(1) two special tutorials
J-Y Girard, "Recent Advancement of Linear Logic"
A. Scedrov, "Decision Problems and Optimization Problems in Linear Logic",
(2) invited papers sessions and contributed papers sessions,
(3) a panel discussion on the future directions of linear logic,
panelists include S. Abramsky, J-Y. Girard.

Also there may be some scientific activities closely related
to this Meeting, such as mini-symposiums and mini-tutorials,
seminar talks, just before and after the Meeting dates. 
(At this moment,a mini-course on Proof Nets and Interaction Nets
by Yves Lafont, and Introductory Course on Linear Logic
by Girard-Lafont-Scedrov, and some other mini-courses or talks 
by J.Y.Girard, A.Scedrov and others are scheduled 
as well as a mini-symposium on influences of
linear logic and theoretical computer science to philosophy of
mathematics.)


We plan to publish the first proceedings composed of
extended abstracts or preliminary reports by a newly
established electronic journal, Electronic Notes in 
Theoretical Computer Science (an official journal of
the European Association for Theoretical Computer Science,
published by Elsevier-North Holland),
which will be electronically accessible to any members
of the institutions which  subscribe TCS (Theoretical Computer Science)
as well as provided by a CD-Rom disk later; the electronic
publication (and the hard copy publication for the registered
participants of the Meeting) will be done just before or soon after
the Tokyo Meeting. (The registered participants
have the right of obtaining not only the hard-copy
but also of accessibility to the electronic issue of
ENTC.) Then we shall publish formal proceedings in
a book form (or a special issue of a journal) composed of  
polished papers in the way similar to the case of the
Linear Logic Workshop 93 at Cornell with the "Advances in Linear
Logic" volume (Cambridge U.P.), which we plan to publish around one year
after the meeting. 

A further information on the Linear 96 Meeting,
including program/registration/hotel information,
will be announced shortly. 
See the anonymous ftp-site abelard.flet.mita.keio.ac.jp:/Linear96/infomation
or WWW-mosaic http://abelard.flet.mita.keio.ac.jp/Linear96.html,
for more detailed and up-dated information.



The Organizer of the Tokyo Linear Logic Meeting 96.
Mitsu Okada (Keio Univ., Tokyo, Japan).
mitsu@abelard.flet.mita.keio.ac.jp

For a general inquiry please contact;
The Linear96-Tokyo Meeting Office at
linear96@abelard.flet.mita.keio.ac.jp,
or at
Linear96 Office
Department of Philosophy
Keio University
Mita, Minatoku
Tokyo, 108, Japan

========================== latex version ==========================

\documentstyle{article}
\begin{document}
\begin{center}
\Large{Call for Papers\\}
\vspace{5mm}
\large{Linear Logic 96, Tokyo Meeting\\
March 29 - April 2, 1996}

\end{center}

\section*{}

The Scientific Program Committee is seeking contributed 
papers of on-going research in the field of linear logic, 
its applications and related fields. An extended abstract 
or preliminary report of up to 10 (ten) pages should be 
electronically submitted  ***BY JANUARY 19, 1996***  to 
the anonymous ftp-site abelard.flet.mita.keio.ac.jp and 
the directory /Linear96/submission. 

The paper should be written in latex. The author is reqired to
deposit both dvi-file and ps-file (the both files
should be set up as ****A4-SIZE**** (i.e., Not American letter 
size) with the first author's full name as the file names, 
eg. mitsuokada.ps and mitsuokada.dvi.
Use "anonymous" for the login-name and your email address as
the password; when your ftp-deposit is successful, the system sends 
you back the acknowledgement of the submission to the email address
you used for "password", in 10 minutes. (You cannot see the file name
you deposited since the directory is write-permitted only.
The deadline for submission is Jan 19, 1996. The acception/rejection
by the Scientific Program Committee will be notified by Feb 12
to the first authors' email address. 

Since linear logic was introduced by J-Y. Girard in 1986, 
it has been growing very rapidly and it is among the most 
influential areas of logic and theoretical computer science 
to be developed in the last ten years. Linear logic is known 
to have various novel features, such as its intrinsic ability 
to account for computational resources, or more generally, 
for computational state. The purpose of the Tokyo Linear Logic 
Meeting '96 is to set up a forum for the researchers in the 
field to discuss recent results and the future directions of 
research. The scientific program consists of the four and a half 
days sessions.  This is considered the best and most pleasant 
season in Japan.\\ 
\\
The Scientific Program Committee consists of\\
Jean-Yves Girard (LMD-CNRS, Marseille, France)\\
Mitsu Okada (Keio Univ., Tokyo, Japan)\\
Andre Scedrov (Univ. of Pennsylvania, USA).\\

\baselineskip 3mm



The invited speakers include:
\begin{enumerate}
\item[(1)] From Europe
    \begin{itemize}
      \item[]S. Abramsky, Edinburgh Univ 
      \item[]A. Asperti, Bologna  Univ
      \item[]G. Bierman, Cambridge Univ
      \item[]D. van Dalen, Univ Utrecht(*)
      \item[]V. Danos, Paris VII
      \item[]T. Ehrhard, LMD-Marseille
      \item[]J-Y. Girard, LMD-Marseille
      \item[]M. Kanovitch, Moscow Humanity Univ 
      \item[]Y. Lafont, LMD-Marseille
      \item[]F. Lamarche, Imperial College 
      \item[]F. Metayer, Paris VII 
      \item[]L. Ong, Oxford Univ and National Univ Singapore
      \item[]D. Prawitz, Univ Stockholm
      \item[]L. Regnier, LMD-Marseille
    \end{itemize}
  
\item[(2)] From North America  
    \begin{itemize}
      \item[]A. Blass, Univ Michigan(*)
      \item[]R. Blute, Ottawa 
      \item[]P. Freyd, Univ Penn  
      \item[]R. Jagadeesan, Loyola 
      \item[]A. Joyal, Univ Quebec-Montreal(*)  
      \item[]P. Lincoln, SRI 
      \item[]J. Mitchell, Stanford
      \item[]D. Miller, Univ Penn
      \item[]P. O'Hearn, Syracuse Univ 
      \item[]V. Pratt, Stanford Univ
      \item[]J. Reynolds, CMU
      \item[]A. Scedrov, Univ Penn
      \item[]P. Scott, Univ Ottawa 
      \item[]N. Shankar, SRI 
      \item[]G. Takeuti, Univ Illinois-Urbana
    \end{itemize}

\item[(3)] From Japan: 
    \begin{itemize}
      \item[]S.Hayashi, Univ Kobe 
      \item[]N.Kobayashi, Univ Tokyo 
      \item[]M.Kanazawa, Univ Chiba 
      \item[]K.Honda, Univ Manchester/Keio Univ  
      \item[]T.Ito, Tohoku Univ(*)
      \item[]M.Nagayama, TWCU 
      \item[]M.Okada, Keio Univ  
      \item[]H.Ono, JAIST  
      \item[]A.Yonezawa, Univ Tokyo(*) 
      \end{itemize}
\end{enumerate}

\baselineskip 5mm

(* is not confirmed yet)

\vspace{0.3cm}
The scientific program consists of 
\begin{enumerate}
\item[(1)] two special tutorials
J-Y Girard, "Recent Advancement of Linear Logic"
A. Scedrov, "Decision Problems and Optimization Problems in Linear Logic",
\item[(2)] invited papers sessions and contributed papers sessions,
\item[(3)] a panel discussion on the future directions of linear logic,
panelists include S. Abramsky, J-Y. Girard.
\end{enumerate}



Also there may be some scientific activities closely related
to this Meeting, such as mini-symposiums and mini-tutorials,
seminar talks, just before and after the Meeting dates. 
(At this moment,a mini-course on Proof Nets and Interaction Nets
by Yves Lafont, and Introductory Course on Linear Logic
by Girard-Lafont-Scedrov, and some other mini-courses or talks 
by J.Y.Girard, A.Scedrov and others are scheduled 
as well as a mini-symposium on influences of
linear logic and theoretical computer science to philosophy of
mathematics.)

\vspace{3mm}

We plan to publish the first proceedings composed of
extended abstracts or preliminary reports by a newly
established electronic journal, Electronic Notes in 
Theoretical Computer Science (an official journal of
the European Association for Theoretical Computer Science,
published by Elsevier-North Holland),
which will be electronically accessible to any members
of the institutions which  subscribe TCS (Theoretical Computer Science)
as well as  provided by a CD-Rom disk later; the electronic
publication (and the hard copy publication for the registered
participants of the Meeting) will be done just before or soon after
the Tokyo Meeting. (The registered participants
have the right of obtaining not only a hard-copy
but also of accessibility to the electronic issue of
ENTC.) Then we shall publish formal proceedings in
a book form (or a special issue of a journal) composed of  
polished papers in the way similar to the case of the
Linear Logic Workshop 93 at Cornell with the "Advances in Linear
Logic" volume (Cambridge U.P.), which we plan to publish around one year
after the meeting. 

A further information on the Linear 96 Meeting,
including program , registration and hotel information,
will be announced shortly. 
See the anonymous ftp-site
abelard.flet.mita.keio.ac.jp:/Linear96/infomation
or WWW-mosaic \\
 http://abelard.flet.mita.keio.ac.jp/Linear96.html,
for more detailed and up-dated information.\\
\\
The Organizer of the Tokyo Linear Logic Meeting 96.\\
Mitsu Okada (Keio Univ., Tokyo, Japan).\\
mitsu@abelard.flet.mita.keio.ac.jp\\
\\
For a general inquiry please contact;\\
The Linear96-Tokyo Meeting Office at\\
linear96@abelard.flet.mita.keio.ac.jp,\\
or at\\
Linear96 Office\\
Department of Philosophy\\
Keio University\\
Mita, Minatoku\\
Tokyo, 108, Japan\\
=======================================================
\end{document}