Addresses


Back to the home page

Content


SEEDI 2008 Presentations

EU projekti, FP7, FP6, Eureka

Structured information about the EU's current programming period and all the new funds

FP7

FP7 Recently Published Calls

FP7, Security, Deadline: 29 November 2007

FP7 ICT Work Programme

ICT Policy Support Programme

Identifier: FP7-ICT-2007-1

Cultural heritage in FP7

Identifier: FP7-REGPOT-2007-3

EU Funding 2006 Research Mr. Krisztian Lohr, EUCENTER, Portal on EU funds, www.eucenter.org, info@eucenter.org

EU funds

IS2WEB Extending Information Society Networks to the Western Balkan Region

Europe's information society thematic portal

eCulture Newsletter Christine Michaut, Information and Communication Officer, Preservation and Enhancement of Cultural Heritage, Directorate-General Information Society, European Commission, Christine.MICHAUT@cec.eu.int, www.cordis.lu/digicult

EMFlash Margaretha Mazura European Multimedia Forum, Rue Hector Denis 55, 1050 Brussels, Belgium, info@e-multimedia.org

FP6 Cordis

FP6

FP6

FP6 za trece zemlje Back to the content.


Projects

ADHOCSYS on line tool

ADHOCSYS FTP

Podnosenje projekata 144013
Rezultati saradnika

Baza radova iz verovatnosne logike Back to the content.


Universities

USA

Stanford The CSLI web server (www-csli.stanford.edu) provides support for the home pages of several Stanford groups.

Stanford

Williams College

Old dominion university, computer science departement, Virginia, USA

Laurentian University, Canada. Dept. of Comp. science

Univ. of Michigan, Elect. Eng. and Comp. Sci.

Department of Computer Sciences, The University of Texas at Austin

Dept. of Electrical and Computer Engineering Pittsburgh

Washington

University of Notre Dame Computer Science & Engineering Department

Carnegie Mellon

The University El Paso, CS

Dartmouth College, Hanover, New Hampshir

Mathematics and Computer Science Division, Argonne National Laboratory

Europa

Universitt Heidelberg Technische Simulation, IWR, Universitt Heidelberg, Im Neuenheimer Feld 368, D-69120 Heidelberg, email: ems@iwr.uni-heidelberg.de,

The campus of University of Wales Swansea.

Universitet Karlsruhe Institut fur Logik, Komplexitet und Deduktionssysteme

Magdeburg

The Dutch Graduate School in Logic (OzsL)

Holandija, The Institute for Logic, Language and Computation

Utreht

Swiss Federal Institute of Technology at Monte Verita, Ticino, Switzerland

Comenius University, Bratislava

Computer and Systems Science Department Università di Roma,La Sapienza

Weizmann Institute of Science, Israel.

Reims, France

Madrid, Spain

Juzna Amerika

Punta del Este, Uruguay

Natal, Brazil

Asia

Tokio

Tohoku University, Sendai, Japan

Hong Kong

Hong Kong - reference dokazivaca dblp/db/indices/a-tree/k/Krapez:Aleksandar.html

Institute of Mathematical Sciences, Delphi, Department of Computer Science & Engineering

The institutr of mathematical science, Campus, Taramani, Chennai 600 113, INDIA.

Kuwait University, Kuwait.

YU

SANU

RCUB

Matematicki fakultet BG

Institut za filozofiju i drustvo

Komunikacija

Back to the content.

Histrory, Logic

Istorija The MacTutor History of Mathematics archive, Biographies Index, History Topics Index, ...

Istorija Department of mathematics and cs, Laurentian University, Canada. This History of Mathematics site also includes timelines and a chronological List of Mathematicians from 1700 BC to the present, including some biographies and other links.

Istorija Maintained by David E. Joyce (djoyce@clarku.edu) Department of Mathematics and Computer Science Clark University. Regional mathematics, Subjects, Books and other resources, Chronology, Hilbertovi problemi, Euklidovi elementi ...

Euclid's Elements

Alan Turing Maintained by Andrew Hodges, author of Alan Turing: the Enigma.
Turing-ov test

Logic, Philosophy, and Artificial Life Resources , Istorija, projekti, ljudi.

Encyclopedia of Marxism: Glossary of People

Linkovi iz logike

Logicke konferencije

Bulletin of Symbolic Logic

The Virtual Museum of Computing

Back to the content.

Societies

Electronic World Directory of Mathematicians (EWDM)

Humbolt fondacija (Aleksandar vonHumboldt)

Soros

ACM
ACM Tech Packs. annotated bibliographies in computing
ACM 1
ACM DIGITAL LIBRARY
ACM DIGITAL PORTAL

IEEE
IEEE

EATCS European Association for Theoretical Computer Science

AMS
Slanje prikaza za AMS MathRev

IPDPS IPDPS is an international forum for engineers and scientists from around the world to present their latest research findings in all aspects of parallel computation.

The Electronic Newsletter of the IEEE Communications Society

