osdir.com
mailing list archive F.A.Q. -since 2001!



Subject: [Dbworld] Book announcement: "Elements of
Finite Model Theory" - msg#00035

List: db.dbworld

Mail Archive Navigation:
by Date: Prev Next Date Index by Thread: Prev Next Thread Index


ELEMENTS OF FINITE MODEL THEORY
by Leonid Libkin
Springer Verlag, 2004, XIV, 315 p., Hardcover, ISBN 3-540-21202-7.
(Series: Texts in Theoretical Computer Science.)
http://www.cs.toronto.edu/~libkin/fmt

From the back cover: This book is an introduction to finite model
theory which stresses the computer science origins of the area. In
addition to presenting the main techniques for analyzing logics over
finite models, the book deals extensively with applications in
databases, complexity theory, and formal languages, as well as other
branches of computer science. It covers Ehrenfeucht-Fraisse games,
locality-based techniques, complexity analysis of logics, including
the basics of descriptive complexity, second-order logic and its
fragments, connections with finite automata, fixed point logics,
finite variable logics, zero-one laws, and embedded finite models,
and gives a brief tour of recently discovered applications of finite
model theory. This book can be used both as an introduction to the
subject, suitable for a one- or two-semester graduate course, or as
reference for researchers who apply techniques from logic in computer
science.

Table of contents:
1. Introduction
2. Preliminaries
3. Ehrenfeucht-Fraisse Games
4. Locality and Winning Games
5. Ordered Structures
6. Complexity of First-Order Logic
7. Monadic Second Order Logic and Automata
8. Logics with Counting
9. Turing Machines and Finite Models
10. Fixed Point Logics and Complexity Classes
11. Finite variable logics
12. Zero-one laws
13. Embedded Finite Models
14. Other applications of finite model theory.
Bibliography, List of Notation, Index, Name Index.

To order: http://www.springeronline.com/.
Prices - regular: EUR 39.95, US$ 54.95, GBP 30.50
for Springer authors: EUR 26.63, US$ 36.63, GBP 20.33.
_______________________________________________
Dbworld mailing list
Dbworld-hcNo3dDEHLuVc3sceRu5cw@xxxxxxxxxxxxxxxx
http://lists.cs.wisc.edu/mailman/listinfo/dbworld



Thread at a glance:

Previous Message by Date:

[Dbworld] Deadline Approaching - CFP: SAG'04

