[asian-logic 160] UNILOG '05 - Montreux
"COSTA LEITE Alexandre" <[email protected]> Wed, 26 May 2004 15:01:31 +0200
| Newsgroups | gmane.science.mathematics.logic.asian |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format.
------_=_NextPart_001_01C44321.90E5202F
Content-Type: text/plain;
charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
************************************************************************
************************************************************************
*******************
1st World Congress and School on Universal Logic (UNILOG 2005)=20
Montreux - Switzerland, School : March 26-30 ; Congress : March 31 -
April 3, 2005=20
This event will focus on:=20
1) Techniques that can be used for a general theory of logics (Labelled
deductive systems, Kripke structures, Logical matrices, etc.) ;=20
2) Studies of classes of logics (Substructural logics, Non monotonic
logics, Paraconsistent logics, etc.)=20
3) Scope of validity and domain of application of fundamental theorems
of logic (Completeness, Deduction, Cut-elimination, etc.)
4) Philosophical considerations about the nature of logic and the
universality of some logical laws or axioms=20
The school is intended for advanced students and young researchers.
There will be about 20 tutorials on many subjetcs: combination of
logics, multiple conclusion logic, combinatory logic, logics and games,
abstract model theory, logic as language vs. logic as calculus,
category theory for logics, etc.
Invited speakers of the congress will include A.Avron, D.Batens,
J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva,
K.Segerberg.
Contributed papers for the congress can be submitted before October 30,
2004.=20
More information on the website: http://www.uni-log.org
<http://www.uni-log.org/>=20
************************************************************************
********************************************************************
=20
=20
=20
=20
------_=_NextPart_001_01C44321.90E5202F
Content-Type: text/html;
charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
<html>
<head>
<META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; =
charset=3Dus-ascii">
<meta name=3DGenerator content=3D"Microsoft Word 10 (filtered)">
<style>
<!--
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman";}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{color:teal;
text-decoration:underline;}
p
{margin-right:0cm;
margin-left:0cm;
font-size:12.0pt;
font-family:"Times New Roman";}
span.StyleCourrierlectronique17
{font-family:Arial;
color:windowtext;}
@page Section1
{size:595.3pt 841.9pt;
margin:70.85pt 70.85pt 70.85pt 70.85pt;}
div.Section1
{page:Section1;}
-->
</style>
</head>
<body lang=3DFR-CH link=3Dblue vlink=3Dteal>
<div class=3DSection1>
<p class=3DMsoNormal><font size=3D2 face=3DArial><span =
style=3D'font-size:11.0pt;
font-family:Arial'>******************************************************=
*************************************************************************=
************************************<br>
<b><span style=3D'font-weight:bold'>1st World Congress and School on =
Universal Logic
(UNILOG 2005) <br>
Montreux<font color=3Dnavy><span style=3D'color:navy'> =
–</span></font> Switzerland,
School : <font color=3Dnavy><span =
style=3D'color:navy'> </span></font>March
26-30 ; Congress : March 31 - April 3, 2005</span></b> =
</span></font></p>
<p><font size=3D2 face=3DArial><span =
style=3D'font-size:11.0pt;font-family:Arial'>This
event will focus on: </span></font></p>
<p><font size=3D2 face=3DArial><span =
style=3D'font-size:11.0pt;font-family:Arial'>1)
Techniques that can be used for a general theory of logics (Labelled =
deductive systems,
Kripke structures, Logical matrices, etc.) ; </span></font></p>
<p><font size=3D2 face=3DArial><span =
style=3D'font-size:11.0pt;font-family:Arial'>2) Studies
of classes of logics (Substructural logics, Non monotonic logics, =
Paraconsistent
logics, etc.) </span></font></p>
<p><font size=3D2 face=3DArial><span =
style=3D'font-size:11.0pt;font-family:Arial'>3)
Scope of validity and domain of application of fundamental theorems of =
logic (Completeness,
Deduction, Cut-elimination, etc.)</span></font></p>
<p><font size=3D2 face=3DArial><span =
style=3D'font-size:11.0pt;font-family:Arial'>4) Philosophical
considerations about the nature of logic and the universality of some =
logical laws
or axioms </span></font></p>
<p><font size=3D2 face=3DArial><span =
style=3D'font-size:11.0pt;font-family:Arial'>The
school is intended for advanced students and young researchers. There =
will be
about 20 tutorials on many subjetcs: combination of logics, multiple =
conclusion
logic, combinatory logic, logics and games, abstract model theory, =
logic
as language vs. logic as calculus, category theory for logics, =
etc.</span></font></p>
<p><font size=3D2 face=3DArial><span =
style=3D'font-size:11.0pt;font-family:Arial'>Invited
speakers of the congress will include A.Avron, D.Batens, J.Corcoran, =
M.Dunn, D.Gabbay,
R.Jansana, A.Koslow, V.de Paiva, K.Segerberg.</span></font></p>
<p><font size=3D2 face=3DArial><span =
style=3D'font-size:11.0pt;font-family:Arial'>Contributed
papers for the congress can be submitted before October 30, 2004. =
</span></font></p>
<p><font size=3D2 face=3DArial><span =
style=3D'font-size:11.0pt;font-family:Arial'>More
information on the website: <a =
href=3D"http://www.uni-log.org/">http://www.uni-log.org</a></span></font>=
</p>
<p><font size=3D2 face=3D"Times New Roman"><span =
style=3D'font-size:10.0pt'>**********************************************=
*************************************************************************=
*********************</span></font></p>
<p class=3DMsoNormal><font size=3D2 face=3DArial><span =
style=3D'font-size:10.0pt;
font-family:Arial'> </span></font></p>
<p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span =
style=3D'font-size:
12.0pt'> </span></font></p>
<p class=3DMsoNormal><font size=3D2 face=3DArial><span =
style=3D'font-size:10.0pt;
font-family:Arial'> </span></font></p>
<p class=3DMsoNormal><font size=3D2 face=3DArial><span =
style=3D'font-size:10.0pt;
font-family:Arial'> </span></font></p>
</div>
</body>
</html>
=00
------_=_NextPart_001_01C44321.90E5202F--