FoLLi The European Association for Logic, Language and Information (FoLLI)

Colibri The URL for the home page of the Colibri WWW server

International Association for Computer and Information Science (ACIS)

Decision and reasoning under uncertainty DECISION AND REASONING UNDER UNCERTAINTY

Union of Slovak Mathematicians and Physicists (USMP)

Back to the content.

Journals

Digital Mathematics Library, Resources

Open-access, online journal Logical Methods in Computer Science

Review of Symbolic Logic (RSL), Association of Symbolic Logic (ASL)

Web Semantics: Science, Services and Agents on the World Wide Web, Elsevier

JLC

Citation Databases Journal List

Advances in Modal Logic

Discrete Applied Mathematics DAM

Artificial Intelligence AI

Theoretical Computer Science

Journal of Logic and Computation JLC
JLC

Discrete Mathematics and Theoretical Computer Science , A Free Electronic Journal DMTCS

INFORMATICA an International Journal of Computing and Informatics, It was published by the Josef Stefan Institute in Ljubljana.

ETAI Journal on decision and reasoning under uncertainty. ETAI Journal

Parallel and Distributed Computing Practices (PDCP)

Journal on Relational Methods in Computer Science - An electronic Journal -

The London Mathematical Society JOURNAL OF COMPUTATION AND MATHEMATICS The LMS JOURNAL OF COMPUTATION AND MATHEMATICS , all abstracts, and the search engine, are publicly available on the web. To read or download the main text (in pdf) and associated files of a paper, either you or your institution must be registered as a subscriber. TO SUBSCRIBE (free of cost for the present).

Journal of Applied Non-Classical Logics,

Annals of Mathematics and Artificial Intelligence

Camdridge mathematical journal "+ Plus"

"Komentar" - Internet casopisa za politicke analize i zblizavanje pravoslavnih naroda. Komentar
Komentar na srpskom
Komentar na ruskom
Komentar - Forum
Gradovi NATO

Back to the content.

Publishers

John Wiley & Sons Wiley InterScience

OXFORD UNIVERSITY PRESS For the latest tables of contents of other journals in your area
For advance details of appropriate new books

Elsevier Elsevier
registration
registration
registration

Springer-Verlag Springer

McMillan McMillan

CSLI , Center for the Study of Language and Information, Lecture Notes, CSLI Publications, Stanford.

Nova Science Publishers

Institute of Physics Publishing - books for physicists, scientists, schools, colleges, universities and individuals

Back to the content.

People - Search

Imu-Net
Electronic World Directory of Mathematicians (EWDM)

Elsevier pretrazivanje

List of People in interesting Research Areas

List of People in interesting Research Areas - BOLJA

Jozefova lista za pretrazivanje

Encyclopedia of Marxism: Glossary of People

Fomenko

Halpern, Joseph Y Helpern

Ron Fagin email: fagin@almaden.ibm.com, fagin@almaden.bitnet

Moshe Vardi

Peter Haddawy Peter Haddawy

E. Allen Emerson

Edmund M. Clarke Povezan je i na stranu simbolicke verifikacije, sa radovima, programima, testovima ...

M. Fitting

JUDEA PEARL UCLA Computer Science Department Cognitive Systems Lab 4532 Boelter Hall tel: (310) 825-3243 fax: (310) 825-2273 e-mail to:judea@cs.ucla.edu

J.A. Makowsky Technion-Israel Institute of Technology, Haifa.

Eike Best . Petri mreze, Prof. Dr. Eike Best, University of Oldenburg, Fachbereich Informatik, Parallel systems, D-26111 Oldenburg, email: eike.best@informatik.uni-oldenburg.de

Oded Goldreich Oded Goldreich is a Professor of Computer Science Mathematics and Computer Science. email: oded@wisdom.weizmann.ac.il

L. Farinas del Cerro , editor-in-chief of the Journal of Applied Non-Classical Logics, I.R.I.T. Universite Paul Sabatier, 118 route de Narbonne, 31062 TOULOUSE Cedex FRANCE Fax: 33 5 61558325 (05 61558325 en France), Tel: 33 5 61556345 (05 61556345 en France), E-mail:farinas@irit.fr

Martin De Rijke

Maartin Marx
Maartin Marx

Dov Gabbay
Dov Gabbay

Stephany Demri

Anuj Dawar

Alexandar Dekhtyar

David Poole I am a Professor in the Department of Computer Science, University of British Columbia. I am a member of the Laboratory for Computational Intelligence and a principal investigator of IRIS., main research interests are artificial intelligence, knowledge representation, reasoning under uncertainty, computational logic, diagnosis, probabilistic argumentation systems, reasoning about actions, decision theoretic planning, and preference elicitation.

Jeremy Avigad Department of Philosophy at Carnegie Mellon University.

Back to the content.

Digitization

European Heritage Network, HEREIN

Back to the content.

Conferences

Pisa, nestandardna

