posted by user: chupacabra || 1579 views || tracked by 5 users: [display]

CONCUR-YR 2015 : Young Researchers Workshop on Concurrency Theory

FacebookTwitterLinkedInGoogle

Link: http://cimini.info/yr-concur2015/
 
When Sep 5, 2015 - Sep 5, 2015
Where Madrid
Submission Deadline Jul 13, 2015
Notification Due Jul 18, 2015
Final Version Due Jul 18, 2015
Categories    formal methods   concurrency theory   theoretical computer science   logic
 

Call For Papers


=========================================================================

CALL for ABSTRACTS for YR-CONCUR 2015

6th International
Young Researchers Workshop on Concurrency Theory
(satellite workshop of CONCUR 2015)

September 5, 2015
Madrid, Spain

http://cimini.info/yr-concur2015/

=========================================================================

Aims and objectives:
This workshop aims at providing a platform for PhD students and young researchers who recently completed their doctoral studies, to exchange new results related to concurrency theory and receive feedback on their research. Focus is on informal discussions. Excellent master students working on concurrency theory are also encouraged to contribute.

Format:
YR-CONCUR 2015 is a satellite workshop of CONCUR 2015 and will be held on September 5th, 2015. It is anticipated that many CONCUR participants will attend the YR-workshop (and vice versa). Presentations are selected on the basis of an abstract of up to 4 pages (including references) describing the research. No particular format is required. Submissions are judged on the expected interest in and quality of the talk. The accepted abstracts will be made available at the workshop, but no formal proceedings are planned. It is thus also allowed (and encouraged) to send results that have been published at other conferences (although preferably not at CONCUR 2015 or any of its other satellite workshops).

Important Dates:
- Deadline for 4-page abstracts: July 13, 2015
- Notification of acceptance: July 18, 2015
- Final version: August 6, 2014
- Workshop: September 5, 2014

Submission:
4-page abstracts (including references) should be submitted via the YR-CONCUR 2015 submission page on the EasyChair system.
(see the workshop website)

Organizer and PC Chair:
- Matteo Cimini (Indiana University, Bloomington, USA)


Program Committee

Cinzia Di Giusto (UNS-CNRS, Sophia Antipolis, France)
Sophia Knight (Université de Lorraine, France)
Hernan Melgratti (University of Buenos Aires, Argentina)
Luca Tesei (University of Camerino, Italy)
Mohammad Reza Mousavi (Halmstad University, Sweden)

Related Resources

CfP - CONCUR 2017   Call for Papers - 28th International Conference on Concurrency Theory
OPODIS 2017   OPODIS 2017 Call for Papers
2nd HBP YRE 2017   2nd HBP Young Researchers Event: Integrating neuroscience data into models and simulations
KRR@SAC 2018   KRR@SAC 2018 : Knowledge Representation and Reasoning (track of the 33rd ACM/SIGAPP Symposium On Applied Computing)
CG: YRF 2017   Computational Geometry: Young Researchers Forum
FoIKS 2018   10th International Symposium on Foundations of Information and Knowledge Systems
CfW-CONCUR 2017   Call for Workshops in The 28th International Conference on Concurrency Theory
IEICE Trans D Form Appr 2018   Special Section on Formal Approaches at IEICE Transactions on Information and Systems
COLT 2018   Computational Learning Theory
Correctness 2017   First International Workshop on Software Correctness for HPC Applications