58th FEFAC ANNUAL GENERAL MEETING 10-11 June 2015, Cologne HOTEL BOOKING Hotel Cologne Rudolfplatz **** (ex-Barceló hotel) Habsburgerring 9-13 · 50674 Köln (Germany)

Source URL: www.fefac.eu

• Hotel
• States of Germany
• North Rhine-Westphalia
• Innenstadt
• Cologne
• Rudolfplatz
• Cologne

A Expressive Languages for Path Queries over Graph-Structured Data ´ , University of Chile PABLO BARCELO LEONID LIBKIN, University of Edinburgh ANTHONY W. LIN, Univerity of Oxford

Source URL: homepages.inf.ed.ac.uk

• Metalogic
• Model theory
• Structure
• Universal algebra
• FO
• String
• Orbifold
• Conjunctive query
• Mathematics
• Formal languages
• Theoretical computer science

GRAPH LOGICS WITH RATIONAL RELATIONS ´ DIEGO FIGUEIRA, AND LEONID LIBKIN PABLO BARCELO, Department of Computer Science, University of Chile e-mail address: Laboratory for Foundations of Computer S

Source URL: homepages.inf.ed.ac.uk

• Theoretical computer science
• Model theory
• Universal algebra
• Combinatorics on words
• Automata theory
• Structure
• Regular language
• String
• Substructure
• Formal languages
• Mathematics
• Metalogic

Microsoft Word - Proposal Barcelona Hotels.doc

Source URL: www.euronuclear.org

• Sants-Montjuïc
• Sants
• Barceló

FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania

Source URL: homepages.inf.ed.ac.uk

• Applied mathematics
• Logic in computer science
• Nested word
• Words
• Formal methods
• Temporal logic
• Nesting
• Stack
• Model checking
• Theoretical computer science
• Automata theory
• Mathematical logic

Querying Graph Patterns Pablo Barcelo Leonid Libkin Juan Reutter

Source URL: homepages.inf.ed.ac.uk

• Graph database
• Graph
• Structure
• Connectivity
• FO
• Tree decomposition
• Skew-symmetric graph
• Graph theory
• Mathematics
• Theoretical computer science

Expressive Languages for Path Queries over Graph-Structured Data Pablo Barcelo´ Carlos Hurtado

Source URL: homepages.inf.ed.ac.uk

• Metalogic
• Model theory
• Structure
• Universal algebra
• FO
• Probabilistically checkable proof
• String
• Data integration
• Conjunctive query
• Mathematics
• Formal languages
• Theoretical computer science

Efficient Approximations of Conjunctive Queries Pablo Barcelo Leonid Libkin Miguel Romero

Source URL: homepages.inf.ed.ac.uk

• Database theory
• Tree decomposition
• Hypergraph
• Hypercube graph
• Bipartite graph
• FO
• Directed graph
• Decomposition method
• Path decomposition
• Graph theory
• Complexity classes
• Conjunctive query

1 RESNA AFTAP Alternative Financing and Telework Loan Program Annual Meeting December 13-14, 2004 Radisson Barceló Hotel Washington

Source URL: www.resnaprojects.org

• Rehabilitation medicine
• Disability
• Rehabilitation Engineering and Assistive Technology Society of North America
• Assistive technology
• Medicine
• Health

Conveni ISACA Barcelona amb el PMI Barcelona La presidenta del PMI Barcelona Elisabet Duocastella i el president de ISACA Barcelona Sr. Ramsès, durant la signatura del conveni. El Project Management Institute - Barcelo

Source URL: www.isacabcn.org