Services aux conférences Mandl

Résumé: The 19-th annual meeting of BEST is an international conference with focus Set Theory and its Applications. It is a low cost event accessible to graduate students and early career mathematicians. Its goals include providing a forum for interaction between set theory and related fields of mathematics, as well as a venue for interaction between early career set theorists and leaders in the field. Participation by underrepresented groups in set theory and its impact fields is especially welcomed.

Résumé: 10 invited speakers, among them: Hartry Field, George Grätzer, Yuri Gurevich, Gehrard Jaeger, Dana Scott.

10 special sessions, among them: logic diagrams, substructural logics, non-classical mathematics, categorical logic, mutlimodal logics.

21 tutorials, among them: Hybrid logic, Logical Pluralism, Erotetic Logics, Truth-values, Refutation, Ideospheres, Institutions.

1 contest: How to combine logics?

Résumé: We organise the Young Set Theory" to give talented young researchers in set theory the opportunity to learn from experts and from each other in a friendly co-operative environment. A network of young researchers and senior researchers who support their work needs to be created in order to establish working contacts and to better disseminate knowledge in the field. The goal of these workshops is to bring together postgraduates and postdocs in set theory in order to learn from senior researchers in the field, hear about the latest research and to discuss research issues in small focused groups. The conference will take place at Seminarzentrum Raach (http://www.szr.at) located 1 hour south of Vienna in Raach am Hochgebirge. We will take a bus from the Kurt Gödel Research Center (KGRC) in Vienna to Raach on Sunday 14 February 2010 in the evening. We will return to Vienna in the late afternoon on 19 February"

Résumé: BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Algebraic Logic, Set Theory, Set-theoretic Topology and Point-free Topology.

Résumé: The 24th in the series of annual international symposia devoted to logic. Invited speakers are Kosta Došen, Hannes Leitgeb, Hans Rott and Krister Segerberg.Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for ‘philosophically’ and for ‘mathematically’ oriented logicians.

Résumé: WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Seventeenth WoLLIC will be held in Brasília, Brazil, from July 6th to 9th, 2010. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computaçăo (SBC), and the Sociedade Brasileira de Lógica (SBL).

Résumé: This workshop, sponsored by AIM and the NSF, will focus on recent activity in the study of Lipschitz structures on finite sets. In particular, the workshop will address the question of whether there is a reasonable notion of structures on a finite set involving higher degrees of smoothness.

Résumé: Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields. Deadline for submissions: 20 March 2010. Invited speakers: Arnon Avron, Félix Bou, Agata Ciabattoni, Roberto Cignoli, Ioana Leustean, Franco Montagna, James G. Raftery, and Hiroakira Ono. Tutorials by: George Metcalfe and Vilém Novák. Program committee: Petr Hájek (Chair), Antonio Di Nola, Christian Fermüller, Siegfried Gottwald, Daniele Mundici, and Carles Noguera

Résumé: Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy.