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!
| 3. |  [ID=129313]SLALM — XIV Simposio Latinoamericano de Lógica Matemática |
| 11 May 2008 → 17 May 2008; Paraty-Rio de Janeiro, Brazil |
| abstract: The topics include Philosophical and Mathematical Logic and applications with emphasis on Model Theory and Proof Theory, Set Theory, Non-Classical Logics and applications, History and Philosophy of Logic, Philosophy of the Formal Sciences and Foundations of Mathematics. |
| weblink: http://www.cle.unicamp.br/cle30-ebl-slalm/index.php?pag=abertura.php |
| |
| 4. | [ID=122322]LID 2008 — Logic in Databases |
| 15 May 2008 → 16 May 2008; Rome, Italy |
| weblink: http://conferenze.dei.polimi.it/lid2008/ |
| related subject(s): Database Technology and Design |
| |
| 5. | [ID=101975]ManyVal '08 - Applications of Topological Dualities to Measure Theory in Algebraic Many-Valued Logic |
| 19 May 2008 → 21 May 2008; Milan, Italy |
| organizer: Stefano Aguzzoli (Milan), Brunella Gerla (Varese), Vincenzo Marra (Milan) |
| abstract: ManyVal is a prospective series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic. Accordingly, each edition has a sharp focus. The attendance is limited to approximately thirty participants in order to facilitate close and informal interaction. There are no parallel sessions. ManyVal'08 will focus on: States of MV-algebras and generalizations; Topological dualities in algebraic logic; Measure theory on dual spaces of algebras of logics; Subjective probability and many-valued reasoning. |
| weblink: http://manyval.dsi.unimi.it/ |
| related subject(s): Geometry and Topology |
| |
| 6. | [ID=92149]CCR2008 — 2008 Conference on Computability, Complexity and Randomness |
| 19 May 2008 → 23 May 2008; Nanjing, China |
| abstract: The invited speakers include: L. Bienvenu, C.T. Chong, N. Greenberg, B. Kjos-Hanssen, S. Lempp, J. Reimann, T. Slaman, and X. Zhao. The members of the Program Committee are: V. Becher, R. Downey, D. Hirschfeldt, J. Lutz, W. Merkle, J. Miller, and L. Yu. The Local Organizers are D. Deng and L. Yu. |
| weblink: http://ims.nju.edu.cn/conference/randomness/ |
| related subject(s): Applied Maths: Numerical Analysis and Computational Mathematics; Probability and Statistics |
| |
| 7. | [ID=93491]ISMVL — 38th International Symposium on Multiple-Valued Logic |
| 22 May 2008 → 24 May 2008; Dallas, TX, United States |
| weblink: http://engr.smu.edu/ismvl08/ |
| related subject(s): Information Theory, Foundations of Computer Science |
| |
| 8. | [ID=156179]The First Franco-Maghrebian Computer Algebra Conference |
| 23 May 2008 → 26 May 2008; Kerkennah island, Sfax, Tunisia |
| organizer: A. Galligo (Nice), H. Lombardi (Besançon), I. Yengui (Sfax), M. El Kahoui (Marrakech), M.-F. Roy (Rennes) |
| abstract: Le Calcul Formel est un domaine mathématique qui a connu, ces dernières décennies, un grand avancement grâce au développement remarquable des outils informatiques. Des applications pratiques sont développées maintenant à une échelle significative. La France occupe une position importante dans cette discipline, mais elle est relativement peu développée dans les pays du Maghreb. Une percée remarquable a été opérée par les équipes de Marrakech et Sfax, avec de nombreuses publications à leur actif. Ce colloque sera une occasion pour les équipes locales de rencontrer des experts français, d'exposer leurs propres travaux et nouer ou renforcer des liens pour les coopérations futures. Nous espérons aussi que des chercheurs du Maghreb connaissant peu le sujet pourront s'inscrire au colloque et y trouver une source d'inspiration pour leurs travaux. Ce colloque est ouvert à tous les thèmes ou le calcul formel peut jouer un rôle (algèbre commutative effective, algèbre différentielle, s |
| weblink: http://www.colloquesfax.fr.tc/ |
| related subject(s): Applied Maths: Numerical Analysis and Computational Mathematics |
| |
| 9. | [ID=110684]FM'08 — FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS |
| 26 May 2008 → 30 May 2008; Turku, Finland |
| weblink: http://www.fm2008.abo.fi/ |
| related subject(s): Information Theory, Foundations of Computer Science |
| |
| 10. | [ID=156433]Methods of Logic in Mathematics |
| 01 Jun 2008 → 07 Jun 2008; The Euler International Mathematical Institute, Sa, Russia |
| abstract: This is the fifth meeting in a series of meetings which take place every summer in the Euler International Mathematical Institute in St. Petersburg. The invited talks of conference will present recent development in mathematical logic and its interactions with other areas of mathematics, esp. number theory, algebra, etc. There will be two tutorial talks which will focus on the current research interests of logic groups in Vienna and St. Petersburg. |
| weblink: http://www.pdmi.ras.ru/EIMI/2008/MLM/ |
| |
| 11. | [ID=158793]IWLS 08 — International Workshop on Logic and Synthesis |
| 04 Jun 2008 → 06 Jun 2008; Lake Tahoe, CA, United States |
| weblink: http://www.iwls.org |
| |
| 12. | [ID=92493]CiE 2008 — Computability in Europe 2008: Logic and Theory of Algorithms |
| 15 Jun 2008 → 20 Jun 2008; Athens, Greece |
| weblink: http://www.cs.swan.ac.uk/cie08/ |
| related subject(s): Multidisciplinary or General Events in Informatics; Algorithms |
| |
| 13. | [ID=153167]TIME 2008 — Fifteenth International Symposium on Temporal Representation and Reasoning |
| 16 Jun 2008 → 18 Jun 2008; Montréal, Canada |
| abstract: This event aims to bring together researchers from distinct areas involving the management of temporal data as well as the reasoning about temporal aspects of information. The keynote speakers are R. Kothuri, C. Lutz, and J. Worrell. The General Chair of the symposium is A. Artale; the Program Committee Chairs are S. Demri and C.S. Jensen; and the Organization Co-chairs are S. Hallé and R. Villemaire. |
| weblink: http://www.time2008.org/ |
| |
| 14. | [ID=98059]CSCLP 2008 — ERCIM Working Group Event: Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming |
| 18 Jun 2008 → 20 Jun 2008; Rome, Italy |
| weblink: http://pst.istc.cnr.it/CSCLP08/ |
| related subject(s): Algorithms |
| |
| 15. | [ID=91431]Symbolic Analysis @ FoCM'08 |
| 24 Jun 2008 → 26 Jun 2008; Hong Kong, China |
| abstract: The workshop is part of the triennial conference organized by the society for Foundations of Computational Mathematics hosted by the City University of Hong Kong, June 16-26 2008.
At the workshop we wish to discuss algebraic algorithms and symbolic computation in analysis and geometry, with an emphasis on problems resorting to differential and difference equations. More specific topics of the workshop include group theoretical methods, Lie symmetry and Galois theory, differential invariants, local and closed form solution, normal form algorithms and operator algebras. We wish this triennial workshop to be a forum for ideas, techniques and applications. We thus would like to encourage the speakers to present their contribution within perspective and for a rather wide ranging audience.
The conference as a whole should provide several other areas of interest for participants of the Symbolic Analysis workshop. |
| weblink: http://www-sop.inria.fr/cafe/SA08/ |
| related subject(s): Analysis; Graph Theory and Combinatorics |
| |
| 16. | [ID=92071]LICS 2008 — Twenty-third Annual IEEE Symposium on Logic in Computer Science |
| 24 Jun 2008 → 27 Jun 2008; Pittsburgh, Pennsylvania, United States |
| abstract: The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. LICS 2008 will be co-located with the IEEE Computer Security Foundations Symposium (CSF). The LICS Program Chair is F. Pfenning, the LICS General Chair is M. Abadi, and the LICS Conference Chair is S. Brookes. |
| weblink: http://www2.informatik.hu-berlin.de/lics/lics08 |
| |
| 17. | [ID=92217]WMSCI 2008 — 12th World Multi-Conference on Systemics, Cybernetics and Informatics |
| 29 Jun 2008 → 02 Jul 2008; Orlando, FL, United States |
| abstract: WMSCI 2008 is an international forum for scientists and engineers, researchers and consultants, theoreticians and practitioners in the fields of Systemics, Cybernetics and Informatics. The forum focuses into specific disciplinary research, and also in multi, inter, and trans-disciplinary studies and projects. One of its aims is to relate disciplines, fostering analogical thinking and, hence, producing input to the logical thinking. |
| weblink: http://www.sciiis.org/wmsci2008/website/default.asp?vc=1 |
| |
| 18. | [ID=115612]LOFT 2008 — 8th Conference on Logic and the Foundations of Game and Decision Theory |
| 03 Jul 2008 → 05 Jul 2008; Amsterdam, Netherlands |
| abstract: This is the eighth in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference has been given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. LOFT 2008 will be held at the Universiteit van Amsterdam hosted by the Institute for Logic, Language and Computation (ILLC) in from Thursday July 3 to Saturday July 5, 2008. |
| weblink: http://www.illc.uva.nl/LOFT2008/ |
| |
| 19. | [ID=92103]Logic Colloquium '08 — 2008 ASL European Summer Meeting |
| 03 Jul 2008 → 08 Jul 2008; Bern, Switzerland |
| abstract: The Program Committee includes: A. Berarducci, J. Duparc, M. Dzamonja, A. Enayat, G. Jäger, P. Kowalski, J. Krajicek, D. Marker, A. Nies, W. Tait, S. Thomas, B. Velickovic, A. Wilkie (Chair), and A. Visser. The Local Organizing Committee includes: Gerhard Jäger (Chair), J. Krähenbühl, J. Schmid, and T. Strahm. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts. Abstracts---hard copy or email---should be received before the deadline of March 28, 2008. |
| contact: Logic Colloquium 2008, Institute of Computer Science and Applied Mathematics, Neubrueckstrasse 10, CH-3012 Bern, Switzerland; email: lc08@iam.unibe.ch. |
| |
| 20. | [ID=79877]ICALP 2008 — 35th International Colloquium on Automata, Languages and Programming |
| 05 Jul 2008 → 13 Jul 2008; Reykjavik, Iceland |
| weblink: http://www.ru.is/icalp08/ |
| related subject(s): Graph Theory and Combinatorics; Applied Maths: Numerical Analysis and Computational Mathematics |
| |
| 21. | [ID=129515]ICALP 2008 — 35th International Colloquium on Automata, Languages and Programming |
| 06 Jul 2008 → 13 Jul 2008; Reykjavik , Iceland |
| abstract: Following the successful experience of the last three editions, ICALP 2008 will complement the established structure of the scientific program based on Track A on Algorithms, Automata, Complexity and Games, and Track B on Logic, Semantics, and Theory of Programming, corresponding to the two main streams of the journal Theoretical Computer Science, with a special Track C on Security and Cryptography Foundations. The aim of Track C is to allow a deeper coverage of a particular topic, to be specifically selected for each year's edition of ICALP on the basis of its timeliness and relevance for the theoretical computer science community. |
| topics: Track A - Algorithms, Automata, Complexity and Games; Track B - Logic, Semantics, and Theory of Programming; Track C - Security and Cryptography Foundations |
| weblink: http://www.ru.is/icalp08/ |
| related subject(s): Applied Maths: Cryptography and Information Security; Information Theory, Foundations of Computer Science |
| |
| 22. | [ID=114238]3rd Training School in Symbolic Computation |
| 07 Jul 2008 → 20 Jul 2008; Castle of Hagenberg, Austria |
| weblink: http://www.risc.uni-linz.ac.at/projects/science/school |
| |
| 23. | [ID=133990]Austrian-Japan Workshop on Symbolic Computation in Software Science |
| 12 Jul 2008 → 13 Jul 2008; Hagenberg, Austria |
| weblink: http://www.risc.uni-linz.ac.at/about/conferences/summer2008/ |
| related subject(s): Software Engineering |
| |
| 24. | [ID=153703] Joint 5th QPL and 4th DCM Workshops: Quantum Physics and Logic Development of Computational Models |
| 12 Jul 2008 → 13 Jul 2008; Reykjavik, Iceland |
| weblink: http://www.comlab.ox.ac.uk/people/bob.coecke/DCM_QPL_08.html |
| related subject(s): Quantum Mechanics |
| |
| 25. | [ID=129323]WCP4 — Fourth World Congress of Paraconsistency |
| 13 Jul 2008 → 18 Jul 2008; Melbourne, Australia |
| topics: Systems of paraconsistent logic, Inconsistent mathematics, Paraconsistency and information processing, Paraconsistency and the philosophy of mathematics, Paraconsistency and the philosophy of science, Paraconsistency and the philosophy of logic |
| weblink: http://www.philosophy.unimelb.edu.au/wcp4/ |
| |
| 26. | [ID=140503]RTA 2008 — International Conference on Rewriting Techniques and Applications (co-organized by RICAM) |
| 15 Jul 2008 → 17 Jul 2008; RISC, Castle of Hagenberg, Austria |
| weblink: http://www.risc.uni-linz.ac.at/about/conferences/rta2008/ |
| |
| 27. | [ID=110718]DEON 2008 — Ninth International Conference on Deontic Logic in Computer Science |
| 15 Jul 2008 → 18 Jul 2008; Luxembourg, Luxembourg |
| weblink: http://deon2008.uni.lu/ |
| related subject(s): Information Theory, Foundations of Computer Science |
| |
| 28. | [ID=153197]PohlersFest 2008 |
| 17 Jul 2008 → 18 Jul 2008; Münster, Germany |
| abstract: On the occasion of Wolfram Pohlers' retirement, the Institute for Mathematical Logic in Münster will sponsor a colloquium and a proof theory workshop in his honor. The invited colloquium speakers are A. Beckmann, S. Feferman, and M. Rathjen. The workshop organizers are A. Beckmann, M. Rathjen, and R. Schindler. |
| weblink: http://wwwmath.uni-muenster.de/logik/Personen/rds/pohlersfest.html |
| |
| 29. | [ID=91922]ISSAC 2008 — International Symposium on Symbolic and Algebraic Computation |
| 20 Jul 2008 → 23 Jul 2008; Hagenberg, Austria |
| abstract: The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier annual conference to present and discuss new developments and original research results in all areas of symbolic mathematical computation. Planned activities include invited presentations, research papers, poster sessions, tutorial courses, vendor exhibits and software demonstrations.
ISSAC 2008 will be part of RISC Summer 2008 and will take place in Hagenberg, Austria, at the Research Institute for Symbolic Computation (RISC) |
| weblink: http://www.risc.uni-linz.ac.at/about/conferences/issac2008/ |
| related subject(s): Applied Maths: Numerical Analysis and Computational Mathematics |
| |
| 30. | [ID=143453]6th International Summer School in Formal Languages & Applications |
| 21 Jul 2008 → 02 Aug 2008; Tarragona, Spain |
| weblink: http://www.grlmc.com/ |
| related subject(s): Courses and Events for Students; Information Theory, Foundations of Computer Science |
| |
| 31. | [ID=149359]AISC 2008 — 9th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION Theory, Implementations and Applications |
| 31 Jul 2008 → 02 Aug 2008; Birmingham, United Kingdom |
| weblink: http://events.cs.bham.ac.uk/aisc08/ |
| related subject(s): Applied Maths: Neural Networks and Artificial Intelligence |
| |
| 32. | [ID=92179]ESSLLI-2008 — Twentieth European Summer School in Logic, Language and Information |
| 04 Aug 2008 → 15 Aug 2008; Hamburg, Germany |
| abstract: The European Summer Schools in Logic, Language and Information focus on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. ESSLLI-2008 is organized under the auspices of the European Association for Logic, Language and Information (FoLLI). |
| weblink: http://www.illc.uva.nl/ESSLLI2008/ |
| related subject(s): Courses and Events for Students |
| |
| 33. | [ID=115796]ESSLLI 2008 Student Session |
| 04 Aug 2008 → 18 Aug 2008; Hamburg, Germany |
| abstract: The aim of the Student Session is to give an opportunity to students at all levels (Bachelor-, Master- and Ph.D.-students) to present and discuss their work in progress with a possibility to get feedback from senior researchers. Each year, 18 papers are selected for oral presentation and a number of others for poster presentation. The programme committee invites submissions of papers for oral and poster presentation and for appearance in the proceedings. We welcome submissions with topics within the areas of Logic, Language and Computation. |
| weblink: http://staff.science.uva.nl/~kbalogh/StuS13 |
| related subject(s): Courses and Events for Students; Applied Maths: Numerical Analysis and Computational Mathematics |
| |
| 34. | [ID=106043]IJCAR — Fourth International Joint Conference on Automated Reasoning |
| 10 Aug 2008 → 15 Aug 2008; Sydney, Australia |
| abstract: This event is the fusion of several major conferences in automated reasoning: the International Conference on Automated Deduction (CADE), the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), the International Workshop on First-Order Theorem Proving (FTP), and the Workshop on Frontiers of Combining Systems (FroCoS). The Conference Chair is P. Baumgartner, and the Program Co-chairs, in addition to the Conference Chair, are A. Armando and G. Dowek. |
| weblink: http://2008.ijcar.org/ |
| related subject(s): Information Theory, Foundations of Computer Science |
| |
| 35. | [ID=153173]TPHOLs 2008 — Twenty-first International Conference on Theorem Proving in Higher Order Logics |
| 18 Aug 2008 → 21 Aug 2008; Montréal, Canada |
| weblink: http://users.encs.concordia.ca/~tphols08/TPHOLs2008/index.php |
| |
| 36. | [ID=129355]ALC'08 — Tenth Asian Logic Conference |
| 01 Sep 2008 → 06 Sep 2008; Kobe, Japan |
| weblink: http://kurt.scitec.kobe-u.ac.jp/ALC10/ |
| |
| 37. | [ID=126315]Logic, Algebra and Truth Degrees |
| 08 Sep 2008 → 11 Sep 2008; College Santa Chiara, Siena, Italy |
| abstract: This is the first official meeting of the working group on Mathematical Fuzzy Logic ( http://www.cs.cas.cz/mathfuzzlog/ ). Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has revealed 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. |
| weblink: http://www.mat.unisi.it/~latd2008/ |
| related subject(s): Algebra |
| |
| 38. | [ID=153216]AiML) 2008 — Advances in Modal Logic |
| 09 Sep 2008 → 12 Sep 2008; Nancy, France |
| weblink: http://aiml08.loria.fr/ |
| |
| 39. | [ID=163404]Logic and information security |
| 22 Sep 2008 → 26 Sep 2008; Leiden , Netherlands |
| organizer: Lorentz Center |
| weblink: http://www.lorentzcenter.nl/lc/web/program.php3?jaar=2008 |
| related subject(s): Information Security |
| |
| 40. | [ID=150918]SYNASC 2008 - 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing |
| 26 Sep 2008 → 29 Sep 2008; Timisoara , Romania |
| weblink: http://synasc08.info.uvt.ro |
| related subject(s): Algorithms |
| |
| 41. | [ID=118420]ICLP — International Conference on Logic Programming |
| 09 Dec 2008 → 13 Dec 2008; Udine, Italy |
| weblink: http://iclp08.dimi.uniud.it |
| related subject(s): Software Engineering |
| |
| 42. | [ID=153193]2008-09 ASL Winter Meeting (with APA) |
| 27 Dec 2008 → 30 Dec 2008; Philadelphia, Pennsylvania, United States |
| organizer: Association for Symbolic Logic |
| abstract: This meeting will be held jointly with the Annual Meeting of the Eastern Division of the American Philosophical Association. |
| weblink: http://www.aslonline.org/index.htm |
| related subject(s): History and Philosophy of Physics |
| |
| 43. | [ID=153181]2008-09 ASL Winter Meeting (with Joint Mathematics Meetings) |
| 05 Jan 2009 → 08 Jan 2009; Washington, DC, United States |
| organizer: Association for Symbolic Logic |
| weblink: http://www.aslonline.org/index.htm |
| |
| 44. | [ID=153257]2009 ASL Annual Meeting |
| 20 May 2009 → 23 May 2009; Notre Dame, Indiana, United States |
| organizer: Association for Symbolic Logic |
| weblink: http://www.aslonline.org/index.htm |
| |
| 45. | [ID=77502]AMC 2009 — 5th Asian Mathematical Conference |
| 22 Jun 2009 → 26 Jun 2009; Penang /Kulalumpur, Malaysia |
| topics: Algebra, Algebraic Geometry, Analysis, Operator Algebra & Functional Analysis, Lie Groups and Lie Algebras, Number Theory, Combinatorics, Logic & Foundations of Mathematics, Ordinary Differential Equations and Dynamical Systems, Partial Differential Equations, Topology, Mathematical Aspects of Computer Science, Numerical Analysis and Scientific Computing, Control Theory, Optimization and Operations Research, Probability and Stochastic Process, Statistics, Application of Mathematics in Sciences, Mathematics Education |
| weblink: http://math.usm.my/amc2009 |
| related subject(s): Graph Theory and Combinatorics; General Mathematical Research |
| |