SAG'04 First International workshop on SCIENTIFIC APPLICATIONS of GRID Computing (SAG'04) http://laurel.datsi.fi.upm.es/SAG04 On the 2004 IEEE/WIC/ACM International Joint Conference on Web Intelligence (WI 2004) http://www.maebashi-it.org/WI04/ http://www.comp.hkbu.edu.hk/WI04/ Intelligent Agent Technology (IAT 2004) http://www.maebashi-it.org/IAT04/ http://www.comp.hkbu.edu.hk/IAT04/ Beijing, China, 20 Sept - 24 Sept 2004 --------------------------------------------------------------------------- In the last few years, an increasing number of scientific applications have demanded an intensive use of computational resources. Furthermore, these applications must access to large data collections, making use of huge storage systems. Within this framework, grid computing provides a dynamic and heterogeneous infrastructure to complex scientific applications. The great challenge of grid computing is the complete integration of heterogeneous computing systems and data resources with the aim of providing a global computing space. The achievement of this goal is involving revolutionary changes in the field of computation, because it is enabling resource-sharing across networks. SAG'04 is an international meeting that brings together a community of researchers, developers and users involved with the Grid with a common aim: present current and emerging work as well as to exchange research ideas and future directions in this field. TOPICS OF INTEREST include, but are not limited to: * Computational grids * Grid infrastructures for data analysis * High-performance computing for data-intensive applications * Grid computing infrastructures, middleware and tools * Grid computing services * Grid and cluster computing * Collaboration technologies * Databases and the grid * Extracting knowledge from data grids * Data mining grids * Agent-based management of data in distributed systems * Agent architectures for grid environments * Semantic Grid * Data grids for bioinformatics * Security in data grids IMPORTANT DATES Deadline for paper submission July 15th, 2004 Notification of acceptance August 7th, 2004 Deadline for camera-ready papers August 15th, 2004 SUBMISSION GUIDELINES All submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of expression. Submissions should be forwarded electronically (PDF format) to: sag04-fEBJzArUy1LypFypRcl3w2KZAwSD1GT0@xxxxxxxxxxxxxxxx MANUSCRIPT GUIDELINES All submissions must be in English. Research submissions must not exceed 8 pages of double column text using single spaced 10 point size type on 8.5 x 11 inch pages, as per IEEE 8.5 x 11 manuscript guidelines. For author instructions see http://www.computer.org/cspress/instruct.htm ORGANIZING COMMITTEE Pilar Herrero Facultad de Informatica Universidad Politecnica de Madrid Campus de Montegancedo S/N 28660 Boadilla del Monte Madrid (Spain) Phone: (+34) 91.336.74.56 Fax: (+34) 91.336.65.95E mail: pherrero-9JOu1L8IgyX1P9xLtpHBDw@xxxxxxxxxxxxxxxx Maria S. Perez Facultad de Informatica Universidad Politecnica de Madrid Campus de Montegancedo S/N 28660 Boadilla del Monte Madrid (Spain) Phone: (+34) 91.336.73.80 Fax: (+34) 91.336.73.73 Email: mperez-9JOu1L8IgyX1P9xLtpHBDw@xxxxxxxxxxxxxxxx Victor Robles Facultad de Informatica Universidad Politecnica de Madrid Campus de Montegancedo S/N 28660 Boadilla del Monte Madrid (Spain) Phone: (+34) 91.336.73.80 Fax: (+34) 91.336.73.73 Email: vrobles-9JOu1L8IgyX1P9xLtpHBDw@xxxxxxxxxxxxxxxx Milena Radenkovic School of Computer Science & IT University of Nottingham Nottingham, NG8 1BB, UK Phone: +44 (115) 951 4226 Fax: +44 (115) 951 4254 email: mvr-qIFWa415ktg2EctHIo1CcQ@xxxxxxxxxxxxxxxx CONTACT For further information on SAG'04, please contact the organizing committee: sag04-fEBJzArUy1LypFypRcl3wz8JXRfhIeef@xxxxxxxxxxxxxxxx _______________________________________________ Dbworld mailing list Dbworld-hcNo3dDEHLuVc3sceRu5cw@xxxxxxxxxxxxxxxx http://lists.cs.wisc.edu/mailman/listinfo/dbworld

Next Message by Date:

[Dbworld] Call for Papers: GEOINFO 2004 - VI Brazilian Symposium on Geoinformatics

