[Hol-info] Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Final CFP

== FINAL CALL FOR PAPERS -- ACM SAC-SVT 2016 ** Submission Extended to Sep. 28 ** 31st Annual ACM Symposium on Applied Computing Software Verification and Testing Track April 3 - 8, 2016, Pisa, Italy More information:

Re: [Hol-info] map_option

Hi Ramana, It's rather a similar situation to what I wrote about in http://users.cecs.anu.edu.au/~jeremy/pubs/fgc/fgs/fgs.pdf and also http://users.cecs.anu.edu.au/~jeremy/pubs/fgc/cats/fgc.ps except that I seem to have used sets instead of lists (which I don't think should make a

[Hol-info] CMCS 2016 : First Call for Papers

Call for Papers 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16) 2 - 3 April 2016, Eindhoven, the Netherlands http://www.coalg.org/cmcs16

Re: [Hol-info] map_option

Hi Jeremy, Thanks for the links and information. It's rather more than I was expecting. Do you (or anyone on list) think that function deserves a place (perhaps under a different name) in optionTheory? Cheers, Ramana On 25 September 2015 at 21:21, Jeremy Dawson wrote: