Cover Image
Read Now

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

45
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

46
Published 2020
Springer International Publishing
“... Resistance Testing" on External Sulfate Attack (TESA 2018), held on May 24-25, 2018 at IETcc-CSIC, Madrid...”
Cover Image
Read Now

48
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

49
Published 2015
Springer International Publishing
“... Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain...”
Cover Image
Read Now

50
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

51
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

52
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

53
Published 2015
Springer International Publishing
“... Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015...”
Cover Image
Read Now

57
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

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