Call for Workshop Proposals
                         International Conference

                              TABLEAUX 2013

        	 22nd Conference on Automated Reasoning with
	            Analytic Tableaux and Related Methods

                              Nancy, France
                          September 16-19, 2013


  The TABLEAUX 2013 Conference is the 22nd in a series of international 
  meetings on Automated Reasoning with Analytic Tableaux and Related Methods
  and will be held in Nancy, France, in September 16-19, 2013.
  It will be co-located with the 9th International Symposium on Frontiers 
  of Combining Systems (FroCos 2013) held September 18-20, 2013.
  The date for TABLEAUX workshops is Monday 16th September, 2013. 

  Workshop proposals on specialised subjects in the range of the conference 
  topics are welcome. We can accept up to 3 proposals. They can focus on 
  specialized or broader areas and also on theoretical and/or applied topics. 
  The format of a workshop is left to the organizers but typically TABLEAUX 
  workshops feature invited speakers and a number of contributed presentations
  and the intended schedule is for one-day workshops.

  Proposals should include:

  - Workshop title 
  - Names and affiliations of the organizers
  - Brief scientific description of the aims and scopes of the workshop, with 
    an emphasis on the relevance for the Tableaux community. 
  - Presentation of the proposed format and agenda.
  - Procedure for selecting papers and possibly participants. .
  - Expected number of participants and the potential invited speakers.
  - Plans for dissemination (for example, special issues of journals).

  To submit a workshop proposal, please send a description of three pages 
  to the PC chairs by March 4, 2013. 
  The proposals will be reviewed by the members of the PC committee.

  Important dates:

  - Submission deadline: March 4, 2013
  - Notification: March 15, 2013
  - Program of the workshops ready: June 15, 2013
  - Workshops: September 16, 2013