Recherche dans notre base de donnees
Discipline
|
Logiciel de gestion de conférences Notre système de gestion de conférences en ligne (COMS) vous permet de:
- gérer l'organisation de la conférence en ligne
- gérer les inscriptions
- gérer les soumissions de présentations
- gérer la procédure de revue
- sélectionner les présentations
Pour en savoir plus ...
Conférences - Algèbre - Pays-Bas
Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs.
Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!
Les organisateurs peuvent soumettre une réunion ou une conférence pour inclusion dans nos listes, et ceci gratuitement.
Sélecionner un pays:
Allemagne (5) - Argentine (1) - Autriche (1) - Biélorussie (1) - Brésil (2) - Chine (1) - Espagne (2) - Grèce (1) - Pays-Bas (1) - Pologne (3) - Royaume-Uni (1) - Russie (1) - République tchèque (1) - Serbie (2) - Suisse (1) - Ukraine (1) - États-Unis (10) - TOUS LES PAYS (35)
| 1. |  [ID=228680]TACL 2009 — Topology, Algebra, and Categories in Logics 2009 | | 07 Jul 2009 → 11 Jul 2009; Amsterdam, Pays-Bas | | Résumé: Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2009 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. | | Sujets: Algebraic logic, Coalgebraic semantics, Categorical methods in logic, Domain theory, many-valued logics, Modal logics, Substructural logics, Ordered topological spaces, Ordered algebraic structures, Pointfree topology, Residuated structures, Stone-type dualities | | Page web: http://www.illc.uva.nl/tacl09/ | | Sujets apparentés: Logique; Géométrie et topologie |
Pays-Bas: liste de tous les évènements/conférences.
dernière mise à jour: 12 Décembre 2008
|
