FLP

Special issue of Information and Computation on Functional and (Constraint) Logic Programming Valencia

Submissions: May 06, 2011

http://users.dsic.upv.es/~sescobar/flp-issue/

Scope

Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming,(constraint) logic programming, as well as the integration of the two paradigms. It promotes the cross-fertilizing exchange of ideas and experiences [...]

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 [...]

JSC-ISSAC 2010

JOURNAL OF SYMBOLIC COMPUTATION; SPECIAL ISSUE ON SYMBOLIC AND ALGEBRAIC COMPUTATION FOUNDATIONS, ALGORITHMICS AND APPLICATIONS

Submissions: 10th December 2010

http://www.sigsam.org/news/2010/Oct08callforpapersjscissac2010.phtml

CALL FOR PAPERS

JOURNAL OF SYMBOLIC COMPUTATION

SPECIAL ISSUE ON SYMBOLIC AND ALGEBRAIC COMPUTATION FOUNDATIONS, ALGORITHMICS AND APPLICATIONS

Guest Editors Wolfram Koepf and Stephen M. Watt

This special issue is related to topics [...]

MSCS Special Issue on Advances and Perspectives in the Mechanization of Mathematics

Mathematical Structures in Computer Science Special Issue on Advances and Perspectives in the Mechanization of Mathematics

Submissions: June 28, 2010

http://www.cs.unibo.it/~asperti/mscs

Mathematical Structures in Computer Science Special Issue on

Advances and Perspectives in the Mechanization of Mathematics

Guest Editors: Andrea Asperti and Jeremy Avigad

Call for contributions

Recent advances in automated reasoning and [...]

JSC Special Issue on First Order Theorem Proving

Journal of Symbolic Computation Special Issue on First Order Theorem Proving

Submissions: JUNE 1st, 2010

http://www.mpi-inf.mpg.de/~sofronie/ftp-special-issue.html

Further information about this special issue and details about the topics of interest and the submission procedure can be found at: http://www.mpi-inf.mpg.de/~sofronie/ftp-special-issue.html

Submission ========== Submission to this special issue is completely open.

We expect original articles (typically [...]

JANCL: FORMAL MODELS OF NORM CHANGE

Journal of Applied Non-Classical Logic Special Issue on: FORMAL MODELS OF NORM CHANGE

Submissions: 15 June 2010

http://staff.science.uva.nl/~grossi/SpecialIssue/NormChangeJANCL

Formal models of norm change have been drawing attention since the seminal work of Alchourrón and Bulygin on normative systems, and that of Alchourrón, Gärdenfors and Makinson on the logic of theory change. Research trends [...]

IFCoLog Conference Proceedings Series Launched

IFCoLog, in association with College Publications, invites submissions for publication in its dedicated conference and proceedings series.

To submit a conference proceedings please email us.

[table id=5 /]

Currently we accept only pdf submissions formatted in LaTeX according to the Easychair documentclass. For submissions using other styles contact us.

Some Tags: Conference, pdf, latex, AI

Studia Logica Special Issue on Recent Developments related to Residuated Lattices and Substructural Logics

Studia Logica Special Issue on Recent Developments related to Residuated Lattices and Substructural Logics

Submissions: 30 September 2010

http://www.studialogica.org/

Studia Logica is the second oldest journal in logic, publishing continuously for 60 years. One of the distinctive features of Studia Logica is its focus on thematically organized issues, hence the large number of [...]