AllMusicSearch Music Directory : Science : Math : Logic_and

Home
Music_Metasearch
Music Top Sites
Music Store

AllMusicListings
Concert Listings
Concert Tickets

AllMusicTalk
Chat Rooms
Message Boards

MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News

Community Blogs
Free Member Blogs

AllMusicPages
Free Web Pages

AllMusicBookmarks
Your Bookmarks

AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology

Music Auctions
Auctions
Classifieds

Music Apparel
AllMusicSearch Apparel

Music Store
MP3 Players
Audio Equipment
MP3 Software

Musical Instruments

Music Books
Music Magazines

Music T-Shirts

Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks

Music Videos
Music DVDs

Suggest a site

Series (10)

Sites:

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

» Boise Extravaganza in Set Theory Conferences
(BEST) organized at Department of Mathematics and Computer Science, Boise State University.
http://math.boisestate.edu/~best/

» CADE
Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning.
http://www.cs.albany.edu/~nvm/cade.html

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.
http://discotec08.ifi.uio.no/FMOODS08/HomePage

» Formal Methods
World Congress on Formal Methods (FM).
http://dblp.uni-trier.de/db/conf/fm/

http://www2.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://www2.informatik.hu-berlin.de/lics/

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

» LOPSTR
International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.
http://www.cs.man.ac.uk/~kung-kiu/lopstr/

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

» MFPS
Mathematical Foundations of Programming Semantics. An annual series of meetings.
http://math.tulane.edu/~mfps/

» NMRW
International Workshops on Nonmonotonic Reasoning.
http://www.kr.org/RelatedConferences.html

» Set Theory and its Neighbours
A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.
http://www.ucl.ac.uk/~ucahcjm/stn.html

» TABLEAUX
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings.
http://i12www.ira.uka.de/TABLEAUX/

This category needs an editor

Last Updated: 2007-01-02 17:54:52

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors