List of workshops - page 9


MiniZinc 2.0 Workshop
by CP2011_publicity, May 30, 2011

MiniZinc is a simple and expressive modelling language that is easy to
interface to different solvers. It maps models in MiniZinc down to FlatZinc
is a manner that is specializable to different underlying solvers. It is
currently supported by constraint programming systems Gecode, Eclipse
Prolog, Sicstus Prolog, JaCoP, solvers from the G12 group, the mathematical
programming solver SCIP, as well as having translators that create SAT
models from FlatZinc (fzntini), and create SMT models from FlatZinc
(fzn2smt).

CFP: FAST2011 - 8th International Workshop on Formal Aspects of Security & Trust
by FabioMartinelli, May 17, 2011

Call for paper for the 8th International Workshop on Formal Aspects of Security& Trust (FAST2011), Leuven, Belgium. September 15-16, 2011

2011 GTTSE/SLE Students' Workshop
by João Paulo Fernandes, April 30, 2011


4th York Doctoral Symposium (YDS 2011) - Call for Papers and Posters
by Christopher Poskitt, April 26, 2011

The Department of Computer Science at the University of York is to host
the 4th York Doctoral Symposium on Computer Science (YDS 2011), on the
20th October this year. The goal of the symposium is to bring together
doctoral students from around the UK and Europe to share and exchange
their research and ideas with others. The symposium will promote
interdisciplinary research and help research students to gain experience
in presenting their work to colleagues.

Important Dates
---------------

* Paper submission deadline: 19th June
* Author notification: 1st August
* Poster submission deadline: 8th August
* Poster notification: 24th August
* Camera-ready papers and posters due: 31st August
* Symposium: 20th October

21st Workshop on Logic-based methods in Programming Environments
by Alexander Serebrenik, April 25, 2011

Affiliated with ICLP 2011 July 10, Lexington, Kentucky, USA

http://imada.sdu.dk/~petersk/WLPE2011/

CfP: Workshop of the 2nd SICSA MultiCore Challenge (n-body problem)
by Hans-Wolfgang Loidl, April 20, 2011

This workshop will summarise, compare and evaluate several parallel implementations of the n-body problem on (networks of) multi-core machines.

extended deadline - April 20 - AMMSE 2001 - Algebraic Methods in Model-Based Software Engineering
by Vlad Rusu, April 12, 2011

CALL FOR PAPERS
AMMSE 2011
2nd International Workshop on Algebraic Methods in Model-Based Software
Engineering, satellite event of the TOOLS'11 Conference
Zurich, Switzerland, June 30th, 2011

International Summer School on Software Security and Protection
by Bjorn De Sutter, March 9, 2011

Organized from 4-8 July 2011 at Ghent University for students, researchers and practitioners.