Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
“... of European conferences whose first edition was ECSA 2007, held in Madrid, Spain September 24–26, 2007. ECSA...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
“... International Conference on Information Theoretic Security, ICITS 2007, held in Madrid, Spain, in May 2007...”
Cover Image
Read Now

3
Published 2016
Springer International Publishing
“... Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together...”
Cover Image
Read Now

5
Published 2008
Springer Berlin Heidelberg
“... Sensing and Touch Enabled Computer Applications, EuroHaptics 2008, held in Madrid, Spain, in June 2008...”
Cover Image
Read Now

6
Published 2010
Springer Berlin Heidelberg
“... Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL...”
Cover Image
Read Now

7
Published 2003
Springer Berlin Heidelberg
“..., was held in Madrid, Spain in September 2002. It attracted47researchersfromthefunctionalprogrammingcommunity...”
Cover Image
Read Now

8
Published 1994
Springer Berlin Heidelberg
“... and Logic Programming (ALP '94), held in Madrid, Spain in September 1994. Like the predecessor conferences...”
Cover Image
Read Now

9
Published 2012
Springer Berlin Heidelberg
“... Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers...”
Cover Image
Read Now

10
Published 2010
Springer Berlin Heidelberg
“..., Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. The 21...”
Cover Image
Read Now

11
Published 2013
Springer Berlin Heidelberg
“... Security, NSS 2013, held in Madrid, Spain, in June 2013. The 41 full papers presented were carefully...”
Cover Image
Read Now

12
Published 1994
Springer Berlin Heidelberg
“... Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27...”
Cover Image
Read Now

14
Published 2013
Springer Berlin Heidelberg
“... Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September...”
Cover Image
Read Now

15
Published 2016
Springer International Publishing
“... Symposium on Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September 2015. The 10...”
Cover Image
Read Now

16
Published 2018
Springer International Publishing
“... Reuse, ICSR 2018, held in Madrid, Spain, in May 2018. The 9 revised full papers and 2 short papers...”
Cover Image
Read Now

17
Published 2012
Springer Berlin Heidelberg
“...-Focused Software Process Improvement, PROFES 2012, held in Madrid, Spain, in June 2012. The 21 revised...”
Cover Image
Read Now

18
Published 2014
Springer International Publishing
“... Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain...”
Cover Image
Read Now

19
Published 2018
Springer International Publishing
“... Architecture, ECSA 2018, held in Madrid, Spain, in September 2018. The 17 full papers presented together with 7...”
Cover Image
Read Now

20
Published 2019
Springer International Publishing
“... on Applied Informatics, ICAI 2019, held in Madrid, Spain, in November 2019. The 37 full papers and one short...”