GEOINFO 2004 CALL FOR PAPERS VI BRAZILIAN SYMPOSIUM ON GEOINFORMATICS November 22-24, 2004, Campos do Jordao, Brazil Promoted by SBC (Brazilian Computing Society) Sponsored by IFIP (International Federation for Information Processing) Working Group 2.6 DATABASES Organized by UFRGS and INPE The GEOINFO series of conferences has been organized since 1999 and provides a premier forum for: sharing research solutions in the area of geoinformatics as well as promoting the exchange of geotechnologies and experience among researchers and application engineers, and identifying new issues and directions for future research in geoinformatics and beyond. GEOINFO 2004 will be held in Campos do Jordão, an attractive tourist destination which is located at 1,700 meters above the sea level on the mountains of Serra da Mantiqueira, 186Km away from the city of Rio de Janeiro and 330Km from São Paulo. It is famous for its mild weather as well as its mountain trails. The central European heritage can be perceived in both architecture and food. GEOINFO 2004 invites research submissions on topics related to geoinformatics, including but not limited to those listed below: - Spatial databases - Spatial and spatio-temporal data models and modeling techniques - GIS interoperability and patterns - Ontologies for geographical data - Spatial metadata - Spatial, spatio-temporal and multidimensional access methods - Spatial query processing and optimization - Multiple representations of geographical data - Computational geometry - Virtual reality and 3D GIS - Very large and parallel GIS processing - GIS and the Internet - Mobile as well as distributed GIS services - Real time spatio-temporal GIS - Spatial and spatio-temporal data mining and knowledge discovery - Geographical data quality - Content based image retrieval - Spatial statistics and analysis - Innovative geoprocessing based applications Paper Submission Guidelines: Authors are invited to submit papers describing either ongoing or recently completed, original research. For the first time the GEOINFO conference we will be accepting both long and short papers. Long papers must be written in English and may not exceed 8 pages. Short papers can be written either in English or in Portuguese, not exceeding 5 pages, and are meant to present results of ongoing research of graduate students. Only electronic submissions will be accepted. Papers in English must be submitted through the site http://www.geoinfo.info/geoinfo2004/paper.html, while the submission of papers in Portuguese must be done through the site http://www.geoinfo.info/portuguese/geoinfo2004/paper.html. The conference proceedings will be published under the ISBN of IFIP. General Chair: Gilberto Camara (INPE, Brazil) Program Chair: Cirano Iochpe (UFRGS, Brazil) Organizing Committee Chairs: Gilberto Camara (INPE, Brazil) Cirano Iochpe (UFRGS, Brazil) Marco Antonio Casanova (PUC/Rio, Brazil) Program Committee: Ana Carolina Salgado (UFPE, Brazil) Andrew Frank (Technical University of Vienna, Austria) Antonio Miguel V. Monteiro (INPE, Brazil) Bernhard Mitschang (Universität Stuttgart, Germany) Carlos Antonio Alvares Soares Ribeiro (UFV, Brazil) Cirano Iochpe (UFRGS, Brazil) Claudio Esperança (COPPE/UFRJ, Brazil) Clodoveu Augusto Davis Jr. (PRODABEL, Brazil) Frederico Fonseca (Penn State University, USA) Geovane Cayres Magalhaes (CPQD, Brazil) Gilberto Câmara (INPE, Brazil) João Argemiro Paiva (ORACLE Corporation, USA) José Luiz de Souza Pio (FUA, Brazil) Jugurta Lisboa Filho (UFV, Brazil) Marcelo Tílio Monteiro de Carvalho (PUC/Rio, Brazil) Marco Antônio Casanova (PUC/Rio, Brazil) Marcus Vinicius Alvim Andrade (UFV, Brazil) Max Egenhofer (University of Maine, USA) Milton Ramirez (COPPE/UFRJ, Brazil) Renato Assunção (UFMG, Brazil) Ricardo Ciferri (UEM, Brazil) Robert Laurini (INSA of Lyon, France) Stefano Spaccapietra (Swiss Federal Institute of Technology at Lausanne, Switzerland) Valeria Times (UFPE, Brazil) Werner Kuhn (University of Münster, Germany) Yannis Theodoridis (University of Piraeus, Greece) Important Dates: - Submission of full papers (either long or short): August 15, 2004 - Notification of acceptance: September 20, 2004 - Camera-ready copies due: October 10, 2004 For further information check the website http://www.geoinfo.info/geoinfo2004/index.html. _______________________________________________ Dbworld mailing list Dbworld-hcNo3dDEHLuVc3sceRu5cw@xxxxxxxxxxxxxxxx http://lists.cs.wisc.edu/mailman/listinfo/dbworld

Previous Message by Thread:

[Dbworld] Deadline Approaching - CFP: SAG'04

