Ekaterina Komendantskaya-2
Ekaterina Komendantskaya-2
Unregistered User
Groups: Anyone
Posts in Haskell
Show   Total: 12 items
Date Subject Count Location
Practical Aspects of Declarative Languages PADL2020: 2nd CFP 0 replies Haskell - Haskell-Cafe
PADL 2020 (co-allocated with POPL 2020): first call for papers 0 replies Haskell - Haskell-Cafe
Journeys in Computational Logic: Tributes to Roy Dyckhoff : CFP 0 replies Haskell - Haskell-Cafe
PPDP'19 Deadline extension 0 replies Haskell - Haskell-Cafe
PPDP'19 Final CFP 0 replies Haskell - Haskell-Cafe
Fully funded PhD position in CS at Heriot-Watt University, Edinburgh, Scotland 0 replies Haskell - Haskell-Cafe
Workshop on Coalgebra, Horn Clause Logic, and Types 0 replies Haskell - Haskell-Cafe
2 PhD studentships in Computer Science at the University of Dundee 0 replies Haskell - Haskell-Cafe
Fully funded PhD position on Computational Logic/Functional Programming/Interactive Theorem Proving, University of Dundee, Scotland 0 replies Haskell - Haskell-Cafe
Postdoctoral Research Position: Type Inference in Functional Programming 0 replies Haskell - Haskell-Cafe
One PhD position is available at the University of Dundee, Scotland 0 replies Haskell - Haskell-Cafe
Research position "Coalgebraic Logic Programming for Type Inference" 0 replies Haskell - Haskell-Cafe