Past

Alexander Kulkov Alexander Kulkov- Information about crystals grown from aqua solutions and their use in science and technology. Giorgi Japaridze's Publications Giorgi Japaridze's Publications- Full list of publications by this author, with about 30 items devoted to computability and interpretability logics. Many of the papers are downloa… Tolerance Tolerance- Definition of the concept of a tolerant sequence of theories. Cointerpretability Cointerpretability- Definition of the concept. Interpretability Logic Interpretability Logic- Open Encyclopedia article. Provability Logic Provability Logic- Open Encyclopedia article. Interpretability Interpretability- A definition of the concept. Interpretability Logic Interpretability Logic- Wikipedia article. Provability Logic Provability Logic- Wikipedia article. Information Fusion 2004 Information Fusion 2004- 7th International Conference on Information Fusion. Stockholm, Sweden; 28 June -- 1 July 2004. VI International Workshop on Learning Software Organisations - LSO2004 VI International Workshop on Learning Software Organisations - LSO2004- Brings together academia and industry to discuss the advancements and address the questions of continuous l… Eighth International ISKO Conference Eighth International ISKO Conference- Knowledge Organization and the Global Information Society. Features call for papers, venue and contact information. London, England, UK. Agent-Mediated Knowledge Management (AMKM-04) Agent-Mediated Knowledge Management (AMKM-04)- Illustrates methodological, technical and application aspects of Agent-mediated Knowledge Management. Includes call for papers. Vale… 27th German Conference on Artificial Intelligence - KI2004 27th German Conference on Artificial Intelligence - KI2004- Offers research on theoretical foundations, novel applications and the integration of methods. Includes call for papers… The Future of the European Knowledge Society The Future of the European Knowledge Society- An event from Club of Amsterdam. Features registration. Amsterdam. FGWM 2003 FGWM 2003- Provides an interdisciplinary forum for researchers and practitioners for exchanging ideas and innovative applications around knowledge and experience management. Featu… AAAI Symposium on Agent-mediated Knowledge Management (AMKM 2003) AAAI Symposium on Agent-mediated Knowledge Management (AMKM 2003)- Methodological, technical and application aspects of agent-mediated Knowledge Management. Features post-symposiu… IEEE Visualization 2000 IEEE Visualization 2000- Collaboration among developers and users of visualization methods across all of science, engineering, medicine, and commerce. Salt Lake City, UT. Features… Computational Commutative Algebra Computational Commutative Algebra- MSRI, Berkeley, CA, USA; 13--15 March 2003. SNSC'01 SNSC'01- Conference on Symbolic and Numeric Computation. RISC-Linz, Schloss Hagenberg, Austria; 12--14 September 2001. Open Source Computer Algebra Open Source Computer Algebra- This workshop aims to study the situation of free software in the domain of symbolic computations, and the feasibility of a free system. Lyon, France… AC2005 AC2005- 6th Symposium on Algebra and Computation. Tokyo Metropolitan University, Japan; 15--18 November 2005. COCOA's Fourth International School on Computer Algebra COCOA's Fourth International School on Computer Algebra- COmputational COmmutative Algebra and International School on Computer Algebra. Corte Rosada Hotel Porto Conte, Italy; 23-… SYNASC-2004 SYNASC-2004- 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Timisoara, Romania; 24--26 September 2004. ECCAD03 ECCAD03- East Coast Computer Algebra Day: a series of annual one day conferences on symbolic and mathematical computation. Clemson University, South Carolina, USA; Saturday 5 Apri… RWCA'02 RWCA'02- Eighth Rhine Workshop on Computer Algebra. Mannheim, Germany; 21--22 March 2002. ACA'98 ACA'98- 4th IMACS Conference on Applications of Computer Algebra. Czech Technical University, Prague, Czech Republic; 9--11 August 1998. East Coast Computer Algebra Day 2000 East Coast Computer Algebra Day 2000- Research Centre for Computer Algebra, University of Western Ontario in London, Ontario, Canada; 13 May 2000. ISSAC'2001 ISSAC'2001- International Symposium on Symbolic and Algebraic Computation. University of Western Ontario; 22--25 July 2001. First West Coast Computer Algebra Day First West Coast Computer Algebra Day- Okanagan University College, Kelowna, BC, Canada; 15 November 1997.