200 Recent Changes in TWiki Web retrieved at 18:50 (GMT)

WebStatistics	30 Oct 2020 - 14:39 - r2156	TWikiGuest
Statistics for Education/MapiFc Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...

WebHome	27 Sep 2012 - 17:01 - r10	JoseNunoOliveira
RSD Rigorous Software Development (Program Semantics, Verification, and Construction) Overview. The reliability of computing systems plays an essential role in modern ...

WebSideBar	12 Apr 2011 - 09:25 - r7	JorgeSousaPinto
WebHome Overview Recommended Books Syllabus and Course Material Assessment

CourseAssessment	12 Apr 2011 - 09:24 - r3	JorgeSousaPinto
Results I II III Final Carlos Silva 16 15 13 15 Constantin Taivan 16 12 11 13 Frederico Valente 13 6 10 11 Henrique ...

Assessment0809	07 Dec 2010 - 22:42 - r14	JoseBacelarAlmeida
Assessment Part I Write and present a short report in one of the topics. Bibliography. Formulae as types as a notion of control Groups: 1. Bruno Oliveira and ...

Assessment0910	07 Dec 2010 - 17:02 - NEW	JorgeSousaPinto
Assessment Part I Paper reading and presentations Part II Home assessment: December 13 to December 27 Part III JorgeSousaPinto 07 Dec 2010

1011	07 Dec 2010 - 16:58 - r13	JorgeSousaPinto
Program Semantics, Verification, and Construction (Previous instance: 2008/2009) 2010/2011 Course leader: Jorge Sousa Pinto ( jsp(AT)di(DOT)uminho(DOT)pt ) Lecture ...

0910	24 Sep 2010 - 17:02 - NEW	JoseNunoOliveira
Program Semantics, Verification, and Construction (Previous instance: 2008/2009) 2009/2010 Course coordinator: Nelma Moreira ( nam(AT)ncc(DOT)up(DOT)pt ) Lecture ...

0809	24 Sep 2010 - 16:39 - r23	JoseNunoOliveira
Program Semantics, Verification, and Construction (Previous instance: 2007/2008) 2008/2009 Course coordinator: Nelma Moreira ( nam(AT)ncc(DOT)up(DOT)pt ) Lecture ...

Topics0809	04 Nov 2008 - 00:02 - r2	JoseBacelarAlmeida
Assessment

RecommendedBooks	03 Nov 2008 - 22:21 - r3	NelmaMoreira?
Recommended Books 1. Samson Abramsky and Achim Jung. Domain theory. In Handbook of Logic in Computer Science (vol. 3): Semantic Structures, pages 1?168. Oxford ...

Syllabus0708	27 Sep 2008 - 11:45 - r3	JoseBacelarAlmeida
Chapter I: Overview of Foundations (5 3 hours) 1. Intuitionistic logic 2. Natural deduction 3. lambda calculus (terms, reduction, the Church Rosser Theorem ...

Assessment0708	27 Sep 2008 - 11:44 - r18	JoseBacelarAlmeida
Final Grades Nome Part I Part II Part III Final Andreia Sofia da Costa Teixeira 16 16 16 16 Arif Rahman 10 14 14 13 Daniela ...

0708	27 Sep 2008 - 11:43 - r15	JoseBacelarAlmeida
Program Semantics, Verification, and Construction 2007/2008 Lecture 1 Date: 15/10/07 Notes: psvc.pdf Lecture 2 Date: 22/10/07 Topics: Deduction ...

WebPreferences	27 Sep 2008 - 11:39 - r15	JoseBacelarAlmeida
Education/MapiFc Web Preferences The following settings are web preferences of the Education/MapiFc web. These preferences overwrite the site level preferences ...

Topics0708	27 Sep 2008 - 11:38 - NEW	JoseBacelarAlmeida
Assessment

Syllabus0809	27 Sep 2008 - 11:31 - NEW	JoseBacelarAlmeida
Chapter I: Overview of Foundations 1. Intuitionistic logic 2. Natural deduction 3. lambda calculus (terms, reduction, the Church Rosser Theorem) 4. ...

Documentation	23 Oct 2007 - 23:37 - NEW	JoseBacelarAlmeida
COQ Proof Assistant Web Site: http://coq.inria.fr/ Online Documentation (local mirror) Manual (also available in PDF) Library Tutorial (PDF)

WebCss	16 Aug 2007 - 02:44 - NEW	JoseBacelarAlmeida
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .twikiToc { padding top:0px; padding bottom:0px ...

WebTopicList	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebSearchAdvanced	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebTopicCreator	15 Nov 2006 - 19:43 - r2	TWikiContributor

WebIndex	15 Nov 2006 - 19:43 - r4	TWikiContributor

WebSearch	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebChanges	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebAtom	24 Jan 2006 - 06:07 - r2	TWikiContributor
TWiki's Education/MapiFc web

WebRss	28 Mar 2005 - 09:40 - r4	TWikiContributor
" else "TWiki's Education/MapiFc web"}% /Education/MapiFc

WebNotify	28 Mar 2005 - 09:40 - r5	TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration

WebLeftBar	28 Mar 2005 - 09:40 - r4	TWikiContributor
" warn "off"}%

See also: RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes