Will you mark the online submissions as well? It doesn't look like it
but many online courses do just that so I thought that it might be worth
asking.
On 11/01/13 17:22, Nick Shukla wrote:
Hi,
The University of Virginia department of Computer Science was kind
enough let me lecture an introdu
KURE 2.6.14 is now available on Hackage. This new version is simpler to
instantiate, and has better performance.
What's New?
---
The main change from version 2.4.x are
(1) A simplified class interface that makes KURE easier to instantiate. The
previous Node and Walker classes have b
On 11 January 2013 09:22, Nick Shukla wrote:
> Come join me in this 12 week course. We will start from basic lists and
> tuples, and venture far into monads and category theory.
The first lecture looks quite nice. Looking forward to the next 11. :-)
__
[apologies for any cross-posting]
4th OPEN Answer Set Programming Competition 2013
Call for Participant Systems
University of Calabria - Vienna University of Technology
Fall/Winter 2012/2013
http://aspcomp2013.
Hi,
The University of Virginia department of Computer Science was kind enough
let me lecture an introductory course on Haskell, a functional programming
language.
I'll be posting all slides on the class website: http://shuklan.com/haskell
Come join me in this 12 week course. We will start from b
Call For Papers
1st International Workshop on Automated Reasoning in Software
Verification
http://arisve2013.lri.fr/
Monday, June 10, 2013
Lake Placid, NY, USA
Affiliated wit
(Apologies if you receive multiple copies of this announcement)
Science of Computer Programming
Special Issue on Invariant Generation
-- FINAL CALL FOR PAPERS [1 month to go] --
--