SAG'04 First International workshop on SCIENTIFIC APPLICATIONS of GRID Computing (SAG'04) http://laurel.datsi.fi.upm.es/SAG04 On the 2004 IEEE/WIC/ACM International Joint Conference on Web Intelligence (WI 2004) http://www.maebashi-it.org/WI04/ http://www.comp.hkbu.edu.hk/WI04/ Intelligent Agent Technology (IAT 2004) http://www.maebashi-it.org/IAT04/ http://www.comp.hkbu.edu.hk/IAT04/ Beijing, China, 20 Sept - 24 Sept 2004 --------------------------------------------------------------------------- In the last few years, an increasing number of scientific applications have demanded an intensive use of computational resources. Furthermore, these applications must access to large data collections, making use of huge storage systems. Within this framework, grid computing provides a dynamic and heterogeneous infrastructure to complex scientific applications. The great challenge of grid computing is the complete integration of heterogeneous computing systems and data resources with the aim of providing a global computing space. The achievement of this goal is involving revolutionary changes in the field of computation, because it is enabling resource-sharing across networks. SAG'04 is an international meeting that brings together a community of researchers, developers and users involved with the Grid with a common aim: present current and emerging work as well as to exchange research ideas and future directions in this field. TOPICS OF INTEREST include, but are not limited to: * Computational grids * Grid infrastructures for data analysis * High-performance computing for data-intensive applications * Grid computing infrastructures, middleware and tools * Grid computing services * Grid and cluster computing * Collaboration technologies * Databases and the grid * Extracting knowledge from data grids * Data mining grids * Agent-based management of data in distributed systems * Agent architectures for grid environments * Semantic Grid * Data grids for bioinformatics * Security in data grids IMPORTANT DATES Deadline for paper submission July 15th, 2004 Notification of acceptance August 7th, 2004 Deadline for camera-ready papers August 15th, 2004 SUBMISSION GUIDELINES All submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of expression. Submissions should be forwarded electronically (PDF format) to: sag04-fEBJzArUy1LypFypRcl3w2KZAwSD1GT0@xxxxxxxxxxxxxxxx MANUSCRIPT GUIDELINES All submissions must be in English. Research submissions must not exceed 8 pages of double column text using single spaced 10 point size type on 8.5 x 11 inch pages, as per IEEE 8.5 x 11 manuscript guidelines. For author instructions see http://www.computer.org/cspress/instruct.htm ORGANIZING COMMITTEE Pilar Herrero Facultad de Informatica Universidad Politecnica de Madrid Campus de Montegancedo S/N 28660 Boadilla del Monte Madrid (Spain) Phone: (+34) 91.336.74.56 Fax: (+34) 91.336.65.95E mail: pherrero-9JOu1L8IgyX1P9xLtpHBDw@xxxxxxxxxxxxxxxx Maria S. Perez Facultad de Informatica Universidad Politecnica de Madrid Campus de Montegancedo S/N 28660 Boadilla del Monte Madrid (Spain) Phone: (+34) 91.336.73.80 Fax: (+34) 91.336.73.73 Email: mperez-9JOu1L8IgyX1P9xLtpHBDw@xxxxxxxxxxxxxxxx Victor Robles Facultad de Informatica Universidad Politecnica de Madrid Campus de Montegancedo S/N 28660 Boadilla del Monte Madrid (Spain) Phone: (+34) 91.336.73.80 Fax: (+34) 91.336.73.73 Email: vrobles-9JOu1L8IgyX1P9xLtpHBDw@xxxxxxxxxxxxxxxx Milena Radenkovic School of Computer Science & IT University of Nottingham Nottingham, NG8 1BB, UK Phone: +44 (115) 951 4226 Fax: +44 (115) 951 4254 email: mvr-qIFWa415ktg2EctHIo1CcQ@xxxxxxxxxxxxxxxx CONTACT For further information on SAG'04, please contact the organizing committee: sag04-fEBJzArUy1LypFypRcl3wz8JXRfhIeef@xxxxxxxxxxxxxxxx _______________________________________________ Dbworld mailing list Dbworld-hcNo3dDEHLuVc3sceRu5cw@xxxxxxxxxxxxxxxx http://lists.cs.wisc.edu/mailman/listinfo/dbworld

Next Message by Thread:

[Dbworld] Call for Papers: GEOINFO 2004 - VI Brazilian Symposium on Geoinformatics

