Science Central - All about Science

Thursday, 8 January, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Meetings UPDATE URL | REPORT BROKEN LINK

LOPSTR

 Popularity:    Hit: 17 | Visit: 0
Details
International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.

Sponsored Links:


URL:
Title: LOPSTR Home Page
Description:

Category:


Related sites
Model Theory and Applications to Algebra and Analysis (Popularity: ): Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 17 January -- ...
Logic and Algorithms (Popularity: ): Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- ...
World Congress on Universal Logic (Popularity: ): 1st World Congress and School on Universal Logic. Montreux, Switzerland, March 26 - April 3, ...
Computation Prospects of Infinity (Popularity: ): Research session on recent developments in Set Theory and Recursion Theory. Institute for Mathematical Sciences, ...
Infinite Games (Popularity: ): Foundations of the Formal Sciences V. Rheinische Friedrich-Wilhelms-Universität Bonn, Germany; 26--29 November 2004.
LICS (Popularity: ): IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical ...
CiE 2005 (Popularity: ): Computability in Europe 2005: New Computational Paradigms. Amsterdam, the Netherlands; 8--12 June 2005.
ISMVL 2002 (Popularity: ): Boston, Massachusetts, May 15-18, 2002.
ISMVL 2001 (Popularity: ): Warsaw, Poland, May 22-24, 2001.
ISMVL 2000 (Popularity: ): Portland, Oregon, May 23--25, 2000.

© 2005-2008 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact