Choose an application

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

This book constitutes the proceedings of the 7th International Conference on Principles of Security and Trust, POST 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 13 papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections named: information flow and non-intereference; leakage, information flow, and protocols; smart contracts and privacy; firewalls and attack-defense trees.

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

Choose an application

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

This good practice essay puts the Community Education Program (CEP) as a focus for comparison between West Virginia (USA) and Germany/European Union (EU). The essay is a combination of reflections on qualification frameworks, learning outcomes, lifelong learners/learning, transnational organisations, the Scottish Framework, a number of good practices, and accreditation from a research and practical perspective. Despite substantial research efforts, a national qualifications framework (NQF) or accrediting body for the CEP could not be identified in the US. The goal is to continue research on a national and international level. In the meantime, the good practice efforts, established through various features, continue to apply.

Community Education Program (CEP) --- formal/non-formal/informal education --- lifelong learner (LLL) --- national qualifications frameworks (NQFs) --- transnational/global --- Germany/United States of America.

Choose an application

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

This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.

artificial intelligence --- computer architecture --- computer software selection and evaluation --- distributed computer systems --- formal logic --- formal model --- java --- model checking --- processors --- program compilers --- program verification --- programming language --- semantics --- separation logic --- software engineering specifications --- theorem proving --- type --- systems verification

Choose an application

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

" The Siouan family comprises some twenty languages, historically spoken across a broad swath of the central North American plains and woodlands, as well as in parts of the southeastern United States. In spite of its geographical extent and diversity, and the size and importance of several Siouan-speaking tribes, this family has received relatively little attention in the linguistic literature and many of the individual Siouan languages are severely understudied. This volume aims to make work on Siouan languages more broadly available and to encourage deeper investigation of the myriad typological, theoretical, descriptive, and pedagogical issues they raise. The 17 chapters in this volume present a broad range of current Siouan research, focusing on various Siouan languages, from a variety of linguistic perspectives: historical-genetic, philological, applied, descriptive, formal/generative, and comparative/typological. The editors' preface summarizes characteristic features of the Siouan family, including head-final and ""verb-centered"" syntax, a complex system of verbal affixes including applicatives and subject-possessives, head-internal relative clauses, gendered speech markers, stop-systems including ejectives, and a preference for certain prosodic and phonotactic patterns. The volume is dedicated to the memory of Professor Robert L. Rankin, a towering figure in Siouan linguistics throughout his long career, who passed away in February of 2014. "

formal/generative linguistics --- comparative/typological linguistics --- applied linguistics --- philological linguistics --- historical-genetic linguistics --- descriptive linguistics --- siouan languages

Choose an application

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

"For nearly half a century formal semantics has been a prominent area in linguistic theory, developed in a fruitful collaboration among linguists, logicians and philosophers. Formal semantics is sometimes regarded with reluctance (even dreaded) due to its mathematical precision and the apparent complexity of its symbolism. This textbook —the first one of this scope in French— provides a relaxed self-contained introduction to the domain, allowing the reader autonomous progressive study from the basic central concepts to significant innovations that have shaped the domain since Montague’s seminal work. Through its chapters, the book provides acquaintance with elements of scientific methodology generally used in formal semantics. The six chapters, completed with solved exercises, gradually move from basic notions in logic and model-theoretic semantics, to quantification, temporal and modal logic, intensionality, and typed λ-calculus, culminating in compositional semantic analysis at the syntax-semantics interface. This introduction will be supplemented with a second volume that would focus on applications and advances in the field which extend the scope of the formalism. The book is intended for linguistics undergraduate and postgraduate students and researchers wishing to improve their skills in formal semantics, as well as for students and researchers of other domains, such as philosophy, logic, or computational science."

intensionality --- temporal and modal logic --- syntax-semantics interface --- formal semantics --- logic and model-theoretic semantics --- textbook --- compositional semantic analysis --- λ-calculus