-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathevents.bib
191 lines (175 loc) · 6.62 KB
/
events.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
@proceedings{conf/nfm/2013,
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {NASA Formal Methods, 5th International Symposium, NFM 2013,
Moffett Field, CA, USA, May 14-16, 2013. Proceedings},
booktitle = {NASA Formal Methods},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7871},
year = {2013},
isbn = {978-3-642-38087-7, 978-3-642-38088-4},
ee = {http://dx.doi.org/10.1007/978-3-642-38088-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{conf/sefm/2012,
editor = {George Eleftherakis and
Mike Hinchey and
Mike Holcombe},
title = {Software Engineering and Formal Methods - 10th International
Conference, SEFM 2012, Thessaloniki, Greece, October 1-5,
2012. Proceedings},
booktitle = {SEFM},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7504},
year = {2012},
isbn = {978-3-642-33825-0},
ee = {http://dx.doi.org/10.1007/978-3-642-33826-7},
}
@proceedings{conf/cade/2012compare,
editor = {Vladimir Klebanov and
Bernhard Beckert and
Armin Biere and
Geoff Sutcliffe},
title = {Proceedings of the 1st International Workshop on Comparative
Empirical Evaluation of Reasoning Systems, Manchester, United
Kingdom, June 30, 2012},
booktitle = {COMPARE},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {873},
year = {2012},
ee = {http://ceur-ws.org/Vol-873},
}
@proceedings{conf/sas/2012,
editor = {Antoine Min{\'e} and
David Schmidt},
title = {Static Analysis - 19th International Symposium, SAS 2012,
Deauville, France, September 11-13, 2012. Proceedings},
booktitle = {SAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7460},
year = {2012},
isbn = {978-3-642-33124-4},
ee = {http://dx.doi.org/10.1007/978-3-642-33125-1},
}
@proceedings{conf/esop/2011,
editor = {Gilles Barthe},
title = {Programming Languages and Systems - 20th European Symposium
on Programming, ESOP 2011, Held as Part of the Joint European
Conferences on Theory and Practice of Software, ETAPS 2011,
Saarbr{\"u}cken, Germany, March 26-April 3, 2011. Proceedings},
booktitle = {ESOP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6602},
year = {2011},
isbn = {978-3-642-19717-8},
ee = {http://dx.doi.org/10.1007/978-3-642-19718-5},
}
@proceedings{conf/wflp/2009,
editor = {Santiago Escobar},
title = {Functional and Constraint Logic Programming, 18th International
Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised
Selected Papers},
booktitle = {WFLP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5979},
year = {2010},
isbn = {978-3-642-11998-9},
ee = {http://dx.doi.org/10.1007/978-3-642-11999-6},
}
@proceedings{conf/ifip11-9/2009,
editor = {Gilbert L. Peterson and
Sujeet Shenoi},
title = {Advances in Digital Forensics V - Fifth IFIP WG 11.9 International
Conference on Digital Forensics, Orlando, Florida, USA,
January 26-28, 2009, Revised Selected Papers},
booktitle = {IFIP Int. Conf. Digital Forensics},
publisher = {Springer},
series = {IFIP Advances in Information and Communication Technology},
volume = {306},
year = {2009},
isbn = {978-3-642-04154-9},
ee = {http://dx.doi.org/10.1007/978-3-642-04155-6},
}
@proceedings{ conf/lfm/2008,
title = "{P}roceedings of the Sixth {NASA} {L}angley Formal Methods Workshop ({LFM 2008})",
editor = "Kristin Yvonne Rozier",
number = "NASA/CP-2008-215309",
month = may,
year = 2008,
note = "http://ntrs.nasa.gov",
}
@proceedings{ conf/strategies/2006,
title = "Proc. 6th Int. Workshop on Strategies in Automated Deduction",
editor = "Myla Archer and Thierry {Boy de la Tour} and C\'esar Mu{\~{n}}oz",
year = 2006,
month = aug,
}
@proceedings{ conf/cade/2000,
editor = "David A. McAllester",
title = "Automated Deduction - CADE-17, 17th International Conference
on Automated Deduction, Pittsburgh, PA, USA, June 17-20,
2000, Proceedings",
booktitle = "CADE",
publisher = SV,
series = lncs,
address = "Heidelberg",
volume = "1831",
year = "2000",
isbn = "3-540-67664-3",
}
@proceedings{ conf/cade/2005,
editor = "Robert Nieuwenhuis",
title = "Automated Deduction - CADE-20, 20th International Conference
on Automated Deduction, Tallinn, Estonia, July 22-27, 2005,
Proceedings",
booktitle = "CADE",
publisher = SV,
series = lncs,
address = "Heidelberg",
volume = "3632",
year = "2005",
isbn = "3-540-28005-7",
}
@proceedings{ conf/cav/2006,
editor = "Thomas Ball and Robert Jones",
title = "Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings",
booktitle = "CAV",
publisher = SV,
series = lncs,
address = "Heidelberg",
volume = "4144",
year = 2006,
isbn = "3-540-37406-X",
}
@proceedings{ conf/tacas/2006,
editor = "Holger Hermanns and Jens Palsberg",
title = "Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings",
booktitle = "TACAS",
publisher = SV,
series = lncs,
address = "Heidelberg",
volume = "3920",
year = 2006,
isbn = "3-540-33056-9",
}
@proceedings{conf/types/2006,
editor = {Thorsten Altenkirch and
Conor McBride},
title = {Types for Proofs and Programs, International Workshop, TYPES
2006, Nottingham, UK, April 18-21, 2006, Revised Selected
Papers},
booktitle = {TYPES},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4502},
year = {2007},
isbn = {978-3-540-74463-4},
}
% vim: set sw=2 :