[ecoop-info] CFW - IJCAR2016

[Pedro Quaresma]

Call for Workshops

IJCAR 2016 - The 8th International Joint Conference on Automated Reasoning
Coimbra, Portugal
Conference 27-30, June 2016
Workshops 1-2, July 2016
http://www.uc.pt/en/congress/ijcar2016/

Call for Workshop Proposals

Workshop proposals on IJCAR-related topics are solicited. Proposals that 
promise to bring new topics into IJCAR, of either practical or 
theoretical importance, or provide a forum for more detailed discussion 
on central topics of continuing importance are highly welcome. Proposals 
that close the gap between automated reasoning and related areas, e.g., 
formal methods or software engineering, are especially encouraged.

Proposals must contain information sufficient to judge the importance, 
quality and community interest in the proposed topic. Each workshop must 
have one or more designated organizers, and may have a programme 
committee as well.

Proposals must be limited to three pages and provide at least the 
following information:

     Title
     Description of the workshop topic and goals(Why do you believe this 
is an interesting and significant topic?)
     Intended audience(From which areas do you expect potential 
participants to come?How many participants do you expect?)
     Organization of the workshop(Describe the intended format of the 
workshop, its expected duration: one day, Friday, July 1st (preferred) 
or Saturday, 2nd; or two days, July 1st-2nd.)
     Information     a. whether papers presented to the workshiop are 
invited papers or are selected by peer review;     b. if the workshop 
makes makes part of a series (continuing the past workshops on a regular 
basis);     c. if the workshop comprises a program competition.
     Organizers' details(Provide affiliations, backgrounds and contact 
details (email, etc.) of organizers.)

Proposals should be sent as plain text or as PDF to the workshop chair 
Reinhard Kahle: kahle at mat.uc.pt.

For more information, including fees and provided services, please 
contact also the workshop chair at kahle at mat.uc.pt.

Important dates

Express of interest: at any time.
Deadline for proposal submissions: November 15th, 2015.
Notification: December 15th, 2015.
Workshop Dates: July 1st-2nd, 2016.

-- 
---//---

IJCAR 2016, International Joint Conference on Automated Reasoning, 27
June-1 July, 2016, Coimbra, Portugal.

CiEMeLP 2015, Conferência Internacional do Espaço Matemático em Língua
Portuguesa, 28 a 31 de Outubro de 2015 em Coimbra, Portugal.
---//---

--

At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;

Professor Auxiliar Pedro Quaresma
Departamento de Matem\'atica, Faculdade de Ci\^encias e Tecnologia
Universidade de Coimbra
P-3001-454 COIMBRA, PORTUGAL
Elec. mail: pedro at mat.uc.pt
webpage: http://www.mat.uc.pt/~pedro/
phone: +351 239 791 137; fax: +351 239 832 568