logic-forall.blogspot.com
Logic ForAll: May 2015
http://logic-forall.blogspot.com/2015_05_01_archive.html
Forro' Logico: A blog to keep things. Saturday, May 30, 2015. In 1992 I tried to read Anderson and Belnalp's book ` Entailment, Vol. 1: The Logic of Relevance and Necessity' (1976) to help Maria Claudia Mere with her PhD thesis. She completed her work. Logicas Relevantes: formalismo e semantica. Wednesday, May 27, 2015. Maude for Textual Entailment. This is Maude Fealy. A star of silent movies, and no, I don't mean this Maude, but instead Maude. They say in their Maude webpage. But much, much more can an...
lfmtp.org
Logical frameworks and Meta-languages: Theory and Practice (LFMTP'15)
http://lfmtp.org/workshops/2015
Logical Frameworks and Meta-Languages: Theory and Practice. LFMTP 2015 will provide researchers a forum to present state-of-the-art techniques and discuss progress in areas such as the following:. Encoding and reasoning about the meta-theory of programming languages and related formally specified systems. Theoretical and practical issues concerning the treatment of variable binding, especially the representation of, and reasoning about, datatypes defined from binding signatures. Sunday 21 June 2015.
updatedscholar.blogspot.com
The Updated Scholar: February 2013
http://updatedscholar.blogspot.com/2013_02_01_archive.html
On Google Scholar Updates, theoretical computer science, and logic. Sunday, 24 February 2013. Towards Self-Verification of Isabelle's Sledgehammer. Jasmin Christian Blanchette and Andrei Popescu (Technische Universität München). Retrieved from first author's homepage, 18 Feb 2013. In particular. Google Scholar is an increasingly popular source of such stats, as the citation number appears conveniently below every paper the search engine returns, and statistics like the h-index. None of this is to imply t...
gisellereis.com
Publications – Giselle Reis
http://www.gisellereis.com/publications
Just another human being. 15-317 Constructive Logic (Spring 2017). I try to keep this list updated, but in case I fail, there is always DBLP. Files marked with a * have more content than their published counterpart. Automated Checking of Proof Transformations. Giselle Reis and Leonardo Lima. On the Generation of Quantified Lemmas. Giselle Reis, Daniel Weller. Ceres in Intuitionistic Logic. David Cerna, Alexander Leitsch. Giselle Reis and Simon Wolfsteiner. System Description: GAPT 2.0. Quati: An Automate...
logic-forall.blogspot.com
Logic ForAll: August 2014
http://logic-forall.blogspot.com/2014_08_01_archive.html
Forro' Logico: A blog to keep things. Wednesday, August 13, 2014. Sure, why not? So we finally have a first paper written, submitted and accepted about work on the DHBB - the Brazilian Dictionary of Historical Biographies. This is going to be presented in Guaruja', pretty soon, in the Workshop on Digital Humanities. This was really fun work to do, analyzing the results of text processing with FreeLing. Exploratory Information Extraction from a Historical Dictionary. Tuesday, August 12, 2014. We have a sh...
SOCIAL ENGAGEMENT