http://www.cs.uiowa.edu/theoryc/
November 1-4, 2005: Seventh International Conference on Formal Engineering Methods (ICFEM 2005). Manchester, UK. http://www.cs.man.ac.uk/icfem05/.
November 7-9, 2005: Workshop on Integer Programming and Continuous Optimization. Chemnitz University of Technology, Germany. http://www.tu-chemnitz.de/~helmberg/workshop04.
November 18-19, 2005: Fifth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2004) . Austin, Texas, USA. http://www.cs.utexas.edu/users/moore/acl2/workshop-2004/.
November 19-20, 2005: 14th Annual Fall Workshop on Computational Geometry (CGW 2004). Massachusetts Institute of Technology, Cambridge. http://cgw2004.csail.mit.edu/.
November 29-December 2, 2005: Fifth International Conference on Integrated Formal Methods (IFM 2005). Eindhoven, The Netherlands. http://www.win.tue.nl/ifm/.
December 2, 2005: Empirically Successful Automated Reasoning in Higher-Order Logics (ESHOL 2005): an LPAR 2005 workshop. Wexford Hotel, Montego Bay, Jamaica . http://www.ags.uni-sb.de/~chris/ESHOL-05/.
December 2-6, 2005: The 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-12). Wexford Hotel, Montego Bay, Jamaica. http://www.lpar.net/2005.
December 5, 2005: 5th Columbia Optimization Day. Columbia University, New York city. http://www.corc.ieor.columbia.edu/meetings/c5/c5.html.
December 12-14, 2005: 9th International Conference on Principles of Distributed Systems (OPODIS 2005). Pisa, Italy. http://www.di.unipi.it/OPODIS2005.
December 15-17, 2005: Workshop on Internet and Network Economics (WINE 2005). Hong Kong, China. http://www.cs.cityu.edu.hk/~wine2005/.
December 15-18, 2005: 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS '05). International Institute of Information Technology, Hyderabad, India. http://www.fsttcs.org.
December 19-21, 2005: 16th Annual International Symposium on Algorithms and Computation (ISAAC 2005). Sanya, Hainan, China. http://www.cs.cityu.edu.hk/~isaac2005/.
January 8-10, 2006: The Seventh International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2006). Charleston, South Carolina, U.S.A.. http://www.cs.utexas.edu/~vmcai06.
January 11-13, 2006: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2006). Charleston Place Hotel, Charleston, South Carolina. http://www.cs.princeton.edu/~dpw/popl/06/.
January 16-19, 2006: Computing: The Australasian Theory Symposium (CATS 2006). Hobart, Australia. http://www-staff.it.uts.edu.au/~cbj/cats06.
January 16-20, 2006: Ninth Annual Conference on Quantum Information Processing (QIP 2006). Paris, France. http://www.lri.fr/qip06/.
January 21, 2006: 3rd Workshop on Analytic Algorithmics and Combinatorics (ANALCO 2006). Miami, Florida. http://www.siam.org/meetings/DA06/.
January 21, 2006: 8th Workshop on Algorithm Engineering and Experiments (ALENEX 2006). Miami, Florida. http://www.siam.org/meetings/DA06/.
January 22-24, 2006: 17th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2006). Miami, FLorida. http://www.siam.org/meetings/DA06/.
February 23-25, 2006: 23rd International Symposium on Theoretical Aspects of Computer Science (STACS 2006). Marseille, France. http://www.lif.univ-mrs.fr/STACS06/.
March 13, 2006: 1st International Workshop On Foundations And Algorithms For Wireless Networking (FAWN 2006). Pisa, Italy. http://ares.insa-lyon.fr/fawn2006/.
March 20-24, 2006: International Workshop: Mathematics of Constraint Satisfaction: Algebra, Logic, and Graph Theory. St.Anne's College, University of Oxford, UK. http://www.comlab.ox.ac.uk/mathscsp/.
March 20-24, 2006: International Workshop ``Mathematics of Constraint Satisfaction: Algebra, Logic and Graph Theory'' (part of Logic and Algorithms programme of the Isaac Newton Institute). Oxford, UK. http://www.comlab.ox.ac.uk/mathscsp/.
March 20-24, 2006: Latin American Theoretical Informatics (LATIN 2006). Valdivia, Chile. http://www.latin06.org/.
March 25-April 2, 2006: 12th. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2006). A member conference of ETAPS 2006. Vienna, Austria. http://depend.cs.uni-sb.de/index.php?id=329.
March 25-April 2, 2006: Foundations of Software Science and Computation Structures (FOSSACS 2006). A member conference of ETAPS 2006. Vienna, Austria. http://fossacs06.ru.is/.
March 25-April 2, 2006: Fundamental Approaches to Software Engineering (FASE 2006). A member conference of ETAPS 2006. Vienna, Austria. http://www.elet.polimi.it/conferences/fase06/.
March 25-April 2, 2006: European Symposium on Programming (ESOP 2006). A member conference of ETAPS 2006. Vienna, Austria. http://www.itu.dk/research/esop06/.
March 25-April 2, 2006: 15th International Conference on Compiler Construction (CC 2006). A member conference of ETAPS 2006. Vienna, Austria. http://www.st.cs.uni-sb.de/cc/.
March 27-29, 2006: 22nd European Workshop on Computational Geometry (EuroCG 2006). European Cultural Center of Delphi, Delphi, Greece. http://cgi.di.uoa.gr/~ewcg06/.
March 29-31, 2006: ACM SIGPLAN 2006 Symposium on Principles and Practice of Parallel Programming (PPoPP 2006). New York, NY. http://www.ppopp.org/.
April 1-2, 2006: 6th International Workshop on Rewriting Logic and its Applications. Vienna, Austria. http://www-formal.stanford.edu/clt/WRLA06/.
April 2-5, 2006: The Tenth Annual International Conference on Research in Computational Molecular Biology (RECOMB 2006). Venice, Italy. http://recomb06.dei.unipd.it/.
April 10-12, 2006: Aveiro Workshop on Graph Spectra. University of Aveiro, Aveiro, Portugal. http://ceoc.mat.ua.pt/awgs2006/.
April 10-12, 2006: 3rd European Workshop on Evolutionary Computation in Communication, Networks and Connected Systems (EvoCOMNet 2006). Budapest, Hungary. http://evonet.lri.fr//eurogp2006/?page=evocomnet.
April 10-12, 2006: 4th European Workshop on Evolutionary Computation and Machine Learning in Bioinformatics (EvoBIO 2006). Budapest, Hungary. http://evonet.lri.fr//eurogp2006/?page=evobio.
April 10-12, 2006: 6th European Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP 2006). Budapest, Hungary. http://evonet.lri.fr//eurogp2006/?page=evocop.
April 10-12, 2006: 9th European Conference on Genetic Programming (EuroGP 2006). Budapest, Hungary. http://evonet.lri.fr//eurogp2006/?page=eurogp.
April 19-21, 2006: The Fifth International Conference on Information Processing in Sensor Networks (IPSN'06). Nashville, TN. http://www.cs.virginia.edu/~ipsn06/.
April 25-29, 2006: 20th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2005). Rhodes Island, Greece. http://www.ipdps.org/.
May 15-20, 2006: Theory and Applications of Models of Computation (TAMC 2006). Beijing, China. http://gcl.iscas.ac.cn/accl06/TAMC06_Home.htm .
May 21-23, 2006: The 38th ACM Symposium on Theory of Computing (STOC 2006). Seattle, Washington. http://www.cs.cornell.edu/Research/stoc06/stoc06.html.
May 24-27, 2006: Fifth International Workshop on Experimental Algorithm (WEA 2006). Menorca Island, Spain. http://www.lsi.upc.edu/~wea.
May 29-31, 2006: 6th Conference on Algorithms and Complexity (CIAC 2006). Rome, Italy. http://www.dsi.uniroma1.it/~ciac .
May 30-June 1, 2006: Eleventh International Workshop on Non-Monotonic Reasoning (NMR 2006). Lake District area of the UK. http://www.cs.ucl.ac.uk/staff/a.hunter/nmr/.
June 2-5, 2006: 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006). Lake District area of the UK. http://www.kr.org/KR2006/.
June 5-9, 2006: The Cologne/Twente Workshop on Graphs and Combinatorial Optimization 2006 (CTW 2006). PfalzAkademie in Lambrecht, Germany. http://www.uni-duisburg.de/FB11/disma/CTW2006/.
June 5-7, 2006: 22nd Annual ACM Symposium on Computational Geometry (SoCG 2006). Sedona, Arizona. http://www.cs.arizona.edu/~socg06/.
June 6-8, 2006: ACM Solid and Physical Modeling Conference 2006 (ACM SPM'06). Cardiff University, Wales, UK. http://ralph.cs.cf.ac.uk/SPM06.html.
June 20-22, 2006: 2nd International Conference on Algorithmic Aspects in Information and Management (AAIM 2006). Hong Kong. http://www.cs.cityu.edu.hk/~aaim06.
June 22-24, 2006: 32nd International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2006). Bergen, Norway. http://www.ii.uib.no/wg06/.
June 25-28, 2006: SIAM Conference on Discrete Mathematics. University of Victoria, Victoria, British Columbia, Canada. http://www.siam.org/meetings/calendar.php?id=16.
June 30-July 1, 2006: 5th EUROPT Workshop on Advances in Continuous Optimization . Reykjavik, Iceland. http://wwwhome.math.utwente.nl/~stillgj/COPT06/.
July 1-31, 2006: ACM Symposium on Principles of Distributed Computing 2006 (PODC 2006). Denver, Colorado. No website yet.
July 2-5, 2006: 21st European Conference on Operational Research. Reykjavik, Iceland. http://www.euro2006.org/.
July 3-5, 2006: 13th Colloquium on Structural Information and Communication Complexity (SIROCCO 2006). Chester, United Kingdom. http://sirocco06.csc.liv.ac.uk/.
July 4-7, 2006: Second International Workshop on Incentive-Based Computing (IBC 2006). Lisboa, Portugal. http://ibc.cs.wayne.edu/.
July 4-7, 2006: The 26th International Conference on Distributed Computing Systems (ICDCS 2006). Lisboa, Portugal. http://icdcs2006.di.fc.ul.pt/.
July 6-8, 2006: 10th Scandinavian Workshop on Algorithm Theory (SWAT 2006). Riga, Latvia. http://www.lumii.lv/swat .
July 9-16, 2006: 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006). Venice, Italy . http://icalp06.dsi.unive.it/.
July 9-15, 2006: DIMACS Reconnect Conference 2006: Reconnecting Teaching Faculty to the Mathematical Sciences Research Enterprise. Morgan State University. http://dimacs.rutgers.edu/reconnect/.
July 16-20, 2006: Twenty-First Annual IEEE Conference on Computational Complexity (CCC'06). Prague, Czech Republic. http://www.math.cas.cz/~ccc06/.
July 30-August 2, 2006: 18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006). Cambridge, MA, USA . http://www.cs.jhu.edu/~spaa/2006/.
August 4-8, 2006: 9th Annual Conference of BRIDGES: Mathematical Connections in Art, Music, and Science (BRIDGES 2006). London Knowledge Lab, London, England. http://www.lkl.ac.uk/bridges/.
August 14-16, 2006: 18th Canadian Conference on Computational Geometry (CCCG 2006). Queen's University, Kingston, Ontario, Canada. http://www.cs.queensu.ca/cccg/index.htm.
August 12-15, 2006: Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT 2006). Part of the Fourth Federated Logic Conference, (FLoC 2006). Seattle, Washington. http://fmv.jku.at/sat06/.
August 12-15, 2006: 17th International Conference on Rewriting Techniques and Applications (RTA 2006). Part of the Fourth Federated Logic Conference, (FLoC 2006). Seattle, Washington. http://research.microsoft.com/floc06/rta.htm.
August 12-15, 2006: Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS 2006). Part of the Fourth Federated Logic Conference, (FLoC 2006). Seattle, Washington. http://www.informatik.hu-berlin.de/lics/lics06/.
August 16-21, 2006: 3rd International Joint Conference on Automated Reasoning (IJCAR 2006). Part of the Fourth Federated Logic Conference, (FLoC 2006). Seattle, Washington. http://ijcar06.uni-koblenz.de/.
August 16-21, 2006: Computer-aided Verification (CAV 2006). Part of the Federated Logic Conference (FLoC 2006). Seattle, Washington. http://research.microsoft.com/floc06/cav.htm .
August 17-20, 2006: Twenty Second International Conference on Logic Programming (ICLP 2006). Part of the Fourth Federated Logic Conference, (FLoC 2006). Seattle, Washington. http://www.cs.uky.edu/iclp06/.
August 22-24, 2006: 4th IFIP International Conference on Theoretical Computer Science (TCS 2006). Santiago, Chile. http://www.wcc-2006.org/.
August 30-September 1, 2006: The 6th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2006). Czech Republic. http://patat06.muni.cz.
September 11-15, 2006: The International Workshop on Parameterized and Exact Computation (IWPEC 2006). Part of ALGO 2006, along with ATMOS, ESA, and WABI. Zurich, Switzerland. http://www.iwpec.org/.
September 11-13, 2006: 14th Annual European Symposium on Algorithms (ESA 2006). Part of ALGO 2006, along with ATMOS, IWPEC, and WABI. Zurich, Switzerland. http://www.ti.inf.ethz.ch/algo06.
September 25-29, 2006: Computer Science Logic 2006. Department of Computer Science, University of Szeged, Hungary. http://www.inf.u-szeged.hu/~csl06/.
October 25-27, 2006: 13th International Conference on Discrete Geometry for Computer Imagery (DGCI 2006). Szeged, Hungary. http://www.inf.u-szeged.hu/dgci/.
June 9-16, 2007: 5th Federated Computing Research Conference (FCRC 2007). Will include STOC 2007, Complexity 2007. San Diego, CA. No website yet.
November 4, 2005: 9th European Conference on Genetic Programming (EuroGP 2006). Budapest, Hungary. April 10-12, 2006. http://evonet.lri.fr//eurogp2006/?page=eurogp.
November 4, 2005: 6th European Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP 2006). Budapest, Hungary. April 10-12, 2006. http://evonet.lri.fr//eurogp2006/?page=evocop.
November 4, 2005: 4th European Workshop on Evolutionary Computation and Machine Learning in Bioinformatics (EvoBIO 2006). Budapest, Hungary. April 10-12, 2006. http://evonet.lri.fr//eurogp2006/?page=evobio.
November 4, 2005: 3rd European Workshop on Evolutionary Computation in Communication, Networks and Connected Systems (EvoCOMNet 2006). Budapest, Hungary. April 10-12, 2006. http://evonet.lri.fr//eurogp2006/?page=evocomnet.
November 4, 2005: The Fifth International Conference on Information Processing in Sensor Networks (IPSN'06). Nashville, TN. April 19-21, 2006. http://www.cs.virginia.edu/~ipsn06/.
November 7, 2005: 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006). Lake District area of the UK. June 2-5, 2006. http://www.kr.org/KR2006/.
November 15, 2005: The 26th International Conference on Distributed Computing Systems (ICDCS 2006). Lisboa, Portugal. July 4-7, 2006. http://icdcs2006.di.fc.ul.pt/.
November 21, 2005: 6th International Workshop on Rewriting Logic and its Applications. Vienna, Austria. April 1-2, 2006. http://www-formal.stanford.edu/clt/WRLA06/.
December 4, 2005: Twenty-First Annual IEEE Conference on Computational Complexity (CCC'06). Prague, Czech Republic. July 16-20, 2006. http://www.math.cas.cz/~ccc06/.
December 11, 2005: 6th Conference on Algorithms and Complexity (CIAC 2006). Rome, Italy. May 29-31, 2006. http://www.dsi.uniroma1.it/~ciac .
December 16, 2005: Second International Workshop on Incentive-Based Computing (IBC 2006). Lisboa, Portugal. July 4-7, 2006. http://ibc.cs.wayne.edu/.
December 17, 2005: Theory and Applications of Models of Computation (TAMC 2006). Beijing, China. May 15-20, 2006. http://gcl.iscas.ac.cn/accl06/TAMC06_Home.htm .
January 7, 2006: 2nd International Conference on Algorithmic Aspects in Information and Management (AAIM 2006). Hong Kong. June 20-22, 2006. http://www.cs.cityu.edu.hk/~aaim06.
January 15, 2006: 4th IFIP International Conference on Theoretical Computer Science (TCS 2006). Santiago, Chile. August 22-24, 2006. http://www.wcc-2006.org/.
January 16, 2006: Aveiro Workshop on Graph Spectra. University of Aveiro, Aveiro, Portugal. April 10-12, 2006. http://ceoc.mat.ua.pt/awgs2006/.
January 20, 2006: Computer-aided Verification (CAV 2006). Part of the Federated Logic Conference (FLoC 2006). Seattle, Washington. August 16-21, 2006. http://research.microsoft.com/floc06/cav.htm .
January 20, 2006: Fifth International Workshop on Experimental Algorithm (WEA 2006). Menorca Island, Spain. May 24-27, 2006. http://www.lsi.upc.edu/~wea.
January 27, 2006: The 6th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2006). Czech Republic. August 30-September 1, 2006. http://patat06.muni.cz.
February 1, 2006: Eleventh International Workshop on Non-Monotonic Reasoning (NMR 2006). Lake District area of the UK. May 30-June 1, 2006. http://www.cs.ucl.ac.uk/staff/a.hunter/nmr/.
February 1, 2006: 9th Annual Conference of BRIDGES: Mathematical Connections in Art, Music, and Science (BRIDGES 2006). London Knowledge Lab, London, England. August 4-8, 2006. http://www.lkl.ac.uk/bridges/.
February 3, 2006: Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS 2006). Part of the Fourth Federated Logic Conference, (FLoC 2006). Seattle, Washington. August 12-15, 2006. http://www.informatik.hu-berlin.de/lics/lics06/.
February 10, 2006: 13th Colloquium on Structural Information and Communication Complexity (SIROCCO 2006). Chester, United Kingdom. July 3-5, 2006. http://sirocco06.csc.liv.ac.uk/.
February 10, 2006: 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006). Venice, Italy . July 9-16, 2006. http://icalp06.dsi.unive.it/.
February 12, 2006: Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT 2006). Part of the Fourth Federated Logic Conference, (FLoC 2006). Seattle, Washington. August 12-15, 2006. http://fmv.jku.at/sat06/.
February 13, 2006: 10th Scandinavian Workshop on Algorithm Theory (SWAT 2006). Riga, Latvia. July 6-8, 2006. http://www.lumii.lv/swat .
February 14, 2006: Twenty Second International Conference on Logic Programming (ICLP 2006). Part of the Fourth Federated Logic Conference, (FLoC 2006). Seattle, Washington. August 17-20, 2006. http://www.cs.uky.edu/iclp06/.
February 15, 2006: 17th International Conference on Rewriting Techniques and Applications (RTA 2006). Part of the Fourth Federated Logic Conference, (FLoC 2006). Seattle, Washington. August 12-15, 2006. http://research.microsoft.com/floc06/rta.htm.
February 15, 2006: The Cologne/Twente Workshop on Graphs and Combinatorial Optimization 2006. PfalzAkademie in Lambrecht, Germany. June 5-9, 2006. http://www.uni-duisburg.de/FB11/disma/CTW2006/.
February 27, 2006: 3rd International Joint Conference on Automated Reasoning (IJCAR 2006). Part of the Fourth Federated Logic Conference, (FLoC 2006). Seattle, Washington. August 16-21, 2006. http://ijcar06.uni-koblenz.de/.
March 1, 2006: 21st European Conference on Operational Research. Reykjavik, Iceland. July 2-5, 2006. http://www.euro2006.org/.
March 3, 2006: 32nd International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2006). Bergen, Norway. June 22-24, 2006. http://www.ii.uib.no/wg06/.
March 6, 2006: 18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006). Cambridge, MA, USA . July 30-August 2, 2006. http://www.cs.jhu.edu/~spaa/2006/.
April 3, 2006: 13th International Conference on Discrete Geometry for Computer Imagery (DGCI 2006). Szeged, Hungary. October 25-27, 2006. http://www.inf.u-szeged.hu/dgci/.
April 15, 2006: 14th Annual European Symposium on Algorithms (ESA 2006). Part of ALGO 2006, along witht ATMOS, IWPEC, and WABI. Zurich, Switzerland. September 11-13, 2006. http://www.ti.inf.ethz.ch/algo06.
April 19, 2006: The International Workshop on Parameterized and Exact Computation (IWPEC 2006). Part of ALGO 2006, along with ATMOS, ESA, and WABI. Zurich, Switzerland. September 11-15, 2006. http://www.iwpec.org/.
May 1, 2006: 18th Canadian Conference on Computational Geometry (CCCG 2006). Queen's University, Kingston, Ontario, Canada. August 14-16, 2006. http://www.cs.queensu.ca/cccg/index.htm.
To include an event in the theory calendar, send email to
theoryc@cs.uiowa.edu.
Please report any corrections to the same address.