Search the Conference Calendar
Browse by subject
|
Conference Management Software Our Conference Management Software (COMS) can be used for online:
- registration
- paper submission
- review process
- paper selection
- conference management
Read more ...
Try our demo online
Conferences and Meetings on Logic
Conference-Service.com offers, as part of our business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events.
Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organizer before making arrangements to participate in an event!
Meeting organizers can submit meetings free of charge for inclusion into the listing.
Select a location: Austria (1) - Brazil (1) - Czech Republic (3) - Germany (1) - Netherlands (1) - Portugal (1) - United States (3) ALL COUNTRIES
| 1. | [ID=318594]Boise Extravaganza in Set Theory | | 27 Mar 2010 → 29 Mar 2010; Boise, Idaho, United States | | organizer: Scientific Committee: Liljana Babinkostova, Andres Caicedo, Masaru Kada and Marion Scheepers Social Comittee: Billy Hudson | | abstract: 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. | | weblink: http://diamond.boisestate.edu/~best/ |
| 2. | [ID=302223]UNILOG'2010 — World Congress and School on Universal Logic III | | 18 Apr 2010 → 25 Apr 2010; Lisbon, Portugal | | abstract: 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? | | weblink: http://www.uni-log.org |
| 3. | [ID=318502]Young set thory workshop | | 15 May 2010 → 19 May 2010; Raach, Austria | | organizer: Organising Committee: Bernhard Irrgang, David Schrittesser, Katie Thompson. Scientific Committee: Piotr Borodulin-Nadzieja, Andrew Brooke-Taylor (chair), Vera Fischer, Gunter Fuchs, Asger Törnquist, Matteo Viale. | | abstract: 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" | | weblink: http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2010/ | | | | 4. | [ID=270151]Motives and Homotopy Theory of Schemes | | 16 May 2010 → 22 May 2010; Oberwolfach, Germany | | organizer: Mathematisches Forschungsinstitut Oberwolfach | | weblink: http://www.mfo.de/programme/schedule/2010/ | | | | 5. | [ID=327667]BLAST 2010 | | 02 Jun 2010 → 06 Jun 2010; Boulder, CO, United States | | abstract: 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. | | weblink: http://euclid.colorado.edu/~kasterma/blast/index.php | | related subject(s): Algebra | | | | 6. | [ID=327573]LOGICA 2010 | | 21 Jun 2010 → 25 Jun 2010; Hejnice, Czech Republic | | abstract: 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. | | topics: logic, philosophical logic, mathematical logic, philosophy of language, philosophy of mathematics | | weblink: http://www.flu.cas.cz/logica | | | | 7. | [ID=328288]WoLLIC 2010 — 17th Workshop on Logic, Language, Information and Computation | | 06 Jul 2010 → 09 Jul 2010; University of Brasília, Brasília, Brazil | | abstract: 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). | | weblink: http://wollic.org/wollic2010/ | | related subject(s): Information Theory, Foundations of Computer Science | | | | 8. | [ID=305176]AIM Workshop: Differentiable structures on finite sets | | 02 Aug 2010 → 06 Aug 2010; American Institute of Mathematics, Palo Alto, United States | | abstract: 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. | | weblink: http://aimath.org/ARCC/workshops/smoothextension.html | | | | 9. | [ID=326555]Workshop Practice-based Philosophy of Logic and Mathematics | | 31 Aug 2010 → 02 Sep 2010; Amsterdam, Netherlands | | weblink: http://www.illc.uva.nl/pplm/ | | | | 10. | [ID=311533]LATD 2010 — Logic, Algebra and Truth Degrees | | 03 Sep 2010 → 11 Sep 2010; Prague, Czech Republic | | abstract: 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 | | topics: Mathematical fuzzy logic, algebraic semantics for fuzzy logics, proof theory for fuzzy logics, first-order fuzzy logics, substructural logics, residuated lattices | | weblink: http://www.mathfuzzlog.org/latd2010/ | | | | 11. | [ID=316824]Logic, Algebra and Truth Degrees 2010 | | 07 Sep 2010 → 11 Sep 2010; Prague, Czech Republic | | abstract: 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. | | weblink: http://www.mathfuzzlog.org/latd2010/ | | |
last updated: 31 January 2010
|