From Lenin to Stalin by Victor Serge

From Lenin to Stalin by Victor Serge

This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.

The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), jointly with CONCUR, and Holger Hermanns (Universit t des Saarlandes) and a special session on (commercial) formal methods in industry.

The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

Victor Serge (1890--1947) was born in Brussels, the son of Russian political exiles. Enduring five years of prison in Paris for his anarchist beliefs, in 1919 he went to Russia to support the Bolshevik Revolution. Serge served as the editor of the journal Communist International, but was expelled from the Communist Party and imprisoned for his condemnation of Stalin's growing power. Released but arrested again, his deportation to Central Asia spurred international protests from eminent figures such as Andre Gide, who succeeded in securing Serge's freedom and exile in France. He wrote fiction and aided Trotsky until the German occupation of France, after which he fled to Mexico.

Richard Greeman is based in Montpellier, France, where he is Secretary of the International Victor Serge Foundation. He is a member of Praxis Center (Moscow). He has been a professor at Columbia, Wesleyan and the University of Hartford, and an activist since the 1950s.

SKU	Nicht verfügbar
ISBN 13	9780873488846
ISBN 10	0873488849
Titel	From Lenin to Stalin
Autor	Victor Serge
Buchzustand	Nicht verfügbar
Bindungsart	Paperback
Verlag	Pathfinder Books Ltd
Erscheinungsjahr	2005-05-26
Seitenanzahl	216
Hinweis auf dem Einband	Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.