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 to Russian anti-Tsarist exiles. Victor was imprisoned to five years in a French prison as a young anarchist firebrand in 1912. Serge joined the Bolsheviks in 1919. Serge was purged from the Communist Party and jailed in 1929 after being an outspoken critic of Stalin. Despite this, he was able to finish three novels (Men in Prison, Birth of Our Power, and Conquered City) as well as a history (Year One of the Russian Revolution), all of which were published in Paris.

In 1933, he was arrested again in Russia and transported to Central Asia, but after international protests by militants and notable writers such as André Gide and Romain Rolland, he was allowed to leave the USSR in 1936. Serge lived in dangerous exile in Brussels, Paris, Vichy France, and Mexico City, where he died in 1947, after being pursued by Stalinist operatives.

SKU	Unavailable
ISBN 13	9780873488846
ISBN 10	0873488849
Title	From Lenin to Stalin
Author	Victor Serge
Condition	Unavailable
Binding Type	Paperback
Publisher	Pathfinder Books Ltd
Year published	2005-05-26
Number of pages	216
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.