The 2002 Federated Logic Conference, FLoC'02 Sa intuicionistickom-modalnom sesijom

FroCoS 2002, Italija, Djenova

The proceedings of FTP'98 -- 2nd Int. Workshop on First-order Theorem Proving (November 23-25, 1998, Vienna, Austria) are now available on the web: FTP'98 and by anonymous ftp: ftp://ftp.logic.at/pub/ftp98/

FLoc'99 Workshop IMLA: Intuitionistic Modal Logic and Applications IMLA

ESSLLI

ESSLLI 2000

CADE-17

TABLEAUX Non Classical Systems Comparison, Experimental Analysis of Theorem Provers and Satisfiability Testers on Non Classical Logics

CAA 2000 Computing Archaeology for Understanding the Past, A joint conference of Computer Applications and Quantitative Methods in Archaeology conference) and the Union Sciences Préhistoriques et Commission IV. Slovenia, April 18 - 21, 2000 Ljubljana.

Back to the content.

Information

SFRJ radio

Encyclopaedia of Mathematics (Edited by Michiel Hazewinkel)

The Internet Archive

* FreeScience.info

SCRIBD

How computing has changed humanity

Izazovi matematike za 21 vek

Svakodnevna matematika

TeX

LaTeX tutorial

Computational Intelligence Website launched First-Stop Source for researchers in the field of Computational Intelligence. Sadrzaji, apstrakti 60-tak elsevier casopisa.
CITE CITE CITE

News arhiva

Altavista
NetCenter
Yahoo

Zadaci

CSPLib v1.0: a benchmark library for constraints CSPLib , email:csplib@cs.strath.ac.uk, Announcement of Release and Call for Problems.

Zadaci za takcmicenja iz programiranja

Trazenje posla 1

Trazenje posla 2

Trazenje posla 3

Radovi

COMPUTING ALERT Anbar . Your window on knowledge management and information access from Anbar Electronic Intelligence.
ANBAR COMPUTER ABSTRACTS are now available via CAMBRIDGE SCIENTIFIC ABSTRACTS at Abstrakti .
NEW JOURNALS COVERAGE LIST. Every year the list of accredited journals changes. New titles are added while others are removed from the list. If you haven't yet found out which journals made the grade for 1999 check out the full list of accredited Computing titles at Lista

Science citation index SCI

Arhiva radova xxx

ECCC Electronic Colloquium on Computational Complexity - Research reports, surveys and books in computational complexity

Jezici

JAVA

XML jezik

Razno

Antivirusi

obavestavamo vas da se na adresi http://www.sota.ch/auto/ KOLA nalazi prva jugoslovenska BESPLATNA berza automobila na internetu.

dalje vas obavestavamo da se na adresi http://www.sota.ch/immo/ STAN nalazi prva i veoma popularna i posecena jugoslovenska BESPLATNA berza nekretnina na internetu.

Besplatno na YU Internetu

Back to the content.

Firms

IBM IBM

AT and T

Back to the content.

Provers

Strategies in Automated Deduction Information about this series of workshops is available.

Back to the content.

Mathematical Review

-MATH -- the AMS home page on the Web -- at

Mathematical Reviews on the Web

A booklet in PDF form about Mathematical Reviews

MR Guide for Reviewers

Guide for Electronically Submitted Reviews

Mathematics Subject Classification

MR Author Lookup

Abbreviations of Names of Serials

Institution Codes and Addresses

Back to the content.

Education

Free online MIT Harvard Berkly courses

Stanford Encyclopedia of Philosophy

Baza iz verovatnosnih logika

Springer Computer Science Reading room

The Great Principles of Computing project

Computer Science Unplugged - razumevanje principa izracunavanja

Macmillan Online Dictionary

Merriam-Webster Online Dictionary sa izgovorom

Prevodilac

Prevodilac, fraze

Cambridge online dictionary

Common Errors in English

Engleski Recnik

Srspko-Engleski 1

Srpsko-Engleski 2

Wikipedia, the free encyclopedia

Algebra lessons

Formal Methods Education Resources

Guide to Linear Programming

Privacy, criptology

Math Puzzle

E-books on mathematics

Windows Live Academic

Google Scholar

Microsoft Academic Search

Back to the content.

Entertainment, Tourism, Phone numbers

Njuz u ogledalu

HR Njuz u ogledalu

Anarho-sindikalisticka inicijativa

bOSANSKE PIRAMIDE

Telekom Srbija, telefonski brojevi, Fiksna talefonija

Temperatura, prognoza

Istocna Srbija

Mape

Djavolja varos

Best beaches

Last Minute, 3614-143

Hoteli u Grckoj (Sithonija, Rahona, Lagonandra

Skiatos, Skopelos

Skiatos, Skopelos

Dizajneri logo-a

Back to the content.

Nina

ibm - crtani filmovi

Spisateljica (napisala Cicu)

Back to the content.

NOB

Doba heroja, pesme, ...


Back to the home page