Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

Computer science. --- Computer communication systems. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Computer Communication Networks. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Computer science logic --- Computer software engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Informatics --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Logic, Symbolic and mathematical --- Engineering --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Science --- Distributed processing --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Logic --- Complex analysis --- Computer science --- Programming --- Computer. Automation --- complexe analyse (wiskunde) --- ontwerpen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book.

Software Engineering --- Artificial intelligence --- Computer programming / software development --- Mathematical theory of computation --- Computer modelling & simulation --- architecture verification --- artificial intelligence --- automata theory --- computer programming --- distributed computer systems --- distributed systems --- embedded systems --- formal languages --- formal logic --- formal methods --- model checking --- software architecture --- software design --- software engineering --- software quality --- temporal logic --- verification techniques --- Software engineering. --- Artificial intelligence. --- Computer science. --- Machine theory. --- Computer simulation. --- Software Engineering. --- Artificial Intelligence. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Computer Modelling. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Fifth generation computers --- Neural computers --- Computer software engineering --- Engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

L’histoire politique et sociale des pays du Sud de l’Amérique latine s’est caractérisée, depuis le milieu du XXe siècle, par une série de cycles de révolutions et de contre-révolutions. Trois pays – l’Argentine, le Brésil et le Chili – ont en commun d’avoir été successivement marqués par les effervescences révolutionnaires des années 1960 puis par une répression violente et un basculement dans des formes de dictatures. Le théâtre présuppose l’existence d’un espace public. Entre censure, clandestinité et ruses, sous quelles formes et à quelles conditions des pratiques théâtrales ont-elles été possibles sous les dictatures ? Quelles stratégies esthétiques, économiques et politiques les artistes et les publics ont-ils dû déployer ? Comment le théâtre a-t-il participé à la mise en place de transitions démocratiques ? Quelles traces de ces périodes reviennent hanter les créations et les institutions théâtrales de pays toujours marqués par la tentation autoritaire ? Enfin, que signifie notre attrait de spectateurs français et européens pour ces œuvres et ces histoires théâtrales ?

Théâtre --- Aspect politique --- Theater --- Totalitarianism and art --- Théâtre et politique --- Théâtre --- Totalitarisme et art --- Political aspects --- Censorship --- Censure --- Théâtre et politique --- Theater - Political aspects - Argentina --- Theater and society - Argentina --- Theater - Political aspects - Brazil --- Theater and society - Brazil --- Theater - Political aspects - Chile --- Theater and society - Chile

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Le Vieux Dinosaure Rouge essaie d'expliquer à ses enfants la complexe philosophie politique de Karl Marx. Avec lui, un deuxième personnage, Charlie Marx, commente son discours, lui pose des questions, l'aide à construire un certain nombre d'hypothèses voire de scénarios afin de répondre aux questions : pouvons-nous réinventer un monde plus juste ? Avons-nous encore le courage de nous engager hardiment vers l'avenir, de partir « à l'assaut du ciel » ? Et pourtant, le Vieux Dinosaure Rouge est aussi un homme ordinaire qui vient de divorcer, de déménager, qui doit accueillir ses enfants pour la première fois dans sa nouvelle maison, dans sa nouvelle vie en désordre. Aux souvenirs de l'enfance viennent s'ajouter les souvenirs du Vieux Dinosaure Rouge : son engagement militant, ses rêves, ses déceptions aussi. Sans jamais être didactique ni imposer son point de vue, Rui Pina Coelho n'évite pas la complexité du sujet. Dans cet espace de réflexion qu'est le théâtre, il s'éloigne d'une pensée où tout serait noir ou blanc pour essayer d'y parcourir toutes les couches de gris. Une réflexion simple, profonde et nécessaire sur la vaste question de la justice et de l'être-ensemble dans nos sociétés contemporaines