Publications

SPbDLC'99 SPbDLC'99- First St.Petersburg Days of Logic and Computability. St. Petersburg, Russia; 26--29 May 1999. Abstracts, photos. CSL 2000 CSL 2000- Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000. ICLP'99 ICLP'99- Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4 December, 1999. Boise Extravanagza in Set Theory Boise Extravanagza in Set Theory- Conferences organized every year from 1992 to 2010 at the Department of Mathematics, Boise State University, Idaho, USA. Names of organizers, spe… ICC'01 ICC'01- Third international workshop on Implicit Computational Complexity. Aarhus, Denmark; 20--21 May 2001. Logic and Algorithms Logic and Algorithms- Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006. Deon'06 homepage Deon'06 homepage- This site gives all relevant information concerning the 2006 workshop on deontic logic in computer science. CADE-18 CADE-18- The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 2002. CSL'02 CSL'02- Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK; 22--25 September 2002. TIME2007 TIME2007- The purpose of this symposium is to bring together active researchers from distinct research areas involving representation of and reasoning about temporal phenomena. Logic Colloquium 2000 Logic Colloquium 2000- Incorporating the European Logic Summer School 2000 (ELSS 2000). Paris, France; 23--31 July 2000. Logic Colloquium '97 Logic Colloquium '97- Leeds, UK; 6--13 July 1997. British Logic Colloquium 2000 British Logic Colloquium 2000- University of East Anglia, Norwich; 7--9 September 2000. British Logic Colloquium 1999 British Logic Colloquium 1999- University of Wales, Gregynog; 23 -- 25 September 1999. Photos. British Logic Colloquium 2004 British Logic Colloquium 2004- University of Leeds; 6--8 September 2004. Zimpl Zimpl- A little language to translate the mathematical model of a problem into a linear or (mixed-) integer mathematical program expressed in .lp or .mps file format which can be … PHPSimplex PHPSimplex- Free online tool to solve linear programming problems using the simplex method, the two-phase simplex method and the graphical method algorithm. LogMIP LogMIP- Logical Mixed Integer Programming is a solver for generalized disjunctive programs. ABACUS - A Branch-And-CUt System ABACUS - A Branch-And-CUt System- ABACUS is a software system which provides a framework for the implementation of branch-and-bound algorithms using linear programming relaxations… .NET OPTIMIZATION - TOMNET .NET OPTIMIZATION - TOMNET- The TOMNET Optimization Platform provides a standardized environment for general operations research development for the Microsoft .NET Framework. Well… Optimization Tools for MATLAB, LabVIEW and .NET (C# C++ and more) Optimization Tools for MATLAB, LabVIEW and .NET (C# C++ and more)- For fast and robust large-scale optimization in Matlab, LabVIEW, AMPL and .NET with packages including CPLEX, Xp… Esteco Esteco- Multidisciplinary design optimization software. Nonlinear programming software survey Nonlinear programming software survey- By Stephen G. Nash, 1998 Linear Programming Linear Programming- Survey of modern software for linear programming (by R.Fourer, 2005). AIMMS AIMMS- Advanced modeling environment for building optimization-based decision support applications and advanced planning systems. Discrete Optimization Methods Discrete Optimization Methods- Archive of Pascal procedures from the 1983 text "Discrete Optimization Algorithms with Pascal Programs" by Maciej M. Syslo, Narsingh Deo, and Janusz… CBC CBC- The COIN Branch and Cut solver is an open-source mixed-integer program (MIP) solver written in C++. SCIP SCIP- Solving Constraint Integer Programs. SCIP is implemented as C callable library and provides C++ wrapper classes for user plugins. MINTO MINTO- Mixed INTeger Optimizer - is a software system that solves mixed-integer linear programs by a branch-and-bound algorithm with linear programming relaxations. It also provid… AMPL AMPL- Modeling language and system for formulating, solving and analyzing large-scale optimization (mathematical programming) problems.