PEPM’09 — Call for Participation
ACM SIGPLAN Workshop
on
Partial Evaluation and Program Manipulation (PEPM’09)
[…]
Archive for November, 2008
ACKERMANN AWARD 2009: CALL FOR NOMINATIONS
=========================================================================
ACKERMANN AWARD 2009 - THE EACSL OUTSTANDING
DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
CALL FOR NOMINATIONS
* Eligible for the 2009 Ackermann Award are PhD dissertations in topics
specified by the EACSL and LICS conferences, which were formally
accepted as PhD theses at a university or equivalent institution
between 1.1.2007 and […]
(PN) CFA: Fourth Training School in Symbolic Computation
–===============0975702308==
Content-Type: text/plain; charset=unknown-8bit
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
[Apologies for multiple copies.]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% European Commission Framework 6 Programme %
% Integrated Infrastructures Initiatives […]
CFP: ISSAC 2009
[Apologies for multiple copies.]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% European Commission Framework 6 Programme %
% Integrated Infrastructures Initiatives %
% […]
(PN) IFAC Conference FeT’2009 - Deadline (regular papers) extension
The new deadline for the regular papers is December 31
( like the Work in Progress papers)
All the informations are on the web site of the conference:
[…]
[Mycolleagues] First CfP: QEST 2009 in Budapest
[ Apologies for multiple copies ]
Call for Papers
6th International Conference on Quantitative Evaluation of SysTems
[…]
(PN) First CfP: QEST 2009 in Budapest
[ Apologies for multiple copies ]
Call for Papers
6th International Conference on Quantitative Evaluation of SysTems
[…]
Job announcement: Post-doc position at ILLC Amsterdam
================
POSTDOC POSITION
================
At the Institute for Logic, Language and Computation of the University of
Amsterdam, there is a vacancy for a post-doctoral researcher in the field
of
Logic and Theoretical Computer Science.
This position will form part of the NWO-funded VICI project “Algebra and
Coalgebra: the mathematical environment of modal logic”, directed by Dr.
Yde Venema.
Job description
————–
The successful candidate is expected to […]
(PN) PostDoc Positions in the Embedded System Unit of Fondazione
–/9DWx/yDrRhgMJTb
Content-Type: text/plain; charset=”us-ascii”
Content-Disposition: inline
[[[ Apologies for multiple copies of this message ]]]
Post-Doc Positions Available
Design and Verification of Embedded Software
Embedded System Research Unit
[…]