43:(IJCAR). It comes with a prize of US$ 1,000. Anyone can be nominated, the award is awarded after a vote among CADE trustees and former recipients, usually with input from the CADE/IJCAR programme committee.
40:
232:
236:
27:(CADE), Inc., (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of
324:
273:
334:
24:
329:
192:
125:
286:
137:
28:
291:
8:
220:
198:
113:
72:
261:
214:
180:
226:
155:
131:
94:
36:
204:
119:
90:
186:
174:
143:
107:
84:
318:
255:
66:
249:
161:
310:
The
Herbrand Award for Distinguished Contributions to Automated Reasoning
267:
210:
149:
294:— by the French Academy of Sciences, for mathematics and physics
78:
60:
21:
Herbrand Award for
Distinguished Contributions to Automated Reasoning
309:
32:
16:
Award for research contributions to automated deduction
41:
International Joint
Conference on Automated Reasoning
316:
317:
325:Artificial intelligence competitions
39:and given at most once per CADE or
13:
14:
346:
303:
25:Conference on Automated Deduction
287:List of computer science awards
31:. The award is named after the
1:
298:
46:
7:
280:
51:Past award recipients are:
10:
351:
335:Logic in computer science
23:is an award given by the
243:
168:
101:
54:
330:Computer science awards
292:Jacques Herbrand Prize
221:Lawrence C. Paulson
199:Robert L. Constable
29:automated deduction
114:Donald W. Loveland
73:John Alan Robinson
262:Natarajan Shankar
237:Leonardo de Moura
215:Richard Waldinger
181:Nachum Dershowitz
108:William W. McCune
342:
227:Bruno Buchberger
156:Edmund M. Clarke
132:Harald Ganzinger
126:Peter B. Andrews
95:J Strother Moore
37:Jacques Herbrand
350:
349:
345:
344:
343:
341:
340:
339:
315:
314:
306:
301:
283:
246:
233:Nikolaj Bjørner
205:Andrei Voronkov
171:
120:Mark E. Stickel
104:
91:Robert S. Boyer
57:
49:
17:
12:
11:
5:
348:
338:
337:
332:
327:
313:
312:
305:
304:External links
302:
300:
297:
296:
295:
289:
282:
279:
278:
277:
271:
265:
259:
253:
245:
242:
241:
240:
230:
224:
218:
208:
202:
196:
193:C. Greg Nelson
190:
187:Melvin Fitting
184:
178:
175:David Plaisted
170:
167:
166:
165:
159:
153:
147:
144:Wolfgang Bibel
141:
135:
129:
123:
117:
111:
103:
100:
99:
98:
88:
82:
76:
70:
64:
56:
53:
48:
45:
15:
9:
6:
4:
3:
2:
347:
336:
333:
331:
328:
326:
323:
322:
320:
311:
308:
307:
293:
290:
288:
285:
284:
275:
272:
269:
266:
263:
260:
257:
256:Tobias Nipkow
254:
251:
248:
247:
238:
234:
231:
228:
225:
222:
219:
216:
212:
209:
206:
203:
200:
197:
194:
191:
188:
185:
182:
179:
176:
173:
172:
163:
160:
157:
154:
151:
148:
145:
142:
139:
136:
133:
130:
127:
124:
121:
118:
115:
112:
109:
106:
105:
96:
92:
89:
86:
83:
80:
77:
74:
71:
68:
67:Woody Bledsoe
65:
62:
59:
58:
52:
44:
42:
38:
34:
30:
26:
22:
250:Franz Baader
162:Deepak Kapur
138:Martin Davis
50:
20:
18:
274:Armin Biere
268:Moshe Vardi
211:Zohar Manna
85:Gérard Huet
319:Categories
299:References
150:Alan Bundy
47:Recipients
35:scientist
79:Wu Wenjun
61:Larry Wos
281:See also
122:(2002).
276:(2024)
270:(2023)
264:(2022)
258:(2021)
252:(2020)
239:(2019)
229:(2018)
223:(2017)
217:(2016)
207:(2015)
201:(2014)
195:(2013)
189:(2012)
183:(2011)
177:(2010)
164:(2009)
158:(2008)
152:(2007)
146:(2006)
140:(2005)
134:(2004)
128:(2003)
116:(2001)
110:(2000)
97:(1999)
87:(1998)
81:(1997)
75:(1996)
69:(1994)
63:(1992)
33:French
244:2020s
169:2010s
102:2000s
55:1990s
235:and
213:and
93:and
19:The
321::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.