Efficient Fair Conjunction for Structurally-Recursive Relations
The seminar will be held in Google meet on Monday, November 23 at 17:30
-
-
Source-Tracking Unification via Context-Free Path QueryingThe seminar will be held in Google meet on Monday, November 16 at 17:30
-
Relational Synthesis for Pattern MatchingThe seminar will be held in Google meet on Monday, November 9 at 17:30
-
Definitional Proof-Irrelevance without KThe seminar will be held in Google meet on Monday, November 2 at 17:30
-
Representability of invariants of programs with algebraic data typeThe seminar will be held in Google meet on Monday, October 26 at 17:30
-
Step-indexing semantics of recursive typesThe seminar will be held in Google meet on Monday, October 19 at 17:30
-
Incorrectness LogicThe seminar will be held in Google meet on Monday, October 12 at 17:30
-
Development of domain-specific compilers for specialized processorsThe seminar will be held in Google meet on Monday, October 5 at 17:30
-
Slightly subcubic algorithm for the context-free language reachability (CFL-reachability) problemThe seminar will be held in google meet on Monday September 28 at 17:30
-
Persistency Semantics for Verification under Ext4The seminar will be held in google meet on Monday September 21 at 17:30
- All News
- Common News
- Agent Systems and Reinforcement Learning
- Bioinformatics Group
- BioLabs
- Cryptographic Lab
- HoTT and Dependent Types Group
- Machine Learning Applications and Deep Learning
- Machine Learning Methods in Software Engineering
- Mobile Robot Algorithms Laboratory
- Nuclear Physics Methods Laboratory
- Optimization Problems in Software Engineering
- Programming Languages and Tools Lab
- Verification or Program Analysis Lab