Workshop on Logic, Language and Information

edit SideBar

Main.CallForPapers History

Hide minor edits - Show changes to markup

January 22, 2015, at 12:23 PM by 179.210.165.234 -
Changed lines 8-13 from:

A) original research contributions (18 pages max);

B) applications and experiences (18 pages max);

C) surveys, comparisons, and state-of-the-art reports (18 pages max);

to:

A) original research contributions (18 pages max);
B) applications and experiences (18 pages max);
C) surveys, comparisons, and state-of-the-art reports (18 pages max); \\

January 22, 2015, at 12:22 PM by 179.210.165.234 -
Added line 9:
Added line 11:
Added line 13:
January 22, 2015, at 12:21 PM by 179.210.165.234 -
Changed line 20 from:

via EasyChair at https://easychair.org/conferences/?conf=facs2015.

to:

via EasyChair.

Changed line 36 from:

Science of Computer Programming journal.

to:

Science of Computer Programming journal.

January 22, 2015, at 12:20 PM by 179.210.165.234 -
Changed lines 5-16 from:

We solicit high-quality submissions related to the conference topics topics mentioned here:

  1. original research contributions (18 pages max);
  2. applications and experiences (18 pages max);
  3. surveys, comparisons, and state-of-the-art reports (18 pages max);
  4. tool papers (6 pages max).

In addition, we solicit submissions to the Doctoral Track of FACS 2015, in the form of abstracts (3 pages max) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers should be formatted according to the guidelines for Springer LNCS papers.

to:

We solicit high-quality submissions, related to the topics mentioned above, in the following categories:

A) original research contributions (18 pages max); B) applications and experiences (18 pages max); C) surveys, comparisons, and state-of-the-art reports (18 pages max); D) tool papers (6 pages max).

In addition, we solicit submissions to the Doctoral Track of FACS 2015, in the form of abstracts (3 pages max) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results.

All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=facs2015. Papers must be formatted according to the guidelines for Springer LNCS papers.

Changed lines 29-32 from:

All accepted papers will appear in the pre-proceedings of FACS 2015. Revised versions of accepted papers in the categories 1-4 above will appear in the post-proceedings of the conference that will be published as a volume in Springer's LNCS series (to be confirmed).

The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of Elsevier's Science of Computer Programming journal.

to:

All accepted papers will appear in the pre-proceedings of FACS 2015. Accepted papers in the categories A-D above will appear in the proceedings of the conference that will be published as a volume in Springer’s LNCS series.

The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Science of Computer Programming journal.

October 14, 2014, at 08:49 PM by 130.126.255.112 -
Changed line 5 from:

We solicit high-quality submissions related to the conference topics topics mentioned here):

to:

We solicit high-quality submissions related to the conference topics topics mentioned here:

October 14, 2014, at 08:49 PM by 130.126.255.112 -
October 14, 2014, at 08:48 PM by 130.126.255.112 -
Changed line 20 from:

All accepted papers will appear in the pre-proceedings of FACS 2015. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the conference that will be published as a volume in Springer's LNCS series (to be confirmed).

to:

All accepted papers will appear in the pre-proceedings of FACS 2015. Revised versions of accepted papers in the categories 1-4 above will appear in the post-proceedings of the conference that will be published as a volume in Springer's LNCS series (to be confirmed).

October 14, 2014, at 07:19 PM by 130.126.255.112 -
Changed line 20 from:

All accepted papers will appear in the pre-proceedings of FACS 2015. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the conference that will be published as a volume in Springer's LNCS series (to be confirmed)

to:

All accepted papers will appear in the pre-proceedings of FACS 2015. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the conference that will be published as a volume in Springer's LNCS series (to be confirmed).

October 14, 2014, at 07:18 PM by 130.126.255.112 -
Changed lines 13-23 from:

All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers should be formatted according to the guidelines for Springer LNCS papers.

to:

All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers should be formatted according to the guidelines for Springer LNCS papers.

Publication


All accepted papers will appear in the pre-proceedings of FACS 2015. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the conference that will be published as a volume in Springer's LNCS series (to be confirmed)

The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of Elsevier's Science of Computer Programming journal.

October 14, 2014, at 07:12 PM by 130.126.255.112 -
Added line 6:
Added line 11:
October 14, 2014, at 07:12 PM by 130.126.255.112 -
Changed lines 9-11 from:
  1. tool papers (6 pages max);

In addition, we solicit submissions to the Doctoral Track of FACS 2014, in the form of abstracts (3 pages max) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results.

to:
  1. tool papers (6 pages max).

In addition, we solicit submissions to the Doctoral Track of FACS 2015, in the form of abstracts (3 pages max) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results.

October 14, 2014, at 07:11 PM by 130.126.255.112 -
Changed lines 5-10 from:

We solicit high-quality submissions reporting on (as related to topics mentioned here):

    # original research contributions (18 pages max);
    # applications and experiences (18 pages max);
    # surveys, comparisons, and state-of-the-art reports (18 pages max);
    # tool papers (6 pages max);
to:

We solicit high-quality submissions related to the conference topics topics mentioned here):

  1. original research contributions (18 pages max);
  2. applications and experiences (18 pages max);
  3. surveys, comparisons, and state-of-the-art reports (18 pages max);
  4. tool papers (6 pages max);
October 14, 2014, at 07:10 PM by 130.126.255.112 -
Changed lines 5-13 from:

TBA

to:

We solicit high-quality submissions reporting on (as related to topics mentioned here):

    # original research contributions (18 pages max);
    # applications and experiences (18 pages max);
    # surveys, comparisons, and state-of-the-art reports (18 pages max);
    # tool papers (6 pages max);

In addition, we solicit submissions to the Doctoral Track of FACS 2014, in the form of abstracts (3 pages max) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers should be formatted according to the guidelines for Springer LNCS papers.

September 27, 2014, at 11:45 PM by 193.157.242.32 -
Added lines 2-3:

September 21, 2014, at 11:00 PM by 179.210.219.25 -
Changed line 1 from:

Call for Papers

to:

Call for Papers

Added lines 1-3:

Call for Papers

TBA

Edit - History - Print - Recent Changes - Search
Page last modified on January 22, 2015, at 12:23 PM