TACLe Workshop: HiPEAC 2015

on

TACLe Workshop at HiPEAC 2015, Amsterdam January 19-21, Netherlands:

For more information please refer:

TACLe 2015 Workshop: https://www.hipeac.org/events/activities/7185/tacle/

HiPEAC 2015: https://www.hipeac.org/2015/amsterdam/

TACLe Project: TACLe January 2015 Meeting in Amsterdam, January 22-23, 2015

on

== TACLe January 2015 Meeting in Amsterdam, January 22-23, 2015 ==

Location: Universiteit van Amsterdam
          Universiteitsbibliotheek (University Library)
          Room C0.07 (Doelenzaal)
          Singel 425
          1012 WP Amsterdam
          The Netherlands
          (https://goo.gl/maps/Ki7Zp)

Approximate times for the meeting (a more detailed programme will be
sent out later):

Jan. 22nd:  9:00-18:00 regular meeting
           18:30-19:30 canal tour (depending on interest)
Jan. 23rd:  9:00-15:00 regular meeting
           15:00-17:00 management committee meeting

How to get there:
Amsterdam Airport Schiphol is one of the largest air traffic hubs in Europe
and thus very well connected. Trains depart from Schiphol to Amsterdam Centraal
every few minutes, cost around 4 Euro (one-way) and take about 20 minutes. From
Amsterdam central station to the venue, take Tram [1,2,5] and leave at
Koningsplein, or walk around 20 minutes. From the southern parts of Amsterdam
including the HiPEAC conference venue area you may also take Tram [4,9,16,24]
and leave at Muntplein.

Hotel information:
The range of hotels in easy walking distance from the TACLe meeting venue is in
the hundreds, yet finding a good and reasonably priced place to stay is not so
easy. As a rule of thumb, avoid hotels in the red light district. Most of them
are pretty shabby and the neighbourhood tends to be very noisy at night. Also
be aware that many 3-star hotels in Amsterdam offer basic/economy/budget rooms
without private bath room. However, the time of the year certainly plays in our
favour and very attractive deals with good hotels in prime locations at reasonable
rates may well be possible.
Please note that the HiPEAC conference venue, and thus the majority of the
recommended hotels, is in a different part of town outside the historic center.

Further links and information:

HiPEAC 2015 homepage:
http://www.hipeac.org/2015/amsterdam/

Local Information about Amsterdam:
http://www.iamsterdam.com/

City Map:
http://www.iamsterdam.com/media/pdf/map-amsterdam-centre.pdf

Public Transport:
http://en.gvb.nl/

Amsterdam Aiport:
http://www.schiphol.nl/

4th International workshop on FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS (FOPARA 2015)

on

4th International workshop on

FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS (FOPARA 2015)

London, U.K., April 11, 2015 (co-located with DICE (April 12, 2015)

A satellite event of ETAPS. http://fopara.cs.ru.nl/

FOPARA2015 is supported by ICT COST Action IC1202 Timing Analysis on Code-Level (TACLe).

 

IMPORTANT DATES

Paper submission via easychair: January 23, 2015

Notification of acceptance: February 10, 2015

Informal pre-proceedings version due: March 2nd, 2015

Submission for formal peer-reviewed post proceedings: May 29, 2015

Notification (Paper): July 10, 2015

Camera Ready: September 4, 2015

 

WORKSHOP OBJECTIVES AND SCOPE

The FOPARA workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (e.g. time, space, energy) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. We also encourage papers that combine theory and practice. The following list of topics is non-exhaustive:

- resource static analysis for embedded or/and critical systems;

- logical and machine-independent characterisations of complexity classes;

- logics closely related to complexity classes;

- type systems for controlling/inferring/checking complexity;

- semantic methods to analyse resources, including quasi-interpretations;

- practical applications of resource analysis;

- complexity analysis by term and graph rewriting.

FOPARA is organised as a bi-annual event. The first edition of the FOPARA workshop has been held in 2009 as part of Formal Methods (FM2009) at the Technical University Eindhoven, NL. The second edition was co-located with Trends in Functional Programming (TFP2011) at Complutense University in Madrd. The third FOPARA workshop was co-located with WST 2013, the 13th International Workshop on Termination, at the Bertinoro international Center for informatics in Italy:

* FOPARA 2009: Eindhoven at Formal Methods Europe, http://resourceanalysis.cs.ru.nl/fopara/

* FOPARA 2011: Madrid at Trends in Functional Programming, http://dalila.sip.ucm.es/fopara11/

* FOPARA 2013: Bertinoro at Workshop on Termination, http://fopara2013.cs.unibo.it/

Professor in Vehicular Software and System Architecture at MDH

on

MDH and Volvo CE announces a chair in Computer Science specializing in Vehicular Software and System Architecture. The position is co-funded by MDH, Volvo and KKS.

MDH hosts Sweden’s largest research environment in Embedded Systems and we are now searching to strengthen our competence in software and system architecture. The professor will be a part of our dynamic and successful research environment with excellent possibilities to build a strong research group in cooperation with other local professors and national and international industry.

The position closes 30/11. For applications and more information see http://www.mdh.se/hogskolan/jobb/professor-in-computer-science-specializing-in-vehicular-software-and-system-architecture-1.66701

2nd TACLe Meeting 2014, Madrid, Spain: July 7

on

2nd TACLe Meeting 2014, Madrid, Spain: July 7

* Venue: Sala de Grados, Facultad de Informatica, Complutense University of 
Madrid, 1st floor.
(Find in Map: Web Link)

* The meeting will start around 9.00 and should end around 18.00

* For lunch, each participant will get an email with additional details.

* Contact: Heiko Falk, e-mail: Heiko.Falk <at> uni-ulm.de

 

8 Funded PhD Positions at St Andrews

on

Eight funded research scholarships available under the University of St Andrews Seventh Century scheme.
These are open to students from any country, and pay fees as well as maintenance.  The deadline for applications is March
31st 2014, but it's good to apply earlier.

We have an active group of about ten academic academics, postdoctoral research fellows and postgraduate students
working on a variety of topics.  We'd welcome applicants who are interested in any aspect of functional programming
and related areas, including:

Parallel Functional programming; Heterogeneous multicores (including CPU/GPU combinations); Refactoring; Patterns of computation;
Machine-Learning; Compilation; Real-time functional programming (e.g. in Hume); Semantics of Programming Languages;
Functional cloud computing;  Functional Programming and Security; Dependent Types; Effects and other extra-functional properties;
Relaxed memory consistency; Multicore programming; Formal concurrency models; Concurrency verification; Application of functional ideas to other paradigms,
including C and C++.  We work with various functional languages including Haskell, Erlang, idris, OCAML, Hume and F#. 

We have excellent links with both academic and industry, and are coordinating the EU Framework 7 ParaPhrase project,
which involves 13 partners from 8 European countries: http://www.paraphrase-ict.eu

Please contact me to discuss possible project ideas.  Applications should be made through:

http://www.cs.st-andrews.ac.uk/prospective-pg/research-degrees

When applying, please indicate that you would like to apply for 7th Century Funding.


--------

Kevin Hammond, Professor of Computer Science, University of St Andrews

T: +44-1334 463241   F: +44-1334-463278    W: http://www.cs.st-andrews.ac.uk/~kh

 

Call for Papers: WCET 2014

on

14th International Workshop on

Worst-Case Execution Time Analysis, WCET 2014

July 8th, 2014, Madrid, Spain

http://www.uni-ulm.de/wcet2014

 

The 14th International Workshop on Worst-Case Execution Time Analysis

(WCET 2014) will take place in conjunction with the Euromicro Conference on

Real-Time Systems (ECRTS 2014) at Madrid, Spain.

 

WCET 2014 is kindly supported by TACLe (www.tacle.eu), a European COST-Action on Timing Analysis on Code-Level.

TACLe 1st 2014 Meeting, Vienna - Austria: 22-24 January

on

2014 Meeting, Vienna - Austria: 22-24 January

Wednesday 22/1: DMTM workshop, http://dmtm.site.ac.upc.edu/

 

Meeting Place 23 & 24/01:

Austrian Computer Society, Wollzeile 1 (first floor), 1010 Wien
              (150m north of the St. Stephan's Cathedral; in the very heart of Vienna thus)

Thursday 23/1: From 9:00 TACLe WG Meetings.
Friday      24/1: Morning, WG Meetings, Afternoon MC Meeting, (Ending 17:00).

Detailed Meeting Agenda: ...Pending...

Useful links:

HiPEAC 2014 homepage: http://www.hipeac.net/conference/vienna

City Map of Vienna: http://www.wien.gv.at/stadtplan/en/ 

Wiener Linien (Public Transport): http://www.wienerlinien.at/eportal/ep/home.do?tabId=0
 
Austrian Computer Society: http://www.ocg.at/