DOT (Dependent Object Types) Nada Amin ECOOP PC Workshop

Source URL: lampwww.epfl.ch

• Computing
• Software engineering
• Computer programming
• Object-oriented programming
• Programming languages
• Functional languages
• Functional programming
• Scala
• Anonymous function
• Covariance and contravariance
• DEF CON
• Is-a

AlloyInEcore: Deep Embedding of First-Order Relational Logic into Meta-Object Facility Workshop on the Future of Alloy. May 1, 2018. Cambridge, MA About me

Source URL: alloytools.org

• Mathematics
• Theoretical computer science
• Formal methods
• Model theory
• Conflict-driven clause learning
• Solver
• Alloy
• Metamodeling
• Meta-Object Facility
• Embedding
• First-order logic
• Mathematical logic

2nd International Seminar and Workshop on Emerging Technology and Innovation for Cultural Heritage Parchment, Leather and Textiles Collections and Their Environment Bucharest, Romania, 3rd – 6th September 2013 Programm

Source URL: www.collage.com.ro

Libraries as Curators of Open Citations Perspectives of the Project LOC-DB in Germany Anne Lauscher, Kai Eckert, Lukas Galke, Ansgar Scherp, Syed Tahseen Raza Rizvi, Sheraz Ahmed, Andreas Dengel, Philipp Zumstein, Annett

Source URL: workshop-oc.github.io

• Information science
• Information
• Library science
• Business intelligence
• Data management
• Knowledge representation
• Records management
• Cataloging
• Library

WikiProvenance WikiProvenance: Are there enough references to every (known) fact on Wikidata? John Samuel Questions concerning Wikidata items

Source URL: workshop-oc.github.io

• Wikidata
• Information science
• Conference and Labs of the Evaluation Forum
• Digital media
• World Wide Web

Programming by Examples: Logical Reasoning meets Machine Learning NAMPI Workshop July 2018 Sumit Gulwani

Source URL: uclmr.github.io

• SUMIT
• Spreadsheet
• Computing
• Framework
• Symposium on Principles of Programming Languages
• Computer science
• Electrical engineering

Open citation content data Cirtec project (former CyrCitEc/CitEcCyr) Sergey Parinov, CEMI RAS and RANEPA Cirtec project is funded by Russian Presidential

Source URL: workshop-oc.github.io

• Publishing
• Knowledge
• Information science
• Academic publishing
• Scholarly communication
• Bibliometrics
• Knowledge representation
• Records management
• Citation
• Open access

SMT Workshop’07 5th International Workshop on Satisfiability Modulo Theories (Previously called PDPAR: Pragmatics of Decision Procedures in Automated Reasoning) Affiliated with CAV’07 Berlin, Germany, 1-2 July 2007

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Logic in computer science
• Formal methods
• Logic
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• Formal verification
• SMT
• Automated reasoning
• Satisfiability

Agent Verification Workshop — Panel University of Liverpool, 11th September 2015 Agent Verification Workshop — Panel Panelists:

Source URL: cgi.csc.liv.ac.uk

Demailly, Jean-Pierre (ed.); Hulek, Klaus (ed.); Peternell, Thomas (ed.) Complex analysis. Abstracts from the workshop held September 2–8, Komplexe Analysis.) (English) Zbl
Oberwolfach Rep. 9, No.

Source URL: jgrivaux.perso.math.cnrs.fr

• FIZ Karlsruhe
• Zentralblatt MATH
• Fiz
• Moduli space
• Algebraic geometry
• Mathematics
• Geometry
• Mathematical analysis
• Complex manifolds
• Differential geometers
• Several complex variables