Choose an application

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

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.

Logic --- Mathematical Logic and Foundations --- Mathematical Logic and Formal Languages

Choose an application

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

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.

authentication --- computer science --- computer software selection and evaluation --- cryptography --- data privacy --- formal logic --- formal methods --- formal specification --- internet --- privacy --- program compilers --- programming languages --- security systems --- semantics --- separation logic --- software engineering --- verification --- world wide web

Choose an application

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

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.

computer architecture --- computer software selection and evaluation --- formal logic --- formal methods --- model checker --- model checking --- multi core processors --- program compilers --- programming languages --- semantics --- software engineering --- specifications --- state space --- verification

Choose an application

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

This open access handbook provides a multilevel view on family policies, combining insights on family policy outcomes at different levels of policymaking: supra-national organizations, national states, sub-national or regional levels, and finally smaller organizations and employers. At each of these levels, a multidisciplinary group of expert scholars assess policies and their implementation, such as child income support, childcare services, parental leave, and leave to provide care to frail and elderly family members. The chapters evaluate their impact in improving children’s development and equal opportunities, promoting gender equality, regulating fertility, productivity and economic inequality, and take an intersectional perspective related to gender, class, and family diversity. The editors conclude by presenting a new research agenda based on five major challenges pertaining to the levels of policy implementation (in particular globalization and decentralization), austerity and marketization, inequality, changing family relations, and welfare states adapting to women’s empowered roles.

Children, Youth and Family Policy --- Sociology of Family, Youth and Aging --- Sociology of Work --- Social Policy --- Formal childcare --- Defamilization --- Paid parental leave --- Employment --- immigration --- marketisation --- fiscalisation --- globalisation --- Open access --- Central / national / federal government policies --- Sociology: family & relationships --- Sociology: work & labour

Choose an application

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

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Programming Languages, Compilers, Interpreters --- Computer Systems Organization and Communication Networks --- Control Structures and Microprogramming --- Information Systems and Communication Service --- Natural Language Processing (NLP) --- Theory of Computation --- artificial intelligence --- computer networks --- computer programming --- computer security --- distributed computer systems --- embedded systems --- formal languages --- formal logic --- linguistics --- mathematics --- model checking --- object-oriented programming --- parallel processing systems --- program compilers --- semantics --- software architecture --- software design --- software engineering --- software quality --- verification and validation --- Programming & scripting languages: general --- Compilers & interpreters --- Computer networking & communications --- Algorithms & data structures --- Natural language & machine translation --- Computer science --- Mathematical theory of computation