Coq
Showing results in 'Talks'. Show all posts
Recent Presentations
Tags
- Algebraic laws (1)
- Blockchain (1)
- Causal Tracing (1)
- Causality (1)
- Cloud Computing (2)
- code extraction (1)
- coding standards (1)
- Complexity (1)
- Coordination (1)
- Coq (1)
- Cryptocurrency (1)
- Cryptography (2)
- Data Analytics (1)
- Data Management (1)
- Data Mining (1)
- Databases (1)
- Dependability (2)
- Distributed Systems (12)
- E-government (1)
- Embedded Systems (1)
- Encryption (1)
- Etherium (1)
- Filesystems (1)
- Formal design (1)
- Formal Methods (4)
- Formal modeling (2)
- Formal Semantics (1)
- Green Software (1)
- Hash Functions (1)
- Hoare logic (1)
- InfoBlender (20)
- Linked Data (1)
- Machine Learning (1)
- Model finding (1)
- OCaml (1)
- Open Data (1)
- Privacy (1)
- Randomness (1)
- robotics (1)
- Scalability (2)
- Security (2)
- Semantics (1)
- Software Engineering (22)
- software metrics (1)
- software quality (1)
- Spreadsheets (1)
- SQL (2)
- Storage systems (3)
- Subgroup Mining (1)
- Task Analysis (1)
- Technology (1)
- Time (1)
- Timing attacks (1)
- Variability (1)
- verification (1)
- Why3 (1)
- Window Functions (1)
- WSN (1)
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.