[Hol-info] FMICS Call for Papers

*** 23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS) http://fmics2018.fi.muni.cz Co-located with the 14th International Conference on i

[Hol-info] Second round call for papers: LOPSTR 2018

== LOPSTR 2018: Second Round Call for Papers == 28th International Symposium on Logic-Based Program Synthesis and Transfo

[Hol-info] [Vardi-list] FLoC 2018 - Call for Participation

THE SEVENTH FEDERATED LOGIC CONFERENCE (FLoC 2018) Call for Participation 6-19 July 2018 Oxford, England, UK http://www.floc2018.org/registration-is-officially-open/ Registration is now open and we remind speakers and participants to book accommodation as soon as possible, as Oxford is popular i

[Hol-info] CfP: Formal Aspects of Component Software (FACS'18)

Call for Papers FACS 2018 15th International Conference on Formal Aspects of Component Software Pohang, Korea, October 10-12, 2018 http://sevlab.po

[Hol-info] Extension of Co-algebraic Datatype

Hi, Lately, I've been exploring the HOL4 lazy list theory "llistTheory", which is developed based on the co-algebraic datatype. I understand that the datatype *'a llist *is derived as a subset of the option type *:num -> 'a option. * Now, I want to define a new datatype based on datatype 'a llis