LMCS Special issue "Types for Proofs and Programs"

Logical Methods in Computer Science Special issue “Types for Proofs and Programs”

Submissions: 2nd May 2011

http://www.lmcs-online.org/ojs/information.php

Logical Methods in Computer Science Special issue “Types for Proofs and Programs” Call for Submissions (Deadline: May 2, 2011)

This special issue is devoted to the recent progress in the technology of formal methods: notably the [...]

1951 – 2011: 60 years of DEONTIC LOGIC

Special issue of Journal of Logic and Computation, corner on Deontic Logic and Normative Systems

Submissions: Sep 01, 2011

http://deonticlogic.org/

With his seminal paper “deontic logic” published in Mind in 1951, Von Wright launched the area of deontic logic. It is the field of logic that is concerned with obligation, permission, and related [...]

JAL

JOURNAL OF APPLIED LOGIC Special Issue on Automated Specification and Verification of Web Systems 6th June 2011

Submissions: 7th March 2011

http://www.risc.jku.at/people/tkutsia/jal-wwv.html

======================================================================== JOURNAL OF APPLIED LOGIC Special Issue on Automated Specification and Verification of Web Systems

http://www.risc.uni-linz.ac.at/people/tkutsia/jal-wwv.html

========================================================================

SCOPE —– This special issue of the Journal of Applied Logic is related to [...]

Doctoral Position

Doctoral Student Positions Available Design and Verification of Embedded Software Trento, Italy

Submissions: 16th March 2011 (13:00 GTM +1)

http://www.ict.unitn.it/

Doctoral Student Positions Available

Design and Verification of Embedded Software

Embedded System Research Unit Fondazione Bruno Kessler (formerly part of IRST – Centro per la Ricerca Scientifica e Tecnologica) Trento, Italy

Deadlines: March [...]

PhD Studentship in Communications

University of Bristol – Centre for Doctoral Training in CommunicationsSalary: Up to £18,000 [...]

Assistant Professor/Senior Lecturers and Lecturers in Computer Science, MIS

Jubail University College (JUC)Salary: uccessful candidates with single or married status are offered very attractive employment packages including a highly competitive tax-free salary, settling-in and transport allowances, excellent and free-of-charge… [...]

Database Designer – Database design and implementation (KTP Associate)

Aston UniversitySalary: £20,000 to £20,000. p.a. plus £5,000, individual training budget and higher degree registration. [...]

Database Designer – Database design and implementation (KTP Associate)

Aston UniversitySalary: £20,000 to £20,000. p.a. plus £5,000, individual training budget and higher degree registration. [...]

Fully funded Doctoral Studentship (EngD) Centre for Digital Entertainment (CDE)

University of Bath – Department of Computer ScienceSalary: £14,790 to £14,790 [...]

Database Designer – Database design and implementation (KTP Associate)

Aston UniversitySalary: £20,000 to £20,000. p.a. plus £5,000, individual training budget and higher degree registration. [...]