Talk by Elena Gutierrez: Weighted Context-free Grammars: Does Parikh’s Theorem still hold?
April 3, 2018
The celebrated Parikh’s Theorem states that every context-free language is equivalent to a regular language when we ignore the ordering...
[ Read More ]
Weighted Context-free Grammars: Does Parikh’s Theorem still hold?
April 3, 2018
The celebrated Parikh’s Theorem states that every context-free language is equivalent to a regular language when we ignore the ordering...
[ Read More ]
Talk by Niki Vazou: Liquid Haskell: Usable Language-Based Program Verification
April 2, 2018
Formal verification has been gaining the attention and resources of both the academic and the industrial world since it prevents...
[ Read More ]
IMDEA Nanociencia joins 10ALAMENOS9 Festival
April 2, 2018
IMDEA Nanociencia joins 10ALAMENOS9 Festival IMDEA Nanociencia se une este año al Festival 10ALAMENOS9. El Festival pretende, de una forma...
[ Read More ]
Liquid Haskell: Usable Language-Based Program Verification
April 2, 2018
Formal verification has been gaining the attention and resources of both the academic and the industrial world since it prevents...
[ Read More ]
