| Name | Email | Affiliation | Country |
| Not Provided |
k_elnems AT hotmail.com |
manorhouseschool |
Egypt |
| Not Provided |
colwater AT 126.com |
|
China |
| Not Provided |
smh_1957 AT yahoo.com |
dakrad company |
Chile |
| ABHISHEK GARG |
abhi2k2000 AT yahoo.com |
INDIAN INSTITUTE OF INFORMATION TECHNOLOGY-CALCUTTA |
India |
| Adnan Darwiche |
darwiche AT cs.ucla.edu |
UCLA |
United States |
| Adrian Balint |
adrian.balint AT uni-ulm.de |
Ulm University |
Germany |
| Agustín Valverde |
a_valverde AT ctima.uma.es |
University of Málaga |
Spain |
| Ahmed |
ahmednihad81 AT gmail.com |
|
Iraq |
| Albert Oliveras |
oliveras AT lsi.upc.es |
Technical University of Catalunya (Barcelona) |
Spain |
| Alberto Griggio |
griggio AT fbk.eu |
Fondazione Bruno Kessler (FBK) |
Italy |
| Alessandro Armando |
armando AT dist.unige.it |
DIST, University of Genova |
Italy |
| Alex Fukunaga |
afukunaga AT yahoo.com |
University of California, Los Angeles |
United States |
| Alex Fukunaga |
afukunaga71 AT yahoo.com |
NASA Jet Propulsion Laboratory |
United States |
| Alex Sakharov |
mail AT sakharov.net |
|
United States |
| Alex Wolpert |
awolpert AT roosevelt.edu |
Roosevelt University, Chciago |
United States |
| Alexander S. Kulikov |
kulikov AT logic.pdmi.ras.ru |
Steklov Institute of Mathematics at St.Petersburg |
|
| Alexey Voronov |
voronov AT chalmers.se |
Chalmers University of Technology |
Sweden |
| Amir |
thunderbolt_ami AT yahoo.it |
USAF |
Italy |
| Amit Gupta |
emailamit AT gmail.com |
eASIC Corp |
United States |
| Amol D. Mali |
mali AT miller.cs.uwm.edu |
EE & CS, University of Wisconsin, Milwaukee |
|
| Anders Franzén |
anders AT residual.se |
|
Sweden |
| Andrea Roli |
aroli AT deis.unibo.it |
DEIS - University of Bologna |
Italy |
| Andrzej |
sman AT rybnet.pl |
|
Poland |
| Anton Belov |
anton AT belov-mcdowell.com |
University College Dublin |
Ireland |
| António Morgado |
ajrmorgado AT gmail.com |
University College Dublin |
Ireland |
| Arist Kojevnikov |
arist AT logic.pdmi.ras.ru |
St.-Peterburg State University |
Russia |
| Arlindo Gomes de Alvarenga |
agomes AT inf.ufes.br |
Universidade Federal do Espírito Santo |
Brazil |
| Armando Tacchella |
tac AT dist.unige.it |
Universitŕ di Genova |
Italy |
| Armin Biere |
biere AT jku.at |
Johannes Kepler Universität |
Austria |
| Arne Boralv |
arne AT prover.com |
Prover Technology, Inc. |
United States |
| Arturo Alatriste Trujillo |
arturo_alatriste AT yahoo.com |
Maestría en Inteligencia Artificial. Universidad Veracruzana. |
Mexico |
| Ashish Sabharwal |
ashish.sabharwal AT us.ibm.com |
IBM Watson Research Center |
United States |
| Ateet Bhalla |
bhalla.ateet AT gmail.com |
INESC-ID Technical University of Lisbon |
Portugal |
| Azam Heydari |
azam.heydari AT gmail.com |
Concordia University |
Canada |
| Bailleux Olivier |
olivier.bailleux AT u-bourgogne.fr |
Université de Bourgogne |
France |
| Bart Selman |
selman AT cs.cornell.edu |
Dept. of Computer Science, Cornell University |
United States |
| Benjamin W. Wah |
b-wah AT uiuc.edu |
University of Illinois, Urbana-Champaign |
United States |
| Benoit Hoessen |
b.hoessen AT gmail.com |
CRIL-CNRS UMR 8188 |
France |
| Berezin Georgy |
bgeorgy AT yandex.ru |
Kaliningrad State University |
Russia |
| Bernard JURKOWIAK |
jurkowia AT laria.u-picardie.fr |
LaRIA, Université de Picardie Jules Verne |
France |
| Bertrand Mazure |
mazure AT cril.univ-artois.fr |
CRIL, Université d'Artois |
France |
| Bin Li |
binli AT vt.edu |
Virginia Tech University |
United States |
| Brad Barber |
bradb AT shore.net |
Mathsoft |
United States |
| Bruno Ribas |
ribas AT c3sl.ufpr.br |
UFPR |
Brazil |
| Bryan Brady |
bbrady AT eecs.berkeley.edu |
UC Berkeley |
United States |
| Byron Cook |
bycook AT microsoft.com |
|
United States |
| Byung-Soo Choi |
bschoi3 AT gmail.com |
|
Korea |
| CHATALIC Philippe |
chatalic AT lri.fr |
L.R.I. – Université PARIS-SUD |
France |
| Carla Gomes |
gomes AT cs.cornell.edu |
Cornell University |
United States |
| Carlos Camarăo |
camarao AT dcc.ufmg.br |
Universidade Federal de Minas Gerais |
Brazil |
| Carlos Miranda |
cmirandapalma AT hotmail.com |
uady |
Mexico |
| Carsten Sinz |
sinz AT informatik.uni-tuebingen.de |
WSI, University of Tuebingen |
Germany |
| Catalin |
cat_zeto AT yahoo.com |
|
Romania |
| Cedric Billebaud |
billebaud AT gmail.com |
Concordia University, undergrade |
Canada |
| Christian Muise |
christian.muise AT gmail.com |
University of Toronto |
Canada |
| Christoph Zengler |
zengler AT informatik.uni-tuebingen.de |
Universität Tübingen |
Germany |
| Chu Min Li |
cli AT laria.u-picardie.fr |
|
|
| Chuan (Jerry) Zhang |
chuanz AT cae.wisc.edu |
University of Wisconsin - Madison |
United States |
| Clare |
ccxtfchl AT hotmail.com |
Strathfield Girls High |
Australia |
| Conrad Drescher |
conrad.drescher AT cs.ox.ac.uk |
University of Oxford |
|
| Crama Yves |
Y.Crama AT ulg.ac.be |
Management School, University of Ličge |
Belgium |
| Cyril Terrioux |
cyril.terrioux AT univ-cezanne.fr |
LSIS, Université Paul Cézanne |
France |
| Cédric Piette |
piette AT cril.univ-artois.fr |
CRIL-Université d'Artois |
France |
| D'yakonov Alexander Gennad'evich |
djakonov AT mail.ru |
Moscow State University (Department of Computational Mathematics and Cybernetics) |
Russia |
| DEQUEN Gilles |
dequen AT laria.u-picardie.fr |
LaRIA, LIP6 |
France |
| Daniel J Hulme |
d.hulme AT cs.ucl.ac.uk |
LottoLab, Institute of Ophthalmology, University College London |
United Kingdom |
| Daniel Le Berre |
leberre AT cril.univ-artois.fr |
CRIL, Universite d'Artois |
France |
| Daniel Tille |
tille AT informatik.uni-bremen.de |
University of Bremen |
Germany |
| Dave Tompkins |
davet AT ece.ubc.ca |
University of British Columbia |
Canada |
| Dave Tompkins |
davet AT cs.ubc.ca |
University of British Columbia |
Canada |
| David D. Lewis |
satlive AT daviddlewis.com |
Independent Consultant |
United States |
| David Gamarnik |
gamarnik AT watson.ibm.com |
IBM |
United States |
| David Mitchell |
mitchell AT cs.sfu.ca |
Simon Fraser University |
|
| Dayne Morrison |
daynemorrison AT hotmail.com |
Jamaica College |
Jamaica |
| Dennis Farr |
dfarr AT comcast.net |
President, Treefrog Enterprises |
United States |
| Dimosthenis Mpekas |
dimos.bekas AT gmail.com |
TU Delft |
Netherlands, The |
| Dr. Stephen Hansen |
hansensl AT acm.org |
Xpedite, Inc., and Nova Southeastern Univ. |
United States |
| Durga Prashanthi Gandi |
dgandi AT cs.clemson.edu |
Clemson University |
United States |
| Edgar Altamirano |
edgar AT altamirano.biz |
UNIVERSIDAD AUTONOMA DE GUERRERO, MEXICO. |
Mexico |
| Eliezer Lozinskii |
lozinski AT cs.huji.ac.il |
The Hebrew University of Jerusalem |
Israel |
| Elony Guerrero |
rvianne19 AT yahoo.com |
Medga Evers College |
United States |
| Endre Boros |
boros AT rutcor.rutgers.edu |
RUTCOR, Rutgers University |
United States |
| Enrico Giunchiglia |
enrico AT dist.unige.it |
DIST, Univ. di Genova |
Italy |
| Enshao Shen |
shen-es AT cs.sjtu.edu.cn |
Shanghai Jiao Tong University |
China |
| Eric Horvitz |
horvitz AT microsoft.com |
Microsoft Research |
United States |
| Ernesto Hernandez |
iceboxpro AT hotmail.com |
ITESM Campus Cuernavaca |
Mexico |
| Ertan Dogrultan |
ertan AT cs.ucla.edu |
UCLA |
United States |
| Esmeralda Pita |
esmepita AT gmail.com |
ITESM |
Mexico |
| Etudiants IFIPS Spé Info 1 |
aroussea AT fiifo.u-psud.fr |
Université Paris-Sud 11 - Orsay |
France |
| Eugene Goldberg |
eu.goldberg AT gmail.com |
Cadence Berkeley Labs (Cadence Design Systems) |
United States |
| Evgeny Dantsin |
edantsin AT roosevelt.edu |
CS, Roosevelt University, Chicago |
United States |
| Fadi A. Aloul |
faloul AT aus.edu |
American University of Sharjah |
United Arab Emirates |
| Fahiem Bacchus |
fbacchus AT cs.toronto.edu |
University of Toronto |
Canada |
| Ferdinand Mácha |
F.Macha AT seznam.cz |
University of Ostrava |
Czech Republic |
| Florian Pigorsch |
pigorsch AT informatik.uni-freiburg.de |
University of Freiburg, Institute of Computer Science |
Germany |
| Florian Schroegendorfer |
florian.schroegendorfer AT gmail.com |
Johannes Kepler Universität |
Austria |
| Francesc Guitart |
francesc.guitart AT udl.cat |
University of Lleida |
Spain |
| Francesco Capasso |
capassofrancesco AT yahoo.it |
|
Italy |
| Francisco Jesús Martín Mateos |
Francisco-Jesus.Martin AT cs.us.es |
Dpto. Computer Science and Artificial Intelligence, University of Sevila |
Spain |
| Gabor Kusper |
gkusper AT aries.ektf.hu |
Eszterhazy Karoly College |
Hungary |
| Gabriel Istrate |
istrate AT lanl.gov |
Los Alamos National Laboratory |
United States |
| Gavin Keighren |
gkeighren AT hotmail.com |
University of Edinburgh |
United Kingdom |
| George Pobee |
georgepob AT yahoo.com |
|
Ghana |
| Gilles Audemard |
audemard AT cril.univ-artois.fr |
CRIL |
France |
| Graziano Obertelli |
graziano AT cs.ucsb.edu |
Computer Science Dept. UCSB |
United States |
| Grigory Yaroslavtsev |
grigory.yaroslavtsev AT gmail.com |
|
Russia |
| Gunnar Stalmarck |
gunnar AT prover.com |
Prover Technology |
Sweden |
| Guoqiang Pan |
gqpan AT cs.rice.edu |
Rice University |
United States |
| Guoshun Hao |
haogs AT nlsde.buaa.edu.cn |
|
China |
| HILDA |
hildasgouridi AT yahoo.gr |
|
Grenada |
| Hamza Bin Sohail |
hamza.sohail AT gmail.com |
University Of Engineering & Technology Lahore |
Pakistan |
| Hans van Maaren |
H.vanmaaren AT its.tudelft.nl |
Delft University |
Netherlands, The |
| Hantao Zhang |
hzhang AT cs.uiowa.edu |
The University of Iowa |
United States |
| Holger H Hoos |
hoos AT cs.ubc.ca |
CS Dept, University of British Columbia |
Canada |
| Horst Samulowitz |
horst AT csse.unimelb.edu.au |
NICTA |
Australia |
| Horváth |
Gábor |
campany |
Israel |
| Huan Chen |
huanchen AT ieee.org |
CASL/CSI, University College Dublin |
Ireland |
| Hung Viet Le |
hle AT cs.nmsu.edu |
|
United States |
| Igor Markov |
imarkov AT eecs.umich.edu |
The University of Michigan (Ann Arbor) |
United States |
| Igor Ulyanovsky |
igor.ulyanovsky AT gmail.com |
|
Israel |
| Igor Zverovich |
igor AT rutcor.rutgers.edu |
RUTCOR, Rutgers Universuty, NJ |
United States |
| Ilkka Niemela |
Ilkka.Niemela AT hut.fi |
Helsinki University of Technology |
Finland |
| Ilya Shlyakhter |
ilya_shl AT alum.mit.edu |
MIT |
United States |
| Inęs Lynce |
ines AT sat.inesc.pt |
Technical University of Lisbon, INESC |
Portugal |
| Jacob Katz |
jacob.katz AT intel.com |
Intel |
Israel |
| Jarrod Roy |
royj AT umich.edu |
University of Michigan at Ann Arbor |
United States |
| Jean Marie Lagniez |
jmlagniez AT gmail.com |
CRIL-CNRS UMR 8188 |
France |
| Jeevan |
jeevan_adh2003 AT yahoo.com |
Nepal Engineering College |
Nepal |
| Jesse Bingham |
jbingham AT cs.ubc.ca |
University of British Columbia Computer Science |
Canada |
| Jiang Long |
jiang.walter.long AT gmail.com |
|
United States |
| Jin-Kao Hao |
hao AT info.univ-angers.fr |
University of Angers |
France |
| Jin-Young Choi |
choi AT formal.korea.ac.kr |
Korea University |
Korea |
| Jinbo Huang |
Jinbo.Huang AT nicta.com.au |
NICTA |
United States |
| Joao Marques-Silva |
jpms AT ucd.ie |
University of Southampton |
United Kingdom |
| John Franco |
franco AT gauss.ececs.uc.edu |
University of Cincinnati |
United States |
| John Slaney |
John.Slaney AT nicta.com.au |
National ICT Australia Ltd |
Australia |
| Jordi Planes |
jordi_planes AT yahoo.es |
Universitat de Lleida |
Spain |
| Jordi Planes |
jp3 AT ecs.soton.ac.uk |
University of Southampton |
United Kingdom |
| Jose Inacio J. Rodrigues |
jirodrig AT ualg.pt |
Universidade do Algarve - Area Departamental de Engenharia Civil |
Portugal |
| José A. Alonso |
Jose-Antonio.Alonso AT cs.us.es |
Universidad de Sevilla |
Spain |
| José Coelho |
jcoelho72 AT gmail.com |
Universidade Aberta |
Portugal |
| JoséRa Portillo Fernandez |
josera AT us.es |
Universidad de Sevilla |
Spain |
| Juan Segura Salazar |
jsegura AT ccg.unam.mx |
Genomic Science Center - UNAM |
Mexico |
| Julie Horton |
oscarin AT bigpond.com |
|
Australia |
| Jussi Rintanen |
jussi AT cecs.anu.edu.au |
NICTA ANU |
Australia |
| Karem Sakallah |
karem AT umich.edu |
University of Michigan |
United States |
| Karen Yorav |
yorav AT il.ibm.com |
IBM Haifa Research Lab |
Israel |
| Kazimir Majorinc |
kazimir AT chem.pmf.hr |
|
Croatia (Hrvatska) |
| Ke Xu |
kexu AT nlsde.buaa.edu.cn |
Beijing Univ. of Aero. and Astro. |
China |
| Keijo Heljanko |
Keijo.Heljanko AT tkk.fi |
Helsinki University of Technology (TKK) |
Finland |
| Keithsha Rodney |
estrella_829 AT yahoo.com |
non at this moment |
Trinidad And Tobago |
| Kerry M. Soileau |
ksoileau AT yahoo.com |
|
United States |
| LAKHDAR SAIS |
sais AT cril.univ-artois.fr |
CRIL, Université d'Artois |
France |
| LONLAC Jerry Garvin |
jlonlac AT yahoo.fr |
|
Cameroon |
| Laure Brisoux Devendeville |
devendev AT laria.u-picardie.fr |
LaRIA Université de Picardie Jules Verne |
France |
| Laurent Simon |
simon AT lri.fr |
LRI - Université Orsay Paris XI |
France |
| Leeane Jamison |
jemy_predators AT hotmail.com |
? |
Ireland |
| Lefteris Kirousis |
kirousis AT ceid.upatras.gr |
University of Patras |
Greece |
| Leonardo de Moura |
leonardo AT microsoft.com |
Microsoft Research |
United States |
| Ling Yingbiao |
isslyb AT zsu.edu.cn |
Sun Yat-sen University, Computer Science Department |
China |
| Lintao Zhang |
lintaoz AT ee.princeton.edu |
Princeton University |
United States |
| Liu Xin |
dolce_lx AT sina.com |
Huazhong University of Science and Technology |
China |
| Long GUO |
guo AT cril.fr |
CRIL-CNRS UMR8188 Université d'Artois |
France |
| Lord Antonio |
almazzo AT hotmail.com |
Instituto Tecnologico de Estudios Superios Monterrey campus Cuernavaca |
Mexico |
| Luca Pulina |
luca AT star.dist.unige.it |
STAR - LAB University of Genoa |
Italy |
| Lyndon Drake |
lyndon AT arotau.com |
AI Group, Department of Computer Science, University of York |
United Kingdom |
| MARIS |
maris AT irit.fr |
IRIT - Université Paul Sabatier - Toulouse III |
France |
| MCC Juan Segura Salazar |
jsegura AT cableonline.com.mx |
Instituto Tecnologico y de Estudios Superiores de Monterrey |
Mexico |
| Mana Taghdiri |
taghdiri AT ira.uka.de |
Karlsruhe University |
Germany |
| Marc Herbstritt |
marc AT herbstritt.info |
Institute of Computer Science, University Freiburg |
Germany |
| Marco Benedetti |
mabe AT dis.uniroma1.it |
DIS - Dipartimento Informatica e Sistemistica - La Sapienza - Roma |
Italy |
| Marco Maratea |
marco AT dist.unige.it |
University of Genoa |
Italy |
| Marco Roveri |
roveri AT fbk.eu |
Fondazione Bruno Kessler - irst |
Italy |
| Marcos Villagra |
villagra-m AT is.naist.jp |
Nara Institute of Science and Technology |
Japan |
| Marijn Heule |
marijn AT heule.nl |
TU Delft |
Netherlands, The |
| Marius Schneider |
manju AT cs.uni-potsdam.de |
University of Potsdam |
Germany |
| Mark Chavira |
chavira AT cs.ucla.edu |
UCLA |
United States |
| Mark James Boyd |
mjboyd AT cats.ucsc.edu |
University of California at Santa Cruz |
United States |
| Martin Fränzle |
fraenzle AT informatik.uni-oldenburg.de |
Carl von Ossietzky Universität Oldenburg |
Germany |
| Martin Gebser |
gebser AT cs.uni-potsdam.de |
University of Potsdam |
Germany |
| Mary-Anne Williams |
Mary-Anne AT it.uts.edu.au |
University of
Technology, Sydney |
Australia |
| Massimo Narizzano |
mox AT dist.unige.it |
MRG-Lab, DIST, Univ. di Genova |
Italy |
| Mate Soos |
soos.mate AT gmail.com |
Paris LIP5, INRIA Rocquencourt |
France |
| Mati Tombak |
mati AT cs.ut.ee |
University of Tartu |
Estonia |
| Matthew Gwynne |
csmg AT swansea.ac.uk |
Swansea University |
United Kingdom |
| Matti Järvisalo |
matti.jarvisalo AT cs.helsinki.fi |
University of Helsinki |
France |
| Max Nelson |
maxnelso AT mit.edu |
MIT |
United States |
| Michael Littman |
mlittman AT research.att.com |
AT&T Labs Research |
United States |
| Michael Tautschnig |
michael.tautschnig AT gmail.com |
Technische Universität Darmstadt |
Germany |
| Miguel Anjos |
anjos AT stanfordalumni.org |
University of Southampton |
United Kingdom |
| Mikolas Janota |
mikolas.janota AT gmail.com |
INESC-ID |
Portugal |
| Min Qiu |
m_qiu AT msn.com |
|
China |
| Miroslav Velev |
mvelev AT ece.cmu.edu |
Carnegie Mellon University |
United States |
| Miroslav Velev |
mvelev AT gmail.com |
Consultant |
United States |
| Monbaron J.-J. |
jjmonbaron AT net2000.ch |
|
Switzerland |
| Mordechai (Moti) Ben-Ari |
moti.ben-ari AT weizmann.ac.il |
Weizmann Institute of Science |
Israel |
| Moshe Vardi |
vardi AT cs.rice.edu |
Rice University |
United States |
| Nadel Alexander |
alexander.nadel AT intel.com |
Intel Corporation |
Israel |
| Nam, Myoung Jin |
mjnam AT formal.korea.ac.kr |
Korea University |
Korea |
| Nathan Cain |
nate AT suppleye.com |
|
United States |
| Nestan Tsiskaridze |
nt AT cs.man.ac.uk |
The University of Manchester |
United Kingdom |
| Neundter |
jneundte AT uni-koblenz.de |
|
Germany |
| Newton Jose Vieira |
nvieira AT dcc.ufmg.br |
Federal University of Minas Gerais |
Brazil |
| Niklas Sorensson |
niklasso AT gmail.com |
|
Sweden |
| Norbert Manthey |
norbert AT iccl.tu-dresden.de |
TU Dresden |
Germany |
| Olga Tveretina |
olga AT ira.uka.de |
Karlsruher Institut für Technologie (KIT) |
Germany |
| Oliver Friedmann |
oliver.friedmann AT ifi.lmu.de |
University of Munich, Germany |
Germany |
| Oliver Kullmann |
O.Kullmann AT Swansea.ac.uk |
University of Wales Swansea, Computer Science Department |
United Kingdom |
| Olivier Dubois |
Olivier.Dubois AT lip6.fr |
CNRS, LIP6, Université Paris 6 |
France |
| Olivier ROUSSEL |
roussel AT cril.univ-artois.fr |
CRIL, Universite d'Artois |
France |
| Osiel |
ogonzalez6 AT hotmail.com |
|
United States |
| Paolo Marin |
paolo AT star.dist.unige.it |
Universitŕ di Genova |
Italy |
| Pascal VANDER-SWALMEN |
pascal.vander-swalmen AT prism.uvsq.fr |
LARIA |
France |
| Pawel Rzazewski |
p.rzazewski AT mini.pw.edu.pl |
Warsaw University of Technology |
Poland |
| Peter Caven |
p.caven AT ieee.org |
|
Canada |
| Peter Steinke |
Peter.Steinke AT tu-dresden.de |
Technische Universität Dresden |
Germany |
| Philippe Jegou |
philippe.jegou AT univ-cezanne.fr |
University of Aix-Marseille |
France |
| Poul Williams |
poul.williams AT synopsys.com |
Synopsys, Inc. |
United States |
| Pushkin R. Pari |
pushkin.pari AT gmail.com |
University of Maryland |
India |
| RENE EDMUNDO CUEVAS VALENCIA |
reneecuevas AT hotmail.com |
UNIVERSIDAD AUTONOMA DE GUERRERO |
Mexico |
| Raihan Kibria |
kibria AT rs.tu-darmstadt.de |
Darmstadt University of Technology |
Germany |
| Raj Meena |
rflirts AT gmail.com |
Computer Science & Engineering, IIT Bombay |
India |
| Riccardo Zecchina |
zecchina AT ictp.trieste.it |
International Centre for Theoretical Physics (ICTP) |
Italy |
| Ricci-Tersenghi Federico |
Federico.Ricci AT roma1.infn.it |
Physics Dep., Univ. of Rome "La Sapienza" |
Italy |
| Roberto Bayardo |
bayardo AT alum.mit.edu |
Google |
United States |
| Roberto Bruttomesso |
roberto.bruttomesso AT gmail.com |
University of Lugano |
Switzerland |
| Roberto Sebastiani |
rseba AT science.unitn.it |
DIT, University of Trento, Italy |
Italy |
| Roderick Bloem |
roderick.bloem AT ist.tu-graz.ac.at |
Graz Universoty of Technology |
Austria |
| Roman |
romange |
Technion |
Israel |
| Ronen Brafman |
brafman AT cs.bgu.ac.il |
Dept. of Computer Science, Ben-Gurion University |
Israel |
| Rudradeb Mitra |
rudradeb.mitra AT cs.kuleuven.ac.be |
KU Leuven |
Belgium |
| Ruoyun Huang |
mailto:rh11 AT cse.wustl.edu |
Washington University in St. Louis |
United States |
| Russell A Easterly |
logiclab AT comcast.net |
|
United States |
| Russell Easterly |
logiclab AT attbi.com |
logic lab inc |
United States |
| Ruy Luiz Milidiu |
milidiu AT inf.puc-rio.br |
Pontificia Universidade Catolica do Rio de Janeiro, PUC-Rio |
Brazil |
| Ryan Williams |
rryanwilliams AT hotmail.com |
Cornell and Carnegie Mellon Universities |
United States |
| SAT |
mailcity AT takas.lt |
|
Lithuania |
| SINGER |
singer AT lita.univ-metz.fr |
Universite de Metz |
France |
| Sajjad Ahmed Siddiqi |
sajjad.siddiqi AT rsise.anu.edu.au |
National ICT Australia, Australian National University Canberra |
Australia |
| Santi Martínez |
verdrang AT gmail.com |
Universitat de Lleida |
Spain |
| Sarfraz Ahmad |
sarfraz531 AT yahoo.com |
The Aver `A Test Prep & Admissions` Centre |
Pakistan |
| Scott Cotton |
scott AT atrenta.com |
Atrenta |
France |
| Sean Weaver |
weaversa AT gmail.com |
University of Cincinnati |
United States |
| Shekh Faisal Abdul Latip |
sfal620 AT uow.edu.au |
University of Wollongong |
Australia |
| Shrey Gupta |
shrey.itm AT gmail.com |
UCLA |
India |
| Siert Wieringa |
siert.wieringa AT tkk.fi |
Helsinki University of Technology (TKK) |
Finland |
| Smash |
ksledziewski AT gmail.com |
|
Poland |
| Stefan Disch |
disch AT informatik.uni-freiburg.de |
University of Freiburg |
Germany |
| Stefan Staber |
sstaber AT ist.tugraz.at |
Graz University of Technology |
Austria |
| Stefan Szeider |
stefan AT szeider.net |
Vienna University of Technology |
Austria |
| Stephan Eggersglüß |
segg AT informatik.uni-bremen.de |
University of Bremen |
Germany |
| Stephan Kottler |
stephan.kottler AT uni-tuebingen.de |
University of Tuebingen |
Germany |
| Stephan Mertens |
stephan.mertens AT physik.uni-magdeburg.de |
Otto-von-Guericke University, Magdeburg |
Germany |
| Stephen Majercik |
smajerci AT bowdoin.edu |
Bowdoin College |
United States |
| Stephen Plaza |
splaza AT umich.edu |
University of Michigan |
United States |
| Suselle C. Garibo E. |
suselle AT hotmail.com |
ITESM campus Cuernavaca |
Mexico |
| Sven Schulz |
sven.schulz AT ipvs.uni-stuttgart.de |
University of Stuttgart |
Germany |
| Sylvain Darras |
sylvain.darras AT u-picardie.fr |
LaRIA/Université de Picardie Jules Verne |
France |
| Sylvain Gérard |
gerard AT laria.u-picardie.fr |
LaRIA, Université de picardie Jules Verne |
France |
| Sylvie Coste-Marquis |
coste AT cril.univ-artois.fr |
CRIL - Université d'Artois |
France |
| Taeho Kim |
thkim AT salmosa.kaist.ac.kr |
KAIST (Korea Advanced Institute of Science and Technology) |
Korea |
| Ted Stanion |
Ted.Stanion AT synopsys.com |
Synopsys, Inc. |
United States |
| Thierry Petit |
thierry.petit AT mines-nantes.fr |
Ecole des mines de Nantes |
France |
| Thomas Krennwallner |
tkren AT kr.tuwien.ac.at |
TU Wien - Vienna University of Technology |
Austria |
| Tim Leonard |
Tim.Leonard AT charter.net |
Formal Design Verification and Methodology, Intel Corporation |
United States |
| Tobias Schubert |
schubert AT informatik.uni-freiburg.de |
Albert-Ludwigs-University of Freiburg |
Germany |
| Tomi Janhunen |
Tomi.Janhunen AT aalto.fi |
Aalto University School of Science |
Finland |
| Tosten Schaub |
torsten AT cs.uni-potsdam.de |
Potsdam University |
Germany |
| Tun Li |
tunlee AT sina.com |
|
|
| Uwe Schöning |
uwe.schoening AT uni-ulm.de |
University of Ulm, Dept. Theoretical Computer Science |
Germany |
| V. Marek |
marek AT cs.uky.edu |
University of Kentucky |
United States |
| Van Gelder, Allen |
avg AT cs.ucsc.edu |
Univ. of California, Santa Cruz |
United States |
| Victor |
otto AT mail15.com |
Victor |
Afghanistan |
| Wei Wei |
weiwei AT cs.cornell.edu |
Cornell University |
United States |
| Will Naylor |
willnaylor AT gmail.com |
Synopsys Inc |
United States |
| William N. N. Hung |
whung AT ichips.intel.com |
Intel Corporation |
United States |
| Wolfgang Blochinger |
blochinger AT informatik.uni-tuebingen.de |
University of Tuebingen |
Germany |
| Worku |
worku777 AT yahoo.com |
|
Germany |
| Yacine Boufkhad |
boufkhad AT liafa.jussieu.fr |
LIAFA, Universite Paris 7 |
France |
| Yael Ben-Haim |
yaelbh AT il.ibm.com |
IBM Research |
Israel |
| Yakov Novikov |
Yakov.Novikov AT onespin-solutions.com |
OneSpin Solutions |
Germany |
| Young Wu |
wuyang AT fudan.edu.cn |
Magma |
China |
| Young-Ju Moon |
yjmoon AT formal.korea.ac.kr |
Korea Univ |
Korea |
| Young-jung Ahn |
yjahn AT formal.korea.ac.kr |
KOREA uiv. |
Korea |
| Youssef Hamadi |
youssefh AT microsoft.com |
MSRC |
United Kingdom |
| Yulia Zabiyaka |
yuliaz AT cs.ucla.edu |
UCLA |
United States |
| Yury Chebiryak |
yury.chebiryak AT inf.ethz.ch |
ETH Zurich |
Switzerland |
| Zhenjia |
xwu1 AT vt.edu |
|
United States |
| Zhiyang Ong |
zhiyang AT ieee.org |
University of Southern California |
United States |
| abw |
abw862004 AT yahoo.com |
6587 |
Iraq |
| alla mograbi |
alla1212000 AT yahoo.com |
alyarmok/jordan |
Jordan |
| amir |
amirn_1975 AT yahoo.com |
|
Iran |
| anis |
anis_anis123 AT yahoo.fr |
|
Tunisia |
| ankur |
ankurmidha AT yahoo.com |
punjab technical university |
India |
| anonymous |
3 CNF |
|
|
| awatef h ragab |
awatefh2000 AT yahoo.com |
negm |
Egypt |
| bhanuprakash.olety |
smarty_bhanujust18 AT yahoo.co.in |
|
India |
| bheemreddy sandeepreddy |
bheemreddy_1 |
|
India |
| branden alston |
todays sat |
|
United States |
| chuMin Li |
chu-min.li AT u-picardie.fr |
LaRIA, University of Picardie Jules Verne, Frabnce |
|
| dash |
composer85 AT msn.com |
|
Albania |
| dmitriy nuriyev |
dnuriyev AT gmail.com |
formerly with Institute of Mathematics, Ural Branch, Russia |
United States |
| elthes tiberiu |
elthes_tibi AT yahoo.com |
standard |
Romania |
| fortu cristina |
fortu_cristina AT yahoo.com |
colegiul National Vasile Alecsandri |
Romania |
| gaurav agarwal |
gauravag25 AT rediffmail.com |
|
India |
| halilagic muhmed |
halilagic90 AT hotmail.com |
pio |
Bosnia and Herzegovina |
| hallafa |
fissap AT yahoo.fr |
|
Azerbaijan |
| harmeen chadha |
hotharmeen_16 AT yahoo.com |
|
India |
| ivan kissiov |
ikissiov AT gmail.com |
self |
United States |
| jabbour said |
said3132003 AT yahoo.fr |
CRIL LENS |
France |
| jafar |
jafar0000 AT yahoo.com |
|
India |
| jawad raja |
j_jor AT hotmail.com |
|
Saudi Arabia |
| jonathan porchia |
jkpfootballa23 AT yahoo .com |
|
|
| jovanaldzic |
jovan.aldzic AT chello.at |
|
Bangladesh |
| kamel |
kb667 AT hotmail.com |
|
Qatar |
| kevin_peterson |
kevin_peterson47 AT yahoo.com |
sv university |
India |
| lakshmi |
lakshmi_cheers2003 AT yahoo.com |
University of hyderabad |
India |
| liang bo |
liangbohan AT hotmail.com |
|
Singapore |
| lucas bordeaux |
lucasb AT microsoft.com |
Microsoft Research, Cambridge |
|
| miguel |
portelinha2 AT hotmail.com |
|
United Kingdom |
| mohsen |
mohsenprof66 AT yahoo.fr |
|
|
| peerasin |
peerasin46 AT hotmail.com |
saint john's international school |
Thailand |
| pishva |
hamdamq1386..de |
|
Germany |
| radha |
radha AT solverminds.com |
|
India |
| sahil parbhaker |
sahil_prabhakar AT yahoo.com |
|
India |
| seth plates |
alexfp10 AT hotmail.com |
|
Mexico |
| sex |
sat sex |
|
|
| shady Abdel Ghaffar |
shady_fcis AT yahoo.com |
|
Egypt |
| shaikh Mastan |
mastana2002 AT yahoo.com |
yahoo |
India |
| shefali garg |
shefali-garg AT rediffmail.com |
st. pauls school |
India |
| shefali garg |
shefali-garg29 AT rediffmail.com |
st. pauls school |
India |
| slao |
charminboy_6 AT hotmail.com |
|
|
| sriram durbha |
cintyram AT yahoo.com |
university of cincinnati |
United States |
| supradeep narayana |
supra AT ece.sunysb.edu |
stony brook university |
United States |
| swaroop ghosh |
swroopg AT yahoo.com |
University of Cincinnati |
India |
| taor |
taor1 AT 163.com |
中国地质大学计算机科学与技术系 |
China |
| than soe |
thansoe2007 AT gmail.com |
|
|
| wh |
wh621004 AT yahoo.com |
hust |
China |
| wuzengxian |
wuzengxian AT hotmail.com |
|
China |
| xwayne |
042052013 AT fudan.edu.cn |
ASIC keylab@Fudan University |
China |
| yin wenbo |
yinwenbo_1999 AT 163.com |
fudan |
China |
| zaingoraya |
zaingoraya AT yahoo.com |
|
Pakistan |
| Álvaro Cortés Calabuig |
alvaro.cortes AT cs.kuleuven.be |
Katholieke Universiteit Leuven |
Belgium |
