Im Konferenzkalender suchen
Disziplin
|
Konferenzmanagement Software Das neues, digitale Konferenzmanagement- system (COMS) ist jetzt verfügbar!
Als Organisator einer Tagung benutzen Sie COMS um:
- Teilnehmer-
anmeldungen
- Vortrags-
ankündigungen
- Begutachtung, Redaktion und Auswahl der Vortrags-
anmeldungen
online anzubieten bzw. durchzuführen.
Jetzt anmelden!
Tagungen und Workshops zum Thema Logik
Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung.
Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.
Organisatoren können kostenlos ihre Konferenzankündigungen veröffentlichen.
Wählen Sie ein Land aus: Brasilien (1) - Deutschland (1) - Niederlande (1) - Portugal (1) - Tschechische Republik (3) - Vereinigte Staaten (3) - Österreich (1) ALLE LÄNDER
| 1. | [ID=318550]Boise Extravaganza in Set Theory | | 27. Mär 2010 → 29. Mär 2010; Boise, Idaho, Vereinigte Staaten | | Veranstalter: Scientific Committee: Liljana Babinkostova, Andres Caicedo, Masaru Kada and Marion Scheepers Social Comittee: Billy Hudson | | Zusammenfassung: 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. | | Webseite: http://diamond.boisestate.edu/~best/ |
| 2. | [ID=302289]UNILOG'2010 — World Congress and School on Universal Logic III | | 18. Apr 2010 → 25. Apr 2010; Lissabon, Portugal | | Zusammenfassung: 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? | | Webseite: http://www.uni-log.org |
| 3. | [ID=318491]Young set thory workshop | | 15. Mai 2010 → 19. Mai 2010; Raach, Österreich | | Veranstalter: 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. | | Zusammenfassung: 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" | | Webseite: http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2010/ | | | | 4. | [ID=270206]Motives and Homotopy Theory of Schemes | | 16. Mai 2010 → 22. Mai 2010; Oberwolfach, Deutschland | | Veranstalter: Mathematisches Forschungsinstitut Oberwolfach | | Webseite: http://www.mfo.de/programme/schedule/2010/ | | | | 5. | [ID=327667]BLAST 2010 | | 02. Jun 2010 → 06. Jun 2010; Boulder, CO, Vereinigte Staaten | | Zusammenfassung: 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. | | Webseite: http://euclid.colorado.edu/~kasterma/blast/index.php | | Verwandte Fachgebiete: Algebra | | | | 6. | [ID=327551]LOGICA 2010 | | 21. Jun 2010 → 25. Jun 2010; Hejnice, Tschechische Republik | | Zusammenfassung: 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. | | Themen: logic, philosophical logic, mathematical logic, philosophy of language, philosophy of mathematics | | Webseite: http://www.flu.cas.cz/logica | | | | 7. | [ID=328277]WoLLIC 2010 — 17th Workshop on Logic, Language, Information and Computation | | 06. Jul 2010 → 09. Jul 2010; University of Brasília, Brasília, Brasilien | | Zusammenfassung: 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). | | Webseite: http://wollic.org/wollic2010/ | | Verwandte Fachgebiete: Informationstheorie und Grundlagen der Informatik | | | | 8. | [ID=305165]AIM Workshop: Differentiable structures on finite sets | | 02. Aug 2010 → 06. Aug 2010; American Institute of Mathematics, Palo Alto, Vereinigte Staaten | | Zusammenfassung: 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. | | Webseite: 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, Niederlande | | Webseite: http://www.illc.uva.nl/pplm/ | | | | 10. | [ID=311577]LATD 2010 — Logic, Algebra and Truth Degrees | | 03. Sep 2010 → 11. Sep 2010; Prag, Tschechische Republik | | Zusammenfassung: 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 | | Themen: Mathematical fuzzy logic, algebraic semantics for fuzzy logics, proof theory for fuzzy logics, first-order fuzzy logics, substructural logics, residuated lattices | | Webseite: http://www.mathfuzzlog.org/latd2010/ | | | | 11. | [ID=316879]Logic, Algebra and Truth Degrees 2010 | | 07. Sep 2010 → 11. Sep 2010; Prag, Tschechische Republik | | Zusammenfassung: 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. | | Webseite: http://www.mathfuzzlog.org/latd2010/ | | |
Stand vom 31. Januar 2010
|