Barcelona Meeting 2005

<DIV STYLE="text-align: center;"> <H2><B>Algebraic and Topological Methods in Non-Classical Logics II</H2> <H2>Barcelona, 15-18 June 2005</B></H2> </DIV> <P>This meeting shares the goals of the Tbilisi conference with the same title, held in July 2003, as well as those of the Patras conference on many-valued logics and residuated structures, held in June 2004.</P> <P>In recent years the interest in non-classical logics has been growing. Motivations from computer science, natural language reasoning and linguistics have played a significant role in this development. The semantic study of non-classical logics is a field where no single overarching paradigm has been established, and where a variety of techniques are currently being explored. An important goal of this meeting is to promote the cross-fertilization between the fundamental ideas connected with these approaches. Thus, we aim to bring together researchers from various fields of non-classical logics and applications, as well as from lattice theory, universal algebra, category theory and general topology, in order to foster collaboration and further research.</P> <P>The scientific programme of the congress will include a few invited lectures and will provide ample time for contributed talks and interaction between participants. Researchers whose interests fit the general aims of the conference are encouraged to participate. The featured areas include, but are not limited to, the following (in alphabetical order):</P> <BLOCKQUOTE> - Algebraic logic<BR> - Coalgebraic semantics <BR> - Categorical semantics in general <BR> - Dynamic logic and dynamic algebras<BR> - Fuzzy and many-valued logics<BR> - Lattices with operators<BR> - Modal logics<BR> - Ordered topological spaces <BR> - Ordered algebraic structures<BR> - Residuated structures<BR> - Substructural logics<BR> - Topological semantics of modal logic </BLOCKQUOTE> <H4>INVITED SPEAKERS</H4> <P> <BR> <B>GURAM BEZHANISHVILI</B><BR> New Mexico State University, Las Cruces (USA)<BR> <B><I>Subframe logics, nuclei, and pointless topologies</I></B> <P> <B>ROBERT GOLDBLATT</B><BR> Victoria University, Wellington (New Zealand)<BR> <B><I>Maps and monads for modal frames</I></B><P> <B>IAN HODKINSON</B><BR> Imperial College London (UK)<BR> <B><I>Some recent developments in canonicity</I></B><P> <B>PETER JIPSEN</B><BR> Chapman University, Orange (USA)<BR> <B><I>Algebraic Gentzen systems and ordered structures</I></B> <P> <B>FRANCO MONTAGNA</B><BR> Università di Siena (Italy)<BR> <B><I>Amalgamation and interpolation in many-valued logics</I></B><P> <B>HILARY PRIESTLEY</B><BR> Mathematical Institute, University of Oxford (UK)<BR> <B><I>What can the theory of canonical extensions and dualities tell us<BR> about MV-algebras and l-groups?</I></B><P> <B>JAMES RAFTERY</B><BR> University of KwaZulu-Natal, Durban (South Africa)<BR> <B><I>(TBA)</I></B> </P> <H4>PROGRAMME COMMITTEE</H4> <P> <B>Leo Esakia</B>, Georgian Academy of Sciences<BR> <B>Mai Gehrke</B>, New Mexico State University <BR> <B>Petr Hájek</B>, Academy of Sciences of the Czech Republic<BR> <B>Ramon Jansana</B>, Universitat de Barcelona<BR> <B>Hiroakira Ono</B>, Japan Advanced Institute for Science and Technology (<I>chair</I>)<BR> <B>Constantine Tsinakis</B>, Vanderbilt University<BR> <B>Yde Venema</B>, Universiteit van Amsterdam<BR> <B>Michael Zacharyaschev</B>, King's College </P> <H4>ORGANIZING COMMITTEE</H4> <P><B>Josep Maria Font</B>, Universitat de Barcelona (<I>chair</I>)<BR> <B>Àngel Gil</B>, Universitat Pompeu Fabra (Barcelona)<BR> <B>José Gil</B>, Universitat de Barcelona<BR> <B>Joan Gispert</B>, Universitat de Barcelona<BR> <B>Carles Noguera</B>, Institut d'Investigació en Intel·ligència Artificial (Bellaterra) <BR> <B>Antoni Torrens</B>, Universitat de Barcelona<BR> <B>Ventura Verdú</B>, Universitat de Barcelona </P> <H4>SPONSORING INSTITUTIONS</H4> <P>Ministry of Education and Science of the Spanish government<BR> Department of Universities, Research and Information Society of the Generalitat de Catalunya (Catalan government)<BR> Faculty of Mathematics of the University of Barcelona<BR> Faculty of Philosophy of the University of Barcelona (to be confirmed)<BR> Catalan Mathematical Society </P> <P>With the collaboration of IMUB (Institute of Mathematics, University of Barcelona) and IIIA (Artificial Intelligence Research Institute, CSIC). </P> <H4>CONTRIBUTED TALKS</H4> <BR> <P> The Programme Committee, under the coordination of Yde Venema, selected 87 out of the 112 talks submitted for presentation at the meeting. The submission of contributed papers was made through the <A HREF="http://atlas-conferences.com/cgi-bin/abstract/capu-01" TARGET="_blank"> Atlas site </A>. </P> <P> In the end 80 talks were presented at the meeting, organized in three parallel sessions. Talks did last 20-25 minutes, to allow for discussion, room-shuffling and equipment preparation. All lecture rooms had a blackboard, an overhead projector, a beamer, and a Windows-equipped computer with Acrobat Reader and PowerPoint installed, USB port and CD reader. Speakers could also plug in their own computers; however, in order to save time and avoid potential problems, we strongly advised all speakers using computer and beamer to bring their presentation in an USB flash memory device or a CD-ROM; running it from the room's computer helped to avoid potential problems. Some presentations in Word using nonstandard fonts had display problems. </P> <P> Abstracts of talks: Upon registration, participants received a booklet containing abstracts of all contributed talks, as well as of the invited lectures. You can download the corresponding <A HREF="Booklet.pdf" TARGET="_blank"> PDF file</A> (680 KB). </P> <H4>CONGRESS VENUE</H4> <P> The meeting took place at the Facultat de Matemàtiques of the Universitat de Barcelona, a 19th century building located in the city centre.</P> <DIV STYLE="text-align: center;"><IMG SRC="FMUB.gif" WIDTH="300" HEIGHT="136"></DIV> <P>The address is: Gran Via de les Corts Catalanes 585, 08007 Barcelona, Spain. The building is on the square known as Plaça de la Universitat (University square). This square is served by buses numbers 9, 14, 16, 17, 24, 41, 50, 54, 55, 56, 58, 59, 63, 64, 66, 67, 68, 91, 94 and 95, and by underground lines 1 and 2 (lines 3 and 4 have slightly less close stops). Click <A HREF="mapa.fh9.jpg" TARGET="_blank">here</A> for a bird's eye view of its location inside the city, and click <A HREF="http://www.bcn.es/cgi-guia/guiamap4/cgi-guia/?actives=&scl=4&cnt=30196.57%2C82208.48&plt=30198.35%2C82210.23&plant=capes4a&txt1=&txt2=G.V.+de+les+Corts+Catalanes%2C+585&idioma=2&grayscl=0&zoom=1&map.x=280&map.y=201" TARGET="_blank">here</A> for a detailed interactive map.</P> <P>The lecture rooms were on the ground floor of the building. A nearby computer room with internet access was at the disposal of all participants.</P> <BR> <P><A HREF="trans_meeting.htm" TARGET="_blank">CLICK HERE FOR INFORMATION ON HOW TO MOVE BETWEEN THE AIRPORT, THE CONFERENCE SITE, THE HOTELS AND THE CONFERENCE DINNER</A></P> <BR> <H4>SOME LINKS</H4> <P><B><A HREF="http://www.bcn.es/" TARGET="_blank">Barcelona official site </A></B></P> <P><B><A HREF="http://www.tmb.net/" TARGET="_blank">Barcelona's transport system </A></B></P> <P><B><A HREF="http://www.aena.es/csee/Satellite? cid=1045569607459&pagename=Estandar%2FPage%2FAeropuerto&SMO= -1&SiteName=BCN&c=Page&MO=0&lang=EN_GB" TARGET="_blank">Barcelona Airport </A></B></P> <P><B><A HREF="http://www.barcelonaturisme.com" TARGET="_blank">Barcelona touristic office </A></B></P> <P><B><A HREF="http://www.gencat.net" TARGET="_blank">Generalitat de Catalunya (Catalonia's government) </A></B></P> <P><B><A HREF="http://www.gencat.net/turistex_nou/home.htm" TARGET="_blank">Tourism in Catalonia </A></B></P> <H4>LODGING</H4> <P> Barcelona is a rather expensive city. This is especially true of hotel rooms in the centre, near the venue of the meeting. We advised everyone to book flights and hotels as early as possible. </P> <P> We offered two accommodation options for participants. </P> <UL> <LI> Our travel agency offered a limited numbers of rooms in some selected hotels at special prices. <A HREF="http://www.hotel-lleo.com/eng/home.php" TARGET="_blank">Hotel Lleó </A> and <A HREF="http://www.hotelh10gravina.com/" TARGET="_blank">Hotel Gravina </A> were closest to the congress venue, while <A HREF="http://www.hotelsagradafamilia.com/" TARGET="_blank">Hotel Sagrada Familia </A> and <A HREF="http://www.amrey-hotels.com/hotelsantpau/EN/IndexHeader.php" TARGET="_blank">Hotel Sant Pau </A> were cheaper.</LI> <LI> A small number of rooms in student residences (Penyafort-Montserrat and La Ciutat) were also reserved. The reservations for these rooms were handled directly by the organizers.</LI> </UL> <P> All the hotels and residences were within easy reach of the congress venue, either on foot or by public transport (underground or bus). <A HREF="HotelsMap.jpg" TARGET="_blank"> This map</A> shows the location of the hotels and the nearest underground stations, marked <A HREF="http://www.tmb.es" TARGET="_blank"><IMG SRC="metro.gif" BORDER="0"></A>. </P> <H4>SOCIAL ACTIVITIES</H4> <BR> <UL><LI> An informal <strong>welcome reception</strong> took place on Tuesday 14th, at 19:00, in the hall called "Paraninf" in the university's building. This included a short lecture about the history of the University of Barcelona (which is now celebrating its 555 aniversary) and about the old university building, and ended with drinks and snacks. </LI> <BR> <LI> A <strong>dinner</strong> for participants and accompanying persons took place in the restaurant "El Cangrejo Loco", located in the Olympic Port, in the evening of Saturday, June 18th. The price of the ticket was 30 euro for registered participants, and 40 euro for accompanying persons. This dinner was attended by 81 persons. </LI> </UL> <H4>PARTICIPANTS</H4> <BR> <P>The meeting was attended by 114 participants, coming from 26 different countries. <A HREF="assistents.html" TARGET="_blank"> Here</A> you can see the list of all participants and their e-mail addresses (spam-safe). The statistics as to country of permanent residence is as follows (this was not an easy count; sorry for any mistakes!):</P> <P>Spain, 16</P> <P>Italy, 14</P> <P>Czech Republic, 13</P> <P>United States of America, 9</P> <P>Poland, 7</P> <P>Portugal, 7</P> <P>Argentina, 6</P> <P>Georgia, 6</P> <P>Russia, 6</P> <P>Great Britain, 5</P> <P>The Netherlands, 3</P> <P>Austria, 2</P> <P>Belgium, 2</P> <P>Canada, 2</P> <P>Germany, 2</P> <P>Japan, 2</P> <P>Serbia and Montenegro, 2</P> <P>South Africa, 2</P> <P>Algeria, 1</P> <P>Australia, 1</P> <P>Cameroon, 1</P> <P>France, 1</P> <P>Greece, 1</P> <P>Hungary, 1</P> <P>Romania, 1</P> <P>New Zealand, 1</P> <BR> <P> This map shows the regions of the earth where participants came from: </P> <DIV STYLE="text-align: center;"><IMG SRC="countries.gif" WIDTH="300" HEIGHT="136"></DIV> <BR> Here are some pictures of most of the participants: in the <A HREF="picture1.jpg" TARGET="_blank"> patio</A> and in the <A HREF="picture2.jpg" TARGET="_blank"> stairs</A> (sorry, out of focus!). <H4>MORE INFORMATION</H4> <BR> <P> <A HREF="assistents.html">List of registered participants</A></P> </P> <BR> <P><A HREF="trans_meeting.htm" target="_blank">HOW TO MOVE BETWEEN THE AIRPORT, THE CONFERENCE SITE, THE HOTELS AND THE CONFERENCE DINNER</A></P> <BR> <P><A HREF="visitors.html">Some useful informations for travelers to Barcelona</A></P> <BR> <P>You can write to <A HREF="mailto:mathlog@ub.edu?subject=Information enquiry">mathlog@ub.edu</A> for more information about the meeting.</P> <BR> <P><A HREF="announcement.html" TARGET="_blank">Here</A> you can see and print the entire <B>second announcement</B>.</P> </FRAMESET> </HTML>