GEOINFO 2004 CALL FOR PAPERS VI BRAZILIAN SYMPOSIUM ON GEOINFORMATICS November 22-24, 2004, Campos do Jordao, Brazil Promoted by SBC (Brazilian Computing Society) Sponsored by IFIP (International Federation for Information Processing) Working Group 2.6 DATABASES Organized by UFRGS and INPE The GEOINFO series of conferences has been organized since 1999 and provides a premier forum for: sharing research solutions in the area of geoinformatics as well as promoting the exchange of geotechnologies and experience among researchers and application engineers, and identifying new issues and directions for future research in geoinformatics and beyond. GEOINFO 2004 will be held in Campos do Jordão, an attractive tourist destination which is located at 1,700 meters above the sea level on the mountains of Serra da Mantiqueira, 186Km away from the city of Rio de Janeiro and 330Km from São Paulo. It is famous for its mild weather as well as its mountain trails. The central European heritage can be perceived in both architecture and food. GEOINFO 2004 invites research submissions on topics related to geoinformatics, including but not limited to those listed below: - Spatial databases - Spatial and spatio-temporal data models and modeling techniques - GIS interoperability and patterns - Ontologies for geographical data - Spatial metadata - Spatial, spatio-temporal and multidimensional access methods - Spatial query processing and optimization - Multiple representations of geographical data - Computational geometry - Virtual reality and 3D GIS - Very large and parallel GIS processing - GIS and the Internet - Mobile as well as distributed GIS services - Real time spatio-temporal GIS - Spatial and spatio-temporal data mining and knowledge discovery - Geographical data quality - Content based image retrieval - Spatial statistics and analysis - Innovative geoprocessing based applications Paper Submission Guidelines: Authors are invited to submit papers describing either ongoing or recently completed, original research. For the first time the GEOINFO conference we will be accepting both long and short papers. Long papers must be written in English and may not exceed 8 pages. Short papers can be written either in English or in Portuguese, not exceeding 5 pages, and are meant to present results of ongoing research of graduate students. Only electronic submissions will be accepted. Papers in English must be submitted through the site http://www.geoinfo.info/geoinfo2004/paper.html, while the submission of papers in Portuguese must be done through the site http://www.geoinfo.info/portuguese/geoinfo2004/paper.html. The conference proceedings will be published under the ISBN of IFIP. General Chair: Gilberto Camara (INPE, Brazil) Program Chair: Cirano Iochpe (UFRGS, Brazil) Organizing Committee Chairs: Gilberto Camara (INPE, Brazil) Cirano Iochpe (UFRGS, Brazil) Marco Antonio Casanova (PUC/Rio, Brazil) Program Committee: Ana Carolina Salgado (UFPE, Brazil) Andrew Frank (Technical University of Vienna, Austria) Antonio Miguel V. Monteiro (INPE, Brazil) Bernhard Mitschang (Universität Stuttgart, Germany) Carlos Antonio Alvares Soares Ribeiro (UFV, Brazil) Cirano Iochpe (UFRGS, Brazil) Claudio Esperança (COPPE/UFRJ, Brazil) Clodoveu Augusto Davis Jr. (PRODABEL, Brazil) Frederico Fonseca (Penn State University, USA) Geovane Cayres Magalhaes (CPQD, Brazil) Gilberto Câmara (INPE, Brazil) João Argemiro Paiva (ORACLE Corporation, USA) José Luiz de Souza Pio (FUA, Brazil) Jugurta Lisboa Filho (UFV, Brazil) Marcelo Tílio Monteiro de Carvalho (PUC/Rio, Brazil) Marco Antônio Casanova (PUC/Rio, Brazil) Marcus Vinicius Alvim Andrade (UFV, Brazil) Max Egenhofer (University of Maine, USA) Milton Ramirez (COPPE/UFRJ, Brazil) Renato Assunção (UFMG, Brazil) Ricardo Ciferri (UEM, Brazil) Robert Laurini (INSA of Lyon, France) Stefano Spaccapietra (Swiss Federal Institute of Technology at Lausanne, Switzerland) Valeria Times (UFPE, Brazil) Werner Kuhn (University of Münster, Germany) Yannis Theodoridis (University of Piraeus, Greece) Important Dates: - Submission of full papers (either long or short): August 15, 2004 - Notification of acceptance: September 20, 2004 - Camera-ready copies due: October 10, 2004 For further information check the website http://www.geoinfo.info/geoinfo2004/index.html. _______________________________________________ Dbworld mailing list Dbworld-hcNo3dDEHLuVc3sceRu5cw@xxxxxxxxxxxxxxxx http://lists.cs.wisc.edu/mailman/listinfo/dbworld
blog comments powered by Disqus

Home | News | Sitemap | FAQ | advertise | OSDir is an Inevitable website. GBiz is too!