This page is a list of some conferences that may be of interest to researchers in the areas of algebra, logic, and theoretical computer science. This is not an official or comprehensive list. Broader and more comprehensive lists can be found elsewhere (such as the websites listed at the bottom of this page).
- Mathematical Logic: Proof Theory, Constructive Mathematics Oberwolfach, DE, Nov 5--11.
- ITP: 8th Intl Conf on Interactive Theorem Proving Brasilia, BR, Sep 26--29.
- ICFP: 22nd ACM SIGPLAN Intl Conf on Functional Programming Oxford, UK, Sep 4--6.
- The 55th Summer School on Algebra and Ordered Sets High Tatras, SK, Sep 3--8.
- FSCD: Formal Structures for Computation and Deduction Oxford, UK, Sep 3--6.
- MFCS: Intl Symposium on Math Foundations of CS Aalborg, DK, Aug 21--25.
- CSL: 26th EACSL Conf on Computer Science Logic Stockholm, SE, Aug 20--24.
- ASL Logic Colloquium Stockholm, SE, Aug 14--20.
- NLS: Third Nordic Logic Summer School Stockholm, SE, Aug 7--11.
- Problems Allied to UA and Model Theory Novosibirsk, RU, Jun 23--29.
- TACL: Topology, Algebra, & Categories in Logic conference: Prague, CZ, Jun 26--30.
- TACL: Topology, Algebra, & Categories in Logic school: Olomouc, CZ, Jun 20--24.
- LICS: 32nd ACM/IEEE Symp on Logic in Computer Science Reykjavik, IS Jun 20--23.
- WiL: Women in Logic Workshop Reykjavik, IS, Jun 19.
- AAA: 94th Workshop on General Algebra Novi Sad, RS, Jun 15--18.
- CALCO: 7th Intl Conf on Algebra and Coalgebra in CS Ljubljana, SI, Jun 13--16.
- AMS Mathematical Research Community on Homotopy Type Theory Snowbird, US, Jun 4--10.
- ISMVL: IEEE Intl Symp on Multiple-Valued Logic Novi Sad, RS, May 22--24.
- RAMiCS: 16th Intl Conf on Relational and Algebraic Methods in CS Lyon, FR, May 15--19.
- AMS Special Session on Algebras, Lattices, Varieties Charleston, US, Mar 10--12.
- AAA: 93rd Workshop on General Algebra Bern, SU, Feb 10--12.
- POPL: 44th ACM SIGPLAN Symp on Principles of Programming Languages Paris, FR, Jan 15--21.
- AMS Special Session Algebraic Logic Denver, US, Oct 8--9.
- ICFP: International Conference on Functional Programming Nara, JP, Sep 18--24.
- 25th EACSL Conf on Computer Science Logic Marseille, FR, Aug 29--Sep 1.
- ESSLLI: European Summer School: Logic, Language, and Information Free Uni Bozen-Bolzano, IT, Aug 15--26.
- ASL Summer Meeting--Logic Colloquium Uni Leeds, UK, Jul 31--Aug 6.
- ISSAC: International Symposium on Symbolic and Algebraic Computation Waterloo, CA, Jul 19--22.
- ICALP: International Colloqium on Automata, Languages, and Programming Rome, IT, Jul 11--15.
- CiE: Computability in Europe Paris, FR, Jun 27--Jul 1.
- FSCD: Formal Structures for Computation and Deduction Porto, Portugal, Jun 22--26.
- International Conference on Model Theory Notre Dame, US, Jun 20--24.
- STOC: 48th ACM Symposium on Theory of Computing Cambridge, US, Jun 18--21.
- CCC: Computational Complexity Conference Tokyo, JN, May 29--Jun 1.
- AAA: 92nd Workshop on General Algebra, Prague, CZ, May 27--29.
- TYPES: 22nd International Conference on Types for Proofs & Programs Novi Sad, RS, May 23--26.
- ASL North American Annual Meeting Storrs, US, May 23--26.
- Homotopy Type Theory & Univalent Foundations Workshop Fields Inst, May 16--20.
- Midlands Grad School in Foundations of Comp Sci Birmingham, UK, Apr 11--15.
- ASL Winter Meeting Chicago, US, Mar 2--5.
- STACS: 33rd International Symposium on Theoretical Aspects of Computer Science Orléans, FR, Feb 17--20.
- AAA: 91st Workshop on General Algebra, Brno, CZ, Feb 5--7.
- LFCS: Symposium on Logical Foundations Of Comp Sci Deerfield Beach, US, Jan 4--7.
- Intl Conf on Relational & Algebraic Methods in Comp Sci Braga, Portugal, Sep 28--Oct 02.
- Continuity, Computability, Constructivity Schloss Aspenstein (near Munich), Sep 14--18.
- 53rd Summer School: General Algebra & Ordered Sets Srní, CZ, Aug 29--Sep 4.
- Intl Conference on Functional Programming Vancouver, CA, Aug 31--Sep 2.
- Domains XII Cork, IE, Aug 25--28.
- Workshop on Logic, Language and Information Bloomington, US, Jul 20--23.
- (LICS) Logic in Comp Sci Kyoto, JN, Jul 6--10.
- (TLCA) Typed Lambda Calculi and Applications Warsaw, PL, Jul 1--Jul 3.
- Workshop on Homotopy Type Theory Warsaw, PL, Jun 29--30.
- Algebra and Coalgebra in Comp Sci Nijmegen, NL, Jun 24--26.
- Mathematical Foundations of Programming Semantics Nijmegen, NL, Jun 22--25.
- (TACL) Topology, Algebra, and Categories in Logic Conference, Ischia Island, IT Jun 21--26.
- (TACL) Topology, Algebra, and Categories in Logic Summer School, Salerno, IT Jun 15--19.
- BLAST 2015 Denton, US, Jun 8-12, 2015.
- AAA90: Workshop on General Algebra Novi Sad, RS, Jun 4--7.
- Open Problems in Universal Algebra Nashville, US, May 28--Jun 1.
- JAIST Logic Workshop: Constructivism and Computability Kanazawa, JN, Mar 2--6.
- AAA89: Workshop on General Algebra Dresden, Germany, Feb 26--March 01.
- 16th Latin American Symposium on Mathematical Logic Buenos Aires, AR Jul 28--Aug 1.
- Vienna Summer of Logic Vienna, AT Jul 9--24.
- Logic Colloquium Jul 14--19.
- Logic, Algebra and Truth Degrees Jul 16--19.
- (CSL) Computer Science Logic and Logic in Computer Science (LICS) Jul 14--18.
- Typed Lambda Calculi and Applications Jul 14--17.
- Workshop on Unification Jul 13.
- Coq Workshop Jul 18.
- (IJCAR) International Joint Conference on Automated Reasoning Jul 19--22.
- International Algebraic Conference: Kaluzhnin Memorial Kyiv, UA Jul 7--12.
- Algebra, Geometry and Computation Eindhoven, NL Jul 2--4.
- Algebras and Clones fest Prague, CZ Jun 30--Jul 3.
- Computability in Europe Budapest, HU Jun 23--27.
- AAA88: Workshop on General Algebra Warsaw, PL Jun 19--22.
- Mathematical Foundations of Programming Semantics Ithaca, USA Jun 12--15.
- Algebra and Mathematical Logic: Theory and Applications Kazan, RU Jun 2--6.
- Association for Symbolic Logic North American Meeting Boulder, US May 19--22.
- Horn formulas, directed hypergraphs, lattices and closure systems Dagstuhl, DE May 11--16.
- 32nd Ohio State-Denison Math Conference Columbus, USA May 9--11.
- 14th Int'l Conf on Relational and Algebraic Methods in CS Marienstatt im Westerwald, DE Apr 27-- May 1.
- Midlands Grad School in Foundations of CS Nottingham, GB Apr 22--26.
- Ichia Group Theory Ichia, IT Apr 1--5.
- AAA87: Workshop on General Algebra Linz, AT Feb 7--9.