- Journal of Computer Science and Technology
Distributed throughout the world.JCST is an international forum for scientists and engineers in all original research and innovatory applications from all parts of the world are welcome.The papers for publication in JCST are aelected through rigorous peer reviews to ensure originality,timeliness,relevance,and readability.While it emphasizes publication of previously unpublished materials,selected conference papers with exceptional merit that require wider exposure are,at the discretion of the editors,also published provided they meet the journal's peer review standard.JCST also seeks clearly written survey and review articles from experts in the field to promote insightful understanding of the state-of-the-art and the technology trends.
The Collection of Computer Science Bibliographies
This is a collection of bibliographies of scientific literature in computer science from various sources, covering most aspects of computer science. The bibliographies are updated monthly from their original locations such that you'll always find the most recent versions here. The collection currently contains more than 1.4 million references (mostly to journal articles, conference papers and technical reports), clustered in about 1400 bibliographies, and consists of 660 MBytes of BibTeX entries. More than 19,000 references contain crossreferences to citing or cited publications. More than 240,000 references contain URLs to an online version of the paper. Abstracts are available for more than 180,000 entries. There are more than 2000 links to other sites carrying bibliographic information. These numbers are continuously raising.
The Pacific Association for Computational Linguistics 2003, held at Dalhousie University, Halifax, Canada.
Conferences of interest to the Automated Scheduling, Optimisation and Planning (ASAP)
This page is mainly for the use of the Automated Scheduling, Optimisation and Planning (ASAP) research group, The University of Nottingham. It is a convenient way of keeping track of conferences that we might be interested in submitting and/or attending. The conferences are sorted by Call for Papers Deadline (CFP). Some conferences may still appear long after this date has passed. This is due to so that we can show the status of a paper submitted to a conference. In general, the conferences will be removed once the conference has taken place or the proceedings have been received for conferences where our research group have an interest.
International Conference on Communications in Computing (CIC)
The International Conference on Communications in Computing (CIC) focuses on the communication requirements directly induced or required by computations. An essential element of high performance computing is the trade-off in the amount of computation versus the amount of communication performed. In other words, computations induce a certain amount of required communication. This conference provides a venue for scholarly publication that explores issues relating to the combined effects of communications and computations in the context of modern day computing systems. Following the recent broadening of the field of parallel and distributed computing, CIC covers all current research endeavors in this field. Submissions are also encouraged from researchers in other areas of computing and from related areas in physics, computer engineering or other areas of study whose work supports the focus of this conference.
Database research group at University of Wisconsin-Madison
Office of Science And Technology at the French Embassy in the USA
Objectives The Office of Science and Technology has a dual role : to aide in strengthening the place of French science and technology in the United States. to disseminate in France information on American research and development policy as well as current events in science and technology. The Office of Science and Technology operates in close conjunction with numerous French institutions: research organizations, universities and engineering schools, centers for technology transfer, incubators, businesses… and by different means: promotion actions, development of Franco-American collaborations, collection of information. Methods of action The multiple branches of the Office of Science and Technology located nation-wide and the spectrum of activities covered by the research organizations and agencies represented within allow a responsiveness on many grounds. >Scientific and Technological Watch, led by the Office of Science and Technology is based on the examination of numerous sources of information on the Internet and in the press, as well as complementary information on the strategies of different players, obtained thanks to its network of contacts with the decision-making circles of R&D. Diverse publications contribute to accomplishing this task: specialized informative periodicals, essays and reports on specific subjects. Organization of experts’ assignments and seminars allows reciprocal information between the French and Americans and opens the gates to now collaborative efforts. Exchanges for young scientists and engineers
The 13the Nordic Workshop on Programming Theory (NWPT'01)
The objective of the workshop is to bring together researchers from (but not limited to) the Nordic and Baltic countries interested in programming theory, in order to improve mutual contacts and cooperation.
Prof. Dr. G. Rozenberg
Prof. Dr. G. Rozenberg's home page
The main mathematical disciplines that have been used in computer science are discrete mathematics (especially graph theory and ordered structures), logics (mostly proof theory for all kinds of logics, classical, intuitionistic, modal etc.) and category theory (cartesian closed categories, topoi etc.). General Topology has also been used for instance in denotational semantics, with relations to ordered structures in particular. Recently, ideas and notions from mainstream "geometric" topology and algebraic topology have entered the scene in Concurrency Theory and Distributed Systems Theory (some of them based on older ideas). They have been applied in particular to problems dealing with coordination of multi-processor and distributed systems (see the historical note ). Among those are techniques borrowed from algebraic and geometric topology: Simplicial techniques have led to new theoretical bounds for coordination problems. Higher dimensional automata have been modelled as cubical complexes with a partial order reflecting the time flows, and their homotopy properties allow to reason about a system's global behaviour. The GETCO workshops aim at bringing together researchers from both the mathematical (geometry, topology, algebraic topology etc.) and computer scientific side (concurrency theorists, semanticians, algorithmicians, researchers in distributed systems etc.) with an active interest in these or related developments. Topics include (but are not limited to): * Algorithmics for Concurrent or Distributed Systems * Fault-tolerant Protocols for Distributed Systems * Semantics * Concurrency Theory * Model-checking * Abstract Interpretation * Geometric/Topological models * Applications of algebraic topology * Category theory
Oil Information Technology Journal
Oil and gas newsletter and web resource focused on information technology, data, knowledge and information management.
2005 SIAM International Conference on Data Mining
Advances in information technology and data collection methods have led to the availability of large data sets in commercial enterprises and in a wide variety of scientific and engineering disciplines. We have an unprecedented opportunity to analyze this data and extract intelligent and useful information from it. The field of data mining draws upon extensive work in areas such as statistics, machine learning, pattern recognition, databases, and high performance computing to discover interesting and previously unknown information in data. This conference will provide a forum for the presentation of recent results in data mining, including applications, algorithms, software, and systems. There will be peer reviewed, contributed papers as well as invited talks and tutorials. Best paper awards will be given in different categories. Proceedings of the conference will be available both online at the SIAM Web site and in hard copy form. In addition, several workshops on topics of current interest will be held on the final day of the conference.
Very Large Data Bases Conference. Annual series: links to individual meetings.
Annual International Conference: The engineering of industrial strength real-time software and distributed systems using Ada and related technologies. Redondo Beach, CA, USA; 16--17 October 1999.
Combining the Fifth International Conference on Algebraic and Logic Programming (ALP); the Eighth International Symposium on Programming Languages Implementations, Logics, and Programs (PLILP); and the Third International Static Analysis Symposium (SAS). Aachen, Germany; 24--27 September 1996.
Asian Computing Science Conference. Kathmandu, Nepal;9--12 December 1997.
8th International Conference on Reliable Software Technologies. Toulouse, France; 16--20 June 2003.