1. Conferences & Workshops

(Sorted by full paper deadlines.)

Name

Deadlines

Notification

Size

Place & Date

abstract

full paper

CSL05

2005-03-25

2005-04-01

2005-05-15

15 pages LNCS

Oxford, UK, August 22-25

Concur05

2005-03-28

2005-04-01

2005-05-18

15 pages LNCS

San Francisco, USA, August 23-26

Quest05

2005-03-28

2005-04-04

2005-05-30

10 pages IEEE

Torino, Italy, September 19-22

2005-04-25

2005-05-30

2 pages IEEE

Charme05

2005-03-29

2005-04-08

2005-05-23

4 or 15 pages LNCS

Saarbrücken, Germany, October 3-6

Spin05

2005-04-01

2005-04-08

2005-05-16

15 pages LNCS

San Francisco, USA, August 22-24

LCC05

2005-04-17

2005-05-19

10 pages 11pt

Chicago, USA, June 24-25

Icinco05

2005-04-18

2005-05-17

8 pages A4

Barcelona, Spain, September 14-17

Forte05

2005-04-25

2005-06-10

15 pages LNCS

Taipei, Taiwan, October 2-5

Aras05

2005-04-30

2005-05-31

4 pages

Istanbul, Turkey, June 24-26

Tableaux05

2005-04-30

2005-06-25

15 pages LNCS

Koblenz, Germany, September 14-17

ISSRE05

2005-05-01

2005-08-01

20 pages (1.5-spaced)

Chicago, USA, November 8-11

Mascots05

2005-05-13

2005-06-20

8 pages IEEE

Atlanta, USA, September 27-29

FMICS05

2005-05-15

2005-06-15

16 pages LNCS

Lisbon, Portugal, September 5-6

ICSIT05

2005-05-15

2005-06-15

6 pages IEEE

Algiers, Algeria, July 19-21

IFM05

2005-05-18

2005-07-13

20 pages LNCS

Eindhoven, The Netherlands, November 29 - December 2

ATVA05

2005-05-23

2005-07-01

15 pages LNCS

Taipei, Taiwan, October 4-7

ICTAC05

2005-05-25

2005-07-01

15 pages LNCS

Hanoi, Vietnam, October 17–21

Express05

2005-06-01

2005-07-11

12 pages ENTCS + bib

San Francisco, USA, August 27

FSEN05

2005-06-01

2005-07-15

15 pages ENTCS

Tehran, Iran, October 1-3

AVoCS'05

2005-06-13

2005-07-18

10 pages

Warwick, UK, September 12-13

SEEFM05

2005-05-31

2005-06-14

2005-09-05

15 pages LNCS

Ohrid, Greece, November 18-19

ISoLA05

2005-06-17

2005-07-29

Columbia, MD, USA, September 23-24

Tacas06

2005-10-07

2005-10-14

2005-12-09

15 pages LNCS

Vienna, Austria, March 25 - April 2, 2006

STACS06

Marseille, France, February 2006

FME06

Mexico, March 16-22, 2006 ?

2. Journals

Name

Size

IEEE Transactions on Computers

16 pages IEEE

IEEE Transactions on software Engineering

+/- 15 pages A4

Performance Evaluation

-

Theoretical Computer Science

-

ACM Computing Surveys

-

Formal Aspects of Computing

-

Acta Informatica

-

Formal Methods in System Design

-

Fundamenta Informaticae

20-30 pages

International Journal on Software Tools for Technology Transfer

-

Formal Methods Letters

6 pages LNCS ?

Logic and Computation

30 pages double spaced

WhereToPublish (last edited 2005-05-11 13:28:01 by AlexandreDuretLutz)

All text is available under the terms of the GNU Free Documentation License, see SpotWikiLicense for details.