Actimania web directory of carefully selected sites

Arts

Business

Computers

Games

Health

Home

Teens

News

Recreation

Reference

Regional

Science

Shopping

Looking for a directory of carefully selected sites in Science, Math, Logic and Foundations, Meetings, Series ? Actimania, based on the largest, most comprehensive human-edited directory of the web, covers a large variety of annotated sites related to Science, Math, Logic and Foundations, Meetings, Series. This category lists wide range of carefully selected sites in Science, Math, Logic and Foundations, Meetings, Series.

Hotels Galaxy - Hotels all around the world. Discount hotels, hotel rates and lodging reservation. Hotels reservations, flights, cars, travel, vacations, cruises.
OOHotels - Discount and cheap hotels worldwide. Hotel rates and lodging reservations at cheap prices.
OOVacances - Vacations in France - Vacations and Holidays in France. Vacation Rentals of Private Villas, cottages, cabins, apartments and condos.

$http://math.boisestate.edu/~best/$

» Boise Extravaganza in Set Theory Conferences - (BEST) organized at Department of Mathematics and Computer Science, Boise State University.

» CADE - Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning.

http://discotec08.ifi.uio.no/FMOODS08/HomePage

» FMOODS'08 - A conference aiming to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems.

» Formal Methods - World Congress on Formal Methods (FM).

http://www.informatik.hu-berlin.de/lics/

» LICS - IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

http://www.cs.man.ac.uk/~kung-kiu/lopstr/

» LOPSTR - International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.

$http://math.tulane.edu/~mfps/$

» MFPS - Mathematical Foundations of Programming Semantics. An annual series of meetings.

http://www.kr.org/RelatedConferences.html

» NMRW - International Workshops on Nonmonotonic Reasoning.

» Set Theory and its Neighbours - A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.

» TABLEAUX - The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings.

This page of directory is focused on one aspect of Science, Math, Logic and Foundations, Meetings, Series.

Help build the largest human-edited directory on the web. Soumettre un site - Open Directory Project - Devenir Editeur

Actimania web directory list the sites by theme. The links in Actimania directory are collected, edited and organized by humans.