WorldCat Identities

Honsell, Furio

Overview
Works: 34 works in 124 publications in 3 languages and 1,447 library holdings
Genres: Conference papers and proceedings  Case studies  History  Biography  Manuscripts 
Roles: Author, Editor, Author of introduction, Other
Publication Timeline
.
Most widely held works by Furio Honsell
Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers by Marino Miculan( )

9 editions published in 2008 in English and Undetermined and held by 465 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education
Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings by Furio Honsell( )

31 editions published between 2001 and 2003 in English and held by 422 WorldCat member libraries worldwide

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive
Frontiers of fundamental physics : proceedings of the Sixth International Symposium "Frontiers of Fundamental and Computational Physics", Udine, Italy, 26-29 September 2004 by B. G Sidharth( )

17 editions published between 2004 and 2006 in English and Undetermined and held by 420 WorldCat member libraries worldwide

The Sixth International Symposium "Frontiers of Fundamental and Computational Physics", Udine, Italy, 26-29 September 2004, aimed at providing a platform for a range of physicists to meet and share thoughts on the trends in cross-disciplinary research areas. This book contains contributions by Nobel Laureates Leon N Cooper and Gerard t Hooft
A framework for defining logics by Robert Harper( Book )

16 editions published between 1987 and 1991 in English and held by 33 WorldCat member libraries worldwide

This allows for a smooth treatment of discharge and variable occurrence conditions and leads to a uniform treatment of rules and proofs whereby rules are viewed as proofs of higher-order judgements and proof checking is reduced to type checking. The practical benefit of our treatment of formal systems is that logic-independent tools such as proof editors and proof checkers can be constructed."
L'algoritmo del parcheggio : il lato divertente della matematica by Furio Honsell( Book )

6 editions published between 2007 and 2010 in Italian and held by 17 WorldCat member libraries worldwide

International handbook of school effectiveness and improvement by Tony Townsend( )

1 edition published in 2007 in English and held by 14 WorldCat member libraries worldwide

In January 2007, in Slovenia, the International Congress for School Effectiveness and Improvement (ICSEI) celebrated its twentieth year of bringing people together. Conferences have been held in many parts of the world and each year, key educational researchers, practitioners and policy makers have been brought together to consider ways of making school effective for all students who enter them. Murphy argued (1991, pp. 166 - 168) that there are four factors which can be considered as the legacy of school effectiveness. He suggests the most fundamental of the four is that "given appropriate conditions, all children can learn." The second product of the school effectiveness research stems from a rejection of the historical perspective that good schools and bad schools could be identified by the socio-economic status of the area in which they were located. School effectiveness examined student outcomes, not in absolute terms, but in terms of the value added to students' abilities by the school, rather than the outside-of-school factors. He further argued that school effectiveness researchers were the first to reject the philosophy that "poor academic performance and deviant behaviour have been defined as problems of individual children or their families" (Cuban, 1989; Murphy, 1991). School effectiveness helped to eliminate the practice of "blaming the victim for the shortcomings of the school." Finally, the research showed that "the better schools are more tightly linked - structurally, symbolically and culturally - than the less effective ones." There was a greater degree of consistency and co-ordination in terms of the curriculum, the teaching and the organisation within the school
A natural deduction treatment of operational semantics by Rod M Burstall( Book )

4 editions published in 1988 in English and held by 8 WorldCat member libraries worldwide

Models of self-descriptive set theories by Marco Forti( Book )

3 editions published in 1988 in English and held by 7 WorldCat member libraries worldwide

Storia di un paese e di un piccolo maestro : Treppo Carnico tra le due guerre attraverso la vicenda del partigiano Igino Rainis Lupo by Denis Baron( Book )

2 editions published in 2012 in Italian and held by 7 WorldCat member libraries worldwide

Curiosità e divertimenti con i numeri : tratti dal De viribus quantitatis di Luca Pacioli by Furio Honsell( Book )

2 editions published in 2009 in Italian and held by 6 WorldCat member libraries worldwide

Oltre Trieste : una via per l'Europa : una proposta di sistema logistico tra Friuli, Venezia Giulia, Slovenia e Istria : spunti per una riflessione by Furio Honsell( Book )

4 editions published in 2006 in Italian and held by 6 WorldCat member libraries worldwide

Mai più paura della matematica : come fare pace con numeri e formule by Giovanni Filocamo( Book )

2 editions published between 2009 and 2011 in Italian and held by 6 WorldCat member libraries worldwide

Using typed lambda calculus to implement formal systems on a machine by Arnon Avron( Book )

4 editions published in 1987 in English and held by 6 WorldCat member libraries worldwide

Frontiers of fundamental physics : eighth international symposium FFP8, Madrid, Spain, 17-19 October 2006 by International Symposium on Frontiers of Fundamental Physics( Book )

1 edition published in 2008 in English and held by 4 WorldCat member libraries worldwide

De viribus quantitatis by Luca Pacioli( Book )

2 editions published in 2009 in Italian and held by 3 WorldCat member libraries worldwide

Videti fašizem by Furio Honsell( )

1 edition published in 2014 in Slovenian and held by 2 WorldCat member libraries worldwide

Prima che sia domani : padri, figli, un'alleanza per ripartire by Furio Honsell( Book )

1 edition published in 2014 in Italian and held by 2 WorldCat member libraries worldwide

Informatica : cultura e società( Book )

1 edition published in 2006 in Italian and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.59 (from 0.37 for Internatio ... to 0.98 for Curiosità ...)

Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers
Covers
Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedingsFrontiers of fundamental physics : proceedings of the Sixth International Symposium "Frontiers of Fundamental and Computational Physics", Udine, Italy, 26-29 September 2004Frontiers of fundamental physics : eighth international symposium FFP8, Madrid, Spain, 17-19 October 2006
Alternative Names
Furio Honsell Italiaans wiskundige

Furio Honsell italialainen poliitikko

Furio Honsell Italian mathematician and politician

Furio Honsell italiensk politikar og matematikar

Furio Honsell italiensk politiker och matematiker

Furio Honsell italiensk politiker og matematiker

Furius Honsell

Honsell, F.

Languages