Special issue dedicated to Anna Brainina

Special issue dedicated to ICFP 2010

Special Issue

Foreword to the Special Issue Dedicated to the 10th "Journées Montoises d'Informatique Théorique"

This tenth edition can be considered as a widely international one. We were lucky to have almost 85 participants from fourteen different countries: Austria, Belgium, Burkina Faso, Canada, Czech republic, Finland, France, Germany, Israel, Italy, Japan, Norway, Poland and Portugal. The main proportion of researchers participating to this event was coming from France and Italy where a long traditi...

Introduction to Special Issue

Although recent frameworks for test validation have emphasized utilization as a key component (e.g. Bachman & Palmer, 2010; Chapelle, 2012; Kane, 1992), what happens in the sometimes messy contexts where assessments are carried out is often not documented. This is perhaps because test developers are more focused on defining and operationalizing test constructs than on issues of implementation. ...

Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift

Professor Rudeanu published numerous research papers and authored or coauthored some important books. A simple enumeration of some titles of his books, from the rst one, Axioms of Lattices and Boolean Algebras published in Romanian by the Romanian Academy Publishing House in 1963 to the pioneering Pseudo-Boolean Methods for Bivalent Programming, Springer-Verlag, 1966 and Boolean Methods in Oper...